Index of /logs/conditional-commutativity/20241116-020559-conditional-commutativity-aee53f61c4/conditional-commutativity.2024-11-16_00-52-30.logfiles
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
CE-NecessaryAndSufficient.array-eq-symm.wvr.yml.log 2024-11-16 00:52 86K
CE-NecessaryAndSufficient.array-eq-trans.wvr.yml.log 2024-11-16 00:53 167K
CE-NecessaryAndSufficient.array-int-subst.wvr.yml.log 2024-11-16 00:54 176K
CE-NecessaryAndSufficient.array-int-symm.wvr.yml.log 2024-11-16 00:53 89K
CE-NecessaryAndSufficient.array-int-trans.wvr.yml.log 2024-11-16 00:55 284K
CE-NecessaryAndSufficient.array-sum-alt.wvr.yml.log 2024-11-16 01:37 657K
CE-NecessaryAndSufficient.array-sum.wvr.yml.log 2024-11-16 01:27 207K
CE-NecessaryAndSufficient.bakery-2.wvr.yml.log 2024-11-16 00:59 70K
CE-NecessaryAndSufficient.bakery-3.wvr.yml.log 2024-11-16 00:59 314K
CE-NecessaryAndSufficient.bakery-4.wvr.yml.log 2024-11-16 01:10 1.8M
CE-NecessaryAndSufficient.barrier-loop.wvr.yml.log 2024-11-16 00:59 75K
CE-NecessaryAndSufficient.barrier.wvr.yml.log 2024-11-16 00:59 86K
CE-NecessaryAndSufficient.bluetooth.wvr.yml.log 2024-11-16 00:59 48K
CE-NecessaryAndSufficient.buffer-mult-alt.wvr.yml.log 2024-11-16 01:31 186K
CE-NecessaryAndSufficient.buffer-mult.wvr.yml.log 2024-11-16 01:40 310K
CE-NecessaryAndSufficient.buffer-series-array.wvr.yml.log 2024-11-16 01:37 180K
CE-NecessaryAndSufficient.buffer-series.wvr.yml.log 2024-11-16 01:37 180K
CE-NecessaryAndSufficient.channel-sum.wvr.yml.log 2024-11-16 01:20 425K
CE-NecessaryAndSufficient.chromosome-opt-symm.wvr.yml.log 2024-11-16 00:55 100K
CE-NecessaryAndSufficient.chromosome-subst.wvr.yml.log 2024-11-16 00:55 155K
CE-NecessaryAndSufficient.chromosome-symm.wvr.yml.log 2024-11-16 00:55 129K
CE-NecessaryAndSufficient.chromosome-trans.wvr.yml.log 2024-11-16 00:55 225K
CE-NecessaryAndSufficient.clever.wvr.yml.log 2024-11-16 01:06 5.6M
CE-NecessaryAndSufficient.collitem-subst.wvr.yml.log 2024-11-16 00:55 39K
CE-NecessaryAndSufficient.collitem-symm.wvr.yml.log 2024-11-16 00:55 38K
CE-NecessaryAndSufficient.collitem-trans.wvr.yml.log 2024-11-16 00:55 39K
CE-NecessaryAndSufficient.commit-1.wvr.yml.log 2024-11-16 01:21 207K
CE-NecessaryAndSufficient.commit-2.wvr.yml.log 2024-11-16 01:21 315K
CE-NecessaryAndSufficient.container-subst.wvr.yml.log 2024-11-16 00:56 39K
CE-NecessaryAndSufficient.container-symm.wvr.yml.log 2024-11-16 00:56 38K
CE-NecessaryAndSufficient.container-trans.wvr.yml.log 2024-11-16 00:56 39K
CE-NecessaryAndSufficient.context1.wvr.yml.log 2024-11-16 01:38 81K
CE-NecessaryAndSufficient.counter-add-4-semi-Q67.wvr.yml.log 2024-11-16 01:37 140K
CE-NecessaryAndSufficient.counter-determinism.wvr.yml.log 2024-11-16 01:07 159K
CE-NecessaryAndSufficient.counter-fun.wvr.yml.log 2024-11-16 01:07 141K
CE-NecessaryAndSufficient.counter-queue.wvr.yml.log 2024-11-16 01:21 79K
CE-NecessaryAndSufficient.dec-subseq-array.wvr.yml.log 2024-11-16 01:30 79K
CE-NecessaryAndSufficient.dec-subseq.wvr.yml.log 2024-11-16 01:31 79K
CE-NecessaryAndSufficient.difference-det.wvr.yml.log 2024-11-16 01:08 233K
CE-NecessaryAndSufficient.dot-product-alt.wvr.yml.log 2024-11-16 01:25 136K
CE-NecessaryAndSufficient.dot-product-array.wvr.yml.log 2024-11-16 01:30 83K
CE-NecessaryAndSufficient.dot-product.wvr.yml.log 2024-11-16 01:36 198K
CE-NecessaryAndSufficient.easy1.wvr.yml.log 2024-11-16 01:38 58K
CE-NecessaryAndSufficient.easy10.wvr.yml.log 2024-11-16 01:38 59K
CE-NecessaryAndSufficient.easy11.wvr.yml.log 2024-11-16 01:38 80K
CE-NecessaryAndSufficient.easy6.wvr.yml.log 2024-11-16 01:38 70K
CE-NecessaryAndSufficient.easy7.wvr.yml.log 2024-11-16 01:38 38K
CE-NecessaryAndSufficient.easy8.wvr.yml.log 2024-11-16 01:38 38K
CE-NecessaryAndSufficient.exp-term-subst.wvr.yml.log 2024-11-16 00:56 39K
CE-NecessaryAndSufficient.exp-term-symm.wvr.yml.log 2024-11-16 00:56 38K
CE-NecessaryAndSufficient.exp1x3.wvr.yml.log 2024-11-16 00:52 66K
CE-NecessaryAndSufficient.exp2x3.wvr.yml.log 2024-11-16 00:52 109K
CE-NecessaryAndSufficient.exp2x4.wvr.yml.log 2024-11-16 00:53 110K
CE-NecessaryAndSufficient.exp2x6.wvr.yml.log 2024-11-16 00:53 110K
CE-NecessaryAndSufficient.exp2x9.wvr.yml.log 2024-11-16 00:53 108K
CE-NecessaryAndSufficient.exp3x3-opt.wvr.yml.log 2024-11-16 00:53 112K
CE-NecessaryAndSufficient.exp3x3.wvr.yml.log 2024-11-16 00:53 180K
CE-NecessaryAndSufficient.fibonacci.wvr.yml.log 2024-11-16 00:52 74K
CE-NecessaryAndSufficient.figure1-alt.wvr.yml.log 2024-11-16 01:08 81K
CE-NecessaryAndSufficient.figure1.wvr.yml.log 2024-11-16 01:08 78K
CE-NecessaryAndSufficient.figure3.wvr.yml.log 2024-11-16 01:21 1.5M
CE-NecessaryAndSufficient.file-item-subst.wvr.yml.log 2024-11-16 00:56 39K
CE-NecessaryAndSufficient.file-item-symm.wvr.yml.log 2024-11-16 00:56 38K
CE-NecessaryAndSufficient.file-item-trans.wvr.yml.log 2024-11-16 00:56 39K
CE-NecessaryAndSufficient.hard1.wvr.yml.log 2024-11-16 01:52 949K
CE-NecessaryAndSufficient.horseshoe.wvr.yml.log 2024-11-16 01:14 218K
CE-NecessaryAndSufficient.inc-subseq-array.wvr.yml.log 2024-11-16 01:32 79K
CE-NecessaryAndSufficient.inc-subseq.wvr.yml.log 2024-11-16 01:33 79K
CE-NecessaryAndSufficient.lamport.wvr.yml.log 2024-11-16 00:59 70K
CE-NecessaryAndSufficient.loop-tiling-eq.wvr.yml.log 2024-11-16 01:07 153K
CE-NecessaryAndSufficient.match-subst.wvr.yml.log 2024-11-16 00:56 39K
CE-NecessaryAndSufficient.match-symm.wvr.yml.log 2024-11-16 00:56 38K
CE-NecessaryAndSufficient.match-trans.wvr.yml.log 2024-11-16 00:56 39K
CE-NecessaryAndSufficient.max-array-hom.wvr.yml.log 2024-11-16 01:34 81K
CE-NecessaryAndSufficient.max-array.wvr.yml.log 2024-11-16 01:33 127K
CE-NecessaryAndSufficient.max-fun-alt.wvr.yml.log 2024-11-16 01:34 127K
CE-NecessaryAndSufficient.max-fun.wvr.yml.log 2024-11-16 01:35 80K
CE-NecessaryAndSufficient.min-array-hom.wvr.yml.log 2024-11-16 01:37 127K
CE-NecessaryAndSufficient.min-array.wvr.yml.log 2024-11-16 01:36 127K
CE-NecessaryAndSufficient.min-fun-alt.wvr.yml.log 2024-11-16 01:36 127K
CE-NecessaryAndSufficient.min-fun.wvr.yml.log 2024-11-16 01:38 127K
CE-NecessaryAndSufficient.min-le-max.wvr.yml.log 2024-11-16 01:33 56K
CE-NecessaryAndSufficient.min-max-1.wvr.yml.log 2024-11-16 00:59 43K
CE-NecessaryAndSufficient.min-max-2.wvr.yml.log 2024-11-16 01:14 213K
CE-NecessaryAndSufficient.min-max-dec.wvr.yml.log 2024-11-16 01:22 152K
CE-NecessaryAndSufficient.min-max-inc-dec.wvr.yml.log 2024-11-16 01:23 204K
CE-NecessaryAndSufficient.min-max-inc.wvr.yml.log 2024-11-16 01:11 163K
CE-NecessaryAndSufficient.misc-1.wvr.yml.log 2024-11-16 01:14 119K
CE-NecessaryAndSufficient.misc-2-unrolled-atomic.wvr.yml.log 2024-11-16 01:00 38K
CE-NecessaryAndSufficient.misc-2-unrolled.wvr.yml.log 2024-11-16 01:00 53K
CE-NecessaryAndSufficient.misc-2.wvr.yml.log 2024-11-16 01:00 130K
CE-NecessaryAndSufficient.misc-3-extended.wvr.yml.log 2024-11-16 01:00 81K
CE-NecessaryAndSufficient.misc-3.wvr.yml.log 2024-11-16 01:00 60K
CE-NecessaryAndSufficient.misc-4.wvr.yml.log 2024-11-16 01:00 63K
CE-NecessaryAndSufficient.misc-5.wvr.yml.log 2024-11-16 01:07 1.4M
CE-NecessaryAndSufficient.mts-array.wvr.yml.log 2024-11-16 01:37 74K
CE-NecessaryAndSufficient.mts.wvr.yml.log 2024-11-16 01:38 74K
CE-NecessaryAndSufficient.mult-4.wvr.yml.log 2024-11-16 01:26 2.6M
CE-NecessaryAndSufficient.mult-comm.wvr.yml.log 2024-11-16 01:06 687K
CE-NecessaryAndSufficient.mult-dist.wvr.yml.log 2024-11-16 01:04 1.3M
CE-NecessaryAndSufficient.mult-equiv.wvr.yml.log 2024-11-16 01:26 1.9M
CE-NecessaryAndSufficient.mult-flipped-dist.wvr.yml.log 2024-11-16 00:52 94K
CE-NecessaryAndSufficient.multiply-verify.wvr.yml.log 2024-11-16 01:34 73K
CE-NecessaryAndSufficient.name-comparator-subst.wvr.yml.log 2024-11-16 00:56 132K
CE-NecessaryAndSufficient.name-comparator-symm.wvr.yml.log 2024-11-16 00:56 84K
CE-NecessaryAndSufficient.name-comparator-trans.wvr.yml.log 2024-11-16 00:57 208K
CE-NecessaryAndSufficient.node-subst.wvr.yml.log 2024-11-16 00:57 39K
CE-NecessaryAndSufficient.node-symm.wvr.yml.log 2024-11-16 00:57 38K
CE-NecessaryAndSufficient.node-trans.wvr.yml.log 2024-11-16 00:57 39K
CE-NecessaryAndSufficient.nonblocking-cntr-alt.wvr.yml.log 2024-11-16 01:12 104K
CE-NecessaryAndSufficient.nonblocking-cntr.wvr.yml.log 2024-11-16 01:13 96K
CE-NecessaryAndSufficient.nonblocking-counter-alt2.wvr.yml.log 2024-11-16 01:48 174K
CE-NecessaryAndSufficient.nzb-file-subst.wvr.yml.log 2024-11-16 00:58 289K
CE-NecessaryAndSufficient.nzb-file-symm.wvr.yml.log 2024-11-16 00:57 141K
CE-NecessaryAndSufficient.nzb-file-trans.wvr.yml.log 2024-11-16 00:58 251K
CE-NecessaryAndSufficient.parallel-sum-1-dsl.wvr.yml.log 2024-11-16 01:14 231K
CE-NecessaryAndSufficient.parallel-sum-1.wvr.yml.log 2024-11-16 01:14 503K
CE-NecessaryAndSufficient.parallel-sum-2.wvr.yml.log 2024-11-16 01:14 470K
CE-NecessaryAndSufficient.parallel-sum-equiv.wvr.yml.log 2024-11-16 01:18 397K
CE-NecessaryAndSufficient.parray-copy.wvr.yml.log 2024-11-16 01:49 258K
CE-NecessaryAndSufficient.poker-hand-subst.wvr.yml.log 2024-11-16 01:01 784K
CE-NecessaryAndSufficient.poker-hand-symm.wvr.yml.log 2024-11-16 00:59 278K
CE-NecessaryAndSufficient.poker-hand-trans.wvr.yml.log 2024-11-16 01:00 694K
CE-NecessaryAndSufficient.prod-cons-eq.wvr.yml.log 2024-11-16 01:27 116K
CE-NecessaryAndSufficient.prod-cons.wvr.yml.log 2024-11-16 01:15 91K
CE-NecessaryAndSufficient.prod-cons3.wvr.yml.log 2024-11-16 01:20 95K
CE-NecessaryAndSufficient.queue-add-2-nl.wvr.yml.log 2024-11-16 01:36 125K
CE-NecessaryAndSufficient.queue-add-2.wvr.yml.log 2024-11-16 01:14 115K
CE-NecessaryAndSufficient.queue-add-3-nl.wvr.yml.log 2024-11-16 01:38 200K
CE-NecessaryAndSufficient.queue-add-3.wvr.yml.log 2024-11-16 01:15 192K
CE-NecessaryAndSufficient.ring-nondet.wvr.yml.log 2024-11-16 01:36 446K
CE-NecessaryAndSufficient.ring.wvr.yml.log 2024-11-16 01:22 121K
CE-NecessaryAndSufficient.security.wvr.yml.log 2024-11-16 00:52 76K
CE-NecessaryAndSufficient.semi1.wvr.yml.log 2024-11-16 01:38 38K
CE-NecessaryAndSufficient.send-receive-alt.wvr.yml.log 2024-11-16 01:28 450K
CE-NecessaryAndSufficient.send-receive.wvr.yml.log 2024-11-16 01:28 329K
CE-NecessaryAndSufficient.simpl-str-subst.wvr.yml.log 2024-11-16 00:59 39K
CE-NecessaryAndSufficient.simpl-str-symm.wvr.yml.log 2024-11-16 00:59 38K
CE-NecessaryAndSufficient.simpl-str-trans.wvr.yml.log 2024-11-16 00:59 39K
CE-NecessaryAndSufficient.simple-array-sum.wvr.yml.log 2024-11-16 01:19 172K
CE-NecessaryAndSufficient.simple-equiv.wvr.yml.log 2024-11-16 01:04 39K
CE-NecessaryAndSufficient.simple-queue.wvr.yml.log 2024-11-16 01:15 82K
CE-NecessaryAndSufficient.sorted.wvr.yml.log 2024-11-16 01:51 152K
CE-NecessaryAndSufficient.spaghetti.wvr.yml.log 2024-11-16 00:52 44K
CE-NecessaryAndSufficient.sre-subst.wvr.yml.log 2024-11-16 00:59 39K
CE-NecessaryAndSufficient.sre-symm.wvr.yml.log 2024-11-16 00:59 38K
CE-NecessaryAndSufficient.sre-trans.wvr.yml.log 2024-11-16 00:59 39K
CE-NecessaryAndSufficient.sum-array-hom.wvr.yml.log 2024-11-16 01:42 350K
CE-NecessaryAndSufficient.sum-array.wvr.yml.log 2024-11-16 01:48 448K
CE-NecessaryAndSufficient.sum-fun-alt.wvr.yml.log 2024-11-16 01:49 448K
CE-NecessaryAndSufficient.sum-fun.wvr.yml.log 2024-11-16 01:42 350K
CE-NecessaryAndSufficient.threaded-sum-2.wvr.yml.log 2024-11-16 01:23 132K
CE-NecessaryAndSufficient.threaded-sum-3.wvr.yml.log 2024-11-16 01:30 486K
CE-NecessaryAndSufficient.three-array-max.wvr.yml.log 2024-11-16 01:22 96K
CE-NecessaryAndSufficient.three-array-min.wvr.yml.log 2024-11-16 01:32 98K
CE-NecessaryAndSufficient.three-array-sum-alt.wvr.yml.log 2024-11-16 01:23 128K
CE-NecessaryAndSufficient.three-array-sum.wvr.yml.log 2024-11-16 01:22 177K
CE-NecessaryAndSufficient.ticket-2.wvr.yml.log 2024-11-16 01:04 47K
CE-NecessaryAndSufficient.ticket-3.wvr.yml.log 2024-11-16 01:04 83K
CE-NecessaryAndSufficient.ticket-4.wvr.yml.log 2024-11-16 01:05 185K
CE-NecessaryAndSufficient.ticket-5.wvr.yml.log 2024-11-16 01:05 355K
CE-NecessaryAndSufficient.ticket-6.wvr.yml.log 2024-11-16 01:08 619K
CE-NecessaryAndSufficient.ticket-7.wvr.yml.log 2024-11-16 01:12 408K
CE-NecessaryAndSufficient.ticket-8.wvr.yml.log 2024-11-16 01:11 43K
CE-NecessaryAndSufficient.time-subst.wvr.yml.log 2024-11-16 00:59 39K
CE-NecessaryAndSufficient.time-symm.wvr.yml.log 2024-11-16 00:59 38K
CE-NecessaryAndSufficient.time-trans.wvr.yml.log 2024-11-16 00:59 39K
CE-NecessaryAndSufficient.two-queue.wvr.yml.log 2024-11-16 01:20 94K
CE-NecessaryAndSufficient.unroll-2.wvr.yml.log 2024-11-16 00:58 230K
CE-NecessaryAndSufficient.unroll-3.wvr.yml.log 2024-11-16 01:04 197K
CE-NecessaryAndSufficient.unroll-4.wvr.yml.log 2024-11-16 00:59 147K
CE-NecessaryAndSufficient.unroll-5.wvr.yml.log 2024-11-16 01:06 137K
CE-NecessaryAndSufficient.unroll-cond-2.wvr.yml.log 2024-11-16 00:58 183K
CE-NecessaryAndSufficient.unroll-cond-3.wvr.yml.log 2024-11-16 00:58 150K
CE-NecessaryAndSufficient.unroll-cond-4.wvr.yml.log 2024-11-16 00:58 118K
CE-NecessaryAndSufficient.unroll-cond-5.wvr.yml.log 2024-11-16 01:07 50K
CE-NecessaryAndSufficient.vector-add.wvr.yml.log 2024-11-16 01:51 92K
CE-NecessaryAndSufficient.word-subst.wvr.yml.log 2024-11-16 00:59 228K
CE-NecessaryAndSufficient.word-symm.wvr.yml.log 2024-11-16 00:59 133K
CE-NecessaryAndSufficient.word-trans.wvr.yml.log 2024-11-16 01:00 279K