Index of /logs/student-concurrency/20231018-144906-student-concurrency-256a0b6336/termination-concurrency-bpl.2023-10-12_17-11-44.logfiles
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
Buchi Automaton.acq-work-3threads.bpl.log 2023-10-12 17:12 304K
Buchi Automaton.acq-work-4threads.bpl.log 2023-10-12 17:12 304K
Buchi Automaton.acq-work-5threads.bpl.log 2023-10-12 17:12 304K
Buchi Automaton.acq-work-6threads.bpl.log 2023-10-12 17:12 304K
Buchi Automaton.acq-work-constants.bpl.log 2023-10-12 17:12 303K
Buchi Automaton.acq-work.bpl.log 2023-10-12 17:12 303K
Buchi Automaton.array-eq-symm.wvr.bpl.log 2023-10-12 17:12 214K
Buchi Automaton.array-eq-trans.wvr.bpl.log 2023-10-12 17:12 476K
Buchi Automaton.array-int-subst.wvr.bpl.log 2023-10-12 17:13 92K
Buchi Automaton.array-int-symm.wvr.bpl.log 2023-10-12 17:13 64K
Buchi Automaton.array-int-trans.wvr.bpl.log 2023-10-12 17:13 84K
Buchi Automaton.array-sum-alt.wvr.bpl.log 2023-10-12 17:13 100K
Buchi Automaton.array-sum-with-log-3threads.bpl.log 2023-10-12 17:12 120K
Buchi Automaton.array-sum-with-log-4threads.bpl.log 2023-10-12 17:12 172K
Buchi Automaton.array-sum-with-log-5threads.bpl.log 2023-10-12 17:12 244K
Buchi Automaton.array-sum-with-log-6threads.bpl.log 2023-10-12 17:14 291K
Buchi Automaton.array-sum-with-log.bpl.log 2023-10-12 17:12 84K
Buchi Automaton.array-sum.wvr.bpl.log 2023-10-12 17:13 98K
Buchi Automaton.atomic.bpl.log 2023-10-12 17:11 25K
Buchi Automaton.bakery-2.wvr.bpl.log 2023-10-12 17:13 25K
Buchi Automaton.bakery-3.wvr.bpl.log 2023-10-12 17:13 26K
Buchi Automaton.bakery-4.wvr.bpl.log 2023-10-12 17:13 26K
Buchi Automaton.barrier-loop.wvr.bpl.log 2023-10-12 17:13 151K
Buchi Automaton.barrier.wvr.bpl.log 2023-10-12 17:13 27K
Buchi Automaton.bigNumberOfThreads.bpl.log 2023-10-12 17:12 95K
Buchi Automaton.bluetooth.wvr.bpl.log 2023-10-12 17:13 25K
Buchi Automaton.buffer-mult-alt.wvr.bpl.log 2023-10-12 17:13 257K
Buchi Automaton.buffer-mult.wvr.bpl.log 2023-10-12 17:13 226K
Buchi Automaton.buffer-series-array.wvr.bpl.log 2023-10-12 17:13 275K
Buchi Automaton.buffer-series.wvr.bpl.log 2023-10-12 17:13 274K
Buchi Automaton.channel-sum.wvr.bpl.log 2023-10-12 17:14 287K
Buchi Automaton.chromosome-opt-symm.wvr.bpl.log 2023-10-12 17:13 190K
Buchi Automaton.chromosome-subst.wvr.bpl.log 2023-10-12 17:13 90K
Buchi Automaton.chromosome-symm.wvr.bpl.log 2023-10-12 17:13 66K
Buchi Automaton.chromosome-trans.wvr.bpl.log 2023-10-12 17:13 86K
Buchi Automaton.clever.wvr.bpl.log 2023-10-12 17:12 136K
Buchi Automaton.collitem-subst.wvr.bpl.log 2023-10-12 17:13 26K
Buchi Automaton.collitem-symm.wvr.bpl.log 2023-10-12 17:13 26K
Buchi Automaton.collitem-trans.wvr.bpl.log 2023-10-12 17:13 26K
Buchi Automaton.commit-1.wvr.bpl.log 2023-10-12 17:17 809K
Buchi Automaton.commit-2.wvr.bpl.log 2023-10-12 17:17 920K
Buchi Automaton.concurrent_FiveToOne_nonterminating.bpl.log 2023-10-12 17:12 128K
Buchi Automaton.concurrent_increment.bpl.log 2023-10-12 17:12 70K
Buchi Automaton.concurrent_increment_nonterminating2.bpl.log 2023-10-12 17:12 157K
Buchi Automaton.concurrent_mult.bpl.log 2023-10-12 17:11 80K
Buchi Automaton.concurrent_ThreeThreadsAlternating_nonterminating.bpl.log 2023-10-12 17:12 115K
Buchi Automaton.concurrent_TwoOne_nonterminating.bpl.log 2023-10-12 17:12 102K
Buchi Automaton.container-subst.wvr.bpl.log 2023-10-12 17:13 26K
Buchi Automaton.container-symm.wvr.bpl.log 2023-10-12 17:13 26K
Buchi Automaton.container-trans.wvr.bpl.log 2023-10-12 17:13 26K
Buchi Automaton.context1.wvr.bpl.log 2023-10-12 17:14 197K
Buchi Automaton.count0-countEven-sample-abs.bpl.log 2023-10-12 17:12 61K
Buchi Automaton.counter-add-4-semi-Q67.wvr.bpl.log 2023-10-12 17:14 357K
Buchi Automaton.counter-determinism.wvr.bpl.log 2023-10-12 17:14 153K
Buchi Automaton.counter-fun.wvr.bpl.log 2023-10-12 17:14 74K
Buchi Automaton.counter-queue.wvr.bpl.log 2023-10-12 17:13 69K
Buchi Automaton.cutoff_test.bpl.log 2023-10-12 17:12 31K
Buchi Automaton.dec-subseq-array.wvr.bpl.log 2023-10-12 17:14 184K
Buchi Automaton.dec-subseq.wvr.bpl.log 2023-10-12 17:14 184K
Buchi Automaton.difference-det.wvr.bpl.log 2023-10-12 17:14 122K
Buchi Automaton.dot-product-alt.wvr.bpl.log 2023-10-12 17:13 99K
Buchi Automaton.dot-product-array.wvr.bpl.log 2023-10-12 17:13 101K
Buchi Automaton.dot-product.wvr.bpl.log 2023-10-12 17:13 325K
Buchi Automaton.easy1.wvr.bpl.log 2023-10-12 17:14 67K
Buchi Automaton.easy10.wvr.bpl.log 2023-10-12 17:14 26K
Buchi Automaton.easy11.wvr.bpl.log 2023-10-12 17:14 68K
Buchi Automaton.easy6.wvr.bpl.log 2023-10-12 17:14 25K
Buchi Automaton.easy7.wvr.bpl.log 2023-10-12 17:14 25K
Buchi Automaton.easy8.wvr.bpl.log 2023-10-12 17:14 25K
Buchi Automaton.equal-array-sums-locked.bpl.log 2023-10-12 17:11 68K
Buchi Automaton.equal-array-sums.bpl.log 2023-10-12 17:12 68K
Buchi Automaton.example1.bpl.log 2023-10-12 17:12 25K
Buchi Automaton.example2.bpl.log 2023-10-12 17:12 25K
Buchi Automaton.example_epsilon_write.bpl.log 2023-10-12 17:12 25K
Buchi Automaton.example_interleaving.bpl.log 2023-10-12 17:12 26K
Buchi Automaton.example_interleaving_simple.bpl.log 2023-10-12 17:12 25K
Buchi Automaton.example_multiple_interleavings.bpl.log 2023-10-12 17:12 26K
Buchi Automaton.example_unnecessary_interleavings.bpl.log 2023-10-12 17:12 26K
Buchi Automaton.exp-term-subst.wvr.bpl.log 2023-10-12 17:13 26K
Buchi Automaton.exp-term-symm.wvr.bpl.log 2023-10-12 17:13 26K
Buchi Automaton.exp1x3.wvr.bpl.log 2023-10-12 17:13 82K
Buchi Automaton.exp2x3.wvr.bpl.log 2023-10-12 17:13 157K
Buchi Automaton.exp2x4.wvr.bpl.log 2023-10-12 17:13 161K
Buchi Automaton.exp2x6.wvr.bpl.log 2023-10-12 17:13 168K
Buchi Automaton.exp2x9.wvr.bpl.log 2023-10-12 17:13 156K
Buchi Automaton.exp3x3-opt.wvr.bpl.log 2023-10-12 17:13 34K
Buchi Automaton.exp3x3.wvr.bpl.log 2023-10-12 17:13 343K
Buchi Automaton.fibonacci.wvr.bpl.log 2023-10-12 17:12 69K
Buchi Automaton.figure1-alt.wvr.bpl.log 2023-10-12 17:14 148K
Buchi Automaton.figure1.wvr.bpl.log 2023-10-12 17:14 155K
Buchi Automaton.figure3.wvr.bpl.log 2023-10-12 17:14 76K
Buchi Automaton.file-item-subst.wvr.bpl.log 2023-10-12 17:13 26K
Buchi Automaton.file-item-symm.wvr.bpl.log 2023-10-12 17:13 26K
Buchi Automaton.file-item-trans.wvr.bpl.log 2023-10-12 17:13 26K
Buchi Automaton.fork_in_loop.bpl.log 2023-10-12 17:12 72K
Buchi Automaton.fork_join_expression_type_not_found.bpl.log 2023-10-12 17:12 25K
Buchi Automaton.fork_join_in_loop.bpl.log 2023-10-12 17:12 50K
Buchi Automaton.fork_join_NotMod.bpl.log 2023-10-12 17:12 25K
Buchi Automaton.fork_multiple_parameter.bpl.log 2023-10-12 17:12 25K
Buchi Automaton.fork_multiple_times.bpl.log 2023-10-12 17:12 25K
Buchi Automaton.fork_unchanged_local_variables2.bpl.log 2023-10-12 17:12 49K
Buchi Automaton.ForkInForkedProcedure01.bpl.log 2023-10-12 17:11 26K
Buchi Automaton.ForkInForkedProcedure02.bpl.log 2023-10-12 17:11 26K
Buchi Automaton.ForkInLoop02-Incrementer.bpl.log 2023-10-12 17:13 119K
Buchi Automaton.hard1.wvr.bpl.log 2023-10-12 17:14 126K
Buchi Automaton.horseshoe.wvr.bpl.log 2023-10-12 17:14 336K
Buchi Automaton.inc-subseq-array.wvr.bpl.log 2023-10-12 17:14 184K
Buchi Automaton.inc-subseq.wvr.bpl.log 2023-10-12 17:14 184K
Buchi Automaton.incr-decr-zero.bpl.log 2023-10-12 17:12 70K
Buchi Automaton.join_assign_global.bpl.log 2023-10-12 17:12 26K
Buchi Automaton.join_multiple_return_values.bpl.log 2023-10-12 17:12 25K
Buchi Automaton.JoinTheForkingThread.bpl.log 2023-10-12 17:11 25K
Buchi Automaton.lamport.wvr.bpl.log 2023-10-12 17:13 26K
Buchi Automaton.LBE_bigexample_safe.bpl.log 2023-10-12 17:11 25K
Buchi Automaton.LBE_bigexample_safe_BA.bpl.log 2023-10-12 17:11 25K
Buchi Automaton.LBE_example_semanticCheck.bpl.log 2023-10-12 17:11 25K
Buchi Automaton.LBE_Y_to_V.bpl.log 2023-10-12 17:11 20K
Buchi Automaton.lipton_unsoundness.bpl.log 2023-10-12 17:12 25K
Buchi Automaton.loop-lockstep-example.bpl.log 2023-10-12 17:12 75K
Buchi Automaton.loop-tiling-eq.wvr.bpl.log 2023-10-12 17:12 152K
Buchi Automaton.map-aggr-update1-2modifiers.bpl.log 2023-10-12 17:12 155K
Buchi Automaton.map-aggr-update1-3modifiers.bpl.log 2023-10-12 17:12 205K
Buchi Automaton.map-aggr-update1-4modifiers.bpl.log 2023-10-12 17:12 240K
Buchi Automaton.map-aggr-update1-otherloopbounds.bpl.log 2023-10-12 17:12 220K
Buchi Automaton.map-aggr-update1.bpl.log 2023-10-12 17:12 94K
Buchi Automaton.map-aggr-update2-otherloopbounds.bpl.log 2023-10-12 17:12 220K
Buchi Automaton.map-aggr-update2.bpl.log 2023-10-12 17:12 90K
Buchi Automaton.map-aggr-update3.bpl.log 2023-10-12 17:12 74K
Buchi Automaton.map-comp.bpl.log 2023-10-12 17:12 95K
Buchi Automaton.map-incr-decr.bpl.log 2023-10-12 17:12 72K
Buchi Automaton.map-incr-split.bpl.log 2023-10-12 17:12 68K
Buchi Automaton.match-subst.wvr.bpl.log 2023-10-12 17:13 26K
Buchi Automaton.match-symm.wvr.bpl.log 2023-10-12 17:13 25K
Buchi Automaton.match-trans.wvr.bpl.log 2023-10-12 17:13 26K
Buchi Automaton.max-array-hom.wvr.bpl.log 2023-10-12 17:14 112K
Buchi Automaton.max-array.wvr.bpl.log 2023-10-12 17:14 109K
Buchi Automaton.max-fun-alt.wvr.bpl.log 2023-10-12 17:14 109K
Buchi Automaton.max-fun.wvr.bpl.log 2023-10-12 17:14 112K
Buchi Automaton.max-tailsum2.bpl.log 2023-10-12 17:12 80K
Buchi Automaton.max-tailsum3.bpl.log 2023-10-12 17:12 128K
Buchi Automaton.max-tailsum4.bpl.log 2023-10-12 17:12 165K
Buchi Automaton.max-tailsum5.bpl.log 2023-10-12 17:12 267K
Buchi Automaton.min-array-hom.wvr.bpl.log 2023-10-12 17:14 104K
Buchi Automaton.min-array.wvr.bpl.log 2023-10-12 17:14 98K
Buchi Automaton.min-fun-alt.wvr.bpl.log 2023-10-12 17:14 98K
Buchi Automaton.min-fun.wvr.bpl.log 2023-10-12 17:14 103K
Buchi Automaton.min-le-max.wvr.bpl.log 2023-10-12 17:14 76K
Buchi Automaton.min-max-1.wvr.bpl.log 2023-10-12 17:13 46K
Buchi Automaton.min-max-2.wvr.bpl.log 2023-10-12 17:13 180K
Buchi Automaton.min-max-dec.wvr.bpl.log 2023-10-12 17:14 114K
Buchi Automaton.min-max-inc-dec.wvr.bpl.log 2023-10-12 17:14 153K
Buchi Automaton.min-max-inc.wvr.bpl.log 2023-10-12 17:14 120K
Buchi Automaton.min-max-sample-2.bpl.log 2023-10-12 17:12 34K
Buchi Automaton.min-max-sample-abs-2.bpl.log 2023-10-12 17:12 58K
Buchi Automaton.min-max-sample-abs-nonatomic.bpl.log 2023-10-12 17:12 80K
Buchi Automaton.min-max-sample-abs.bpl.log 2023-10-12 17:12 97K
Buchi Automaton.min-max-sample-with_locks.bpl.log 2023-10-12 17:12 36K
Buchi Automaton.min-max-sample.bpl.log 2023-10-12 17:12 34K
Buchi Automaton.min-max-split-sample.bpl.log 2023-10-12 17:12 155K
Buchi Automaton.min2-max2-sample.bpl.log 2023-10-12 17:12 88K
Buchi Automaton.MirabelleConcurrentIncrement.bpl.log 2023-10-12 17:11 67K
Buchi Automaton.misc-1.wvr.bpl.log 2023-10-12 17:13 73K
Buchi Automaton.misc-2-unrolled-atomic.wvr.bpl.log 2023-10-12 17:13 73K
Buchi Automaton.misc-2-unrolled.wvr.bpl.log 2023-10-12 17:13 76K
Buchi Automaton.misc-2.wvr.bpl.log 2023-10-12 17:13 71K
Buchi Automaton.misc-3-extended.wvr.bpl.log 2023-10-12 17:13 354K
Buchi Automaton.misc-3.wvr.bpl.log 2023-10-12 17:13 263K
Buchi Automaton.misc-4.wvr.bpl.log 2023-10-12 17:13 101K
Buchi Automaton.misc-5.wvr.bpl.log 2023-10-12 17:13 52K
Buchi Automaton.motivating-slowitp.bpl.log 2023-10-12 17:12 107K
Buchi Automaton.motivating.bpl.log 2023-10-12 17:12 41K
Buchi Automaton.mts-array.wvr.bpl.log 2023-10-12 17:14 102K
Buchi Automaton.mts.wvr.bpl.log 2023-10-12 17:14 102K
Buchi Automaton.mult-4.wvr.bpl.log 2023-10-12 17:14 131K
Buchi Automaton.mult-comm.wvr.bpl.log 2023-10-12 17:12 73K
Buchi Automaton.mult-dist.wvr.bpl.log 2023-10-12 17:12 95K
Buchi Automaton.mult-equiv.wvr.bpl.log 2023-10-12 17:14 99K
Buchi Automaton.mult-flipped-dist.wvr.bpl.log 2023-10-12 17:12 99K
Buchi Automaton.multiple_fork_same_id.bpl.log 2023-10-12 17:12 25K
Buchi Automaton.multiple_fork_same_id_different_return_type.bpl.log 2023-10-12 17:12 26K
Buchi Automaton.multiple_fork_statements_different_types.bpl.log 2023-10-12 17:12 26K
Buchi Automaton.multiply-verify.wvr.bpl.log 2023-10-12 17:14 73K
Buchi Automaton.name-comparator-subst.wvr.bpl.log 2023-10-12 17:13 89K
Buchi Automaton.name-comparator-symm.wvr.bpl.log 2023-10-12 17:13 69K
Buchi Automaton.name-comparator-trans.wvr.bpl.log 2023-10-12 17:13 89K
Buchi Automaton.Nconcurrent_FourLoopsAlternating_nonterminating.bpl.log 2023-10-12 17:12 127K
Buchi Automaton.Nconcurrent_ThreeThreadsComplexAlternation_nonterminating.bpl.log 2023-10-12 17:12 189K
Buchi Automaton.nested_fork.bpl.log 2023-10-12 17:12 25K
Buchi Automaton.node-subst.wvr.bpl.log 2023-10-12 17:13 26K
Buchi Automaton.node-symm.wvr.bpl.log 2023-10-12 17:13 26K
Buchi Automaton.node-trans.wvr.bpl.log 2023-10-12 17:13 26K
Buchi Automaton.NonAtomicIncrement_2Threads_Loop.bpl.log 2023-10-12 17:11 80K
Buchi Automaton.nonblocking-cntr-alt.wvr.bpl.log 2023-10-12 17:14 61K
Buchi Automaton.nonblocking-cntr.wvr.bpl.log 2023-10-12 17:14 61K
Buchi Automaton.nonblocking-counter-alt2.wvr.bpl.log 2023-10-12 17:14 60K
Buchi Automaton.nzb-file-subst.wvr.bpl.log 2023-10-12 17:13 87K
Buchi Automaton.nzb-file-symm.wvr.bpl.log 2023-10-12 17:13 72K
Buchi Automaton.nzb-file-trans.wvr.bpl.log 2023-10-12 17:13 93K
Buchi Automaton.optimistic-concurrency1.bpl.log 2023-10-12 17:12 131K
Buchi Automaton.optimistic-concurrency2.bpl.log 2023-10-12 17:12 131K
Buchi Automaton.parallel-sum-1-dsl.wvr.bpl.log 2023-10-12 17:13 77K
Buchi Automaton.parallel-sum-1.wvr.bpl.log 2023-10-12 17:13 77K
Buchi Automaton.parallel-sum-2.wvr.bpl.log 2023-10-12 17:13 88K
Buchi Automaton.parallel-sum-equiv.wvr.bpl.log 2023-10-12 17:13 72K
Buchi Automaton.parray-copy.wvr.bpl.log 2023-10-12 17:14 97K
Buchi Automaton.poker-hand-subst.wvr.bpl.log 2023-10-12 17:13 57K
Buchi Automaton.poker-hand-symm.wvr.bpl.log 2023-10-12 17:13 36K
Buchi Automaton.poker-hand-trans.wvr.bpl.log 2023-10-12 17:13 59K
Buchi Automaton.prod-cons-eq.wvr.bpl.log 2023-10-12 17:14 317K
Buchi Automaton.prod-cons.wvr.bpl.log 2023-10-12 17:14 254K
Buchi Automaton.prod-cons3.wvr.bpl.log 2023-10-12 17:14 364K
Buchi Automaton.PseudoRandomLoop_nonterminating.bpl.log 2023-10-12 17:12 8.2K
Buchi Automaton.queue-add-2-nl.wvr.bpl.log 2023-10-12 17:14 194K
Buchi Automaton.queue-add-2.wvr.bpl.log 2023-10-12 17:14 158K
Buchi Automaton.queue-add-3-nl.wvr.bpl.log 2023-10-12 17:14 305K
Buchi Automaton.queue-add-3.wvr.bpl.log 2023-10-12 17:14 275K
Buchi Automaton.readers_writer.bpl.log 2023-10-12 17:12 290K
Buchi Automaton.ring-nondet.wvr.bpl.log 2023-10-12 17:14 471K
Buchi Automaton.ring.wvr.bpl.log 2023-10-12 17:13 255K
Buchi Automaton.security.wvr.bpl.log 2023-10-12 17:12 25K
Buchi Automaton.semi1.wvr.bpl.log 2023-10-12 17:14 26K
Buchi Automaton.send-receive-alt.wvr.bpl.log 2023-10-12 17:14 287K
Buchi Automaton.send-receive.wvr.bpl.log 2023-10-12 17:14 336K
Buchi Automaton.simpl-str-subst.wvr.bpl.log 2023-10-12 17:13 26K
Buchi Automaton.simpl-str-symm.wvr.bpl.log 2023-10-12 17:13 26K
Buchi Automaton.simpl-str-trans.wvr.bpl.log 2023-10-12 17:13 26K
Buchi Automaton.simple-array-sum.wvr.bpl.log 2023-10-12 17:14 86K
Buchi Automaton.simple-equiv.wvr.bpl.log 2023-10-12 17:13 26K
Buchi Automaton.simple-queue.wvr.bpl.log 2023-10-12 17:14 197K
Buchi Automaton.single_assertion_test.bpl.log 2023-10-12 17:12 49K
Buchi Automaton.sorted.wvr.bpl.log 2023-10-12 17:14 104K
Buchi Automaton.spaghetti.wvr.bpl.log 2023-10-12 17:12 32K
Buchi Automaton.SpecificationInliningProblem.bpl.log 2023-10-12 17:11 26K
Buchi Automaton.sre-subst.wvr.bpl.log 2023-10-12 17:13 26K
Buchi Automaton.sre-symm.wvr.bpl.log 2023-10-12 17:13 25K
Buchi Automaton.sre-trans.wvr.bpl.log 2023-10-12 17:13 26K
Buchi Automaton.sum-array-hom.wvr.bpl.log 2023-10-12 17:14 89K
Buchi Automaton.sum-array.wvr.bpl.log 2023-10-12 17:14 88K
Buchi Automaton.sum-fun-alt.wvr.bpl.log 2023-10-12 17:14 88K
Buchi Automaton.sum-fun.wvr.bpl.log 2023-10-12 17:14 91K
Buchi Automaton.sum-print.bpl.log 2023-10-12 17:12 51K
Buchi Automaton.sum-print2.bpl.log 2023-10-12 17:12 71K
Buchi Automaton.sum-rwlock.bpl.log 2023-10-12 17:12 51K
Buchi Automaton.sum2_diff_incr_decr.bpl.log 2023-10-12 17:12 77K
Buchi Automaton.sum_diff_incr_decr.bpl.log 2023-10-12 17:12 74K
Buchi Automaton.sum_invariant.bpl.log 2023-10-12 17:12 25K
Buchi Automaton.sumsumbank.bpl.log 2023-10-12 17:12 33K
Buchi Automaton.sumsuminc.bpl.log 2023-10-12 17:12 78K
Buchi Automaton.sumsumsampleabs.bpl.log 2023-10-12 17:12 32K
Buchi Automaton.sumsumsampleabs2.bpl.log 2023-10-12 17:12 106K
Buchi Automaton.threaded-sum-2.wvr.bpl.log 2023-10-12 17:13 86K
Buchi Automaton.threaded-sum-3.wvr.bpl.log 2023-10-12 17:14 85K
Buchi Automaton.ThreadIdListTest-Safe.bpl.log 2023-10-12 17:11 25K
Buchi Automaton.ThreadIdTest-Safe.bpl.log 2023-10-12 17:11 25K
Buchi Automaton.ThreadIdTest-Unsafe.bpl.log 2023-10-12 17:11 25K
Buchi Automaton.three-array-max.wvr.bpl.log 2023-10-12 17:14 88K
Buchi Automaton.three-array-min.wvr.bpl.log 2023-10-12 17:14 84K
Buchi Automaton.three-array-sum-alt.wvr.bpl.log 2023-10-12 17:13 102K
Buchi Automaton.three-array-sum.wvr.bpl.log 2023-10-12 17:14 85K
Buchi Automaton.ThyssenKruppRelegation.bpl.log 2023-10-12 17:11 25K
Buchi Automaton.ticket-2.wvr.bpl.log 2023-10-12 17:13 25K
Buchi Automaton.ticket-3.wvr.bpl.log 2023-10-12 17:13 26K
Buchi Automaton.ticket-4.wvr.bpl.log 2023-10-12 17:13 26K
Buchi Automaton.ticket-5.wvr.bpl.log 2023-10-12 17:13 27K
Buchi Automaton.ticket-6.wvr.bpl.log 2023-10-12 17:13 27K
Buchi Automaton.ticket-7.wvr.bpl.log 2023-10-12 17:13 27K
Buchi Automaton.ticket-8.wvr.bpl.log 2023-10-12 17:13 28K
Buchi Automaton.time-subst.wvr.bpl.log 2023-10-12 17:13 26K
Buchi Automaton.time-symm.wvr.bpl.log 2023-10-12 17:13 25K
Buchi Automaton.time-trans.wvr.bpl.log 2023-10-12 17:13 26K
Buchi Automaton.two-queue.wvr.bpl.log 2023-10-12 17:14 407K
Buchi Automaton.TwoActiveWorkersSirius.bpl.log 2023-10-12 17:11 75K
Buchi Automaton.unroll-2.wvr.bpl.log 2023-10-12 17:12 79K
Buchi Automaton.unroll-3.wvr.bpl.log 2023-10-12 17:12 68K
Buchi Automaton.unroll-4.wvr.bpl.log 2023-10-12 17:12 68K
Buchi Automaton.unroll-5.wvr.bpl.log 2023-10-12 17:12 64K
Buchi Automaton.unroll-cond-2.wvr.bpl.log 2023-10-12 17:12 72K
Buchi Automaton.unroll-cond-3.wvr.bpl.log 2023-10-12 17:13 75K
Buchi Automaton.unroll-cond-4.wvr.bpl.log 2023-10-12 17:13 77K
Buchi Automaton.unroll-cond-5.wvr.bpl.log 2023-10-12 17:13 87K
Buchi Automaton.vector-add.wvr.bpl.log 2023-10-12 17:14 104K
Buchi Automaton.word-subst.wvr.bpl.log 2023-10-12 17:13 92K
Buchi Automaton.word-symm.wvr.bpl.log 2023-10-12 17:13 68K
Buchi Automaton.word-trans.wvr.bpl.log 2023-10-12 17:13 101K
Buchi Automaton.work-steal1.bpl.log 2023-10-12 17:12 46K
Buchi Automaton.work-steal2.bpl.log 2023-10-12 17:12 54K
Buchi PN.acq-work-3threads.bpl.log 2023-10-12 17:18 303K
Buchi PN.acq-work-4threads.bpl.log 2023-10-12 17:18 303K
Buchi PN.acq-work-5threads.bpl.log 2023-10-12 17:18 303K
Buchi PN.acq-work-6threads.bpl.log 2023-10-12 17:18 304K
Buchi PN.acq-work-constants.bpl.log 2023-10-12 17:18 303K
Buchi PN.acq-work.bpl.log 2023-10-12 17:18 303K
Buchi PN.array-eq-symm.wvr.bpl.log 2023-10-12 17:21 130K
Buchi PN.array-eq-trans.wvr.bpl.log 2023-10-12 17:21 191K
Buchi PN.array-int-subst.wvr.bpl.log 2023-10-12 17:23 98K
Buchi PN.array-int-symm.wvr.bpl.log 2023-10-12 17:22 63K
Buchi PN.array-int-trans.wvr.bpl.log 2023-10-12 17:23 87K
Buchi PN.array-sum-alt.wvr.bpl.log 2023-10-12 17:25 105K
Buchi PN.array-sum-with-log-3threads.bpl.log 2023-10-12 17:18 118K
Buchi PN.array-sum-with-log-4threads.bpl.log 2023-10-12 17:21 168K
Buchi PN.array-sum-with-log-5threads.bpl.log 2023-10-12 17:22 128K
Buchi PN.array-sum-with-log-6threads.bpl.log 2023-10-12 17:22 117K
Buchi PN.array-sum-with-log.bpl.log 2023-10-12 17:18 83K
Buchi PN.array-sum.wvr.bpl.log 2023-10-12 17:25 101K
Buchi PN.atomic.bpl.log 2023-10-12 17:17 25K
Buchi PN.bakery-2.wvr.bpl.log 2023-10-12 17:24 26K
Buchi PN.bakery-3.wvr.bpl.log 2023-10-12 17:24 26K
Buchi PN.bakery-4.wvr.bpl.log 2023-10-12 17:24 26K
Buchi PN.barrier-loop.wvr.bpl.log 2023-10-12 17:25 160K
Buchi PN.barrier.wvr.bpl.log 2023-10-12 17:24 27K
Buchi PN.bigNumberOfThreads.bpl.log 2023-10-12 17:18 95K
Buchi PN.bluetooth.wvr.bpl.log 2023-10-12 17:24 26K
Buchi PN.buffer-mult-alt.wvr.bpl.log 2023-10-12 17:29 157K
Buchi PN.buffer-mult.wvr.bpl.log 2023-10-12 17:30 142K
Buchi PN.buffer-series-array.wvr.bpl.log 2023-10-12 17:30 141K
Buchi PN.buffer-series.wvr.bpl.log 2023-10-12 17:30 139K
Buchi PN.channel-sum.wvr.bpl.log 2023-10-12 17:30 287K
Buchi PN.chromosome-opt-symm.wvr.bpl.log 2023-10-12 17:23 115K
Buchi PN.chromosome-subst.wvr.bpl.log 2023-10-12 17:23 104K
Buchi PN.chromosome-symm.wvr.bpl.log 2023-10-12 17:23 71K
Buchi PN.chromosome-trans.wvr.bpl.log 2023-10-12 17:23 106K
Buchi PN.clever.wvr.bpl.log 2023-10-12 17:25 136K
Buchi PN.collitem-subst.wvr.bpl.log 2023-10-12 17:23 26K
Buchi PN.collitem-symm.wvr.bpl.log 2023-10-12 17:23 26K
Buchi PN.collitem-trans.wvr.bpl.log 2023-10-12 17:23 26K
Buchi PN.commit-1.wvr.bpl.log 2023-10-12 17:31 575K
Buchi PN.commit-2.wvr.bpl.log 2023-10-12 17:31 899K
Buchi PN.concurrent_FiveToOne_nonterminating.bpl.log 2023-10-12 17:18 119K
Buchi PN.concurrent_increment.bpl.log 2023-10-12 17:17 69K
Buchi PN.concurrent_increment_nonterminating2.bpl.log 2023-10-12 17:18 99K
Buchi PN.concurrent_mult.bpl.log 2023-10-12 17:17 76K
Buchi PN.concurrent_ThreeThreadsAlternating_nonterminating.bpl.log 2023-10-12 17:18 121K
Buchi PN.concurrent_TwoOne_nonterminating.bpl.log 2023-10-12 17:18 106K
Buchi PN.container-subst.wvr.bpl.log 2023-10-12 17:23 26K
Buchi PN.container-symm.wvr.bpl.log 2023-10-12 17:23 26K
Buchi PN.container-trans.wvr.bpl.log 2023-10-12 17:23 26K
Buchi PN.context1.wvr.bpl.log 2023-10-12 17:32 197K
Buchi PN.count0-countEven-sample-abs.bpl.log 2023-10-12 17:18 59K
Buchi PN.counter-add-4-semi-Q67.wvr.bpl.log 2023-10-12 17:34 125K
Buchi PN.counter-determinism.wvr.bpl.log 2023-10-12 17:34 151K
Buchi PN.counter-fun.wvr.bpl.log 2023-10-12 17:30 76K
Buchi PN.counter-queue.wvr.bpl.log 2023-10-12 17:25 68K
Buchi PN.cutoff_test.bpl.log 2023-10-12 17:17 31K
Buchi PN.dec-subseq-array.wvr.bpl.log 2023-10-12 17:30 176K
Buchi PN.dec-subseq.wvr.bpl.log 2023-10-12 17:30 175K
Buchi PN.difference-det.wvr.bpl.log 2023-10-12 17:35 153K
Buchi PN.dot-product-alt.wvr.bpl.log 2023-10-12 17:25 110K
Buchi PN.dot-product-array.wvr.bpl.log 2023-10-12 17:26 109K
Buchi PN.dot-product.wvr.bpl.log 2023-10-12 17:29 162K
Buchi PN.easy1.wvr.bpl.log 2023-10-12 17:32 66K
Buchi PN.easy10.wvr.bpl.log 2023-10-12 17:32 26K
Buchi PN.easy11.wvr.bpl.log 2023-10-12 17:32 68K
Buchi PN.easy6.wvr.bpl.log 2023-10-12 17:32 26K
Buchi PN.easy7.wvr.bpl.log 2023-10-12 17:32 25K
Buchi PN.easy8.wvr.bpl.log 2023-10-12 17:32 25K
Buchi PN.equal-array-sums-locked.bpl.log 2023-10-12 17:17 67K
Buchi PN.equal-array-sums.bpl.log 2023-10-12 17:18 76K
Buchi PN.example1.bpl.log 2023-10-12 17:17 25K
Buchi PN.example2.bpl.log 2023-10-12 17:17 25K
Buchi PN.example_epsilon_write.bpl.log 2023-10-12 17:17 25K
Buchi PN.example_interleaving.bpl.log 2023-10-12 17:18 26K
Buchi PN.example_interleaving_simple.bpl.log 2023-10-12 17:18 25K
Buchi PN.example_multiple_interleavings.bpl.log 2023-10-12 17:18 26K
Buchi PN.example_unnecessary_interleavings.bpl.log 2023-10-12 17:18 26K
Buchi PN.exp-term-subst.wvr.bpl.log 2023-10-12 17:23 26K
Buchi PN.exp-term-symm.wvr.bpl.log 2023-10-12 17:23 26K
Buchi PN.exp1x3.wvr.bpl.log 2023-10-12 17:22 74K
Buchi PN.exp2x3.wvr.bpl.log 2023-10-12 17:25 155K
Buchi PN.exp2x4.wvr.bpl.log 2023-10-12 17:26 143K
Buchi PN.exp2x6.wvr.bpl.log 2023-10-12 17:25 172K
Buchi PN.exp2x9.wvr.bpl.log 2023-10-12 17:25 170K
Buchi PN.exp3x3-opt.wvr.bpl.log 2023-10-12 17:22 34K
Buchi PN.exp3x3.wvr.bpl.log 2023-10-12 17:26 155K
Buchi PN.fibonacci.wvr.bpl.log 2023-10-12 17:21 69K
Buchi PN.figure1-alt.wvr.bpl.log 2023-10-12 17:30 102K
Buchi PN.figure1.wvr.bpl.log 2023-10-12 17:30 132K
Buchi PN.figure3.wvr.bpl.log 2023-10-12 17:30 80K
Buchi PN.file-item-subst.wvr.bpl.log 2023-10-12 17:23 26K
Buchi PN.file-item-symm.wvr.bpl.log 2023-10-12 17:23 26K
Buchi PN.file-item-trans.wvr.bpl.log 2023-10-12 17:23 26K
Buchi PN.fork_in_loop.bpl.log 2023-10-12 17:18 71K
Buchi PN.fork_join_expression_type_not_found.bpl.log 2023-10-12 17:18 25K
Buchi PN.fork_join_in_loop.bpl.log 2023-10-12 17:18 50K
Buchi PN.fork_join_NotMod.bpl.log 2023-10-12 17:18 25K
Buchi PN.fork_multiple_parameter.bpl.log 2023-10-12 17:18 25K
Buchi PN.fork_multiple_times.bpl.log 2023-10-12 17:18 25K
Buchi PN.fork_unchanged_local_variables2.bpl.log 2023-10-12 17:18 48K
Buchi PN.ForkInForkedProcedure01.bpl.log 2023-10-12 17:17 26K
Buchi PN.ForkInForkedProcedure02.bpl.log 2023-10-12 17:17 26K
Buchi PN.ForkInLoop02-Incrementer.bpl.log 2023-10-12 17:21 3.6M
Buchi PN.hard1.wvr.bpl.log 2023-10-12 17:36 127K
Buchi PN.horseshoe.wvr.bpl.log 2023-10-12 17:34 211K
Buchi PN.inc-subseq-array.wvr.bpl.log 2023-10-12 17:31 176K
Buchi PN.inc-subseq.wvr.bpl.log 2023-10-12 17:31 175K
Buchi PN.incr-decr-zero.bpl.log 2023-10-12 17:18 69K
Buchi PN.join_assign_global.bpl.log 2023-10-12 17:18 26K
Buchi PN.join_multiple_return_values.bpl.log 2023-10-12 17:18 25K
Buchi PN.JoinTheForkingThread.bpl.log 2023-10-12 17:17 26K
Buchi PN.lamport.wvr.bpl.log 2023-10-12 17:24 26K
Buchi PN.LBE_bigexample_safe.bpl.log 2023-10-12 17:17 25K
Buchi PN.LBE_bigexample_safe_BA.bpl.log 2023-10-12 17:17 25K
Buchi PN.LBE_example_semanticCheck.bpl.log 2023-10-12 17:17 25K
Buchi PN.LBE_Y_to_V.bpl.log 2023-10-12 17:17 19K
Buchi PN.lipton_unsoundness.bpl.log 2023-10-12 17:18 25K
Buchi PN.loop-lockstep-example.bpl.log 2023-10-12 17:18 74K
Buchi PN.loop-tiling-eq.wvr.bpl.log 2023-10-12 17:26 250K
Buchi PN.map-aggr-update1-2modifiers.bpl.log 2023-10-12 17:22 145K
Buchi PN.map-aggr-update1-3modifiers.bpl.log 2023-10-12 17:22 118K
Buchi PN.map-aggr-update1-4modifiers.bpl.log 2023-10-12 17:22 98K
Buchi PN.map-aggr-update1-otherloopbounds.bpl.log 2023-10-12 17:18 220K
Buchi PN.map-aggr-update1.bpl.log 2023-10-12 17:19 95K
Buchi PN.map-aggr-update2-otherloopbounds.bpl.log 2023-10-12 17:18 220K
Buchi PN.map-aggr-update2.bpl.log 2023-10-12 17:18 112K
Buchi PN.map-aggr-update3.bpl.log 2023-10-12 17:18 81K
Buchi PN.map-comp.bpl.log 2023-10-12 17:18 100K
Buchi PN.map-incr-decr.bpl.log 2023-10-12 17:18 68K
Buchi PN.map-incr-split.bpl.log 2023-10-12 17:18 70K
Buchi PN.match-subst.wvr.bpl.log 2023-10-12 17:23 26K
Buchi PN.match-symm.wvr.bpl.log 2023-10-12 17:23 26K
Buchi PN.match-trans.wvr.bpl.log 2023-10-12 17:23 26K
Buchi PN.max-array-hom.wvr.bpl.log 2023-10-12 17:28 119K
Buchi PN.max-array.wvr.bpl.log 2023-10-12 17:29 127K
Buchi PN.max-fun-alt.wvr.bpl.log 2023-10-12 17:30 127K
Buchi PN.max-fun.wvr.bpl.log 2023-10-12 17:29 118K
Buchi PN.max-tailsum2.bpl.log 2023-10-12 17:18 78K
Buchi PN.max-tailsum3.bpl.log 2023-10-12 17:19 107K
Buchi PN.max-tailsum4.bpl.log 2023-10-12 17:21 154K
Buchi PN.max-tailsum5.bpl.log 2023-10-12 17:22 174K
Buchi PN.min-array-hom.wvr.bpl.log 2023-10-12 17:29 108K
Buchi PN.min-array.wvr.bpl.log 2023-10-12 17:29 105K
Buchi PN.min-fun-alt.wvr.bpl.log 2023-10-12 17:30 105K
Buchi PN.min-fun.wvr.bpl.log 2023-10-12 17:30 108K
Buchi PN.min-le-max.wvr.bpl.log 2023-10-12 17:30 75K
Buchi PN.min-max-1.wvr.bpl.log 2023-10-12 17:24 47K
Buchi PN.min-max-2.wvr.bpl.log 2023-10-12 17:28 147K
Buchi PN.min-max-dec.wvr.bpl.log 2023-10-12 17:31 120K
Buchi PN.min-max-inc-dec.wvr.bpl.log 2023-10-12 17:34 147K
Buchi PN.min-max-inc.wvr.bpl.log 2023-10-12 17:31 127K
Buchi PN.min-max-sample-2.bpl.log 2023-10-12 17:19 34K
Buchi PN.min-max-sample-abs-2.bpl.log 2023-10-12 17:19 57K
Buchi PN.min-max-sample-abs-nonatomic.bpl.log 2023-10-12 17:19 56K
Buchi PN.min-max-sample-abs.bpl.log 2023-10-12 17:24 53K
Buchi PN.min-max-sample-with_locks.bpl.log 2023-10-12 17:19 76K
Buchi PN.min-max-sample.bpl.log 2023-10-12 17:19 52K
Buchi PN.min-max-split-sample.bpl.log 2023-10-12 17:23 151K
Buchi PN.min2-max2-sample.bpl.log 2023-10-12 17:19 85K
Buchi PN.MirabelleConcurrentIncrement.bpl.log 2023-10-12 17:17 66K
Buchi PN.misc-1.wvr.bpl.log 2023-10-12 17:24 77K
Buchi PN.misc-2-unrolled-atomic.wvr.bpl.log 2023-10-12 17:24 72K
Buchi PN.misc-2-unrolled.wvr.bpl.log 2023-10-12 17:24 75K
Buchi PN.misc-2.wvr.bpl.log 2023-10-12 17:24 71K
Buchi PN.misc-3-extended.wvr.bpl.log 2023-10-12 17:24 354K
Buchi PN.misc-3.wvr.bpl.log 2023-10-12 17:24 263K
Buchi PN.misc-4.wvr.bpl.log 2023-10-12 17:29 176K
Buchi PN.misc-5.wvr.bpl.log 2023-10-12 17:24 51K
Buchi PN.motivating-slowitp.bpl.log 2023-10-12 17:20 111K
Buchi PN.motivating.bpl.log 2023-10-12 17:20 41K
Buchi PN.mts-array.wvr.bpl.log 2023-10-12 17:30 115K
Buchi PN.mts.wvr.bpl.log 2023-10-12 17:30 115K
Buchi PN.mult-4.wvr.bpl.log 2023-10-12 17:35 135K
Buchi PN.mult-comm.wvr.bpl.log 2023-10-12 17:22 76K
Buchi PN.mult-dist.wvr.bpl.log 2023-10-12 17:22 95K
Buchi PN.mult-equiv.wvr.bpl.log 2023-10-12 17:31 98K
Buchi PN.mult-flipped-dist.wvr.bpl.log 2023-10-12 17:22 109K
Buchi PN.multiple_fork_same_id.bpl.log 2023-10-12 17:18 25K
Buchi PN.multiple_fork_same_id_different_return_type.bpl.log 2023-10-12 17:18 26K
Buchi PN.multiple_fork_statements_different_types.bpl.log 2023-10-12 17:18 25K
Buchi PN.multiply-verify.wvr.bpl.log 2023-10-12 17:30 72K
Buchi PN.name-comparator-subst.wvr.bpl.log 2023-10-12 17:24 97K
Buchi PN.name-comparator-symm.wvr.bpl.log 2023-10-12 17:23 66K
Buchi PN.name-comparator-trans.wvr.bpl.log 2023-10-12 17:24 91K
Buchi PN.Nconcurrent_FourLoopsAlternating_nonterminating.bpl.log 2023-10-12 17:22 91K
Buchi PN.Nconcurrent_ThreeThreadsComplexAlternation_nonterminating.bpl.log 2023-10-12 17:20 123K
Buchi PN.nested_fork.bpl.log 2023-10-12 17:18 25K
Buchi PN.node-subst.wvr.bpl.log 2023-10-12 17:23 26K
Buchi PN.node-symm.wvr.bpl.log 2023-10-12 17:23 26K
Buchi PN.node-trans.wvr.bpl.log 2023-10-12 17:23 26K
Buchi PN.NonAtomicIncrement_2Threads_Loop.bpl.log 2023-10-12 17:17 78K
Buchi PN.nonblocking-cntr-alt.wvr.bpl.log 2023-10-12 17:31 60K
Buchi PN.nonblocking-cntr.wvr.bpl.log 2023-10-12 17:31 60K
Buchi PN.nonblocking-counter-alt2.wvr.bpl.log 2023-10-12 17:30 59K
Buchi PN.nzb-file-subst.wvr.bpl.log 2023-10-12 17:24 131K
Buchi PN.nzb-file-symm.wvr.bpl.log 2023-10-12 17:23 78K
Buchi PN.nzb-file-trans.wvr.bpl.log 2023-10-12 17:24 103K
Buchi PN.optimistic-concurrency1.bpl.log 2023-10-12 17:20 146K
Buchi PN.optimistic-concurrency2.bpl.log 2023-10-12 17:20 170K
Buchi PN.parallel-sum-1-dsl.wvr.bpl.log 2023-10-12 17:25 83K
Buchi PN.parallel-sum-1.wvr.bpl.log 2023-10-12 17:25 72K
Buchi PN.parallel-sum-2.wvr.bpl.log 2023-10-12 17:25 83K
Buchi PN.parallel-sum-equiv.wvr.bpl.log 2023-10-12 17:25 79K
Buchi PN.parray-copy.wvr.bpl.log 2023-10-12 17:30 102K
Buchi PN.poker-hand-subst.wvr.bpl.log 2023-10-12 17:23 58K
Buchi PN.poker-hand-symm.wvr.bpl.log 2023-10-12 17:24 36K
Buchi PN.poker-hand-trans.wvr.bpl.log 2023-10-12 17:24 60K
Buchi PN.prod-cons-eq.wvr.bpl.log 2023-10-12 17:31 316K
Buchi PN.prod-cons.wvr.bpl.log 2023-10-12 17:35 141K
Buchi PN.prod-cons3.wvr.bpl.log 2023-10-12 17:35 170K
Buchi PN.PseudoRandomLoop_nonterminating.bpl.log 2023-10-12 17:18 8.1K
Buchi PN.queue-add-2-nl.wvr.bpl.log 2023-10-12 17:34 193K
Buchi PN.queue-add-2.wvr.bpl.log 2023-10-12 17:35 166K
Buchi PN.queue-add-3-nl.wvr.bpl.log 2023-10-12 17:34 200K
Buchi PN.queue-add-3.wvr.bpl.log 2023-10-12 17:35 200K
Buchi PN.readers_writer.bpl.log 2023-10-12 17:20 290K
Buchi PN.ring-nondet.wvr.bpl.log 2023-10-12 17:29 213K
Buchi PN.ring.wvr.bpl.log 2023-10-12 17:25 178K
Buchi PN.security.wvr.bpl.log 2023-10-12 17:22 26K
Buchi PN.semi1.wvr.bpl.log 2023-10-12 17:32 25K
Buchi PN.send-receive-alt.wvr.bpl.log 2023-10-12 17:31 286K
Buchi PN.send-receive.wvr.bpl.log 2023-10-12 17:31 315K
Buchi PN.simpl-str-subst.wvr.bpl.log 2023-10-12 17:24 26K
Buchi PN.simpl-str-symm.wvr.bpl.log 2023-10-12 17:24 26K
Buchi PN.simpl-str-trans.wvr.bpl.log 2023-10-12 17:24 26K
Buchi PN.simple-array-sum.wvr.bpl.log 2023-10-12 17:32 103K
Buchi PN.simple-equiv.wvr.bpl.log 2023-10-12 17:25 26K
Buchi PN.simple-queue.wvr.bpl.log 2023-10-12 17:32 197K
Buchi PN.single_assertion_test.bpl.log 2023-10-12 17:18 49K
Buchi PN.sorted.wvr.bpl.log 2023-10-12 17:30 91K
Buchi PN.spaghetti.wvr.bpl.log 2023-10-12 17:22 32K
Buchi PN.SpecificationInliningProblem.bpl.log 2023-10-12 17:17 25K
Buchi PN.sre-subst.wvr.bpl.log 2023-10-12 17:24 26K
Buchi PN.sre-symm.wvr.bpl.log 2023-10-12 17:24 25K
Buchi PN.sre-trans.wvr.bpl.log 2023-10-12 17:24 26K
Buchi PN.sum-array-hom.wvr.bpl.log 2023-10-12 17:30 110K
Buchi PN.sum-array.wvr.bpl.log 2023-10-12 17:30 116K
Buchi PN.sum-fun-alt.wvr.bpl.log 2023-10-12 17:30 116K
Buchi PN.sum-fun.wvr.bpl.log 2023-10-12 17:30 110K
Buchi PN.sum-print.bpl.log 2023-10-12 17:20 51K
Buchi PN.sum-print2.bpl.log 2023-10-12 17:21 67K
Buchi PN.sum-rwlock.bpl.log 2023-10-12 17:21 51K
Buchi PN.sum2_diff_incr_decr.bpl.log 2023-10-12 17:21 75K
Buchi PN.sum_diff_incr_decr.bpl.log 2023-10-12 17:21 88K
Buchi PN.sum_invariant.bpl.log 2023-10-12 17:18 25K
Buchi PN.sumsumbank.bpl.log 2023-10-12 17:21 54K
Buchi PN.sumsuminc.bpl.log 2023-10-12 17:21 75K
Buchi PN.sumsumsampleabs.bpl.log 2023-10-12 17:21 32K
Buchi PN.sumsumsampleabs2.bpl.log 2023-10-12 17:24 105K
Buchi PN.threaded-sum-2.wvr.bpl.log 2023-10-12 17:25 85K
Buchi PN.threaded-sum-3.wvr.bpl.log 2023-10-12 17:32 84K
Buchi PN.ThreadIdListTest-Safe.bpl.log 2023-10-12 17:17 25K
Buchi PN.ThreadIdTest-Safe.bpl.log 2023-10-12 17:17 25K
Buchi PN.ThreadIdTest-Unsafe.bpl.log 2023-10-12 17:17 25K
Buchi PN.three-array-max.wvr.bpl.log 2023-10-12 17:32 98K
Buchi PN.three-array-min.wvr.bpl.log 2023-10-12 17:32 94K
Buchi PN.three-array-sum-alt.wvr.bpl.log 2023-10-12 17:25 117K
Buchi PN.three-array-sum.wvr.bpl.log 2023-10-12 17:32 113K
Buchi PN.ThyssenKruppRelegation.bpl.log 2023-10-12 17:17 25K
Buchi PN.ticket-2.wvr.bpl.log 2023-10-12 17:25 26K
Buchi PN.ticket-3.wvr.bpl.log 2023-10-12 17:25 26K
Buchi PN.ticket-4.wvr.bpl.log 2023-10-12 17:25 26K
Buchi PN.ticket-5.wvr.bpl.log 2023-10-12 17:25 27K
Buchi PN.ticket-6.wvr.bpl.log 2023-10-12 17:25 27K
Buchi PN.ticket-7.wvr.bpl.log 2023-10-12 17:25 27K
Buchi PN.ticket-8.wvr.bpl.log 2023-10-12 17:25 28K
Buchi PN.time-subst.wvr.bpl.log 2023-10-12 17:24 26K
Buchi PN.time-symm.wvr.bpl.log 2023-10-12 17:24 26K
Buchi PN.time-trans.wvr.bpl.log 2023-10-12 17:24 26K
Buchi PN.two-queue.wvr.bpl.log 2023-10-12 17:32 332K
Buchi PN.TwoActiveWorkersSirius.bpl.log 2023-10-12 17:17 57K
Buchi PN.unroll-2.wvr.bpl.log 2023-10-12 17:22 82K
Buchi PN.unroll-3.wvr.bpl.log 2023-10-12 17:22 67K
Buchi PN.unroll-4.wvr.bpl.log 2023-10-12 17:22 67K
Buchi PN.unroll-5.wvr.bpl.log 2023-10-12 17:22 68K
Buchi PN.unroll-cond-2.wvr.bpl.log 2023-10-12 17:22 67K
Buchi PN.unroll-cond-3.wvr.bpl.log 2023-10-12 17:22 68K
Buchi PN.unroll-cond-4.wvr.bpl.log 2023-10-12 17:22 68K
Buchi PN.unroll-cond-5.wvr.bpl.log 2023-10-12 17:22 97K
Buchi PN.vector-add.wvr.bpl.log 2023-10-12 17:30 113K
Buchi PN.word-subst.wvr.bpl.log 2023-10-12 17:24 110K
Buchi PN.word-symm.wvr.bpl.log 2023-10-12 17:24 68K
Buchi PN.word-trans.wvr.bpl.log 2023-10-12 17:24 102K
Buchi PN.work-steal1.bpl.log 2023-10-12 17:21 46K
Buchi PN.work-steal2.bpl.log 2023-10-12 17:21 54K
Rabin PN.acq-work-3threads.bpl.log 2023-10-12 17:36 309K
Rabin PN.acq-work-4threads.bpl.log 2023-10-12 17:36 308K
Rabin PN.acq-work-5threads.bpl.log 2023-10-12 17:36 308K
Rabin PN.acq-work-6threads.bpl.log 2023-10-12 17:36 309K
Rabin PN.acq-work-constants.bpl.log 2023-10-12 17:36 308K
Rabin PN.acq-work.bpl.log 2023-10-12 17:36 308K
Rabin PN.array-eq-symm.wvr.bpl.log 2023-10-12 17:37 213K
Rabin PN.array-eq-trans.wvr.bpl.log 2023-10-12 17:37 476K
Rabin PN.array-int-subst.wvr.bpl.log 2023-10-12 17:37 91K
Rabin PN.array-int-symm.wvr.bpl.log 2023-10-12 17:37 63K
Rabin PN.array-int-trans.wvr.bpl.log 2023-10-12 17:37 83K
Rabin PN.array-sum-alt.wvr.bpl.log 2023-10-12 17:39 97K
Rabin PN.array-sum-with-log-3threads.bpl.log 2023-10-12 17:36 208K
Rabin PN.array-sum-with-log-4threads.bpl.log 2023-10-12 17:36 643K
Rabin PN.array-sum-with-log-5threads.bpl.log 2023-10-12 17:37 5.1M
Rabin PN.array-sum-with-log-6threads.bpl.log 2023-10-12 17:40 1.6M
Rabin PN.array-sum-with-log.bpl.log 2023-10-12 17:36 104K
Rabin PN.array-sum.wvr.bpl.log 2023-10-12 17:39 95K
Rabin PN.atomic.bpl.log 2023-10-12 17:36 25K
Rabin PN.bakery-2.wvr.bpl.log 2023-10-12 17:38 26K
Rabin PN.bakery-3.wvr.bpl.log 2023-10-12 17:38 26K
Rabin PN.bakery-4.wvr.bpl.log 2023-10-12 17:38 26K
Rabin PN.barrier-loop.wvr.bpl.log 2023-10-12 17:39 173K
Rabin PN.barrier.wvr.bpl.log 2023-10-12 17:38 27K
Rabin PN.bigNumberOfThreads.bpl.log 2023-10-12 17:36 124K
Rabin PN.bluetooth.wvr.bpl.log 2023-10-12 17:38 26K
Rabin PN.buffer-mult-alt.wvr.bpl.log 2023-10-12 17:41 401K
Rabin PN.buffer-mult.wvr.bpl.log 2023-10-12 17:43 412K
Rabin PN.buffer-series-array.wvr.bpl.log 2023-10-12 17:42 448K
Rabin PN.buffer-series.wvr.bpl.log 2023-10-12 17:42 447K
Rabin PN.channel-sum.wvr.bpl.log 2023-10-12 17:41 289K
Rabin PN.chromosome-opt-symm.wvr.bpl.log 2023-10-12 17:38 190K
Rabin PN.chromosome-subst.wvr.bpl.log 2023-10-12 17:37 88K
Rabin PN.chromosome-symm.wvr.bpl.log 2023-10-12 17:37 64K
Rabin PN.chromosome-trans.wvr.bpl.log 2023-10-12 17:38 84K
Rabin PN.clever.wvr.bpl.log 2023-10-12 17:37 132K
Rabin PN.collitem-subst.wvr.bpl.log 2023-10-12 17:37 26K
Rabin PN.collitem-symm.wvr.bpl.log 2023-10-12 17:37 26K
Rabin PN.collitem-trans.wvr.bpl.log 2023-10-12 17:37 26K
Rabin PN.commit-1.wvr.bpl.log 2023-10-12 17:43 593K
Rabin PN.commit-2.wvr.bpl.log 2023-10-12 17:43 879K
Rabin PN.concurrent_FiveToOne_nonterminating.bpl.log 2023-10-12 17:36 129K
Rabin PN.concurrent_increment.bpl.log 2023-10-12 17:36 68K
Rabin PN.concurrent_increment_nonterminating2.bpl.log 2023-10-12 17:36 124K
Rabin PN.concurrent_mult.bpl.log 2023-10-12 17:36 83K
Rabin PN.concurrent_ThreeThreadsAlternating_nonterminating.bpl.log 2023-10-12 17:36 166K
Rabin PN.concurrent_TwoOne_nonterminating.bpl.log 2023-10-12 17:36 108K
Rabin PN.container-subst.wvr.bpl.log 2023-10-12 17:38 26K
Rabin PN.container-symm.wvr.bpl.log 2023-10-12 17:38 26K
Rabin PN.container-trans.wvr.bpl.log 2023-10-12 17:38 26K
Rabin PN.context1.wvr.bpl.log 2023-10-12 17:42 198K
Rabin PN.count0-countEven-sample-abs.bpl.log 2023-10-12 17:36 62K
Rabin PN.counter-add-4-semi-Q67.wvr.bpl.log 2023-10-12 17:42 215K
Rabin PN.counter-determinism.wvr.bpl.log 2023-10-12 17:45 253K
Rabin PN.counter-fun.wvr.bpl.log 2023-10-12 17:41 72K
Rabin PN.counter-queue.wvr.bpl.log 2023-10-12 17:38 67K
Rabin PN.cutoff_test.bpl.log 2023-10-12 17:36 32K
Rabin PN.dec-subseq-array.wvr.bpl.log 2023-10-12 17:39 187K
Rabin PN.dec-subseq.wvr.bpl.log 2023-10-12 17:40 187K
Rabin PN.difference-det.wvr.bpl.log 2023-10-12 17:41 119K
Rabin PN.dot-product-alt.wvr.bpl.log 2023-10-12 17:38 96K
Rabin PN.dot-product-array.wvr.bpl.log 2023-10-12 17:39 98K
Rabin PN.dot-product.wvr.bpl.log 2023-10-12 17:40 100K
Rabin PN.easy1.wvr.bpl.log 2023-10-12 17:42 64K
Rabin PN.easy10.wvr.bpl.log 2023-10-12 17:42 26K
Rabin PN.easy11.wvr.bpl.log 2023-10-12 17:42 67K
Rabin PN.easy6.wvr.bpl.log 2023-10-12 17:42 25K
Rabin PN.easy7.wvr.bpl.log 2023-10-12 17:42 26K
Rabin PN.easy8.wvr.bpl.log 2023-10-12 17:42 26K
Rabin PN.equal-array-sums-locked.bpl.log 2023-10-12 17:36 68K
Rabin PN.equal-array-sums.bpl.log 2023-10-12 17:36 67K
Rabin PN.example1.bpl.log 2023-10-12 17:36 25K
Rabin PN.example2.bpl.log 2023-10-12 17:36 25K
Rabin PN.example_epsilon_write.bpl.log 2023-10-12 17:36 25K
Rabin PN.example_interleaving.bpl.log 2023-10-12 17:36 26K
Rabin PN.example_interleaving_simple.bpl.log 2023-10-12 17:36 25K
Rabin PN.example_multiple_interleavings.bpl.log 2023-10-12 17:36 26K
Rabin PN.example_unnecessary_interleavings.bpl.log 2023-10-12 17:36 26K
Rabin PN.exp-term-subst.wvr.bpl.log 2023-10-12 17:38 26K
Rabin PN.exp-term-symm.wvr.bpl.log 2023-10-12 17:38 26K
Rabin PN.exp1x3.wvr.bpl.log 2023-10-12 17:37 79K
Rabin PN.exp2x3.wvr.bpl.log 2023-10-12 17:37 152K
Rabin PN.exp2x4.wvr.bpl.log 2023-10-12 17:37 156K
Rabin PN.exp2x6.wvr.bpl.log 2023-10-12 17:37 164K
Rabin PN.exp2x9.wvr.bpl.log 2023-10-12 17:37 152K
Rabin PN.exp3x3-opt.wvr.bpl.log 2023-10-12 17:37 36K
Rabin PN.exp3x3.wvr.bpl.log 2023-10-12 17:38 330K
Rabin PN.fibonacci.wvr.bpl.log 2023-10-12 17:37 68K
Rabin PN.figure1-alt.wvr.bpl.log 2023-10-12 17:41 142K
Rabin PN.figure1.wvr.bpl.log 2023-10-12 17:41 150K
Rabin PN.figure3.wvr.bpl.log 2023-10-12 17:41 74K
Rabin PN.file-item-subst.wvr.bpl.log 2023-10-12 17:38 26K
Rabin PN.file-item-symm.wvr.bpl.log 2023-10-12 17:38 26K
Rabin PN.file-item-trans.wvr.bpl.log 2023-10-12 17:38 26K
Rabin PN.fork_in_loop.bpl.log 2023-10-12 17:36 85K
Rabin PN.fork_join_expression_type_not_found.bpl.log 2023-10-12 17:36 25K
Rabin PN.fork_join_in_loop.bpl.log 2023-10-12 17:36 51K
Rabin PN.fork_join_NotMod.bpl.log 2023-10-12 17:36 25K
Rabin PN.fork_multiple_parameter.bpl.log 2023-10-12 17:36 25K
Rabin PN.fork_multiple_times.bpl.log 2023-10-12 17:36 25K
Rabin PN.fork_unchanged_local_variables2.bpl.log 2023-10-12 17:36 52K
Rabin PN.ForkInForkedProcedure01.bpl.log 2023-10-12 17:36 26K
Rabin PN.ForkInForkedProcedure02.bpl.log 2023-10-12 17:36 26K
Rabin PN.ForkInLoop02-Incrementer.bpl.log 2023-10-12 17:40 6.5M
Rabin PN.hard1.wvr.bpl.log 2023-10-12 17:43 754K
Rabin PN.horseshoe.wvr.bpl.log 2023-10-12 17:45 957K
Rabin PN.inc-subseq-array.wvr.bpl.log 2023-10-12 17:40 187K
Rabin PN.inc-subseq.wvr.bpl.log 2023-10-12 17:40 187K
Rabin PN.incr-decr-zero.bpl.log 2023-10-12 17:36 68K
Rabin PN.join_assign_global.bpl.log 2023-10-12 17:36 26K
Rabin PN.join_multiple_return_values.bpl.log 2023-10-12 17:36 25K
Rabin PN.JoinTheForkingThread.bpl.log 2023-10-12 17:36 26K
Rabin PN.lamport.wvr.bpl.log 2023-10-12 17:38 26K
Rabin PN.LBE_bigexample_safe.bpl.log 2023-10-12 17:36 25K
Rabin PN.LBE_bigexample_safe_BA.bpl.log 2023-10-12 17:36 25K
Rabin PN.LBE_example_semanticCheck.bpl.log 2023-10-12 17:36 25K
Rabin PN.LBE_Y_to_V.bpl.log 2023-10-12 17:36 20K
Rabin PN.lipton_unsoundness.bpl.log 2023-10-12 17:36 25K
Rabin PN.loop-lockstep-example.bpl.log 2023-10-12 17:36 74K
Rabin PN.loop-tiling-eq.wvr.bpl.log 2023-10-12 17:41 5.4M
Rabin PN.map-aggr-update1-2modifiers.bpl.log 2023-10-12 17:36 156K
Rabin PN.map-aggr-update1-3modifiers.bpl.log 2023-10-12 17:37 206K
Rabin PN.map-aggr-update1-4modifiers.bpl.log 2023-10-12 17:41 244K
Rabin PN.map-aggr-update1-otherloopbounds.bpl.log 2023-10-12 17:36 222K
Rabin PN.map-aggr-update1.bpl.log 2023-10-12 17:36 95K
Rabin PN.map-aggr-update2-otherloopbounds.bpl.log 2023-10-12 17:37 222K
Rabin PN.map-aggr-update2.bpl.log 2023-10-12 17:37 90K
Rabin PN.map-aggr-update3.bpl.log 2023-10-12 17:37 76K
Rabin PN.map-comp.bpl.log 2023-10-12 17:37 94K
Rabin PN.map-incr-decr.bpl.log 2023-10-12 17:37 72K
Rabin PN.map-incr-split.bpl.log 2023-10-12 17:37 65K
Rabin PN.match-subst.wvr.bpl.log 2023-10-12 17:38 26K
Rabin PN.match-symm.wvr.bpl.log 2023-10-12 17:38 26K
Rabin PN.match-trans.wvr.bpl.log 2023-10-12 17:38 26K
Rabin PN.max-array-hom.wvr.bpl.log 2023-10-12 17:40 109K
Rabin PN.max-array.wvr.bpl.log 2023-10-12 17:40 106K
Rabin PN.max-fun-alt.wvr.bpl.log 2023-10-12 17:40 106K
Rabin PN.max-fun.wvr.bpl.log 2023-10-12 17:40 109K
Rabin PN.max-tailsum2.bpl.log 2023-10-12 17:37 84K
Rabin PN.max-tailsum3.bpl.log 2023-10-12 17:37 134K
Rabin PN.max-tailsum4.bpl.log 2023-10-12 17:37 175K
Rabin PN.max-tailsum5.bpl.log 2023-10-12 17:37 283K
Rabin PN.min-array-hom.wvr.bpl.log 2023-10-12 17:40 101K
Rabin PN.min-array.wvr.bpl.log 2023-10-12 17:40 96K
Rabin PN.min-fun-alt.wvr.bpl.log 2023-10-12 17:40 96K
Rabin PN.min-fun.wvr.bpl.log 2023-10-12 17:40 101K
Rabin PN.min-le-max.wvr.bpl.log 2023-10-12 17:40 74K
Rabin PN.min-max-1.wvr.bpl.log 2023-10-12 17:38 49K
Rabin PN.min-max-2.wvr.bpl.log 2023-10-12 17:38 163K
Rabin PN.min-max-dec.wvr.bpl.log 2023-10-12 17:41 120K
Rabin PN.min-max-inc-dec.wvr.bpl.log 2023-10-12 17:41 174K
Rabin PN.min-max-inc.wvr.bpl.log 2023-10-12 17:41 126K
Rabin PN.min-max-sample-2.bpl.log 2023-10-12 17:37 38K
Rabin PN.min-max-sample-abs-2.bpl.log 2023-10-12 17:37 81K
Rabin PN.min-max-sample-abs-nonatomic.bpl.log 2023-10-12 17:37 82K
Rabin PN.min-max-sample-abs.bpl.log 2023-10-12 17:37 97K
Rabin PN.min-max-sample-with_locks.bpl.log 2023-10-12 17:37 87K
Rabin PN.min-max-sample.bpl.log 2023-10-12 17:37 70K
Rabin PN.min-max-split-sample.bpl.log 2023-10-12 17:37 155K
Rabin PN.min2-max2-sample.bpl.log 2023-10-12 17:37 89K
Rabin PN.MirabelleConcurrentIncrement.bpl.log 2023-10-12 17:36 64K
Rabin PN.misc-1.wvr.bpl.log 2023-10-12 17:38 72K
Rabin PN.misc-2-unrolled-atomic.wvr.bpl.log 2023-10-12 17:38 70K
Rabin PN.misc-2-unrolled.wvr.bpl.log 2023-10-12 17:38 74K
Rabin PN.misc-2.wvr.bpl.log 2023-10-12 17:38 69K
Rabin PN.misc-3-extended.wvr.bpl.log 2023-10-12 17:38 357K
Rabin PN.misc-3.wvr.bpl.log 2023-10-12 17:38 264K
Rabin PN.misc-4.wvr.bpl.log 2023-10-12 17:40 293K
Rabin PN.misc-5.wvr.bpl.log 2023-10-12 17:38 53K
Rabin PN.motivating-slowitp.bpl.log 2023-10-12 17:37 107K
Rabin PN.motivating.bpl.log 2023-10-12 17:37 42K
Rabin PN.mts-array.wvr.bpl.log 2023-10-12 17:40 100K
Rabin PN.mts.wvr.bpl.log 2023-10-12 17:40 100K
Rabin PN.mult-4.wvr.bpl.log 2023-10-12 17:41 129K
Rabin PN.mult-comm.wvr.bpl.log 2023-10-12 17:37 71K
Rabin PN.mult-dist.wvr.bpl.log 2023-10-12 17:37 93K
Rabin PN.mult-equiv.wvr.bpl.log 2023-10-12 17:42 129K
Rabin PN.mult-flipped-dist.wvr.bpl.log 2023-10-12 17:37 96K
Rabin PN.multiple_fork_same_id.bpl.log 2023-10-12 17:36 26K
Rabin PN.multiple_fork_same_id_different_return_type.bpl.log 2023-10-12 17:36 26K
Rabin PN.multiple_fork_statements_different_types.bpl.log 2023-10-12 17:36 26K
Rabin PN.multiply-verify.wvr.bpl.log 2023-10-12 17:40 71K
Rabin PN.name-comparator-subst.wvr.bpl.log 2023-10-12 17:38 89K
Rabin PN.name-comparator-symm.wvr.bpl.log 2023-10-12 17:38 69K
Rabin PN.name-comparator-trans.wvr.bpl.log 2023-10-12 17:38 87K
Rabin PN.Nconcurrent_FourLoopsAlternating_nonterminating.bpl.log 2023-10-12 17:37 229K
Rabin PN.Nconcurrent_ThreeThreadsComplexAlternation_nonterminating.bpl.log 2023-10-12 17:37 197K
Rabin PN.nested_fork.bpl.log 2023-10-12 17:36 25K
Rabin PN.node-subst.wvr.bpl.log 2023-10-12 17:38 26K
Rabin PN.node-symm.wvr.bpl.log 2023-10-12 17:38 26K
Rabin PN.node-trans.wvr.bpl.log 2023-10-12 17:38 26K
Rabin PN.NonAtomicIncrement_2Threads_Loop.bpl.log 2023-10-12 17:36 82K
Rabin PN.nonblocking-cntr-alt.wvr.bpl.log 2023-10-12 17:42 61K
Rabin PN.nonblocking-cntr.wvr.bpl.log 2023-10-12 17:42 61K
Rabin PN.nonblocking-counter-alt2.wvr.bpl.log 2023-10-12 17:40 59K
Rabin PN.nzb-file-subst.wvr.bpl.log 2023-10-12 17:38 87K
Rabin PN.nzb-file-symm.wvr.bpl.log 2023-10-12 17:38 72K
Rabin PN.nzb-file-trans.wvr.bpl.log 2023-10-12 17:38 93K
Rabin PN.optimistic-concurrency1.bpl.log 2023-10-12 17:37 148K
Rabin PN.optimistic-concurrency2.bpl.log 2023-10-12 17:37 148K
Rabin PN.parallel-sum-1-dsl.wvr.bpl.log 2023-10-12 17:38 77K
Rabin PN.parallel-sum-1.wvr.bpl.log 2023-10-12 17:38 75K
Rabin PN.parallel-sum-2.wvr.bpl.log 2023-10-12 17:38 88K
Rabin PN.parallel-sum-equiv.wvr.bpl.log 2023-10-12 17:38 79K
Rabin PN.parray-copy.wvr.bpl.log 2023-10-12 17:40 94K
Rabin PN.poker-hand-subst.wvr.bpl.log 2023-10-12 17:38 60K
Rabin PN.poker-hand-symm.wvr.bpl.log 2023-10-12 17:38 40K
Rabin PN.poker-hand-trans.wvr.bpl.log 2023-10-12 17:38 61K
Rabin PN.prod-cons-eq.wvr.bpl.log 2023-10-12 17:42 320K
Rabin PN.prod-cons.wvr.bpl.log 2023-10-12 17:42 189K
Rabin PN.prod-cons3.wvr.bpl.log 2023-10-12 17:46 242K
Rabin PN.PseudoRandomLoop_nonterminating.bpl.log 2023-10-12 17:36 8.1K
Rabin PN.queue-add-2-nl.wvr.bpl.log 2023-10-12 17:40 200K
Rabin PN.queue-add-2.wvr.bpl.log 2023-10-12 17:42 161K
Rabin PN.queue-add-3-nl.wvr.bpl.log 2023-10-12 17:45 509K
Rabin PN.queue-add-3.wvr.bpl.log 2023-10-12 17:46 284K
Rabin PN.readers_writer.bpl.log 2023-10-12 17:37 297K
Rabin PN.ring-nondet.wvr.bpl.log 2023-10-12 17:42 330K
Rabin PN.ring.wvr.bpl.log 2023-10-12 17:39 213K
Rabin PN.security.wvr.bpl.log 2023-10-12 17:37 25K
Rabin PN.semi1.wvr.bpl.log 2023-10-12 17:42 26K
Rabin PN.send-receive-alt.wvr.bpl.log 2023-10-12 17:42 289K
Rabin PN.send-receive.wvr.bpl.log 2023-10-12 17:42 318K
Rabin PN.simpl-str-subst.wvr.bpl.log 2023-10-12 17:38 26K
Rabin PN.simpl-str-symm.wvr.bpl.log 2023-10-12 17:38 26K
Rabin PN.simpl-str-trans.wvr.bpl.log 2023-10-12 17:38 26K
Rabin PN.simple-array-sum.wvr.bpl.log 2023-10-12 17:42 85K
Rabin PN.simple-equiv.wvr.bpl.log 2023-10-12 17:38 26K
Rabin PN.simple-queue.wvr.bpl.log 2023-10-12 17:42 198K
Rabin PN.single_assertion_test.bpl.log 2023-10-12 17:36 57K
Rabin PN.sorted.wvr.bpl.log 2023-10-12 17:40 102K
Rabin PN.spaghetti.wvr.bpl.log 2023-10-12 17:37 33K
Rabin PN.SpecificationInliningProblem.bpl.log 2023-10-12 17:36 25K
Rabin PN.sre-subst.wvr.bpl.log 2023-10-12 17:38 26K
Rabin PN.sre-symm.wvr.bpl.log 2023-10-12 17:38 25K
Rabin PN.sre-trans.wvr.bpl.log 2023-10-12 17:38 26K
Rabin PN.sum-array-hom.wvr.bpl.log 2023-10-12 17:40 86K
Rabin PN.sum-array.wvr.bpl.log 2023-10-12 17:40 85K
Rabin PN.sum-fun-alt.wvr.bpl.log 2023-10-12 17:40 85K
Rabin PN.sum-fun.wvr.bpl.log 2023-10-12 17:40 88K
Rabin PN.sum-print.bpl.log 2023-10-12 17:37 52K
Rabin PN.sum-print2.bpl.log 2023-10-12 17:37 70K
Rabin PN.sum-rwlock.bpl.log 2023-10-12 17:37 52K
Rabin PN.sum2_diff_incr_decr.bpl.log 2023-10-12 17:37 77K
Rabin PN.sum_diff_incr_decr.bpl.log 2023-10-12 17:37 74K
Rabin PN.sum_invariant.bpl.log 2023-10-12 17:36 25K
Rabin PN.sumsumbank.bpl.log 2023-10-12 17:37 74K
Rabin PN.sumsuminc.bpl.log 2023-10-12 17:37 77K
Rabin PN.sumsumsampleabs.bpl.log 2023-10-12 17:37 33K
Rabin PN.sumsumsampleabs2.bpl.log 2023-10-12 17:37 112K
Rabin PN.threaded-sum-2.wvr.bpl.log 2023-10-12 17:38 87K
Rabin PN.threaded-sum-3.wvr.bpl.log 2023-10-12 17:42 87K
Rabin PN.ThreadIdListTest-Safe.bpl.log 2023-10-12 17:36 25K
Rabin PN.ThreadIdTest-Safe.bpl.log 2023-10-12 17:36 25K
Rabin PN.ThreadIdTest-Unsafe.bpl.log 2023-10-12 17:36 25K
Rabin PN.three-array-max.wvr.bpl.log 2023-10-12 17:42 88K
Rabin PN.three-array-min.wvr.bpl.log 2023-10-12 17:42 86K
Rabin PN.three-array-sum-alt.wvr.bpl.log 2023-10-12 17:38 99K
Rabin PN.three-array-sum.wvr.bpl.log 2023-10-12 17:42 84K
Rabin PN.ThyssenKruppRelegation.bpl.log 2023-10-12 17:36 25K
Rabin PN.ticket-2.wvr.bpl.log 2023-10-12 17:38 26K
Rabin PN.ticket-3.wvr.bpl.log 2023-10-12 17:38 26K
Rabin PN.ticket-4.wvr.bpl.log 2023-10-12 17:38 26K
Rabin PN.ticket-5.wvr.bpl.log 2023-10-12 17:38 27K
Rabin PN.ticket-6.wvr.bpl.log 2023-10-12 17:38 27K
Rabin PN.ticket-7.wvr.bpl.log 2023-10-12 17:38 27K
Rabin PN.ticket-8.wvr.bpl.log 2023-10-12 17:38 28K
Rabin PN.time-subst.wvr.bpl.log 2023-10-12 17:38 26K
Rabin PN.time-symm.wvr.bpl.log 2023-10-12 17:38 26K
Rabin PN.time-trans.wvr.bpl.log 2023-10-12 17:38 26K
Rabin PN.two-queue.wvr.bpl.log 2023-10-12 17:42 335K
Rabin PN.TwoActiveWorkersSirius.bpl.log 2023-10-12 17:36 61K
Rabin PN.unroll-2.wvr.bpl.log 2023-10-12 17:37 76K
Rabin PN.unroll-3.wvr.bpl.log 2023-10-12 17:37 66K
Rabin PN.unroll-4.wvr.bpl.log 2023-10-12 17:37 66K
Rabin PN.unroll-5.wvr.bpl.log 2023-10-12 17:37 62K
Rabin PN.unroll-cond-2.wvr.bpl.log 2023-10-12 17:37 70K
Rabin PN.unroll-cond-3.wvr.bpl.log 2023-10-12 17:37 72K
Rabin PN.unroll-cond-4.wvr.bpl.log 2023-10-12 17:37 75K
Rabin PN.unroll-cond-5.wvr.bpl.log 2023-10-12 17:37 85K
Rabin PN.vector-add.wvr.bpl.log 2023-10-12 17:40 101K
Rabin PN.word-subst.wvr.bpl.log 2023-10-12 17:38 91K
Rabin PN.word-symm.wvr.bpl.log 2023-10-12 17:38 67K
Rabin PN.word-trans.wvr.bpl.log 2023-10-12 17:38 100K
Rabin PN.work-steal1.bpl.log 2023-10-12 17:37 48K
Rabin PN.work-steal2.bpl.log 2023-10-12 17:37 58K