Index of /logs/student-concurrency/20211017-101559-student-concurrency-eaa5364179/concurrency.2021-10-16_22-32-21.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-16 22:45 56K
Automizer FA.01_inc.yml.log 2021-10-16 22:44 283K
Automizer FA.02-base_24-malloc_races.yml.log 2021-10-16 22:45 89K
Automizer FA.02-base_25-malloc_race_cp.yml.log 2021-10-16 22:45 89K
Automizer FA.02-base_26-malloc_struct.yml.log 2021-10-16 22:45 82K
Automizer FA.02_inc_cas.yml.log 2021-10-16 22:44 26K
Automizer FA.03-practical_07-nonterm.yml.log 2021-10-16 22:45 56K
Automizer FA.03-practical_08-nonterm1.yml.log 2021-10-16 22:45 80K
Automizer FA.03-practical_15-exit_problems.yml.log 2021-10-16 22:45 63K
Automizer FA.04-mutex_01-simple_rc.yml.log 2021-10-16 22:45 56K
Automizer FA.04-mutex_02-simple_nr.yml.log 2021-10-16 22:45 59K
Automizer FA.04-mutex_03-munge_rc.yml.log 2021-10-16 22:45 62K
Automizer FA.04-mutex_04-munge_nr.yml.log 2021-10-16 22:46 124K
Automizer FA.04-mutex_05-lockfuns.yml.log 2021-10-16 22:46 60K
Automizer FA.04-mutex_06-ps_rc.yml.log 2021-10-16 22:46 64K
Automizer FA.04-mutex_07-ps_nr.yml.log 2021-10-16 22:46 66K
Automizer FA.04-mutex_09-ptrmunge_rc.yml.log 2021-10-16 22:46 79K
Automizer FA.04-mutex_10-ptrmunge_nr.yml.log 2021-10-16 22:46 332K
Automizer FA.04-mutex_11-ptr_rc.yml.log 2021-10-16 22:46 70K
Automizer FA.04-mutex_12-ptr_nr.yml.log 2021-10-16 22:46 79K
Automizer FA.04-mutex_14-funarg_rc.yml.log 2021-10-16 22:46 49K
Automizer FA.04-mutex_15-funarg_nr.yml.log 2021-10-16 22:46 52K
Automizer FA.04-mutex_16-ps_add1_rc.yml.log 2021-10-16 22:46 57K
Automizer FA.04-mutex_17-ps_add1_nr.yml.log 2021-10-16 22:46 67K
Automizer FA.04-mutex_18-glob_guards.yml.log 2021-10-16 22:46 43K
Automizer FA.04-mutex_19-call_by_ptr_rc.yml.log 2021-10-16 22:46 56K
Automizer FA.04-mutex_20-stdfun_rc.yml.log 2021-10-16 22:46 16K
Automizer FA.04-mutex_21-sound_base.yml.log 2021-10-16 22:46 55K
Automizer FA.04-mutex_22-deref_read.yml.log 2021-10-16 22:46 67K
Automizer FA.04-mutex_23-sound_unlock.yml.log 2021-10-16 22:46 16K
Automizer FA.04-mutex_24-sound_lock.yml.log 2021-10-16 22:46 63K
Automizer FA.04-mutex_25-single_acc.yml.log 2021-10-16 22:46 63K
Automizer FA.04-mutex_27-base_rc.yml.log 2021-10-16 22:46 85K
Automizer FA.04-mutex_28-base_nr.yml.log 2021-10-16 22:46 74K
Automizer FA.04-mutex_35-trylock_rc.yml.log 2021-10-16 22:46 16K
Automizer FA.04-mutex_36-trylock_nr.yml.log 2021-10-16 22:46 16K
Automizer FA.04-mutex_37-indirect_rc.yml.log 2021-10-16 22:46 76K
Automizer FA.04-mutex_38-indexing_malloc.yml.log 2021-10-16 22:46 193K
Automizer FA.04-mutex_41-pt_rwlock.yml.log 2021-10-16 22:46 16K
Automizer FA.04-mutex_42-trylock_2mutex.yml.log 2021-10-16 22:46 16K
Automizer FA.04-mutex_43-thread_create_nr.yml.log 2021-10-16 22:46 66K
Automizer FA.04-mutex_44-malloc_sound.yml.log 2021-10-16 22:46 170K
Automizer FA.04-mutex_45-escape_rc.yml.log 2021-10-16 22:46 71K
Automizer FA.04-mutex_46-escape_nr.yml.log 2021-10-16 22:46 81K
Automizer FA.04-mutex_47-fun_write.yml.log 2021-10-16 22:46 57K
Automizer FA.04-mutex_50-funptr_rc.yml.log 2021-10-16 22:46 48K
Automizer FA.04-mutex_51-mutex_ptr.yml.log 2021-10-16 22:46 90K
Automizer FA.04-mutex_54-pt_rwlock_ww.yml.log 2021-10-16 22:46 16K
Automizer FA.04-mutex_55-pt_rwlock_rr.yml.log 2021-10-16 22:46 16K
Automizer FA.05-lval_ls_01-idx_rc.yml.log 2021-10-16 22:46 152K
Automizer FA.05-lval_ls_02-idx_nr.yml.log 2021-10-16 22:46 79K
Automizer FA.05-lval_ls_03-fld_rc.yml.log 2021-10-16 22:46 56K
Automizer FA.05-lval_ls_04-fld_nr.yml.log 2021-10-16 22:46 60K
Automizer FA.05-lval_ls_05-glob_idx_rc.yml.log 2021-10-16 22:46 19K
Automizer FA.05-lval_ls_07-glob_fld_rc.yml.log 2021-10-16 22:46 60K
Automizer FA.05-lval_ls_08-glob_fld_2_rc.yml.log 2021-10-16 22:46 78K
Automizer FA.05-lval_ls_09-idxsense_rc.yml.log 2021-10-16 22:46 19K
Automizer FA.05-lval_ls_11-fldsense_rc.yml.log 2021-10-16 22:46 61K
Automizer FA.05-lval_ls_12-fldsense_nr.yml.log 2021-10-16 22:46 71K
Automizer FA.05-lval_ls_13-idxunknown_lock.yml.log 2021-10-16 22:46 19K
Automizer FA.05-lval_ls_14-idxunknown_access.yml.log 2021-10-16 22:46 19K
Automizer FA.05-lval_ls_15-fldunknown_access.yml.log 2021-10-16 22:46 60K
Automizer FA.05-lval_ls_16-idxunknown_unlock.yml.log 2021-10-16 22:46 16K
Automizer FA.06-symbeq_02-funloop_norace.yml.log 2021-10-16 22:58 1.5M
Automizer FA.06-symbeq_03-funloop_simple.yml.log 2021-10-16 22:46 19K
Automizer FA.06-symbeq_04-funloop_hard1.yml.log 2021-10-16 22:46 20K
Automizer FA.06-symbeq_05-funloop_hard2.yml.log 2021-10-16 22:46 19K
Automizer FA.06-symbeq_06-tricky_address1.yml.log 2021-10-16 22:46 20K
Automizer FA.06-symbeq_07-tricky_address2.yml.log 2021-10-16 22:46 19K
Automizer FA.06-symbeq_08-tricky_address3.yml.log 2021-10-16 22:46 20K
Automizer FA.06-symbeq_09-tricky_address4.yml.log 2021-10-16 22:46 19K
Automizer FA.06-symbeq_10-equ_rc.yml.log 2021-10-16 22:46 69K
Automizer FA.06-symbeq_11-equ_nr.yml.log 2021-10-16 22:46 72K
Automizer FA.06-symbeq_13-equ_proc_nr.yml.log 2021-10-16 22:46 158K
Automizer FA.06-symbeq_14-list_entry_rc.yml.log 2021-10-16 22:46 16K
Automizer FA.06-symbeq_15-list_entry_nr.yml.log 2021-10-16 22:47 423K
Automizer FA.06-symbeq_23-idxsense_nr.yml.log 2021-10-16 22:46 19K
Automizer FA.09-regions_01-list_rc.yml.log 2021-10-16 22:49 639K
Automizer FA.09-regions_02-list_nr.yml.log 2021-10-16 22:51 873K
Automizer FA.09-regions_03-list2_rc.yml.log 2021-10-16 22:46 167K
Automizer FA.09-regions_04-list2_nr.yml.log 2021-10-16 22:49 468K
Automizer FA.09-regions_05-ptra_rc.yml.log 2021-10-16 22:49 605K
Automizer FA.09-regions_06-ptra_nr.yml.log 2021-10-16 22:47 211K
Automizer FA.09-regions_09-arraylist.yml.log 2021-10-16 22:46 20K
Automizer FA.09-regions_10-arraylist_rc.yml.log 2021-10-16 22:47 20K
Automizer FA.09-regions_11-arraylist_nr.yml.log 2021-10-16 22:47 20K
Automizer FA.09-regions_12-arraycollapse_rc.yml.log 2021-10-16 22:47 20K
Automizer FA.09-regions_13-arraycollapse_nr.yml.log 2021-10-16 22:47 20K
Automizer FA.09-regions_16-arrayloop_rc.yml.log 2021-10-16 22:47 21K
Automizer FA.09-regions_17-arrayloop_nr.yml.log 2021-10-16 22:47 21K
Automizer FA.09-regions_18-nested_rc.yml.log 2021-10-16 22:47 20K
Automizer FA.09-regions_19-nested_nr.yml.log 2021-10-16 22:47 20K
Automizer FA.09-regions_20-arrayloop2_rc.yml.log 2021-10-16 22:47 21K
Automizer FA.09-regions_21-arrayloop2_nr.yml.log 2021-10-16 22:47 20K
Automizer FA.09-regions_22-nocollapse.yml.log 2021-10-16 22:47 20K
Automizer FA.09-regions_23-evilcollapse_rc.yml.log 2021-10-16 22:47 20K
Automizer FA.09-regions_24-evilcollapse_nr.yml.log 2021-10-16 22:47 20K
Automizer FA.09-regions_26-alloc_region_rc.yml.log 2021-10-16 22:59 2.1M
Automizer FA.09-regions_28-list2alloc.yml.log 2021-10-16 22:47 110K
Automizer FA.10-synch_01-thread_unique.yml.log 2021-10-16 22:47 43K
Automizer FA.10-synch_02-thread_nonunique.yml.log 2021-10-16 22:47 21K
Automizer FA.10-synch_03-two_unique.yml.log 2021-10-16 22:47 55K
Automizer FA.13-privatized_03-priv_inv.yml.log 2021-10-16 22:47 67K
Automizer FA.14_spin2003.yml.log 2021-10-16 22:44 288K
Automizer FA.18_read_write_lock.yml.log 2021-10-16 22:44 71K
Automizer FA.39_rand_lock_p0_vs-b.yml.log 2021-10-16 22:45 285K
Automizer FA.39_rand_lock_p0_vs.yml.log 2021-10-16 22:45 272K
Automizer FA.40_barrier_vf-b.yml.log 2021-10-16 22:44 276K
Automizer FA.40_barrier_vf.yml.log 2021-10-16 22:45 261K
Automizer FA.45_monabsex1_vs-b.yml.log 2021-10-16 22:44 175K
Automizer FA.45_monabsex1_vs.yml.log 2021-10-16 22:44 179K
Automizer FA.46_monabsex2_vs-b.yml.log 2021-10-16 22:45 191K
Automizer FA.46_monabsex2_vs.yml.log 2021-10-16 22:45 245K
Automizer FA.48_ticket_lock_low_contention_vs-b.yml.log 2021-10-16 22:45 309K
Automizer FA.48_ticket_lock_low_contention_vs.yml.log 2021-10-16 22:47 307K
Automizer FA.array-eq-symm.wvr.yml.log 2021-10-16 22:32 159K
Automizer FA.array-eq-trans.wvr.yml.log 2021-10-16 22:32 119K
Automizer FA.bench-exp1x3.wvr.yml.log 2021-10-16 22:32 85K
Automizer FA.bench-exp2x3.wvr.yml.log 2021-10-16 22:32 60K
Automizer FA.bench-exp2x4.wvr.yml.log 2021-10-16 22:32 79K
Automizer FA.bench-exp2x6.wvr.yml.log 2021-10-16 22:32 116K
Automizer FA.bench-exp2x9.wvr.yml.log 2021-10-16 22:32 171K
Automizer FA.bench-exp3x3-opt.wvr.yml.log 2021-10-16 22:32 79K
Automizer FA.bench-exp3x3.wvr.yml.log 2021-10-16 22:32 79K
Automizer FA.chl-array-int-subst.wvr.yml.log 2021-10-16 22:32 207K
Automizer FA.chl-array-int-symm.wvr.yml.log 2021-10-16 22:33 232K
Automizer FA.chl-array-int-trans.wvr.yml.log 2021-10-16 22:32 207K
Automizer FA.chl-chromosome-opt-symm.wvr.yml.log 2021-10-16 22:32 179K
Automizer FA.chl-chromosome-subst.wvr.yml.log 2021-10-16 22:32 171K
Automizer FA.chl-chromosome-symm.wvr.yml.log 2021-10-16 22:33 228K
Automizer FA.chl-chromosome-trans.wvr.yml.log 2021-10-16 22:32 171K
Automizer FA.chl-collitem-subst.wvr.yml.log 2021-10-16 22:33 284K
Automizer FA.chl-collitem-symm.wvr.yml.log 2021-10-16 22:33 213K
Automizer FA.chl-collitem-trans.wvr.yml.log 2021-10-16 22:33 284K
Automizer FA.chl-exp-term-subst.wvr.yml.log 2021-10-16 22:33 151K
Automizer FA.chl-exp-term-symm.wvr.yml.log 2021-10-16 22:33 171K
Automizer FA.chl-file-item-subst.wvr.yml.log 2021-10-16 22:33 135K
Automizer FA.chl-file-item-symm.wvr.yml.log 2021-10-16 22:33 161K
Automizer FA.chl-file-item-trans.wvr.yml.log 2021-10-16 22:33 135K
Automizer FA.chl-match-subst.wvr.yml.log 2021-10-16 22:33 174K
Automizer FA.chl-match-symm.wvr.yml.log 2021-10-16 22:33 188K
Automizer FA.chl-match-trans.wvr.yml.log 2021-10-16 22:33 174K
Automizer FA.chl-name-comparator-subst.wvr.yml.log 2021-10-16 22:33 355K
Automizer FA.chl-name-comparator-symm.wvr.yml.log 2021-10-16 22:35 262K
Automizer FA.chl-name-comparator-trans.wvr.yml.log 2021-10-16 22:33 355K
Automizer FA.chl-node-subst.wvr.yml.log 2021-10-16 22:33 231K
Automizer FA.chl-node-symm.wvr.yml.log 2021-10-16 22:37 330K
Automizer FA.chl-node-trans.wvr.yml.log 2021-10-16 22:33 231K
Automizer FA.chl-nzb-file-subst.wvr.yml.log 2021-10-16 22:33 598K
Automizer FA.chl-nzb-file-symm.wvr.yml.log 2021-10-16 22:34 412K
Automizer FA.chl-nzb-file-trans.wvr.yml.log 2021-10-16 22:33 598K
Automizer FA.chl-poker-hand-subst.wvr.yml.log 2021-10-16 22:37 1.7M
Automizer FA.chl-poker-hand-symm.wvr.yml.log 2021-10-16 22:35 1.2M
Automizer FA.chl-poker-hand-trans.wvr.yml.log 2021-10-16 22:37 1.7M
Automizer FA.chl-simpl-str-subst.wvr.yml.log 2021-10-16 22:35 113K
Automizer FA.chl-simpl-str-symm.wvr.yml.log 2021-10-16 22:34 130K
Automizer FA.chl-simpl-str-trans.wvr.yml.log 2021-10-16 22:35 113K
Automizer FA.chl-sre-subst.wvr.yml.log 2021-10-16 22:35 105K
Automizer FA.chl-sre-symm.wvr.yml.log 2021-10-16 22:34 80K
Automizer FA.chl-sre-trans.wvr.yml.log 2021-10-16 22:35 105K
Automizer FA.chl-time-subst.wvr.yml.log 2021-10-16 22:34 166K
Automizer FA.chl-time-symm.wvr.yml.log 2021-10-16 22:34 121K
Automizer FA.chl-time-trans.wvr.yml.log 2021-10-16 22:34 166K
Automizer FA.chl-word-subst.wvr.yml.log 2021-10-16 22:34 206K
Automizer FA.chl-word-symm.wvr.yml.log 2021-10-16 22:36 259K
Automizer FA.chl-word-trans.wvr.yml.log 2021-10-16 22:35 206K
Automizer FA.clever.wvr.yml.log 2021-10-16 22:35 161K
Automizer FA.dekker-b.yml.log 2021-10-16 22:43 111K
Automizer FA.dekker.yml.log 2021-10-16 22:43 107K
Automizer FA.fib_bench-1.yml.log 2021-10-16 22:42 58K
Automizer FA.fib_bench-2.yml.log 2021-10-16 22:42 58K
Automizer FA.fib_bench_longer-1.yml.log 2021-10-16 22:42 58K
Automizer FA.fib_bench_longer-2.yml.log 2021-10-16 22:42 58K
Automizer FA.fib_bench_longest-1.yml.log 2021-10-16 22:42 58K
Automizer FA.fib_bench_longest-2.yml.log 2021-10-16 22:42 58K
Automizer FA.fibonacci.wvr.yml.log 2021-10-16 22:35 218K
Automizer FA.lamport-b.yml.log 2021-10-16 22:44 156K
Automizer FA.lamport.yml.log 2021-10-16 22:43 149K
Automizer FA.lazy01.yml.log 2021-10-16 22:43 74K
Automizer FA.loop-tiling-eq.wvr.yml.log 2021-10-16 22:49 477K
Automizer FA.mult-comm.wvr.yml.log 2021-10-16 22:35 81K
Automizer FA.mult-dist.wvr.yml.log 2021-10-16 22:36 108K
Automizer FA.mult-flipped-dist.wvr.yml.log 2021-10-16 22:36 107K
Automizer FA.parallel-bakery-2.wvr.yml.log 2021-10-16 22:37 250K
Automizer FA.parallel-bakery-3.wvr.yml.log 2021-10-16 22:35 237K
Automizer FA.parallel-bakery-4.wvr.yml.log 2021-10-16 22:35 412K
Automizer FA.parallel-barrier-loop.wvr.yml.log 2021-10-16 22:35 202K
Automizer FA.parallel-barrier.wvr.yml.log 2021-10-16 22:35 207K
Automizer FA.parallel-bluetooth.wvr.yml.log 2021-10-16 22:35 134K
Automizer FA.parallel-lamport.wvr.yml.log 2021-10-16 22:36 144K
Automizer FA.parallel-min-max-1.wvr.yml.log 2021-10-16 22:36 118K
Automizer FA.parallel-min-max-2.wvr.yml.log 2021-10-16 22:36 27K
Automizer FA.parallel-misc-1.wvr.yml.log 2021-10-16 22:42 381K
Automizer FA.parallel-misc-2-unrolled-atomic.wvr.yml.log 2021-10-16 22:36 103K
Automizer FA.parallel-misc-2-unrolled.wvr.yml.log 2021-10-16 22:36 141K
Automizer FA.parallel-misc-2.wvr.yml.log 2021-10-16 22:36 171K
Automizer FA.parallel-misc-3-extended.wvr.yml.log 2021-10-16 22:38 88K
Automizer FA.parallel-misc-3.wvr.yml.log 2021-10-16 22:36 139K
Automizer FA.parallel-misc-4.wvr.yml.log 2021-10-16 22:38 134K
Automizer FA.parallel-misc-5.wvr.yml.log 2021-10-16 22:37 144K
Automizer FA.parallel-parallel-sum-1-dsl.wvr.yml.log 2021-10-16 22:36 223K
Automizer FA.parallel-parallel-sum-1.wvr.yml.log 2021-10-16 22:37 219K
Automizer FA.parallel-parallel-sum-2.wvr.yml.log 2021-10-16 22:37 227K
Automizer FA.parallel-parallel-sum-equiv.wvr.yml.log 2021-10-16 22:37 239K
Automizer FA.parallel-simple-equiv.wvr.yml.log 2021-10-16 22:37 104K
Automizer FA.parallel-ticket-2.wvr.yml.log 2021-10-16 22:37 194K
Automizer FA.parallel-ticket-3.wvr.yml.log 2021-10-16 22:38 98K
Automizer FA.parallel-ticket-4.wvr.yml.log 2021-10-16 22:37 115K
Automizer FA.parallel-ticket-5.wvr.yml.log 2021-10-16 22:37 138K
Automizer FA.parallel-ticket-6.wvr.yml.log 2021-10-16 22:37 162K
Automizer FA.parallel-ticket-7.wvr.yml.log 2021-10-16 22:37 185K
Automizer FA.parallel-ticket-8.wvr.yml.log 2021-10-16 22:37 209K
Automizer FA.peterson-b.yml.log 2021-10-16 22:43 110K
Automizer FA.peterson.yml.log 2021-10-16 22:43 98K
Automizer FA.popl20-bad-buffer-mult-alt.wvr.yml.log 2021-10-16 22:37 162K
Automizer FA.popl20-bad-buffer-mult-alt2.wvr.yml.log 2021-10-16 22:37 170K
Automizer FA.popl20-bad-commit-1.wvr-bad.yml.log 2021-10-16 22:38 376K
Automizer FA.popl20-bad-commit-2.wvr-bad.yml.log 2021-10-16 22:38 357K
Automizer FA.popl20-bad-counter-queue.wvr.yml.log 2021-10-16 22:38 139K
Automizer FA.popl20-bad-counter-queue2.wvr.yml.log 2021-10-16 22:38 90K
Automizer FA.popl20-bad-dot-product-alt.wvr.yml.log 2021-10-16 22:38 259K
Automizer FA.popl20-bad-dot-product.wvr.yml.log 2021-10-16 22:38 180K
Automizer FA.popl20-bad-ring-nondet.wvr.yml.log 2021-10-16 22:38 279K
Automizer FA.popl20-bad-ring.wvr.yml.log 2021-10-16 22:38 279K
Automizer FA.popl20-bad-threaded-sum-2.wvr.yml.log 2021-10-16 22:38 85K
Automizer FA.popl20-bad-three-array-sum-alt.wvr.yml.log 2021-10-16 22:38 146K
Automizer FA.popl20-channel-sum.wvr.yml.log 2021-10-16 22:38 180K
Automizer FA.popl20-commit-1.wvr.yml.log 2021-10-16 22:38 322K
Automizer FA.popl20-commit-2.wvr.yml.log 2021-10-16 22:38 439K
Automizer FA.popl20-counter-determinism.wvr.yml.log 2021-10-16 22:38 82K
Automizer FA.popl20-counter-fun.wvr.yml.log 2021-10-16 22:38 145K
Automizer FA.popl20-difference-det.wvr.yml.log 2021-10-16 22:38 89K
Automizer FA.popl20-figure1-alt.wvr.yml.log 2021-10-16 22:38 67K
Automizer FA.popl20-figure1.wvr.yml.log 2021-10-16 22:38 60K
Automizer FA.popl20-figure3.wvr.yml.log 2021-10-16 22:38 80K
Automizer FA.popl20-horseshoe.wvr.yml.log 2021-10-16 22:39 208K
Automizer FA.popl20-min-max-dec.wvr.yml.log 2021-10-16 22:38 122K
Automizer FA.popl20-min-max-inc-dec.wvr.yml.log 2021-10-16 22:38 136K
Automizer FA.popl20-min-max-inc.wvr.yml.log 2021-10-16 22:38 122K
Automizer FA.popl20-more-array-sum-alt.wvr.yml.log 2021-10-16 22:39 119K
Automizer FA.popl20-more-array-sum-alt2.wvr.yml.log 2021-10-16 22:39 118K
Automizer FA.popl20-more-array-sum.wvr.yml.log 2021-10-16 22:39 172K
Automizer FA.popl20-more-array-sum2.wvr.yml.log 2021-10-16 22:39 136K
Automizer FA.popl20-more-buffer-mult.wvr.yml.log 2021-10-16 22:39 152K
Automizer FA.popl20-more-buffer-mult2.wvr.yml.log 2021-10-16 22:40 167K
Automizer FA.popl20-more-buffer-series.wvr.yml.log 2021-10-16 22:39 161K
Automizer FA.popl20-more-buffer-series2.wvr.yml.log 2021-10-16 22:39 176K
Automizer FA.popl20-more-dec-subseq.wvr.yml.log 2021-10-16 22:39 212K
Automizer FA.popl20-more-inc-subseq.wvr.yml.log 2021-10-16 22:39 212K
Automizer FA.popl20-more-max-array-hom.wvr.yml.log 2021-10-16 22:39 108K
Automizer FA.popl20-more-max-array.wvr.yml.log 2021-10-16 22:39 108K
Automizer FA.popl20-more-min-array-hom.wvr.yml.log 2021-10-16 22:39 108K
Automizer FA.popl20-more-min-array.wvr.yml.log 2021-10-16 22:39 108K
Automizer FA.popl20-more-min-le-max.wvr.yml.log 2021-10-16 22:39 111K
Automizer FA.popl20-more-mts.wvr.yml.log 2021-10-16 22:40 148K
Automizer FA.popl20-more-multiply-verify.wvr.yml.log 2021-10-16 22:41 162K
Automizer FA.popl20-more-nonblocking-counter-alt2.wvr.yml.log 2021-10-16 22:39 79K
Automizer FA.popl20-more-parray-copy.wvr.yml.log 2021-10-16 22:40 97K
Automizer FA.popl20-more-queue-add-2-nl.wvr.yml.log 2021-10-16 22:39 187K
Automizer FA.popl20-more-queue-add-3-nl.wvr.yml.log 2021-10-16 22:40 149K
Automizer FA.popl20-more-sorted.wvr.yml.log 2021-10-16 22:41 107K
Automizer FA.popl20-more-sum-array-hom.wvr.yml.log 2021-10-16 22:41 91K
Automizer FA.popl20-more-vector-add.wvr.yml.log 2021-10-16 22:41 110K
Automizer FA.popl20-mult-4.wvr.yml.log 2021-10-16 22:40 73K
Automizer FA.popl20-mult-equiv.wvr.yml.log 2021-10-16 22:40 91K
Automizer FA.popl20-nonblocking-cntr-alt.wvr.yml.log 2021-10-16 22:40 66K
Automizer FA.popl20-nonblocking-cntr.wvr.yml.log 2021-10-16 22:40 59K
Automizer FA.popl20-prod-cons-eq.wvr.yml.log 2021-10-16 22:40 235K
Automizer FA.popl20-prod-cons.wvr.yml.log 2021-10-16 22:40 152K
Automizer FA.popl20-prod-cons3.wvr.yml.log 2021-10-16 22:41 115K
Automizer FA.popl20-proofs-counter-add-4-semi-Q67.wvr.yml.log 2021-10-16 22:41 116K
Automizer FA.popl20-queue-add-2.wvr.yml.log 2021-10-16 22:41 136K
Automizer FA.popl20-queue-add-3.wvr.yml.log 2021-10-16 22:41 208K
Automizer FA.popl20-send-receive-alt.wvr.yml.log 2021-10-16 22:41 124K
Automizer FA.popl20-send-receive.wvr.yml.log 2021-10-16 22:41 160K
Automizer FA.popl20-simple-array-sum.wvr.yml.log 2021-10-16 22:42 92K
Automizer FA.popl20-simple-queue.wvr.yml.log 2021-10-16 22:41 115K
Automizer FA.popl20-threaded-sum-3.wvr.yml.log 2021-10-16 22:41 124K
Automizer FA.popl20-three-array-max.wvr.yml.log 2021-10-16 22:42 129K
Automizer FA.popl20-three-array-min.wvr.yml.log 2021-10-16 22:42 129K
Automizer FA.popl20-three-array-sum.wvr.yml.log 2021-10-16 22:43 131K
Automizer FA.popl20-two-queue.wvr.yml.log 2021-10-16 22:41 207K
Automizer FA.qw2004-2.yml.log 2021-10-16 22:45 117K
Automizer FA.race-1_1-join.yml.log 2021-10-16 22:42 69K
Automizer FA.race-1_2-join.yml.log 2021-10-16 22:42 58K
Automizer FA.race-1_2b-join.yml.log 2021-10-16 22:42 69K
Automizer FA.race-1_3-join.yml.log 2021-10-16 22:42 58K
Automizer FA.race-1_3b-join.yml.log 2021-10-16 22:42 70K
Automizer FA.race-2_1-container_of.yml.log 2021-10-16 22:51 400K
Automizer FA.race-2_2-container_of.yml.log 2021-10-16 22:42 99K
Automizer FA.race-2_2b-container_of.yml.log 2021-10-16 22:43 148K
Automizer FA.race-2_3-container_of.yml.log 2021-10-16 22:42 104K
Automizer FA.race-2_3b-container_of.yml.log 2021-10-16 22:43 166K
Automizer FA.race-2_4-container_of.yml.log 2021-10-16 22:42 105K
Automizer FA.race-2_4b-container_of.yml.log 2021-10-16 22:50 291K
Automizer FA.race-2_5-container_of.yml.log 2021-10-16 22:42 105K
Automizer FA.race-2_5b-container_of.yml.log 2021-10-16 22:51 398K
Automizer FA.race-3_1-container_of-global.yml.log 2021-10-16 22:44 323K
Automizer FA.race-3_2-container_of-global.yml.log 2021-10-16 22:42 104K
Automizer FA.race-3_2b-container_of-global.yml.log 2021-10-16 22:43 160K
Automizer FA.read_write_lock-1.yml.log 2021-10-16 22:44 107K
Automizer FA.read_write_lock-1b.yml.log 2021-10-16 22:43 87K
Automizer FA.read_write_lock-2.yml.log 2021-10-16 22:43 98K
Automizer FA.read_write_lock-2b.yml.log 2021-10-16 22:43 90K
Automizer FA.security.wvr.yml.log 2021-10-16 22:41 124K
Automizer FA.singleton-b.yml.log 2021-10-16 22:43 124K
Automizer FA.singleton.yml.log 2021-10-16 22:43 136K
Automizer FA.singleton_with-uninit-problems-b.yml.log 2021-10-16 22:43 125K
Automizer FA.singleton_with-uninit-problems.yml.log 2021-10-16 22:43 137K
Automizer FA.spaghetti.wvr.yml.log 2021-10-16 22:41 78K
Automizer FA.stateful01-1.yml.log 2021-10-16 22:43 106K
Automizer FA.stateful01-2.yml.log 2021-10-16 22:43 106K
Automizer FA.szymanski-b.yml.log 2021-10-16 22:44 119K
Automizer FA.szymanski.yml.log 2021-10-16 22:44 129K
Automizer FA.test-context1.wvr.yml.log 2021-10-16 22:41 110K
Automizer FA.test-easy1.wvr.yml.log 2021-10-16 22:41 75K
Automizer FA.test-easy10.wvr.yml.log 2021-10-16 22:41 121K
Automizer FA.test-easy11.wvr.yml.log 2021-10-16 22:41 76K
Automizer FA.test-easy6.wvr.yml.log 2021-10-16 22:41 161K
Automizer FA.test-easy7.wvr.yml.log 2021-10-16 22:41 141K
Automizer FA.test-easy8.wvr.yml.log 2021-10-16 22:41 55K
Automizer FA.test-hard1.wvr.yml.log 2021-10-16 22:41 119K
Automizer FA.test-semi1.wvr.yml.log 2021-10-16 22:41 58K
Automizer FA.time_var_mutex.yml.log 2021-10-16 22:44 105K
Automizer FA.triangular-1.yml.log 2021-10-16 22:43 55K
Automizer FA.triangular-2.yml.log 2021-10-16 22:43 55K
Automizer FA.triangular-longer-1.yml.log 2021-10-16 22:43 55K
Automizer FA.triangular-longer-2.yml.log 2021-10-16 22:43 55K
Automizer FA.triangular-longest-1.yml.log 2021-10-16 22:43 55K
Automizer FA.triangular-longest-2.yml.log 2021-10-16 22:43 55K
Automizer FA.unroll-2.wvr.yml.log 2021-10-16 22:41 153K
Automizer FA.unroll-3.wvr.yml.log 2021-10-16 22:42 180K
Automizer FA.unroll-4.wvr.yml.log 2021-10-16 22:42 206K
Automizer FA.unroll-5.wvr.yml.log 2021-10-16 22:42 232K
Automizer FA.unroll-cond-2.wvr.yml.log 2021-10-16 22:42 182K
Automizer FA.unroll-cond-3.wvr.yml.log 2021-10-16 22:42 236K
Automizer FA.unroll-cond-4.wvr.yml.log 2021-10-16 22:43 291K
Automizer FA.unroll-cond-5.wvr.yml.log 2021-10-16 22:44 346K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.00-sanity_09-include.yml.log 2021-10-16 23:48 54K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.01_inc.yml.log 2021-10-16 23:47 245K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.02-base_24-malloc_races.yml.log 2021-10-16 23:48 68K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.02-base_25-malloc_race_cp.yml.log 2021-10-16 23:48 68K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.02-base_26-malloc_struct.yml.log 2021-10-16 23:48 67K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.02_inc_cas.yml.log 2021-10-16 23:47 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.03-practical_07-nonterm.yml.log 2021-10-16 23:48 53K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.03-practical_08-nonterm1.yml.log 2021-10-16 23:48 68K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.03-practical_15-exit_problems.yml.log 2021-10-16 23:48 54K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_01-simple_rc.yml.log 2021-10-16 23:49 53K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_02-simple_nr.yml.log 2021-10-16 23:49 75K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_03-munge_rc.yml.log 2021-10-16 23:49 59K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_04-munge_nr.yml.log 2021-10-16 23:49 81K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_05-lockfuns.yml.log 2021-10-16 23:49 76K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_06-ps_rc.yml.log 2021-10-16 23:49 54K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_07-ps_nr.yml.log 2021-10-16 23:49 84K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_09-ptrmunge_rc.yml.log 2021-10-16 23:49 76K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_10-ptrmunge_nr.yml.log 2021-10-16 23:49 140K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_11-ptr_rc.yml.log 2021-10-16 23:49 67K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_12-ptr_nr.yml.log 2021-10-16 23:49 92K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_14-funarg_rc.yml.log 2021-10-16 23:49 53K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_15-funarg_nr.yml.log 2021-10-16 23:49 66K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_16-ps_add1_rc.yml.log 2021-10-16 23:49 58K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_17-ps_add1_nr.yml.log 2021-10-16 23:49 84K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_18-glob_guards.yml.log 2021-10-16 23:49 48K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_19-call_by_ptr_rc.yml.log 2021-10-16 23:49 53K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_20-stdfun_rc.yml.log 2021-10-16 23:49 16K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_21-sound_base.yml.log 2021-10-16 23:49 58K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_22-deref_read.yml.log 2021-10-16 23:49 80K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_23-sound_unlock.yml.log 2021-10-16 23:49 16K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_24-sound_lock.yml.log 2021-10-16 23:49 53K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_25-single_acc.yml.log 2021-10-16 23:49 64K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_27-base_rc.yml.log 2021-10-16 23:49 76K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_28-base_nr.yml.log 2021-10-16 23:49 83K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_35-trylock_rc.yml.log 2021-10-16 23:49 16K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_36-trylock_nr.yml.log 2021-10-16 23:49 16K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_37-indirect_rc.yml.log 2021-10-16 23:49 60K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_38-indexing_malloc.yml.log 2021-10-16 23:49 184K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_41-pt_rwlock.yml.log 2021-10-16 23:49 16K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_42-trylock_2mutex.yml.log 2021-10-16 23:49 16K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_43-thread_create_nr.yml.log 2021-10-16 23:49 76K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_44-malloc_sound.yml.log 2021-10-16 23:50 156K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_45-escape_rc.yml.log 2021-10-16 23:49 68K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_46-escape_nr.yml.log 2021-10-16 23:49 94K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_47-fun_write.yml.log 2021-10-16 23:49 54K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_50-funptr_rc.yml.log 2021-10-16 23:50 52K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_51-mutex_ptr.yml.log 2021-10-16 23:50 101K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_54-pt_rwlock_ww.yml.log 2021-10-16 23:50 16K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_55-pt_rwlock_rr.yml.log 2021-10-16 23:50 16K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_01-idx_rc.yml.log 2021-10-16 23:50 133K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_02-idx_nr.yml.log 2021-10-16 23:50 101K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_03-fld_rc.yml.log 2021-10-16 23:50 54K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_04-fld_nr.yml.log 2021-10-16 23:50 76K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_05-glob_idx_rc.yml.log 2021-10-16 23:50 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_07-glob_fld_rc.yml.log 2021-10-16 23:50 57K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_08-glob_fld_2_rc.yml.log 2021-10-16 23:50 77K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_09-idxsense_rc.yml.log 2021-10-16 23:50 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_11-fldsense_rc.yml.log 2021-10-16 23:50 58K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_12-fldsense_nr.yml.log 2021-10-16 23:50 84K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_13-idxunknown_lock.yml.log 2021-10-16 23:50 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_14-idxunknown_access.yml.log 2021-10-16 23:50 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_15-fldunknown_access.yml.log 2021-10-16 23:50 57K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_16-idxunknown_unlock.yml.log 2021-10-16 23:50 16K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_02-funloop_norace.yml.log 2021-10-17 00:05 197K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_03-funloop_simple.yml.log 2021-10-16 23:50 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_04-funloop_hard1.yml.log 2021-10-16 23:50 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_05-funloop_hard2.yml.log 2021-10-16 23:50 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_06-tricky_address1.yml.log 2021-10-16 23:50 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_07-tricky_address2.yml.log 2021-10-16 23:50 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_08-tricky_address3.yml.log 2021-10-16 23:50 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_09-tricky_address4.yml.log 2021-10-16 23:50 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_10-equ_rc.yml.log 2021-10-16 23:50 57K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_11-equ_nr.yml.log 2021-10-16 23:50 83K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_13-equ_proc_nr.yml.log 2021-10-16 23:50 102K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_14-list_entry_rc.yml.log 2021-10-16 23:50 16K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_15-list_entry_nr.yml.log 2021-10-16 23:50 109K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_23-idxsense_nr.yml.log 2021-10-16 23:50 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_01-list_rc.yml.log 2021-10-16 23:50 176K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_02-list_nr.yml.log 2021-10-16 23:50 181K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_03-list2_rc.yml.log 2021-10-16 23:50 107K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_04-list2_nr.yml.log 2021-10-16 23:51 216K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_05-ptra_rc.yml.log 2021-10-16 23:50 121K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_06-ptra_nr.yml.log 2021-10-16 23:50 167K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_09-arraylist.yml.log 2021-10-16 23:50 21K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_10-arraylist_rc.yml.log 2021-10-16 23:50 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_11-arraylist_nr.yml.log 2021-10-16 23:50 21K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_12-arraycollapse_rc.yml.log 2021-10-16 23:50 21K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_13-arraycollapse_nr.yml.log 2021-10-16 23:50 21K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_16-arrayloop_rc.yml.log 2021-10-16 23:50 21K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_17-arrayloop_nr.yml.log 2021-10-16 23:50 21K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_18-nested_rc.yml.log 2021-10-16 23:50 21K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_19-nested_nr.yml.log 2021-10-16 23:50 21K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_20-arrayloop2_rc.yml.log 2021-10-16 23:51 21K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_21-arrayloop2_nr.yml.log 2021-10-16 23:51 21K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_22-nocollapse.yml.log 2021-10-16 23:51 21K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_23-evilcollapse_rc.yml.log 2021-10-16 23:51 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_24-evilcollapse_nr.yml.log 2021-10-16 23:51 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_26-alloc_region_rc.yml.log 2021-10-17 00:01 260K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_28-list2alloc.yml.log 2021-10-16 23:51 105K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.10-synch_01-thread_unique.yml.log 2021-10-16 23:51 60K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.10-synch_02-thread_nonunique.yml.log 2021-10-16 23:51 21K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.10-synch_03-two_unique.yml.log 2021-10-16 23:51 85K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.13-privatized_03-priv_inv.yml.log 2021-10-16 23:51 85K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.14_spin2003.yml.log 2021-10-16 23:48 373K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.18_read_write_lock.yml.log 2021-10-16 23:48 85K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.39_rand_lock_p0_vs-b.yml.log 2021-10-16 23:48 367K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.39_rand_lock_p0_vs.yml.log 2021-10-16 23:48 426K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.40_barrier_vf-b.yml.log 2021-10-16 23:48 407K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.40_barrier_vf.yml.log 2021-10-16 23:50 589K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.45_monabsex1_vs-b.yml.log 2021-10-16 23:48 175K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.45_monabsex1_vs.yml.log 2021-10-16 23:48 207K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.46_monabsex2_vs-b.yml.log 2021-10-16 23:48 232K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.46_monabsex2_vs.yml.log 2021-10-16 23:50 868K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.48_ticket_lock_low_contention_vs-b.yml.log 2021-10-16 23:48 103K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.48_ticket_lock_low_contention_vs.yml.log 2021-10-17 00:03 1.0M
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.array-eq-symm.wvr.yml.log 2021-10-16 23:20 167K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.array-eq-trans.wvr.yml.log 2021-10-16 23:25 172K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.bench-exp1x3.wvr.yml.log 2021-10-16 23:20 111K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.bench-exp2x3.wvr.yml.log 2021-10-16 23:23 88K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.bench-exp2x4.wvr.yml.log 2021-10-16 23:23 105K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.bench-exp2x6.wvr.yml.log 2021-10-16 23:20 137K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.bench-exp2x9.wvr.yml.log 2021-10-16 23:20 208K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.bench-exp3x3-opt.wvr.yml.log 2021-10-16 23:20 87K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.bench-exp3x3.wvr.yml.log 2021-10-16 23:20 87K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-array-int-subst.wvr.yml.log 2021-10-16 23:20 223K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-array-int-symm.wvr.yml.log 2021-10-16 23:20 239K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-array-int-trans.wvr.yml.log 2021-10-16 23:20 223K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-chromosome-opt-symm.wvr.yml.log 2021-10-16 23:20 210K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-chromosome-subst.wvr.yml.log 2021-10-16 23:20 203K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-chromosome-symm.wvr.yml.log 2021-10-16 23:20 231K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-chromosome-trans.wvr.yml.log 2021-10-16 23:26 206K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-collitem-subst.wvr.yml.log 2021-10-16 23:21 1.7M
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-collitem-symm.wvr.yml.log 2021-10-16 23:21 598K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-collitem-trans.wvr.yml.log 2021-10-16 23:21 1.7M
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-exp-term-subst.wvr.yml.log 2021-10-16 23:22 208K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-exp-term-symm.wvr.yml.log 2021-10-16 23:21 179K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-file-item-subst.wvr.yml.log 2021-10-16 23:23 259K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-file-item-symm.wvr.yml.log 2021-10-16 23:21 179K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-file-item-trans.wvr.yml.log 2021-10-16 23:24 259K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-match-subst.wvr.yml.log 2021-10-16 23:24 248K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-match-symm.wvr.yml.log 2021-10-16 23:23 209K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-match-trans.wvr.yml.log 2021-10-16 23:24 248K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-name-comparator-subst.wvr.yml.log 2021-10-16 23:24 471K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-name-comparator-symm.wvr.yml.log 2021-10-16 23:26 561K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-name-comparator-trans.wvr.yml.log 2021-10-16 23:24 471K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-node-subst.wvr.yml.log 2021-10-16 23:24 262K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-node-symm.wvr.yml.log 2021-10-16 23:25 335K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-node-trans.wvr.yml.log 2021-10-16 23:25 262K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-nzb-file-subst.wvr.yml.log 2021-10-16 23:25 660K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-nzb-file-symm.wvr.yml.log 2021-10-16 23:25 475K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-nzb-file-trans.wvr.yml.log 2021-10-16 23:25 660K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-poker-hand-subst.wvr.yml.log 2021-10-16 23:38 20M
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-poker-hand-symm.wvr.yml.log 2021-10-16 23:39 19M
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-poker-hand-trans.wvr.yml.log 2021-10-16 23:40 20M
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-simpl-str-subst.wvr.yml.log 2021-10-16 23:27 215K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-simpl-str-symm.wvr.yml.log 2021-10-16 23:27 151K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-simpl-str-trans.wvr.yml.log 2021-10-16 23:27 215K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-sre-subst.wvr.yml.log 2021-10-16 23:27 145K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-sre-symm.wvr.yml.log 2021-10-16 23:27 105K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-sre-trans.wvr.yml.log 2021-10-16 23:27 145K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-time-subst.wvr.yml.log 2021-10-16 23:27 357K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-time-symm.wvr.yml.log 2021-10-16 23:27 186K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-time-trans.wvr.yml.log 2021-10-16 23:27 357K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-word-subst.wvr.yml.log 2021-10-16 23:27 227K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-word-symm.wvr.yml.log 2021-10-16 23:28 276K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-word-trans.wvr.yml.log 2021-10-16 23:27 227K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.clever.wvr.yml.log 2021-10-16 23:27 170K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.dekker-b.yml.log 2021-10-16 23:47 110K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.dekker.yml.log 2021-10-16 23:47 174K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.fib_bench-1.yml.log 2021-10-16 23:46 90K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.fib_bench-2.yml.log 2021-10-16 23:46 90K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.fib_bench_longer-1.yml.log 2021-10-16 23:46 90K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.fib_bench_longer-2.yml.log 2021-10-16 23:46 90K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.fib_bench_longest-1.yml.log 2021-10-16 23:46 91K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.fib_bench_longest-2.yml.log 2021-10-16 23:46 91K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.fibonacci.wvr.yml.log 2021-10-16 23:28 232K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.lamport-b.yml.log 2021-10-16 23:47 156K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.lamport.yml.log 2021-10-16 23:47 247K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.lazy01.yml.log 2021-10-16 23:46 106K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.loop-tiling-eq.wvr.yml.log 2021-10-16 23:41 347K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.mult-comm.wvr.yml.log 2021-10-16 23:28 102K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.mult-dist.wvr.yml.log 2021-10-16 23:28 136K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.mult-flipped-dist.wvr.yml.log 2021-10-16 23:28 136K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-bakery-2.wvr.yml.log 2021-10-16 23:28 265K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-bakery-3.wvr.yml.log 2021-10-16 23:28 563K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-bakery-4.wvr.yml.log 2021-10-16 23:31 1.2M
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-barrier-loop.wvr.yml.log 2021-10-16 23:28 207K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-barrier.wvr.yml.log 2021-10-16 23:28 267K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-bluetooth.wvr.yml.log 2021-10-16 23:28 124K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-lamport.wvr.yml.log 2021-10-16 23:29 262K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-min-max-1.wvr.yml.log 2021-10-16 23:29 260K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-min-max-2.wvr.yml.log 2021-10-16 23:29 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-misc-1.wvr.yml.log 2021-10-16 23:30 378K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-misc-2-unrolled-atomic.wvr.yml.log 2021-10-16 23:29 133K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-misc-2-unrolled.wvr.yml.log 2021-10-16 23:29 107K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-misc-2.wvr.yml.log 2021-10-16 23:29 110K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-misc-3-extended.wvr.yml.log 2021-10-16 23:29 144K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-misc-3.wvr.yml.log 2021-10-16 23:29 111K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-misc-4.wvr.yml.log 2021-10-16 23:29 105K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-misc-5.wvr.yml.log 2021-10-16 23:29 174K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-parallel-sum-1-dsl.wvr.yml.log 2021-10-16 23:35 301K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-parallel-sum-1.wvr.yml.log 2021-10-16 23:33 372K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-parallel-sum-2.wvr.yml.log 2021-10-16 23:33 267K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-parallel-sum-equiv.wvr.yml.log 2021-10-16 23:34 384K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-simple-equiv.wvr.yml.log 2021-10-16 23:30 143K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-ticket-2.wvr.yml.log 2021-10-16 23:30 106K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-ticket-3.wvr.yml.log 2021-10-16 23:30 151K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-ticket-4.wvr.yml.log 2021-10-16 23:30 174K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-ticket-5.wvr.yml.log 2021-10-16 23:30 198K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-ticket-6.wvr.yml.log 2021-10-16 23:30 222K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-ticket-7.wvr.yml.log 2021-10-16 23:30 389K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-ticket-8.wvr.yml.log 2021-10-16 23:30 447K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.peterson-b.yml.log 2021-10-16 23:47 109K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.peterson.yml.log 2021-10-16 23:47 139K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-bad-buffer-mult-alt.wvr.yml.log 2021-10-16 23:34 737K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-bad-buffer-mult-alt2.wvr.yml.log 2021-10-16 23:34 755K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-bad-commit-1.wvr-bad.yml.log 2021-10-16 23:36 2.2M
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-bad-commit-2.wvr-bad.yml.log 2021-10-16 23:35 1.4M
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-bad-counter-queue.wvr.yml.log 2021-10-16 23:31 129K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-bad-counter-queue2.wvr.yml.log 2021-10-16 23:32 134K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-bad-dot-product-alt.wvr.yml.log 2021-10-16 23:39 351K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-bad-dot-product.wvr.yml.log 2021-10-16 23:33 204K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-bad-ring-nondet.wvr.yml.log 2021-10-16 23:38 1.7M
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-bad-ring.wvr.yml.log 2021-10-16 23:37 1.7M
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-bad-threaded-sum-2.wvr.yml.log 2021-10-16 23:34 115K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-bad-three-array-sum-alt.wvr.yml.log 2021-10-16 23:37 164K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-channel-sum.wvr.yml.log 2021-10-16 23:35 150K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-commit-1.wvr.yml.log 2021-10-16 23:39 2.3M
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-commit-2.wvr.yml.log 2021-10-16 23:46 5.9M
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-counter-determinism.wvr.yml.log 2021-10-16 23:36 152K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-counter-fun.wvr.yml.log 2021-10-16 23:36 406K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-difference-det.wvr.yml.log 2021-10-16 23:37 156K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-figure1-alt.wvr.yml.log 2021-10-16 23:36 101K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-figure1.wvr.yml.log 2021-10-16 23:36 97K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-figure3.wvr.yml.log 2021-10-16 23:37 90K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-horseshoe.wvr.yml.log 2021-10-16 23:40 873K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-min-max-dec.wvr.yml.log 2021-10-16 23:37 353K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-min-max-inc-dec.wvr.yml.log 2021-10-16 23:37 392K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-min-max-inc.wvr.yml.log 2021-10-16 23:37 353K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-array-sum-alt.wvr.yml.log 2021-10-16 23:38 226K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-array-sum-alt2.wvr.yml.log 2021-10-16 23:39 199K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-array-sum.wvr.yml.log 2021-10-16 23:39 197K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-array-sum2.wvr.yml.log 2021-10-16 23:39 255K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-buffer-mult.wvr.yml.log 2021-10-16 23:43 483K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-buffer-mult2.wvr.yml.log 2021-10-16 23:43 542K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-buffer-series.wvr.yml.log 2021-10-16 23:44 541K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-buffer-series2.wvr.yml.log 2021-10-16 23:43 598K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-dec-subseq.wvr.yml.log 2021-10-16 23:40 398K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-inc-subseq.wvr.yml.log 2021-10-16 23:40 398K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-max-array-hom.wvr.yml.log 2021-10-16 23:40 265K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-max-array.wvr.yml.log 2021-10-16 23:40 265K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-min-array-hom.wvr.yml.log 2021-10-16 23:41 265K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-min-array.wvr.yml.log 2021-10-16 23:41 265K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-min-le-max.wvr.yml.log 2021-10-16 23:41 223K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-mts.wvr.yml.log 2021-10-16 23:42 498K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-multiply-verify.wvr.yml.log 2021-10-16 23:44 497K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-nonblocking-counter-alt2.wvr.yml.log 2021-10-16 23:40 91K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-parray-copy.wvr.yml.log 2021-10-16 23:42 234K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-queue-add-2-nl.wvr.yml.log 2021-10-16 23:42 357K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-queue-add-3-nl.wvr.yml.log 2021-10-16 23:45 927K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-sorted.wvr.yml.log 2021-10-16 23:44 163K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-sum-array-hom.wvr.yml.log 2021-10-16 23:42 169K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-vector-add.wvr.yml.log 2021-10-16 23:43 214K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-mult-4.wvr.yml.log 2021-10-16 23:44 134K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-mult-equiv.wvr.yml.log 2021-10-16 23:42 147K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-nonblocking-cntr-alt.wvr.yml.log 2021-10-16 23:42 100K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-nonblocking-cntr.wvr.yml.log 2021-10-16 23:42 96K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-prod-cons-eq.wvr.yml.log 2021-10-16 23:49 1.6M
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-prod-cons.wvr.yml.log 2021-10-16 23:43 233K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-prod-cons3.wvr.yml.log 2021-10-16 23:45 440K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-proofs-counter-add-4-semi-Q67.wvr.yml.log 2021-10-16 23:43 178K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-queue-add-2.wvr.yml.log 2021-10-16 23:44 316K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-queue-add-3.wvr.yml.log 2021-10-16 23:47 873K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-send-receive-alt.wvr.yml.log 2021-10-16 23:45 254K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-send-receive.wvr.yml.log 2021-10-16 23:46 613K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-simple-array-sum.wvr.yml.log 2021-10-16 23:44 132K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-simple-queue.wvr.yml.log 2021-10-16 23:45 239K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-threaded-sum-3.wvr.yml.log 2021-10-16 23:44 167K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-three-array-max.wvr.yml.log 2021-10-16 23:45 158K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-three-array-min.wvr.yml.log 2021-10-16 23:48 319K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-three-array-sum.wvr.yml.log 2021-10-16 23:46 264K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-two-queue.wvr.yml.log 2021-10-16 23:46 479K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.qw2004-2.yml.log 2021-10-16 23:48 117K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-1_1-join.yml.log 2021-10-16 23:45 83K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-1_2-join.yml.log 2021-10-16 23:45 74K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-1_2b-join.yml.log 2021-10-16 23:45 56K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-1_3-join.yml.log 2021-10-16 23:45 74K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-1_3b-join.yml.log 2021-10-16 23:45 57K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-2_1-container_of.yml.log 2021-10-16 23:47 236K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-2_2-container_of.yml.log 2021-10-16 23:56 125K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-2_2b-container_of.yml.log 2021-10-16 23:46 148K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-2_3-container_of.yml.log 2021-10-17 00:00 168K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-2_3b-container_of.yml.log 2021-10-16 23:46 158K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-2_4-container_of.yml.log 2021-10-17 00:00 171K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-2_4b-container_of.yml.log 2021-10-16 23:46 143K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-2_5-container_of.yml.log 2021-10-16 23:55 127K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-2_5b-container_of.yml.log 2021-10-16 23:48 247K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-3_1-container_of-global.yml.log 2021-10-16 23:48 290K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-3_2-container_of-global.yml.log 2021-10-16 23:57 124K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-3_2b-container_of-global.yml.log 2021-10-16 23:46 151K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.read_write_lock-1.yml.log 2021-10-16 23:48 458K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.read_write_lock-1b.yml.log 2021-10-16 23:47 161K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.read_write_lock-2.yml.log 2021-10-16 23:48 344K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.read_write_lock-2b.yml.log 2021-10-16 23:47 150K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.security.wvr.yml.log 2021-10-16 23:44 148K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.singleton-b.yml.log 2021-10-16 23:47 169K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.singleton.yml.log 2021-10-16 23:47 229K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.singleton_with-uninit-problems-b.yml.log 2021-10-16 23:47 169K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.singleton_with-uninit-problems.yml.log 2021-10-16 23:47 229K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.spaghetti.wvr.yml.log 2021-10-16 23:45 119K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.stateful01-1.yml.log 2021-10-16 23:47 132K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.stateful01-2.yml.log 2021-10-16 23:47 132K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.szymanski-b.yml.log 2021-10-16 23:47 136K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.szymanski.yml.log 2021-10-16 23:47 220K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.test-context1.wvr.yml.log 2021-10-16 23:45 243K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.test-easy1.wvr.yml.log 2021-10-16 23:45 112K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.test-easy10.wvr.yml.log 2021-10-16 23:45 192K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.test-easy11.wvr.yml.log 2021-10-16 23:45 74K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.test-easy6.wvr.yml.log 2021-10-16 23:45 189K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.test-easy7.wvr.yml.log 2021-10-16 23:45 179K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.test-easy8.wvr.yml.log 2021-10-16 23:45 89K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.test-hard1.wvr.yml.log 2021-10-16 23:45 183K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.test-semi1.wvr.yml.log 2021-10-16 23:45 91K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.time_var_mutex.yml.log 2021-10-16 23:47 164K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.triangular-1.yml.log 2021-10-16 23:47 88K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.triangular-2.yml.log 2021-10-16 23:47 88K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.triangular-longer-1.yml.log 2021-10-16 23:47 88K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.triangular-longer-2.yml.log 2021-10-16 23:47 88K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.triangular-longest-1.yml.log 2021-10-16 23:47 88K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.triangular-longest-2.yml.log 2021-10-16 23:47 88K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.unroll-2.wvr.yml.log 2021-10-16 23:45 168K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.unroll-3.wvr.yml.log 2021-10-16 23:45 192K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.unroll-4.wvr.yml.log 2021-10-16 23:45 216K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.unroll-5.wvr.yml.log 2021-10-16 23:45 241K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.unroll-cond-2.wvr.yml.log 2021-10-16 23:45 194K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.unroll-cond-3.wvr.yml.log 2021-10-16 23:45 245K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.unroll-cond-4.wvr.yml.log 2021-10-16 23:46 297K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.unroll-cond-5.wvr.yml.log 2021-10-16 23:46 349K
Automizer PN.00-sanity_09-include.yml.log 2021-10-16 23:05 60K
Automizer PN.01_inc.yml.log 2021-10-16 23:06 630K
Automizer PN.02-base_24-malloc_races.yml.log 2021-10-16 23:05 101K
Automizer PN.02-base_25-malloc_race_cp.yml.log 2021-10-16 23:05 101K
Automizer PN.02-base_26-malloc_struct.yml.log 2021-10-16 23:06 92K
Automizer PN.02_inc_cas.yml.log 2021-10-16 23:05 26K
Automizer PN.03-practical_07-nonterm.yml.log 2021-10-16 23:06 60K
Automizer PN.03-practical_08-nonterm1.yml.log 2021-10-16 23:06 87K
Automizer PN.03-practical_15-exit_problems.yml.log 2021-10-16 23:06 69K
Automizer PN.04-mutex_01-simple_rc.yml.log 2021-10-16 23:06 59K
Automizer PN.04-mutex_02-simple_nr.yml.log 2021-10-16 23:06 65K
Automizer PN.04-mutex_03-munge_rc.yml.log 2021-10-16 23:06 65K
Automizer PN.04-mutex_04-munge_nr.yml.log 2021-10-16 23:06 148K
Automizer PN.04-mutex_05-lockfuns.yml.log 2021-10-16 23:06 66K
Automizer PN.04-mutex_06-ps_rc.yml.log 2021-10-16 23:06 69K
Automizer PN.04-mutex_07-ps_nr.yml.log 2021-10-16 23:06 74K
Automizer PN.04-mutex_09-ptrmunge_rc.yml.log 2021-10-16 23:06 82K
Automizer PN.04-mutex_10-ptrmunge_nr.yml.log 2021-10-16 23:13 808K
Automizer PN.04-mutex_11-ptr_rc.yml.log 2021-10-16 23:06 73K
Automizer PN.04-mutex_12-ptr_nr.yml.log 2021-10-16 23:06 86K
Automizer PN.04-mutex_14-funarg_rc.yml.log 2021-10-16 23:06 50K
Automizer PN.04-mutex_15-funarg_nr.yml.log 2021-10-16 23:06 56K
Automizer PN.04-mutex_16-ps_add1_rc.yml.log 2021-10-16 23:06 60K
Automizer PN.04-mutex_17-ps_add1_nr.yml.log 2021-10-16 23:06 74K
Automizer PN.04-mutex_18-glob_guards.yml.log 2021-10-16 23:06 45K
Automizer PN.04-mutex_19-call_by_ptr_rc.yml.log 2021-10-16 23:06 60K
Automizer PN.04-mutex_20-stdfun_rc.yml.log 2021-10-16 23:06 15K
Automizer PN.04-mutex_21-sound_base.yml.log 2021-10-16 23:06 57K
Automizer PN.04-mutex_22-deref_read.yml.log 2021-10-16 23:06 74K
Automizer PN.04-mutex_23-sound_unlock.yml.log 2021-10-16 23:06 16K
Automizer PN.04-mutex_24-sound_lock.yml.log 2021-10-16 23:06 68K
Automizer PN.04-mutex_25-single_acc.yml.log 2021-10-16 23:06 66K
Automizer PN.04-mutex_27-base_rc.yml.log 2021-10-16 23:06 93K
Automizer PN.04-mutex_28-base_nr.yml.log 2021-10-16 23:06 90K
Automizer PN.04-mutex_35-trylock_rc.yml.log 2021-10-16 23:06 15K
Automizer PN.04-mutex_36-trylock_nr.yml.log 2021-10-16 23:06 15K
Automizer PN.04-mutex_37-indirect_rc.yml.log 2021-10-16 23:06 83K
Automizer PN.04-mutex_38-indexing_malloc.yml.log 2021-10-16 23:06 199K
Automizer PN.04-mutex_41-pt_rwlock.yml.log 2021-10-16 23:06 15K
Automizer PN.04-mutex_42-trylock_2mutex.yml.log 2021-10-16 23:06 15K
Automizer PN.04-mutex_43-thread_create_nr.yml.log 2021-10-16 23:06 73K
Automizer PN.04-mutex_44-malloc_sound.yml.log 2021-10-16 23:06 190K
Automizer PN.04-mutex_45-escape_rc.yml.log 2021-10-16 23:06 75K
Automizer PN.04-mutex_46-escape_nr.yml.log 2021-10-16 23:06 88K
Automizer PN.04-mutex_47-fun_write.yml.log 2021-10-16 23:06 61K
Automizer PN.04-mutex_50-funptr_rc.yml.log 2021-10-16 23:06 49K
Automizer PN.04-mutex_51-mutex_ptr.yml.log 2021-10-16 23:06 100K
Automizer PN.04-mutex_54-pt_rwlock_ww.yml.log 2021-10-16 23:06 15K
Automizer PN.04-mutex_55-pt_rwlock_rr.yml.log 2021-10-16 23:06 16K
Automizer PN.05-lval_ls_01-idx_rc.yml.log 2021-10-16 23:06 177K
Automizer PN.05-lval_ls_02-idx_nr.yml.log 2021-10-16 23:06 88K
Automizer PN.05-lval_ls_03-fld_rc.yml.log 2021-10-16 23:06 60K
Automizer PN.05-lval_ls_04-fld_nr.yml.log 2021-10-16 23:06 65K
Automizer PN.05-lval_ls_05-glob_idx_rc.yml.log 2021-10-16 23:06 19K
Automizer PN.05-lval_ls_07-glob_fld_rc.yml.log 2021-10-16 23:06 62K
Automizer PN.05-lval_ls_08-glob_fld_2_rc.yml.log 2021-10-16 23:06 83K
Automizer PN.05-lval_ls_09-idxsense_rc.yml.log 2021-10-16 23:06 19K
Automizer PN.05-lval_ls_11-fldsense_rc.yml.log 2021-10-16 23:06 64K
Automizer PN.05-lval_ls_12-fldsense_nr.yml.log 2021-10-16 23:06 78K
Automizer PN.05-lval_ls_13-idxunknown_lock.yml.log 2021-10-16 23:06 19K
Automizer PN.05-lval_ls_14-idxunknown_access.yml.log 2021-10-16 23:06 19K
Automizer PN.05-lval_ls_15-fldunknown_access.yml.log 2021-10-16 23:06 80K
Automizer PN.05-lval_ls_16-idxunknown_unlock.yml.log 2021-10-16 23:06 16K
Automizer PN.06-symbeq_02-funloop_norace.yml.log 2021-10-16 23:08 344K
Automizer PN.06-symbeq_03-funloop_simple.yml.log 2021-10-16 23:06 19K
Automizer PN.06-symbeq_04-funloop_hard1.yml.log 2021-10-16 23:06 19K
Automizer PN.06-symbeq_05-funloop_hard2.yml.log 2021-10-16 23:06 19K
Automizer PN.06-symbeq_06-tricky_address1.yml.log 2021-10-16 23:06 19K
Automizer PN.06-symbeq_07-tricky_address2.yml.log 2021-10-16 23:06 19K
Automizer PN.06-symbeq_08-tricky_address3.yml.log 2021-10-16 23:06 19K
Automizer PN.06-symbeq_09-tricky_address4.yml.log 2021-10-16 23:06 19K
Automizer PN.06-symbeq_10-equ_rc.yml.log 2021-10-16 23:07 60K
Automizer PN.06-symbeq_11-equ_nr.yml.log 2021-10-16 23:07 82K
Automizer PN.06-symbeq_13-equ_proc_nr.yml.log 2021-10-16 23:07 194K
Automizer PN.06-symbeq_14-list_entry_rc.yml.log 2021-10-16 23:07 15K
Automizer PN.06-symbeq_15-list_entry_nr.yml.log 2021-10-16 23:07 533K
Automizer PN.06-symbeq_23-idxsense_nr.yml.log 2021-10-16 23:07 19K
Automizer PN.09-regions_01-list_rc.yml.log 2021-10-16 23:20 495K
Automizer PN.09-regions_02-list_nr.yml.log 2021-10-16 23:18 464K
Automizer PN.09-regions_03-list2_rc.yml.log 2021-10-16 23:07 188K
Automizer PN.09-regions_04-list2_nr.yml.log 2021-10-16 23:18 726K
Automizer PN.09-regions_05-ptra_rc.yml.log 2021-10-16 23:20 495K
Automizer PN.09-regions_06-ptra_nr.yml.log 2021-10-16 23:07 236K
Automizer PN.09-regions_09-arraylist.yml.log 2021-10-16 23:07 20K
Automizer PN.09-regions_10-arraylist_rc.yml.log 2021-10-16 23:07 20K
Automizer PN.09-regions_11-arraylist_nr.yml.log 2021-10-16 23:07 20K
Automizer PN.09-regions_12-arraycollapse_rc.yml.log 2021-10-16 23:07 20K
Automizer PN.09-regions_13-arraycollapse_nr.yml.log 2021-10-16 23:07 20K
Automizer PN.09-regions_16-arrayloop_rc.yml.log 2021-10-16 23:07 20K
Automizer PN.09-regions_17-arrayloop_nr.yml.log 2021-10-16 23:07 20K
Automizer PN.09-regions_18-nested_rc.yml.log 2021-10-16 23:07 20K
Automizer PN.09-regions_19-nested_nr.yml.log 2021-10-16 23:07 20K
Automizer PN.09-regions_20-arrayloop2_rc.yml.log 2021-10-16 23:07 20K
Automizer PN.09-regions_21-arrayloop2_nr.yml.log 2021-10-16 23:07 20K
Automizer PN.09-regions_22-nocollapse.yml.log 2021-10-16 23:07 20K
Automizer PN.09-regions_23-evilcollapse_rc.yml.log 2021-10-16 23:07 20K
Automizer PN.09-regions_24-evilcollapse_nr.yml.log 2021-10-16 23:07 20K
Automizer PN.09-regions_26-alloc_region_rc.yml.log 2021-10-16 23:09 222K
Automizer PN.09-regions_28-list2alloc.yml.log 2021-10-16 23:07 115K
Automizer PN.10-synch_01-thread_unique.yml.log 2021-10-16 23:07 45K
Automizer PN.10-synch_02-thread_nonunique.yml.log 2021-10-16 23:07 20K
Automizer PN.10-synch_03-two_unique.yml.log 2021-10-16 23:07 59K
Automizer PN.13-privatized_03-priv_inv.yml.log 2021-10-16 23:07 74K
Automizer PN.14_spin2003.yml.log 2021-10-16 23:05 499K
Automizer PN.18_read_write_lock.yml.log 2021-10-16 23:05 78K
Automizer PN.39_rand_lock_p0_vs-b.yml.log 2021-10-16 23:05 946K
Automizer PN.39_rand_lock_p0_vs.yml.log 2021-10-16 23:06 42M
Automizer PN.40_barrier_vf-b.yml.log 2021-10-16 23:05 733K
Automizer PN.40_barrier_vf.yml.log 2021-10-16 23:05 647K
Automizer PN.45_monabsex1_vs-b.yml.log 2021-10-16 23:05 240K
Automizer PN.45_monabsex1_vs.yml.log 2021-10-16 23:05 548K
Automizer PN.46_monabsex2_vs-b.yml.log 2021-10-16 23:06 321K
Automizer PN.46_monabsex2_vs.yml.log 2021-10-16 23:07 32M
Automizer PN.48_ticket_lock_low_contention_vs-b.yml.log 2021-10-16 23:05 519K
Automizer PN.48_ticket_lock_low_contention_vs.yml.log 2021-10-16 23:06 1.0M
Automizer PN.array-eq-symm.wvr.yml.log 2021-10-16 22:59 176K
Automizer PN.array-eq-trans.wvr.yml.log 2021-10-16 22:59 245K
Automizer PN.bench-exp1x3.wvr.yml.log 2021-10-16 22:59 94K
Automizer PN.bench-exp2x3.wvr.yml.log 2021-10-16 22:59 149K
Automizer PN.bench-exp2x4.wvr.yml.log 2021-10-16 22:59 204K
Automizer PN.bench-exp2x6.wvr.yml.log 2021-10-16 22:59 314K
Automizer PN.bench-exp2x9.wvr.yml.log 2021-10-16 22:59 481K
Automizer PN.bench-exp3x3-opt.wvr.yml.log 2021-10-16 22:59 204K
Automizer PN.bench-exp3x3.wvr.yml.log 2021-10-16 22:59 204K
Automizer PN.chl-array-int-subst.wvr.yml.log 2021-10-16 23:00 361K
Automizer PN.chl-array-int-symm.wvr.yml.log 2021-10-16 22:59 253K
Automizer PN.chl-array-int-trans.wvr.yml.log 2021-10-16 23:00 361K
Automizer PN.chl-chromosome-opt-symm.wvr.yml.log 2021-10-16 22:59 195K
Automizer PN.chl-chromosome-subst.wvr.yml.log 2021-10-16 22:59 361K
Automizer PN.chl-chromosome-symm.wvr.yml.log 2021-10-16 22:59 247K
Automizer PN.chl-chromosome-trans.wvr.yml.log 2021-10-16 22:59 361K
Automizer PN.chl-collitem-subst.wvr.yml.log 2021-10-16 22:59 308K
Automizer PN.chl-collitem-symm.wvr.yml.log 2021-10-16 22:59 233K
Automizer PN.chl-collitem-trans.wvr.yml.log 2021-10-16 22:59 308K
Automizer PN.chl-exp-term-subst.wvr.yml.log 2021-10-16 22:59 265K
Automizer PN.chl-exp-term-symm.wvr.yml.log 2021-10-16 22:59 187K
Automizer PN.chl-file-item-subst.wvr.yml.log 2021-10-16 22:59 251K
Automizer PN.chl-file-item-symm.wvr.yml.log 2021-10-16 22:59 177K
Automizer PN.chl-file-item-trans.wvr.yml.log 2021-10-16 22:59 251K
Automizer PN.chl-match-subst.wvr.yml.log 2021-10-16 22:59 290K
Automizer PN.chl-match-symm.wvr.yml.log 2021-10-16 22:59 203K
Automizer PN.chl-match-trans.wvr.yml.log 2021-10-16 22:59 290K
Automizer PN.chl-name-comparator-subst.wvr.yml.log 2021-10-16 23:00 915K
Automizer PN.chl-name-comparator-symm.wvr.yml.log 2021-10-16 23:00 621K
Automizer PN.chl-name-comparator-trans.wvr.yml.log 2021-10-16 23:00 915K
Automizer PN.chl-node-subst.wvr.yml.log 2021-10-16 23:00 349K
Automizer PN.chl-node-symm.wvr.yml.log 2021-10-16 23:00 373K
Automizer PN.chl-node-trans.wvr.yml.log 2021-10-16 23:00 349K
Automizer PN.chl-nzb-file-subst.wvr.yml.log 2021-10-16 23:01 1.0M
Automizer PN.chl-nzb-file-symm.wvr.yml.log 2021-10-16 23:00 909K
Automizer PN.chl-nzb-file-trans.wvr.yml.log 2021-10-16 23:02 1.0M
Automizer PN.chl-poker-hand-subst.wvr.yml.log 2021-10-16 23:01 2.0M
Automizer PN.chl-poker-hand-symm.wvr.yml.log 2021-10-16 23:01 1.2M
Automizer PN.chl-poker-hand-trans.wvr.yml.log 2021-10-16 23:01 2.0M
Automizer PN.chl-simpl-str-subst.wvr.yml.log 2021-10-16 23:00 197K
Automizer PN.chl-simpl-str-symm.wvr.yml.log 2021-10-16 23:00 142K
Automizer PN.chl-simpl-str-trans.wvr.yml.log 2021-10-16 23:00 197K
Automizer PN.chl-sre-subst.wvr.yml.log 2021-10-16 23:00 116K
Automizer PN.chl-sre-symm.wvr.yml.log 2021-10-16 23:00 88K
Automizer PN.chl-sre-trans.wvr.yml.log 2021-10-16 23:00 116K
Automizer PN.chl-time-subst.wvr.yml.log 2021-10-16 23:00 184K
Automizer PN.chl-time-symm.wvr.yml.log 2021-10-16 23:00 133K
Automizer PN.chl-time-trans.wvr.yml.log 2021-10-16 23:00 184K
Automizer PN.chl-word-subst.wvr.yml.log 2021-10-16 23:01 416K
Automizer PN.chl-word-symm.wvr.yml.log 2021-10-16 23:00 289K
Automizer PN.chl-word-trans.wvr.yml.log 2021-10-16 23:01 416K
Automizer PN.clever.wvr.yml.log 2021-10-16 23:00 186K
Automizer PN.dekker-b.yml.log 2021-10-16 23:04 118K
Automizer PN.dekker.yml.log 2021-10-16 23:04 116K
Automizer PN.fib_bench-1.yml.log 2021-10-16 23:04 59K
Automizer PN.fib_bench-2.yml.log 2021-10-16 23:04 59K
Automizer PN.fib_bench_longer-1.yml.log 2021-10-16 23:04 59K
Automizer PN.fib_bench_longer-2.yml.log 2021-10-16 23:04 59K
Automizer PN.fib_bench_longest-1.yml.log 2021-10-16 23:04 60K
Automizer PN.fib_bench_longest-2.yml.log 2021-10-16 23:04 60K
Automizer PN.fibonacci.wvr.yml.log 2021-10-16 23:00 243K
Automizer PN.lamport-b.yml.log 2021-10-16 23:04 178K
Automizer PN.lamport.yml.log 2021-10-16 23:04 167K
Automizer PN.lazy01.yml.log 2021-10-16 23:04 80K
Automizer PN.loop-tiling-eq.wvr.yml.log 2021-10-16 23:04 16M
Automizer PN.mult-comm.wvr.yml.log 2021-10-16 23:00 89K
Automizer PN.mult-dist.wvr.yml.log 2021-10-16 23:00 119K
Automizer PN.mult-flipped-dist.wvr.yml.log 2021-10-16 23:00 119K
Automizer PN.parallel-bakery-2.wvr.yml.log 2021-10-16 23:00 274K
Automizer PN.parallel-bakery-3.wvr.yml.log 2021-10-16 23:03 445K
Automizer PN.parallel-bakery-4.wvr.yml.log 2021-10-16 23:04 557K
Automizer PN.parallel-barrier-loop.wvr.yml.log 2021-10-16 23:01 570K
Automizer PN.parallel-barrier.wvr.yml.log 2021-10-16 23:01 540K
Automizer PN.parallel-bluetooth.wvr.yml.log 2021-10-16 23:01 149K
Automizer PN.parallel-lamport.wvr.yml.log 2021-10-16 23:01 382K
Automizer PN.parallel-min-max-1.wvr.yml.log 2021-10-16 23:01 345K
Automizer PN.parallel-min-max-2.wvr.yml.log 2021-10-16 23:01 27K
Automizer PN.parallel-misc-1.wvr.yml.log 2021-10-16 23:01 423K
Automizer PN.parallel-misc-2-unrolled-atomic.wvr.yml.log 2021-10-16 23:01 111K
Automizer PN.parallel-misc-2-unrolled.wvr.yml.log 2021-10-16 23:01 158K
Automizer PN.parallel-misc-2.wvr.yml.log 2021-10-16 23:01 197K
Automizer PN.parallel-misc-3-extended.wvr.yml.log 2021-10-16 23:01 223K
Automizer PN.parallel-misc-3.wvr.yml.log 2021-10-16 23:01 165K
Automizer PN.parallel-misc-4.wvr.yml.log 2021-10-16 23:01 151K
Automizer PN.parallel-misc-5.wvr.yml.log 2021-10-16 23:01 159K
Automizer PN.parallel-parallel-sum-1-dsl.wvr.yml.log 2021-10-16 23:01 336K
Automizer PN.parallel-parallel-sum-1.wvr.yml.log 2021-10-16 23:01 241K
Automizer PN.parallel-parallel-sum-2.wvr.yml.log 2021-10-16 23:01 367K
Automizer PN.parallel-parallel-sum-equiv.wvr.yml.log 2021-10-16 23:01 259K
Automizer PN.parallel-simple-equiv.wvr.yml.log 2021-10-16 23:01 118K
Automizer PN.parallel-ticket-2.wvr.yml.log 2021-10-16 23:01 225K
Automizer PN.parallel-ticket-3.wvr.yml.log 2021-10-16 23:01 292K
Automizer PN.parallel-ticket-4.wvr.yml.log 2021-10-16 23:02 514K
Automizer PN.parallel-ticket-5.wvr.yml.log 2021-10-16 23:02 247K
Automizer PN.parallel-ticket-6.wvr.yml.log 2021-10-16 23:01 218K
Automizer PN.parallel-ticket-7.wvr.yml.log 2021-10-16 23:01 250K
Automizer PN.parallel-ticket-8.wvr.yml.log 2021-10-16 23:01 282K
Automizer PN.peterson-b.yml.log 2021-10-16 23:04 119K
Automizer PN.peterson.yml.log 2021-10-16 23:04 108K
Automizer PN.popl20-bad-buffer-mult-alt.wvr.yml.log 2021-10-16 23:01 366K
Automizer PN.popl20-bad-buffer-mult-alt2.wvr.yml.log 2021-10-16 23:01 289K
Automizer PN.popl20-bad-commit-1.wvr-bad.yml.log 2021-10-16 23:01 408K
Automizer PN.popl20-bad-commit-2.wvr-bad.yml.log 2021-10-16 23:01 561K
Automizer PN.popl20-bad-counter-queue.wvr.yml.log 2021-10-16 23:02 150K
Automizer PN.popl20-bad-counter-queue2.wvr.yml.log 2021-10-16 23:02 96K
Automizer PN.popl20-bad-dot-product-alt.wvr.yml.log 2021-10-16 23:02 289K
Automizer PN.popl20-bad-dot-product.wvr.yml.log 2021-10-16 23:03 329K
Automizer PN.popl20-bad-ring-nondet.wvr.yml.log 2021-10-16 23:02 309K
Automizer PN.popl20-bad-ring.wvr.yml.log 2021-10-16 23:02 311K
Automizer PN.popl20-bad-threaded-sum-2.wvr.yml.log 2021-10-16 23:02 93K
Automizer PN.popl20-bad-three-array-sum-alt.wvr.yml.log 2021-10-16 23:03 267K
Automizer PN.popl20-channel-sum.wvr.yml.log 2021-10-16 23:02 199K
Automizer PN.popl20-commit-1.wvr.yml.log 2021-10-16 23:02 355K
Automizer PN.popl20-commit-2.wvr.yml.log 2021-10-16 23:02 480K
Automizer PN.popl20-counter-determinism.wvr.yml.log 2021-10-16 23:02 84K
Automizer PN.popl20-counter-fun.wvr.yml.log 2021-10-16 23:02 157K
Automizer PN.popl20-difference-det.wvr.yml.log 2021-10-16 23:02 92K
Automizer PN.popl20-figure1-alt.wvr.yml.log 2021-10-16 23:02 71K
Automizer PN.popl20-figure1.wvr.yml.log 2021-10-16 23:02 62K
Automizer PN.popl20-figure3.wvr.yml.log 2021-10-16 23:02 86K
Automizer PN.popl20-horseshoe.wvr.yml.log 2021-10-16 23:02 232K
Automizer PN.popl20-min-max-dec.wvr.yml.log 2021-10-16 23:02 218K
Automizer PN.popl20-min-max-inc-dec.wvr.yml.log 2021-10-16 23:02 328K
Automizer PN.popl20-min-max-inc.wvr.yml.log 2021-10-16 23:02 218K
Automizer PN.popl20-more-array-sum-alt.wvr.yml.log 2021-10-16 23:03 320K
Automizer PN.popl20-more-array-sum-alt2.wvr.yml.log 2021-10-16 23:02 125K
Automizer PN.popl20-more-array-sum.wvr.yml.log 2021-10-16 23:07 392K
Automizer PN.popl20-more-array-sum2.wvr.yml.log 2021-10-16 23:02 145K
Automizer PN.popl20-more-buffer-mult.wvr.yml.log 2021-10-16 23:02 262K
Automizer PN.popl20-more-buffer-mult2.wvr.yml.log 2021-10-16 23:02 273K
Automizer PN.popl20-more-buffer-series.wvr.yml.log 2021-10-16 23:02 271K
Automizer PN.popl20-more-buffer-series2.wvr.yml.log 2021-10-16 23:02 286K
Automizer PN.popl20-more-dec-subseq.wvr.yml.log 2021-10-16 23:02 238K
Automizer PN.popl20-more-inc-subseq.wvr.yml.log 2021-10-16 23:02 238K
Automizer PN.popl20-more-max-array-hom.wvr.yml.log 2021-10-16 23:02 116K
Automizer PN.popl20-more-max-array.wvr.yml.log 2021-10-16 23:02 116K
Automizer PN.popl20-more-min-array-hom.wvr.yml.log 2021-10-16 23:02 116K
Automizer PN.popl20-more-min-array.wvr.yml.log 2021-10-16 23:02 116K
Automizer PN.popl20-more-min-le-max.wvr.yml.log 2021-10-16 23:02 123K
Automizer PN.popl20-more-mts.wvr.yml.log 2021-10-16 23:02 204K
Automizer PN.popl20-more-multiply-verify.wvr.yml.log 2021-10-16 23:02 177K
Automizer PN.popl20-more-nonblocking-counter-alt2.wvr.yml.log 2021-10-16 23:02 84K
Automizer PN.popl20-more-parray-copy.wvr.yml.log 2021-10-16 23:04 159K
Automizer PN.popl20-more-queue-add-2-nl.wvr.yml.log 2021-10-16 23:03 211K
Automizer PN.popl20-more-queue-add-3-nl.wvr.yml.log 2021-10-16 23:03 319K
Automizer PN.popl20-more-sorted.wvr.yml.log 2021-10-16 23:03 198K
Automizer PN.popl20-more-sum-array-hom.wvr.yml.log 2021-10-16 23:03 144K
Automizer PN.popl20-more-vector-add.wvr.yml.log 2021-10-16 23:03 188K
Automizer PN.popl20-mult-4.wvr.yml.log 2021-10-16 23:03 110K
Automizer PN.popl20-mult-equiv.wvr.yml.log 2021-10-16 23:03 97K
Automizer PN.popl20-nonblocking-cntr-alt.wvr.yml.log 2021-10-16 23:03 69K
Automizer PN.popl20-nonblocking-cntr.wvr.yml.log 2021-10-16 23:03 61K
Automizer PN.popl20-prod-cons-eq.wvr.yml.log 2021-10-16 23:03 510K
Automizer PN.popl20-prod-cons.wvr.yml.log 2021-10-16 23:03 169K
Automizer PN.popl20-prod-cons3.wvr.yml.log 2021-10-16 23:03 257K
Automizer PN.popl20-proofs-counter-add-4-semi-Q67.wvr.yml.log 2021-10-16 23:03 123K
Automizer PN.popl20-queue-add-2.wvr.yml.log 2021-10-16 23:03 149K
Automizer PN.popl20-queue-add-3.wvr.yml.log 2021-10-16 23:03 232K
Automizer PN.popl20-send-receive-alt.wvr.yml.log 2021-10-16 23:03 134K
Automizer PN.popl20-send-receive.wvr.yml.log 2021-10-16 23:03 175K
Automizer PN.popl20-simple-array-sum.wvr.yml.log 2021-10-16 23:03 195K
Automizer PN.popl20-simple-queue.wvr.yml.log 2021-10-16 23:03 127K
Automizer PN.popl20-threaded-sum-3.wvr.yml.log 2021-10-16 23:03 135K
Automizer PN.popl20-three-array-max.wvr.yml.log 2021-10-16 23:03 251K
Automizer PN.popl20-three-array-min.wvr.yml.log 2021-10-16 23:03 251K
Automizer PN.popl20-three-array-sum.wvr.yml.log 2021-10-16 23:03 177K
Automizer PN.popl20-two-queue.wvr.yml.log 2021-10-16 23:03 231K
Automizer PN.qw2004-2.yml.log 2021-10-16 23:05 133K
Automizer PN.race-1_1-join.yml.log 2021-10-16 23:03 77K
Automizer PN.race-1_2-join.yml.log 2021-10-16 23:03 64K
Automizer PN.race-1_2b-join.yml.log 2021-10-16 23:03 77K
Automizer PN.race-1_3-join.yml.log 2021-10-16 23:03 64K
Automizer PN.race-1_3b-join.yml.log 2021-10-16 23:03 77K
Automizer PN.race-2_1-container_of.yml.log 2021-10-16 23:04 162K
Automizer PN.race-2_2-container_of.yml.log 2021-10-16 23:03 109K
Automizer PN.race-2_2b-container_of.yml.log 2021-10-16 23:04 160K
Automizer PN.race-2_3-container_of.yml.log 2021-10-16 23:03 114K
Automizer PN.race-2_3b-container_of.yml.log 2021-10-16 23:04 153K
Automizer PN.race-2_4-container_of.yml.log 2021-10-16 23:03 114K
Automizer PN.race-2_4b-container_of.yml.log 2021-10-16 23:05 170K
Automizer PN.race-2_5-container_of.yml.log 2021-10-16 23:04 114K
Automizer PN.race-2_5b-container_of.yml.log 2021-10-16 23:05 365K
Automizer PN.race-3_1-container_of-global.yml.log 2021-10-16 23:05 212K
Automizer PN.race-3_2-container_of-global.yml.log 2021-10-16 23:04 115K
Automizer PN.race-3_2b-container_of-global.yml.log 2021-10-16 23:04 175K
Automizer PN.read_write_lock-1.yml.log 2021-10-16 23:04 179K
Automizer PN.read_write_lock-1b.yml.log 2021-10-16 23:04 162K
Automizer PN.read_write_lock-2.yml.log 2021-10-16 23:04 99K
Automizer PN.read_write_lock-2b.yml.log 2021-10-16 23:05 166K
Automizer PN.security.wvr.yml.log 2021-10-16 23:03 142K
Automizer PN.singleton-b.yml.log 2021-10-16 23:04 155K
Automizer PN.singleton.yml.log 2021-10-16 23:04 138K
Automizer PN.singleton_with-uninit-problems-b.yml.log 2021-10-16 23:05 155K
Automizer PN.singleton_with-uninit-problems.yml.log 2021-10-16 23:04 138K
Automizer PN.spaghetti.wvr.yml.log 2021-10-16 23:03 157K
Automizer PN.stateful01-1.yml.log 2021-10-16 23:04 120K
Automizer PN.stateful01-2.yml.log 2021-10-16 23:04 120K
Automizer PN.szymanski-b.yml.log 2021-10-16 23:04 125K
Automizer PN.szymanski.yml.log 2021-10-16 23:05 134K
Automizer PN.test-context1.wvr.yml.log 2021-10-16 23:03 118K
Automizer PN.test-easy1.wvr.yml.log 2021-10-16 23:03 82K
Automizer PN.test-easy10.wvr.yml.log 2021-10-16 23:03 318K
Automizer PN.test-easy11.wvr.yml.log 2021-10-16 23:03 81K
Automizer PN.test-easy6.wvr.yml.log 2021-10-16 23:03 176K
Automizer PN.test-easy7.wvr.yml.log 2021-10-16 23:03 160K
Automizer PN.test-easy8.wvr.yml.log 2021-10-16 23:03 59K
Automizer PN.test-hard1.wvr.yml.log 2021-10-16 23:03 129K
Automizer PN.test-semi1.wvr.yml.log 2021-10-16 23:03 61K
Automizer PN.time_var_mutex.yml.log 2021-10-16 23:05 118K
Automizer PN.triangular-1.yml.log 2021-10-16 23:04 57K
Automizer PN.triangular-2.yml.log 2021-10-16 23:04 57K
Automizer PN.triangular-longer-1.yml.log 2021-10-16 23:04 57K
Automizer PN.triangular-longer-2.yml.log 2021-10-16 23:04 57K
Automizer PN.triangular-longest-1.yml.log 2021-10-16 23:04 57K
Automizer PN.triangular-longest-2.yml.log 2021-10-16 23:04 57K
Automizer PN.unroll-2.wvr.yml.log 2021-10-16 23:03 169K
Automizer PN.unroll-3.wvr.yml.log 2021-10-16 23:03 197K
Automizer PN.unroll-4.wvr.yml.log 2021-10-16 23:03 225K
Automizer PN.unroll-5.wvr.yml.log 2021-10-16 23:03 254K
Automizer PN.unroll-cond-2.wvr.yml.log 2021-10-16 23:03 199K
Automizer PN.unroll-cond-3.wvr.yml.log 2021-10-16 23:03 258K
Automizer PN.unroll-cond-4.wvr.yml.log 2021-10-16 23:03 316K
Automizer PN.unroll-cond-5.wvr.yml.log 2021-10-16 23:03 375K