Index of /logs/concurrency-termination/20240212-184954-concurrency-termination-9ecb849265-M/termination-concurrency.2024-02-09_23-12-22.logfiles
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
BUCHI_AUTOMATON.acq-work-3threads.bpl.log 2024-02-09 23:23 352K
BUCHI_AUTOMATON.acq-work-4threads.bpl.log 2024-02-09 23:23 352K
BUCHI_AUTOMATON.acq-work-5threads.bpl.log 2024-02-09 23:24 353K
BUCHI_AUTOMATON.acq-work-6threads.bpl.log 2024-02-09 23:23 17K
BUCHI_AUTOMATON.acq-work-constants.bpl.log 2024-02-09 23:24 353K
BUCHI_AUTOMATON.acq-work.bpl.log 2024-02-09 23:24 353K
BUCHI_AUTOMATON.arithmetic_prog_bad.yml.log 2024-02-09 23:23 164K
BUCHI_AUTOMATON.arithmetic_prog_ok.yml.log 2024-02-09 23:23 164K
BUCHI_AUTOMATON.array-eq-symm.wvr.yml.log 2024-02-09 23:12 782K
BUCHI_AUTOMATON.array-eq-trans.wvr.yml.log 2024-02-09 23:13 1.6M
BUCHI_AUTOMATON.array-sum-with-log-3threads.bpl.log 2024-02-09 23:24 146K
BUCHI_AUTOMATON.array-sum-with-log-4threads.bpl.log 2024-02-09 23:25 203K
BUCHI_AUTOMATON.array-sum-with-log-5threads.bpl.log 2024-02-09 23:25 44K
BUCHI_AUTOMATON.array-sum-with-log-6threads.bpl.log 2024-02-09 23:24 17K
BUCHI_AUTOMATON.array-sum-with-log.bpl.log 2024-02-09 23:24 86K
BUCHI_AUTOMATON.bench-exp1x3.wvr.yml.log 2024-02-09 23:12 1.4M
BUCHI_AUTOMATON.bench-exp2x3.wvr.yml.log 2024-02-09 23:13 2.1M
BUCHI_AUTOMATON.bench-exp2x4.wvr.yml.log 2024-02-09 23:13 2.1M
BUCHI_AUTOMATON.bench-exp2x6.wvr.yml.log 2024-02-09 23:13 2.1M
BUCHI_AUTOMATON.bench-exp2x9.wvr.yml.log 2024-02-09 23:13 2.1M
BUCHI_AUTOMATON.bench-exp3x3-opt.wvr.yml.log 2024-02-09 23:13 59K
BUCHI_AUTOMATON.bench-exp3x3.wvr.yml.log 2024-02-09 23:13 2.9M
BUCHI_AUTOMATON.chl-array-int-subst.wvr.yml.log 2024-02-09 23:14 137K
BUCHI_AUTOMATON.chl-array-int-symm.wvr.yml.log 2024-02-09 23:13 798K
BUCHI_AUTOMATON.chl-array-int-trans.wvr.yml.log 2024-02-09 23:14 137K
BUCHI_AUTOMATON.chl-chromosome-opt-symm.wvr.yml.log 2024-02-09 23:14 1.0M
BUCHI_AUTOMATON.chl-chromosome-subst.wvr.yml.log 2024-02-09 23:14 171K
BUCHI_AUTOMATON.chl-chromosome-symm.wvr.yml.log 2024-02-09 23:17 641K
BUCHI_AUTOMATON.chl-chromosome-trans.wvr.yml.log 2024-02-09 23:14 173K
BUCHI_AUTOMATON.chl-collitem-subst.wvr.yml.log 2024-02-09 23:13 26K
BUCHI_AUTOMATON.chl-collitem-symm.wvr.yml.log 2024-02-09 23:13 27K
BUCHI_AUTOMATON.chl-collitem-trans.wvr.yml.log 2024-02-09 23:13 27K
BUCHI_AUTOMATON.chl-exp-term-subst.wvr.yml.log 2024-02-09 23:13 26K
BUCHI_AUTOMATON.chl-exp-term-symm.wvr.yml.log 2024-02-09 23:13 26K
BUCHI_AUTOMATON.chl-file-item-subst.wvr.yml.log 2024-02-09 23:13 26K
BUCHI_AUTOMATON.chl-file-item-symm.wvr.yml.log 2024-02-09 23:13 26K
BUCHI_AUTOMATON.chl-file-item-trans.wvr.yml.log 2024-02-09 23:13 26K
BUCHI_AUTOMATON.chl-match-subst.wvr.yml.log 2024-02-09 23:14 26K
BUCHI_AUTOMATON.chl-match-symm.wvr.yml.log 2024-02-09 23:13 26K
BUCHI_AUTOMATON.chl-match-trans.wvr.yml.log 2024-02-09 23:14 26K
BUCHI_AUTOMATON.chl-name-comparator-subst.wvr.yml.log 2024-02-09 23:14 22K
BUCHI_AUTOMATON.chl-name-comparator-symm.wvr.yml.log 2024-02-09 23:14 527K
BUCHI_AUTOMATON.chl-name-comparator-trans.wvr.yml.log 2024-02-09 23:14 22K
BUCHI_AUTOMATON.chl-node-subst.wvr.yml.log 2024-02-09 23:14 202K
BUCHI_AUTOMATON.chl-node-symm.wvr.yml.log 2024-02-09 23:14 895K
BUCHI_AUTOMATON.chl-node-trans.wvr.yml.log 2024-02-09 23:15 201K
BUCHI_AUTOMATON.chl-nzb-file-subst.wvr.yml.log 2024-02-09 23:14 21K
BUCHI_AUTOMATON.chl-nzb-file-symm.wvr.yml.log 2024-02-09 23:16 1.6M
BUCHI_AUTOMATON.chl-nzb-file-trans.wvr.yml.log 2024-02-09 23:14 21K
BUCHI_AUTOMATON.chl-simpl-str-subst.wvr.yml.log 2024-02-09 23:14 26K
BUCHI_AUTOMATON.chl-simpl-str-symm.wvr.yml.log 2024-02-09 23:14 26K
BUCHI_AUTOMATON.chl-simpl-str-trans.wvr.yml.log 2024-02-09 23:14 26K
BUCHI_AUTOMATON.chl-sre-subst.wvr.yml.log 2024-02-09 23:14 26K
BUCHI_AUTOMATON.chl-sre-symm.wvr.yml.log 2024-02-09 23:14 26K
BUCHI_AUTOMATON.chl-sre-trans.wvr.yml.log 2024-02-09 23:14 26K
BUCHI_AUTOMATON.chl-time-subst.wvr.yml.log 2024-02-09 23:14 26K
BUCHI_AUTOMATON.chl-time-symm.wvr.yml.log 2024-02-09 23:14 26K
BUCHI_AUTOMATON.chl-time-trans.wvr.yml.log 2024-02-09 23:14 27K
BUCHI_AUTOMATON.chl-word-subst.wvr.yml.log 2024-02-09 23:18 1.8M
BUCHI_AUTOMATON.chl-word-symm.wvr.yml.log 2024-02-09 23:15 842K
BUCHI_AUTOMATON.chl-word-trans.wvr.yml.log 2024-02-09 23:18 1.7M
BUCHI_AUTOMATON.circular_buffer_bad.yml.log 2024-02-09 23:24 657K
BUCHI_AUTOMATON.circular_buffer_ok.yml.log 2024-02-09 23:23 487K
BUCHI_AUTOMATON.clever.wvr.yml.log 2024-02-09 23:15 276K
BUCHI_AUTOMATON.concurrent_mult.bpl.log 2024-02-09 23:23 74K
BUCHI_AUTOMATON.count0-countEven-sample-abs.bpl.log 2024-02-09 23:24 59K
BUCHI_AUTOMATON.dekker.yml.log 2024-02-09 23:12 103K
BUCHI_AUTOMATON.equal-array-sums-locked.bpl.log 2024-02-09 23:23 74K
BUCHI_AUTOMATON.fibonacci.wvr.yml.log 2024-02-09 23:15 254K
BUCHI_AUTOMATON.incr-decr-zero.bpl.log 2024-02-09 23:24 77K
BUCHI_AUTOMATON.lamport.yml.log 2024-02-09 23:12 183K
BUCHI_AUTOMATON.loop-tiling-eq.wvr.yml.log 2024-02-09 23:19 2.2M
BUCHI_AUTOMATON.map-aggr-update1-2modifiers.bpl.log 2024-02-09 23:24 142K
BUCHI_AUTOMATON.map-aggr-update1-3modifiers.bpl.log 2024-02-09 23:25 204K
BUCHI_AUTOMATON.map-aggr-update1-4modifiers.bpl.log 2024-02-09 23:26 66K
BUCHI_AUTOMATON.map-aggr-update1-otherloopbounds.bpl.log 2024-02-09 23:24 218K
BUCHI_AUTOMATON.map-aggr-update1.bpl.log 2024-02-09 23:24 95K
BUCHI_AUTOMATON.map-aggr-update2-otherloopbounds.bpl.log 2024-02-09 23:24 217K
BUCHI_AUTOMATON.map-aggr-update2.bpl.log 2024-02-09 23:24 97K
BUCHI_AUTOMATON.map-aggr-update3.bpl.log 2024-02-09 23:24 52K
BUCHI_AUTOMATON.map-comp.bpl.log 2024-02-09 23:24 91K
BUCHI_AUTOMATON.map-incr-decr.bpl.log 2024-02-09 23:24 70K
BUCHI_AUTOMATON.map-incr-split.bpl.log 2024-02-09 23:24 72K
BUCHI_AUTOMATON.max-tailsum2.bpl.log 2024-02-09 23:24 85K
BUCHI_AUTOMATON.max-tailsum3.bpl.log 2024-02-09 23:24 136K
BUCHI_AUTOMATON.max-tailsum4.bpl.log 2024-02-09 23:24 160K
BUCHI_AUTOMATON.max-tailsum5.bpl.log 2024-02-09 23:26 119K
BUCHI_AUTOMATON.min-max-sample-2.bpl.log 2024-02-09 23:24 31K
BUCHI_AUTOMATON.min-max-sample-abs-2.bpl.log 2024-02-09 23:24 32K
BUCHI_AUTOMATON.min-max-sample-abs-nonatomic.bpl.log 2024-02-09 23:24 32K
BUCHI_AUTOMATON.min-max-sample-abs.bpl.log 2024-02-09 23:24 101K
BUCHI_AUTOMATON.min-max-sample-with_locks.bpl.log 2024-02-09 23:24 32K
BUCHI_AUTOMATON.min-max-sample.bpl.log 2024-02-09 23:24 30K
BUCHI_AUTOMATON.min-max-split-sample.bpl.log 2024-02-09 23:25 143K
BUCHI_AUTOMATON.min2-max2-sample.bpl.log 2024-02-09 23:24 74K
BUCHI_AUTOMATON.motivating-slowitp.bpl.log 2024-02-09 23:24 90K
BUCHI_AUTOMATON.motivating.bpl.log 2024-02-09 23:25 36K
BUCHI_AUTOMATON.mult-comm.wvr.yml.log 2024-02-09 23:15 1.7M
BUCHI_AUTOMATON.mult-dist.wvr.yml.log 2024-02-09 23:15 2.2M
BUCHI_AUTOMATON.mult-flipped-dist.wvr.yml.log 2024-02-09 23:15 2.2M
BUCHI_AUTOMATON.optimistic-concurrency1.bpl.log 2024-02-09 23:25 124K
BUCHI_AUTOMATON.optimistic-concurrency2.bpl.log 2024-02-09 23:25 120K
BUCHI_AUTOMATON.parallel-bakery-2.wvr.yml.log 2024-02-09 23:15 26K
BUCHI_AUTOMATON.parallel-bakery-3.wvr.yml.log 2024-02-09 23:15 27K
BUCHI_AUTOMATON.parallel-bakery-4.wvr.yml.log 2024-02-09 23:16 27K
BUCHI_AUTOMATON.parallel-barrier-loop.wvr.yml.log 2024-02-09 23:15 22K
BUCHI_AUTOMATON.parallel-barrier.wvr.yml.log 2024-02-09 23:16 27K
BUCHI_AUTOMATON.parallel-bluetooth.wvr.yml.log 2024-02-09 23:15 26K
BUCHI_AUTOMATON.parallel-lamport.wvr.yml.log 2024-02-09 23:15 175K
BUCHI_AUTOMATON.parallel-min-max-1.wvr.yml.log 2024-02-09 23:15 691K
BUCHI_AUTOMATON.parallel-misc-1.wvr.yml.log 2024-02-09 23:16 725K
BUCHI_AUTOMATON.parallel-misc-2-unrolled-atomic.wvr.yml.log 2024-02-09 23:15 127K
BUCHI_AUTOMATON.parallel-misc-2-unrolled.wvr.yml.log 2024-02-09 23:16 2.1M
BUCHI_AUTOMATON.parallel-misc-2.wvr.yml.log 2024-02-09 23:16 4.8M
BUCHI_AUTOMATON.parallel-misc-3-extended.wvr.yml.log 2024-02-09 23:16 68K
BUCHI_AUTOMATON.parallel-misc-3.wvr.yml.log 2024-02-09 23:16 1.1M
BUCHI_AUTOMATON.parallel-misc-4.wvr.yml.log 2024-02-09 23:16 536K
BUCHI_AUTOMATON.parallel-misc-5.wvr.yml.log 2024-02-09 23:16 2.2M
BUCHI_AUTOMATON.parallel-parallel-sum-1-dsl.wvr.yml.log 2024-02-09 23:16 22K
BUCHI_AUTOMATON.parallel-parallel-sum-1.wvr.yml.log 2024-02-09 23:17 646K
BUCHI_AUTOMATON.parallel-parallel-sum-2.wvr.yml.log 2024-02-09 23:17 23K
BUCHI_AUTOMATON.parallel-parallel-sum-equiv.wvr.yml.log 2024-02-09 23:17 815K
BUCHI_AUTOMATON.parallel-simple-equiv.wvr.yml.log 2024-02-09 23:16 27K
BUCHI_AUTOMATON.parallel-ticket-2.wvr.yml.log 2024-02-09 23:16 27K
BUCHI_AUTOMATON.parallel-ticket-3.wvr.yml.log 2024-02-09 23:16 27K
BUCHI_AUTOMATON.parallel-ticket-4.wvr.yml.log 2024-02-09 23:16 27K
BUCHI_AUTOMATON.parallel-ticket-5.wvr.yml.log 2024-02-09 23:16 27K
BUCHI_AUTOMATON.parallel-ticket-6.wvr.yml.log 2024-02-09 23:18 27K
BUCHI_AUTOMATON.parallel-ticket-7.wvr.yml.log 2024-02-09 23:17 22K
BUCHI_AUTOMATON.parallel-ticket-8.wvr.yml.log 2024-02-09 23:17 22K
BUCHI_AUTOMATON.peterson.yml.log 2024-02-09 23:12 96K
BUCHI_AUTOMATON.popl20-bad-buffer-mult-alt.wvr.yml.log 2024-02-09 23:20 1.6M
BUCHI_AUTOMATON.popl20-bad-buffer-mult-alt2.wvr.yml.log 2024-02-09 23:20 1.9M
BUCHI_AUTOMATON.popl20-bad-counter-queue.wvr.yml.log 2024-02-09 23:17 622K
BUCHI_AUTOMATON.popl20-bad-counter-queue2.wvr.yml.log 2024-02-09 23:17 495K
BUCHI_AUTOMATON.popl20-bad-dot-product-alt.wvr.yml.log 2024-02-09 23:19 341K
BUCHI_AUTOMATON.popl20-bad-dot-product.wvr.yml.log 2024-02-09 23:20 773K
BUCHI_AUTOMATON.popl20-bad-ring-nondet.wvr.yml.log 2024-02-09 23:18 920K
BUCHI_AUTOMATON.popl20-bad-threaded-sum-2.wvr.yml.log 2024-02-09 23:17 721K
BUCHI_AUTOMATON.popl20-bad-three-array-sum-alt.wvr.yml.log 2024-02-09 23:19 158K
BUCHI_AUTOMATON.popl20-channel-sum.wvr.yml.log 2024-02-09 23:18 760K
BUCHI_AUTOMATON.popl20-commit-1.wvr.yml.log 2024-02-09 23:20 2.6M
BUCHI_AUTOMATON.popl20-commit-2.wvr.yml.log 2024-02-09 23:21 2.3M
BUCHI_AUTOMATON.popl20-counter-determinism.wvr.yml.log 2024-02-09 23:19 236K
BUCHI_AUTOMATON.popl20-counter-fun.wvr.yml.log 2024-02-09 23:18 672K
BUCHI_AUTOMATON.popl20-difference-det.wvr.yml.log 2024-02-09 23:20 305K
BUCHI_AUTOMATON.popl20-figure1-alt.wvr.yml.log 2024-02-09 23:18 329K
BUCHI_AUTOMATON.popl20-figure1.wvr.yml.log 2024-02-09 23:18 373K
BUCHI_AUTOMATON.popl20-figure3.wvr.yml.log 2024-02-09 23:19 1.7M
BUCHI_AUTOMATON.popl20-horseshoe.wvr.yml.log 2024-02-09 23:20 1.7M
BUCHI_AUTOMATON.popl20-min-max-dec.wvr.yml.log 2024-02-09 23:19 660K
BUCHI_AUTOMATON.popl20-min-max-inc-dec.wvr.yml.log 2024-02-09 23:19 114K
BUCHI_AUTOMATON.popl20-min-max-inc.wvr.yml.log 2024-02-09 23:20 661K
BUCHI_AUTOMATON.popl20-more-array-sum-alt.wvr.yml.log 2024-02-09 23:19 854K
BUCHI_AUTOMATON.popl20-more-array-sum-alt2.wvr.yml.log 2024-02-09 23:19 970K
BUCHI_AUTOMATON.popl20-more-array-sum.wvr.yml.log 2024-02-09 23:20 1.0M
BUCHI_AUTOMATON.popl20-more-array-sum2.wvr.yml.log 2024-02-09 23:20 1.0M
BUCHI_AUTOMATON.popl20-more-buffer-mult.wvr.yml.log 2024-02-09 23:22 1.7M
BUCHI_AUTOMATON.popl20-more-buffer-mult2.wvr.yml.log 2024-02-09 23:21 1.2M
BUCHI_AUTOMATON.popl20-more-buffer-series.wvr.yml.log 2024-02-09 23:22 1.8M
BUCHI_AUTOMATON.popl20-more-buffer-series2.wvr.yml.log 2024-02-09 23:22 1.8M
BUCHI_AUTOMATON.popl20-more-dec-subseq.wvr.yml.log 2024-02-09 23:21 1.3M
BUCHI_AUTOMATON.popl20-more-inc-subseq.wvr.yml.log 2024-02-09 23:21 1.3M
BUCHI_AUTOMATON.popl20-more-max-array-hom.wvr.yml.log 2024-02-09 23:20 917K
BUCHI_AUTOMATON.popl20-more-max-array.wvr.yml.log 2024-02-09 23:20 625K
BUCHI_AUTOMATON.popl20-more-min-array-hom.wvr.yml.log 2024-02-09 23:21 857K
BUCHI_AUTOMATON.popl20-more-min-array.wvr.yml.log 2024-02-09 23:20 597K
BUCHI_AUTOMATON.popl20-more-min-le-max.wvr.yml.log 2024-02-09 23:20 329K
BUCHI_AUTOMATON.popl20-more-mts.wvr.yml.log 2024-02-09 23:22 789K
BUCHI_AUTOMATON.popl20-more-multiply-verify.wvr.yml.log 2024-02-09 23:21 3.2M
BUCHI_AUTOMATON.popl20-more-nonblocking-counter-alt2.wvr.yml.log 2024-02-09 23:21 1.7M
BUCHI_AUTOMATON.popl20-more-queue-add-2-nl.wvr.yml.log 2024-02-09 23:21 790K
BUCHI_AUTOMATON.popl20-more-queue-add-3-nl.wvr.yml.log 2024-02-09 23:22 1.5M
BUCHI_AUTOMATON.popl20-more-sorted.wvr.yml.log 2024-02-09 23:21 422K
BUCHI_AUTOMATON.popl20-more-sum-array-hom.wvr.yml.log 2024-02-09 23:21 627K
BUCHI_AUTOMATON.popl20-more-vector-add.wvr.yml.log 2024-02-09 23:24 2.8M
BUCHI_AUTOMATON.popl20-mult-4.wvr.yml.log 2024-02-09 23:21 2.5M
BUCHI_AUTOMATON.popl20-mult-equiv.wvr.yml.log 2024-02-09 23:21 1.9M
BUCHI_AUTOMATON.popl20-nonblocking-cntr-alt.wvr.yml.log 2024-02-09 23:21 96K
BUCHI_AUTOMATON.popl20-nonblocking-cntr.wvr.yml.log 2024-02-09 23:21 113K
BUCHI_AUTOMATON.popl20-prod-cons-eq.wvr.yml.log 2024-02-09 23:25 3.2M
BUCHI_AUTOMATON.popl20-prod-cons.wvr.yml.log 2024-02-09 23:22 884K
BUCHI_AUTOMATON.popl20-prod-cons3.wvr.yml.log 2024-02-09 23:24 1.6M
BUCHI_AUTOMATON.popl20-proofs-counter-add-4-semi-Q67.wvr.yml.log 2024-02-09 23:22 523K
BUCHI_AUTOMATON.popl20-queue-add-2.wvr.yml.log 2024-02-09 23:21 500K
BUCHI_AUTOMATON.popl20-queue-add-3.wvr.yml.log 2024-02-09 23:23 1.6M
BUCHI_AUTOMATON.popl20-send-receive-alt.wvr.yml.log 2024-02-09 23:22 440K
BUCHI_AUTOMATON.popl20-send-receive.wvr.yml.log 2024-02-09 23:22 950K
BUCHI_AUTOMATON.popl20-simple-array-sum.wvr.yml.log 2024-02-09 23:22 901K
BUCHI_AUTOMATON.popl20-simple-queue.wvr.yml.log 2024-02-09 23:22 502K
BUCHI_AUTOMATON.popl20-threaded-sum-3.wvr.yml.log 2024-02-09 23:22 925K
BUCHI_AUTOMATON.popl20-three-array-max.wvr.yml.log 2024-02-09 23:26 1.8M
BUCHI_AUTOMATON.popl20-three-array-min.wvr.yml.log 2024-02-09 23:26 1.7M
BUCHI_AUTOMATON.popl20-three-array-sum.wvr.yml.log 2024-02-09 23:23 1.2M
BUCHI_AUTOMATON.popl20-two-queue.wvr.yml.log 2024-02-09 23:23 1.0M
BUCHI_AUTOMATON.pthread-demo-datarace-1.yml.log 2024-02-09 23:12 334K
BUCHI_AUTOMATON.qw2004-2b.yml.log 2024-02-09 23:12 26K
BUCHI_AUTOMATON.read_write_lock-1.yml.log 2024-02-09 23:12 27K
BUCHI_AUTOMATON.read_write_lock-2.yml.log 2024-02-09 23:12 27K
BUCHI_AUTOMATON.readers_writer.bpl.log 2024-02-09 23:25 289K
BUCHI_AUTOMATON.ring_2w1r-1.yml.log 2024-02-09 23:15 641K
BUCHI_AUTOMATON.security.wvr.yml.log 2024-02-09 23:22 26K
BUCHI_AUTOMATON.spaghetti.wvr.yml.log 2024-02-09 23:22 47K
BUCHI_AUTOMATON.sum-print.bpl.log 2024-02-09 23:25 46K
BUCHI_AUTOMATON.sum-print2.bpl.log 2024-02-09 23:25 89K
BUCHI_AUTOMATON.sum-rwlock.bpl.log 2024-02-09 23:25 46K
BUCHI_AUTOMATON.sum2_diff_incr_decr.bpl.log 2024-02-09 23:25 69K
BUCHI_AUTOMATON.sum_diff_incr_decr.bpl.log 2024-02-09 23:25 74K
BUCHI_AUTOMATON.sumsumbank.bpl.log 2024-02-09 23:25 30K
BUCHI_AUTOMATON.sumsuminc.bpl.log 2024-02-09 23:25 69K
BUCHI_AUTOMATON.sumsumsampleabs.bpl.log 2024-02-09 23:25 29K
BUCHI_AUTOMATON.sumsumsampleabs2.bpl.log 2024-02-09 23:25 112K
BUCHI_AUTOMATON.szymanski.yml.log 2024-02-09 23:12 140K
BUCHI_AUTOMATON.test-context1.wvr.yml.log 2024-02-09 23:23 588K
BUCHI_AUTOMATON.test-easy1.wvr.yml.log 2024-02-09 23:22 109K
BUCHI_AUTOMATON.test-easy10.wvr.yml.log 2024-02-09 23:22 27K
BUCHI_AUTOMATON.test-easy11.wvr.yml.log 2024-02-09 23:22 123K
BUCHI_AUTOMATON.test-easy6.wvr.yml.log 2024-02-09 23:22 26K
BUCHI_AUTOMATON.test-easy7.wvr.yml.log 2024-02-09 23:22 26K
BUCHI_AUTOMATON.test-hard1.wvr.yml.log 2024-02-09 23:23 2.5M
BUCHI_AUTOMATON.test-semi1.wvr.yml.log 2024-02-09 23:22 26K
BUCHI_AUTOMATON.time_var_mutex.yml.log 2024-02-09 23:12 26K
BUCHI_AUTOMATON.unroll-2.wvr.yml.log 2024-02-09 23:23 2.3M
BUCHI_AUTOMATON.unroll-3.wvr.yml.log 2024-02-09 23:23 2.3M
BUCHI_AUTOMATON.unroll-4.wvr.yml.log 2024-02-09 23:23 2.3M
BUCHI_AUTOMATON.unroll-5.wvr.yml.log 2024-02-09 23:23 2.3M
BUCHI_AUTOMATON.unroll-cond-2.wvr.yml.log 2024-02-09 23:23 2.3M
BUCHI_AUTOMATON.unroll-cond-3.wvr.yml.log 2024-02-09 23:23 2.3M
BUCHI_AUTOMATON.unroll-cond-4.wvr.yml.log 2024-02-09 23:23 2.3M
BUCHI_AUTOMATON.unroll-cond-5.wvr.yml.log 2024-02-09 23:24 2.3M
BUCHI_AUTOMATON.work-steal1.bpl.log 2024-02-09 23:28 2.5M
BUCHI_AUTOMATON.work-steal2.bpl.log 2024-02-09 23:28 1.7M
BUCHI_PETRI_NET-automaton_emptiness.acq-work-3threads.bpl.log 2024-02-10 01:32 354K
BUCHI_PETRI_NET-automaton_emptiness.acq-work-4threads.bpl.log 2024-02-10 01:32 355K
BUCHI_PETRI_NET-automaton_emptiness.acq-work-5threads.bpl.log 2024-02-10 01:33 354K
BUCHI_PETRI_NET-automaton_emptiness.acq-work-6threads.bpl.log 2024-02-10 01:32 18K
BUCHI_PETRI_NET-automaton_emptiness.acq-work-constants.bpl.log 2024-02-10 01:32 354K
BUCHI_PETRI_NET-automaton_emptiness.acq-work.bpl.log 2024-02-10 01:32 355K
BUCHI_PETRI_NET-automaton_emptiness.arithmetic_prog_bad.yml.log 2024-02-10 01:32 164K
BUCHI_PETRI_NET-automaton_emptiness.arithmetic_prog_ok.yml.log 2024-02-10 01:32 164K
BUCHI_PETRI_NET-automaton_emptiness.array-eq-symm.wvr.yml.log 2024-02-10 01:11 605K
BUCHI_PETRI_NET-automaton_emptiness.array-eq-trans.wvr.yml.log 2024-02-10 01:12 302K
BUCHI_PETRI_NET-automaton_emptiness.array-sum-with-log-3threads.bpl.log 2024-02-10 01:36 130K
BUCHI_PETRI_NET-automaton_emptiness.array-sum-with-log-4threads.bpl.log 2024-02-10 01:37 89K
BUCHI_PETRI_NET-automaton_emptiness.array-sum-with-log-5threads.bpl.log 2024-02-10 01:36 57K
BUCHI_PETRI_NET-automaton_emptiness.array-sum-with-log-6threads.bpl.log 2024-02-10 01:32 17K
BUCHI_PETRI_NET-automaton_emptiness.array-sum-with-log.bpl.log 2024-02-10 01:33 89K
BUCHI_PETRI_NET-automaton_emptiness.bench-exp1x3.wvr.yml.log 2024-02-10 01:07 1.4M
BUCHI_PETRI_NET-automaton_emptiness.bench-exp2x3.wvr.yml.log 2024-02-10 01:07 2.1M
BUCHI_PETRI_NET-automaton_emptiness.bench-exp2x4.wvr.yml.log 2024-02-10 01:07 2.1M
BUCHI_PETRI_NET-automaton_emptiness.bench-exp2x6.wvr.yml.log 2024-02-10 01:08 2.1M
BUCHI_PETRI_NET-automaton_emptiness.bench-exp2x9.wvr.yml.log 2024-02-10 01:08 2.1M
BUCHI_PETRI_NET-automaton_emptiness.bench-exp3x3-opt.wvr.yml.log 2024-02-10 01:08 61K
BUCHI_PETRI_NET-automaton_emptiness.bench-exp3x3.wvr.yml.log 2024-02-10 01:08 2.9M
BUCHI_PETRI_NET-automaton_emptiness.chl-array-int-subst.wvr.yml.log 2024-02-10 01:10 145K
BUCHI_PETRI_NET-automaton_emptiness.chl-array-int-symm.wvr.yml.log 2024-02-10 01:12 288K
BUCHI_PETRI_NET-automaton_emptiness.chl-array-int-trans.wvr.yml.log 2024-02-10 01:11 143K
BUCHI_PETRI_NET-automaton_emptiness.chl-chromosome-opt-symm.wvr.yml.log 2024-02-10 01:12 664K
BUCHI_PETRI_NET-automaton_emptiness.chl-chromosome-subst.wvr.yml.log 2024-02-10 01:12 180K
BUCHI_PETRI_NET-automaton_emptiness.chl-chromosome-symm.wvr.yml.log 2024-02-10 01:12 510K
BUCHI_PETRI_NET-automaton_emptiness.chl-chromosome-trans.wvr.yml.log 2024-02-10 01:11 182K
BUCHI_PETRI_NET-automaton_emptiness.chl-collitem-subst.wvr.yml.log 2024-02-10 01:08 28K
BUCHI_PETRI_NET-automaton_emptiness.chl-collitem-symm.wvr.yml.log 2024-02-10 01:08 28K
BUCHI_PETRI_NET-automaton_emptiness.chl-collitem-trans.wvr.yml.log 2024-02-10 01:08 28K
BUCHI_PETRI_NET-automaton_emptiness.chl-exp-term-subst.wvr.yml.log 2024-02-10 01:08 27K
BUCHI_PETRI_NET-automaton_emptiness.chl-exp-term-symm.wvr.yml.log 2024-02-10 01:08 27K
BUCHI_PETRI_NET-automaton_emptiness.chl-file-item-subst.wvr.yml.log 2024-02-10 01:09 27K
BUCHI_PETRI_NET-automaton_emptiness.chl-file-item-symm.wvr.yml.log 2024-02-10 01:08 27K
BUCHI_PETRI_NET-automaton_emptiness.chl-file-item-trans.wvr.yml.log 2024-02-10 01:08 27K
BUCHI_PETRI_NET-automaton_emptiness.chl-match-subst.wvr.yml.log 2024-02-10 01:09 28K
BUCHI_PETRI_NET-automaton_emptiness.chl-match-symm.wvr.yml.log 2024-02-10 01:08 27K
BUCHI_PETRI_NET-automaton_emptiness.chl-match-trans.wvr.yml.log 2024-02-10 01:09 28K
BUCHI_PETRI_NET-automaton_emptiness.chl-name-comparator-subst.wvr.yml.log 2024-02-10 01:10 23K
BUCHI_PETRI_NET-automaton_emptiness.chl-name-comparator-symm.wvr.yml.log 2024-02-10 01:14 397K
BUCHI_PETRI_NET-automaton_emptiness.chl-name-comparator-trans.wvr.yml.log 2024-02-10 01:11 23K
BUCHI_PETRI_NET-automaton_emptiness.chl-node-subst.wvr.yml.log 2024-02-10 01:13 210K
BUCHI_PETRI_NET-automaton_emptiness.chl-node-symm.wvr.yml.log 2024-02-10 01:14 574K
BUCHI_PETRI_NET-automaton_emptiness.chl-node-trans.wvr.yml.log 2024-02-10 01:14 211K
BUCHI_PETRI_NET-automaton_emptiness.chl-nzb-file-subst.wvr.yml.log 2024-02-10 01:10 21K
BUCHI_PETRI_NET-automaton_emptiness.chl-nzb-file-symm.wvr.yml.log 2024-02-10 01:12 186K
BUCHI_PETRI_NET-automaton_emptiness.chl-nzb-file-trans.wvr.yml.log 2024-02-10 01:11 21K
BUCHI_PETRI_NET-automaton_emptiness.chl-simpl-str-subst.wvr.yml.log 2024-02-10 01:12 28K
BUCHI_PETRI_NET-automaton_emptiness.chl-simpl-str-symm.wvr.yml.log 2024-02-10 01:12 27K
BUCHI_PETRI_NET-automaton_emptiness.chl-simpl-str-trans.wvr.yml.log 2024-02-10 01:12 27K
BUCHI_PETRI_NET-automaton_emptiness.chl-sre-subst.wvr.yml.log 2024-02-10 01:12 27K
BUCHI_PETRI_NET-automaton_emptiness.chl-sre-symm.wvr.yml.log 2024-02-10 01:12 27K
BUCHI_PETRI_NET-automaton_emptiness.chl-sre-trans.wvr.yml.log 2024-02-10 01:12 27K
BUCHI_PETRI_NET-automaton_emptiness.chl-time-subst.wvr.yml.log 2024-02-10 01:12 28K
BUCHI_PETRI_NET-automaton_emptiness.chl-time-symm.wvr.yml.log 2024-02-10 01:12 28K
BUCHI_PETRI_NET-automaton_emptiness.chl-time-trans.wvr.yml.log 2024-02-10 01:12 28K
BUCHI_PETRI_NET-automaton_emptiness.chl-word-subst.wvr.yml.log 2024-02-10 01:16 310K
BUCHI_PETRI_NET-automaton_emptiness.chl-word-symm.wvr.yml.log 2024-02-10 01:16 302K
BUCHI_PETRI_NET-automaton_emptiness.chl-word-trans.wvr.yml.log 2024-02-10 01:16 310K
BUCHI_PETRI_NET-automaton_emptiness.circular_buffer_bad.yml.log 2024-02-10 01:36 773K
BUCHI_PETRI_NET-automaton_emptiness.circular_buffer_ok.yml.log 2024-02-10 01:36 454K
BUCHI_PETRI_NET-automaton_emptiness.clever.wvr.yml.log 2024-02-10 01:14 200K
BUCHI_PETRI_NET-automaton_emptiness.concurrent_mult.bpl.log 2024-02-10 01:32 76K
BUCHI_PETRI_NET-automaton_emptiness.count0-countEven-sample-abs.bpl.log 2024-02-10 01:33 60K
BUCHI_PETRI_NET-automaton_emptiness.dekker.yml.log 2024-02-10 01:07 104K
BUCHI_PETRI_NET-automaton_emptiness.equal-array-sums-locked.bpl.log 2024-02-10 01:32 76K
BUCHI_PETRI_NET-automaton_emptiness.fibonacci.wvr.yml.log 2024-02-10 01:17 254K
BUCHI_PETRI_NET-automaton_emptiness.incr-decr-zero.bpl.log 2024-02-10 01:33 79K
BUCHI_PETRI_NET-automaton_emptiness.lamport.yml.log 2024-02-10 01:07 183K
BUCHI_PETRI_NET-automaton_emptiness.loop-tiling-eq.wvr.yml.log 2024-02-10 01:14 596K
BUCHI_PETRI_NET-automaton_emptiness.map-aggr-update1-2modifiers.bpl.log 2024-02-10 01:37 115K
BUCHI_PETRI_NET-automaton_emptiness.map-aggr-update1-3modifiers.bpl.log 2024-02-10 01:37 85K
BUCHI_PETRI_NET-automaton_emptiness.map-aggr-update1-4modifiers.bpl.log 2024-02-10 01:34 68K
BUCHI_PETRI_NET-automaton_emptiness.map-aggr-update1-otherloopbounds.bpl.log 2024-02-10 01:33 220K
BUCHI_PETRI_NET-automaton_emptiness.map-aggr-update1.bpl.log 2024-02-10 01:34 91K
BUCHI_PETRI_NET-automaton_emptiness.map-aggr-update2-otherloopbounds.bpl.log 2024-02-10 01:34 220K
BUCHI_PETRI_NET-automaton_emptiness.map-aggr-update2.bpl.log 2024-02-10 01:38 92K
BUCHI_PETRI_NET-automaton_emptiness.map-aggr-update3.bpl.log 2024-02-10 01:34 55K
BUCHI_PETRI_NET-automaton_emptiness.map-comp.bpl.log 2024-02-10 01:38 108K
BUCHI_PETRI_NET-automaton_emptiness.map-incr-decr.bpl.log 2024-02-10 01:34 79K
BUCHI_PETRI_NET-automaton_emptiness.map-incr-split.bpl.log 2024-02-10 01:34 72K
BUCHI_PETRI_NET-automaton_emptiness.max-tailsum2.bpl.log 2024-02-10 01:34 86K
BUCHI_PETRI_NET-automaton_emptiness.max-tailsum3.bpl.log 2024-02-10 01:38 136K
BUCHI_PETRI_NET-automaton_emptiness.max-tailsum4.bpl.log 2024-02-10 01:39 122K
BUCHI_PETRI_NET-automaton_emptiness.max-tailsum5.bpl.log 2024-02-10 01:39 76K
BUCHI_PETRI_NET-automaton_emptiness.min-max-sample-2.bpl.log 2024-02-10 01:35 33K
BUCHI_PETRI_NET-automaton_emptiness.min-max-sample-abs-2.bpl.log 2024-02-10 01:35 34K
BUCHI_PETRI_NET-automaton_emptiness.min-max-sample-abs-nonatomic.bpl.log 2024-02-10 01:35 34K
BUCHI_PETRI_NET-automaton_emptiness.min-max-sample-abs.bpl.log 2024-02-10 01:40 57K
BUCHI_PETRI_NET-automaton_emptiness.min-max-sample-with_locks.bpl.log 2024-02-10 01:36 34K
BUCHI_PETRI_NET-automaton_emptiness.min-max-sample.bpl.log 2024-02-10 01:36 32K
BUCHI_PETRI_NET-automaton_emptiness.min-max-split-sample.bpl.log 2024-02-10 01:40 95K
BUCHI_PETRI_NET-automaton_emptiness.min2-max2-sample.bpl.log 2024-02-10 01:40 86K
BUCHI_PETRI_NET-automaton_emptiness.motivating-slowitp.bpl.log 2024-02-10 01:40 90K
BUCHI_PETRI_NET-automaton_emptiness.motivating.bpl.log 2024-02-10 01:37 38K
BUCHI_PETRI_NET-automaton_emptiness.mult-comm.wvr.yml.log 2024-02-10 01:12 1.7M
BUCHI_PETRI_NET-automaton_emptiness.mult-dist.wvr.yml.log 2024-02-10 01:13 2.2M
BUCHI_PETRI_NET-automaton_emptiness.mult-flipped-dist.wvr.yml.log 2024-02-10 01:13 2.2M
BUCHI_PETRI_NET-automaton_emptiness.optimistic-concurrency1.bpl.log 2024-02-10 01:37 125K
BUCHI_PETRI_NET-automaton_emptiness.optimistic-concurrency2.bpl.log 2024-02-10 01:37 121K
BUCHI_PETRI_NET-automaton_emptiness.parallel-bakery-2.wvr.yml.log 2024-02-10 01:13 28K
BUCHI_PETRI_NET-automaton_emptiness.parallel-bakery-3.wvr.yml.log 2024-02-10 01:13 28K
BUCHI_PETRI_NET-automaton_emptiness.parallel-bakery-4.wvr.yml.log 2024-02-10 01:13 28K
BUCHI_PETRI_NET-automaton_emptiness.parallel-barrier-loop.wvr.yml.log 2024-02-10 01:13 22K
BUCHI_PETRI_NET-automaton_emptiness.parallel-barrier.wvr.yml.log 2024-02-10 01:14 29K
BUCHI_PETRI_NET-automaton_emptiness.parallel-bluetooth.wvr.yml.log 2024-02-10 01:13 28K
BUCHI_PETRI_NET-automaton_emptiness.parallel-lamport.wvr.yml.log 2024-02-10 01:13 177K
BUCHI_PETRI_NET-automaton_emptiness.parallel-min-max-1.wvr.yml.log 2024-02-10 01:17 708K
BUCHI_PETRI_NET-automaton_emptiness.parallel-misc-1.wvr.yml.log 2024-02-10 01:14 183K
BUCHI_PETRI_NET-automaton_emptiness.parallel-misc-2-unrolled-atomic.wvr.yml.log 2024-02-10 01:14 128K
BUCHI_PETRI_NET-automaton_emptiness.parallel-misc-2-unrolled.wvr.yml.log 2024-02-10 01:14 2.1M
BUCHI_PETRI_NET-automaton_emptiness.parallel-misc-2.wvr.yml.log 2024-02-10 01:14 3.5M
BUCHI_PETRI_NET-automaton_emptiness.parallel-misc-3-extended.wvr.yml.log 2024-02-10 01:14 70K
BUCHI_PETRI_NET-automaton_emptiness.parallel-misc-3.wvr.yml.log 2024-02-10 01:15 1.1M
BUCHI_PETRI_NET-automaton_emptiness.parallel-misc-4.wvr.yml.log 2024-02-10 01:15 538K
BUCHI_PETRI_NET-automaton_emptiness.parallel-misc-5.wvr.yml.log 2024-02-10 01:15 2.2M
BUCHI_PETRI_NET-automaton_emptiness.parallel-parallel-sum-1-dsl.wvr.yml.log 2024-02-10 01:15 23K
BUCHI_PETRI_NET-automaton_emptiness.parallel-parallel-sum-1.wvr.yml.log 2024-02-10 01:15 232K
BUCHI_PETRI_NET-automaton_emptiness.parallel-parallel-sum-2.wvr.yml.log 2024-02-10 01:16 24K
BUCHI_PETRI_NET-automaton_emptiness.parallel-parallel-sum-equiv.wvr.yml.log 2024-02-10 01:17 316K
BUCHI_PETRI_NET-automaton_emptiness.parallel-simple-equiv.wvr.yml.log 2024-02-10 01:15 28K
BUCHI_PETRI_NET-automaton_emptiness.parallel-ticket-2.wvr.yml.log 2024-02-10 01:15 28K
BUCHI_PETRI_NET-automaton_emptiness.parallel-ticket-3.wvr.yml.log 2024-02-10 01:15 28K
BUCHI_PETRI_NET-automaton_emptiness.parallel-ticket-4.wvr.yml.log 2024-02-10 01:15 28K
BUCHI_PETRI_NET-automaton_emptiness.parallel-ticket-5.wvr.yml.log 2024-02-10 01:15 28K
BUCHI_PETRI_NET-automaton_emptiness.parallel-ticket-6.wvr.yml.log 2024-02-10 01:17 29K
BUCHI_PETRI_NET-automaton_emptiness.parallel-ticket-7.wvr.yml.log 2024-02-10 01:15 22K
BUCHI_PETRI_NET-automaton_emptiness.parallel-ticket-8.wvr.yml.log 2024-02-10 01:15 23K
BUCHI_PETRI_NET-automaton_emptiness.peterson.yml.log 2024-02-10 01:07 97K
BUCHI_PETRI_NET-automaton_emptiness.popl20-bad-buffer-mult-alt.wvr.yml.log 2024-02-10 01:20 395K
BUCHI_PETRI_NET-automaton_emptiness.popl20-bad-buffer-mult-alt2.wvr.yml.log 2024-02-10 01:20 251K
BUCHI_PETRI_NET-automaton_emptiness.popl20-bad-counter-queue.wvr.yml.log 2024-02-10 01:20 519K
BUCHI_PETRI_NET-automaton_emptiness.popl20-bad-counter-queue2.wvr.yml.log 2024-02-10 01:20 541K
BUCHI_PETRI_NET-automaton_emptiness.popl20-bad-dot-product-alt.wvr.yml.log 2024-02-10 01:20 249K
BUCHI_PETRI_NET-automaton_emptiness.popl20-bad-dot-product.wvr.yml.log 2024-02-10 01:21 258K
BUCHI_PETRI_NET-automaton_emptiness.popl20-bad-ring-nondet.wvr.yml.log 2024-02-10 01:21 361K
BUCHI_PETRI_NET-automaton_emptiness.popl20-bad-threaded-sum-2.wvr.yml.log 2024-02-10 01:17 725K
BUCHI_PETRI_NET-automaton_emptiness.popl20-bad-three-array-sum-alt.wvr.yml.log 2024-02-10 01:21 160K
BUCHI_PETRI_NET-automaton_emptiness.popl20-channel-sum.wvr.yml.log 2024-02-10 01:21 356K
BUCHI_PETRI_NET-automaton_emptiness.popl20-commit-1.wvr.yml.log 2024-02-10 01:21 622K
BUCHI_PETRI_NET-automaton_emptiness.popl20-commit-2.wvr.yml.log 2024-02-10 01:18 262K
BUCHI_PETRI_NET-automaton_emptiness.popl20-counter-determinism.wvr.yml.log 2024-02-10 01:21 156K
BUCHI_PETRI_NET-automaton_emptiness.popl20-counter-fun.wvr.yml.log 2024-02-10 01:21 722K
BUCHI_PETRI_NET-automaton_emptiness.popl20-difference-det.wvr.yml.log 2024-02-10 01:22 178K
BUCHI_PETRI_NET-automaton_emptiness.popl20-figure1-alt.wvr.yml.log 2024-02-10 01:20 124K
BUCHI_PETRI_NET-automaton_emptiness.popl20-figure1.wvr.yml.log 2024-02-10 01:24 181K
BUCHI_PETRI_NET-automaton_emptiness.popl20-figure3.wvr.yml.log 2024-02-10 01:20 1.7M
BUCHI_PETRI_NET-automaton_emptiness.popl20-horseshoe.wvr.yml.log 2024-02-10 01:23 447K
BUCHI_PETRI_NET-automaton_emptiness.popl20-min-max-dec.wvr.yml.log 2024-02-10 01:21 188K
BUCHI_PETRI_NET-automaton_emptiness.popl20-min-max-inc-dec.wvr.yml.log 2024-02-10 01:24 123K
BUCHI_PETRI_NET-automaton_emptiness.popl20-min-max-inc.wvr.yml.log 2024-02-10 01:21 188K
BUCHI_PETRI_NET-automaton_emptiness.popl20-more-array-sum-alt.wvr.yml.log 2024-02-10 01:24 705K
BUCHI_PETRI_NET-automaton_emptiness.popl20-more-array-sum-alt2.wvr.yml.log 2024-02-10 01:25 442K
BUCHI_PETRI_NET-automaton_emptiness.popl20-more-array-sum.wvr.yml.log 2024-02-10 01:22 436K
BUCHI_PETRI_NET-automaton_emptiness.popl20-more-array-sum2.wvr.yml.log 2024-02-10 01:25 449K
BUCHI_PETRI_NET-automaton_emptiness.popl20-more-buffer-mult.wvr.yml.log 2024-02-10 01:26 340K
BUCHI_PETRI_NET-automaton_emptiness.popl20-more-buffer-mult2.wvr.yml.log 2024-02-10 01:26 332K
BUCHI_PETRI_NET-automaton_emptiness.popl20-more-buffer-series.wvr.yml.log 2024-02-10 01:26 241K
BUCHI_PETRI_NET-automaton_emptiness.popl20-more-buffer-series2.wvr.yml.log 2024-02-10 01:26 227K
BUCHI_PETRI_NET-automaton_emptiness.popl20-more-dec-subseq.wvr.yml.log 2024-02-10 01:26 1.0M
BUCHI_PETRI_NET-automaton_emptiness.popl20-more-inc-subseq.wvr.yml.log 2024-02-10 01:26 1.0M
BUCHI_PETRI_NET-automaton_emptiness.popl20-more-max-array-hom.wvr.yml.log 2024-02-10 01:27 339K
BUCHI_PETRI_NET-automaton_emptiness.popl20-more-max-array.wvr.yml.log 2024-02-10 01:27 290K
BUCHI_PETRI_NET-automaton_emptiness.popl20-more-min-array-hom.wvr.yml.log 2024-02-10 01:28 339K
BUCHI_PETRI_NET-automaton_emptiness.popl20-more-min-array.wvr.yml.log 2024-02-10 01:28 291K
BUCHI_PETRI_NET-automaton_emptiness.popl20-more-min-le-max.wvr.yml.log 2024-02-10 01:29 382K
BUCHI_PETRI_NET-automaton_emptiness.popl20-more-mts.wvr.yml.log 2024-02-10 01:25 178K
BUCHI_PETRI_NET-automaton_emptiness.popl20-more-multiply-verify.wvr.yml.log 2024-02-10 01:26 3.2M
BUCHI_PETRI_NET-automaton_emptiness.popl20-more-nonblocking-counter-alt2.wvr.yml.log 2024-02-10 01:25 1.7M
BUCHI_PETRI_NET-automaton_emptiness.popl20-more-queue-add-2-nl.wvr.yml.log 2024-02-10 01:30 643K
BUCHI_PETRI_NET-automaton_emptiness.popl20-more-queue-add-3-nl.wvr.yml.log 2024-02-10 01:30 294K
BUCHI_PETRI_NET-automaton_emptiness.popl20-more-sorted.wvr.yml.log 2024-02-10 01:30 231K
BUCHI_PETRI_NET-automaton_emptiness.popl20-more-sum-array-hom.wvr.yml.log 2024-02-10 01:30 421K
BUCHI_PETRI_NET-automaton_emptiness.popl20-more-vector-add.wvr.yml.log 2024-02-10 01:28 302K
BUCHI_PETRI_NET-automaton_emptiness.popl20-mult-4.wvr.yml.log 2024-02-10 01:27 2.5M
BUCHI_PETRI_NET-automaton_emptiness.popl20-mult-equiv.wvr.yml.log 2024-02-10 01:27 1.9M
BUCHI_PETRI_NET-automaton_emptiness.popl20-nonblocking-cntr-alt.wvr.yml.log 2024-02-10 01:26 97K
BUCHI_PETRI_NET-automaton_emptiness.popl20-nonblocking-cntr.wvr.yml.log 2024-02-10 01:26 114K
BUCHI_PETRI_NET-automaton_emptiness.popl20-prod-cons-eq.wvr.yml.log 2024-02-10 01:31 400K
BUCHI_PETRI_NET-automaton_emptiness.popl20-prod-cons.wvr.yml.log 2024-02-10 01:30 575K
BUCHI_PETRI_NET-automaton_emptiness.popl20-prod-cons3.wvr.yml.log 2024-02-10 01:31 381K
BUCHI_PETRI_NET-automaton_emptiness.popl20-proofs-counter-add-4-semi-Q67.wvr.yml.log 2024-02-10 01:31 203K
BUCHI_PETRI_NET-automaton_emptiness.popl20-queue-add-2.wvr.yml.log 2024-02-10 01:30 373K
BUCHI_PETRI_NET-automaton_emptiness.popl20-queue-add-3.wvr.yml.log 2024-02-10 01:32 345K
BUCHI_PETRI_NET-automaton_emptiness.popl20-send-receive-alt.wvr.yml.log 2024-02-10 01:31 318K
BUCHI_PETRI_NET-automaton_emptiness.popl20-send-receive.wvr.yml.log 2024-02-10 01:32 365K
BUCHI_PETRI_NET-automaton_emptiness.popl20-simple-array-sum.wvr.yml.log 2024-02-10 01:30 270K
BUCHI_PETRI_NET-automaton_emptiness.popl20-simple-queue.wvr.yml.log 2024-02-10 01:29 503K
BUCHI_PETRI_NET-automaton_emptiness.popl20-threaded-sum-3.wvr.yml.log 2024-02-10 01:30 931K
BUCHI_PETRI_NET-automaton_emptiness.popl20-three-array-max.wvr.yml.log 2024-02-10 01:34 300K
BUCHI_PETRI_NET-automaton_emptiness.popl20-three-array-min.wvr.yml.log 2024-02-10 01:32 221K
BUCHI_PETRI_NET-automaton_emptiness.popl20-three-array-sum.wvr.yml.log 2024-02-10 01:34 303K
BUCHI_PETRI_NET-automaton_emptiness.popl20-two-queue.wvr.yml.log 2024-02-10 01:35 586K
BUCHI_PETRI_NET-automaton_emptiness.pthread-demo-datarace-1.yml.log 2024-02-10 01:07 365K
BUCHI_PETRI_NET-automaton_emptiness.qw2004-2b.yml.log 2024-02-10 01:07 27K
BUCHI_PETRI_NET-automaton_emptiness.read_write_lock-1.yml.log 2024-02-10 01:07 28K
BUCHI_PETRI_NET-automaton_emptiness.read_write_lock-2.yml.log 2024-02-10 01:07 28K
BUCHI_PETRI_NET-automaton_emptiness.readers_writer.bpl.log 2024-02-10 01:37 290K
BUCHI_PETRI_NET-automaton_emptiness.ring_2w1r-1.yml.log 2024-02-10 01:10 302K
BUCHI_PETRI_NET-automaton_emptiness.security.wvr.yml.log 2024-02-10 01:30 27K
BUCHI_PETRI_NET-automaton_emptiness.spaghetti.wvr.yml.log 2024-02-10 01:30 49K
BUCHI_PETRI_NET-automaton_emptiness.sum-print.bpl.log 2024-02-10 01:37 48K
BUCHI_PETRI_NET-automaton_emptiness.sum-print2.bpl.log 2024-02-10 01:37 90K
BUCHI_PETRI_NET-automaton_emptiness.sum-rwlock.bpl.log 2024-02-10 01:37 48K
BUCHI_PETRI_NET-automaton_emptiness.sum2_diff_incr_decr.bpl.log 2024-02-10 01:37 70K
BUCHI_PETRI_NET-automaton_emptiness.sum_diff_incr_decr.bpl.log 2024-02-10 01:37 75K
BUCHI_PETRI_NET-automaton_emptiness.sumsumbank.bpl.log 2024-02-10 01:37 32K
BUCHI_PETRI_NET-automaton_emptiness.sumsuminc.bpl.log 2024-02-10 01:37 70K
BUCHI_PETRI_NET-automaton_emptiness.sumsumsampleabs.bpl.log 2024-02-10 01:37 31K
BUCHI_PETRI_NET-automaton_emptiness.sumsumsampleabs2.bpl.log 2024-02-10 01:41 126K
BUCHI_PETRI_NET-automaton_emptiness.szymanski.yml.log 2024-02-10 01:07 141K
BUCHI_PETRI_NET-automaton_emptiness.test-context1.wvr.yml.log 2024-02-10 01:31 410K
BUCHI_PETRI_NET-automaton_emptiness.test-easy1.wvr.yml.log 2024-02-10 01:31 110K
BUCHI_PETRI_NET-automaton_emptiness.test-easy10.wvr.yml.log 2024-02-10 01:30 28K
BUCHI_PETRI_NET-automaton_emptiness.test-easy11.wvr.yml.log 2024-02-10 01:31 124K
BUCHI_PETRI_NET-automaton_emptiness.test-easy6.wvr.yml.log 2024-02-10 01:31 28K
BUCHI_PETRI_NET-automaton_emptiness.test-easy7.wvr.yml.log 2024-02-10 01:31 27K
BUCHI_PETRI_NET-automaton_emptiness.test-hard1.wvr.yml.log 2024-02-10 01:32 2.5M
BUCHI_PETRI_NET-automaton_emptiness.test-semi1.wvr.yml.log 2024-02-10 01:31 28K
BUCHI_PETRI_NET-automaton_emptiness.time_var_mutex.yml.log 2024-02-10 01:07 27K
BUCHI_PETRI_NET-automaton_emptiness.unroll-2.wvr.yml.log 2024-02-10 01:31 2.4M
BUCHI_PETRI_NET-automaton_emptiness.unroll-3.wvr.yml.log 2024-02-10 01:31 2.4M
BUCHI_PETRI_NET-automaton_emptiness.unroll-4.wvr.yml.log 2024-02-10 01:32 2.4M
BUCHI_PETRI_NET-automaton_emptiness.unroll-5.wvr.yml.log 2024-02-10 01:32 2.4M
BUCHI_PETRI_NET-automaton_emptiness.unroll-cond-2.wvr.yml.log 2024-02-10 01:32 2.4M
BUCHI_PETRI_NET-automaton_emptiness.unroll-cond-3.wvr.yml.log 2024-02-10 01:32 2.5M
BUCHI_PETRI_NET-automaton_emptiness.unroll-cond-4.wvr.yml.log 2024-02-10 01:32 2.4M
BUCHI_PETRI_NET-automaton_emptiness.unroll-cond-5.wvr.yml.log 2024-02-10 01:32 2.4M
BUCHI_PETRI_NET-automaton_emptiness.work-steal1.bpl.log 2024-02-10 01:38 233K
BUCHI_PETRI_NET-automaton_emptiness.work-steal2.bpl.log 2024-02-10 01:38 122K
BUCHI_PETRI_NET-intersection_optimized.acq-work-3threads.bpl.log 2024-02-10 00:57 352K
BUCHI_PETRI_NET-intersection_optimized.acq-work-4threads.bpl.log 2024-02-10 00:57 353K
BUCHI_PETRI_NET-intersection_optimized.acq-work-5threads.bpl.log 2024-02-10 00:57 353K
BUCHI_PETRI_NET-intersection_optimized.acq-work-6threads.bpl.log 2024-02-10 00:57 353K
BUCHI_PETRI_NET-intersection_optimized.acq-work-constants.bpl.log 2024-02-10 00:57 352K
BUCHI_PETRI_NET-intersection_optimized.acq-work.bpl.log 2024-02-10 00:57 352K
BUCHI_PETRI_NET-intersection_optimized.arithmetic_prog_bad.yml.log 2024-02-10 00:56 99K
BUCHI_PETRI_NET-intersection_optimized.arithmetic_prog_ok.yml.log 2024-02-10 00:57 99K
BUCHI_PETRI_NET-intersection_optimized.array-eq-symm.wvr.yml.log 2024-02-10 00:34 557K
BUCHI_PETRI_NET-intersection_optimized.array-eq-trans.wvr.yml.log 2024-02-10 00:38 606K
BUCHI_PETRI_NET-intersection_optimized.array-sum-with-log-3threads.bpl.log 2024-02-10 01:02 153K
BUCHI_PETRI_NET-intersection_optimized.array-sum-with-log-4threads.bpl.log 2024-02-10 00:58 147K
BUCHI_PETRI_NET-intersection_optimized.array-sum-with-log-5threads.bpl.log 2024-02-10 00:57 79K
BUCHI_PETRI_NET-intersection_optimized.array-sum-with-log-6threads.bpl.log 2024-02-10 01:02 97K
BUCHI_PETRI_NET-intersection_optimized.array-sum-with-log.bpl.log 2024-02-10 00:57 97K
BUCHI_PETRI_NET-intersection_optimized.bench-exp1x3.wvr.yml.log 2024-02-10 00:33 1.4M
BUCHI_PETRI_NET-intersection_optimized.bench-exp2x3.wvr.yml.log 2024-02-10 00:33 2.1M
BUCHI_PETRI_NET-intersection_optimized.bench-exp2x4.wvr.yml.log 2024-02-10 00:33 2.1M
BUCHI_PETRI_NET-intersection_optimized.bench-exp2x6.wvr.yml.log 2024-02-10 00:33 2.1M
BUCHI_PETRI_NET-intersection_optimized.bench-exp2x9.wvr.yml.log 2024-02-10 00:33 2.1M
BUCHI_PETRI_NET-intersection_optimized.bench-exp3x3-opt.wvr.yml.log 2024-02-10 00:33 59K
BUCHI_PETRI_NET-intersection_optimized.bench-exp3x3.wvr.yml.log 2024-02-10 00:34 2.9M
BUCHI_PETRI_NET-intersection_optimized.chl-array-int-subst.wvr.yml.log 2024-02-10 00:38 296K
BUCHI_PETRI_NET-intersection_optimized.chl-array-int-symm.wvr.yml.log 2024-02-10 00:37 563K
BUCHI_PETRI_NET-intersection_optimized.chl-array-int-trans.wvr.yml.log 2024-02-10 00:37 296K
BUCHI_PETRI_NET-intersection_optimized.chl-chromosome-opt-symm.wvr.yml.log 2024-02-10 00:37 1.0M
BUCHI_PETRI_NET-intersection_optimized.chl-chromosome-subst.wvr.yml.log 2024-02-10 00:33 214K
BUCHI_PETRI_NET-intersection_optimized.chl-chromosome-symm.wvr.yml.log 2024-02-10 00:38 576K
BUCHI_PETRI_NET-intersection_optimized.chl-chromosome-trans.wvr.yml.log 2024-02-10 00:34 216K
BUCHI_PETRI_NET-intersection_optimized.chl-collitem-subst.wvr.yml.log 2024-02-10 00:33 27K
BUCHI_PETRI_NET-intersection_optimized.chl-collitem-symm.wvr.yml.log 2024-02-10 00:33 27K
BUCHI_PETRI_NET-intersection_optimized.chl-collitem-trans.wvr.yml.log 2024-02-10 00:33 27K
BUCHI_PETRI_NET-intersection_optimized.chl-exp-term-subst.wvr.yml.log 2024-02-10 00:34 27K
BUCHI_PETRI_NET-intersection_optimized.chl-exp-term-symm.wvr.yml.log 2024-02-10 00:34 26K
BUCHI_PETRI_NET-intersection_optimized.chl-file-item-subst.wvr.yml.log 2024-02-10 00:34 26K
BUCHI_PETRI_NET-intersection_optimized.chl-file-item-symm.wvr.yml.log 2024-02-10 00:34 26K
BUCHI_PETRI_NET-intersection_optimized.chl-file-item-trans.wvr.yml.log 2024-02-10 00:34 26K
BUCHI_PETRI_NET-intersection_optimized.chl-match-subst.wvr.yml.log 2024-02-10 00:34 27K
BUCHI_PETRI_NET-intersection_optimized.chl-match-symm.wvr.yml.log 2024-02-10 00:34 26K
BUCHI_PETRI_NET-intersection_optimized.chl-match-trans.wvr.yml.log 2024-02-10 00:34 26K
BUCHI_PETRI_NET-intersection_optimized.chl-name-comparator-subst.wvr.yml.log 2024-02-10 00:34 231K
BUCHI_PETRI_NET-intersection_optimized.chl-name-comparator-symm.wvr.yml.log 2024-02-10 00:36 615K
BUCHI_PETRI_NET-intersection_optimized.chl-name-comparator-trans.wvr.yml.log 2024-02-10 00:34 232K
BUCHI_PETRI_NET-intersection_optimized.chl-node-subst.wvr.yml.log 2024-02-10 00:34 264K
BUCHI_PETRI_NET-intersection_optimized.chl-node-symm.wvr.yml.log 2024-02-10 00:39 522K
BUCHI_PETRI_NET-intersection_optimized.chl-node-trans.wvr.yml.log 2024-02-10 00:35 264K
BUCHI_PETRI_NET-intersection_optimized.chl-nzb-file-subst.wvr.yml.log 2024-02-10 00:35 227K
BUCHI_PETRI_NET-intersection_optimized.chl-nzb-file-symm.wvr.yml.log 2024-02-10 00:35 177K
BUCHI_PETRI_NET-intersection_optimized.chl-nzb-file-trans.wvr.yml.log 2024-02-10 00:35 227K
BUCHI_PETRI_NET-intersection_optimized.chl-simpl-str-subst.wvr.yml.log 2024-02-10 00:36 27K
BUCHI_PETRI_NET-intersection_optimized.chl-simpl-str-symm.wvr.yml.log 2024-02-10 00:36 26K
BUCHI_PETRI_NET-intersection_optimized.chl-simpl-str-trans.wvr.yml.log 2024-02-10 00:36 26K
BUCHI_PETRI_NET-intersection_optimized.chl-sre-subst.wvr.yml.log 2024-02-10 00:36 27K
BUCHI_PETRI_NET-intersection_optimized.chl-sre-symm.wvr.yml.log 2024-02-10 00:36 26K
BUCHI_PETRI_NET-intersection_optimized.chl-sre-trans.wvr.yml.log 2024-02-10 00:36 26K
BUCHI_PETRI_NET-intersection_optimized.chl-time-subst.wvr.yml.log 2024-02-10 00:36 27K
BUCHI_PETRI_NET-intersection_optimized.chl-time-symm.wvr.yml.log 2024-02-10 00:36 27K
BUCHI_PETRI_NET-intersection_optimized.chl-time-trans.wvr.yml.log 2024-02-10 00:36 27K
BUCHI_PETRI_NET-intersection_optimized.chl-word-subst.wvr.yml.log 2024-02-10 00:40 358K
BUCHI_PETRI_NET-intersection_optimized.chl-word-symm.wvr.yml.log 2024-02-10 00:40 783K
BUCHI_PETRI_NET-intersection_optimized.chl-word-trans.wvr.yml.log 2024-02-10 00:41 356K
BUCHI_PETRI_NET-intersection_optimized.circular_buffer_bad.yml.log 2024-02-10 01:01 621K
BUCHI_PETRI_NET-intersection_optimized.circular_buffer_ok.yml.log 2024-02-10 01:01 462K
BUCHI_PETRI_NET-intersection_optimized.clever.wvr.yml.log 2024-02-10 00:37 201K
BUCHI_PETRI_NET-intersection_optimized.concurrent_mult.bpl.log 2024-02-10 00:57 73K
BUCHI_PETRI_NET-intersection_optimized.count0-countEven-sample-abs.bpl.log 2024-02-10 00:57 58K
BUCHI_PETRI_NET-intersection_optimized.dekker.yml.log 2024-02-10 00:33 100K
BUCHI_PETRI_NET-intersection_optimized.equal-array-sums-locked.bpl.log 2024-02-10 00:57 73K
BUCHI_PETRI_NET-intersection_optimized.fibonacci.wvr.yml.log 2024-02-10 00:41 115K
BUCHI_PETRI_NET-intersection_optimized.incr-decr-zero.bpl.log 2024-02-10 00:57 77K
BUCHI_PETRI_NET-intersection_optimized.lamport.yml.log 2024-02-10 00:33 174K
BUCHI_PETRI_NET-intersection_optimized.loop-tiling-eq.wvr.yml.log 2024-02-10 00:41 603K
BUCHI_PETRI_NET-intersection_optimized.map-aggr-update1-2modifiers.bpl.log 2024-02-10 01:00 138K
BUCHI_PETRI_NET-intersection_optimized.map-aggr-update1-3modifiers.bpl.log 2024-02-10 01:01 169K
BUCHI_PETRI_NET-intersection_optimized.map-aggr-update1-4modifiers.bpl.log 2024-02-10 01:01 143K
BUCHI_PETRI_NET-intersection_optimized.map-aggr-update1-otherloopbounds.bpl.log 2024-02-10 00:58 218K
BUCHI_PETRI_NET-intersection_optimized.map-aggr-update1.bpl.log 2024-02-10 01:03 111K
BUCHI_PETRI_NET-intersection_optimized.map-aggr-update2-otherloopbounds.bpl.log 2024-02-10 00:58 218K
BUCHI_PETRI_NET-intersection_optimized.map-aggr-update2.bpl.log 2024-02-10 01:01 110K
BUCHI_PETRI_NET-intersection_optimized.map-aggr-update3.bpl.log 2024-02-10 00:59 52K
BUCHI_PETRI_NET-intersection_optimized.map-comp.bpl.log 2024-02-10 01:03 107K
BUCHI_PETRI_NET-intersection_optimized.map-incr-decr.bpl.log 2024-02-10 00:59 65K
BUCHI_PETRI_NET-intersection_optimized.map-incr-split.bpl.log 2024-02-10 00:59 68K
BUCHI_PETRI_NET-intersection_optimized.max-tailsum2.bpl.log 2024-02-10 00:59 85K
BUCHI_PETRI_NET-intersection_optimized.max-tailsum3.bpl.log 2024-02-10 01:04 141K
BUCHI_PETRI_NET-intersection_optimized.max-tailsum4.bpl.log 2024-02-10 01:04 176K
BUCHI_PETRI_NET-intersection_optimized.max-tailsum5.bpl.log 2024-02-10 01:04 117K
BUCHI_PETRI_NET-intersection_optimized.min-max-sample-2.bpl.log 2024-02-10 01:01 31K
BUCHI_PETRI_NET-intersection_optimized.min-max-sample-abs-2.bpl.log 2024-02-10 01:01 32K
BUCHI_PETRI_NET-intersection_optimized.min-max-sample-abs-nonatomic.bpl.log 2024-02-10 01:01 32K
BUCHI_PETRI_NET-intersection_optimized.min-max-sample-abs.bpl.log 2024-02-10 01:05 118K
BUCHI_PETRI_NET-intersection_optimized.min-max-sample-with_locks.bpl.log 2024-02-10 01:02 84K
BUCHI_PETRI_NET-intersection_optimized.min-max-sample.bpl.log 2024-02-10 01:01 50K
BUCHI_PETRI_NET-intersection_optimized.min-max-split-sample.bpl.log 2024-02-10 01:02 125K
BUCHI_PETRI_NET-intersection_optimized.min2-max2-sample.bpl.log 2024-02-10 01:01 73K
BUCHI_PETRI_NET-intersection_optimized.motivating-slowitp.bpl.log 2024-02-10 01:04 106K
BUCHI_PETRI_NET-intersection_optimized.motivating.bpl.log 2024-02-10 01:02 36K
BUCHI_PETRI_NET-intersection_optimized.mult-comm.wvr.yml.log 2024-02-10 00:37 1.7M
BUCHI_PETRI_NET-intersection_optimized.mult-dist.wvr.yml.log 2024-02-10 00:38 2.2M
BUCHI_PETRI_NET-intersection_optimized.mult-flipped-dist.wvr.yml.log 2024-02-10 00:38 2.2M
BUCHI_PETRI_NET-intersection_optimized.optimistic-concurrency1.bpl.log 2024-02-10 01:02 154K
BUCHI_PETRI_NET-intersection_optimized.optimistic-concurrency2.bpl.log 2024-02-10 01:02 152K
BUCHI_PETRI_NET-intersection_optimized.parallel-bakery-2.wvr.yml.log 2024-02-10 00:37 27K
BUCHI_PETRI_NET-intersection_optimized.parallel-bakery-3.wvr.yml.log 2024-02-10 00:37 27K
BUCHI_PETRI_NET-intersection_optimized.parallel-bakery-4.wvr.yml.log 2024-02-10 00:38 27K
BUCHI_PETRI_NET-intersection_optimized.parallel-barrier-loop.wvr.yml.log 2024-02-10 00:38 2.5M
BUCHI_PETRI_NET-intersection_optimized.parallel-barrier.wvr.yml.log 2024-02-10 00:38 28K
BUCHI_PETRI_NET-intersection_optimized.parallel-bluetooth.wvr.yml.log 2024-02-10 00:38 27K
BUCHI_PETRI_NET-intersection_optimized.parallel-lamport.wvr.yml.log 2024-02-10 00:39 172K
BUCHI_PETRI_NET-intersection_optimized.parallel-min-max-1.wvr.yml.log 2024-02-10 00:39 573K
BUCHI_PETRI_NET-intersection_optimized.parallel-misc-1.wvr.yml.log 2024-02-10 00:42 258K
BUCHI_PETRI_NET-intersection_optimized.parallel-misc-2-unrolled-atomic.wvr.yml.log 2024-02-10 00:38 125K
BUCHI_PETRI_NET-intersection_optimized.parallel-misc-2-unrolled.wvr.yml.log 2024-02-10 00:38 2.1M
BUCHI_PETRI_NET-intersection_optimized.parallel-misc-2.wvr.yml.log 2024-02-10 00:39 3.6M
BUCHI_PETRI_NET-intersection_optimized.parallel-misc-3-extended.wvr.yml.log 2024-02-10 00:39 3.2M
BUCHI_PETRI_NET-intersection_optimized.parallel-misc-3.wvr.yml.log 2024-02-10 00:39 2.6M
BUCHI_PETRI_NET-intersection_optimized.parallel-misc-4.wvr.yml.log 2024-02-10 00:39 3.4M
BUCHI_PETRI_NET-intersection_optimized.parallel-misc-5.wvr.yml.log 2024-02-10 00:39 2.2M
BUCHI_PETRI_NET-intersection_optimized.parallel-parallel-sum-1-dsl.wvr.yml.log 2024-02-10 00:39 181K
BUCHI_PETRI_NET-intersection_optimized.parallel-parallel-sum-1.wvr.yml.log 2024-02-10 00:44 285K
BUCHI_PETRI_NET-intersection_optimized.parallel-parallel-sum-2.wvr.yml.log 2024-02-10 00:39 224K
BUCHI_PETRI_NET-intersection_optimized.parallel-parallel-sum-equiv.wvr.yml.log 2024-02-10 00:41 351K
BUCHI_PETRI_NET-intersection_optimized.parallel-simple-equiv.wvr.yml.log 2024-02-10 00:39 27K
BUCHI_PETRI_NET-intersection_optimized.parallel-ticket-2.wvr.yml.log 2024-02-10 00:39 27K
BUCHI_PETRI_NET-intersection_optimized.parallel-ticket-3.wvr.yml.log 2024-02-10 00:39 27K
BUCHI_PETRI_NET-intersection_optimized.parallel-ticket-4.wvr.yml.log 2024-02-10 00:39 27K
BUCHI_PETRI_NET-intersection_optimized.parallel-ticket-5.wvr.yml.log 2024-02-10 00:39 27K
BUCHI_PETRI_NET-intersection_optimized.parallel-ticket-6.wvr.yml.log 2024-02-10 00:39 28K
BUCHI_PETRI_NET-intersection_optimized.parallel-ticket-7.wvr.yml.log 2024-02-10 00:39 28K
BUCHI_PETRI_NET-intersection_optimized.parallel-ticket-8.wvr.yml.log 2024-02-10 00:39 28K
BUCHI_PETRI_NET-intersection_optimized.peterson.yml.log 2024-02-10 00:33 93K
BUCHI_PETRI_NET-intersection_optimized.popl20-bad-buffer-mult-alt.wvr.yml.log 2024-02-10 00:43 449K
BUCHI_PETRI_NET-intersection_optimized.popl20-bad-buffer-mult-alt2.wvr.yml.log 2024-02-10 00:43 521K
BUCHI_PETRI_NET-intersection_optimized.popl20-bad-counter-queue.wvr.yml.log 2024-02-10 00:44 708K
BUCHI_PETRI_NET-intersection_optimized.popl20-bad-counter-queue2.wvr.yml.log 2024-02-10 00:44 505K
BUCHI_PETRI_NET-intersection_optimized.popl20-bad-dot-product-alt.wvr.yml.log 2024-02-10 00:40 233K
BUCHI_PETRI_NET-intersection_optimized.popl20-bad-dot-product.wvr.yml.log 2024-02-10 00:45 337K
BUCHI_PETRI_NET-intersection_optimized.popl20-bad-ring-nondet.wvr.yml.log 2024-02-10 00:45 723K
BUCHI_PETRI_NET-intersection_optimized.popl20-bad-threaded-sum-2.wvr.yml.log 2024-02-10 00:41 720K
BUCHI_PETRI_NET-intersection_optimized.popl20-bad-three-array-sum-alt.wvr.yml.log 2024-02-10 00:41 201K
BUCHI_PETRI_NET-intersection_optimized.popl20-channel-sum.wvr.yml.log 2024-02-10 00:45 639K
BUCHI_PETRI_NET-intersection_optimized.popl20-commit-1.wvr.yml.log 2024-02-10 00:45 881K
BUCHI_PETRI_NET-intersection_optimized.popl20-commit-2.wvr.yml.log 2024-02-10 00:45 522K
BUCHI_PETRI_NET-intersection_optimized.popl20-counter-determinism.wvr.yml.log 2024-02-10 00:42 176K
BUCHI_PETRI_NET-intersection_optimized.popl20-counter-fun.wvr.yml.log 2024-02-10 00:45 701K
BUCHI_PETRI_NET-intersection_optimized.popl20-difference-det.wvr.yml.log 2024-02-10 00:42 140K
BUCHI_PETRI_NET-intersection_optimized.popl20-figure1-alt.wvr.yml.log 2024-02-10 00:47 204K
BUCHI_PETRI_NET-intersection_optimized.popl20-figure1.wvr.yml.log 2024-02-10 00:48 192K
BUCHI_PETRI_NET-intersection_optimized.popl20-figure3.wvr.yml.log 2024-02-10 00:44 1.7M
BUCHI_PETRI_NET-intersection_optimized.popl20-horseshoe.wvr.yml.log 2024-02-10 00:49 864K
BUCHI_PETRI_NET-intersection_optimized.popl20-min-max-dec.wvr.yml.log 2024-02-10 00:45 403K
BUCHI_PETRI_NET-intersection_optimized.popl20-min-max-inc-dec.wvr.yml.log 2024-02-10 00:44 154K
BUCHI_PETRI_NET-intersection_optimized.popl20-min-max-inc.wvr.yml.log 2024-02-10 00:49 411K
BUCHI_PETRI_NET-intersection_optimized.popl20-more-array-sum-alt.wvr.yml.log 2024-02-10 00:49 513K
BUCHI_PETRI_NET-intersection_optimized.popl20-more-array-sum-alt2.wvr.yml.log 2024-02-10 00:49 470K
BUCHI_PETRI_NET-intersection_optimized.popl20-more-array-sum.wvr.yml.log 2024-02-10 00:50 567K
BUCHI_PETRI_NET-intersection_optimized.popl20-more-array-sum2.wvr.yml.log 2024-02-10 00:49 636K
BUCHI_PETRI_NET-intersection_optimized.popl20-more-buffer-mult.wvr.yml.log 2024-02-10 00:49 454K
BUCHI_PETRI_NET-intersection_optimized.popl20-more-buffer-mult2.wvr.yml.log 2024-02-10 00:47 511K
BUCHI_PETRI_NET-intersection_optimized.popl20-more-buffer-series.wvr.yml.log 2024-02-10 00:49 646K
BUCHI_PETRI_NET-intersection_optimized.popl20-more-buffer-series2.wvr.yml.log 2024-02-10 00:50 469K
BUCHI_PETRI_NET-intersection_optimized.popl20-more-dec-subseq.wvr.yml.log 2024-02-10 00:49 971K
BUCHI_PETRI_NET-intersection_optimized.popl20-more-inc-subseq.wvr.yml.log 2024-02-10 00:50 971K
BUCHI_PETRI_NET-intersection_optimized.popl20-more-max-array-hom.wvr.yml.log 2024-02-10 00:52 329K
BUCHI_PETRI_NET-intersection_optimized.popl20-more-max-array.wvr.yml.log 2024-02-10 00:52 324K
BUCHI_PETRI_NET-intersection_optimized.popl20-more-min-array-hom.wvr.yml.log 2024-02-10 00:52 309K
BUCHI_PETRI_NET-intersection_optimized.popl20-more-min-array.wvr.yml.log 2024-02-10 00:53 307K
BUCHI_PETRI_NET-intersection_optimized.popl20-more-min-le-max.wvr.yml.log 2024-02-10 00:50 337K
BUCHI_PETRI_NET-intersection_optimized.popl20-more-mts.wvr.yml.log 2024-02-10 00:50 437K
BUCHI_PETRI_NET-intersection_optimized.popl20-more-multiply-verify.wvr.yml.log 2024-02-10 00:50 3.2M
BUCHI_PETRI_NET-intersection_optimized.popl20-more-nonblocking-counter-alt2.wvr.yml.log 2024-02-10 00:50 1.7M
BUCHI_PETRI_NET-intersection_optimized.popl20-more-queue-add-2-nl.wvr.yml.log 2024-02-10 00:54 664K
BUCHI_PETRI_NET-intersection_optimized.popl20-more-queue-add-3-nl.wvr.yml.log 2024-02-10 00:54 521K
BUCHI_PETRI_NET-intersection_optimized.popl20-more-sorted.wvr.yml.log 2024-02-10 00:54 227K
BUCHI_PETRI_NET-intersection_optimized.popl20-more-sum-array-hom.wvr.yml.log 2024-02-10 00:54 372K
BUCHI_PETRI_NET-intersection_optimized.popl20-more-vector-add.wvr.yml.log 2024-02-10 00:53 351K
BUCHI_PETRI_NET-intersection_optimized.popl20-mult-4.wvr.yml.log 2024-02-10 00:50 2.5M
BUCHI_PETRI_NET-intersection_optimized.popl20-mult-equiv.wvr.yml.log 2024-02-10 00:50 1.9M
BUCHI_PETRI_NET-intersection_optimized.popl20-nonblocking-cntr-alt.wvr.yml.log 2024-02-10 00:50 96K
BUCHI_PETRI_NET-intersection_optimized.popl20-nonblocking-cntr.wvr.yml.log 2024-02-10 00:50 112K
BUCHI_PETRI_NET-intersection_optimized.popl20-prod-cons-eq.wvr.yml.log 2024-02-10 00:55 455K
BUCHI_PETRI_NET-intersection_optimized.popl20-prod-cons.wvr.yml.log 2024-02-10 00:54 420K
BUCHI_PETRI_NET-intersection_optimized.popl20-prod-cons3.wvr.yml.log 2024-02-10 00:54 520K
BUCHI_PETRI_NET-intersection_optimized.popl20-proofs-counter-add-4-semi-Q67.wvr.yml.log 2024-02-10 00:55 275K
BUCHI_PETRI_NET-intersection_optimized.popl20-queue-add-2.wvr.yml.log 2024-02-10 00:56 559K
BUCHI_PETRI_NET-intersection_optimized.popl20-queue-add-3.wvr.yml.log 2024-02-10 00:56 768K
BUCHI_PETRI_NET-intersection_optimized.popl20-send-receive-alt.wvr.yml.log 2024-02-10 00:56 334K
BUCHI_PETRI_NET-intersection_optimized.popl20-send-receive.wvr.yml.log 2024-02-10 00:53 393K
BUCHI_PETRI_NET-intersection_optimized.popl20-simple-array-sum.wvr.yml.log 2024-02-10 00:57 537K
BUCHI_PETRI_NET-intersection_optimized.popl20-simple-queue.wvr.yml.log 2024-02-10 00:58 709K
BUCHI_PETRI_NET-intersection_optimized.popl20-threaded-sum-3.wvr.yml.log 2024-02-10 00:54 925K
BUCHI_PETRI_NET-intersection_optimized.popl20-three-array-max.wvr.yml.log 2024-02-10 00:58 277K
BUCHI_PETRI_NET-intersection_optimized.popl20-three-array-min.wvr.yml.log 2024-02-10 00:58 278K
BUCHI_PETRI_NET-intersection_optimized.popl20-three-array-sum.wvr.yml.log 2024-02-10 00:58 355K
BUCHI_PETRI_NET-intersection_optimized.popl20-two-queue.wvr.yml.log 2024-02-10 00:56 1.0M
BUCHI_PETRI_NET-intersection_optimized.pthread-demo-datarace-1.yml.log 2024-02-10 00:33 360K
BUCHI_PETRI_NET-intersection_optimized.qw2004-2b.yml.log 2024-02-10 00:33 26K
BUCHI_PETRI_NET-intersection_optimized.read_write_lock-1.yml.log 2024-02-10 00:33 27K
BUCHI_PETRI_NET-intersection_optimized.read_write_lock-2.yml.log 2024-02-10 00:33 27K
BUCHI_PETRI_NET-intersection_optimized.readers_writer.bpl.log 2024-02-10 01:02 567K
BUCHI_PETRI_NET-intersection_optimized.ring_2w1r-1.yml.log 2024-02-10 00:37 124K
BUCHI_PETRI_NET-intersection_optimized.security.wvr.yml.log 2024-02-10 00:55 26K
BUCHI_PETRI_NET-intersection_optimized.spaghetti.wvr.yml.log 2024-02-10 00:55 47K
BUCHI_PETRI_NET-intersection_optimized.sum-print.bpl.log 2024-02-10 01:02 46K
BUCHI_PETRI_NET-intersection_optimized.sum-print2.bpl.log 2024-02-10 01:02 87K
BUCHI_PETRI_NET-intersection_optimized.sum-rwlock.bpl.log 2024-02-10 01:02 46K
BUCHI_PETRI_NET-intersection_optimized.sum2_diff_incr_decr.bpl.log 2024-02-10 01:02 71K
BUCHI_PETRI_NET-intersection_optimized.sum_diff_incr_decr.bpl.log 2024-02-10 01:02 70K
BUCHI_PETRI_NET-intersection_optimized.sumsumbank.bpl.log 2024-02-10 01:02 30K
BUCHI_PETRI_NET-intersection_optimized.sumsuminc.bpl.log 2024-02-10 01:02 71K
BUCHI_PETRI_NET-intersection_optimized.sumsumsampleabs.bpl.log 2024-02-10 01:02 29K
BUCHI_PETRI_NET-intersection_optimized.sumsumsampleabs2.bpl.log 2024-02-10 01:07 103K
BUCHI_PETRI_NET-intersection_optimized.szymanski.yml.log 2024-02-10 00:33 134K
BUCHI_PETRI_NET-intersection_optimized.test-context1.wvr.yml.log 2024-02-10 00:59 409K
BUCHI_PETRI_NET-intersection_optimized.test-easy1.wvr.yml.log 2024-02-10 00:55 108K
BUCHI_PETRI_NET-intersection_optimized.test-easy10.wvr.yml.log 2024-02-10 00:55 27K
BUCHI_PETRI_NET-intersection_optimized.test-easy11.wvr.yml.log 2024-02-10 00:56 122K
BUCHI_PETRI_NET-intersection_optimized.test-easy6.wvr.yml.log 2024-02-10 00:55 27K
BUCHI_PETRI_NET-intersection_optimized.test-easy7.wvr.yml.log 2024-02-10 00:55 26K
BUCHI_PETRI_NET-intersection_optimized.test-hard1.wvr.yml.log 2024-02-10 00:56 2.5M
BUCHI_PETRI_NET-intersection_optimized.test-semi1.wvr.yml.log 2024-02-10 00:55 27K
BUCHI_PETRI_NET-intersection_optimized.time_var_mutex.yml.log 2024-02-10 00:33 26K
BUCHI_PETRI_NET-intersection_optimized.unroll-2.wvr.yml.log 2024-02-10 00:56 2.3M
BUCHI_PETRI_NET-intersection_optimized.unroll-3.wvr.yml.log 2024-02-10 00:56 2.3M
BUCHI_PETRI_NET-intersection_optimized.unroll-4.wvr.yml.log 2024-02-10 00:57 2.3M
BUCHI_PETRI_NET-intersection_optimized.unroll-5.wvr.yml.log 2024-02-10 00:57 2.3M
BUCHI_PETRI_NET-intersection_optimized.unroll-cond-2.wvr.yml.log 2024-02-10 00:57 2.3M
BUCHI_PETRI_NET-intersection_optimized.unroll-cond-3.wvr.yml.log 2024-02-10 00:57 2.3M
BUCHI_PETRI_NET-intersection_optimized.unroll-cond-4.wvr.yml.log 2024-02-10 00:57 2.3M
BUCHI_PETRI_NET-intersection_optimized.unroll-cond-5.wvr.yml.log 2024-02-10 00:57 2.3M
BUCHI_PETRI_NET-intersection_optimized.work-steal1.bpl.log 2024-02-10 01:03 350K
BUCHI_PETRI_NET-intersection_optimized.work-steal2.bpl.log 2024-02-10 01:04 125K
BUCHI_PETRI_NET-optimized.acq-work-3threads.bpl.log 2024-02-10 00:24 355K
BUCHI_PETRI_NET-optimized.acq-work-4threads.bpl.log 2024-02-10 00:24 354K
BUCHI_PETRI_NET-optimized.acq-work-5threads.bpl.log 2024-02-10 00:25 355K
BUCHI_PETRI_NET-optimized.acq-work-6threads.bpl.log 2024-02-10 00:24 18K
BUCHI_PETRI_NET-optimized.acq-work-constants.bpl.log 2024-02-10 00:24 355K
BUCHI_PETRI_NET-optimized.acq-work.bpl.log 2024-02-10 00:24 355K
BUCHI_PETRI_NET-optimized.arithmetic_prog_bad.yml.log 2024-02-10 00:24 164K
BUCHI_PETRI_NET-optimized.arithmetic_prog_ok.yml.log 2024-02-10 00:24 164K
BUCHI_PETRI_NET-optimized.array-eq-symm.wvr.yml.log 2024-02-09 23:58 573K
BUCHI_PETRI_NET-optimized.array-eq-trans.wvr.yml.log 2024-02-10 00:02 269K
BUCHI_PETRI_NET-optimized.array-sum-with-log-3threads.bpl.log 2024-02-10 00:28 136K
BUCHI_PETRI_NET-optimized.array-sum-with-log-4threads.bpl.log 2024-02-10 00:27 129K
BUCHI_PETRI_NET-optimized.array-sum-with-log-5threads.bpl.log 2024-02-10 00:27 58K
BUCHI_PETRI_NET-optimized.array-sum-with-log-6threads.bpl.log 2024-02-10 00:24 17K
BUCHI_PETRI_NET-optimized.array-sum-with-log.bpl.log 2024-02-10 00:24 88K
BUCHI_PETRI_NET-optimized.bench-exp1x3.wvr.yml.log 2024-02-09 23:58 1.4M
BUCHI_PETRI_NET-optimized.bench-exp2x3.wvr.yml.log 2024-02-09 23:58 2.1M
BUCHI_PETRI_NET-optimized.bench-exp2x4.wvr.yml.log 2024-02-09 23:58 2.1M
BUCHI_PETRI_NET-optimized.bench-exp2x6.wvr.yml.log 2024-02-09 23:58 2.1M
BUCHI_PETRI_NET-optimized.bench-exp2x9.wvr.yml.log 2024-02-09 23:58 2.1M
BUCHI_PETRI_NET-optimized.bench-exp3x3-opt.wvr.yml.log 2024-02-09 23:58 61K
BUCHI_PETRI_NET-optimized.bench-exp3x3.wvr.yml.log 2024-02-09 23:59 2.9M
BUCHI_PETRI_NET-optimized.chl-array-int-subst.wvr.yml.log 2024-02-10 00:01 230K
BUCHI_PETRI_NET-optimized.chl-array-int-symm.wvr.yml.log 2024-02-10 00:02 579K
BUCHI_PETRI_NET-optimized.chl-array-int-trans.wvr.yml.log 2024-02-10 00:02 229K
BUCHI_PETRI_NET-optimized.chl-chromosome-opt-symm.wvr.yml.log 2024-02-10 00:00 1.0M
BUCHI_PETRI_NET-optimized.chl-chromosome-subst.wvr.yml.log 2024-02-10 00:02 180K
BUCHI_PETRI_NET-optimized.chl-chromosome-symm.wvr.yml.log 2024-02-10 00:00 745K
BUCHI_PETRI_NET-optimized.chl-chromosome-trans.wvr.yml.log 2024-02-10 00:02 176K
BUCHI_PETRI_NET-optimized.chl-collitem-subst.wvr.yml.log 2024-02-09 23:58 28K
BUCHI_PETRI_NET-optimized.chl-collitem-symm.wvr.yml.log 2024-02-09 23:58 28K
BUCHI_PETRI_NET-optimized.chl-collitem-trans.wvr.yml.log 2024-02-09 23:58 28K
BUCHI_PETRI_NET-optimized.chl-exp-term-subst.wvr.yml.log 2024-02-09 23:59 27K
BUCHI_PETRI_NET-optimized.chl-exp-term-symm.wvr.yml.log 2024-02-09 23:59 27K
BUCHI_PETRI_NET-optimized.chl-file-item-subst.wvr.yml.log 2024-02-09 23:59 28K
BUCHI_PETRI_NET-optimized.chl-file-item-symm.wvr.yml.log 2024-02-09 23:59 27K
BUCHI_PETRI_NET-optimized.chl-file-item-trans.wvr.yml.log 2024-02-09 23:59 27K
BUCHI_PETRI_NET-optimized.chl-match-subst.wvr.yml.log 2024-02-10 00:00 28K
BUCHI_PETRI_NET-optimized.chl-match-symm.wvr.yml.log 2024-02-09 23:59 27K
BUCHI_PETRI_NET-optimized.chl-match-trans.wvr.yml.log 2024-02-10 00:00 27K
BUCHI_PETRI_NET-optimized.chl-name-comparator-subst.wvr.yml.log 2024-02-10 00:00 23K
BUCHI_PETRI_NET-optimized.chl-name-comparator-symm.wvr.yml.log 2024-02-10 00:04 389K
BUCHI_PETRI_NET-optimized.chl-name-comparator-trans.wvr.yml.log 2024-02-10 00:01 23K
BUCHI_PETRI_NET-optimized.chl-node-subst.wvr.yml.log 2024-02-10 00:03 211K
BUCHI_PETRI_NET-optimized.chl-node-symm.wvr.yml.log 2024-02-10 00:05 537K
BUCHI_PETRI_NET-optimized.chl-node-trans.wvr.yml.log 2024-02-10 00:05 211K
BUCHI_PETRI_NET-optimized.chl-nzb-file-subst.wvr.yml.log 2024-02-10 00:01 21K
BUCHI_PETRI_NET-optimized.chl-nzb-file-symm.wvr.yml.log 2024-02-10 00:02 182K
BUCHI_PETRI_NET-optimized.chl-nzb-file-trans.wvr.yml.log 2024-02-10 00:01 21K
BUCHI_PETRI_NET-optimized.chl-simpl-str-subst.wvr.yml.log 2024-02-10 00:02 28K
BUCHI_PETRI_NET-optimized.chl-simpl-str-symm.wvr.yml.log 2024-02-10 00:02 27K
BUCHI_PETRI_NET-optimized.chl-simpl-str-trans.wvr.yml.log 2024-02-10 00:02 27K
BUCHI_PETRI_NET-optimized.chl-sre-subst.wvr.yml.log 2024-02-10 00:02 27K
BUCHI_PETRI_NET-optimized.chl-sre-symm.wvr.yml.log 2024-02-10 00:02 27K
BUCHI_PETRI_NET-optimized.chl-sre-trans.wvr.yml.log 2024-02-10 00:02 27K
BUCHI_PETRI_NET-optimized.chl-time-subst.wvr.yml.log 2024-02-10 00:02 28K
BUCHI_PETRI_NET-optimized.chl-time-symm.wvr.yml.log 2024-02-10 00:02 28K
BUCHI_PETRI_NET-optimized.chl-time-trans.wvr.yml.log 2024-02-10 00:02 28K
BUCHI_PETRI_NET-optimized.chl-word-subst.wvr.yml.log 2024-02-10 00:06 288K
BUCHI_PETRI_NET-optimized.chl-word-symm.wvr.yml.log 2024-02-10 00:06 726K
BUCHI_PETRI_NET-optimized.chl-word-trans.wvr.yml.log 2024-02-10 00:07 286K
BUCHI_PETRI_NET-optimized.circular_buffer_bad.yml.log 2024-02-10 00:26 777K
BUCHI_PETRI_NET-optimized.circular_buffer_ok.yml.log 2024-02-10 00:28 455K
BUCHI_PETRI_NET-optimized.clever.wvr.yml.log 2024-02-10 00:03 207K
BUCHI_PETRI_NET-optimized.concurrent_mult.bpl.log 2024-02-10 00:24 76K
BUCHI_PETRI_NET-optimized.count0-countEven-sample-abs.bpl.log 2024-02-10 00:24 60K
BUCHI_PETRI_NET-optimized.dekker.yml.log 2024-02-09 23:58 104K
BUCHI_PETRI_NET-optimized.equal-array-sums-locked.bpl.log 2024-02-10 00:24 76K
BUCHI_PETRI_NET-optimized.fibonacci.wvr.yml.log 2024-02-10 00:07 254K
BUCHI_PETRI_NET-optimized.incr-decr-zero.bpl.log 2024-02-10 00:24 79K
BUCHI_PETRI_NET-optimized.lamport.yml.log 2024-02-09 23:58 183K
BUCHI_PETRI_NET-optimized.loop-tiling-eq.wvr.yml.log 2024-02-10 00:06 629K
BUCHI_PETRI_NET-optimized.map-aggr-update1-2modifiers.bpl.log 2024-02-10 00:25 109K
BUCHI_PETRI_NET-optimized.map-aggr-update1-3modifiers.bpl.log 2024-02-10 00:29 107K
BUCHI_PETRI_NET-optimized.map-aggr-update1-4modifiers.bpl.log 2024-02-10 00:29 75K
BUCHI_PETRI_NET-optimized.map-aggr-update1-otherloopbounds.bpl.log 2024-02-10 00:25 220K
BUCHI_PETRI_NET-optimized.map-aggr-update1.bpl.log 2024-02-10 00:27 97K
BUCHI_PETRI_NET-optimized.map-aggr-update2-otherloopbounds.bpl.log 2024-02-10 00:25 220K
BUCHI_PETRI_NET-optimized.map-aggr-update2.bpl.log 2024-02-10 00:27 102K
BUCHI_PETRI_NET-optimized.map-aggr-update3.bpl.log 2024-02-10 00:25 53K
BUCHI_PETRI_NET-optimized.map-comp.bpl.log 2024-02-10 00:27 101K
BUCHI_PETRI_NET-optimized.map-incr-decr.bpl.log 2024-02-10 00:25 72K
BUCHI_PETRI_NET-optimized.map-incr-split.bpl.log 2024-02-10 00:26 74K
BUCHI_PETRI_NET-optimized.max-tailsum2.bpl.log 2024-02-10 00:26 87K
BUCHI_PETRI_NET-optimized.max-tailsum3.bpl.log 2024-02-10 00:30 137K
BUCHI_PETRI_NET-optimized.max-tailsum4.bpl.log 2024-02-10 00:30 123K
BUCHI_PETRI_NET-optimized.max-tailsum5.bpl.log 2024-02-10 00:31 77K
BUCHI_PETRI_NET-optimized.min-max-sample-2.bpl.log 2024-02-10 00:27 33K
BUCHI_PETRI_NET-optimized.min-max-sample-abs-2.bpl.log 2024-02-10 00:27 34K
BUCHI_PETRI_NET-optimized.min-max-sample-abs-nonatomic.bpl.log 2024-02-10 00:27 34K
BUCHI_PETRI_NET-optimized.min-max-sample-abs.bpl.log 2024-02-10 00:32 105K
BUCHI_PETRI_NET-optimized.min-max-sample-with_locks.bpl.log 2024-02-10 00:27 34K
BUCHI_PETRI_NET-optimized.min-max-sample.bpl.log 2024-02-10 00:27 32K
BUCHI_PETRI_NET-optimized.min-max-split-sample.bpl.log 2024-02-10 00:28 86K
BUCHI_PETRI_NET-optimized.min2-max2-sample.bpl.log 2024-02-10 00:28 75K
BUCHI_PETRI_NET-optimized.motivating-slowitp.bpl.log 2024-02-10 00:28 92K
BUCHI_PETRI_NET-optimized.motivating.bpl.log 2024-02-10 00:28 38K
BUCHI_PETRI_NET-optimized.mult-comm.wvr.yml.log 2024-02-10 00:03 1.7M
BUCHI_PETRI_NET-optimized.mult-dist.wvr.yml.log 2024-02-10 00:03 2.2M
BUCHI_PETRI_NET-optimized.mult-flipped-dist.wvr.yml.log 2024-02-10 00:03 2.2M
BUCHI_PETRI_NET-optimized.optimistic-concurrency1.bpl.log 2024-02-10 00:28 126K
BUCHI_PETRI_NET-optimized.optimistic-concurrency2.bpl.log 2024-02-10 00:28 122K
BUCHI_PETRI_NET-optimized.parallel-bakery-2.wvr.yml.log 2024-02-10 00:03 28K
BUCHI_PETRI_NET-optimized.parallel-bakery-3.wvr.yml.log 2024-02-10 00:03 28K
BUCHI_PETRI_NET-optimized.parallel-bakery-4.wvr.yml.log 2024-02-10 00:04 28K
BUCHI_PETRI_NET-optimized.parallel-barrier-loop.wvr.yml.log 2024-02-10 00:03 22K
BUCHI_PETRI_NET-optimized.parallel-barrier.wvr.yml.log 2024-02-10 00:05 29K
BUCHI_PETRI_NET-optimized.parallel-bluetooth.wvr.yml.log 2024-02-10 00:03 28K
BUCHI_PETRI_NET-optimized.parallel-lamport.wvr.yml.log 2024-02-10 00:04 177K
BUCHI_PETRI_NET-optimized.parallel-min-max-1.wvr.yml.log 2024-02-10 00:08 726K
BUCHI_PETRI_NET-optimized.parallel-misc-1.wvr.yml.log 2024-02-10 00:05 183K
BUCHI_PETRI_NET-optimized.parallel-misc-2-unrolled-atomic.wvr.yml.log 2024-02-10 00:04 129K
BUCHI_PETRI_NET-optimized.parallel-misc-2-unrolled.wvr.yml.log 2024-02-10 00:04 2.1M
BUCHI_PETRI_NET-optimized.parallel-misc-2.wvr.yml.log 2024-02-10 00:05 3.5M
BUCHI_PETRI_NET-optimized.parallel-misc-3-extended.wvr.yml.log 2024-02-10 00:04 70K
BUCHI_PETRI_NET-optimized.parallel-misc-3.wvr.yml.log 2024-02-10 00:05 1.1M
BUCHI_PETRI_NET-optimized.parallel-misc-4.wvr.yml.log 2024-02-10 00:05 538K
BUCHI_PETRI_NET-optimized.parallel-misc-5.wvr.yml.log 2024-02-10 00:05 2.2M
BUCHI_PETRI_NET-optimized.parallel-parallel-sum-1-dsl.wvr.yml.log 2024-02-10 00:06 23K
BUCHI_PETRI_NET-optimized.parallel-parallel-sum-1.wvr.yml.log 2024-02-10 00:09 292K
BUCHI_PETRI_NET-optimized.parallel-parallel-sum-2.wvr.yml.log 2024-02-10 00:06 24K
BUCHI_PETRI_NET-optimized.parallel-parallel-sum-equiv.wvr.yml.log 2024-02-10 00:06 303K
BUCHI_PETRI_NET-optimized.parallel-simple-equiv.wvr.yml.log 2024-02-10 00:05 28K
BUCHI_PETRI_NET-optimized.parallel-ticket-2.wvr.yml.log 2024-02-10 00:05 28K
BUCHI_PETRI_NET-optimized.parallel-ticket-3.wvr.yml.log 2024-02-10 00:05 28K
BUCHI_PETRI_NET-optimized.parallel-ticket-4.wvr.yml.log 2024-02-10 00:05 28K
BUCHI_PETRI_NET-optimized.parallel-ticket-5.wvr.yml.log 2024-02-10 00:05 29K
BUCHI_PETRI_NET-optimized.parallel-ticket-6.wvr.yml.log 2024-02-10 00:07 29K
BUCHI_PETRI_NET-optimized.parallel-ticket-7.wvr.yml.log 2024-02-10 00:05 22K
BUCHI_PETRI_NET-optimized.parallel-ticket-8.wvr.yml.log 2024-02-10 00:05 23K
BUCHI_PETRI_NET-optimized.peterson.yml.log 2024-02-09 23:58 97K
BUCHI_PETRI_NET-optimized.popl20-bad-buffer-mult-alt.wvr.yml.log 2024-02-10 00:10 388K
BUCHI_PETRI_NET-optimized.popl20-bad-buffer-mult-alt2.wvr.yml.log 2024-02-10 00:11 318K
BUCHI_PETRI_NET-optimized.popl20-bad-counter-queue.wvr.yml.log 2024-02-10 00:07 511K
BUCHI_PETRI_NET-optimized.popl20-bad-counter-queue2.wvr.yml.log 2024-02-10 00:09 461K
BUCHI_PETRI_NET-optimized.popl20-bad-dot-product-alt.wvr.yml.log 2024-02-10 00:09 237K
BUCHI_PETRI_NET-optimized.popl20-bad-dot-product.wvr.yml.log 2024-02-10 00:11 276K
BUCHI_PETRI_NET-optimized.popl20-bad-ring-nondet.wvr.yml.log 2024-02-10 00:11 361K
BUCHI_PETRI_NET-optimized.popl20-bad-threaded-sum-2.wvr.yml.log 2024-02-10 00:07 723K
BUCHI_PETRI_NET-optimized.popl20-bad-three-array-sum-alt.wvr.yml.log 2024-02-10 00:11 214K
BUCHI_PETRI_NET-optimized.popl20-channel-sum.wvr.yml.log 2024-02-10 00:12 558K
BUCHI_PETRI_NET-optimized.popl20-commit-1.wvr.yml.log 2024-02-10 00:10 530K
BUCHI_PETRI_NET-optimized.popl20-commit-2.wvr.yml.log 2024-02-10 00:12 447K
BUCHI_PETRI_NET-optimized.popl20-counter-determinism.wvr.yml.log 2024-02-10 00:11 186K
BUCHI_PETRI_NET-optimized.popl20-counter-fun.wvr.yml.log 2024-02-10 00:11 708K
BUCHI_PETRI_NET-optimized.popl20-difference-det.wvr.yml.log 2024-02-10 00:08 142K
BUCHI_PETRI_NET-optimized.popl20-figure1-alt.wvr.yml.log 2024-02-10 00:13 261K
BUCHI_PETRI_NET-optimized.popl20-figure1.wvr.yml.log 2024-02-10 00:13 249K
BUCHI_PETRI_NET-optimized.popl20-figure3.wvr.yml.log 2024-02-10 00:11 1.7M
BUCHI_PETRI_NET-optimized.popl20-horseshoe.wvr.yml.log 2024-02-10 00:15 713K
BUCHI_PETRI_NET-optimized.popl20-min-max-dec.wvr.yml.log 2024-02-10 00:13 409K
BUCHI_PETRI_NET-optimized.popl20-min-max-inc-dec.wvr.yml.log 2024-02-10 00:14 165K
BUCHI_PETRI_NET-optimized.popl20-min-max-inc.wvr.yml.log 2024-02-10 00:15 416K
BUCHI_PETRI_NET-optimized.popl20-more-array-sum-alt.wvr.yml.log 2024-02-10 00:15 598K
BUCHI_PETRI_NET-optimized.popl20-more-array-sum-alt2.wvr.yml.log 2024-02-10 00:16 475K
BUCHI_PETRI_NET-optimized.popl20-more-array-sum.wvr.yml.log 2024-02-10 00:15 501K
BUCHI_PETRI_NET-optimized.popl20-more-array-sum2.wvr.yml.log 2024-02-10 00:16 648K
BUCHI_PETRI_NET-optimized.popl20-more-buffer-mult.wvr.yml.log 2024-02-10 00:16 330K
BUCHI_PETRI_NET-optimized.popl20-more-buffer-mult2.wvr.yml.log 2024-02-10 00:17 327K
BUCHI_PETRI_NET-optimized.popl20-more-buffer-series.wvr.yml.log 2024-02-10 00:16 321K
BUCHI_PETRI_NET-optimized.popl20-more-buffer-series2.wvr.yml.log 2024-02-10 00:17 212K
BUCHI_PETRI_NET-optimized.popl20-more-dec-subseq.wvr.yml.log 2024-02-10 00:17 1.1M
BUCHI_PETRI_NET-optimized.popl20-more-inc-subseq.wvr.yml.log 2024-02-10 00:18 1.0M
BUCHI_PETRI_NET-optimized.popl20-more-max-array-hom.wvr.yml.log 2024-02-10 00:19 335K
BUCHI_PETRI_NET-optimized.popl20-more-max-array.wvr.yml.log 2024-02-10 00:19 330K
BUCHI_PETRI_NET-optimized.popl20-more-min-array-hom.wvr.yml.log 2024-02-10 00:19 314K
BUCHI_PETRI_NET-optimized.popl20-more-min-array.wvr.yml.log 2024-02-10 00:19 312K
BUCHI_PETRI_NET-optimized.popl20-more-min-le-max.wvr.yml.log 2024-02-10 00:20 445K
BUCHI_PETRI_NET-optimized.popl20-more-mts.wvr.yml.log 2024-02-10 00:17 277K
BUCHI_PETRI_NET-optimized.popl20-more-multiply-verify.wvr.yml.log 2024-02-10 00:17 3.2M
BUCHI_PETRI_NET-optimized.popl20-more-nonblocking-counter-alt2.wvr.yml.log 2024-02-10 00:17 1.7M
BUCHI_PETRI_NET-optimized.popl20-more-queue-add-2-nl.wvr.yml.log 2024-02-10 00:18 642K
BUCHI_PETRI_NET-optimized.popl20-more-queue-add-3-nl.wvr.yml.log 2024-02-10 00:21 458K
BUCHI_PETRI_NET-optimized.popl20-more-sorted.wvr.yml.log 2024-02-10 00:21 231K
BUCHI_PETRI_NET-optimized.popl20-more-sum-array-hom.wvr.yml.log 2024-02-10 00:21 380K
BUCHI_PETRI_NET-optimized.popl20-more-vector-add.wvr.yml.log 2024-02-10 00:21 366K
BUCHI_PETRI_NET-optimized.popl20-mult-4.wvr.yml.log 2024-02-10 00:18 2.5M
BUCHI_PETRI_NET-optimized.popl20-mult-equiv.wvr.yml.log 2024-02-10 00:18 1.9M
BUCHI_PETRI_NET-optimized.popl20-nonblocking-cntr-alt.wvr.yml.log 2024-02-10 00:17 97K
BUCHI_PETRI_NET-optimized.popl20-nonblocking-cntr.wvr.yml.log 2024-02-10 00:17 114K
BUCHI_PETRI_NET-optimized.popl20-prod-cons-eq.wvr.yml.log 2024-02-10 00:22 380K
BUCHI_PETRI_NET-optimized.popl20-prod-cons.wvr.yml.log 2024-02-10 00:20 482K
BUCHI_PETRI_NET-optimized.popl20-prod-cons3.wvr.yml.log 2024-02-10 00:22 395K
BUCHI_PETRI_NET-optimized.popl20-proofs-counter-add-4-semi-Q67.wvr.yml.log 2024-02-10 00:22 204K
BUCHI_PETRI_NET-optimized.popl20-queue-add-2.wvr.yml.log 2024-02-10 00:23 441K
BUCHI_PETRI_NET-optimized.popl20-queue-add-3.wvr.yml.log 2024-02-10 00:23 621K
BUCHI_PETRI_NET-optimized.popl20-send-receive-alt.wvr.yml.log 2024-02-10 00:23 318K
BUCHI_PETRI_NET-optimized.popl20-send-receive.wvr.yml.log 2024-02-10 00:23 305K
BUCHI_PETRI_NET-optimized.popl20-simple-array-sum.wvr.yml.log 2024-02-10 00:24 584K
BUCHI_PETRI_NET-optimized.popl20-simple-queue.wvr.yml.log 2024-02-10 00:20 503K
BUCHI_PETRI_NET-optimized.popl20-threaded-sum-3.wvr.yml.log 2024-02-10 00:21 931K
BUCHI_PETRI_NET-optimized.popl20-three-array-max.wvr.yml.log 2024-02-10 00:25 286K
BUCHI_PETRI_NET-optimized.popl20-three-array-min.wvr.yml.log 2024-02-10 00:25 286K
BUCHI_PETRI_NET-optimized.popl20-three-array-sum.wvr.yml.log 2024-02-10 00:25 366K
BUCHI_PETRI_NET-optimized.popl20-two-queue.wvr.yml.log 2024-02-10 00:25 1.0M
BUCHI_PETRI_NET-optimized.pthread-demo-datarace-1.yml.log 2024-02-09 23:58 336K
BUCHI_PETRI_NET-optimized.qw2004-2b.yml.log 2024-02-09 23:58 27K
BUCHI_PETRI_NET-optimized.read_write_lock-1.yml.log 2024-02-09 23:58 28K
BUCHI_PETRI_NET-optimized.read_write_lock-2.yml.log 2024-02-09 23:58 28K
BUCHI_PETRI_NET-optimized.readers_writer.bpl.log 2024-02-10 00:28 291K
BUCHI_PETRI_NET-optimized.ring_2w1r-1.yml.log 2024-02-09 23:59 294K
BUCHI_PETRI_NET-optimized.security.wvr.yml.log 2024-02-10 00:21 27K
BUCHI_PETRI_NET-optimized.spaghetti.wvr.yml.log 2024-02-10 00:21 49K
BUCHI_PETRI_NET-optimized.sum-print.bpl.log 2024-02-10 00:28 48K
BUCHI_PETRI_NET-optimized.sum-print2.bpl.log 2024-02-10 00:28 91K
BUCHI_PETRI_NET-optimized.sum-rwlock.bpl.log 2024-02-10 00:28 48K
BUCHI_PETRI_NET-optimized.sum2_diff_incr_decr.bpl.log 2024-02-10 00:28 71K
BUCHI_PETRI_NET-optimized.sum_diff_incr_decr.bpl.log 2024-02-10 00:28 76K
BUCHI_PETRI_NET-optimized.sumsumbank.bpl.log 2024-02-10 00:28 32K
BUCHI_PETRI_NET-optimized.sumsuminc.bpl.log 2024-02-10 00:28 70K
BUCHI_PETRI_NET-optimized.sumsumsampleabs.bpl.log 2024-02-10 00:28 31K
BUCHI_PETRI_NET-optimized.sumsumsampleabs2.bpl.log 2024-02-10 00:33 126K
BUCHI_PETRI_NET-optimized.szymanski.yml.log 2024-02-09 23:58 140K
BUCHI_PETRI_NET-optimized.test-context1.wvr.yml.log 2024-02-10 00:23 458K
BUCHI_PETRI_NET-optimized.test-easy1.wvr.yml.log 2024-02-10 00:22 111K
BUCHI_PETRI_NET-optimized.test-easy10.wvr.yml.log 2024-02-10 00:22 28K
BUCHI_PETRI_NET-optimized.test-easy11.wvr.yml.log 2024-02-10 00:22 125K
BUCHI_PETRI_NET-optimized.test-easy6.wvr.yml.log 2024-02-10 00:22 28K
BUCHI_PETRI_NET-optimized.test-easy7.wvr.yml.log 2024-02-10 00:22 27K
BUCHI_PETRI_NET-optimized.test-hard1.wvr.yml.log 2024-02-10 00:23 2.5M
BUCHI_PETRI_NET-optimized.test-semi1.wvr.yml.log 2024-02-10 00:22 28K
BUCHI_PETRI_NET-optimized.time_var_mutex.yml.log 2024-02-09 23:58 27K
BUCHI_PETRI_NET-optimized.unroll-2.wvr.yml.log 2024-02-10 00:23 2.3M
BUCHI_PETRI_NET-optimized.unroll-3.wvr.yml.log 2024-02-10 00:23 2.3M
BUCHI_PETRI_NET-optimized.unroll-4.wvr.yml.log 2024-02-10 00:24 2.3M
BUCHI_PETRI_NET-optimized.unroll-5.wvr.yml.log 2024-02-10 00:23 2.3M
BUCHI_PETRI_NET-optimized.unroll-cond-2.wvr.yml.log 2024-02-10 00:24 2.3M
BUCHI_PETRI_NET-optimized.unroll-cond-3.wvr.yml.log 2024-02-10 00:24 2.3M
BUCHI_PETRI_NET-optimized.unroll-cond-4.wvr.yml.log 2024-02-10 00:24 2.3M
BUCHI_PETRI_NET-optimized.unroll-cond-5.wvr.yml.log 2024-02-10 00:24 2.3M
BUCHI_PETRI_NET-optimized.work-steal1.bpl.log 2024-02-10 00:28 368K
BUCHI_PETRI_NET-optimized.work-steal2.bpl.log 2024-02-10 00:30 124K
BUCHI_PETRI_NET.acq-work-3threads.bpl.log 2024-02-09 23:49 352K
BUCHI_PETRI_NET.acq-work-4threads.bpl.log 2024-02-09 23:49 352K
BUCHI_PETRI_NET.acq-work-5threads.bpl.log 2024-02-09 23:49 352K
BUCHI_PETRI_NET.acq-work-6threads.bpl.log 2024-02-09 23:49 353K
BUCHI_PETRI_NET.acq-work-constants.bpl.log 2024-02-09 23:49 352K
BUCHI_PETRI_NET.acq-work.bpl.log 2024-02-09 23:49 352K
BUCHI_PETRI_NET.arithmetic_prog_bad.yml.log 2024-02-09 23:49 99K
BUCHI_PETRI_NET.arithmetic_prog_ok.yml.log 2024-02-09 23:49 99K
BUCHI_PETRI_NET.array-eq-symm.wvr.yml.log 2024-02-09 23:32 477K
BUCHI_PETRI_NET.array-eq-trans.wvr.yml.log 2024-02-09 23:32 698K
BUCHI_PETRI_NET.array-sum-with-log-3threads.bpl.log 2024-02-09 23:53 125K
BUCHI_PETRI_NET.array-sum-with-log-4threads.bpl.log 2024-02-09 23:54 84K
BUCHI_PETRI_NET.array-sum-with-log-5threads.bpl.log 2024-02-09 23:54 84K
BUCHI_PETRI_NET.array-sum-with-log-6threads.bpl.log 2024-02-09 23:54 84K
BUCHI_PETRI_NET.array-sum-with-log.bpl.log 2024-02-09 23:49 84K
BUCHI_PETRI_NET.bench-exp1x3.wvr.yml.log 2024-02-09 23:29 1.4M
BUCHI_PETRI_NET.bench-exp2x3.wvr.yml.log 2024-02-09 23:29 2.1M
BUCHI_PETRI_NET.bench-exp2x4.wvr.yml.log 2024-02-09 23:29 2.1M
BUCHI_PETRI_NET.bench-exp2x6.wvr.yml.log 2024-02-09 23:29 2.1M
BUCHI_PETRI_NET.bench-exp2x9.wvr.yml.log 2024-02-09 23:29 2.1M
BUCHI_PETRI_NET.bench-exp3x3-opt.wvr.yml.log 2024-02-09 23:29 58K
BUCHI_PETRI_NET.bench-exp3x3.wvr.yml.log 2024-02-09 23:29 2.9M
BUCHI_PETRI_NET.chl-array-int-subst.wvr.yml.log 2024-02-09 23:29 189K
BUCHI_PETRI_NET.chl-array-int-symm.wvr.yml.log 2024-02-09 23:33 602K
BUCHI_PETRI_NET.chl-array-int-trans.wvr.yml.log 2024-02-09 23:29 187K
BUCHI_PETRI_NET.chl-chromosome-opt-symm.wvr.yml.log 2024-02-09 23:33 789K
BUCHI_PETRI_NET.chl-chromosome-subst.wvr.yml.log 2024-02-09 23:29 222K
BUCHI_PETRI_NET.chl-chromosome-symm.wvr.yml.log 2024-02-09 23:30 649K
BUCHI_PETRI_NET.chl-chromosome-trans.wvr.yml.log 2024-02-09 23:29 223K
BUCHI_PETRI_NET.chl-collitem-subst.wvr.yml.log 2024-02-09 23:29 27K
BUCHI_PETRI_NET.chl-collitem-symm.wvr.yml.log 2024-02-09 23:29 26K
BUCHI_PETRI_NET.chl-collitem-trans.wvr.yml.log 2024-02-09 23:29 27K
BUCHI_PETRI_NET.chl-exp-term-subst.wvr.yml.log 2024-02-09 23:29 26K
BUCHI_PETRI_NET.chl-exp-term-symm.wvr.yml.log 2024-02-09 23:29 26K
BUCHI_PETRI_NET.chl-file-item-subst.wvr.yml.log 2024-02-09 23:29 26K
BUCHI_PETRI_NET.chl-file-item-symm.wvr.yml.log 2024-02-09 23:29 26K
BUCHI_PETRI_NET.chl-file-item-trans.wvr.yml.log 2024-02-09 23:29 26K
BUCHI_PETRI_NET.chl-match-subst.wvr.yml.log 2024-02-09 23:30 26K
BUCHI_PETRI_NET.chl-match-symm.wvr.yml.log 2024-02-09 23:30 26K
BUCHI_PETRI_NET.chl-match-trans.wvr.yml.log 2024-02-09 23:30 26K
BUCHI_PETRI_NET.chl-name-comparator-subst.wvr.yml.log 2024-02-09 23:30 232K
BUCHI_PETRI_NET.chl-name-comparator-symm.wvr.yml.log 2024-02-09 23:34 383K
BUCHI_PETRI_NET.chl-name-comparator-trans.wvr.yml.log 2024-02-09 23:30 232K
BUCHI_PETRI_NET.chl-node-subst.wvr.yml.log 2024-02-09 23:30 272K
BUCHI_PETRI_NET.chl-node-symm.wvr.yml.log 2024-02-09 23:34 604K
BUCHI_PETRI_NET.chl-node-trans.wvr.yml.log 2024-02-09 23:30 272K
BUCHI_PETRI_NET.chl-nzb-file-subst.wvr.yml.log 2024-02-09 23:30 235K
BUCHI_PETRI_NET.chl-nzb-file-symm.wvr.yml.log 2024-02-09 23:30 185K
BUCHI_PETRI_NET.chl-nzb-file-trans.wvr.yml.log 2024-02-09 23:31 235K
BUCHI_PETRI_NET.chl-simpl-str-subst.wvr.yml.log 2024-02-09 23:31 26K
BUCHI_PETRI_NET.chl-simpl-str-symm.wvr.yml.log 2024-02-09 23:31 26K
BUCHI_PETRI_NET.chl-simpl-str-trans.wvr.yml.log 2024-02-09 23:31 26K
BUCHI_PETRI_NET.chl-sre-subst.wvr.yml.log 2024-02-09 23:31 26K
BUCHI_PETRI_NET.chl-sre-symm.wvr.yml.log 2024-02-09 23:31 26K
BUCHI_PETRI_NET.chl-sre-trans.wvr.yml.log 2024-02-09 23:31 26K
BUCHI_PETRI_NET.chl-time-subst.wvr.yml.log 2024-02-09 23:31 27K
BUCHI_PETRI_NET.chl-time-symm.wvr.yml.log 2024-02-09 23:31 26K
BUCHI_PETRI_NET.chl-time-trans.wvr.yml.log 2024-02-09 23:31 26K
BUCHI_PETRI_NET.chl-word-subst.wvr.yml.log 2024-02-09 23:31 197K
BUCHI_PETRI_NET.chl-word-symm.wvr.yml.log 2024-02-09 23:35 563K
BUCHI_PETRI_NET.chl-word-trans.wvr.yml.log 2024-02-09 23:31 195K
BUCHI_PETRI_NET.circular_buffer_bad.yml.log 2024-02-09 23:53 619K
BUCHI_PETRI_NET.circular_buffer_ok.yml.log 2024-02-09 23:53 460K
BUCHI_PETRI_NET.clever.wvr.yml.log 2024-02-09 23:32 199K
BUCHI_PETRI_NET.concurrent_mult.bpl.log 2024-02-09 23:49 73K
BUCHI_PETRI_NET.count0-countEven-sample-abs.bpl.log 2024-02-09 23:49 58K
BUCHI_PETRI_NET.dekker.yml.log 2024-02-09 23:29 99K
BUCHI_PETRI_NET.equal-array-sums-locked.bpl.log 2024-02-09 23:49 76K
BUCHI_PETRI_NET.fibonacci.wvr.yml.log 2024-02-09 23:36 114K
BUCHI_PETRI_NET.incr-decr-zero.bpl.log 2024-02-09 23:50 76K
BUCHI_PETRI_NET.lamport.yml.log 2024-02-09 23:29 174K
BUCHI_PETRI_NET.loop-tiling-eq.wvr.yml.log 2024-02-09 23:36 497K
BUCHI_PETRI_NET.map-aggr-update1-2modifiers.bpl.log 2024-02-09 23:53 107K
BUCHI_PETRI_NET.map-aggr-update1-3modifiers.bpl.log 2024-02-09 23:53 114K
BUCHI_PETRI_NET.map-aggr-update1-4modifiers.bpl.log 2024-02-09 23:53 116K
BUCHI_PETRI_NET.map-aggr-update1-otherloopbounds.bpl.log 2024-02-09 23:50 217K
BUCHI_PETRI_NET.map-aggr-update1.bpl.log 2024-02-09 23:54 102K
BUCHI_PETRI_NET.map-aggr-update2-otherloopbounds.bpl.log 2024-02-09 23:50 217K
BUCHI_PETRI_NET.map-aggr-update2.bpl.log 2024-02-09 23:54 108K
BUCHI_PETRI_NET.map-aggr-update3.bpl.log 2024-02-09 23:50 53K
BUCHI_PETRI_NET.map-comp.bpl.log 2024-02-09 23:51 72K
BUCHI_PETRI_NET.map-incr-decr.bpl.log 2024-02-09 23:50 72K
BUCHI_PETRI_NET.map-incr-split.bpl.log 2024-02-09 23:50 69K
BUCHI_PETRI_NET.max-tailsum2.bpl.log 2024-02-09 23:51 84K
BUCHI_PETRI_NET.max-tailsum3.bpl.log 2024-02-09 23:51 132K
BUCHI_PETRI_NET.max-tailsum4.bpl.log 2024-02-09 23:54 112K
BUCHI_PETRI_NET.max-tailsum5.bpl.log 2024-02-09 23:54 115K
BUCHI_PETRI_NET.min-max-sample-2.bpl.log 2024-02-09 23:53 30K
BUCHI_PETRI_NET.min-max-sample-abs-2.bpl.log 2024-02-09 23:53 32K
BUCHI_PETRI_NET.min-max-sample-abs-nonatomic.bpl.log 2024-02-09 23:53 32K
BUCHI_PETRI_NET.min-max-sample-abs.bpl.log 2024-02-09 23:58 55K
BUCHI_PETRI_NET.min-max-sample-with_locks.bpl.log 2024-02-09 23:55 84K
BUCHI_PETRI_NET.min-max-sample.bpl.log 2024-02-09 23:53 51K
BUCHI_PETRI_NET.min-max-split-sample.bpl.log 2024-02-09 23:56 123K
BUCHI_PETRI_NET.min2-max2-sample.bpl.log 2024-02-09 23:53 74K
BUCHI_PETRI_NET.motivating-slowitp.bpl.log 2024-02-09 23:53 97K
BUCHI_PETRI_NET.motivating.bpl.log 2024-02-09 23:53 35K
BUCHI_PETRI_NET.mult-comm.wvr.yml.log 2024-02-09 23:32 1.7M
BUCHI_PETRI_NET.mult-dist.wvr.yml.log 2024-02-09 23:32 2.2M
BUCHI_PETRI_NET.mult-flipped-dist.wvr.yml.log 2024-02-09 23:33 2.2M
BUCHI_PETRI_NET.optimistic-concurrency1.bpl.log 2024-02-09 23:54 80K
BUCHI_PETRI_NET.optimistic-concurrency2.bpl.log 2024-02-09 23:54 69K
BUCHI_PETRI_NET.parallel-bakery-2.wvr.yml.log 2024-02-09 23:32 26K
BUCHI_PETRI_NET.parallel-bakery-3.wvr.yml.log 2024-02-09 23:32 27K
BUCHI_PETRI_NET.parallel-bakery-4.wvr.yml.log 2024-02-09 23:32 27K
BUCHI_PETRI_NET.parallel-barrier-loop.wvr.yml.log 2024-02-09 23:33 2.6M
BUCHI_PETRI_NET.parallel-barrier.wvr.yml.log 2024-02-09 23:32 27K
BUCHI_PETRI_NET.parallel-bluetooth.wvr.yml.log 2024-02-09 23:33 26K
BUCHI_PETRI_NET.parallel-lamport.wvr.yml.log 2024-02-09 23:35 173K
BUCHI_PETRI_NET.parallel-min-max-1.wvr.yml.log 2024-02-09 23:37 559K
BUCHI_PETRI_NET.parallel-misc-1.wvr.yml.log 2024-02-09 23:36 121K
BUCHI_PETRI_NET.parallel-misc-2-unrolled-atomic.wvr.yml.log 2024-02-09 23:33 124K
BUCHI_PETRI_NET.parallel-misc-2-unrolled.wvr.yml.log 2024-02-09 23:33 2.1M
BUCHI_PETRI_NET.parallel-misc-2.wvr.yml.log 2024-02-09 23:34 3.5M
BUCHI_PETRI_NET.parallel-misc-3-extended.wvr.yml.log 2024-02-09 23:34 3.2M
BUCHI_PETRI_NET.parallel-misc-3.wvr.yml.log 2024-02-09 23:34 2.6M
BUCHI_PETRI_NET.parallel-misc-4.wvr.yml.log 2024-02-09 23:34 3.4M
BUCHI_PETRI_NET.parallel-misc-5.wvr.yml.log 2024-02-09 23:34 2.2M
BUCHI_PETRI_NET.parallel-parallel-sum-1-dsl.wvr.yml.log 2024-02-09 23:34 185K
BUCHI_PETRI_NET.parallel-parallel-sum-1.wvr.yml.log 2024-02-09 23:35 341K
BUCHI_PETRI_NET.parallel-parallel-sum-2.wvr.yml.log 2024-02-09 23:34 231K
BUCHI_PETRI_NET.parallel-parallel-sum-equiv.wvr.yml.log 2024-02-09 23:35 306K
BUCHI_PETRI_NET.parallel-simple-equiv.wvr.yml.log 2024-02-09 23:34 27K
BUCHI_PETRI_NET.parallel-ticket-2.wvr.yml.log 2024-02-09 23:34 26K
BUCHI_PETRI_NET.parallel-ticket-3.wvr.yml.log 2024-02-09 23:34 27K
BUCHI_PETRI_NET.parallel-ticket-4.wvr.yml.log 2024-02-09 23:34 27K
BUCHI_PETRI_NET.parallel-ticket-5.wvr.yml.log 2024-02-09 23:34 27K
BUCHI_PETRI_NET.parallel-ticket-6.wvr.yml.log 2024-02-09 23:34 27K
BUCHI_PETRI_NET.parallel-ticket-7.wvr.yml.log 2024-02-09 23:34 27K
BUCHI_PETRI_NET.parallel-ticket-8.wvr.yml.log 2024-02-09 23:34 28K
BUCHI_PETRI_NET.peterson.yml.log 2024-02-09 23:29 92K
BUCHI_PETRI_NET.popl20-bad-buffer-mult-alt.wvr.yml.log 2024-02-09 23:35 562K
BUCHI_PETRI_NET.popl20-bad-buffer-mult-alt2.wvr.yml.log 2024-02-09 23:36 506K
BUCHI_PETRI_NET.popl20-bad-counter-queue.wvr.yml.log 2024-02-09 23:37 511K
BUCHI_PETRI_NET.popl20-bad-counter-queue2.wvr.yml.log 2024-02-09 23:38 460K
BUCHI_PETRI_NET.popl20-bad-dot-product-alt.wvr.yml.log 2024-02-09 23:35 242K
BUCHI_PETRI_NET.popl20-bad-dot-product.wvr.yml.log 2024-02-09 23:35 187K
BUCHI_PETRI_NET.popl20-bad-ring-nondet.wvr.yml.log 2024-02-09 23:38 589K
BUCHI_PETRI_NET.popl20-bad-threaded-sum-2.wvr.yml.log 2024-02-09 23:35 720K
BUCHI_PETRI_NET.popl20-bad-three-array-sum-alt.wvr.yml.log 2024-02-09 23:36 208K
BUCHI_PETRI_NET.popl20-channel-sum.wvr.yml.log 2024-02-09 23:37 360K
BUCHI_PETRI_NET.popl20-commit-1.wvr.yml.log 2024-02-09 23:39 714K
BUCHI_PETRI_NET.popl20-commit-2.wvr.yml.log 2024-02-09 23:36 260K
BUCHI_PETRI_NET.popl20-counter-determinism.wvr.yml.log 2024-02-09 23:40 156K
BUCHI_PETRI_NET.popl20-counter-fun.wvr.yml.log 2024-02-09 23:39 828K
BUCHI_PETRI_NET.popl20-difference-det.wvr.yml.log 2024-02-09 23:40 178K
BUCHI_PETRI_NET.popl20-figure1-alt.wvr.yml.log 2024-02-09 23:37 120K
BUCHI_PETRI_NET.popl20-figure1.wvr.yml.log 2024-02-09 23:41 183K
BUCHI_PETRI_NET.popl20-figure3.wvr.yml.log 2024-02-09 23:37 1.7M
BUCHI_PETRI_NET.popl20-horseshoe.wvr.yml.log 2024-02-09 23:41 689K
BUCHI_PETRI_NET.popl20-min-max-dec.wvr.yml.log 2024-02-09 23:38 233K
BUCHI_PETRI_NET.popl20-min-max-inc-dec.wvr.yml.log 2024-02-09 23:37 156K
BUCHI_PETRI_NET.popl20-min-max-inc.wvr.yml.log 2024-02-09 23:38 233K
BUCHI_PETRI_NET.popl20-more-array-sum-alt.wvr.yml.log 2024-02-09 23:41 586K
BUCHI_PETRI_NET.popl20-more-array-sum-alt2.wvr.yml.log 2024-02-09 23:41 431K
BUCHI_PETRI_NET.popl20-more-array-sum.wvr.yml.log 2024-02-09 23:41 631K
BUCHI_PETRI_NET.popl20-more-array-sum2.wvr.yml.log 2024-02-09 23:39 414K
BUCHI_PETRI_NET.popl20-more-buffer-mult.wvr.yml.log 2024-02-09 23:40 482K
BUCHI_PETRI_NET.popl20-more-buffer-mult2.wvr.yml.log 2024-02-09 23:40 525K
BUCHI_PETRI_NET.popl20-more-buffer-series.wvr.yml.log 2024-02-09 23:42 487K
BUCHI_PETRI_NET.popl20-more-buffer-series2.wvr.yml.log 2024-02-09 23:43 587K
BUCHI_PETRI_NET.popl20-more-dec-subseq.wvr.yml.log 2024-02-09 23:43 1.0M
BUCHI_PETRI_NET.popl20-more-inc-subseq.wvr.yml.log 2024-02-09 23:44 1.0M
BUCHI_PETRI_NET.popl20-more-max-array-hom.wvr.yml.log 2024-02-09 23:44 284K
BUCHI_PETRI_NET.popl20-more-max-array.wvr.yml.log 2024-02-09 23:44 281K
BUCHI_PETRI_NET.popl20-more-min-array-hom.wvr.yml.log 2024-02-09 23:45 284K
BUCHI_PETRI_NET.popl20-more-min-array.wvr.yml.log 2024-02-09 23:45 283K
BUCHI_PETRI_NET.popl20-more-min-le-max.wvr.yml.log 2024-02-09 23:45 412K
BUCHI_PETRI_NET.popl20-more-mts.wvr.yml.log 2024-02-09 23:41 183K
BUCHI_PETRI_NET.popl20-more-multiply-verify.wvr.yml.log 2024-02-09 23:42 3.2M
BUCHI_PETRI_NET.popl20-more-nonblocking-counter-alt2.wvr.yml.log 2024-02-09 23:42 1.7M
BUCHI_PETRI_NET.popl20-more-queue-add-2-nl.wvr.yml.log 2024-02-09 23:42 334K
BUCHI_PETRI_NET.popl20-more-queue-add-3-nl.wvr.yml.log 2024-02-09 23:46 667K
BUCHI_PETRI_NET.popl20-more-sorted.wvr.yml.log 2024-02-09 23:46 226K
BUCHI_PETRI_NET.popl20-more-sum-array-hom.wvr.yml.log 2024-02-09 23:46 411K
BUCHI_PETRI_NET.popl20-more-vector-add.wvr.yml.log 2024-02-09 23:46 425K
BUCHI_PETRI_NET.popl20-mult-4.wvr.yml.log 2024-02-09 23:43 2.5M
BUCHI_PETRI_NET.popl20-mult-equiv.wvr.yml.log 2024-02-09 23:43 1.9M
BUCHI_PETRI_NET.popl20-nonblocking-cntr-alt.wvr.yml.log 2024-02-09 23:43 95K
BUCHI_PETRI_NET.popl20-nonblocking-cntr.wvr.yml.log 2024-02-09 23:43 112K
BUCHI_PETRI_NET.popl20-prod-cons-eq.wvr.yml.log 2024-02-09 23:44 593K
BUCHI_PETRI_NET.popl20-prod-cons.wvr.yml.log 2024-02-09 23:47 557K
BUCHI_PETRI_NET.popl20-prod-cons3.wvr.yml.log 2024-02-09 23:46 477K
BUCHI_PETRI_NET.popl20-proofs-counter-add-4-semi-Q67.wvr.yml.log 2024-02-09 23:43 127K
BUCHI_PETRI_NET.popl20-queue-add-2.wvr.yml.log 2024-02-09 23:48 590K
BUCHI_PETRI_NET.popl20-queue-add-3.wvr.yml.log 2024-02-09 23:48 811K
BUCHI_PETRI_NET.popl20-send-receive-alt.wvr.yml.log 2024-02-09 23:48 390K
BUCHI_PETRI_NET.popl20-send-receive.wvr.yml.log 2024-02-09 23:49 511K
BUCHI_PETRI_NET.popl20-simple-array-sum.wvr.yml.log 2024-02-09 23:47 644K
BUCHI_PETRI_NET.popl20-simple-queue.wvr.yml.log 2024-02-09 23:50 587K
BUCHI_PETRI_NET.popl20-threaded-sum-3.wvr.yml.log 2024-02-09 23:46 926K
BUCHI_PETRI_NET.popl20-three-array-max.wvr.yml.log 2024-02-09 23:50 346K
BUCHI_PETRI_NET.popl20-three-array-min.wvr.yml.log 2024-02-09 23:48 339K
BUCHI_PETRI_NET.popl20-three-array-sum.wvr.yml.log 2024-02-09 23:47 341K
BUCHI_PETRI_NET.popl20-two-queue.wvr.yml.log 2024-02-09 23:50 1.2M
BUCHI_PETRI_NET.pthread-demo-datarace-1.yml.log 2024-02-09 23:29 364K
BUCHI_PETRI_NET.qw2004-2b.yml.log 2024-02-09 23:29 26K
BUCHI_PETRI_NET.read_write_lock-1.yml.log 2024-02-09 23:29 27K
BUCHI_PETRI_NET.read_write_lock-2.yml.log 2024-02-09 23:29 27K
BUCHI_PETRI_NET.readers_writer.bpl.log 2024-02-09 23:54 566K
BUCHI_PETRI_NET.ring_2w1r-1.yml.log 2024-02-09 23:33 124K
BUCHI_PETRI_NET.security.wvr.yml.log 2024-02-09 23:46 26K
BUCHI_PETRI_NET.spaghetti.wvr.yml.log 2024-02-09 23:46 47K
BUCHI_PETRI_NET.sum-print.bpl.log 2024-02-09 23:54 46K
BUCHI_PETRI_NET.sum-print2.bpl.log 2024-02-09 23:54 85K
BUCHI_PETRI_NET.sum-rwlock.bpl.log 2024-02-09 23:54 46K
BUCHI_PETRI_NET.sum2_diff_incr_decr.bpl.log 2024-02-09 23:54 70K
BUCHI_PETRI_NET.sum_diff_incr_decr.bpl.log 2024-02-09 23:54 69K
BUCHI_PETRI_NET.sumsumbank.bpl.log 2024-02-09 23:54 30K
BUCHI_PETRI_NET.sumsuminc.bpl.log 2024-02-09 23:54 70K
BUCHI_PETRI_NET.sumsumsampleabs.bpl.log 2024-02-09 23:54 29K
BUCHI_PETRI_NET.sumsumsampleabs2.bpl.log 2024-02-09 23:54 121K
BUCHI_PETRI_NET.szymanski.yml.log 2024-02-09 23:29 134K
BUCHI_PETRI_NET.test-context1.wvr.yml.log 2024-02-09 23:50 631K
BUCHI_PETRI_NET.test-easy1.wvr.yml.log 2024-02-09 23:47 107K
BUCHI_PETRI_NET.test-easy10.wvr.yml.log 2024-02-09 23:47 27K
BUCHI_PETRI_NET.test-easy11.wvr.yml.log 2024-02-09 23:48 121K
BUCHI_PETRI_NET.test-easy6.wvr.yml.log 2024-02-09 23:47 26K
BUCHI_PETRI_NET.test-easy7.wvr.yml.log 2024-02-09 23:47 26K
BUCHI_PETRI_NET.test-hard1.wvr.yml.log 2024-02-09 23:48 2.5M
BUCHI_PETRI_NET.test-semi1.wvr.yml.log 2024-02-09 23:47 26K
BUCHI_PETRI_NET.time_var_mutex.yml.log 2024-02-09 23:29 26K
BUCHI_PETRI_NET.unroll-2.wvr.yml.log 2024-02-09 23:48 2.4M
BUCHI_PETRI_NET.unroll-3.wvr.yml.log 2024-02-09 23:48 2.4M
BUCHI_PETRI_NET.unroll-4.wvr.yml.log 2024-02-09 23:49 2.4M
BUCHI_PETRI_NET.unroll-5.wvr.yml.log 2024-02-09 23:49 2.4M
BUCHI_PETRI_NET.unroll-cond-2.wvr.yml.log 2024-02-09 23:49 2.4M
BUCHI_PETRI_NET.unroll-cond-3.wvr.yml.log 2024-02-09 23:49 2.4M
BUCHI_PETRI_NET.unroll-cond-4.wvr.yml.log 2024-02-09 23:49 2.4M
BUCHI_PETRI_NET.unroll-cond-5.wvr.yml.log 2024-02-09 23:49 2.4M
BUCHI_PETRI_NET.work-steal1.bpl.log 2024-02-09 23:57 349K
BUCHI_PETRI_NET.work-steal2.bpl.log 2024-02-09 23:55 128K