Index of /logs/student-concurrency/20230908-151921-student-concurrency-42053ae134/termination-concurrency.2023-09-08_14-26-32.logfiles
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
BuchiAutomaton FAIRNESS_INTERSECTION.arithmetic_prog_bad.yml.log 2023-09-08 14:49 26K
BuchiAutomaton FAIRNESS_INTERSECTION.arithmetic_prog_ok.yml.log 2023-09-08 14:49 26K
BuchiAutomaton FAIRNESS_INTERSECTION.array-eq-symm.wvr.yml.log 2023-09-08 14:39 243K
BuchiAutomaton FAIRNESS_INTERSECTION.array-eq-trans.wvr.yml.log 2023-09-08 14:40 557K
BuchiAutomaton FAIRNESS_INTERSECTION.bench-exp1x3.wvr.yml.log 2023-09-08 14:39 26K
BuchiAutomaton FAIRNESS_INTERSECTION.bench-exp2x3.wvr.yml.log 2023-09-08 14:39 26K
BuchiAutomaton FAIRNESS_INTERSECTION.bench-exp2x4.wvr.yml.log 2023-09-08 14:39 26K
BuchiAutomaton FAIRNESS_INTERSECTION.bench-exp2x6.wvr.yml.log 2023-09-08 14:40 26K
BuchiAutomaton FAIRNESS_INTERSECTION.bench-exp2x9.wvr.yml.log 2023-09-08 14:39 21K
BuchiAutomaton FAIRNESS_INTERSECTION.bench-exp3x3-opt.wvr.yml.log 2023-09-08 14:39 21K
BuchiAutomaton FAIRNESS_INTERSECTION.bench-exp3x3.wvr.yml.log 2023-09-08 14:39 21K
BuchiAutomaton FAIRNESS_INTERSECTION.chl-array-int-subst.wvr.yml.log 2023-09-08 14:39 21K
BuchiAutomaton FAIRNESS_INTERSECTION.chl-array-int-symm.wvr.yml.log 2023-09-08 14:39 189K
BuchiAutomaton FAIRNESS_INTERSECTION.chl-array-int-trans.wvr.yml.log 2023-09-08 14:39 21K
BuchiAutomaton FAIRNESS_INTERSECTION.chl-chromosome-opt-symm.wvr.yml.log 2023-09-08 14:40 373K
BuchiAutomaton FAIRNESS_INTERSECTION.chl-chromosome-subst.wvr.yml.log 2023-09-08 14:40 21K
BuchiAutomaton FAIRNESS_INTERSECTION.chl-chromosome-symm.wvr.yml.log 2023-09-08 14:40 406K
BuchiAutomaton FAIRNESS_INTERSECTION.chl-chromosome-trans.wvr.yml.log 2023-09-08 14:40 21K
BuchiAutomaton FAIRNESS_INTERSECTION.chl-collitem-subst.wvr.yml.log 2023-09-08 14:40 27K
BuchiAutomaton FAIRNESS_INTERSECTION.chl-collitem-symm.wvr.yml.log 2023-09-08 14:40 26K
BuchiAutomaton FAIRNESS_INTERSECTION.chl-collitem-trans.wvr.yml.log 2023-09-08 14:40 27K
BuchiAutomaton FAIRNESS_INTERSECTION.chl-exp-term-subst.wvr.yml.log 2023-09-08 14:40 21K
BuchiAutomaton FAIRNESS_INTERSECTION.chl-exp-term-symm.wvr.yml.log 2023-09-08 14:40 26K
BuchiAutomaton FAIRNESS_INTERSECTION.chl-file-item-subst.wvr.yml.log 2023-09-08 14:40 21K
BuchiAutomaton FAIRNESS_INTERSECTION.chl-file-item-symm.wvr.yml.log 2023-09-08 14:40 26K
BuchiAutomaton FAIRNESS_INTERSECTION.chl-file-item-trans.wvr.yml.log 2023-09-08 14:40 21K
BuchiAutomaton FAIRNESS_INTERSECTION.chl-match-subst.wvr.yml.log 2023-09-08 14:40 21K
BuchiAutomaton FAIRNESS_INTERSECTION.chl-match-symm.wvr.yml.log 2023-09-08 14:40 26K
BuchiAutomaton FAIRNESS_INTERSECTION.chl-match-trans.wvr.yml.log 2023-09-08 14:40 21K
BuchiAutomaton FAIRNESS_INTERSECTION.chl-name-comparator-subst.wvr.yml.log 2023-09-08 14:41 21K
BuchiAutomaton FAIRNESS_INTERSECTION.chl-name-comparator-symm.wvr.yml.log 2023-09-08 14:41 139K
BuchiAutomaton FAIRNESS_INTERSECTION.chl-name-comparator-trans.wvr.yml.log 2023-09-08 14:41 21K
BuchiAutomaton FAIRNESS_INTERSECTION.chl-node-subst.wvr.yml.log 2023-09-08 14:41 21K
BuchiAutomaton FAIRNESS_INTERSECTION.chl-node-symm.wvr.yml.log 2023-09-08 14:42 893K
BuchiAutomaton FAIRNESS_INTERSECTION.chl-node-trans.wvr.yml.log 2023-09-08 14:41 21K
BuchiAutomaton FAIRNESS_INTERSECTION.chl-nzb-file-subst.wvr.yml.log 2023-09-08 14:41 21K
BuchiAutomaton FAIRNESS_INTERSECTION.chl-nzb-file-symm.wvr.yml.log 2023-09-08 14:44 562K
BuchiAutomaton FAIRNESS_INTERSECTION.chl-nzb-file-trans.wvr.yml.log 2023-09-08 14:41 21K
BuchiAutomaton FAIRNESS_INTERSECTION.chl-simpl-str-subst.wvr.yml.log 2023-09-08 14:41 21K
BuchiAutomaton FAIRNESS_INTERSECTION.chl-simpl-str-symm.wvr.yml.log 2023-09-08 14:42 26K
BuchiAutomaton FAIRNESS_INTERSECTION.chl-simpl-str-trans.wvr.yml.log 2023-09-08 14:42 21K
BuchiAutomaton FAIRNESS_INTERSECTION.chl-sre-subst.wvr.yml.log 2023-09-08 14:42 26K
BuchiAutomaton FAIRNESS_INTERSECTION.chl-sre-symm.wvr.yml.log 2023-09-08 14:42 26K
BuchiAutomaton FAIRNESS_INTERSECTION.chl-sre-trans.wvr.yml.log 2023-09-08 14:42 26K
BuchiAutomaton FAIRNESS_INTERSECTION.chl-time-subst.wvr.yml.log 2023-09-08 14:42 27K
BuchiAutomaton FAIRNESS_INTERSECTION.chl-time-symm.wvr.yml.log 2023-09-08 14:42 26K
BuchiAutomaton FAIRNESS_INTERSECTION.chl-time-trans.wvr.yml.log 2023-09-08 14:42 27K
BuchiAutomaton FAIRNESS_INTERSECTION.chl-word-subst.wvr.yml.log 2023-09-08 14:43 22K
BuchiAutomaton FAIRNESS_INTERSECTION.chl-word-symm.wvr.yml.log 2023-09-08 14:42 223K
BuchiAutomaton FAIRNESS_INTERSECTION.chl-word-trans.wvr.yml.log 2023-09-08 14:43 22K
BuchiAutomaton FAIRNESS_INTERSECTION.circular_buffer_bad.yml.log 2023-09-08 14:49 27K
BuchiAutomaton FAIRNESS_INTERSECTION.circular_buffer_ok.yml.log 2023-09-08 14:49 27K
BuchiAutomaton FAIRNESS_INTERSECTION.clever.wvr.yml.log 2023-09-08 14:42 26K
BuchiAutomaton FAIRNESS_INTERSECTION.dekker.yml.log 2023-09-08 14:39 27K
BuchiAutomaton FAIRNESS_INTERSECTION.fibonacci.wvr.yml.log 2023-09-08 14:42 26K
BuchiAutomaton FAIRNESS_INTERSECTION.lamport.yml.log 2023-09-08 14:39 27K
BuchiAutomaton FAIRNESS_INTERSECTION.loop-tiling-eq.wvr.yml.log 2023-09-08 14:46 1.1M
BuchiAutomaton FAIRNESS_INTERSECTION.mult-comm.wvr.yml.log 2023-09-08 14:42 26K
BuchiAutomaton FAIRNESS_INTERSECTION.mult-dist.wvr.yml.log 2023-09-08 14:42 26K
BuchiAutomaton FAIRNESS_INTERSECTION.mult-flipped-dist.wvr.yml.log 2023-09-08 14:42 26K
BuchiAutomaton FAIRNESS_INTERSECTION.parallel-bakery-2.wvr.yml.log 2023-09-08 14:42 26K
BuchiAutomaton FAIRNESS_INTERSECTION.parallel-bakery-3.wvr.yml.log 2023-09-08 14:42 27K
BuchiAutomaton FAIRNESS_INTERSECTION.parallel-bakery-4.wvr.yml.log 2023-09-08 14:42 21K
BuchiAutomaton FAIRNESS_INTERSECTION.parallel-barrier-loop.wvr.yml.log 2023-09-08 14:42 22K
BuchiAutomaton FAIRNESS_INTERSECTION.parallel-barrier.wvr.yml.log 2023-09-08 14:42 22K
BuchiAutomaton FAIRNESS_INTERSECTION.parallel-bluetooth.wvr.yml.log 2023-09-08 14:42 26K
BuchiAutomaton FAIRNESS_INTERSECTION.parallel-lamport.wvr.yml.log 2023-09-08 14:43 146K
BuchiAutomaton FAIRNESS_INTERSECTION.parallel-min-max-1.wvr.yml.log 2023-09-08 14:43 132K
BuchiAutomaton FAIRNESS_INTERSECTION.parallel-misc-1.wvr.yml.log 2023-09-08 14:44 159K
BuchiAutomaton FAIRNESS_INTERSECTION.parallel-misc-2-unrolled-atomic.wvr.yml.log 2023-09-08 14:43 27K
BuchiAutomaton FAIRNESS_INTERSECTION.parallel-misc-2-unrolled.wvr.yml.log 2023-09-08 14:43 27K
BuchiAutomaton FAIRNESS_INTERSECTION.parallel-misc-2.wvr.yml.log 2023-09-08 14:43 26K
BuchiAutomaton FAIRNESS_INTERSECTION.parallel-misc-3-extended.wvr.yml.log 2023-09-08 14:43 27K
BuchiAutomaton FAIRNESS_INTERSECTION.parallel-misc-3.wvr.yml.log 2023-09-08 14:43 26K
BuchiAutomaton FAIRNESS_INTERSECTION.parallel-misc-4.wvr.yml.log 2023-09-08 14:43 27K
BuchiAutomaton FAIRNESS_INTERSECTION.parallel-misc-5.wvr.yml.log 2023-09-08 14:43 27K
BuchiAutomaton FAIRNESS_INTERSECTION.parallel-parallel-sum-1-dsl.wvr.yml.log 2023-09-08 14:43 22K
BuchiAutomaton FAIRNESS_INTERSECTION.parallel-parallel-sum-1.wvr.yml.log 2023-09-08 14:43 22K
BuchiAutomaton FAIRNESS_INTERSECTION.parallel-parallel-sum-2.wvr.yml.log 2023-09-08 14:43 22K
BuchiAutomaton FAIRNESS_INTERSECTION.parallel-parallel-sum-equiv.wvr.yml.log 2023-09-08 14:46 132K
BuchiAutomaton FAIRNESS_INTERSECTION.parallel-simple-equiv.wvr.yml.log 2023-09-08 14:43 27K
BuchiAutomaton FAIRNESS_INTERSECTION.parallel-ticket-2.wvr.yml.log 2023-09-08 14:43 26K
BuchiAutomaton FAIRNESS_INTERSECTION.parallel-ticket-3.wvr.yml.log 2023-09-08 14:43 27K
BuchiAutomaton FAIRNESS_INTERSECTION.parallel-ticket-4.wvr.yml.log 2023-09-08 14:44 27K
BuchiAutomaton FAIRNESS_INTERSECTION.parallel-ticket-5.wvr.yml.log 2023-09-08 14:43 22K
BuchiAutomaton FAIRNESS_INTERSECTION.parallel-ticket-6.wvr.yml.log 2023-09-08 14:43 22K
BuchiAutomaton FAIRNESS_INTERSECTION.parallel-ticket-7.wvr.yml.log 2023-09-08 14:43 22K
BuchiAutomaton FAIRNESS_INTERSECTION.parallel-ticket-8.wvr.yml.log 2023-09-08 14:44 22K
BuchiAutomaton FAIRNESS_INTERSECTION.peterson.yml.log 2023-09-08 14:39 27K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-bad-buffer-mult-alt.wvr.yml.log 2023-09-08 14:45 188K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-bad-buffer-mult-alt2.wvr.yml.log 2023-09-08 14:45 148K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-bad-counter-queue.wvr.yml.log 2023-09-08 14:44 109K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-bad-counter-queue2.wvr.yml.log 2023-09-08 14:44 97K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-bad-dot-product-alt.wvr.yml.log 2023-09-08 14:44 22K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-bad-dot-product.wvr.yml.log 2023-09-08 14:45 22K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-bad-ring-nondet.wvr.yml.log 2023-09-08 14:45 424K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-bad-threaded-sum-2.wvr.yml.log 2023-09-08 14:44 26K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-bad-three-array-sum-alt.wvr.yml.log 2023-09-08 14:44 21K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-channel-sum.wvr.yml.log 2023-09-08 14:45 156K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-commit-1.wvr.yml.log 2023-09-08 14:45 469K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-commit-2.wvr.yml.log 2023-09-08 14:45 21K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-counter-determinism.wvr.yml.log 2023-09-08 14:46 27K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-counter-fun.wvr.yml.log 2023-09-08 14:45 286K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-difference-det.wvr.yml.log 2023-09-08 14:46 27K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-figure1-alt.wvr.yml.log 2023-09-08 14:45 26K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-figure1.wvr.yml.log 2023-09-08 14:45 26K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-figure3.wvr.yml.log 2023-09-08 14:45 26K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-horseshoe.wvr.yml.log 2023-09-08 14:45 249K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-min-max-dec.wvr.yml.log 2023-09-08 14:48 169K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-min-max-inc-dec.wvr.yml.log 2023-09-08 14:45 22K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-min-max-inc.wvr.yml.log 2023-09-08 14:48 169K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-more-array-sum-alt.wvr.yml.log 2023-09-08 14:46 189K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-more-array-sum-alt2.wvr.yml.log 2023-09-08 14:46 163K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-more-array-sum.wvr.yml.log 2023-09-08 14:46 327K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-more-array-sum2.wvr.yml.log 2023-09-08 14:46 310K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-more-buffer-mult.wvr.yml.log 2023-09-08 14:47 192K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-more-buffer-mult2.wvr.yml.log 2023-09-08 14:47 190K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-more-buffer-series.wvr.yml.log 2023-09-08 14:48 148K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-more-buffer-series2.wvr.yml.log 2023-09-08 14:48 241K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-more-dec-subseq.wvr.yml.log 2023-09-08 14:46 282K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-more-inc-subseq.wvr.yml.log 2023-09-08 14:46 282K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-more-max-array-hom.wvr.yml.log 2023-09-08 14:46 164K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-more-max-array.wvr.yml.log 2023-09-08 14:46 161K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-more-min-array-hom.wvr.yml.log 2023-09-08 14:46 162K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-more-min-array.wvr.yml.log 2023-09-08 14:46 161K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-more-min-le-max.wvr.yml.log 2023-09-08 14:46 149K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-more-mts.wvr.yml.log 2023-09-08 14:49 152K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-more-multiply-verify.wvr.yml.log 2023-09-08 14:47 146K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-more-nonblocking-counter-alt2.wvr.yml.log 2023-09-08 14:46 26K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-more-queue-add-2-nl.wvr.yml.log 2023-09-08 14:47 156K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-more-queue-add-3-nl.wvr.yml.log 2023-09-08 14:47 274K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-more-sorted.wvr.yml.log 2023-09-08 14:48 119K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-more-sum-array-hom.wvr.yml.log 2023-09-08 14:47 109K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-more-vector-add.wvr.yml.log 2023-09-08 14:49 2.0M
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-mult-4.wvr.yml.log 2023-09-08 14:48 27K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-mult-equiv.wvr.yml.log 2023-09-08 14:47 27K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-nonblocking-cntr-alt.wvr.yml.log 2023-09-08 14:47 26K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-nonblocking-cntr.wvr.yml.log 2023-09-08 14:47 26K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-prod-cons-eq.wvr.yml.log 2023-09-08 14:50 1.4M
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-prod-cons.wvr.yml.log 2023-09-08 14:47 176K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-prod-cons3.wvr.yml.log 2023-09-08 14:49 197K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-proofs-counter-add-4-semi-Q67.wvr.yml.log 2023-09-08 14:47 27K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-queue-add-2.wvr.yml.log 2023-09-08 14:47 106K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-queue-add-3.wvr.yml.log 2023-09-08 14:48 245K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-send-receive-alt.wvr.yml.log 2023-09-08 14:48 110K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-send-receive.wvr.yml.log 2023-09-08 14:48 148K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-simple-array-sum.wvr.yml.log 2023-09-08 14:48 344K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-simple-queue.wvr.yml.log 2023-09-08 14:48 130K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-threaded-sum-3.wvr.yml.log 2023-09-08 14:48 27K
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-three-array-max.wvr.yml.log 2023-09-08 14:52 2.4M
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-three-array-min.wvr.yml.log 2023-09-08 14:52 2.4M
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-three-array-sum.wvr.yml.log 2023-09-08 14:52 2.8M
BuchiAutomaton FAIRNESS_INTERSECTION.popl20-two-queue.wvr.yml.log 2023-09-08 14:48 304K
BuchiAutomaton FAIRNESS_INTERSECTION.pthread-demo-datarace-1.yml.log 2023-09-08 14:40 935K
BuchiAutomaton FAIRNESS_INTERSECTION.qw2004-2b.yml.log 2023-09-08 14:39 26K
BuchiAutomaton FAIRNESS_INTERSECTION.read_write_lock-1.yml.log 2023-09-08 14:41 27K
BuchiAutomaton FAIRNESS_INTERSECTION.read_write_lock-2.yml.log 2023-09-08 14:39 21K
BuchiAutomaton FAIRNESS_INTERSECTION.ring_2w1r-1.yml.log 2023-09-08 14:42 372K
BuchiAutomaton FAIRNESS_INTERSECTION.security.wvr.yml.log 2023-09-08 14:48 26K
BuchiAutomaton FAIRNESS_INTERSECTION.spaghetti.wvr.yml.log 2023-09-08 14:48 21K
BuchiAutomaton FAIRNESS_INTERSECTION.szymanski.yml.log 2023-09-08 14:39 27K
BuchiAutomaton FAIRNESS_INTERSECTION.test-context1.wvr.yml.log 2023-09-08 14:48 128K
BuchiAutomaton FAIRNESS_INTERSECTION.test-easy1.wvr.yml.log 2023-09-08 14:48 26K
BuchiAutomaton FAIRNESS_INTERSECTION.test-easy10.wvr.yml.log 2023-09-08 14:49 27K
BuchiAutomaton FAIRNESS_INTERSECTION.test-easy11.wvr.yml.log 2023-09-08 14:48 26K
BuchiAutomaton FAIRNESS_INTERSECTION.test-easy6.wvr.yml.log 2023-09-08 14:48 26K
BuchiAutomaton FAIRNESS_INTERSECTION.test-easy7.wvr.yml.log 2023-09-08 14:48 26K
BuchiAutomaton FAIRNESS_INTERSECTION.test-hard1.wvr.yml.log 2023-09-08 14:49 27K
BuchiAutomaton FAIRNESS_INTERSECTION.test-semi1.wvr.yml.log 2023-09-08 14:48 26K
BuchiAutomaton FAIRNESS_INTERSECTION.time_var_mutex.yml.log 2023-09-08 14:39 27K
BuchiAutomaton FAIRNESS_INTERSECTION.unroll-2.wvr.yml.log 2023-09-08 14:48 132K
BuchiAutomaton FAIRNESS_INTERSECTION.unroll-3.wvr.yml.log 2023-09-08 14:49 77K
BuchiAutomaton FAIRNESS_INTERSECTION.unroll-4.wvr.yml.log 2023-09-08 14:49 113K
BuchiAutomaton FAIRNESS_INTERSECTION.unroll-5.wvr.yml.log 2023-09-08 14:49 142K
BuchiAutomaton FAIRNESS_INTERSECTION.unroll-cond-2.wvr.yml.log 2023-09-08 14:49 81K
BuchiAutomaton FAIRNESS_INTERSECTION.unroll-cond-3.wvr.yml.log 2023-09-08 14:49 146K
BuchiAutomaton FAIRNESS_INTERSECTION.unroll-cond-4.wvr.yml.log 2023-09-08 14:49 148K
BuchiAutomaton FAIRNESS_INTERSECTION.unroll-cond-5.wvr.yml.log 2023-09-08 14:49 112K
BuchiAutomaton FAIRNESS_LAZY.arithmetic_prog_bad.yml.log 2023-09-08 15:17 1.4M
BuchiAutomaton FAIRNESS_LAZY.arithmetic_prog_ok.yml.log 2023-09-08 15:17 1.5M
BuchiAutomaton FAIRNESS_LAZY.array-eq-symm.wvr.yml.log 2023-09-08 14:56 3.3M
BuchiAutomaton FAIRNESS_LAZY.array-eq-trans.wvr.yml.log 2023-09-08 14:55 365K
BuchiAutomaton FAIRNESS_LAZY.bench-exp1x3.wvr.yml.log 2023-09-08 14:53 1.6M
BuchiAutomaton FAIRNESS_LAZY.bench-exp2x3.wvr.yml.log 2023-09-08 14:53 2.8M
BuchiAutomaton FAIRNESS_LAZY.bench-exp2x4.wvr.yml.log 2023-09-08 14:54 2.8M
BuchiAutomaton FAIRNESS_LAZY.bench-exp2x6.wvr.yml.log 2023-09-08 14:54 22K
BuchiAutomaton FAIRNESS_LAZY.bench-exp2x9.wvr.yml.log 2023-09-08 14:53 21K
BuchiAutomaton FAIRNESS_LAZY.bench-exp3x3-opt.wvr.yml.log 2023-09-08 14:53 21K
BuchiAutomaton FAIRNESS_LAZY.bench-exp3x3.wvr.yml.log 2023-09-08 14:53 21K
BuchiAutomaton FAIRNESS_LAZY.chl-array-int-subst.wvr.yml.log 2023-09-08 14:57 26K
BuchiAutomaton FAIRNESS_LAZY.chl-array-int-symm.wvr.yml.log 2023-09-08 14:54 1.0M
BuchiAutomaton FAIRNESS_LAZY.chl-array-int-trans.wvr.yml.log 2023-09-08 14:58 26K
BuchiAutomaton FAIRNESS_LAZY.chl-chromosome-opt-symm.wvr.yml.log 2023-09-08 14:57 4.9M
BuchiAutomaton FAIRNESS_LAZY.chl-chromosome-subst.wvr.yml.log 2023-09-08 14:58 27K
BuchiAutomaton FAIRNESS_LAZY.chl-chromosome-symm.wvr.yml.log 2023-09-08 14:58 2.2M
BuchiAutomaton FAIRNESS_LAZY.chl-chromosome-trans.wvr.yml.log 2023-09-08 14:58 26K
BuchiAutomaton FAIRNESS_LAZY.chl-collitem-subst.wvr.yml.log 2023-09-08 14:54 27K
BuchiAutomaton FAIRNESS_LAZY.chl-collitem-symm.wvr.yml.log 2023-09-08 14:54 26K
BuchiAutomaton FAIRNESS_LAZY.chl-collitem-trans.wvr.yml.log 2023-09-08 14:54 27K
BuchiAutomaton FAIRNESS_LAZY.chl-exp-term-subst.wvr.yml.log 2023-09-08 14:54 21K
BuchiAutomaton FAIRNESS_LAZY.chl-exp-term-symm.wvr.yml.log 2023-09-08 14:54 26K
BuchiAutomaton FAIRNESS_LAZY.chl-file-item-subst.wvr.yml.log 2023-09-08 14:54 21K
BuchiAutomaton FAIRNESS_LAZY.chl-file-item-symm.wvr.yml.log 2023-09-08 14:55 26K
BuchiAutomaton FAIRNESS_LAZY.chl-file-item-trans.wvr.yml.log 2023-09-08 14:55 21K
BuchiAutomaton FAIRNESS_LAZY.chl-match-subst.wvr.yml.log 2023-09-08 14:55 21K
BuchiAutomaton FAIRNESS_LAZY.chl-match-symm.wvr.yml.log 2023-09-08 14:55 26K
BuchiAutomaton FAIRNESS_LAZY.chl-match-trans.wvr.yml.log 2023-09-08 14:55 21K
BuchiAutomaton FAIRNESS_LAZY.chl-name-comparator-subst.wvr.yml.log 2023-09-08 14:59 26K
BuchiAutomaton FAIRNESS_LAZY.chl-name-comparator-symm.wvr.yml.log 2023-09-08 14:57 816K
BuchiAutomaton FAIRNESS_LAZY.chl-name-comparator-trans.wvr.yml.log 2023-09-08 15:00 27K
BuchiAutomaton FAIRNESS_LAZY.chl-node-subst.wvr.yml.log 2023-09-08 14:57 21K
BuchiAutomaton FAIRNESS_LAZY.chl-node-symm.wvr.yml.log 2023-09-08 14:58 896K
BuchiAutomaton FAIRNESS_LAZY.chl-node-trans.wvr.yml.log 2023-09-08 14:57 21K
BuchiAutomaton FAIRNESS_LAZY.chl-nzb-file-subst.wvr.yml.log 2023-09-08 15:02 27K
BuchiAutomaton FAIRNESS_LAZY.chl-nzb-file-symm.wvr.yml.log 2023-09-08 15:02 27K
BuchiAutomaton FAIRNESS_LAZY.chl-nzb-file-trans.wvr.yml.log 2023-09-08 15:02 26K
BuchiAutomaton FAIRNESS_LAZY.chl-simpl-str-subst.wvr.yml.log 2023-09-08 14:57 21K
BuchiAutomaton FAIRNESS_LAZY.chl-simpl-str-symm.wvr.yml.log 2023-09-08 14:57 26K
BuchiAutomaton FAIRNESS_LAZY.chl-simpl-str-trans.wvr.yml.log 2023-09-08 14:57 21K
BuchiAutomaton FAIRNESS_LAZY.chl-sre-subst.wvr.yml.log 2023-09-08 14:58 26K
BuchiAutomaton FAIRNESS_LAZY.chl-sre-symm.wvr.yml.log 2023-09-08 14:58 26K
BuchiAutomaton FAIRNESS_LAZY.chl-sre-trans.wvr.yml.log 2023-09-08 14:58 26K
BuchiAutomaton FAIRNESS_LAZY.chl-time-subst.wvr.yml.log 2023-09-08 14:58 27K
BuchiAutomaton FAIRNESS_LAZY.chl-time-symm.wvr.yml.log 2023-09-08 14:58 26K
BuchiAutomaton FAIRNESS_LAZY.chl-time-trans.wvr.yml.log 2023-09-08 14:58 27K
BuchiAutomaton FAIRNESS_LAZY.chl-word-subst.wvr.yml.log 2023-09-08 14:58 21K
BuchiAutomaton FAIRNESS_LAZY.chl-word-symm.wvr.yml.log 2023-09-08 15:02 7.9M
BuchiAutomaton FAIRNESS_LAZY.chl-word-trans.wvr.yml.log 2023-09-08 14:58 21K
BuchiAutomaton FAIRNESS_LAZY.circular_buffer_bad.yml.log 2023-09-08 15:19 1.3M
BuchiAutomaton FAIRNESS_LAZY.circular_buffer_ok.yml.log 2023-09-08 15:18 1.0M
BuchiAutomaton FAIRNESS_LAZY.clever.wvr.yml.log 2023-09-08 14:59 814K
BuchiAutomaton FAIRNESS_LAZY.dekker.yml.log 2023-09-08 14:52 206K
BuchiAutomaton FAIRNESS_LAZY.fibonacci.wvr.yml.log 2023-09-08 15:00 371K
BuchiAutomaton FAIRNESS_LAZY.lamport.yml.log 2023-09-08 14:53 313K
BuchiAutomaton FAIRNESS_LAZY.loop-tiling-eq.wvr.yml.log 2023-09-08 15:03 2.1M
BuchiAutomaton FAIRNESS_LAZY.mult-comm.wvr.yml.log 2023-09-08 15:00 2.0M
BuchiAutomaton FAIRNESS_LAZY.mult-dist.wvr.yml.log 2023-09-08 15:00 2.7M
BuchiAutomaton FAIRNESS_LAZY.mult-flipped-dist.wvr.yml.log 2023-09-08 15:01 2.7M
BuchiAutomaton FAIRNESS_LAZY.parallel-bakery-2.wvr.yml.log 2023-09-08 15:00 26K
BuchiAutomaton FAIRNESS_LAZY.parallel-bakery-3.wvr.yml.log 2023-09-08 15:01 27K
BuchiAutomaton FAIRNESS_LAZY.parallel-bakery-4.wvr.yml.log 2023-09-08 15:01 21K
BuchiAutomaton FAIRNESS_LAZY.parallel-barrier-loop.wvr.yml.log 2023-09-08 15:05 30K
BuchiAutomaton FAIRNESS_LAZY.parallel-barrier.wvr.yml.log 2023-09-08 15:01 22K
BuchiAutomaton FAIRNESS_LAZY.parallel-bluetooth.wvr.yml.log 2023-09-08 15:01 26K
BuchiAutomaton FAIRNESS_LAZY.parallel-lamport.wvr.yml.log 2023-09-08 15:01 149K
BuchiAutomaton FAIRNESS_LAZY.parallel-min-max-1.wvr.yml.log 2023-09-08 15:02 1.0M
BuchiAutomaton FAIRNESS_LAZY.parallel-misc-1.wvr.yml.log 2023-09-08 15:03 152K
BuchiAutomaton FAIRNESS_LAZY.parallel-misc-2-unrolled-atomic.wvr.yml.log 2023-09-08 15:01 206K
BuchiAutomaton FAIRNESS_LAZY.parallel-misc-2-unrolled.wvr.yml.log 2023-09-08 15:01 2.5M
BuchiAutomaton FAIRNESS_LAZY.parallel-misc-2.wvr.yml.log 2023-09-08 15:03 7.1M
BuchiAutomaton FAIRNESS_LAZY.parallel-misc-3-extended.wvr.yml.log 2023-09-08 15:03 84K
BuchiAutomaton FAIRNESS_LAZY.parallel-misc-3.wvr.yml.log 2023-09-08 15:02 1.9M
BuchiAutomaton FAIRNESS_LAZY.parallel-misc-4.wvr.yml.log 2023-09-08 15:02 1.1M
BuchiAutomaton FAIRNESS_LAZY.parallel-misc-5.wvr.yml.log 2023-09-08 15:03 3.1M
BuchiAutomaton FAIRNESS_LAZY.parallel-parallel-sum-1-dsl.wvr.yml.log 2023-09-08 15:02 22K
BuchiAutomaton FAIRNESS_LAZY.parallel-parallel-sum-1.wvr.yml.log 2023-09-08 15:02 21K
BuchiAutomaton FAIRNESS_LAZY.parallel-parallel-sum-2.wvr.yml.log 2023-09-08 15:06 28K
BuchiAutomaton FAIRNESS_LAZY.parallel-parallel-sum-equiv.wvr.yml.log 2023-09-08 15:04 22K
BuchiAutomaton FAIRNESS_LAZY.parallel-simple-equiv.wvr.yml.log 2023-09-08 15:02 27K
BuchiAutomaton FAIRNESS_LAZY.parallel-ticket-2.wvr.yml.log 2023-09-08 15:02 26K
BuchiAutomaton FAIRNESS_LAZY.parallel-ticket-3.wvr.yml.log 2023-09-08 15:02 27K
BuchiAutomaton FAIRNESS_LAZY.parallel-ticket-4.wvr.yml.log 2023-09-08 15:03 27K
BuchiAutomaton FAIRNESS_LAZY.parallel-ticket-5.wvr.yml.log 2023-09-08 15:02 22K
BuchiAutomaton FAIRNESS_LAZY.parallel-ticket-6.wvr.yml.log 2023-09-08 15:03 22K
BuchiAutomaton FAIRNESS_LAZY.parallel-ticket-7.wvr.yml.log 2023-09-08 15:03 22K
BuchiAutomaton FAIRNESS_LAZY.parallel-ticket-8.wvr.yml.log 2023-09-08 15:07 30K
BuchiAutomaton FAIRNESS_LAZY.peterson.yml.log 2023-09-08 14:53 745K
BuchiAutomaton FAIRNESS_LAZY.popl20-bad-buffer-mult-alt.wvr.yml.log 2023-09-08 15:05 190K
BuchiAutomaton FAIRNESS_LAZY.popl20-bad-buffer-mult-alt2.wvr.yml.log 2023-09-08 15:05 149K
BuchiAutomaton FAIRNESS_LAZY.popl20-bad-counter-queue.wvr.yml.log 2023-09-08 15:04 752K
BuchiAutomaton FAIRNESS_LAZY.popl20-bad-counter-queue2.wvr.yml.log 2023-09-08 15:04 1.2M
BuchiAutomaton FAIRNESS_LAZY.popl20-bad-dot-product-alt.wvr.yml.log 2023-09-08 15:08 27K
BuchiAutomaton FAIRNESS_LAZY.popl20-bad-dot-product.wvr.yml.log 2023-09-08 15:04 21K
BuchiAutomaton FAIRNESS_LAZY.popl20-bad-ring-nondet.wvr.yml.log 2023-09-08 15:06 312K
BuchiAutomaton FAIRNESS_LAZY.popl20-bad-threaded-sum-2.wvr.yml.log 2023-09-08 15:05 2.0M
BuchiAutomaton FAIRNESS_LAZY.popl20-bad-three-array-sum-alt.wvr.yml.log 2023-09-08 15:04 21K
BuchiAutomaton FAIRNESS_LAZY.popl20-channel-sum.wvr.yml.log 2023-09-08 15:05 828K
BuchiAutomaton FAIRNESS_LAZY.popl20-commit-1.wvr.yml.log 2023-09-08 15:06 786K
BuchiAutomaton FAIRNESS_LAZY.popl20-commit-2.wvr.yml.log 2023-09-08 15:09 27K
BuchiAutomaton FAIRNESS_LAZY.popl20-counter-determinism.wvr.yml.log 2023-09-08 15:06 22K
BuchiAutomaton FAIRNESS_LAZY.popl20-counter-fun.wvr.yml.log 2023-09-08 15:06 1.5M
BuchiAutomaton FAIRNESS_LAZY.popl20-difference-det.wvr.yml.log 2023-09-08 15:07 22K
BuchiAutomaton FAIRNESS_LAZY.popl20-figure1-alt.wvr.yml.log 2023-09-08 15:06 260K
BuchiAutomaton FAIRNESS_LAZY.popl20-figure1.wvr.yml.log 2023-09-08 15:06 240K
BuchiAutomaton FAIRNESS_LAZY.popl20-figure3.wvr.yml.log 2023-09-08 15:06 2.2M
BuchiAutomaton FAIRNESS_LAZY.popl20-horseshoe.wvr.yml.log 2023-09-08 15:09 1.2M
BuchiAutomaton FAIRNESS_LAZY.popl20-min-max-dec.wvr.yml.log 2023-09-08 15:07 22K
BuchiAutomaton FAIRNESS_LAZY.popl20-min-max-inc-dec.wvr.yml.log 2023-09-08 15:06 22K
BuchiAutomaton FAIRNESS_LAZY.popl20-min-max-inc.wvr.yml.log 2023-09-08 15:08 162K
BuchiAutomaton FAIRNESS_LAZY.popl20-more-array-sum-alt.wvr.yml.log 2023-09-08 15:10 1.2M
BuchiAutomaton FAIRNESS_LAZY.popl20-more-array-sum-alt2.wvr.yml.log 2023-09-08 15:10 1.1M
BuchiAutomaton FAIRNESS_LAZY.popl20-more-array-sum.wvr.yml.log 2023-09-08 15:08 763K
BuchiAutomaton FAIRNESS_LAZY.popl20-more-array-sum2.wvr.yml.log 2023-09-08 15:10 1.8M
BuchiAutomaton FAIRNESS_LAZY.popl20-more-buffer-mult.wvr.yml.log 2023-09-08 15:08 22K
BuchiAutomaton FAIRNESS_LAZY.popl20-more-buffer-mult2.wvr.yml.log 2023-09-08 15:10 193K
BuchiAutomaton FAIRNESS_LAZY.popl20-more-buffer-series.wvr.yml.log 2023-09-08 15:10 149K
BuchiAutomaton FAIRNESS_LAZY.popl20-more-buffer-series2.wvr.yml.log 2023-09-08 15:09 193K
BuchiAutomaton FAIRNESS_LAZY.popl20-more-dec-subseq.wvr.yml.log 2023-09-08 15:11 4.0M
BuchiAutomaton FAIRNESS_LAZY.popl20-more-inc-subseq.wvr.yml.log 2023-09-08 15:11 4.1M
BuchiAutomaton FAIRNESS_LAZY.popl20-more-max-array-hom.wvr.yml.log 2023-09-08 15:12 1.4M
BuchiAutomaton FAIRNESS_LAZY.popl20-more-max-array.wvr.yml.log 2023-09-08 15:12 1.5M
BuchiAutomaton FAIRNESS_LAZY.popl20-more-min-array-hom.wvr.yml.log 2023-09-08 15:12 1.0M
BuchiAutomaton FAIRNESS_LAZY.popl20-more-min-array.wvr.yml.log 2023-09-08 15:12 972K
BuchiAutomaton FAIRNESS_LAZY.popl20-more-min-le-max.wvr.yml.log 2023-09-08 15:10 711K
BuchiAutomaton FAIRNESS_LAZY.popl20-more-mts.wvr.yml.log 2023-09-08 15:11 22K
BuchiAutomaton FAIRNESS_LAZY.popl20-more-multiply-verify.wvr.yml.log 2023-09-08 15:11 1.2M
BuchiAutomaton FAIRNESS_LAZY.popl20-more-nonblocking-counter-alt2.wvr.yml.log 2023-09-08 15:10 1.9M
BuchiAutomaton FAIRNESS_LAZY.popl20-more-queue-add-2-nl.wvr.yml.log 2023-09-08 15:11 743K
BuchiAutomaton FAIRNESS_LAZY.popl20-more-queue-add-3-nl.wvr.yml.log 2023-09-08 15:11 692K
BuchiAutomaton FAIRNESS_LAZY.popl20-more-sorted.wvr.yml.log 2023-09-08 15:11 120K
BuchiAutomaton FAIRNESS_LAZY.popl20-more-sum-array-hom.wvr.yml.log 2023-09-08 15:11 261K
BuchiAutomaton FAIRNESS_LAZY.popl20-more-vector-add.wvr.yml.log 2023-09-08 15:12 160K
BuchiAutomaton FAIRNESS_LAZY.popl20-mult-4.wvr.yml.log 2023-09-08 15:12 22K
BuchiAutomaton FAIRNESS_LAZY.popl20-mult-equiv.wvr.yml.log 2023-09-08 15:14 2.5M
BuchiAutomaton FAIRNESS_LAZY.popl20-nonblocking-cntr-alt.wvr.yml.log 2023-09-08 15:11 1.0M
BuchiAutomaton FAIRNESS_LAZY.popl20-nonblocking-cntr.wvr.yml.log 2023-09-08 15:15 6.2M
BuchiAutomaton FAIRNESS_LAZY.popl20-prod-cons-eq.wvr.yml.log 2023-09-08 15:15 119K
BuchiAutomaton FAIRNESS_LAZY.popl20-prod-cons.wvr.yml.log 2023-09-08 15:12 744K
BuchiAutomaton FAIRNESS_LAZY.popl20-prod-cons3.wvr.yml.log 2023-09-08 15:14 195K
BuchiAutomaton FAIRNESS_LAZY.popl20-proofs-counter-add-4-semi-Q67.wvr.yml.log 2023-09-08 15:13 140K
BuchiAutomaton FAIRNESS_LAZY.popl20-queue-add-2.wvr.yml.log 2023-09-08 15:12 832K
BuchiAutomaton FAIRNESS_LAZY.popl20-queue-add-3.wvr.yml.log 2023-09-08 15:15 1.5M
BuchiAutomaton FAIRNESS_LAZY.popl20-send-receive-alt.wvr.yml.log 2023-09-08 15:13 822K
BuchiAutomaton FAIRNESS_LAZY.popl20-send-receive.wvr.yml.log 2023-09-08 15:16 1.5M
BuchiAutomaton FAIRNESS_LAZY.popl20-simple-array-sum.wvr.yml.log 2023-09-08 15:14 911K
BuchiAutomaton FAIRNESS_LAZY.popl20-simple-queue.wvr.yml.log 2023-09-08 15:13 511K
BuchiAutomaton FAIRNESS_LAZY.popl20-threaded-sum-3.wvr.yml.log 2023-09-08 15:13 2.9M
BuchiAutomaton FAIRNESS_LAZY.popl20-three-array-max.wvr.yml.log 2023-09-08 15:14 246K
BuchiAutomaton FAIRNESS_LAZY.popl20-three-array-min.wvr.yml.log 2023-09-08 15:15 242K
BuchiAutomaton FAIRNESS_LAZY.popl20-three-array-sum.wvr.yml.log 2023-09-08 15:14 271K
BuchiAutomaton FAIRNESS_LAZY.popl20-two-queue.wvr.yml.log 2023-09-08 15:17 1.2M
BuchiAutomaton FAIRNESS_LAZY.pthread-demo-datarace-1.yml.log 2023-09-08 14:53 907K
BuchiAutomaton FAIRNESS_LAZY.qw2004-2b.yml.log 2023-09-08 14:52 26K
BuchiAutomaton FAIRNESS_LAZY.read_write_lock-1.yml.log 2023-09-08 14:54 27K
BuchiAutomaton FAIRNESS_LAZY.read_write_lock-2.yml.log 2023-09-08 14:52 21K
BuchiAutomaton FAIRNESS_LAZY.ring_2w1r-1.yml.log 2023-09-08 14:52 24K
BuchiAutomaton FAIRNESS_LAZY.security.wvr.yml.log 2023-09-08 15:13 26K
BuchiAutomaton FAIRNESS_LAZY.spaghetti.wvr.yml.log 2023-09-08 15:13 21K
BuchiAutomaton FAIRNESS_LAZY.szymanski.yml.log 2023-09-08 14:53 275K
BuchiAutomaton FAIRNESS_LAZY.test-context1.wvr.yml.log 2023-09-08 15:13 538K
BuchiAutomaton FAIRNESS_LAZY.test-easy1.wvr.yml.log 2023-09-08 15:15 500K
BuchiAutomaton FAIRNESS_LAZY.test-easy10.wvr.yml.log 2023-09-08 15:15 27K
BuchiAutomaton FAIRNESS_LAZY.test-easy11.wvr.yml.log 2023-09-08 15:14 288K
BuchiAutomaton FAIRNESS_LAZY.test-easy6.wvr.yml.log 2023-09-08 15:14 26K
BuchiAutomaton FAIRNESS_LAZY.test-easy7.wvr.yml.log 2023-09-08 15:14 26K
BuchiAutomaton FAIRNESS_LAZY.test-hard1.wvr.yml.log 2023-09-08 15:15 70K
BuchiAutomaton FAIRNESS_LAZY.test-semi1.wvr.yml.log 2023-09-08 15:14 26K
BuchiAutomaton FAIRNESS_LAZY.time_var_mutex.yml.log 2023-09-08 14:52 27K
BuchiAutomaton FAIRNESS_LAZY.unroll-2.wvr.yml.log 2023-09-08 15:15 2.7M
BuchiAutomaton FAIRNESS_LAZY.unroll-3.wvr.yml.log 2023-09-08 15:15 2.8M
BuchiAutomaton FAIRNESS_LAZY.unroll-4.wvr.yml.log 2023-09-08 15:15 2.9M
BuchiAutomaton FAIRNESS_LAZY.unroll-5.wvr.yml.log 2023-09-08 15:16 3.1M
BuchiAutomaton FAIRNESS_LAZY.unroll-cond-2.wvr.yml.log 2023-09-08 15:16 2.7M
BuchiAutomaton FAIRNESS_LAZY.unroll-cond-3.wvr.yml.log 2023-09-08 15:16 3.0M
BuchiAutomaton FAIRNESS_LAZY.unroll-cond-4.wvr.yml.log 2023-09-08 15:16 3.2M
BuchiAutomaton FAIRNESS_LAZY.unroll-cond-5.wvr.yml.log 2023-09-08 15:16 3.3M
BuchiAutomaton NONE.arithmetic_prog_bad.yml.log 2023-09-08 14:37 165K
BuchiAutomaton NONE.arithmetic_prog_ok.yml.log 2023-09-08 14:37 165K
BuchiAutomaton NONE.array-eq-symm.wvr.yml.log 2023-09-08 14:27 774K
BuchiAutomaton NONE.array-eq-trans.wvr.yml.log 2023-09-08 14:27 1.7M
BuchiAutomaton NONE.bench-exp1x3.wvr.yml.log 2023-09-08 14:27 1.5M
BuchiAutomaton NONE.bench-exp2x3.wvr.yml.log 2023-09-08 14:27 2.2M
BuchiAutomaton NONE.bench-exp2x4.wvr.yml.log 2023-09-08 14:27 2.2M
BuchiAutomaton NONE.bench-exp2x6.wvr.yml.log 2023-09-08 14:27 2.2M
BuchiAutomaton NONE.bench-exp2x9.wvr.yml.log 2023-09-08 14:27 2.2M
BuchiAutomaton NONE.bench-exp3x3-opt.wvr.yml.log 2023-09-08 14:27 59K
BuchiAutomaton NONE.bench-exp3x3.wvr.yml.log 2023-09-08 14:27 3.0M
BuchiAutomaton NONE.chl-array-int-subst.wvr.yml.log 2023-09-08 14:28 306K
BuchiAutomaton NONE.chl-array-int-symm.wvr.yml.log 2023-09-08 14:27 819K
BuchiAutomaton NONE.chl-array-int-trans.wvr.yml.log 2023-09-08 14:28 234K
BuchiAutomaton NONE.chl-chromosome-opt-symm.wvr.yml.log 2023-09-08 14:27 1.0M
BuchiAutomaton NONE.chl-chromosome-subst.wvr.yml.log 2023-09-08 14:29 265K
BuchiAutomaton NONE.chl-chromosome-symm.wvr.yml.log 2023-09-08 14:28 822K
BuchiAutomaton NONE.chl-chromosome-trans.wvr.yml.log 2023-09-08 14:29 155K
BuchiAutomaton NONE.chl-collitem-subst.wvr.yml.log 2023-09-08 14:27 27K
BuchiAutomaton NONE.chl-collitem-symm.wvr.yml.log 2023-09-08 14:27 27K
BuchiAutomaton NONE.chl-collitem-trans.wvr.yml.log 2023-09-08 14:27 27K
BuchiAutomaton NONE.chl-exp-term-subst.wvr.yml.log 2023-09-08 14:27 26K
BuchiAutomaton NONE.chl-exp-term-symm.wvr.yml.log 2023-09-08 14:27 26K
BuchiAutomaton NONE.chl-file-item-subst.wvr.yml.log 2023-09-08 14:27 26K
BuchiAutomaton NONE.chl-file-item-symm.wvr.yml.log 2023-09-08 14:27 26K
BuchiAutomaton NONE.chl-file-item-trans.wvr.yml.log 2023-09-08 14:27 26K
BuchiAutomaton NONE.chl-match-subst.wvr.yml.log 2023-09-08 14:27 26K
BuchiAutomaton NONE.chl-match-symm.wvr.yml.log 2023-09-08 14:27 26K
BuchiAutomaton NONE.chl-match-trans.wvr.yml.log 2023-09-08 14:27 26K
BuchiAutomaton NONE.chl-name-comparator-subst.wvr.yml.log 2023-09-08 14:29 201K
BuchiAutomaton NONE.chl-name-comparator-symm.wvr.yml.log 2023-09-08 14:28 548K
BuchiAutomaton NONE.chl-name-comparator-trans.wvr.yml.log 2023-09-08 14:29 201K
BuchiAutomaton NONE.chl-node-subst.wvr.yml.log 2023-09-08 14:30 2.0M
BuchiAutomaton NONE.chl-node-symm.wvr.yml.log 2023-09-08 14:28 892K
BuchiAutomaton NONE.chl-node-trans.wvr.yml.log 2023-09-08 14:31 2.0M
BuchiAutomaton NONE.chl-nzb-file-subst.wvr.yml.log 2023-09-08 14:28 21K
BuchiAutomaton NONE.chl-nzb-file-symm.wvr.yml.log 2023-09-08 14:30 1.9M
BuchiAutomaton NONE.chl-nzb-file-trans.wvr.yml.log 2023-09-08 14:28 21K
BuchiAutomaton NONE.chl-simpl-str-subst.wvr.yml.log 2023-09-08 14:28 26K
BuchiAutomaton NONE.chl-simpl-str-symm.wvr.yml.log 2023-09-08 14:28 26K
BuchiAutomaton NONE.chl-simpl-str-trans.wvr.yml.log 2023-09-08 14:28 26K
BuchiAutomaton NONE.chl-sre-subst.wvr.yml.log 2023-09-08 14:28 26K
BuchiAutomaton NONE.chl-sre-symm.wvr.yml.log 2023-09-08 14:28 26K
BuchiAutomaton NONE.chl-sre-trans.wvr.yml.log 2023-09-08 14:28 26K
BuchiAutomaton NONE.chl-time-subst.wvr.yml.log 2023-09-08 14:28 27K
BuchiAutomaton NONE.chl-time-symm.wvr.yml.log 2023-09-08 14:28 26K
BuchiAutomaton NONE.chl-time-trans.wvr.yml.log 2023-09-08 14:28 27K
BuchiAutomaton NONE.chl-word-subst.wvr.yml.log 2023-09-08 14:31 1.7M
BuchiAutomaton NONE.chl-word-symm.wvr.yml.log 2023-09-08 14:28 820K
BuchiAutomaton NONE.chl-word-trans.wvr.yml.log 2023-09-08 14:31 1.5M
BuchiAutomaton NONE.circular_buffer_bad.yml.log 2023-09-08 14:38 647K
BuchiAutomaton NONE.circular_buffer_ok.yml.log 2023-09-08 14:38 480K
BuchiAutomaton NONE.clever.wvr.yml.log 2023-09-08 14:28 273K
BuchiAutomaton NONE.dekker.yml.log 2023-09-08 14:26 98K
BuchiAutomaton NONE.fibonacci.wvr.yml.log 2023-09-08 14:28 205K
BuchiAutomaton NONE.lamport.yml.log 2023-09-08 14:26 180K
BuchiAutomaton NONE.loop-tiling-eq.wvr.yml.log 2023-09-08 14:33 2.0M
BuchiAutomaton NONE.mult-comm.wvr.yml.log 2023-09-08 14:29 1.8M
BuchiAutomaton NONE.mult-dist.wvr.yml.log 2023-09-08 14:29 2.3M
BuchiAutomaton NONE.mult-flipped-dist.wvr.yml.log 2023-09-08 14:29 2.3M
BuchiAutomaton NONE.parallel-bakery-2.wvr.yml.log 2023-09-08 14:29 27K
BuchiAutomaton NONE.parallel-bakery-3.wvr.yml.log 2023-09-08 14:29 27K
BuchiAutomaton NONE.parallel-bakery-4.wvr.yml.log 2023-09-08 14:30 27K
BuchiAutomaton NONE.parallel-barrier-loop.wvr.yml.log 2023-09-08 14:29 22K
BuchiAutomaton NONE.parallel-barrier.wvr.yml.log 2023-09-08 14:30 27K
BuchiAutomaton NONE.parallel-bluetooth.wvr.yml.log 2023-09-08 14:29 26K
BuchiAutomaton NONE.parallel-lamport.wvr.yml.log 2023-09-08 14:29 146K
BuchiAutomaton NONE.parallel-min-max-1.wvr.yml.log 2023-09-08 14:30 536K
BuchiAutomaton NONE.parallel-misc-1.wvr.yml.log 2023-09-08 14:30 676K
BuchiAutomaton NONE.parallel-misc-2-unrolled-atomic.wvr.yml.log 2023-09-08 14:30 126K
BuchiAutomaton NONE.parallel-misc-2-unrolled.wvr.yml.log 2023-09-08 14:30 2.2M
BuchiAutomaton NONE.parallel-misc-2.wvr.yml.log 2023-09-08 14:31 4.9M
BuchiAutomaton NONE.parallel-misc-3-extended.wvr.yml.log 2023-09-08 14:30 69K
BuchiAutomaton NONE.parallel-misc-3.wvr.yml.log 2023-09-08 14:30 1.2M
BuchiAutomaton NONE.parallel-misc-4.wvr.yml.log 2023-09-08 14:30 538K
BuchiAutomaton NONE.parallel-misc-5.wvr.yml.log 2023-09-08 14:30 2.3M
BuchiAutomaton NONE.parallel-parallel-sum-1-dsl.wvr.yml.log 2023-09-08 14:30 22K
BuchiAutomaton NONE.parallel-parallel-sum-1.wvr.yml.log 2023-09-08 14:31 772K
BuchiAutomaton NONE.parallel-parallel-sum-2.wvr.yml.log 2023-09-08 14:31 23K
BuchiAutomaton NONE.parallel-parallel-sum-equiv.wvr.yml.log 2023-09-08 14:31 596K
BuchiAutomaton NONE.parallel-simple-equiv.wvr.yml.log 2023-09-08 14:30 27K
BuchiAutomaton NONE.parallel-ticket-2.wvr.yml.log 2023-09-08 14:30 26K
BuchiAutomaton NONE.parallel-ticket-3.wvr.yml.log 2023-09-08 14:30 27K
BuchiAutomaton NONE.parallel-ticket-4.wvr.yml.log 2023-09-08 14:30 27K
BuchiAutomaton NONE.parallel-ticket-5.wvr.yml.log 2023-09-08 14:31 27K
BuchiAutomaton NONE.parallel-ticket-6.wvr.yml.log 2023-09-08 14:32 27K
BuchiAutomaton NONE.parallel-ticket-7.wvr.yml.log 2023-09-08 14:31 22K
BuchiAutomaton NONE.parallel-ticket-8.wvr.yml.log 2023-09-08 14:31 22K
BuchiAutomaton NONE.peterson.yml.log 2023-09-08 14:26 95K
BuchiAutomaton NONE.popl20-bad-buffer-mult-alt.wvr.yml.log 2023-09-08 14:34 1.6M
BuchiAutomaton NONE.popl20-bad-buffer-mult-alt2.wvr.yml.log 2023-09-08 14:33 1.5M
BuchiAutomaton NONE.popl20-bad-counter-queue.wvr.yml.log 2023-09-08 14:31 477K
BuchiAutomaton NONE.popl20-bad-counter-queue2.wvr.yml.log 2023-09-08 14:31 408K
BuchiAutomaton NONE.popl20-bad-dot-product-alt.wvr.yml.log 2023-09-08 14:32 218K
BuchiAutomaton NONE.popl20-bad-dot-product.wvr.yml.log 2023-09-08 14:34 1.0M
BuchiAutomaton NONE.popl20-bad-ring-nondet.wvr.yml.log 2023-09-08 14:31 599K
BuchiAutomaton NONE.popl20-bad-threaded-sum-2.wvr.yml.log 2023-09-08 14:32 760K
BuchiAutomaton NONE.popl20-bad-three-array-sum-alt.wvr.yml.log 2023-09-08 14:33 209K
BuchiAutomaton NONE.popl20-channel-sum.wvr.yml.log 2023-09-08 14:32 520K
BuchiAutomaton NONE.popl20-commit-1.wvr.yml.log 2023-09-08 14:33 2.1M
BuchiAutomaton NONE.popl20-commit-2.wvr.yml.log 2023-09-08 14:34 1.6M
BuchiAutomaton NONE.popl20-counter-determinism.wvr.yml.log 2023-09-08 14:34 293K
BuchiAutomaton NONE.popl20-counter-fun.wvr.yml.log 2023-09-08 14:32 580K
BuchiAutomaton NONE.popl20-difference-det.wvr.yml.log 2023-09-08 14:33 319K
BuchiAutomaton NONE.popl20-figure1-alt.wvr.yml.log 2023-09-08 14:32 345K
BuchiAutomaton NONE.popl20-figure1.wvr.yml.log 2023-09-08 14:32 321K
BuchiAutomaton NONE.popl20-figure3.wvr.yml.log 2023-09-08 14:32 1.8M
BuchiAutomaton NONE.popl20-horseshoe.wvr.yml.log 2023-09-08 14:33 1.4M
BuchiAutomaton NONE.popl20-min-max-dec.wvr.yml.log 2023-09-08 14:33 686K
BuchiAutomaton NONE.popl20-min-max-inc-dec.wvr.yml.log 2023-09-08 14:33 84K
BuchiAutomaton NONE.popl20-min-max-inc.wvr.yml.log 2023-09-08 14:33 687K
BuchiAutomaton NONE.popl20-more-array-sum-alt.wvr.yml.log 2023-09-08 14:33 878K
BuchiAutomaton NONE.popl20-more-array-sum-alt2.wvr.yml.log 2023-09-08 14:33 581K
BuchiAutomaton NONE.popl20-more-array-sum.wvr.yml.log 2023-09-08 14:34 1.1M
BuchiAutomaton NONE.popl20-more-array-sum2.wvr.yml.log 2023-09-08 14:34 1.1M
BuchiAutomaton NONE.popl20-more-buffer-mult.wvr.yml.log 2023-09-08 14:36 1.6M
BuchiAutomaton NONE.popl20-more-buffer-mult2.wvr.yml.log 2023-09-08 14:36 1.9M
BuchiAutomaton NONE.popl20-more-buffer-series.wvr.yml.log 2023-09-08 14:37 2.1M
BuchiAutomaton NONE.popl20-more-buffer-series2.wvr.yml.log 2023-09-08 14:35 1.8M
BuchiAutomaton NONE.popl20-more-dec-subseq.wvr.yml.log 2023-09-08 14:35 1.6M
BuchiAutomaton NONE.popl20-more-inc-subseq.wvr.yml.log 2023-09-08 14:35 1.6M
BuchiAutomaton NONE.popl20-more-max-array-hom.wvr.yml.log 2023-09-08 14:34 631K
BuchiAutomaton NONE.popl20-more-max-array.wvr.yml.log 2023-09-08 14:34 658K
BuchiAutomaton NONE.popl20-more-min-array-hom.wvr.yml.log 2023-09-08 14:34 828K
BuchiAutomaton NONE.popl20-more-min-array.wvr.yml.log 2023-09-08 14:34 583K
BuchiAutomaton NONE.popl20-more-min-le-max.wvr.yml.log 2023-09-08 14:34 458K
BuchiAutomaton NONE.popl20-more-mts.wvr.yml.log 2023-09-08 14:36 822K
BuchiAutomaton NONE.popl20-more-multiply-verify.wvr.yml.log 2023-09-08 14:35 3.1M
BuchiAutomaton NONE.popl20-more-nonblocking-counter-alt2.wvr.yml.log 2023-09-08 14:35 1.8M
BuchiAutomaton NONE.popl20-more-queue-add-2-nl.wvr.yml.log 2023-09-08 14:35 678K
BuchiAutomaton NONE.popl20-more-queue-add-3-nl.wvr.yml.log 2023-09-08 14:35 1.2M
BuchiAutomaton NONE.popl20-more-sorted.wvr.yml.log 2023-09-08 14:35 387K
BuchiAutomaton NONE.popl20-more-sum-array-hom.wvr.yml.log 2023-09-08 14:35 583K
BuchiAutomaton NONE.popl20-more-vector-add.wvr.yml.log 2023-09-08 14:38 2.1M
BuchiAutomaton NONE.popl20-mult-4.wvr.yml.log 2023-09-08 14:35 2.6M
BuchiAutomaton NONE.popl20-mult-equiv.wvr.yml.log 2023-09-08 14:35 2.0M
BuchiAutomaton NONE.popl20-nonblocking-cntr-alt.wvr.yml.log 2023-09-08 14:35 117K
BuchiAutomaton NONE.popl20-nonblocking-cntr.wvr.yml.log 2023-09-08 14:35 86K
BuchiAutomaton NONE.popl20-prod-cons-eq.wvr.yml.log 2023-09-08 14:38 2.4M
BuchiAutomaton NONE.popl20-prod-cons.wvr.yml.log 2023-09-08 14:35 507K
BuchiAutomaton NONE.popl20-prod-cons3.wvr.yml.log 2023-09-08 14:37 1.4M
BuchiAutomaton NONE.popl20-proofs-counter-add-4-semi-Q67.wvr.yml.log 2023-09-08 14:36 478K
BuchiAutomaton NONE.popl20-queue-add-2.wvr.yml.log 2023-09-08 14:35 432K
BuchiAutomaton NONE.popl20-queue-add-3.wvr.yml.log 2023-09-08 14:39 2.4M
BuchiAutomaton NONE.popl20-send-receive-alt.wvr.yml.log 2023-09-08 14:36 1.0M
BuchiAutomaton NONE.popl20-send-receive.wvr.yml.log 2023-09-08 14:36 1.3M
BuchiAutomaton NONE.popl20-simple-array-sum.wvr.yml.log 2023-09-08 14:36 879K
BuchiAutomaton NONE.popl20-simple-queue.wvr.yml.log 2023-09-08 14:36 372K
BuchiAutomaton NONE.popl20-threaded-sum-3.wvr.yml.log 2023-09-08 14:36 964K
BuchiAutomaton NONE.popl20-three-array-max.wvr.yml.log 2023-09-08 14:38 1.7M
BuchiAutomaton NONE.popl20-three-array-min.wvr.yml.log 2023-09-08 14:39 1.7M
BuchiAutomaton NONE.popl20-three-array-sum.wvr.yml.log 2023-09-08 14:37 1.2M
BuchiAutomaton NONE.popl20-two-queue.wvr.yml.log 2023-09-08 14:37 1.7M
BuchiAutomaton NONE.pthread-demo-datarace-1.yml.log 2023-09-08 14:26 394K
BuchiAutomaton NONE.qw2004-2b.yml.log 2023-09-08 14:26 26K
BuchiAutomaton NONE.read_write_lock-1.yml.log 2023-09-08 14:26 27K
BuchiAutomaton NONE.read_write_lock-2.yml.log 2023-09-08 14:26 27K
BuchiAutomaton NONE.ring_2w1r-1.yml.log 2023-09-08 14:27 522K
BuchiAutomaton NONE.security.wvr.yml.log 2023-09-08 14:36 26K
BuchiAutomaton NONE.spaghetti.wvr.yml.log 2023-09-08 14:36 48K
BuchiAutomaton NONE.szymanski.yml.log 2023-09-08 14:26 138K
BuchiAutomaton NONE.test-context1.wvr.yml.log 2023-09-08 14:37 1.0M
BuchiAutomaton NONE.test-easy1.wvr.yml.log 2023-09-08 14:36 109K
BuchiAutomaton NONE.test-easy10.wvr.yml.log 2023-09-08 14:36 27K
BuchiAutomaton NONE.test-easy11.wvr.yml.log 2023-09-08 14:36 123K
BuchiAutomaton NONE.test-easy6.wvr.yml.log 2023-09-08 14:36 26K
BuchiAutomaton NONE.test-easy7.wvr.yml.log 2023-09-08 14:36 26K
BuchiAutomaton NONE.test-hard1.wvr.yml.log 2023-09-08 14:37 2.5M
BuchiAutomaton NONE.test-semi1.wvr.yml.log 2023-09-08 14:36 26K
BuchiAutomaton NONE.time_var_mutex.yml.log 2023-09-08 14:26 26K
BuchiAutomaton NONE.unroll-2.wvr.yml.log 2023-09-08 14:37 2.3M
BuchiAutomaton NONE.unroll-3.wvr.yml.log 2023-09-08 14:37 2.2M
BuchiAutomaton NONE.unroll-4.wvr.yml.log 2023-09-08 14:37 2.2M
BuchiAutomaton NONE.unroll-5.wvr.yml.log 2023-09-08 14:37 2.3M
BuchiAutomaton NONE.unroll-cond-2.wvr.yml.log 2023-09-08 14:37 2.2M
BuchiAutomaton NONE.unroll-cond-3.wvr.yml.log 2023-09-08 14:37 2.3M
BuchiAutomaton NONE.unroll-cond-4.wvr.yml.log 2023-09-08 14:38 2.3M
BuchiAutomaton NONE.unroll-cond-5.wvr.yml.log 2023-09-08 14:38 2.2M