Index of /logs/student-concurrency/20211019-194634-student-concurrency-5b77e9fc37/concurrency.2021-10-19_14-05-24.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-19 14:23 63K
Automizer FA.01_inc.yml.log 2021-10-19 14:22 272K
Automizer FA.02-base_24-malloc_races.yml.log 2021-10-19 14:23 122K
Automizer FA.02-base_25-malloc_race_cp.yml.log 2021-10-19 14:23 122K
Automizer FA.02-base_26-malloc_struct.yml.log 2021-10-19 14:23 115K
Automizer FA.02_inc_cas.yml.log 2021-10-19 14:21 26K
Automizer FA.03-practical_07-nonterm.yml.log 2021-10-19 14:23 63K
Automizer FA.03-practical_08-nonterm1.yml.log 2021-10-19 14:23 92K
Automizer FA.03-practical_15-exit_problems.yml.log 2021-10-19 14:23 63K
Automizer FA.04-mutex_01-simple_rc.yml.log 2021-10-19 14:23 62K
Automizer FA.04-mutex_02-simple_nr.yml.log 2021-10-19 14:23 71K
Automizer FA.04-mutex_03-munge_rc.yml.log 2021-10-19 14:23 68K
Automizer FA.04-mutex_04-munge_nr.yml.log 2021-10-19 14:23 136K
Automizer FA.04-mutex_05-lockfuns.yml.log 2021-10-19 14:23 73K
Automizer FA.04-mutex_06-ps_rc.yml.log 2021-10-19 14:23 70K
Automizer FA.04-mutex_07-ps_nr.yml.log 2021-10-19 14:23 72K
Automizer FA.04-mutex_09-ptrmunge_rc.yml.log 2021-10-19 14:23 92K
Automizer FA.04-mutex_10-ptrmunge_nr.yml.log 2021-10-19 14:25 690K
Automizer FA.04-mutex_11-ptr_rc.yml.log 2021-10-19 14:23 83K
Automizer FA.04-mutex_12-ptr_nr.yml.log 2021-10-19 14:23 105K
Automizer FA.04-mutex_14-funarg_rc.yml.log 2021-10-19 14:23 56K
Automizer FA.04-mutex_15-funarg_nr.yml.log 2021-10-19 14:23 65K
Automizer FA.04-mutex_16-ps_add1_rc.yml.log 2021-10-19 14:23 63K
Automizer FA.04-mutex_17-ps_add1_nr.yml.log 2021-10-19 14:23 73K
Automizer FA.04-mutex_18-glob_guards.yml.log 2021-10-19 14:23 56K
Automizer FA.04-mutex_19-call_by_ptr_rc.yml.log 2021-10-19 14:23 78K
Automizer FA.04-mutex_20-stdfun_rc.yml.log 2021-10-19 14:23 16K
Automizer FA.04-mutex_21-sound_base.yml.log 2021-10-19 14:23 66K
Automizer FA.04-mutex_22-deref_read.yml.log 2021-10-19 14:23 79K
Automizer FA.04-mutex_23-sound_unlock.yml.log 2021-10-19 14:23 16K
Automizer FA.04-mutex_24-sound_lock.yml.log 2021-10-19 14:23 69K
Automizer FA.04-mutex_25-single_acc.yml.log 2021-10-19 14:23 68K
Automizer FA.04-mutex_27-base_rc.yml.log 2021-10-19 14:24 95K
Automizer FA.04-mutex_28-base_nr.yml.log 2021-10-19 14:23 85K
Automizer FA.04-mutex_35-trylock_rc.yml.log 2021-10-19 14:23 16K
Automizer FA.04-mutex_36-trylock_nr.yml.log 2021-10-19 14:24 16K
Automizer FA.04-mutex_37-indirect_rc.yml.log 2021-10-19 14:24 101K
Automizer FA.04-mutex_38-indexing_malloc.yml.log 2021-10-19 14:24 200K
Automizer FA.04-mutex_41-pt_rwlock.yml.log 2021-10-19 14:24 16K
Automizer FA.04-mutex_42-trylock_2mutex.yml.log 2021-10-19 14:24 16K
Automizer FA.04-mutex_43-thread_create_nr.yml.log 2021-10-19 14:24 79K
Automizer FA.04-mutex_44-malloc_sound.yml.log 2021-10-19 14:24 199K
Automizer FA.04-mutex_45-escape_rc.yml.log 2021-10-19 14:24 85K
Automizer FA.04-mutex_46-escape_nr.yml.log 2021-10-19 14:24 167K
Automizer FA.04-mutex_47-fun_write.yml.log 2021-10-19 14:24 64K
Automizer FA.04-mutex_50-funptr_rc.yml.log 2021-10-19 14:24 55K
Automizer FA.04-mutex_51-mutex_ptr.yml.log 2021-10-19 14:24 148K
Automizer FA.04-mutex_54-pt_rwlock_ww.yml.log 2021-10-19 14:24 16K
Automizer FA.04-mutex_55-pt_rwlock_rr.yml.log 2021-10-19 14:24 16K
Automizer FA.05-lval_ls_01-idx_rc.yml.log 2021-10-19 14:24 159K
Automizer FA.05-lval_ls_02-idx_nr.yml.log 2021-10-19 14:24 87K
Automizer FA.05-lval_ls_03-fld_rc.yml.log 2021-10-19 14:24 62K
Automizer FA.05-lval_ls_04-fld_nr.yml.log 2021-10-19 14:24 66K
Automizer FA.05-lval_ls_05-glob_idx_rc.yml.log 2021-10-19 14:24 20K
Automizer FA.05-lval_ls_07-glob_fld_rc.yml.log 2021-10-19 14:24 20K
Automizer FA.05-lval_ls_08-glob_fld_2_rc.yml.log 2021-10-19 14:24 20K
Automizer FA.05-lval_ls_09-idxsense_rc.yml.log 2021-10-19 14:24 20K
Automizer FA.05-lval_ls_11-fldsense_rc.yml.log 2021-10-19 14:24 20K
Automizer FA.05-lval_ls_12-fldsense_nr.yml.log 2021-10-19 14:24 20K
Automizer FA.05-lval_ls_13-idxunknown_lock.yml.log 2021-10-19 14:24 20K
Automizer FA.05-lval_ls_14-idxunknown_access.yml.log 2021-10-19 14:24 20K
Automizer FA.05-lval_ls_15-fldunknown_access.yml.log 2021-10-19 14:24 20K
Automizer FA.05-lval_ls_16-idxunknown_unlock.yml.log 2021-10-19 14:24 16K
Automizer FA.06-symbeq_02-funloop_norace.yml.log 2021-10-19 14:38 729K
Automizer FA.06-symbeq_03-funloop_simple.yml.log 2021-10-19 14:24 20K
Automizer FA.06-symbeq_04-funloop_hard1.yml.log 2021-10-19 14:24 20K
Automizer FA.06-symbeq_05-funloop_hard2.yml.log 2021-10-19 14:24 20K
Automizer FA.06-symbeq_06-tricky_address1.yml.log 2021-10-19 14:24 20K
Automizer FA.06-symbeq_07-tricky_address2.yml.log 2021-10-19 14:24 20K
Automizer FA.06-symbeq_08-tricky_address3.yml.log 2021-10-19 14:24 20K
Automizer FA.06-symbeq_09-tricky_address4.yml.log 2021-10-19 14:24 20K
Automizer FA.06-symbeq_10-equ_rc.yml.log 2021-10-19 14:24 19K
Automizer FA.06-symbeq_11-equ_nr.yml.log 2021-10-19 14:24 19K
Automizer FA.06-symbeq_13-equ_proc_nr.yml.log 2021-10-19 14:24 20K
Automizer FA.06-symbeq_14-list_entry_rc.yml.log 2021-10-19 14:24 16K
Automizer FA.06-symbeq_15-list_entry_nr.yml.log 2021-10-19 14:24 441K
Automizer FA.06-symbeq_23-idxsense_nr.yml.log 2021-10-19 14:24 20K
Automizer FA.09-regions_01-list_rc.yml.log 2021-10-19 14:34 1.8M
Automizer FA.09-regions_02-list_nr.yml.log 2021-10-19 14:34 1.9M
Automizer FA.09-regions_03-list2_rc.yml.log 2021-10-19 14:25 303K
Automizer FA.09-regions_04-list2_nr.yml.log 2021-10-19 14:32 1.1M
Automizer FA.09-regions_05-ptra_rc.yml.log 2021-10-19 14:36 2.0M
Automizer FA.09-regions_06-ptra_nr.yml.log 2021-10-19 14:27 1.0M
Automizer FA.09-regions_09-arraylist.yml.log 2021-10-19 14:24 21K
Automizer FA.09-regions_10-arraylist_rc.yml.log 2021-10-19 14:24 20K
Automizer FA.09-regions_11-arraylist_nr.yml.log 2021-10-19 14:24 20K
Automizer FA.09-regions_12-arraycollapse_rc.yml.log 2021-10-19 14:24 20K
Automizer FA.09-regions_13-arraycollapse_nr.yml.log 2021-10-19 14:24 21K
Automizer FA.09-regions_16-arrayloop_rc.yml.log 2021-10-19 14:24 21K
Automizer FA.09-regions_17-arrayloop_nr.yml.log 2021-10-19 14:24 21K
Automizer FA.09-regions_18-nested_rc.yml.log 2021-10-19 14:24 20K
Automizer FA.09-regions_19-nested_nr.yml.log 2021-10-19 14:24 21K
Automizer FA.09-regions_20-arrayloop2_rc.yml.log 2021-10-19 14:24 21K
Automizer FA.09-regions_21-arrayloop2_nr.yml.log 2021-10-19 14:24 21K
Automizer FA.09-regions_22-nocollapse.yml.log 2021-10-19 14:24 20K
Automizer FA.09-regions_23-evilcollapse_rc.yml.log 2021-10-19 14:24 20K
Automizer FA.09-regions_24-evilcollapse_nr.yml.log 2021-10-19 14:24 20K
Automizer FA.09-regions_26-alloc_region_rc.yml.log 2021-10-19 14:36 1.8M
Automizer FA.09-regions_28-list2alloc.yml.log 2021-10-19 14:24 118K
Automizer FA.10-synch_01-thread_unique.yml.log 2021-10-19 14:24 50K
Automizer FA.10-synch_02-thread_nonunique.yml.log 2021-10-19 14:24 21K
Automizer FA.10-synch_03-two_unique.yml.log 2021-10-19 14:24 55K
Automizer FA.13-privatized_03-priv_inv.yml.log 2021-10-19 14:24 80K
Automizer FA.14_spin2003.yml.log 2021-10-19 14:22 276K
Automizer FA.18_read_write_lock.yml.log 2021-10-19 14:21 73K
Automizer FA.39_rand_lock_p0_vs-b.yml.log 2021-10-19 14:23 251K
Automizer FA.39_rand_lock_p0_vs.yml.log 2021-10-19 14:23 255K
Automizer FA.40_barrier_vf-b.yml.log 2021-10-19 14:22 248K
Automizer FA.40_barrier_vf.yml.log 2021-10-19 14:23 236K
Automizer FA.45_monabsex1_vs-b.yml.log 2021-10-19 14:22 173K
Automizer FA.45_monabsex1_vs.yml.log 2021-10-19 14:22 173K
Automizer FA.46_monabsex2_vs-b.yml.log 2021-10-19 14:23 140K
Automizer FA.46_monabsex2_vs.yml.log 2021-10-19 14:23 162K
Automizer FA.48_ticket_lock_low_contention_vs-b.yml.log 2021-10-19 14:24 341K
Automizer FA.48_ticket_lock_low_contention_vs.yml.log 2021-10-19 14:23 322K
Automizer FA.array-eq-symm.wvr.yml.log 2021-10-19 14:06 237K
Automizer FA.array-eq-trans.wvr.yml.log 2021-10-19 14:05 59K
Automizer FA.bench-exp1x3.wvr.yml.log 2021-10-19 14:05 111K
Automizer FA.bench-exp2x3.wvr.yml.log 2021-10-19 14:05 37K
Automizer FA.bench-exp2x4.wvr.yml.log 2021-10-19 14:05 45K
Automizer FA.bench-exp2x6.wvr.yml.log 2021-10-19 14:05 61K
Automizer FA.bench-exp2x9.wvr.yml.log 2021-10-19 14:05 85K
Automizer FA.bench-exp3x3-opt.wvr.yml.log 2021-10-19 14:05 44K
Automizer FA.bench-exp3x3.wvr.yml.log 2021-10-19 14:05 44K
Automizer FA.chl-array-int-subst.wvr.yml.log 2021-10-19 14:05 149K
Automizer FA.chl-array-int-symm.wvr.yml.log 2021-10-19 14:07 314K
Automizer FA.chl-array-int-trans.wvr.yml.log 2021-10-19 14:05 149K
Automizer FA.chl-chromosome-opt-symm.wvr.yml.log 2021-10-19 14:07 295K
Automizer FA.chl-chromosome-subst.wvr.yml.log 2021-10-19 14:05 138K
Automizer FA.chl-chromosome-symm.wvr.yml.log 2021-10-19 14:07 351K
Automizer FA.chl-chromosome-trans.wvr.yml.log 2021-10-19 14:06 138K
Automizer FA.chl-collitem-subst.wvr.yml.log 2021-10-19 14:06 434K
Automizer FA.chl-collitem-symm.wvr.yml.log 2021-10-19 14:06 313K
Automizer FA.chl-collitem-trans.wvr.yml.log 2021-10-19 14:06 433K
Automizer FA.chl-exp-term-subst.wvr.yml.log 2021-10-19 14:06 112K
Automizer FA.chl-exp-term-symm.wvr.yml.log 2021-10-19 14:07 216K
Automizer FA.chl-file-item-subst.wvr.yml.log 2021-10-19 14:06 104K
Automizer FA.chl-file-item-symm.wvr.yml.log 2021-10-19 14:07 216K
Automizer FA.chl-file-item-trans.wvr.yml.log 2021-10-19 14:06 104K
Automizer FA.chl-match-subst.wvr.yml.log 2021-10-19 14:06 143K
Automizer FA.chl-match-symm.wvr.yml.log 2021-10-19 14:08 258K
Automizer FA.chl-match-trans.wvr.yml.log 2021-10-19 14:06 143K
Automizer FA.chl-name-comparator-subst.wvr.yml.log 2021-10-19 14:06 227K
Automizer FA.chl-name-comparator-symm.wvr.yml.log 2021-10-19 14:08 172K
Automizer FA.chl-name-comparator-trans.wvr.yml.log 2021-10-19 14:07 227K
Automizer FA.chl-node-subst.wvr.yml.log 2021-10-19 14:07 133K
Automizer FA.chl-node-symm.wvr.yml.log 2021-10-19 14:11 309K
Automizer FA.chl-node-trans.wvr.yml.log 2021-10-19 14:07 133K
Automizer FA.chl-nzb-file-subst.wvr.yml.log 2021-10-19 14:07 384K
Automizer FA.chl-nzb-file-symm.wvr.yml.log 2021-10-19 14:08 269K
Automizer FA.chl-nzb-file-trans.wvr.yml.log 2021-10-19 14:07 384K
Automizer FA.chl-poker-hand-subst.wvr.yml.log 2021-10-19 14:11 3.4M
Automizer FA.chl-poker-hand-symm.wvr.yml.log 2021-10-19 14:22 2.7M
Automizer FA.chl-poker-hand-trans.wvr.yml.log 2021-10-19 14:11 3.4M
Automizer FA.chl-simpl-str-subst.wvr.yml.log 2021-10-19 14:09 94K
Automizer FA.chl-simpl-str-symm.wvr.yml.log 2021-10-19 14:08 183K
Automizer FA.chl-simpl-str-trans.wvr.yml.log 2021-10-19 14:09 94K
Automizer FA.chl-sre-subst.wvr.yml.log 2021-10-19 14:11 159K
Automizer FA.chl-sre-symm.wvr.yml.log 2021-10-19 14:08 117K
Automizer FA.chl-sre-trans.wvr.yml.log 2021-10-19 14:11 166K
Automizer FA.chl-time-subst.wvr.yml.log 2021-10-19 14:08 234K
Automizer FA.chl-time-symm.wvr.yml.log 2021-10-19 14:08 166K
Automizer FA.chl-time-trans.wvr.yml.log 2021-10-19 14:08 233K
Automizer FA.chl-word-subst.wvr.yml.log 2021-10-19 14:08 130K
Automizer FA.chl-word-symm.wvr.yml.log 2021-10-19 14:11 375K
Automizer FA.chl-word-trans.wvr.yml.log 2021-10-19 14:08 130K
Automizer FA.clever.wvr.yml.log 2021-10-19 14:09 211K
Automizer FA.dekker-b.yml.log 2021-10-19 14:20 135K
Automizer FA.dekker.yml.log 2021-10-19 14:20 130K
Automizer FA.fib_bench-1.yml.log 2021-10-19 14:19 56K
Automizer FA.fib_bench-2.yml.log 2021-10-19 14:19 56K
Automizer FA.fib_bench_longer-1.yml.log 2021-10-19 14:19 56K
Automizer FA.fib_bench_longer-2.yml.log 2021-10-19 14:19 56K
Automizer FA.fib_bench_longest-1.yml.log 2021-10-19 14:19 57K
Automizer FA.fib_bench_longest-2.yml.log 2021-10-19 14:19 57K
Automizer FA.fibonacci.wvr.yml.log 2021-10-19 14:10 269K
Automizer FA.lamport-b.yml.log 2021-10-19 14:21 172K
Automizer FA.lamport.yml.log 2021-10-19 14:21 165K
Automizer FA.lazy01.yml.log 2021-10-19 14:20 98K
Automizer FA.loop-tiling-eq.wvr.yml.log 2021-10-19 14:16 444K
Automizer FA.mult-comm.wvr.yml.log 2021-10-19 14:09 115K
Automizer FA.mult-dist.wvr.yml.log 2021-10-19 14:11 158K
Automizer FA.mult-flipped-dist.wvr.yml.log 2021-10-19 14:11 158K
Automizer FA.parallel-bakery-2.wvr.yml.log 2021-10-19 14:09 174K
Automizer FA.parallel-bakery-3.wvr.yml.log 2021-10-19 14:11 274K
Automizer FA.parallel-bakery-4.wvr.yml.log 2021-10-19 14:10 138K
Automizer FA.parallel-barrier-loop.wvr.yml.log 2021-10-19 14:10 124K
Automizer FA.parallel-barrier.wvr.yml.log 2021-10-19 14:10 124K
Automizer FA.parallel-bluetooth.wvr.yml.log 2021-10-19 14:11 158K
Automizer FA.parallel-lamport.wvr.yml.log 2021-10-19 14:11 224K
Automizer FA.parallel-min-max-1.wvr.yml.log 2021-10-19 14:11 16K
Automizer FA.parallel-misc-1.wvr.yml.log 2021-10-19 14:14 232K
Automizer FA.parallel-misc-2-unrolled-atomic.wvr.yml.log 2021-10-19 14:11 140K
Automizer FA.parallel-misc-2-unrolled.wvr.yml.log 2021-10-19 14:11 157K
Automizer FA.parallel-misc-2.wvr.yml.log 2021-10-19 14:11 200K
Automizer FA.parallel-misc-3-extended.wvr.yml.log 2021-10-19 14:13 63K
Automizer FA.parallel-misc-3.wvr.yml.log 2021-10-19 14:11 154K
Automizer FA.parallel-misc-4.wvr.yml.log 2021-10-19 14:13 166K
Automizer FA.parallel-misc-5.wvr.yml.log 2021-10-19 14:11 158K
Automizer FA.parallel-parallel-sum-1-dsl.wvr.yml.log 2021-10-19 14:11 184K
Automizer FA.parallel-parallel-sum-1.wvr.yml.log 2021-10-19 14:14 145K
Automizer FA.parallel-parallel-sum-2.wvr.yml.log 2021-10-19 14:12 198K
Automizer FA.parallel-parallel-sum-equiv.wvr.yml.log 2021-10-19 14:13 144K
Automizer FA.parallel-simple-equiv.wvr.yml.log 2021-10-19 14:12 141K
Automizer FA.parallel-ticket-2.wvr.yml.log 2021-10-19 14:12 143K
Automizer FA.parallel-ticket-3.wvr.yml.log 2021-10-19 14:12 172K
Automizer FA.parallel-ticket-4.wvr.yml.log 2021-10-19 14:13 135K
Automizer FA.parallel-ticket-5.wvr.yml.log 2021-10-19 14:12 74K
Automizer FA.parallel-ticket-6.wvr.yml.log 2021-10-19 14:12 84K
Automizer FA.parallel-ticket-7.wvr.yml.log 2021-10-19 14:12 94K
Automizer FA.parallel-ticket-8.wvr.yml.log 2021-10-19 14:12 103K
Automizer FA.peterson-b.yml.log 2021-10-19 14:21 129K
Automizer FA.peterson.yml.log 2021-10-19 14:21 114K
Automizer FA.popl20-bad-buffer-mult-alt.wvr.yml.log 2021-10-19 14:13 131K
Automizer FA.popl20-bad-buffer-mult-alt2.wvr.yml.log 2021-10-19 14:13 141K
Automizer FA.popl20-bad-commit-1.wvr-bad.yml.log 2021-10-19 14:14 227K
Automizer FA.popl20-bad-commit-2.wvr-bad.yml.log 2021-10-19 14:13 278K
Automizer FA.popl20-bad-counter-queue.wvr.yml.log 2021-10-19 14:13 108K
Automizer FA.popl20-bad-counter-queue2.wvr.yml.log 2021-10-19 14:13 113K
Automizer FA.popl20-bad-dot-product-alt.wvr.yml.log 2021-10-19 14:13 168K
Automizer FA.popl20-bad-dot-product.wvr.yml.log 2021-10-19 14:14 113K
Automizer FA.popl20-bad-ring-nondet.wvr.yml.log 2021-10-19 14:17 466K
Automizer FA.popl20-bad-ring.wvr.yml.log 2021-10-19 14:15 378K
Automizer FA.popl20-bad-threaded-sum-2.wvr.yml.log 2021-10-19 14:14 132K
Automizer FA.popl20-bad-three-array-sum-alt.wvr.yml.log 2021-10-19 14:13 121K
Automizer FA.popl20-channel-sum.wvr.yml.log 2021-10-19 14:14 184K
Automizer FA.popl20-commit-1.wvr.yml.log 2021-10-19 14:14 413K
Automizer FA.popl20-commit-2.wvr.yml.log 2021-10-19 14:14 264K
Automizer FA.popl20-counter-determinism.wvr.yml.log 2021-10-19 14:15 74K
Automizer FA.popl20-counter-fun.wvr.yml.log 2021-10-19 14:14 234K
Automizer FA.popl20-difference-det.wvr.yml.log 2021-10-19 14:15 68K
Automizer FA.popl20-figure1-alt.wvr.yml.log 2021-10-19 14:14 99K
Automizer FA.popl20-figure1.wvr.yml.log 2021-10-19 14:14 84K
Automizer FA.popl20-figure3.wvr.yml.log 2021-10-19 14:14 98K
Automizer FA.popl20-horseshoe.wvr.yml.log 2021-10-19 14:16 308K
Automizer FA.popl20-min-max-dec.wvr.yml.log 2021-10-19 14:15 92K
Automizer FA.popl20-min-max-inc-dec.wvr.yml.log 2021-10-19 14:14 16K
Automizer FA.popl20-min-max-inc.wvr.yml.log 2021-10-19 14:16 92K
Automizer FA.popl20-more-array-sum-alt.wvr.yml.log 2021-10-19 14:15 152K
Automizer FA.popl20-more-array-sum-alt2.wvr.yml.log 2021-10-19 14:15 159K
Automizer FA.popl20-more-array-sum.wvr.yml.log 2021-10-19 14:15 169K
Automizer FA.popl20-more-array-sum2.wvr.yml.log 2021-10-19 14:15 178K
Automizer FA.popl20-more-buffer-mult.wvr.yml.log 2021-10-19 14:15 131K
Automizer FA.popl20-more-buffer-mult2.wvr.yml.log 2021-10-19 14:15 140K
Automizer FA.popl20-more-buffer-series.wvr.yml.log 2021-10-19 14:15 152K
Automizer FA.popl20-more-buffer-series2.wvr.yml.log 2021-10-19 14:15 163K
Automizer FA.popl20-more-dec-subseq.wvr.yml.log 2021-10-19 14:16 297K
Automizer FA.popl20-more-inc-subseq.wvr.yml.log 2021-10-19 14:16 297K
Automizer FA.popl20-more-max-array-hom.wvr.yml.log 2021-10-19 14:16 155K
Automizer FA.popl20-more-max-array.wvr.yml.log 2021-10-19 14:16 147K
Automizer FA.popl20-more-min-array-hom.wvr.yml.log 2021-10-19 14:16 155K
Automizer FA.popl20-more-min-array.wvr.yml.log 2021-10-19 14:16 147K
Automizer FA.popl20-more-min-le-max.wvr.yml.log 2021-10-19 14:16 145K
Automizer FA.popl20-more-mts.wvr.yml.log 2021-10-19 14:17 137K
Automizer FA.popl20-more-multiply-verify.wvr.yml.log 2021-10-19 14:17 240K
Automizer FA.popl20-more-nonblocking-counter-alt2.wvr.yml.log 2021-10-19 14:16 107K
Automizer FA.popl20-more-parray-copy.wvr.yml.log 2021-10-19 14:18 78K
Automizer FA.popl20-more-queue-add-2-nl.wvr.yml.log 2021-10-19 14:16 263K
Automizer FA.popl20-more-queue-add-3-nl.wvr.yml.log 2021-10-19 14:17 124K
Automizer FA.popl20-more-sorted.wvr.yml.log 2021-10-19 14:17 79K
Automizer FA.popl20-more-sum-array-hom.wvr.yml.log 2021-10-19 14:18 72K
Automizer FA.popl20-more-vector-add.wvr.yml.log 2021-10-19 14:18 82K
Automizer FA.popl20-mult-4.wvr.yml.log 2021-10-19 14:17 65K
Automizer FA.popl20-mult-equiv.wvr.yml.log 2021-10-19 14:16 122K
Automizer FA.popl20-nonblocking-cntr-alt.wvr.yml.log 2021-10-19 14:17 96K
Automizer FA.popl20-nonblocking-cntr.wvr.yml.log 2021-10-19 14:17 82K
Automizer FA.popl20-prod-cons-eq.wvr.yml.log 2021-10-19 14:17 190K
Automizer FA.popl20-prod-cons.wvr.yml.log 2021-10-19 14:17 187K
Automizer FA.popl20-prod-cons3.wvr.yml.log 2021-10-19 14:18 123K
Automizer FA.popl20-proofs-counter-add-4-semi-Q67.wvr.yml.log 2021-10-19 14:18 85K
Automizer FA.popl20-queue-add-2.wvr.yml.log 2021-10-19 14:17 189K
Automizer FA.popl20-queue-add-3.wvr.yml.log 2021-10-19 14:18 308K
Automizer FA.popl20-send-receive-alt.wvr.yml.log 2021-10-19 14:17 163K
Automizer FA.popl20-send-receive.wvr.yml.log 2021-10-19 14:17 189K
Automizer FA.popl20-simple-array-sum.wvr.yml.log 2021-10-19 14:19 200K
Automizer FA.popl20-simple-queue.wvr.yml.log 2021-10-19 14:17 151K
Automizer FA.popl20-threaded-sum-3.wvr.yml.log 2021-10-19 14:17 165K
Automizer FA.popl20-three-array-max.wvr.yml.log 2021-10-19 14:21 240K
Automizer FA.popl20-three-array-min.wvr.yml.log 2021-10-19 14:24 286K
Automizer FA.popl20-three-array-sum.wvr.yml.log 2021-10-19 14:23 283K
Automizer FA.popl20-two-queue.wvr.yml.log 2021-10-19 14:18 276K
Automizer FA.qw2004-2.yml.log 2021-10-19 14:23 132K
Automizer FA.race-1_1-join.yml.log 2021-10-19 14:19 83K
Automizer FA.race-1_2-join.yml.log 2021-10-19 14:19 73K
Automizer FA.race-1_2b-join.yml.log 2021-10-19 14:19 77K
Automizer FA.race-1_3-join.yml.log 2021-10-19 14:19 73K
Automizer FA.race-1_3b-join.yml.log 2021-10-19 14:19 77K
Automizer FA.race-2_1-container_of.yml.log 2021-10-19 14:19 22K
Automizer FA.race-2_2-container_of.yml.log 2021-10-19 14:19 22K
Automizer FA.race-2_2b-container_of.yml.log 2021-10-19 14:19 22K
Automizer FA.race-2_3-container_of.yml.log 2021-10-19 14:19 22K
Automizer FA.race-2_3b-container_of.yml.log 2021-10-19 14:19 22K
Automizer FA.race-2_4-container_of.yml.log 2021-10-19 14:19 22K
Automizer FA.race-2_4b-container_of.yml.log 2021-10-19 14:19 22K
Automizer FA.race-2_5-container_of.yml.log 2021-10-19 14:19 22K
Automizer FA.race-2_5b-container_of.yml.log 2021-10-19 14:19 22K
Automizer FA.race-3_1-container_of-global.yml.log 2021-10-19 14:19 22K
Automizer FA.race-3_2-container_of-global.yml.log 2021-10-19 14:19 22K
Automizer FA.race-3_2b-container_of-global.yml.log 2021-10-19 14:19 22K
Automizer FA.read_write_lock-1.yml.log 2021-10-19 14:22 81K
Automizer FA.read_write_lock-1b.yml.log 2021-10-19 14:21 74K
Automizer FA.read_write_lock-2.yml.log 2021-10-19 14:22 124K
Automizer FA.read_write_lock-2b.yml.log 2021-10-19 14:21 77K
Automizer FA.security.wvr.yml.log 2021-10-19 14:18 179K
Automizer FA.singleton-b.yml.log 2021-10-19 14:20 114K
Automizer FA.singleton.yml.log 2021-10-19 14:24 279K
Automizer FA.singleton_with-uninit-problems-b.yml.log 2021-10-19 14:20 114K
Automizer FA.singleton_with-uninit-problems.yml.log 2021-10-19 14:23 201K
Automizer FA.spaghetti.wvr.yml.log 2021-10-19 14:19 124K
Automizer FA.stateful01-1.yml.log 2021-10-19 14:20 130K
Automizer FA.stateful01-2.yml.log 2021-10-19 14:20 130K
Automizer FA.szymanski-b.yml.log 2021-10-19 14:21 122K
Automizer FA.szymanski.yml.log 2021-10-19 14:21 144K
Automizer FA.test-context1.wvr.yml.log 2021-10-19 14:18 139K
Automizer FA.test-easy1.wvr.yml.log 2021-10-19 14:18 98K
Automizer FA.test-easy10.wvr.yml.log 2021-10-19 14:19 62K
Automizer FA.test-easy11.wvr.yml.log 2021-10-19 14:18 81K
Automizer FA.test-easy6.wvr.yml.log 2021-10-19 14:18 93K
Automizer FA.test-easy7.wvr.yml.log 2021-10-19 14:18 162K
Automizer FA.test-easy8.wvr.yml.log 2021-10-19 14:18 75K
Automizer FA.test-hard1.wvr.yml.log 2021-10-19 14:19 163K
Automizer FA.test-semi1.wvr.yml.log 2021-10-19 14:18 85K
Automizer FA.time_var_mutex.yml.log 2021-10-19 14:21 133K
Automizer FA.triangular-1.yml.log 2021-10-19 14:20 55K
Automizer FA.triangular-2.yml.log 2021-10-19 14:20 55K
Automizer FA.triangular-longer-1.yml.log 2021-10-19 14:20 55K
Automizer FA.triangular-longer-2.yml.log 2021-10-19 14:20 55K
Automizer FA.triangular-longest-1.yml.log 2021-10-19 14:20 55K
Automizer FA.triangular-longest-2.yml.log 2021-10-19 14:20 55K
Automizer FA.unroll-2.wvr.yml.log 2021-10-19 14:19 200K
Automizer FA.unroll-3.wvr.yml.log 2021-10-19 14:19 220K
Automizer FA.unroll-4.wvr.yml.log 2021-10-19 14:19 240K
Automizer FA.unroll-5.wvr.yml.log 2021-10-19 14:20 260K
Automizer FA.unroll-cond-2.wvr.yml.log 2021-10-19 14:19 227K
Automizer FA.unroll-cond-3.wvr.yml.log 2021-10-19 14:21 268K
Automizer FA.unroll-cond-4.wvr.yml.log 2021-10-19 14:21 308K
Automizer FA.unroll-cond-5.wvr.yml.log 2021-10-19 14:22 349K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.00-sanity_09-include.yml.log 2021-10-19 15:21 57K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.01_inc.yml.log 2021-10-19 15:20 227K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.02-base_24-malloc_races.yml.log 2021-10-19 15:21 76K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.02-base_25-malloc_race_cp.yml.log 2021-10-19 15:21 76K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.02-base_26-malloc_struct.yml.log 2021-10-19 15:21 71K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.02_inc_cas.yml.log 2021-10-19 15:20 27K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.03-practical_07-nonterm.yml.log 2021-10-19 15:21 57K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.03-practical_08-nonterm1.yml.log 2021-10-19 15:22 70K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.03-practical_15-exit_problems.yml.log 2021-10-19 15:22 57K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_01-simple_rc.yml.log 2021-10-19 15:22 56K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_02-simple_nr.yml.log 2021-10-19 15:22 87K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_03-munge_rc.yml.log 2021-10-19 15:22 62K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_04-munge_nr.yml.log 2021-10-19 15:22 93K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_05-lockfuns.yml.log 2021-10-19 15:22 89K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_06-ps_rc.yml.log 2021-10-19 15:22 58K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_07-ps_nr.yml.log 2021-10-19 15:22 92K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_09-ptrmunge_rc.yml.log 2021-10-19 15:22 79K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_10-ptrmunge_nr.yml.log 2021-10-19 15:22 189K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_11-ptr_rc.yml.log 2021-10-19 15:22 70K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_12-ptr_nr.yml.log 2021-10-19 15:22 132K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_14-funarg_rc.yml.log 2021-10-19 15:22 56K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_15-funarg_nr.yml.log 2021-10-19 15:22 83K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_16-ps_add1_rc.yml.log 2021-10-19 15:22 61K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_17-ps_add1_nr.yml.log 2021-10-19 15:22 93K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_18-glob_guards.yml.log 2021-10-19 15:22 72K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_19-call_by_ptr_rc.yml.log 2021-10-19 15:22 57K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_20-stdfun_rc.yml.log 2021-10-19 15:22 16K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_21-sound_base.yml.log 2021-10-19 15:22 64K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_22-deref_read.yml.log 2021-10-19 15:22 93K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_23-sound_unlock.yml.log 2021-10-19 15:22 16K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_24-sound_lock.yml.log 2021-10-19 15:22 57K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_25-single_acc.yml.log 2021-10-19 15:22 66K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_27-base_rc.yml.log 2021-10-19 15:22 82K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_28-base_nr.yml.log 2021-10-19 15:22 104K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_35-trylock_rc.yml.log 2021-10-19 15:22 16K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_36-trylock_nr.yml.log 2021-10-19 15:22 16K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_37-indirect_rc.yml.log 2021-10-19 15:22 65K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_38-indexing_malloc.yml.log 2021-10-19 15:22 187K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_41-pt_rwlock.yml.log 2021-10-19 15:22 16K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_42-trylock_2mutex.yml.log 2021-10-19 15:22 16K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_43-thread_create_nr.yml.log 2021-10-19 15:22 88K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_44-malloc_sound.yml.log 2021-10-19 15:22 174K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_45-escape_rc.yml.log 2021-10-19 15:22 72K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_46-escape_nr.yml.log 2021-10-19 15:22 134K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_47-fun_write.yml.log 2021-10-19 15:22 54K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_50-funptr_rc.yml.log 2021-10-19 15:22 52K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_51-mutex_ptr.yml.log 2021-10-19 15:22 153K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_54-pt_rwlock_ww.yml.log 2021-10-19 15:22 16K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.04-mutex_55-pt_rwlock_rr.yml.log 2021-10-19 15:22 16K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_01-idx_rc.yml.log 2021-10-19 15:22 142K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_02-idx_nr.yml.log 2021-10-19 15:22 114K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_03-fld_rc.yml.log 2021-10-19 15:22 57K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_04-fld_nr.yml.log 2021-10-19 15:22 84K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_05-glob_idx_rc.yml.log 2021-10-19 15:22 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_07-glob_fld_rc.yml.log 2021-10-19 15:22 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_08-glob_fld_2_rc.yml.log 2021-10-19 15:22 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_09-idxsense_rc.yml.log 2021-10-19 15:22 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_11-fldsense_rc.yml.log 2021-10-19 15:22 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_12-fldsense_nr.yml.log 2021-10-19 15:22 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_13-idxunknown_lock.yml.log 2021-10-19 15:22 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_14-idxunknown_access.yml.log 2021-10-19 15:23 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_15-fldunknown_access.yml.log 2021-10-19 15:23 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.05-lval_ls_16-idxunknown_unlock.yml.log 2021-10-19 15:23 16K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_02-funloop_norace.yml.log 2021-10-19 15:37 218K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_03-funloop_simple.yml.log 2021-10-19 15:23 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_04-funloop_hard1.yml.log 2021-10-19 15:23 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_05-funloop_hard2.yml.log 2021-10-19 15:23 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_06-tricky_address1.yml.log 2021-10-19 15:23 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_07-tricky_address2.yml.log 2021-10-19 15:23 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_08-tricky_address3.yml.log 2021-10-19 15:23 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_09-tricky_address4.yml.log 2021-10-19 15:23 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_10-equ_rc.yml.log 2021-10-19 15:23 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_11-equ_nr.yml.log 2021-10-19 15:23 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_13-equ_proc_nr.yml.log 2021-10-19 15:23 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_14-list_entry_rc.yml.log 2021-10-19 15:23 16K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_15-list_entry_nr.yml.log 2021-10-19 15:23 127K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.06-symbeq_23-idxsense_nr.yml.log 2021-10-19 15:23 20K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_01-list_rc.yml.log 2021-10-19 15:23 189K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_02-list_nr.yml.log 2021-10-19 15:23 295K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_03-list2_rc.yml.log 2021-10-19 15:23 134K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_04-list2_nr.yml.log 2021-10-19 15:24 537K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_05-ptra_rc.yml.log 2021-10-19 15:23 128K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_06-ptra_nr.yml.log 2021-10-19 15:23 333K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_09-arraylist.yml.log 2021-10-19 15:23 21K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_10-arraylist_rc.yml.log 2021-10-19 15:23 21K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_11-arraylist_nr.yml.log 2021-10-19 15:23 21K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_12-arraycollapse_rc.yml.log 2021-10-19 15:23 21K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_13-arraycollapse_nr.yml.log 2021-10-19 15:23 21K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_16-arrayloop_rc.yml.log 2021-10-19 15:23 21K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_17-arrayloop_nr.yml.log 2021-10-19 15:23 21K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_18-nested_rc.yml.log 2021-10-19 15:23 21K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_19-nested_nr.yml.log 2021-10-19 15:23 21K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_20-arrayloop2_rc.yml.log 2021-10-19 15:23 21K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_21-arrayloop2_nr.yml.log 2021-10-19 15:23 21K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_22-nocollapse.yml.log 2021-10-19 15:23 21K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_23-evilcollapse_rc.yml.log 2021-10-19 15:23 21K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_24-evilcollapse_nr.yml.log 2021-10-19 15:23 21K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_26-alloc_region_rc.yml.log 2021-10-19 15:29 272K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.09-regions_28-list2alloc.yml.log 2021-10-19 15:23 126K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.10-synch_01-thread_unique.yml.log 2021-10-19 15:23 64K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.10-synch_02-thread_nonunique.yml.log 2021-10-19 15:23 21K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.10-synch_03-two_unique.yml.log 2021-10-19 15:23 85K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.13-privatized_03-priv_inv.yml.log 2021-10-19 15:23 98K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.14_spin2003.yml.log 2021-10-19 15:23 529K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.18_read_write_lock.yml.log 2021-10-19 15:20 87K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.39_rand_lock_p0_vs-b.yml.log 2021-10-19 15:21 337K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.39_rand_lock_p0_vs.yml.log 2021-10-19 15:21 408K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.40_barrier_vf-b.yml.log 2021-10-19 15:21 391K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.40_barrier_vf.yml.log 2021-10-19 15:22 550K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.45_monabsex1_vs-b.yml.log 2021-10-19 15:21 175K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.45_monabsex1_vs.yml.log 2021-10-19 15:22 200K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.46_monabsex2_vs-b.yml.log 2021-10-19 15:21 226K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.46_monabsex2_vs.yml.log 2021-10-19 15:22 941K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.48_ticket_lock_low_contention_vs-b.yml.log 2021-10-19 15:21 120K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.48_ticket_lock_low_contention_vs.yml.log 2021-10-19 15:35 872K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.array-eq-symm.wvr.yml.log 2021-10-19 15:01 339K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.array-eq-trans.wvr.yml.log 2021-10-19 15:01 135K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.bench-exp1x3.wvr.yml.log 2021-10-19 15:01 152K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.bench-exp2x3.wvr.yml.log 2021-10-19 15:02 288K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.bench-exp2x4.wvr.yml.log 2021-10-19 15:03 112K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.bench-exp2x6.wvr.yml.log 2021-10-19 15:01 98K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.bench-exp2x9.wvr.yml.log 2021-10-19 15:01 141K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.bench-exp3x3-opt.wvr.yml.log 2021-10-19 15:01 75K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.bench-exp3x3.wvr.yml.log 2021-10-19 15:01 75K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-array-int-subst.wvr.yml.log 2021-10-19 15:02 225K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-array-int-symm.wvr.yml.log 2021-10-19 15:02 390K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-array-int-trans.wvr.yml.log 2021-10-19 15:01 225K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-chromosome-opt-symm.wvr.yml.log 2021-10-19 15:02 514K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-chromosome-subst.wvr.yml.log 2021-10-19 15:01 291K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-chromosome-symm.wvr.yml.log 2021-10-19 15:02 659K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-chromosome-trans.wvr.yml.log 2021-10-19 15:02 255K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-collitem-subst.wvr.yml.log 2021-10-19 15:02 2.7M
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-collitem-symm.wvr.yml.log 2021-10-19 15:02 670K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-collitem-trans.wvr.yml.log 2021-10-19 15:03 2.7M
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-exp-term-subst.wvr.yml.log 2021-10-19 15:04 315K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-exp-term-symm.wvr.yml.log 2021-10-19 15:02 253K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-file-item-subst.wvr.yml.log 2021-10-19 15:03 386K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-file-item-symm.wvr.yml.log 2021-10-19 15:03 292K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-file-item-trans.wvr.yml.log 2021-10-19 15:03 386K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-match-subst.wvr.yml.log 2021-10-19 15:04 449K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-match-symm.wvr.yml.log 2021-10-19 15:04 327K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-match-trans.wvr.yml.log 2021-10-19 15:06 460K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-name-comparator-subst.wvr.yml.log 2021-10-19 15:05 541K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-name-comparator-symm.wvr.yml.log 2021-10-19 15:07 912K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-name-comparator-trans.wvr.yml.log 2021-10-19 15:05 541K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-node-subst.wvr.yml.log 2021-10-19 15:05 318K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-node-symm.wvr.yml.log 2021-10-19 15:06 675K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-node-trans.wvr.yml.log 2021-10-19 15:05 318K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-nzb-file-subst.wvr.yml.log 2021-10-19 15:06 569K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-nzb-file-symm.wvr.yml.log 2021-10-19 15:05 449K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-nzb-file-trans.wvr.yml.log 2021-10-19 15:06 580K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-poker-hand-subst.wvr.yml.log 2021-10-19 15:19 63M
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-poker-hand-symm.wvr.yml.log 2021-10-19 15:17 60M
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-poker-hand-trans.wvr.yml.log 2021-10-19 15:18 65M
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-simpl-str-subst.wvr.yml.log 2021-10-19 15:07 362K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-simpl-str-symm.wvr.yml.log 2021-10-19 15:06 230K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-simpl-str-trans.wvr.yml.log 2021-10-19 15:07 361K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-sre-subst.wvr.yml.log 2021-10-19 15:07 240K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-sre-symm.wvr.yml.log 2021-10-19 15:07 155K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-sre-trans.wvr.yml.log 2021-10-19 15:07 247K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-time-subst.wvr.yml.log 2021-10-19 15:07 321K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-time-symm.wvr.yml.log 2021-10-19 15:07 206K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-time-trans.wvr.yml.log 2021-10-19 15:07 320K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-word-subst.wvr.yml.log 2021-10-19 15:10 238K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-word-symm.wvr.yml.log 2021-10-19 15:08 508K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.chl-word-trans.wvr.yml.log 2021-10-19 15:08 238K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.clever.wvr.yml.log 2021-10-19 15:07 267K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.dekker-b.yml.log 2021-10-19 15:20 114K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.dekker.yml.log 2021-10-19 15:20 203K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.fib_bench-1.yml.log 2021-10-19 15:20 93K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.fib_bench-2.yml.log 2021-10-19 15:20 93K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.fib_bench_longer-1.yml.log 2021-10-19 15:20 93K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.fib_bench_longer-2.yml.log 2021-10-19 15:20 93K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.fib_bench_longest-1.yml.log 2021-10-19 15:20 93K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.fib_bench_longest-2.yml.log 2021-10-19 15:20 93K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.fibonacci.wvr.yml.log 2021-10-19 15:08 329K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.lamport-b.yml.log 2021-10-19 15:20 164K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.lamport.yml.log 2021-10-19 15:20 301K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.lazy01.yml.log 2021-10-19 15:20 168K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.loop-tiling-eq.wvr.yml.log 2021-10-19 15:21 553K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.mult-comm.wvr.yml.log 2021-10-19 15:08 146K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.mult-dist.wvr.yml.log 2021-10-19 15:08 218K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.mult-flipped-dist.wvr.yml.log 2021-10-19 15:08 207K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-bakery-2.wvr.yml.log 2021-10-19 15:08 374K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-bakery-3.wvr.yml.log 2021-10-19 15:09 2.3M
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-bakery-4.wvr.yml.log 2021-10-19 15:10 1.1M
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-barrier-loop.wvr.yml.log 2021-10-19 15:08 156K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-barrier.wvr.yml.log 2021-10-19 15:08 229K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-bluetooth.wvr.yml.log 2021-10-19 15:08 220K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-lamport.wvr.yml.log 2021-10-19 15:09 429K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-min-max-1.wvr.yml.log 2021-10-19 15:08 16K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-misc-1.wvr.yml.log 2021-10-19 15:11 477K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-misc-2-unrolled-atomic.wvr.yml.log 2021-10-19 15:09 182K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-misc-2-unrolled.wvr.yml.log 2021-10-19 15:09 192K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-misc-2.wvr.yml.log 2021-10-19 15:09 137K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-misc-3-extended.wvr.yml.log 2021-10-19 15:09 160K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-misc-3.wvr.yml.log 2021-10-19 15:09 126K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-misc-4.wvr.yml.log 2021-10-19 15:09 149K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-misc-5.wvr.yml.log 2021-10-19 15:09 196K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-parallel-sum-1-dsl.wvr.yml.log 2021-10-19 15:09 216K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-parallel-sum-1.wvr.yml.log 2021-10-19 15:09 349K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-parallel-sum-2.wvr.yml.log 2021-10-19 15:09 247K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-parallel-sum-equiv.wvr.yml.log 2021-10-19 15:10 328K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-simple-equiv.wvr.yml.log 2021-10-19 15:09 208K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-ticket-2.wvr.yml.log 2021-10-19 15:10 173K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-ticket-3.wvr.yml.log 2021-10-19 15:10 265K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-ticket-4.wvr.yml.log 2021-10-19 15:10 400K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-ticket-5.wvr.yml.log 2021-10-19 15:13 239K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-ticket-6.wvr.yml.log 2021-10-19 15:10 155K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-ticket-7.wvr.yml.log 2021-10-19 15:11 181K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.parallel-ticket-8.wvr.yml.log 2021-10-19 15:11 221K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.peterson-b.yml.log 2021-10-19 15:20 124K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.peterson.yml.log 2021-10-19 15:20 162K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-bad-buffer-mult-alt.wvr.yml.log 2021-10-19 15:12 1.6M
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-bad-buffer-mult-alt2.wvr.yml.log 2021-10-19 15:12 1.9M
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-bad-commit-1.wvr-bad.yml.log 2021-10-19 15:12 2.2M
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-bad-commit-2.wvr-bad.yml.log 2021-10-19 15:15 1.9M
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-bad-counter-queue.wvr.yml.log 2021-10-19 15:12 141K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-bad-counter-queue2.wvr.yml.log 2021-10-19 15:12 146K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-bad-dot-product-alt.wvr.yml.log 2021-10-19 15:13 224K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-bad-dot-product.wvr.yml.log 2021-10-19 15:16 237K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-bad-ring-nondet.wvr.yml.log 2021-10-19 15:13 1.2M
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-bad-ring.wvr.yml.log 2021-10-19 15:13 1.8M
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-bad-threaded-sum-2.wvr.yml.log 2021-10-19 15:13 196K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-bad-three-array-sum-alt.wvr.yml.log 2021-10-19 15:13 201K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-channel-sum.wvr.yml.log 2021-10-19 15:13 229K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-commit-1.wvr.yml.log 2021-10-19 15:14 3.5M
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-commit-2.wvr.yml.log 2021-10-19 15:15 3.4M
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-counter-determinism.wvr.yml.log 2021-10-19 15:14 180K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-counter-fun.wvr.yml.log 2021-10-19 15:14 500K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-difference-det.wvr.yml.log 2021-10-19 15:14 200K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-figure1-alt.wvr.yml.log 2021-10-19 15:14 136K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-figure1.wvr.yml.log 2021-10-19 15:14 112K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-figure3.wvr.yml.log 2021-10-19 15:14 131K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-horseshoe.wvr.yml.log 2021-10-19 15:14 1.0M
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-min-max-dec.wvr.yml.log 2021-10-19 15:16 459K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-min-max-inc-dec.wvr.yml.log 2021-10-19 15:14 16K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-min-max-inc.wvr.yml.log 2021-10-19 15:16 456K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-array-sum-alt.wvr.yml.log 2021-10-19 15:14 210K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-array-sum-alt2.wvr.yml.log 2021-10-19 15:14 217K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-array-sum.wvr.yml.log 2021-10-19 15:14 233K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-array-sum2.wvr.yml.log 2021-10-19 15:15 242K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-buffer-mult.wvr.yml.log 2021-10-19 15:15 1.5M
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-buffer-mult2.wvr.yml.log 2021-10-19 15:15 1.7M
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-buffer-series.wvr.yml.log 2021-10-19 15:16 1.8M
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-buffer-series2.wvr.yml.log 2021-10-19 15:15 1.9M
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-dec-subseq.wvr.yml.log 2021-10-19 15:15 679K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-inc-subseq.wvr.yml.log 2021-10-19 15:15 679K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-max-array-hom.wvr.yml.log 2021-10-19 15:15 213K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-max-array.wvr.yml.log 2021-10-19 15:15 205K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-min-array-hom.wvr.yml.log 2021-10-19 15:16 213K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-min-array.wvr.yml.log 2021-10-19 15:16 205K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-min-le-max.wvr.yml.log 2021-10-19 15:16 191K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-mts.wvr.yml.log 2021-10-19 15:17 268K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-multiply-verify.wvr.yml.log 2021-10-19 15:16 676K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-nonblocking-counter-alt2.wvr.yml.log 2021-10-19 15:16 106K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-parray-copy.wvr.yml.log 2021-10-19 15:19 285K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-queue-add-2-nl.wvr.yml.log 2021-10-19 15:16 535K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-queue-add-3-nl.wvr.yml.log 2021-10-19 15:17 1.2M
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-sorted.wvr.yml.log 2021-10-19 15:18 237K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-sum-array-hom.wvr.yml.log 2021-10-19 15:17 281K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-more-vector-add.wvr.yml.log 2021-10-19 15:23 326K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-mult-4.wvr.yml.log 2021-10-19 15:17 201K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-mult-equiv.wvr.yml.log 2021-10-19 15:16 163K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-nonblocking-cntr-alt.wvr.yml.log 2021-10-19 15:16 139K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-nonblocking-cntr.wvr.yml.log 2021-10-19 15:16 118K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-prod-cons-eq.wvr.yml.log 2021-10-19 15:20 1.6M
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-prod-cons.wvr.yml.log 2021-10-19 15:17 399K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-prod-cons3.wvr.yml.log 2021-10-19 15:17 944K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-proofs-counter-add-4-semi-Q67.wvr.yml.log 2021-10-19 15:17 337K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-queue-add-2.wvr.yml.log 2021-10-19 15:17 429K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-queue-add-3.wvr.yml.log 2021-10-19 15:17 1.0M
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-send-receive-alt.wvr.yml.log 2021-10-19 15:17 313K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-send-receive.wvr.yml.log 2021-10-19 15:17 523K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-simple-array-sum.wvr.yml.log 2021-10-19 15:26 152K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-simple-queue.wvr.yml.log 2021-10-19 15:17 293K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-threaded-sum-3.wvr.yml.log 2021-10-19 15:17 560K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-three-array-max.wvr.yml.log 2021-10-19 15:20 211K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-three-array-min.wvr.yml.log 2021-10-19 15:21 211K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-three-array-sum.wvr.yml.log 2021-10-19 15:21 399K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.popl20-two-queue.wvr.yml.log 2021-10-19 15:18 614K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.qw2004-2.yml.log 2021-10-19 15:21 108K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-1_1-join.yml.log 2021-10-19 15:19 96K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-1_2-join.yml.log 2021-10-19 15:19 85K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-1_2b-join.yml.log 2021-10-19 15:19 56K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-1_3-join.yml.log 2021-10-19 15:19 85K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-1_3b-join.yml.log 2021-10-19 15:19 57K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-2_1-container_of.yml.log 2021-10-19 15:19 22K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-2_2-container_of.yml.log 2021-10-19 15:19 22K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-2_2b-container_of.yml.log 2021-10-19 15:19 22K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-2_3-container_of.yml.log 2021-10-19 15:19 22K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-2_3b-container_of.yml.log 2021-10-19 15:19 22K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-2_4-container_of.yml.log 2021-10-19 15:19 23K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-2_4b-container_of.yml.log 2021-10-19 15:19 22K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-2_5-container_of.yml.log 2021-10-19 15:19 22K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-2_5b-container_of.yml.log 2021-10-19 15:20 22K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-3_1-container_of-global.yml.log 2021-10-19 15:20 22K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-3_2-container_of-global.yml.log 2021-10-19 15:20 22K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.race-3_2b-container_of-global.yml.log 2021-10-19 15:20 22K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.read_write_lock-1.yml.log 2021-10-19 15:21 455K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.read_write_lock-1b.yml.log 2021-10-19 15:20 160K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.read_write_lock-2.yml.log 2021-10-19 15:21 356K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.read_write_lock-2b.yml.log 2021-10-19 15:20 208K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.security.wvr.yml.log 2021-10-19 15:18 229K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.singleton-b.yml.log 2021-10-19 15:20 176K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.singleton.yml.log 2021-10-19 15:20 273K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.singleton_with-uninit-problems-b.yml.log 2021-10-19 15:20 176K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.singleton_with-uninit-problems.yml.log 2021-10-19 15:20 274K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.spaghetti.wvr.yml.log 2021-10-19 15:18 178K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.stateful01-1.yml.log 2021-10-19 15:20 180K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.stateful01-2.yml.log 2021-10-19 15:20 180K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.szymanski-b.yml.log 2021-10-19 15:20 134K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.szymanski.yml.log 2021-10-19 15:20 253K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.test-context1.wvr.yml.log 2021-10-19 15:18 244K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.test-easy1.wvr.yml.log 2021-10-19 15:18 142K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.test-easy10.wvr.yml.log 2021-10-19 15:18 276K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.test-easy11.wvr.yml.log 2021-10-19 15:18 117K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.test-easy6.wvr.yml.log 2021-10-19 15:18 172K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.test-easy7.wvr.yml.log 2021-10-19 15:19 232K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.test-easy8.wvr.yml.log 2021-10-19 15:19 103K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.test-hard1.wvr.yml.log 2021-10-19 15:19 216K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.test-semi1.wvr.yml.log 2021-10-19 15:19 111K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.time_var_mutex.yml.log 2021-10-19 15:20 213K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.triangular-1.yml.log 2021-10-19 15:20 92K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.triangular-2.yml.log 2021-10-19 15:20 92K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.triangular-longer-1.yml.log 2021-10-19 15:20 92K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.triangular-longer-2.yml.log 2021-10-19 15:20 92K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.triangular-longest-1.yml.log 2021-10-19 15:20 92K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.triangular-longest-2.yml.log 2021-10-19 15:20 92K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.unroll-2.wvr.yml.log 2021-10-19 15:19 229K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.unroll-3.wvr.yml.log 2021-10-19 15:19 247K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.unroll-4.wvr.yml.log 2021-10-19 15:19 265K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.unroll-5.wvr.yml.log 2021-10-19 15:19 284K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.unroll-cond-2.wvr.yml.log 2021-10-19 15:19 268K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.unroll-cond-3.wvr.yml.log 2021-10-19 15:19 313K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.unroll-cond-4.wvr.yml.log 2021-10-19 15:20 360K
Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder.unroll-cond-5.wvr.yml.log 2021-10-19 15:20 407K
Automizer PN.00-sanity_09-include.yml.log 2021-10-19 14:47 68K
Automizer PN.01_inc.yml.log 2021-10-19 14:46 446K
Automizer PN.02-base_24-malloc_races.yml.log 2021-10-19 14:47 144K
Automizer PN.02-base_25-malloc_race_cp.yml.log 2021-10-19 14:47 144K
Automizer PN.02-base_26-malloc_struct.yml.log 2021-10-19 14:47 126K
Automizer PN.02_inc_cas.yml.log 2021-10-19 14:46 26K
Automizer PN.03-practical_07-nonterm.yml.log 2021-10-19 14:47 69K
Automizer PN.03-practical_08-nonterm1.yml.log 2021-10-19 14:47 103K
Automizer PN.03-practical_15-exit_problems.yml.log 2021-10-19 14:47 68K
Automizer PN.04-mutex_01-simple_rc.yml.log 2021-10-19 14:47 67K
Automizer PN.04-mutex_02-simple_nr.yml.log 2021-10-19 14:47 81K
Automizer PN.04-mutex_03-munge_rc.yml.log 2021-10-19 14:47 73K
Automizer PN.04-mutex_04-munge_nr.yml.log 2021-10-19 14:47 164K
Automizer PN.04-mutex_05-lockfuns.yml.log 2021-10-19 14:47 83K
Automizer PN.04-mutex_06-ps_rc.yml.log 2021-10-19 14:47 77K
Automizer PN.04-mutex_07-ps_nr.yml.log 2021-10-19 14:47 82K
Automizer PN.04-mutex_09-ptrmunge_rc.yml.log 2021-10-19 14:47 99K
Automizer PN.04-mutex_10-ptrmunge_nr.yml.log 2021-10-19 14:59 524K
Automizer PN.04-mutex_11-ptr_rc.yml.log 2021-10-19 14:47 91K
Automizer PN.04-mutex_12-ptr_nr.yml.log 2021-10-19 14:47 155K
Automizer PN.04-mutex_14-funarg_rc.yml.log 2021-10-19 14:47 59K
Automizer PN.04-mutex_15-funarg_nr.yml.log 2021-10-19 14:47 73K
Automizer PN.04-mutex_16-ps_add1_rc.yml.log 2021-10-19 14:47 68K
Automizer PN.04-mutex_17-ps_add1_nr.yml.log 2021-10-19 14:47 82K
Automizer PN.04-mutex_18-glob_guards.yml.log 2021-10-19 14:47 61K
Automizer PN.04-mutex_19-call_by_ptr_rc.yml.log 2021-10-19 14:47 87K
Automizer PN.04-mutex_20-stdfun_rc.yml.log 2021-10-19 14:47 15K
Automizer PN.04-mutex_21-sound_base.yml.log 2021-10-19 14:47 63K
Automizer PN.04-mutex_22-deref_read.yml.log 2021-10-19 14:47 91K
Automizer PN.04-mutex_23-sound_unlock.yml.log 2021-10-19 14:47 16K
Automizer PN.04-mutex_24-sound_lock.yml.log 2021-10-19 14:47 76K
Automizer PN.04-mutex_25-single_acc.yml.log 2021-10-19 14:47 72K
Automizer PN.04-mutex_27-base_rc.yml.log 2021-10-19 14:47 107K
Automizer PN.04-mutex_28-base_nr.yml.log 2021-10-19 14:47 105K
Automizer PN.04-mutex_35-trylock_rc.yml.log 2021-10-19 14:47 15K
Automizer PN.04-mutex_36-trylock_nr.yml.log 2021-10-19 14:47 15K
Automizer PN.04-mutex_37-indirect_rc.yml.log 2021-10-19 14:47 117K
Automizer PN.04-mutex_38-indexing_malloc.yml.log 2021-10-19 14:47 207K
Automizer PN.04-mutex_41-pt_rwlock.yml.log 2021-10-19 14:47 15K
Automizer PN.04-mutex_42-trylock_2mutex.yml.log 2021-10-19 14:47 15K
Automizer PN.04-mutex_43-thread_create_nr.yml.log 2021-10-19 14:47 90K
Automizer PN.04-mutex_44-malloc_sound.yml.log 2021-10-19 14:47 219K
Automizer PN.04-mutex_45-escape_rc.yml.log 2021-10-19 14:47 93K
Automizer PN.04-mutex_46-escape_nr.yml.log 2021-10-19 14:48 235K
Automizer PN.04-mutex_47-fun_write.yml.log 2021-10-19 14:47 70K
Automizer PN.04-mutex_50-funptr_rc.yml.log 2021-10-19 14:47 58K
Automizer PN.04-mutex_51-mutex_ptr.yml.log 2021-10-19 14:47 176K
Automizer PN.04-mutex_54-pt_rwlock_ww.yml.log 2021-10-19 14:47 16K
Automizer PN.04-mutex_55-pt_rwlock_rr.yml.log 2021-10-19 14:47 16K
Automizer PN.05-lval_ls_01-idx_rc.yml.log 2021-10-19 14:48 178K
Automizer PN.05-lval_ls_02-idx_nr.yml.log 2021-10-19 14:48 90K
Automizer PN.05-lval_ls_03-fld_rc.yml.log 2021-10-19 14:47 68K
Automizer PN.05-lval_ls_04-fld_nr.yml.log 2021-10-19 14:47 73K
Automizer PN.05-lval_ls_05-glob_idx_rc.yml.log 2021-10-19 14:48 19K
Automizer PN.05-lval_ls_07-glob_fld_rc.yml.log 2021-10-19 14:48 19K
Automizer PN.05-lval_ls_08-glob_fld_2_rc.yml.log 2021-10-19 14:48 19K
Automizer PN.05-lval_ls_09-idxsense_rc.yml.log 2021-10-19 14:48 19K
Automizer PN.05-lval_ls_11-fldsense_rc.yml.log 2021-10-19 14:48 19K
Automizer PN.05-lval_ls_12-fldsense_nr.yml.log 2021-10-19 14:48 19K
Automizer PN.05-lval_ls_13-idxunknown_lock.yml.log 2021-10-19 14:48 19K
Automizer PN.05-lval_ls_14-idxunknown_access.yml.log 2021-10-19 14:48 19K
Automizer PN.05-lval_ls_15-fldunknown_access.yml.log 2021-10-19 14:48 19K
Automizer PN.05-lval_ls_16-idxunknown_unlock.yml.log 2021-10-19 14:48 15K
Automizer PN.06-symbeq_02-funloop_norace.yml.log 2021-10-19 14:50 334K
Automizer PN.06-symbeq_03-funloop_simple.yml.log 2021-10-19 14:48 19K
Automizer PN.06-symbeq_04-funloop_hard1.yml.log 2021-10-19 14:48 19K
Automizer PN.06-symbeq_05-funloop_hard2.yml.log 2021-10-19 14:48 19K
Automizer PN.06-symbeq_06-tricky_address1.yml.log 2021-10-19 14:48 20K
Automizer PN.06-symbeq_07-tricky_address2.yml.log 2021-10-19 14:48 20K
Automizer PN.06-symbeq_08-tricky_address3.yml.log 2021-10-19 14:48 19K
Automizer PN.06-symbeq_09-tricky_address4.yml.log 2021-10-19 14:48 19K
Automizer PN.06-symbeq_10-equ_rc.yml.log 2021-10-19 14:48 19K
Automizer PN.06-symbeq_11-equ_nr.yml.log 2021-10-19 14:48 19K
Automizer PN.06-symbeq_13-equ_proc_nr.yml.log 2021-10-19 14:48 19K
Automizer PN.06-symbeq_14-list_entry_rc.yml.log 2021-10-19 14:48 15K
Automizer PN.06-symbeq_15-list_entry_nr.yml.log 2021-10-19 14:49 558K
Automizer PN.06-symbeq_23-idxsense_nr.yml.log 2021-10-19 14:48 19K
Automizer PN.09-regions_01-list_rc.yml.log 2021-10-19 15:01 350K
Automizer PN.09-regions_02-list_nr.yml.log 2021-10-19 14:58 332K
Automizer PN.09-regions_03-list2_rc.yml.log 2021-10-19 14:50 386K
Automizer PN.09-regions_04-list2_nr.yml.log 2021-10-19 14:59 517K
Automizer PN.09-regions_05-ptra_rc.yml.log 2021-10-19 14:55 330K
Automizer PN.09-regions_06-ptra_nr.yml.log 2021-10-19 14:53 411K
Automizer PN.09-regions_09-arraylist.yml.log 2021-10-19 14:48 20K
Automizer PN.09-regions_10-arraylist_rc.yml.log 2021-10-19 14:48 20K
Automizer PN.09-regions_11-arraylist_nr.yml.log 2021-10-19 14:48 20K
Automizer PN.09-regions_12-arraycollapse_rc.yml.log 2021-10-19 14:48 20K
Automizer PN.09-regions_13-arraycollapse_nr.yml.log 2021-10-19 14:48 20K
Automizer PN.09-regions_16-arrayloop_rc.yml.log 2021-10-19 14:48 21K
Automizer PN.09-regions_17-arrayloop_nr.yml.log 2021-10-19 14:48 21K
Automizer PN.09-regions_18-nested_rc.yml.log 2021-10-19 14:49 20K
Automizer PN.09-regions_19-nested_nr.yml.log 2021-10-19 14:49 20K
Automizer PN.09-regions_20-arrayloop2_rc.yml.log 2021-10-19 14:49 20K
Automizer PN.09-regions_21-arrayloop2_nr.yml.log 2021-10-19 14:49 21K
Automizer PN.09-regions_22-nocollapse.yml.log 2021-10-19 14:49 20K
Automizer PN.09-regions_23-evilcollapse_rc.yml.log 2021-10-19 14:49 20K
Automizer PN.09-regions_24-evilcollapse_nr.yml.log 2021-10-19 14:49 20K
Automizer PN.09-regions_26-alloc_region_rc.yml.log 2021-10-19 14:50 190K
Automizer PN.09-regions_28-list2alloc.yml.log 2021-10-19 14:49 136K
Automizer PN.10-synch_01-thread_unique.yml.log 2021-10-19 14:49 54K
Automizer PN.10-synch_02-thread_nonunique.yml.log 2021-10-19 14:49 20K
Automizer PN.10-synch_03-two_unique.yml.log 2021-10-19 14:49 59K
Automizer PN.13-privatized_03-priv_inv.yml.log 2021-10-19 14:49 91K
Automizer PN.14_spin2003.yml.log 2021-10-19 14:46 469K
Automizer PN.18_read_write_lock.yml.log 2021-10-19 14:46 80K
Automizer PN.39_rand_lock_p0_vs-b.yml.log 2021-10-19 14:46 600K
Automizer PN.39_rand_lock_p0_vs.yml.log 2021-10-19 14:46 848K
Automizer PN.40_barrier_vf-b.yml.log 2021-10-19 14:47 470K
Automizer PN.40_barrier_vf.yml.log 2021-10-19 14:47 425K
Automizer PN.45_monabsex1_vs-b.yml.log 2021-10-19 14:46 252K
Automizer PN.45_monabsex1_vs.yml.log 2021-10-19 14:46 525K
Automizer PN.46_monabsex2_vs-b.yml.log 2021-10-19 14:47 717K
Automizer PN.46_monabsex2_vs.yml.log 2021-10-19 14:48 25M
Automizer PN.48_ticket_lock_low_contention_vs-b.yml.log 2021-10-19 14:48 499K
Automizer PN.48_ticket_lock_low_contention_vs.yml.log 2021-10-19 14:48 397K
Automizer PN.array-eq-symm.wvr.yml.log 2021-10-19 14:38 286K
Automizer PN.array-eq-trans.wvr.yml.log 2021-10-19 14:39 265K
Automizer PN.bench-exp1x3.wvr.yml.log 2021-10-19 14:38 131K
Automizer PN.bench-exp2x3.wvr.yml.log 2021-10-19 14:38 214K
Automizer PN.bench-exp2x4.wvr.yml.log 2021-10-19 14:38 262K
Automizer PN.bench-exp2x6.wvr.yml.log 2021-10-19 14:38 358K
Automizer PN.bench-exp2x9.wvr.yml.log 2021-10-19 14:39 503K
Automizer PN.bench-exp3x3-opt.wvr.yml.log 2021-10-19 14:38 301K
Automizer PN.bench-exp3x3.wvr.yml.log 2021-10-19 14:39 299K
Automizer PN.chl-array-int-subst.wvr.yml.log 2021-10-19 14:38 198K
Automizer PN.chl-array-int-symm.wvr.yml.log 2021-10-19 14:38 374K
Automizer PN.chl-array-int-trans.wvr.yml.log 2021-10-19 14:38 198K
Automizer PN.chl-chromosome-opt-symm.wvr.yml.log 2021-10-19 14:39 348K
Automizer PN.chl-chromosome-subst.wvr.yml.log 2021-10-19 14:39 307K
Automizer PN.chl-chromosome-symm.wvr.yml.log 2021-10-19 14:39 404K
Automizer PN.chl-chromosome-trans.wvr.yml.log 2021-10-19 14:39 552K
Automizer PN.chl-collitem-subst.wvr.yml.log 2021-10-19 14:38 470K
Automizer PN.chl-collitem-symm.wvr.yml.log 2021-10-19 14:38 341K
Automizer PN.chl-collitem-trans.wvr.yml.log 2021-10-19 14:38 469K
Automizer PN.chl-exp-term-subst.wvr.yml.log 2021-10-19 14:39 368K
Automizer PN.chl-exp-term-symm.wvr.yml.log 2021-10-19 14:39 251K
Automizer PN.chl-file-item-subst.wvr.yml.log 2021-10-19 14:39 564K
Automizer PN.chl-file-item-symm.wvr.yml.log 2021-10-19 14:39 340K
Automizer PN.chl-file-item-trans.wvr.yml.log 2021-10-19 14:39 593K
Automizer PN.chl-match-subst.wvr.yml.log 2021-10-19 14:39 405K
Automizer PN.chl-match-symm.wvr.yml.log 2021-10-19 14:39 297K
Automizer PN.chl-match-trans.wvr.yml.log 2021-10-19 14:39 404K
Automizer PN.chl-name-comparator-subst.wvr.yml.log 2021-10-19 14:43 780K
Automizer PN.chl-name-comparator-symm.wvr.yml.log 2021-10-19 14:40 836K
Automizer PN.chl-name-comparator-trans.wvr.yml.log 2021-10-19 14:44 659K
Automizer PN.chl-node-subst.wvr.yml.log 2021-10-19 14:39 277K
Automizer PN.chl-node-symm.wvr.yml.log 2021-10-19 14:40 530K
Automizer PN.chl-node-trans.wvr.yml.log 2021-10-19 14:39 277K
Automizer PN.chl-nzb-file-subst.wvr.yml.log 2021-10-19 14:39 547K
Automizer PN.chl-nzb-file-symm.wvr.yml.log 2021-10-19 14:41 5.7M
Automizer PN.chl-nzb-file-trans.wvr.yml.log 2021-10-19 14:39 548K
Automizer PN.chl-poker-hand-subst.wvr.yml.log 2021-10-19 14:53 4.4M
Automizer PN.chl-poker-hand-symm.wvr.yml.log 2021-10-19 14:53 2.8M
Automizer PN.chl-poker-hand-trans.wvr.yml.log 2021-10-19 14:54 4.2M
Automizer PN.chl-simpl-str-subst.wvr.yml.log 2021-10-19 14:40 370K
Automizer PN.chl-simpl-str-symm.wvr.yml.log 2021-10-19 14:40 204K
Automizer PN.chl-simpl-str-trans.wvr.yml.log 2021-10-19 14:40 345K
Automizer PN.chl-sre-subst.wvr.yml.log 2021-10-19 14:40 189K
Automizer PN.chl-sre-symm.wvr.yml.log 2021-10-19 14:40 136K
Automizer PN.chl-sre-trans.wvr.yml.log 2021-10-19 14:40 197K
Automizer PN.chl-time-subst.wvr.yml.log 2021-10-19 14:40 264K
Automizer PN.chl-time-symm.wvr.yml.log 2021-10-19 14:40 186K
Automizer PN.chl-time-trans.wvr.yml.log 2021-10-19 14:40 263K
Automizer PN.chl-word-subst.wvr.yml.log 2021-10-19 14:40 205K
Automizer PN.chl-word-symm.wvr.yml.log 2021-10-19 14:41 473K
Automizer PN.chl-word-trans.wvr.yml.log 2021-10-19 14:40 207K
Automizer PN.clever.wvr.yml.log 2021-10-19 14:40 255K
Automizer PN.dekker-b.yml.log 2021-10-19 14:45 164K
Automizer PN.dekker.yml.log 2021-10-19 14:45 147K
Automizer PN.fib_bench-1.yml.log 2021-10-19 14:45 58K
Automizer PN.fib_bench-2.yml.log 2021-10-19 14:45 58K
Automizer PN.fib_bench_longer-1.yml.log 2021-10-19 14:45 58K
Automizer PN.fib_bench_longer-2.yml.log 2021-10-19 14:45 58K
Automizer PN.fib_bench_longest-1.yml.log 2021-10-19 14:45 58K
Automizer PN.fib_bench_longest-2.yml.log 2021-10-19 14:45 58K
Automizer PN.fibonacci.wvr.yml.log 2021-10-19 14:40 312K
Automizer PN.lamport-b.yml.log 2021-10-19 14:45 430K
Automizer PN.lamport.yml.log 2021-10-19 14:45 188K
Automizer PN.lazy01.yml.log 2021-10-19 14:45 112K
Automizer PN.loop-tiling-eq.wvr.yml.log 2021-10-19 14:42 1.0M
Automizer PN.mult-comm.wvr.yml.log 2021-10-19 14:40 135K
Automizer PN.mult-dist.wvr.yml.log 2021-10-19 14:40 204K
Automizer PN.mult-flipped-dist.wvr.yml.log 2021-10-19 14:40 194K
Automizer PN.parallel-bakery-2.wvr.yml.log 2021-10-19 14:40 202K
Automizer PN.parallel-bakery-3.wvr.yml.log 2021-10-19 14:41 442K
Automizer PN.parallel-bakery-4.wvr.yml.log 2021-10-19 14:41 608K
Automizer PN.parallel-barrier-loop.wvr.yml.log 2021-10-19 14:42 6.4M
Automizer PN.parallel-barrier.wvr.yml.log 2021-10-19 14:42 389K
Automizer PN.parallel-bluetooth.wvr.yml.log 2021-10-19 14:41 186K
Automizer PN.parallel-lamport.wvr.yml.log 2021-10-19 14:41 262K
Automizer PN.parallel-min-max-1.wvr.yml.log 2021-10-19 14:41 15K
Automizer PN.parallel-misc-1.wvr.yml.log 2021-10-19 14:42 546K
Automizer PN.parallel-misc-2-unrolled-atomic.wvr.yml.log 2021-10-19 14:41 160K
Automizer PN.parallel-misc-2-unrolled.wvr.yml.log 2021-10-19 14:41 185K
Automizer PN.parallel-misc-2.wvr.yml.log 2021-10-19 14:41 236K
Automizer PN.parallel-misc-3-extended.wvr.yml.log 2021-10-19 14:41 235K
Automizer PN.parallel-misc-3.wvr.yml.log 2021-10-19 14:41 197K
Automizer PN.parallel-misc-4.wvr.yml.log 2021-10-19 14:41 493K
Automizer PN.parallel-misc-5.wvr.yml.log 2021-10-19 14:41 180K
Automizer PN.parallel-parallel-sum-1-dsl.wvr.yml.log 2021-10-19 14:42 398K
Automizer PN.parallel-parallel-sum-1.wvr.yml.log 2021-10-19 14:41 337K
Automizer PN.parallel-parallel-sum-2.wvr.yml.log 2021-10-19 14:41 386K
Automizer PN.parallel-parallel-sum-equiv.wvr.yml.log 2021-10-19 14:41 310K
Automizer PN.parallel-simple-equiv.wvr.yml.log 2021-10-19 14:41 167K
Automizer PN.parallel-ticket-2.wvr.yml.log 2021-10-19 14:41 167K
Automizer PN.parallel-ticket-3.wvr.yml.log 2021-10-19 14:41 200K
Automizer PN.parallel-ticket-4.wvr.yml.log 2021-10-19 14:41 233K
Automizer PN.parallel-ticket-5.wvr.yml.log 2021-10-19 14:42 266K
Automizer PN.parallel-ticket-6.wvr.yml.log 2021-10-19 14:42 236K
Automizer PN.parallel-ticket-7.wvr.yml.log 2021-10-19 14:42 211K
Automizer PN.parallel-ticket-8.wvr.yml.log 2021-10-19 14:42 221K
Automizer PN.peterson-b.yml.log 2021-10-19 14:45 412K
Automizer PN.peterson.yml.log 2021-10-19 14:45 130K
Automizer PN.popl20-bad-buffer-mult-alt.wvr.yml.log 2021-10-19 14:42 404K
Automizer PN.popl20-bad-buffer-mult-alt2.wvr.yml.log 2021-10-19 14:42 415K
Automizer PN.popl20-bad-commit-1.wvr-bad.yml.log 2021-10-19 14:42 507K
Automizer PN.popl20-bad-commit-2.wvr-bad.yml.log 2021-10-19 14:42 722K
Automizer PN.popl20-bad-counter-queue.wvr.yml.log 2021-10-19 14:42 122K
Automizer PN.popl20-bad-counter-queue2.wvr.yml.log 2021-10-19 14:42 127K
Automizer PN.popl20-bad-dot-product-alt.wvr.yml.log 2021-10-19 14:42 207K
Automizer PN.popl20-bad-dot-product.wvr.yml.log 2021-10-19 14:43 256K
Automizer PN.popl20-bad-ring-nondet.wvr.yml.log 2021-10-19 14:43 560K
Automizer PN.popl20-bad-ring.wvr.yml.log 2021-10-19 14:42 427K
Automizer PN.popl20-bad-threaded-sum-2.wvr.yml.log 2021-10-19 14:42 154K
Automizer PN.popl20-bad-three-array-sum-alt.wvr.yml.log 2021-10-19 14:43 948K
Automizer PN.popl20-channel-sum.wvr.yml.log 2021-10-19 14:42 314K
Automizer PN.popl20-commit-1.wvr.yml.log 2021-10-19 14:43 465K
Automizer PN.popl20-commit-2.wvr.yml.log 2021-10-19 14:43 660K
Automizer PN.popl20-counter-determinism.wvr.yml.log 2021-10-19 14:43 140K
Automizer PN.popl20-counter-fun.wvr.yml.log 2021-10-19 14:43 258K
Automizer PN.popl20-difference-det.wvr.yml.log 2021-10-19 14:43 157K
Automizer PN.popl20-figure1-alt.wvr.yml.log 2021-10-19 14:43 112K
Automizer PN.popl20-figure1.wvr.yml.log 2021-10-19 14:43 94K
Automizer PN.popl20-figure3.wvr.yml.log 2021-10-19 14:43 111K
Automizer PN.popl20-horseshoe.wvr.yml.log 2021-10-19 14:43 358K
Automizer PN.popl20-min-max-dec.wvr.yml.log 2021-10-19 14:43 233K
Automizer PN.popl20-min-max-inc-dec.wvr.yml.log 2021-10-19 14:43 15K
Automizer PN.popl20-min-max-inc.wvr.yml.log 2021-10-19 14:43 233K
Automizer PN.popl20-more-array-sum-alt.wvr.yml.log 2021-10-19 14:43 173K
Automizer PN.popl20-more-array-sum-alt2.wvr.yml.log 2021-10-19 14:43 181K
Automizer PN.popl20-more-array-sum.wvr.yml.log 2021-10-19 14:43 192K
Automizer PN.popl20-more-array-sum2.wvr.yml.log 2021-10-19 14:43 202K
Automizer PN.popl20-more-buffer-mult.wvr.yml.log 2021-10-19 14:43 366K
Automizer PN.popl20-more-buffer-mult2.wvr.yml.log 2021-10-19 14:43 375K
Automizer PN.popl20-more-buffer-series.wvr.yml.log 2021-10-19 14:43 382K
Automizer PN.popl20-more-buffer-series2.wvr.yml.log 2021-10-19 14:43 393K
Automizer PN.popl20-more-dec-subseq.wvr.yml.log 2021-10-19 14:43 351K
Automizer PN.popl20-more-inc-subseq.wvr.yml.log 2021-10-19 14:43 351K
Automizer PN.popl20-more-max-array-hom.wvr.yml.log 2021-10-19 14:43 179K
Automizer PN.popl20-more-max-array.wvr.yml.log 2021-10-19 14:43 169K
Automizer PN.popl20-more-min-array-hom.wvr.yml.log 2021-10-19 14:43 179K
Automizer PN.popl20-more-min-array.wvr.yml.log 2021-10-19 14:43 169K
Automizer PN.popl20-more-min-le-max.wvr.yml.log 2021-10-19 14:43 169K
Automizer PN.popl20-more-mts.wvr.yml.log 2021-10-19 14:44 3.1M
Automizer PN.popl20-more-multiply-verify.wvr.yml.log 2021-10-19 14:43 282K
Automizer PN.popl20-more-nonblocking-counter-alt2.wvr.yml.log 2021-10-19 14:43 122K
Automizer PN.popl20-more-parray-copy.wvr.yml.log 2021-10-19 14:44 208K
Automizer PN.popl20-more-queue-add-2-nl.wvr.yml.log 2021-10-19 14:43 309K
Automizer PN.popl20-more-queue-add-3-nl.wvr.yml.log 2021-10-19 14:44 484K
Automizer PN.popl20-more-sorted.wvr.yml.log 2021-10-19 14:44 296K
Automizer PN.popl20-more-sum-array-hom.wvr.yml.log 2021-10-19 14:44 400K
Automizer PN.popl20-more-vector-add.wvr.yml.log 2021-10-19 14:44 195K
Automizer PN.popl20-mult-4.wvr.yml.log 2021-10-19 14:43 148K
Automizer PN.popl20-mult-equiv.wvr.yml.log 2021-10-19 14:44 139K
Automizer PN.popl20-nonblocking-cntr-alt.wvr.yml.log 2021-10-19 14:44 110K
Automizer PN.popl20-nonblocking-cntr.wvr.yml.log 2021-10-19 14:44 92K
Automizer PN.popl20-prod-cons-eq.wvr.yml.log 2021-10-19 14:45 578K
Automizer PN.popl20-prod-cons.wvr.yml.log 2021-10-19 14:44 217K
Automizer PN.popl20-prod-cons3.wvr.yml.log 2021-10-19 14:44 324K
Automizer PN.popl20-proofs-counter-add-4-semi-Q67.wvr.yml.log 2021-10-19 14:44 228K
Automizer PN.popl20-queue-add-2.wvr.yml.log 2021-10-19 14:44 216K
Automizer PN.popl20-queue-add-3.wvr.yml.log 2021-10-19 14:44 358K
Automizer PN.popl20-send-receive-alt.wvr.yml.log 2021-10-19 14:44 184K
Automizer PN.popl20-send-receive.wvr.yml.log 2021-10-19 14:44 208K
Automizer PN.popl20-simple-array-sum.wvr.yml.log 2021-10-19 14:44 260K
Automizer PN.popl20-simple-queue.wvr.yml.log 2021-10-19 14:44 173K
Automizer PN.popl20-threaded-sum-3.wvr.yml.log 2021-10-19 14:44 191K
Automizer PN.popl20-three-array-max.wvr.yml.log 2021-10-19 14:45 314K
Automizer PN.popl20-three-array-min.wvr.yml.log 2021-10-19 14:45 323K
Automizer PN.popl20-three-array-sum.wvr.yml.log 2021-10-19 14:46 290K
Automizer PN.popl20-two-queue.wvr.yml.log 2021-10-19 14:44 320K
Automizer PN.qw2004-2.yml.log 2021-10-19 14:47 160K
Automizer PN.race-1_1-join.yml.log 2021-10-19 14:45 95K
Automizer PN.race-1_2-join.yml.log 2021-10-19 14:45 82K
Automizer PN.race-1_2b-join.yml.log 2021-10-19 14:45 87K
Automizer PN.race-1_3-join.yml.log 2021-10-19 14:45 82K
Automizer PN.race-1_3b-join.yml.log 2021-10-19 14:45 87K
Automizer PN.race-2_1-container_of.yml.log 2021-10-19 14:45 21K
Automizer PN.race-2_2-container_of.yml.log 2021-10-19 14:45 22K
Automizer PN.race-2_2b-container_of.yml.log 2021-10-19 14:45 22K
Automizer PN.race-2_3-container_of.yml.log 2021-10-19 14:45 22K
Automizer PN.race-2_3b-container_of.yml.log 2021-10-19 14:45 21K
Automizer PN.race-2_4-container_of.yml.log 2021-10-19 14:45 22K
Automizer PN.race-2_4b-container_of.yml.log 2021-10-19 14:45 21K
Automizer PN.race-2_5-container_of.yml.log 2021-10-19 14:45 22K
Automizer PN.race-2_5b-container_of.yml.log 2021-10-19 14:45 22K
Automizer PN.race-3_1-container_of-global.yml.log 2021-10-19 14:45 22K
Automizer PN.race-3_2-container_of-global.yml.log 2021-10-19 14:45 22K
Automizer PN.race-3_2b-container_of-global.yml.log 2021-10-19 14:45 22K
Automizer PN.read_write_lock-1.yml.log 2021-10-19 14:46 212K
Automizer PN.read_write_lock-1b.yml.log 2021-10-19 14:46 173K
Automizer PN.read_write_lock-2.yml.log 2021-10-19 14:45 133K
Automizer PN.read_write_lock-2b.yml.log 2021-10-19 14:46 175K
Automizer PN.security.wvr.yml.log 2021-10-19 14:44 215K
Automizer PN.singleton-b.yml.log 2021-10-19 14:46 153K
Automizer PN.singleton.yml.log 2021-10-19 14:47 213K
Automizer PN.singleton_with-uninit-problems-b.yml.log 2021-10-19 14:46 153K
Automizer PN.singleton_with-uninit-problems.yml.log 2021-10-19 14:46 201K
Automizer PN.spaghetti.wvr.yml.log 2021-10-19 14:44 139K
Automizer PN.stateful01-1.yml.log 2021-10-19 14:45 152K
Automizer PN.stateful01-2.yml.log 2021-10-19 14:45 152K
Automizer PN.szymanski-b.yml.log 2021-10-19 14:46 134K
Automizer PN.szymanski.yml.log 2021-10-19 14:46 164K
Automizer PN.test-context1.wvr.yml.log 2021-10-19 14:44 155K
Automizer PN.test-easy1.wvr.yml.log 2021-10-19 14:44 114K
Automizer PN.test-easy10.wvr.yml.log 2021-10-19 14:44 198K
Automizer PN.test-easy11.wvr.yml.log 2021-10-19 14:44 90K
Automizer PN.test-easy6.wvr.yml.log 2021-10-19 14:44 101K
Automizer PN.test-easy7.wvr.yml.log 2021-10-19 14:44 189K
Automizer PN.test-easy8.wvr.yml.log 2021-10-19 14:44 85K
Automizer PN.test-hard1.wvr.yml.log 2021-10-19 14:44 188K
Automizer PN.test-semi1.wvr.yml.log 2021-10-19 14:44 96K
Automizer PN.time_var_mutex.yml.log 2021-10-19 14:46 157K
Automizer PN.triangular-1.yml.log 2021-10-19 14:45 56K
Automizer PN.triangular-2.yml.log 2021-10-19 14:45 56K
Automizer PN.triangular-longer-1.yml.log 2021-10-19 14:45 56K
Automizer PN.triangular-longer-2.yml.log 2021-10-19 14:45 56K
Automizer PN.triangular-longest-1.yml.log 2021-10-19 14:45 56K
Automizer PN.triangular-longest-2.yml.log 2021-10-19 14:45 56K
Automizer PN.unroll-2.wvr.yml.log 2021-10-19 14:44 236K
Automizer PN.unroll-3.wvr.yml.log 2021-10-19 14:45 257K
Automizer PN.unroll-4.wvr.yml.log 2021-10-19 14:45 279K
Automizer PN.unroll-5.wvr.yml.log 2021-10-19 14:45 302K
Automizer PN.unroll-cond-2.wvr.yml.log 2021-10-19 14:45 267K
Automizer PN.unroll-cond-3.wvr.yml.log 2021-10-19 14:45 311K
Automizer PN.unroll-cond-4.wvr.yml.log 2021-10-19 14:45 356K
Automizer PN.unroll-cond-5.wvr.yml.log 2021-10-19 14:45 401K