Index of /logs/conditional-commutativity/20250426-000050-conditional-commutativity-42d8767588/conditional-commutativity.2025-04-25_04-23-42.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-04-25 11:02 92K
CE-NecessaryAndSufficient.array-eq-trans.wvr.yml.log 2025-04-25 11:03 178K
CE-NecessaryAndSufficient.array-int-subst.wvr.yml.log 2025-04-25 11:19 216K
CE-NecessaryAndSufficient.array-int-symm.wvr.yml.log 2025-04-25 11:17 83K
CE-NecessaryAndSufficient.array-int-trans.wvr.yml.log 2025-04-25 11:18 300K
CE-NecessaryAndSufficient.array-sum-alt.wvr.yml.log 2025-04-25 12:25 732K
CE-NecessaryAndSufficient.array-sum.wvr.yml.log 2025-04-25 12:25 315K
CE-NecessaryAndSufficient.bakery-2.wvr.yml.log 2025-04-25 11:21 74K
CE-NecessaryAndSufficient.bakery-3.wvr.yml.log 2025-04-25 11:21 329K
CE-NecessaryAndSufficient.bakery-4.wvr.yml.log 2025-04-25 11:34 2.2M
CE-NecessaryAndSufficient.barrier-loop.wvr.yml.log 2025-04-25 11:21 79K
CE-NecessaryAndSufficient.barrier.wvr.yml.log 2025-04-25 11:21 90K
CE-NecessaryAndSufficient.bluetooth.wvr.yml.log 2025-04-25 11:21 50K
CE-NecessaryAndSufficient.buffer-mult-alt.wvr.yml.log 2025-04-25 12:20 186K
CE-NecessaryAndSufficient.buffer-mult.wvr.yml.log 2025-04-25 12:26 316K
CE-NecessaryAndSufficient.buffer-series-array.wvr.yml.log 2025-04-25 12:23 192K
CE-NecessaryAndSufficient.buffer-series.wvr.yml.log 2025-04-25 12:23 192K
CE-NecessaryAndSufficient.channel-sum.wvr.yml.log 2025-04-25 11:50 477K
CE-NecessaryAndSufficient.chromosome-opt-symm.wvr.yml.log 2025-04-25 11:17 99K
CE-NecessaryAndSufficient.chromosome-subst.wvr.yml.log 2025-04-25 11:18 146K
CE-NecessaryAndSufficient.chromosome-symm.wvr.yml.log 2025-04-25 11:18 140K
CE-NecessaryAndSufficient.chromosome-trans.wvr.yml.log 2025-04-25 11:18 237K
CE-NecessaryAndSufficient.clever.wvr.yml.log 2025-04-25 11:16 6.0M
CE-NecessaryAndSufficient.collitem-subst.wvr.yml.log 2025-04-25 11:18 41K
CE-NecessaryAndSufficient.collitem-symm.wvr.yml.log 2025-04-25 11:18 40K
CE-NecessaryAndSufficient.collitem-trans.wvr.yml.log 2025-04-25 11:18 41K
CE-NecessaryAndSufficient.commit-1.wvr.yml.log 2025-04-25 12:07 204K
CE-NecessaryAndSufficient.commit-2.wvr.yml.log 2025-04-25 12:07 336K
CE-NecessaryAndSufficient.container-subst.wvr.yml.log 2025-04-25 11:18 41K
CE-NecessaryAndSufficient.container-symm.wvr.yml.log 2025-04-25 11:18 40K
CE-NecessaryAndSufficient.container-trans.wvr.yml.log 2025-04-25 11:18 41K
CE-NecessaryAndSufficient.context1.wvr.yml.log 2025-04-25 12:44 86K
CE-NecessaryAndSufficient.counter-add-4-semi-Q67.wvr.yml.log 2025-04-25 12:44 150K
CE-NecessaryAndSufficient.counter-determinism.wvr.yml.log 2025-04-25 11:37 194K
CE-NecessaryAndSufficient.counter-fun.wvr.yml.log 2025-04-25 11:37 151K
CE-NecessaryAndSufficient.counter-queue.wvr.yml.log 2025-04-25 12:07 84K
CE-NecessaryAndSufficient.dec-subseq-array.wvr.yml.log 2025-04-25 12:23 85K
CE-NecessaryAndSufficient.dec-subseq.wvr.yml.log 2025-04-25 12:26 85K
CE-NecessaryAndSufficient.difference-det.wvr.yml.log 2025-04-25 11:38 247K
CE-NecessaryAndSufficient.dot-product-alt.wvr.yml.log 2025-04-25 12:10 145K
CE-NecessaryAndSufficient.dot-product-array.wvr.yml.log 2025-04-25 12:25 89K
CE-NecessaryAndSufficient.dot-product.wvr.yml.log 2025-04-25 12:25 89K
CE-NecessaryAndSufficient.easy1.wvr.yml.log 2025-04-25 12:44 61K
CE-NecessaryAndSufficient.easy10.wvr.yml.log 2025-04-25 12:45 63K
CE-NecessaryAndSufficient.easy11.wvr.yml.log 2025-04-25 12:45 88K
CE-NecessaryAndSufficient.easy6.wvr.yml.log 2025-04-25 12:45 74K
CE-NecessaryAndSufficient.easy7.wvr.yml.log 2025-04-25 12:45 40K
CE-NecessaryAndSufficient.easy8.wvr.yml.log 2025-04-25 12:45 40K
CE-NecessaryAndSufficient.exp-term-subst.wvr.yml.log 2025-04-25 11:18 41K
CE-NecessaryAndSufficient.exp-term-symm.wvr.yml.log 2025-04-25 11:18 40K
CE-NecessaryAndSufficient.exp1x3.wvr.yml.log 2025-04-25 11:16 70K
CE-NecessaryAndSufficient.exp2x3.wvr.yml.log 2025-04-25 11:16 117K
CE-NecessaryAndSufficient.exp2x4.wvr.yml.log 2025-04-25 11:16 117K
CE-NecessaryAndSufficient.exp2x6.wvr.yml.log 2025-04-25 11:16 117K
CE-NecessaryAndSufficient.exp2x9.wvr.yml.log 2025-04-25 11:16 114K
CE-NecessaryAndSufficient.exp3x3-opt.wvr.yml.log 2025-04-25 11:16 119K
CE-NecessaryAndSufficient.exp3x3.wvr.yml.log 2025-04-25 11:17 191K
CE-NecessaryAndSufficient.fibonacci.wvr.yml.log 2025-04-25 11:02 79K
CE-NecessaryAndSufficient.figure1-alt.wvr.yml.log 2025-04-25 11:38 88K
CE-NecessaryAndSufficient.figure1.wvr.yml.log 2025-04-25 11:38 84K
CE-NecessaryAndSufficient.figure3.wvr.yml.log 2025-04-25 11:51 1.9M
CE-NecessaryAndSufficient.file-item-subst.wvr.yml.log 2025-04-25 11:18 41K
CE-NecessaryAndSufficient.file-item-symm.wvr.yml.log 2025-04-25 11:18 40K
CE-NecessaryAndSufficient.file-item-trans.wvr.yml.log 2025-04-25 11:18 41K
CE-NecessaryAndSufficient.hard1.wvr.yml.log 2025-04-25 12:59 1.2M
CE-NecessaryAndSufficient.horseshoe.wvr.yml.log 2025-04-25 11:49 1.2M
CE-NecessaryAndSufficient.inc-subseq-array.wvr.yml.log 2025-04-25 12:28 85K
CE-NecessaryAndSufficient.inc-subseq.wvr.yml.log 2025-04-25 12:29 85K
CE-NecessaryAndSufficient.lamport.wvr.yml.log 2025-04-25 11:21 75K
CE-NecessaryAndSufficient.loop-tiling-eq.wvr.yml.log 2025-04-25 11:17 209K
CE-NecessaryAndSufficient.match-subst.wvr.yml.log 2025-04-25 11:18 41K
CE-NecessaryAndSufficient.match-symm.wvr.yml.log 2025-04-25 11:18 40K
CE-NecessaryAndSufficient.match-trans.wvr.yml.log 2025-04-25 11:19 41K
CE-NecessaryAndSufficient.max-array-hom.wvr.yml.log 2025-04-25 12:30 86K
CE-NecessaryAndSufficient.max-array.wvr.yml.log 2025-04-25 12:40 177K
CE-NecessaryAndSufficient.max-fun-alt.wvr.yml.log 2025-04-25 12:40 177K
CE-NecessaryAndSufficient.max-fun.wvr.yml.log 2025-04-25 12:30 86K
CE-NecessaryAndSufficient.min-array-hom.wvr.yml.log 2025-04-25 12:31 137K
CE-NecessaryAndSufficient.min-array.wvr.yml.log 2025-04-25 12:31 136K
CE-NecessaryAndSufficient.min-fun-alt.wvr.yml.log 2025-04-25 12:32 136K
CE-NecessaryAndSufficient.min-fun.wvr.yml.log 2025-04-25 12:34 137K
CE-NecessaryAndSufficient.min-le-max.wvr.yml.log 2025-04-25 12:30 60K
CE-NecessaryAndSufficient.min-max-1.wvr.yml.log 2025-04-25 11:21 46K
CE-NecessaryAndSufficient.min-max-2.wvr.yml.log 2025-04-25 11:36 184K
CE-NecessaryAndSufficient.min-max-dec.wvr.yml.log 2025-04-25 11:57 139K
CE-NecessaryAndSufficient.min-max-inc-dec.wvr.yml.log 2025-04-25 11:58 189K
CE-NecessaryAndSufficient.min-max-inc.wvr.yml.log 2025-04-25 11:44 173K
CE-NecessaryAndSufficient.misc-1.wvr.yml.log 2025-04-25 11:36 226K
CE-NecessaryAndSufficient.misc-2-unrolled-atomic.wvr.yml.log 2025-04-25 11:22 40K
CE-NecessaryAndSufficient.misc-2-unrolled.wvr.yml.log 2025-04-25 11:22 56K
CE-NecessaryAndSufficient.misc-2.wvr.yml.log 2025-04-25 11:22 139K
CE-NecessaryAndSufficient.misc-3-extended.wvr.yml.log 2025-04-25 11:22 87K
CE-NecessaryAndSufficient.misc-3.wvr.yml.log 2025-04-25 11:22 64K
CE-NecessaryAndSufficient.misc-4.wvr.yml.log 2025-04-25 11:22 67K
CE-NecessaryAndSufficient.misc-5.wvr.yml.log 2025-04-25 11:34 1.8M
CE-NecessaryAndSufficient.mts-array.wvr.yml.log 2025-04-25 12:34 79K
CE-NecessaryAndSufficient.mts.wvr.yml.log 2025-04-25 12:34 79K
CE-NecessaryAndSufficient.mult-4.wvr.yml.log 2025-04-25 11:58 3.2M
CE-NecessaryAndSufficient.mult-comm.wvr.yml.log 2025-04-25 11:16 911K
CE-NecessaryAndSufficient.mult-dist.wvr.yml.log 2025-04-25 11:15 1.4M
CE-NecessaryAndSufficient.mult-equiv.wvr.yml.log 2025-04-25 12:02 2.1M
CE-NecessaryAndSufficient.mult-flipped-dist.wvr.yml.log 2025-04-25 11:02 102K
CE-NecessaryAndSufficient.multiply-verify.wvr.yml.log 2025-04-25 12:31 78K
CE-NecessaryAndSufficient.name-comparator-subst.wvr.yml.log 2025-04-25 11:19 128K
CE-NecessaryAndSufficient.name-comparator-symm.wvr.yml.log 2025-04-25 11:19 90K
CE-NecessaryAndSufficient.name-comparator-trans.wvr.yml.log 2025-04-25 11:19 231K
CE-NecessaryAndSufficient.node-subst.wvr.yml.log 2025-04-25 11:19 41K
CE-NecessaryAndSufficient.node-symm.wvr.yml.log 2025-04-25 11:19 40K
CE-NecessaryAndSufficient.node-trans.wvr.yml.log 2025-04-25 11:19 41K
CE-NecessaryAndSufficient.nonblocking-cntr-alt.wvr.yml.log 2025-04-25 11:49 101K
CE-NecessaryAndSufficient.nonblocking-cntr.wvr.yml.log 2025-04-25 11:49 103K
CE-NecessaryAndSufficient.nonblocking-counter-alt2.wvr.yml.log 2025-04-25 12:45 148K
CE-NecessaryAndSufficient.nzb-file-subst.wvr.yml.log 2025-04-25 11:20 266K
CE-NecessaryAndSufficient.nzb-file-symm.wvr.yml.log 2025-04-25 11:19 150K
CE-NecessaryAndSufficient.nzb-file-trans.wvr.yml.log 2025-04-25 11:20 252K
CE-NecessaryAndSufficient.parallel-sum-1-dsl.wvr.yml.log 2025-04-25 11:37 303K
CE-NecessaryAndSufficient.parallel-sum-1.wvr.yml.log 2025-04-25 11:36 536K
CE-NecessaryAndSufficient.parallel-sum-2.wvr.yml.log 2025-04-25 11:44 513K
CE-NecessaryAndSufficient.parallel-sum-equiv.wvr.yml.log 2025-04-25 11:49 277K
CE-NecessaryAndSufficient.parray-copy.wvr.yml.log 2025-04-25 12:32 154K
CE-NecessaryAndSufficient.poker-hand-subst.wvr.yml.log 2025-04-25 11:22 814K
CE-NecessaryAndSufficient.poker-hand-symm.wvr.yml.log 2025-04-25 11:20 293K
CE-NecessaryAndSufficient.poker-hand-trans.wvr.yml.log 2025-04-25 11:21 573K
CE-NecessaryAndSufficient.prod-cons-eq.wvr.yml.log 2025-04-25 11:51 115K
CE-NecessaryAndSufficient.prod-cons.wvr.yml.log 2025-04-25 11:52 97K
CE-NecessaryAndSufficient.prod-cons3.wvr.yml.log 2025-04-25 11:56 102K
CE-NecessaryAndSufficient.queue-add-2-nl.wvr.yml.log 2025-04-25 12:35 134K
CE-NecessaryAndSufficient.queue-add-2.wvr.yml.log 2025-04-25 11:52 132K
CE-NecessaryAndSufficient.queue-add-3-nl.wvr.yml.log 2025-04-25 12:37 216K
CE-NecessaryAndSufficient.queue-add-3.wvr.yml.log 2025-04-25 11:54 246K
CE-NecessaryAndSufficient.ring-nondet.wvr.yml.log 2025-04-25 12:24 489K
CE-NecessaryAndSufficient.ring.wvr.yml.log 2025-04-25 12:11 129K
CE-NecessaryAndSufficient.security.wvr.yml.log 2025-04-25 11:02 81K
CE-NecessaryAndSufficient.semi1.wvr.yml.log 2025-04-25 12:45 40K
CE-NecessaryAndSufficient.send-receive-alt.wvr.yml.log 2025-04-25 12:05 484K
CE-NecessaryAndSufficient.send-receive.wvr.yml.log 2025-04-25 12:08 396K
CE-NecessaryAndSufficient.simpl-str-subst.wvr.yml.log 2025-04-25 11:20 41K
CE-NecessaryAndSufficient.simpl-str-symm.wvr.yml.log 2025-04-25 11:20 40K
CE-NecessaryAndSufficient.simpl-str-trans.wvr.yml.log 2025-04-25 11:20 41K
CE-NecessaryAndSufficient.simple-array-sum.wvr.yml.log 2025-04-25 12:11 176K
CE-NecessaryAndSufficient.simple-equiv.wvr.yml.log 2025-04-25 11:35 41K
CE-NecessaryAndSufficient.simple-queue.wvr.yml.log 2025-04-25 11:57 87K
CE-NecessaryAndSufficient.sorted.wvr.yml.log 2025-04-25 12:44 230K
CE-NecessaryAndSufficient.spaghetti.wvr.yml.log 2025-04-25 11:02 46K
CE-NecessaryAndSufficient.sre-subst.wvr.yml.log 2025-04-25 11:20 41K
CE-NecessaryAndSufficient.sre-symm.wvr.yml.log 2025-04-25 11:20 40K
CE-NecessaryAndSufficient.sre-trans.wvr.yml.log 2025-04-25 11:20 40K
CE-NecessaryAndSufficient.sum-array-hom.wvr.yml.log 2025-04-25 12:46 465K
CE-NecessaryAndSufficient.sum-array.wvr.yml.log 2025-04-25 12:48 546K
CE-NecessaryAndSufficient.sum-fun-alt.wvr.yml.log 2025-04-25 12:48 546K
CE-NecessaryAndSufficient.sum-fun.wvr.yml.log 2025-04-25 12:51 464K
CE-NecessaryAndSufficient.threaded-sum-2.wvr.yml.log 2025-04-25 12:11 142K
CE-NecessaryAndSufficient.threaded-sum-3.wvr.yml.log 2025-04-25 12:11 557K
CE-NecessaryAndSufficient.three-array-max.wvr.yml.log 2025-04-25 12:12 101K
CE-NecessaryAndSufficient.three-array-min.wvr.yml.log 2025-04-25 12:10 104K
CE-NecessaryAndSufficient.three-array-sum-alt.wvr.yml.log 2025-04-25 12:11 137K
CE-NecessaryAndSufficient.three-array-sum.wvr.yml.log 2025-04-25 12:03 170K
CE-NecessaryAndSufficient.ticket-2.wvr.yml.log 2025-04-25 11:35 50K
CE-NecessaryAndSufficient.ticket-3.wvr.yml.log 2025-04-25 11:35 89K
CE-NecessaryAndSufficient.ticket-4.wvr.yml.log 2025-04-25 11:35 196K
CE-NecessaryAndSufficient.ticket-5.wvr.yml.log 2025-04-25 11:35 372K
CE-NecessaryAndSufficient.ticket-6.wvr.yml.log 2025-04-25 11:37 642K
CE-NecessaryAndSufficient.ticket-7.wvr.yml.log 2025-04-25 11:42 475K
CE-NecessaryAndSufficient.ticket-8.wvr.yml.log 2025-04-25 11:42 53K
CE-NecessaryAndSufficient.time-subst.wvr.yml.log 2025-04-25 11:20 41K
CE-NecessaryAndSufficient.time-symm.wvr.yml.log 2025-04-25 11:20 40K
CE-NecessaryAndSufficient.time-trans.wvr.yml.log 2025-04-25 11:20 41K
CE-NecessaryAndSufficient.two-queue.wvr.yml.log 2025-04-25 12:05 101K
CE-NecessaryAndSufficient.unroll-2.wvr.yml.log 2025-04-25 11:11 224K
CE-NecessaryAndSufficient.unroll-3.wvr.yml.log 2025-04-25 11:09 184K
CE-NecessaryAndSufficient.unroll-4.wvr.yml.log 2025-04-25 11:09 156K
CE-NecessaryAndSufficient.unroll-5.wvr.yml.log 2025-04-25 11:22 147K
CE-NecessaryAndSufficient.unroll-cond-2.wvr.yml.log 2025-04-25 11:15 196K
CE-NecessaryAndSufficient.unroll-cond-3.wvr.yml.log 2025-04-25 11:18 161K
CE-NecessaryAndSufficient.unroll-cond-4.wvr.yml.log 2025-04-25 11:22 126K
CE-NecessaryAndSufficient.unroll-cond-5.wvr.yml.log 2025-04-25 11:30 53K
CE-NecessaryAndSufficient.vector-add.wvr.yml.log 2025-04-25 12:54 98K
CE-NecessaryAndSufficient.word-subst.wvr.yml.log 2025-04-25 11:21 241K
CE-NecessaryAndSufficient.word-symm.wvr.yml.log 2025-04-25 11:20 142K
CE-NecessaryAndSufficient.word-trans.wvr.yml.log 2025-04-25 11:21 295K
CE-Sufficient.array-eq-symm.wvr.yml.log 2025-04-25 09:04 92K
CE-Sufficient.array-eq-trans.wvr.yml.log 2025-04-25 09:04 178K
CE-Sufficient.array-int-subst.wvr.yml.log 2025-04-25 09:21 216K
CE-Sufficient.array-int-symm.wvr.yml.log 2025-04-25 09:18 83K
CE-Sufficient.array-int-trans.wvr.yml.log 2025-04-25 09:19 300K
CE-Sufficient.array-sum-alt.wvr.yml.log 2025-04-25 10:29 693K
CE-Sufficient.array-sum.wvr.yml.log 2025-04-25 10:29 315K
CE-Sufficient.bakery-2.wvr.yml.log 2025-04-25 09:23 74K
CE-Sufficient.bakery-3.wvr.yml.log 2025-04-25 09:23 329K
CE-Sufficient.bakery-4.wvr.yml.log 2025-04-25 09:36 2.2M
CE-Sufficient.barrier-loop.wvr.yml.log 2025-04-25 09:23 79K
CE-Sufficient.barrier.wvr.yml.log 2025-04-25 09:23 90K
CE-Sufficient.bluetooth.wvr.yml.log 2025-04-25 09:23 51K
CE-Sufficient.buffer-mult-alt.wvr.yml.log 2025-04-25 10:24 186K
CE-Sufficient.buffer-mult.wvr.yml.log 2025-04-25 10:24 304K
CE-Sufficient.buffer-series-array.wvr.yml.log 2025-04-25 10:28 192K
CE-Sufficient.buffer-series.wvr.yml.log 2025-04-25 10:28 192K
CE-Sufficient.channel-sum.wvr.yml.log 2025-04-25 09:51 487K
CE-Sufficient.chromosome-opt-symm.wvr.yml.log 2025-04-25 09:19 99K
CE-Sufficient.chromosome-subst.wvr.yml.log 2025-04-25 09:19 146K
CE-Sufficient.chromosome-symm.wvr.yml.log 2025-04-25 09:19 140K
CE-Sufficient.chromosome-trans.wvr.yml.log 2025-04-25 09:20 237K
CE-Sufficient.clever.wvr.yml.log 2025-04-25 09:18 6.0M
CE-Sufficient.collitem-subst.wvr.yml.log 2025-04-25 09:19 41K
CE-Sufficient.collitem-symm.wvr.yml.log 2025-04-25 09:20 40K
CE-Sufficient.collitem-trans.wvr.yml.log 2025-04-25 09:20 41K
CE-Sufficient.commit-1.wvr.yml.log 2025-04-25 10:10 207K
CE-Sufficient.commit-2.wvr.yml.log 2025-04-25 10:10 341K
CE-Sufficient.container-subst.wvr.yml.log 2025-04-25 09:20 41K
CE-Sufficient.container-symm.wvr.yml.log 2025-04-25 09:20 40K
CE-Sufficient.container-trans.wvr.yml.log 2025-04-25 09:20 41K
CE-Sufficient.context1.wvr.yml.log 2025-04-25 10:48 87K
CE-Sufficient.counter-add-4-semi-Q67.wvr.yml.log 2025-04-25 10:48 150K
CE-Sufficient.counter-determinism.wvr.yml.log 2025-04-25 09:38 193K
CE-Sufficient.counter-fun.wvr.yml.log 2025-04-25 09:53 383K
CE-Sufficient.counter-queue.wvr.yml.log 2025-04-25 10:10 84K
CE-Sufficient.dec-subseq-array.wvr.yml.log 2025-04-25 10:27 85K
CE-Sufficient.dec-subseq.wvr.yml.log 2025-04-25 10:27 85K
CE-Sufficient.difference-det.wvr.yml.log 2025-04-25 09:39 247K
CE-Sufficient.dot-product-alt.wvr.yml.log 2025-04-25 10:13 145K
CE-Sufficient.dot-product-array.wvr.yml.log 2025-04-25 10:30 89K
CE-Sufficient.dot-product.wvr.yml.log 2025-04-25 10:30 89K
CE-Sufficient.easy1.wvr.yml.log 2025-04-25 10:48 62K
CE-Sufficient.easy10.wvr.yml.log 2025-04-25 10:48 63K
CE-Sufficient.easy11.wvr.yml.log 2025-04-25 10:48 88K
CE-Sufficient.easy6.wvr.yml.log 2025-04-25 10:48 74K
CE-Sufficient.easy7.wvr.yml.log 2025-04-25 10:48 40K
CE-Sufficient.easy8.wvr.yml.log 2025-04-25 10:48 40K
CE-Sufficient.exp-term-subst.wvr.yml.log 2025-04-25 09:20 41K
CE-Sufficient.exp-term-symm.wvr.yml.log 2025-04-25 09:20 40K
CE-Sufficient.exp1x3.wvr.yml.log 2025-04-25 09:18 70K
CE-Sufficient.exp2x3.wvr.yml.log 2025-04-25 09:18 117K
CE-Sufficient.exp2x4.wvr.yml.log 2025-04-25 09:18 117K
CE-Sufficient.exp2x6.wvr.yml.log 2025-04-25 09:18 117K
CE-Sufficient.exp2x9.wvr.yml.log 2025-04-25 09:18 114K
CE-Sufficient.exp3x3-opt.wvr.yml.log 2025-04-25 09:18 119K
CE-Sufficient.exp3x3.wvr.yml.log 2025-04-25 09:18 191K
CE-Sufficient.fibonacci.wvr.yml.log 2025-04-25 09:04 79K
CE-Sufficient.figure1-alt.wvr.yml.log 2025-04-25 09:39 88K
CE-Sufficient.figure1.wvr.yml.log 2025-04-25 09:39 84K
CE-Sufficient.figure3.wvr.yml.log 2025-04-25 09:53 1.9M
CE-Sufficient.file-item-subst.wvr.yml.log 2025-04-25 09:20 41K
CE-Sufficient.file-item-symm.wvr.yml.log 2025-04-25 09:20 40K
CE-Sufficient.file-item-trans.wvr.yml.log 2025-04-25 09:20 41K
CE-Sufficient.hard1.wvr.yml.log 2025-04-25 11:02 1.1M
CE-Sufficient.horseshoe.wvr.yml.log 2025-04-25 09:55 1.2M
CE-Sufficient.inc-subseq-array.wvr.yml.log 2025-04-25 10:31 85K
CE-Sufficient.inc-subseq.wvr.yml.log 2025-04-25 10:31 85K
CE-Sufficient.lamport.wvr.yml.log 2025-04-25 09:23 75K
CE-Sufficient.loop-tiling-eq.wvr.yml.log 2025-04-25 09:18 225K
CE-Sufficient.match-subst.wvr.yml.log 2025-04-25 09:20 41K
CE-Sufficient.match-symm.wvr.yml.log 2025-04-25 09:20 40K
CE-Sufficient.match-trans.wvr.yml.log 2025-04-25 09:20 41K
CE-Sufficient.max-array-hom.wvr.yml.log 2025-04-25 10:33 86K
CE-Sufficient.max-array.wvr.yml.log 2025-04-25 10:44 177K
CE-Sufficient.max-fun-alt.wvr.yml.log 2025-04-25 10:44 177K
CE-Sufficient.max-fun.wvr.yml.log 2025-04-25 10:34 86K
CE-Sufficient.min-array-hom.wvr.yml.log 2025-04-25 10:35 137K
CE-Sufficient.min-array.wvr.yml.log 2025-04-25 10:34 136K
CE-Sufficient.min-fun-alt.wvr.yml.log 2025-04-25 10:35 136K
CE-Sufficient.min-fun.wvr.yml.log 2025-04-25 10:38 137K
CE-Sufficient.min-le-max.wvr.yml.log 2025-04-25 10:34 60K
CE-Sufficient.min-max-1.wvr.yml.log 2025-04-25 09:23 46K
CE-Sufficient.min-max-2.wvr.yml.log 2025-04-25 09:38 182K
CE-Sufficient.min-max-dec.wvr.yml.log 2025-04-25 09:59 140K
CE-Sufficient.min-max-inc-dec.wvr.yml.log 2025-04-25 10:00 176K
CE-Sufficient.min-max-inc.wvr.yml.log 2025-04-25 09:49 173K
CE-Sufficient.misc-1.wvr.yml.log 2025-04-25 09:37 226K
CE-Sufficient.misc-2-unrolled-atomic.wvr.yml.log 2025-04-25 09:23 40K
CE-Sufficient.misc-2-unrolled.wvr.yml.log 2025-04-25 09:23 56K
CE-Sufficient.misc-2.wvr.yml.log 2025-04-25 09:23 139K
CE-Sufficient.misc-3-extended.wvr.yml.log 2025-04-25 09:23 87K
CE-Sufficient.misc-3.wvr.yml.log 2025-04-25 09:24 64K
CE-Sufficient.misc-4.wvr.yml.log 2025-04-25 09:24 67K
CE-Sufficient.misc-5.wvr.yml.log 2025-04-25 09:34 1.7M
CE-Sufficient.mts-array.wvr.yml.log 2025-04-25 10:38 79K
CE-Sufficient.mts.wvr.yml.log 2025-04-25 10:38 79K
CE-Sufficient.mult-4.wvr.yml.log 2025-04-25 10:03 3.5M
CE-Sufficient.mult-comm.wvr.yml.log 2025-04-25 09:18 911K
CE-Sufficient.mult-dist.wvr.yml.log 2025-04-25 09:16 1.4M
CE-Sufficient.mult-equiv.wvr.yml.log 2025-04-25 10:05 2.0M
CE-Sufficient.mult-flipped-dist.wvr.yml.log 2025-04-25 09:04 102K
CE-Sufficient.multiply-verify.wvr.yml.log 2025-04-25 10:35 78K
CE-Sufficient.name-comparator-subst.wvr.yml.log 2025-04-25 09:20 128K
CE-Sufficient.name-comparator-symm.wvr.yml.log 2025-04-25 09:20 90K
CE-Sufficient.name-comparator-trans.wvr.yml.log 2025-04-25 09:21 230K
CE-Sufficient.node-subst.wvr.yml.log 2025-04-25 09:21 41K
CE-Sufficient.node-symm.wvr.yml.log 2025-04-25 09:21 40K
CE-Sufficient.node-trans.wvr.yml.log 2025-04-25 09:21 41K
CE-Sufficient.nonblocking-cntr-alt.wvr.yml.log 2025-04-25 09:53 101K
CE-Sufficient.nonblocking-cntr.wvr.yml.log 2025-04-25 09:53 103K
CE-Sufficient.nonblocking-counter-alt2.wvr.yml.log 2025-04-25 10:49 144K
CE-Sufficient.nzb-file-subst.wvr.yml.log 2025-04-25 09:22 266K
CE-Sufficient.nzb-file-symm.wvr.yml.log 2025-04-25 09:21 149K
CE-Sufficient.nzb-file-trans.wvr.yml.log 2025-04-25 09:22 252K
CE-Sufficient.parallel-sum-1-dsl.wvr.yml.log 2025-04-25 09:34 269K
CE-Sufficient.parallel-sum-1.wvr.yml.log 2025-04-25 09:38 536K
CE-Sufficient.parallel-sum-2.wvr.yml.log 2025-04-25 09:45 513K
CE-Sufficient.parallel-sum-equiv.wvr.yml.log 2025-04-25 09:49 277K
CE-Sufficient.parray-copy.wvr.yml.log 2025-04-25 10:36 154K
CE-Sufficient.poker-hand-subst.wvr.yml.log 2025-04-25 09:24 814K
CE-Sufficient.poker-hand-symm.wvr.yml.log 2025-04-25 09:22 293K
CE-Sufficient.poker-hand-trans.wvr.yml.log 2025-04-25 09:22 573K
CE-Sufficient.prod-cons-eq.wvr.yml.log 2025-04-25 09:55 115K
CE-Sufficient.prod-cons.wvr.yml.log 2025-04-25 10:05 130K
CE-Sufficient.prod-cons3.wvr.yml.log 2025-04-25 10:01 102K
CE-Sufficient.queue-add-2-nl.wvr.yml.log 2025-04-25 10:39 216K
CE-Sufficient.queue-add-2.wvr.yml.log 2025-04-25 09:55 213K
CE-Sufficient.queue-add-3-nl.wvr.yml.log 2025-04-25 10:40 216K
CE-Sufficient.queue-add-3.wvr.yml.log 2025-04-25 09:57 247K
CE-Sufficient.ring-nondet.wvr.yml.log 2025-04-25 10:27 495K
CE-Sufficient.ring.wvr.yml.log 2025-04-25 10:15 129K
CE-Sufficient.security.wvr.yml.log 2025-04-25 09:04 81K
CE-Sufficient.semi1.wvr.yml.log 2025-04-25 10:49 40K
CE-Sufficient.send-receive-alt.wvr.yml.log 2025-04-25 10:09 495K
CE-Sufficient.send-receive.wvr.yml.log 2025-04-25 10:13 408K
CE-Sufficient.simpl-str-subst.wvr.yml.log 2025-04-25 09:22 41K
CE-Sufficient.simpl-str-symm.wvr.yml.log 2025-04-25 09:22 40K
CE-Sufficient.simpl-str-trans.wvr.yml.log 2025-04-25 09:22 41K
CE-Sufficient.simple-array-sum.wvr.yml.log 2025-04-25 10:14 212K
CE-Sufficient.simple-equiv.wvr.yml.log 2025-04-25 09:35 41K
CE-Sufficient.simple-queue.wvr.yml.log 2025-04-25 10:01 105K
CE-Sufficient.sorted.wvr.yml.log 2025-04-25 10:48 230K
CE-Sufficient.spaghetti.wvr.yml.log 2025-04-25 09:04 46K
CE-Sufficient.sre-subst.wvr.yml.log 2025-04-25 09:22 41K
CE-Sufficient.sre-symm.wvr.yml.log 2025-04-25 09:22 40K
CE-Sufficient.sre-trans.wvr.yml.log 2025-04-25 09:22 40K
CE-Sufficient.sum-array-hom.wvr.yml.log 2025-04-25 10:50 465K
CE-Sufficient.sum-array.wvr.yml.log 2025-04-25 10:52 546K
CE-Sufficient.sum-fun-alt.wvr.yml.log 2025-04-25 10:52 546K
CE-Sufficient.sum-fun.wvr.yml.log 2025-04-25 10:56 464K
CE-Sufficient.threaded-sum-2.wvr.yml.log 2025-04-25 10:15 142K
CE-Sufficient.threaded-sum-3.wvr.yml.log 2025-04-25 10:14 515K
CE-Sufficient.three-array-max.wvr.yml.log 2025-04-25 10:18 101K
CE-Sufficient.three-array-min.wvr.yml.log 2025-04-25 10:15 104K
CE-Sufficient.three-array-sum-alt.wvr.yml.log 2025-04-25 10:15 137K
CE-Sufficient.three-array-sum.wvr.yml.log 2025-04-25 10:06 170K
CE-Sufficient.ticket-2.wvr.yml.log 2025-04-25 09:35 50K
CE-Sufficient.ticket-3.wvr.yml.log 2025-04-25 09:35 89K
CE-Sufficient.ticket-4.wvr.yml.log 2025-04-25 09:35 196K
CE-Sufficient.ticket-5.wvr.yml.log 2025-04-25 09:36 372K
CE-Sufficient.ticket-6.wvr.yml.log 2025-04-25 09:37 642K
CE-Sufficient.ticket-7.wvr.yml.log 2025-04-25 09:43 492K
CE-Sufficient.ticket-8.wvr.yml.log 2025-04-25 09:44 53K
CE-Sufficient.time-subst.wvr.yml.log 2025-04-25 09:22 41K
CE-Sufficient.time-symm.wvr.yml.log 2025-04-25 09:22 40K
CE-Sufficient.time-trans.wvr.yml.log 2025-04-25 09:22 41K
CE-Sufficient.two-queue.wvr.yml.log 2025-04-25 10:09 101K
CE-Sufficient.unroll-2.wvr.yml.log 2025-04-25 09:13 226K
CE-Sufficient.unroll-3.wvr.yml.log 2025-04-25 09:11 183K
CE-Sufficient.unroll-4.wvr.yml.log 2025-04-25 09:11 157K
CE-Sufficient.unroll-5.wvr.yml.log 2025-04-25 09:24 147K
CE-Sufficient.unroll-cond-2.wvr.yml.log 2025-04-25 09:16 195K
CE-Sufficient.unroll-cond-3.wvr.yml.log 2025-04-25 09:21 161K
CE-Sufficient.unroll-cond-4.wvr.yml.log 2025-04-25 09:23 127K
CE-Sufficient.unroll-cond-5.wvr.yml.log 2025-04-25 09:31 53K
CE-Sufficient.vector-add.wvr.yml.log 2025-04-25 10:58 97K
CE-Sufficient.word-subst.wvr.yml.log 2025-04-25 09:23 241K
CE-Sufficient.word-symm.wvr.yml.log 2025-04-25 09:22 142K
CE-Sufficient.word-trans.wvr.yml.log 2025-04-25 09:23 295K
PROOFSENSITIVE.array-eq-symm.wvr.yml.log 2025-04-25 06:46 88K
PROOFSENSITIVE.array-eq-trans.wvr.yml.log 2025-04-25 06:47 170K
PROOFSENSITIVE.array-int-subst.wvr.yml.log 2025-04-25 07:03 200K
PROOFSENSITIVE.array-int-symm.wvr.yml.log 2025-04-25 07:01 77K
PROOFSENSITIVE.array-int-trans.wvr.yml.log 2025-04-25 07:02 277K
PROOFSENSITIVE.array-sum-alt.wvr.yml.log 2025-04-25 08:23 636K
PROOFSENSITIVE.array-sum.wvr.yml.log 2025-04-25 08:24 294K
PROOFSENSITIVE.bakery-2.wvr.yml.log 2025-04-25 07:05 71K
PROOFSENSITIVE.bakery-3.wvr.yml.log 2025-04-25 07:05 313K
PROOFSENSITIVE.bakery-4.wvr.yml.log 2025-04-25 07:18 2.1M
PROOFSENSITIVE.barrier-loop.wvr.yml.log 2025-04-25 07:05 76K
PROOFSENSITIVE.barrier.wvr.yml.log 2025-04-25 07:06 86K
PROOFSENSITIVE.bluetooth.wvr.yml.log 2025-04-25 07:05 49K
PROOFSENSITIVE.buffer-mult-alt.wvr.yml.log 2025-04-25 08:19 177K
PROOFSENSITIVE.buffer-mult.wvr.yml.log 2025-04-25 08:24 303K
PROOFSENSITIVE.buffer-series-array.wvr.yml.log 2025-04-25 08:23 183K
PROOFSENSITIVE.buffer-series.wvr.yml.log 2025-04-25 08:24 182K
PROOFSENSITIVE.channel-sum.wvr.yml.log 2025-04-25 07:35 319K
PROOFSENSITIVE.chromosome-opt-symm.wvr.yml.log 2025-04-25 07:01 92K
PROOFSENSITIVE.chromosome-subst.wvr.yml.log 2025-04-25 07:02 137K
PROOFSENSITIVE.chromosome-symm.wvr.yml.log 2025-04-25 07:02 127K
PROOFSENSITIVE.chromosome-trans.wvr.yml.log 2025-04-25 07:02 218K
PROOFSENSITIVE.clever.wvr.yml.log 2025-04-25 07:00 4.7M
PROOFSENSITIVE.collitem-subst.wvr.yml.log 2025-04-25 07:02 40K
PROOFSENSITIVE.collitem-symm.wvr.yml.log 2025-04-25 07:02 39K
PROOFSENSITIVE.collitem-trans.wvr.yml.log 2025-04-25 07:02 40K
PROOFSENSITIVE.commit-1.wvr.yml.log 2025-04-25 08:05 174K
PROOFSENSITIVE.commit-2.wvr.yml.log 2025-04-25 08:05 287K
PROOFSENSITIVE.container-subst.wvr.yml.log 2025-04-25 07:02 40K
PROOFSENSITIVE.container-symm.wvr.yml.log 2025-04-25 07:02 39K
PROOFSENSITIVE.container-trans.wvr.yml.log 2025-04-25 07:03 40K
PROOFSENSITIVE.context1.wvr.yml.log 2025-04-25 09:01 1.2M
PROOFSENSITIVE.counter-add-4-semi-Q67.wvr.yml.log 2025-04-25 09:01 2.1M
PROOFSENSITIVE.counter-determinism.wvr.yml.log 2025-04-25 07:35 1.0M
PROOFSENSITIVE.counter-fun.wvr.yml.log 2025-04-25 07:36 284K
PROOFSENSITIVE.counter-queue.wvr.yml.log 2025-04-25 08:05 79K
PROOFSENSITIVE.dec-subseq-array.wvr.yml.log 2025-04-25 08:22 80K
PROOFSENSITIVE.dec-subseq.wvr.yml.log 2025-04-25 08:26 80K
PROOFSENSITIVE.difference-det.wvr.yml.log 2025-04-25 07:40 720K
PROOFSENSITIVE.dot-product-alt.wvr.yml.log 2025-04-25 08:09 138K
PROOFSENSITIVE.dot-product-array.wvr.yml.log 2025-04-25 08:25 84K
PROOFSENSITIVE.dot-product.wvr.yml.log 2025-04-25 08:25 84K
PROOFSENSITIVE.easy1.wvr.yml.log 2025-04-25 08:49 59K
PROOFSENSITIVE.easy10.wvr.yml.log 2025-04-25 08:49 60K
PROOFSENSITIVE.easy11.wvr.yml.log 2025-04-25 08:50 81K
PROOFSENSITIVE.easy6.wvr.yml.log 2025-04-25 08:50 71K
PROOFSENSITIVE.easy7.wvr.yml.log 2025-04-25 08:50 39K
PROOFSENSITIVE.easy8.wvr.yml.log 2025-04-25 08:50 39K
PROOFSENSITIVE.exp-term-subst.wvr.yml.log 2025-04-25 07:03 40K
PROOFSENSITIVE.exp-term-symm.wvr.yml.log 2025-04-25 07:03 39K
PROOFSENSITIVE.exp1x3.wvr.yml.log 2025-04-25 07:00 67K
PROOFSENSITIVE.exp2x3.wvr.yml.log 2025-04-25 07:00 110K
PROOFSENSITIVE.exp2x4.wvr.yml.log 2025-04-25 07:00 111K
PROOFSENSITIVE.exp2x6.wvr.yml.log 2025-04-25 07:00 111K
PROOFSENSITIVE.exp2x9.wvr.yml.log 2025-04-25 07:01 108K
PROOFSENSITIVE.exp3x3-opt.wvr.yml.log 2025-04-25 07:01 112K
PROOFSENSITIVE.exp3x3.wvr.yml.log 2025-04-25 07:01 181K
PROOFSENSITIVE.fibonacci.wvr.yml.log 2025-04-25 06:46 73K
PROOFSENSITIVE.figure1-alt.wvr.yml.log 2025-04-25 07:28 84K
PROOFSENSITIVE.figure1.wvr.yml.log 2025-04-25 07:41 697K
PROOFSENSITIVE.figure3.wvr.yml.log 2025-04-25 07:42 954K
PROOFSENSITIVE.file-item-subst.wvr.yml.log 2025-04-25 07:03 40K
PROOFSENSITIVE.file-item-symm.wvr.yml.log 2025-04-25 07:03 39K
PROOFSENSITIVE.file-item-trans.wvr.yml.log 2025-04-25 07:03 40K
PROOFSENSITIVE.hard1.wvr.yml.log 2025-04-25 09:04 915K
PROOFSENSITIVE.horseshoe.wvr.yml.log 2025-04-25 07:41 1.2M
PROOFSENSITIVE.inc-subseq-array.wvr.yml.log 2025-04-25 08:27 80K
PROOFSENSITIVE.inc-subseq.wvr.yml.log 2025-04-25 08:27 80K
PROOFSENSITIVE.lamport.wvr.yml.log 2025-04-25 07:06 71K
PROOFSENSITIVE.loop-tiling-eq.wvr.yml.log 2025-04-25 07:01 197K
PROOFSENSITIVE.match-subst.wvr.yml.log 2025-04-25 07:03 40K
PROOFSENSITIVE.match-symm.wvr.yml.log 2025-04-25 07:03 39K
PROOFSENSITIVE.match-trans.wvr.yml.log 2025-04-25 07:03 40K
PROOFSENSITIVE.max-array-hom.wvr.yml.log 2025-04-25 08:28 81K
PROOFSENSITIVE.max-array.wvr.yml.log 2025-04-25 08:39 168K
PROOFSENSITIVE.max-fun-alt.wvr.yml.log 2025-04-25 08:39 168K
PROOFSENSITIVE.max-fun.wvr.yml.log 2025-04-25 08:30 81K
PROOFSENSITIVE.min-array-hom.wvr.yml.log 2025-04-25 08:31 129K
PROOFSENSITIVE.min-array.wvr.yml.log 2025-04-25 08:30 129K
PROOFSENSITIVE.min-fun-alt.wvr.yml.log 2025-04-25 08:31 129K
PROOFSENSITIVE.min-fun.wvr.yml.log 2025-04-25 08:33 129K
PROOFSENSITIVE.min-le-max.wvr.yml.log 2025-04-25 08:30 57K
PROOFSENSITIVE.min-max-1.wvr.yml.log 2025-04-25 07:06 44K
PROOFSENSITIVE.min-max-2.wvr.yml.log 2025-04-25 07:20 178K
PROOFSENSITIVE.min-max-dec.wvr.yml.log 2025-04-25 07:50 132K
PROOFSENSITIVE.min-max-inc-dec.wvr.yml.log 2025-04-25 07:50 167K
PROOFSENSITIVE.min-max-inc.wvr.yml.log 2025-04-25 07:50 240K
PROOFSENSITIVE.misc-1.wvr.yml.log 2025-04-25 07:20 218K
PROOFSENSITIVE.misc-2-unrolled-atomic.wvr.yml.log 2025-04-25 07:06 40K
PROOFSENSITIVE.misc-2-unrolled.wvr.yml.log 2025-04-25 07:06 54K
PROOFSENSITIVE.misc-2.wvr.yml.log 2025-04-25 07:06 130K
PROOFSENSITIVE.misc-3-extended.wvr.yml.log 2025-04-25 07:07 83K
PROOFSENSITIVE.misc-3.wvr.yml.log 2025-04-25 07:07 62K
PROOFSENSITIVE.misc-4.wvr.yml.log 2025-04-25 07:07 65K
PROOFSENSITIVE.misc-5.wvr.yml.log 2025-04-25 07:15 522K
PROOFSENSITIVE.mts-array.wvr.yml.log 2025-04-25 08:33 75K
PROOFSENSITIVE.mts.wvr.yml.log 2025-04-25 08:34 75K
PROOFSENSITIVE.mult-4.wvr.yml.log 2025-04-25 07:54 2.6M
PROOFSENSITIVE.mult-comm.wvr.yml.log 2025-04-25 07:00 828K
PROOFSENSITIVE.mult-dist.wvr.yml.log 2025-04-25 06:59 1.3M
PROOFSENSITIVE.mult-equiv.wvr.yml.log 2025-04-25 07:55 1.7M
PROOFSENSITIVE.mult-flipped-dist.wvr.yml.log 2025-04-25 06:46 97K
PROOFSENSITIVE.multiply-verify.wvr.yml.log 2025-04-25 08:31 74K
PROOFSENSITIVE.name-comparator-subst.wvr.yml.log 2025-04-25 07:03 116K
PROOFSENSITIVE.name-comparator-symm.wvr.yml.log 2025-04-25 07:03 84K
PROOFSENSITIVE.name-comparator-trans.wvr.yml.log 2025-04-25 07:04 212K
PROOFSENSITIVE.node-subst.wvr.yml.log 2025-04-25 07:03 40K
PROOFSENSITIVE.node-symm.wvr.yml.log 2025-04-25 07:03 39K
PROOFSENSITIVE.node-trans.wvr.yml.log 2025-04-25 07:03 40K
PROOFSENSITIVE.nonblocking-cntr-alt.wvr.yml.log 2025-04-25 07:42 93K
PROOFSENSITIVE.nonblocking-cntr.wvr.yml.log 2025-04-25 07:42 118K
PROOFSENSITIVE.nonblocking-counter-alt2.wvr.yml.log 2025-04-25 08:45 129K
PROOFSENSITIVE.nzb-file-subst.wvr.yml.log 2025-04-25 07:04 241K
PROOFSENSITIVE.nzb-file-symm.wvr.yml.log 2025-04-25 07:04 137K
PROOFSENSITIVE.nzb-file-trans.wvr.yml.log 2025-04-25 07:04 225K
PROOFSENSITIVE.parallel-sum-1-dsl.wvr.yml.log 2025-04-25 07:21 300K
PROOFSENSITIVE.parallel-sum-1.wvr.yml.log 2025-04-25 07:21 491K
PROOFSENSITIVE.parallel-sum-2.wvr.yml.log 2025-04-25 07:28 459K
PROOFSENSITIVE.parallel-sum-equiv.wvr.yml.log 2025-04-25 07:30 248K
PROOFSENSITIVE.parray-copy.wvr.yml.log 2025-04-25 08:32 144K
PROOFSENSITIVE.poker-hand-subst.wvr.yml.log 2025-04-25 07:06 744K
PROOFSENSITIVE.poker-hand-symm.wvr.yml.log 2025-04-25 07:04 267K
PROOFSENSITIVE.poker-hand-trans.wvr.yml.log 2025-04-25 07:05 524K
PROOFSENSITIVE.prod-cons-eq.wvr.yml.log 2025-04-25 07:44 110K
PROOFSENSITIVE.prod-cons.wvr.yml.log 2025-04-25 07:53 108K
PROOFSENSITIVE.prod-cons3.wvr.yml.log 2025-04-25 07:49 97K
PROOFSENSITIVE.queue-add-2-nl.wvr.yml.log 2025-04-25 08:47 1.0M
PROOFSENSITIVE.queue-add-2.wvr.yml.log 2025-04-25 08:03 1.0M
PROOFSENSITIVE.queue-add-3-nl.wvr.yml.log 2025-04-25 08:47 305K
PROOFSENSITIVE.queue-add-3.wvr.yml.log 2025-04-25 08:04 430K
PROOFSENSITIVE.ring-nondet.wvr.yml.log 2025-04-25 08:22 415K
PROOFSENSITIVE.ring.wvr.yml.log 2025-04-25 08:09 123K
PROOFSENSITIVE.security.wvr.yml.log 2025-04-25 06:46 77K
PROOFSENSITIVE.semi1.wvr.yml.log 2025-04-25 08:50 39K
PROOFSENSITIVE.send-receive-alt.wvr.yml.log 2025-04-25 08:02 327K
PROOFSENSITIVE.send-receive.wvr.yml.log 2025-04-25 08:05 295K
PROOFSENSITIVE.simpl-str-subst.wvr.yml.log 2025-04-25 07:04 40K
PROOFSENSITIVE.simpl-str-symm.wvr.yml.log 2025-04-25 07:04 39K
PROOFSENSITIVE.simpl-str-trans.wvr.yml.log 2025-04-25 07:04 40K
PROOFSENSITIVE.simple-array-sum.wvr.yml.log 2025-04-25 08:07 201K
PROOFSENSITIVE.simple-equiv.wvr.yml.log 2025-04-25 07:19 40K
PROOFSENSITIVE.simple-queue.wvr.yml.log 2025-04-25 07:54 95K
PROOFSENSITIVE.sorted.wvr.yml.log 2025-04-25 08:44 216K
PROOFSENSITIVE.spaghetti.wvr.yml.log 2025-04-25 06:47 45K
PROOFSENSITIVE.sre-subst.wvr.yml.log 2025-04-25 07:04 40K
PROOFSENSITIVE.sre-symm.wvr.yml.log 2025-04-25 07:04 39K
PROOFSENSITIVE.sre-trans.wvr.yml.log 2025-04-25 07:04 40K
PROOFSENSITIVE.sum-array-hom.wvr.yml.log 2025-04-25 08:49 423K
PROOFSENSITIVE.sum-array.wvr.yml.log 2025-04-25 08:50 503K
PROOFSENSITIVE.sum-fun-alt.wvr.yml.log 2025-04-25 08:51 502K
PROOFSENSITIVE.sum-fun.wvr.yml.log 2025-04-25 08:55 423K
PROOFSENSITIVE.threaded-sum-2.wvr.yml.log 2025-04-25 08:09 123K
PROOFSENSITIVE.threaded-sum-3.wvr.yml.log 2025-04-25 08:08 486K
PROOFSENSITIVE.three-array-max.wvr.yml.log 2025-04-25 08:09 95K
PROOFSENSITIVE.three-array-min.wvr.yml.log 2025-04-25 08:13 99K
PROOFSENSITIVE.three-array-sum-alt.wvr.yml.log 2025-04-25 08:09 130K
PROOFSENSITIVE.three-array-sum.wvr.yml.log 2025-04-25 08:04 159K
PROOFSENSITIVE.ticket-2.wvr.yml.log 2025-04-25 07:19 48K
PROOFSENSITIVE.ticket-3.wvr.yml.log 2025-04-25 07:19 84K
PROOFSENSITIVE.ticket-4.wvr.yml.log 2025-04-25 07:19 185K
PROOFSENSITIVE.ticket-5.wvr.yml.log 2025-04-25 07:19 355K
PROOFSENSITIVE.ticket-6.wvr.yml.log 2025-04-25 07:21 617K
PROOFSENSITIVE.ticket-7.wvr.yml.log 2025-04-25 07:27 438K
PROOFSENSITIVE.ticket-8.wvr.yml.log 2025-04-25 07:27 50K
PROOFSENSITIVE.time-subst.wvr.yml.log 2025-04-25 07:04 40K
PROOFSENSITIVE.time-symm.wvr.yml.log 2025-04-25 07:04 39K
PROOFSENSITIVE.time-trans.wvr.yml.log 2025-04-25 07:05 40K
PROOFSENSITIVE.two-queue.wvr.yml.log 2025-04-25 08:04 95K
PROOFSENSITIVE.unroll-2.wvr.yml.log 2025-04-25 06:56 208K
PROOFSENSITIVE.unroll-3.wvr.yml.log 2025-04-25 06:54 167K
PROOFSENSITIVE.unroll-4.wvr.yml.log 2025-04-25 06:54 144K
PROOFSENSITIVE.unroll-5.wvr.yml.log 2025-04-25 07:07 133K
PROOFSENSITIVE.unroll-cond-2.wvr.yml.log 2025-04-25 07:00 180K
PROOFSENSITIVE.unroll-cond-3.wvr.yml.log 2025-04-25 07:03 148K
PROOFSENSITIVE.unroll-cond-4.wvr.yml.log 2025-04-25 07:06 117K
PROOFSENSITIVE.unroll-cond-5.wvr.yml.log 2025-04-25 07:14 51K
PROOFSENSITIVE.vector-add.wvr.yml.log 2025-04-25 09:00 92K
PROOFSENSITIVE.word-subst.wvr.yml.log 2025-04-25 07:05 222K
PROOFSENSITIVE.word-symm.wvr.yml.log 2025-04-25 07:05 129K
PROOFSENSITIVE.word-trans.wvr.yml.log 2025-04-25 07:05 273K
UNCONDITIONAL.array-eq-symm.wvr.yml.log 2025-04-25 04:23 85K
UNCONDITIONAL.array-eq-trans.wvr.yml.log 2025-04-25 04:24 166K
UNCONDITIONAL.array-int-subst.wvr.yml.log 2025-04-25 04:40 197K
UNCONDITIONAL.array-int-symm.wvr.yml.log 2025-04-25 04:38 73K
UNCONDITIONAL.array-int-trans.wvr.yml.log 2025-04-25 04:39 273K
UNCONDITIONAL.array-sum-alt.wvr.yml.log 2025-04-25 06:04 672K
UNCONDITIONAL.array-sum.wvr.yml.log 2025-04-25 06:05 291K
UNCONDITIONAL.bakery-2.wvr.yml.log 2025-04-25 04:42 67K
UNCONDITIONAL.bakery-3.wvr.yml.log 2025-04-25 04:42 351K
UNCONDITIONAL.bakery-4.wvr.yml.log 2025-04-25 04:49 1.0M
UNCONDITIONAL.barrier-loop.wvr.yml.log 2025-04-25 04:43 69K
UNCONDITIONAL.barrier.wvr.yml.log 2025-04-25 04:43 76K
UNCONDITIONAL.bluetooth.wvr.yml.log 2025-04-25 04:43 45K
UNCONDITIONAL.buffer-mult-alt.wvr.yml.log 2025-04-25 05:55 132K
UNCONDITIONAL.buffer-mult.wvr.yml.log 2025-04-25 06:05 265K
UNCONDITIONAL.buffer-series-array.wvr.yml.log 2025-04-25 06:06 182K
UNCONDITIONAL.buffer-series.wvr.yml.log 2025-04-25 06:06 182K
UNCONDITIONAL.channel-sum.wvr.yml.log 2025-04-25 05:11 179K
UNCONDITIONAL.chromosome-opt-symm.wvr.yml.log 2025-04-25 04:38 89K
UNCONDITIONAL.chromosome-subst.wvr.yml.log 2025-04-25 04:39 134K
UNCONDITIONAL.chromosome-symm.wvr.yml.log 2025-04-25 04:39 124K
UNCONDITIONAL.chromosome-trans.wvr.yml.log 2025-04-25 04:39 215K
UNCONDITIONAL.clever.wvr.yml.log 2025-04-25 04:37 4.7M
UNCONDITIONAL.collitem-subst.wvr.yml.log 2025-04-25 04:39 37K
UNCONDITIONAL.collitem-symm.wvr.yml.log 2025-04-25 04:39 36K
UNCONDITIONAL.collitem-trans.wvr.yml.log 2025-04-25 04:39 37K
UNCONDITIONAL.commit-1.wvr.yml.log 2025-04-25 05:46 190K
UNCONDITIONAL.commit-2.wvr.yml.log 2025-04-25 05:46 385K
UNCONDITIONAL.container-subst.wvr.yml.log 2025-04-25 04:39 37K
UNCONDITIONAL.container-symm.wvr.yml.log 2025-04-25 04:39 36K
UNCONDITIONAL.container-trans.wvr.yml.log 2025-04-25 04:40 37K
UNCONDITIONAL.context1.wvr.yml.log 2025-04-25 06:46 1.2M
UNCONDITIONAL.counter-add-4-semi-Q67.wvr.yml.log 2025-04-25 06:45 1.7M
UNCONDITIONAL.counter-determinism.wvr.yml.log 2025-04-25 05:11 818K
UNCONDITIONAL.counter-fun.wvr.yml.log 2025-04-25 05:12 439K
UNCONDITIONAL.counter-queue.wvr.yml.log 2025-04-25 05:46 76K
UNCONDITIONAL.dec-subseq-array.wvr.yml.log 2025-04-25 06:09 90K
UNCONDITIONAL.dec-subseq.wvr.yml.log 2025-04-25 06:12 91K
UNCONDITIONAL.difference-det.wvr.yml.log 2025-04-25 05:14 635K
UNCONDITIONAL.dot-product-alt.wvr.yml.log 2025-04-25 05:49 138K
UNCONDITIONAL.dot-product-array.wvr.yml.log 2025-04-25 06:07 84K
UNCONDITIONAL.dot-product.wvr.yml.log 2025-04-25 06:07 84K
UNCONDITIONAL.easy1.wvr.yml.log 2025-04-25 06:32 55K
UNCONDITIONAL.easy10.wvr.yml.log 2025-04-25 06:32 57K
UNCONDITIONAL.easy11.wvr.yml.log 2025-04-25 06:32 78K
UNCONDITIONAL.easy6.wvr.yml.log 2025-04-25 06:32 67K
UNCONDITIONAL.easy7.wvr.yml.log 2025-04-25 06:32 36K
UNCONDITIONAL.easy8.wvr.yml.log 2025-04-25 06:32 36K
UNCONDITIONAL.exp-term-subst.wvr.yml.log 2025-04-25 04:40 37K
UNCONDITIONAL.exp-term-symm.wvr.yml.log 2025-04-25 04:40 36K
UNCONDITIONAL.exp1x3.wvr.yml.log 2025-04-25 04:37 64K
UNCONDITIONAL.exp2x3.wvr.yml.log 2025-04-25 04:37 107K
UNCONDITIONAL.exp2x4.wvr.yml.log 2025-04-25 04:37 107K
UNCONDITIONAL.exp2x6.wvr.yml.log 2025-04-25 04:37 107K
UNCONDITIONAL.exp2x9.wvr.yml.log 2025-04-25 04:38 105K
UNCONDITIONAL.exp3x3-opt.wvr.yml.log 2025-04-25 04:38 108K
UNCONDITIONAL.exp3x3.wvr.yml.log 2025-04-25 04:38 177K
UNCONDITIONAL.fibonacci.wvr.yml.log 2025-04-25 04:23 69K
UNCONDITIONAL.figure1-alt.wvr.yml.log 2025-04-25 05:03 81K
UNCONDITIONAL.figure1.wvr.yml.log 2025-04-25 05:17 663K
UNCONDITIONAL.figure3.wvr.yml.log 2025-04-25 05:17 632K
UNCONDITIONAL.file-item-subst.wvr.yml.log 2025-04-25 04:40 37K
UNCONDITIONAL.file-item-symm.wvr.yml.log 2025-04-25 04:40 36K
UNCONDITIONAL.file-item-trans.wvr.yml.log 2025-04-25 04:40 37K
UNCONDITIONAL.hard1.wvr.yml.log 2025-04-25 06:46 1.3M
UNCONDITIONAL.horseshoe.wvr.yml.log 2025-04-25 05:20 211K
UNCONDITIONAL.inc-subseq-array.wvr.yml.log 2025-04-25 06:10 90K
UNCONDITIONAL.inc-subseq.wvr.yml.log 2025-04-25 06:12 90K
UNCONDITIONAL.lamport.wvr.yml.log 2025-04-25 04:43 68K
UNCONDITIONAL.loop-tiling-eq.wvr.yml.log 2025-04-25 04:38 200K
UNCONDITIONAL.match-subst.wvr.yml.log 2025-04-25 04:40 37K
UNCONDITIONAL.match-symm.wvr.yml.log 2025-04-25 04:40 36K
UNCONDITIONAL.match-trans.wvr.yml.log 2025-04-25 04:40 37K
UNCONDITIONAL.max-array-hom.wvr.yml.log 2025-04-25 06:10 81K
UNCONDITIONAL.max-array.wvr.yml.log 2025-04-25 06:21 164K
UNCONDITIONAL.max-fun-alt.wvr.yml.log 2025-04-25 06:22 164K
UNCONDITIONAL.max-fun.wvr.yml.log 2025-04-25 06:14 81K
UNCONDITIONAL.min-array-hom.wvr.yml.log 2025-04-25 06:15 129K
UNCONDITIONAL.min-array.wvr.yml.log 2025-04-25 06:14 129K
UNCONDITIONAL.min-fun-alt.wvr.yml.log 2025-04-25 06:15 129K
UNCONDITIONAL.min-fun.wvr.yml.log 2025-04-25 06:17 129K
UNCONDITIONAL.min-le-max.wvr.yml.log 2025-04-25 06:14 59K
UNCONDITIONAL.min-max-1.wvr.yml.log 2025-04-25 04:43 41K
UNCONDITIONAL.min-max-2.wvr.yml.log 2025-04-25 04:57 171K
UNCONDITIONAL.min-max-dec.wvr.yml.log 2025-04-25 05:26 136K
UNCONDITIONAL.min-max-inc-dec.wvr.yml.log 2025-04-25 05:26 178K
UNCONDITIONAL.min-max-inc.wvr.yml.log 2025-04-25 05:26 183K
UNCONDITIONAL.misc-1.wvr.yml.log 2025-04-25 04:57 214K
UNCONDITIONAL.misc-2-unrolled-atomic.wvr.yml.log 2025-04-25 04:43 36K
UNCONDITIONAL.misc-2-unrolled.wvr.yml.log 2025-04-25 04:43 50K
UNCONDITIONAL.misc-2.wvr.yml.log 2025-04-25 04:43 127K
UNCONDITIONAL.misc-3-extended.wvr.yml.log 2025-04-25 04:43 79K
UNCONDITIONAL.misc-3.wvr.yml.log 2025-04-25 04:43 58K
UNCONDITIONAL.misc-4.wvr.yml.log 2025-04-25 04:43 64K
UNCONDITIONAL.misc-5.wvr.yml.log 2025-04-25 04:51 475K
UNCONDITIONAL.mts-array.wvr.yml.log 2025-04-25 06:17 75K
UNCONDITIONAL.mts.wvr.yml.log 2025-04-25 06:18 75K
UNCONDITIONAL.mult-4.wvr.yml.log 2025-04-25 05:28 607K
UNCONDITIONAL.mult-comm.wvr.yml.log 2025-04-25 04:37 824K
UNCONDITIONAL.mult-dist.wvr.yml.log 2025-04-25 04:36 1.3M
UNCONDITIONAL.mult-equiv.wvr.yml.log 2025-04-25 05:31 1.7M
UNCONDITIONAL.mult-flipped-dist.wvr.yml.log 2025-04-25 04:23 94K
UNCONDITIONAL.multiply-verify.wvr.yml.log 2025-04-25 06:15 90K
UNCONDITIONAL.name-comparator-subst.wvr.yml.log 2025-04-25 04:40 113K
UNCONDITIONAL.name-comparator-symm.wvr.yml.log 2025-04-25 04:40 80K
UNCONDITIONAL.name-comparator-trans.wvr.yml.log 2025-04-25 04:41 208K
UNCONDITIONAL.node-subst.wvr.yml.log 2025-04-25 04:40 37K
UNCONDITIONAL.node-symm.wvr.yml.log 2025-04-25 04:40 36K
UNCONDITIONAL.node-trans.wvr.yml.log 2025-04-25 04:40 37K
UNCONDITIONAL.nonblocking-cntr-alt.wvr.yml.log 2025-04-25 05:18 128K
UNCONDITIONAL.nonblocking-cntr.wvr.yml.log 2025-04-25 05:32 431K
UNCONDITIONAL.nonblocking-counter-alt2.wvr.yml.log 2025-04-25 06:29 135K
UNCONDITIONAL.nzb-file-subst.wvr.yml.log 2025-04-25 04:41 238K
UNCONDITIONAL.nzb-file-symm.wvr.yml.log 2025-04-25 04:41 134K
UNCONDITIONAL.nzb-file-trans.wvr.yml.log 2025-04-25 04:41 222K
UNCONDITIONAL.parallel-sum-1-dsl.wvr.yml.log 2025-04-25 04:56 246K
UNCONDITIONAL.parallel-sum-1.wvr.yml.log 2025-04-25 04:58 488K
UNCONDITIONAL.parallel-sum-2.wvr.yml.log 2025-04-25 05:03 455K
UNCONDITIONAL.parallel-sum-equiv.wvr.yml.log 2025-04-25 05:05 245K
UNCONDITIONAL.parray-copy.wvr.yml.log 2025-04-25 06:16 144K
UNCONDITIONAL.poker-hand-subst.wvr.yml.log 2025-04-25 04:44 741K
UNCONDITIONAL.poker-hand-symm.wvr.yml.log 2025-04-25 04:41 263K
UNCONDITIONAL.poker-hand-trans.wvr.yml.log 2025-04-25 04:42 520K
UNCONDITIONAL.prod-cons-eq.wvr.yml.log 2025-04-25 05:34 102K
UNCONDITIONAL.prod-cons.wvr.yml.log 2025-04-25 05:36 98K
UNCONDITIONAL.prod-cons3.wvr.yml.log 2025-04-25 05:40 121K
UNCONDITIONAL.queue-add-2-nl.wvr.yml.log 2025-04-25 06:31 314K
UNCONDITIONAL.queue-add-2.wvr.yml.log 2025-04-25 05:40 380K
UNCONDITIONAL.queue-add-3-nl.wvr.yml.log 2025-04-25 06:31 275K
UNCONDITIONAL.queue-add-3.wvr.yml.log 2025-04-25 05:42 255K
UNCONDITIONAL.ring-nondet.wvr.yml.log 2025-04-25 06:00 223K
UNCONDITIONAL.ring.wvr.yml.log 2025-04-25 05:50 120K
UNCONDITIONAL.security.wvr.yml.log 2025-04-25 04:23 73K
UNCONDITIONAL.semi1.wvr.yml.log 2025-04-25 06:33 36K
UNCONDITIONAL.send-receive-alt.wvr.yml.log 2025-04-25 05:45 170K
UNCONDITIONAL.send-receive.wvr.yml.log 2025-04-25 05:46 156K
UNCONDITIONAL.simpl-str-subst.wvr.yml.log 2025-04-25 04:41 37K
UNCONDITIONAL.simpl-str-symm.wvr.yml.log 2025-04-25 04:41 36K
UNCONDITIONAL.simpl-str-trans.wvr.yml.log 2025-04-25 04:41 37K
UNCONDITIONAL.simple-array-sum.wvr.yml.log 2025-04-25 05:35 155K
UNCONDITIONAL.simple-equiv.wvr.yml.log 2025-04-25 04:51 37K
UNCONDITIONAL.simple-queue.wvr.yml.log 2025-04-25 05:36 121K
UNCONDITIONAL.sorted.wvr.yml.log 2025-04-25 06:29 216K
UNCONDITIONAL.spaghetti.wvr.yml.log 2025-04-25 04:24 42K
UNCONDITIONAL.sre-subst.wvr.yml.log 2025-04-25 04:41 36K
UNCONDITIONAL.sre-symm.wvr.yml.log 2025-04-25 04:41 36K
UNCONDITIONAL.sre-trans.wvr.yml.log 2025-04-25 04:41 37K
UNCONDITIONAL.sum-array-hom.wvr.yml.log 2025-04-25 06:32 423K
UNCONDITIONAL.sum-array.wvr.yml.log 2025-04-25 06:33 502K
UNCONDITIONAL.sum-fun-alt.wvr.yml.log 2025-04-25 06:34 502K
UNCONDITIONAL.sum-fun.wvr.yml.log 2025-04-25 06:41 423K
UNCONDITIONAL.threaded-sum-2.wvr.yml.log 2025-04-25 06:04 302K
UNCONDITIONAL.threaded-sum-3.wvr.yml.log 2025-04-25 05:50 389K
UNCONDITIONAL.three-array-max.wvr.yml.log 2025-04-25 05:53 92K
UNCONDITIONAL.three-array-min.wvr.yml.log 2025-04-25 05:51 99K
UNCONDITIONAL.three-array-sum-alt.wvr.yml.log 2025-04-25 05:50 126K
UNCONDITIONAL.three-array-sum.wvr.yml.log 2025-04-25 05:42 182K
UNCONDITIONAL.ticket-2.wvr.yml.log 2025-04-25 04:51 45K
UNCONDITIONAL.ticket-3.wvr.yml.log 2025-04-25 04:51 81K
UNCONDITIONAL.ticket-4.wvr.yml.log 2025-04-25 04:51 192K
UNCONDITIONAL.ticket-5.wvr.yml.log 2025-04-25 04:52 365K
UNCONDITIONAL.ticket-6.wvr.yml.log 2025-04-25 04:54 670K
UNCONDITIONAL.ticket-7.wvr.yml.log 2025-04-25 05:00 438K
UNCONDITIONAL.ticket-8.wvr.yml.log 2025-04-25 05:03 50K
UNCONDITIONAL.time-subst.wvr.yml.log 2025-04-25 04:41 37K
UNCONDITIONAL.time-symm.wvr.yml.log 2025-04-25 04:42 36K
UNCONDITIONAL.time-trans.wvr.yml.log 2025-04-25 04:42 37K
UNCONDITIONAL.two-queue.wvr.yml.log 2025-04-25 05:46 121K
UNCONDITIONAL.unroll-2.wvr.yml.log 2025-04-25 04:33 208K
UNCONDITIONAL.unroll-3.wvr.yml.log 2025-04-25 04:30 167K
UNCONDITIONAL.unroll-4.wvr.yml.log 2025-04-25 04:30 144K
UNCONDITIONAL.unroll-5.wvr.yml.log 2025-04-25 04:43 134K
UNCONDITIONAL.unroll-cond-2.wvr.yml.log 2025-04-25 04:36 180K
UNCONDITIONAL.unroll-cond-3.wvr.yml.log 2025-04-25 04:40 148K
UNCONDITIONAL.unroll-cond-4.wvr.yml.log 2025-04-25 04:43 117K
UNCONDITIONAL.unroll-cond-5.wvr.yml.log 2025-04-25 04:51 47K
UNCONDITIONAL.vector-add.wvr.yml.log 2025-04-25 06:43 89K
UNCONDITIONAL.word-subst.wvr.yml.log 2025-04-25 04:42 219K
UNCONDITIONAL.word-symm.wvr.yml.log 2025-04-25 04:42 126K
UNCONDITIONAL.word-trans.wvr.yml.log 2025-04-25 04:42 269K