Index of /logs/student-concurrency/20230821-085859-student-concurrency-f0b1c91c49/termination-concurrency.2023-08-18_16-43-11.logfiles
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
BuchiAutomaton FAIRNESS.arithmetic_prog_bad.yml.log 2023-08-18 17:07 26K
BuchiAutomaton FAIRNESS.arithmetic_prog_ok.yml.log 2023-08-18 17:07 26K
BuchiAutomaton FAIRNESS.array-eq-symm.wvr.yml.log 2023-08-18 16:56 243K
BuchiAutomaton FAIRNESS.array-eq-trans.wvr.yml.log 2023-08-18 16:58 555K
BuchiAutomaton FAIRNESS.bench-exp1x3.wvr.yml.log 2023-08-18 16:56 26K
BuchiAutomaton FAIRNESS.bench-exp2x3.wvr.yml.log 2023-08-18 16:56 26K
BuchiAutomaton FAIRNESS.bench-exp2x4.wvr.yml.log 2023-08-18 16:56 26K
BuchiAutomaton FAIRNESS.bench-exp2x6.wvr.yml.log 2023-08-18 16:56 21K
BuchiAutomaton FAIRNESS.bench-exp2x9.wvr.yml.log 2023-08-18 16:56 21K
BuchiAutomaton FAIRNESS.bench-exp3x3-opt.wvr.yml.log 2023-08-18 16:56 21K
BuchiAutomaton FAIRNESS.bench-exp3x3.wvr.yml.log 2023-08-18 16:56 21K
BuchiAutomaton FAIRNESS.chl-array-int-subst.wvr.yml.log 2023-08-18 16:56 21K
BuchiAutomaton FAIRNESS.chl-array-int-symm.wvr.yml.log 2023-08-18 16:56 189K
BuchiAutomaton FAIRNESS.chl-array-int-trans.wvr.yml.log 2023-08-18 16:56 21K
BuchiAutomaton FAIRNESS.chl-chromosome-opt-symm.wvr.yml.log 2023-08-18 16:56 371K
BuchiAutomaton FAIRNESS.chl-chromosome-subst.wvr.yml.log 2023-08-18 16:56 21K
BuchiAutomaton FAIRNESS.chl-chromosome-symm.wvr.yml.log 2023-08-18 16:57 406K
BuchiAutomaton FAIRNESS.chl-chromosome-trans.wvr.yml.log 2023-08-18 16:57 21K
BuchiAutomaton FAIRNESS.chl-collitem-subst.wvr.yml.log 2023-08-18 16:57 26K
BuchiAutomaton FAIRNESS.chl-collitem-symm.wvr.yml.log 2023-08-18 16:57 26K
BuchiAutomaton FAIRNESS.chl-collitem-trans.wvr.yml.log 2023-08-18 16:57 27K
BuchiAutomaton FAIRNESS.chl-exp-term-subst.wvr.yml.log 2023-08-18 16:57 21K
BuchiAutomaton FAIRNESS.chl-exp-term-symm.wvr.yml.log 2023-08-18 16:57 26K
BuchiAutomaton FAIRNESS.chl-file-item-subst.wvr.yml.log 2023-08-18 16:57 21K
BuchiAutomaton FAIRNESS.chl-file-item-symm.wvr.yml.log 2023-08-18 16:57 26K
BuchiAutomaton FAIRNESS.chl-file-item-trans.wvr.yml.log 2023-08-18 16:57 21K
BuchiAutomaton FAIRNESS.chl-match-subst.wvr.yml.log 2023-08-18 16:57 21K
BuchiAutomaton FAIRNESS.chl-match-symm.wvr.yml.log 2023-08-18 16:58 26K
BuchiAutomaton FAIRNESS.chl-match-trans.wvr.yml.log 2023-08-18 16:58 21K
BuchiAutomaton FAIRNESS.chl-name-comparator-subst.wvr.yml.log 2023-08-18 16:58 21K
BuchiAutomaton FAIRNESS.chl-name-comparator-symm.wvr.yml.log 2023-08-18 16:58 140K
BuchiAutomaton FAIRNESS.chl-name-comparator-trans.wvr.yml.log 2023-08-18 16:58 21K
BuchiAutomaton FAIRNESS.chl-node-subst.wvr.yml.log 2023-08-18 16:58 21K
BuchiAutomaton FAIRNESS.chl-node-symm.wvr.yml.log 2023-08-18 16:59 892K
BuchiAutomaton FAIRNESS.chl-node-trans.wvr.yml.log 2023-08-18 16:58 21K
BuchiAutomaton FAIRNESS.chl-nzb-file-subst.wvr.yml.log 2023-08-18 16:58 21K
BuchiAutomaton FAIRNESS.chl-nzb-file-symm.wvr.yml.log 2023-08-18 17:00 134K
BuchiAutomaton FAIRNESS.chl-nzb-file-trans.wvr.yml.log 2023-08-18 16:58 21K
BuchiAutomaton FAIRNESS.chl-simpl-str-subst.wvr.yml.log 2023-08-18 16:59 21K
BuchiAutomaton FAIRNESS.chl-simpl-str-symm.wvr.yml.log 2023-08-18 16:59 26K
BuchiAutomaton FAIRNESS.chl-simpl-str-trans.wvr.yml.log 2023-08-18 16:59 21K
BuchiAutomaton FAIRNESS.chl-sre-subst.wvr.yml.log 2023-08-18 16:59 26K
BuchiAutomaton FAIRNESS.chl-sre-symm.wvr.yml.log 2023-08-18 16:59 26K
BuchiAutomaton FAIRNESS.chl-sre-trans.wvr.yml.log 2023-08-18 16:59 26K
BuchiAutomaton FAIRNESS.chl-time-subst.wvr.yml.log 2023-08-18 16:59 27K
BuchiAutomaton FAIRNESS.chl-time-symm.wvr.yml.log 2023-08-18 16:59 26K
BuchiAutomaton FAIRNESS.chl-time-trans.wvr.yml.log 2023-08-18 16:59 27K
BuchiAutomaton FAIRNESS.chl-word-subst.wvr.yml.log 2023-08-18 16:59 21K
BuchiAutomaton FAIRNESS.chl-word-symm.wvr.yml.log 2023-08-18 16:59 223K
BuchiAutomaton FAIRNESS.chl-word-trans.wvr.yml.log 2023-08-18 16:59 21K
BuchiAutomaton FAIRNESS.circular_buffer_bad.yml.log 2023-08-18 17:07 27K
BuchiAutomaton FAIRNESS.circular_buffer_ok.yml.log 2023-08-18 17:07 27K
BuchiAutomaton FAIRNESS.clever.wvr.yml.log 2023-08-18 16:59 26K
BuchiAutomaton FAIRNESS.dekker.yml.log 2023-08-18 16:56 27K
BuchiAutomaton FAIRNESS.fibonacci.wvr.yml.log 2023-08-18 16:59 26K
BuchiAutomaton FAIRNESS.lamport.yml.log 2023-08-18 16:56 27K
BuchiAutomaton FAIRNESS.loop-tiling-eq.wvr.yml.log 2023-08-18 17:03 1.1M
BuchiAutomaton FAIRNESS.mult-comm.wvr.yml.log 2023-08-18 16:59 26K
BuchiAutomaton FAIRNESS.mult-dist.wvr.yml.log 2023-08-18 16:59 26K
BuchiAutomaton FAIRNESS.mult-flipped-dist.wvr.yml.log 2023-08-18 16:59 26K
BuchiAutomaton FAIRNESS.parallel-bakery-2.wvr.yml.log 2023-08-18 16:59 26K
BuchiAutomaton FAIRNESS.parallel-bakery-3.wvr.yml.log 2023-08-18 17:00 27K
BuchiAutomaton FAIRNESS.parallel-bakery-4.wvr.yml.log 2023-08-18 16:59 21K
BuchiAutomaton FAIRNESS.parallel-barrier-loop.wvr.yml.log 2023-08-18 16:59 22K
BuchiAutomaton FAIRNESS.parallel-barrier.wvr.yml.log 2023-08-18 16:59 22K
BuchiAutomaton FAIRNESS.parallel-bluetooth.wvr.yml.log 2023-08-18 16:59 26K
BuchiAutomaton FAIRNESS.parallel-lamport.wvr.yml.log 2023-08-18 17:00 146K
BuchiAutomaton FAIRNESS.parallel-min-max-1.wvr.yml.log 2023-08-18 17:00 132K
BuchiAutomaton FAIRNESS.parallel-misc-1.wvr.yml.log 2023-08-18 17:02 159K
BuchiAutomaton FAIRNESS.parallel-misc-2-unrolled-atomic.wvr.yml.log 2023-08-18 17:00 26K
BuchiAutomaton FAIRNESS.parallel-misc-2-unrolled.wvr.yml.log 2023-08-18 17:00 26K
BuchiAutomaton FAIRNESS.parallel-misc-2.wvr.yml.log 2023-08-18 17:00 26K
BuchiAutomaton FAIRNESS.parallel-misc-3-extended.wvr.yml.log 2023-08-18 17:00 27K
BuchiAutomaton FAIRNESS.parallel-misc-3.wvr.yml.log 2023-08-18 17:00 26K
BuchiAutomaton FAIRNESS.parallel-misc-4.wvr.yml.log 2023-08-18 17:00 27K
BuchiAutomaton FAIRNESS.parallel-misc-5.wvr.yml.log 2023-08-18 17:00 27K
BuchiAutomaton FAIRNESS.parallel-parallel-sum-1-dsl.wvr.yml.log 2023-08-18 17:00 22K
BuchiAutomaton FAIRNESS.parallel-parallel-sum-1.wvr.yml.log 2023-08-18 17:00 21K
BuchiAutomaton FAIRNESS.parallel-parallel-sum-2.wvr.yml.log 2023-08-18 17:00 22K
BuchiAutomaton FAIRNESS.parallel-parallel-sum-equiv.wvr.yml.log 2023-08-18 17:00 22K
BuchiAutomaton FAIRNESS.parallel-simple-equiv.wvr.yml.log 2023-08-18 17:00 27K
BuchiAutomaton FAIRNESS.parallel-ticket-2.wvr.yml.log 2023-08-18 17:00 26K
BuchiAutomaton FAIRNESS.parallel-ticket-3.wvr.yml.log 2023-08-18 17:01 27K
BuchiAutomaton FAIRNESS.parallel-ticket-4.wvr.yml.log 2023-08-18 17:01 27K
BuchiAutomaton FAIRNESS.parallel-ticket-5.wvr.yml.log 2023-08-18 17:00 22K
BuchiAutomaton FAIRNESS.parallel-ticket-6.wvr.yml.log 2023-08-18 17:01 22K
BuchiAutomaton FAIRNESS.parallel-ticket-7.wvr.yml.log 2023-08-18 17:01 22K
BuchiAutomaton FAIRNESS.parallel-ticket-8.wvr.yml.log 2023-08-18 17:01 22K
BuchiAutomaton FAIRNESS.peterson.yml.log 2023-08-18 16:56 27K
BuchiAutomaton FAIRNESS.popl20-bad-buffer-mult-alt.wvr.yml.log 2023-08-18 17:04 192K
BuchiAutomaton FAIRNESS.popl20-bad-buffer-mult-alt2.wvr.yml.log 2023-08-18 17:04 148K
BuchiAutomaton FAIRNESS.popl20-bad-counter-queue.wvr.yml.log 2023-08-18 17:02 109K
BuchiAutomaton FAIRNESS.popl20-bad-counter-queue2.wvr.yml.log 2023-08-18 17:02 97K
BuchiAutomaton FAIRNESS.popl20-bad-dot-product-alt.wvr.yml.log 2023-08-18 17:02 22K
BuchiAutomaton FAIRNESS.popl20-bad-dot-product.wvr.yml.log 2023-08-18 17:02 21K
BuchiAutomaton FAIRNESS.popl20-bad-ring-nondet.wvr.yml.log 2023-08-18 17:03 425K
BuchiAutomaton FAIRNESS.popl20-bad-threaded-sum-2.wvr.yml.log 2023-08-18 17:02 26K
BuchiAutomaton FAIRNESS.popl20-bad-three-array-sum-alt.wvr.yml.log 2023-08-18 17:02 21K
BuchiAutomaton FAIRNESS.popl20-channel-sum.wvr.yml.log 2023-08-18 17:02 156K
BuchiAutomaton FAIRNESS.popl20-commit-1.wvr.yml.log 2023-08-18 17:03 469K
BuchiAutomaton FAIRNESS.popl20-commit-2.wvr.yml.log 2023-08-18 17:02 21K
BuchiAutomaton FAIRNESS.popl20-counter-determinism.wvr.yml.log 2023-08-18 17:02 21K
BuchiAutomaton FAIRNESS.popl20-counter-fun.wvr.yml.log 2023-08-18 17:03 286K
BuchiAutomaton FAIRNESS.popl20-difference-det.wvr.yml.log 2023-08-18 17:03 21K
BuchiAutomaton FAIRNESS.popl20-figure1-alt.wvr.yml.log 2023-08-18 17:03 26K
BuchiAutomaton FAIRNESS.popl20-figure1.wvr.yml.log 2023-08-18 17:03 26K
BuchiAutomaton FAIRNESS.popl20-figure3.wvr.yml.log 2023-08-18 17:03 26K
BuchiAutomaton FAIRNESS.popl20-horseshoe.wvr.yml.log 2023-08-18 17:03 249K
BuchiAutomaton FAIRNESS.popl20-min-max-dec.wvr.yml.log 2023-08-18 17:04 22K
BuchiAutomaton FAIRNESS.popl20-min-max-inc-dec.wvr.yml.log 2023-08-18 17:03 22K
BuchiAutomaton FAIRNESS.popl20-min-max-inc.wvr.yml.log 2023-08-18 17:04 22K
BuchiAutomaton FAIRNESS.popl20-more-array-sum-alt.wvr.yml.log 2023-08-18 17:04 189K
BuchiAutomaton FAIRNESS.popl20-more-array-sum-alt2.wvr.yml.log 2023-08-18 17:04 163K
BuchiAutomaton FAIRNESS.popl20-more-array-sum.wvr.yml.log 2023-08-18 17:04 327K
BuchiAutomaton FAIRNESS.popl20-more-array-sum2.wvr.yml.log 2023-08-18 17:04 310K
BuchiAutomaton FAIRNESS.popl20-more-buffer-mult.wvr.yml.log 2023-08-18 17:06 196K
BuchiAutomaton FAIRNESS.popl20-more-buffer-mult2.wvr.yml.log 2023-08-18 17:06 190K
BuchiAutomaton FAIRNESS.popl20-more-buffer-series.wvr.yml.log 2023-08-18 17:07 152K
BuchiAutomaton FAIRNESS.popl20-more-buffer-series2.wvr.yml.log 2023-08-18 17:06 192K
BuchiAutomaton FAIRNESS.popl20-more-dec-subseq.wvr.yml.log 2023-08-18 17:04 282K
BuchiAutomaton FAIRNESS.popl20-more-inc-subseq.wvr.yml.log 2023-08-18 17:04 282K
BuchiAutomaton FAIRNESS.popl20-more-max-array-hom.wvr.yml.log 2023-08-18 17:04 164K
BuchiAutomaton FAIRNESS.popl20-more-max-array.wvr.yml.log 2023-08-18 17:04 161K
BuchiAutomaton FAIRNESS.popl20-more-min-array-hom.wvr.yml.log 2023-08-18 17:04 162K
BuchiAutomaton FAIRNESS.popl20-more-min-array.wvr.yml.log 2023-08-18 17:04 161K
BuchiAutomaton FAIRNESS.popl20-more-min-le-max.wvr.yml.log 2023-08-18 17:04 149K
BuchiAutomaton FAIRNESS.popl20-more-mts.wvr.yml.log 2023-08-18 17:06 22K
BuchiAutomaton FAIRNESS.popl20-more-multiply-verify.wvr.yml.log 2023-08-18 17:05 146K
BuchiAutomaton FAIRNESS.popl20-more-nonblocking-counter-alt2.wvr.yml.log 2023-08-18 17:04 27K
BuchiAutomaton FAIRNESS.popl20-more-queue-add-2-nl.wvr.yml.log 2023-08-18 17:05 156K
BuchiAutomaton FAIRNESS.popl20-more-queue-add-3-nl.wvr.yml.log 2023-08-18 17:05 274K
BuchiAutomaton FAIRNESS.popl20-more-sorted.wvr.yml.log 2023-08-18 17:07 119K
BuchiAutomaton FAIRNESS.popl20-more-sum-array-hom.wvr.yml.log 2023-08-18 17:05 109K
BuchiAutomaton FAIRNESS.popl20-more-vector-add.wvr.yml.log 2023-08-18 17:08 1.8M
BuchiAutomaton FAIRNESS.popl20-mult-4.wvr.yml.log 2023-08-18 17:05 21K
BuchiAutomaton FAIRNESS.popl20-mult-equiv.wvr.yml.log 2023-08-18 17:05 27K
BuchiAutomaton FAIRNESS.popl20-nonblocking-cntr-alt.wvr.yml.log 2023-08-18 17:05 26K
BuchiAutomaton FAIRNESS.popl20-nonblocking-cntr.wvr.yml.log 2023-08-18 17:05 26K
BuchiAutomaton FAIRNESS.popl20-prod-cons-eq.wvr.yml.log 2023-08-18 17:07 116K
BuchiAutomaton FAIRNESS.popl20-prod-cons.wvr.yml.log 2023-08-18 17:05 176K
BuchiAutomaton FAIRNESS.popl20-prod-cons3.wvr.yml.log 2023-08-18 17:06 22K
BuchiAutomaton FAIRNESS.popl20-proofs-counter-add-4-semi-Q67.wvr.yml.log 2023-08-18 17:05 27K
BuchiAutomaton FAIRNESS.popl20-queue-add-2.wvr.yml.log 2023-08-18 17:05 106K
BuchiAutomaton FAIRNESS.popl20-queue-add-3.wvr.yml.log 2023-08-18 17:06 245K
BuchiAutomaton FAIRNESS.popl20-send-receive-alt.wvr.yml.log 2023-08-18 17:05 110K
BuchiAutomaton FAIRNESS.popl20-send-receive.wvr.yml.log 2023-08-18 17:06 147K
BuchiAutomaton FAIRNESS.popl20-simple-array-sum.wvr.yml.log 2023-08-18 17:06 344K
BuchiAutomaton FAIRNESS.popl20-simple-queue.wvr.yml.log 2023-08-18 17:06 130K
BuchiAutomaton FAIRNESS.popl20-threaded-sum-3.wvr.yml.log 2023-08-18 17:06 27K
BuchiAutomaton FAIRNESS.popl20-three-array-max.wvr.yml.log 2023-08-18 17:09 2.2M
BuchiAutomaton FAIRNESS.popl20-three-array-min.wvr.yml.log 2023-08-18 17:08 2.0M
BuchiAutomaton FAIRNESS.popl20-three-array-sum.wvr.yml.log 2023-08-18 17:09 2.4M
BuchiAutomaton FAIRNESS.popl20-two-queue.wvr.yml.log 2023-08-18 17:06 307K
BuchiAutomaton FAIRNESS.pthread-demo-datarace-1.yml.log 2023-08-18 16:57 1.2M
BuchiAutomaton FAIRNESS.qw2004-2b.yml.log 2023-08-18 16:56 26K
BuchiAutomaton FAIRNESS.read_write_lock-1.yml.log 2023-08-18 16:56 21K
BuchiAutomaton FAIRNESS.read_write_lock-2.yml.log 2023-08-18 16:56 21K
BuchiAutomaton FAIRNESS.ring_2w1r-1.yml.log 2023-08-18 16:59 139K
BuchiAutomaton FAIRNESS.security.wvr.yml.log 2023-08-18 17:06 26K
BuchiAutomaton FAIRNESS.spaghetti.wvr.yml.log 2023-08-18 17:06 21K
BuchiAutomaton FAIRNESS.szymanski.yml.log 2023-08-18 16:56 27K
BuchiAutomaton FAIRNESS.test-context1.wvr.yml.log 2023-08-18 17:06 128K
BuchiAutomaton FAIRNESS.test-easy1.wvr.yml.log 2023-08-18 17:06 26K
BuchiAutomaton FAIRNESS.test-easy10.wvr.yml.log 2023-08-18 17:06 21K
BuchiAutomaton FAIRNESS.test-easy11.wvr.yml.log 2023-08-18 17:06 26K
BuchiAutomaton FAIRNESS.test-easy6.wvr.yml.log 2023-08-18 17:06 26K
BuchiAutomaton FAIRNESS.test-easy7.wvr.yml.log 2023-08-18 17:07 26K
BuchiAutomaton FAIRNESS.test-hard1.wvr.yml.log 2023-08-18 17:07 27K
BuchiAutomaton FAIRNESS.test-semi1.wvr.yml.log 2023-08-18 17:07 26K
BuchiAutomaton FAIRNESS.time_var_mutex.yml.log 2023-08-18 16:56 27K
BuchiAutomaton FAIRNESS.unroll-2.wvr.yml.log 2023-08-18 17:07 132K
BuchiAutomaton FAIRNESS.unroll-3.wvr.yml.log 2023-08-18 17:07 77K
BuchiAutomaton FAIRNESS.unroll-4.wvr.yml.log 2023-08-18 17:07 113K
BuchiAutomaton FAIRNESS.unroll-5.wvr.yml.log 2023-08-18 17:07 142K
BuchiAutomaton FAIRNESS.unroll-cond-2.wvr.yml.log 2023-08-18 17:07 81K
BuchiAutomaton FAIRNESS.unroll-cond-3.wvr.yml.log 2023-08-18 17:07 146K
BuchiAutomaton FAIRNESS.unroll-cond-4.wvr.yml.log 2023-08-18 17:07 148K
BuchiAutomaton FAIRNESS.unroll-cond-5.wvr.yml.log 2023-08-18 17:07 112K
BuchiAutomaton FAIRNESS_LAZY.arithmetic_prog_bad.yml.log 2023-08-18 17:19 26K
BuchiAutomaton FAIRNESS_LAZY.arithmetic_prog_ok.yml.log 2023-08-18 17:19 26K
BuchiAutomaton FAIRNESS_LAZY.array-eq-symm.wvr.yml.log 2023-08-18 17:10 243K
BuchiAutomaton FAIRNESS_LAZY.array-eq-trans.wvr.yml.log 2023-08-18 17:11 558K
BuchiAutomaton FAIRNESS_LAZY.bench-exp1x3.wvr.yml.log 2023-08-18 17:10 26K
BuchiAutomaton FAIRNESS_LAZY.bench-exp2x3.wvr.yml.log 2023-08-18 17:10 26K
BuchiAutomaton FAIRNESS_LAZY.bench-exp2x4.wvr.yml.log 2023-08-18 17:10 26K
BuchiAutomaton FAIRNESS_LAZY.bench-exp2x6.wvr.yml.log 2023-08-18 17:11 26K
BuchiAutomaton FAIRNESS_LAZY.bench-exp2x9.wvr.yml.log 2023-08-18 17:10 21K
BuchiAutomaton FAIRNESS_LAZY.bench-exp3x3-opt.wvr.yml.log 2023-08-18 17:10 21K
BuchiAutomaton FAIRNESS_LAZY.bench-exp3x3.wvr.yml.log 2023-08-18 17:10 21K
BuchiAutomaton FAIRNESS_LAZY.chl-array-int-subst.wvr.yml.log 2023-08-18 17:10 21K
BuchiAutomaton FAIRNESS_LAZY.chl-array-int-symm.wvr.yml.log 2023-08-18 17:10 189K
BuchiAutomaton FAIRNESS_LAZY.chl-array-int-trans.wvr.yml.log 2023-08-18 17:10 21K
BuchiAutomaton FAIRNESS_LAZY.chl-chromosome-opt-symm.wvr.yml.log 2023-08-18 17:10 371K
BuchiAutomaton FAIRNESS_LAZY.chl-chromosome-subst.wvr.yml.log 2023-08-18 17:10 21K
BuchiAutomaton FAIRNESS_LAZY.chl-chromosome-symm.wvr.yml.log 2023-08-18 17:10 404K
BuchiAutomaton FAIRNESS_LAZY.chl-chromosome-trans.wvr.yml.log 2023-08-18 17:10 21K
BuchiAutomaton FAIRNESS_LAZY.chl-collitem-subst.wvr.yml.log 2023-08-18 17:11 27K
BuchiAutomaton FAIRNESS_LAZY.chl-collitem-symm.wvr.yml.log 2023-08-18 17:11 26K
BuchiAutomaton FAIRNESS_LAZY.chl-collitem-trans.wvr.yml.log 2023-08-18 17:11 27K
BuchiAutomaton FAIRNESS_LAZY.chl-exp-term-subst.wvr.yml.log 2023-08-18 17:11 21K
BuchiAutomaton FAIRNESS_LAZY.chl-exp-term-symm.wvr.yml.log 2023-08-18 17:11 26K
BuchiAutomaton FAIRNESS_LAZY.chl-file-item-subst.wvr.yml.log 2023-08-18 17:11 21K
BuchiAutomaton FAIRNESS_LAZY.chl-file-item-symm.wvr.yml.log 2023-08-18 17:11 26K
BuchiAutomaton FAIRNESS_LAZY.chl-file-item-trans.wvr.yml.log 2023-08-18 17:11 21K
BuchiAutomaton FAIRNESS_LAZY.chl-match-subst.wvr.yml.log 2023-08-18 17:11 21K
BuchiAutomaton FAIRNESS_LAZY.chl-match-symm.wvr.yml.log 2023-08-18 17:11 26K
BuchiAutomaton FAIRNESS_LAZY.chl-match-trans.wvr.yml.log 2023-08-18 17:11 21K
BuchiAutomaton FAIRNESS_LAZY.chl-name-comparator-subst.wvr.yml.log 2023-08-18 17:11 21K
BuchiAutomaton FAIRNESS_LAZY.chl-name-comparator-symm.wvr.yml.log 2023-08-18 17:12 139K
BuchiAutomaton FAIRNESS_LAZY.chl-name-comparator-trans.wvr.yml.log 2023-08-18 17:11 21K
BuchiAutomaton FAIRNESS_LAZY.chl-node-subst.wvr.yml.log 2023-08-18 17:11 21K
BuchiAutomaton FAIRNESS_LAZY.chl-node-symm.wvr.yml.log 2023-08-18 17:12 893K
BuchiAutomaton FAIRNESS_LAZY.chl-node-trans.wvr.yml.log 2023-08-18 17:11 21K
BuchiAutomaton FAIRNESS_LAZY.chl-nzb-file-subst.wvr.yml.log 2023-08-18 17:11 21K
BuchiAutomaton FAIRNESS_LAZY.chl-nzb-file-symm.wvr.yml.log 2023-08-18 17:14 562K
BuchiAutomaton FAIRNESS_LAZY.chl-nzb-file-trans.wvr.yml.log 2023-08-18 17:12 21K
BuchiAutomaton FAIRNESS_LAZY.chl-simpl-str-subst.wvr.yml.log 2023-08-18 17:12 21K
BuchiAutomaton FAIRNESS_LAZY.chl-simpl-str-symm.wvr.yml.log 2023-08-18 17:12 26K
BuchiAutomaton FAIRNESS_LAZY.chl-simpl-str-trans.wvr.yml.log 2023-08-18 17:12 21K
BuchiAutomaton FAIRNESS_LAZY.chl-sre-subst.wvr.yml.log 2023-08-18 17:12 26K
BuchiAutomaton FAIRNESS_LAZY.chl-sre-symm.wvr.yml.log 2023-08-18 17:12 26K
BuchiAutomaton FAIRNESS_LAZY.chl-sre-trans.wvr.yml.log 2023-08-18 17:12 26K
BuchiAutomaton FAIRNESS_LAZY.chl-time-subst.wvr.yml.log 2023-08-18 17:12 27K
BuchiAutomaton FAIRNESS_LAZY.chl-time-symm.wvr.yml.log 2023-08-18 17:12 26K
BuchiAutomaton FAIRNESS_LAZY.chl-time-trans.wvr.yml.log 2023-08-18 17:12 26K
BuchiAutomaton FAIRNESS_LAZY.chl-word-subst.wvr.yml.log 2023-08-18 17:14 22K
BuchiAutomaton FAIRNESS_LAZY.chl-word-symm.wvr.yml.log 2023-08-18 17:13 223K
BuchiAutomaton FAIRNESS_LAZY.chl-word-trans.wvr.yml.log 2023-08-18 17:14 22K
BuchiAutomaton FAIRNESS_LAZY.circular_buffer_bad.yml.log 2023-08-18 17:19 27K
BuchiAutomaton FAIRNESS_LAZY.circular_buffer_ok.yml.log 2023-08-18 17:19 27K
BuchiAutomaton FAIRNESS_LAZY.clever.wvr.yml.log 2023-08-18 17:12 26K
BuchiAutomaton FAIRNESS_LAZY.dekker.yml.log 2023-08-18 17:10 27K
BuchiAutomaton FAIRNESS_LAZY.fibonacci.wvr.yml.log 2023-08-18 17:12 26K
BuchiAutomaton FAIRNESS_LAZY.lamport.yml.log 2023-08-18 17:10 27K
BuchiAutomaton FAIRNESS_LAZY.loop-tiling-eq.wvr.yml.log 2023-08-18 17:16 1.1M
BuchiAutomaton FAIRNESS_LAZY.mult-comm.wvr.yml.log 2023-08-18 17:12 26K
BuchiAutomaton FAIRNESS_LAZY.mult-dist.wvr.yml.log 2023-08-18 17:13 26K
BuchiAutomaton FAIRNESS_LAZY.mult-flipped-dist.wvr.yml.log 2023-08-18 17:13 26K
BuchiAutomaton FAIRNESS_LAZY.parallel-bakery-2.wvr.yml.log 2023-08-18 17:13 26K
BuchiAutomaton FAIRNESS_LAZY.parallel-bakery-3.wvr.yml.log 2023-08-18 17:13 27K
BuchiAutomaton FAIRNESS_LAZY.parallel-bakery-4.wvr.yml.log 2023-08-18 17:13 21K
BuchiAutomaton FAIRNESS_LAZY.parallel-barrier-loop.wvr.yml.log 2023-08-18 17:13 22K
BuchiAutomaton FAIRNESS_LAZY.parallel-barrier.wvr.yml.log 2023-08-18 17:13 22K
BuchiAutomaton FAIRNESS_LAZY.parallel-bluetooth.wvr.yml.log 2023-08-18 17:13 26K
BuchiAutomaton FAIRNESS_LAZY.parallel-lamport.wvr.yml.log 2023-08-18 17:13 146K
BuchiAutomaton FAIRNESS_LAZY.parallel-min-max-1.wvr.yml.log 2023-08-18 17:13 132K
BuchiAutomaton FAIRNESS_LAZY.parallel-misc-1.wvr.yml.log 2023-08-18 17:14 159K
BuchiAutomaton FAIRNESS_LAZY.parallel-misc-2-unrolled-atomic.wvr.yml.log 2023-08-18 17:13 26K
BuchiAutomaton FAIRNESS_LAZY.parallel-misc-2-unrolled.wvr.yml.log 2023-08-18 17:13 26K
BuchiAutomaton FAIRNESS_LAZY.parallel-misc-2.wvr.yml.log 2023-08-18 17:13 26K
BuchiAutomaton FAIRNESS_LAZY.parallel-misc-3-extended.wvr.yml.log 2023-08-18 17:13 27K
BuchiAutomaton FAIRNESS_LAZY.parallel-misc-3.wvr.yml.log 2023-08-18 17:13 26K
BuchiAutomaton FAIRNESS_LAZY.parallel-misc-4.wvr.yml.log 2023-08-18 17:13 27K
BuchiAutomaton FAIRNESS_LAZY.parallel-misc-5.wvr.yml.log 2023-08-18 17:13 27K
BuchiAutomaton FAIRNESS_LAZY.parallel-parallel-sum-1-dsl.wvr.yml.log 2023-08-18 17:13 22K
BuchiAutomaton FAIRNESS_LAZY.parallel-parallel-sum-1.wvr.yml.log 2023-08-18 17:13 21K
BuchiAutomaton FAIRNESS_LAZY.parallel-parallel-sum-2.wvr.yml.log 2023-08-18 17:13 22K
BuchiAutomaton FAIRNESS_LAZY.parallel-parallel-sum-equiv.wvr.yml.log 2023-08-18 17:15 126K
BuchiAutomaton FAIRNESS_LAZY.parallel-simple-equiv.wvr.yml.log 2023-08-18 17:14 27K
BuchiAutomaton FAIRNESS_LAZY.parallel-ticket-2.wvr.yml.log 2023-08-18 17:14 26K
BuchiAutomaton FAIRNESS_LAZY.parallel-ticket-3.wvr.yml.log 2023-08-18 17:14 27K
BuchiAutomaton FAIRNESS_LAZY.parallel-ticket-4.wvr.yml.log 2023-08-18 17:14 27K
BuchiAutomaton FAIRNESS_LAZY.parallel-ticket-5.wvr.yml.log 2023-08-18 17:14 22K
BuchiAutomaton FAIRNESS_LAZY.parallel-ticket-6.wvr.yml.log 2023-08-18 17:14 22K
BuchiAutomaton FAIRNESS_LAZY.parallel-ticket-7.wvr.yml.log 2023-08-18 17:14 22K
BuchiAutomaton FAIRNESS_LAZY.parallel-ticket-8.wvr.yml.log 2023-08-18 17:14 22K
BuchiAutomaton FAIRNESS_LAZY.peterson.yml.log 2023-08-18 17:10 27K
BuchiAutomaton FAIRNESS_LAZY.popl20-bad-buffer-mult-alt.wvr.yml.log 2023-08-18 17:16 188K
BuchiAutomaton FAIRNESS_LAZY.popl20-bad-buffer-mult-alt2.wvr.yml.log 2023-08-18 17:16 221K
BuchiAutomaton FAIRNESS_LAZY.popl20-bad-counter-queue.wvr.yml.log 2023-08-18 17:14 109K
BuchiAutomaton FAIRNESS_LAZY.popl20-bad-counter-queue2.wvr.yml.log 2023-08-18 17:14 97K
BuchiAutomaton FAIRNESS_LAZY.popl20-bad-dot-product-alt.wvr.yml.log 2023-08-18 17:14 22K
BuchiAutomaton FAIRNESS_LAZY.popl20-bad-dot-product.wvr.yml.log 2023-08-18 17:15 22K
BuchiAutomaton FAIRNESS_LAZY.popl20-bad-ring-nondet.wvr.yml.log 2023-08-18 17:15 424K
BuchiAutomaton FAIRNESS_LAZY.popl20-bad-threaded-sum-2.wvr.yml.log 2023-08-18 17:15 26K
BuchiAutomaton FAIRNESS_LAZY.popl20-bad-three-array-sum-alt.wvr.yml.log 2023-08-18 17:15 21K
BuchiAutomaton FAIRNESS_LAZY.popl20-channel-sum.wvr.yml.log 2023-08-18 17:15 156K
BuchiAutomaton FAIRNESS_LAZY.popl20-commit-1.wvr.yml.log 2023-08-18 17:16 469K
BuchiAutomaton FAIRNESS_LAZY.popl20-commit-2.wvr.yml.log 2023-08-18 17:15 21K
BuchiAutomaton FAIRNESS_LAZY.popl20-counter-determinism.wvr.yml.log 2023-08-18 17:16 27K
BuchiAutomaton FAIRNESS_LAZY.popl20-counter-fun.wvr.yml.log 2023-08-18 17:15 286K
BuchiAutomaton FAIRNESS_LAZY.popl20-difference-det.wvr.yml.log 2023-08-18 17:17 27K
BuchiAutomaton FAIRNESS_LAZY.popl20-figure1-alt.wvr.yml.log 2023-08-18 17:16 26K
BuchiAutomaton FAIRNESS_LAZY.popl20-figure1.wvr.yml.log 2023-08-18 17:16 26K
BuchiAutomaton FAIRNESS_LAZY.popl20-figure3.wvr.yml.log 2023-08-18 17:16 26K
BuchiAutomaton FAIRNESS_LAZY.popl20-horseshoe.wvr.yml.log 2023-08-18 17:16 250K
BuchiAutomaton FAIRNESS_LAZY.popl20-min-max-dec.wvr.yml.log 2023-08-18 17:17 160K
BuchiAutomaton FAIRNESS_LAZY.popl20-min-max-inc-dec.wvr.yml.log 2023-08-18 17:16 22K
BuchiAutomaton FAIRNESS_LAZY.popl20-min-max-inc.wvr.yml.log 2023-08-18 17:18 169K
BuchiAutomaton FAIRNESS_LAZY.popl20-more-array-sum-alt.wvr.yml.log 2023-08-18 17:16 189K
BuchiAutomaton FAIRNESS_LAZY.popl20-more-array-sum-alt2.wvr.yml.log 2023-08-18 17:16 163K
BuchiAutomaton FAIRNESS_LAZY.popl20-more-array-sum.wvr.yml.log 2023-08-18 17:16 327K
BuchiAutomaton FAIRNESS_LAZY.popl20-more-array-sum2.wvr.yml.log 2023-08-18 17:16 311K
BuchiAutomaton FAIRNESS_LAZY.popl20-more-buffer-mult.wvr.yml.log 2023-08-18 17:18 192K
BuchiAutomaton FAIRNESS_LAZY.popl20-more-buffer-mult2.wvr.yml.log 2023-08-18 17:18 190K
BuchiAutomaton FAIRNESS_LAZY.popl20-more-buffer-series.wvr.yml.log 2023-08-18 17:18 148K
BuchiAutomaton FAIRNESS_LAZY.popl20-more-buffer-series2.wvr.yml.log 2023-08-18 17:18 508K
BuchiAutomaton FAIRNESS_LAZY.popl20-more-dec-subseq.wvr.yml.log 2023-08-18 17:17 282K
BuchiAutomaton FAIRNESS_LAZY.popl20-more-inc-subseq.wvr.yml.log 2023-08-18 17:17 282K
BuchiAutomaton FAIRNESS_LAZY.popl20-more-max-array-hom.wvr.yml.log 2023-08-18 17:17 164K
BuchiAutomaton FAIRNESS_LAZY.popl20-more-max-array.wvr.yml.log 2023-08-18 17:17 161K
BuchiAutomaton FAIRNESS_LAZY.popl20-more-min-array-hom.wvr.yml.log 2023-08-18 17:17 162K
BuchiAutomaton FAIRNESS_LAZY.popl20-more-min-array.wvr.yml.log 2023-08-18 17:17 161K
BuchiAutomaton FAIRNESS_LAZY.popl20-more-min-le-max.wvr.yml.log 2023-08-18 17:17 149K
BuchiAutomaton FAIRNESS_LAZY.popl20-more-mts.wvr.yml.log 2023-08-18 17:20 152K
BuchiAutomaton FAIRNESS_LAZY.popl20-more-multiply-verify.wvr.yml.log 2023-08-18 17:17 146K
BuchiAutomaton FAIRNESS_LAZY.popl20-more-nonblocking-counter-alt2.wvr.yml.log 2023-08-18 17:17 27K
BuchiAutomaton FAIRNESS_LAZY.popl20-more-queue-add-2-nl.wvr.yml.log 2023-08-18 17:17 156K
BuchiAutomaton FAIRNESS_LAZY.popl20-more-queue-add-3-nl.wvr.yml.log 2023-08-18 17:17 272K
BuchiAutomaton FAIRNESS_LAZY.popl20-more-sorted.wvr.yml.log 2023-08-18 17:18 119K
BuchiAutomaton FAIRNESS_LAZY.popl20-more-sum-array-hom.wvr.yml.log 2023-08-18 17:17 109K
BuchiAutomaton FAIRNESS_LAZY.popl20-more-vector-add.wvr.yml.log 2023-08-18 17:20 2.4M
BuchiAutomaton FAIRNESS_LAZY.popl20-mult-4.wvr.yml.log 2023-08-18 17:18 27K
BuchiAutomaton FAIRNESS_LAZY.popl20-mult-equiv.wvr.yml.log 2023-08-18 17:17 27K
BuchiAutomaton FAIRNESS_LAZY.popl20-nonblocking-cntr-alt.wvr.yml.log 2023-08-18 17:17 26K
BuchiAutomaton FAIRNESS_LAZY.popl20-nonblocking-cntr.wvr.yml.log 2023-08-18 17:17 27K
BuchiAutomaton FAIRNESS_LAZY.popl20-prod-cons-eq.wvr.yml.log 2023-08-18 17:20 1.7M
BuchiAutomaton FAIRNESS_LAZY.popl20-prod-cons.wvr.yml.log 2023-08-18 17:17 176K
BuchiAutomaton FAIRNESS_LAZY.popl20-prod-cons3.wvr.yml.log 2023-08-18 17:19 197K
BuchiAutomaton FAIRNESS_LAZY.popl20-proofs-counter-add-4-semi-Q67.wvr.yml.log 2023-08-18 17:18 27K
BuchiAutomaton FAIRNESS_LAZY.popl20-queue-add-2.wvr.yml.log 2023-08-18 17:18 106K
BuchiAutomaton FAIRNESS_LAZY.popl20-queue-add-3.wvr.yml.log 2023-08-18 17:18 245K
BuchiAutomaton FAIRNESS_LAZY.popl20-send-receive-alt.wvr.yml.log 2023-08-18 17:18 110K
BuchiAutomaton FAIRNESS_LAZY.popl20-send-receive.wvr.yml.log 2023-08-18 17:18 147K
BuchiAutomaton FAIRNESS_LAZY.popl20-simple-array-sum.wvr.yml.log 2023-08-18 17:19 344K
BuchiAutomaton FAIRNESS_LAZY.popl20-simple-queue.wvr.yml.log 2023-08-18 17:18 130K
BuchiAutomaton FAIRNESS_LAZY.popl20-threaded-sum-3.wvr.yml.log 2023-08-18 17:18 27K
BuchiAutomaton FAIRNESS_LAZY.popl20-three-array-max.wvr.yml.log 2023-08-18 17:21 2.2M
BuchiAutomaton FAIRNESS_LAZY.popl20-three-array-min.wvr.yml.log 2023-08-18 17:21 2.4M
BuchiAutomaton FAIRNESS_LAZY.popl20-three-array-sum.wvr.yml.log 2023-08-18 17:22 2.4M
BuchiAutomaton FAIRNESS_LAZY.popl20-two-queue.wvr.yml.log 2023-08-18 17:19 304K
BuchiAutomaton FAIRNESS_LAZY.pthread-demo-datarace-1.yml.log 2023-08-18 17:11 935K
BuchiAutomaton FAIRNESS_LAZY.qw2004-2b.yml.log 2023-08-18 17:10 26K
BuchiAutomaton FAIRNESS_LAZY.read_write_lock-1.yml.log 2023-08-18 17:11 27K
BuchiAutomaton FAIRNESS_LAZY.read_write_lock-2.yml.log 2023-08-18 17:10 21K
BuchiAutomaton FAIRNESS_LAZY.ring_2w1r-1.yml.log 2023-08-18 17:13 372K
BuchiAutomaton FAIRNESS_LAZY.security.wvr.yml.log 2023-08-18 17:18 26K
BuchiAutomaton FAIRNESS_LAZY.spaghetti.wvr.yml.log 2023-08-18 17:19 21K
BuchiAutomaton FAIRNESS_LAZY.szymanski.yml.log 2023-08-18 17:10 27K
BuchiAutomaton FAIRNESS_LAZY.test-context1.wvr.yml.log 2023-08-18 17:19 127K
BuchiAutomaton FAIRNESS_LAZY.test-easy1.wvr.yml.log 2023-08-18 17:19 26K
BuchiAutomaton FAIRNESS_LAZY.test-easy10.wvr.yml.log 2023-08-18 17:19 27K
BuchiAutomaton FAIRNESS_LAZY.test-easy11.wvr.yml.log 2023-08-18 17:19 26K
BuchiAutomaton FAIRNESS_LAZY.test-easy6.wvr.yml.log 2023-08-18 17:19 26K
BuchiAutomaton FAIRNESS_LAZY.test-easy7.wvr.yml.log 2023-08-18 17:19 26K
BuchiAutomaton FAIRNESS_LAZY.test-hard1.wvr.yml.log 2023-08-18 17:19 27K
BuchiAutomaton FAIRNESS_LAZY.test-semi1.wvr.yml.log 2023-08-18 17:19 26K
BuchiAutomaton FAIRNESS_LAZY.time_var_mutex.yml.log 2023-08-18 17:10 26K
BuchiAutomaton FAIRNESS_LAZY.unroll-2.wvr.yml.log 2023-08-18 17:19 132K
BuchiAutomaton FAIRNESS_LAZY.unroll-3.wvr.yml.log 2023-08-18 17:19 77K
BuchiAutomaton FAIRNESS_LAZY.unroll-4.wvr.yml.log 2023-08-18 17:19 113K
BuchiAutomaton FAIRNESS_LAZY.unroll-5.wvr.yml.log 2023-08-18 17:19 142K
BuchiAutomaton FAIRNESS_LAZY.unroll-cond-2.wvr.yml.log 2023-08-18 17:19 81K
BuchiAutomaton FAIRNESS_LAZY.unroll-cond-3.wvr.yml.log 2023-08-18 17:19 146K
BuchiAutomaton FAIRNESS_LAZY.unroll-cond-4.wvr.yml.log 2023-08-18 17:19 148K
BuchiAutomaton FAIRNESS_LAZY.unroll-cond-5.wvr.yml.log 2023-08-18 17:19 112K
BuchiAutomaton NONE.arithmetic_prog_bad.yml.log 2023-08-18 16:54 165K
BuchiAutomaton NONE.arithmetic_prog_ok.yml.log 2023-08-18 16:54 165K
BuchiAutomaton NONE.array-eq-symm.wvr.yml.log 2023-08-18 16:43 774K
BuchiAutomaton NONE.array-eq-trans.wvr.yml.log 2023-08-18 16:44 1.7M
BuchiAutomaton NONE.bench-exp1x3.wvr.yml.log 2023-08-18 16:43 1.5M
BuchiAutomaton NONE.bench-exp2x3.wvr.yml.log 2023-08-18 16:43 2.2M
BuchiAutomaton NONE.bench-exp2x4.wvr.yml.log 2023-08-18 16:43 2.2M
BuchiAutomaton NONE.bench-exp2x6.wvr.yml.log 2023-08-18 16:43 2.2M
BuchiAutomaton NONE.bench-exp2x9.wvr.yml.log 2023-08-18 16:44 2.2M
BuchiAutomaton NONE.bench-exp3x3-opt.wvr.yml.log 2023-08-18 16:43 59K
BuchiAutomaton NONE.bench-exp3x3.wvr.yml.log 2023-08-18 16:44 3.0M
BuchiAutomaton NONE.chl-array-int-subst.wvr.yml.log 2023-08-18 16:44 232K
BuchiAutomaton NONE.chl-array-int-symm.wvr.yml.log 2023-08-18 16:43 821K
BuchiAutomaton NONE.chl-array-int-trans.wvr.yml.log 2023-08-18 16:45 309K
BuchiAutomaton NONE.chl-chromosome-opt-symm.wvr.yml.log 2023-08-18 16:44 1.0M
BuchiAutomaton NONE.chl-chromosome-subst.wvr.yml.log 2023-08-18 16:44 113K
BuchiAutomaton NONE.chl-chromosome-symm.wvr.yml.log 2023-08-18 16:44 822K
BuchiAutomaton NONE.chl-chromosome-trans.wvr.yml.log 2023-08-18 16:46 198K
BuchiAutomaton NONE.chl-collitem-subst.wvr.yml.log 2023-08-18 16:43 27K
BuchiAutomaton NONE.chl-collitem-symm.wvr.yml.log 2023-08-18 16:43 26K
BuchiAutomaton NONE.chl-collitem-trans.wvr.yml.log 2023-08-18 16:44 27K
BuchiAutomaton NONE.chl-exp-term-subst.wvr.yml.log 2023-08-18 16:44 26K
BuchiAutomaton NONE.chl-exp-term-symm.wvr.yml.log 2023-08-18 16:44 26K
BuchiAutomaton NONE.chl-file-item-subst.wvr.yml.log 2023-08-18 16:44 26K
BuchiAutomaton NONE.chl-file-item-symm.wvr.yml.log 2023-08-18 16:44 26K
BuchiAutomaton NONE.chl-file-item-trans.wvr.yml.log 2023-08-18 16:44 26K
BuchiAutomaton NONE.chl-match-subst.wvr.yml.log 2023-08-18 16:44 26K
BuchiAutomaton NONE.chl-match-symm.wvr.yml.log 2023-08-18 16:44 26K
BuchiAutomaton NONE.chl-match-trans.wvr.yml.log 2023-08-18 16:44 26K
BuchiAutomaton NONE.chl-name-comparator-subst.wvr.yml.log 2023-08-18 16:45 201K
BuchiAutomaton NONE.chl-name-comparator-symm.wvr.yml.log 2023-08-18 16:44 548K
BuchiAutomaton NONE.chl-name-comparator-trans.wvr.yml.log 2023-08-18 16:45 201K
BuchiAutomaton NONE.chl-node-subst.wvr.yml.log 2023-08-18 16:47 1.9M
BuchiAutomaton NONE.chl-node-symm.wvr.yml.log 2023-08-18 16:44 892K
BuchiAutomaton NONE.chl-node-trans.wvr.yml.log 2023-08-18 16:47 2.1M
BuchiAutomaton NONE.chl-nzb-file-subst.wvr.yml.log 2023-08-18 16:44 21K
BuchiAutomaton NONE.chl-nzb-file-symm.wvr.yml.log 2023-08-18 16:47 2.1M
BuchiAutomaton NONE.chl-nzb-file-trans.wvr.yml.log 2023-08-18 16:44 21K
BuchiAutomaton NONE.chl-simpl-str-subst.wvr.yml.log 2023-08-18 16:44 26K
BuchiAutomaton NONE.chl-simpl-str-symm.wvr.yml.log 2023-08-18 16:44 26K
BuchiAutomaton NONE.chl-simpl-str-trans.wvr.yml.log 2023-08-18 16:45 26K
BuchiAutomaton NONE.chl-sre-subst.wvr.yml.log 2023-08-18 16:45 26K
BuchiAutomaton NONE.chl-sre-symm.wvr.yml.log 2023-08-18 16:45 26K
BuchiAutomaton NONE.chl-sre-trans.wvr.yml.log 2023-08-18 16:45 26K
BuchiAutomaton NONE.chl-time-subst.wvr.yml.log 2023-08-18 16:45 27K
BuchiAutomaton NONE.chl-time-symm.wvr.yml.log 2023-08-18 16:45 26K
BuchiAutomaton NONE.chl-time-trans.wvr.yml.log 2023-08-18 16:45 27K
BuchiAutomaton NONE.chl-word-subst.wvr.yml.log 2023-08-18 16:48 1.7M
BuchiAutomaton NONE.chl-word-symm.wvr.yml.log 2023-08-18 16:45 821K
BuchiAutomaton NONE.chl-word-trans.wvr.yml.log 2023-08-18 16:47 1.5M
BuchiAutomaton NONE.circular_buffer_bad.yml.log 2023-08-18 16:54 647K
BuchiAutomaton NONE.circular_buffer_ok.yml.log 2023-08-18 16:54 480K
BuchiAutomaton NONE.clever.wvr.yml.log 2023-08-18 16:45 273K
BuchiAutomaton NONE.dekker.yml.log 2023-08-18 16:43 98K
BuchiAutomaton NONE.fibonacci.wvr.yml.log 2023-08-18 16:45 205K
BuchiAutomaton NONE.lamport.yml.log 2023-08-18 16:43 180K
BuchiAutomaton NONE.loop-tiling-eq.wvr.yml.log 2023-08-18 16:49 2.0M
BuchiAutomaton NONE.mult-comm.wvr.yml.log 2023-08-18 16:45 1.8M
BuchiAutomaton NONE.mult-dist.wvr.yml.log 2023-08-18 16:45 2.3M
BuchiAutomaton NONE.mult-flipped-dist.wvr.yml.log 2023-08-18 16:46 2.3M
BuchiAutomaton NONE.parallel-bakery-2.wvr.yml.log 2023-08-18 16:45 27K
BuchiAutomaton NONE.parallel-bakery-3.wvr.yml.log 2023-08-18 16:45 27K
BuchiAutomaton NONE.parallel-bakery-4.wvr.yml.log 2023-08-18 16:46 27K
BuchiAutomaton NONE.parallel-barrier-loop.wvr.yml.log 2023-08-18 16:46 22K
BuchiAutomaton NONE.parallel-barrier.wvr.yml.log 2023-08-18 16:47 27K
BuchiAutomaton NONE.parallel-bluetooth.wvr.yml.log 2023-08-18 16:46 26K
BuchiAutomaton NONE.parallel-lamport.wvr.yml.log 2023-08-18 16:46 146K
BuchiAutomaton NONE.parallel-min-max-1.wvr.yml.log 2023-08-18 16:46 535K
BuchiAutomaton NONE.parallel-misc-1.wvr.yml.log 2023-08-18 16:46 676K
BuchiAutomaton NONE.parallel-misc-2-unrolled-atomic.wvr.yml.log 2023-08-18 16:46 126K
BuchiAutomaton NONE.parallel-misc-2-unrolled.wvr.yml.log 2023-08-18 16:46 2.2M
BuchiAutomaton NONE.parallel-misc-2.wvr.yml.log 2023-08-18 16:47 4.9M
BuchiAutomaton NONE.parallel-misc-3-extended.wvr.yml.log 2023-08-18 16:46 69K
BuchiAutomaton NONE.parallel-misc-3.wvr.yml.log 2023-08-18 16:46 1.2M
BuchiAutomaton NONE.parallel-misc-4.wvr.yml.log 2023-08-18 16:46 539K
BuchiAutomaton NONE.parallel-misc-5.wvr.yml.log 2023-08-18 16:47 2.3M
BuchiAutomaton NONE.parallel-parallel-sum-1-dsl.wvr.yml.log 2023-08-18 16:46 22K
BuchiAutomaton NONE.parallel-parallel-sum-1.wvr.yml.log 2023-08-18 16:48 773K
BuchiAutomaton NONE.parallel-parallel-sum-2.wvr.yml.log 2023-08-18 16:46 22K
BuchiAutomaton NONE.parallel-parallel-sum-equiv.wvr.yml.log 2023-08-18 16:48 1.5M
BuchiAutomaton NONE.parallel-simple-equiv.wvr.yml.log 2023-08-18 16:47 27K
BuchiAutomaton NONE.parallel-ticket-2.wvr.yml.log 2023-08-18 16:47 26K
BuchiAutomaton NONE.parallel-ticket-3.wvr.yml.log 2023-08-18 16:47 27K
BuchiAutomaton NONE.parallel-ticket-4.wvr.yml.log 2023-08-18 16:47 27K
BuchiAutomaton NONE.parallel-ticket-5.wvr.yml.log 2023-08-18 16:47 27K
BuchiAutomaton NONE.parallel-ticket-6.wvr.yml.log 2023-08-18 16:48 27K
BuchiAutomaton NONE.parallel-ticket-7.wvr.yml.log 2023-08-18 16:47 22K
BuchiAutomaton NONE.parallel-ticket-8.wvr.yml.log 2023-08-18 16:47 22K
BuchiAutomaton NONE.peterson.yml.log 2023-08-18 16:43 95K
BuchiAutomaton NONE.popl20-bad-buffer-mult-alt.wvr.yml.log 2023-08-18 16:50 1.6M
BuchiAutomaton NONE.popl20-bad-buffer-mult-alt2.wvr.yml.log 2023-08-18 16:49 1.2M
BuchiAutomaton NONE.popl20-bad-counter-queue.wvr.yml.log 2023-08-18 16:48 477K
BuchiAutomaton NONE.popl20-bad-counter-queue2.wvr.yml.log 2023-08-18 16:48 408K
BuchiAutomaton NONE.popl20-bad-dot-product-alt.wvr.yml.log 2023-08-18 16:49 219K
BuchiAutomaton NONE.popl20-bad-dot-product.wvr.yml.log 2023-08-18 16:50 1.0M
BuchiAutomaton NONE.popl20-bad-ring-nondet.wvr.yml.log 2023-08-18 16:48 763K
BuchiAutomaton NONE.popl20-bad-threaded-sum-2.wvr.yml.log 2023-08-18 16:48 759K
BuchiAutomaton NONE.popl20-bad-three-array-sum-alt.wvr.yml.log 2023-08-18 16:49 212K
BuchiAutomaton NONE.popl20-channel-sum.wvr.yml.log 2023-08-18 16:48 1.4M
BuchiAutomaton NONE.popl20-commit-1.wvr.yml.log 2023-08-18 16:49 2.1M
BuchiAutomaton NONE.popl20-commit-2.wvr.yml.log 2023-08-18 16:51 1.7M
BuchiAutomaton NONE.popl20-counter-determinism.wvr.yml.log 2023-08-18 16:50 292K
BuchiAutomaton NONE.popl20-counter-fun.wvr.yml.log 2023-08-18 16:48 581K
BuchiAutomaton NONE.popl20-difference-det.wvr.yml.log 2023-08-18 16:50 319K
BuchiAutomaton NONE.popl20-figure1-alt.wvr.yml.log 2023-08-18 16:49 346K
BuchiAutomaton NONE.popl20-figure1.wvr.yml.log 2023-08-18 16:49 322K
BuchiAutomaton NONE.popl20-figure3.wvr.yml.log 2023-08-18 16:49 1.8M
BuchiAutomaton NONE.popl20-horseshoe.wvr.yml.log 2023-08-18 16:50 2.0M
BuchiAutomaton NONE.popl20-min-max-dec.wvr.yml.log 2023-08-18 16:50 686K
BuchiAutomaton NONE.popl20-min-max-inc-dec.wvr.yml.log 2023-08-18 16:50 84K
BuchiAutomaton NONE.popl20-min-max-inc.wvr.yml.log 2023-08-18 16:50 686K
BuchiAutomaton NONE.popl20-more-array-sum-alt.wvr.yml.log 2023-08-18 16:50 879K
BuchiAutomaton NONE.popl20-more-array-sum-alt2.wvr.yml.log 2023-08-18 16:50 579K
BuchiAutomaton NONE.popl20-more-array-sum.wvr.yml.log 2023-08-18 16:50 1.1M
BuchiAutomaton NONE.popl20-more-array-sum2.wvr.yml.log 2023-08-18 16:50 1.1M
BuchiAutomaton NONE.popl20-more-buffer-mult.wvr.yml.log 2023-08-18 16:52 1.6M
BuchiAutomaton NONE.popl20-more-buffer-mult2.wvr.yml.log 2023-08-18 16:51 1.4M
BuchiAutomaton NONE.popl20-more-buffer-series.wvr.yml.log 2023-08-18 16:53 1.8M
BuchiAutomaton NONE.popl20-more-buffer-series2.wvr.yml.log 2023-08-18 16:53 2.3M
BuchiAutomaton NONE.popl20-more-dec-subseq.wvr.yml.log 2023-08-18 16:51 1.6M
BuchiAutomaton NONE.popl20-more-inc-subseq.wvr.yml.log 2023-08-18 16:51 1.6M
BuchiAutomaton NONE.popl20-more-max-array-hom.wvr.yml.log 2023-08-18 16:50 630K
BuchiAutomaton NONE.popl20-more-max-array.wvr.yml.log 2023-08-18 16:51 657K
BuchiAutomaton NONE.popl20-more-min-array-hom.wvr.yml.log 2023-08-18 16:51 829K
BuchiAutomaton NONE.popl20-more-min-array.wvr.yml.log 2023-08-18 16:51 583K
BuchiAutomaton NONE.popl20-more-min-le-max.wvr.yml.log 2023-08-18 16:51 458K
BuchiAutomaton NONE.popl20-more-mts.wvr.yml.log 2023-08-18 16:52 821K
BuchiAutomaton NONE.popl20-more-multiply-verify.wvr.yml.log 2023-08-18 16:51 3.1M
BuchiAutomaton NONE.popl20-more-nonblocking-counter-alt2.wvr.yml.log 2023-08-18 16:51 1.8M
BuchiAutomaton NONE.popl20-more-queue-add-2-nl.wvr.yml.log 2023-08-18 16:51 678K
BuchiAutomaton NONE.popl20-more-queue-add-3-nl.wvr.yml.log 2023-08-18 16:52 1.2M
BuchiAutomaton NONE.popl20-more-sorted.wvr.yml.log 2023-08-18 16:52 387K
BuchiAutomaton NONE.popl20-more-sum-array-hom.wvr.yml.log 2023-08-18 16:51 585K
BuchiAutomaton NONE.popl20-more-vector-add.wvr.yml.log 2023-08-18 16:53 1.6M
BuchiAutomaton NONE.popl20-mult-4.wvr.yml.log 2023-08-18 16:52 2.6M
BuchiAutomaton NONE.popl20-mult-equiv.wvr.yml.log 2023-08-18 16:52 2.0M
BuchiAutomaton NONE.popl20-nonblocking-cntr-alt.wvr.yml.log 2023-08-18 16:51 117K
BuchiAutomaton NONE.popl20-nonblocking-cntr.wvr.yml.log 2023-08-18 16:51 86K
BuchiAutomaton NONE.popl20-prod-cons-eq.wvr.yml.log 2023-08-18 16:55 2.9M
BuchiAutomaton NONE.popl20-prod-cons.wvr.yml.log 2023-08-18 16:52 507K
BuchiAutomaton NONE.popl20-prod-cons3.wvr.yml.log 2023-08-18 16:54 1.5M
BuchiAutomaton NONE.popl20-proofs-counter-add-4-semi-Q67.wvr.yml.log 2023-08-18 16:52 478K
BuchiAutomaton NONE.popl20-queue-add-2.wvr.yml.log 2023-08-18 16:52 432K
BuchiAutomaton NONE.popl20-queue-add-3.wvr.yml.log 2023-08-18 16:56 2.4M
BuchiAutomaton NONE.popl20-send-receive-alt.wvr.yml.log 2023-08-18 16:52 1.0M
BuchiAutomaton NONE.popl20-send-receive.wvr.yml.log 2023-08-18 16:52 914K
BuchiAutomaton NONE.popl20-simple-array-sum.wvr.yml.log 2023-08-18 16:52 879K
BuchiAutomaton NONE.popl20-simple-queue.wvr.yml.log 2023-08-18 16:52 372K
BuchiAutomaton NONE.popl20-threaded-sum-3.wvr.yml.log 2023-08-18 16:52 964K
BuchiAutomaton NONE.popl20-three-array-max.wvr.yml.log 2023-08-18 16:55 1.7M
BuchiAutomaton NONE.popl20-three-array-min.wvr.yml.log 2023-08-18 16:54 1.3M
BuchiAutomaton NONE.popl20-three-array-sum.wvr.yml.log 2023-08-18 16:54 1.2M
BuchiAutomaton NONE.popl20-two-queue.wvr.yml.log 2023-08-18 16:54 1.8M
BuchiAutomaton NONE.pthread-demo-datarace-1.yml.log 2023-08-18 16:43 394K
BuchiAutomaton NONE.qw2004-2b.yml.log 2023-08-18 16:43 26K
BuchiAutomaton NONE.read_write_lock-1.yml.log 2023-08-18 16:43 27K
BuchiAutomaton NONE.read_write_lock-2.yml.log 2023-08-18 16:43 27K
BuchiAutomaton NONE.ring_2w1r-1.yml.log 2023-08-18 16:44 522K
BuchiAutomaton NONE.security.wvr.yml.log 2023-08-18 16:52 26K
BuchiAutomaton NONE.spaghetti.wvr.yml.log 2023-08-18 16:53 48K
BuchiAutomaton NONE.szymanski.yml.log 2023-08-18 16:43 138K
BuchiAutomaton NONE.test-context1.wvr.yml.log 2023-08-18 16:53 1.0M
BuchiAutomaton NONE.test-easy1.wvr.yml.log 2023-08-18 16:53 109K
BuchiAutomaton NONE.test-easy10.wvr.yml.log 2023-08-18 16:53 27K
BuchiAutomaton NONE.test-easy11.wvr.yml.log 2023-08-18 16:53 122K
BuchiAutomaton NONE.test-easy6.wvr.yml.log 2023-08-18 16:53 26K
BuchiAutomaton NONE.test-easy7.wvr.yml.log 2023-08-18 16:53 26K
BuchiAutomaton NONE.test-hard1.wvr.yml.log 2023-08-18 16:54 2.5M
BuchiAutomaton NONE.test-semi1.wvr.yml.log 2023-08-18 16:53 26K
BuchiAutomaton NONE.time_var_mutex.yml.log 2023-08-18 16:43 26K
BuchiAutomaton NONE.unroll-2.wvr.yml.log 2023-08-18 16:53 2.3M
BuchiAutomaton NONE.unroll-3.wvr.yml.log 2023-08-18 16:53 2.2M
BuchiAutomaton NONE.unroll-4.wvr.yml.log 2023-08-18 16:54 2.2M
BuchiAutomaton NONE.unroll-5.wvr.yml.log 2023-08-18 16:54 2.3M
BuchiAutomaton NONE.unroll-cond-2.wvr.yml.log 2023-08-18 16:54 2.2M
BuchiAutomaton NONE.unroll-cond-3.wvr.yml.log 2023-08-18 16:54 2.3M
BuchiAutomaton NONE.unroll-cond-4.wvr.yml.log 2023-08-18 16:54 2.3M
BuchiAutomaton NONE.unroll-cond-5.wvr.yml.log 2023-08-18 16:54 2.2M