Index of /logs/student-concurrency/20211014-091752-student-concurrency-231806ee77/concurrency.2021-10-13_22-30-19.logfiles
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
Automizer FA.00-sanity_09-include.yml.log 2021-10-13 22:43 26K
Automizer FA.01_inc.yml.log 2021-10-13 22:43 176K
Automizer FA.02-base_24-malloc_races.yml.log 2021-10-13 22:43 26K
Automizer FA.02-base_25-malloc_race_cp.yml.log 2021-10-13 22:43 26K
Automizer FA.02-base_26-malloc_struct.yml.log 2021-10-13 22:44 26K
Automizer FA.02_inc_cas.yml.log 2021-10-13 22:42 26K
Automizer FA.03-practical_07-nonterm.yml.log 2021-10-13 22:43 26K
Automizer FA.03-practical_08-nonterm1.yml.log 2021-10-13 22:44 26K
Automizer FA.03-practical_15-exit_problems.yml.log 2021-10-13 22:44 26K
Automizer FA.04-mutex_01-simple_rc.yml.log 2021-10-13 22:44 26K
Automizer FA.04-mutex_02-simple_nr.yml.log 2021-10-13 22:44 26K
Automizer FA.04-mutex_03-munge_rc.yml.log 2021-10-13 22:44 26K
Automizer FA.04-mutex_04-munge_nr.yml.log 2021-10-13 22:44 26K
Automizer FA.04-mutex_05-lockfuns.yml.log 2021-10-13 22:44 26K
Automizer FA.04-mutex_06-ps_rc.yml.log 2021-10-13 22:44 26K
Automizer FA.04-mutex_07-ps_nr.yml.log 2021-10-13 22:44 26K
Automizer FA.04-mutex_09-ptrmunge_rc.yml.log 2021-10-13 22:44 26K
Automizer FA.04-mutex_10-ptrmunge_nr.yml.log 2021-10-13 22:44 26K
Automizer FA.04-mutex_11-ptr_rc.yml.log 2021-10-13 22:44 26K
Automizer FA.04-mutex_12-ptr_nr.yml.log 2021-10-13 22:44 26K
Automizer FA.04-mutex_14-funarg_rc.yml.log 2021-10-13 22:44 26K
Automizer FA.04-mutex_15-funarg_nr.yml.log 2021-10-13 22:44 26K
Automizer FA.04-mutex_16-ps_add1_rc.yml.log 2021-10-13 22:44 26K
Automizer FA.04-mutex_17-ps_add1_nr.yml.log 2021-10-13 22:44 26K
Automizer FA.04-mutex_18-glob_guards.yml.log 2021-10-13 22:44 26K
Automizer FA.04-mutex_19-call_by_ptr_rc.yml.log 2021-10-13 22:44 26K
Automizer FA.04-mutex_20-stdfun_rc.yml.log 2021-10-13 22:44 26K
Automizer FA.04-mutex_21-sound_base.yml.log 2021-10-13 22:44 26K
Automizer FA.04-mutex_22-deref_read.yml.log 2021-10-13 22:44 26K
Automizer FA.04-mutex_23-sound_unlock.yml.log 2021-10-13 22:44 15K
Automizer FA.04-mutex_24-sound_lock.yml.log 2021-10-13 22:44 26K
Automizer FA.04-mutex_25-single_acc.yml.log 2021-10-13 22:44 26K
Automizer FA.04-mutex_27-base_rc.yml.log 2021-10-13 22:44 26K
Automizer FA.04-mutex_28-base_nr.yml.log 2021-10-13 22:44 26K
Automizer FA.04-mutex_35-trylock_rc.yml.log 2021-10-13 22:44 27K
Automizer FA.04-mutex_36-trylock_nr.yml.log 2021-10-13 22:44 27K
Automizer FA.04-mutex_37-indirect_rc.yml.log 2021-10-13 22:44 26K
Automizer FA.04-mutex_38-indexing_malloc.yml.log 2021-10-13 22:44 26K
Automizer FA.04-mutex_41-pt_rwlock.yml.log 2021-10-13 22:44 26K
Automizer FA.04-mutex_42-trylock_2mutex.yml.log 2021-10-13 22:44 26K
Automizer FA.04-mutex_43-thread_create_nr.yml.log 2021-10-13 22:44 26K
Automizer FA.04-mutex_44-malloc_sound.yml.log 2021-10-13 22:44 26K
Automizer FA.04-mutex_45-escape_rc.yml.log 2021-10-13 22:44 26K
Automizer FA.04-mutex_46-escape_nr.yml.log 2021-10-13 22:44 26K
Automizer FA.04-mutex_47-fun_write.yml.log 2021-10-13 22:44 26K
Automizer FA.04-mutex_50-funptr_rc.yml.log 2021-10-13 22:44 26K
Automizer FA.04-mutex_51-mutex_ptr.yml.log 2021-10-13 22:44 26K
Automizer FA.04-mutex_54-pt_rwlock_ww.yml.log 2021-10-13 22:44 26K
Automizer FA.04-mutex_55-pt_rwlock_rr.yml.log 2021-10-13 22:44 26K
Automizer FA.05-lval_ls_01-idx_rc.yml.log 2021-10-13 22:44 26K
Automizer FA.05-lval_ls_02-idx_nr.yml.log 2021-10-13 22:44 26K
Automizer FA.05-lval_ls_03-fld_rc.yml.log 2021-10-13 22:44 26K
Automizer FA.05-lval_ls_04-fld_nr.yml.log 2021-10-13 22:44 26K
Automizer FA.05-lval_ls_05-glob_idx_rc.yml.log 2021-10-13 22:44 26K
Automizer FA.05-lval_ls_07-glob_fld_rc.yml.log 2021-10-13 22:44 26K
Automizer FA.05-lval_ls_08-glob_fld_2_rc.yml.log 2021-10-13 22:44 26K
Automizer FA.05-lval_ls_09-idxsense_rc.yml.log 2021-10-13 22:44 26K
Automizer FA.05-lval_ls_11-fldsense_rc.yml.log 2021-10-13 22:44 26K
Automizer FA.05-lval_ls_12-fldsense_nr.yml.log 2021-10-13 22:44 26K
Automizer FA.05-lval_ls_13-idxunknown_lock.yml.log 2021-10-13 22:44 26K
Automizer FA.05-lval_ls_14-idxunknown_access.yml.log 2021-10-13 22:44 26K
Automizer FA.05-lval_ls_15-fldunknown_access.yml.log 2021-10-13 22:44 26K
Automizer FA.05-lval_ls_16-idxunknown_unlock.yml.log 2021-10-13 22:44 15K
Automizer FA.06-symbeq_02-funloop_norace.yml.log 2021-10-13 22:44 26K
Automizer FA.06-symbeq_03-funloop_simple.yml.log 2021-10-13 22:44 26K
Automizer FA.06-symbeq_04-funloop_hard1.yml.log 2021-10-13 22:44 26K
Automizer FA.06-symbeq_05-funloop_hard2.yml.log 2021-10-13 22:44 26K
Automizer FA.06-symbeq_06-tricky_address1.yml.log 2021-10-13 22:44 26K
Automizer FA.06-symbeq_07-tricky_address2.yml.log 2021-10-13 22:44 26K
Automizer FA.06-symbeq_08-tricky_address3.yml.log 2021-10-13 22:44 26K
Automizer FA.06-symbeq_09-tricky_address4.yml.log 2021-10-13 22:44 26K
Automizer FA.06-symbeq_10-equ_rc.yml.log 2021-10-13 22:44 26K
Automizer FA.06-symbeq_11-equ_nr.yml.log 2021-10-13 22:44 26K
Automizer FA.06-symbeq_13-equ_proc_nr.yml.log 2021-10-13 22:44 26K
Automizer FA.06-symbeq_14-list_entry_rc.yml.log 2021-10-13 22:44 16K
Automizer FA.06-symbeq_15-list_entry_nr.yml.log 2021-10-13 22:44 26K
Automizer FA.06-symbeq_23-idxsense_nr.yml.log 2021-10-13 22:44 26K
Automizer FA.09-regions_01-list_rc.yml.log 2021-10-13 22:44 26K
Automizer FA.09-regions_02-list_nr.yml.log 2021-10-13 22:44 26K
Automizer FA.09-regions_03-list2_rc.yml.log 2021-10-13 22:44 26K
Automizer FA.09-regions_04-list2_nr.yml.log 2021-10-13 22:44 26K
Automizer FA.09-regions_05-ptra_rc.yml.log 2021-10-13 22:44 26K
Automizer FA.09-regions_06-ptra_nr.yml.log 2021-10-13 22:45 26K
Automizer FA.09-regions_09-arraylist.yml.log 2021-10-13 22:44 26K
Automizer FA.09-regions_10-arraylist_rc.yml.log 2021-10-13 22:45 26K
Automizer FA.09-regions_11-arraylist_nr.yml.log 2021-10-13 22:44 26K
Automizer FA.09-regions_12-arraycollapse_rc.yml.log 2021-10-13 22:45 26K
Automizer FA.09-regions_13-arraycollapse_nr.yml.log 2021-10-13 22:45 26K
Automizer FA.09-regions_16-arrayloop_rc.yml.log 2021-10-13 22:45 26K
Automizer FA.09-regions_17-arrayloop_nr.yml.log 2021-10-13 22:45 26K
Automizer FA.09-regions_18-nested_rc.yml.log 2021-10-13 22:45 26K
Automizer FA.09-regions_19-nested_nr.yml.log 2021-10-13 22:45 26K
Automizer FA.09-regions_20-arrayloop2_rc.yml.log 2021-10-13 22:45 27K
Automizer FA.09-regions_21-arrayloop2_nr.yml.log 2021-10-13 22:45 27K
Automizer FA.09-regions_22-nocollapse.yml.log 2021-10-13 22:45 27K
Automizer FA.09-regions_23-evilcollapse_rc.yml.log 2021-10-13 22:45 27K
Automizer FA.09-regions_24-evilcollapse_nr.yml.log 2021-10-13 22:45 27K
Automizer FA.09-regions_26-alloc_region_rc.yml.log 2021-10-13 22:45 27K
Automizer FA.09-regions_28-list2alloc.yml.log 2021-10-13 22:45 26K
Automizer FA.10-synch_01-thread_unique.yml.log 2021-10-13 22:45 26K
Automizer FA.10-synch_02-thread_nonunique.yml.log 2021-10-13 22:45 26K
Automizer FA.10-synch_03-two_unique.yml.log 2021-10-13 22:45 26K
Automizer FA.13-privatized_03-priv_inv.yml.log 2021-10-13 22:45 26K
Automizer FA.14_spin2003.yml.log 2021-10-13 22:42 156K
Automizer FA.18_read_write_lock.yml.log 2021-10-13 22:42 56K
Automizer FA.39_rand_lock_p0_vs-b.yml.log 2021-10-13 22:43 323K
Automizer FA.39_rand_lock_p0_vs.yml.log 2021-10-13 22:43 323K
Automizer FA.40_barrier_vf-b.yml.log 2021-10-13 22:43 169K
Automizer FA.40_barrier_vf.yml.log 2021-10-13 22:42 160K
Automizer FA.45_monabsex1_vs-b.yml.log 2021-10-13 22:44 151K
Automizer FA.45_monabsex1_vs.yml.log 2021-10-13 22:44 189K
Automizer FA.46_monabsex2_vs-b.yml.log 2021-10-13 22:44 131K
Automizer FA.46_monabsex2_vs.yml.log 2021-10-13 22:44 170K
Automizer FA.48_ticket_lock_low_contention_vs-b.yml.log 2021-10-13 22:44 158K
Automizer FA.48_ticket_lock_low_contention_vs.yml.log 2021-10-13 22:44 222K
Automizer FA.dekker-b.yml.log 2021-10-13 22:41 72K
Automizer FA.dekker.yml.log 2021-10-13 22:41 80K
Automizer FA.fib_bench-1.yml.log 2021-10-13 22:45 1.5M
Automizer FA.fib_bench-2.yml.log 2021-10-13 22:41 1.4M
Automizer FA.fib_bench_longer-1.yml.log 2021-10-13 22:42 1.4M
Automizer FA.fib_bench_longer-2.yml.log 2021-10-13 22:43 1.3M
Automizer FA.fib_bench_longest-1.yml.log 2021-10-13 22:45 1.5M
Automizer FA.fib_bench_longest-2.yml.log 2021-10-13 22:45 1.2M
Automizer FA.lamport-b.yml.log 2021-10-13 22:41 98K
Automizer FA.lamport.yml.log 2021-10-13 22:41 114K
Automizer FA.lazy01.yml.log 2021-10-13 22:30 76K
Automizer FA.peterson-b.yml.log 2021-10-13 22:41 71K
Automizer FA.peterson.yml.log 2021-10-13 22:42 78K
Automizer FA.qw2004-2.yml.log 2021-10-13 22:43 85K
Automizer FA.race-1_1-join.yml.log 2021-10-13 22:30 66K
Automizer FA.race-1_2-join.yml.log 2021-10-13 22:30 60K
Automizer FA.race-1_2b-join.yml.log 2021-10-13 22:30 60K
Automizer FA.race-1_3-join.yml.log 2021-10-13 22:30 67K
Automizer FA.race-1_3b-join.yml.log 2021-10-13 22:30 67K
Automizer FA.race-2_1-container_of.yml.log 2021-10-13 22:42 2.6M
Automizer FA.race-2_2-container_of.yml.log 2021-10-13 22:41 1.2M
Automizer FA.race-2_2b-container_of.yml.log 2021-10-13 22:42 1.4M
Automizer FA.race-2_3-container_of.yml.log 2021-10-13 22:30 97K
Automizer FA.race-2_3b-container_of.yml.log 2021-10-13 22:30 97K
Automizer FA.race-2_4-container_of.yml.log 2021-10-13 22:30 104K
Automizer FA.race-2_4b-container_of.yml.log 2021-10-13 22:30 111K
Automizer FA.race-2_5-container_of.yml.log 2021-10-13 22:30 107K
Automizer FA.race-2_5b-container_of.yml.log 2021-10-13 22:30 106K
Automizer FA.race-3_1-container_of-global.yml.log 2021-10-13 22:42 1.8M
Automizer FA.race-3_2-container_of-global.yml.log 2021-10-13 22:31 430K
Automizer FA.race-3_2b-container_of-global.yml.log 2021-10-13 22:32 471K
Automizer FA.read_write_lock-1.yml.log 2021-10-13 22:42 110K
Automizer FA.read_write_lock-1b.yml.log 2021-10-13 22:42 91K
Automizer FA.read_write_lock-2.yml.log 2021-10-13 22:42 110K
Automizer FA.read_write_lock-2b.yml.log 2021-10-13 22:42 91K
Automizer FA.singleton-b.yml.log 2021-10-13 22:30 112K
Automizer FA.singleton.yml.log 2021-10-13 22:30 112K
Automizer FA.singleton_with-uninit-problems-b.yml.log 2021-10-13 22:30 111K
Automizer FA.singleton_with-uninit-problems.yml.log 2021-10-13 22:30 111K
Automizer FA.stateful01-1.yml.log 2021-10-13 22:30 49K
Automizer FA.stateful01-2.yml.log 2021-10-13 22:31 64K
Automizer FA.szymanski-b.yml.log 2021-10-13 22:42 78K
Automizer FA.szymanski.yml.log 2021-10-13 22:42 99K
Automizer FA.time_var_mutex.yml.log 2021-10-13 22:42 75K
Automizer FA.triangular-1.yml.log 2021-10-13 22:32 595K
Automizer FA.triangular-2.yml.log 2021-10-13 22:32 450K
Automizer FA.triangular-longer-1.yml.log 2021-10-13 22:43 1.6M
Automizer FA.triangular-longer-2.yml.log 2021-10-13 22:43 1.5M
Automizer FA.triangular-longest-1.yml.log 2021-10-13 22:43 1.6M
Automizer FA.triangular-longest-2.yml.log 2021-10-13 22:43 1.6M
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.00-sanity_09-include.yml.log 2021-10-13 23:04 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.01_inc.yml.log 2021-10-13 23:12 2.2M
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.02-base_24-malloc_races.yml.log 2021-10-13 23:05 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.02-base_25-malloc_race_cp.yml.log 2021-10-13 23:05 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.02-base_26-malloc_struct.yml.log 2021-10-13 23:05 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.02_inc_cas.yml.log 2021-10-13 23:03 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.03-practical_07-nonterm.yml.log 2021-10-13 23:05 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.03-practical_08-nonterm1.yml.log 2021-10-13 23:05 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.03-practical_15-exit_problems.yml.log 2021-10-13 23:05 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_01-simple_rc.yml.log 2021-10-13 23:05 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_02-simple_nr.yml.log 2021-10-13 23:05 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_03-munge_rc.yml.log 2021-10-13 23:05 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_04-munge_nr.yml.log 2021-10-13 23:05 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_05-lockfuns.yml.log 2021-10-13 23:05 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_06-ps_rc.yml.log 2021-10-13 23:05 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_07-ps_nr.yml.log 2021-10-13 23:05 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_09-ptrmunge_rc.yml.log 2021-10-13 23:05 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_10-ptrmunge_nr.yml.log 2021-10-13 23:05 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_11-ptr_rc.yml.log 2021-10-13 23:05 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_12-ptr_nr.yml.log 2021-10-13 23:05 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_14-funarg_rc.yml.log 2021-10-13 23:05 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_15-funarg_nr.yml.log 2021-10-13 23:05 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_16-ps_add1_rc.yml.log 2021-10-13 23:05 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_17-ps_add1_nr.yml.log 2021-10-13 23:05 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_18-glob_guards.yml.log 2021-10-13 23:05 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_19-call_by_ptr_rc.yml.log 2021-10-13 23:05 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_20-stdfun_rc.yml.log 2021-10-13 23:05 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_21-sound_base.yml.log 2021-10-13 23:05 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_22-deref_read.yml.log 2021-10-13 23:05 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_23-sound_unlock.yml.log 2021-10-13 23:05 16K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_24-sound_lock.yml.log 2021-10-13 23:05 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_25-single_acc.yml.log 2021-10-13 23:05 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_27-base_rc.yml.log 2021-10-13 23:05 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_28-base_nr.yml.log 2021-10-13 23:05 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_35-trylock_rc.yml.log 2021-10-13 23:05 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_36-trylock_nr.yml.log 2021-10-13 23:05 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_37-indirect_rc.yml.log 2021-10-13 23:05 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_38-indexing_malloc.yml.log 2021-10-13 23:05 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_41-pt_rwlock.yml.log 2021-10-13 23:05 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_42-trylock_2mutex.yml.log 2021-10-13 23:05 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_43-thread_create_nr.yml.log 2021-10-13 23:05 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_44-malloc_sound.yml.log 2021-10-13 23:05 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_45-escape_rc.yml.log 2021-10-13 23:05 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_46-escape_nr.yml.log 2021-10-13 23:05 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_47-fun_write.yml.log 2021-10-13 23:05 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_50-funptr_rc.yml.log 2021-10-13 23:05 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_51-mutex_ptr.yml.log 2021-10-13 23:05 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_54-pt_rwlock_ww.yml.log 2021-10-13 23:05 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_55-pt_rwlock_rr.yml.log 2021-10-13 23:05 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_01-idx_rc.yml.log 2021-10-13 23:05 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_02-idx_nr.yml.log 2021-10-13 23:05 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_03-fld_rc.yml.log 2021-10-13 23:05 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_04-fld_nr.yml.log 2021-10-13 23:05 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_05-glob_idx_rc.yml.log 2021-10-13 23:05 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_07-glob_fld_rc.yml.log 2021-10-13 23:05 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_08-glob_fld_2_rc.yml.log 2021-10-13 23:05 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_09-idxsense_rc.yml.log 2021-10-13 23:05 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_11-fldsense_rc.yml.log 2021-10-13 23:05 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_12-fldsense_nr.yml.log 2021-10-13 23:06 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_13-idxunknown_lock.yml.log 2021-10-13 23:05 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_14-idxunknown_access.yml.log 2021-10-13 23:06 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_15-fldunknown_access.yml.log 2021-10-13 23:06 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_16-idxunknown_unlock.yml.log 2021-10-13 23:06 16K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_02-funloop_norace.yml.log 2021-10-13 23:06 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_03-funloop_simple.yml.log 2021-10-13 23:06 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_04-funloop_hard1.yml.log 2021-10-13 23:06 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_05-funloop_hard2.yml.log 2021-10-13 23:06 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_06-tricky_address1.yml.log 2021-10-13 23:06 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_07-tricky_address2.yml.log 2021-10-13 23:06 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_08-tricky_address3.yml.log 2021-10-13 23:06 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_09-tricky_address4.yml.log 2021-10-13 23:06 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_10-equ_rc.yml.log 2021-10-13 23:06 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_11-equ_nr.yml.log 2021-10-13 23:06 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_13-equ_proc_nr.yml.log 2021-10-13 23:06 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_14-list_entry_rc.yml.log 2021-10-13 23:06 16K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_15-list_entry_nr.yml.log 2021-10-13 23:06 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_23-idxsense_nr.yml.log 2021-10-13 23:06 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_01-list_rc.yml.log 2021-10-13 23:06 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_02-list_nr.yml.log 2021-10-13 23:06 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_03-list2_rc.yml.log 2021-10-13 23:06 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_04-list2_nr.yml.log 2021-10-13 23:06 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_05-ptra_rc.yml.log 2021-10-13 23:06 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_06-ptra_nr.yml.log 2021-10-13 23:06 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_09-arraylist.yml.log 2021-10-13 23:06 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_10-arraylist_rc.yml.log 2021-10-13 23:06 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_11-arraylist_nr.yml.log 2021-10-13 23:06 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_12-arraycollapse_rc.yml.log 2021-10-13 23:06 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_13-arraycollapse_nr.yml.log 2021-10-13 23:06 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_16-arrayloop_rc.yml.log 2021-10-13 23:06 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_17-arrayloop_nr.yml.log 2021-10-13 23:06 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_18-nested_rc.yml.log 2021-10-13 23:06 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_19-nested_nr.yml.log 2021-10-13 23:06 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_20-arrayloop2_rc.yml.log 2021-10-13 23:06 28K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_21-arrayloop2_nr.yml.log 2021-10-13 23:06 28K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_22-nocollapse.yml.log 2021-10-13 23:06 28K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_23-evilcollapse_rc.yml.log 2021-10-13 23:06 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_24-evilcollapse_nr.yml.log 2021-10-13 23:06 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_26-alloc_region_rc.yml.log 2021-10-13 23:06 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_28-list2alloc.yml.log 2021-10-13 23:06 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.10-synch_01-thread_unique.yml.log 2021-10-13 23:06 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.10-synch_02-thread_nonunique.yml.log 2021-10-13 23:06 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.10-synch_03-two_unique.yml.log 2021-10-13 23:06 26K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.13-privatized_03-priv_inv.yml.log 2021-10-13 23:06 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.14_spin2003.yml.log 2021-10-13 23:03 226K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.18_read_write_lock.yml.log 2021-10-13 23:03 51K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.39_rand_lock_p0_vs-b.yml.log 2021-10-13 23:03 342K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.39_rand_lock_p0_vs.yml.log 2021-10-13 23:03 343K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.40_barrier_vf-b.yml.log 2021-10-13 23:03 169K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.40_barrier_vf.yml.log 2021-10-13 23:03 164K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.45_monabsex1_vs-b.yml.log 2021-10-13 23:04 317K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.45_monabsex1_vs.yml.log 2021-10-13 23:04 317K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.46_monabsex2_vs-b.yml.log 2021-10-13 23:04 185K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.46_monabsex2_vs.yml.log 2021-10-13 23:04 186K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.48_ticket_lock_low_contention_vs-b.yml.log 2021-10-13 23:05 572K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.48_ticket_lock_low_contention_vs.yml.log 2021-10-13 23:13 2.2M
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.dekker-b.yml.log 2021-10-13 23:02 133K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.dekker.yml.log 2021-10-13 23:02 142K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.fib_bench-1.yml.log 2021-10-13 23:03 297K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.fib_bench-2.yml.log 2021-10-13 23:05 297K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.fib_bench_longer-1.yml.log 2021-10-13 23:08 467K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.fib_bench_longer-2.yml.log 2021-10-13 23:16 631K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.fib_bench_longest-1.yml.log 2021-10-13 23:15 691K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.fib_bench_longest-2.yml.log 2021-10-13 23:16 623K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.lamport-b.yml.log 2021-10-13 23:02 150K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.lamport.yml.log 2021-10-13 23:02 203K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.lazy01.yml.log 2021-10-13 23:02 68K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.peterson-b.yml.log 2021-10-13 23:02 107K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.peterson.yml.log 2021-10-13 23:02 114K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.qw2004-2.yml.log 2021-10-13 23:04 76K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-1_1-join.yml.log 2021-10-13 23:01 79K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-1_2-join.yml.log 2021-10-13 23:01 60K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-1_2b-join.yml.log 2021-10-13 23:01 60K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-1_3-join.yml.log 2021-10-13 23:01 60K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-1_3b-join.yml.log 2021-10-13 23:01 60K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-2_1-container_of.yml.log 2021-10-13 23:02 136K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-2_2-container_of.yml.log 2021-10-13 23:02 102K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-2_2b-container_of.yml.log 2021-10-13 23:02 101K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-2_3-container_of.yml.log 2021-10-13 23:02 103K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-2_3b-container_of.yml.log 2021-10-13 23:02 103K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-2_4-container_of.yml.log 2021-10-13 23:02 108K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-2_4b-container_of.yml.log 2021-10-13 23:02 108K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-2_5-container_of.yml.log 2021-10-13 23:01 98K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-2_5b-container_of.yml.log 2021-10-13 23:01 98K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-3_1-container_of-global.yml.log 2021-10-13 23:02 138K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-3_2-container_of-global.yml.log 2021-10-13 23:02 109K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-3_2b-container_of-global.yml.log 2021-10-13 23:02 109K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.read_write_lock-1.yml.log 2021-10-13 23:02 157K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.read_write_lock-1b.yml.log 2021-10-13 23:02 146K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.read_write_lock-2.yml.log 2021-10-13 23:02 96K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.read_write_lock-2b.yml.log 2021-10-13 23:02 90K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.singleton-b.yml.log 2021-10-13 23:02 111K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.singleton.yml.log 2021-10-13 23:02 112K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.singleton_with-uninit-problems-b.yml.log 2021-10-13 23:02 121K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.singleton_with-uninit-problems.yml.log 2021-10-13 23:02 122K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.stateful01-1.yml.log 2021-10-13 23:02 57K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.stateful01-2.yml.log 2021-10-13 23:02 64K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.szymanski-b.yml.log 2021-10-13 23:03 162K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.szymanski.yml.log 2021-10-13 23:03 182K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.time_var_mutex.yml.log 2021-10-13 23:03 111K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.triangular-1.yml.log 2021-10-13 23:02 163K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.triangular-2.yml.log 2021-10-13 23:02 116K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.triangular-longer-1.yml.log 2021-10-13 23:03 302K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.triangular-longer-2.yml.log 2021-10-13 23:02 184K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.triangular-longest-1.yml.log 2021-10-13 23:05 664K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.triangular-longest-2.yml.log 2021-10-13 23:04 333K
Automizer PN.00-sanity_09-include.yml.log 2021-10-13 22:55 25K
Automizer PN.01_inc.yml.log 2021-10-13 22:50 257K
Automizer PN.02-base_24-malloc_races.yml.log 2021-10-13 22:55 26K
Automizer PN.02-base_25-malloc_race_cp.yml.log 2021-10-13 22:55 26K
Automizer PN.02-base_26-malloc_struct.yml.log 2021-10-13 22:55 26K
Automizer PN.02_inc_cas.yml.log 2021-10-13 22:49 25K
Automizer PN.03-practical_07-nonterm.yml.log 2021-10-13 22:55 26K
Automizer PN.03-practical_08-nonterm1.yml.log 2021-10-13 22:55 26K
Automizer PN.03-practical_15-exit_problems.yml.log 2021-10-13 22:55 26K
Automizer PN.04-mutex_01-simple_rc.yml.log 2021-10-13 22:55 26K
Automizer PN.04-mutex_02-simple_nr.yml.log 2021-10-13 22:55 26K
Automizer PN.04-mutex_03-munge_rc.yml.log 2021-10-13 22:55 26K
Automizer PN.04-mutex_04-munge_nr.yml.log 2021-10-13 22:55 26K
Automizer PN.04-mutex_05-lockfuns.yml.log 2021-10-13 22:55 26K
Automizer PN.04-mutex_06-ps_rc.yml.log 2021-10-13 22:55 26K
Automizer PN.04-mutex_07-ps_nr.yml.log 2021-10-13 22:55 26K
Automizer PN.04-mutex_09-ptrmunge_rc.yml.log 2021-10-13 22:55 25K
Automizer PN.04-mutex_10-ptrmunge_nr.yml.log 2021-10-13 22:55 26K
Automizer PN.04-mutex_11-ptr_rc.yml.log 2021-10-13 22:56 26K
Automizer PN.04-mutex_12-ptr_nr.yml.log 2021-10-13 22:56 25K
Automizer PN.04-mutex_14-funarg_rc.yml.log 2021-10-13 22:56 25K
Automizer PN.04-mutex_15-funarg_nr.yml.log 2021-10-13 22:56 26K
Automizer PN.04-mutex_16-ps_add1_rc.yml.log 2021-10-13 22:56 25K
Automizer PN.04-mutex_17-ps_add1_nr.yml.log 2021-10-13 22:56 26K
Automizer PN.04-mutex_18-glob_guards.yml.log 2021-10-13 22:56 25K
Automizer PN.04-mutex_19-call_by_ptr_rc.yml.log 2021-10-13 22:56 25K
Automizer PN.04-mutex_20-stdfun_rc.yml.log 2021-10-13 22:56 25K
Automizer PN.04-mutex_21-sound_base.yml.log 2021-10-13 22:56 25K
Automizer PN.04-mutex_22-deref_read.yml.log 2021-10-13 22:56 25K
Automizer PN.04-mutex_23-sound_unlock.yml.log 2021-10-13 22:56 15K
Automizer PN.04-mutex_24-sound_lock.yml.log 2021-10-13 22:56 26K
Automizer PN.04-mutex_25-single_acc.yml.log 2021-10-13 22:56 25K
Automizer PN.04-mutex_27-base_rc.yml.log 2021-10-13 22:56 25K
Automizer PN.04-mutex_28-base_nr.yml.log 2021-10-13 22:56 26K
Automizer PN.04-mutex_35-trylock_rc.yml.log 2021-10-13 22:56 26K
Automizer PN.04-mutex_36-trylock_nr.yml.log 2021-10-13 22:56 26K
Automizer PN.04-mutex_37-indirect_rc.yml.log 2021-10-13 22:56 26K
Automizer PN.04-mutex_38-indexing_malloc.yml.log 2021-10-13 22:56 25K
Automizer PN.04-mutex_41-pt_rwlock.yml.log 2021-10-13 22:56 26K
Automizer PN.04-mutex_42-trylock_2mutex.yml.log 2021-10-13 22:56 26K
Automizer PN.04-mutex_43-thread_create_nr.yml.log 2021-10-13 22:56 26K
Automizer PN.04-mutex_44-malloc_sound.yml.log 2021-10-13 22:56 26K
Automizer PN.04-mutex_45-escape_rc.yml.log 2021-10-13 22:56 26K
Automizer PN.04-mutex_46-escape_nr.yml.log 2021-10-13 22:56 26K
Automizer PN.04-mutex_47-fun_write.yml.log 2021-10-13 22:56 26K
Automizer PN.04-mutex_50-funptr_rc.yml.log 2021-10-13 22:56 26K
Automizer PN.04-mutex_51-mutex_ptr.yml.log 2021-10-13 22:56 26K
Automizer PN.04-mutex_54-pt_rwlock_ww.yml.log 2021-10-13 22:56 26K
Automizer PN.04-mutex_55-pt_rwlock_rr.yml.log 2021-10-13 22:56 26K
Automizer PN.05-lval_ls_01-idx_rc.yml.log 2021-10-13 22:56 25K
Automizer PN.05-lval_ls_02-idx_nr.yml.log 2021-10-13 22:56 25K
Automizer PN.05-lval_ls_03-fld_rc.yml.log 2021-10-13 22:56 25K
Automizer PN.05-lval_ls_04-fld_nr.yml.log 2021-10-13 22:56 25K
Automizer PN.05-lval_ls_05-glob_idx_rc.yml.log 2021-10-13 22:56 25K
Automizer PN.05-lval_ls_07-glob_fld_rc.yml.log 2021-10-13 22:56 26K
Automizer PN.05-lval_ls_08-glob_fld_2_rc.yml.log 2021-10-13 22:56 25K
Automizer PN.05-lval_ls_09-idxsense_rc.yml.log 2021-10-13 22:56 26K
Automizer PN.05-lval_ls_11-fldsense_rc.yml.log 2021-10-13 22:56 25K
Automizer PN.05-lval_ls_12-fldsense_nr.yml.log 2021-10-13 22:56 26K
Automizer PN.05-lval_ls_13-idxunknown_lock.yml.log 2021-10-13 22:56 25K
Automizer PN.05-lval_ls_14-idxunknown_access.yml.log 2021-10-13 22:56 25K
Automizer PN.05-lval_ls_15-fldunknown_access.yml.log 2021-10-13 22:56 25K
Automizer PN.05-lval_ls_16-idxunknown_unlock.yml.log 2021-10-13 22:56 15K
Automizer PN.06-symbeq_02-funloop_norace.yml.log 2021-10-13 22:56 26K
Automizer PN.06-symbeq_03-funloop_simple.yml.log 2021-10-13 22:56 26K
Automizer PN.06-symbeq_04-funloop_hard1.yml.log 2021-10-13 22:56 26K
Automizer PN.06-symbeq_05-funloop_hard2.yml.log 2021-10-13 22:56 25K
Automizer PN.06-symbeq_06-tricky_address1.yml.log 2021-10-13 22:56 26K
Automizer PN.06-symbeq_07-tricky_address2.yml.log 2021-10-13 22:56 26K
Automizer PN.06-symbeq_08-tricky_address3.yml.log 2021-10-13 22:56 26K
Automizer PN.06-symbeq_09-tricky_address4.yml.log 2021-10-13 22:56 26K
Automizer PN.06-symbeq_10-equ_rc.yml.log 2021-10-13 22:56 25K
Automizer PN.06-symbeq_11-equ_nr.yml.log 2021-10-13 22:56 26K
Automizer PN.06-symbeq_13-equ_proc_nr.yml.log 2021-10-13 22:56 26K
Automizer PN.06-symbeq_14-list_entry_rc.yml.log 2021-10-13 22:56 15K
Automizer PN.06-symbeq_15-list_entry_nr.yml.log 2021-10-13 22:56 26K
Automizer PN.06-symbeq_23-idxsense_nr.yml.log 2021-10-13 22:56 25K
Automizer PN.09-regions_01-list_rc.yml.log 2021-10-13 22:56 26K
Automizer PN.09-regions_02-list_nr.yml.log 2021-10-13 22:56 26K
Automizer PN.09-regions_03-list2_rc.yml.log 2021-10-13 22:56 26K
Automizer PN.09-regions_04-list2_nr.yml.log 2021-10-13 22:56 26K
Automizer PN.09-regions_05-ptra_rc.yml.log 2021-10-13 22:56 26K
Automizer PN.09-regions_06-ptra_nr.yml.log 2021-10-13 22:57 26K
Automizer PN.09-regions_09-arraylist.yml.log 2021-10-13 22:57 26K
Automizer PN.09-regions_10-arraylist_rc.yml.log 2021-10-13 22:57 26K
Automizer PN.09-regions_11-arraylist_nr.yml.log 2021-10-13 22:57 26K
Automizer PN.09-regions_12-arraycollapse_rc.yml.log 2021-10-13 22:57 26K
Automizer PN.09-regions_13-arraycollapse_nr.yml.log 2021-10-13 22:57 26K
Automizer PN.09-regions_16-arrayloop_rc.yml.log 2021-10-13 22:57 26K
Automizer PN.09-regions_17-arrayloop_nr.yml.log 2021-10-13 22:57 26K
Automizer PN.09-regions_18-nested_rc.yml.log 2021-10-13 22:57 26K
Automizer PN.09-regions_19-nested_nr.yml.log 2021-10-13 22:57 26K
Automizer PN.09-regions_20-arrayloop2_rc.yml.log 2021-10-13 22:57 27K
Automizer PN.09-regions_21-arrayloop2_nr.yml.log 2021-10-13 22:57 27K
Automizer PN.09-regions_22-nocollapse.yml.log 2021-10-13 22:57 27K
Automizer PN.09-regions_23-evilcollapse_rc.yml.log 2021-10-13 22:57 27K
Automizer PN.09-regions_24-evilcollapse_nr.yml.log 2021-10-13 22:57 27K
Automizer PN.09-regions_26-alloc_region_rc.yml.log 2021-10-13 22:57 26K
Automizer PN.09-regions_28-list2alloc.yml.log 2021-10-13 22:57 26K
Automizer PN.10-synch_01-thread_unique.yml.log 2021-10-13 22:57 25K
Automizer PN.10-synch_02-thread_nonunique.yml.log 2021-10-13 22:57 25K
Automizer PN.10-synch_03-two_unique.yml.log 2021-10-13 22:57 26K
Automizer PN.13-privatized_03-priv_inv.yml.log 2021-10-13 22:57 26K
Automizer PN.14_spin2003.yml.log 2021-10-13 22:50 279K
Automizer PN.18_read_write_lock.yml.log 2021-10-13 22:50 61K
Automizer PN.39_rand_lock_p0_vs-b.yml.log 2021-10-13 22:51 665K
Automizer PN.39_rand_lock_p0_vs.yml.log 2021-10-13 22:51 674K
Automizer PN.40_barrier_vf-b.yml.log 2021-10-13 22:53 663K
Automizer PN.40_barrier_vf.yml.log 2021-10-13 22:53 292K
Automizer PN.45_monabsex1_vs-b.yml.log 2021-10-13 22:54 267K
Automizer PN.45_monabsex1_vs.yml.log 2021-10-13 22:55 327K
Automizer PN.46_monabsex2_vs-b.yml.log 2021-10-13 22:54 271K
Automizer PN.46_monabsex2_vs.yml.log 2021-10-13 22:55 288K
Automizer PN.48_ticket_lock_low_contention_vs-b.yml.log 2021-10-13 22:55 277K
Automizer PN.48_ticket_lock_low_contention_vs.yml.log 2021-10-13 22:55 296K
Automizer PN.dekker-b.yml.log 2021-10-13 22:48 81K
Automizer PN.dekker.yml.log 2021-10-13 22:48 90K
Automizer PN.fib_bench-1.yml.log 2021-10-13 22:59 1.0M
Automizer PN.fib_bench-2.yml.log 2021-10-13 22:58 1.0M
Automizer PN.fib_bench_longer-1.yml.log 2021-10-13 22:54 953K
Automizer PN.fib_bench_longer-2.yml.log 2021-10-13 22:57 821K
Automizer PN.fib_bench_longest-1.yml.log 2021-10-13 22:59 1.0M
Automizer PN.fib_bench_longest-2.yml.log 2021-10-13 22:58 912K
Automizer PN.lamport-b.yml.log 2021-10-13 22:49 115K
Automizer PN.lamport.yml.log 2021-10-13 22:49 132K
Automizer PN.lazy01.yml.log 2021-10-13 22:45 83K
Automizer PN.peterson-b.yml.log 2021-10-13 22:49 72K
Automizer PN.peterson.yml.log 2021-10-13 22:49 88K
Automizer PN.qw2004-2.yml.log 2021-10-13 22:55 94K
Automizer PN.race-1_1-join.yml.log 2021-10-13 22:45 73K
Automizer PN.race-1_2-join.yml.log 2021-10-13 22:45 65K
Automizer PN.race-1_2b-join.yml.log 2021-10-13 22:45 65K
Automizer PN.race-1_3-join.yml.log 2021-10-13 22:45 74K
Automizer PN.race-1_3b-join.yml.log 2021-10-13 22:45 74K
Automizer PN.race-2_1-container_of.yml.log 2021-10-13 22:47 293K
Automizer PN.race-2_2-container_of.yml.log 2021-10-13 22:48 256K
Automizer PN.race-2_2b-container_of.yml.log 2021-10-13 22:48 247K
Automizer PN.race-2_3-container_of.yml.log 2021-10-13 22:45 105K
Automizer PN.race-2_3b-container_of.yml.log 2021-10-13 22:45 104K
Automizer PN.race-2_4-container_of.yml.log 2021-10-13 22:45 114K
Automizer PN.race-2_4b-container_of.yml.log 2021-10-13 22:45 122K
Automizer PN.race-2_5-container_of.yml.log 2021-10-13 22:45 116K
Automizer PN.race-2_5b-container_of.yml.log 2021-10-13 22:45 116K
Automizer PN.race-3_1-container_of-global.yml.log 2021-10-13 22:49 319K
Automizer PN.race-3_2-container_of-global.yml.log 2021-10-13 22:57 603K
Automizer PN.race-3_2b-container_of-global.yml.log 2021-10-13 22:51 411K
Automizer PN.read_write_lock-1.yml.log 2021-10-13 22:49 125K
Automizer PN.read_write_lock-1b.yml.log 2021-10-13 22:49 102K
Automizer PN.read_write_lock-2.yml.log 2021-10-13 22:49 133K
Automizer PN.read_write_lock-2b.yml.log 2021-10-13 22:49 109K
Automizer PN.singleton-b.yml.log 2021-10-13 22:45 113K
Automizer PN.singleton.yml.log 2021-10-13 22:45 113K
Automizer PN.singleton_with-uninit-problems-b.yml.log 2021-10-13 22:45 116K
Automizer PN.singleton_with-uninit-problems.yml.log 2021-10-13 22:45 117K
Automizer PN.stateful01-1.yml.log 2021-10-13 22:45 49K
Automizer PN.stateful01-2.yml.log 2021-10-13 22:45 70K
Automizer PN.szymanski-b.yml.log 2021-10-13 22:49 72K
Automizer PN.szymanski.yml.log 2021-10-13 22:49 104K
Automizer PN.time_var_mutex.yml.log 2021-10-13 22:49 84K
Automizer PN.triangular-1.yml.log 2021-10-13 22:46 339K
Automizer PN.triangular-2.yml.log 2021-10-13 22:46 176K
Automizer PN.triangular-longer-1.yml.log 2021-10-13 22:59 1.4M
Automizer PN.triangular-longer-2.yml.log 2021-10-13 22:55 1.1M
Automizer PN.triangular-longest-1.yml.log 2021-10-13 22:59 1.3M
Automizer PN.triangular-longest-2.yml.log 2021-10-13 23:01 1.3M