Index of /logs/conditional-commutativity/20250130-111532-conditional-commutativity-a343466299-M/conditional-commutativity.2025-01-29_17-33-13.logfiles
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
CE-NecessaryAndSufficient.array-eq-symm.wvr.yml.log 2025-01-30 00:14 92K
CE-NecessaryAndSufficient.array-eq-trans.wvr.yml.log 2025-01-30 00:14 178K
CE-NecessaryAndSufficient.array-int-subst.wvr.yml.log 2025-01-30 00:31 216K
CE-NecessaryAndSufficient.array-int-symm.wvr.yml.log 2025-01-30 00:28 83K
CE-NecessaryAndSufficient.array-int-trans.wvr.yml.log 2025-01-30 00:29 300K
CE-NecessaryAndSufficient.array-sum-alt.wvr.yml.log 2025-01-30 01:38 739K
CE-NecessaryAndSufficient.array-sum.wvr.yml.log 2025-01-30 01:38 315K
CE-NecessaryAndSufficient.bad-commit-1.wvr.yml.log 2025-01-30 01:20 204K
CE-NecessaryAndSufficient.bad-commit-2.wvr.yml.log 2025-01-30 01:20 335K
CE-NecessaryAndSufficient.bad-dot-product.wvr.yml.log 2025-01-30 01:24 596K
CE-NecessaryAndSufficient.bakery-2.wvr.yml.log 2025-01-30 00:32 74K
CE-NecessaryAndSufficient.bakery-3.wvr.yml.log 2025-01-30 00:33 329K
CE-NecessaryAndSufficient.bakery-4.wvr.yml.log 2025-01-30 00:46 2.0M
CE-NecessaryAndSufficient.barrier-loop.wvr.yml.log 2025-01-30 00:32 79K
CE-NecessaryAndSufficient.barrier.wvr.yml.log 2025-01-30 00:32 89K
CE-NecessaryAndSufficient.bluetooth.wvr.yml.log 2025-01-30 00:32 50K
CE-NecessaryAndSufficient.buffer-mult-alt.wvr.yml.log 2025-01-30 01:35 186K
CE-NecessaryAndSufficient.buffer-mult.wvr.yml.log 2025-01-30 01:39 322K
CE-NecessaryAndSufficient.buffer-series-array.wvr.yml.log 2025-01-30 01:36 192K
CE-NecessaryAndSufficient.buffer-series.wvr.yml.log 2025-01-30 01:37 192K
CE-NecessaryAndSufficient.channel-sum.wvr.yml.log 2025-01-30 01:01 453K
CE-NecessaryAndSufficient.chromosome-opt-symm.wvr.yml.log 2025-01-30 00:29 99K
CE-NecessaryAndSufficient.chromosome-subst.wvr.yml.log 2025-01-30 00:29 146K
CE-NecessaryAndSufficient.chromosome-symm.wvr.yml.log 2025-01-30 00:29 140K
CE-NecessaryAndSufficient.chromosome-trans.wvr.yml.log 2025-01-30 00:29 237K
CE-NecessaryAndSufficient.clever.wvr.yml.log 2025-01-30 00:27 6.0M
CE-NecessaryAndSufficient.collitem-subst.wvr.yml.log 2025-01-30 00:29 40K
CE-NecessaryAndSufficient.collitem-symm.wvr.yml.log 2025-01-30 00:29 40K
CE-NecessaryAndSufficient.collitem-trans.wvr.yml.log 2025-01-30 00:29 40K
CE-NecessaryAndSufficient.commit-1.wvr.yml.log 2025-01-30 00:48 93K
CE-NecessaryAndSufficient.commit-2.wvr.yml.log 2025-01-30 00:48 117K
CE-NecessaryAndSufficient.container-subst.wvr.yml.log 2025-01-30 00:29 40K
CE-NecessaryAndSufficient.container-symm.wvr.yml.log 2025-01-30 00:29 40K
CE-NecessaryAndSufficient.container-trans.wvr.yml.log 2025-01-30 00:29 40K
CE-NecessaryAndSufficient.context1.wvr.yml.log 2025-01-30 01:58 86K
CE-NecessaryAndSufficient.counter-add-4-semi-Q67.wvr.yml.log 2025-01-30 01:58 150K
CE-NecessaryAndSufficient.counter-determinism.wvr.yml.log 2025-01-30 00:49 193K
CE-NecessaryAndSufficient.counter-fun.wvr.yml.log 2025-01-30 00:49 150K
CE-NecessaryAndSufficient.counter-queue.wvr.yml.log 2025-01-30 01:22 84K
CE-NecessaryAndSufficient.dec-subseq-array.wvr.yml.log 2025-01-30 01:38 85K
CE-NecessaryAndSufficient.dec-subseq.wvr.yml.log 2025-01-30 01:39 85K
CE-NecessaryAndSufficient.difference-det.wvr.yml.log 2025-01-30 00:49 247K
CE-NecessaryAndSufficient.dot-product-alt.wvr.yml.log 2025-01-30 01:26 145K
CE-NecessaryAndSufficient.dot-product-array.wvr.yml.log 2025-01-30 01:39 89K
CE-NecessaryAndSufficient.dot-product.wvr.yml.log 2025-01-30 01:39 88K
CE-NecessaryAndSufficient.easy1.wvr.yml.log 2025-01-30 01:58 61K
CE-NecessaryAndSufficient.easy10.wvr.yml.log 2025-01-30 01:58 63K
CE-NecessaryAndSufficient.easy11.wvr.yml.log 2025-01-30 01:58 88K
CE-NecessaryAndSufficient.easy6.wvr.yml.log 2025-01-30 01:58 74K
CE-NecessaryAndSufficient.easy7.wvr.yml.log 2025-01-30 01:58 39K
CE-NecessaryAndSufficient.easy8.wvr.yml.log 2025-01-30 01:58 39K
CE-NecessaryAndSufficient.exp-term-subst.wvr.yml.log 2025-01-30 00:30 40K
CE-NecessaryAndSufficient.exp-term-symm.wvr.yml.log 2025-01-30 00:30 40K
CE-NecessaryAndSufficient.exp1x3.wvr.yml.log 2025-01-30 00:27 70K
CE-NecessaryAndSufficient.exp2x3.wvr.yml.log 2025-01-30 00:28 116K
CE-NecessaryAndSufficient.exp2x4.wvr.yml.log 2025-01-30 00:28 116K
CE-NecessaryAndSufficient.exp2x6.wvr.yml.log 2025-01-30 00:28 116K
CE-NecessaryAndSufficient.exp2x9.wvr.yml.log 2025-01-30 00:28 114K
CE-NecessaryAndSufficient.exp3x3-opt.wvr.yml.log 2025-01-30 00:28 119K
CE-NecessaryAndSufficient.exp3x3.wvr.yml.log 2025-01-30 00:28 190K
CE-NecessaryAndSufficient.fibonacci.wvr.yml.log 2025-01-30 00:14 78K
CE-NecessaryAndSufficient.figure1-alt.wvr.yml.log 2025-01-30 00:49 87K
CE-NecessaryAndSufficient.figure1.wvr.yml.log 2025-01-30 00:49 83K
CE-NecessaryAndSufficient.figure3.wvr.yml.log 2025-01-30 01:04 1.8M
CE-NecessaryAndSufficient.file-item-subst.wvr.yml.log 2025-01-30 00:30 40K
CE-NecessaryAndSufficient.file-item-symm.wvr.yml.log 2025-01-30 00:30 40K
CE-NecessaryAndSufficient.file-item-trans.wvr.yml.log 2025-01-30 00:30 40K
CE-NecessaryAndSufficient.hard1.wvr.yml.log 2025-01-30 02:12 1.1M
CE-NecessaryAndSufficient.horseshoe.wvr.yml.log 2025-01-30 01:01 1.2M
CE-NecessaryAndSufficient.inc-subseq-array.wvr.yml.log 2025-01-30 01:41 85K
CE-NecessaryAndSufficient.inc-subseq.wvr.yml.log 2025-01-30 01:41 85K
CE-NecessaryAndSufficient.lamport.wvr.yml.log 2025-01-30 00:33 75K
CE-NecessaryAndSufficient.loop-tiling-eq.wvr.yml.log 2025-01-30 00:28 277K
CE-NecessaryAndSufficient.match-subst.wvr.yml.log 2025-01-30 00:30 40K
CE-NecessaryAndSufficient.match-symm.wvr.yml.log 2025-01-30 00:30 40K
CE-NecessaryAndSufficient.match-trans.wvr.yml.log 2025-01-30 00:30 40K
CE-NecessaryAndSufficient.max-array-hom.wvr.yml.log 2025-01-30 01:43 86K
CE-NecessaryAndSufficient.max-array.wvr.yml.log 2025-01-30 01:53 177K
CE-NecessaryAndSufficient.max-fun-alt.wvr.yml.log 2025-01-30 01:54 177K
CE-NecessaryAndSufficient.max-fun.wvr.yml.log 2025-01-30 01:44 86K
CE-NecessaryAndSufficient.min-array-hom.wvr.yml.log 2025-01-30 01:44 137K
CE-NecessaryAndSufficient.min-array.wvr.yml.log 2025-01-30 01:44 136K
CE-NecessaryAndSufficient.min-fun-alt.wvr.yml.log 2025-01-30 01:45 136K
CE-NecessaryAndSufficient.min-fun.wvr.yml.log 2025-01-30 01:48 136K
CE-NecessaryAndSufficient.min-le-max.wvr.yml.log 2025-01-30 01:44 59K
CE-NecessaryAndSufficient.min-max-1.wvr.yml.log 2025-01-30 00:33 45K
CE-NecessaryAndSufficient.min-max-2.wvr.yml.log 2025-01-30 00:47 232K
CE-NecessaryAndSufficient.min-max-dec.wvr.yml.log 2025-01-30 01:08 164K
CE-NecessaryAndSufficient.min-max-inc-dec.wvr.yml.log 2025-01-30 01:09 207K
CE-NecessaryAndSufficient.min-max-inc.wvr.yml.log 2025-01-30 00:55 173K
CE-NecessaryAndSufficient.misc-1.wvr.yml.log 2025-01-30 00:47 226K
CE-NecessaryAndSufficient.misc-2-unrolled-atomic.wvr.yml.log 2025-01-30 00:33 40K
CE-NecessaryAndSufficient.misc-2-unrolled.wvr.yml.log 2025-01-30 00:33 56K
CE-NecessaryAndSufficient.misc-2.wvr.yml.log 2025-01-30 00:33 139K
CE-NecessaryAndSufficient.misc-3-extended.wvr.yml.log 2025-01-30 00:33 87K
CE-NecessaryAndSufficient.misc-3.wvr.yml.log 2025-01-30 00:33 64K
CE-NecessaryAndSufficient.misc-4.wvr.yml.log 2025-01-30 00:33 67K
CE-NecessaryAndSufficient.misc-5.wvr.yml.log 2025-01-30 00:43 1.7M
CE-NecessaryAndSufficient.mts-array.wvr.yml.log 2025-01-30 01:48 79K
CE-NecessaryAndSufficient.mts.wvr.yml.log 2025-01-30 01:48 79K
CE-NecessaryAndSufficient.mult-4.wvr.yml.log 2025-01-30 01:09 3.2M
CE-NecessaryAndSufficient.mult-comm.wvr.yml.log 2025-01-30 00:28 879K
CE-NecessaryAndSufficient.mult-dist.wvr.yml.log 2025-01-30 00:26 1.5M
CE-NecessaryAndSufficient.mult-equiv.wvr.yml.log 2025-01-30 01:13 2.0M
CE-NecessaryAndSufficient.mult-flipped-dist.wvr.yml.log 2025-01-30 00:14 101K
CE-NecessaryAndSufficient.multiply-verify.wvr.yml.log 2025-01-30 01:45 77K
CE-NecessaryAndSufficient.name-comparator-subst.wvr.yml.log 2025-01-30 00:30 128K
CE-NecessaryAndSufficient.name-comparator-symm.wvr.yml.log 2025-01-30 00:30 90K
CE-NecessaryAndSufficient.name-comparator-trans.wvr.yml.log 2025-01-30 00:31 230K
CE-NecessaryAndSufficient.node-subst.wvr.yml.log 2025-01-30 00:30 40K
CE-NecessaryAndSufficient.node-symm.wvr.yml.log 2025-01-30 00:30 40K
CE-NecessaryAndSufficient.node-trans.wvr.yml.log 2025-01-30 00:30 40K
CE-NecessaryAndSufficient.nonblocking-cntr-alt.wvr.yml.log 2025-01-30 01:01 101K
CE-NecessaryAndSufficient.nonblocking-cntr.wvr.yml.log 2025-01-30 01:01 102K
CE-NecessaryAndSufficient.nonblocking-counter-alt2.wvr.yml.log 2025-01-30 01:59 149K
CE-NecessaryAndSufficient.nzb-file-subst.wvr.yml.log 2025-01-30 00:31 266K
CE-NecessaryAndSufficient.nzb-file-symm.wvr.yml.log 2025-01-30 00:30 149K
CE-NecessaryAndSufficient.nzb-file-trans.wvr.yml.log 2025-01-30 00:31 252K
CE-NecessaryAndSufficient.parallel-sum-1-dsl.wvr.yml.log 2025-01-30 00:46 281K
CE-NecessaryAndSufficient.parallel-sum-1.wvr.yml.log 2025-01-30 00:48 536K
CE-NecessaryAndSufficient.parallel-sum-2.wvr.yml.log 2025-01-30 00:55 513K
CE-NecessaryAndSufficient.parallel-sum-equiv.wvr.yml.log 2025-01-30 00:59 277K
CE-NecessaryAndSufficient.parray-copy.wvr.yml.log 2025-01-30 01:46 154K
CE-NecessaryAndSufficient.poker-hand-subst.wvr.yml.log 2025-01-30 00:34 815K
CE-NecessaryAndSufficient.poker-hand-symm.wvr.yml.log 2025-01-30 00:31 293K
CE-NecessaryAndSufficient.poker-hand-trans.wvr.yml.log 2025-01-30 00:32 573K
CE-NecessaryAndSufficient.prod-cons-eq.wvr.yml.log 2025-01-30 01:15 124K
CE-NecessaryAndSufficient.prod-cons.wvr.yml.log 2025-01-30 01:03 96K
CE-NecessaryAndSufficient.prod-cons3.wvr.yml.log 2025-01-30 01:09 101K
CE-NecessaryAndSufficient.queue-add-2-nl.wvr.yml.log 2025-01-30 01:48 134K
CE-NecessaryAndSufficient.queue-add-2.wvr.yml.log 2025-01-30 01:04 132K
CE-NecessaryAndSufficient.queue-add-3-nl.wvr.yml.log 2025-01-30 01:50 215K
CE-NecessaryAndSufficient.queue-add-3.wvr.yml.log 2025-01-30 01:06 246K
CE-NecessaryAndSufficient.ring-nondet.wvr.yml.log 2025-01-30 01:37 489K
CE-NecessaryAndSufficient.ring.wvr.yml.log 2025-01-30 01:24 129K
CE-NecessaryAndSufficient.security.wvr.yml.log 2025-01-30 00:14 80K
CE-NecessaryAndSufficient.semi1.wvr.yml.log 2025-01-30 01:59 39K
CE-NecessaryAndSufficient.send-receive-alt.wvr.yml.log 2025-01-30 01:19 484K
CE-NecessaryAndSufficient.send-receive.wvr.yml.log 2025-01-30 01:22 378K
CE-NecessaryAndSufficient.simpl-str-subst.wvr.yml.log 2025-01-30 00:31 40K
CE-NecessaryAndSufficient.simpl-str-symm.wvr.yml.log 2025-01-30 00:31 40K
CE-NecessaryAndSufficient.simpl-str-trans.wvr.yml.log 2025-01-30 00:31 40K
CE-NecessaryAndSufficient.simple-array-sum.wvr.yml.log 2025-01-30 01:23 214K
CE-NecessaryAndSufficient.simple-equiv.wvr.yml.log 2025-01-30 00:46 40K
CE-NecessaryAndSufficient.simple-queue.wvr.yml.log 2025-01-30 01:09 87K
CE-NecessaryAndSufficient.sorted.wvr.yml.log 2025-01-30 01:58 230K
CE-NecessaryAndSufficient.spaghetti.wvr.yml.log 2025-01-30 00:14 46K
CE-NecessaryAndSufficient.sre-subst.wvr.yml.log 2025-01-30 00:31 40K
CE-NecessaryAndSufficient.sre-symm.wvr.yml.log 2025-01-30 00:31 40K
CE-NecessaryAndSufficient.sre-trans.wvr.yml.log 2025-01-30 00:31 40K
CE-NecessaryAndSufficient.sum-array-hom.wvr.yml.log 2025-01-30 02:01 465K
CE-NecessaryAndSufficient.sum-array.wvr.yml.log 2025-01-30 02:03 546K
CE-NecessaryAndSufficient.sum-fun-alt.wvr.yml.log 2025-01-30 02:02 546K
CE-NecessaryAndSufficient.sum-fun.wvr.yml.log 2025-01-30 02:06 465K
CE-NecessaryAndSufficient.threaded-sum-2.wvr.yml.log 2025-01-30 01:24 142K
CE-NecessaryAndSufficient.threaded-sum-3.wvr.yml.log 2025-01-30 01:23 536K
CE-NecessaryAndSufficient.three-array-max.wvr.yml.log 2025-01-30 01:24 101K
CE-NecessaryAndSufficient.three-array-min.wvr.yml.log 2025-01-30 01:24 104K
CE-NecessaryAndSufficient.three-array-sum-alt.wvr.yml.log 2025-01-30 01:24 137K
CE-NecessaryAndSufficient.three-array-sum.wvr.yml.log 2025-01-30 01:16 170K
CE-NecessaryAndSufficient.ticket-2.wvr.yml.log 2025-01-30 00:46 50K
CE-NecessaryAndSufficient.ticket-3.wvr.yml.log 2025-01-30 00:46 88K
CE-NecessaryAndSufficient.ticket-4.wvr.yml.log 2025-01-30 00:46 195K
CE-NecessaryAndSufficient.ticket-5.wvr.yml.log 2025-01-30 00:46 371K
CE-NecessaryAndSufficient.ticket-6.wvr.yml.log 2025-01-30 00:48 642K
CE-NecessaryAndSufficient.ticket-7.wvr.yml.log 2025-01-30 00:53 442K
CE-NecessaryAndSufficient.ticket-8.wvr.yml.log 2025-01-30 00:53 53K
CE-NecessaryAndSufficient.time-subst.wvr.yml.log 2025-01-30 00:31 40K
CE-NecessaryAndSufficient.time-symm.wvr.yml.log 2025-01-30 00:31 40K
CE-NecessaryAndSufficient.time-trans.wvr.yml.log 2025-01-30 00:32 40K
CE-NecessaryAndSufficient.two-queue.wvr.yml.log 2025-01-30 01:20 101K
CE-NecessaryAndSufficient.unroll-2.wvr.yml.log 2025-01-30 00:22 227K
CE-NecessaryAndSufficient.unroll-3.wvr.yml.log 2025-01-30 00:20 184K
CE-NecessaryAndSufficient.unroll-4.wvr.yml.log 2025-01-30 00:20 156K
CE-NecessaryAndSufficient.unroll-5.wvr.yml.log 2025-01-30 00:34 147K
CE-NecessaryAndSufficient.unroll-cond-2.wvr.yml.log 2025-01-30 00:26 195K
CE-NecessaryAndSufficient.unroll-cond-3.wvr.yml.log 2025-01-30 00:29 161K
CE-NecessaryAndSufficient.unroll-cond-4.wvr.yml.log 2025-01-30 00:32 127K
CE-NecessaryAndSufficient.unroll-cond-5.wvr.yml.log 2025-01-30 00:41 53K
CE-NecessaryAndSufficient.vector-add.wvr.yml.log 2025-01-30 02:08 97K
CE-NecessaryAndSufficient.word-subst.wvr.yml.log 2025-01-30 00:32 241K
CE-NecessaryAndSufficient.word-symm.wvr.yml.log 2025-01-30 00:32 141K
CE-NecessaryAndSufficient.word-trans.wvr.yml.log 2025-01-30 00:32 295K
CE-Sufficient.array-eq-symm.wvr.yml.log 2025-01-29 22:12 92K
CE-Sufficient.array-eq-trans.wvr.yml.log 2025-01-29 22:12 178K
CE-Sufficient.array-int-subst.wvr.yml.log 2025-01-29 22:29 216K
CE-Sufficient.array-int-symm.wvr.yml.log 2025-01-29 22:26 83K
CE-Sufficient.array-int-trans.wvr.yml.log 2025-01-29 22:27 300K
CE-Sufficient.array-sum-alt.wvr.yml.log 2025-01-29 23:40 715K
CE-Sufficient.array-sum.wvr.yml.log 2025-01-29 23:40 315K
CE-Sufficient.bad-commit-1.wvr.yml.log 2025-01-29 23:21 206K
CE-Sufficient.bad-commit-2.wvr.yml.log 2025-01-29 23:22 340K
CE-Sufficient.bad-dot-product.wvr.yml.log 2025-01-29 23:26 596K
CE-Sufficient.bakery-2.wvr.yml.log 2025-01-29 22:30 74K
CE-Sufficient.bakery-3.wvr.yml.log 2025-01-29 22:30 329K
CE-Sufficient.bakery-4.wvr.yml.log 2025-01-29 22:43 2.0M
CE-Sufficient.barrier-loop.wvr.yml.log 2025-01-29 22:30 78K
CE-Sufficient.barrier.wvr.yml.log 2025-01-29 22:30 89K
CE-Sufficient.bluetooth.wvr.yml.log 2025-01-29 22:30 50K
CE-Sufficient.buffer-mult-alt.wvr.yml.log 2025-01-29 23:36 186K
CE-Sufficient.buffer-mult.wvr.yml.log 2025-01-29 23:40 320K
CE-Sufficient.buffer-series-array.wvr.yml.log 2025-01-29 23:36 192K
CE-Sufficient.buffer-series.wvr.yml.log 2025-01-29 23:38 192K
CE-Sufficient.channel-sum.wvr.yml.log 2025-01-29 22:59 463K
CE-Sufficient.chromosome-opt-symm.wvr.yml.log 2025-01-29 22:27 99K
CE-Sufficient.chromosome-subst.wvr.yml.log 2025-01-29 22:27 146K
CE-Sufficient.chromosome-symm.wvr.yml.log 2025-01-29 22:27 139K
CE-Sufficient.chromosome-trans.wvr.yml.log 2025-01-29 22:28 237K
CE-Sufficient.clever.wvr.yml.log 2025-01-29 22:25 6.0M
CE-Sufficient.collitem-subst.wvr.yml.log 2025-01-29 22:27 40K
CE-Sufficient.collitem-symm.wvr.yml.log 2025-01-29 22:27 40K
CE-Sufficient.collitem-trans.wvr.yml.log 2025-01-29 22:27 40K
CE-Sufficient.commit-1.wvr.yml.log 2025-01-29 22:46 93K
CE-Sufficient.commit-2.wvr.yml.log 2025-01-29 22:47 117K
CE-Sufficient.container-subst.wvr.yml.log 2025-01-29 22:27 40K
CE-Sufficient.container-symm.wvr.yml.log 2025-01-29 22:27 40K
CE-Sufficient.container-trans.wvr.yml.log 2025-01-29 22:27 40K
CE-Sufficient.context1.wvr.yml.log 2025-01-29 23:59 86K
CE-Sufficient.counter-add-4-semi-Q67.wvr.yml.log 2025-01-29 23:59 149K
CE-Sufficient.counter-determinism.wvr.yml.log 2025-01-29 22:47 193K
CE-Sufficient.counter-fun.wvr.yml.log 2025-01-29 23:01 383K
CE-Sufficient.counter-queue.wvr.yml.log 2025-01-29 23:23 84K
CE-Sufficient.dec-subseq-array.wvr.yml.log 2025-01-29 23:40 85K
CE-Sufficient.dec-subseq.wvr.yml.log 2025-01-29 23:39 85K
CE-Sufficient.difference-det.wvr.yml.log 2025-01-29 22:47 247K
CE-Sufficient.dot-product-alt.wvr.yml.log 2025-01-29 23:26 145K
CE-Sufficient.dot-product-array.wvr.yml.log 2025-01-29 23:40 89K
CE-Sufficient.dot-product.wvr.yml.log 2025-01-29 23:40 88K
CE-Sufficient.easy1.wvr.yml.log 2025-01-30 00:00 61K
CE-Sufficient.easy10.wvr.yml.log 2025-01-30 00:00 63K
CE-Sufficient.easy11.wvr.yml.log 2025-01-30 00:00 88K
CE-Sufficient.easy6.wvr.yml.log 2025-01-30 00:00 74K
CE-Sufficient.easy7.wvr.yml.log 2025-01-30 00:00 39K
CE-Sufficient.easy8.wvr.yml.log 2025-01-30 00:00 39K
CE-Sufficient.exp-term-subst.wvr.yml.log 2025-01-29 22:28 40K
CE-Sufficient.exp-term-symm.wvr.yml.log 2025-01-29 22:28 40K
CE-Sufficient.exp1x3.wvr.yml.log 2025-01-29 22:25 70K
CE-Sufficient.exp2x3.wvr.yml.log 2025-01-29 22:26 116K
CE-Sufficient.exp2x4.wvr.yml.log 2025-01-29 22:26 116K
CE-Sufficient.exp2x6.wvr.yml.log 2025-01-29 22:26 116K
CE-Sufficient.exp2x9.wvr.yml.log 2025-01-29 22:26 114K
CE-Sufficient.exp3x3-opt.wvr.yml.log 2025-01-29 22:26 119K
CE-Sufficient.exp3x3.wvr.yml.log 2025-01-29 22:26 190K
CE-Sufficient.fibonacci.wvr.yml.log 2025-01-29 22:12 78K
CE-Sufficient.figure1-alt.wvr.yml.log 2025-01-29 22:48 87K
CE-Sufficient.figure1.wvr.yml.log 2025-01-29 22:48 83K
CE-Sufficient.figure3.wvr.yml.log 2025-01-29 23:01 1.6M
CE-Sufficient.file-item-subst.wvr.yml.log 2025-01-29 22:28 40K
CE-Sufficient.file-item-symm.wvr.yml.log 2025-01-29 22:28 40K
CE-Sufficient.file-item-trans.wvr.yml.log 2025-01-29 22:28 40K
CE-Sufficient.hard1.wvr.yml.log 2025-01-30 00:13 1.0M
CE-Sufficient.horseshoe.wvr.yml.log 2025-01-29 23:04 1.2M
CE-Sufficient.inc-subseq-array.wvr.yml.log 2025-01-29 23:43 85K
CE-Sufficient.inc-subseq.wvr.yml.log 2025-01-29 23:43 84K
CE-Sufficient.lamport.wvr.yml.log 2025-01-29 22:31 74K
CE-Sufficient.loop-tiling-eq.wvr.yml.log 2025-01-29 22:26 277K
CE-Sufficient.match-subst.wvr.yml.log 2025-01-29 22:28 40K
CE-Sufficient.match-symm.wvr.yml.log 2025-01-29 22:28 40K
CE-Sufficient.match-trans.wvr.yml.log 2025-01-29 22:28 40K
CE-Sufficient.max-array-hom.wvr.yml.log 2025-01-29 23:44 86K
CE-Sufficient.max-array.wvr.yml.log 2025-01-29 23:54 177K
CE-Sufficient.max-fun-alt.wvr.yml.log 2025-01-29 23:54 177K
CE-Sufficient.max-fun.wvr.yml.log 2025-01-29 23:45 86K
CE-Sufficient.min-array-hom.wvr.yml.log 2025-01-29 23:45 136K
CE-Sufficient.min-array.wvr.yml.log 2025-01-29 23:46 136K
CE-Sufficient.min-fun-alt.wvr.yml.log 2025-01-29 23:46 136K
CE-Sufficient.min-fun.wvr.yml.log 2025-01-29 23:49 136K
CE-Sufficient.min-le-max.wvr.yml.log 2025-01-29 23:45 59K
CE-Sufficient.min-max-1.wvr.yml.log 2025-01-29 22:30 45K
CE-Sufficient.min-max-2.wvr.yml.log 2025-01-29 22:45 200K
CE-Sufficient.min-max-dec.wvr.yml.log 2025-01-29 23:08 175K
CE-Sufficient.min-max-inc-dec.wvr.yml.log 2025-01-29 23:08 217K
CE-Sufficient.min-max-inc.wvr.yml.log 2025-01-29 22:58 173K
CE-Sufficient.misc-1.wvr.yml.log 2025-01-29 22:45 226K
CE-Sufficient.misc-2-unrolled-atomic.wvr.yml.log 2025-01-29 22:31 40K
CE-Sufficient.misc-2-unrolled.wvr.yml.log 2025-01-29 22:31 56K
CE-Sufficient.misc-2.wvr.yml.log 2025-01-29 22:31 139K
CE-Sufficient.misc-3-extended.wvr.yml.log 2025-01-29 22:31 86K
CE-Sufficient.misc-3.wvr.yml.log 2025-01-29 22:31 64K
CE-Sufficient.misc-4.wvr.yml.log 2025-01-29 22:31 67K
CE-Sufficient.misc-5.wvr.yml.log 2025-01-29 22:42 1.8M
CE-Sufficient.mts-array.wvr.yml.log 2025-01-29 23:49 79K
CE-Sufficient.mts.wvr.yml.log 2025-01-29 23:49 79K
CE-Sufficient.mult-4.wvr.yml.log 2025-01-29 23:11 3.4M
CE-Sufficient.mult-comm.wvr.yml.log 2025-01-29 22:26 889K
CE-Sufficient.mult-dist.wvr.yml.log 2025-01-29 22:24 1.5M
CE-Sufficient.mult-equiv.wvr.yml.log 2025-01-29 23:12 1.9M
CE-Sufficient.mult-flipped-dist.wvr.yml.log 2025-01-29 22:12 101K
CE-Sufficient.multiply-verify.wvr.yml.log 2025-01-29 23:46 77K
CE-Sufficient.name-comparator-subst.wvr.yml.log 2025-01-29 22:28 128K
CE-Sufficient.name-comparator-symm.wvr.yml.log 2025-01-29 22:28 90K
CE-Sufficient.name-comparator-trans.wvr.yml.log 2025-01-29 22:29 230K
CE-Sufficient.node-subst.wvr.yml.log 2025-01-29 22:28 40K
CE-Sufficient.node-symm.wvr.yml.log 2025-01-29 22:28 40K
CE-Sufficient.node-trans.wvr.yml.log 2025-01-29 22:28 40K
CE-Sufficient.nonblocking-cntr-alt.wvr.yml.log 2025-01-29 23:01 101K
CE-Sufficient.nonblocking-cntr.wvr.yml.log 2025-01-29 23:01 102K
CE-Sufficient.nonblocking-counter-alt2.wvr.yml.log 2025-01-30 00:00 144K
CE-Sufficient.nzb-file-subst.wvr.yml.log 2025-01-29 22:29 266K
CE-Sufficient.nzb-file-symm.wvr.yml.log 2025-01-29 22:28 149K
CE-Sufficient.nzb-file-trans.wvr.yml.log 2025-01-29 22:29 252K
CE-Sufficient.parallel-sum-1-dsl.wvr.yml.log 2025-01-29 22:45 313K
CE-Sufficient.parallel-sum-1.wvr.yml.log 2025-01-29 22:46 537K
CE-Sufficient.parallel-sum-2.wvr.yml.log 2025-01-29 22:53 513K
CE-Sufficient.parallel-sum-equiv.wvr.yml.log 2025-01-29 22:57 280K
CE-Sufficient.parray-copy.wvr.yml.log 2025-01-29 23:47 154K
CE-Sufficient.poker-hand-subst.wvr.yml.log 2025-01-29 22:32 814K
CE-Sufficient.poker-hand-symm.wvr.yml.log 2025-01-29 22:29 293K
CE-Sufficient.poker-hand-trans.wvr.yml.log 2025-01-29 22:30 573K
CE-Sufficient.prod-cons-eq.wvr.yml.log 2025-01-29 23:16 123K
CE-Sufficient.prod-cons.wvr.yml.log 2025-01-29 23:13 130K
CE-Sufficient.prod-cons3.wvr.yml.log 2025-01-29 23:09 101K
CE-Sufficient.queue-add-2-nl.wvr.yml.log 2025-01-29 23:49 216K
CE-Sufficient.queue-add-2.wvr.yml.log 2025-01-29 23:08 213K
CE-Sufficient.queue-add-3-nl.wvr.yml.log 2025-01-29 23:52 216K
CE-Sufficient.queue-add-3.wvr.yml.log 2025-01-29 23:10 247K
CE-Sufficient.ring-nondet.wvr.yml.log 2025-01-29 23:37 495K
CE-Sufficient.ring.wvr.yml.log 2025-01-29 23:25 129K
CE-Sufficient.security.wvr.yml.log 2025-01-29 22:12 80K
CE-Sufficient.semi1.wvr.yml.log 2025-01-30 00:01 39K
CE-Sufficient.send-receive-alt.wvr.yml.log 2025-01-29 23:21 495K
CE-Sufficient.send-receive.wvr.yml.log 2025-01-29 23:23 404K
CE-Sufficient.simpl-str-subst.wvr.yml.log 2025-01-29 22:29 40K
CE-Sufficient.simpl-str-symm.wvr.yml.log 2025-01-29 22:29 40K
CE-Sufficient.simpl-str-trans.wvr.yml.log 2025-01-29 22:29 40K
CE-Sufficient.simple-array-sum.wvr.yml.log 2025-01-29 23:24 214K
CE-Sufficient.simple-equiv.wvr.yml.log 2025-01-29 22:43 40K
CE-Sufficient.simple-queue.wvr.yml.log 2025-01-29 23:12 105K
CE-Sufficient.sorted.wvr.yml.log 2025-01-29 23:59 230K
CE-Sufficient.spaghetti.wvr.yml.log 2025-01-29 22:12 46K
CE-Sufficient.sre-subst.wvr.yml.log 2025-01-29 22:29 40K
CE-Sufficient.sre-symm.wvr.yml.log 2025-01-29 22:30 39K
CE-Sufficient.sre-trans.wvr.yml.log 2025-01-29 22:30 40K
CE-Sufficient.sum-array-hom.wvr.yml.log 2025-01-30 00:02 465K
CE-Sufficient.sum-array.wvr.yml.log 2025-01-30 00:04 547K
CE-Sufficient.sum-fun-alt.wvr.yml.log 2025-01-30 00:05 547K
CE-Sufficient.sum-fun.wvr.yml.log 2025-01-30 00:07 465K
CE-Sufficient.threaded-sum-2.wvr.yml.log 2025-01-29 23:25 141K
CE-Sufficient.threaded-sum-3.wvr.yml.log 2025-01-29 23:25 514K
CE-Sufficient.three-array-max.wvr.yml.log 2025-01-29 23:27 101K
CE-Sufficient.three-array-min.wvr.yml.log 2025-01-29 23:23 105K
CE-Sufficient.three-array-sum-alt.wvr.yml.log 2025-01-29 23:26 137K
CE-Sufficient.three-array-sum.wvr.yml.log 2025-01-29 23:16 170K
CE-Sufficient.ticket-2.wvr.yml.log 2025-01-29 22:43 50K
CE-Sufficient.ticket-3.wvr.yml.log 2025-01-29 22:43 88K
CE-Sufficient.ticket-4.wvr.yml.log 2025-01-29 22:43 195K
CE-Sufficient.ticket-5.wvr.yml.log 2025-01-29 22:44 371K
CE-Sufficient.ticket-6.wvr.yml.log 2025-01-29 22:46 642K
CE-Sufficient.ticket-7.wvr.yml.log 2025-01-29 22:53 475K
CE-Sufficient.ticket-8.wvr.yml.log 2025-01-29 22:52 59K
CE-Sufficient.time-subst.wvr.yml.log 2025-01-29 22:30 40K
CE-Sufficient.time-symm.wvr.yml.log 2025-01-29 22:30 39K
CE-Sufficient.time-trans.wvr.yml.log 2025-01-29 22:30 40K
CE-Sufficient.two-queue.wvr.yml.log 2025-01-29 23:21 101K
CE-Sufficient.unroll-2.wvr.yml.log 2025-01-29 22:20 227K
CE-Sufficient.unroll-3.wvr.yml.log 2025-01-29 22:18 183K
CE-Sufficient.unroll-4.wvr.yml.log 2025-01-29 22:18 157K
CE-Sufficient.unroll-5.wvr.yml.log 2025-01-29 22:31 147K
CE-Sufficient.unroll-cond-2.wvr.yml.log 2025-01-29 22:24 196K
CE-Sufficient.unroll-cond-3.wvr.yml.log 2025-01-29 22:27 161K
CE-Sufficient.unroll-cond-4.wvr.yml.log 2025-01-29 22:30 127K
CE-Sufficient.unroll-cond-5.wvr.yml.log 2025-01-29 22:39 52K
CE-Sufficient.vector-add.wvr.yml.log 2025-01-30 00:09 97K
CE-Sufficient.word-subst.wvr.yml.log 2025-01-29 22:30 241K
CE-Sufficient.word-symm.wvr.yml.log 2025-01-29 22:30 141K
CE-Sufficient.word-trans.wvr.yml.log 2025-01-29 22:30 295K
PROOFSENSITIVE.array-eq-symm.wvr.yml.log 2025-01-29 19:55 88K
PROOFSENSITIVE.array-eq-trans.wvr.yml.log 2025-01-29 19:55 170K
PROOFSENSITIVE.array-int-subst.wvr.yml.log 2025-01-29 20:13 200K
PROOFSENSITIVE.array-int-symm.wvr.yml.log 2025-01-29 20:10 76K
PROOFSENSITIVE.array-int-trans.wvr.yml.log 2025-01-29 20:11 277K
PROOFSENSITIVE.array-sum-alt.wvr.yml.log 2025-01-29 21:32 673K
PROOFSENSITIVE.array-sum.wvr.yml.log 2025-01-29 21:33 294K
PROOFSENSITIVE.bad-commit-1.wvr.yml.log 2025-01-29 21:13 174K
PROOFSENSITIVE.bad-commit-2.wvr.yml.log 2025-01-29 21:14 286K
PROOFSENSITIVE.bad-dot-product.wvr.yml.log 2025-01-29 21:18 566K
PROOFSENSITIVE.bakery-2.wvr.yml.log 2025-01-29 20:14 70K
PROOFSENSITIVE.bakery-3.wvr.yml.log 2025-01-29 20:14 313K
PROOFSENSITIVE.bakery-4.wvr.yml.log 2025-01-29 20:26 1.9M
PROOFSENSITIVE.barrier-loop.wvr.yml.log 2025-01-29 20:14 76K
PROOFSENSITIVE.barrier.wvr.yml.log 2025-01-29 20:14 86K
PROOFSENSITIVE.bluetooth.wvr.yml.log 2025-01-29 20:14 48K
PROOFSENSITIVE.buffer-mult-alt.wvr.yml.log 2025-01-29 21:29 177K
PROOFSENSITIVE.buffer-mult.wvr.yml.log 2025-01-29 21:33 304K
PROOFSENSITIVE.buffer-series-array.wvr.yml.log 2025-01-29 21:30 182K
PROOFSENSITIVE.buffer-series.wvr.yml.log 2025-01-29 21:32 182K
PROOFSENSITIVE.channel-sum.wvr.yml.log 2025-01-29 20:43 319K
PROOFSENSITIVE.chromosome-opt-symm.wvr.yml.log 2025-01-29 20:10 92K
PROOFSENSITIVE.chromosome-subst.wvr.yml.log 2025-01-29 20:11 137K
PROOFSENSITIVE.chromosome-symm.wvr.yml.log 2025-01-29 20:10 127K
PROOFSENSITIVE.chromosome-trans.wvr.yml.log 2025-01-29 20:11 218K
PROOFSENSITIVE.clever.wvr.yml.log 2025-01-29 20:09 4.8M
PROOFSENSITIVE.collitem-subst.wvr.yml.log 2025-01-29 20:11 40K
PROOFSENSITIVE.collitem-symm.wvr.yml.log 2025-01-29 20:11 39K
PROOFSENSITIVE.collitem-trans.wvr.yml.log 2025-01-29 20:11 40K
PROOFSENSITIVE.commit-1.wvr.yml.log 2025-01-29 20:29 88K
PROOFSENSITIVE.commit-2.wvr.yml.log 2025-01-29 20:29 111K
PROOFSENSITIVE.container-subst.wvr.yml.log 2025-01-29 20:11 40K
PROOFSENSITIVE.container-symm.wvr.yml.log 2025-01-29 20:11 39K
PROOFSENSITIVE.container-trans.wvr.yml.log 2025-01-29 20:11 40K
PROOFSENSITIVE.context1.wvr.yml.log 2025-01-29 22:11 1.2M
PROOFSENSITIVE.counter-add-4-semi-Q67.wvr.yml.log 2025-01-29 22:10 2.1M
PROOFSENSITIVE.counter-determinism.wvr.yml.log 2025-01-29 20:43 1.1M
PROOFSENSITIVE.counter-fun.wvr.yml.log 2025-01-29 20:44 285K
PROOFSENSITIVE.counter-queue.wvr.yml.log 2025-01-29 21:15 79K
PROOFSENSITIVE.dec-subseq-array.wvr.yml.log 2025-01-29 21:32 80K
PROOFSENSITIVE.dec-subseq.wvr.yml.log 2025-01-29 21:33 80K
PROOFSENSITIVE.difference-det.wvr.yml.log 2025-01-29 20:48 713K
PROOFSENSITIVE.dot-product-alt.wvr.yml.log 2025-01-29 21:19 138K
PROOFSENSITIVE.dot-product-array.wvr.yml.log 2025-01-29 21:33 84K
PROOFSENSITIVE.dot-product.wvr.yml.log 2025-01-29 21:34 84K
PROOFSENSITIVE.easy1.wvr.yml.log 2025-01-29 21:58 58K
PROOFSENSITIVE.easy10.wvr.yml.log 2025-01-29 21:58 60K
PROOFSENSITIVE.easy11.wvr.yml.log 2025-01-29 21:58 81K
PROOFSENSITIVE.easy6.wvr.yml.log 2025-01-29 21:58 70K
PROOFSENSITIVE.easy7.wvr.yml.log 2025-01-29 21:58 39K
PROOFSENSITIVE.easy8.wvr.yml.log 2025-01-29 21:58 39K
PROOFSENSITIVE.exp-term-subst.wvr.yml.log 2025-01-29 20:11 40K
PROOFSENSITIVE.exp-term-symm.wvr.yml.log 2025-01-29 20:11 39K
PROOFSENSITIVE.exp1x3.wvr.yml.log 2025-01-29 20:09 67K
PROOFSENSITIVE.exp2x3.wvr.yml.log 2025-01-29 20:09 110K
PROOFSENSITIVE.exp2x4.wvr.yml.log 2025-01-29 20:09 110K
PROOFSENSITIVE.exp2x6.wvr.yml.log 2025-01-29 20:09 110K
PROOFSENSITIVE.exp2x9.wvr.yml.log 2025-01-29 20:10 108K
PROOFSENSITIVE.exp3x3-opt.wvr.yml.log 2025-01-29 20:10 111K
PROOFSENSITIVE.exp3x3.wvr.yml.log 2025-01-29 20:10 180K
PROOFSENSITIVE.fibonacci.wvr.yml.log 2025-01-29 19:55 72K
PROOFSENSITIVE.figure1-alt.wvr.yml.log 2025-01-29 20:34 84K
PROOFSENSITIVE.figure1.wvr.yml.log 2025-01-29 20:47 627K
PROOFSENSITIVE.figure3.wvr.yml.log 2025-01-29 20:47 905K
PROOFSENSITIVE.file-item-subst.wvr.yml.log 2025-01-29 20:11 40K
PROOFSENSITIVE.file-item-symm.wvr.yml.log 2025-01-29 20:11 39K
PROOFSENSITIVE.file-item-trans.wvr.yml.log 2025-01-29 20:11 40K
PROOFSENSITIVE.hard1.wvr.yml.log 2025-01-29 22:11 822K
PROOFSENSITIVE.horseshoe.wvr.yml.log 2025-01-29 20:48 1.2M
PROOFSENSITIVE.inc-subseq-array.wvr.yml.log 2025-01-29 21:36 80K
PROOFSENSITIVE.inc-subseq.wvr.yml.log 2025-01-29 21:35 80K
PROOFSENSITIVE.lamport.wvr.yml.log 2025-01-29 20:14 71K
PROOFSENSITIVE.loop-tiling-eq.wvr.yml.log 2025-01-29 20:09 229K
PROOFSENSITIVE.match-subst.wvr.yml.log 2025-01-29 20:11 39K
PROOFSENSITIVE.match-symm.wvr.yml.log 2025-01-29 20:11 39K
PROOFSENSITIVE.match-trans.wvr.yml.log 2025-01-29 20:11 40K
PROOFSENSITIVE.max-array-hom.wvr.yml.log 2025-01-29 21:37 81K
PROOFSENSITIVE.max-array.wvr.yml.log 2025-01-29 21:47 168K
PROOFSENSITIVE.max-fun-alt.wvr.yml.log 2025-01-29 21:48 168K
PROOFSENSITIVE.max-fun.wvr.yml.log 2025-01-29 21:38 81K
PROOFSENSITIVE.min-array-hom.wvr.yml.log 2025-01-29 21:39 129K
PROOFSENSITIVE.min-array.wvr.yml.log 2025-01-29 21:39 129K
PROOFSENSITIVE.min-fun-alt.wvr.yml.log 2025-01-29 21:39 129K
PROOFSENSITIVE.min-fun.wvr.yml.log 2025-01-29 21:42 129K
PROOFSENSITIVE.min-le-max.wvr.yml.log 2025-01-29 21:38 57K
PROOFSENSITIVE.min-max-1.wvr.yml.log 2025-01-29 20:14 44K
PROOFSENSITIVE.min-max-2.wvr.yml.log 2025-01-29 20:29 202K
PROOFSENSITIVE.min-max-dec.wvr.yml.log 2025-01-29 20:58 166K
PROOFSENSITIVE.min-max-inc-dec.wvr.yml.log 2025-01-29 20:58 210K
PROOFSENSITIVE.min-max-inc.wvr.yml.log 2025-01-29 20:59 237K
PROOFSENSITIVE.misc-1.wvr.yml.log 2025-01-29 20:28 217K
PROOFSENSITIVE.misc-2-unrolled-atomic.wvr.yml.log 2025-01-29 20:14 39K
PROOFSENSITIVE.misc-2-unrolled.wvr.yml.log 2025-01-29 20:14 53K
PROOFSENSITIVE.misc-2.wvr.yml.log 2025-01-29 20:15 130K
PROOFSENSITIVE.misc-3-extended.wvr.yml.log 2025-01-29 20:15 82K
PROOFSENSITIVE.misc-3.wvr.yml.log 2025-01-29 20:15 61K
PROOFSENSITIVE.misc-4.wvr.yml.log 2025-01-29 20:15 64K
PROOFSENSITIVE.misc-5.wvr.yml.log 2025-01-29 20:20 468K
PROOFSENSITIVE.mts-array.wvr.yml.log 2025-01-29 21:42 75K
PROOFSENSITIVE.mts.wvr.yml.log 2025-01-29 21:42 75K
PROOFSENSITIVE.mult-4.wvr.yml.log 2025-01-29 21:01 2.3M
PROOFSENSITIVE.mult-comm.wvr.yml.log 2025-01-29 20:09 806K
PROOFSENSITIVE.mult-dist.wvr.yml.log 2025-01-29 20:08 1.4M
PROOFSENSITIVE.mult-equiv.wvr.yml.log 2025-01-29 21:01 1.5M
PROOFSENSITIVE.mult-flipped-dist.wvr.yml.log 2025-01-29 19:55 96K
PROOFSENSITIVE.multiply-verify.wvr.yml.log 2025-01-29 21:39 74K
PROOFSENSITIVE.name-comparator-subst.wvr.yml.log 2025-01-29 20:11 116K
PROOFSENSITIVE.name-comparator-symm.wvr.yml.log 2025-01-29 20:11 83K
PROOFSENSITIVE.name-comparator-trans.wvr.yml.log 2025-01-29 20:12 212K
PROOFSENSITIVE.node-subst.wvr.yml.log 2025-01-29 20:12 40K
PROOFSENSITIVE.node-symm.wvr.yml.log 2025-01-29 20:12 39K
PROOFSENSITIVE.node-trans.wvr.yml.log 2025-01-29 20:12 40K
PROOFSENSITIVE.nonblocking-cntr-alt.wvr.yml.log 2025-01-29 20:48 93K
PROOFSENSITIVE.nonblocking-cntr.wvr.yml.log 2025-01-29 20:49 118K
PROOFSENSITIVE.nonblocking-counter-alt2.wvr.yml.log 2025-01-29 21:53 128K
PROOFSENSITIVE.nzb-file-subst.wvr.yml.log 2025-01-29 20:13 241K
PROOFSENSITIVE.nzb-file-symm.wvr.yml.log 2025-01-29 20:12 137K
PROOFSENSITIVE.nzb-file-trans.wvr.yml.log 2025-01-29 20:13 225K
PROOFSENSITIVE.parallel-sum-1-dsl.wvr.yml.log 2025-01-29 20:27 252K
PROOFSENSITIVE.parallel-sum-1.wvr.yml.log 2025-01-29 20:29 500K
PROOFSENSITIVE.parallel-sum-2.wvr.yml.log 2025-01-29 20:34 459K
PROOFSENSITIVE.parallel-sum-equiv.wvr.yml.log 2025-01-29 20:37 248K
PROOFSENSITIVE.parray-copy.wvr.yml.log 2025-01-29 21:40 144K
PROOFSENSITIVE.poker-hand-subst.wvr.yml.log 2025-01-29 20:15 744K
PROOFSENSITIVE.poker-hand-symm.wvr.yml.log 2025-01-29 20:13 266K
PROOFSENSITIVE.poker-hand-trans.wvr.yml.log 2025-01-29 20:14 524K
PROOFSENSITIVE.prod-cons-eq.wvr.yml.log 2025-01-29 21:03 118K
PROOFSENSITIVE.prod-cons.wvr.yml.log 2025-01-29 21:00 108K
PROOFSENSITIVE.prod-cons3.wvr.yml.log 2025-01-29 21:03 97K
PROOFSENSITIVE.queue-add-2-nl.wvr.yml.log 2025-01-29 21:56 1.0M
PROOFSENSITIVE.queue-add-2.wvr.yml.log 2025-01-29 21:12 1.0M
PROOFSENSITIVE.queue-add-3-nl.wvr.yml.log 2025-01-29 21:57 305K
PROOFSENSITIVE.queue-add-3.wvr.yml.log 2025-01-29 21:13 431K
PROOFSENSITIVE.ring-nondet.wvr.yml.log 2025-01-29 21:31 414K
PROOFSENSITIVE.ring.wvr.yml.log 2025-01-29 21:18 123K
PROOFSENSITIVE.security.wvr.yml.log 2025-01-29 19:55 76K
PROOFSENSITIVE.semi1.wvr.yml.log 2025-01-29 22:00 39K
PROOFSENSITIVE.send-receive-alt.wvr.yml.log 2025-01-29 21:13 328K
PROOFSENSITIVE.send-receive.wvr.yml.log 2025-01-29 21:14 282K
PROOFSENSITIVE.simpl-str-subst.wvr.yml.log 2025-01-29 20:13 40K
PROOFSENSITIVE.simpl-str-symm.wvr.yml.log 2025-01-29 20:13 39K
PROOFSENSITIVE.simpl-str-trans.wvr.yml.log 2025-01-29 20:13 40K
PROOFSENSITIVE.simple-array-sum.wvr.yml.log 2025-01-29 21:15 202K
PROOFSENSITIVE.simple-equiv.wvr.yml.log 2025-01-29 20:26 39K
PROOFSENSITIVE.simple-queue.wvr.yml.log 2025-01-29 21:03 94K
PROOFSENSITIVE.sorted.wvr.yml.log 2025-01-29 21:52 216K
PROOFSENSITIVE.spaghetti.wvr.yml.log 2025-01-29 19:55 45K
PROOFSENSITIVE.sre-subst.wvr.yml.log 2025-01-29 20:13 39K
PROOFSENSITIVE.sre-symm.wvr.yml.log 2025-01-29 20:13 39K
PROOFSENSITIVE.sre-trans.wvr.yml.log 2025-01-29 20:13 39K
PROOFSENSITIVE.sum-array-hom.wvr.yml.log 2025-01-29 21:57 423K
PROOFSENSITIVE.sum-array.wvr.yml.log 2025-01-29 21:59 503K
PROOFSENSITIVE.sum-fun-alt.wvr.yml.log 2025-01-29 22:00 503K
PROOFSENSITIVE.sum-fun.wvr.yml.log 2025-01-29 22:03 424K
PROOFSENSITIVE.threaded-sum-2.wvr.yml.log 2025-01-29 21:18 123K
PROOFSENSITIVE.threaded-sum-3.wvr.yml.log 2025-01-29 21:17 452K
PROOFSENSITIVE.three-array-max.wvr.yml.log 2025-01-29 21:18 95K
PROOFSENSITIVE.three-array-min.wvr.yml.log 2025-01-29 21:22 99K
PROOFSENSITIVE.three-array-sum-alt.wvr.yml.log 2025-01-29 21:18 129K
PROOFSENSITIVE.three-array-sum.wvr.yml.log 2025-01-29 21:13 159K
PROOFSENSITIVE.ticket-2.wvr.yml.log 2025-01-29 20:26 48K
PROOFSENSITIVE.ticket-3.wvr.yml.log 2025-01-29 20:26 84K
PROOFSENSITIVE.ticket-4.wvr.yml.log 2025-01-29 20:27 185K
PROOFSENSITIVE.ticket-5.wvr.yml.log 2025-01-29 20:27 354K
PROOFSENSITIVE.ticket-6.wvr.yml.log 2025-01-29 20:30 616K
PROOFSENSITIVE.ticket-7.wvr.yml.log 2025-01-29 20:34 391K
PROOFSENSITIVE.ticket-8.wvr.yml.log 2025-01-29 20:34 44K
PROOFSENSITIVE.time-subst.wvr.yml.log 2025-01-29 20:13 40K
PROOFSENSITIVE.time-symm.wvr.yml.log 2025-01-29 20:13 39K
PROOFSENSITIVE.time-trans.wvr.yml.log 2025-01-29 20:13 39K
PROOFSENSITIVE.two-queue.wvr.yml.log 2025-01-29 21:13 94K
PROOFSENSITIVE.unroll-2.wvr.yml.log 2025-01-29 20:04 209K
PROOFSENSITIVE.unroll-3.wvr.yml.log 2025-01-29 20:01 167K
PROOFSENSITIVE.unroll-4.wvr.yml.log 2025-01-29 20:02 145K
PROOFSENSITIVE.unroll-5.wvr.yml.log 2025-01-29 20:15 133K
PROOFSENSITIVE.unroll-cond-2.wvr.yml.log 2025-01-29 20:07 181K
PROOFSENSITIVE.unroll-cond-3.wvr.yml.log 2025-01-29 20:10 148K
PROOFSENSITIVE.unroll-cond-4.wvr.yml.log 2025-01-29 20:13 116K
PROOFSENSITIVE.unroll-cond-5.wvr.yml.log 2025-01-29 20:22 50K
PROOFSENSITIVE.vector-add.wvr.yml.log 2025-01-29 22:08 92K
PROOFSENSITIVE.word-subst.wvr.yml.log 2025-01-29 20:14 222K
PROOFSENSITIVE.word-symm.wvr.yml.log 2025-01-29 20:13 129K
PROOFSENSITIVE.word-trans.wvr.yml.log 2025-01-29 20:14 273K
UNCONDITIONAL.array-eq-symm.wvr.yml.log 2025-01-29 17:33 84K
UNCONDITIONAL.array-eq-trans.wvr.yml.log 2025-01-29 17:33 166K
UNCONDITIONAL.array-int-subst.wvr.yml.log 2025-01-29 17:51 197K
UNCONDITIONAL.array-int-symm.wvr.yml.log 2025-01-29 17:48 73K
UNCONDITIONAL.array-int-trans.wvr.yml.log 2025-01-29 17:49 273K
UNCONDITIONAL.array-sum-alt.wvr.yml.log 2025-01-29 19:13 661K
UNCONDITIONAL.array-sum.wvr.yml.log 2025-01-29 19:14 291K
UNCONDITIONAL.bad-commit-1.wvr.yml.log 2025-01-29 18:51 189K
UNCONDITIONAL.bad-commit-2.wvr.yml.log 2025-01-29 18:52 385K
UNCONDITIONAL.bad-dot-product.wvr.yml.log 2025-01-29 18:56 566K
UNCONDITIONAL.bakery-2.wvr.yml.log 2025-01-29 17:51 67K
UNCONDITIONAL.bakery-3.wvr.yml.log 2025-01-29 17:52 350K
UNCONDITIONAL.bakery-4.wvr.yml.log 2025-01-29 17:59 1.1M
UNCONDITIONAL.barrier-loop.wvr.yml.log 2025-01-29 17:52 69K
UNCONDITIONAL.barrier.wvr.yml.log 2025-01-29 17:52 76K
UNCONDITIONAL.bluetooth.wvr.yml.log 2025-01-29 17:52 45K
UNCONDITIONAL.buffer-mult-alt.wvr.yml.log 2025-01-29 19:02 131K
UNCONDITIONAL.buffer-mult.wvr.yml.log 2025-01-29 19:15 292K
UNCONDITIONAL.buffer-series-array.wvr.yml.log 2025-01-29 19:12 182K
UNCONDITIONAL.buffer-series.wvr.yml.log 2025-01-29 19:13 182K
UNCONDITIONAL.channel-sum.wvr.yml.log 2025-01-29 18:20 173K
UNCONDITIONAL.chromosome-opt-symm.wvr.yml.log 2025-01-29 17:48 89K
UNCONDITIONAL.chromosome-subst.wvr.yml.log 2025-01-29 17:48 133K
UNCONDITIONAL.chromosome-symm.wvr.yml.log 2025-01-29 17:48 124K
UNCONDITIONAL.chromosome-trans.wvr.yml.log 2025-01-29 17:49 215K
UNCONDITIONAL.clever.wvr.yml.log 2025-01-29 17:47 4.7M
UNCONDITIONAL.collitem-subst.wvr.yml.log 2025-01-29 17:48 36K
UNCONDITIONAL.collitem-symm.wvr.yml.log 2025-01-29 17:49 36K
UNCONDITIONAL.collitem-trans.wvr.yml.log 2025-01-29 17:49 36K
UNCONDITIONAL.commit-1.wvr.yml.log 2025-01-29 18:07 85K
UNCONDITIONAL.commit-2.wvr.yml.log 2025-01-29 18:07 108K
UNCONDITIONAL.container-subst.wvr.yml.log 2025-01-29 17:49 36K
UNCONDITIONAL.container-symm.wvr.yml.log 2025-01-29 17:49 36K
UNCONDITIONAL.container-trans.wvr.yml.log 2025-01-29 17:49 36K
UNCONDITIONAL.context1.wvr.yml.log 2025-01-29 19:54 1.2M
UNCONDITIONAL.counter-add-4-semi-Q67.wvr.yml.log 2025-01-29 19:52 1.8M
UNCONDITIONAL.counter-determinism.wvr.yml.log 2025-01-29 18:21 729K
UNCONDITIONAL.counter-fun.wvr.yml.log 2025-01-29 18:22 432K
UNCONDITIONAL.counter-queue.wvr.yml.log 2025-01-29 18:55 76K
UNCONDITIONAL.dec-subseq-array.wvr.yml.log 2025-01-29 19:17 90K
UNCONDITIONAL.dec-subseq.wvr.yml.log 2025-01-29 19:16 90K
UNCONDITIONAL.difference-det.wvr.yml.log 2025-01-29 18:22 636K
UNCONDITIONAL.dot-product-alt.wvr.yml.log 2025-01-29 18:58 138K
UNCONDITIONAL.dot-product-array.wvr.yml.log 2025-01-29 19:14 84K
UNCONDITIONAL.dot-product.wvr.yml.log 2025-01-29 19:15 84K
UNCONDITIONAL.easy1.wvr.yml.log 2025-01-29 19:41 55K
UNCONDITIONAL.easy10.wvr.yml.log 2025-01-29 19:41 56K
UNCONDITIONAL.easy11.wvr.yml.log 2025-01-29 19:41 77K
UNCONDITIONAL.easy6.wvr.yml.log 2025-01-29 19:42 67K
UNCONDITIONAL.easy7.wvr.yml.log 2025-01-29 19:42 35K
UNCONDITIONAL.easy8.wvr.yml.log 2025-01-29 19:42 35K
UNCONDITIONAL.exp-term-subst.wvr.yml.log 2025-01-29 17:49 36K
UNCONDITIONAL.exp-term-symm.wvr.yml.log 2025-01-29 17:49 36K
UNCONDITIONAL.exp1x3.wvr.yml.log 2025-01-29 17:47 63K
UNCONDITIONAL.exp2x3.wvr.yml.log 2025-01-29 17:47 107K
UNCONDITIONAL.exp2x4.wvr.yml.log 2025-01-29 17:47 107K
UNCONDITIONAL.exp2x6.wvr.yml.log 2025-01-29 17:47 107K
UNCONDITIONAL.exp2x9.wvr.yml.log 2025-01-29 17:48 105K
UNCONDITIONAL.exp3x3-opt.wvr.yml.log 2025-01-29 17:47 108K
UNCONDITIONAL.exp3x3.wvr.yml.log 2025-01-29 17:48 177K
UNCONDITIONAL.fibonacci.wvr.yml.log 2025-01-29 17:33 69K
UNCONDITIONAL.figure1-alt.wvr.yml.log 2025-01-29 18:11 80K
UNCONDITIONAL.figure1.wvr.yml.log 2025-01-29 18:24 593K
UNCONDITIONAL.figure3.wvr.yml.log 2025-01-29 18:24 574K
UNCONDITIONAL.file-item-subst.wvr.yml.log 2025-01-29 17:49 36K
UNCONDITIONAL.file-item-symm.wvr.yml.log 2025-01-29 17:49 36K
UNCONDITIONAL.file-item-trans.wvr.yml.log 2025-01-29 17:49 36K
UNCONDITIONAL.hard1.wvr.yml.log 2025-01-29 19:55 1.2M
UNCONDITIONAL.horseshoe.wvr.yml.log 2025-01-29 18:29 211K
UNCONDITIONAL.inc-subseq-array.wvr.yml.log 2025-01-29 19:18 91K
UNCONDITIONAL.inc-subseq.wvr.yml.log 2025-01-29 19:19 90K
UNCONDITIONAL.lamport.wvr.yml.log 2025-01-29 17:52 68K
UNCONDITIONAL.loop-tiling-eq.wvr.yml.log 2025-01-29 17:47 249K
UNCONDITIONAL.match-subst.wvr.yml.log 2025-01-29 17:49 36K
UNCONDITIONAL.match-symm.wvr.yml.log 2025-01-29 17:49 36K
UNCONDITIONAL.match-trans.wvr.yml.log 2025-01-29 17:49 36K
UNCONDITIONAL.max-array-hom.wvr.yml.log 2025-01-29 19:19 81K
UNCONDITIONAL.max-array.wvr.yml.log 2025-01-29 19:29 165K
UNCONDITIONAL.max-fun-alt.wvr.yml.log 2025-01-29 19:30 165K
UNCONDITIONAL.max-fun.wvr.yml.log 2025-01-29 19:21 81K
UNCONDITIONAL.min-array-hom.wvr.yml.log 2025-01-29 19:23 129K
UNCONDITIONAL.min-array.wvr.yml.log 2025-01-29 19:22 129K
UNCONDITIONAL.min-fun-alt.wvr.yml.log 2025-01-29 19:22 129K
UNCONDITIONAL.min-fun.wvr.yml.log 2025-01-29 19:24 129K
UNCONDITIONAL.min-le-max.wvr.yml.log 2025-01-29 19:21 59K
UNCONDITIONAL.min-max-1.wvr.yml.log 2025-01-29 17:52 41K
UNCONDITIONAL.min-max-2.wvr.yml.log 2025-01-29 18:07 188K
UNCONDITIONAL.min-max-dec.wvr.yml.log 2025-01-29 18:35 153K
UNCONDITIONAL.min-max-inc-dec.wvr.yml.log 2025-01-29 18:36 192K
UNCONDITIONAL.min-max-inc.wvr.yml.log 2025-01-29 18:36 195K
UNCONDITIONAL.misc-1.wvr.yml.log 2025-01-29 18:06 214K
UNCONDITIONAL.misc-2-unrolled-atomic.wvr.yml.log 2025-01-29 17:52 36K
UNCONDITIONAL.misc-2-unrolled.wvr.yml.log 2025-01-29 17:52 50K
UNCONDITIONAL.misc-2.wvr.yml.log 2025-01-29 17:52 127K
UNCONDITIONAL.misc-3-extended.wvr.yml.log 2025-01-29 17:52 79K
UNCONDITIONAL.misc-3.wvr.yml.log 2025-01-29 17:53 58K
UNCONDITIONAL.misc-4.wvr.yml.log 2025-01-29 17:53 64K
UNCONDITIONAL.misc-5.wvr.yml.log 2025-01-29 17:57 417K
UNCONDITIONAL.mts-array.wvr.yml.log 2025-01-29 19:25 75K
UNCONDITIONAL.mts.wvr.yml.log 2025-01-29 19:26 75K
UNCONDITIONAL.mult-4.wvr.yml.log 2025-01-29 18:36 620K
UNCONDITIONAL.mult-comm.wvr.yml.log 2025-01-29 17:47 803K
UNCONDITIONAL.mult-dist.wvr.yml.log 2025-01-29 17:45 1.3M
UNCONDITIONAL.mult-equiv.wvr.yml.log 2025-01-29 18:37 1.5M
UNCONDITIONAL.mult-flipped-dist.wvr.yml.log 2025-01-29 17:33 93K
UNCONDITIONAL.multiply-verify.wvr.yml.log 2025-01-29 19:22 90K
UNCONDITIONAL.name-comparator-subst.wvr.yml.log 2025-01-29 17:49 112K
UNCONDITIONAL.name-comparator-symm.wvr.yml.log 2025-01-29 17:49 80K
UNCONDITIONAL.name-comparator-trans.wvr.yml.log 2025-01-29 17:50 208K
UNCONDITIONAL.node-subst.wvr.yml.log 2025-01-29 17:49 36K
UNCONDITIONAL.node-symm.wvr.yml.log 2025-01-29 17:49 36K
UNCONDITIONAL.node-trans.wvr.yml.log 2025-01-29 17:49 36K
UNCONDITIONAL.nonblocking-cntr-alt.wvr.yml.log 2025-01-29 18:25 128K
UNCONDITIONAL.nonblocking-cntr.wvr.yml.log 2025-01-29 18:38 416K
UNCONDITIONAL.nonblocking-counter-alt2.wvr.yml.log 2025-01-29 19:36 135K
UNCONDITIONAL.nzb-file-subst.wvr.yml.log 2025-01-29 17:50 238K
UNCONDITIONAL.nzb-file-symm.wvr.yml.log 2025-01-29 17:50 134K
UNCONDITIONAL.nzb-file-trans.wvr.yml.log 2025-01-29 17:50 221K
UNCONDITIONAL.parallel-sum-1-dsl.wvr.yml.log 2025-01-29 18:05 248K
UNCONDITIONAL.parallel-sum-1.wvr.yml.log 2025-01-29 18:07 488K
UNCONDITIONAL.parallel-sum-2.wvr.yml.log 2025-01-29 18:11 449K
UNCONDITIONAL.parallel-sum-equiv.wvr.yml.log 2025-01-29 18:14 241K
UNCONDITIONAL.parray-copy.wvr.yml.log 2025-01-29 19:24 144K
UNCONDITIONAL.poker-hand-subst.wvr.yml.log 2025-01-29 17:53 741K
UNCONDITIONAL.poker-hand-symm.wvr.yml.log 2025-01-29 17:51 263K
UNCONDITIONAL.poker-hand-trans.wvr.yml.log 2025-01-29 17:51 521K
UNCONDITIONAL.prod-cons-eq.wvr.yml.log 2025-01-29 18:43 102K
UNCONDITIONAL.prod-cons.wvr.yml.log 2025-01-29 18:45 98K
UNCONDITIONAL.prod-cons3.wvr.yml.log 2025-01-29 18:51 117K
UNCONDITIONAL.queue-add-2-nl.wvr.yml.log 2025-01-29 19:38 314K
UNCONDITIONAL.queue-add-2.wvr.yml.log 2025-01-29 18:51 381K
UNCONDITIONAL.queue-add-3-nl.wvr.yml.log 2025-01-29 19:39 275K
UNCONDITIONAL.queue-add-3.wvr.yml.log 2025-01-29 18:50 254K
UNCONDITIONAL.ring-nondet.wvr.yml.log 2025-01-29 19:09 223K
UNCONDITIONAL.ring.wvr.yml.log 2025-01-29 18:57 120K
UNCONDITIONAL.security.wvr.yml.log 2025-01-29 17:33 73K
UNCONDITIONAL.semi1.wvr.yml.log 2025-01-29 19:42 35K
UNCONDITIONAL.send-receive-alt.wvr.yml.log 2025-01-29 18:51 170K
UNCONDITIONAL.send-receive.wvr.yml.log 2025-01-29 18:52 156K
UNCONDITIONAL.simpl-str-subst.wvr.yml.log 2025-01-29 17:51 36K
UNCONDITIONAL.simpl-str-symm.wvr.yml.log 2025-01-29 17:51 36K
UNCONDITIONAL.simpl-str-trans.wvr.yml.log 2025-01-29 17:51 36K
UNCONDITIONAL.simple-array-sum.wvr.yml.log 2025-01-29 18:44 155K
UNCONDITIONAL.simple-equiv.wvr.yml.log 2025-01-29 18:00 36K
UNCONDITIONAL.simple-queue.wvr.yml.log 2025-01-29 18:45 121K
UNCONDITIONAL.sorted.wvr.yml.log 2025-01-29 19:36 216K
UNCONDITIONAL.spaghetti.wvr.yml.log 2025-01-29 17:33 41K
UNCONDITIONAL.sre-subst.wvr.yml.log 2025-01-29 17:51 36K
UNCONDITIONAL.sre-symm.wvr.yml.log 2025-01-29 17:51 36K
UNCONDITIONAL.sre-trans.wvr.yml.log 2025-01-29 17:51 36K
UNCONDITIONAL.sum-array-hom.wvr.yml.log 2025-01-29 19:41 424K
UNCONDITIONAL.sum-array.wvr.yml.log 2025-01-29 19:42 503K
UNCONDITIONAL.sum-fun-alt.wvr.yml.log 2025-01-29 19:42 503K
UNCONDITIONAL.sum-fun.wvr.yml.log 2025-01-29 19:47 424K
UNCONDITIONAL.threaded-sum-2.wvr.yml.log 2025-01-29 19:12 303K
UNCONDITIONAL.threaded-sum-3.wvr.yml.log 2025-01-29 18:59 389K
UNCONDITIONAL.three-array-max.wvr.yml.log 2025-01-29 19:02 91K
UNCONDITIONAL.three-array-min.wvr.yml.log 2025-01-29 19:01 99K
UNCONDITIONAL.three-array-sum-alt.wvr.yml.log 2025-01-29 18:59 126K
UNCONDITIONAL.three-array-sum.wvr.yml.log 2025-01-29 18:52 182K
UNCONDITIONAL.ticket-2.wvr.yml.log 2025-01-29 18:00 45K
UNCONDITIONAL.ticket-3.wvr.yml.log 2025-01-29 18:00 80K
UNCONDITIONAL.ticket-4.wvr.yml.log 2025-01-29 18:01 191K
UNCONDITIONAL.ticket-5.wvr.yml.log 2025-01-29 18:01 365K
UNCONDITIONAL.ticket-6.wvr.yml.log 2025-01-29 18:03 670K
UNCONDITIONAL.ticket-7.wvr.yml.log 2025-01-29 18:08 347K
UNCONDITIONAL.ticket-8.wvr.yml.log 2025-01-29 18:10 44K
UNCONDITIONAL.time-subst.wvr.yml.log 2025-01-29 17:51 36K
UNCONDITIONAL.time-symm.wvr.yml.log 2025-01-29 17:51 36K
UNCONDITIONAL.time-trans.wvr.yml.log 2025-01-29 17:51 36K
UNCONDITIONAL.two-queue.wvr.yml.log 2025-01-29 18:55 120K
UNCONDITIONAL.unroll-2.wvr.yml.log 2025-01-29 17:42 210K
UNCONDITIONAL.unroll-3.wvr.yml.log 2025-01-29 17:39 167K
UNCONDITIONAL.unroll-4.wvr.yml.log 2025-01-29 17:40 144K
UNCONDITIONAL.unroll-5.wvr.yml.log 2025-01-29 17:52 133K
UNCONDITIONAL.unroll-cond-2.wvr.yml.log 2025-01-29 17:45 179K
UNCONDITIONAL.unroll-cond-3.wvr.yml.log 2025-01-29 17:48 148K
UNCONDITIONAL.unroll-cond-4.wvr.yml.log 2025-01-29 17:51 117K
UNCONDITIONAL.unroll-cond-5.wvr.yml.log 2025-01-29 18:00 47K
UNCONDITIONAL.vector-add.wvr.yml.log 2025-01-29 19:51 89K
UNCONDITIONAL.word-subst.wvr.yml.log 2025-01-29 17:52 219K
UNCONDITIONAL.word-symm.wvr.yml.log 2025-01-29 17:51 126K
UNCONDITIONAL.word-trans.wvr.yml.log 2025-01-29 17:52 269K