Index of /logs/student-concurrency/20211014-152443-student-concurrency-aed12abd52/concurrency.2021-10-14_11-52-40.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-14 11:54 56K
Automizer FA.01_inc.yml.log 2021-10-14 11:53 283K
Automizer FA.02-base_24-malloc_races.yml.log 2021-10-14 11:54 89K
Automizer FA.02-base_25-malloc_race_cp.yml.log 2021-10-14 11:54 89K
Automizer FA.02-base_26-malloc_struct.yml.log 2021-10-14 11:54 82K
Automizer FA.02_inc_cas.yml.log 2021-10-14 11:53 26K
Automizer FA.03-practical_07-nonterm.yml.log 2021-10-14 11:54 56K
Automizer FA.03-practical_08-nonterm1.yml.log 2021-10-14 11:54 79K
Automizer FA.03-practical_15-exit_problems.yml.log 2021-10-14 11:54 63K
Automizer FA.04-mutex_01-simple_rc.yml.log 2021-10-14 11:54 56K
Automizer FA.04-mutex_02-simple_nr.yml.log 2021-10-14 11:54 59K
Automizer FA.04-mutex_03-munge_rc.yml.log 2021-10-14 11:54 62K
Automizer FA.04-mutex_04-munge_nr.yml.log 2021-10-14 11:54 124K
Automizer FA.04-mutex_05-lockfuns.yml.log 2021-10-14 11:54 61K
Automizer FA.04-mutex_06-ps_rc.yml.log 2021-10-14 11:54 63K
Automizer FA.04-mutex_07-ps_nr.yml.log 2021-10-14 11:54 67K
Automizer FA.04-mutex_09-ptrmunge_rc.yml.log 2021-10-14 11:54 79K
Automizer FA.04-mutex_10-ptrmunge_nr.yml.log 2021-10-14 11:55 333K
Automizer FA.04-mutex_11-ptr_rc.yml.log 2021-10-14 11:54 69K
Automizer FA.04-mutex_12-ptr_nr.yml.log 2021-10-14 11:54 79K
Automizer FA.04-mutex_14-funarg_rc.yml.log 2021-10-14 11:54 49K
Automizer FA.04-mutex_15-funarg_nr.yml.log 2021-10-14 11:54 52K
Automizer FA.04-mutex_16-ps_add1_rc.yml.log 2021-10-14 11:54 57K
Automizer FA.04-mutex_17-ps_add1_nr.yml.log 2021-10-14 11:54 67K
Automizer FA.04-mutex_18-glob_guards.yml.log 2021-10-14 11:54 43K
Automizer FA.04-mutex_19-call_by_ptr_rc.yml.log 2021-10-14 11:54 56K
Automizer FA.04-mutex_20-stdfun_rc.yml.log 2021-10-14 11:54 48K
Automizer FA.04-mutex_21-sound_base.yml.log 2021-10-14 11:54 55K
Automizer FA.04-mutex_22-deref_read.yml.log 2021-10-14 11:54 67K
Automizer FA.04-mutex_23-sound_unlock.yml.log 2021-10-14 11:54 16K
Automizer FA.04-mutex_24-sound_lock.yml.log 2021-10-14 11:54 63K
Automizer FA.04-mutex_25-single_acc.yml.log 2021-10-14 11:54 63K
Automizer FA.04-mutex_27-base_rc.yml.log 2021-10-14 11:54 85K
Automizer FA.04-mutex_28-base_nr.yml.log 2021-10-14 11:54 74K
Automizer FA.04-mutex_35-trylock_rc.yml.log 2021-10-14 11:54 19K
Automizer FA.04-mutex_36-trylock_nr.yml.log 2021-10-14 11:54 19K
Automizer FA.04-mutex_37-indirect_rc.yml.log 2021-10-14 11:54 76K
Automizer FA.04-mutex_38-indexing_malloc.yml.log 2021-10-14 11:54 193K
Automizer FA.04-mutex_41-pt_rwlock.yml.log 2021-10-14 11:54 60K
Automizer FA.04-mutex_42-trylock_2mutex.yml.log 2021-10-14 11:54 76K
Automizer FA.04-mutex_43-thread_create_nr.yml.log 2021-10-14 11:54 66K
Automizer FA.04-mutex_44-malloc_sound.yml.log 2021-10-14 11:55 169K
Automizer FA.04-mutex_45-escape_rc.yml.log 2021-10-14 11:54 71K
Automizer FA.04-mutex_46-escape_nr.yml.log 2021-10-14 11:54 81K
Automizer FA.04-mutex_47-fun_write.yml.log 2021-10-14 11:54 57K
Automizer FA.04-mutex_50-funptr_rc.yml.log 2021-10-14 11:54 48K
Automizer FA.04-mutex_51-mutex_ptr.yml.log 2021-10-14 11:54 90K
Automizer FA.04-mutex_54-pt_rwlock_ww.yml.log 2021-10-14 11:54 60K
Automizer FA.04-mutex_55-pt_rwlock_rr.yml.log 2021-10-14 11:54 60K
Automizer FA.05-lval_ls_01-idx_rc.yml.log 2021-10-14 11:55 151K
Automizer FA.05-lval_ls_02-idx_nr.yml.log 2021-10-14 11:55 79K
Automizer FA.05-lval_ls_03-fld_rc.yml.log 2021-10-14 11:54 56K
Automizer FA.05-lval_ls_04-fld_nr.yml.log 2021-10-14 11:55 60K
Automizer FA.05-lval_ls_05-glob_idx_rc.yml.log 2021-10-14 11:54 19K
Automizer FA.05-lval_ls_07-glob_fld_rc.yml.log 2021-10-14 11:55 59K
Automizer FA.05-lval_ls_08-glob_fld_2_rc.yml.log 2021-10-14 11:55 78K
Automizer FA.05-lval_ls_09-idxsense_rc.yml.log 2021-10-14 11:55 19K
Automizer FA.05-lval_ls_11-fldsense_rc.yml.log 2021-10-14 11:55 60K
Automizer FA.05-lval_ls_12-fldsense_nr.yml.log 2021-10-14 11:55 71K
Automizer FA.05-lval_ls_13-idxunknown_lock.yml.log 2021-10-14 11:55 19K
Automizer FA.05-lval_ls_14-idxunknown_access.yml.log 2021-10-14 11:55 19K
Automizer FA.05-lval_ls_15-fldunknown_access.yml.log 2021-10-14 11:55 60K
Automizer FA.05-lval_ls_16-idxunknown_unlock.yml.log 2021-10-14 11:55 16K
Automizer FA.06-symbeq_02-funloop_norace.yml.log 2021-10-14 12:06 1.4M
Automizer FA.06-symbeq_03-funloop_simple.yml.log 2021-10-14 11:55 19K
Automizer FA.06-symbeq_04-funloop_hard1.yml.log 2021-10-14 11:55 19K
Automizer FA.06-symbeq_05-funloop_hard2.yml.log 2021-10-14 11:55 19K
Automizer FA.06-symbeq_06-tricky_address1.yml.log 2021-10-14 11:55 20K
Automizer FA.06-symbeq_07-tricky_address2.yml.log 2021-10-14 11:55 20K
Automizer FA.06-symbeq_08-tricky_address3.yml.log 2021-10-14 11:55 19K
Automizer FA.06-symbeq_09-tricky_address4.yml.log 2021-10-14 11:55 19K
Automizer FA.06-symbeq_10-equ_rc.yml.log 2021-10-14 11:55 69K
Automizer FA.06-symbeq_11-equ_nr.yml.log 2021-10-14 11:55 72K
Automizer FA.06-symbeq_13-equ_proc_nr.yml.log 2021-10-14 11:55 158K
Automizer FA.06-symbeq_14-list_entry_rc.yml.log 2021-10-14 11:55 16K
Automizer FA.06-symbeq_15-list_entry_nr.yml.log 2021-10-14 11:55 423K
Automizer FA.06-symbeq_23-idxsense_nr.yml.log 2021-10-14 11:55 19K
Automizer FA.09-regions_01-list_rc.yml.log 2021-10-14 11:57 638K
Automizer FA.09-regions_02-list_nr.yml.log 2021-10-14 11:59 873K
Automizer FA.09-regions_03-list2_rc.yml.log 2021-10-14 11:55 165K
Automizer FA.09-regions_04-list2_nr.yml.log 2021-10-14 11:57 468K
Automizer FA.09-regions_05-ptra_rc.yml.log 2021-10-14 11:58 605K
Automizer FA.09-regions_06-ptra_nr.yml.log 2021-10-14 11:55 210K
Automizer FA.09-regions_09-arraylist.yml.log 2021-10-14 11:55 20K
Automizer FA.09-regions_10-arraylist_rc.yml.log 2021-10-14 11:55 20K
Automizer FA.09-regions_11-arraylist_nr.yml.log 2021-10-14 11:55 20K
Automizer FA.09-regions_12-arraycollapse_rc.yml.log 2021-10-14 11:55 20K
Automizer FA.09-regions_13-arraycollapse_nr.yml.log 2021-10-14 11:55 20K
Automizer FA.09-regions_16-arrayloop_rc.yml.log 2021-10-14 11:55 21K
Automizer FA.09-regions_17-arrayloop_nr.yml.log 2021-10-14 11:55 21K
Automizer FA.09-regions_18-nested_rc.yml.log 2021-10-14 11:55 20K
Automizer FA.09-regions_19-nested_nr.yml.log 2021-10-14 11:55 20K
Automizer FA.09-regions_20-arrayloop2_rc.yml.log 2021-10-14 11:55 21K
Automizer FA.09-regions_21-arrayloop2_nr.yml.log 2021-10-14 11:55 20K
Automizer FA.09-regions_22-nocollapse.yml.log 2021-10-14 11:55 20K
Automizer FA.09-regions_23-evilcollapse_rc.yml.log 2021-10-14 11:55 20K
Automizer FA.09-regions_24-evilcollapse_nr.yml.log 2021-10-14 11:55 20K
Automizer FA.09-regions_26-alloc_region_rc.yml.log 2021-10-14 12:07 2.1M
Automizer FA.09-regions_28-list2alloc.yml.log 2021-10-14 11:55 110K
Automizer FA.10-synch_01-thread_unique.yml.log 2021-10-14 11:55 43K
Automizer FA.10-synch_02-thread_nonunique.yml.log 2021-10-14 11:55 21K
Automizer FA.10-synch_03-two_unique.yml.log 2021-10-14 11:55 55K
Automizer FA.13-privatized_03-priv_inv.yml.log 2021-10-14 11:55 67K
Automizer FA.14_spin2003.yml.log 2021-10-14 11:53 288K
Automizer FA.18_read_write_lock.yml.log 2021-10-14 11:53 71K
Automizer FA.39_rand_lock_p0_vs-b.yml.log 2021-10-14 11:54 285K
Automizer FA.39_rand_lock_p0_vs.yml.log 2021-10-14 11:54 272K
Automizer FA.40_barrier_vf-b.yml.log 2021-10-14 11:53 276K
Automizer FA.40_barrier_vf.yml.log 2021-10-14 11:54 261K
Automizer FA.45_monabsex1_vs-b.yml.log 2021-10-14 11:53 175K
Automizer FA.45_monabsex1_vs.yml.log 2021-10-14 11:53 179K
Automizer FA.46_monabsex2_vs-b.yml.log 2021-10-14 11:54 191K
Automizer FA.46_monabsex2_vs.yml.log 2021-10-14 11:54 245K
Automizer FA.48_ticket_lock_low_contention_vs-b.yml.log 2021-10-14 11:54 309K
Automizer FA.48_ticket_lock_low_contention_vs.yml.log 2021-10-14 11:55 307K
Automizer FA.dekker-b.yml.log 2021-10-14 11:53 111K
Automizer FA.dekker.yml.log 2021-10-14 11:53 106K
Automizer FA.fib_bench-1.yml.log 2021-10-14 11:52 58K
Automizer FA.fib_bench-2.yml.log 2021-10-14 11:52 58K
Automizer FA.fib_bench_longer-1.yml.log 2021-10-14 11:52 58K
Automizer FA.fib_bench_longer-2.yml.log 2021-10-14 11:52 58K
Automizer FA.fib_bench_longest-1.yml.log 2021-10-14 11:52 58K
Automizer FA.fib_bench_longest-2.yml.log 2021-10-14 11:52 58K
Automizer FA.lamport-b.yml.log 2021-10-14 11:53 156K
Automizer FA.lamport.yml.log 2021-10-14 11:53 150K
Automizer FA.lazy01.yml.log 2021-10-14 11:52 74K
Automizer FA.peterson-b.yml.log 2021-10-14 11:53 110K
Automizer FA.peterson.yml.log 2021-10-14 11:53 98K
Automizer FA.qw2004-2.yml.log 2021-10-14 11:54 117K
Automizer FA.race-1_1-join.yml.log 2021-10-14 11:52 19K
Automizer FA.race-1_2-join.yml.log 2021-10-14 11:52 19K
Automizer FA.race-1_2b-join.yml.log 2021-10-14 11:52 19K
Automizer FA.race-1_3-join.yml.log 2021-10-14 11:52 19K
Automizer FA.race-1_3b-join.yml.log 2021-10-14 11:52 19K
Automizer FA.race-2_1-container_of.yml.log 2021-10-14 11:52 19K
Automizer FA.race-2_2-container_of.yml.log 2021-10-14 11:52 20K
Automizer FA.race-2_2b-container_of.yml.log 2021-10-14 11:52 19K
Automizer FA.race-2_3-container_of.yml.log 2021-10-14 11:52 20K
Automizer FA.race-2_3b-container_of.yml.log 2021-10-14 11:52 19K
Automizer FA.race-2_4-container_of.yml.log 2021-10-14 11:52 19K
Automizer FA.race-2_4b-container_of.yml.log 2021-10-14 11:52 19K
Automizer FA.race-2_5-container_of.yml.log 2021-10-14 11:52 19K
Automizer FA.race-2_5b-container_of.yml.log 2021-10-14 11:52 19K
Automizer FA.race-3_1-container_of-global.yml.log 2021-10-14 11:52 19K
Automizer FA.race-3_2-container_of-global.yml.log 2021-10-14 11:52 19K
Automizer FA.race-3_2b-container_of-global.yml.log 2021-10-14 11:52 19K
Automizer FA.read_write_lock-1.yml.log 2021-10-14 11:54 107K
Automizer FA.read_write_lock-1b.yml.log 2021-10-14 11:53 87K
Automizer FA.read_write_lock-2.yml.log 2021-10-14 11:53 98K
Automizer FA.read_write_lock-2b.yml.log 2021-10-14 11:53 90K
Automizer FA.singleton-b.yml.log 2021-10-14 11:52 124K
Automizer FA.singleton.yml.log 2021-10-14 11:53 137K
Automizer FA.singleton_with-uninit-problems-b.yml.log 2021-10-14 11:52 125K
Automizer FA.singleton_with-uninit-problems.yml.log 2021-10-14 11:53 137K
Automizer FA.stateful01-1.yml.log 2021-10-14 11:52 106K
Automizer FA.stateful01-2.yml.log 2021-10-14 11:52 106K
Automizer FA.szymanski-b.yml.log 2021-10-14 11:53 119K
Automizer FA.szymanski.yml.log 2021-10-14 11:53 129K
Automizer FA.time_var_mutex.yml.log 2021-10-14 11:53 105K
Automizer FA.triangular-1.yml.log 2021-10-14 11:52 55K
Automizer FA.triangular-2.yml.log 2021-10-14 11:52 55K
Automizer FA.triangular-longer-1.yml.log 2021-10-14 11:52 55K
Automizer FA.triangular-longer-2.yml.log 2021-10-14 11:52 55K
Automizer FA.triangular-longest-1.yml.log 2021-10-14 11:52 55K
Automizer FA.triangular-longest-2.yml.log 2021-10-14 11:52 55K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.00-sanity_09-include.yml.log 2021-10-14 12:24 54K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.01_inc.yml.log 2021-10-14 12:23 244K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.02-base_24-malloc_races.yml.log 2021-10-14 12:24 67K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.02-base_25-malloc_race_cp.yml.log 2021-10-14 12:24 67K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.02-base_26-malloc_struct.yml.log 2021-10-14 12:24 67K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.02_inc_cas.yml.log 2021-10-14 12:23 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.03-practical_07-nonterm.yml.log 2021-10-14 12:24 53K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.03-practical_08-nonterm1.yml.log 2021-10-14 12:24 68K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.03-practical_15-exit_problems.yml.log 2021-10-14 12:24 54K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_01-simple_rc.yml.log 2021-10-14 12:24 53K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_02-simple_nr.yml.log 2021-10-14 12:24 75K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_03-munge_rc.yml.log 2021-10-14 12:24 59K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_04-munge_nr.yml.log 2021-10-14 12:24 81K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_05-lockfuns.yml.log 2021-10-14 12:24 76K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_06-ps_rc.yml.log 2021-10-14 12:24 54K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_07-ps_nr.yml.log 2021-10-14 12:24 84K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_09-ptrmunge_rc.yml.log 2021-10-14 12:24 76K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_10-ptrmunge_nr.yml.log 2021-10-14 12:24 140K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_11-ptr_rc.yml.log 2021-10-14 12:24 67K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_12-ptr_nr.yml.log 2021-10-14 12:24 92K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_14-funarg_rc.yml.log 2021-10-14 12:24 53K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_15-funarg_nr.yml.log 2021-10-14 12:24 66K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_16-ps_add1_rc.yml.log 2021-10-14 12:24 58K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_17-ps_add1_nr.yml.log 2021-10-14 12:24 84K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_18-glob_guards.yml.log 2021-10-14 12:24 48K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_19-call_by_ptr_rc.yml.log 2021-10-14 12:24 53K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_20-stdfun_rc.yml.log 2021-10-14 12:24 64K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_21-sound_base.yml.log 2021-10-14 12:24 58K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_22-deref_read.yml.log 2021-10-14 12:24 80K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_23-sound_unlock.yml.log 2021-10-14 12:24 16K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_24-sound_lock.yml.log 2021-10-14 12:24 53K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_25-single_acc.yml.log 2021-10-14 12:24 64K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_27-base_rc.yml.log 2021-10-14 12:24 76K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_28-base_nr.yml.log 2021-10-14 12:24 83K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_35-trylock_rc.yml.log 2021-10-14 12:24 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_36-trylock_nr.yml.log 2021-10-14 12:24 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_37-indirect_rc.yml.log 2021-10-14 12:24 59K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_38-indexing_malloc.yml.log 2021-10-14 12:24 183K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_41-pt_rwlock.yml.log 2021-10-14 12:24 57K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_42-trylock_2mutex.yml.log 2021-10-14 12:24 64K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_43-thread_create_nr.yml.log 2021-10-14 12:24 75K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_44-malloc_sound.yml.log 2021-10-14 12:24 156K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_45-escape_rc.yml.log 2021-10-14 12:24 68K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_46-escape_nr.yml.log 2021-10-14 12:24 94K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_47-fun_write.yml.log 2021-10-14 12:24 54K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_50-funptr_rc.yml.log 2021-10-14 12:24 51K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_51-mutex_ptr.yml.log 2021-10-14 12:24 101K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_54-pt_rwlock_ww.yml.log 2021-10-14 12:24 57K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_55-pt_rwlock_rr.yml.log 2021-10-14 12:24 57K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_01-idx_rc.yml.log 2021-10-14 12:24 133K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_02-idx_nr.yml.log 2021-10-14 12:24 101K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_03-fld_rc.yml.log 2021-10-14 12:24 54K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_04-fld_nr.yml.log 2021-10-14 12:24 76K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_05-glob_idx_rc.yml.log 2021-10-14 12:24 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_07-glob_fld_rc.yml.log 2021-10-14 12:24 56K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_08-glob_fld_2_rc.yml.log 2021-10-14 12:24 76K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_09-idxsense_rc.yml.log 2021-10-14 12:24 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_11-fldsense_rc.yml.log 2021-10-14 12:24 57K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_12-fldsense_nr.yml.log 2021-10-14 12:24 84K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_13-idxunknown_lock.yml.log 2021-10-14 12:24 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_14-idxunknown_access.yml.log 2021-10-14 12:24 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_15-fldunknown_access.yml.log 2021-10-14 12:24 57K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_16-idxunknown_unlock.yml.log 2021-10-14 12:24 16K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_02-funloop_norace.yml.log 2021-10-14 12:39 209K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_03-funloop_simple.yml.log 2021-10-14 12:24 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_04-funloop_hard1.yml.log 2021-10-14 12:24 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_05-funloop_hard2.yml.log 2021-10-14 12:24 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_06-tricky_address1.yml.log 2021-10-14 12:24 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_07-tricky_address2.yml.log 2021-10-14 12:24 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_08-tricky_address3.yml.log 2021-10-14 12:24 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_09-tricky_address4.yml.log 2021-10-14 12:24 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_10-equ_rc.yml.log 2021-10-14 12:24 57K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_11-equ_nr.yml.log 2021-10-14 12:24 83K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_13-equ_proc_nr.yml.log 2021-10-14 12:24 102K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_14-list_entry_rc.yml.log 2021-10-14 12:24 16K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_15-list_entry_nr.yml.log 2021-10-14 12:24 109K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_23-idxsense_nr.yml.log 2021-10-14 12:24 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_01-list_rc.yml.log 2021-10-14 12:25 175K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_02-list_nr.yml.log 2021-10-14 12:25 181K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_03-list2_rc.yml.log 2021-10-14 12:25 106K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_04-list2_nr.yml.log 2021-10-14 12:25 216K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_05-ptra_rc.yml.log 2021-10-14 12:25 120K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_06-ptra_nr.yml.log 2021-10-14 12:25 167K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_09-arraylist.yml.log 2021-10-14 12:25 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_10-arraylist_rc.yml.log 2021-10-14 12:25 21K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_11-arraylist_nr.yml.log 2021-10-14 12:25 21K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_12-arraycollapse_rc.yml.log 2021-10-14 12:25 21K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_13-arraycollapse_nr.yml.log 2021-10-14 12:25 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_16-arrayloop_rc.yml.log 2021-10-14 12:25 21K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_17-arrayloop_nr.yml.log 2021-10-14 12:25 21K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_18-nested_rc.yml.log 2021-10-14 12:25 21K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_19-nested_nr.yml.log 2021-10-14 12:25 21K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_20-arrayloop2_rc.yml.log 2021-10-14 12:25 21K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_21-arrayloop2_nr.yml.log 2021-10-14 12:25 21K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_22-nocollapse.yml.log 2021-10-14 12:25 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_23-evilcollapse_rc.yml.log 2021-10-14 12:25 21K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_24-evilcollapse_nr.yml.log 2021-10-14 12:25 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_26-alloc_region_rc.yml.log 2021-10-14 12:37 258K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_28-list2alloc.yml.log 2021-10-14 12:25 105K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.10-synch_01-thread_unique.yml.log 2021-10-14 12:25 60K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.10-synch_02-thread_nonunique.yml.log 2021-10-14 12:25 21K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.10-synch_03-two_unique.yml.log 2021-10-14 12:25 85K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.13-privatized_03-priv_inv.yml.log 2021-10-14 12:25 85K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.14_spin2003.yml.log 2021-10-14 12:24 373K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.18_read_write_lock.yml.log 2021-10-14 12:23 85K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.39_rand_lock_p0_vs-b.yml.log 2021-10-14 12:23 367K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.39_rand_lock_p0_vs.yml.log 2021-10-14 12:24 426K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.40_barrier_vf-b.yml.log 2021-10-14 12:24 407K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.40_barrier_vf.yml.log 2021-10-14 12:26 589K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.45_monabsex1_vs-b.yml.log 2021-10-14 12:23 174K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.45_monabsex1_vs.yml.log 2021-10-14 12:24 207K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.46_monabsex2_vs-b.yml.log 2021-10-14 12:24 232K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.46_monabsex2_vs.yml.log 2021-10-14 12:25 868K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.48_ticket_lock_low_contention_vs-b.yml.log 2021-10-14 12:23 103K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.48_ticket_lock_low_contention_vs.yml.log 2021-10-14 12:38 1.0M
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.dekker-b.yml.log 2021-10-14 12:23 110K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.dekker.yml.log 2021-10-14 12:23 174K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.fib_bench-1.yml.log 2021-10-14 12:23 90K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.fib_bench-2.yml.log 2021-10-14 12:23 90K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.fib_bench_longer-1.yml.log 2021-10-14 12:23 90K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.fib_bench_longer-2.yml.log 2021-10-14 12:23 90K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.fib_bench_longest-1.yml.log 2021-10-14 12:23 91K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.fib_bench_longest-2.yml.log 2021-10-14 12:23 91K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.lamport-b.yml.log 2021-10-14 12:23 156K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.lamport.yml.log 2021-10-14 12:23 247K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.lazy01.yml.log 2021-10-14 12:23 106K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.peterson-b.yml.log 2021-10-14 12:23 109K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.peterson.yml.log 2021-10-14 12:23 139K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.qw2004-2.yml.log 2021-10-14 12:24 117K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-1_1-join.yml.log 2021-10-14 12:23 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-1_2-join.yml.log 2021-10-14 12:23 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-1_2b-join.yml.log 2021-10-14 12:23 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-1_3-join.yml.log 2021-10-14 12:23 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-1_3b-join.yml.log 2021-10-14 12:23 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-2_1-container_of.yml.log 2021-10-14 12:23 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-2_2-container_of.yml.log 2021-10-14 12:23 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-2_2b-container_of.yml.log 2021-10-14 12:23 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-2_3-container_of.yml.log 2021-10-14 12:23 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-2_3b-container_of.yml.log 2021-10-14 12:23 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-2_4-container_of.yml.log 2021-10-14 12:23 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-2_4b-container_of.yml.log 2021-10-14 12:23 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-2_5-container_of.yml.log 2021-10-14 12:23 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-2_5b-container_of.yml.log 2021-10-14 12:23 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-3_1-container_of-global.yml.log 2021-10-14 12:23 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-3_2-container_of-global.yml.log 2021-10-14 12:23 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-3_2b-container_of-global.yml.log 2021-10-14 12:23 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.read_write_lock-1.yml.log 2021-10-14 12:24 458K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.read_write_lock-1b.yml.log 2021-10-14 12:23 161K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.read_write_lock-2.yml.log 2021-10-14 12:24 344K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.read_write_lock-2b.yml.log 2021-10-14 12:23 150K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.singleton-b.yml.log 2021-10-14 12:23 168K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.singleton.yml.log 2021-10-14 12:23 229K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.singleton_with-uninit-problems-b.yml.log 2021-10-14 12:23 168K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.singleton_with-uninit-problems.yml.log 2021-10-14 12:23 229K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.stateful01-1.yml.log 2021-10-14 12:23 132K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.stateful01-2.yml.log 2021-10-14 12:23 132K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.szymanski-b.yml.log 2021-10-14 12:23 136K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.szymanski.yml.log 2021-10-14 12:23 220K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.time_var_mutex.yml.log 2021-10-14 12:23 164K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.triangular-1.yml.log 2021-10-14 12:23 88K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.triangular-2.yml.log 2021-10-14 12:23 88K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.triangular-longer-1.yml.log 2021-10-14 12:23 88K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.triangular-longer-2.yml.log 2021-10-14 12:23 88K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.triangular-longest-1.yml.log 2021-10-14 12:23 88K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.triangular-longest-2.yml.log 2021-10-14 12:23 88K
Automizer PN.00-sanity_09-include.yml.log 2021-10-14 12:08 60K
Automizer PN.01_inc.yml.log 2021-10-14 12:08 460K
Automizer PN.02-base_24-malloc_races.yml.log 2021-10-14 12:08 101K
Automizer PN.02-base_25-malloc_race_cp.yml.log 2021-10-14 12:08 101K
Automizer PN.02-base_26-malloc_struct.yml.log 2021-10-14 12:08 92K
Automizer PN.02_inc_cas.yml.log 2021-10-14 12:08 26K
Automizer PN.03-practical_07-nonterm.yml.log 2021-10-14 12:08 60K
Automizer PN.03-practical_08-nonterm1.yml.log 2021-10-14 12:08 87K
Automizer PN.03-practical_15-exit_problems.yml.log 2021-10-14 12:08 69K
Automizer PN.04-mutex_01-simple_rc.yml.log 2021-10-14 12:09 59K
Automizer PN.04-mutex_02-simple_nr.yml.log 2021-10-14 12:09 65K
Automizer PN.04-mutex_03-munge_rc.yml.log 2021-10-14 12:09 65K
Automizer PN.04-mutex_04-munge_nr.yml.log 2021-10-14 12:09 147K
Automizer PN.04-mutex_05-lockfuns.yml.log 2021-10-14 12:09 66K
Automizer PN.04-mutex_06-ps_rc.yml.log 2021-10-14 12:09 69K
Automizer PN.04-mutex_07-ps_nr.yml.log 2021-10-14 12:09 74K
Automizer PN.04-mutex_09-ptrmunge_rc.yml.log 2021-10-14 12:09 83K
Automizer PN.04-mutex_10-ptrmunge_nr.yml.log 2021-10-14 12:17 808K
Automizer PN.04-mutex_11-ptr_rc.yml.log 2021-10-14 12:09 73K
Automizer PN.04-mutex_12-ptr_nr.yml.log 2021-10-14 12:09 86K
Automizer PN.04-mutex_14-funarg_rc.yml.log 2021-10-14 12:09 50K
Automizer PN.04-mutex_15-funarg_nr.yml.log 2021-10-14 12:09 56K
Automizer PN.04-mutex_16-ps_add1_rc.yml.log 2021-10-14 12:09 60K
Automizer PN.04-mutex_17-ps_add1_nr.yml.log 2021-10-14 12:09 74K
Automizer PN.04-mutex_18-glob_guards.yml.log 2021-10-14 12:09 45K
Automizer PN.04-mutex_19-call_by_ptr_rc.yml.log 2021-10-14 12:09 59K
Automizer PN.04-mutex_20-stdfun_rc.yml.log 2021-10-14 12:09 50K
Automizer PN.04-mutex_21-sound_base.yml.log 2021-10-14 12:09 56K
Automizer PN.04-mutex_22-deref_read.yml.log 2021-10-14 12:09 74K
Automizer PN.04-mutex_23-sound_unlock.yml.log 2021-10-14 12:09 15K
Automizer PN.04-mutex_24-sound_lock.yml.log 2021-10-14 12:09 68K
Automizer PN.04-mutex_25-single_acc.yml.log 2021-10-14 12:09 66K
Automizer PN.04-mutex_27-base_rc.yml.log 2021-10-14 12:09 93K
Automizer PN.04-mutex_28-base_nr.yml.log 2021-10-14 12:09 90K
Automizer PN.04-mutex_35-trylock_rc.yml.log 2021-10-14 12:09 19K
Automizer PN.04-mutex_36-trylock_nr.yml.log 2021-10-14 12:09 19K
Automizer PN.04-mutex_37-indirect_rc.yml.log 2021-10-14 12:09 83K
Automizer PN.04-mutex_38-indexing_malloc.yml.log 2021-10-14 12:09 199K
Automizer PN.04-mutex_41-pt_rwlock.yml.log 2021-10-14 12:09 64K
Automizer PN.04-mutex_42-trylock_2mutex.yml.log 2021-10-14 12:09 84K
Automizer PN.04-mutex_43-thread_create_nr.yml.log 2021-10-14 12:09 73K
Automizer PN.04-mutex_44-malloc_sound.yml.log 2021-10-14 12:09 190K
Automizer PN.04-mutex_45-escape_rc.yml.log 2021-10-14 12:09 75K
Automizer PN.04-mutex_46-escape_nr.yml.log 2021-10-14 12:09 88K
Automizer PN.04-mutex_47-fun_write.yml.log 2021-10-14 12:09 61K
Automizer PN.04-mutex_50-funptr_rc.yml.log 2021-10-14 12:09 49K
Automizer PN.04-mutex_51-mutex_ptr.yml.log 2021-10-14 12:09 100K
Automizer PN.04-mutex_54-pt_rwlock_ww.yml.log 2021-10-14 12:09 64K
Automizer PN.04-mutex_55-pt_rwlock_rr.yml.log 2021-10-14 12:09 64K
Automizer PN.05-lval_ls_01-idx_rc.yml.log 2021-10-14 12:09 177K
Automizer PN.05-lval_ls_02-idx_nr.yml.log 2021-10-14 12:09 88K
Automizer PN.05-lval_ls_03-fld_rc.yml.log 2021-10-14 12:09 60K
Automizer PN.05-lval_ls_04-fld_nr.yml.log 2021-10-14 12:09 65K
Automizer PN.05-lval_ls_05-glob_idx_rc.yml.log 2021-10-14 12:09 19K
Automizer PN.05-lval_ls_07-glob_fld_rc.yml.log 2021-10-14 12:09 62K
Automizer PN.05-lval_ls_08-glob_fld_2_rc.yml.log 2021-10-14 12:09 83K
Automizer PN.05-lval_ls_09-idxsense_rc.yml.log 2021-10-14 12:09 19K
Automizer PN.05-lval_ls_11-fldsense_rc.yml.log 2021-10-14 12:09 64K
Automizer PN.05-lval_ls_12-fldsense_nr.yml.log 2021-10-14 12:09 78K
Automizer PN.05-lval_ls_13-idxunknown_lock.yml.log 2021-10-14 12:09 19K
Automizer PN.05-lval_ls_14-idxunknown_access.yml.log 2021-10-14 12:09 19K
Automizer PN.05-lval_ls_15-fldunknown_access.yml.log 2021-10-14 12:09 80K
Automizer PN.05-lval_ls_16-idxunknown_unlock.yml.log 2021-10-14 12:09 15K
Automizer PN.06-symbeq_02-funloop_norace.yml.log 2021-10-14 12:11 355K
Automizer PN.06-symbeq_03-funloop_simple.yml.log 2021-10-14 12:09 19K
Automizer PN.06-symbeq_04-funloop_hard1.yml.log 2021-10-14 12:09 19K
Automizer PN.06-symbeq_05-funloop_hard2.yml.log 2021-10-14 12:09 19K
Automizer PN.06-symbeq_06-tricky_address1.yml.log 2021-10-14 12:09 19K
Automizer PN.06-symbeq_07-tricky_address2.yml.log 2021-10-14 12:09 19K
Automizer PN.06-symbeq_08-tricky_address3.yml.log 2021-10-14 12:09 19K
Automizer PN.06-symbeq_09-tricky_address4.yml.log 2021-10-14 12:09 19K
Automizer PN.06-symbeq_10-equ_rc.yml.log 2021-10-14 12:09 60K
Automizer PN.06-symbeq_11-equ_nr.yml.log 2021-10-14 12:09 82K
Automizer PN.06-symbeq_13-equ_proc_nr.yml.log 2021-10-14 12:10 194K
Automizer PN.06-symbeq_14-list_entry_rc.yml.log 2021-10-14 12:09 15K
Automizer PN.06-symbeq_15-list_entry_nr.yml.log 2021-10-14 12:10 533K
Automizer PN.06-symbeq_23-idxsense_nr.yml.log 2021-10-14 12:09 19K
Automizer PN.09-regions_01-list_rc.yml.log 2021-10-14 12:23 498K
Automizer PN.09-regions_02-list_nr.yml.log 2021-10-14 12:22 496K
Automizer PN.09-regions_03-list2_rc.yml.log 2021-10-14 12:10 188K
Automizer PN.09-regions_04-list2_nr.yml.log 2021-10-14 12:20 726K
Automizer PN.09-regions_05-ptra_rc.yml.log 2021-10-14 12:23 499K
Automizer PN.09-regions_06-ptra_nr.yml.log 2021-10-14 12:10 236K
Automizer PN.09-regions_09-arraylist.yml.log 2021-10-14 12:09 20K
Automizer PN.09-regions_10-arraylist_rc.yml.log 2021-10-14 12:09 20K
Automizer PN.09-regions_11-arraylist_nr.yml.log 2021-10-14 12:10 20K
Automizer PN.09-regions_12-arraycollapse_rc.yml.log 2021-10-14 12:10 20K
Automizer PN.09-regions_13-arraycollapse_nr.yml.log 2021-10-14 12:10 20K
Automizer PN.09-regions_16-arrayloop_rc.yml.log 2021-10-14 12:10 20K
Automizer PN.09-regions_17-arrayloop_nr.yml.log 2021-10-14 12:10 20K
Automizer PN.09-regions_18-nested_rc.yml.log 2021-10-14 12:10 20K
Automizer PN.09-regions_19-nested_nr.yml.log 2021-10-14 12:10 20K
Automizer PN.09-regions_20-arrayloop2_rc.yml.log 2021-10-14 12:10 20K
Automizer PN.09-regions_21-arrayloop2_nr.yml.log 2021-10-14 12:10 20K
Automizer PN.09-regions_22-nocollapse.yml.log 2021-10-14 12:10 20K
Automizer PN.09-regions_23-evilcollapse_rc.yml.log 2021-10-14 12:10 20K
Automizer PN.09-regions_24-evilcollapse_nr.yml.log 2021-10-14 12:10 20K
Automizer PN.09-regions_26-alloc_region_rc.yml.log 2021-10-14 12:12 227K
Automizer PN.09-regions_28-list2alloc.yml.log 2021-10-14 12:10 115K
Automizer PN.10-synch_01-thread_unique.yml.log 2021-10-14 12:10 45K
Automizer PN.10-synch_02-thread_nonunique.yml.log 2021-10-14 12:10 20K
Automizer PN.10-synch_03-two_unique.yml.log 2021-10-14 12:10 59K
Automizer PN.13-privatized_03-priv_inv.yml.log 2021-10-14 12:10 75K
Automizer PN.14_spin2003.yml.log 2021-10-14 12:08 499K
Automizer PN.18_read_write_lock.yml.log 2021-10-14 12:08 79K
Automizer PN.39_rand_lock_p0_vs-b.yml.log 2021-10-14 12:08 946K
Automizer PN.39_rand_lock_p0_vs.yml.log 2021-10-14 12:11 60M
Automizer PN.40_barrier_vf-b.yml.log 2021-10-14 12:08 733K
Automizer PN.40_barrier_vf.yml.log 2021-10-14 12:08 647K
Automizer PN.45_monabsex1_vs-b.yml.log 2021-10-14 12:08 240K
Automizer PN.45_monabsex1_vs.yml.log 2021-10-14 12:08 548K
Automizer PN.46_monabsex2_vs-b.yml.log 2021-10-14 12:09 321K
Automizer PN.46_monabsex2_vs.yml.log 2021-10-14 12:09 25M
Automizer PN.48_ticket_lock_low_contention_vs-b.yml.log 2021-10-14 12:08 519K
Automizer PN.48_ticket_lock_low_contention_vs.yml.log 2021-10-14 12:09 829K
Automizer PN.dekker-b.yml.log 2021-10-14 12:08 118K
Automizer PN.dekker.yml.log 2021-10-14 12:08 116K
Automizer PN.fib_bench-1.yml.log 2021-10-14 12:07 59K
Automizer PN.fib_bench-2.yml.log 2021-10-14 12:07 59K
Automizer PN.fib_bench_longer-1.yml.log 2021-10-14 12:07 59K
Automizer PN.fib_bench_longer-2.yml.log 2021-10-14 12:07 59K
Automizer PN.fib_bench_longest-1.yml.log 2021-10-14 12:07 60K
Automizer PN.fib_bench_longest-2.yml.log 2021-10-14 12:07 60K
Automizer PN.lamport-b.yml.log 2021-10-14 12:08 178K
Automizer PN.lamport.yml.log 2021-10-14 12:08 167K
Automizer PN.lazy01.yml.log 2021-10-14 12:07 80K
Automizer PN.peterson-b.yml.log 2021-10-14 12:08 119K
Automizer PN.peterson.yml.log 2021-10-14 12:08 108K
Automizer PN.qw2004-2.yml.log 2021-10-14 12:08 133K
Automizer PN.race-1_1-join.yml.log 2021-10-14 12:07 19K
Automizer PN.race-1_2-join.yml.log 2021-10-14 12:07 19K
Automizer PN.race-1_2b-join.yml.log 2021-10-14 12:07 19K
Automizer PN.race-1_3-join.yml.log 2021-10-14 12:07 19K
Automizer PN.race-1_3b-join.yml.log 2021-10-14 12:07 19K
Automizer PN.race-2_1-container_of.yml.log 2021-10-14 12:07 19K
Automizer PN.race-2_2-container_of.yml.log 2021-10-14 12:07 19K
Automizer PN.race-2_2b-container_of.yml.log 2021-10-14 12:07 19K
Automizer PN.race-2_3-container_of.yml.log 2021-10-14 12:07 19K
Automizer PN.race-2_3b-container_of.yml.log 2021-10-14 12:07 19K
Automizer PN.race-2_4-container_of.yml.log 2021-10-14 12:07 19K
Automizer PN.race-2_4b-container_of.yml.log 2021-10-14 12:07 19K
Automizer PN.race-2_5-container_of.yml.log 2021-10-14 12:07 19K
Automizer PN.race-2_5b-container_of.yml.log 2021-10-14 12:07 19K
Automizer PN.race-3_1-container_of-global.yml.log 2021-10-14 12:07 19K
Automizer PN.race-3_2-container_of-global.yml.log 2021-10-14 12:07 19K
Automizer PN.race-3_2b-container_of-global.yml.log 2021-10-14 12:07 19K
Automizer PN.read_write_lock-1.yml.log 2021-10-14 12:08 179K
Automizer PN.read_write_lock-1b.yml.log 2021-10-14 12:08 162K
Automizer PN.read_write_lock-2.yml.log 2021-10-14 12:08 99K
Automizer PN.read_write_lock-2b.yml.log 2021-10-14 12:08 166K
Automizer PN.singleton-b.yml.log 2021-10-14 12:09 163K
Automizer PN.singleton.yml.log 2021-10-14 12:08 138K
Automizer PN.singleton_with-uninit-problems-b.yml.log 2021-10-14 12:10 186K
Automizer PN.singleton_with-uninit-problems.yml.log 2021-10-14 12:08 138K
Automizer PN.stateful01-1.yml.log 2021-10-14 12:08 120K
Automizer PN.stateful01-2.yml.log 2021-10-14 12:08 120K
Automizer PN.szymanski-b.yml.log 2021-10-14 12:08 125K
Automizer PN.szymanski.yml.log 2021-10-14 12:08 134K
Automizer PN.time_var_mutex.yml.log 2021-10-14 12:08 118K
Automizer PN.triangular-1.yml.log 2021-10-14 12:08 57K
Automizer PN.triangular-2.yml.log 2021-10-14 12:08 57K
Automizer PN.triangular-longer-1.yml.log 2021-10-14 12:08 57K
Automizer PN.triangular-longer-2.yml.log 2021-10-14 12:08 57K
Automizer PN.triangular-longest-1.yml.log 2021-10-14 12:08 57K
Automizer PN.triangular-longest-2.yml.log 2021-10-14 12:08 57K