Index of /logs/concurrency-termination/20220929-151238-concurrency-termination-638c691efc/termination-concurrency-bpl.2022-09-29_14-59-47.logfiles
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
Buchi Automaton (semantic LBE).LBE_bigexample_safe.bpl.log 2022-09-29 14:59 29K
Buchi Automaton (semantic LBE).sum_invariant.bpl.log 2022-09-29 14:59 29K
Buchi Automaton (semantic LBE).LBE_bigexample_safe_BA.bpl.log 2022-09-29 14:59 29K
Buchi PN (semantic LBE).LBE_bigexample_safe.bpl.log 2022-09-29 15:02 30K
Buchi PN (semantic LBE).sum_invariant.bpl.log 2022-09-29 15:02 30K
Buchi PN (semantic LBE).LBE_bigexample_safe_BA.bpl.log 2022-09-29 15:02 30K
Buchi Automaton (semantic LBE).sumsumsampleabs.bpl.log 2022-09-29 15:00 36K
Buchi PN (semantic LBE).sumsumsampleabs.bpl.log 2022-09-29 15:06 36K
Buchi Automaton (semantic LBE).sumsumbank.bpl.log 2022-09-29 15:00 37K
Buchi Automaton (semantic LBE).min-max-sample.bpl.log 2022-09-29 15:00 37K
Buchi Automaton (semantic LBE).min-max-sample-2.bpl.log 2022-09-29 15:00 38K
Buchi PN (semantic LBE).min-max-sample-2.bpl.log 2022-09-29 15:05 38K
Buchi Automaton (semantic LBE).motivating.bpl.log 2022-09-29 15:00 45K
Buchi PN (semantic LBE).motivating.bpl.log 2022-09-29 15:06 45K
Buchi Automaton (semantic LBE).work-steal1.bpl.log 2022-09-29 15:00 50K
Buchi Automaton (semantic LBE).work-steal2.bpl.log 2022-09-29 15:00 51K
Buchi PN (semantic LBE).work-steal1.bpl.log 2022-09-29 15:06 53K
Buchi Automaton (semantic LBE).single_assertion_test.bpl.log 2022-09-29 14:59 53K
Buchi PN (semantic LBE).work-steal2.bpl.log 2022-09-29 15:06 53K
Buchi PN (semantic LBE).single_assertion_test.bpl.log 2022-09-29 15:02 54K
Buchi Automaton (semantic LBE).sum-print.bpl.log 2022-09-29 15:00 55K
Buchi Automaton (semantic LBE).sum-rwlock.bpl.log 2022-09-29 15:00 55K
Buchi PN (semantic LBE).sum-print.bpl.log 2022-09-29 15:06 56K
Buchi PN (semantic LBE).sum-rwlock.bpl.log 2022-09-29 15:06 56K
Buchi PN (semantic LBE).sumsumbank.bpl.log 2022-09-29 15:06 58K
Buchi Automaton (semantic LBE).min-max-sample-with_locks.bpl.log 2022-09-29 15:00 59K
Buchi PN (semantic LBE).count0-countEven-sample-abs.bpl.log 2022-09-29 15:02 62K
Buchi Automaton (semantic LBE).count0-countEven-sample-abs.bpl.log 2022-09-29 15:00 63K
Buchi PN (semantic LBE).TwoActiveWorkersSirius.bpl.log 2022-09-29 15:02 69K
Buchi Automaton (semantic LBE).MirabelleConcurrentIncrement.bpl.log 2022-09-29 14:59 71K
Buchi Automaton (semantic LBE).map-incr-decr.bpl.log 2022-09-29 15:00 72K
Buchi PN (semantic LBE).min-max-sample.bpl.log 2022-09-29 15:05 72K
Buchi Automaton (semantic LBE).equal-array-sums.bpl.log 2022-09-29 14:59 72K
Buchi PN (semantic LBE).MirabelleConcurrentIncrement.bpl.log 2022-09-29 15:02 73K
Buchi PN (semantic LBE).map-incr-decr.bpl.log 2022-09-29 15:03 73K
Buchi Automaton (semantic LBE).concurrent_increment.bpl.log 2022-09-29 14:59 74K
Buchi Automaton (semantic LBE).incr-decr-zero.bpl.log 2022-09-29 15:00 74K
Buchi PN (semantic LBE).equal-array-sums.bpl.log 2022-09-29 15:02 74K
Buchi Automaton (semantic LBE).map-incr-split.bpl.log 2022-09-29 15:00 74K
Buchi PN (semantic LBE).concurrent_increment.bpl.log 2022-09-29 15:02 75K
Buchi PN (semantic LBE).incr-decr-zero.bpl.log 2022-09-29 15:02 75K
Buchi PN (semantic LBE).map-incr-split.bpl.log 2022-09-29 15:03 76K
Buchi Automaton (semantic LBE).equal-array-sums-locked.bpl.log 2022-09-29 14:59 76K
Buchi PN (semantic LBE).min-max-sample-abs-2.bpl.log 2022-09-29 15:05 76K
Buchi PN (semantic LBE).equal-array-sums-locked.bpl.log 2022-09-29 15:02 77K
Buchi Automaton (semantic LBE).min-max-sample-abs-2.bpl.log 2022-09-29 15:00 78K
Buchi Automaton (semantic LBE).TwoActiveWorkersSirius.bpl.log 2022-09-29 14:59 78K
Buchi Automaton (semantic LBE).loop-lockstep-example.bpl.log 2022-09-29 14:59 79K
Buchi Automaton (semantic LBE).sum2_diff_incr_decr.bpl.log 2022-09-29 15:00 79K
Buchi Automaton (semantic LBE).concurrent_mult.bpl.log 2022-09-29 14:59 80K
Buchi PN (semantic LBE).min-max-sample-abs-nonatomic.bpl.log 2022-09-29 15:05 80K
Buchi PN (semantic LBE).loop-lockstep-example.bpl.log 2022-09-29 15:02 81K
Buchi PN (semantic LBE).concurrent_increment_nonterminating.bpl.log 2022-09-29 15:02 81K
Buchi PN (semantic LBE).sumsuminc.bpl.log 2022-09-29 15:06 82K
Buchi PN (semantic LBE).concurrent_mult.bpl.log 2022-09-29 15:02 82K
Buchi Automaton (semantic LBE).min-max-sample-abs-nonatomic.bpl.log 2022-09-29 15:00 82K
Buchi Automaton (semantic LBE).sumsuminc.bpl.log 2022-09-29 15:00 82K
Buchi Automaton (semantic LBE).sum_diff_incr_decr.bpl.log 2022-09-29 15:00 83K
Buchi PN (semantic LBE).map-aggr-update3.bpl.log 2022-09-29 15:02 83K
Buchi PN (semantic LBE).sum2_diff_incr_decr.bpl.log 2022-09-29 15:06 83K
Buchi Automaton (semantic LBE).map-aggr-update3.bpl.log 2022-09-29 15:00 84K
Buchi Automaton (semantic LBE).NonAtomicIncrement_2Threads_Loop.bpl.log 2022-09-29 14:59 84K
Buchi PN (semantic LBE).NonAtomicIncrement_2Threads_Loop.bpl.log 2022-09-29 15:02 84K
Buchi PN (semantic LBE).sum_diff_incr_decr.bpl.log 2022-09-29 15:06 84K
Buchi Automaton (semantic LBE).sum-print2.bpl.log 2022-09-29 15:00 87K
Buchi Automaton (semantic LBE).max-tailsum2.bpl.log 2022-09-29 15:00 88K
Buchi PN (semantic LBE).max-tailsum2.bpl.log 2022-09-29 15:03 90K
Buchi Automaton (semantic LBE).min2-max2-sample.bpl.log 2022-09-29 15:00 91K
Buchi Automaton (semantic LBE).array-sum-with-log.bpl.log 2022-09-29 15:00 92K
Buchi Automaton (semantic LBE).map-aggr-update2.bpl.log 2022-09-29 15:00 94K
Buchi Automaton (semantic LBE).map-comp.bpl.log 2022-09-29 15:00 97K
Buchi PN (semantic LBE).sum-print2.bpl.log 2022-09-29 15:06 97K
Buchi Automaton (semantic LBE).bigNumberOfThreads.bpl.log 2022-09-29 14:59 98K
Buchi PN (semantic LBE).bigNumberOfThreads.bpl.log 2022-09-29 15:02 99K
Buchi Automaton (semantic LBE).map-aggr-update1.bpl.log 2022-09-29 15:00 101K
Buchi PN (semantic LBE).min-max-sample-with_locks.bpl.log 2022-09-29 15:08 101K
Buchi PN (semantic LBE).sumsumsampleabs2.bpl.log 2022-09-29 15:11 101K
Buchi Automaton (semantic LBE).concurrent_increment_nonterminating.bpl.log 2022-09-29 14:59 107K
Buchi Automaton (semantic LBE).motivating-slowitp.bpl.log 2022-09-29 15:00 111K
Buchi Automaton (semantic LBE).min-max-sample-abs.bpl.log 2022-09-29 15:00 115K
Buchi PN (semantic LBE).map-aggr-update2.bpl.log 2022-09-29 15:05 116K
Buchi Automaton (semantic LBE).max-tailsum3.bpl.log 2022-09-29 15:00 117K
Buchi Automaton (semantic LBE).sumsumsampleabs2.bpl.log 2022-09-29 15:00 118K
Buchi PN (semantic LBE).map-comp.bpl.log 2022-09-29 15:06 119K
Buchi PN (semantic LBE).max-tailsum3.bpl.log 2022-09-29 15:07 121K
Buchi PN (semantic LBE).map-aggr-update1.bpl.log 2022-09-29 15:06 123K
Buchi Automaton (semantic LBE).optimistic-concurrency1.bpl.log 2022-09-29 15:00 123K
Buchi PN (semantic LBE).min2-max2-sample.bpl.log 2022-09-29 15:10 127K
Buchi Automaton (semantic LBE).optimistic-concurrency2.bpl.log 2022-09-29 15:00 129K
Buchi Automaton (semantic LBE).array-sum-with-log-3threads.bpl.log 2022-09-29 15:00 130K
Buchi PN (semantic LBE).array-sum-with-log-6threads.bpl.log 2022-09-29 15:05 133K
Buchi PN (semantic LBE).motivating-slowitp.bpl.log 2022-09-29 15:07 134K
Buchi PN (semantic LBE).array-sum-with-log-4threads.bpl.log 2022-09-29 15:05 135K
Buchi PN (semantic LBE).optimistic-concurrency1.bpl.log 2022-09-29 15:06 136K
Buchi PN (semantic LBE).min-max-split-sample.bpl.log 2022-09-29 15:09 137K
Buchi PN (semantic LBE).optimistic-concurrency2.bpl.log 2022-09-29 15:06 140K
Buchi PN (semantic LBE).map-aggr-update1-4modifiers.bpl.log 2022-09-29 15:06 142K
Buchi PN (semantic LBE).map-aggr-update1-3modifiers.bpl.log 2022-09-29 15:06 145K
Buchi PN (semantic LBE).array-sum-with-log-3threads.bpl.log 2022-09-29 15:06 151K
Buchi Automaton (semantic LBE).map-aggr-update1-2modifiers.bpl.log 2022-09-29 15:00 151K
Buchi PN (semantic LBE).min-max-sample-abs.bpl.log 2022-09-29 15:10 152K
Buchi PN (semantic LBE).map-aggr-update1-2modifiers.bpl.log 2022-09-29 15:05 155K
Buchi Automaton (semantic LBE).min-max-split-sample.bpl.log 2022-09-29 15:00 155K
Buchi PN (semantic LBE).array-sum-with-log-5threads.bpl.log 2022-09-29 15:05 168K
Buchi PN (semantic LBE).max-tailsum4.bpl.log 2022-09-29 15:07 169K
Buchi Automaton (semantic LBE).max-tailsum4.bpl.log 2022-09-29 15:00 173K
Buchi PN (semantic LBE).max-tailsum5.bpl.log 2022-09-29 15:06 193K
Buchi Automaton (semantic LBE).array-sum-with-log-4threads.bpl.log 2022-09-29 15:00 195K
Buchi Automaton (semantic LBE).map-aggr-update1-3modifiers.bpl.log 2022-09-29 15:00 209K
Buchi Automaton (semantic LBE).map-aggr-update2-otherloopbounds.bpl.log 2022-09-29 15:00 224K
Buchi Automaton (semantic LBE).map-aggr-update1-otherloopbounds.bpl.log 2022-09-29 15:00 224K
Buchi PN (semantic LBE).map-aggr-update1-otherloopbounds.bpl.log 2022-09-29 15:02 224K
Buchi PN (semantic LBE).map-aggr-update2-otherloopbounds.bpl.log 2022-09-29 15:02 224K
Buchi PN (semantic LBE).array-sum-with-log.bpl.log 2022-09-29 15:07 225K
Buchi Automaton (semantic LBE).map-aggr-update1-4modifiers.bpl.log 2022-09-29 15:00 237K
Buchi Automaton (semantic LBE).array-sum-with-log-5threads.bpl.log 2022-09-29 15:00 244K
Buchi Automaton (semantic LBE).max-tailsum5.bpl.log 2022-09-29 15:00 287K
Buchi Automaton (semantic LBE).acq-work-3threads.bpl.log 2022-09-29 15:00 288K
Buchi Automaton (semantic LBE).acq-work-4threads.bpl.log 2022-09-29 15:00 288K
Buchi Automaton (semantic LBE).acq-work-constants.bpl.log 2022-09-29 15:00 288K
Buchi PN (semantic LBE).acq-work-4threads.bpl.log 2022-09-29 15:02 288K
Buchi Automaton (semantic LBE).acq-work-6threads.bpl.log 2022-09-29 15:00 288K
Buchi PN (semantic LBE).acq-work-constants.bpl.log 2022-09-29 15:02 288K
Buchi Automaton (semantic LBE).acq-work.bpl.log 2022-09-29 15:00 289K
Buchi PN (semantic LBE).acq-work-5threads.bpl.log 2022-09-29 15:02 289K
Buchi PN (semantic LBE).acq-work.bpl.log 2022-09-29 15:02 289K
Buchi PN (semantic LBE).acq-work-6threads.bpl.log 2022-09-29 15:02 289K
Buchi Automaton (semantic LBE).acq-work-5threads.bpl.log 2022-09-29 15:00 289K
Buchi PN (semantic LBE).acq-work-3threads.bpl.log 2022-09-29 15:02 289K
Buchi PN (semantic LBE).readers_writer.bpl.log 2022-09-29 15:06 294K
Buchi Automaton (semantic LBE).readers_writer.bpl.log 2022-09-29 15:00 294K
Buchi Automaton (semantic LBE).array-sum-with-log-6threads.bpl.log 2022-09-29 15:02 308K