Index of /logs/conditional-commutativity/20241115-120025-conditional-commutativity-f09727d903/conditional-commutativity.2024-11-14_21-50-21.logfiles
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
CE-NecessaryAndSufficient-Badger.array-eq-symm.wvr.yml.log 2024-11-15 01:54 82K
CE-NecessaryAndSufficient-Badger.array-eq-trans.wvr.yml.log 2024-11-15 01:54 159K
CE-NecessaryAndSufficient-Badger.array-int-subst.wvr.yml.log 2024-11-15 01:56 162K
CE-NecessaryAndSufficient-Badger.array-int-symm.wvr.yml.log 2024-11-15 01:55 81K
CE-NecessaryAndSufficient-Badger.array-int-trans.wvr.yml.log 2024-11-15 01:56 261K
CE-NecessaryAndSufficient-Badger.array-sum-alt.wvr.yml.log 2024-11-15 02:42 602K
CE-NecessaryAndSufficient-Badger.array-sum.wvr.yml.log 2024-11-15 02:31 196K
CE-NecessaryAndSufficient-Badger.bakery-2.wvr.yml.log 2024-11-15 02:00 67K
CE-NecessaryAndSufficient-Badger.bakery-3.wvr.yml.log 2024-11-15 02:01 298K
CE-NecessaryAndSufficient-Badger.bakery-4.wvr.yml.log 2024-11-15 02:12 1.8M
CE-NecessaryAndSufficient-Badger.barrier-loop.wvr.yml.log 2024-11-15 02:01 72K
CE-NecessaryAndSufficient-Badger.barrier.wvr.yml.log 2024-11-15 02:01 83K
CE-NecessaryAndSufficient-Badger.bluetooth.wvr.yml.log 2024-11-15 02:01 46K
CE-NecessaryAndSufficient-Badger.buffer-mult-alt.wvr.yml.log 2024-11-15 02:35 177K
CE-NecessaryAndSufficient-Badger.buffer-mult.wvr.yml.log 2024-11-15 02:43 300K
CE-NecessaryAndSufficient-Badger.buffer-series-array.wvr.yml.log 2024-11-15 02:39 171K
CE-NecessaryAndSufficient-Badger.buffer-series.wvr.yml.log 2024-11-15 02:41 171K
CE-NecessaryAndSufficient-Badger.channel-sum.wvr.yml.log 2024-11-15 02:23 421K
CE-NecessaryAndSufficient-Badger.chromosome-opt-symm.wvr.yml.log 2024-11-15 01:56 92K
CE-NecessaryAndSufficient-Badger.chromosome-subst.wvr.yml.log 2024-11-15 01:57 144K
CE-NecessaryAndSufficient-Badger.chromosome-symm.wvr.yml.log 2024-11-15 01:57 117K
CE-NecessaryAndSufficient-Badger.chromosome-trans.wvr.yml.log 2024-11-15 01:57 206K
CE-NecessaryAndSufficient-Badger.clever.wvr.yml.log 2024-11-15 02:08 4.3M
CE-NecessaryAndSufficient-Badger.collitem-subst.wvr.yml.log 2024-11-15 01:57 39K
CE-NecessaryAndSufficient-Badger.collitem-symm.wvr.yml.log 2024-11-15 01:57 38K
CE-NecessaryAndSufficient-Badger.collitem-trans.wvr.yml.log 2024-11-15 01:57 39K
CE-NecessaryAndSufficient-Badger.commit-1.wvr.yml.log 2024-11-15 02:24 200K
CE-NecessaryAndSufficient-Badger.commit-2.wvr.yml.log 2024-11-15 02:24 303K
CE-NecessaryAndSufficient-Badger.container-subst.wvr.yml.log 2024-11-15 01:57 39K
CE-NecessaryAndSufficient-Badger.container-symm.wvr.yml.log 2024-11-15 01:57 38K
CE-NecessaryAndSufficient-Badger.container-trans.wvr.yml.log 2024-11-15 01:57 39K
CE-NecessaryAndSufficient-Badger.context1.wvr.yml.log 2024-11-15 02:42 75K
CE-NecessaryAndSufficient-Badger.counter-add-4-semi-Q67.wvr.yml.log 2024-11-15 02:42 133K
CE-NecessaryAndSufficient-Badger.counter-determinism.wvr.yml.log 2024-11-15 02:09 150K
CE-NecessaryAndSufficient-Badger.counter-fun.wvr.yml.log 2024-11-15 02:09 133K
CE-NecessaryAndSufficient-Badger.counter-queue.wvr.yml.log 2024-11-15 02:24 74K
CE-NecessaryAndSufficient-Badger.dec-subseq-array.wvr.yml.log 2024-11-15 02:33 75K
CE-NecessaryAndSufficient-Badger.dec-subseq.wvr.yml.log 2024-11-15 02:33 74K
CE-NecessaryAndSufficient-Badger.difference-det.wvr.yml.log 2024-11-15 02:09 221K
CE-NecessaryAndSufficient-Badger.dot-product-alt.wvr.yml.log 2024-11-15 02:28 129K
CE-NecessaryAndSufficient-Badger.dot-product-array.wvr.yml.log 2024-11-15 02:33 79K
CE-NecessaryAndSufficient-Badger.dot-product.wvr.yml.log 2024-11-15 02:39 183K
CE-NecessaryAndSufficient-Badger.easy1.wvr.yml.log 2024-11-15 02:42 56K
CE-NecessaryAndSufficient-Badger.easy10.wvr.yml.log 2024-11-15 02:42 57K
CE-NecessaryAndSufficient-Badger.easy11.wvr.yml.log 2024-11-15 02:42 59K
CE-NecessaryAndSufficient-Badger.easy6.wvr.yml.log 2024-11-15 02:42 67K
CE-NecessaryAndSufficient-Badger.easy7.wvr.yml.log 2024-11-15 02:42 38K
CE-NecessaryAndSufficient-Badger.easy8.wvr.yml.log 2024-11-15 02:42 38K
CE-NecessaryAndSufficient-Badger.exp-term-subst.wvr.yml.log 2024-11-15 01:57 39K
CE-NecessaryAndSufficient-Badger.exp-term-symm.wvr.yml.log 2024-11-15 01:57 38K
CE-NecessaryAndSufficient-Badger.exp1x3.wvr.yml.log 2024-11-15 01:54 63K
CE-NecessaryAndSufficient-Badger.exp2x3.wvr.yml.log 2024-11-15 01:54 104K
CE-NecessaryAndSufficient-Badger.exp2x4.wvr.yml.log 2024-11-15 01:54 104K
CE-NecessaryAndSufficient-Badger.exp2x6.wvr.yml.log 2024-11-15 01:55 104K
CE-NecessaryAndSufficient-Badger.exp2x9.wvr.yml.log 2024-11-15 01:55 102K
CE-NecessaryAndSufficient-Badger.exp3x3-opt.wvr.yml.log 2024-11-15 01:55 105K
CE-NecessaryAndSufficient-Badger.exp3x3.wvr.yml.log 2024-11-15 01:55 171K
CE-NecessaryAndSufficient-Badger.fibonacci.wvr.yml.log 2024-11-15 01:54 68K
CE-NecessaryAndSufficient-Badger.figure1-alt.wvr.yml.log 2024-11-15 02:09 78K
CE-NecessaryAndSufficient-Badger.figure1.wvr.yml.log 2024-11-15 02:09 74K
CE-NecessaryAndSufficient-Badger.figure3.wvr.yml.log 2024-11-15 02:22 927K
CE-NecessaryAndSufficient-Badger.file-item-subst.wvr.yml.log 2024-11-15 01:58 39K
CE-NecessaryAndSufficient-Badger.file-item-symm.wvr.yml.log 2024-11-15 01:58 38K
CE-NecessaryAndSufficient-Badger.file-item-trans.wvr.yml.log 2024-11-15 01:58 38K
CE-NecessaryAndSufficient-Badger.hard1.wvr.yml.log 2024-11-15 02:55 800K
CE-NecessaryAndSufficient-Badger.horseshoe.wvr.yml.log 2024-11-15 02:23 152K
CE-NecessaryAndSufficient-Badger.inc-subseq-array.wvr.yml.log 2024-11-15 02:34 75K
CE-NecessaryAndSufficient-Badger.inc-subseq.wvr.yml.log 2024-11-15 02:36 75K
CE-NecessaryAndSufficient-Badger.lamport.wvr.yml.log 2024-11-15 02:01 67K
CE-NecessaryAndSufficient-Badger.loop-tiling-eq.wvr.yml.log 2024-11-15 02:08 243K
CE-NecessaryAndSufficient-Badger.match-subst.wvr.yml.log 2024-11-15 01:58 39K
CE-NecessaryAndSufficient-Badger.match-symm.wvr.yml.log 2024-11-15 01:58 38K
CE-NecessaryAndSufficient-Badger.match-trans.wvr.yml.log 2024-11-15 01:58 39K
CE-NecessaryAndSufficient-Badger.max-array-hom.wvr.yml.log 2024-11-15 02:37 76K
CE-NecessaryAndSufficient-Badger.max-array.wvr.yml.log 2024-11-15 02:37 120K
CE-NecessaryAndSufficient-Badger.max-fun-alt.wvr.yml.log 2024-11-15 02:37 120K
CE-NecessaryAndSufficient-Badger.max-fun.wvr.yml.log 2024-11-15 02:38 76K
CE-NecessaryAndSufficient-Badger.min-array-hom.wvr.yml.log 2024-11-15 02:40 120K
CE-NecessaryAndSufficient-Badger.min-array.wvr.yml.log 2024-11-15 02:39 120K
CE-NecessaryAndSufficient-Badger.min-fun-alt.wvr.yml.log 2024-11-15 02:40 120K
CE-NecessaryAndSufficient-Badger.min-fun.wvr.yml.log 2024-11-15 02:42 120K
CE-NecessaryAndSufficient-Badger.min-le-max.wvr.yml.log 2024-11-15 02:37 54K
CE-NecessaryAndSufficient-Badger.min-max-1.wvr.yml.log 2024-11-15 02:01 42K
CE-NecessaryAndSufficient-Badger.min-max-2.wvr.yml.log 2024-11-15 02:16 210K
CE-NecessaryAndSufficient-Badger.min-max-dec.wvr.yml.log 2024-11-15 02:23 161K
CE-NecessaryAndSufficient-Badger.min-max-inc-dec.wvr.yml.log 2024-11-15 02:24 182K
CE-NecessaryAndSufficient-Badger.min-max-inc.wvr.yml.log 2024-11-15 02:23 231K
CE-NecessaryAndSufficient-Badger.misc-1.wvr.yml.log 2024-11-15 02:15 113K
CE-NecessaryAndSufficient-Badger.misc-2-unrolled-atomic.wvr.yml.log 2024-11-15 02:01 38K
CE-NecessaryAndSufficient-Badger.misc-2-unrolled.wvr.yml.log 2024-11-15 02:01 51K
CE-NecessaryAndSufficient-Badger.misc-2.wvr.yml.log 2024-11-15 02:01 121K
CE-NecessaryAndSufficient-Badger.misc-3-extended.wvr.yml.log 2024-11-15 02:01 78K
CE-NecessaryAndSufficient-Badger.misc-3.wvr.yml.log 2024-11-15 02:01 58K
CE-NecessaryAndSufficient-Badger.misc-4.wvr.yml.log 2024-11-15 02:01 61K
CE-NecessaryAndSufficient-Badger.misc-5.wvr.yml.log 2024-11-15 02:08 523K
CE-NecessaryAndSufficient-Badger.mts-array.wvr.yml.log 2024-11-15 02:42 70K
CE-NecessaryAndSufficient-Badger.mts.wvr.yml.log 2024-11-15 02:41 70K
CE-NecessaryAndSufficient-Badger.mult-4.wvr.yml.log 2024-11-15 02:27 2.3M
CE-NecessaryAndSufficient-Badger.mult-comm.wvr.yml.log 2024-11-15 02:07 623K
CE-NecessaryAndSufficient-Badger.mult-dist.wvr.yml.log 2024-11-15 02:06 1.1M
CE-NecessaryAndSufficient-Badger.mult-equiv.wvr.yml.log 2024-11-15 02:27 1.5M
CE-NecessaryAndSufficient-Badger.mult-flipped-dist.wvr.yml.log 2024-11-15 01:54 90K
CE-NecessaryAndSufficient-Badger.multiply-verify.wvr.yml.log 2024-11-15 02:38 70K
CE-NecessaryAndSufficient-Badger.name-comparator-subst.wvr.yml.log 2024-11-15 01:58 118K
CE-NecessaryAndSufficient-Badger.name-comparator-symm.wvr.yml.log 2024-11-15 01:58 78K
CE-NecessaryAndSufficient-Badger.name-comparator-trans.wvr.yml.log 2024-11-15 01:59 191K
CE-NecessaryAndSufficient-Badger.node-subst.wvr.yml.log 2024-11-15 01:58 39K
CE-NecessaryAndSufficient-Badger.node-symm.wvr.yml.log 2024-11-15 01:58 38K
CE-NecessaryAndSufficient-Badger.node-trans.wvr.yml.log 2024-11-15 01:58 38K
CE-NecessaryAndSufficient-Badger.nonblocking-cntr-alt.wvr.yml.log 2024-11-15 02:16 95K
CE-NecessaryAndSufficient-Badger.nonblocking-cntr.wvr.yml.log 2024-11-15 02:16 102K
CE-NecessaryAndSufficient-Badger.nonblocking-counter-alt2.wvr.yml.log 2024-11-15 02:51 160K
CE-NecessaryAndSufficient-Badger.nzb-file-subst.wvr.yml.log 2024-11-15 01:59 258K
CE-NecessaryAndSufficient-Badger.nzb-file-symm.wvr.yml.log 2024-11-15 01:59 129K
CE-NecessaryAndSufficient-Badger.nzb-file-trans.wvr.yml.log 2024-11-15 02:00 222K
CE-NecessaryAndSufficient-Badger.parallel-sum-1-dsl.wvr.yml.log 2024-11-15 02:16 215K
CE-NecessaryAndSufficient-Badger.parallel-sum-1.wvr.yml.log 2024-11-15 02:15 459K
CE-NecessaryAndSufficient-Badger.parallel-sum-2.wvr.yml.log 2024-11-15 02:16 426K
CE-NecessaryAndSufficient-Badger.parallel-sum-equiv.wvr.yml.log 2024-11-15 02:20 347K
CE-NecessaryAndSufficient-Badger.parray-copy.wvr.yml.log 2024-11-15 02:53 238K
CE-NecessaryAndSufficient-Badger.poker-hand-subst.wvr.yml.log 2024-11-15 02:03 714K
CE-NecessaryAndSufficient-Badger.poker-hand-symm.wvr.yml.log 2024-11-15 02:00 252K
CE-NecessaryAndSufficient-Badger.poker-hand-trans.wvr.yml.log 2024-11-15 02:02 632K
CE-NecessaryAndSufficient-Badger.prod-cons-eq.wvr.yml.log 2024-11-15 02:30 111K
CE-NecessaryAndSufficient-Badger.prod-cons.wvr.yml.log 2024-11-15 02:17 86K
CE-NecessaryAndSufficient-Badger.prod-cons3.wvr.yml.log 2024-11-15 02:22 91K
CE-NecessaryAndSufficient-Badger.queue-add-2-nl.wvr.yml.log 2024-11-15 02:39 114K
CE-NecessaryAndSufficient-Badger.queue-add-2.wvr.yml.log 2024-11-15 02:16 107K
CE-NecessaryAndSufficient-Badger.queue-add-3-nl.wvr.yml.log 2024-11-15 02:52 317K
CE-NecessaryAndSufficient-Badger.queue-add-3.wvr.yml.log 2024-11-15 02:30 425K
CE-NecessaryAndSufficient-Badger.ring-nondet.wvr.yml.log 2024-11-15 02:39 557K
CE-NecessaryAndSufficient-Badger.ring.wvr.yml.log 2024-11-15 02:27 116K
CE-NecessaryAndSufficient-Badger.security.wvr.yml.log 2024-11-15 01:54 72K
CE-NecessaryAndSufficient-Badger.semi1.wvr.yml.log 2024-11-15 02:42 38K
CE-NecessaryAndSufficient-Badger.send-receive-alt.wvr.yml.log 2024-11-15 02:30 452K
CE-NecessaryAndSufficient-Badger.send-receive.wvr.yml.log 2024-11-15 02:31 384K
CE-NecessaryAndSufficient-Badger.simpl-str-subst.wvr.yml.log 2024-11-15 02:00 38K
CE-NecessaryAndSufficient-Badger.simpl-str-symm.wvr.yml.log 2024-11-15 02:00 38K
CE-NecessaryAndSufficient-Badger.simpl-str-trans.wvr.yml.log 2024-11-15 02:00 38K
CE-NecessaryAndSufficient-Badger.simple-array-sum.wvr.yml.log 2024-11-15 02:24 161K
CE-NecessaryAndSufficient-Badger.simple-equiv.wvr.yml.log 2024-11-15 02:06 38K
CE-NecessaryAndSufficient-Badger.simple-queue.wvr.yml.log 2024-11-15 02:22 77K
CE-NecessaryAndSufficient-Badger.sorted.wvr.yml.log 2024-11-15 02:54 141K
CE-NecessaryAndSufficient-Badger.spaghetti.wvr.yml.log 2024-11-15 01:54 43K
CE-NecessaryAndSufficient-Badger.sre-subst.wvr.yml.log 2024-11-15 02:00 38K
CE-NecessaryAndSufficient-Badger.sre-symm.wvr.yml.log 2024-11-15 02:00 38K
CE-NecessaryAndSufficient-Badger.sre-trans.wvr.yml.log 2024-11-15 02:00 38K
CE-NecessaryAndSufficient-Badger.sum-array-hom.wvr.yml.log 2024-11-15 02:45 320K
CE-NecessaryAndSufficient-Badger.sum-array.wvr.yml.log 2024-11-15 02:51 410K
CE-NecessaryAndSufficient-Badger.sum-fun-alt.wvr.yml.log 2024-11-15 02:52 410K
CE-NecessaryAndSufficient-Badger.sum-fun.wvr.yml.log 2024-11-15 02:46 320K
CE-NecessaryAndSufficient-Badger.threaded-sum-2.wvr.yml.log 2024-11-15 02:28 122K
CE-NecessaryAndSufficient-Badger.threaded-sum-3.wvr.yml.log 2024-11-15 02:35 420K
CE-NecessaryAndSufficient-Badger.three-array-max.wvr.yml.log 2024-11-15 02:29 91K
CE-NecessaryAndSufficient-Badger.three-array-min.wvr.yml.log 2024-11-15 02:37 92K
CE-NecessaryAndSufficient-Badger.three-array-sum-alt.wvr.yml.log 2024-11-15 02:27 121K
CE-NecessaryAndSufficient-Badger.three-array-sum.wvr.yml.log 2024-11-15 02:25 165K
CE-NecessaryAndSufficient-Badger.ticket-2.wvr.yml.log 2024-11-15 02:06 46K
CE-NecessaryAndSufficient-Badger.ticket-3.wvr.yml.log 2024-11-15 02:06 79K
CE-NecessaryAndSufficient-Badger.ticket-4.wvr.yml.log 2024-11-15 02:07 175K
CE-NecessaryAndSufficient-Badger.ticket-5.wvr.yml.log 2024-11-15 02:07 338K
CE-NecessaryAndSufficient-Badger.ticket-6.wvr.yml.log 2024-11-15 02:10 594K
CE-NecessaryAndSufficient-Badger.ticket-7.wvr.yml.log 2024-11-15 02:13 317K
CE-NecessaryAndSufficient-Badger.ticket-8.wvr.yml.log 2024-11-15 02:13 41K
CE-NecessaryAndSufficient-Badger.time-subst.wvr.yml.log 2024-11-15 02:00 38K
CE-NecessaryAndSufficient-Badger.time-symm.wvr.yml.log 2024-11-15 02:00 38K
CE-NecessaryAndSufficient-Badger.time-trans.wvr.yml.log 2024-11-15 02:00 38K
CE-NecessaryAndSufficient-Badger.two-queue.wvr.yml.log 2024-11-15 02:24 92K
CE-NecessaryAndSufficient-Badger.unroll-2.wvr.yml.log 2024-11-15 02:00 211K
CE-NecessaryAndSufficient-Badger.unroll-3.wvr.yml.log 2024-11-15 02:06 177K
CE-NecessaryAndSufficient-Badger.unroll-4.wvr.yml.log 2024-11-15 02:01 134K
CE-NecessaryAndSufficient-Badger.unroll-5.wvr.yml.log 2024-11-15 02:08 124K
CE-NecessaryAndSufficient-Badger.unroll-cond-2.wvr.yml.log 2024-11-15 02:00 169K
CE-NecessaryAndSufficient-Badger.unroll-cond-3.wvr.yml.log 2024-11-15 02:00 138K
CE-NecessaryAndSufficient-Badger.unroll-cond-4.wvr.yml.log 2024-11-15 02:00 109K
CE-NecessaryAndSufficient-Badger.unroll-cond-5.wvr.yml.log 2024-11-15 02:09 48K
CE-NecessaryAndSufficient-Badger.vector-add.wvr.yml.log 2024-11-15 02:55 87K
CE-NecessaryAndSufficient-Badger.word-subst.wvr.yml.log 2024-11-15 02:01 210K
CE-NecessaryAndSufficient-Badger.word-symm.wvr.yml.log 2024-11-15 02:00 121K
CE-NecessaryAndSufficient-Badger.word-trans.wvr.yml.log 2024-11-15 02:01 258K
CE-NecessaryAndSufficient-Camel.array-eq-symm.wvr.yml.log 2024-11-15 02:55 82K
CE-NecessaryAndSufficient-Camel.array-eq-trans.wvr.yml.log 2024-11-15 02:56 159K
CE-NecessaryAndSufficient-Camel.array-int-subst.wvr.yml.log 2024-11-15 02:57 162K
CE-NecessaryAndSufficient-Camel.array-int-symm.wvr.yml.log 2024-11-15 02:57 81K
CE-NecessaryAndSufficient-Camel.array-int-trans.wvr.yml.log 2024-11-15 02:58 261K
CE-NecessaryAndSufficient-Camel.array-sum-alt.wvr.yml.log 2024-11-15 03:40 602K
CE-NecessaryAndSufficient-Camel.array-sum.wvr.yml.log 2024-11-15 03:30 196K
CE-NecessaryAndSufficient-Camel.bakery-2.wvr.yml.log 2024-11-15 03:03 67K
CE-NecessaryAndSufficient-Camel.bakery-3.wvr.yml.log 2024-11-15 03:03 298K
CE-NecessaryAndSufficient-Camel.bakery-4.wvr.yml.log 2024-11-15 03:12 1.5M
CE-NecessaryAndSufficient-Camel.barrier-loop.wvr.yml.log 2024-11-15 03:03 73K
CE-NecessaryAndSufficient-Camel.barrier.wvr.yml.log 2024-11-15 03:03 83K
CE-NecessaryAndSufficient-Camel.bluetooth.wvr.yml.log 2024-11-15 03:03 46K
CE-NecessaryAndSufficient-Camel.buffer-mult-alt.wvr.yml.log 2024-11-15 03:34 177K
CE-NecessaryAndSufficient-Camel.buffer-mult.wvr.yml.log 2024-11-15 03:41 298K
CE-NecessaryAndSufficient-Camel.buffer-series-array.wvr.yml.log 2024-11-15 03:38 171K
CE-NecessaryAndSufficient-Camel.buffer-series.wvr.yml.log 2024-11-15 03:39 171K
CE-NecessaryAndSufficient-Camel.channel-sum.wvr.yml.log 2024-11-15 03:10 133K
CE-NecessaryAndSufficient-Camel.chromosome-opt-symm.wvr.yml.log 2024-11-15 02:58 92K
CE-NecessaryAndSufficient-Camel.chromosome-subst.wvr.yml.log 2024-11-15 02:58 144K
CE-NecessaryAndSufficient-Camel.chromosome-symm.wvr.yml.log 2024-11-15 02:58 117K
CE-NecessaryAndSufficient-Camel.chromosome-trans.wvr.yml.log 2024-11-15 02:59 206K
CE-NecessaryAndSufficient-Camel.clever.wvr.yml.log 2024-11-15 03:09 4.2M
CE-NecessaryAndSufficient-Camel.collitem-subst.wvr.yml.log 2024-11-15 02:58 38K
CE-NecessaryAndSufficient-Camel.collitem-symm.wvr.yml.log 2024-11-15 02:58 38K
CE-NecessaryAndSufficient-Camel.collitem-trans.wvr.yml.log 2024-11-15 02:59 39K
CE-NecessaryAndSufficient-Camel.commit-1.wvr.yml.log 2024-11-15 03:24 200K
CE-NecessaryAndSufficient-Camel.commit-2.wvr.yml.log 2024-11-15 03:24 303K
CE-NecessaryAndSufficient-Camel.container-subst.wvr.yml.log 2024-11-15 02:59 39K
CE-NecessaryAndSufficient-Camel.container-symm.wvr.yml.log 2024-11-15 02:59 38K
CE-NecessaryAndSufficient-Camel.container-trans.wvr.yml.log 2024-11-15 02:59 39K
CE-NecessaryAndSufficient-Camel.context1.wvr.yml.log 2024-11-15 03:40 75K
CE-NecessaryAndSufficient-Camel.counter-add-4-semi-Q67.wvr.yml.log 2024-11-15 03:40 133K
CE-NecessaryAndSufficient-Camel.counter-determinism.wvr.yml.log 2024-11-15 03:11 150K
CE-NecessaryAndSufficient-Camel.counter-fun.wvr.yml.log 2024-11-15 03:10 133K
CE-NecessaryAndSufficient-Camel.counter-queue.wvr.yml.log 2024-11-15 03:24 74K
CE-NecessaryAndSufficient-Camel.dec-subseq-array.wvr.yml.log 2024-11-15 03:32 75K
CE-NecessaryAndSufficient-Camel.dec-subseq.wvr.yml.log 2024-11-15 03:33 74K
CE-NecessaryAndSufficient-Camel.difference-det.wvr.yml.log 2024-11-15 03:11 221K
CE-NecessaryAndSufficient-Camel.dot-product-alt.wvr.yml.log 2024-11-15 03:28 129K
CE-NecessaryAndSufficient-Camel.dot-product-array.wvr.yml.log 2024-11-15 03:32 79K
CE-NecessaryAndSufficient-Camel.dot-product.wvr.yml.log 2024-11-15 03:39 183K
CE-NecessaryAndSufficient-Camel.easy1.wvr.yml.log 2024-11-15 03:40 56K
CE-NecessaryAndSufficient-Camel.easy10.wvr.yml.log 2024-11-15 03:40 57K
CE-NecessaryAndSufficient-Camel.easy11.wvr.yml.log 2024-11-15 03:40 59K
CE-NecessaryAndSufficient-Camel.easy6.wvr.yml.log 2024-11-15 03:40 66K
CE-NecessaryAndSufficient-Camel.easy7.wvr.yml.log 2024-11-15 03:40 38K
CE-NecessaryAndSufficient-Camel.easy8.wvr.yml.log 2024-11-15 03:40 38K
CE-NecessaryAndSufficient-Camel.exp-term-subst.wvr.yml.log 2024-11-15 02:59 39K
CE-NecessaryAndSufficient-Camel.exp-term-symm.wvr.yml.log 2024-11-15 02:59 38K
CE-NecessaryAndSufficient-Camel.exp1x3.wvr.yml.log 2024-11-15 02:55 63K
CE-NecessaryAndSufficient-Camel.exp2x3.wvr.yml.log 2024-11-15 02:56 104K
CE-NecessaryAndSufficient-Camel.exp2x4.wvr.yml.log 2024-11-15 02:56 104K
CE-NecessaryAndSufficient-Camel.exp2x6.wvr.yml.log 2024-11-15 02:56 104K
CE-NecessaryAndSufficient-Camel.exp2x9.wvr.yml.log 2024-11-15 02:56 102K
CE-NecessaryAndSufficient-Camel.exp3x3-opt.wvr.yml.log 2024-11-15 02:56 105K
CE-NecessaryAndSufficient-Camel.exp3x3.wvr.yml.log 2024-11-15 02:56 171K
CE-NecessaryAndSufficient-Camel.fibonacci.wvr.yml.log 2024-11-15 02:55 68K
CE-NecessaryAndSufficient-Camel.figure1-alt.wvr.yml.log 2024-11-15 03:11 78K
CE-NecessaryAndSufficient-Camel.figure1.wvr.yml.log 2024-11-15 03:11 74K
CE-NecessaryAndSufficient-Camel.figure3.wvr.yml.log 2024-11-15 03:24 934K
CE-NecessaryAndSufficient-Camel.file-item-subst.wvr.yml.log 2024-11-15 02:59 39K
CE-NecessaryAndSufficient-Camel.file-item-symm.wvr.yml.log 2024-11-15 02:59 38K
CE-NecessaryAndSufficient-Camel.file-item-trans.wvr.yml.log 2024-11-15 02:59 38K
CE-NecessaryAndSufficient-Camel.hard1.wvr.yml.log 2024-11-15 03:54 871K
CE-NecessaryAndSufficient-Camel.horseshoe.wvr.yml.log 2024-11-15 03:18 209K
CE-NecessaryAndSufficient-Camel.inc-subseq-array.wvr.yml.log 2024-11-15 03:34 75K
CE-NecessaryAndSufficient-Camel.inc-subseq.wvr.yml.log 2024-11-15 03:36 74K
CE-NecessaryAndSufficient-Camel.lamport.wvr.yml.log 2024-11-15 03:03 67K
CE-NecessaryAndSufficient-Camel.loop-tiling-eq.wvr.yml.log 2024-11-15 03:10 245K
CE-NecessaryAndSufficient-Camel.match-subst.wvr.yml.log 2024-11-15 02:59 39K
CE-NecessaryAndSufficient-Camel.match-symm.wvr.yml.log 2024-11-15 02:59 38K
CE-NecessaryAndSufficient-Camel.match-trans.wvr.yml.log 2024-11-15 02:59 39K
CE-NecessaryAndSufficient-Camel.max-array-hom.wvr.yml.log 2024-11-15 03:36 76K
CE-NecessaryAndSufficient-Camel.max-array.wvr.yml.log 2024-11-15 03:36 120K
CE-NecessaryAndSufficient-Camel.max-fun-alt.wvr.yml.log 2024-11-15 03:36 120K
CE-NecessaryAndSufficient-Camel.max-fun.wvr.yml.log 2024-11-15 03:37 76K
CE-NecessaryAndSufficient-Camel.min-array-hom.wvr.yml.log 2024-11-15 03:40 120K
CE-NecessaryAndSufficient-Camel.min-array.wvr.yml.log 2024-11-15 03:38 120K
CE-NecessaryAndSufficient-Camel.min-fun-alt.wvr.yml.log 2024-11-15 03:38 120K
CE-NecessaryAndSufficient-Camel.min-fun.wvr.yml.log 2024-11-15 03:41 120K
CE-NecessaryAndSufficient-Camel.min-le-max.wvr.yml.log 2024-11-15 03:36 54K
CE-NecessaryAndSufficient-Camel.min-max-1.wvr.yml.log 2024-11-15 03:03 42K
CE-NecessaryAndSufficient-Camel.min-max-2.wvr.yml.log 2024-11-15 03:17 197K
CE-NecessaryAndSufficient-Camel.min-max-dec.wvr.yml.log 2024-11-15 03:25 136K
CE-NecessaryAndSufficient-Camel.min-max-inc-dec.wvr.yml.log 2024-11-15 03:26 189K
CE-NecessaryAndSufficient-Camel.min-max-inc.wvr.yml.log 2024-11-15 03:27 230K
CE-NecessaryAndSufficient-Camel.misc-1.wvr.yml.log 2024-11-15 03:18 112K
CE-NecessaryAndSufficient-Camel.misc-2-unrolled-atomic.wvr.yml.log 2024-11-15 03:03 38K
CE-NecessaryAndSufficient-Camel.misc-2-unrolled.wvr.yml.log 2024-11-15 03:03 51K
CE-NecessaryAndSufficient-Camel.misc-2.wvr.yml.log 2024-11-15 03:03 121K
CE-NecessaryAndSufficient-Camel.misc-3-extended.wvr.yml.log 2024-11-15 03:03 78K
CE-NecessaryAndSufficient-Camel.misc-3.wvr.yml.log 2024-11-15 03:04 58K
CE-NecessaryAndSufficient-Camel.misc-4.wvr.yml.log 2024-11-15 03:04 61K
CE-NecessaryAndSufficient-Camel.misc-5.wvr.yml.log 2024-11-15 03:13 685K
CE-NecessaryAndSufficient-Camel.mts-array.wvr.yml.log 2024-11-15 03:40 71K
CE-NecessaryAndSufficient-Camel.mts.wvr.yml.log 2024-11-15 03:40 70K
CE-NecessaryAndSufficient-Camel.mult-4.wvr.yml.log 2024-11-15 03:29 2.0M
CE-NecessaryAndSufficient-Camel.mult-comm.wvr.yml.log 2024-11-15 03:09 603K
CE-NecessaryAndSufficient-Camel.mult-dist.wvr.yml.log 2024-11-15 03:08 1.1M
CE-NecessaryAndSufficient-Camel.mult-equiv.wvr.yml.log 2024-11-15 03:27 1.4M
CE-NecessaryAndSufficient-Camel.mult-flipped-dist.wvr.yml.log 2024-11-15 02:55 90K
CE-NecessaryAndSufficient-Camel.multiply-verify.wvr.yml.log 2024-11-15 03:37 70K
CE-NecessaryAndSufficient-Camel.name-comparator-subst.wvr.yml.log 2024-11-15 03:00 118K
CE-NecessaryAndSufficient-Camel.name-comparator-symm.wvr.yml.log 2024-11-15 03:00 78K
CE-NecessaryAndSufficient-Camel.name-comparator-trans.wvr.yml.log 2024-11-15 03:00 191K
CE-NecessaryAndSufficient-Camel.node-subst.wvr.yml.log 2024-11-15 03:00 38K
CE-NecessaryAndSufficient-Camel.node-symm.wvr.yml.log 2024-11-15 03:00 38K
CE-NecessaryAndSufficient-Camel.node-trans.wvr.yml.log 2024-11-15 03:00 38K
CE-NecessaryAndSufficient-Camel.nonblocking-cntr-alt.wvr.yml.log 2024-11-15 03:15 95K
CE-NecessaryAndSufficient-Camel.nonblocking-cntr.wvr.yml.log 2024-11-15 03:16 93K
CE-NecessaryAndSufficient-Camel.nonblocking-counter-alt2.wvr.yml.log 2024-11-15 03:51 164K
CE-NecessaryAndSufficient-Camel.nzb-file-subst.wvr.yml.log 2024-11-15 03:01 258K
CE-NecessaryAndSufficient-Camel.nzb-file-symm.wvr.yml.log 2024-11-15 03:01 129K
CE-NecessaryAndSufficient-Camel.nzb-file-trans.wvr.yml.log 2024-11-15 03:02 222K
CE-NecessaryAndSufficient-Camel.parallel-sum-1-dsl.wvr.yml.log 2024-11-15 03:18 215K
CE-NecessaryAndSufficient-Camel.parallel-sum-1.wvr.yml.log 2024-11-15 03:17 453K
CE-NecessaryAndSufficient-Camel.parallel-sum-2.wvr.yml.log 2024-11-15 03:18 394K
CE-NecessaryAndSufficient-Camel.parallel-sum-equiv.wvr.yml.log 2024-11-15 03:22 347K
CE-NecessaryAndSufficient-Camel.parray-copy.wvr.yml.log 2024-11-15 03:51 238K
CE-NecessaryAndSufficient-Camel.poker-hand-subst.wvr.yml.log 2024-11-15 03:04 714K
CE-NecessaryAndSufficient-Camel.poker-hand-symm.wvr.yml.log 2024-11-15 03:02 252K
CE-NecessaryAndSufficient-Camel.poker-hand-trans.wvr.yml.log 2024-11-15 03:04 632K
CE-NecessaryAndSufficient-Camel.prod-cons-eq.wvr.yml.log 2024-11-15 03:30 111K
CE-NecessaryAndSufficient-Camel.prod-cons.wvr.yml.log 2024-11-15 03:19 86K
CE-NecessaryAndSufficient-Camel.prod-cons3.wvr.yml.log 2024-11-15 03:24 91K
CE-NecessaryAndSufficient-Camel.queue-add-2-nl.wvr.yml.log 2024-11-15 03:38 114K
CE-NecessaryAndSufficient-Camel.queue-add-2.wvr.yml.log 2024-11-15 03:18 107K
CE-NecessaryAndSufficient-Camel.queue-add-3-nl.wvr.yml.log 2024-11-15 03:40 186K
CE-NecessaryAndSufficient-Camel.queue-add-3.wvr.yml.log 2024-11-15 03:19 179K
CE-NecessaryAndSufficient-Camel.ring-nondet.wvr.yml.log 2024-11-15 03:39 612K
CE-NecessaryAndSufficient-Camel.ring.wvr.yml.log 2024-11-15 03:26 116K
CE-NecessaryAndSufficient-Camel.security.wvr.yml.log 2024-11-15 02:55 72K
CE-NecessaryAndSufficient-Camel.semi1.wvr.yml.log 2024-11-15 03:41 38K
CE-NecessaryAndSufficient-Camel.send-receive-alt.wvr.yml.log 2024-11-15 03:18 135K
CE-NecessaryAndSufficient-Camel.send-receive.wvr.yml.log 2024-11-15 03:19 137K
CE-NecessaryAndSufficient-Camel.simpl-str-subst.wvr.yml.log 2024-11-15 03:02 39K
CE-NecessaryAndSufficient-Camel.simpl-str-symm.wvr.yml.log 2024-11-15 03:02 38K
CE-NecessaryAndSufficient-Camel.simpl-str-trans.wvr.yml.log 2024-11-15 03:02 38K
CE-NecessaryAndSufficient-Camel.simple-array-sum.wvr.yml.log 2024-11-15 03:23 161K
CE-NecessaryAndSufficient-Camel.simple-equiv.wvr.yml.log 2024-11-15 03:08 38K
CE-NecessaryAndSufficient-Camel.simple-queue.wvr.yml.log 2024-11-15 03:18 77K
CE-NecessaryAndSufficient-Camel.sorted.wvr.yml.log 2024-11-15 03:53 141K
CE-NecessaryAndSufficient-Camel.spaghetti.wvr.yml.log 2024-11-15 02:55 43K
CE-NecessaryAndSufficient-Camel.sre-subst.wvr.yml.log 2024-11-15 03:02 38K
CE-NecessaryAndSufficient-Camel.sre-symm.wvr.yml.log 2024-11-15 03:02 38K
CE-NecessaryAndSufficient-Camel.sre-trans.wvr.yml.log 2024-11-15 03:02 38K
CE-NecessaryAndSufficient-Camel.sum-array-hom.wvr.yml.log 2024-11-15 03:44 320K
CE-NecessaryAndSufficient-Camel.sum-array.wvr.yml.log 2024-11-15 03:51 410K
CE-NecessaryAndSufficient-Camel.sum-fun-alt.wvr.yml.log 2024-11-15 03:51 410K
CE-NecessaryAndSufficient-Camel.sum-fun.wvr.yml.log 2024-11-15 03:45 320K
CE-NecessaryAndSufficient-Camel.threaded-sum-2.wvr.yml.log 2024-11-15 03:27 122K
CE-NecessaryAndSufficient-Camel.threaded-sum-3.wvr.yml.log 2024-11-15 03:32 419K
CE-NecessaryAndSufficient-Camel.three-array-max.wvr.yml.log 2024-11-15 03:26 91K
CE-NecessaryAndSufficient-Camel.three-array-min.wvr.yml.log 2024-11-15 03:34 92K
CE-NecessaryAndSufficient-Camel.three-array-sum-alt.wvr.yml.log 2024-11-15 03:26 121K
CE-NecessaryAndSufficient-Camel.three-array-sum.wvr.yml.log 2024-11-15 03:22 165K
CE-NecessaryAndSufficient-Camel.ticket-2.wvr.yml.log 2024-11-15 03:08 46K
CE-NecessaryAndSufficient-Camel.ticket-3.wvr.yml.log 2024-11-15 03:08 79K
CE-NecessaryAndSufficient-Camel.ticket-4.wvr.yml.log 2024-11-15 03:09 175K
CE-NecessaryAndSufficient-Camel.ticket-5.wvr.yml.log 2024-11-15 03:09 338K
CE-NecessaryAndSufficient-Camel.ticket-6.wvr.yml.log 2024-11-15 03:11 594K
CE-NecessaryAndSufficient-Camel.ticket-7.wvr.yml.log 2024-11-15 03:15 317K
CE-NecessaryAndSufficient-Camel.ticket-8.wvr.yml.log 2024-11-15 03:13 32K
CE-NecessaryAndSufficient-Camel.time-subst.wvr.yml.log 2024-11-15 03:02 38K
CE-NecessaryAndSufficient-Camel.time-symm.wvr.yml.log 2024-11-15 03:02 38K
CE-NecessaryAndSufficient-Camel.time-trans.wvr.yml.log 2024-11-15 03:02 38K
CE-NecessaryAndSufficient-Camel.two-queue.wvr.yml.log 2024-11-15 03:22 92K
CE-NecessaryAndSufficient-Camel.unroll-2.wvr.yml.log 2024-11-15 03:01 211K
CE-NecessaryAndSufficient-Camel.unroll-3.wvr.yml.log 2024-11-15 03:08 177K
CE-NecessaryAndSufficient-Camel.unroll-4.wvr.yml.log 2024-11-15 03:03 134K
CE-NecessaryAndSufficient-Camel.unroll-5.wvr.yml.log 2024-11-15 03:10 124K
CE-NecessaryAndSufficient-Camel.unroll-cond-2.wvr.yml.log 2024-11-15 03:02 169K
CE-NecessaryAndSufficient-Camel.unroll-cond-3.wvr.yml.log 2024-11-15 03:02 137K
CE-NecessaryAndSufficient-Camel.unroll-cond-4.wvr.yml.log 2024-11-15 03:02 109K
CE-NecessaryAndSufficient-Camel.unroll-cond-5.wvr.yml.log 2024-11-15 03:10 48K
CE-NecessaryAndSufficient-Camel.vector-add.wvr.yml.log 2024-11-15 03:54 87K
CE-NecessaryAndSufficient-Camel.word-subst.wvr.yml.log 2024-11-15 03:03 210K
CE-NecessaryAndSufficient-Camel.word-symm.wvr.yml.log 2024-11-15 03:03 121K
CE-NecessaryAndSufficient-Camel.word-trans.wvr.yml.log 2024-11-15 03:03 258K
CE-NecessaryAndSufficient.array-eq-symm.wvr.yml.log 2024-11-15 00:57 82K
CE-NecessaryAndSufficient.array-eq-trans.wvr.yml.log 2024-11-15 00:57 159K
CE-NecessaryAndSufficient.array-int-subst.wvr.yml.log 2024-11-15 00:59 162K
CE-NecessaryAndSufficient.array-int-symm.wvr.yml.log 2024-11-15 00:58 81K
CE-NecessaryAndSufficient.array-int-trans.wvr.yml.log 2024-11-15 00:59 261K
CE-NecessaryAndSufficient.array-sum-alt.wvr.yml.log 2024-11-15 01:41 590K
CE-NecessaryAndSufficient.array-sum.wvr.yml.log 2024-11-15 01:31 196K
CE-NecessaryAndSufficient.bakery-2.wvr.yml.log 2024-11-15 01:03 66K
CE-NecessaryAndSufficient.bakery-3.wvr.yml.log 2024-11-15 01:04 298K
CE-NecessaryAndSufficient.bakery-4.wvr.yml.log 2024-11-15 01:14 1.8M
CE-NecessaryAndSufficient.barrier-loop.wvr.yml.log 2024-11-15 01:04 72K
CE-NecessaryAndSufficient.barrier.wvr.yml.log 2024-11-15 01:04 83K
CE-NecessaryAndSufficient.bluetooth.wvr.yml.log 2024-11-15 01:04 46K
CE-NecessaryAndSufficient.buffer-mult-alt.wvr.yml.log 2024-11-15 01:34 177K
CE-NecessaryAndSufficient.buffer-mult.wvr.yml.log 2024-11-15 01:42 294K
CE-NecessaryAndSufficient.buffer-series-array.wvr.yml.log 2024-11-15 01:39 171K
CE-NecessaryAndSufficient.buffer-series.wvr.yml.log 2024-11-15 01:39 171K
CE-NecessaryAndSufficient.channel-sum.wvr.yml.log 2024-11-15 01:11 152K
CE-NecessaryAndSufficient.chromosome-opt-symm.wvr.yml.log 2024-11-15 00:59 92K
CE-NecessaryAndSufficient.chromosome-subst.wvr.yml.log 2024-11-15 01:00 143K
CE-NecessaryAndSufficient.chromosome-symm.wvr.yml.log 2024-11-15 00:59 117K
CE-NecessaryAndSufficient.chromosome-trans.wvr.yml.log 2024-11-15 01:00 205K
CE-NecessaryAndSufficient.clever.wvr.yml.log 2024-11-15 01:11 4.3M
CE-NecessaryAndSufficient.collitem-subst.wvr.yml.log 2024-11-15 01:00 38K
CE-NecessaryAndSufficient.collitem-symm.wvr.yml.log 2024-11-15 01:00 38K
CE-NecessaryAndSufficient.collitem-trans.wvr.yml.log 2024-11-15 01:00 38K
CE-NecessaryAndSufficient.commit-1.wvr.yml.log 2024-11-15 01:24 200K
CE-NecessaryAndSufficient.commit-2.wvr.yml.log 2024-11-15 01:25 303K
CE-NecessaryAndSufficient.container-subst.wvr.yml.log 2024-11-15 01:00 38K
CE-NecessaryAndSufficient.container-symm.wvr.yml.log 2024-11-15 01:00 38K
CE-NecessaryAndSufficient.container-trans.wvr.yml.log 2024-11-15 01:00 38K
CE-NecessaryAndSufficient.context1.wvr.yml.log 2024-11-15 01:40 75K
CE-NecessaryAndSufficient.counter-add-4-semi-Q67.wvr.yml.log 2024-11-15 01:40 133K
CE-NecessaryAndSufficient.counter-determinism.wvr.yml.log 2024-11-15 01:12 149K
CE-NecessaryAndSufficient.counter-fun.wvr.yml.log 2024-11-15 01:12 133K
CE-NecessaryAndSufficient.counter-queue.wvr.yml.log 2024-11-15 01:25 74K
CE-NecessaryAndSufficient.dec-subseq-array.wvr.yml.log 2024-11-15 01:31 74K
CE-NecessaryAndSufficient.dec-subseq.wvr.yml.log 2024-11-15 01:32 74K
CE-NecessaryAndSufficient.difference-det.wvr.yml.log 2024-11-15 01:12 221K
CE-NecessaryAndSufficient.dot-product-alt.wvr.yml.log 2024-11-15 01:29 129K
CE-NecessaryAndSufficient.dot-product-array.wvr.yml.log 2024-11-15 01:31 78K
CE-NecessaryAndSufficient.dot-product.wvr.yml.log 2024-11-15 01:40 183K
CE-NecessaryAndSufficient.easy1.wvr.yml.log 2024-11-15 01:40 55K
CE-NecessaryAndSufficient.easy10.wvr.yml.log 2024-11-15 01:40 57K
CE-NecessaryAndSufficient.easy11.wvr.yml.log 2024-11-15 01:40 59K
CE-NecessaryAndSufficient.easy6.wvr.yml.log 2024-11-15 01:40 66K
CE-NecessaryAndSufficient.easy7.wvr.yml.log 2024-11-15 01:40 37K
CE-NecessaryAndSufficient.easy8.wvr.yml.log 2024-11-15 01:40 37K
CE-NecessaryAndSufficient.exp-term-subst.wvr.yml.log 2024-11-15 01:00 38K
CE-NecessaryAndSufficient.exp-term-symm.wvr.yml.log 2024-11-15 01:00 38K
CE-NecessaryAndSufficient.exp1x3.wvr.yml.log 2024-11-15 00:57 63K
CE-NecessaryAndSufficient.exp2x3.wvr.yml.log 2024-11-15 00:57 104K
CE-NecessaryAndSufficient.exp2x4.wvr.yml.log 2024-11-15 00:57 104K
CE-NecessaryAndSufficient.exp2x6.wvr.yml.log 2024-11-15 00:57 104K
CE-NecessaryAndSufficient.exp2x9.wvr.yml.log 2024-11-15 00:57 102K
CE-NecessaryAndSufficient.exp3x3-opt.wvr.yml.log 2024-11-15 00:58 105K
CE-NecessaryAndSufficient.exp3x3.wvr.yml.log 2024-11-15 00:58 170K
CE-NecessaryAndSufficient.fibonacci.wvr.yml.log 2024-11-15 00:57 68K
CE-NecessaryAndSufficient.figure1-alt.wvr.yml.log 2024-11-15 01:12 78K
CE-NecessaryAndSufficient.figure1.wvr.yml.log 2024-11-15 01:12 74K
CE-NecessaryAndSufficient.figure3.wvr.yml.log 2024-11-15 01:27 1.0M
CE-NecessaryAndSufficient.file-item-subst.wvr.yml.log 2024-11-15 01:00 38K
CE-NecessaryAndSufficient.file-item-symm.wvr.yml.log 2024-11-15 01:00 38K
CE-NecessaryAndSufficient.file-item-trans.wvr.yml.log 2024-11-15 01:00 38K
CE-NecessaryAndSufficient.hard1.wvr.yml.log 2024-11-15 01:53 816K
CE-NecessaryAndSufficient.horseshoe.wvr.yml.log 2024-11-15 01:19 208K
CE-NecessaryAndSufficient.inc-subseq-array.wvr.yml.log 2024-11-15 01:35 74K
CE-NecessaryAndSufficient.inc-subseq.wvr.yml.log 2024-11-15 01:35 74K
CE-NecessaryAndSufficient.lamport.wvr.yml.log 2024-11-15 01:04 67K
CE-NecessaryAndSufficient.loop-tiling-eq.wvr.yml.log 2024-11-15 01:11 247K
CE-NecessaryAndSufficient.match-subst.wvr.yml.log 2024-11-15 01:00 38K
CE-NecessaryAndSufficient.match-symm.wvr.yml.log 2024-11-15 01:01 37K
CE-NecessaryAndSufficient.match-trans.wvr.yml.log 2024-11-15 01:01 38K
CE-NecessaryAndSufficient.max-array-hom.wvr.yml.log 2024-11-15 01:35 76K
CE-NecessaryAndSufficient.max-array.wvr.yml.log 2024-11-15 01:36 120K
CE-NecessaryAndSufficient.max-fun-alt.wvr.yml.log 2024-11-15 01:37 120K
CE-NecessaryAndSufficient.max-fun.wvr.yml.log 2024-11-15 01:38 76K
CE-NecessaryAndSufficient.min-array-hom.wvr.yml.log 2024-11-15 01:39 120K
CE-NecessaryAndSufficient.min-array.wvr.yml.log 2024-11-15 01:38 120K
CE-NecessaryAndSufficient.min-fun-alt.wvr.yml.log 2024-11-15 01:38 120K
CE-NecessaryAndSufficient.min-fun.wvr.yml.log 2024-11-15 01:40 120K
CE-NecessaryAndSufficient.min-le-max.wvr.yml.log 2024-11-15 01:36 54K
CE-NecessaryAndSufficient.min-max-1.wvr.yml.log 2024-11-15 01:04 42K
CE-NecessaryAndSufficient.min-max-2.wvr.yml.log 2024-11-15 01:19 195K
CE-NecessaryAndSufficient.min-max-dec.wvr.yml.log 2024-11-15 01:27 143K
CE-NecessaryAndSufficient.min-max-inc-dec.wvr.yml.log 2024-11-15 01:27 191K
CE-NecessaryAndSufficient.min-max-inc.wvr.yml.log 2024-11-15 01:26 222K
CE-NecessaryAndSufficient.misc-1.wvr.yml.log 2024-11-15 01:18 112K
CE-NecessaryAndSufficient.misc-2-unrolled-atomic.wvr.yml.log 2024-11-15 01:04 38K
CE-NecessaryAndSufficient.misc-2-unrolled.wvr.yml.log 2024-11-15 01:04 51K
CE-NecessaryAndSufficient.misc-2.wvr.yml.log 2024-11-15 01:04 121K
CE-NecessaryAndSufficient.misc-3-extended.wvr.yml.log 2024-11-15 01:04 77K
CE-NecessaryAndSufficient.misc-3.wvr.yml.log 2024-11-15 01:04 58K
CE-NecessaryAndSufficient.misc-4.wvr.yml.log 2024-11-15 01:04 61K
CE-NecessaryAndSufficient.misc-5.wvr.yml.log 2024-11-15 01:13 640K
CE-NecessaryAndSufficient.mts-array.wvr.yml.log 2024-11-15 01:40 70K
CE-NecessaryAndSufficient.mts.wvr.yml.log 2024-11-15 01:40 70K
CE-NecessaryAndSufficient.mult-4.wvr.yml.log 2024-11-15 01:28 2.0M
CE-NecessaryAndSufficient.mult-comm.wvr.yml.log 2024-11-15 01:10 622K
CE-NecessaryAndSufficient.mult-dist.wvr.yml.log 2024-11-15 01:09 1.1M
CE-NecessaryAndSufficient.mult-equiv.wvr.yml.log 2024-11-15 01:29 1.5M
CE-NecessaryAndSufficient.mult-flipped-dist.wvr.yml.log 2024-11-15 00:57 90K
CE-NecessaryAndSufficient.multiply-verify.wvr.yml.log 2024-11-15 01:37 70K
CE-NecessaryAndSufficient.name-comparator-subst.wvr.yml.log 2024-11-15 01:01 118K
CE-NecessaryAndSufficient.name-comparator-symm.wvr.yml.log 2024-11-15 01:01 78K
CE-NecessaryAndSufficient.name-comparator-trans.wvr.yml.log 2024-11-15 01:02 190K
CE-NecessaryAndSufficient.node-subst.wvr.yml.log 2024-11-15 01:01 38K
CE-NecessaryAndSufficient.node-symm.wvr.yml.log 2024-11-15 01:01 38K
CE-NecessaryAndSufficient.node-trans.wvr.yml.log 2024-11-15 01:01 38K
CE-NecessaryAndSufficient.nonblocking-cntr-alt.wvr.yml.log 2024-11-15 01:17 95K
CE-NecessaryAndSufficient.nonblocking-cntr.wvr.yml.log 2024-11-15 01:17 92K
CE-NecessaryAndSufficient.nonblocking-counter-alt2.wvr.yml.log 2024-11-15 01:51 162K
CE-NecessaryAndSufficient.nzb-file-subst.wvr.yml.log 2024-11-15 01:02 257K
CE-NecessaryAndSufficient.nzb-file-symm.wvr.yml.log 2024-11-15 01:02 129K
CE-NecessaryAndSufficient.nzb-file-trans.wvr.yml.log 2024-11-15 01:03 221K
CE-NecessaryAndSufficient.parallel-sum-1-dsl.wvr.yml.log 2024-11-15 01:19 215K
CE-NecessaryAndSufficient.parallel-sum-1.wvr.yml.log 2024-11-15 01:18 452K
CE-NecessaryAndSufficient.parallel-sum-2.wvr.yml.log 2024-11-15 01:19 425K
CE-NecessaryAndSufficient.parallel-sum-equiv.wvr.yml.log 2024-11-15 01:22 347K
CE-NecessaryAndSufficient.parray-copy.wvr.yml.log 2024-11-15 01:49 234K
CE-NecessaryAndSufficient.poker-hand-subst.wvr.yml.log 2024-11-15 01:06 714K
CE-NecessaryAndSufficient.poker-hand-symm.wvr.yml.log 2024-11-15 01:03 252K
CE-NecessaryAndSufficient.poker-hand-trans.wvr.yml.log 2024-11-15 01:05 632K
CE-NecessaryAndSufficient.prod-cons-eq.wvr.yml.log 2024-11-15 01:31 110K
CE-NecessaryAndSufficient.prod-cons.wvr.yml.log 2024-11-15 01:20 86K
CE-NecessaryAndSufficient.prod-cons3.wvr.yml.log 2024-11-15 01:24 91K
CE-NecessaryAndSufficient.queue-add-2-nl.wvr.yml.log 2024-11-15 01:39 114K
CE-NecessaryAndSufficient.queue-add-2.wvr.yml.log 2024-11-15 01:19 107K
CE-NecessaryAndSufficient.queue-add-3-nl.wvr.yml.log 2024-11-15 01:40 185K
CE-NecessaryAndSufficient.queue-add-3.wvr.yml.log 2024-11-15 01:20 179K
CE-NecessaryAndSufficient.ring-nondet.wvr.yml.log 2024-11-15 01:40 581K
CE-NecessaryAndSufficient.ring.wvr.yml.log 2024-11-15 01:27 116K
CE-NecessaryAndSufficient.security.wvr.yml.log 2024-11-15 00:57 72K
CE-NecessaryAndSufficient.semi1.wvr.yml.log 2024-11-15 01:40 37K
CE-NecessaryAndSufficient.send-receive-alt.wvr.yml.log 2024-11-15 01:19 153K
CE-NecessaryAndSufficient.send-receive.wvr.yml.log 2024-11-15 01:20 144K
CE-NecessaryAndSufficient.simpl-str-subst.wvr.yml.log 2024-11-15 01:03 38K
CE-NecessaryAndSufficient.simpl-str-symm.wvr.yml.log 2024-11-15 01:03 38K
CE-NecessaryAndSufficient.simpl-str-trans.wvr.yml.log 2024-11-15 01:03 38K
CE-NecessaryAndSufficient.simple-array-sum.wvr.yml.log 2024-11-15 01:23 161K
CE-NecessaryAndSufficient.simple-equiv.wvr.yml.log 2024-11-15 01:09 38K
CE-NecessaryAndSufficient.simple-queue.wvr.yml.log 2024-11-15 01:19 77K
CE-NecessaryAndSufficient.sorted.wvr.yml.log 2024-11-15 01:53 141K
CE-NecessaryAndSufficient.spaghetti.wvr.yml.log 2024-11-15 00:57 43K
CE-NecessaryAndSufficient.sre-subst.wvr.yml.log 2024-11-15 01:03 38K
CE-NecessaryAndSufficient.sre-symm.wvr.yml.log 2024-11-15 01:03 38K
CE-NecessaryAndSufficient.sre-trans.wvr.yml.log 2024-11-15 01:03 38K
CE-NecessaryAndSufficient.sum-array-hom.wvr.yml.log 2024-11-15 01:44 320K
CE-NecessaryAndSufficient.sum-array.wvr.yml.log 2024-11-15 01:51 410K
CE-NecessaryAndSufficient.sum-fun-alt.wvr.yml.log 2024-11-15 01:51 410K
CE-NecessaryAndSufficient.sum-fun.wvr.yml.log 2024-11-15 01:45 320K
CE-NecessaryAndSufficient.threaded-sum-2.wvr.yml.log 2024-11-15 01:27 121K
CE-NecessaryAndSufficient.threaded-sum-3.wvr.yml.log 2024-11-15 01:34 461K
CE-NecessaryAndSufficient.three-array-max.wvr.yml.log 2024-11-15 01:26 92K
CE-NecessaryAndSufficient.three-array-min.wvr.yml.log 2024-11-15 01:34 92K
CE-NecessaryAndSufficient.three-array-sum-alt.wvr.yml.log 2024-11-15 01:27 121K
CE-NecessaryAndSufficient.three-array-sum.wvr.yml.log 2024-11-15 01:23 165K
CE-NecessaryAndSufficient.ticket-2.wvr.yml.log 2024-11-15 01:09 46K
CE-NecessaryAndSufficient.ticket-3.wvr.yml.log 2024-11-15 01:09 79K
CE-NecessaryAndSufficient.ticket-4.wvr.yml.log 2024-11-15 01:09 175K
CE-NecessaryAndSufficient.ticket-5.wvr.yml.log 2024-11-15 01:10 338K
CE-NecessaryAndSufficient.ticket-6.wvr.yml.log 2024-11-15 01:13 594K
CE-NecessaryAndSufficient.ticket-7.wvr.yml.log 2024-11-15 01:16 373K
CE-NecessaryAndSufficient.ticket-8.wvr.yml.log 2024-11-15 01:16 41K
CE-NecessaryAndSufficient.time-subst.wvr.yml.log 2024-11-15 01:03 38K
CE-NecessaryAndSufficient.time-symm.wvr.yml.log 2024-11-15 01:03 37K
CE-NecessaryAndSufficient.time-trans.wvr.yml.log 2024-11-15 01:03 38K
CE-NecessaryAndSufficient.two-queue.wvr.yml.log 2024-11-15 01:23 92K
CE-NecessaryAndSufficient.unroll-2.wvr.yml.log 2024-11-15 01:03 211K
CE-NecessaryAndSufficient.unroll-3.wvr.yml.log 2024-11-15 01:08 177K
CE-NecessaryAndSufficient.unroll-4.wvr.yml.log 2024-11-15 01:04 134K
CE-NecessaryAndSufficient.unroll-5.wvr.yml.log 2024-11-15 01:11 124K
CE-NecessaryAndSufficient.unroll-cond-2.wvr.yml.log 2024-11-15 01:02 168K
CE-NecessaryAndSufficient.unroll-cond-3.wvr.yml.log 2024-11-15 01:03 138K
CE-NecessaryAndSufficient.unroll-cond-4.wvr.yml.log 2024-11-15 01:03 109K
CE-NecessaryAndSufficient.unroll-cond-5.wvr.yml.log 2024-11-15 01:11 48K
CE-NecessaryAndSufficient.vector-add.wvr.yml.log 2024-11-15 01:54 86K
CE-NecessaryAndSufficient.word-subst.wvr.yml.log 2024-11-15 01:04 210K
CE-NecessaryAndSufficient.word-symm.wvr.yml.log 2024-11-15 01:03 121K
CE-NecessaryAndSufficient.word-trans.wvr.yml.log 2024-11-15 01:04 258K
CE-Sufficient.array-eq-symm.wvr.yml.log 2024-11-14 22:58 82K
CE-Sufficient.array-eq-trans.wvr.yml.log 2024-11-14 22:58 158K
CE-Sufficient.array-int-subst.wvr.yml.log 2024-11-14 23:00 162K
CE-Sufficient.array-int-symm.wvr.yml.log 2024-11-14 22:59 81K
CE-Sufficient.array-int-trans.wvr.yml.log 2024-11-14 23:00 261K
CE-Sufficient.array-sum-alt.wvr.yml.log 2024-11-14 23:41 602K
CE-Sufficient.array-sum.wvr.yml.log 2024-11-14 23:32 196K
CE-Sufficient.bakery-2.wvr.yml.log 2024-11-14 23:04 66K
CE-Sufficient.bakery-3.wvr.yml.log 2024-11-14 23:05 298K
CE-Sufficient.bakery-4.wvr.yml.log 2024-11-14 23:17 1.9M
CE-Sufficient.barrier-loop.wvr.yml.log 2024-11-14 23:05 72K
CE-Sufficient.barrier.wvr.yml.log 2024-11-14 23:05 83K
CE-Sufficient.bluetooth.wvr.yml.log 2024-11-14 23:05 46K
CE-Sufficient.buffer-mult-alt.wvr.yml.log 2024-11-14 23:35 177K
CE-Sufficient.buffer-mult.wvr.yml.log 2024-11-14 23:42 296K
CE-Sufficient.buffer-series-array.wvr.yml.log 2024-11-14 23:39 171K
CE-Sufficient.buffer-series.wvr.yml.log 2024-11-14 23:41 171K
CE-Sufficient.channel-sum.wvr.yml.log 2024-11-14 23:12 149K
CE-Sufficient.chromosome-opt-symm.wvr.yml.log 2024-11-14 23:00 92K
CE-Sufficient.chromosome-subst.wvr.yml.log 2024-11-14 23:00 143K
CE-Sufficient.chromosome-symm.wvr.yml.log 2024-11-14 23:00 117K
CE-Sufficient.chromosome-trans.wvr.yml.log 2024-11-14 23:01 205K
CE-Sufficient.clever.wvr.yml.log 2024-11-14 23:11 4.4M
CE-Sufficient.collitem-subst.wvr.yml.log 2024-11-14 23:01 38K
CE-Sufficient.collitem-symm.wvr.yml.log 2024-11-14 23:01 38K
CE-Sufficient.collitem-trans.wvr.yml.log 2024-11-14 23:01 38K
CE-Sufficient.commit-1.wvr.yml.log 2024-11-14 23:25 193K
CE-Sufficient.commit-2.wvr.yml.log 2024-11-14 23:26 295K
CE-Sufficient.container-subst.wvr.yml.log 2024-11-14 23:01 38K
CE-Sufficient.container-symm.wvr.yml.log 2024-11-14 23:01 38K
CE-Sufficient.container-trans.wvr.yml.log 2024-11-14 23:01 38K
CE-Sufficient.context1.wvr.yml.log 2024-11-14 23:42 75K
CE-Sufficient.counter-add-4-semi-Q67.wvr.yml.log 2024-11-14 23:42 133K
CE-Sufficient.counter-determinism.wvr.yml.log 2024-11-14 23:13 149K
CE-Sufficient.counter-fun.wvr.yml.log 2024-11-14 23:19 141K
CE-Sufficient.counter-queue.wvr.yml.log 2024-11-14 23:26 74K
CE-Sufficient.dec-subseq-array.wvr.yml.log 2024-11-14 23:34 74K
CE-Sufficient.dec-subseq.wvr.yml.log 2024-11-14 23:34 74K
CE-Sufficient.difference-det.wvr.yml.log 2024-11-14 23:13 220K
CE-Sufficient.dot-product-alt.wvr.yml.log 2024-11-14 23:30 129K
CE-Sufficient.dot-product-array.wvr.yml.log 2024-11-14 23:34 78K
CE-Sufficient.dot-product.wvr.yml.log 2024-11-14 23:40 183K
CE-Sufficient.easy1.wvr.yml.log 2024-11-14 23:42 55K
CE-Sufficient.easy10.wvr.yml.log 2024-11-14 23:42 57K
CE-Sufficient.easy11.wvr.yml.log 2024-11-14 23:42 58K
CE-Sufficient.easy6.wvr.yml.log 2024-11-14 23:42 66K
CE-Sufficient.easy7.wvr.yml.log 2024-11-14 23:42 37K
CE-Sufficient.easy8.wvr.yml.log 2024-11-14 23:42 37K
CE-Sufficient.exp-term-subst.wvr.yml.log 2024-11-14 23:01 38K
CE-Sufficient.exp-term-symm.wvr.yml.log 2024-11-14 23:01 38K
CE-Sufficient.exp1x3.wvr.yml.log 2024-11-14 22:58 63K
CE-Sufficient.exp2x3.wvr.yml.log 2024-11-14 22:58 104K
CE-Sufficient.exp2x4.wvr.yml.log 2024-11-14 22:58 104K
CE-Sufficient.exp2x6.wvr.yml.log 2024-11-14 22:58 104K
CE-Sufficient.exp2x9.wvr.yml.log 2024-11-14 22:58 102K
CE-Sufficient.exp3x3-opt.wvr.yml.log 2024-11-14 22:58 105K
CE-Sufficient.exp3x3.wvr.yml.log 2024-11-14 22:59 170K
CE-Sufficient.fibonacci.wvr.yml.log 2024-11-14 22:58 68K
CE-Sufficient.figure1-alt.wvr.yml.log 2024-11-14 23:13 78K
CE-Sufficient.figure1.wvr.yml.log 2024-11-14 23:13 73K
CE-Sufficient.figure3.wvr.yml.log 2024-11-14 23:27 1.0M
CE-Sufficient.file-item-subst.wvr.yml.log 2024-11-14 23:01 38K
CE-Sufficient.file-item-symm.wvr.yml.log 2024-11-14 23:01 38K
CE-Sufficient.file-item-trans.wvr.yml.log 2024-11-14 23:01 38K
CE-Sufficient.hard1.wvr.yml.log 2024-11-14 23:56 855K
CE-Sufficient.horseshoe.wvr.yml.log 2024-11-14 23:19 207K
CE-Sufficient.inc-subseq-array.wvr.yml.log 2024-11-14 23:36 74K
CE-Sufficient.inc-subseq.wvr.yml.log 2024-11-14 23:38 74K
CE-Sufficient.lamport.wvr.yml.log 2024-11-14 23:05 67K
CE-Sufficient.loop-tiling-eq.wvr.yml.log 2024-11-14 23:12 135K
CE-Sufficient.match-subst.wvr.yml.log 2024-11-14 23:01 38K
CE-Sufficient.match-symm.wvr.yml.log 2024-11-14 23:01 38K
CE-Sufficient.match-trans.wvr.yml.log 2024-11-14 23:01 38K
CE-Sufficient.max-array-hom.wvr.yml.log 2024-11-14 23:38 76K
CE-Sufficient.max-array.wvr.yml.log 2024-11-14 23:38 120K
CE-Sufficient.max-fun-alt.wvr.yml.log 2024-11-14 23:38 120K
CE-Sufficient.max-fun.wvr.yml.log 2024-11-14 23:39 76K
CE-Sufficient.min-array-hom.wvr.yml.log 2024-11-14 23:40 120K
CE-Sufficient.min-array.wvr.yml.log 2024-11-14 23:39 120K
CE-Sufficient.min-fun-alt.wvr.yml.log 2024-11-14 23:39 120K
CE-Sufficient.min-fun.wvr.yml.log 2024-11-14 23:43 120K
CE-Sufficient.min-le-max.wvr.yml.log 2024-11-14 23:38 54K
CE-Sufficient.min-max-1.wvr.yml.log 2024-11-14 23:05 42K
CE-Sufficient.min-max-2.wvr.yml.log 2024-11-14 23:19 206K
CE-Sufficient.min-max-dec.wvr.yml.log 2024-11-14 23:27 134K
CE-Sufficient.min-max-inc-dec.wvr.yml.log 2024-11-14 23:28 189K
CE-Sufficient.min-max-inc.wvr.yml.log 2024-11-14 23:17 154K
CE-Sufficient.misc-1.wvr.yml.log 2024-11-14 23:19 112K
CE-Sufficient.misc-2-unrolled-atomic.wvr.yml.log 2024-11-14 23:05 38K
CE-Sufficient.misc-2-unrolled.wvr.yml.log 2024-11-14 23:05 51K
CE-Sufficient.misc-2.wvr.yml.log 2024-11-14 23:05 121K
CE-Sufficient.misc-3-extended.wvr.yml.log 2024-11-14 23:05 77K
CE-Sufficient.misc-3.wvr.yml.log 2024-11-14 23:05 58K
CE-Sufficient.misc-4.wvr.yml.log 2024-11-14 23:05 61K
CE-Sufficient.misc-5.wvr.yml.log 2024-11-14 23:11 544K
CE-Sufficient.mts-array.wvr.yml.log 2024-11-14 23:42 70K
CE-Sufficient.mts.wvr.yml.log 2024-11-14 23:42 70K
CE-Sufficient.mult-4.wvr.yml.log 2024-11-14 23:31 2.4M
CE-Sufficient.mult-comm.wvr.yml.log 2024-11-14 23:11 623K
CE-Sufficient.mult-dist.wvr.yml.log 2024-11-14 23:10 1.1M
CE-Sufficient.mult-equiv.wvr.yml.log 2024-11-14 23:31 1.6M
CE-Sufficient.mult-flipped-dist.wvr.yml.log 2024-11-14 22:58 90K
CE-Sufficient.multiply-verify.wvr.yml.log 2024-11-14 23:38 70K
CE-Sufficient.name-comparator-subst.wvr.yml.log 2024-11-14 23:02 118K
CE-Sufficient.name-comparator-symm.wvr.yml.log 2024-11-14 23:02 78K
CE-Sufficient.name-comparator-trans.wvr.yml.log 2024-11-14 23:02 190K
CE-Sufficient.node-subst.wvr.yml.log 2024-11-14 23:02 38K
CE-Sufficient.node-symm.wvr.yml.log 2024-11-14 23:02 38K
CE-Sufficient.node-trans.wvr.yml.log 2024-11-14 23:02 38K
CE-Sufficient.nonblocking-cntr-alt.wvr.yml.log 2024-11-14 23:18 95K
CE-Sufficient.nonblocking-cntr.wvr.yml.log 2024-11-14 23:18 90K
CE-Sufficient.nonblocking-counter-alt2.wvr.yml.log 2024-11-14 23:53 156K
CE-Sufficient.nzb-file-subst.wvr.yml.log 2024-11-14 23:03 257K
CE-Sufficient.nzb-file-symm.wvr.yml.log 2024-11-14 23:03 129K
CE-Sufficient.nzb-file-trans.wvr.yml.log 2024-11-14 23:04 221K
CE-Sufficient.parallel-sum-1-dsl.wvr.yml.log 2024-11-14 23:20 214K
CE-Sufficient.parallel-sum-1.wvr.yml.log 2024-11-14 23:20 494K
CE-Sufficient.parallel-sum-2.wvr.yml.log 2024-11-14 23:20 425K
CE-Sufficient.parallel-sum-equiv.wvr.yml.log 2024-11-14 23:23 347K
CE-Sufficient.parray-copy.wvr.yml.log 2024-11-14 23:53 238K
CE-Sufficient.poker-hand-subst.wvr.yml.log 2024-11-14 23:06 714K
CE-Sufficient.poker-hand-symm.wvr.yml.log 2024-11-14 23:04 252K
CE-Sufficient.poker-hand-trans.wvr.yml.log 2024-11-14 23:05 632K
CE-Sufficient.prod-cons-eq.wvr.yml.log 2024-11-14 23:33 111K
CE-Sufficient.prod-cons.wvr.yml.log 2024-11-14 23:33 117K
CE-Sufficient.prod-cons3.wvr.yml.log 2024-11-14 23:25 91K
CE-Sufficient.queue-add-2-nl.wvr.yml.log 2024-11-14 23:40 173K
CE-Sufficient.queue-add-2.wvr.yml.log 2024-11-14 23:20 164K
CE-Sufficient.queue-add-3-nl.wvr.yml.log 2024-11-14 23:42 185K
CE-Sufficient.queue-add-3.wvr.yml.log 2024-11-14 23:20 178K
CE-Sufficient.ring-nondet.wvr.yml.log 2024-11-14 23:40 549K
CE-Sufficient.ring.wvr.yml.log 2024-11-14 23:27 116K
CE-Sufficient.security.wvr.yml.log 2024-11-14 22:58 72K
CE-Sufficient.semi1.wvr.yml.log 2024-11-14 23:42 37K
CE-Sufficient.send-receive-alt.wvr.yml.log 2024-11-14 23:20 150K
CE-Sufficient.send-receive.wvr.yml.log 2024-11-14 23:21 152K
CE-Sufficient.simpl-str-subst.wvr.yml.log 2024-11-14 23:04 38K
CE-Sufficient.simpl-str-symm.wvr.yml.log 2024-11-14 23:04 38K
CE-Sufficient.simpl-str-trans.wvr.yml.log 2024-11-14 23:04 38K
CE-Sufficient.simple-array-sum.wvr.yml.log 2024-11-14 23:24 161K
CE-Sufficient.simple-equiv.wvr.yml.log 2024-11-14 23:10 38K
CE-Sufficient.simple-queue.wvr.yml.log 2024-11-14 23:20 91K
CE-Sufficient.sorted.wvr.yml.log 2024-11-14 23:54 141K
CE-Sufficient.spaghetti.wvr.yml.log 2024-11-14 22:58 43K
CE-Sufficient.sre-subst.wvr.yml.log 2024-11-14 23:04 38K
CE-Sufficient.sre-symm.wvr.yml.log 2024-11-14 23:04 37K
CE-Sufficient.sre-trans.wvr.yml.log 2024-11-14 23:04 38K
CE-Sufficient.sum-array-hom.wvr.yml.log 2024-11-14 23:45 320K
CE-Sufficient.sum-array.wvr.yml.log 2024-11-14 23:52 410K
CE-Sufficient.sum-fun-alt.wvr.yml.log 2024-11-14 23:52 410K
CE-Sufficient.sum-fun.wvr.yml.log 2024-11-14 23:46 320K
CE-Sufficient.threaded-sum-2.wvr.yml.log 2024-11-14 23:28 121K
CE-Sufficient.threaded-sum-3.wvr.yml.log 2024-11-14 23:35 487K
CE-Sufficient.three-array-max.wvr.yml.log 2024-11-14 23:27 90K
CE-Sufficient.three-array-min.wvr.yml.log 2024-11-14 23:35 92K
CE-Sufficient.three-array-sum-alt.wvr.yml.log 2024-11-14 23:28 121K
CE-Sufficient.three-array-sum.wvr.yml.log 2024-11-14 23:23 165K
CE-Sufficient.ticket-2.wvr.yml.log 2024-11-14 23:10 46K
CE-Sufficient.ticket-3.wvr.yml.log 2024-11-14 23:10 79K
CE-Sufficient.ticket-4.wvr.yml.log 2024-11-14 23:10 175K
CE-Sufficient.ticket-5.wvr.yml.log 2024-11-14 23:11 338K
CE-Sufficient.ticket-6.wvr.yml.log 2024-11-14 23:13 594K
CE-Sufficient.ticket-7.wvr.yml.log 2024-11-14 23:17 418K
CE-Sufficient.ticket-8.wvr.yml.log 2024-11-14 23:17 41K
CE-Sufficient.time-subst.wvr.yml.log 2024-11-14 23:04 38K
CE-Sufficient.time-symm.wvr.yml.log 2024-11-14 23:04 37K
CE-Sufficient.time-trans.wvr.yml.log 2024-11-14 23:04 38K
CE-Sufficient.two-queue.wvr.yml.log 2024-11-14 23:24 91K
CE-Sufficient.unroll-2.wvr.yml.log 2024-11-14 23:03 211K
CE-Sufficient.unroll-3.wvr.yml.log 2024-11-14 23:09 177K
CE-Sufficient.unroll-4.wvr.yml.log 2024-11-14 23:05 134K
CE-Sufficient.unroll-5.wvr.yml.log 2024-11-14 23:11 124K
CE-Sufficient.unroll-cond-2.wvr.yml.log 2024-11-14 23:04 168K
CE-Sufficient.unroll-cond-3.wvr.yml.log 2024-11-14 23:04 138K
CE-Sufficient.unroll-cond-4.wvr.yml.log 2024-11-14 23:04 108K
CE-Sufficient.unroll-cond-5.wvr.yml.log 2024-11-14 23:12 48K
CE-Sufficient.vector-add.wvr.yml.log 2024-11-14 23:55 87K
CE-Sufficient.word-subst.wvr.yml.log 2024-11-14 23:05 209K
CE-Sufficient.word-symm.wvr.yml.log 2024-11-14 23:04 121K
CE-Sufficient.word-trans.wvr.yml.log 2024-11-14 23:05 258K
CE-SufficientWithContext.array-eq-symm.wvr.yml.log 2024-11-14 23:56 82K
CE-SufficientWithContext.array-eq-trans.wvr.yml.log 2024-11-14 23:57 159K
CE-SufficientWithContext.array-int-subst.wvr.yml.log 2024-11-14 23:58 162K
CE-SufficientWithContext.array-int-symm.wvr.yml.log 2024-11-14 23:58 81K
CE-SufficientWithContext.array-int-trans.wvr.yml.log 2024-11-14 23:59 261K
CE-SufficientWithContext.array-sum-alt.wvr.yml.log 2024-11-15 00:44 602K
CE-SufficientWithContext.array-sum.wvr.yml.log 2024-11-15 00:34 196K
CE-SufficientWithContext.bakery-2.wvr.yml.log 2024-11-15 00:03 66K
CE-SufficientWithContext.bakery-3.wvr.yml.log 2024-11-15 00:04 298K
CE-SufficientWithContext.bakery-4.wvr.yml.log 2024-11-15 00:15 1.9M
CE-SufficientWithContext.barrier-loop.wvr.yml.log 2024-11-15 00:03 72K
CE-SufficientWithContext.barrier.wvr.yml.log 2024-11-15 00:03 83K
CE-SufficientWithContext.bluetooth.wvr.yml.log 2024-11-15 00:04 46K
CE-SufficientWithContext.buffer-mult-alt.wvr.yml.log 2024-11-15 00:36 177K
CE-SufficientWithContext.buffer-mult.wvr.yml.log 2024-11-15 00:45 297K
CE-SufficientWithContext.buffer-series-array.wvr.yml.log 2024-11-15 00:41 171K
CE-SufficientWithContext.buffer-series.wvr.yml.log 2024-11-15 00:42 171K
CE-SufficientWithContext.channel-sum.wvr.yml.log 2024-11-15 00:10 70K
CE-SufficientWithContext.chromosome-opt-symm.wvr.yml.log 2024-11-14 23:59 92K
CE-SufficientWithContext.chromosome-subst.wvr.yml.log 2024-11-14 23:59 143K
CE-SufficientWithContext.chromosome-symm.wvr.yml.log 2024-11-14 23:59 117K
CE-SufficientWithContext.chromosome-trans.wvr.yml.log 2024-11-15 00:00 205K
CE-SufficientWithContext.clever.wvr.yml.log 2024-11-15 00:10 4.3M
CE-SufficientWithContext.collitem-subst.wvr.yml.log 2024-11-14 23:59 38K
CE-SufficientWithContext.collitem-symm.wvr.yml.log 2024-11-14 23:59 38K
CE-SufficientWithContext.collitem-trans.wvr.yml.log 2024-11-15 00:00 38K
CE-SufficientWithContext.commit-1.wvr.yml.log 2024-11-15 00:25 63K
CE-SufficientWithContext.commit-2.wvr.yml.log 2024-11-15 00:26 69K
CE-SufficientWithContext.container-subst.wvr.yml.log 2024-11-15 00:00 38K
CE-SufficientWithContext.container-symm.wvr.yml.log 2024-11-15 00:00 38K
CE-SufficientWithContext.container-trans.wvr.yml.log 2024-11-15 00:00 38K
CE-SufficientWithContext.context1.wvr.yml.log 2024-11-15 00:56 1.0M
CE-SufficientWithContext.counter-add-4-semi-Q67.wvr.yml.log 2024-11-15 00:43 230K
CE-SufficientWithContext.counter-determinism.wvr.yml.log 2024-11-15 00:25 349K
CE-SufficientWithContext.counter-fun.wvr.yml.log 2024-11-15 00:17 141K
CE-SufficientWithContext.counter-queue.wvr.yml.log 2024-11-15 00:26 74K
CE-SufficientWithContext.dec-subseq-array.wvr.yml.log 2024-11-15 00:34 74K
CE-SufficientWithContext.dec-subseq.wvr.yml.log 2024-11-15 00:35 74K
CE-SufficientWithContext.difference-det.wvr.yml.log 2024-11-15 00:24 962K
CE-SufficientWithContext.dot-product-alt.wvr.yml.log 2024-11-15 00:30 129K
CE-SufficientWithContext.dot-product-array.wvr.yml.log 2024-11-15 00:35 79K
CE-SufficientWithContext.dot-product.wvr.yml.log 2024-11-15 00:42 183K
CE-SufficientWithContext.easy1.wvr.yml.log 2024-11-15 00:43 55K
CE-SufficientWithContext.easy10.wvr.yml.log 2024-11-15 00:43 57K
CE-SufficientWithContext.easy11.wvr.yml.log 2024-11-15 00:43 58K
CE-SufficientWithContext.easy6.wvr.yml.log 2024-11-15 00:43 66K
CE-SufficientWithContext.easy7.wvr.yml.log 2024-11-15 00:43 37K
CE-SufficientWithContext.easy8.wvr.yml.log 2024-11-15 00:43 37K
CE-SufficientWithContext.exp-term-subst.wvr.yml.log 2024-11-15 00:00 38K
CE-SufficientWithContext.exp-term-symm.wvr.yml.log 2024-11-15 00:00 38K
CE-SufficientWithContext.exp1x3.wvr.yml.log 2024-11-14 23:57 63K
CE-SufficientWithContext.exp2x3.wvr.yml.log 2024-11-14 23:57 104K
CE-SufficientWithContext.exp2x4.wvr.yml.log 2024-11-14 23:57 104K
CE-SufficientWithContext.exp2x6.wvr.yml.log 2024-11-14 23:57 104K
CE-SufficientWithContext.exp2x9.wvr.yml.log 2024-11-14 23:57 102K
CE-SufficientWithContext.exp3x3-opt.wvr.yml.log 2024-11-14 23:57 105K
CE-SufficientWithContext.exp3x3.wvr.yml.log 2024-11-14 23:57 170K
CE-SufficientWithContext.fibonacci.wvr.yml.log 2024-11-14 23:56 68K
CE-SufficientWithContext.figure1-alt.wvr.yml.log 2024-11-15 00:11 78K
CE-SufficientWithContext.figure1.wvr.yml.log 2024-11-15 00:24 1.0M
CE-SufficientWithContext.figure3.wvr.yml.log 2024-11-15 00:24 895K
CE-SufficientWithContext.file-item-subst.wvr.yml.log 2024-11-15 00:00 38K
CE-SufficientWithContext.file-item-symm.wvr.yml.log 2024-11-15 00:00 38K
CE-SufficientWithContext.file-item-trans.wvr.yml.log 2024-11-15 00:00 38K
CE-SufficientWithContext.hard1.wvr.yml.log 2024-11-15 00:57 789K
CE-SufficientWithContext.horseshoe.wvr.yml.log 2024-11-15 00:25 154K
CE-SufficientWithContext.inc-subseq-array.wvr.yml.log 2024-11-15 00:37 74K
CE-SufficientWithContext.inc-subseq.wvr.yml.log 2024-11-15 00:38 74K
CE-SufficientWithContext.lamport.wvr.yml.log 2024-11-15 00:04 67K
CE-SufficientWithContext.loop-tiling-eq.wvr.yml.log 2024-11-15 00:11 244K
CE-SufficientWithContext.match-subst.wvr.yml.log 2024-11-15 00:00 38K
CE-SufficientWithContext.match-symm.wvr.yml.log 2024-11-15 00:00 38K
CE-SufficientWithContext.match-trans.wvr.yml.log 2024-11-15 00:00 38K
CE-SufficientWithContext.max-array-hom.wvr.yml.log 2024-11-15 00:39 76K
CE-SufficientWithContext.max-array.wvr.yml.log 2024-11-15 00:38 120K
CE-SufficientWithContext.max-fun-alt.wvr.yml.log 2024-11-15 00:38 120K
CE-SufficientWithContext.max-fun.wvr.yml.log 2024-11-15 00:39 76K
CE-SufficientWithContext.min-array-hom.wvr.yml.log 2024-11-15 00:41 120K
CE-SufficientWithContext.min-array.wvr.yml.log 2024-11-15 00:40 120K
CE-SufficientWithContext.min-fun-alt.wvr.yml.log 2024-11-15 00:41 120K
CE-SufficientWithContext.min-fun.wvr.yml.log 2024-11-15 00:43 120K
CE-SufficientWithContext.min-le-max.wvr.yml.log 2024-11-15 00:38 54K
CE-SufficientWithContext.min-max-1.wvr.yml.log 2024-11-15 00:04 42K
CE-SufficientWithContext.min-max-2.wvr.yml.log 2024-11-15 00:18 187K
CE-SufficientWithContext.min-max-dec.wvr.yml.log 2024-11-15 00:28 137K
CE-SufficientWithContext.min-max-inc-dec.wvr.yml.log 2024-11-15 00:29 194K
CE-SufficientWithContext.min-max-inc.wvr.yml.log 2024-11-15 00:21 218K
CE-SufficientWithContext.misc-1.wvr.yml.log 2024-11-15 00:18 113K
CE-SufficientWithContext.misc-2-unrolled-atomic.wvr.yml.log 2024-11-15 00:04 38K
CE-SufficientWithContext.misc-2-unrolled.wvr.yml.log 2024-11-15 00:04 51K
CE-SufficientWithContext.misc-2.wvr.yml.log 2024-11-15 00:04 121K
CE-SufficientWithContext.misc-3-extended.wvr.yml.log 2024-11-15 00:04 77K
CE-SufficientWithContext.misc-3.wvr.yml.log 2024-11-15 00:04 58K
CE-SufficientWithContext.misc-4.wvr.yml.log 2024-11-15 00:04 60K
CE-SufficientWithContext.misc-5.wvr.yml.log 2024-11-15 00:10 544K
CE-SufficientWithContext.mts-array.wvr.yml.log 2024-11-15 00:42 70K
CE-SufficientWithContext.mts.wvr.yml.log 2024-11-15 00:42 70K
CE-SufficientWithContext.mult-4.wvr.yml.log 2024-11-15 00:31 2.3M
CE-SufficientWithContext.mult-comm.wvr.yml.log 2024-11-15 00:10 622K
CE-SufficientWithContext.mult-dist.wvr.yml.log 2024-11-15 00:08 1.1M
CE-SufficientWithContext.mult-equiv.wvr.yml.log 2024-11-15 00:31 1.4M
CE-SufficientWithContext.mult-flipped-dist.wvr.yml.log 2024-11-14 23:56 90K
CE-SufficientWithContext.multiply-verify.wvr.yml.log 2024-11-15 00:39 69K
CE-SufficientWithContext.name-comparator-subst.wvr.yml.log 2024-11-15 00:01 118K
CE-SufficientWithContext.name-comparator-symm.wvr.yml.log 2024-11-15 00:01 78K
CE-SufficientWithContext.name-comparator-trans.wvr.yml.log 2024-11-15 00:01 190K
CE-SufficientWithContext.node-subst.wvr.yml.log 2024-11-15 00:01 38K
CE-SufficientWithContext.node-symm.wvr.yml.log 2024-11-15 00:01 38K
CE-SufficientWithContext.node-trans.wvr.yml.log 2024-11-15 00:01 38K
CE-SufficientWithContext.nonblocking-cntr-alt.wvr.yml.log 2024-11-15 00:18 95K
CE-SufficientWithContext.nonblocking-cntr.wvr.yml.log 2024-11-15 00:19 104K
CE-SufficientWithContext.nonblocking-counter-alt2.wvr.yml.log 2024-11-15 00:52 157K
CE-SufficientWithContext.nzb-file-subst.wvr.yml.log 2024-11-15 00:02 257K
CE-SufficientWithContext.nzb-file-symm.wvr.yml.log 2024-11-15 00:02 129K
CE-SufficientWithContext.nzb-file-trans.wvr.yml.log 2024-11-15 00:03 221K
CE-SufficientWithContext.parallel-sum-1-dsl.wvr.yml.log 2024-11-15 00:05 176K
CE-SufficientWithContext.parallel-sum-1.wvr.yml.log 2024-11-15 00:18 459K
CE-SufficientWithContext.parallel-sum-2.wvr.yml.log 2024-11-15 00:18 425K
CE-SufficientWithContext.parallel-sum-equiv.wvr.yml.log 2024-11-15 00:19 352K
CE-SufficientWithContext.parray-copy.wvr.yml.log 2024-11-15 00:53 237K
CE-SufficientWithContext.poker-hand-subst.wvr.yml.log 2024-11-15 00:05 714K
CE-SufficientWithContext.poker-hand-symm.wvr.yml.log 2024-11-15 00:03 252K
CE-SufficientWithContext.poker-hand-trans.wvr.yml.log 2024-11-15 00:04 632K
CE-SufficientWithContext.prod-cons-eq.wvr.yml.log 2024-11-15 00:33 111K
CE-SufficientWithContext.prod-cons.wvr.yml.log 2024-11-15 00:32 126K
CE-SufficientWithContext.prod-cons3.wvr.yml.log 2024-11-15 00:25 91K
CE-SufficientWithContext.queue-add-2-nl.wvr.yml.log 2024-11-15 00:52 763K
CE-SufficientWithContext.queue-add-2.wvr.yml.log 2024-11-15 00:34 883K
CE-SufficientWithContext.queue-add-3-nl.wvr.yml.log 2024-11-15 00:55 330K
CE-SufficientWithContext.queue-add-3.wvr.yml.log 2024-11-15 00:35 444K
CE-SufficientWithContext.ring-nondet.wvr.yml.log 2024-11-15 00:30 119K
CE-SufficientWithContext.ring.wvr.yml.log 2024-11-15 00:30 116K
CE-SufficientWithContext.security.wvr.yml.log 2024-11-14 23:56 72K
CE-SufficientWithContext.semi1.wvr.yml.log 2024-11-15 00:44 37K
CE-SufficientWithContext.send-receive-alt.wvr.yml.log 2024-11-15 00:24 70K
CE-SufficientWithContext.send-receive.wvr.yml.log 2024-11-15 00:24 67K
CE-SufficientWithContext.simpl-str-subst.wvr.yml.log 2024-11-15 00:03 38K
CE-SufficientWithContext.simpl-str-symm.wvr.yml.log 2024-11-15 00:03 38K
CE-SufficientWithContext.simpl-str-trans.wvr.yml.log 2024-11-15 00:03 38K
CE-SufficientWithContext.simple-array-sum.wvr.yml.log 2024-11-15 00:28 161K
CE-SufficientWithContext.simple-equiv.wvr.yml.log 2024-11-15 00:08 38K
CE-SufficientWithContext.simple-queue.wvr.yml.log 2024-11-15 00:24 93K
CE-SufficientWithContext.sorted.wvr.yml.log 2024-11-15 00:55 141K
CE-SufficientWithContext.spaghetti.wvr.yml.log 2024-11-14 23:56 43K
CE-SufficientWithContext.sre-subst.wvr.yml.log 2024-11-15 00:03 38K
CE-SufficientWithContext.sre-symm.wvr.yml.log 2024-11-15 00:03 37K
CE-SufficientWithContext.sre-trans.wvr.yml.log 2024-11-15 00:03 38K
CE-SufficientWithContext.sum-array-hom.wvr.yml.log 2024-11-15 00:46 320K
CE-SufficientWithContext.sum-array.wvr.yml.log 2024-11-15 00:52 410K
CE-SufficientWithContext.sum-fun-alt.wvr.yml.log 2024-11-15 00:53 410K
CE-SufficientWithContext.sum-fun.wvr.yml.log 2024-11-15 00:48 319K
CE-SufficientWithContext.threaded-sum-2.wvr.yml.log 2024-11-15 00:30 121K
CE-SufficientWithContext.threaded-sum-3.wvr.yml.log 2024-11-15 00:25 97K
CE-SufficientWithContext.three-array-max.wvr.yml.log 2024-11-15 00:31 91K
CE-SufficientWithContext.three-array-min.wvr.yml.log 2024-11-15 00:39 92K
CE-SufficientWithContext.three-array-sum-alt.wvr.yml.log 2024-11-15 00:30 121K
CE-SufficientWithContext.three-array-sum.wvr.yml.log 2024-11-15 00:27 165K
CE-SufficientWithContext.ticket-2.wvr.yml.log 2024-11-15 00:08 46K
CE-SufficientWithContext.ticket-3.wvr.yml.log 2024-11-15 00:08 79K
CE-SufficientWithContext.ticket-4.wvr.yml.log 2024-11-15 00:09 175K
CE-SufficientWithContext.ticket-5.wvr.yml.log 2024-11-15 00:09 338K
CE-SufficientWithContext.ticket-6.wvr.yml.log 2024-11-15 00:11 594K
CE-SufficientWithContext.ticket-7.wvr.yml.log 2024-11-15 00:13 265K
CE-SufficientWithContext.ticket-8.wvr.yml.log 2024-11-15 00:15 41K
CE-SufficientWithContext.time-subst.wvr.yml.log 2024-11-15 00:03 38K
CE-SufficientWithContext.time-symm.wvr.yml.log 2024-11-15 00:03 37K
CE-SufficientWithContext.time-trans.wvr.yml.log 2024-11-15 00:03 38K
CE-SufficientWithContext.two-queue.wvr.yml.log 2024-11-15 00:25 58K
CE-SufficientWithContext.unroll-2.wvr.yml.log 2024-11-15 00:02 211K
CE-SufficientWithContext.unroll-3.wvr.yml.log 2024-11-15 00:08 177K
CE-SufficientWithContext.unroll-4.wvr.yml.log 2024-11-15 00:03 134K
CE-SufficientWithContext.unroll-5.wvr.yml.log 2024-11-15 00:10 124K
CE-SufficientWithContext.unroll-cond-2.wvr.yml.log 2024-11-15 00:02 167K
CE-SufficientWithContext.unroll-cond-3.wvr.yml.log 2024-11-15 00:03 138K
CE-SufficientWithContext.unroll-cond-4.wvr.yml.log 2024-11-15 00:03 109K
CE-SufficientWithContext.unroll-cond-5.wvr.yml.log 2024-11-15 00:11 48K
CE-SufficientWithContext.vector-add.wvr.yml.log 2024-11-15 00:56 87K
CE-SufficientWithContext.word-subst.wvr.yml.log 2024-11-15 00:04 210K
CE-SufficientWithContext.word-symm.wvr.yml.log 2024-11-15 00:03 121K
CE-SufficientWithContext.word-trans.wvr.yml.log 2024-11-15 00:04 258K
NONE.array-eq-symm.wvr.yml.log 2024-11-14 21:50 82K
NONE.array-eq-trans.wvr.yml.log 2024-11-14 21:50 158K
NONE.array-int-subst.wvr.yml.log 2024-11-14 21:52 161K
NONE.array-int-symm.wvr.yml.log 2024-11-14 21:51 81K
NONE.array-int-trans.wvr.yml.log 2024-11-14 21:52 260K
NONE.array-sum-alt.wvr.yml.log 2024-11-14 22:43 598K
NONE.array-sum.wvr.yml.log 2024-11-14 22:33 195K
NONE.bakery-2.wvr.yml.log 2024-11-14 21:57 66K
NONE.bakery-3.wvr.yml.log 2024-11-14 21:57 298K
NONE.bakery-4.wvr.yml.log 2024-11-14 22:06 1.6M
NONE.barrier-loop.wvr.yml.log 2024-11-14 21:57 72K
NONE.barrier.wvr.yml.log 2024-11-14 21:57 83K
NONE.bluetooth.wvr.yml.log 2024-11-14 21:57 46K
NONE.buffer-mult-alt.wvr.yml.log 2024-11-14 22:37 177K
NONE.buffer-mult.wvr.yml.log 2024-11-14 22:44 297K
NONE.buffer-series-array.wvr.yml.log 2024-11-14 22:41 171K
NONE.buffer-series.wvr.yml.log 2024-11-14 22:41 170K
NONE.channel-sum.wvr.yml.log 2024-11-14 22:18 291K
NONE.chromosome-opt-symm.wvr.yml.log 2024-11-14 21:52 92K
NONE.chromosome-subst.wvr.yml.log 2024-11-14 21:53 143K
NONE.chromosome-symm.wvr.yml.log 2024-11-14 21:53 117K
NONE.chromosome-trans.wvr.yml.log 2024-11-14 21:53 205K
NONE.clever.wvr.yml.log 2024-11-14 22:04 4.4M
NONE.collitem-subst.wvr.yml.log 2024-11-14 21:53 38K
NONE.collitem-symm.wvr.yml.log 2024-11-14 21:53 37K
NONE.collitem-trans.wvr.yml.log 2024-11-14 21:53 38K
NONE.commit-1.wvr.yml.log 2024-11-14 22:26 174K
NONE.commit-2.wvr.yml.log 2024-11-14 22:26 273K
NONE.container-subst.wvr.yml.log 2024-11-14 21:53 38K
NONE.container-symm.wvr.yml.log 2024-11-14 21:53 37K
NONE.container-trans.wvr.yml.log 2024-11-14 21:53 38K
NONE.context1.wvr.yml.log 2024-11-14 22:57 1.0M
NONE.counter-add-4-semi-Q67.wvr.yml.log 2024-11-14 22:56 1.8M
NONE.counter-determinism.wvr.yml.log 2024-11-14 22:19 357K
NONE.counter-fun.wvr.yml.log 2024-11-14 22:11 132K
NONE.counter-queue.wvr.yml.log 2024-11-14 22:26 74K
NONE.dec-subseq-array.wvr.yml.log 2024-11-14 22:35 74K
NONE.dec-subseq.wvr.yml.log 2024-11-14 22:36 74K
NONE.difference-det.wvr.yml.log 2024-11-14 22:18 632K
NONE.dot-product-alt.wvr.yml.log 2024-11-14 22:30 129K
NONE.dot-product-array.wvr.yml.log 2024-11-14 22:36 78K
NONE.dot-product.wvr.yml.log 2024-11-14 22:40 183K
NONE.easy1.wvr.yml.log 2024-11-14 22:43 55K
NONE.easy10.wvr.yml.log 2024-11-14 22:44 57K
NONE.easy11.wvr.yml.log 2024-11-14 22:44 73K
NONE.easy6.wvr.yml.log 2024-11-14 22:44 66K
NONE.easy7.wvr.yml.log 2024-11-14 22:44 37K
NONE.easy8.wvr.yml.log 2024-11-14 22:44 37K
NONE.exp-term-subst.wvr.yml.log 2024-11-14 21:53 38K
NONE.exp-term-symm.wvr.yml.log 2024-11-14 21:54 37K
NONE.exp1x3.wvr.yml.log 2024-11-14 21:50 63K
NONE.exp2x3.wvr.yml.log 2024-11-14 21:50 103K
NONE.exp2x4.wvr.yml.log 2024-11-14 21:50 104K
NONE.exp2x6.wvr.yml.log 2024-11-14 21:51 104K
NONE.exp2x9.wvr.yml.log 2024-11-14 21:51 102K
NONE.exp3x3-opt.wvr.yml.log 2024-11-14 21:51 105K
NONE.exp3x3.wvr.yml.log 2024-11-14 21:51 170K
NONE.fibonacci.wvr.yml.log 2024-11-14 21:50 68K
NONE.figure1-alt.wvr.yml.log 2024-11-14 22:05 78K
NONE.figure1.wvr.yml.log 2024-11-14 22:20 886K
NONE.figure3.wvr.yml.log 2024-11-14 22:19 828K
NONE.file-item-subst.wvr.yml.log 2024-11-14 21:54 38K
NONE.file-item-symm.wvr.yml.log 2024-11-14 21:54 37K
NONE.file-item-trans.wvr.yml.log 2024-11-14 21:54 38K
NONE.hard1.wvr.yml.log 2024-11-14 22:57 755K
NONE.horseshoe.wvr.yml.log 2024-11-14 22:22 150K
NONE.inc-subseq-array.wvr.yml.log 2024-11-14 22:38 74K
NONE.inc-subseq.wvr.yml.log 2024-11-14 22:38 74K
NONE.lamport.wvr.yml.log 2024-11-14 21:57 67K
NONE.loop-tiling-eq.wvr.yml.log 2024-11-14 22:05 240K
NONE.match-subst.wvr.yml.log 2024-11-14 21:54 38K
NONE.match-symm.wvr.yml.log 2024-11-14 21:54 37K
NONE.match-trans.wvr.yml.log 2024-11-14 21:54 38K
NONE.max-array-hom.wvr.yml.log 2024-11-14 22:39 75K
NONE.max-array.wvr.yml.log 2024-11-14 22:39 120K
NONE.max-fun-alt.wvr.yml.log 2024-11-14 22:39 120K
NONE.max-fun.wvr.yml.log 2024-11-14 22:40 75K
NONE.min-array-hom.wvr.yml.log 2024-11-14 22:42 120K
NONE.min-array.wvr.yml.log 2024-11-14 22:41 120K
NONE.min-fun-alt.wvr.yml.log 2024-11-14 22:42 120K
NONE.min-fun.wvr.yml.log 2024-11-14 22:43 120K
NONE.min-le-max.wvr.yml.log 2024-11-14 22:39 54K
NONE.min-max-1.wvr.yml.log 2024-11-14 21:57 42K
NONE.min-max-2.wvr.yml.log 2024-11-14 22:12 199K
NONE.min-max-dec.wvr.yml.log 2024-11-14 22:23 131K
NONE.min-max-inc-dec.wvr.yml.log 2024-11-14 22:26 175K
NONE.min-max-inc.wvr.yml.log 2024-11-14 22:20 223K
NONE.misc-1.wvr.yml.log 2024-11-14 22:12 112K
NONE.misc-2-unrolled-atomic.wvr.yml.log 2024-11-14 21:57 38K
NONE.misc-2-unrolled.wvr.yml.log 2024-11-14 21:57 50K
NONE.misc-2.wvr.yml.log 2024-11-14 21:58 121K
NONE.misc-3-extended.wvr.yml.log 2024-11-14 21:58 77K
NONE.misc-3.wvr.yml.log 2024-11-14 21:58 57K
NONE.misc-4.wvr.yml.log 2024-11-14 21:58 60K
NONE.misc-5.wvr.yml.log 2024-11-14 22:02 423K
NONE.mts-array.wvr.yml.log 2024-11-14 22:43 70K
NONE.mts.wvr.yml.log 2024-11-14 22:43 70K
NONE.mult-4.wvr.yml.log 2024-11-14 22:26 2.3M
NONE.mult-comm.wvr.yml.log 2024-11-14 22:03 622K
NONE.mult-dist.wvr.yml.log 2024-11-14 22:02 1.1M
NONE.mult-equiv.wvr.yml.log 2024-11-14 22:25 1.4M
NONE.mult-flipped-dist.wvr.yml.log 2024-11-14 21:50 90K
NONE.multiply-verify.wvr.yml.log 2024-11-14 22:39 69K
NONE.name-comparator-subst.wvr.yml.log 2024-11-14 21:54 118K
NONE.name-comparator-symm.wvr.yml.log 2024-11-14 21:54 78K
NONE.name-comparator-trans.wvr.yml.log 2024-11-14 21:55 190K
NONE.node-subst.wvr.yml.log 2024-11-14 21:54 38K
NONE.node-symm.wvr.yml.log 2024-11-14 21:54 37K
NONE.node-trans.wvr.yml.log 2024-11-14 21:55 38K
NONE.nonblocking-cntr-alt.wvr.yml.log 2024-11-14 22:12 94K
NONE.nonblocking-cntr.wvr.yml.log 2024-11-14 22:25 612K
NONE.nonblocking-counter-alt2.wvr.yml.log 2024-11-14 22:54 150K
NONE.nzb-file-subst.wvr.yml.log 2024-11-14 21:56 257K
NONE.nzb-file-symm.wvr.yml.log 2024-11-14 21:55 128K
NONE.nzb-file-trans.wvr.yml.log 2024-11-14 21:56 221K
NONE.parallel-sum-1-dsl.wvr.yml.log 2024-11-14 22:12 213K
NONE.parallel-sum-1.wvr.yml.log 2024-11-14 22:12 460K
NONE.parallel-sum-2.wvr.yml.log 2024-11-14 22:12 426K
NONE.parallel-sum-equiv.wvr.yml.log 2024-11-14 22:16 346K
NONE.parray-copy.wvr.yml.log 2024-11-14 22:54 237K
NONE.poker-hand-subst.wvr.yml.log 2024-11-14 21:59 713K
NONE.poker-hand-symm.wvr.yml.log 2024-11-14 21:56 252K
NONE.poker-hand-trans.wvr.yml.log 2024-11-14 21:58 632K
NONE.prod-cons-eq.wvr.yml.log 2024-11-14 22:27 110K
NONE.prod-cons.wvr.yml.log 2024-11-14 22:29 108K
NONE.prod-cons3.wvr.yml.log 2024-11-14 22:23 91K
NONE.queue-add-2-nl.wvr.yml.log 2024-11-14 22:54 952K
NONE.queue-add-2.wvr.yml.log 2024-11-14 22:31 861K
NONE.queue-add-3-nl.wvr.yml.log 2024-11-14 22:54 299K
NONE.queue-add-3.wvr.yml.log 2024-11-14 22:33 399K
NONE.ring-nondet.wvr.yml.log 2024-11-14 22:40 380K
NONE.ring.wvr.yml.log 2024-11-14 22:27 115K
NONE.security.wvr.yml.log 2024-11-14 21:50 72K
NONE.semi1.wvr.yml.log 2024-11-14 22:44 37K
NONE.send-receive-alt.wvr.yml.log 2024-11-14 22:33 307K
NONE.send-receive.wvr.yml.log 2024-11-14 22:34 270K
NONE.simpl-str-subst.wvr.yml.log 2024-11-14 21:56 38K
NONE.simpl-str-symm.wvr.yml.log 2024-11-14 21:56 37K
NONE.simpl-str-trans.wvr.yml.log 2024-11-14 21:56 38K
NONE.simple-array-sum.wvr.yml.log 2024-11-14 22:24 161K
NONE.simple-equiv.wvr.yml.log 2024-11-14 22:02 38K
NONE.simple-queue.wvr.yml.log 2024-11-14 22:22 88K
NONE.sorted.wvr.yml.log 2024-11-14 22:55 139K
NONE.spaghetti.wvr.yml.log 2024-11-14 21:50 43K
NONE.sre-subst.wvr.yml.log 2024-11-14 21:56 38K
NONE.sre-symm.wvr.yml.log 2024-11-14 21:56 37K
NONE.sre-trans.wvr.yml.log 2024-11-14 21:56 38K
NONE.sum-array-hom.wvr.yml.log 2024-11-14 22:46 319K
NONE.sum-array.wvr.yml.log 2024-11-14 22:53 410K
NONE.sum-fun-alt.wvr.yml.log 2024-11-14 22:53 410K
NONE.sum-fun.wvr.yml.log 2024-11-14 22:47 319K
NONE.threaded-sum-2.wvr.yml.log 2024-11-14 22:28 115K
NONE.threaded-sum-3.wvr.yml.log 2024-11-14 22:35 396K
NONE.three-array-max.wvr.yml.log 2024-11-14 22:29 90K
NONE.three-array-min.wvr.yml.log 2024-11-14 22:38 91K
NONE.three-array-sum-alt.wvr.yml.log 2024-11-14 22:28 121K
NONE.three-array-sum.wvr.yml.log 2024-11-14 22:27 164K
NONE.ticket-2.wvr.yml.log 2024-11-14 22:02 46K
NONE.ticket-3.wvr.yml.log 2024-11-14 22:02 79K
NONE.ticket-4.wvr.yml.log 2024-11-14 22:03 174K
NONE.ticket-5.wvr.yml.log 2024-11-14 22:03 338K
NONE.ticket-6.wvr.yml.log 2024-11-14 22:05 593K
NONE.ticket-7.wvr.yml.log 2024-11-14 22:07 253K
NONE.ticket-8.wvr.yml.log 2024-11-14 22:08 41K
NONE.time-subst.wvr.yml.log 2024-11-14 21:57 38K
NONE.time-symm.wvr.yml.log 2024-11-14 21:57 37K
NONE.time-trans.wvr.yml.log 2024-11-14 21:57 38K
NONE.two-queue.wvr.yml.log 2024-11-14 22:26 88K
NONE.unroll-2.wvr.yml.log 2024-11-14 21:56 210K
NONE.unroll-3.wvr.yml.log 2024-11-14 22:02 177K
NONE.unroll-4.wvr.yml.log 2024-11-14 21:57 134K
NONE.unroll-5.wvr.yml.log 2024-11-14 22:04 123K
NONE.unroll-cond-2.wvr.yml.log 2024-11-14 21:56 168K
NONE.unroll-cond-3.wvr.yml.log 2024-11-14 21:57 137K
NONE.unroll-cond-4.wvr.yml.log 2024-11-14 21:56 109K
NONE.unroll-cond-5.wvr.yml.log 2024-11-14 22:05 48K
NONE.vector-add.wvr.yml.log 2024-11-14 22:57 86K
NONE.word-subst.wvr.yml.log 2024-11-14 21:57 209K
NONE.word-symm.wvr.yml.log 2024-11-14 21:57 121K
NONE.word-trans.wvr.yml.log 2024-11-14 21:57 257K