Index of /logs/student-concurrency/20220726-182344-student-concurrency-0d686a6802/termination-concurrency.2022-07-26_13-22-03.logfiles
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
BuchiAutomizer (no LBE).airline-10.yml.log 2022-07-26 13:40 152K
BuchiAutomizer (no LBE).airline-15.yml.log 2022-07-26 13:40 152K
BuchiAutomizer (no LBE).airline-20.yml.log 2022-07-26 13:40 152K
BuchiAutomizer (no LBE).airline-25.yml.log 2022-07-26 13:41 152K
BuchiAutomizer (no LBE).airline-5.yml.log 2022-07-26 13:41 152K
BuchiAutomizer (no LBE).arithmetic_prog_bad.yml.log 2022-07-26 13:41 252K
BuchiAutomizer (no LBE).arithmetic_prog_ok.yml.log 2022-07-26 13:41 252K
BuchiAutomizer (no LBE).array-eq-symm.wvr.yml.log 2022-07-26 13:27 630K
BuchiAutomizer (no LBE).array-eq-trans.wvr.yml.log 2022-07-26 13:28 1.3M
BuchiAutomizer (no LBE).barrier_2t.yml.log 2022-07-26 13:28 460K
BuchiAutomizer (no LBE).barrier_3t.yml.log 2022-07-26 13:28 366K
BuchiAutomizer (no LBE).bench-exp1x3.wvr.yml.log 2022-07-26 13:28 1.4M
BuchiAutomizer (no LBE).bench-exp2x3.wvr.yml.log 2022-07-26 13:28 2.2M
BuchiAutomizer (no LBE).bench-exp2x4.wvr.yml.log 2022-07-26 13:28 2.2M
BuchiAutomizer (no LBE).bench-exp2x6.wvr.yml.log 2022-07-26 13:28 2.2M
BuchiAutomizer (no LBE).bench-exp2x9.wvr.yml.log 2022-07-26 13:28 2.2M
BuchiAutomizer (no LBE).bench-exp3x3-opt.wvr.yml.log 2022-07-26 13:28 60K
BuchiAutomizer (no LBE).bench-exp3x3.wvr.yml.log 2022-07-26 13:29 2.9M
BuchiAutomizer (no LBE).bounded_buffer.yml.log 2022-07-26 13:25 26K
BuchiAutomizer (no LBE).chl-array-int-subst.wvr.yml.log 2022-07-26 13:29 174K
BuchiAutomizer (no LBE).chl-array-int-symm.wvr.yml.log 2022-07-26 13:28 802K
BuchiAutomizer (no LBE).chl-array-int-trans.wvr.yml.log 2022-07-26 13:30 174K
BuchiAutomizer (no LBE).chl-chromosome-opt-symm.wvr.yml.log 2022-07-26 13:29 1.2M
BuchiAutomizer (no LBE).chl-chromosome-subst.wvr.yml.log 2022-07-26 13:29 163K
BuchiAutomizer (no LBE).chl-chromosome-symm.wvr.yml.log 2022-07-26 13:29 616K
BuchiAutomizer (no LBE).chl-chromosome-trans.wvr.yml.log 2022-07-26 13:30 161K
BuchiAutomizer (no LBE).chl-collitem-subst.wvr.yml.log 2022-07-26 13:28 31K
BuchiAutomizer (no LBE).chl-collitem-symm.wvr.yml.log 2022-07-26 13:28 30K
BuchiAutomizer (no LBE).chl-collitem-trans.wvr.yml.log 2022-07-26 13:28 31K
BuchiAutomizer (no LBE).chl-exp-term-subst.wvr.yml.log 2022-07-26 13:29 31K
BuchiAutomizer (no LBE).chl-exp-term-symm.wvr.yml.log 2022-07-26 13:28 30K
BuchiAutomizer (no LBE).chl-file-item-subst.wvr.yml.log 2022-07-26 13:29 31K
BuchiAutomizer (no LBE).chl-file-item-symm.wvr.yml.log 2022-07-26 13:28 30K
BuchiAutomizer (no LBE).chl-file-item-trans.wvr.yml.log 2022-07-26 13:29 31K
BuchiAutomizer (no LBE).chl-match-subst.wvr.yml.log 2022-07-26 13:29 25K
BuchiAutomizer (no LBE).chl-match-symm.wvr.yml.log 2022-07-26 13:29 30K
BuchiAutomizer (no LBE).chl-match-trans.wvr.yml.log 2022-07-26 13:29 25K
BuchiAutomizer (no LBE).chl-name-comparator-subst.wvr.yml.log 2022-07-26 13:29 25K
BuchiAutomizer (no LBE).chl-name-comparator-symm.wvr.yml.log 2022-07-26 13:30 1.5M
BuchiAutomizer (no LBE).chl-name-comparator-trans.wvr.yml.log 2022-07-26 13:29 25K
BuchiAutomizer (no LBE).chl-node-subst.wvr.yml.log 2022-07-26 13:30 152K
BuchiAutomizer (no LBE).chl-node-symm.wvr.yml.log 2022-07-26 13:30 860K
BuchiAutomizer (no LBE).chl-node-trans.wvr.yml.log 2022-07-26 13:30 152K
BuchiAutomizer (no LBE).chl-nzb-file-subst.wvr.yml.log 2022-07-26 13:29 25K
BuchiAutomizer (no LBE).chl-nzb-file-symm.wvr.yml.log 2022-07-26 13:32 2.0M
BuchiAutomizer (no LBE).chl-nzb-file-trans.wvr.yml.log 2022-07-26 13:29 25K
BuchiAutomizer (no LBE).chl-simpl-str-subst.wvr.yml.log 2022-07-26 13:30 31K
BuchiAutomizer (no LBE).chl-simpl-str-symm.wvr.yml.log 2022-07-26 13:30 30K
BuchiAutomizer (no LBE).chl-simpl-str-trans.wvr.yml.log 2022-07-26 13:30 31K
BuchiAutomizer (no LBE).chl-sre-subst.wvr.yml.log 2022-07-26 13:30 30K
BuchiAutomizer (no LBE).chl-sre-symm.wvr.yml.log 2022-07-26 13:30 30K
BuchiAutomizer (no LBE).chl-sre-trans.wvr.yml.log 2022-07-26 13:30 30K
BuchiAutomizer (no LBE).chl-time-subst.wvr.yml.log 2022-07-26 13:30 31K
BuchiAutomizer (no LBE).chl-time-symm.wvr.yml.log 2022-07-26 13:30 30K
BuchiAutomizer (no LBE).chl-time-trans.wvr.yml.log 2022-07-26 13:30 31K
BuchiAutomizer (no LBE).chl-word-subst.wvr.yml.log 2022-07-26 13:33 621K
BuchiAutomizer (no LBE).chl-word-symm.wvr.yml.log 2022-07-26 13:30 742K
BuchiAutomizer (no LBE).chl-word-trans.wvr.yml.log 2022-07-26 13:33 860K
BuchiAutomizer (no LBE).circular_buffer_bad.yml.log 2022-07-26 13:41 326K
BuchiAutomizer (no LBE).circular_buffer_ok.yml.log 2022-07-26 13:42 582K
BuchiAutomizer (no LBE).clever.wvr.yml.log 2022-07-26 13:30 272K
BuchiAutomizer (no LBE).condvar.yml.log 2022-07-26 13:24 54K
BuchiAutomizer (no LBE).condvar_spurious_wakeup.yml.log 2022-07-26 13:24 185K
BuchiAutomizer (no LBE).dekker-b.yml.log 2022-07-26 13:22 97K
BuchiAutomizer (no LBE).dekker.yml.log 2022-07-26 13:22 102K
BuchiAutomizer (no LBE).divinefifo-bug_1w1r.yml.log 2022-07-26 13:25 800K
BuchiAutomizer (no LBE).divinefifo_1w1r.yml.log 2022-07-26 13:24 598K
BuchiAutomizer (no LBE).elimination_backoff_stack.yml.log 2022-07-26 13:23 26K
BuchiAutomizer (no LBE).fibonacci.wvr.yml.log 2022-07-26 13:30 188K
BuchiAutomizer (no LBE).fk2012.yml.log 2022-07-26 13:22 50K
BuchiAutomizer (no LBE).fkp2013-1.yml.log 2022-07-26 13:23 121K
BuchiAutomizer (no LBE).fkp2013-2.yml.log 2022-07-26 13:23 121K
BuchiAutomizer (no LBE).fkp2013_variant-1.yml.log 2022-07-26 13:23 129K
BuchiAutomizer (no LBE).fkp2013_variant-2.yml.log 2022-07-26 13:23 129K
BuchiAutomizer (no LBE).fkp2014.yml.log 2022-07-26 13:22 108K
BuchiAutomizer (no LBE).floating_read-10.yml.log 2022-07-26 13:41 189K
BuchiAutomizer (no LBE).floating_read-15.yml.log 2022-07-26 13:41 189K
BuchiAutomizer (no LBE).floating_read-20.yml.log 2022-07-26 13:42 189K
BuchiAutomizer (no LBE).floating_read-25.yml.log 2022-07-26 13:42 189K
BuchiAutomizer (no LBE).floating_read-5.yml.log 2022-07-26 13:42 189K
BuchiAutomizer (no LBE).gcd-2.yml.log 2022-07-26 13:22 55K
BuchiAutomizer (no LBE).lamport-b.yml.log 2022-07-26 13:22 146K
BuchiAutomizer (no LBE).lamport.yml.log 2022-07-26 13:22 201K
BuchiAutomizer (no LBE).linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml.log 2022-07-26 13:23 36K
BuchiAutomizer (no LBE).linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml.log 2022-07-26 13:23 36K
BuchiAutomizer (no LBE).linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml.log 2022-07-26 13:22 31K
BuchiAutomizer (no LBE).linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml.log 2022-07-26 13:25 26K
BuchiAutomizer (no LBE).linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml.log 2022-07-26 13:23 26K
BuchiAutomizer (no LBE).linux-3.14--drivers--usb--misc--adutux.ko.cil.yml.log 2022-07-26 13:22 31K
BuchiAutomizer (no LBE).linux-3.14--drivers--usb--misc--iowarrior.ko.cil.yml.log 2022-07-26 13:23 31K
BuchiAutomizer (no LBE).loop-tiling-eq.wvr.yml.log 2022-07-26 13:34 2.4M
BuchiAutomizer (no LBE).mult-comm.wvr.yml.log 2022-07-26 13:31 1.8M
BuchiAutomizer (no LBE).mult-dist.wvr.yml.log 2022-07-26 13:31 2.3M
BuchiAutomizer (no LBE).mult-flipped-dist.wvr.yml.log 2022-07-26 13:31 2.3M
BuchiAutomizer (no LBE).nondet-array-1.yml.log 2022-07-26 13:27 367K
BuchiAutomizer (no LBE).nondet-array-2.yml.log 2022-07-26 13:27 367K
BuchiAutomizer (no LBE).nondet-loop-bound-1.yml.log 2022-07-26 13:26 174K
BuchiAutomizer (no LBE).nondet-loop-bound-2.yml.log 2022-07-26 13:27 174K
BuchiAutomizer (no LBE).nondet-loop-bound-variant-1.yml.log 2022-07-26 13:26 95K
BuchiAutomizer (no LBE).nondet-loop-bound-variant-2.yml.log 2022-07-26 13:27 95K
BuchiAutomizer (no LBE).one_time_barrier_2t.yml.log 2022-07-26 13:28 870K
BuchiAutomizer (no LBE).one_time_barrier_3t.yml.log 2022-07-26 13:28 505K
BuchiAutomizer (no LBE).one_time_barrier_twice_2t.yml.log 2022-07-26 13:28 480K
BuchiAutomizer (no LBE).one_time_barrier_twice_3t.yml.log 2022-07-26 13:29 481K
BuchiAutomizer (no LBE).parallel-bakery-2.wvr.yml.log 2022-07-26 13:30 30K
BuchiAutomizer (no LBE).parallel-bakery-3.wvr.yml.log 2022-07-26 13:30 31K
BuchiAutomizer (no LBE).parallel-bakery-4.wvr.yml.log 2022-07-26 13:31 31K
BuchiAutomizer (no LBE).parallel-barrier-loop.wvr.yml.log 2022-07-26 13:30 26K
BuchiAutomizer (no LBE).parallel-barrier.wvr.yml.log 2022-07-26 13:32 31K
BuchiAutomizer (no LBE).parallel-bluetooth.wvr.yml.log 2022-07-26 13:31 30K
BuchiAutomizer (no LBE).parallel-lamport.wvr.yml.log 2022-07-26 13:31 220K
BuchiAutomizer (no LBE).parallel-min-max-1.wvr.yml.log 2022-07-26 13:31 550K
BuchiAutomizer (no LBE).parallel-misc-1.wvr.yml.log 2022-07-26 13:31 472K
BuchiAutomizer (no LBE).parallel-misc-2-unrolled-atomic.wvr.yml.log 2022-07-26 13:31 130K
BuchiAutomizer (no LBE).parallel-misc-2-unrolled.wvr.yml.log 2022-07-26 13:31 2.1M
BuchiAutomizer (no LBE).parallel-misc-2.wvr.yml.log 2022-07-26 13:32 4.7M
BuchiAutomizer (no LBE).parallel-misc-3-extended.wvr.yml.log 2022-07-26 13:32 1.9M
BuchiAutomizer (no LBE).parallel-misc-3.wvr.yml.log 2022-07-26 13:31 1.6M
BuchiAutomizer (no LBE).parallel-misc-4.wvr.yml.log 2022-07-26 13:31 536K
BuchiAutomizer (no LBE).parallel-misc-5.wvr.yml.log 2022-07-26 13:32 2.2M
BuchiAutomizer (no LBE).parallel-parallel-sum-1-dsl.wvr.yml.log 2022-07-26 13:33 27K
BuchiAutomizer (no LBE).parallel-parallel-sum-1.wvr.yml.log 2022-07-26 13:32 896K
BuchiAutomizer (no LBE).parallel-parallel-sum-2.wvr.yml.log 2022-07-26 13:32 27K
BuchiAutomizer (no LBE).parallel-parallel-sum-equiv.wvr.yml.log 2022-07-26 13:32 662K
BuchiAutomizer (no LBE).parallel-simple-equiv.wvr.yml.log 2022-07-26 13:31 31K
BuchiAutomizer (no LBE).parallel-ticket-2.wvr.yml.log 2022-07-26 13:32 30K
BuchiAutomizer (no LBE).parallel-ticket-3.wvr.yml.log 2022-07-26 13:32 31K
BuchiAutomizer (no LBE).parallel-ticket-4.wvr.yml.log 2022-07-26 13:32 31K
BuchiAutomizer (no LBE).parallel-ticket-5.wvr.yml.log 2022-07-26 13:32 31K
BuchiAutomizer (no LBE).parallel-ticket-6.wvr.yml.log 2022-07-26 13:33 31K
BuchiAutomizer (no LBE).parallel-ticket-7.wvr.yml.log 2022-07-26 13:32 26K
BuchiAutomizer (no LBE).parallel-ticket-8.wvr.yml.log 2022-07-26 13:32 26K
BuchiAutomizer (no LBE).peterson-b.yml.log 2022-07-26 13:22 92K
BuchiAutomizer (no LBE).peterson.yml.log 2022-07-26 13:22 97K
BuchiAutomizer (no LBE).popl20-bad-buffer-mult-alt.wvr.yml.log 2022-07-26 13:35 1.3M
BuchiAutomizer (no LBE).popl20-bad-buffer-mult-alt2.wvr.yml.log 2022-07-26 13:35 1.7M
BuchiAutomizer (no LBE).popl20-bad-commit-1.wvr-bad.yml.log 2022-07-26 13:36 3.1M
BuchiAutomizer (no LBE).popl20-bad-commit-2.wvr-bad.yml.log 2022-07-26 13:35 783K
BuchiAutomizer (no LBE).popl20-bad-counter-queue.wvr.yml.log 2022-07-26 13:33 391K
BuchiAutomizer (no LBE).popl20-bad-counter-queue2.wvr.yml.log 2022-07-26 13:33 496K
BuchiAutomizer (no LBE).popl20-bad-dot-product-alt.wvr.yml.log 2022-07-26 13:34 190K
BuchiAutomizer (no LBE).popl20-bad-dot-product.wvr.yml.log 2022-07-26 13:36 1.0M
BuchiAutomizer (no LBE).popl20-bad-ring-nondet.wvr.yml.log 2022-07-26 13:33 809K
BuchiAutomizer (no LBE).popl20-bad-ring.wvr.yml.log 2022-07-26 13:37 2.0M
BuchiAutomizer (no LBE).popl20-bad-threaded-sum-2.wvr.yml.log 2022-07-26 13:33 739K
BuchiAutomizer (no LBE).popl20-bad-three-array-sum-alt.wvr.yml.log 2022-07-26 13:34 155K
BuchiAutomizer (no LBE).popl20-channel-sum.wvr.yml.log 2022-07-26 13:33 670K
BuchiAutomizer (no LBE).popl20-commit-1.wvr.yml.log 2022-07-26 13:34 1.9M
BuchiAutomizer (no LBE).popl20-commit-2.wvr.yml.log 2022-07-26 13:36 2.4M
BuchiAutomizer (no LBE).popl20-counter-determinism.wvr.yml.log 2022-07-26 13:36 286K
BuchiAutomizer (no LBE).popl20-counter-fun.wvr.yml.log 2022-07-26 13:34 548K
BuchiAutomizer (no LBE).popl20-difference-det.wvr.yml.log 2022-07-26 13:35 260K
BuchiAutomizer (no LBE).popl20-figure1-alt.wvr.yml.log 2022-07-26 13:34 129K
BuchiAutomizer (no LBE).popl20-figure1.wvr.yml.log 2022-07-26 13:34 113K
BuchiAutomizer (no LBE).popl20-figure3.wvr.yml.log 2022-07-26 13:35 1.8M
BuchiAutomizer (no LBE).popl20-horseshoe.wvr.yml.log 2022-07-26 13:38 1.4M
BuchiAutomizer (no LBE).popl20-min-max-dec.wvr.yml.log 2022-07-26 13:35 707K
BuchiAutomizer (no LBE).popl20-min-max-inc-dec.wvr.yml.log 2022-07-26 13:35 141K
BuchiAutomizer (no LBE).popl20-min-max-inc.wvr.yml.log 2022-07-26 13:36 708K
BuchiAutomizer (no LBE).popl20-more-array-sum-alt.wvr.yml.log 2022-07-26 13:35 658K
BuchiAutomizer (no LBE).popl20-more-array-sum-alt2.wvr.yml.log 2022-07-26 13:35 703K
BuchiAutomizer (no LBE).popl20-more-array-sum.wvr.yml.log 2022-07-26 13:36 570K
BuchiAutomizer (no LBE).popl20-more-array-sum2.wvr.yml.log 2022-07-26 13:36 1.1M
BuchiAutomizer (no LBE).popl20-more-buffer-mult.wvr.yml.log 2022-07-26 13:40 777K
BuchiAutomizer (no LBE).popl20-more-buffer-mult2.wvr.yml.log 2022-07-26 13:38 1.4M
BuchiAutomizer (no LBE).popl20-more-buffer-series.wvr.yml.log 2022-07-26 13:39 1.6M
BuchiAutomizer (no LBE).popl20-more-buffer-series2.wvr.yml.log 2022-07-26 13:39 1.9M
BuchiAutomizer (no LBE).popl20-more-dec-subseq.wvr.yml.log 2022-07-26 13:36 1.0M
BuchiAutomizer (no LBE).popl20-more-inc-subseq.wvr.yml.log 2022-07-26 13:36 1.0M
BuchiAutomizer (no LBE).popl20-more-max-array-hom.wvr.yml.log 2022-07-26 13:36 750K
BuchiAutomizer (no LBE).popl20-more-max-array.wvr.yml.log 2022-07-26 13:36 601K
BuchiAutomizer (no LBE).popl20-more-min-array-hom.wvr.yml.log 2022-07-26 13:36 674K
BuchiAutomizer (no LBE).popl20-more-min-array.wvr.yml.log 2022-07-26 13:36 611K
BuchiAutomizer (no LBE).popl20-more-min-le-max.wvr.yml.log 2022-07-26 13:36 315K
BuchiAutomizer (no LBE).popl20-more-mts.wvr.yml.log 2022-07-26 13:38 791K
BuchiAutomizer (no LBE).popl20-more-multiply-verify.wvr.yml.log 2022-07-26 13:37 3.0M
BuchiAutomizer (no LBE).popl20-more-nonblocking-counter-alt2.wvr.yml.log 2022-07-26 13:37 1.8M
BuchiAutomizer (no LBE).popl20-more-parray-copy.wvr.yml.log 2022-07-26 13:37 1.0M
BuchiAutomizer (no LBE).popl20-more-queue-add-2-nl.wvr.yml.log 2022-07-26 13:37 498K
BuchiAutomizer (no LBE).popl20-more-queue-add-3-nl.wvr.yml.log 2022-07-26 13:39 2.1M
BuchiAutomizer (no LBE).popl20-more-sorted.wvr.yml.log 2022-07-26 13:37 418K
BuchiAutomizer (no LBE).popl20-more-sum-array-hom.wvr.yml.log 2022-07-26 13:37 571K
BuchiAutomizer (no LBE).popl20-more-vector-add.wvr.yml.log 2022-07-26 13:39 1.5M
BuchiAutomizer (no LBE).popl20-mult-4.wvr.yml.log 2022-07-26 13:38 2.6M
BuchiAutomizer (no LBE).popl20-mult-equiv.wvr.yml.log 2022-07-26 13:38 2.0M
BuchiAutomizer (no LBE).popl20-nonblocking-cntr-alt.wvr.yml.log 2022-07-26 13:37 119K
BuchiAutomizer (no LBE).popl20-nonblocking-cntr.wvr.yml.log 2022-07-26 13:37 109K
BuchiAutomizer (no LBE).popl20-prod-cons-eq.wvr.yml.log 2022-07-26 13:41 2.9M
BuchiAutomizer (no LBE).popl20-prod-cons.wvr.yml.log 2022-07-26 13:37 511K
BuchiAutomizer (no LBE).popl20-prod-cons3.wvr.yml.log 2022-07-26 13:40 1.3M
BuchiAutomizer (no LBE).popl20-proofs-counter-add-4-semi-Q67.wvr.yml.log 2022-07-26 13:38 297K
BuchiAutomizer (no LBE).popl20-queue-add-2.wvr.yml.log 2022-07-26 13:38 452K
BuchiAutomizer (no LBE).popl20-queue-add-3.wvr.yml.log 2022-07-26 13:41 2.5M
BuchiAutomizer (no LBE).popl20-send-receive-alt.wvr.yml.log 2022-07-26 13:38 1.0M
BuchiAutomizer (no LBE).popl20-send-receive.wvr.yml.log 2022-07-26 13:39 1.3M
BuchiAutomizer (no LBE).popl20-simple-array-sum.wvr.yml.log 2022-07-26 13:38 868K
BuchiAutomizer (no LBE).popl20-simple-queue.wvr.yml.log 2022-07-26 13:38 590K
BuchiAutomizer (no LBE).popl20-threaded-sum-3.wvr.yml.log 2022-07-26 13:39 944K
BuchiAutomizer (no LBE).popl20-three-array-max.wvr.yml.log 2022-07-26 13:42 1.8M
BuchiAutomizer (no LBE).popl20-three-array-min.wvr.yml.log 2022-07-26 13:42 1.9M
BuchiAutomizer (no LBE).popl20-three-array-sum.wvr.yml.log 2022-07-26 13:40 1.3M
BuchiAutomizer (no LBE).popl20-two-queue.wvr.yml.log 2022-07-26 13:39 1.3M
BuchiAutomizer (no LBE).pthread-demo-datarace-1.yml.log 2022-07-26 13:23 346K
BuchiAutomizer (no LBE).pthread-demo-datarace-2.yml.log 2022-07-26 13:24 352K
BuchiAutomizer (no LBE).pthread-finding-k-matches.yml.log 2022-07-26 13:23 16K
BuchiAutomizer (no LBE).pthread-numerical-integration.yml.log 2022-07-26 13:23 15K
BuchiAutomizer (no LBE).qrcu-1.yml.log 2022-07-26 13:22 57K
BuchiAutomizer (no LBE).qrcu-2.yml.log 2022-07-26 13:22 57K
BuchiAutomizer (no LBE).qw2004-1.yml.log 2022-07-26 13:22 30K
BuchiAutomizer (no LBE).qw2004-2.yml.log 2022-07-26 13:22 30K
BuchiAutomizer (no LBE).qw2004-2b.yml.log 2022-07-26 13:22 30K
BuchiAutomizer (no LBE).qw2004_variant.yml.log 2022-07-26 13:22 83K
BuchiAutomizer (no LBE).read_write_lock-1.yml.log 2022-07-26 13:22 31K
BuchiAutomizer (no LBE).read_write_lock-1b.yml.log 2022-07-26 13:22 30K
BuchiAutomizer (no LBE).read_write_lock-2.yml.log 2022-07-26 13:22 31K
BuchiAutomizer (no LBE).read_write_lock-2b.yml.log 2022-07-26 13:22 30K
BuchiAutomizer (no LBE).reorder_c11_bad-10.yml.log 2022-07-26 13:41 76K
BuchiAutomizer (no LBE).reorder_c11_bad-20.yml.log 2022-07-26 13:42 76K
BuchiAutomizer (no LBE).reorder_c11_bad-30.yml.log 2022-07-26 13:42 76K
BuchiAutomizer (no LBE).reorder_c11_bad-40.yml.log 2022-07-26 13:42 76K
BuchiAutomizer (no LBE).reorder_c11_bad-50.yml.log 2022-07-26 13:42 76K
BuchiAutomizer (no LBE).reorder_c11_good-10.yml.log 2022-07-26 13:42 76K
BuchiAutomizer (no LBE).reorder_c11_good-20.yml.log 2022-07-26 13:42 76K
BuchiAutomizer (no LBE).reorder_c11_good-30.yml.log 2022-07-26 13:42 76K
BuchiAutomizer (no LBE).reorder_c11_good-40.yml.log 2022-07-26 13:42 76K
BuchiAutomizer (no LBE).reorder_c11_good-50.yml.log 2022-07-26 13:43 76K
BuchiAutomizer (no LBE).ring_1w1r-1.yml.log 2022-07-26 13:25 504K
BuchiAutomizer (no LBE).ring_1w1r-2.yml.log 2022-07-26 13:24 121K
BuchiAutomizer (no LBE).ring_2w1r-1.yml.log 2022-07-26 13:26 432K
BuchiAutomizer (no LBE).ring_2w1r-2.yml.log 2022-07-26 13:26 577K
BuchiAutomizer (no LBE).safestack_relacy.yml.log 2022-07-26 13:27 9.4M
BuchiAutomizer (no LBE).scull.yml.log 2022-07-26 13:22 27K
BuchiAutomizer (no LBE).security.wvr.yml.log 2022-07-26 13:39 30K
BuchiAutomizer (no LBE).spaghetti.wvr.yml.log 2022-07-26 13:39 51K
BuchiAutomizer (no LBE).sssc12.yml.log 2022-07-26 13:24 324K
BuchiAutomizer (no LBE).sssc12_variant.yml.log 2022-07-26 13:24 148K
BuchiAutomizer (no LBE).szymanski-b.yml.log 2022-07-26 13:22 135K
BuchiAutomizer (no LBE).szymanski.yml.log 2022-07-26 13:22 141K
BuchiAutomizer (no LBE).test-context1.wvr.yml.log 2022-07-26 13:40 1.2M
BuchiAutomizer (no LBE).test-easy1.wvr.yml.log 2022-07-26 13:39 113K
BuchiAutomizer (no LBE).test-easy10.wvr.yml.log 2022-07-26 13:39 31K
BuchiAutomizer (no LBE).test-easy11.wvr.yml.log 2022-07-26 13:39 131K
BuchiAutomizer (no LBE).test-easy6.wvr.yml.log 2022-07-26 13:39 30K
BuchiAutomizer (no LBE).test-easy7.wvr.yml.log 2022-07-26 13:39 30K
BuchiAutomizer (no LBE).test-hard1.wvr.yml.log 2022-07-26 13:40 2.5M
BuchiAutomizer (no LBE).test-semi1.wvr.yml.log 2022-07-26 13:39 30K
BuchiAutomizer (no LBE).time_var_mutex.yml.log 2022-07-26 13:22 31K
BuchiAutomizer (no LBE).tls_basic.yml.log 2022-07-26 13:25 15K
BuchiAutomizer (no LBE).tls_destructor_worker.yml.log 2022-07-26 13:25 16K
BuchiAutomizer (no LBE).unroll-2.wvr.yml.log 2022-07-26 13:40 2.0M
BuchiAutomizer (no LBE).unroll-3.wvr.yml.log 2022-07-26 13:40 2.1M
BuchiAutomizer (no LBE).unroll-4.wvr.yml.log 2022-07-26 13:40 2.0M
BuchiAutomizer (no LBE).unroll-5.wvr.yml.log 2022-07-26 13:40 2.1M
BuchiAutomizer (no LBE).unroll-cond-2.wvr.yml.log 2022-07-26 13:40 2.0M
BuchiAutomizer (no LBE).unroll-cond-3.wvr.yml.log 2022-07-26 13:40 2.1M
BuchiAutomizer (no LBE).unroll-cond-4.wvr.yml.log 2022-07-26 13:40 2.0M
BuchiAutomizer (no LBE).unroll-cond-5.wvr.yml.log 2022-07-26 13:40 2.1M
BuchiAutomizer (no LBE).workstealqueue_mutex-1.yml.log 2022-07-26 13:27 1.0M
BuchiAutomizer (no LBE).workstealqueue_mutex-2.yml.log 2022-07-26 13:27 1.0M
BuchiAutomizer (semantic LBE).airline-10.yml.log 2022-07-26 13:59 201K
BuchiAutomizer (semantic LBE).airline-15.yml.log 2022-07-26 13:59 201K
BuchiAutomizer (semantic LBE).airline-20.yml.log 2022-07-26 14:00 201K
BuchiAutomizer (semantic LBE).airline-25.yml.log 2022-07-26 13:59 201K
BuchiAutomizer (semantic LBE).airline-5.yml.log 2022-07-26 13:59 180K
BuchiAutomizer (semantic LBE).arithmetic_prog_bad.yml.log 2022-07-26 13:59 149K
BuchiAutomizer (semantic LBE).arithmetic_prog_ok.yml.log 2022-07-26 13:59 149K
BuchiAutomizer (semantic LBE).array-eq-symm.wvr.yml.log 2022-07-26 13:48 499K
BuchiAutomizer (semantic LBE).array-eq-trans.wvr.yml.log 2022-07-26 13:48 1.2M
BuchiAutomizer (semantic LBE).barrier_2t.yml.log 2022-07-26 13:46 43K
BuchiAutomizer (semantic LBE).barrier_3t.yml.log 2022-07-26 13:46 43K
BuchiAutomizer (semantic LBE).bench-exp1x3.wvr.yml.log 2022-07-26 13:48 1.4M
BuchiAutomizer (semantic LBE).bench-exp2x3.wvr.yml.log 2022-07-26 13:48 2.1M
BuchiAutomizer (semantic LBE).bench-exp2x4.wvr.yml.log 2022-07-26 13:48 2.1M
BuchiAutomizer (semantic LBE).bench-exp2x6.wvr.yml.log 2022-07-26 13:48 2.1M
BuchiAutomizer (semantic LBE).bench-exp2x9.wvr.yml.log 2022-07-26 13:48 2.2M
BuchiAutomizer (semantic LBE).bench-exp3x3-opt.wvr.yml.log 2022-07-26 13:48 51K
BuchiAutomizer (semantic LBE).bench-exp3x3.wvr.yml.log 2022-07-26 13:49 2.9M
BuchiAutomizer (semantic LBE).bounded_buffer.yml.log 2022-07-26 13:45 38K
BuchiAutomizer (semantic LBE).chl-array-int-subst.wvr.yml.log 2022-07-26 13:49 1.1M
BuchiAutomizer (semantic LBE).chl-array-int-symm.wvr.yml.log 2022-07-26 13:49 698K
BuchiAutomizer (semantic LBE).chl-array-int-trans.wvr.yml.log 2022-07-26 13:49 1.1M
BuchiAutomizer (semantic LBE).chl-chromosome-opt-symm.wvr.yml.log 2022-07-26 13:49 686K
BuchiAutomizer (semantic LBE).chl-chromosome-subst.wvr.yml.log 2022-07-26 13:52 1.0M
BuchiAutomizer (semantic LBE).chl-chromosome-symm.wvr.yml.log 2022-07-26 13:49 550K
BuchiAutomizer (semantic LBE).chl-chromosome-trans.wvr.yml.log 2022-07-26 13:52 864K
BuchiAutomizer (semantic LBE).chl-collitem-subst.wvr.yml.log 2022-07-26 13:49 34K
BuchiAutomizer (semantic LBE).chl-collitem-symm.wvr.yml.log 2022-07-26 13:49 34K
BuchiAutomizer (semantic LBE).chl-collitem-trans.wvr.yml.log 2022-07-26 13:49 34K
BuchiAutomizer (semantic LBE).chl-exp-term-subst.wvr.yml.log 2022-07-26 13:49 34K
BuchiAutomizer (semantic LBE).chl-exp-term-symm.wvr.yml.log 2022-07-26 13:49 34K
BuchiAutomizer (semantic LBE).chl-file-item-subst.wvr.yml.log 2022-07-26 13:49 34K
BuchiAutomizer (semantic LBE).chl-file-item-symm.wvr.yml.log 2022-07-26 13:49 34K
BuchiAutomizer (semantic LBE).chl-file-item-trans.wvr.yml.log 2022-07-26 13:49 34K
BuchiAutomizer (semantic LBE).chl-match-subst.wvr.yml.log 2022-07-26 13:49 34K
BuchiAutomizer (semantic LBE).chl-match-symm.wvr.yml.log 2022-07-26 13:49 34K
BuchiAutomizer (semantic LBE).chl-match-trans.wvr.yml.log 2022-07-26 13:49 34K
BuchiAutomizer (semantic LBE).chl-name-comparator-subst.wvr.yml.log 2022-07-26 13:50 892K
BuchiAutomizer (semantic LBE).chl-name-comparator-symm.wvr.yml.log 2022-07-26 13:50 619K
BuchiAutomizer (semantic LBE).chl-name-comparator-trans.wvr.yml.log 2022-07-26 13:50 720K
BuchiAutomizer (semantic LBE).chl-node-subst.wvr.yml.log 2022-07-26 13:51 1.2M
BuchiAutomizer (semantic LBE).chl-node-symm.wvr.yml.log 2022-07-26 13:50 798K
BuchiAutomizer (semantic LBE).chl-node-trans.wvr.yml.log 2022-07-26 13:51 1.4M
BuchiAutomizer (semantic LBE).chl-nzb-file-subst.wvr.yml.log 2022-07-26 13:54 1.6M
BuchiAutomizer (semantic LBE).chl-nzb-file-symm.wvr.yml.log 2022-07-26 13:51 786K
BuchiAutomizer (semantic LBE).chl-nzb-file-trans.wvr.yml.log 2022-07-26 13:54 1.6M
BuchiAutomizer (semantic LBE).chl-simpl-str-subst.wvr.yml.log 2022-07-26 13:50 34K
BuchiAutomizer (semantic LBE).chl-simpl-str-symm.wvr.yml.log 2022-07-26 13:50 34K
BuchiAutomizer (semantic LBE).chl-simpl-str-trans.wvr.yml.log 2022-07-26 13:50 34K
BuchiAutomizer (semantic LBE).chl-sre-subst.wvr.yml.log 2022-07-26 13:50 34K
BuchiAutomizer (semantic LBE).chl-sre-symm.wvr.yml.log 2022-07-26 13:50 34K
BuchiAutomizer (semantic LBE).chl-sre-trans.wvr.yml.log 2022-07-26 13:50 34K
BuchiAutomizer (semantic LBE).chl-time-subst.wvr.yml.log 2022-07-26 13:50 34K
BuchiAutomizer (semantic LBE).chl-time-symm.wvr.yml.log 2022-07-26 13:50 34K
BuchiAutomizer (semantic LBE).chl-time-trans.wvr.yml.log 2022-07-26 13:50 34K
BuchiAutomizer (semantic LBE).chl-word-subst.wvr.yml.log 2022-07-26 13:51 1.0M
BuchiAutomizer (semantic LBE).chl-word-symm.wvr.yml.log 2022-07-26 13:51 805K
BuchiAutomizer (semantic LBE).chl-word-trans.wvr.yml.log 2022-07-26 13:51 1.2M
BuchiAutomizer (semantic LBE).circular_buffer_bad.yml.log 2022-07-26 13:59 38K
BuchiAutomizer (semantic LBE).circular_buffer_ok.yml.log 2022-07-26 13:59 39K
BuchiAutomizer (semantic LBE).clever.wvr.yml.log 2022-07-26 13:50 215K
BuchiAutomizer (semantic LBE).condvar.yml.log 2022-07-26 13:46 47K
BuchiAutomizer (semantic LBE).condvar_spurious_wakeup.yml.log 2022-07-26 13:46 103K
BuchiAutomizer (semantic LBE).dekker-b.yml.log 2022-07-26 13:44 83K
BuchiAutomizer (semantic LBE).dekker.yml.log 2022-07-26 13:44 87K
BuchiAutomizer (semantic LBE).divinefifo-bug_1w1r.yml.log 2022-07-26 13:47 477K
BuchiAutomizer (semantic LBE).divinefifo_1w1r.yml.log 2022-07-26 13:47 531K
BuchiAutomizer (semantic LBE).elimination_backoff_stack.yml.log 2022-07-26 13:45 39K
BuchiAutomizer (semantic LBE).fibonacci.wvr.yml.log 2022-07-26 13:50 147K
BuchiAutomizer (semantic LBE).fk2012.yml.log 2022-07-26 13:44 49K
BuchiAutomizer (semantic LBE).fkp2013-1.yml.log 2022-07-26 13:46 363K
BuchiAutomizer (semantic LBE).fkp2013-2.yml.log 2022-07-26 13:47 392K
BuchiAutomizer (semantic LBE).fkp2013_variant-1.yml.log 2022-07-26 13:47 401K
BuchiAutomizer (semantic LBE).fkp2013_variant-2.yml.log 2022-07-26 13:47 371K
BuchiAutomizer (semantic LBE).fkp2014.yml.log 2022-07-26 13:46 243K
BuchiAutomizer (semantic LBE).floating_read-10.yml.log 2022-07-26 14:01 421K
BuchiAutomizer (semantic LBE).floating_read-15.yml.log 2022-07-26 14:01 391K
BuchiAutomizer (semantic LBE).floating_read-20.yml.log 2022-07-26 14:01 390K
BuchiAutomizer (semantic LBE).floating_read-25.yml.log 2022-07-26 14:03 423K
BuchiAutomizer (semantic LBE).floating_read-5.yml.log 2022-07-26 13:59 173K
BuchiAutomizer (semantic LBE).gcd-2.yml.log 2022-07-26 13:44 49K
BuchiAutomizer (semantic LBE).lamport-b.yml.log 2022-07-26 13:44 108K
BuchiAutomizer (semantic LBE).lamport.yml.log 2022-07-26 13:44 150K
BuchiAutomizer (semantic LBE).linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml.log 2022-07-26 13:45 36K
BuchiAutomizer (semantic LBE).linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml.log 2022-07-26 13:45 36K
BuchiAutomizer (semantic LBE).linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml.log 2022-07-26 13:44 31K
BuchiAutomizer (semantic LBE).linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml.log 2022-07-26 13:46 25K
BuchiAutomizer (semantic LBE).linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml.log 2022-07-26 13:47 36K
BuchiAutomizer (semantic LBE).linux-3.14--drivers--usb--misc--adutux.ko.cil.yml.log 2022-07-26 13:44 31K
BuchiAutomizer (semantic LBE).linux-3.14--drivers--usb--misc--iowarrior.ko.cil.yml.log 2022-07-26 13:44 31K
BuchiAutomizer (semantic LBE).loop-tiling-eq.wvr.yml.log 2022-07-26 13:50 38K
BuchiAutomizer (semantic LBE).mult-comm.wvr.yml.log 2022-07-26 13:51 1.7M
BuchiAutomizer (semantic LBE).mult-dist.wvr.yml.log 2022-07-26 13:51 2.2M
BuchiAutomizer (semantic LBE).mult-flipped-dist.wvr.yml.log 2022-07-26 13:51 2.3M
BuchiAutomizer (semantic LBE).nondet-array-1.yml.log 2022-07-26 13:48 457K
BuchiAutomizer (semantic LBE).nondet-array-2.yml.log 2022-07-26 13:48 432K
BuchiAutomizer (semantic LBE).nondet-loop-bound-1.yml.log 2022-07-26 13:49 373K
BuchiAutomizer (semantic LBE).nondet-loop-bound-2.yml.log 2022-07-26 13:50 373K
BuchiAutomizer (semantic LBE).nondet-loop-bound-variant-1.yml.log 2022-07-26 13:48 190K
BuchiAutomizer (semantic LBE).nondet-loop-bound-variant-2.yml.log 2022-07-26 13:48 190K
BuchiAutomizer (semantic LBE).one_time_barrier_2t.yml.log 2022-07-26 13:46 44K
BuchiAutomizer (semantic LBE).one_time_barrier_3t.yml.log 2022-07-26 13:47 44K
BuchiAutomizer (semantic LBE).one_time_barrier_twice_2t.yml.log 2022-07-26 13:46 44K
BuchiAutomizer (semantic LBE).one_time_barrier_twice_3t.yml.log 2022-07-26 13:51 374K
BuchiAutomizer (semantic LBE).parallel-bakery-2.wvr.yml.log 2022-07-26 13:51 34K
BuchiAutomizer (semantic LBE).parallel-bakery-3.wvr.yml.log 2022-07-26 13:51 34K
BuchiAutomizer (semantic LBE).parallel-bakery-4.wvr.yml.log 2022-07-26 13:51 35K
BuchiAutomizer (semantic LBE).parallel-barrier-loop.wvr.yml.log 2022-07-26 13:54 4.7M
BuchiAutomizer (semantic LBE).parallel-barrier.wvr.yml.log 2022-07-26 13:51 35K
BuchiAutomizer (semantic LBE).parallel-bluetooth.wvr.yml.log 2022-07-26 13:51 34K
BuchiAutomizer (semantic LBE).parallel-lamport.wvr.yml.log 2022-07-26 13:51 147K
BuchiAutomizer (semantic LBE).parallel-min-max-1.wvr.yml.log 2022-07-26 13:51 513K
BuchiAutomizer (semantic LBE).parallel-misc-1.wvr.yml.log 2022-07-26 13:52 490K
BuchiAutomizer (semantic LBE).parallel-misc-2-unrolled-atomic.wvr.yml.log 2022-07-26 13:51 118K
BuchiAutomizer (semantic LBE).parallel-misc-2-unrolled.wvr.yml.log 2022-07-26 13:52 2.0M
BuchiAutomizer (semantic LBE).parallel-misc-2.wvr.yml.log 2022-07-26 13:52 1.9M
BuchiAutomizer (semantic LBE).parallel-misc-3-extended.wvr.yml.log 2022-07-26 13:52 2.0M
BuchiAutomizer (semantic LBE).parallel-misc-3.wvr.yml.log 2022-07-26 13:52 1.5M
BuchiAutomizer (semantic LBE).parallel-misc-4.wvr.yml.log 2022-07-26 13:52 2.2M
BuchiAutomizer (semantic LBE).parallel-misc-5.wvr.yml.log 2022-07-26 13:52 1.9M
BuchiAutomizer (semantic LBE).parallel-parallel-sum-1-dsl.wvr.yml.log 2022-07-26 13:52 832K
BuchiAutomizer (semantic LBE).parallel-parallel-sum-1.wvr.yml.log 2022-07-26 13:52 559K
BuchiAutomizer (semantic LBE).parallel-parallel-sum-2.wvr.yml.log 2022-07-26 13:52 875K
BuchiAutomizer (semantic LBE).parallel-parallel-sum-equiv.wvr.yml.log 2022-07-26 13:52 614K
BuchiAutomizer (semantic LBE).parallel-simple-equiv.wvr.yml.log 2022-07-26 13:52 34K
BuchiAutomizer (semantic LBE).parallel-ticket-2.wvr.yml.log 2022-07-26 13:52 34K
BuchiAutomizer (semantic LBE).parallel-ticket-3.wvr.yml.log 2022-07-26 13:52 34K
BuchiAutomizer (semantic LBE).parallel-ticket-4.wvr.yml.log 2022-07-26 13:52 35K
BuchiAutomizer (semantic LBE).parallel-ticket-5.wvr.yml.log 2022-07-26 13:52 35K
BuchiAutomizer (semantic LBE).parallel-ticket-6.wvr.yml.log 2022-07-26 13:52 35K
BuchiAutomizer (semantic LBE).parallel-ticket-7.wvr.yml.log 2022-07-26 13:52 35K
BuchiAutomizer (semantic LBE).parallel-ticket-8.wvr.yml.log 2022-07-26 13:52 35K
BuchiAutomizer (semantic LBE).peterson-b.yml.log 2022-07-26 13:44 81K
BuchiAutomizer (semantic LBE).peterson.yml.log 2022-07-26 13:44 86K
BuchiAutomizer (semantic LBE).popl20-bad-buffer-mult-alt.wvr.yml.log 2022-07-26 13:55 2.9M
BuchiAutomizer (semantic LBE).popl20-bad-buffer-mult-alt2.wvr.yml.log 2022-07-26 13:54 1.9M
BuchiAutomizer (semantic LBE).popl20-bad-commit-1.wvr-bad.yml.log 2022-07-26 13:56 683K
BuchiAutomizer (semantic LBE).popl20-bad-commit-2.wvr-bad.yml.log 2022-07-26 13:56 1.4M
BuchiAutomizer (semantic LBE).popl20-bad-counter-queue.wvr.yml.log 2022-07-26 13:52 372K
BuchiAutomizer (semantic LBE).popl20-bad-counter-queue2.wvr.yml.log 2022-07-26 13:52 348K
BuchiAutomizer (semantic LBE).popl20-bad-dot-product-alt.wvr.yml.log 2022-07-26 13:53 388K
BuchiAutomizer (semantic LBE).popl20-bad-dot-product.wvr.yml.log 2022-07-26 13:56 3.8M
BuchiAutomizer (semantic LBE).popl20-bad-ring-nondet.wvr.yml.log 2022-07-26 13:53 533K
BuchiAutomizer (semantic LBE).popl20-bad-ring.wvr.yml.log 2022-07-26 13:57 2.1M
BuchiAutomizer (semantic LBE).popl20-bad-threaded-sum-2.wvr.yml.log 2022-07-26 13:53 730K
BuchiAutomizer (semantic LBE).popl20-bad-three-array-sum-alt.wvr.yml.log 2022-07-26 13:57 3.0M
BuchiAutomizer (semantic LBE).popl20-channel-sum.wvr.yml.log 2022-07-26 13:53 502K
BuchiAutomizer (semantic LBE).popl20-commit-1.wvr.yml.log 2022-07-26 13:54 1.4M
BuchiAutomizer (semantic LBE).popl20-commit-2.wvr.yml.log 2022-07-26 13:55 2.9M
BuchiAutomizer (semantic LBE).popl20-counter-determinism.wvr.yml.log 2022-07-26 13:53 294K
BuchiAutomizer (semantic LBE).popl20-counter-fun.wvr.yml.log 2022-07-26 13:53 476K
BuchiAutomizer (semantic LBE).popl20-difference-det.wvr.yml.log 2022-07-26 13:53 430K
BuchiAutomizer (semantic LBE).popl20-figure1-alt.wvr.yml.log 2022-07-26 13:53 125K
BuchiAutomizer (semantic LBE).popl20-figure1.wvr.yml.log 2022-07-26 13:54 142K
BuchiAutomizer (semantic LBE).popl20-figure3.wvr.yml.log 2022-07-26 13:54 1.8M
BuchiAutomizer (semantic LBE).popl20-horseshoe.wvr.yml.log 2022-07-26 13:54 1.0M
BuchiAutomizer (semantic LBE).popl20-min-max-dec.wvr.yml.log 2022-07-26 13:54 517K
BuchiAutomizer (semantic LBE).popl20-min-max-inc-dec.wvr.yml.log 2022-07-26 13:55 712K
BuchiAutomizer (semantic LBE).popl20-min-max-inc.wvr.yml.log 2022-07-26 13:54 517K
BuchiAutomizer (semantic LBE).popl20-more-array-sum-alt.wvr.yml.log 2022-07-26 13:54 569K
BuchiAutomizer (semantic LBE).popl20-more-array-sum-alt2.wvr.yml.log 2022-07-26 13:54 630K
BuchiAutomizer (semantic LBE).popl20-more-array-sum.wvr.yml.log 2022-07-26 13:55 970K
BuchiAutomizer (semantic LBE).popl20-more-array-sum2.wvr.yml.log 2022-07-26 13:55 939K
BuchiAutomizer (semantic LBE).popl20-more-buffer-mult.wvr.yml.log 2022-07-26 13:57 2.6M
BuchiAutomizer (semantic LBE).popl20-more-buffer-mult2.wvr.yml.log 2022-07-26 13:57 2.1M
BuchiAutomizer (semantic LBE).popl20-more-buffer-series.wvr.yml.log 2022-07-26 13:56 1.3M
BuchiAutomizer (semantic LBE).popl20-more-buffer-series2.wvr.yml.log 2022-07-26 13:58 2.7M
BuchiAutomizer (semantic LBE).popl20-more-dec-subseq.wvr.yml.log 2022-07-26 13:55 695K
BuchiAutomizer (semantic LBE).popl20-more-inc-subseq.wvr.yml.log 2022-07-26 13:55 694K
BuchiAutomizer (semantic LBE).popl20-more-max-array-hom.wvr.yml.log 2022-07-26 13:55 549K
BuchiAutomizer (semantic LBE).popl20-more-max-array.wvr.yml.log 2022-07-26 13:55 641K
BuchiAutomizer (semantic LBE).popl20-more-min-array-hom.wvr.yml.log 2022-07-26 13:55 579K
BuchiAutomizer (semantic LBE).popl20-more-min-array.wvr.yml.log 2022-07-26 13:56 518K
BuchiAutomizer (semantic LBE).popl20-more-min-le-max.wvr.yml.log 2022-07-26 13:56 329K
BuchiAutomizer (semantic LBE).popl20-more-mts.wvr.yml.log 2022-07-26 13:56 643K
BuchiAutomizer (semantic LBE).popl20-more-multiply-verify.wvr.yml.log 2022-07-26 13:56 2.9M
BuchiAutomizer (semantic LBE).popl20-more-nonblocking-counter-alt2.wvr.yml.log 2022-07-26 13:56 1.8M
BuchiAutomizer (semantic LBE).popl20-more-parray-copy.wvr.yml.log 2022-07-26 13:56 746K
BuchiAutomizer (semantic LBE).popl20-more-queue-add-2-nl.wvr.yml.log 2022-07-26 13:56 431K
BuchiAutomizer (semantic LBE).popl20-more-queue-add-3-nl.wvr.yml.log 2022-07-26 13:58 2.1M
BuchiAutomizer (semantic LBE).popl20-more-sorted.wvr.yml.log 2022-07-26 13:57 1.0M
BuchiAutomizer (semantic LBE).popl20-more-sum-array-hom.wvr.yml.log 2022-07-26 13:56 526K
BuchiAutomizer (semantic LBE).popl20-more-vector-add.wvr.yml.log 2022-07-26 14:00 3.2M
BuchiAutomizer (semantic LBE).popl20-mult-4.wvr.yml.log 2022-07-26 13:57 2.5M
BuchiAutomizer (semantic LBE).popl20-mult-equiv.wvr.yml.log 2022-07-26 13:57 2.0M
BuchiAutomizer (semantic LBE).popl20-nonblocking-cntr-alt.wvr.yml.log 2022-07-26 13:56 81K
BuchiAutomizer (semantic LBE).popl20-nonblocking-cntr.wvr.yml.log 2022-07-26 13:56 92K
BuchiAutomizer (semantic LBE).popl20-prod-cons-eq.wvr.yml.log 2022-07-26 13:59 2.1M
BuchiAutomizer (semantic LBE).popl20-prod-cons.wvr.yml.log 2022-07-26 13:57 933K
BuchiAutomizer (semantic LBE).popl20-prod-cons3.wvr.yml.log 2022-07-26 14:00 2.4M
BuchiAutomizer (semantic LBE).popl20-proofs-counter-add-4-semi-Q67.wvr.yml.log 2022-07-26 13:57 498K
BuchiAutomizer (semantic LBE).popl20-queue-add-2.wvr.yml.log 2022-07-26 13:57 273K
BuchiAutomizer (semantic LBE).popl20-queue-add-3.wvr.yml.log 2022-07-26 13:57 1.2M
BuchiAutomizer (semantic LBE).popl20-send-receive-alt.wvr.yml.log 2022-07-26 13:57 707K
BuchiAutomizer (semantic LBE).popl20-send-receive.wvr.yml.log 2022-07-26 13:57 753K
BuchiAutomizer (semantic LBE).popl20-simple-array-sum.wvr.yml.log 2022-07-26 13:57 713K
BuchiAutomizer (semantic LBE).popl20-simple-queue.wvr.yml.log 2022-07-26 13:57 870K
BuchiAutomizer (semantic LBE).popl20-threaded-sum-3.wvr.yml.log 2022-07-26 13:57 931K
BuchiAutomizer (semantic LBE).popl20-three-array-max.wvr.yml.log 2022-07-26 13:58 1.4M
BuchiAutomizer (semantic LBE).popl20-three-array-min.wvr.yml.log 2022-07-26 13:58 1.1M
BuchiAutomizer (semantic LBE).popl20-three-array-sum.wvr.yml.log 2022-07-26 13:58 936K
BuchiAutomizer (semantic LBE).popl20-two-queue.wvr.yml.log 2022-07-26 13:58 1.0M
BuchiAutomizer (semantic LBE).pthread-demo-datarace-1.yml.log 2022-07-26 13:45 349K
BuchiAutomizer (semantic LBE).pthread-demo-datarace-2.yml.log 2022-07-26 13:46 406K
BuchiAutomizer (semantic LBE).pthread-finding-k-matches.yml.log 2022-07-26 13:46 16K
BuchiAutomizer (semantic LBE).pthread-numerical-integration.yml.log 2022-07-26 13:46 15K
BuchiAutomizer (semantic LBE).qrcu-1.yml.log 2022-07-26 13:44 53K
BuchiAutomizer (semantic LBE).qrcu-2.yml.log 2022-07-26 13:44 53K
BuchiAutomizer (semantic LBE).qw2004-1.yml.log 2022-07-26 13:44 34K
BuchiAutomizer (semantic LBE).qw2004-2.yml.log 2022-07-26 13:44 34K
BuchiAutomizer (semantic LBE).qw2004-2b.yml.log 2022-07-26 13:44 34K
BuchiAutomizer (semantic LBE).qw2004_variant.yml.log 2022-07-26 13:46 280K
BuchiAutomizer (semantic LBE).read_write_lock-1.yml.log 2022-07-26 13:44 34K
BuchiAutomizer (semantic LBE).read_write_lock-1b.yml.log 2022-07-26 13:44 34K
BuchiAutomizer (semantic LBE).read_write_lock-2.yml.log 2022-07-26 13:44 34K
BuchiAutomizer (semantic LBE).read_write_lock-2b.yml.log 2022-07-26 13:44 34K
BuchiAutomizer (semantic LBE).reorder_c11_bad-10.yml.log 2022-07-26 14:02 143K
BuchiAutomizer (semantic LBE).reorder_c11_bad-20.yml.log 2022-07-26 14:00 122K
BuchiAutomizer (semantic LBE).reorder_c11_bad-30.yml.log 2022-07-26 14:02 143K
BuchiAutomizer (semantic LBE).reorder_c11_bad-40.yml.log 2022-07-26 14:00 122K
BuchiAutomizer (semantic LBE).reorder_c11_bad-50.yml.log 2022-07-26 14:01 122K
BuchiAutomizer (semantic LBE).reorder_c11_good-10.yml.log 2022-07-26 14:00 122K
BuchiAutomizer (semantic LBE).reorder_c11_good-20.yml.log 2022-07-26 14:01 122K
BuchiAutomizer (semantic LBE).reorder_c11_good-30.yml.log 2022-07-26 14:00 122K
BuchiAutomizer (semantic LBE).reorder_c11_good-40.yml.log 2022-07-26 14:01 122K
BuchiAutomizer (semantic LBE).reorder_c11_good-50.yml.log 2022-07-26 14:01 122K
BuchiAutomizer (semantic LBE).ring_1w1r-1.yml.log 2022-07-26 13:47 479K
BuchiAutomizer (semantic LBE).ring_1w1r-2.yml.log 2022-07-26 13:47 353K
BuchiAutomizer (semantic LBE).ring_2w1r-1.yml.log 2022-07-26 13:47 487K
BuchiAutomizer (semantic LBE).ring_2w1r-2.yml.log 2022-07-26 13:47 616K
BuchiAutomizer (semantic LBE).safestack_relacy.yml.log 2022-07-26 13:49 11M
BuchiAutomizer (semantic LBE).scull.yml.log 2022-07-26 13:44 36K
BuchiAutomizer (semantic LBE).security.wvr.yml.log 2022-07-26 13:57 34K
BuchiAutomizer (semantic LBE).spaghetti.wvr.yml.log 2022-07-26 13:57 48K
BuchiAutomizer (semantic LBE).sssc12.yml.log 2022-07-26 13:47 1.3M
BuchiAutomizer (semantic LBE).sssc12_variant.yml.log 2022-07-26 13:47 1.3M
BuchiAutomizer (semantic LBE).szymanski-b.yml.log 2022-07-26 13:44 116K
BuchiAutomizer (semantic LBE).szymanski.yml.log 2022-07-26 13:44 120K
BuchiAutomizer (semantic LBE).test-context1.wvr.yml.log 2022-07-26 13:58 539K
BuchiAutomizer (semantic LBE).test-easy1.wvr.yml.log 2022-07-26 13:57 114K
BuchiAutomizer (semantic LBE).test-easy10.wvr.yml.log 2022-07-26 13:58 35K
BuchiAutomizer (semantic LBE).test-easy11.wvr.yml.log 2022-07-26 13:58 109K
BuchiAutomizer (semantic LBE).test-easy6.wvr.yml.log 2022-07-26 13:58 34K
BuchiAutomizer (semantic LBE).test-easy7.wvr.yml.log 2022-07-26 13:58 34K
BuchiAutomizer (semantic LBE).test-hard1.wvr.yml.log 2022-07-26 13:59 2.5M
BuchiAutomizer (semantic LBE).test-semi1.wvr.yml.log 2022-07-26 13:58 34K
BuchiAutomizer (semantic LBE).time_var_mutex.yml.log 2022-07-26 13:44 35K
BuchiAutomizer (semantic LBE).tls_basic.yml.log 2022-07-26 13:47 15K
BuchiAutomizer (semantic LBE).tls_destructor_worker.yml.log 2022-07-26 13:47 15K
BuchiAutomizer (semantic LBE).unroll-2.wvr.yml.log 2022-07-26 13:58 2.0M
BuchiAutomizer (semantic LBE).unroll-3.wvr.yml.log 2022-07-26 13:58 2.0M
BuchiAutomizer (semantic LBE).unroll-4.wvr.yml.log 2022-07-26 13:58 2.0M
BuchiAutomizer (semantic LBE).unroll-5.wvr.yml.log 2022-07-26 13:59 2.0M
BuchiAutomizer (semantic LBE).unroll-cond-2.wvr.yml.log 2022-07-26 13:59 2.0M
BuchiAutomizer (semantic LBE).unroll-cond-3.wvr.yml.log 2022-07-26 13:59 2.0M
BuchiAutomizer (semantic LBE).unroll-cond-4.wvr.yml.log 2022-07-26 13:59 1.9M
BuchiAutomizer (semantic LBE).unroll-cond-5.wvr.yml.log 2022-07-26 13:59 2.0M
BuchiAutomizer (semantic LBE).workstealqueue_mutex-1.yml.log 2022-07-26 13:46 39K
BuchiAutomizer (semantic LBE).workstealqueue_mutex-2.yml.log 2022-07-26 13:46 39K
BuchiAutomizer (syntactic LBE).airline-10.yml.log 2022-07-26 14:21 201K
BuchiAutomizer (syntactic LBE).airline-15.yml.log 2022-07-26 14:21 201K
BuchiAutomizer (syntactic LBE).airline-20.yml.log 2022-07-26 14:21 201K
BuchiAutomizer (syntactic LBE).airline-25.yml.log 2022-07-26 14:22 201K
BuchiAutomizer (syntactic LBE).airline-5.yml.log 2022-07-26 14:21 176K
BuchiAutomizer (syntactic LBE).arithmetic_prog_bad.yml.log 2022-07-26 14:21 151K
BuchiAutomizer (syntactic LBE).arithmetic_prog_ok.yml.log 2022-07-26 14:21 151K
BuchiAutomizer (syntactic LBE).array-eq-symm.wvr.yml.log 2022-07-26 14:09 597K
BuchiAutomizer (syntactic LBE).array-eq-trans.wvr.yml.log 2022-07-26 14:10 1.1M
BuchiAutomizer (syntactic LBE).barrier_2t.yml.log 2022-07-26 14:10 680K
BuchiAutomizer (syntactic LBE).barrier_3t.yml.log 2022-07-26 14:10 375K
BuchiAutomizer (syntactic LBE).bench-exp1x3.wvr.yml.log 2022-07-26 14:09 1.4M
BuchiAutomizer (syntactic LBE).bench-exp2x3.wvr.yml.log 2022-07-26 14:10 2.1M
BuchiAutomizer (syntactic LBE).bench-exp2x4.wvr.yml.log 2022-07-26 14:10 2.1M
BuchiAutomizer (syntactic LBE).bench-exp2x6.wvr.yml.log 2022-07-26 14:10 2.1M
BuchiAutomizer (syntactic LBE).bench-exp2x9.wvr.yml.log 2022-07-26 14:10 2.1M
BuchiAutomizer (syntactic LBE).bench-exp3x3-opt.wvr.yml.log 2022-07-26 14:10 51K
BuchiAutomizer (syntactic LBE).bench-exp3x3.wvr.yml.log 2022-07-26 14:11 2.9M
BuchiAutomizer (syntactic LBE).bounded_buffer.yml.log 2022-07-26 14:08 33K
BuchiAutomizer (syntactic LBE).chl-array-int-subst.wvr.yml.log 2022-07-26 14:11 1.3M
BuchiAutomizer (syntactic LBE).chl-array-int-symm.wvr.yml.log 2022-07-26 14:11 621K
BuchiAutomizer (syntactic LBE).chl-array-int-trans.wvr.yml.log 2022-07-26 14:11 1.0M
BuchiAutomizer (syntactic LBE).chl-chromosome-opt-symm.wvr.yml.log 2022-07-26 14:11 539K
BuchiAutomizer (syntactic LBE).chl-chromosome-subst.wvr.yml.log 2022-07-26 14:14 895K
BuchiAutomizer (syntactic LBE).chl-chromosome-symm.wvr.yml.log 2022-07-26 14:11 639K
BuchiAutomizer (syntactic LBE).chl-chromosome-trans.wvr.yml.log 2022-07-26 14:14 926K
BuchiAutomizer (syntactic LBE).chl-collitem-subst.wvr.yml.log 2022-07-26 14:11 34K
BuchiAutomizer (syntactic LBE).chl-collitem-symm.wvr.yml.log 2022-07-26 14:11 34K
BuchiAutomizer (syntactic LBE).chl-collitem-trans.wvr.yml.log 2022-07-26 14:11 34K
BuchiAutomizer (syntactic LBE).chl-exp-term-subst.wvr.yml.log 2022-07-26 14:11 34K
BuchiAutomizer (syntactic LBE).chl-exp-term-symm.wvr.yml.log 2022-07-26 14:11 33K
BuchiAutomizer (syntactic LBE).chl-file-item-subst.wvr.yml.log 2022-07-26 14:11 34K
BuchiAutomizer (syntactic LBE).chl-file-item-symm.wvr.yml.log 2022-07-26 14:11 33K
BuchiAutomizer (syntactic LBE).chl-file-item-trans.wvr.yml.log 2022-07-26 14:11 34K
BuchiAutomizer (syntactic LBE).chl-match-subst.wvr.yml.log 2022-07-26 14:11 34K
BuchiAutomizer (syntactic LBE).chl-match-symm.wvr.yml.log 2022-07-26 14:11 33K
BuchiAutomizer (syntactic LBE).chl-match-trans.wvr.yml.log 2022-07-26 14:11 34K
BuchiAutomizer (syntactic LBE).chl-name-comparator-subst.wvr.yml.log 2022-07-26 14:12 709K
BuchiAutomizer (syntactic LBE).chl-name-comparator-symm.wvr.yml.log 2022-07-26 14:12 578K
BuchiAutomizer (syntactic LBE).chl-name-comparator-trans.wvr.yml.log 2022-07-26 14:12 891K
BuchiAutomizer (syntactic LBE).chl-node-subst.wvr.yml.log 2022-07-26 14:12 1.2M
BuchiAutomizer (syntactic LBE).chl-node-symm.wvr.yml.log 2022-07-26 14:12 613K
BuchiAutomizer (syntactic LBE).chl-node-trans.wvr.yml.log 2022-07-26 14:12 1.2M
BuchiAutomizer (syntactic LBE).chl-nzb-file-subst.wvr.yml.log 2022-07-26 14:15 1.4M
BuchiAutomizer (syntactic LBE).chl-nzb-file-symm.wvr.yml.log 2022-07-26 14:13 1.1M
BuchiAutomizer (syntactic LBE).chl-nzb-file-trans.wvr.yml.log 2022-07-26 14:15 1.2M
BuchiAutomizer (syntactic LBE).chl-simpl-str-subst.wvr.yml.log 2022-07-26 14:11 34K
BuchiAutomizer (syntactic LBE).chl-simpl-str-symm.wvr.yml.log 2022-07-26 14:11 33K
BuchiAutomizer (syntactic LBE).chl-simpl-str-trans.wvr.yml.log 2022-07-26 14:12 34K
BuchiAutomizer (syntactic LBE).chl-sre-subst.wvr.yml.log 2022-07-26 14:12 33K
BuchiAutomizer (syntactic LBE).chl-sre-symm.wvr.yml.log 2022-07-26 14:12 33K
BuchiAutomizer (syntactic LBE).chl-sre-trans.wvr.yml.log 2022-07-26 14:12 33K
BuchiAutomizer (syntactic LBE).chl-time-subst.wvr.yml.log 2022-07-26 14:12 34K
BuchiAutomizer (syntactic LBE).chl-time-symm.wvr.yml.log 2022-07-26 14:12 33K
BuchiAutomizer (syntactic LBE).chl-time-trans.wvr.yml.log 2022-07-26 14:12 34K
BuchiAutomizer (syntactic LBE).chl-word-subst.wvr.yml.log 2022-07-26 14:13 1.2M
BuchiAutomizer (syntactic LBE).chl-word-symm.wvr.yml.log 2022-07-26 14:12 610K
BuchiAutomizer (syntactic LBE).chl-word-trans.wvr.yml.log 2022-07-26 14:13 1.4M
BuchiAutomizer (syntactic LBE).circular_buffer_bad.yml.log 2022-07-26 14:21 406K
BuchiAutomizer (syntactic LBE).circular_buffer_ok.yml.log 2022-07-26 14:21 346K
BuchiAutomizer (syntactic LBE).clever.wvr.yml.log 2022-07-26 14:12 214K
BuchiAutomizer (syntactic LBE).condvar.yml.log 2022-07-26 14:06 47K
BuchiAutomizer (syntactic LBE).condvar_spurious_wakeup.yml.log 2022-07-26 14:06 206K
BuchiAutomizer (syntactic LBE).dekker-b.yml.log 2022-07-26 14:03 83K
BuchiAutomizer (syntactic LBE).dekker.yml.log 2022-07-26 14:03 86K
BuchiAutomizer (syntactic LBE).divinefifo-bug_1w1r.yml.log 2022-07-26 14:07 538K
BuchiAutomizer (syntactic LBE).divinefifo_1w1r.yml.log 2022-07-26 14:07 626K
BuchiAutomizer (syntactic LBE).elimination_backoff_stack.yml.log 2022-07-26 14:08 37K
BuchiAutomizer (syntactic LBE).fibonacci.wvr.yml.log 2022-07-26 14:12 147K
BuchiAutomizer (syntactic LBE).fk2012.yml.log 2022-07-26 14:03 49K
BuchiAutomizer (syntactic LBE).fkp2013-1.yml.log 2022-07-26 14:05 363K
BuchiAutomizer (syntactic LBE).fkp2013-2.yml.log 2022-07-26 14:05 363K
BuchiAutomizer (syntactic LBE).fkp2013_variant-1.yml.log 2022-07-26 14:07 392K
BuchiAutomizer (syntactic LBE).fkp2013_variant-2.yml.log 2022-07-26 14:06 371K
BuchiAutomizer (syntactic LBE).fkp2014.yml.log 2022-07-26 14:04 198K
BuchiAutomizer (syntactic LBE).floating_read-10.yml.log 2022-07-26 14:23 413K
BuchiAutomizer (syntactic LBE).floating_read-15.yml.log 2022-07-26 14:23 391K
BuchiAutomizer (syntactic LBE).floating_read-20.yml.log 2022-07-26 14:23 391K
BuchiAutomizer (syntactic LBE).floating_read-25.yml.log 2022-07-26 14:23 391K
BuchiAutomizer (syntactic LBE).floating_read-5.yml.log 2022-07-26 14:21 170K
BuchiAutomizer (syntactic LBE).gcd-2.yml.log 2022-07-26 14:03 48K
BuchiAutomizer (syntactic LBE).lamport-b.yml.log 2022-07-26 14:03 107K
BuchiAutomizer (syntactic LBE).lamport.yml.log 2022-07-26 14:03 149K
BuchiAutomizer (syntactic LBE).linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml.log 2022-07-26 14:04 36K
BuchiAutomizer (syntactic LBE).linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml.log 2022-07-26 14:04 36K
BuchiAutomizer (syntactic LBE).linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml.log 2022-07-26 14:03 32K
BuchiAutomizer (syntactic LBE).linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml.log 2022-07-26 14:05 25K
BuchiAutomizer (syntactic LBE).linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml.log 2022-07-26 14:06 36K
BuchiAutomizer (syntactic LBE).linux-3.14--drivers--usb--misc--adutux.ko.cil.yml.log 2022-07-26 14:03 31K
BuchiAutomizer (syntactic LBE).linux-3.14--drivers--usb--misc--iowarrior.ko.cil.yml.log 2022-07-26 14:03 31K
BuchiAutomizer (syntactic LBE).loop-tiling-eq.wvr.yml.log 2022-07-26 14:17 1.7M
BuchiAutomizer (syntactic LBE).mult-comm.wvr.yml.log 2022-07-26 14:12 1.7M
BuchiAutomizer (syntactic LBE).mult-dist.wvr.yml.log 2022-07-26 14:13 2.2M
BuchiAutomizer (syntactic LBE).mult-flipped-dist.wvr.yml.log 2022-07-26 14:13 2.3M
BuchiAutomizer (syntactic LBE).nondet-array-1.yml.log 2022-07-26 14:10 536K
BuchiAutomizer (syntactic LBE).nondet-array-2.yml.log 2022-07-26 14:09 460K
BuchiAutomizer (syntactic LBE).nondet-loop-bound-1.yml.log 2022-07-26 14:11 373K
BuchiAutomizer (syntactic LBE).nondet-loop-bound-2.yml.log 2022-07-26 14:12 394K
BuchiAutomizer (syntactic LBE).nondet-loop-bound-variant-1.yml.log 2022-07-26 14:10 190K
BuchiAutomizer (syntactic LBE).nondet-loop-bound-variant-2.yml.log 2022-07-26 14:10 190K
BuchiAutomizer (syntactic LBE).one_time_barrier_2t.yml.log 2022-07-26 14:11 1.1M
BuchiAutomizer (syntactic LBE).one_time_barrier_3t.yml.log 2022-07-26 14:11 374K
BuchiAutomizer (syntactic LBE).one_time_barrier_twice_2t.yml.log 2022-07-26 14:11 784K
BuchiAutomizer (syntactic LBE).one_time_barrier_twice_3t.yml.log 2022-07-26 14:11 452K
BuchiAutomizer (syntactic LBE).parallel-bakery-2.wvr.yml.log 2022-07-26 14:12 34K
BuchiAutomizer (syntactic LBE).parallel-bakery-3.wvr.yml.log 2022-07-26 14:12 34K
BuchiAutomizer (syntactic LBE).parallel-bakery-4.wvr.yml.log 2022-07-26 14:13 34K
BuchiAutomizer (syntactic LBE).parallel-barrier-loop.wvr.yml.log 2022-07-26 14:15 3.8M
BuchiAutomizer (syntactic LBE).parallel-barrier.wvr.yml.log 2022-07-26 14:13 34K
BuchiAutomizer (syntactic LBE).parallel-bluetooth.wvr.yml.log 2022-07-26 14:13 34K
BuchiAutomizer (syntactic LBE).parallel-lamport.wvr.yml.log 2022-07-26 14:13 142K
BuchiAutomizer (syntactic LBE).parallel-min-max-1.wvr.yml.log 2022-07-26 14:13 406K
BuchiAutomizer (syntactic LBE).parallel-misc-1.wvr.yml.log 2022-07-26 14:13 312K
BuchiAutomizer (syntactic LBE).parallel-misc-2-unrolled-atomic.wvr.yml.log 2022-07-26 14:13 117K
BuchiAutomizer (syntactic LBE).parallel-misc-2-unrolled.wvr.yml.log 2022-07-26 14:13 2.0M
BuchiAutomizer (syntactic LBE).parallel-misc-2.wvr.yml.log 2022-07-26 14:13 1.9M
BuchiAutomizer (syntactic LBE).parallel-misc-3-extended.wvr.yml.log 2022-07-26 14:14 2.0M
BuchiAutomizer (syntactic LBE).parallel-misc-3.wvr.yml.log 2022-07-26 14:14 1.5M
BuchiAutomizer (syntactic LBE).parallel-misc-4.wvr.yml.log 2022-07-26 14:14 2.2M
BuchiAutomizer (syntactic LBE).parallel-misc-5.wvr.yml.log 2022-07-26 14:14 1.9M
BuchiAutomizer (syntactic LBE).parallel-parallel-sum-1-dsl.wvr.yml.log 2022-07-26 14:14 682K
BuchiAutomizer (syntactic LBE).parallel-parallel-sum-1.wvr.yml.log 2022-07-26 14:14 565K
BuchiAutomizer (syntactic LBE).parallel-parallel-sum-2.wvr.yml.log 2022-07-26 14:15 1.2M
BuchiAutomizer (syntactic LBE).parallel-parallel-sum-equiv.wvr.yml.log 2022-07-26 14:14 574K
BuchiAutomizer (syntactic LBE).parallel-simple-equiv.wvr.yml.log 2022-07-26 14:14 34K
BuchiAutomizer (syntactic LBE).parallel-ticket-2.wvr.yml.log 2022-07-26 14:14 34K
BuchiAutomizer (syntactic LBE).parallel-ticket-3.wvr.yml.log 2022-07-26 14:14 34K
BuchiAutomizer (syntactic LBE).parallel-ticket-4.wvr.yml.log 2022-07-26 14:14 34K
BuchiAutomizer (syntactic LBE).parallel-ticket-5.wvr.yml.log 2022-07-26 14:14 34K
BuchiAutomizer (syntactic LBE).parallel-ticket-6.wvr.yml.log 2022-07-26 14:14 34K
BuchiAutomizer (syntactic LBE).parallel-ticket-7.wvr.yml.log 2022-07-26 14:14 35K
BuchiAutomizer (syntactic LBE).parallel-ticket-8.wvr.yml.log 2022-07-26 14:14 28K
BuchiAutomizer (syntactic LBE).peterson-b.yml.log 2022-07-26 14:03 81K
BuchiAutomizer (syntactic LBE).peterson.yml.log 2022-07-26 14:03 86K
BuchiAutomizer (syntactic LBE).popl20-bad-buffer-mult-alt.wvr.yml.log 2022-07-26 14:16 2.3M
BuchiAutomizer (syntactic LBE).popl20-bad-buffer-mult-alt2.wvr.yml.log 2022-07-26 14:15 1.2M
BuchiAutomizer (syntactic LBE).popl20-bad-commit-1.wvr-bad.yml.log 2022-07-26 14:18 915K
BuchiAutomizer (syntactic LBE).popl20-bad-commit-2.wvr-bad.yml.log 2022-07-26 14:18 1.1M
BuchiAutomizer (syntactic LBE).popl20-bad-counter-queue.wvr.yml.log 2022-07-26 14:14 327K
BuchiAutomizer (syntactic LBE).popl20-bad-counter-queue2.wvr.yml.log 2022-07-26 14:14 369K
BuchiAutomizer (syntactic LBE).popl20-bad-dot-product-alt.wvr.yml.log 2022-07-26 14:16 1.2M
BuchiAutomizer (syntactic LBE).popl20-bad-dot-product.wvr.yml.log 2022-07-26 14:18 3.2M
BuchiAutomizer (syntactic LBE).popl20-bad-ring-nondet.wvr.yml.log 2022-07-26 14:15 432K
BuchiAutomizer (syntactic LBE).popl20-bad-ring.wvr.yml.log 2022-07-26 14:19 1.3M
BuchiAutomizer (syntactic LBE).popl20-bad-threaded-sum-2.wvr.yml.log 2022-07-26 14:15 729K
BuchiAutomizer (syntactic LBE).popl20-bad-three-array-sum-alt.wvr.yml.log 2022-07-26 14:19 3.1M
BuchiAutomizer (syntactic LBE).popl20-channel-sum.wvr.yml.log 2022-07-26 14:15 478K
BuchiAutomizer (syntactic LBE).popl20-commit-1.wvr.yml.log 2022-07-26 14:16 1.5M
BuchiAutomizer (syntactic LBE).popl20-commit-2.wvr.yml.log 2022-07-26 14:16 2.5M
BuchiAutomizer (syntactic LBE).popl20-counter-determinism.wvr.yml.log 2022-07-26 14:15 523K
BuchiAutomizer (syntactic LBE).popl20-counter-fun.wvr.yml.log 2022-07-26 14:16 395K
BuchiAutomizer (syntactic LBE).popl20-difference-det.wvr.yml.log 2022-07-26 14:15 294K
BuchiAutomizer (syntactic LBE).popl20-figure1-alt.wvr.yml.log 2022-07-26 14:16 121K
BuchiAutomizer (syntactic LBE).popl20-figure1.wvr.yml.log 2022-07-26 14:16 237K
BuchiAutomizer (syntactic LBE).popl20-figure3.wvr.yml.log 2022-07-26 14:16 1.8M
BuchiAutomizer (syntactic LBE).popl20-horseshoe.wvr.yml.log 2022-07-26 14:17 1.4M
BuchiAutomizer (syntactic LBE).popl20-min-max-dec.wvr.yml.log 2022-07-26 14:16 526K
BuchiAutomizer (syntactic LBE).popl20-min-max-inc-dec.wvr.yml.log 2022-07-26 14:16 677K
BuchiAutomizer (syntactic LBE).popl20-min-max-inc.wvr.yml.log 2022-07-26 14:16 526K
BuchiAutomizer (syntactic LBE).popl20-more-array-sum-alt.wvr.yml.log 2022-07-26 14:16 556K
BuchiAutomizer (syntactic LBE).popl20-more-array-sum-alt2.wvr.yml.log 2022-07-26 14:16 713K
BuchiAutomizer (syntactic LBE).popl20-more-array-sum.wvr.yml.log 2022-07-26 14:17 783K
BuchiAutomizer (syntactic LBE).popl20-more-array-sum2.wvr.yml.log 2022-07-26 14:17 915K
BuchiAutomizer (syntactic LBE).popl20-more-buffer-mult.wvr.yml.log 2022-07-26 14:18 1.4M
BuchiAutomizer (syntactic LBE).popl20-more-buffer-mult2.wvr.yml.log 2022-07-26 14:19 3.2M
BuchiAutomizer (syntactic LBE).popl20-more-buffer-series.wvr.yml.log 2022-07-26 14:20 2.4M
BuchiAutomizer (syntactic LBE).popl20-more-buffer-series2.wvr.yml.log 2022-07-26 14:19 2.1M
BuchiAutomizer (syntactic LBE).popl20-more-dec-subseq.wvr.yml.log 2022-07-26 14:17 877K
BuchiAutomizer (syntactic LBE).popl20-more-inc-subseq.wvr.yml.log 2022-07-26 14:17 877K
BuchiAutomizer (syntactic LBE).popl20-more-max-array-hom.wvr.yml.log 2022-07-26 14:17 948K
BuchiAutomizer (syntactic LBE).popl20-more-max-array.wvr.yml.log 2022-07-26 14:17 611K
BuchiAutomizer (syntactic LBE).popl20-more-min-array-hom.wvr.yml.log 2022-07-26 14:17 513K
BuchiAutomizer (syntactic LBE).popl20-more-min-array.wvr.yml.log 2022-07-26 14:18 500K
BuchiAutomizer (syntactic LBE).popl20-more-min-le-max.wvr.yml.log 2022-07-26 14:18 405K
BuchiAutomizer (syntactic LBE).popl20-more-mts.wvr.yml.log 2022-07-26 14:18 665K
BuchiAutomizer (syntactic LBE).popl20-more-multiply-verify.wvr.yml.log 2022-07-26 14:18 2.9M
BuchiAutomizer (syntactic LBE).popl20-more-nonblocking-counter-alt2.wvr.yml.log 2022-07-26 14:18 1.7M
BuchiAutomizer (syntactic LBE).popl20-more-parray-copy.wvr.yml.log 2022-07-26 14:18 1.0M
BuchiAutomizer (syntactic LBE).popl20-more-queue-add-2-nl.wvr.yml.log 2022-07-26 14:18 397K
BuchiAutomizer (syntactic LBE).popl20-more-queue-add-3-nl.wvr.yml.log 2022-07-26 14:19 1.3M
BuchiAutomizer (syntactic LBE).popl20-more-sorted.wvr.yml.log 2022-07-26 14:18 926K
BuchiAutomizer (syntactic LBE).popl20-more-sum-array-hom.wvr.yml.log 2022-07-26 14:18 406K
BuchiAutomizer (syntactic LBE).popl20-more-vector-add.wvr.yml.log 2022-07-26 14:22 2.6M
BuchiAutomizer (syntactic LBE).popl20-mult-4.wvr.yml.log 2022-07-26 14:19 2.5M
BuchiAutomizer (syntactic LBE).popl20-mult-equiv.wvr.yml.log 2022-07-26 14:19 2.0M
BuchiAutomizer (syntactic LBE).popl20-nonblocking-cntr-alt.wvr.yml.log 2022-07-26 14:18 90K
BuchiAutomizer (syntactic LBE).popl20-nonblocking-cntr.wvr.yml.log 2022-07-26 14:18 108K
BuchiAutomizer (syntactic LBE).popl20-prod-cons-eq.wvr.yml.log 2022-07-26 14:22 2.3M
BuchiAutomizer (syntactic LBE).popl20-prod-cons.wvr.yml.log 2022-07-26 14:19 475K
BuchiAutomizer (syntactic LBE).popl20-prod-cons3.wvr.yml.log 2022-07-26 14:21 2.1M
BuchiAutomizer (syntactic LBE).popl20-proofs-counter-add-4-semi-Q67.wvr.yml.log 2022-07-26 14:19 501K
BuchiAutomizer (syntactic LBE).popl20-queue-add-2.wvr.yml.log 2022-07-26 14:19 358K
BuchiAutomizer (syntactic LBE).popl20-queue-add-3.wvr.yml.log 2022-07-26 14:23 1.8M
BuchiAutomizer (syntactic LBE).popl20-send-receive-alt.wvr.yml.log 2022-07-26 14:20 1.0M
BuchiAutomizer (syntactic LBE).popl20-send-receive.wvr.yml.log 2022-07-26 14:19 828K
BuchiAutomizer (syntactic LBE).popl20-simple-array-sum.wvr.yml.log 2022-07-26 14:19 580K
BuchiAutomizer (syntactic LBE).popl20-simple-queue.wvr.yml.log 2022-07-26 14:19 431K
BuchiAutomizer (syntactic LBE).popl20-threaded-sum-3.wvr.yml.log 2022-07-26 14:19 930K
BuchiAutomizer (syntactic LBE).popl20-three-array-max.wvr.yml.log 2022-07-26 14:20 1.0M
BuchiAutomizer (syntactic LBE).popl20-three-array-min.wvr.yml.log 2022-07-26 14:20 1.0M
BuchiAutomizer (syntactic LBE).popl20-three-array-sum.wvr.yml.log 2022-07-26 14:20 761K
BuchiAutomizer (syntactic LBE).popl20-two-queue.wvr.yml.log 2022-07-26 14:21 1.3M
BuchiAutomizer (syntactic LBE).pthread-demo-datarace-1.yml.log 2022-07-26 14:05 513K
BuchiAutomizer (syntactic LBE).pthread-demo-datarace-2.yml.log 2022-07-26 14:05 384K
BuchiAutomizer (syntactic LBE).pthread-finding-k-matches.yml.log 2022-07-26 14:05 16K
BuchiAutomizer (syntactic LBE).pthread-numerical-integration.yml.log 2022-07-26 14:05 15K
BuchiAutomizer (syntactic LBE).qrcu-1.yml.log 2022-07-26 14:03 52K
BuchiAutomizer (syntactic LBE).qrcu-2.yml.log 2022-07-26 14:03 52K
BuchiAutomizer (syntactic LBE).qw2004-1.yml.log 2022-07-26 14:03 33K
BuchiAutomizer (syntactic LBE).qw2004-2.yml.log 2022-07-26 14:03 33K
BuchiAutomizer (syntactic LBE).qw2004-2b.yml.log 2022-07-26 14:03 33K
BuchiAutomizer (syntactic LBE).qw2004_variant.yml.log 2022-07-26 14:05 228K
BuchiAutomizer (syntactic LBE).read_write_lock-1.yml.log 2022-07-26 14:03 34K
BuchiAutomizer (syntactic LBE).read_write_lock-1b.yml.log 2022-07-26 14:03 33K
BuchiAutomizer (syntactic LBE).read_write_lock-2.yml.log 2022-07-26 14:03 34K
BuchiAutomizer (syntactic LBE).read_write_lock-2b.yml.log 2022-07-26 14:03 33K
BuchiAutomizer (syntactic LBE).reorder_c11_bad-10.yml.log 2022-07-26 14:24 138K
BuchiAutomizer (syntactic LBE).reorder_c11_bad-20.yml.log 2022-07-26 14:25 139K
BuchiAutomizer (syntactic LBE).reorder_c11_bad-30.yml.log 2022-07-26 14:22 122K
BuchiAutomizer (syntactic LBE).reorder_c11_bad-40.yml.log 2022-07-26 14:25 139K
BuchiAutomizer (syntactic LBE).reorder_c11_bad-50.yml.log 2022-07-26 14:23 122K
BuchiAutomizer (syntactic LBE).reorder_c11_good-10.yml.log 2022-07-26 14:23 122K
BuchiAutomizer (syntactic LBE).reorder_c11_good-20.yml.log 2022-07-26 14:23 122K
BuchiAutomizer (syntactic LBE).reorder_c11_good-30.yml.log 2022-07-26 14:23 122K
BuchiAutomizer (syntactic LBE).reorder_c11_good-40.yml.log 2022-07-26 14:24 122K
BuchiAutomizer (syntactic LBE).reorder_c11_good-50.yml.log 2022-07-26 14:24 122K
BuchiAutomizer (syntactic LBE).ring_1w1r-1.yml.log 2022-07-26 14:07 559K
BuchiAutomizer (syntactic LBE).ring_1w1r-2.yml.log 2022-07-26 14:07 296K
BuchiAutomizer (syntactic LBE).ring_2w1r-1.yml.log 2022-07-26 14:08 590K
BuchiAutomizer (syntactic LBE).ring_2w1r-2.yml.log 2022-07-26 14:08 590K
BuchiAutomizer (syntactic LBE).safestack_relacy.yml.log 2022-07-26 14:08 9.2M
BuchiAutomizer (syntactic LBE).scull.yml.log 2022-07-26 14:03 35K
BuchiAutomizer (syntactic LBE).security.wvr.yml.log 2022-07-26 14:19 33K
BuchiAutomizer (syntactic LBE).spaghetti.wvr.yml.log 2022-07-26 14:19 47K
BuchiAutomizer (syntactic LBE).sssc12.yml.log 2022-07-26 14:06 1.2M
BuchiAutomizer (syntactic LBE).sssc12_variant.yml.log 2022-07-26 14:06 1.2M
BuchiAutomizer (syntactic LBE).szymanski-b.yml.log 2022-07-26 14:03 116K
BuchiAutomizer (syntactic LBE).szymanski.yml.log 2022-07-26 14:03 120K
BuchiAutomizer (syntactic LBE).test-context1.wvr.yml.log 2022-07-26 14:20 550K
BuchiAutomizer (syntactic LBE).test-easy1.wvr.yml.log 2022-07-26 14:20 114K
BuchiAutomizer (syntactic LBE).test-easy10.wvr.yml.log 2022-07-26 14:20 34K
BuchiAutomizer (syntactic LBE).test-easy11.wvr.yml.log 2022-07-26 14:20 116K
BuchiAutomizer (syntactic LBE).test-easy6.wvr.yml.log 2022-07-26 14:20 33K
BuchiAutomizer (syntactic LBE).test-easy7.wvr.yml.log 2022-07-26 14:20 33K
BuchiAutomizer (syntactic LBE).test-hard1.wvr.yml.log 2022-07-26 14:21 2.5M
BuchiAutomizer (syntactic LBE).test-semi1.wvr.yml.log 2022-07-26 14:20 33K
BuchiAutomizer (syntactic LBE).time_var_mutex.yml.log 2022-07-26 14:03 34K
BuchiAutomizer (syntactic LBE).tls_basic.yml.log 2022-07-26 14:07 15K
BuchiAutomizer (syntactic LBE).tls_destructor_worker.yml.log 2022-07-26 14:07 16K
BuchiAutomizer (syntactic LBE).unroll-2.wvr.yml.log 2022-07-26 14:20 2.0M
BuchiAutomizer (syntactic LBE).unroll-3.wvr.yml.log 2022-07-26 14:20 1.9M
BuchiAutomizer (syntactic LBE).unroll-4.wvr.yml.log 2022-07-26 14:20 2.0M
BuchiAutomizer (syntactic LBE).unroll-5.wvr.yml.log 2022-07-26 14:20 1.9M
BuchiAutomizer (syntactic LBE).unroll-cond-2.wvr.yml.log 2022-07-26 14:20 1.9M
BuchiAutomizer (syntactic LBE).unroll-cond-3.wvr.yml.log 2022-07-26 14:21 1.9M
BuchiAutomizer (syntactic LBE).unroll-cond-4.wvr.yml.log 2022-07-26 14:21 1.9M
BuchiAutomizer (syntactic LBE).unroll-cond-5.wvr.yml.log 2022-07-26 14:21 1.9M
BuchiAutomizer (syntactic LBE).workstealqueue_mutex-1.yml.log 2022-07-26 14:08 630K
BuchiAutomizer (syntactic LBE).workstealqueue_mutex-2.yml.log 2022-07-26 14:09 738K