Index of /logs/concurrency-termination/20220722-145719-concurrency-termination-21b090880c/termination-concurrency.2022-07-22_11-39-38.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-22 12:05 161K
BuchiAutomizer (no LBE).airline-15.yml.log 2022-07-22 12:05 161K
BuchiAutomizer (no LBE).airline-20.yml.log 2022-07-22 12:05 161K
BuchiAutomizer (no LBE).airline-25.yml.log 2022-07-22 12:05 161K
BuchiAutomizer (no LBE).airline-5.yml.log 2022-07-22 12:05 161K
BuchiAutomizer (no LBE).arithmetic_prog_bad.yml.log 2022-07-22 12:03 497K
BuchiAutomizer (no LBE).arithmetic_prog_ok.yml.log 2022-07-22 12:04 498K
BuchiAutomizer (no LBE).array-eq-symm.wvr.yml.log 2022-07-22 11:47 568K
BuchiAutomizer (no LBE).array-eq-trans.wvr.yml.log 2022-07-22 11:48 1.2M
BuchiAutomizer (no LBE).barrier_2t.yml.log 2022-07-22 11:47 465K
BuchiAutomizer (no LBE).barrier_3t.yml.log 2022-07-22 11:47 370K
BuchiAutomizer (no LBE).bench-exp1x3.wvr.yml.log 2022-07-22 11:47 1.4M
BuchiAutomizer (no LBE).bench-exp2x3.wvr.yml.log 2022-07-22 11:48 2.2M
BuchiAutomizer (no LBE).bench-exp2x4.wvr.yml.log 2022-07-22 11:48 2.2M
BuchiAutomizer (no LBE).bench-exp2x6.wvr.yml.log 2022-07-22 11:48 2.2M
BuchiAutomizer (no LBE).bench-exp2x9.wvr.yml.log 2022-07-22 11:48 2.2M
BuchiAutomizer (no LBE).bench-exp3x3-opt.wvr.yml.log 2022-07-22 11:48 60K
BuchiAutomizer (no LBE).bench-exp3x3.wvr.yml.log 2022-07-22 11:49 2.9M
BuchiAutomizer (no LBE).bounded_buffer.yml.log 2022-07-22 11:44 26K
BuchiAutomizer (no LBE).chl-array-int-subst.wvr.yml.log 2022-07-22 11:49 176K
BuchiAutomizer (no LBE).chl-array-int-symm.wvr.yml.log 2022-07-22 11:48 747K
BuchiAutomizer (no LBE).chl-array-int-trans.wvr.yml.log 2022-07-22 11:50 177K
BuchiAutomizer (no LBE).chl-chromosome-opt-symm.wvr.yml.log 2022-07-22 11:48 592K
BuchiAutomizer (no LBE).chl-chromosome-subst.wvr.yml.log 2022-07-22 11:50 163K
BuchiAutomizer (no LBE).chl-chromosome-symm.wvr.yml.log 2022-07-22 11:48 501K
BuchiAutomizer (no LBE).chl-chromosome-trans.wvr.yml.log 2022-07-22 11:50 162K
BuchiAutomizer (no LBE).chl-collitem-subst.wvr.yml.log 2022-07-22 11:48 31K
BuchiAutomizer (no LBE).chl-collitem-symm.wvr.yml.log 2022-07-22 11:48 30K
BuchiAutomizer (no LBE).chl-collitem-trans.wvr.yml.log 2022-07-22 11:48 31K
BuchiAutomizer (no LBE).chl-exp-term-subst.wvr.yml.log 2022-07-22 11:48 31K
BuchiAutomizer (no LBE).chl-exp-term-symm.wvr.yml.log 2022-07-22 11:48 30K
BuchiAutomizer (no LBE).chl-file-item-subst.wvr.yml.log 2022-07-22 11:49 30K
BuchiAutomizer (no LBE).chl-file-item-symm.wvr.yml.log 2022-07-22 11:48 30K
BuchiAutomizer (no LBE).chl-file-item-trans.wvr.yml.log 2022-07-22 11:49 30K
BuchiAutomizer (no LBE).chl-match-subst.wvr.yml.log 2022-07-22 11:51 26K
BuchiAutomizer (no LBE).chl-match-symm.wvr.yml.log 2022-07-22 11:48 30K
BuchiAutomizer (no LBE).chl-match-trans.wvr.yml.log 2022-07-22 11:51 25K
BuchiAutomizer (no LBE).chl-name-comparator-subst.wvr.yml.log 2022-07-22 11:48 25K
BuchiAutomizer (no LBE).chl-name-comparator-symm.wvr.yml.log 2022-07-22 11:50 810K
BuchiAutomizer (no LBE).chl-name-comparator-trans.wvr.yml.log 2022-07-22 11:48 25K
BuchiAutomizer (no LBE).chl-node-subst.wvr.yml.log 2022-07-22 11:51 95K
BuchiAutomizer (no LBE).chl-node-symm.wvr.yml.log 2022-07-22 11:49 870K
BuchiAutomizer (no LBE).chl-node-trans.wvr.yml.log 2022-07-22 11:51 70K
BuchiAutomizer (no LBE).chl-nzb-file-subst.wvr.yml.log 2022-07-22 11:49 25K
BuchiAutomizer (no LBE).chl-nzb-file-symm.wvr.yml.log 2022-07-22 11:52 1.7M
BuchiAutomizer (no LBE).chl-nzb-file-trans.wvr.yml.log 2022-07-22 11:49 25K
BuchiAutomizer (no LBE).chl-simpl-str-subst.wvr.yml.log 2022-07-22 11:50 30K
BuchiAutomizer (no LBE).chl-simpl-str-symm.wvr.yml.log 2022-07-22 11:50 30K
BuchiAutomizer (no LBE).chl-simpl-str-trans.wvr.yml.log 2022-07-22 11:50 30K
BuchiAutomizer (no LBE).chl-sre-subst.wvr.yml.log 2022-07-22 11:50 30K
BuchiAutomizer (no LBE).chl-sre-symm.wvr.yml.log 2022-07-22 11:50 30K
BuchiAutomizer (no LBE).chl-sre-trans.wvr.yml.log 2022-07-22 11:50 30K
BuchiAutomizer (no LBE).chl-time-subst.wvr.yml.log 2022-07-22 11:50 31K
BuchiAutomizer (no LBE).chl-time-symm.wvr.yml.log 2022-07-22 11:50 30K
BuchiAutomizer (no LBE).chl-time-trans.wvr.yml.log 2022-07-22 11:50 31K
BuchiAutomizer (no LBE).chl-word-subst.wvr.yml.log 2022-07-22 11:53 481K
BuchiAutomizer (no LBE).chl-word-symm.wvr.yml.log 2022-07-22 11:51 808K
BuchiAutomizer (no LBE).chl-word-trans.wvr.yml.log 2022-07-22 11:53 418K
BuchiAutomizer (no LBE).circular_buffer_bad.yml.log 2022-07-22 12:05 2.3M
BuchiAutomizer (no LBE).circular_buffer_ok.yml.log 2022-07-22 12:06 2.1M
BuchiAutomizer (no LBE).clever.wvr.yml.log 2022-07-22 11:54 1.7M
BuchiAutomizer (no LBE).condvar.yml.log 2022-07-22 11:42 54K
BuchiAutomizer (no LBE).condvar_spurious_wakeup.yml.log 2022-07-22 11:43 1.7M
BuchiAutomizer (no LBE).dekker-b.yml.log 2022-07-22 11:39 97K
BuchiAutomizer (no LBE).dekker.yml.log 2022-07-22 11:39 101K
BuchiAutomizer (no LBE).divinefifo-bug_1w1r.yml.log 2022-07-22 11:43 244K
BuchiAutomizer (no LBE).divinefifo_1w1r.yml.log 2022-07-22 11:44 598K
BuchiAutomizer (no LBE).elimination_backoff_stack.yml.log 2022-07-22 11:41 26K
BuchiAutomizer (no LBE).fibonacci.wvr.yml.log 2022-07-22 11:53 1.1M
BuchiAutomizer (no LBE).fk2012.yml.log 2022-07-22 11:40 50K
BuchiAutomizer (no LBE).fkp2013-1.yml.log 2022-07-22 11:42 121K
BuchiAutomizer (no LBE).fkp2013-2.yml.log 2022-07-22 11:42 121K
BuchiAutomizer (no LBE).fkp2013_variant-1.yml.log 2022-07-22 11:42 129K
BuchiAutomizer (no LBE).fkp2013_variant-2.yml.log 2022-07-22 11:42 129K
BuchiAutomizer (no LBE).fkp2014.yml.log 2022-07-22 11:42 117K
BuchiAutomizer (no LBE).floating_read-10.yml.log 2022-07-22 12:06 197K
BuchiAutomizer (no LBE).floating_read-15.yml.log 2022-07-22 12:07 197K
BuchiAutomizer (no LBE).floating_read-20.yml.log 2022-07-22 12:07 197K
BuchiAutomizer (no LBE).floating_read-25.yml.log 2022-07-22 12:07 197K
BuchiAutomizer (no LBE).floating_read-5.yml.log 2022-07-22 12:06 197K
BuchiAutomizer (no LBE).gcd-2.yml.log 2022-07-22 11:39 55K
BuchiAutomizer (no LBE).lamport-b.yml.log 2022-07-22 11:39 146K
BuchiAutomizer (no LBE).lamport.yml.log 2022-07-22 11:40 201K
BuchiAutomizer (no LBE).linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml.log 2022-07-22 11:41 36K
BuchiAutomizer (no LBE).linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml.log 2022-07-22 11:41 36K
BuchiAutomizer (no LBE).linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml.log 2022-07-22 11:40 32K
BuchiAutomizer (no LBE).linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml.log 2022-07-22 11:43 25K
BuchiAutomizer (no LBE).linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml.log 2022-07-22 11:43 32K
BuchiAutomizer (no LBE).linux-3.14--drivers--usb--misc--adutux.ko.cil.yml.log 2022-07-22 11:40 31K
BuchiAutomizer (no LBE).linux-3.14--drivers--usb--misc--iowarrior.ko.cil.yml.log 2022-07-22 11:41 31K
BuchiAutomizer (no LBE).loop-tiling-eq.wvr.yml.log 2022-07-22 11:54 2.5M
BuchiAutomizer (no LBE).mult-comm.wvr.yml.log 2022-07-22 11:52 1.7M
BuchiAutomizer (no LBE).mult-dist.wvr.yml.log 2022-07-22 11:52 2.3M
BuchiAutomizer (no LBE).mult-flipped-dist.wvr.yml.log 2022-07-22 11:52 2.3M
BuchiAutomizer (no LBE).nondet-array-1.yml.log 2022-07-22 11:47 373K
BuchiAutomizer (no LBE).nondet-array-2.yml.log 2022-07-22 11:47 377K
BuchiAutomizer (no LBE).nondet-loop-bound-1.yml.log 2022-07-22 11:47 183K
BuchiAutomizer (no LBE).nondet-loop-bound-2.yml.log 2022-07-22 11:48 183K
BuchiAutomizer (no LBE).nondet-loop-bound-variant-1.yml.log 2022-07-22 11:46 95K
BuchiAutomizer (no LBE).nondet-loop-bound-variant-2.yml.log 2022-07-22 11:47 95K
BuchiAutomizer (no LBE).one_time_barrier_2t.yml.log 2022-07-22 11:47 512K
BuchiAutomizer (no LBE).one_time_barrier_3t.yml.log 2022-07-22 11:47 508K
BuchiAutomizer (no LBE).one_time_barrier_twice_2t.yml.log 2022-07-22 11:47 485K
BuchiAutomizer (no LBE).one_time_barrier_twice_3t.yml.log 2022-07-22 11:48 484K
BuchiAutomizer (no LBE).parallel-bakery-2.wvr.yml.log 2022-07-22 11:51 30K
BuchiAutomizer (no LBE).parallel-bakery-3.wvr.yml.log 2022-07-22 11:51 31K
BuchiAutomizer (no LBE).parallel-bakery-4.wvr.yml.log 2022-07-22 11:52 31K
BuchiAutomizer (no LBE).parallel-barrier-loop.wvr.yml.log 2022-07-22 11:51 26K
BuchiAutomizer (no LBE).parallel-barrier.wvr.yml.log 2022-07-22 11:53 31K
BuchiAutomizer (no LBE).parallel-bluetooth.wvr.yml.log 2022-07-22 11:52 30K
BuchiAutomizer (no LBE).parallel-lamport.wvr.yml.log 2022-07-22 11:52 223K
BuchiAutomizer (no LBE).parallel-min-max-1.wvr.yml.log 2022-07-22 11:52 260K
BuchiAutomizer (no LBE).parallel-misc-1.wvr.yml.log 2022-07-22 11:53 418K
BuchiAutomizer (no LBE).parallel-misc-2-unrolled-atomic.wvr.yml.log 2022-07-22 11:53 1.8M
BuchiAutomizer (no LBE).parallel-misc-2-unrolled.wvr.yml.log 2022-07-22 11:53 2.0M
BuchiAutomizer (no LBE).parallel-misc-2.wvr.yml.log 2022-07-22 11:54 4.7M
BuchiAutomizer (no LBE).parallel-misc-3-extended.wvr.yml.log 2022-07-22 11:53 1.9M
BuchiAutomizer (no LBE).parallel-misc-3.wvr.yml.log 2022-07-22 11:52 66K
BuchiAutomizer (no LBE).parallel-misc-4.wvr.yml.log 2022-07-22 11:53 536K
BuchiAutomizer (no LBE).parallel-misc-5.wvr.yml.log 2022-07-22 11:53 2.2M
BuchiAutomizer (no LBE).parallel-parallel-sum-1-dsl.wvr.yml.log 2022-07-22 11:55 27K
BuchiAutomizer (no LBE).parallel-parallel-sum-1.wvr.yml.log 2022-07-22 11:54 609K
BuchiAutomizer (no LBE).parallel-parallel-sum-2.wvr.yml.log 2022-07-22 11:55 194K
BuchiAutomizer (no LBE).parallel-parallel-sum-equiv.wvr.yml.log 2022-07-22 11:54 357K
BuchiAutomizer (no LBE).parallel-simple-equiv.wvr.yml.log 2022-07-22 11:53 31K
BuchiAutomizer (no LBE).parallel-ticket-2.wvr.yml.log 2022-07-22 11:53 30K
BuchiAutomizer (no LBE).parallel-ticket-3.wvr.yml.log 2022-07-22 11:53 31K
BuchiAutomizer (no LBE).parallel-ticket-4.wvr.yml.log 2022-07-22 11:53 31K
BuchiAutomizer (no LBE).parallel-ticket-5.wvr.yml.log 2022-07-22 11:53 31K
BuchiAutomizer (no LBE).parallel-ticket-6.wvr.yml.log 2022-07-22 11:55 31K
BuchiAutomizer (no LBE).parallel-ticket-7.wvr.yml.log 2022-07-22 11:53 26K
BuchiAutomizer (no LBE).parallel-ticket-8.wvr.yml.log 2022-07-22 11:53 26K
BuchiAutomizer (no LBE).peterson-b.yml.log 2022-07-22 11:39 92K
BuchiAutomizer (no LBE).peterson.yml.log 2022-07-22 11:39 97K
BuchiAutomizer (no LBE).popl20-bad-buffer-mult-alt.wvr.yml.log 2022-07-22 11:56 1.5M
BuchiAutomizer (no LBE).popl20-bad-buffer-mult-alt2.wvr.yml.log 2022-07-22 11:55 1.1M
BuchiAutomizer (no LBE).popl20-bad-commit-1.wvr-bad.yml.log 2022-07-22 11:56 2.2M
BuchiAutomizer (no LBE).popl20-bad-commit-2.wvr-bad.yml.log 2022-07-22 11:56 700K
BuchiAutomizer (no LBE).popl20-bad-counter-queue.wvr.yml.log 2022-07-22 11:54 793K
BuchiAutomizer (no LBE).popl20-bad-counter-queue2.wvr.yml.log 2022-07-22 11:54 217K
BuchiAutomizer (no LBE).popl20-bad-dot-product-alt.wvr.yml.log 2022-07-22 11:56 193K
BuchiAutomizer (no LBE).popl20-bad-dot-product.wvr.yml.log 2022-07-22 11:55 438K
BuchiAutomizer (no LBE).popl20-bad-ring-nondet.wvr.yml.log 2022-07-22 11:55 648K
BuchiAutomizer (no LBE).popl20-bad-ring.wvr.yml.log 2022-07-22 11:55 1.1M
BuchiAutomizer (no LBE).popl20-bad-threaded-sum-2.wvr.yml.log 2022-07-22 11:55 740K
BuchiAutomizer (no LBE).popl20-bad-three-array-sum-alt.wvr.yml.log 2022-07-22 11:57 161K
BuchiAutomizer (no LBE).popl20-channel-sum.wvr.yml.log 2022-07-22 11:55 468K
BuchiAutomizer (no LBE).popl20-commit-1.wvr.yml.log 2022-07-22 11:56 1.2M
BuchiAutomizer (no LBE).popl20-commit-2.wvr.yml.log 2022-07-22 11:58 1.5M
BuchiAutomizer (no LBE).popl20-counter-determinism.wvr.yml.log 2022-07-22 11:58 644K
BuchiAutomizer (no LBE).popl20-counter-fun.wvr.yml.log 2022-07-22 11:56 1.5M
BuchiAutomizer (no LBE).popl20-difference-det.wvr.yml.log 2022-07-22 11:58 496K
BuchiAutomizer (no LBE).popl20-figure1-alt.wvr.yml.log 2022-07-22 11:56 1.3M
BuchiAutomizer (no LBE).popl20-figure1.wvr.yml.log 2022-07-22 11:56 1.1M
BuchiAutomizer (no LBE).popl20-figure3.wvr.yml.log 2022-07-22 11:57 1.8M
BuchiAutomizer (no LBE).popl20-horseshoe.wvr.yml.log 2022-07-22 12:00 1.2M
BuchiAutomizer (no LBE).popl20-min-max-dec.wvr.yml.log 2022-07-22 11:56 276K
BuchiAutomizer (no LBE).popl20-min-max-inc-dec.wvr.yml.log 2022-07-22 11:58 145K
BuchiAutomizer (no LBE).popl20-min-max-inc.wvr.yml.log 2022-07-22 11:57 276K
BuchiAutomizer (no LBE).popl20-more-array-sum-alt.wvr.yml.log 2022-07-22 11:57 446K
BuchiAutomizer (no LBE).popl20-more-array-sum-alt2.wvr.yml.log 2022-07-22 11:57 302K
BuchiAutomizer (no LBE).popl20-more-array-sum.wvr.yml.log 2022-07-22 11:57 482K
BuchiAutomizer (no LBE).popl20-more-array-sum2.wvr.yml.log 2022-07-22 11:57 484K
BuchiAutomizer (no LBE).popl20-more-buffer-mult.wvr.yml.log 2022-07-22 12:01 784K
BuchiAutomizer (no LBE).popl20-more-buffer-mult2.wvr.yml.log 2022-07-22 12:00 1.3M
BuchiAutomizer (no LBE).popl20-more-buffer-series.wvr.yml.log 2022-07-22 11:59 1.0M
BuchiAutomizer (no LBE).popl20-more-buffer-series2.wvr.yml.log 2022-07-22 12:00 1.6M
BuchiAutomizer (no LBE).popl20-more-dec-subseq.wvr.yml.log 2022-07-22 11:58 1.0M
BuchiAutomizer (no LBE).popl20-more-inc-subseq.wvr.yml.log 2022-07-22 11:58 1.0M
BuchiAutomizer (no LBE).popl20-more-max-array-hom.wvr.yml.log 2022-07-22 11:58 483K
BuchiAutomizer (no LBE).popl20-more-max-array.wvr.yml.log 2022-07-22 11:58 492K
BuchiAutomizer (no LBE).popl20-more-min-array-hom.wvr.yml.log 2022-07-22 11:58 533K
BuchiAutomizer (no LBE).popl20-more-min-array.wvr.yml.log 2022-07-22 11:58 518K
BuchiAutomizer (no LBE).popl20-more-min-le-max.wvr.yml.log 2022-07-22 11:58 183K
BuchiAutomizer (no LBE).popl20-more-mts.wvr.yml.log 2022-07-22 12:01 716K
BuchiAutomizer (no LBE).popl20-more-multiply-verify.wvr.yml.log 2022-07-22 11:59 2.9M
BuchiAutomizer (no LBE).popl20-more-nonblocking-counter-alt2.wvr.yml.log 2022-07-22 11:59 1.7M
BuchiAutomizer (no LBE).popl20-more-parray-copy.wvr.yml.log 2022-07-22 11:59 521K
BuchiAutomizer (no LBE).popl20-more-queue-add-2-nl.wvr.yml.log 2022-07-22 11:59 570K
BuchiAutomizer (no LBE).popl20-more-queue-add-3-nl.wvr.yml.log 2022-07-22 12:01 1.5M
BuchiAutomizer (no LBE).popl20-more-sorted.wvr.yml.log 2022-07-22 12:01 524K
BuchiAutomizer (no LBE).popl20-more-sum-array-hom.wvr.yml.log 2022-07-22 11:59 268K
BuchiAutomizer (no LBE).popl20-more-vector-add.wvr.yml.log 2022-07-22 12:02 1.3M
BuchiAutomizer (no LBE).popl20-mult-4.wvr.yml.log 2022-07-22 12:00 2.5M
BuchiAutomizer (no LBE).popl20-mult-equiv.wvr.yml.log 2022-07-22 12:00 2.0M
BuchiAutomizer (no LBE).popl20-nonblocking-cntr-alt.wvr.yml.log 2022-07-22 11:59 471K
BuchiAutomizer (no LBE).popl20-nonblocking-cntr.wvr.yml.log 2022-07-22 12:00 385K
BuchiAutomizer (no LBE).popl20-prod-cons-eq.wvr.yml.log 2022-07-22 12:03 2.1M
BuchiAutomizer (no LBE).popl20-prod-cons.wvr.yml.log 2022-07-22 12:00 511K
BuchiAutomizer (no LBE).popl20-prod-cons3.wvr.yml.log 2022-07-22 12:02 1.0M
BuchiAutomizer (no LBE).popl20-proofs-counter-add-4-semi-Q67.wvr.yml.log 2022-07-22 12:02 1.1M
BuchiAutomizer (no LBE).popl20-queue-add-2.wvr.yml.log 2022-07-22 12:01 1.2M
BuchiAutomizer (no LBE).popl20-queue-add-3.wvr.yml.log 2022-07-22 12:04 1.6M
BuchiAutomizer (no LBE).popl20-send-receive-alt.wvr.yml.log 2022-07-22 12:01 589K
BuchiAutomizer (no LBE).popl20-send-receive.wvr.yml.log 2022-07-22 12:01 706K
BuchiAutomizer (no LBE).popl20-simple-array-sum.wvr.yml.log 2022-07-22 12:01 574K
BuchiAutomizer (no LBE).popl20-simple-queue.wvr.yml.log 2022-07-22 12:01 300K
BuchiAutomizer (no LBE).popl20-threaded-sum-3.wvr.yml.log 2022-07-22 12:02 944K
BuchiAutomizer (no LBE).popl20-three-array-max.wvr.yml.log 2022-07-22 12:04 1.4M
BuchiAutomizer (no LBE).popl20-three-array-min.wvr.yml.log 2022-07-22 12:04 1.4M
BuchiAutomizer (no LBE).popl20-three-array-sum.wvr.yml.log 2022-07-22 12:03 1.0M
BuchiAutomizer (no LBE).popl20-two-queue.wvr.yml.log 2022-07-22 12:02 660K
BuchiAutomizer (no LBE).pthread-demo-datarace-1.yml.log 2022-07-22 11:43 2.8M
BuchiAutomizer (no LBE).pthread-demo-datarace-2.yml.log 2022-07-22 11:44 4.9M
BuchiAutomizer (no LBE).pthread-finding-k-matches.yml.log 2022-07-22 11:42 15K
BuchiAutomizer (no LBE).pthread-numerical-integration.yml.log 2022-07-22 11:42 15K
BuchiAutomizer (no LBE).qrcu-1.yml.log 2022-07-22 11:40 57K
BuchiAutomizer (no LBE).qrcu-2.yml.log 2022-07-22 11:40 57K
BuchiAutomizer (no LBE).qw2004-1.yml.log 2022-07-22 11:40 30K
BuchiAutomizer (no LBE).qw2004-2.yml.log 2022-07-22 11:40 30K
BuchiAutomizer (no LBE).qw2004-2b.yml.log 2022-07-22 11:40 30K
BuchiAutomizer (no LBE).qw2004_variant.yml.log 2022-07-22 11:42 92K
BuchiAutomizer (no LBE).read_write_lock-1.yml.log 2022-07-22 11:39 31K
BuchiAutomizer (no LBE).read_write_lock-1b.yml.log 2022-07-22 11:39 30K
BuchiAutomizer (no LBE).read_write_lock-2.yml.log 2022-07-22 11:39 31K
BuchiAutomizer (no LBE).read_write_lock-2b.yml.log 2022-07-22 11:39 30K
BuchiAutomizer (no LBE).reorder_c11_bad-10.yml.log 2022-07-22 12:08 85K
BuchiAutomizer (no LBE).reorder_c11_bad-20.yml.log 2022-07-22 12:08 85K
BuchiAutomizer (no LBE).reorder_c11_bad-30.yml.log 2022-07-22 12:06 76K
BuchiAutomizer (no LBE).reorder_c11_bad-40.yml.log 2022-07-22 12:06 76K
BuchiAutomizer (no LBE).reorder_c11_bad-50.yml.log 2022-07-22 12:06 76K
BuchiAutomizer (no LBE).reorder_c11_good-10.yml.log 2022-07-22 12:06 76K
BuchiAutomizer (no LBE).reorder_c11_good-20.yml.log 2022-07-22 12:09 84K
BuchiAutomizer (no LBE).reorder_c11_good-30.yml.log 2022-07-22 12:06 76K
BuchiAutomizer (no LBE).reorder_c11_good-40.yml.log 2022-07-22 12:07 76K
BuchiAutomizer (no LBE).reorder_c11_good-50.yml.log 2022-07-22 12:07 76K
BuchiAutomizer (no LBE).ring_1w1r-1.yml.log 2022-07-22 11:47 3.7M
BuchiAutomizer (no LBE).ring_1w1r-2.yml.log 2022-07-22 11:44 121K
BuchiAutomizer (no LBE).ring_2w1r-1.yml.log 2022-07-22 11:46 730K
BuchiAutomizer (no LBE).ring_2w1r-2.yml.log 2022-07-22 11:46 831K
BuchiAutomizer (no LBE).safestack_relacy.yml.log 2022-07-22 11:41 162K
BuchiAutomizer (no LBE).scull.yml.log 2022-07-22 11:39 27K
BuchiAutomizer (no LBE).security.wvr.yml.log 2022-07-22 12:01 30K
BuchiAutomizer (no LBE).spaghetti.wvr.yml.log 2022-07-22 12:01 51K
BuchiAutomizer (no LBE).sssc12.yml.log 2022-07-22 11:42 301K
BuchiAutomizer (no LBE).sssc12_variant.yml.log 2022-07-22 11:42 147K
BuchiAutomizer (no LBE).szymanski-b.yml.log 2022-07-22 11:40 135K
BuchiAutomizer (no LBE).szymanski.yml.log 2022-07-22 11:40 141K
BuchiAutomizer (no LBE).test-context1.wvr.yml.log 2022-07-22 12:02 261K
BuchiAutomizer (no LBE).test-easy1.wvr.yml.log 2022-07-22 12:02 1.3M
BuchiAutomizer (no LBE).test-easy10.wvr.yml.log 2022-07-22 12:02 31K
BuchiAutomizer (no LBE).test-easy11.wvr.yml.log 2022-07-22 12:02 932K
BuchiAutomizer (no LBE).test-easy6.wvr.yml.log 2022-07-22 12:02 30K
BuchiAutomizer (no LBE).test-easy7.wvr.yml.log 2022-07-22 12:02 30K
BuchiAutomizer (no LBE).test-hard1.wvr.yml.log 2022-07-22 12:03 2.5M
BuchiAutomizer (no LBE).test-semi1.wvr.yml.log 2022-07-22 12:02 30K
BuchiAutomizer (no LBE).time_var_mutex.yml.log 2022-07-22 11:40 31K
BuchiAutomizer (no LBE).tls_basic.yml.log 2022-07-22 11:44 15K
BuchiAutomizer (no LBE).tls_destructor_worker.yml.log 2022-07-22 11:44 16K
BuchiAutomizer (no LBE).unroll-2.wvr.yml.log 2022-07-22 12:02 203K
BuchiAutomizer (no LBE).unroll-3.wvr.yml.log 2022-07-22 12:02 225K
BuchiAutomizer (no LBE).unroll-4.wvr.yml.log 2022-07-22 12:02 185K
BuchiAutomizer (no LBE).unroll-5.wvr.yml.log 2022-07-22 12:02 245K
BuchiAutomizer (no LBE).unroll-cond-2.wvr.yml.log 2022-07-22 12:02 224K
BuchiAutomizer (no LBE).unroll-cond-3.wvr.yml.log 2022-07-22 12:02 234K
BuchiAutomizer (no LBE).unroll-cond-4.wvr.yml.log 2022-07-22 12:02 230K
BuchiAutomizer (no LBE).unroll-cond-5.wvr.yml.log 2022-07-22 12:02 241K
BuchiAutomizer (no LBE).workstealqueue_mutex-1.yml.log 2022-07-22 11:44 1.0M
BuchiAutomizer (no LBE).workstealqueue_mutex-2.yml.log 2022-07-22 11:45 1.0M
BuchiAutomizer (semantic LBE).airline-10.yml.log 2022-07-22 12:29 227K
BuchiAutomizer (semantic LBE).airline-15.yml.log 2022-07-22 12:30 224K
BuchiAutomizer (semantic LBE).airline-20.yml.log 2022-07-22 12:30 227K
BuchiAutomizer (semantic LBE).airline-25.yml.log 2022-07-22 12:30 227K
BuchiAutomizer (semantic LBE).airline-5.yml.log 2022-07-22 12:27 180K
BuchiAutomizer (semantic LBE).arithmetic_prog_bad.yml.log 2022-07-22 12:27 149K
BuchiAutomizer (semantic LBE).arithmetic_prog_ok.yml.log 2022-07-22 12:27 148K
BuchiAutomizer (semantic LBE).array-eq-symm.wvr.yml.log 2022-07-22 12:14 266K
BuchiAutomizer (semantic LBE).array-eq-trans.wvr.yml.log 2022-07-22 12:15 821K
BuchiAutomizer (semantic LBE).barrier_2t.yml.log 2022-07-22 12:13 43K
BuchiAutomizer (semantic LBE).barrier_3t.yml.log 2022-07-22 12:13 43K
BuchiAutomizer (semantic LBE).bench-exp1x3.wvr.yml.log 2022-07-22 12:15 1.4M
BuchiAutomizer (semantic LBE).bench-exp2x3.wvr.yml.log 2022-07-22 12:15 2.1M
BuchiAutomizer (semantic LBE).bench-exp2x4.wvr.yml.log 2022-07-22 12:16 2.1M
BuchiAutomizer (semantic LBE).bench-exp2x6.wvr.yml.log 2022-07-22 12:16 2.1M
BuchiAutomizer (semantic LBE).bench-exp2x9.wvr.yml.log 2022-07-22 12:16 2.1M
BuchiAutomizer (semantic LBE).bench-exp3x3-opt.wvr.yml.log 2022-07-22 12:15 51K
BuchiAutomizer (semantic LBE).bench-exp3x3.wvr.yml.log 2022-07-22 12:16 2.9M
BuchiAutomizer (semantic LBE).bounded_buffer.yml.log 2022-07-22 12:11 38K
BuchiAutomizer (semantic LBE).chl-array-int-subst.wvr.yml.log 2022-07-22 12:16 502K
BuchiAutomizer (semantic LBE).chl-array-int-symm.wvr.yml.log 2022-07-22 12:16 501K
BuchiAutomizer (semantic LBE).chl-array-int-trans.wvr.yml.log 2022-07-22 12:16 482K
BuchiAutomizer (semantic LBE).chl-chromosome-opt-symm.wvr.yml.log 2022-07-22 12:19 1.3M
BuchiAutomizer (semantic LBE).chl-chromosome-subst.wvr.yml.log 2022-07-22 12:17 373K
BuchiAutomizer (semantic LBE).chl-chromosome-symm.wvr.yml.log 2022-07-22 12:17 415K
BuchiAutomizer (semantic LBE).chl-chromosome-trans.wvr.yml.log 2022-07-22 12:17 355K
BuchiAutomizer (semantic LBE).chl-collitem-subst.wvr.yml.log 2022-07-22 12:16 34K
BuchiAutomizer (semantic LBE).chl-collitem-symm.wvr.yml.log 2022-07-22 12:16 34K
BuchiAutomizer (semantic LBE).chl-collitem-trans.wvr.yml.log 2022-07-22 12:16 34K
BuchiAutomizer (semantic LBE).chl-exp-term-subst.wvr.yml.log 2022-07-22 12:16 34K
BuchiAutomizer (semantic LBE).chl-exp-term-symm.wvr.yml.log 2022-07-22 12:16 34K
BuchiAutomizer (semantic LBE).chl-file-item-subst.wvr.yml.log 2022-07-22 12:17 34K
BuchiAutomizer (semantic LBE).chl-file-item-symm.wvr.yml.log 2022-07-22 12:17 34K
BuchiAutomizer (semantic LBE).chl-file-item-trans.wvr.yml.log 2022-07-22 12:17 34K
BuchiAutomizer (semantic LBE).chl-match-subst.wvr.yml.log 2022-07-22 12:17 34K
BuchiAutomizer (semantic LBE).chl-match-symm.wvr.yml.log 2022-07-22 12:17 34K
BuchiAutomizer (semantic LBE).chl-match-trans.wvr.yml.log 2022-07-22 12:17 34K
BuchiAutomizer (semantic LBE).chl-name-comparator-subst.wvr.yml.log 2022-07-22 12:17 478K
BuchiAutomizer (semantic LBE).chl-name-comparator-symm.wvr.yml.log 2022-07-22 12:17 436K
BuchiAutomizer (semantic LBE).chl-name-comparator-trans.wvr.yml.log 2022-07-22 12:17 479K
BuchiAutomizer (semantic LBE).chl-node-subst.wvr.yml.log 2022-07-22 12:18 1.1M
BuchiAutomizer (semantic LBE).chl-node-symm.wvr.yml.log 2022-07-22 12:18 798K
BuchiAutomizer (semantic LBE).chl-node-trans.wvr.yml.log 2022-07-22 12:19 1.3M
BuchiAutomizer (semantic LBE).chl-nzb-file-subst.wvr.yml.log 2022-07-22 12:21 1.1M
BuchiAutomizer (semantic LBE).chl-nzb-file-symm.wvr.yml.log 2022-07-22 12:21 1.7M
BuchiAutomizer (semantic LBE).chl-nzb-file-trans.wvr.yml.log 2022-07-22 12:21 1.1M
BuchiAutomizer (semantic LBE).chl-simpl-str-subst.wvr.yml.log 2022-07-22 12:17 34K
BuchiAutomizer (semantic LBE).chl-simpl-str-symm.wvr.yml.log 2022-07-22 12:17 34K
BuchiAutomizer (semantic LBE).chl-simpl-str-trans.wvr.yml.log 2022-07-22 12:18 34K
BuchiAutomizer (semantic LBE).chl-sre-subst.wvr.yml.log 2022-07-22 12:18 34K
BuchiAutomizer (semantic LBE).chl-sre-symm.wvr.yml.log 2022-07-22 12:18 34K
BuchiAutomizer (semantic LBE).chl-sre-trans.wvr.yml.log 2022-07-22 12:18 34K
BuchiAutomizer (semantic LBE).chl-time-subst.wvr.yml.log 2022-07-22 12:18 34K
BuchiAutomizer (semantic LBE).chl-time-symm.wvr.yml.log 2022-07-22 12:18 34K
BuchiAutomizer (semantic LBE).chl-time-trans.wvr.yml.log 2022-07-22 12:18 34K
BuchiAutomizer (semantic LBE).chl-word-subst.wvr.yml.log 2022-07-22 12:18 379K
BuchiAutomizer (semantic LBE).chl-word-symm.wvr.yml.log 2022-07-22 12:19 1.4M
BuchiAutomizer (semantic LBE).chl-word-trans.wvr.yml.log 2022-07-22 12:19 909K
BuchiAutomizer (semantic LBE).circular_buffer_bad.yml.log 2022-07-22 12:27 38K
BuchiAutomizer (semantic LBE).circular_buffer_ok.yml.log 2022-07-22 12:27 38K
BuchiAutomizer (semantic LBE).clever.wvr.yml.log 2022-07-22 12:18 873K
BuchiAutomizer (semantic LBE).condvar.yml.log 2022-07-22 12:12 47K
BuchiAutomizer (semantic LBE).condvar_spurious_wakeup.yml.log 2022-07-22 12:13 158K
BuchiAutomizer (semantic LBE).dekker-b.yml.log 2022-07-22 12:10 83K
BuchiAutomizer (semantic LBE).dekker.yml.log 2022-07-22 12:10 87K
BuchiAutomizer (semantic LBE).divinefifo-bug_1w1r.yml.log 2022-07-22 12:15 477K
BuchiAutomizer (semantic LBE).divinefifo_1w1r.yml.log 2022-07-22 12:14 424K
BuchiAutomizer (semantic LBE).elimination_backoff_stack.yml.log 2022-07-22 12:11 39K
BuchiAutomizer (semantic LBE).fibonacci.wvr.yml.log 2022-07-22 12:19 813K
BuchiAutomizer (semantic LBE).fk2012.yml.log 2022-07-22 12:10 49K
BuchiAutomizer (semantic LBE).fkp2013-1.yml.log 2022-07-22 12:14 340K
BuchiAutomizer (semantic LBE).fkp2013-2.yml.log 2022-07-22 12:14 340K
BuchiAutomizer (semantic LBE).fkp2013_variant-1.yml.log 2022-07-22 12:14 347K
BuchiAutomizer (semantic LBE).fkp2013_variant-2.yml.log 2022-07-22 12:14 346K
BuchiAutomizer (semantic LBE).fkp2014.yml.log 2022-07-22 12:14 242K
BuchiAutomizer (semantic LBE).floating_read-10.yml.log 2022-07-22 12:30 422K
BuchiAutomizer (semantic LBE).floating_read-15.yml.log 2022-07-22 12:31 423K
BuchiAutomizer (semantic LBE).floating_read-20.yml.log 2022-07-22 12:31 422K
BuchiAutomizer (semantic LBE).floating_read-25.yml.log 2022-07-22 12:31 422K
BuchiAutomizer (semantic LBE).floating_read-5.yml.log 2022-07-22 12:27 173K
BuchiAutomizer (semantic LBE).gcd-2.yml.log 2022-07-22 12:10 49K
BuchiAutomizer (semantic LBE).lamport-b.yml.log 2022-07-22 12:10 108K
BuchiAutomizer (semantic LBE).lamport.yml.log 2022-07-22 12:10 150K
BuchiAutomizer (semantic LBE).linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml.log 2022-07-22 12:11 36K
BuchiAutomizer (semantic LBE).linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml.log 2022-07-22 12:11 36K
BuchiAutomizer (semantic LBE).linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml.log 2022-07-22 12:11 31K
BuchiAutomizer (semantic LBE).linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml.log 2022-07-22 12:13 25K
BuchiAutomizer (semantic LBE).linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml.log 2022-07-22 12:13 35K
BuchiAutomizer (semantic LBE).linux-3.14--drivers--usb--misc--adutux.ko.cil.yml.log 2022-07-22 12:10 31K
BuchiAutomizer (semantic LBE).linux-3.14--drivers--usb--misc--iowarrior.ko.cil.yml.log 2022-07-22 12:11 31K
BuchiAutomizer (semantic LBE).loop-tiling-eq.wvr.yml.log 2022-07-22 12:18 37K
BuchiAutomizer (semantic LBE).mult-comm.wvr.yml.log 2022-07-22 12:18 1.7M
BuchiAutomizer (semantic LBE).mult-dist.wvr.yml.log 2022-07-22 12:19 2.2M
BuchiAutomizer (semantic LBE).mult-flipped-dist.wvr.yml.log 2022-07-22 12:19 2.3M
BuchiAutomizer (semantic LBE).nondet-array-1.yml.log 2022-07-22 12:17 562K
BuchiAutomizer (semantic LBE).nondet-array-2.yml.log 2022-07-22 12:17 562K
BuchiAutomizer (semantic LBE).nondet-loop-bound-1.yml.log 2022-07-22 12:17 349K
BuchiAutomizer (semantic LBE).nondet-loop-bound-2.yml.log 2022-07-22 12:17 319K
BuchiAutomizer (semantic LBE).nondet-loop-bound-variant-1.yml.log 2022-07-22 12:16 190K
BuchiAutomizer (semantic LBE).nondet-loop-bound-variant-2.yml.log 2022-07-22 12:16 190K
BuchiAutomizer (semantic LBE).one_time_barrier_2t.yml.log 2022-07-22 12:13 44K
BuchiAutomizer (semantic LBE).one_time_barrier_3t.yml.log 2022-07-22 12:13 44K
BuchiAutomizer (semantic LBE).one_time_barrier_twice_2t.yml.log 2022-07-22 12:13 44K
BuchiAutomizer (semantic LBE).one_time_barrier_twice_3t.yml.log 2022-07-22 12:18 372K
BuchiAutomizer (semantic LBE).parallel-bakery-2.wvr.yml.log 2022-07-22 12:18 34K
BuchiAutomizer (semantic LBE).parallel-bakery-3.wvr.yml.log 2022-07-22 12:18 34K
BuchiAutomizer (semantic LBE).parallel-bakery-4.wvr.yml.log 2022-07-22 12:19 35K
BuchiAutomizer (semantic LBE).parallel-barrier-loop.wvr.yml.log 2022-07-22 12:21 3.2M
BuchiAutomizer (semantic LBE).parallel-barrier.wvr.yml.log 2022-07-22 12:19 35K
BuchiAutomizer (semantic LBE).parallel-bluetooth.wvr.yml.log 2022-07-22 12:19 34K
BuchiAutomizer (semantic LBE).parallel-lamport.wvr.yml.log 2022-07-22 12:19 147K
BuchiAutomizer (semantic LBE).parallel-min-max-1.wvr.yml.log 2022-07-22 12:19 351K
BuchiAutomizer (semantic LBE).parallel-misc-1.wvr.yml.log 2022-07-22 12:19 227K
BuchiAutomizer (semantic LBE).parallel-misc-2-unrolled-atomic.wvr.yml.log 2022-07-22 12:19 760K
BuchiAutomizer (semantic LBE).parallel-misc-2-unrolled.wvr.yml.log 2022-07-22 12:20 2.0M
BuchiAutomizer (semantic LBE).parallel-misc-2.wvr.yml.log 2022-07-22 12:20 1.9M
BuchiAutomizer (semantic LBE).parallel-misc-3-extended.wvr.yml.log 2022-07-22 12:20 2.0M
BuchiAutomizer (semantic LBE).parallel-misc-3.wvr.yml.log 2022-07-22 12:20 1.5M
BuchiAutomizer (semantic LBE).parallel-misc-4.wvr.yml.log 2022-07-22 12:20 2.1M
BuchiAutomizer (semantic LBE).parallel-misc-5.wvr.yml.log 2022-07-22 12:20 1.8M
BuchiAutomizer (semantic LBE).parallel-parallel-sum-1-dsl.wvr.yml.log 2022-07-22 12:19 281K
BuchiAutomizer (semantic LBE).parallel-parallel-sum-1.wvr.yml.log 2022-07-22 12:20 1.2M
BuchiAutomizer (semantic LBE).parallel-parallel-sum-2.wvr.yml.log 2022-07-22 12:20 1.0M
BuchiAutomizer (semantic LBE).parallel-parallel-sum-equiv.wvr.yml.log 2022-07-22 12:20 814K
BuchiAutomizer (semantic LBE).parallel-simple-equiv.wvr.yml.log 2022-07-22 12:20 34K
BuchiAutomizer (semantic LBE).parallel-ticket-2.wvr.yml.log 2022-07-22 12:20 34K
BuchiAutomizer (semantic LBE).parallel-ticket-3.wvr.yml.log 2022-07-22 12:20 34K
BuchiAutomizer (semantic LBE).parallel-ticket-4.wvr.yml.log 2022-07-22 12:20 35K
BuchiAutomizer (semantic LBE).parallel-ticket-5.wvr.yml.log 2022-07-22 12:20 35K
BuchiAutomizer (semantic LBE).parallel-ticket-6.wvr.yml.log 2022-07-22 12:20 35K
BuchiAutomizer (semantic LBE).parallel-ticket-7.wvr.yml.log 2022-07-22 12:20 35K
BuchiAutomizer (semantic LBE).parallel-ticket-8.wvr.yml.log 2022-07-22 12:20 35K
BuchiAutomizer (semantic LBE).peterson-b.yml.log 2022-07-22 12:10 81K
BuchiAutomizer (semantic LBE).peterson.yml.log 2022-07-22 12:10 86K
BuchiAutomizer (semantic LBE).popl20-bad-buffer-mult-alt.wvr.yml.log 2022-07-22 12:23 3.0M
BuchiAutomizer (semantic LBE).popl20-bad-buffer-mult-alt2.wvr.yml.log 2022-07-22 12:23 2.8M
BuchiAutomizer (semantic LBE).popl20-bad-commit-1.wvr-bad.yml.log 2022-07-22 12:24 784K
BuchiAutomizer (semantic LBE).popl20-bad-commit-2.wvr-bad.yml.log 2022-07-22 12:24 1.3M
BuchiAutomizer (semantic LBE).popl20-bad-counter-queue.wvr.yml.log 2022-07-22 12:20 155K
BuchiAutomizer (semantic LBE).popl20-bad-counter-queue2.wvr.yml.log 2022-07-22 12:21 277K
BuchiAutomizer (semantic LBE).popl20-bad-dot-product-alt.wvr.yml.log 2022-07-22 12:21 388K
BuchiAutomizer (semantic LBE).popl20-bad-dot-product.wvr.yml.log 2022-07-22 12:21 337K
BuchiAutomizer (semantic LBE).popl20-bad-ring-nondet.wvr.yml.log 2022-07-22 12:21 533K
BuchiAutomizer (semantic LBE).popl20-bad-ring.wvr.yml.log 2022-07-22 12:25 1.0M
BuchiAutomizer (semantic LBE).popl20-bad-threaded-sum-2.wvr.yml.log 2022-07-22 12:21 730K
BuchiAutomizer (semantic LBE).popl20-bad-three-array-sum-alt.wvr.yml.log 2022-07-22 12:22 807K
BuchiAutomizer (semantic LBE).popl20-channel-sum.wvr.yml.log 2022-07-22 12:21 271K
BuchiAutomizer (semantic LBE).popl20-commit-1.wvr.yml.log 2022-07-22 12:22 747K
BuchiAutomizer (semantic LBE).popl20-commit-2.wvr.yml.log 2022-07-22 12:24 2.9M
BuchiAutomizer (semantic LBE).popl20-counter-determinism.wvr.yml.log 2022-07-22 12:23 2.0M
BuchiAutomizer (semantic LBE).popl20-counter-fun.wvr.yml.log 2022-07-22 12:22 633K
BuchiAutomizer (semantic LBE).popl20-difference-det.wvr.yml.log 2022-07-22 12:22 2.0M
BuchiAutomizer (semantic LBE).popl20-figure1-alt.wvr.yml.log 2022-07-22 12:22 647K
BuchiAutomizer (semantic LBE).popl20-figure1.wvr.yml.log 2022-07-22 12:22 750K
BuchiAutomizer (semantic LBE).popl20-figure3.wvr.yml.log 2022-07-22 12:22 1.7M
BuchiAutomizer (semantic LBE).popl20-horseshoe.wvr.yml.log 2022-07-22 12:23 1.1M
BuchiAutomizer (semantic LBE).popl20-min-max-dec.wvr.yml.log 2022-07-22 12:22 172K
BuchiAutomizer (semantic LBE).popl20-min-max-inc-dec.wvr.yml.log 2022-07-22 12:22 425K
BuchiAutomizer (semantic LBE).popl20-min-max-inc.wvr.yml.log 2022-07-22 12:22 172K
BuchiAutomizer (semantic LBE).popl20-more-array-sum-alt.wvr.yml.log 2022-07-22 12:22 306K
BuchiAutomizer (semantic LBE).popl20-more-array-sum-alt2.wvr.yml.log 2022-07-22 12:22 159K
BuchiAutomizer (semantic LBE).popl20-more-array-sum.wvr.yml.log 2022-07-22 12:23 452K
BuchiAutomizer (semantic LBE).popl20-more-array-sum2.wvr.yml.log 2022-07-22 12:23 230K
BuchiAutomizer (semantic LBE).popl20-more-buffer-mult.wvr.yml.log 2022-07-22 12:25 1.9M
BuchiAutomizer (semantic LBE).popl20-more-buffer-mult2.wvr.yml.log 2022-07-22 12:25 2.3M
BuchiAutomizer (semantic LBE).popl20-more-buffer-series.wvr.yml.log 2022-07-22 12:26 2.7M
BuchiAutomizer (semantic LBE).popl20-more-buffer-series2.wvr.yml.log 2022-07-22 12:25 2.1M
BuchiAutomizer (semantic LBE).popl20-more-dec-subseq.wvr.yml.log 2022-07-22 12:23 599K
BuchiAutomizer (semantic LBE).popl20-more-inc-subseq.wvr.yml.log 2022-07-22 12:23 596K
BuchiAutomizer (semantic LBE).popl20-more-max-array-hom.wvr.yml.log 2022-07-22 12:23 601K
BuchiAutomizer (semantic LBE).popl20-more-max-array.wvr.yml.log 2022-07-22 12:23 192K
BuchiAutomizer (semantic LBE).popl20-more-min-array-hom.wvr.yml.log 2022-07-22 12:24 645K
BuchiAutomizer (semantic LBE).popl20-more-min-array.wvr.yml.log 2022-07-22 12:24 196K
BuchiAutomizer (semantic LBE).popl20-more-min-le-max.wvr.yml.log 2022-07-22 12:24 157K
BuchiAutomizer (semantic LBE).popl20-more-mts.wvr.yml.log 2022-07-22 12:24 345K
BuchiAutomizer (semantic LBE).popl20-more-multiply-verify.wvr.yml.log 2022-07-22 12:24 2.8M
BuchiAutomizer (semantic LBE).popl20-more-nonblocking-counter-alt2.wvr.yml.log 2022-07-22 12:24 1.7M
BuchiAutomizer (semantic LBE).popl20-more-parray-copy.wvr.yml.log 2022-07-22 12:24 374K
BuchiAutomizer (semantic LBE).popl20-more-queue-add-2-nl.wvr.yml.log 2022-07-22 12:24 515K
BuchiAutomizer (semantic LBE).popl20-more-queue-add-3-nl.wvr.yml.log 2022-07-22 12:27 2.2M
BuchiAutomizer (semantic LBE).popl20-more-sorted.wvr.yml.log 2022-07-22 12:24 394K
BuchiAutomizer (semantic LBE).popl20-more-sum-array-hom.wvr.yml.log 2022-07-22 12:24 196K
BuchiAutomizer (semantic LBE).popl20-more-vector-add.wvr.yml.log 2022-07-22 12:25 598K
BuchiAutomizer (semantic LBE).popl20-mult-4.wvr.yml.log 2022-07-22 12:25 2.5M
BuchiAutomizer (semantic LBE).popl20-mult-equiv.wvr.yml.log 2022-07-22 12:25 2.0M
BuchiAutomizer (semantic LBE).popl20-nonblocking-cntr-alt.wvr.yml.log 2022-07-22 12:24 182K
BuchiAutomizer (semantic LBE).popl20-nonblocking-cntr.wvr.yml.log 2022-07-22 12:24 203K
BuchiAutomizer (semantic LBE).popl20-prod-cons-eq.wvr.yml.log 2022-07-22 12:28 2.2M
BuchiAutomizer (semantic LBE).popl20-prod-cons.wvr.yml.log 2022-07-22 12:25 275K
BuchiAutomizer (semantic LBE).popl20-prod-cons3.wvr.yml.log 2022-07-22 12:25 857K
BuchiAutomizer (semantic LBE).popl20-proofs-counter-add-4-semi-Q67.wvr.yml.log 2022-07-22 12:25 967K
BuchiAutomizer (semantic LBE).popl20-queue-add-2.wvr.yml.log 2022-07-22 12:25 402K
BuchiAutomizer (semantic LBE).popl20-queue-add-3.wvr.yml.log 2022-07-22 12:26 1.0M
BuchiAutomizer (semantic LBE).popl20-send-receive-alt.wvr.yml.log 2022-07-22 12:26 1.2M
BuchiAutomizer (semantic LBE).popl20-send-receive.wvr.yml.log 2022-07-22 12:25 290K
BuchiAutomizer (semantic LBE).popl20-simple-array-sum.wvr.yml.log 2022-07-22 12:25 265K
BuchiAutomizer (semantic LBE).popl20-simple-queue.wvr.yml.log 2022-07-22 12:25 451K
BuchiAutomizer (semantic LBE).popl20-threaded-sum-3.wvr.yml.log 2022-07-22 12:26 930K
BuchiAutomizer (semantic LBE).popl20-three-array-max.wvr.yml.log 2022-07-22 12:26 401K
BuchiAutomizer (semantic LBE).popl20-three-array-min.wvr.yml.log 2022-07-22 12:26 403K
BuchiAutomizer (semantic LBE).popl20-three-array-sum.wvr.yml.log 2022-07-22 12:26 562K
BuchiAutomizer (semantic LBE).popl20-two-queue.wvr.yml.log 2022-07-22 12:26 934K
BuchiAutomizer (semantic LBE).pthread-demo-datarace-1.yml.log 2022-07-22 12:12 807K
BuchiAutomizer (semantic LBE).pthread-demo-datarace-2.yml.log 2022-07-22 12:13 2.1M
BuchiAutomizer (semantic LBE).pthread-finding-k-matches.yml.log 2022-07-22 12:12 15K
BuchiAutomizer (semantic LBE).pthread-numerical-integration.yml.log 2022-07-22 12:12 15K
BuchiAutomizer (semantic LBE).qrcu-1.yml.log 2022-07-22 12:10 53K
BuchiAutomizer (semantic LBE).qrcu-2.yml.log 2022-07-22 12:10 53K
BuchiAutomizer (semantic LBE).qw2004-1.yml.log 2022-07-22 12:10 34K
BuchiAutomizer (semantic LBE).qw2004-2.yml.log 2022-07-22 12:10 34K
BuchiAutomizer (semantic LBE).qw2004-2b.yml.log 2022-07-22 12:10 34K
BuchiAutomizer (semantic LBE).qw2004_variant.yml.log 2022-07-22 12:14 304K
BuchiAutomizer (semantic LBE).read_write_lock-1.yml.log 2022-07-22 12:10 34K
BuchiAutomizer (semantic LBE).read_write_lock-1b.yml.log 2022-07-22 12:10 34K
BuchiAutomizer (semantic LBE).read_write_lock-2.yml.log 2022-07-22 12:10 34K
BuchiAutomizer (semantic LBE).read_write_lock-2b.yml.log 2022-07-22 12:10 34K
BuchiAutomizer (semantic LBE).reorder_c11_bad-10.yml.log 2022-07-22 12:31 140K
BuchiAutomizer (semantic LBE).reorder_c11_bad-20.yml.log 2022-07-22 12:31 140K
BuchiAutomizer (semantic LBE).reorder_c11_bad-30.yml.log 2022-07-22 12:31 143K
BuchiAutomizer (semantic LBE).reorder_c11_bad-40.yml.log 2022-07-22 12:31 140K
BuchiAutomizer (semantic LBE).reorder_c11_bad-50.yml.log 2022-07-22 12:32 140K
BuchiAutomizer (semantic LBE).reorder_c11_good-10.yml.log 2022-07-22 12:33 144K
BuchiAutomizer (semantic LBE).reorder_c11_good-20.yml.log 2022-07-22 12:33 173K
BuchiAutomizer (semantic LBE).reorder_c11_good-30.yml.log 2022-07-22 12:33 170K
BuchiAutomizer (semantic LBE).reorder_c11_good-40.yml.log 2022-07-22 12:33 177K
BuchiAutomizer (semantic LBE).reorder_c11_good-50.yml.log 2022-07-22 12:33 153K
BuchiAutomizer (semantic LBE).ring_1w1r-1.yml.log 2022-07-22 12:15 1.6M
BuchiAutomizer (semantic LBE).ring_1w1r-2.yml.log 2022-07-22 12:14 351K
BuchiAutomizer (semantic LBE).ring_2w1r-1.yml.log 2022-07-22 12:15 1.2M
BuchiAutomizer (semantic LBE).ring_2w1r-2.yml.log 2022-07-22 12:15 1.1M
BuchiAutomizer (semantic LBE).safestack_relacy.yml.log 2022-07-22 12:12 1.2M
BuchiAutomizer (semantic LBE).scull.yml.log 2022-07-22 12:10 36K
BuchiAutomizer (semantic LBE).security.wvr.yml.log 2022-07-22 12:25 34K
BuchiAutomizer (semantic LBE).spaghetti.wvr.yml.log 2022-07-22 12:26 48K
BuchiAutomizer (semantic LBE).sssc12.yml.log 2022-07-22 12:13 2.8M
BuchiAutomizer (semantic LBE).sssc12_variant.yml.log 2022-07-22 12:13 2.6M
BuchiAutomizer (semantic LBE).szymanski-b.yml.log 2022-07-22 12:10 116K
BuchiAutomizer (semantic LBE).szymanski.yml.log 2022-07-22 12:10 120K
BuchiAutomizer (semantic LBE).test-context1.wvr.yml.log 2022-07-22 12:26 159K
BuchiAutomizer (semantic LBE).test-easy1.wvr.yml.log 2022-07-22 12:26 389K
BuchiAutomizer (semantic LBE).test-easy10.wvr.yml.log 2022-07-22 12:26 35K
BuchiAutomizer (semantic LBE).test-easy11.wvr.yml.log 2022-07-22 12:26 709K
BuchiAutomizer (semantic LBE).test-easy6.wvr.yml.log 2022-07-22 12:26 34K
BuchiAutomizer (semantic LBE).test-easy7.wvr.yml.log 2022-07-22 12:26 34K
BuchiAutomizer (semantic LBE).test-hard1.wvr.yml.log 2022-07-22 12:27 2.5M
BuchiAutomizer (semantic LBE).test-semi1.wvr.yml.log 2022-07-22 12:26 34K
BuchiAutomizer (semantic LBE).time_var_mutex.yml.log 2022-07-22 12:10 35K
BuchiAutomizer (semantic LBE).tls_basic.yml.log 2022-07-22 12:14 15K
BuchiAutomizer (semantic LBE).tls_destructor_worker.yml.log 2022-07-22 12:14 15K
BuchiAutomizer (semantic LBE).unroll-2.wvr.yml.log 2022-07-22 12:27 1.9M
BuchiAutomizer (semantic LBE).unroll-3.wvr.yml.log 2022-07-22 12:26 188K
BuchiAutomizer (semantic LBE).unroll-4.wvr.yml.log 2022-07-22 12:27 2.0M
BuchiAutomizer (semantic LBE).unroll-5.wvr.yml.log 2022-07-22 12:26 192K
BuchiAutomizer (semantic LBE).unroll-cond-2.wvr.yml.log 2022-07-22 12:26 1.1M
BuchiAutomizer (semantic LBE).unroll-cond-3.wvr.yml.log 2022-07-22 12:26 192K
BuchiAutomizer (semantic LBE).unroll-cond-4.wvr.yml.log 2022-07-22 12:27 1.9M
BuchiAutomizer (semantic LBE).unroll-cond-5.wvr.yml.log 2022-07-22 12:27 1.1M
BuchiAutomizer (semantic LBE).workstealqueue_mutex-1.yml.log 2022-07-22 12:12 39K
BuchiAutomizer (semantic LBE).workstealqueue_mutex-2.yml.log 2022-07-22 12:12 39K
BuchiAutomizer (syntactic LBE).airline-10.yml.log 2022-07-22 12:55 218K
BuchiAutomizer (syntactic LBE).airline-15.yml.log 2022-07-22 12:55 221K
BuchiAutomizer (syntactic LBE).airline-20.yml.log 2022-07-22 12:55 221K
BuchiAutomizer (syntactic LBE).airline-25.yml.log 2022-07-22 12:55 218K
BuchiAutomizer (syntactic LBE).airline-5.yml.log 2022-07-22 12:52 176K
BuchiAutomizer (syntactic LBE).arithmetic_prog_bad.yml.log 2022-07-22 12:53 215K
BuchiAutomizer (syntactic LBE).arithmetic_prog_ok.yml.log 2022-07-22 12:53 215K
BuchiAutomizer (syntactic LBE).array-eq-symm.wvr.yml.log 2022-07-22 12:39 372K
BuchiAutomizer (syntactic LBE).array-eq-trans.wvr.yml.log 2022-07-22 12:40 595K
BuchiAutomizer (syntactic LBE).barrier_2t.yml.log 2022-07-22 12:42 365K
BuchiAutomizer (syntactic LBE).barrier_3t.yml.log 2022-07-22 12:38 71K
BuchiAutomizer (syntactic LBE).bench-exp1x3.wvr.yml.log 2022-07-22 12:40 1.4M
BuchiAutomizer (syntactic LBE).bench-exp2x3.wvr.yml.log 2022-07-22 12:41 2.1M
BuchiAutomizer (syntactic LBE).bench-exp2x4.wvr.yml.log 2022-07-22 12:41 2.1M
BuchiAutomizer (syntactic LBE).bench-exp2x6.wvr.yml.log 2022-07-22 12:41 2.1M
BuchiAutomizer (syntactic LBE).bench-exp2x9.wvr.yml.log 2022-07-22 12:41 2.1M
BuchiAutomizer (syntactic LBE).bench-exp3x3-opt.wvr.yml.log 2022-07-22 12:41 51K
BuchiAutomizer (syntactic LBE).bench-exp3x3.wvr.yml.log 2022-07-22 12:42 2.9M
BuchiAutomizer (syntactic LBE).bounded_buffer.yml.log 2022-07-22 12:39 32K
BuchiAutomizer (syntactic LBE).chl-array-int-subst.wvr.yml.log 2022-07-22 12:42 627K
BuchiAutomizer (syntactic LBE).chl-array-int-symm.wvr.yml.log 2022-07-22 12:42 369K
BuchiAutomizer (syntactic LBE).chl-array-int-trans.wvr.yml.log 2022-07-22 12:42 1.0M
BuchiAutomizer (syntactic LBE).chl-chromosome-opt-symm.wvr.yml.log 2022-07-22 12:45 1.3M
BuchiAutomizer (syntactic LBE).chl-chromosome-subst.wvr.yml.log 2022-07-22 12:45 513K
BuchiAutomizer (syntactic LBE).chl-chromosome-symm.wvr.yml.log 2022-07-22 12:42 344K
BuchiAutomizer (syntactic LBE).chl-chromosome-trans.wvr.yml.log 2022-07-22 12:43 376K
BuchiAutomizer (syntactic LBE).chl-collitem-subst.wvr.yml.log 2022-07-22 12:42 34K
BuchiAutomizer (syntactic LBE).chl-collitem-symm.wvr.yml.log 2022-07-22 12:42 34K
BuchiAutomizer (syntactic LBE).chl-collitem-trans.wvr.yml.log 2022-07-22 12:42 34K
BuchiAutomizer (syntactic LBE).chl-exp-term-subst.wvr.yml.log 2022-07-22 12:42 34K
BuchiAutomizer (syntactic LBE).chl-exp-term-symm.wvr.yml.log 2022-07-22 12:42 33K
BuchiAutomizer (syntactic LBE).chl-file-item-subst.wvr.yml.log 2022-07-22 12:42 34K
BuchiAutomizer (syntactic LBE).chl-file-item-symm.wvr.yml.log 2022-07-22 12:42 33K
BuchiAutomizer (syntactic LBE).chl-file-item-trans.wvr.yml.log 2022-07-22 12:42 34K
BuchiAutomizer (syntactic LBE).chl-match-subst.wvr.yml.log 2022-07-22 12:42 34K
BuchiAutomizer (syntactic LBE).chl-match-symm.wvr.yml.log 2022-07-22 12:42 33K
BuchiAutomizer (syntactic LBE).chl-match-trans.wvr.yml.log 2022-07-22 12:42 34K
BuchiAutomizer (syntactic LBE).chl-name-comparator-subst.wvr.yml.log 2022-07-22 12:43 364K
BuchiAutomizer (syntactic LBE).chl-name-comparator-symm.wvr.yml.log 2022-07-22 12:43 892K
BuchiAutomizer (syntactic LBE).chl-name-comparator-trans.wvr.yml.log 2022-07-22 12:43 415K
BuchiAutomizer (syntactic LBE).chl-node-subst.wvr.yml.log 2022-07-22 12:44 939K
BuchiAutomizer (syntactic LBE).chl-node-symm.wvr.yml.log 2022-07-22 12:43 613K
BuchiAutomizer (syntactic LBE).chl-node-trans.wvr.yml.log 2022-07-22 12:44 1.2M
BuchiAutomizer (syntactic LBE).chl-nzb-file-subst.wvr.yml.log 2022-07-22 12:47 1.1M
BuchiAutomizer (syntactic LBE).chl-nzb-file-symm.wvr.yml.log 2022-07-22 12:47 1.8M
BuchiAutomizer (syntactic LBE).chl-nzb-file-trans.wvr.yml.log 2022-07-22 12:47 1.1M
BuchiAutomizer (syntactic LBE).chl-simpl-str-subst.wvr.yml.log 2022-07-22 12:43 34K
BuchiAutomizer (syntactic LBE).chl-simpl-str-symm.wvr.yml.log 2022-07-22 12:43 33K
BuchiAutomizer (syntactic LBE).chl-simpl-str-trans.wvr.yml.log 2022-07-22 12:43 34K
BuchiAutomizer (syntactic LBE).chl-sre-subst.wvr.yml.log 2022-07-22 12:43 33K
BuchiAutomizer (syntactic LBE).chl-sre-symm.wvr.yml.log 2022-07-22 12:43 33K
BuchiAutomizer (syntactic LBE).chl-sre-trans.wvr.yml.log 2022-07-22 12:43 34K
BuchiAutomizer (syntactic LBE).chl-time-subst.wvr.yml.log 2022-07-22 12:43 34K
BuchiAutomizer (syntactic LBE).chl-time-symm.wvr.yml.log 2022-07-22 12:43 33K
BuchiAutomizer (syntactic LBE).chl-time-trans.wvr.yml.log 2022-07-22 12:43 34K
BuchiAutomizer (syntactic LBE).chl-word-subst.wvr.yml.log 2022-07-22 12:44 842K
BuchiAutomizer (syntactic LBE).chl-word-symm.wvr.yml.log 2022-07-22 12:44 685K
BuchiAutomizer (syntactic LBE).chl-word-trans.wvr.yml.log 2022-07-22 12:44 969K
BuchiAutomizer (syntactic LBE).circular_buffer_bad.yml.log 2022-07-22 12:54 868K
BuchiAutomizer (syntactic LBE).circular_buffer_ok.yml.log 2022-07-22 12:54 849K
BuchiAutomizer (syntactic LBE).clever.wvr.yml.log 2022-07-22 12:44 872K
BuchiAutomizer (syntactic LBE).condvar.yml.log 2022-07-22 12:37 47K
BuchiAutomizer (syntactic LBE).condvar_spurious_wakeup.yml.log 2022-07-22 12:37 314K
BuchiAutomizer (syntactic LBE).dekker-b.yml.log 2022-07-22 12:34 83K
BuchiAutomizer (syntactic LBE).dekker.yml.log 2022-07-22 12:34 86K
BuchiAutomizer (syntactic LBE).divinefifo-bug_1w1r.yml.log 2022-07-22 12:39 602K
BuchiAutomizer (syntactic LBE).divinefifo_1w1r.yml.log 2022-07-22 12:39 399K
BuchiAutomizer (syntactic LBE).elimination_backoff_stack.yml.log 2022-07-22 12:39 35K
BuchiAutomizer (syntactic LBE).fibonacci.wvr.yml.log 2022-07-22 12:44 812K
BuchiAutomizer (syntactic LBE).fk2012.yml.log 2022-07-22 12:34 49K
BuchiAutomizer (syntactic LBE).fkp2013-1.yml.log 2022-07-22 12:37 333K
BuchiAutomizer (syntactic LBE).fkp2013-2.yml.log 2022-07-22 12:37 333K
BuchiAutomizer (syntactic LBE).fkp2013_variant-1.yml.log 2022-07-22 12:37 340K
BuchiAutomizer (syntactic LBE).fkp2013_variant-2.yml.log 2022-07-22 12:37 317K
BuchiAutomizer (syntactic LBE).fkp2014.yml.log 2022-07-22 12:37 260K
BuchiAutomizer (syntactic LBE).floating_read-10.yml.log 2022-07-22 12:56 413K
BuchiAutomizer (syntactic LBE).floating_read-15.yml.log 2022-07-22 12:56 414K
BuchiAutomizer (syntactic LBE).floating_read-20.yml.log 2022-07-22 12:56 414K
BuchiAutomizer (syntactic LBE).floating_read-25.yml.log 2022-07-22 12:56 414K
BuchiAutomizer (syntactic LBE).floating_read-5.yml.log 2022-07-22 12:54 170K
BuchiAutomizer (syntactic LBE).gcd-2.yml.log 2022-07-22 12:34 48K
BuchiAutomizer (syntactic LBE).lamport-b.yml.log 2022-07-22 12:34 107K
BuchiAutomizer (syntactic LBE).lamport.yml.log 2022-07-22 12:34 149K
BuchiAutomizer (syntactic LBE).linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml.log 2022-07-22 12:35 36K
BuchiAutomizer (syntactic LBE).linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml.log 2022-07-22 12:35 36K
BuchiAutomizer (syntactic LBE).linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml.log 2022-07-22 12:34 32K
BuchiAutomizer (syntactic LBE).linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml.log 2022-07-22 12:37 25K
BuchiAutomizer (syntactic LBE).linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml.log 2022-07-22 12:37 35K
BuchiAutomizer (syntactic LBE).linux-3.14--drivers--usb--misc--adutux.ko.cil.yml.log 2022-07-22 12:34 31K
BuchiAutomizer (syntactic LBE).linux-3.14--drivers--usb--misc--iowarrior.ko.cil.yml.log 2022-07-22 12:34 31K
BuchiAutomizer (syntactic LBE).loop-tiling-eq.wvr.yml.log 2022-07-22 12:45 1.1M
BuchiAutomizer (syntactic LBE).mult-comm.wvr.yml.log 2022-07-22 12:44 1.7M
BuchiAutomizer (syntactic LBE).mult-dist.wvr.yml.log 2022-07-22 12:45 2.2M
BuchiAutomizer (syntactic LBE).mult-flipped-dist.wvr.yml.log 2022-07-22 12:45 2.2M
BuchiAutomizer (syntactic LBE).nondet-array-1.yml.log 2022-07-22 12:41 553K
BuchiAutomizer (syntactic LBE).nondet-array-2.yml.log 2022-07-22 12:41 555K
BuchiAutomizer (syntactic LBE).nondet-loop-bound-1.yml.log 2022-07-22 12:42 319K
BuchiAutomizer (syntactic LBE).nondet-loop-bound-2.yml.log 2022-07-22 12:42 342K
BuchiAutomizer (syntactic LBE).nondet-loop-bound-variant-1.yml.log 2022-07-22 12:41 190K
BuchiAutomizer (syntactic LBE).nondet-loop-bound-variant-2.yml.log 2022-07-22 12:42 190K
BuchiAutomizer (syntactic LBE).one_time_barrier_2t.yml.log 2022-07-22 12:41 367K
BuchiAutomizer (syntactic LBE).one_time_barrier_3t.yml.log 2022-07-22 12:42 406K
BuchiAutomizer (syntactic LBE).one_time_barrier_twice_2t.yml.log 2022-07-22 12:42 417K
BuchiAutomizer (syntactic LBE).one_time_barrier_twice_3t.yml.log 2022-07-22 12:38 75K
BuchiAutomizer (syntactic LBE).parallel-bakery-2.wvr.yml.log 2022-07-22 12:44 34K
BuchiAutomizer (syntactic LBE).parallel-bakery-3.wvr.yml.log 2022-07-22 12:44 34K
BuchiAutomizer (syntactic LBE).parallel-bakery-4.wvr.yml.log 2022-07-22 12:44 34K
BuchiAutomizer (syntactic LBE).parallel-barrier-loop.wvr.yml.log 2022-07-22 12:47 1.0M
BuchiAutomizer (syntactic LBE).parallel-barrier.wvr.yml.log 2022-07-22 12:44 34K
BuchiAutomizer (syntactic LBE).parallel-bluetooth.wvr.yml.log 2022-07-22 12:44 34K
BuchiAutomizer (syntactic LBE).parallel-lamport.wvr.yml.log 2022-07-22 12:44 142K
BuchiAutomizer (syntactic LBE).parallel-min-max-1.wvr.yml.log 2022-07-22 12:45 314K
BuchiAutomizer (syntactic LBE).parallel-misc-1.wvr.yml.log 2022-07-22 12:45 359K
BuchiAutomizer (syntactic LBE).parallel-misc-2-unrolled-atomic.wvr.yml.log 2022-07-22 12:45 759K
BuchiAutomizer (syntactic LBE).parallel-misc-2-unrolled.wvr.yml.log 2022-07-22 12:45 2.0M
BuchiAutomizer (syntactic LBE).parallel-misc-2.wvr.yml.log 2022-07-22 12:45 1.9M
BuchiAutomizer (syntactic LBE).parallel-misc-3-extended.wvr.yml.log 2022-07-22 12:46 2.0M
BuchiAutomizer (syntactic LBE).parallel-misc-3.wvr.yml.log 2022-07-22 12:46 1.5M
BuchiAutomizer (syntactic LBE).parallel-misc-4.wvr.yml.log 2022-07-22 12:46 2.1M
BuchiAutomizer (syntactic LBE).parallel-misc-5.wvr.yml.log 2022-07-22 12:46 1.8M
BuchiAutomizer (syntactic LBE).parallel-parallel-sum-1-dsl.wvr.yml.log 2022-07-22 12:45 499K
BuchiAutomizer (syntactic LBE).parallel-parallel-sum-1.wvr.yml.log 2022-07-22 12:47 1.9M
BuchiAutomizer (syntactic LBE).parallel-parallel-sum-2.wvr.yml.log 2022-07-22 12:48 2.1M
BuchiAutomizer (syntactic LBE).parallel-parallel-sum-equiv.wvr.yml.log 2022-07-22 12:45 325K
BuchiAutomizer (syntactic LBE).parallel-simple-equiv.wvr.yml.log 2022-07-22 12:45 34K
BuchiAutomizer (syntactic LBE).parallel-ticket-2.wvr.yml.log 2022-07-22 12:45 33K
BuchiAutomizer (syntactic LBE).parallel-ticket-3.wvr.yml.log 2022-07-22 12:46 34K
BuchiAutomizer (syntactic LBE).parallel-ticket-4.wvr.yml.log 2022-07-22 12:46 34K
BuchiAutomizer (syntactic LBE).parallel-ticket-5.wvr.yml.log 2022-07-22 12:46 34K
BuchiAutomizer (syntactic LBE).parallel-ticket-6.wvr.yml.log 2022-07-22 12:46 34K
BuchiAutomizer (syntactic LBE).parallel-ticket-7.wvr.yml.log 2022-07-22 12:47 35K
BuchiAutomizer (syntactic LBE).parallel-ticket-8.wvr.yml.log 2022-07-22 12:46 28K
BuchiAutomizer (syntactic LBE).peterson-b.yml.log 2022-07-22 12:34 81K
BuchiAutomizer (syntactic LBE).peterson.yml.log 2022-07-22 12:34 86K
BuchiAutomizer (syntactic LBE).popl20-bad-buffer-mult-alt.wvr.yml.log 2022-07-22 12:49 2.8M
BuchiAutomizer (syntactic LBE).popl20-bad-buffer-mult-alt2.wvr.yml.log 2022-07-22 12:49 2.9M
BuchiAutomizer (syntactic LBE).popl20-bad-commit-1.wvr-bad.yml.log 2022-07-22 12:49 774K
BuchiAutomizer (syntactic LBE).popl20-bad-commit-2.wvr-bad.yml.log 2022-07-22 12:50 1.1M
BuchiAutomizer (syntactic LBE).popl20-bad-counter-queue.wvr.yml.log 2022-07-22 12:46 474K
BuchiAutomizer (syntactic LBE).popl20-bad-counter-queue2.wvr.yml.log 2022-07-22 12:46 390K
BuchiAutomizer (syntactic LBE).popl20-bad-dot-product-alt.wvr.yml.log 2022-07-22 12:47 588K
BuchiAutomizer (syntactic LBE).popl20-bad-dot-product.wvr.yml.log 2022-07-22 12:47 617K
BuchiAutomizer (syntactic LBE).popl20-bad-ring-nondet.wvr.yml.log 2022-07-22 12:47 433K
BuchiAutomizer (syntactic LBE).popl20-bad-ring.wvr.yml.log 2022-07-22 12:51 1.3M
BuchiAutomizer (syntactic LBE).popl20-bad-threaded-sum-2.wvr.yml.log 2022-07-22 12:47 729K
BuchiAutomizer (syntactic LBE).popl20-bad-three-array-sum-alt.wvr.yml.log 2022-07-22 12:48 769K
BuchiAutomizer (syntactic LBE).popl20-channel-sum.wvr.yml.log 2022-07-22 12:47 549K
BuchiAutomizer (syntactic LBE).popl20-commit-1.wvr.yml.log 2022-07-22 12:48 784K
BuchiAutomizer (syntactic LBE).popl20-commit-2.wvr.yml.log 2022-07-22 12:49 1.3M
BuchiAutomizer (syntactic LBE).popl20-counter-determinism.wvr.yml.log 2022-07-22 12:49 2.2M
BuchiAutomizer (syntactic LBE).popl20-counter-fun.wvr.yml.log 2022-07-22 12:48 490K
BuchiAutomizer (syntactic LBE).popl20-difference-det.wvr.yml.log 2022-07-22 12:48 1.7M
BuchiAutomizer (syntactic LBE).popl20-figure1-alt.wvr.yml.log 2022-07-22 12:48 1.0M
BuchiAutomizer (syntactic LBE).popl20-figure1.wvr.yml.log 2022-07-22 12:48 670K
BuchiAutomizer (syntactic LBE).popl20-figure3.wvr.yml.log 2022-07-22 12:48 1.7M
BuchiAutomizer (syntactic LBE).popl20-horseshoe.wvr.yml.log 2022-07-22 12:50 1.9M
BuchiAutomizer (syntactic LBE).popl20-min-max-dec.wvr.yml.log 2022-07-22 12:48 156K
BuchiAutomizer (syntactic LBE).popl20-min-max-inc-dec.wvr.yml.log 2022-07-22 12:49 330K
BuchiAutomizer (syntactic LBE).popl20-min-max-inc.wvr.yml.log 2022-07-22 12:48 156K
BuchiAutomizer (syntactic LBE).popl20-more-array-sum-alt.wvr.yml.log 2022-07-22 12:48 290K
BuchiAutomizer (syntactic LBE).popl20-more-array-sum-alt2.wvr.yml.log 2022-07-22 12:49 597K
BuchiAutomizer (syntactic LBE).popl20-more-array-sum.wvr.yml.log 2022-07-22 12:49 493K
BuchiAutomizer (syntactic LBE).popl20-more-array-sum2.wvr.yml.log 2022-07-22 12:49 269K
BuchiAutomizer (syntactic LBE).popl20-more-buffer-mult.wvr.yml.log 2022-07-22 12:51 2.1M
BuchiAutomizer (syntactic LBE).popl20-more-buffer-mult2.wvr.yml.log 2022-07-22 12:52 3.2M
BuchiAutomizer (syntactic LBE).popl20-more-buffer-series.wvr.yml.log 2022-07-22 12:49 576K
BuchiAutomizer (syntactic LBE).popl20-more-buffer-series2.wvr.yml.log 2022-07-22 12:51 2.0M
BuchiAutomizer (syntactic LBE).popl20-more-dec-subseq.wvr.yml.log 2022-07-22 12:49 641K
BuchiAutomizer (syntactic LBE).popl20-more-inc-subseq.wvr.yml.log 2022-07-22 12:49 641K
BuchiAutomizer (syntactic LBE).popl20-more-max-array-hom.wvr.yml.log 2022-07-22 12:49 603K
BuchiAutomizer (syntactic LBE).popl20-more-max-array.wvr.yml.log 2022-07-22 12:49 427K
BuchiAutomizer (syntactic LBE).popl20-more-min-array-hom.wvr.yml.log 2022-07-22 12:49 548K
BuchiAutomizer (syntactic LBE).popl20-more-min-array.wvr.yml.log 2022-07-22 12:50 425K
BuchiAutomizer (syntactic LBE).popl20-more-min-le-max.wvr.yml.log 2022-07-22 12:49 221K
BuchiAutomizer (syntactic LBE).popl20-more-mts.wvr.yml.log 2022-07-22 12:50 247K
BuchiAutomizer (syntactic LBE).popl20-more-multiply-verify.wvr.yml.log 2022-07-22 12:51 2.9M
BuchiAutomizer (syntactic LBE).popl20-more-nonblocking-counter-alt2.wvr.yml.log 2022-07-22 12:50 1.7M
BuchiAutomizer (syntactic LBE).popl20-more-parray-copy.wvr.yml.log 2022-07-22 12:50 485K
BuchiAutomizer (syntactic LBE).popl20-more-queue-add-2-nl.wvr.yml.log 2022-07-22 12:50 679K
BuchiAutomizer (syntactic LBE).popl20-more-queue-add-3-nl.wvr.yml.log 2022-07-22 12:51 1.4M
BuchiAutomizer (syntactic LBE).popl20-more-sorted.wvr.yml.log 2022-07-22 12:50 772K
BuchiAutomizer (syntactic LBE).popl20-more-sum-array-hom.wvr.yml.log 2022-07-22 12:50 135K
BuchiAutomizer (syntactic LBE).popl20-more-vector-add.wvr.yml.log 2022-07-22 12:50 446K
BuchiAutomizer (syntactic LBE).popl20-mult-4.wvr.yml.log 2022-07-22 12:51 2.5M
BuchiAutomizer (syntactic LBE).popl20-mult-equiv.wvr.yml.log 2022-07-22 12:51 2.0M
BuchiAutomizer (syntactic LBE).popl20-nonblocking-cntr-alt.wvr.yml.log 2022-07-22 12:50 195K
BuchiAutomizer (syntactic LBE).popl20-nonblocking-cntr.wvr.yml.log 2022-07-22 12:50 196K
BuchiAutomizer (syntactic LBE).popl20-prod-cons-eq.wvr.yml.log 2022-07-22 12:54 2.1M
BuchiAutomizer (syntactic LBE).popl20-prod-cons.wvr.yml.log 2022-07-22 12:51 248K
BuchiAutomizer (syntactic LBE).popl20-prod-cons3.wvr.yml.log 2022-07-22 12:51 912K
BuchiAutomizer (syntactic LBE).popl20-proofs-counter-add-4-semi-Q67.wvr.yml.log 2022-07-22 12:51 966K
BuchiAutomizer (syntactic LBE).popl20-queue-add-2.wvr.yml.log 2022-07-22 12:51 711K
BuchiAutomizer (syntactic LBE).popl20-queue-add-3.wvr.yml.log 2022-07-22 12:52 1.3M
BuchiAutomizer (syntactic LBE).popl20-send-receive-alt.wvr.yml.log 2022-07-22 12:51 535K
BuchiAutomizer (syntactic LBE).popl20-send-receive.wvr.yml.log 2022-07-22 12:51 666K
BuchiAutomizer (syntactic LBE).popl20-simple-array-sum.wvr.yml.log 2022-07-22 12:51 436K
BuchiAutomizer (syntactic LBE).popl20-simple-queue.wvr.yml.log 2022-07-22 12:52 1.0M
BuchiAutomizer (syntactic LBE).popl20-threaded-sum-3.wvr.yml.log 2022-07-22 12:52 930K
BuchiAutomizer (syntactic LBE).popl20-three-array-max.wvr.yml.log 2022-07-22 12:51 408K
BuchiAutomizer (syntactic LBE).popl20-three-array-min.wvr.yml.log 2022-07-22 12:51 403K
BuchiAutomizer (syntactic LBE).popl20-three-array-sum.wvr.yml.log 2022-07-22 12:52 735K
BuchiAutomizer (syntactic LBE).popl20-two-queue.wvr.yml.log 2022-07-22 12:52 744K
BuchiAutomizer (syntactic LBE).pthread-demo-datarace-1.yml.log 2022-07-22 12:37 789K
BuchiAutomizer (syntactic LBE).pthread-demo-datarace-2.yml.log 2022-07-22 12:38 2.0M
BuchiAutomizer (syntactic LBE).pthread-finding-k-matches.yml.log 2022-07-22 12:37 15K
BuchiAutomizer (syntactic LBE).pthread-numerical-integration.yml.log 2022-07-22 12:37 15K
BuchiAutomizer (syntactic LBE).qrcu-1.yml.log 2022-07-22 12:34 52K
BuchiAutomizer (syntactic LBE).qrcu-2.yml.log 2022-07-22 12:34 52K
BuchiAutomizer (syntactic LBE).qw2004-1.yml.log 2022-07-22 12:34 33K
BuchiAutomizer (syntactic LBE).qw2004-2.yml.log 2022-07-22 12:34 33K
BuchiAutomizer (syntactic LBE).qw2004-2b.yml.log 2022-07-22 12:34 33K
BuchiAutomizer (syntactic LBE).qw2004_variant.yml.log 2022-07-22 12:37 244K
BuchiAutomizer (syntactic LBE).read_write_lock-1.yml.log 2022-07-22 12:34 34K
BuchiAutomizer (syntactic LBE).read_write_lock-1b.yml.log 2022-07-22 12:34 33K
BuchiAutomizer (syntactic LBE).read_write_lock-2.yml.log 2022-07-22 12:34 34K
BuchiAutomizer (syntactic LBE).read_write_lock-2b.yml.log 2022-07-22 12:34 33K
BuchiAutomizer (syntactic LBE).reorder_c11_bad-10.yml.log 2022-07-22 12:57 136K
BuchiAutomizer (syntactic LBE).reorder_c11_bad-20.yml.log 2022-07-22 12:57 139K
BuchiAutomizer (syntactic LBE).reorder_c11_bad-30.yml.log 2022-07-22 12:57 136K
BuchiAutomizer (syntactic LBE).reorder_c11_bad-40.yml.log 2022-07-22 12:57 138K
BuchiAutomizer (syntactic LBE).reorder_c11_bad-50.yml.log 2022-07-22 12:58 136K
BuchiAutomizer (syntactic LBE).reorder_c11_good-10.yml.log 2022-07-22 12:59 136K
BuchiAutomizer (syntactic LBE).reorder_c11_good-20.yml.log 2022-07-22 12:59 136K
BuchiAutomizer (syntactic LBE).reorder_c11_good-30.yml.log 2022-07-22 12:59 136K
BuchiAutomizer (syntactic LBE).reorder_c11_good-40.yml.log 2022-07-22 12:59 136K
BuchiAutomizer (syntactic LBE).reorder_c11_good-50.yml.log 2022-07-22 12:59 139K
BuchiAutomizer (syntactic LBE).ring_1w1r-1.yml.log 2022-07-22 12:38 1.1M
BuchiAutomizer (syntactic LBE).ring_1w1r-2.yml.log 2022-07-22 12:38 296K
BuchiAutomizer (syntactic LBE).ring_2w1r-1.yml.log 2022-07-22 12:40 1.6M
BuchiAutomizer (syntactic LBE).ring_2w1r-2.yml.log 2022-07-22 12:40 1.2M
BuchiAutomizer (syntactic LBE).safestack_relacy.yml.log 2022-07-22 12:36 1.1M
BuchiAutomizer (syntactic LBE).scull.yml.log 2022-07-22 12:34 35K
BuchiAutomizer (syntactic LBE).security.wvr.yml.log 2022-07-22 12:51 33K
BuchiAutomizer (syntactic LBE).spaghetti.wvr.yml.log 2022-07-22 12:51 47K
BuchiAutomizer (syntactic LBE).sssc12.yml.log 2022-07-22 12:37 2.9M
BuchiAutomizer (syntactic LBE).sssc12_variant.yml.log 2022-07-22 12:37 3.2M
BuchiAutomizer (syntactic LBE).szymanski-b.yml.log 2022-07-22 12:34 116K
BuchiAutomizer (syntactic LBE).szymanski.yml.log 2022-07-22 12:34 120K
BuchiAutomizer (syntactic LBE).test-context1.wvr.yml.log 2022-07-22 12:51 171K
BuchiAutomizer (syntactic LBE).test-easy1.wvr.yml.log 2022-07-22 12:52 390K
BuchiAutomizer (syntactic LBE).test-easy10.wvr.yml.log 2022-07-22 12:51 34K
BuchiAutomizer (syntactic LBE).test-easy11.wvr.yml.log 2022-07-22 12:52 591K
BuchiAutomizer (syntactic LBE).test-easy6.wvr.yml.log 2022-07-22 12:52 33K
BuchiAutomizer (syntactic LBE).test-easy7.wvr.yml.log 2022-07-22 12:52 33K
BuchiAutomizer (syntactic LBE).test-hard1.wvr.yml.log 2022-07-22 12:53 2.5M
BuchiAutomizer (syntactic LBE).test-semi1.wvr.yml.log 2022-07-22 12:52 33K
BuchiAutomizer (syntactic LBE).time_var_mutex.yml.log 2022-07-22 12:34 34K
BuchiAutomizer (syntactic LBE).tls_basic.yml.log 2022-07-22 12:38 15K
BuchiAutomizer (syntactic LBE).tls_destructor_worker.yml.log 2022-07-22 12:38 16K
BuchiAutomizer (syntactic LBE).unroll-2.wvr.yml.log 2022-07-22 12:52 2.0M
BuchiAutomizer (syntactic LBE).unroll-3.wvr.yml.log 2022-07-22 12:52 141K
BuchiAutomizer (syntactic LBE).unroll-4.wvr.yml.log 2022-07-22 12:53 1.9M
BuchiAutomizer (syntactic LBE).unroll-5.wvr.yml.log 2022-07-22 12:53 1.9M
BuchiAutomizer (syntactic LBE).unroll-cond-2.wvr.yml.log 2022-07-22 12:52 152K
BuchiAutomizer (syntactic LBE).unroll-cond-3.wvr.yml.log 2022-07-22 12:53 1.9M
BuchiAutomizer (syntactic LBE).unroll-cond-4.wvr.yml.log 2022-07-22 12:53 1.9M
BuchiAutomizer (syntactic LBE).unroll-cond-5.wvr.yml.log 2022-07-22 12:53 1.0M
BuchiAutomizer (syntactic LBE).workstealqueue_mutex-1.yml.log 2022-07-22 12:39 631K
BuchiAutomizer (syntactic LBE).workstealqueue_mutex-2.yml.log 2022-07-22 12:40 738K