Index of /logs/conditional-commutativity/20250124-121227-conditional-commutativity-b242a3ecc2-M/conditional-commutativity.2025-01-22_15-30-06.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-22 22:07 98K
CE-NecessaryAndSufficient.array-eq-trans.wvr.yml.log 2025-01-22 22:15 188K
CE-NecessaryAndSufficient.array-int-subst.wvr.yml.log 2025-01-22 22:23 157K
CE-NecessaryAndSufficient.array-int-symm.wvr.yml.log 2025-01-22 22:23 86K
CE-NecessaryAndSufficient.array-int-trans.wvr.yml.log 2025-01-22 22:25 291K
CE-NecessaryAndSufficient.array-sum-alt.wvr.yml.log 2025-01-22 23:25 1.3M
CE-NecessaryAndSufficient.array-sum.wvr.yml.log 2025-01-22 23:25 1.2M
CE-NecessaryAndSufficient.bad-commit-1.wvr.yml.log 2025-01-22 23:07 203K
CE-NecessaryAndSufficient.bad-commit-2.wvr.yml.log 2025-01-22 23:07 335K
CE-NecessaryAndSufficient.bad-dot-product.wvr.yml.log 2025-01-22 23:21 328K
CE-NecessaryAndSufficient.bakery-2.wvr.yml.log 2025-01-22 22:27 39K
CE-NecessaryAndSufficient.bakery-3.wvr.yml.log 2025-01-22 22:27 40K
CE-NecessaryAndSufficient.bakery-4.wvr.yml.log 2025-01-22 22:27 41K
CE-NecessaryAndSufficient.barrier-loop.wvr.yml.log 2025-01-22 22:27 67K
CE-NecessaryAndSufficient.barrier.wvr.yml.log 2025-01-22 22:27 72K
CE-NecessaryAndSufficient.bluetooth.wvr.yml.log 2025-01-22 22:27 44K
CE-NecessaryAndSufficient.buffer-mult-alt.wvr.yml.log 2025-01-22 23:21 99K
CE-NecessaryAndSufficient.buffer-mult.wvr.yml.log 2025-01-22 23:17 154K
CE-NecessaryAndSufficient.buffer-series-array.wvr.yml.log 2025-01-22 23:29 239K
CE-NecessaryAndSufficient.buffer-series.wvr.yml.log 2025-01-22 23:30 239K
CE-NecessaryAndSufficient.channel-sum.wvr.yml.log 2025-01-22 22:49 444K
CE-NecessaryAndSufficient.chromosome-opt-symm.wvr.yml.log 2025-01-22 22:23 98K
CE-NecessaryAndSufficient.chromosome-subst.wvr.yml.log 2025-01-22 22:24 146K
CE-NecessaryAndSufficient.chromosome-symm.wvr.yml.log 2025-01-22 22:24 139K
CE-NecessaryAndSufficient.chromosome-trans.wvr.yml.log 2025-01-22 22:24 237K
CE-NecessaryAndSufficient.clever.wvr.yml.log 2025-01-22 22:21 6.6M
CE-NecessaryAndSufficient.collitem-subst.wvr.yml.log 2025-01-22 22:25 40K
CE-NecessaryAndSufficient.collitem-symm.wvr.yml.log 2025-01-22 22:25 40K
CE-NecessaryAndSufficient.collitem-trans.wvr.yml.log 2025-01-22 22:25 40K
CE-NecessaryAndSufficient.commit-1.wvr.yml.log 2025-01-22 22:36 93K
CE-NecessaryAndSufficient.commit-2.wvr.yml.log 2025-01-22 22:36 117K
CE-NecessaryAndSufficient.container-subst.wvr.yml.log 2025-01-22 22:25 40K
CE-NecessaryAndSufficient.container-symm.wvr.yml.log 2025-01-22 22:25 40K
CE-NecessaryAndSufficient.container-trans.wvr.yml.log 2025-01-22 22:25 40K
CE-NecessaryAndSufficient.context1.wvr.yml.log 2025-01-22 23:50 86K
CE-NecessaryAndSufficient.counter-add-4-semi-Q67.wvr.yml.log 2025-01-22 23:50 141K
CE-NecessaryAndSufficient.counter-determinism.wvr.yml.log 2025-01-22 22:47 168K
CE-NecessaryAndSufficient.counter-fun.wvr.yml.log 2025-01-22 22:40 137K
CE-NecessaryAndSufficient.counter-queue.wvr.yml.log 2025-01-22 23:09 71K
CE-NecessaryAndSufficient.dec-subseq-array.wvr.yml.log 2025-01-22 23:17 64K
CE-NecessaryAndSufficient.dec-subseq.wvr.yml.log 2025-01-22 23:18 63K
CE-NecessaryAndSufficient.difference-det.wvr.yml.log 2025-01-22 22:41 131K
CE-NecessaryAndSufficient.dot-product-alt.wvr.yml.log 2025-01-22 23:11 93K
CE-NecessaryAndSufficient.dot-product-array.wvr.yml.log 2025-01-22 23:20 75K
CE-NecessaryAndSufficient.dot-product.wvr.yml.log 2025-01-22 23:24 74K
CE-NecessaryAndSufficient.easy1.wvr.yml.log 2025-01-22 23:50 59K
CE-NecessaryAndSufficient.easy10.wvr.yml.log 2025-01-22 23:50 45K
CE-NecessaryAndSufficient.easy11.wvr.yml.log 2025-01-22 23:50 64K
CE-NecessaryAndSufficient.easy6.wvr.yml.log 2025-01-22 23:50 39K
CE-NecessaryAndSufficient.easy7.wvr.yml.log 2025-01-22 23:50 39K
CE-NecessaryAndSufficient.easy8.wvr.yml.log 2025-01-22 23:50 39K
CE-NecessaryAndSufficient.exp-term-subst.wvr.yml.log 2025-01-22 22:25 40K
CE-NecessaryAndSufficient.exp-term-symm.wvr.yml.log 2025-01-22 22:25 39K
CE-NecessaryAndSufficient.exp1x3.wvr.yml.log 2025-01-22 22:22 59K
CE-NecessaryAndSufficient.exp2x3.wvr.yml.log 2025-01-22 22:22 110K
CE-NecessaryAndSufficient.exp2x4.wvr.yml.log 2025-01-22 22:22 94K
CE-NecessaryAndSufficient.exp2x6.wvr.yml.log 2025-01-22 22:22 109K
CE-NecessaryAndSufficient.exp2x9.wvr.yml.log 2025-01-22 22:22 94K
CE-NecessaryAndSufficient.exp3x3-opt.wvr.yml.log 2025-01-22 22:22 119K
CE-NecessaryAndSufficient.exp3x3.wvr.yml.log 2025-01-22 22:22 204K
CE-NecessaryAndSufficient.fibonacci.wvr.yml.log 2025-01-22 22:07 78K
CE-NecessaryAndSufficient.figure1-alt.wvr.yml.log 2025-01-22 22:41 87K
CE-NecessaryAndSufficient.figure1.wvr.yml.log 2025-01-22 22:41 73K
CE-NecessaryAndSufficient.figure3.wvr.yml.log 2025-01-22 22:56 2.5M
CE-NecessaryAndSufficient.file-item-subst.wvr.yml.log 2025-01-22 22:25 40K
CE-NecessaryAndSufficient.file-item-symm.wvr.yml.log 2025-01-22 22:25 40K
CE-NecessaryAndSufficient.file-item-trans.wvr.yml.log 2025-01-22 22:25 40K
CE-NecessaryAndSufficient.hard1.wvr.yml.log 2025-01-23 00:05 363K
CE-NecessaryAndSufficient.horseshoe.wvr.yml.log 2025-01-22 22:56 2.3M
CE-NecessaryAndSufficient.inc-subseq-array.wvr.yml.log 2025-01-22 23:21 64K
CE-NecessaryAndSufficient.inc-subseq.wvr.yml.log 2025-01-22 23:21 63K
CE-NecessaryAndSufficient.lamport.wvr.yml.log 2025-01-22 22:27 40K
CE-NecessaryAndSufficient.loop-tiling-eq.wvr.yml.log 2025-01-22 22:22 297K
CE-NecessaryAndSufficient.match-subst.wvr.yml.log 2025-01-22 22:25 40K
CE-NecessaryAndSufficient.match-symm.wvr.yml.log 2025-01-22 22:25 39K
CE-NecessaryAndSufficient.match-trans.wvr.yml.log 2025-01-22 22:25 40K
CE-NecessaryAndSufficient.max-array-hom.wvr.yml.log 2025-01-22 23:24 64K
CE-NecessaryAndSufficient.max-array.wvr.yml.log 2025-01-22 23:36 61K
CE-NecessaryAndSufficient.max-fun-alt.wvr.yml.log 2025-01-22 23:39 66K
CE-NecessaryAndSufficient.max-fun.wvr.yml.log 2025-01-22 23:27 64K
CE-NecessaryAndSufficient.min-array-hom.wvr.yml.log 2025-01-22 23:30 60K
CE-NecessaryAndSufficient.min-array.wvr.yml.log 2025-01-22 23:39 63K
CE-NecessaryAndSufficient.min-fun-alt.wvr.yml.log 2025-01-22 23:42 63K
CE-NecessaryAndSufficient.min-fun.wvr.yml.log 2025-01-22 23:35 60K
CE-NecessaryAndSufficient.min-le-max.wvr.yml.log 2025-01-22 23:30 53K
CE-NecessaryAndSufficient.min-max-1.wvr.yml.log 2025-01-22 22:27 45K
CE-NecessaryAndSufficient.min-max-2.wvr.yml.log 2025-01-22 22:34 123K
CE-NecessaryAndSufficient.min-max-dec.wvr.yml.log 2025-01-22 22:45 142K
CE-NecessaryAndSufficient.min-max-inc-dec.wvr.yml.log 2025-01-22 22:46 80K
CE-NecessaryAndSufficient.min-max-inc.wvr.yml.log 2025-01-22 22:44 94K
CE-NecessaryAndSufficient.misc-1.wvr.yml.log 2025-01-22 22:27 98K
CE-NecessaryAndSufficient.misc-2-unrolled-atomic.wvr.yml.log 2025-01-22 22:27 58K
CE-NecessaryAndSufficient.misc-2-unrolled.wvr.yml.log 2025-01-22 22:27 39K
CE-NecessaryAndSufficient.misc-2.wvr.yml.log 2025-01-22 22:27 94K
CE-NecessaryAndSufficient.misc-3-extended.wvr.yml.log 2025-01-22 22:28 182K
CE-NecessaryAndSufficient.misc-3.wvr.yml.log 2025-01-22 22:27 89K
CE-NecessaryAndSufficient.misc-4.wvr.yml.log 2025-01-22 22:27 56K
CE-NecessaryAndSufficient.misc-5.wvr.yml.log 2025-01-22 22:38 1.8M
CE-NecessaryAndSufficient.mts-array.wvr.yml.log 2025-01-22 23:45 63K
CE-NecessaryAndSufficient.mts.wvr.yml.log 2025-01-22 23:45 63K
CE-NecessaryAndSufficient.mult-4.wvr.yml.log 2025-01-22 22:57 181K
CE-NecessaryAndSufficient.mult-comm.wvr.yml.log 2025-01-22 22:22 104K
CE-NecessaryAndSufficient.mult-dist.wvr.yml.log 2025-01-22 22:21 164K
CE-NecessaryAndSufficient.mult-equiv.wvr.yml.log 2025-01-22 23:00 462K
CE-NecessaryAndSufficient.mult-flipped-dist.wvr.yml.log 2025-01-22 22:07 72K
CE-NecessaryAndSufficient.multiply-verify.wvr.yml.log 2025-01-22 23:35 79K
CE-NecessaryAndSufficient.name-comparator-subst.wvr.yml.log 2025-01-22 22:26 128K
CE-NecessaryAndSufficient.name-comparator-symm.wvr.yml.log 2025-01-22 22:25 90K
CE-NecessaryAndSufficient.name-comparator-trans.wvr.yml.log 2025-01-22 22:26 230K
CE-NecessaryAndSufficient.node-subst.wvr.yml.log 2025-01-22 22:26 40K
CE-NecessaryAndSufficient.node-symm.wvr.yml.log 2025-01-22 22:26 39K
CE-NecessaryAndSufficient.node-trans.wvr.yml.log 2025-01-22 22:26 40K
CE-NecessaryAndSufficient.nonblocking-cntr-alt.wvr.yml.log 2025-01-22 22:47 73K
CE-NecessaryAndSufficient.nonblocking-cntr.wvr.yml.log 2025-01-22 22:47 97K
CE-NecessaryAndSufficient.nonblocking-counter-alt2.wvr.yml.log 2025-01-22 23:50 126K
CE-NecessaryAndSufficient.nzb-file-subst.wvr.yml.log 2025-01-22 22:26 266K
CE-NecessaryAndSufficient.nzb-file-symm.wvr.yml.log 2025-01-22 22:26 149K
CE-NecessaryAndSufficient.nzb-file-trans.wvr.yml.log 2025-01-22 22:27 252K
CE-NecessaryAndSufficient.parallel-sum-1-dsl.wvr.yml.log 2025-01-22 22:42 146K
CE-NecessaryAndSufficient.parallel-sum-1.wvr.yml.log 2025-01-22 22:42 544K
CE-NecessaryAndSufficient.parallel-sum-2.wvr.yml.log 2025-01-22 22:42 653K
CE-NecessaryAndSufficient.parallel-sum-equiv.wvr.yml.log 2025-01-22 22:43 165K
CE-NecessaryAndSufficient.parray-copy.wvr.yml.log 2025-01-22 23:50 83K
CE-NecessaryAndSufficient.poker-hand-subst.wvr.yml.log 2025-01-22 22:29 814K
CE-NecessaryAndSufficient.poker-hand-symm.wvr.yml.log 2025-01-22 22:27 293K
CE-NecessaryAndSufficient.poker-hand-trans.wvr.yml.log 2025-01-22 22:27 573K
CE-NecessaryAndSufficient.prod-cons-eq.wvr.yml.log 2025-01-22 22:52 108K
CE-NecessaryAndSufficient.prod-cons.wvr.yml.log 2025-01-22 22:55 104K
CE-NecessaryAndSufficient.prod-cons3.wvr.yml.log 2025-01-22 23:03 148K
CE-NecessaryAndSufficient.queue-add-2-nl.wvr.yml.log 2025-01-22 23:39 136K
CE-NecessaryAndSufficient.queue-add-2.wvr.yml.log 2025-01-22 22:52 111K
CE-NecessaryAndSufficient.queue-add-3-nl.wvr.yml.log 2025-01-22 23:42 169K
CE-NecessaryAndSufficient.queue-add-3.wvr.yml.log 2025-01-22 22:54 181K
CE-NecessaryAndSufficient.ring-nondet.wvr.yml.log 2025-01-22 23:16 206K
CE-NecessaryAndSufficient.ring.wvr.yml.log 2025-01-22 23:11 107K
CE-NecessaryAndSufficient.security.wvr.yml.log 2025-01-22 22:07 39K
CE-NecessaryAndSufficient.semi1.wvr.yml.log 2025-01-22 23:50 39K
CE-NecessaryAndSufficient.send-receive-alt.wvr.yml.log 2025-01-22 23:07 497K
CE-NecessaryAndSufficient.send-receive.wvr.yml.log 2025-01-22 23:09 414K
CE-NecessaryAndSufficient.simpl-str-subst.wvr.yml.log 2025-01-22 22:27 40K
CE-NecessaryAndSufficient.simpl-str-symm.wvr.yml.log 2025-01-22 22:27 40K
CE-NecessaryAndSufficient.simpl-str-trans.wvr.yml.log 2025-01-22 22:27 40K
CE-NecessaryAndSufficient.simple-array-sum.wvr.yml.log 2025-01-22 23:01 192K
CE-NecessaryAndSufficient.simple-equiv.wvr.yml.log 2025-01-22 22:35 40K
CE-NecessaryAndSufficient.simple-queue.wvr.yml.log 2025-01-22 22:56 87K
CE-NecessaryAndSufficient.sorted.wvr.yml.log 2025-01-22 23:48 64K
CE-NecessaryAndSufficient.spaghetti.wvr.yml.log 2025-01-22 22:07 45K
CE-NecessaryAndSufficient.sre-subst.wvr.yml.log 2025-01-22 22:27 40K
CE-NecessaryAndSufficient.sre-symm.wvr.yml.log 2025-01-22 22:27 39K
CE-NecessaryAndSufficient.sre-trans.wvr.yml.log 2025-01-22 22:27 40K
CE-NecessaryAndSufficient.sum-array-hom.wvr.yml.log 2025-01-22 23:50 114K
CE-NecessaryAndSufficient.sum-array.wvr.yml.log 2025-01-22 23:52 111K
CE-NecessaryAndSufficient.sum-fun-alt.wvr.yml.log 2025-01-22 23:55 111K
CE-NecessaryAndSufficient.sum-fun.wvr.yml.log 2025-01-22 23:53 114K
CE-NecessaryAndSufficient.threaded-sum-2.wvr.yml.log 2025-01-22 23:11 103K
CE-NecessaryAndSufficient.threaded-sum-3.wvr.yml.log 2025-01-22 23:10 400K
CE-NecessaryAndSufficient.three-array-max.wvr.yml.log 2025-01-22 23:12 90K
CE-NecessaryAndSufficient.three-array-min.wvr.yml.log 2025-01-22 23:15 73K
CE-NecessaryAndSufficient.three-array-sum-alt.wvr.yml.log 2025-01-22 23:11 85K
CE-NecessaryAndSufficient.three-array-sum.wvr.yml.log 2025-01-22 23:07 178K
CE-NecessaryAndSufficient.ticket-2.wvr.yml.log 2025-01-22 22:35 39K
CE-NecessaryAndSufficient.ticket-3.wvr.yml.log 2025-01-22 22:35 40K
CE-NecessaryAndSufficient.ticket-4.wvr.yml.log 2025-01-22 22:35 41K
CE-NecessaryAndSufficient.ticket-5.wvr.yml.log 2025-01-22 22:35 41K
CE-NecessaryAndSufficient.ticket-6.wvr.yml.log 2025-01-22 22:35 42K
CE-NecessaryAndSufficient.ticket-7.wvr.yml.log 2025-01-22 22:35 42K
CE-NecessaryAndSufficient.ticket-8.wvr.yml.log 2025-01-22 22:35 43K
CE-NecessaryAndSufficient.time-subst.wvr.yml.log 2025-01-22 22:27 40K
CE-NecessaryAndSufficient.time-symm.wvr.yml.log 2025-01-22 22:27 40K
CE-NecessaryAndSufficient.time-trans.wvr.yml.log 2025-01-22 22:27 40K
CE-NecessaryAndSufficient.two-queue.wvr.yml.log 2025-01-22 23:06 111K
CE-NecessaryAndSufficient.unroll-2.wvr.yml.log 2025-01-22 22:14 219K
CE-NecessaryAndSufficient.unroll-3.wvr.yml.log 2025-01-22 22:13 184K
CE-NecessaryAndSufficient.unroll-4.wvr.yml.log 2025-01-22 22:19 156K
CE-NecessaryAndSufficient.unroll-5.wvr.yml.log 2025-01-22 22:26 158K
CE-NecessaryAndSufficient.unroll-cond-2.wvr.yml.log 2025-01-22 22:25 197K
CE-NecessaryAndSufficient.unroll-cond-3.wvr.yml.log 2025-01-22 22:26 160K
CE-NecessaryAndSufficient.unroll-cond-4.wvr.yml.log 2025-01-22 22:27 126K
CE-NecessaryAndSufficient.unroll-cond-5.wvr.yml.log 2025-01-22 22:36 52K
CE-NecessaryAndSufficient.vector-add.wvr.yml.log 2025-01-23 00:03 2.5M
CE-NecessaryAndSufficient.word-subst.wvr.yml.log 2025-01-22 22:27 241K
CE-NecessaryAndSufficient.word-symm.wvr.yml.log 2025-01-22 22:27 141K
CE-NecessaryAndSufficient.word-trans.wvr.yml.log 2025-01-22 22:27 294K
CE-Sufficient.array-eq-symm.wvr.yml.log 2025-01-22 20:08 98K
CE-Sufficient.array-eq-trans.wvr.yml.log 2025-01-22 20:16 188K
CE-Sufficient.array-int-subst.wvr.yml.log 2025-01-22 20:24 157K
CE-Sufficient.array-int-symm.wvr.yml.log 2025-01-22 20:23 86K
CE-Sufficient.array-int-trans.wvr.yml.log 2025-01-22 20:25 291K
CE-Sufficient.array-sum-alt.wvr.yml.log 2025-01-22 21:27 1.2M
CE-Sufficient.array-sum.wvr.yml.log 2025-01-22 21:27 1.2M
CE-Sufficient.bad-commit-1.wvr.yml.log 2025-01-22 21:10 206K
CE-Sufficient.bad-commit-2.wvr.yml.log 2025-01-22 21:10 340K
CE-Sufficient.bad-dot-product.wvr.yml.log 2025-01-22 21:25 328K
CE-Sufficient.bakery-2.wvr.yml.log 2025-01-22 20:27 39K
CE-Sufficient.bakery-3.wvr.yml.log 2025-01-22 20:27 40K
CE-Sufficient.bakery-4.wvr.yml.log 2025-01-22 20:28 41K
CE-Sufficient.barrier-loop.wvr.yml.log 2025-01-22 20:28 67K
CE-Sufficient.barrier.wvr.yml.log 2025-01-22 20:28 72K
CE-Sufficient.bluetooth.wvr.yml.log 2025-01-22 20:28 44K
CE-Sufficient.buffer-mult-alt.wvr.yml.log 2025-01-22 21:25 105K
CE-Sufficient.buffer-mult.wvr.yml.log 2025-01-22 21:20 155K
CE-Sufficient.buffer-series-array.wvr.yml.log 2025-01-22 21:31 240K
CE-Sufficient.buffer-series.wvr.yml.log 2025-01-22 21:33 240K
CE-Sufficient.channel-sum.wvr.yml.log 2025-01-22 20:50 461K
CE-Sufficient.chromosome-opt-symm.wvr.yml.log 2025-01-22 20:24 98K
CE-Sufficient.chromosome-subst.wvr.yml.log 2025-01-22 20:25 146K
CE-Sufficient.chromosome-symm.wvr.yml.log 2025-01-22 20:25 139K
CE-Sufficient.chromosome-trans.wvr.yml.log 2025-01-22 20:25 237K
CE-Sufficient.clever.wvr.yml.log 2025-01-22 20:22 6.5M
CE-Sufficient.collitem-subst.wvr.yml.log 2025-01-22 20:25 40K
CE-Sufficient.collitem-symm.wvr.yml.log 2025-01-22 20:25 39K
CE-Sufficient.collitem-trans.wvr.yml.log 2025-01-22 20:25 40K
CE-Sufficient.commit-1.wvr.yml.log 2025-01-22 20:36 93K
CE-Sufficient.commit-2.wvr.yml.log 2025-01-22 20:37 117K
CE-Sufficient.container-subst.wvr.yml.log 2025-01-22 20:26 40K
CE-Sufficient.container-symm.wvr.yml.log 2025-01-22 20:26 40K
CE-Sufficient.container-trans.wvr.yml.log 2025-01-22 20:26 40K
CE-Sufficient.context1.wvr.yml.log 2025-01-22 21:52 86K
CE-Sufficient.counter-add-4-semi-Q67.wvr.yml.log 2025-01-22 21:52 141K
CE-Sufficient.counter-determinism.wvr.yml.log 2025-01-22 20:49 168K
CE-Sufficient.counter-fun.wvr.yml.log 2025-01-22 20:44 154K
CE-Sufficient.counter-queue.wvr.yml.log 2025-01-22 21:11 71K
CE-Sufficient.dec-subseq-array.wvr.yml.log 2025-01-22 21:20 64K
CE-Sufficient.dec-subseq.wvr.yml.log 2025-01-22 21:20 63K
CE-Sufficient.difference-det.wvr.yml.log 2025-01-22 20:43 131K
CE-Sufficient.dot-product-alt.wvr.yml.log 2025-01-22 21:13 93K
CE-Sufficient.dot-product-array.wvr.yml.log 2025-01-22 21:24 75K
CE-Sufficient.dot-product.wvr.yml.log 2025-01-22 21:26 74K
CE-Sufficient.easy1.wvr.yml.log 2025-01-22 21:52 59K
CE-Sufficient.easy10.wvr.yml.log 2025-01-22 21:52 45K
CE-Sufficient.easy11.wvr.yml.log 2025-01-22 21:52 64K
CE-Sufficient.easy6.wvr.yml.log 2025-01-22 21:53 39K
CE-Sufficient.easy7.wvr.yml.log 2025-01-22 21:53 39K
CE-Sufficient.easy8.wvr.yml.log 2025-01-22 21:53 39K
CE-Sufficient.exp-term-subst.wvr.yml.log 2025-01-22 20:26 40K
CE-Sufficient.exp-term-symm.wvr.yml.log 2025-01-22 20:26 39K
CE-Sufficient.exp1x3.wvr.yml.log 2025-01-22 20:22 59K
CE-Sufficient.exp2x3.wvr.yml.log 2025-01-22 20:22 110K
CE-Sufficient.exp2x4.wvr.yml.log 2025-01-22 20:23 94K
CE-Sufficient.exp2x6.wvr.yml.log 2025-01-22 20:23 109K
CE-Sufficient.exp2x9.wvr.yml.log 2025-01-22 20:23 95K
CE-Sufficient.exp3x3-opt.wvr.yml.log 2025-01-22 20:23 119K
CE-Sufficient.exp3x3.wvr.yml.log 2025-01-22 20:23 204K
CE-Sufficient.fibonacci.wvr.yml.log 2025-01-22 20:08 78K
CE-Sufficient.figure1-alt.wvr.yml.log 2025-01-22 20:43 87K
CE-Sufficient.figure1.wvr.yml.log 2025-01-22 20:43 73K
CE-Sufficient.figure3.wvr.yml.log 2025-01-22 20:56 2.7M
CE-Sufficient.file-item-subst.wvr.yml.log 2025-01-22 20:26 40K
CE-Sufficient.file-item-symm.wvr.yml.log 2025-01-22 20:26 39K
CE-Sufficient.file-item-trans.wvr.yml.log 2025-01-22 20:26 40K
CE-Sufficient.hard1.wvr.yml.log 2025-01-22 22:07 393K
CE-Sufficient.horseshoe.wvr.yml.log 2025-01-22 20:57 2.2M
CE-Sufficient.inc-subseq-array.wvr.yml.log 2025-01-22 21:25 64K
CE-Sufficient.inc-subseq.wvr.yml.log 2025-01-22 21:25 63K
CE-Sufficient.lamport.wvr.yml.log 2025-01-22 20:28 40K
CE-Sufficient.loop-tiling-eq.wvr.yml.log 2025-01-22 20:22 143K
CE-Sufficient.match-subst.wvr.yml.log 2025-01-22 20:26 40K
CE-Sufficient.match-symm.wvr.yml.log 2025-01-22 20:26 40K
CE-Sufficient.match-trans.wvr.yml.log 2025-01-22 20:26 40K
CE-Sufficient.max-array-hom.wvr.yml.log 2025-01-22 21:28 64K
CE-Sufficient.max-array.wvr.yml.log 2025-01-22 21:39 66K
CE-Sufficient.max-fun-alt.wvr.yml.log 2025-01-22 21:41 66K
CE-Sufficient.max-fun.wvr.yml.log 2025-01-22 21:30 64K
CE-Sufficient.min-array-hom.wvr.yml.log 2025-01-22 21:33 60K
CE-Sufficient.min-array.wvr.yml.log 2025-01-22 21:43 62K
CE-Sufficient.min-fun-alt.wvr.yml.log 2025-01-22 21:44 63K
CE-Sufficient.min-fun.wvr.yml.log 2025-01-22 21:37 60K
CE-Sufficient.min-le-max.wvr.yml.log 2025-01-22 21:33 53K
CE-Sufficient.min-max-1.wvr.yml.log 2025-01-22 20:28 45K
CE-Sufficient.min-max-2.wvr.yml.log 2025-01-22 20:35 122K
CE-Sufficient.min-max-dec.wvr.yml.log 2025-01-22 20:46 143K
CE-Sufficient.min-max-inc-dec.wvr.yml.log 2025-01-22 20:47 80K
CE-Sufficient.min-max-inc.wvr.yml.log 2025-01-22 20:44 95K
CE-Sufficient.misc-1.wvr.yml.log 2025-01-22 20:28 98K
CE-Sufficient.misc-2-unrolled-atomic.wvr.yml.log 2025-01-22 20:28 58K
CE-Sufficient.misc-2-unrolled.wvr.yml.log 2025-01-22 20:28 39K
CE-Sufficient.misc-2.wvr.yml.log 2025-01-22 20:28 94K
CE-Sufficient.misc-3-extended.wvr.yml.log 2025-01-22 20:28 182K
CE-Sufficient.misc-3.wvr.yml.log 2025-01-22 20:28 89K
CE-Sufficient.misc-4.wvr.yml.log 2025-01-22 20:28 56K
CE-Sufficient.misc-5.wvr.yml.log 2025-01-22 20:36 1.6M
CE-Sufficient.mts-array.wvr.yml.log 2025-01-22 21:47 63K
CE-Sufficient.mts.wvr.yml.log 2025-01-22 21:47 62K
CE-Sufficient.mult-4.wvr.yml.log 2025-01-22 20:59 181K
CE-Sufficient.mult-comm.wvr.yml.log 2025-01-22 20:22 104K
CE-Sufficient.mult-dist.wvr.yml.log 2025-01-22 20:22 164K
CE-Sufficient.mult-equiv.wvr.yml.log 2025-01-22 21:00 410K
CE-Sufficient.mult-flipped-dist.wvr.yml.log 2025-01-22 20:08 72K
CE-Sufficient.multiply-verify.wvr.yml.log 2025-01-22 21:37 79K
CE-Sufficient.name-comparator-subst.wvr.yml.log 2025-01-22 20:26 128K
CE-Sufficient.name-comparator-symm.wvr.yml.log 2025-01-22 20:26 90K
CE-Sufficient.name-comparator-trans.wvr.yml.log 2025-01-22 20:27 230K
CE-Sufficient.node-subst.wvr.yml.log 2025-01-22 20:26 40K
CE-Sufficient.node-symm.wvr.yml.log 2025-01-22 20:26 39K
CE-Sufficient.node-trans.wvr.yml.log 2025-01-22 20:26 40K
CE-Sufficient.nonblocking-cntr-alt.wvr.yml.log 2025-01-22 20:47 73K
CE-Sufficient.nonblocking-cntr.wvr.yml.log 2025-01-22 20:48 97K
CE-Sufficient.nonblocking-counter-alt2.wvr.yml.log 2025-01-22 21:51 120K
CE-Sufficient.nzb-file-subst.wvr.yml.log 2025-01-22 20:27 266K
CE-Sufficient.nzb-file-symm.wvr.yml.log 2025-01-22 20:26 149K
CE-Sufficient.nzb-file-trans.wvr.yml.log 2025-01-22 20:27 252K
CE-Sufficient.parallel-sum-1-dsl.wvr.yml.log 2025-01-22 20:42 138K
CE-Sufficient.parallel-sum-1.wvr.yml.log 2025-01-22 20:42 536K
CE-Sufficient.parallel-sum-2.wvr.yml.log 2025-01-22 20:42 652K
CE-Sufficient.parallel-sum-equiv.wvr.yml.log 2025-01-22 20:44 165K
CE-Sufficient.parray-copy.wvr.yml.log 2025-01-22 21:54 83K
CE-Sufficient.poker-hand-subst.wvr.yml.log 2025-01-22 20:30 814K
CE-Sufficient.poker-hand-symm.wvr.yml.log 2025-01-22 20:27 293K
CE-Sufficient.poker-hand-trans.wvr.yml.log 2025-01-22 20:28 573K
CE-Sufficient.prod-cons-eq.wvr.yml.log 2025-01-22 21:02 116K
CE-Sufficient.prod-cons.wvr.yml.log 2025-01-22 21:03 123K
CE-Sufficient.prod-cons3.wvr.yml.log 2025-01-22 21:00 125K
CE-Sufficient.queue-add-2-nl.wvr.yml.log 2025-01-22 21:42 219K
CE-Sufficient.queue-add-2.wvr.yml.log 2025-01-22 20:56 191K
CE-Sufficient.queue-add-3-nl.wvr.yml.log 2025-01-22 21:44 170K
CE-Sufficient.queue-add-3.wvr.yml.log 2025-01-22 20:58 182K
CE-Sufficient.ring-nondet.wvr.yml.log 2025-01-22 21:18 208K
CE-Sufficient.ring.wvr.yml.log 2025-01-22 21:13 107K
CE-Sufficient.security.wvr.yml.log 2025-01-22 20:08 39K
CE-Sufficient.semi1.wvr.yml.log 2025-01-22 21:53 39K
CE-Sufficient.send-receive-alt.wvr.yml.log 2025-01-22 21:10 508K
CE-Sufficient.send-receive.wvr.yml.log 2025-01-22 21:12 423K
CE-Sufficient.simpl-str-subst.wvr.yml.log 2025-01-22 20:27 40K
CE-Sufficient.simpl-str-symm.wvr.yml.log 2025-01-22 20:27 39K
CE-Sufficient.simpl-str-trans.wvr.yml.log 2025-01-22 20:27 40K
CE-Sufficient.simple-array-sum.wvr.yml.log 2025-01-22 21:10 194K
CE-Sufficient.simple-equiv.wvr.yml.log 2025-01-22 20:35 40K
CE-Sufficient.simple-queue.wvr.yml.log 2025-01-22 21:00 104K
CE-Sufficient.sorted.wvr.yml.log 2025-01-22 21:52 64K
CE-Sufficient.spaghetti.wvr.yml.log 2025-01-22 20:08 45K
CE-Sufficient.sre-subst.wvr.yml.log 2025-01-22 20:27 40K
CE-Sufficient.sre-symm.wvr.yml.log 2025-01-22 20:27 39K
CE-Sufficient.sre-trans.wvr.yml.log 2025-01-22 20:27 40K
CE-Sufficient.sum-array-hom.wvr.yml.log 2025-01-22 21:53 114K
CE-Sufficient.sum-array.wvr.yml.log 2025-01-22 21:54 111K
CE-Sufficient.sum-fun-alt.wvr.yml.log 2025-01-22 21:57 111K
CE-Sufficient.sum-fun.wvr.yml.log 2025-01-22 21:56 114K
CE-Sufficient.threaded-sum-2.wvr.yml.log 2025-01-22 21:13 103K
CE-Sufficient.threaded-sum-3.wvr.yml.log 2025-01-22 21:13 379K
CE-Sufficient.three-array-max.wvr.yml.log 2025-01-22 21:15 90K
CE-Sufficient.three-array-min.wvr.yml.log 2025-01-22 21:17 73K
CE-Sufficient.three-array-sum-alt.wvr.yml.log 2025-01-22 21:13 85K
CE-Sufficient.three-array-sum.wvr.yml.log 2025-01-22 21:07 178K
CE-Sufficient.ticket-2.wvr.yml.log 2025-01-22 20:35 39K
CE-Sufficient.ticket-3.wvr.yml.log 2025-01-22 20:35 40K
CE-Sufficient.ticket-4.wvr.yml.log 2025-01-22 20:35 41K
CE-Sufficient.ticket-5.wvr.yml.log 2025-01-22 20:35 41K
CE-Sufficient.ticket-6.wvr.yml.log 2025-01-22 20:36 42K
CE-Sufficient.ticket-7.wvr.yml.log 2025-01-22 20:36 42K
CE-Sufficient.ticket-8.wvr.yml.log 2025-01-22 20:36 43K
CE-Sufficient.time-subst.wvr.yml.log 2025-01-22 20:27 40K
CE-Sufficient.time-symm.wvr.yml.log 2025-01-22 20:27 39K
CE-Sufficient.time-trans.wvr.yml.log 2025-01-22 20:27 40K
CE-Sufficient.two-queue.wvr.yml.log 2025-01-22 21:10 112K
CE-Sufficient.unroll-2.wvr.yml.log 2025-01-22 20:14 219K
CE-Sufficient.unroll-3.wvr.yml.log 2025-01-22 20:14 184K
CE-Sufficient.unroll-4.wvr.yml.log 2025-01-22 20:20 156K
CE-Sufficient.unroll-5.wvr.yml.log 2025-01-22 20:27 158K
CE-Sufficient.unroll-cond-2.wvr.yml.log 2025-01-22 20:25 196K
CE-Sufficient.unroll-cond-3.wvr.yml.log 2025-01-22 20:26 160K
CE-Sufficient.unroll-cond-4.wvr.yml.log 2025-01-22 20:27 126K
CE-Sufficient.unroll-cond-5.wvr.yml.log 2025-01-22 20:36 52K
CE-Sufficient.vector-add.wvr.yml.log 2025-01-22 22:06 2.5M
CE-Sufficient.word-subst.wvr.yml.log 2025-01-22 20:28 241K
CE-Sufficient.word-symm.wvr.yml.log 2025-01-22 20:28 141K
CE-Sufficient.word-trans.wvr.yml.log 2025-01-22 20:28 294K
PROOFSENSITIVE.array-eq-symm.wvr.yml.log 2025-01-22 17:54 92K
PROOFSENSITIVE.array-eq-trans.wvr.yml.log 2025-01-22 18:02 176K
PROOFSENSITIVE.array-int-subst.wvr.yml.log 2025-01-22 18:09 146K
PROOFSENSITIVE.array-int-symm.wvr.yml.log 2025-01-22 18:09 80K
PROOFSENSITIVE.array-int-trans.wvr.yml.log 2025-01-22 18:11 269K
PROOFSENSITIVE.array-sum-alt.wvr.yml.log 2025-01-22 19:25 1.2M
PROOFSENSITIVE.array-sum.wvr.yml.log 2025-01-22 19:25 1.0M
PROOFSENSITIVE.bad-commit-1.wvr.yml.log 2025-01-22 19:05 174K
PROOFSENSITIVE.bad-commit-2.wvr.yml.log 2025-01-22 19:05 286K
PROOFSENSITIVE.bad-dot-product.wvr.yml.log 2025-01-22 19:19 277K
PROOFSENSITIVE.bakery-2.wvr.yml.log 2025-01-22 18:13 39K
PROOFSENSITIVE.bakery-3.wvr.yml.log 2025-01-22 18:13 39K
PROOFSENSITIVE.bakery-4.wvr.yml.log 2025-01-22 18:13 40K
PROOFSENSITIVE.barrier-loop.wvr.yml.log 2025-01-22 18:13 66K
PROOFSENSITIVE.barrier.wvr.yml.log 2025-01-22 18:14 70K
PROOFSENSITIVE.bluetooth.wvr.yml.log 2025-01-22 18:14 43K
PROOFSENSITIVE.buffer-mult-alt.wvr.yml.log 2025-01-22 19:19 95K
PROOFSENSITIVE.buffer-mult.wvr.yml.log 2025-01-22 19:17 140K
PROOFSENSITIVE.buffer-series-array.wvr.yml.log 2025-01-22 19:29 221K
PROOFSENSITIVE.buffer-series.wvr.yml.log 2025-01-22 19:32 221K
PROOFSENSITIVE.channel-sum.wvr.yml.log 2025-01-22 18:36 304K
PROOFSENSITIVE.chromosome-opt-symm.wvr.yml.log 2025-01-22 18:09 92K
PROOFSENSITIVE.chromosome-subst.wvr.yml.log 2025-01-22 18:10 137K
PROOFSENSITIVE.chromosome-symm.wvr.yml.log 2025-01-22 18:10 127K
PROOFSENSITIVE.chromosome-trans.wvr.yml.log 2025-01-22 18:10 218K
PROOFSENSITIVE.clever.wvr.yml.log 2025-01-22 18:07 5.0M
PROOFSENSITIVE.collitem-subst.wvr.yml.log 2025-01-22 18:10 39K
PROOFSENSITIVE.collitem-symm.wvr.yml.log 2025-01-22 18:10 39K
PROOFSENSITIVE.collitem-trans.wvr.yml.log 2025-01-22 18:10 39K
PROOFSENSITIVE.commit-1.wvr.yml.log 2025-01-22 18:22 88K
PROOFSENSITIVE.commit-2.wvr.yml.log 2025-01-22 18:23 111K
PROOFSENSITIVE.container-subst.wvr.yml.log 2025-01-22 18:10 39K
PROOFSENSITIVE.container-symm.wvr.yml.log 2025-01-22 18:10 39K
PROOFSENSITIVE.container-trans.wvr.yml.log 2025-01-22 18:10 39K
PROOFSENSITIVE.context1.wvr.yml.log 2025-01-22 20:07 1.1M
PROOFSENSITIVE.counter-add-4-semi-Q67.wvr.yml.log 2025-01-22 20:03 1.4M
PROOFSENSITIVE.counter-determinism.wvr.yml.log 2025-01-22 18:37 199K
PROOFSENSITIVE.counter-fun.wvr.yml.log 2025-01-22 18:29 127K
PROOFSENSITIVE.counter-queue.wvr.yml.log 2025-01-22 19:07 68K
PROOFSENSITIVE.dec-subseq-array.wvr.yml.log 2025-01-22 19:18 61K
PROOFSENSITIVE.dec-subseq.wvr.yml.log 2025-01-22 19:18 61K
PROOFSENSITIVE.difference-det.wvr.yml.log 2025-01-22 18:41 452K
PROOFSENSITIVE.dot-product-alt.wvr.yml.log 2025-01-22 19:09 89K
PROOFSENSITIVE.dot-product-array.wvr.yml.log 2025-01-22 19:21 72K
PROOFSENSITIVE.dot-product.wvr.yml.log 2025-01-22 19:21 71K
PROOFSENSITIVE.easy1.wvr.yml.log 2025-01-22 19:54 55K
PROOFSENSITIVE.easy10.wvr.yml.log 2025-01-22 19:54 44K
PROOFSENSITIVE.easy11.wvr.yml.log 2025-01-22 19:54 58K
PROOFSENSITIVE.easy6.wvr.yml.log 2025-01-22 19:54 38K
PROOFSENSITIVE.easy7.wvr.yml.log 2025-01-22 19:54 38K
PROOFSENSITIVE.easy8.wvr.yml.log 2025-01-22 19:54 38K
PROOFSENSITIVE.exp-term-subst.wvr.yml.log 2025-01-22 18:10 39K
PROOFSENSITIVE.exp-term-symm.wvr.yml.log 2025-01-22 18:10 39K
PROOFSENSITIVE.exp1x3.wvr.yml.log 2025-01-22 18:08 56K
PROOFSENSITIVE.exp2x3.wvr.yml.log 2025-01-22 18:08 103K
PROOFSENSITIVE.exp2x4.wvr.yml.log 2025-01-22 18:08 89K
PROOFSENSITIVE.exp2x6.wvr.yml.log 2025-01-22 18:08 103K
PROOFSENSITIVE.exp2x9.wvr.yml.log 2025-01-22 18:08 89K
PROOFSENSITIVE.exp3x3-opt.wvr.yml.log 2025-01-22 18:08 111K
PROOFSENSITIVE.exp3x3.wvr.yml.log 2025-01-22 18:09 192K
PROOFSENSITIVE.fibonacci.wvr.yml.log 2025-01-22 17:53 72K
PROOFSENSITIVE.figure1-alt.wvr.yml.log 2025-01-22 18:29 95K
PROOFSENSITIVE.figure1.wvr.yml.log 2025-01-22 18:43 1.3M
PROOFSENSITIVE.figure3.wvr.yml.log 2025-01-22 18:42 1.3M
PROOFSENSITIVE.file-item-subst.wvr.yml.log 2025-01-22 18:10 39K
PROOFSENSITIVE.file-item-symm.wvr.yml.log 2025-01-22 18:11 39K
PROOFSENSITIVE.file-item-trans.wvr.yml.log 2025-01-22 18:11 39K
PROOFSENSITIVE.hard1.wvr.yml.log 2025-01-22 20:08 242K
PROOFSENSITIVE.horseshoe.wvr.yml.log 2025-01-22 18:43 2.3M
PROOFSENSITIVE.inc-subseq-array.wvr.yml.log 2025-01-22 19:19 61K
PROOFSENSITIVE.inc-subseq.wvr.yml.log 2025-01-22 19:20 61K
PROOFSENSITIVE.lamport.wvr.yml.log 2025-01-22 18:14 39K
PROOFSENSITIVE.loop-tiling-eq.wvr.yml.log 2025-01-22 18:08 265K
PROOFSENSITIVE.match-subst.wvr.yml.log 2025-01-22 18:11 39K
PROOFSENSITIVE.match-symm.wvr.yml.log 2025-01-22 18:11 39K
PROOFSENSITIVE.match-trans.wvr.yml.log 2025-01-22 18:11 39K
PROOFSENSITIVE.max-array-hom.wvr.yml.log 2025-01-22 19:23 61K
PROOFSENSITIVE.max-array.wvr.yml.log 2025-01-22 19:35 63K
PROOFSENSITIVE.max-fun-alt.wvr.yml.log 2025-01-22 19:36 58K
PROOFSENSITIVE.max-fun.wvr.yml.log 2025-01-22 19:26 61K
PROOFSENSITIVE.min-array-hom.wvr.yml.log 2025-01-22 19:30 57K
PROOFSENSITIVE.min-array.wvr.yml.log 2025-01-22 19:40 60K
PROOFSENSITIVE.min-fun-alt.wvr.yml.log 2025-01-22 19:40 61K
PROOFSENSITIVE.min-fun.wvr.yml.log 2025-01-22 19:34 57K
PROOFSENSITIVE.min-le-max.wvr.yml.log 2025-01-22 19:30 52K
PROOFSENSITIVE.min-max-1.wvr.yml.log 2025-01-22 18:14 44K
PROOFSENSITIVE.min-max-2.wvr.yml.log 2025-01-22 18:22 119K
PROOFSENSITIVE.min-max-dec.wvr.yml.log 2025-01-22 18:32 133K
PROOFSENSITIVE.min-max-inc-dec.wvr.yml.log 2025-01-22 18:36 77K
PROOFSENSITIVE.min-max-inc.wvr.yml.log 2025-01-22 18:50 119K
PROOFSENSITIVE.misc-1.wvr.yml.log 2025-01-22 18:14 91K
PROOFSENSITIVE.misc-2-unrolled-atomic.wvr.yml.log 2025-01-22 18:14 56K
PROOFSENSITIVE.misc-2-unrolled.wvr.yml.log 2025-01-22 18:14 39K
PROOFSENSITIVE.misc-2.wvr.yml.log 2025-01-22 18:14 87K
PROOFSENSITIVE.misc-3-extended.wvr.yml.log 2025-01-22 18:14 171K
PROOFSENSITIVE.misc-3.wvr.yml.log 2025-01-22 18:14 83K
PROOFSENSITIVE.misc-4.wvr.yml.log 2025-01-22 18:14 54K
PROOFSENSITIVE.misc-5.wvr.yml.log 2025-01-22 18:22 538K
PROOFSENSITIVE.mts-array.wvr.yml.log 2025-01-22 19:45 60K
PROOFSENSITIVE.mts.wvr.yml.log 2025-01-22 19:46 60K
PROOFSENSITIVE.mult-4.wvr.yml.log 2025-01-22 18:51 135K
PROOFSENSITIVE.mult-comm.wvr.yml.log 2025-01-22 18:08 95K
PROOFSENSITIVE.mult-dist.wvr.yml.log 2025-01-22 18:07 115K
PROOFSENSITIVE.mult-equiv.wvr.yml.log 2025-01-22 18:50 303K
PROOFSENSITIVE.mult-flipped-dist.wvr.yml.log 2025-01-22 17:54 70K
PROOFSENSITIVE.multiply-verify.wvr.yml.log 2025-01-22 19:34 73K
PROOFSENSITIVE.name-comparator-subst.wvr.yml.log 2025-01-22 18:11 115K
PROOFSENSITIVE.name-comparator-symm.wvr.yml.log 2025-01-22 18:11 83K
PROOFSENSITIVE.name-comparator-trans.wvr.yml.log 2025-01-22 18:12 212K
PROOFSENSITIVE.node-subst.wvr.yml.log 2025-01-22 18:11 39K
PROOFSENSITIVE.node-symm.wvr.yml.log 2025-01-22 18:11 39K
PROOFSENSITIVE.node-trans.wvr.yml.log 2025-01-22 18:11 39K
PROOFSENSITIVE.nonblocking-cntr-alt.wvr.yml.log 2025-01-22 18:41 69K
PROOFSENSITIVE.nonblocking-cntr.wvr.yml.log 2025-01-22 18:55 270K
PROOFSENSITIVE.nonblocking-counter-alt2.wvr.yml.log 2025-01-22 19:48 111K
PROOFSENSITIVE.nzb-file-subst.wvr.yml.log 2025-01-22 18:12 241K
PROOFSENSITIVE.nzb-file-symm.wvr.yml.log 2025-01-22 18:11 137K
PROOFSENSITIVE.nzb-file-trans.wvr.yml.log 2025-01-22 18:12 225K
PROOFSENSITIVE.parallel-sum-1-dsl.wvr.yml.log 2025-01-22 18:28 131K
PROOFSENSITIVE.parallel-sum-1.wvr.yml.log 2025-01-22 18:28 492K
PROOFSENSITIVE.parallel-sum-2.wvr.yml.log 2025-01-22 18:28 581K
PROOFSENSITIVE.parallel-sum-equiv.wvr.yml.log 2025-01-22 18:29 120K
PROOFSENSITIVE.parray-copy.wvr.yml.log 2025-01-22 19:50 80K
PROOFSENSITIVE.poker-hand-subst.wvr.yml.log 2025-01-22 18:15 745K
PROOFSENSITIVE.poker-hand-symm.wvr.yml.log 2025-01-22 18:12 266K
PROOFSENSITIVE.poker-hand-trans.wvr.yml.log 2025-01-22 18:13 524K
PROOFSENSITIVE.prod-cons-eq.wvr.yml.log 2025-01-22 18:57 96K
PROOFSENSITIVE.prod-cons.wvr.yml.log 2025-01-22 18:58 107K
PROOFSENSITIVE.prod-cons3.wvr.yml.log 2025-01-22 18:52 120K
PROOFSENSITIVE.queue-add-2-nl.wvr.yml.log 2025-01-22 19:50 1.0M
PROOFSENSITIVE.queue-add-2.wvr.yml.log 2025-01-22 19:03 826K
PROOFSENSITIVE.queue-add-3-nl.wvr.yml.log 2025-01-22 19:54 304K
PROOFSENSITIVE.queue-add-3.wvr.yml.log 2025-01-22 19:05 292K
PROOFSENSITIVE.ring-nondet.wvr.yml.log 2025-01-22 19:14 184K
PROOFSENSITIVE.ring.wvr.yml.log 2025-01-22 19:11 98K
PROOFSENSITIVE.security.wvr.yml.log 2025-01-22 17:54 39K
PROOFSENSITIVE.semi1.wvr.yml.log 2025-01-22 19:56 38K
PROOFSENSITIVE.send-receive-alt.wvr.yml.log 2025-01-22 19:04 332K
PROOFSENSITIVE.send-receive.wvr.yml.log 2025-01-22 19:06 311K
PROOFSENSITIVE.simpl-str-subst.wvr.yml.log 2025-01-22 18:12 39K
PROOFSENSITIVE.simpl-str-symm.wvr.yml.log 2025-01-22 18:12 39K
PROOFSENSITIVE.simpl-str-trans.wvr.yml.log 2025-01-22 18:13 39K
PROOFSENSITIVE.simple-array-sum.wvr.yml.log 2025-01-22 19:00 183K
PROOFSENSITIVE.simple-equiv.wvr.yml.log 2025-01-22 18:22 39K
PROOFSENSITIVE.simple-queue.wvr.yml.log 2025-01-22 18:57 94K
PROOFSENSITIVE.sorted.wvr.yml.log 2025-01-22 19:50 61K
PROOFSENSITIVE.spaghetti.wvr.yml.log 2025-01-22 17:54 44K
PROOFSENSITIVE.sre-subst.wvr.yml.log 2025-01-22 18:13 39K
PROOFSENSITIVE.sre-symm.wvr.yml.log 2025-01-22 18:13 38K
PROOFSENSITIVE.sre-trans.wvr.yml.log 2025-01-22 18:13 39K
PROOFSENSITIVE.sum-array-hom.wvr.yml.log 2025-01-22 19:53 105K
PROOFSENSITIVE.sum-array.wvr.yml.log 2025-01-22 19:56 104K
PROOFSENSITIVE.sum-fun-alt.wvr.yml.log 2025-01-22 19:58 104K
PROOFSENSITIVE.sum-fun.wvr.yml.log 2025-01-22 19:58 105K
PROOFSENSITIVE.threaded-sum-2.wvr.yml.log 2025-01-22 19:11 94K
PROOFSENSITIVE.threaded-sum-3.wvr.yml.log 2025-01-22 19:11 291K
PROOFSENSITIVE.three-array-max.wvr.yml.log 2025-01-22 19:12 68K
PROOFSENSITIVE.three-array-min.wvr.yml.log 2025-01-22 19:18 68K
PROOFSENSITIVE.three-array-sum-alt.wvr.yml.log 2025-01-22 19:11 82K
PROOFSENSITIVE.three-array-sum.wvr.yml.log 2025-01-22 19:08 171K
PROOFSENSITIVE.ticket-2.wvr.yml.log 2025-01-22 18:22 39K
PROOFSENSITIVE.ticket-3.wvr.yml.log 2025-01-22 18:22 39K
PROOFSENSITIVE.ticket-4.wvr.yml.log 2025-01-22 18:22 40K
PROOFSENSITIVE.ticket-5.wvr.yml.log 2025-01-22 18:22 41K
PROOFSENSITIVE.ticket-6.wvr.yml.log 2025-01-22 18:22 41K
PROOFSENSITIVE.ticket-7.wvr.yml.log 2025-01-22 18:22 42K
PROOFSENSITIVE.ticket-8.wvr.yml.log 2025-01-22 18:22 42K
PROOFSENSITIVE.time-subst.wvr.yml.log 2025-01-22 18:13 39K
PROOFSENSITIVE.time-symm.wvr.yml.log 2025-01-22 18:13 39K
PROOFSENSITIVE.time-trans.wvr.yml.log 2025-01-22 18:13 39K
PROOFSENSITIVE.two-queue.wvr.yml.log 2025-01-22 19:05 99K
PROOFSENSITIVE.unroll-2.wvr.yml.log 2025-01-22 18:00 202K
PROOFSENSITIVE.unroll-3.wvr.yml.log 2025-01-22 18:00 166K
PROOFSENSITIVE.unroll-4.wvr.yml.log 2025-01-22 18:07 144K
PROOFSENSITIVE.unroll-5.wvr.yml.log 2025-01-22 18:13 143K
PROOFSENSITIVE.unroll-cond-2.wvr.yml.log 2025-01-22 18:09 183K
PROOFSENSITIVE.unroll-cond-3.wvr.yml.log 2025-01-22 18:14 148K
PROOFSENSITIVE.unroll-cond-4.wvr.yml.log 2025-01-22 18:13 117K
PROOFSENSITIVE.unroll-cond-5.wvr.yml.log 2025-01-22 18:22 50K
PROOFSENSITIVE.vector-add.wvr.yml.log 2025-01-22 20:04 2.5M
PROOFSENSITIVE.word-subst.wvr.yml.log 2025-01-22 18:14 222K
PROOFSENSITIVE.word-symm.wvr.yml.log 2025-01-22 18:13 129K
PROOFSENSITIVE.word-trans.wvr.yml.log 2025-01-22 18:14 272K
UNCONDITIONAL.array-eq-symm.wvr.yml.log 2025-01-22 15:30 88K
UNCONDITIONAL.array-eq-trans.wvr.yml.log 2025-01-22 15:38 176K
UNCONDITIONAL.array-int-subst.wvr.yml.log 2025-01-22 15:45 143K
UNCONDITIONAL.array-int-symm.wvr.yml.log 2025-01-22 15:45 77K
UNCONDITIONAL.array-int-trans.wvr.yml.log 2025-01-22 15:47 266K
UNCONDITIONAL.array-sum-alt.wvr.yml.log 2025-01-22 17:06 1.2M
UNCONDITIONAL.array-sum.wvr.yml.log 2025-01-22 17:06 1.1M
UNCONDITIONAL.bad-commit-1.wvr.yml.log 2025-01-22 16:45 189K
UNCONDITIONAL.bad-commit-2.wvr.yml.log 2025-01-22 16:45 385K
UNCONDITIONAL.bad-dot-product.wvr.yml.log 2025-01-22 16:59 274K
UNCONDITIONAL.bakery-2.wvr.yml.log 2025-01-22 15:49 35K
UNCONDITIONAL.bakery-3.wvr.yml.log 2025-01-22 15:50 36K
UNCONDITIONAL.bakery-4.wvr.yml.log 2025-01-22 15:50 37K
UNCONDITIONAL.barrier-loop.wvr.yml.log 2025-01-22 15:50 56K
UNCONDITIONAL.barrier.wvr.yml.log 2025-01-22 15:50 60K
UNCONDITIONAL.bluetooth.wvr.yml.log 2025-01-22 15:50 40K
UNCONDITIONAL.buffer-mult-alt.wvr.yml.log 2025-01-22 17:00 148K
UNCONDITIONAL.buffer-mult.wvr.yml.log 2025-01-22 17:08 139K
UNCONDITIONAL.buffer-series-array.wvr.yml.log 2025-01-22 17:08 138K
UNCONDITIONAL.buffer-series.wvr.yml.log 2025-01-22 17:13 138K
UNCONDITIONAL.channel-sum.wvr.yml.log 2025-01-22 16:11 218K
UNCONDITIONAL.chromosome-opt-symm.wvr.yml.log 2025-01-22 15:45 89K
UNCONDITIONAL.chromosome-subst.wvr.yml.log 2025-01-22 15:46 133K
UNCONDITIONAL.chromosome-symm.wvr.yml.log 2025-01-22 15:46 124K
UNCONDITIONAL.chromosome-trans.wvr.yml.log 2025-01-22 15:46 215K
UNCONDITIONAL.clever.wvr.yml.log 2025-01-22 15:44 5.1M
UNCONDITIONAL.collitem-subst.wvr.yml.log 2025-01-22 15:47 36K
UNCONDITIONAL.collitem-symm.wvr.yml.log 2025-01-22 15:47 35K
UNCONDITIONAL.collitem-trans.wvr.yml.log 2025-01-22 15:47 36K
UNCONDITIONAL.commit-1.wvr.yml.log 2025-01-22 15:57 85K
UNCONDITIONAL.commit-2.wvr.yml.log 2025-01-22 15:57 108K
UNCONDITIONAL.container-subst.wvr.yml.log 2025-01-22 15:47 36K
UNCONDITIONAL.container-symm.wvr.yml.log 2025-01-22 15:47 35K
UNCONDITIONAL.container-trans.wvr.yml.log 2025-01-22 15:47 36K
UNCONDITIONAL.context1.wvr.yml.log 2025-01-22 17:51 1.2M
UNCONDITIONAL.counter-add-4-semi-Q67.wvr.yml.log 2025-01-22 17:51 1.1M
UNCONDITIONAL.counter-determinism.wvr.yml.log 2025-01-22 16:11 194K
UNCONDITIONAL.counter-fun.wvr.yml.log 2025-01-22 16:12 319K
UNCONDITIONAL.counter-queue.wvr.yml.log 2025-01-22 16:49 64K
UNCONDITIONAL.dec-subseq-array.wvr.yml.log 2025-01-22 17:05 84K
UNCONDITIONAL.dec-subseq.wvr.yml.log 2025-01-22 17:09 84K
UNCONDITIONAL.difference-det.wvr.yml.log 2025-01-22 16:17 230K
UNCONDITIONAL.dot-product-alt.wvr.yml.log 2025-01-22 16:51 89K
UNCONDITIONAL.dot-product-array.wvr.yml.log 2025-01-22 17:07 72K
UNCONDITIONAL.dot-product.wvr.yml.log 2025-01-22 17:08 71K
UNCONDITIONAL.easy1.wvr.yml.log 2025-01-22 17:39 52K
UNCONDITIONAL.easy10.wvr.yml.log 2025-01-22 17:39 41K
UNCONDITIONAL.easy11.wvr.yml.log 2025-01-22 17:39 55K
UNCONDITIONAL.easy6.wvr.yml.log 2025-01-22 17:39 35K
UNCONDITIONAL.easy7.wvr.yml.log 2025-01-22 17:39 35K
UNCONDITIONAL.easy8.wvr.yml.log 2025-01-22 17:39 35K
UNCONDITIONAL.exp-term-subst.wvr.yml.log 2025-01-22 15:47 36K
UNCONDITIONAL.exp-term-symm.wvr.yml.log 2025-01-22 15:47 35K
UNCONDITIONAL.exp1x3.wvr.yml.log 2025-01-22 15:44 52K
UNCONDITIONAL.exp2x3.wvr.yml.log 2025-01-22 15:44 99K
UNCONDITIONAL.exp2x4.wvr.yml.log 2025-01-22 15:44 85K
UNCONDITIONAL.exp2x6.wvr.yml.log 2025-01-22 15:44 100K
UNCONDITIONAL.exp2x9.wvr.yml.log 2025-01-22 15:44 86K
UNCONDITIONAL.exp3x3-opt.wvr.yml.log 2025-01-22 15:44 108K
UNCONDITIONAL.exp3x3.wvr.yml.log 2025-01-22 15:45 189K
UNCONDITIONAL.fibonacci.wvr.yml.log 2025-01-22 15:30 69K
UNCONDITIONAL.figure1-alt.wvr.yml.log 2025-01-22 16:05 92K
UNCONDITIONAL.figure1.wvr.yml.log 2025-01-22 16:19 907K
UNCONDITIONAL.figure3.wvr.yml.log 2025-01-22 16:18 686K
UNCONDITIONAL.file-item-subst.wvr.yml.log 2025-01-22 15:47 36K
UNCONDITIONAL.file-item-symm.wvr.yml.log 2025-01-22 15:47 35K
UNCONDITIONAL.file-item-trans.wvr.yml.log 2025-01-22 15:47 36K
UNCONDITIONAL.hard1.wvr.yml.log 2025-01-22 17:53 519K
UNCONDITIONAL.horseshoe.wvr.yml.log 2025-01-22 16:20 2.2M
UNCONDITIONAL.inc-subseq-array.wvr.yml.log 2025-01-22 17:15 76K
UNCONDITIONAL.inc-subseq.wvr.yml.log 2025-01-22 17:15 76K
UNCONDITIONAL.lamport.wvr.yml.log 2025-01-22 15:50 36K
UNCONDITIONAL.loop-tiling-eq.wvr.yml.log 2025-01-22 15:43 259K
UNCONDITIONAL.match-subst.wvr.yml.log 2025-01-22 15:47 36K
UNCONDITIONAL.match-symm.wvr.yml.log 2025-01-22 15:47 35K
UNCONDITIONAL.match-trans.wvr.yml.log 2025-01-22 15:47 36K
UNCONDITIONAL.max-array-hom.wvr.yml.log 2025-01-22 17:11 61K
UNCONDITIONAL.max-array.wvr.yml.log 2025-01-22 17:22 58K
UNCONDITIONAL.max-fun-alt.wvr.yml.log 2025-01-22 17:23 60K
UNCONDITIONAL.max-fun.wvr.yml.log 2025-01-22 17:12 61K
UNCONDITIONAL.min-array-hom.wvr.yml.log 2025-01-22 17:17 57K
UNCONDITIONAL.min-array.wvr.yml.log 2025-01-22 17:27 57K
UNCONDITIONAL.min-fun-alt.wvr.yml.log 2025-01-22 17:28 57K
UNCONDITIONAL.min-fun.wvr.yml.log 2025-01-22 17:20 57K
UNCONDITIONAL.min-le-max.wvr.yml.log 2025-01-22 17:15 48K
UNCONDITIONAL.min-max-1.wvr.yml.log 2025-01-22 15:50 40K
UNCONDITIONAL.min-max-2.wvr.yml.log 2025-01-22 15:57 149K
UNCONDITIONAL.min-max-dec.wvr.yml.log 2025-01-22 16:26 95K
UNCONDITIONAL.min-max-inc-dec.wvr.yml.log 2025-01-22 16:26 92K
UNCONDITIONAL.min-max-inc.wvr.yml.log 2025-01-22 16:13 99K
UNCONDITIONAL.misc-1.wvr.yml.log 2025-01-22 15:50 88K
UNCONDITIONAL.misc-2-unrolled-atomic.wvr.yml.log 2025-01-22 15:50 53K
UNCONDITIONAL.misc-2-unrolled.wvr.yml.log 2025-01-22 15:50 35K
UNCONDITIONAL.misc-2.wvr.yml.log 2025-01-22 15:50 83K
UNCONDITIONAL.misc-3-extended.wvr.yml.log 2025-01-22 15:50 168K
UNCONDITIONAL.misc-3.wvr.yml.log 2025-01-22 15:50 80K
UNCONDITIONAL.misc-4.wvr.yml.log 2025-01-22 15:50 50K
UNCONDITIONAL.misc-5.wvr.yml.log 2025-01-22 15:56 465K
UNCONDITIONAL.mts-array.wvr.yml.log 2025-01-22 17:30 57K
UNCONDITIONAL.mts.wvr.yml.log 2025-01-22 17:31 57K
UNCONDITIONAL.mult-4.wvr.yml.log 2025-01-22 16:30 244K
UNCONDITIONAL.mult-comm.wvr.yml.log 2025-01-22 15:44 92K
UNCONDITIONAL.mult-dist.wvr.yml.log 2025-01-22 15:44 111K
UNCONDITIONAL.mult-equiv.wvr.yml.log 2025-01-22 16:31 272K
UNCONDITIONAL.mult-flipped-dist.wvr.yml.log 2025-01-22 15:30 66K
UNCONDITIONAL.multiply-verify.wvr.yml.log 2025-01-22 17:20 90K
UNCONDITIONAL.name-comparator-subst.wvr.yml.log 2025-01-22 15:48 112K
UNCONDITIONAL.name-comparator-symm.wvr.yml.log 2025-01-22 15:47 80K
UNCONDITIONAL.name-comparator-trans.wvr.yml.log 2025-01-22 15:48 208K
UNCONDITIONAL.node-subst.wvr.yml.log 2025-01-22 15:48 36K
UNCONDITIONAL.node-symm.wvr.yml.log 2025-01-22 15:48 35K
UNCONDITIONAL.node-trans.wvr.yml.log 2025-01-22 15:48 36K
UNCONDITIONAL.nonblocking-cntr-alt.wvr.yml.log 2025-01-22 16:22 130K
UNCONDITIONAL.nonblocking-cntr.wvr.yml.log 2025-01-22 16:34 358K
UNCONDITIONAL.nonblocking-counter-alt2.wvr.yml.log 2025-01-22 17:35 109K
UNCONDITIONAL.nzb-file-subst.wvr.yml.log 2025-01-22 15:48 237K
UNCONDITIONAL.nzb-file-symm.wvr.yml.log 2025-01-22 15:48 133K
UNCONDITIONAL.nzb-file-trans.wvr.yml.log 2025-01-22 15:49 221K
UNCONDITIONAL.parallel-sum-1-dsl.wvr.yml.log 2025-01-22 16:04 122K
UNCONDITIONAL.parallel-sum-1.wvr.yml.log 2025-01-22 16:04 488K
UNCONDITIONAL.parallel-sum-2.wvr.yml.log 2025-01-22 16:04 523K
UNCONDITIONAL.parallel-sum-equiv.wvr.yml.log 2025-01-22 16:06 113K
UNCONDITIONAL.parray-copy.wvr.yml.log 2025-01-22 17:37 77K
UNCONDITIONAL.poker-hand-subst.wvr.yml.log 2025-01-22 15:51 741K
UNCONDITIONAL.poker-hand-symm.wvr.yml.log 2025-01-22 15:49 263K
UNCONDITIONAL.poker-hand-trans.wvr.yml.log 2025-01-22 15:49 520K
UNCONDITIONAL.prod-cons-eq.wvr.yml.log 2025-01-22 16:35 92K
UNCONDITIONAL.prod-cons.wvr.yml.log 2025-01-22 16:37 104K
UNCONDITIONAL.prod-cons3.wvr.yml.log 2025-01-22 16:40 126K
UNCONDITIONAL.queue-add-2-nl.wvr.yml.log 2025-01-22 17:37 352K
UNCONDITIONAL.queue-add-2.wvr.yml.log 2025-01-22 16:41 326K
UNCONDITIONAL.queue-add-3-nl.wvr.yml.log 2025-01-22 17:31 148K
UNCONDITIONAL.queue-add-3.wvr.yml.log 2025-01-22 16:44 223K
UNCONDITIONAL.ring-nondet.wvr.yml.log 2025-01-22 17:04 200K
UNCONDITIONAL.ring.wvr.yml.log 2025-01-22 16:52 95K
UNCONDITIONAL.security.wvr.yml.log 2025-01-22 15:30 35K
UNCONDITIONAL.semi1.wvr.yml.log 2025-01-22 17:41 35K
UNCONDITIONAL.send-receive-alt.wvr.yml.log 2025-01-22 16:45 168K
UNCONDITIONAL.send-receive.wvr.yml.log 2025-01-22 16:49 147K
UNCONDITIONAL.simpl-str-subst.wvr.yml.log 2025-01-22 15:49 36K
UNCONDITIONAL.simpl-str-symm.wvr.yml.log 2025-01-22 15:49 36K
UNCONDITIONAL.simpl-str-trans.wvr.yml.log 2025-01-22 15:49 36K
UNCONDITIONAL.simple-array-sum.wvr.yml.log 2025-01-22 16:50 172K
UNCONDITIONAL.simple-equiv.wvr.yml.log 2025-01-22 15:56 36K
UNCONDITIONAL.simple-queue.wvr.yml.log 2025-01-22 16:37 121K
UNCONDITIONAL.sorted.wvr.yml.log 2025-01-22 17:37 61K
UNCONDITIONAL.spaghetti.wvr.yml.log 2025-01-22 15:30 41K
UNCONDITIONAL.sre-subst.wvr.yml.log 2025-01-22 15:49 36K
UNCONDITIONAL.sre-symm.wvr.yml.log 2025-01-22 15:49 35K
UNCONDITIONAL.sre-trans.wvr.yml.log 2025-01-22 15:49 36K
UNCONDITIONAL.sum-array-hom.wvr.yml.log 2025-01-22 17:39 105K
UNCONDITIONAL.sum-array.wvr.yml.log 2025-01-22 17:42 104K
UNCONDITIONAL.sum-fun-alt.wvr.yml.log 2025-01-22 17:41 104K
UNCONDITIONAL.sum-fun.wvr.yml.log 2025-01-22 17:43 105K
UNCONDITIONAL.threaded-sum-2.wvr.yml.log 2025-01-22 16:52 90K
UNCONDITIONAL.threaded-sum-3.wvr.yml.log 2025-01-22 16:52 273K
UNCONDITIONAL.three-array-max.wvr.yml.log 2025-01-22 16:44 48K
UNCONDITIONAL.three-array-min.wvr.yml.log 2025-01-22 16:45 46K
UNCONDITIONAL.three-array-sum-alt.wvr.yml.log 2025-01-22 16:52 78K
UNCONDITIONAL.three-array-sum.wvr.yml.log 2025-01-22 16:44 115K
UNCONDITIONAL.ticket-2.wvr.yml.log 2025-01-22 15:57 35K
UNCONDITIONAL.ticket-3.wvr.yml.log 2025-01-22 15:57 36K
UNCONDITIONAL.ticket-4.wvr.yml.log 2025-01-22 15:57 37K
UNCONDITIONAL.ticket-5.wvr.yml.log 2025-01-22 15:57 37K
UNCONDITIONAL.ticket-6.wvr.yml.log 2025-01-22 15:57 38K
UNCONDITIONAL.ticket-7.wvr.yml.log 2025-01-22 15:57 38K
UNCONDITIONAL.ticket-8.wvr.yml.log 2025-01-22 15:57 39K
UNCONDITIONAL.time-subst.wvr.yml.log 2025-01-22 15:49 36K
UNCONDITIONAL.time-symm.wvr.yml.log 2025-01-22 15:49 35K
UNCONDITIONAL.time-trans.wvr.yml.log 2025-01-22 15:49 36K
UNCONDITIONAL.two-queue.wvr.yml.log 2025-01-22 16:54 94K
UNCONDITIONAL.unroll-2.wvr.yml.log 2025-01-22 15:36 202K
UNCONDITIONAL.unroll-3.wvr.yml.log 2025-01-22 15:36 166K
UNCONDITIONAL.unroll-4.wvr.yml.log 2025-01-22 15:43 145K
UNCONDITIONAL.unroll-5.wvr.yml.log 2025-01-22 15:48 143K
UNCONDITIONAL.unroll-cond-2.wvr.yml.log 2025-01-22 15:47 182K
UNCONDITIONAL.unroll-cond-3.wvr.yml.log 2025-01-22 15:50 148K
UNCONDITIONAL.unroll-cond-4.wvr.yml.log 2025-01-22 15:50 116K
UNCONDITIONAL.unroll-cond-5.wvr.yml.log 2025-01-22 15:58 47K
UNCONDITIONAL.vector-add.wvr.yml.log 2025-01-22 17:51 2.5M
UNCONDITIONAL.word-subst.wvr.yml.log 2025-01-22 15:50 219K
UNCONDITIONAL.word-symm.wvr.yml.log 2025-01-22 15:49 125K
UNCONDITIONAL.word-trans.wvr.yml.log 2025-01-22 15:50 269K