Index of /logs/student-concurrency/20240430-140439-student-concurrency-faa7b7a484-M/conditional-commutativity.2024-04-27_00-46-49.logfiles

Icon  Name                                                                        Last modified      Size  Description
[PARENTDIR] Parent Directory                                                                                 -   
[TXT] DFS-Default-Limit10.array-eq-symm.wvr.yml.log                               2024-04-27 11:09   84K  
[TXT] DFS-Default-Limit10.array-eq-trans.wvr.yml.log                              2024-04-27 11:10  189K  
[TXT] DFS-Default-Limit10.array-int-subst.wvr.yml.log                             2024-04-27 11:14  161K  
[TXT] DFS-Default-Limit10.array-int-symm.wvr.yml.log                              2024-04-27 11:14   81K  
[TXT] DFS-Default-Limit10.array-int-trans.wvr.yml.log                             2024-04-27 11:15  269K  
[TXT] DFS-Default-Limit10.array-sum-alt.wvr.yml.log                               2024-04-27 11:50  349K  
[TXT] DFS-Default-Limit10.array-sum.wvr.yml.log                                   2024-04-27 11:53  292K  
[TXT] DFS-Default-Limit10.bakery-2.wvr.yml.log                                    2024-04-27 11:21   60K  
[TXT] DFS-Default-Limit10.bakery-3.wvr.yml.log                                    2024-04-27 11:22  270K  
[TXT] DFS-Default-Limit10.bakery-4.wvr.yml.log                                    2024-04-27 11:25  399K  
[TXT] DFS-Default-Limit10.barrier-loop.wvr.yml.log                                2024-04-27 11:22   56K  
[TXT] DFS-Default-Limit10.barrier.wvr.yml.log                                     2024-04-27 11:22   46K  
[TXT] DFS-Default-Limit10.bluetooth.wvr.yml.log                                   2024-04-27 11:22   53K  
[TXT] DFS-Default-Limit10.buffer-mult-alt.wvr.yml.log                             2024-04-27 11:56  237K  
[TXT] DFS-Default-Limit10.buffer-mult.wvr.yml.log                                 2024-04-27 12:02  233K  
[TXT] DFS-Default-Limit10.buffer-series-array.wvr.yml.log                         2024-04-27 12:00  154K  
[TXT] DFS-Default-Limit10.buffer-series.wvr.yml.log                               2024-04-27 12:02  154K  
[TXT] DFS-Default-Limit10.channel-sum.wvr.yml.log                                 2024-04-27 11:33  255K  
[TXT] DFS-Default-Limit10.chromosome-opt-symm.wvr.yml.log                         2024-04-27 11:15   92K  
[TXT] DFS-Default-Limit10.chromosome-subst.wvr.yml.log                            2024-04-27 11:16  144K  
[TXT] DFS-Default-Limit10.chromosome-symm.wvr.yml.log                             2024-04-27 11:15  116K  
[TXT] DFS-Default-Limit10.chromosome-trans.wvr.yml.log                            2024-04-27 11:16  205K  
[TXT] DFS-Default-Limit10.clever.wvr.yml.log                                      2024-04-27 11:22  2.9M  
[TXT] DFS-Default-Limit10.collitem-subst.wvr.yml.log                              2024-04-27 11:16   38K  
[TXT] DFS-Default-Limit10.collitem-symm.wvr.yml.log                               2024-04-27 11:16   37K  
[TXT] DFS-Default-Limit10.collitem-trans.wvr.yml.log                              2024-04-27 11:16   38K  
[TXT] DFS-Default-Limit10.commit-1.wvr.yml.log                                    2024-04-27 11:44  271K  
[TXT] DFS-Default-Limit10.commit-2.wvr.yml.log                                    2024-04-27 11:48  554K  
[TXT] DFS-Default-Limit10.container-subst.wvr.yml.log                             2024-04-27 11:16   38K  
[TXT] DFS-Default-Limit10.container-symm.wvr.yml.log                              2024-04-27 11:16   37K  
[TXT] DFS-Default-Limit10.container-trans.wvr.yml.log                             2024-04-27 11:16   38K  
[TXT] DFS-Default-Limit10.context1.wvr.yml.log                                    2024-04-27 12:00   65K  
[TXT] DFS-Default-Limit10.counter-add-4-semi-Q67.wvr.yml.log                      2024-04-27 12:14  1.6M  
[TXT] DFS-Default-Limit10.counter-determinism.wvr.yml.log                         2024-04-27 11:38  212K  
[TXT] DFS-Default-Limit10.counter-fun.wvr.yml.log                                 2024-04-27 11:33  145K  
[TXT] DFS-Default-Limit10.counter-queue.wvr.yml.log                               2024-04-27 11:43   76K  
[TXT] DFS-Default-Limit10.dec-subseq-array.wvr.yml.log                            2024-04-27 11:49   62K  
[TXT] DFS-Default-Limit10.dec-subseq.wvr.yml.log                                  2024-04-27 11:49   62K  
[TXT] DFS-Default-Limit10.difference-det.wvr.yml.log                              2024-04-27 11:25  113K  
[TXT] DFS-Default-Limit10.dot-product-alt.wvr.yml.log                             2024-04-27 11:49  157K  
[TXT] DFS-Default-Limit10.dot-product-array.wvr.yml.log                           2024-04-27 11:54   86K  
[TXT] DFS-Default-Limit10.dot-product.wvr.yml.log                                 2024-04-27 11:58  239K  
[TXT] DFS-Default-Limit10.easy1.wvr.yml.log                                       2024-04-27 12:00   60K  
[TXT] DFS-Default-Limit10.easy10.wvr.yml.log                                      2024-04-27 12:01   60K  
[TXT] DFS-Default-Limit10.easy11.wvr.yml.log                                      2024-04-27 12:01   75K  
[TXT] DFS-Default-Limit10.easy6.wvr.yml.log                                       2024-04-27 12:01   60K  
[TXT] DFS-Default-Limit10.easy7.wvr.yml.log                                       2024-04-27 12:01   37K  
[TXT] DFS-Default-Limit10.easy8.wvr.yml.log                                       2024-04-27 12:01   37K  
[TXT] DFS-Default-Limit10.exp-term-subst.wvr.yml.log                              2024-04-27 11:16   38K  
[TXT] DFS-Default-Limit10.exp-term-symm.wvr.yml.log                               2024-04-27 11:16   38K  
[TXT] DFS-Default-Limit10.exp1x3.wvr.yml.log                                      2024-04-27 11:09   67K  
[TXT] DFS-Default-Limit10.exp2x3.wvr.yml.log                                      2024-04-27 11:09  115K  
[TXT] DFS-Default-Limit10.exp2x4.wvr.yml.log                                      2024-04-27 11:09  115K  
[TXT] DFS-Default-Limit10.exp2x6.wvr.yml.log                                      2024-04-27 11:10  115K  
[TXT] DFS-Default-Limit10.exp2x9.wvr.yml.log                                      2024-04-27 11:11  115K  
[TXT] DFS-Default-Limit10.exp3x3-opt.wvr.yml.log                                  2024-04-27 11:11  102K  
[TXT] DFS-Default-Limit10.exp3x3.wvr.yml.log                                      2024-04-27 11:13  176K  
[TXT] DFS-Default-Limit10.fibonacci.wvr.yml.log                                   2024-04-27 11:09   70K  
[TXT] DFS-Default-Limit10.figure1-alt.wvr.yml.log                                 2024-04-27 11:26   74K  
[TXT] DFS-Default-Limit10.figure1.wvr.yml.log                                     2024-04-27 11:38  786K  
[TXT] DFS-Default-Limit10.figure3.wvr.yml.log                                     2024-04-27 11:38  776K  
[TXT] DFS-Default-Limit10.file-item-subst.wvr.yml.log                             2024-04-27 11:16   38K  
[TXT] DFS-Default-Limit10.file-item-symm.wvr.yml.log                              2024-04-27 11:16   38K  
[TXT] DFS-Default-Limit10.file-item-trans.wvr.yml.log                             2024-04-27 11:17   38K  
[TXT] DFS-Default-Limit10.hard1.wvr.yml.log                                       2024-04-27 12:15  658K  
[TXT] DFS-Default-Limit10.horseshoe.wvr.yml.log                                   2024-04-27 11:28   99K  
[TXT] DFS-Default-Limit10.inc-subseq-array.wvr.yml.log                            2024-04-27 11:50   62K  
[TXT] DFS-Default-Limit10.inc-subseq.wvr.yml.log                                  2024-04-27 11:50   62K  
[TXT] DFS-Default-Limit10.lamport.wvr.yml.log                                     2024-04-27 11:22   72K  
[TXT] DFS-Default-Limit10.loop-tiling-eq.wvr.yml.log                              2024-04-27 11:23  247K  
[TXT] DFS-Default-Limit10.match-subst.wvr.yml.log                                 2024-04-27 11:17   38K  
[TXT] DFS-Default-Limit10.match-symm.wvr.yml.log                                  2024-04-27 11:17   38K  
[TXT] DFS-Default-Limit10.match-trans.wvr.yml.log                                 2024-04-27 11:17   38K  
[TXT] DFS-Default-Limit10.max-array-hom.wvr.yml.log                               2024-04-27 11:53   82K  
[TXT] DFS-Default-Limit10.max-array.wvr.yml.log                                   2024-04-27 11:56  168K  
[TXT] DFS-Default-Limit10.max-fun-alt.wvr.yml.log                                 2024-04-27 11:55  168K  
[TXT] DFS-Default-Limit10.max-fun.wvr.yml.log                                     2024-04-27 11:55   82K  
[TXT] DFS-Default-Limit10.min-array-hom.wvr.yml.log                               2024-04-27 11:56   82K  
[TXT] DFS-Default-Limit10.min-array.wvr.yml.log                                   2024-04-27 11:58  126K  
[TXT] DFS-Default-Limit10.min-fun-alt.wvr.yml.log                                 2024-04-27 11:58  126K  
[TXT] DFS-Default-Limit10.min-fun.wvr.yml.log                                     2024-04-27 11:57   82K  
[TXT] DFS-Default-Limit10.min-le-max.wvr.yml.log                                  2024-04-27 11:55   48K  
[TXT] DFS-Default-Limit10.min-max-1.wvr.yml.log                                   2024-04-27 11:22   42K  
[TXT] DFS-Default-Limit10.min-max-2.wvr.yml.log                                   2024-04-27 11:25  145K  
[TXT] DFS-Default-Limit10.min-max-dec.wvr.yml.log                                 2024-04-27 11:40  127K  
[TXT] DFS-Default-Limit10.min-max-inc-dec.wvr.yml.log                             2024-04-27 11:28  141K  
[TXT] DFS-Default-Limit10.min-max-inc.wvr.yml.log                                 2024-04-27 11:29  172K  
[TXT] DFS-Default-Limit10.misc-1.wvr.yml.log                                      2024-04-27 11:37  112K  
[TXT] DFS-Default-Limit10.misc-2-unrolled-atomic.wvr.yml.log                      2024-04-27 11:22   38K  
[TXT] DFS-Default-Limit10.misc-2-unrolled.wvr.yml.log                             2024-04-27 11:23   51K  
[TXT] DFS-Default-Limit10.misc-2.wvr.yml.log                                      2024-04-27 11:23  123K  
[TXT] DFS-Default-Limit10.misc-3-extended.wvr.yml.log                             2024-04-27 11:23   77K  
[TXT] DFS-Default-Limit10.misc-3.wvr.yml.log                                      2024-04-27 11:23   58K  
[TXT] DFS-Default-Limit10.misc-4.wvr.yml.log                                      2024-04-27 11:23   57K  
[TXT] DFS-Default-Limit10.misc-5.wvr.yml.log                                      2024-04-27 11:25  195K  
[TXT] DFS-Default-Limit10.mts-array.wvr.yml.log                                   2024-04-27 12:00   77K  
[TXT] DFS-Default-Limit10.mts.wvr.yml.log                                         2024-04-27 12:00   77K  
[TXT] DFS-Default-Limit10.mult-4.wvr.yml.log                                      2024-04-27 11:42  1.1M  
[TXT] DFS-Default-Limit10.mult-comm.wvr.yml.log                                   2024-04-27 11:22  531K  
[TXT] DFS-Default-Limit10.mult-dist.wvr.yml.log                                   2024-04-27 11:21  968K  
[TXT] DFS-Default-Limit10.mult-equiv.wvr.yml.log                                  2024-04-27 11:42  910K  
[TXT] DFS-Default-Limit10.mult-flipped-dist.wvr.yml.log                           2024-04-27 11:09   90K  
[TXT] DFS-Default-Limit10.multiply-verify.wvr.yml.log                             2024-04-27 11:56   74K  
[TXT] DFS-Default-Limit10.name-comparator-subst.wvr.yml.log                       2024-04-27 11:17  145K  
[TXT] DFS-Default-Limit10.name-comparator-symm.wvr.yml.log                        2024-04-27 11:17  105K  
[TXT] DFS-Default-Limit10.name-comparator-trans.wvr.yml.log                       2024-04-27 11:18  220K  
[TXT] DFS-Default-Limit10.node-subst.wvr.yml.log                                  2024-04-27 11:17   38K  
[TXT] DFS-Default-Limit10.node-symm.wvr.yml.log                                   2024-04-27 11:18   37K  
[TXT] DFS-Default-Limit10.node-trans.wvr.yml.log                                  2024-04-27 11:18   38K  
[TXT] DFS-Default-Limit10.nonblocking-cntr-alt.wvr.yml.log                        2024-04-27 11:30   94K  
[TXT] DFS-Default-Limit10.nonblocking-cntr.wvr.yml.log                            2024-04-27 11:44  616K  
[TXT] DFS-Default-Limit10.nonblocking-counter-alt2.wvr.yml.log                    2024-04-27 12:10  132K  
[TXT] DFS-Default-Limit10.nzb-file-subst.wvr.yml.log                              2024-04-27 11:19  247K  
[TXT] DFS-Default-Limit10.nzb-file-symm.wvr.yml.log                               2024-04-27 11:18  117K  
[TXT] DFS-Default-Limit10.nzb-file-trans.wvr.yml.log                              2024-04-27 11:19  221K  
[TXT] DFS-Default-Limit10.parallel-sum-1-dsl.wvr.yml.log                          2024-04-27 11:37  245K  
[TXT] DFS-Default-Limit10.parallel-sum-1.wvr.yml.log                              2024-04-27 11:36  427K  
[TXT] DFS-Default-Limit10.parallel-sum-2.wvr.yml.log                              2024-04-27 11:37  456K  
[TXT] DFS-Default-Limit10.parallel-sum-equiv.wvr.yml.log                          2024-04-27 11:37  346K  
[TXT] DFS-Default-Limit10.parray-copy.wvr.yml.log                                 2024-04-27 12:00  122K  
[TXT] DFS-Default-Limit10.poker-hand-subst.wvr.yml.log                            2024-04-27 11:24  622K  
[TXT] DFS-Default-Limit10.poker-hand-symm.wvr.yml.log                             2024-04-27 11:20  252K  
[TXT] DFS-Default-Limit10.poker-hand-trans.wvr.yml.log                            2024-04-27 11:23  634K  
[TXT] DFS-Default-Limit10.prod-cons-eq.wvr.yml.log                                2024-04-27 11:47  114K  
[TXT] DFS-Default-Limit10.prod-cons.wvr.yml.log                                   2024-04-27 11:41   94K  
[TXT] DFS-Default-Limit10.prod-cons3.wvr.yml.log                                  2024-04-27 11:49  118K  
[TXT] DFS-Default-Limit10.queue-add-2-nl.wvr.yml.log                              2024-04-27 12:09  809K  
[TXT] DFS-Default-Limit10.queue-add-2.wvr.yml.log                                 2024-04-27 11:50  811K  
[TXT] DFS-Default-Limit10.queue-add-3-nl.wvr.yml.log                              2024-04-27 12:10  315K  
[TXT] DFS-Default-Limit10.queue-add-3.wvr.yml.log                                 2024-04-27 11:45  299K  
[TXT] DFS-Default-Limit10.ring-nondet.wvr.yml.log                                 2024-04-27 11:58  555K  
[TXT] DFS-Default-Limit10.ring.wvr.yml.log                                        2024-04-27 11:45  163K  
[TXT] DFS-Default-Limit10.security.wvr.yml.log                                    2024-04-27 11:09   72K  
[TXT] DFS-Default-Limit10.semi1.wvr.yml.log                                       2024-04-27 12:01   38K  
[TXT] DFS-Default-Limit10.send-receive-alt.wvr.yml.log                            2024-04-27 11:43  178K  
[TXT] DFS-Default-Limit10.send-receive.wvr.yml.log                                2024-04-27 11:49  240K  
[TXT] DFS-Default-Limit10.simpl-str-subst.wvr.yml.log                             2024-04-27 11:21   38K  
[TXT] DFS-Default-Limit10.simpl-str-symm.wvr.yml.log                              2024-04-27 11:21   38K  
[TXT] DFS-Default-Limit10.simpl-str-trans.wvr.yml.log                             2024-04-27 11:21   38K  
[TXT] DFS-Default-Limit10.simple-array-sum.wvr.yml.log                            2024-04-27 11:40  171K  
[TXT] DFS-Default-Limit10.simple-equiv.wvr.yml.log                                2024-04-27 11:23   38K  
[TXT] DFS-Default-Limit10.simple-queue.wvr.yml.log                                2024-04-27 11:39  152K  
[TXT] DFS-Default-Limit10.sorted.wvr.yml.log                                      2024-04-27 12:10  190K  
[TXT] DFS-Default-Limit10.spaghetti.wvr.yml.log                                   2024-04-27 11:09   43K  
[TXT] DFS-Default-Limit10.sre-subst.wvr.yml.log                                   2024-04-27 11:21   38K  
[TXT] DFS-Default-Limit10.sre-symm.wvr.yml.log                                    2024-04-27 11:21   37K  
[TXT] DFS-Default-Limit10.sre-trans.wvr.yml.log                                   2024-04-27 11:21   38K  
[TXT] DFS-Default-Limit10.sum-array-hom.wvr.yml.log                               2024-04-27 12:07  357K  
[TXT] DFS-Default-Limit10.sum-array.wvr.yml.log                                   2024-04-27 12:07  369K  
[TXT] DFS-Default-Limit10.sum-fun-alt.wvr.yml.log                                 2024-04-27 12:07  370K  
[TXT] DFS-Default-Limit10.sum-fun.wvr.yml.log                                     2024-04-27 12:07  357K  
[TXT] DFS-Default-Limit10.threaded-sum-2.wvr.yml.log                              2024-04-27 11:46  124K  
[TXT] DFS-Default-Limit10.threaded-sum-3.wvr.yml.log                              2024-04-27 11:52  202K  
[TXT] DFS-Default-Limit10.three-array-max.wvr.yml.log                             2024-04-27 11:42   75K  
[TXT] DFS-Default-Limit10.three-array-min.wvr.yml.log                             2024-04-27 11:55   91K  
[TXT] DFS-Default-Limit10.three-array-sum-alt.wvr.yml.log                         2024-04-27 11:46  121K  
[TXT] DFS-Default-Limit10.three-array-sum.wvr.yml.log                             2024-04-27 11:42  166K  
[TXT] DFS-Default-Limit10.ticket-2.wvr.yml.log                                    2024-04-27 11:23   43K  
[TXT] DFS-Default-Limit10.ticket-3.wvr.yml.log                                    2024-04-27 11:23   79K  
[TXT] DFS-Default-Limit10.ticket-4.wvr.yml.log                                    2024-04-27 11:24  163K  
[TXT] DFS-Default-Limit10.ticket-5.wvr.yml.log                                    2024-04-27 11:27  327K  
[TXT] DFS-Default-Limit10.ticket-6.wvr.yml.log                                    2024-04-27 11:24   46K  
[TXT] DFS-Default-Limit10.ticket-7.wvr.yml.log                                    2024-04-27 11:24   50K  
[TXT] DFS-Default-Limit10.ticket-8.wvr.yml.log                                    2024-04-27 11:27   48K  
[TXT] DFS-Default-Limit10.time-subst.wvr.yml.log                                  2024-04-27 11:21   38K  
[TXT] DFS-Default-Limit10.time-symm.wvr.yml.log                                   2024-04-27 11:21   37K  
[TXT] DFS-Default-Limit10.time-trans.wvr.yml.log                                  2024-04-27 11:21   38K  
[TXT] DFS-Default-Limit10.two-queue.wvr.yml.log                                   2024-04-27 11:42   88K  
[TXT] DFS-Default-Limit10.unroll-2.wvr.yml.log                                    2024-04-27 11:23  252K  
[TXT] DFS-Default-Limit10.unroll-3.wvr.yml.log                                    2024-04-27 11:23  180K  
[TXT] DFS-Default-Limit10.unroll-4.wvr.yml.log                                    2024-04-27 11:23  179K  
[TXT] DFS-Default-Limit10.unroll-5.wvr.yml.log                                    2024-04-27 11:23  137K  
[TXT] DFS-Default-Limit10.unroll-cond-2.wvr.yml.log                               2024-04-27 11:21  232K  
[TXT] DFS-Default-Limit10.unroll-cond-3.wvr.yml.log                               2024-04-27 11:21  188K  
[TXT] DFS-Default-Limit10.unroll-cond-4.wvr.yml.log                               2024-04-27 11:23  158K  
[TXT] DFS-Default-Limit10.unroll-cond-5.wvr.yml.log                               2024-04-27 11:23   43K  
[TXT] DFS-Default-Limit10.vector-add.wvr.yml.log                                  2024-04-27 12:08   90K  
[TXT] DFS-Default-Limit10.word-subst.wvr.yml.log                                  2024-04-27 11:22  213K  
[TXT] DFS-Default-Limit10.word-symm.wvr.yml.log                                   2024-04-27 11:21  121K  
[TXT] DFS-Default-Limit10.word-trans.wvr.yml.log                                  2024-04-27 11:22  266K  
[TXT] DFS-Default-Limit2.array-eq-symm.wvr.yml.log                                2024-04-27 10:00   84K  
[TXT] DFS-Default-Limit2.array-eq-trans.wvr.yml.log                               2024-04-27 10:01  189K  
[TXT] DFS-Default-Limit2.array-int-subst.wvr.yml.log                              2024-04-27 10:05  161K  
[TXT] DFS-Default-Limit2.array-int-symm.wvr.yml.log                               2024-04-27 10:05   81K  
[TXT] DFS-Default-Limit2.array-int-trans.wvr.yml.log                              2024-04-27 10:06  269K  
[TXT] DFS-Default-Limit2.array-sum-alt.wvr.yml.log                                2024-04-27 10:45  349K  
[TXT] DFS-Default-Limit2.array-sum.wvr.yml.log                                    2024-04-27 10:47  292K  
[TXT] DFS-Default-Limit2.bakery-2.wvr.yml.log                                     2024-04-27 10:13   58K  
[TXT] DFS-Default-Limit2.bakery-3.wvr.yml.log                                     2024-04-27 10:13  273K  
[TXT] DFS-Default-Limit2.bakery-4.wvr.yml.log                                     2024-04-27 10:15  369K  
[TXT] DFS-Default-Limit2.barrier-loop.wvr.yml.log                                 2024-04-27 10:13   57K  
[TXT] DFS-Default-Limit2.barrier.wvr.yml.log                                      2024-04-27 10:13   46K  
[TXT] DFS-Default-Limit2.bluetooth.wvr.yml.log                                    2024-04-27 10:13   49K  
[TXT] DFS-Default-Limit2.buffer-mult-alt.wvr.yml.log                              2024-04-27 10:50  205K  
[TXT] DFS-Default-Limit2.buffer-mult.wvr.yml.log                                  2024-04-27 10:55  233K  
[TXT] DFS-Default-Limit2.buffer-series-array.wvr.yml.log                          2024-04-27 10:45  147K  
[TXT] DFS-Default-Limit2.buffer-series.wvr.yml.log                                2024-04-27 10:46  147K  
[TXT] DFS-Default-Limit2.channel-sum.wvr.yml.log                                  2024-04-27 10:24  241K  
[TXT] DFS-Default-Limit2.chromosome-opt-symm.wvr.yml.log                          2024-04-27 10:06   92K  
[TXT] DFS-Default-Limit2.chromosome-subst.wvr.yml.log                             2024-04-27 10:07  144K  
[TXT] DFS-Default-Limit2.chromosome-symm.wvr.yml.log                              2024-04-27 10:07  116K  
[TXT] DFS-Default-Limit2.chromosome-trans.wvr.yml.log                             2024-04-27 10:07  205K  
[TXT] DFS-Default-Limit2.clever.wvr.yml.log                                       2024-04-27 10:13  3.0M  
[TXT] DFS-Default-Limit2.collitem-subst.wvr.yml.log                               2024-04-27 10:07   38K  
[TXT] DFS-Default-Limit2.collitem-symm.wvr.yml.log                                2024-04-27 10:07   37K  
[TXT] DFS-Default-Limit2.collitem-trans.wvr.yml.log                               2024-04-27 10:07   38K  
[TXT] DFS-Default-Limit2.commit-1.wvr.yml.log                                     2024-04-27 10:38  233K  
[TXT] DFS-Default-Limit2.commit-2.wvr.yml.log                                     2024-04-27 10:44  533K  
[TXT] DFS-Default-Limit2.container-subst.wvr.yml.log                              2024-04-27 10:07   38K  
[TXT] DFS-Default-Limit2.container-symm.wvr.yml.log                               2024-04-27 10:07   37K  
[TXT] DFS-Default-Limit2.container-trans.wvr.yml.log                              2024-04-27 10:07   38K  
[TXT] DFS-Default-Limit2.context1.wvr.yml.log                                     2024-04-27 11:08  691K  
[TXT] DFS-Default-Limit2.counter-add-4-semi-Q67.wvr.yml.log                       2024-04-27 11:06  1.3M  
[TXT] DFS-Default-Limit2.counter-determinism.wvr.yml.log                          2024-04-27 10:30  212K  
[TXT] DFS-Default-Limit2.counter-fun.wvr.yml.log                                  2024-04-27 10:25  141K  
[TXT] DFS-Default-Limit2.counter-queue.wvr.yml.log                                2024-04-27 10:37   76K  
[TXT] DFS-Default-Limit2.dec-subseq-array.wvr.yml.log                             2024-04-27 10:53   82K  
[TXT] DFS-Default-Limit2.dec-subseq.wvr.yml.log                                   2024-04-27 10:53   82K  
[TXT] DFS-Default-Limit2.difference-det.wvr.yml.log                               2024-04-27 10:16  110K  
[TXT] DFS-Default-Limit2.dot-product-alt.wvr.yml.log                              2024-04-27 10:44  157K  
[TXT] DFS-Default-Limit2.dot-product-array.wvr.yml.log                            2024-04-27 10:48   86K  
[TXT] DFS-Default-Limit2.dot-product.wvr.yml.log                                  2024-04-27 10:52  241K  
[TXT] DFS-Default-Limit2.easy1.wvr.yml.log                                        2024-04-27 10:54   60K  
[TXT] DFS-Default-Limit2.easy10.wvr.yml.log                                       2024-04-27 10:54   53K  
[TXT] DFS-Default-Limit2.easy11.wvr.yml.log                                       2024-04-27 10:55   75K  
[TXT] DFS-Default-Limit2.easy6.wvr.yml.log                                        2024-04-27 10:55   56K  
[TXT] DFS-Default-Limit2.easy7.wvr.yml.log                                        2024-04-27 10:55   37K  
[TXT] DFS-Default-Limit2.easy8.wvr.yml.log                                        2024-04-27 10:55   37K  
[TXT] DFS-Default-Limit2.exp-term-subst.wvr.yml.log                               2024-04-27 10:07   38K  
[TXT] DFS-Default-Limit2.exp-term-symm.wvr.yml.log                                2024-04-27 10:08   37K  
[TXT] DFS-Default-Limit2.exp1x3.wvr.yml.log                                       2024-04-27 10:00   67K  
[TXT] DFS-Default-Limit2.exp2x3.wvr.yml.log                                       2024-04-27 10:00  115K  
[TXT] DFS-Default-Limit2.exp2x4.wvr.yml.log                                       2024-04-27 10:01  115K  
[TXT] DFS-Default-Limit2.exp2x6.wvr.yml.log                                       2024-04-27 10:01  115K  
[TXT] DFS-Default-Limit2.exp2x9.wvr.yml.log                                       2024-04-27 10:02  115K  
[TXT] DFS-Default-Limit2.exp3x3-opt.wvr.yml.log                                   2024-04-27 10:02  102K  
[TXT] DFS-Default-Limit2.exp3x3.wvr.yml.log                                       2024-04-27 10:04  176K  
[TXT] DFS-Default-Limit2.fibonacci.wvr.yml.log                                    2024-04-27 10:00   70K  
[TXT] DFS-Default-Limit2.figure1-alt.wvr.yml.log                                  2024-04-27 10:17   74K  
[TXT] DFS-Default-Limit2.figure1.wvr.yml.log                                      2024-04-27 10:30  874K  
[TXT] DFS-Default-Limit2.figure3.wvr.yml.log                                      2024-04-27 10:30  776K  
[TXT] DFS-Default-Limit2.file-item-subst.wvr.yml.log                              2024-04-27 10:08   38K  
[TXT] DFS-Default-Limit2.file-item-symm.wvr.yml.log                               2024-04-27 10:08   38K  
[TXT] DFS-Default-Limit2.file-item-trans.wvr.yml.log                              2024-04-27 10:08   38K  
[TXT] DFS-Default-Limit2.hard1.wvr.yml.log                                        2024-04-27 11:09  650K  
[TXT] DFS-Default-Limit2.horseshoe.wvr.yml.log                                    2024-04-27 10:31  334K  
[TXT] DFS-Default-Limit2.inc-subseq-array.wvr.yml.log                             2024-04-27 10:45   62K  
[TXT] DFS-Default-Limit2.inc-subseq.wvr.yml.log                                   2024-04-27 10:45   62K  
[TXT] DFS-Default-Limit2.lamport.wvr.yml.log                                      2024-04-27 10:13   61K  
[TXT] DFS-Default-Limit2.loop-tiling-eq.wvr.yml.log                               2024-04-27 10:15  252K  
[TXT] DFS-Default-Limit2.match-subst.wvr.yml.log                                  2024-04-27 10:08   38K  
[TXT] DFS-Default-Limit2.match-symm.wvr.yml.log                                   2024-04-27 10:08   38K  
[TXT] DFS-Default-Limit2.match-trans.wvr.yml.log                                  2024-04-27 10:08   38K  
[TXT] DFS-Default-Limit2.max-array-hom.wvr.yml.log                                2024-04-27 10:48   82K  
[TXT] DFS-Default-Limit2.max-array.wvr.yml.log                                    2024-04-27 10:50  168K  
[TXT] DFS-Default-Limit2.max-fun-alt.wvr.yml.log                                  2024-04-27 10:51  168K  
[TXT] DFS-Default-Limit2.max-fun.wvr.yml.log                                      2024-04-27 10:49   82K  
[TXT] DFS-Default-Limit2.min-array-hom.wvr.yml.log                                2024-04-27 10:49   82K  
[TXT] DFS-Default-Limit2.min-array.wvr.yml.log                                    2024-04-27 10:51  126K  
[TXT] DFS-Default-Limit2.min-fun-alt.wvr.yml.log                                  2024-04-27 10:52  126K  
[TXT] DFS-Default-Limit2.min-fun.wvr.yml.log                                      2024-04-27 10:51   82K  
[TXT] DFS-Default-Limit2.min-le-max.wvr.yml.log                                   2024-04-27 10:49   48K  
[TXT] DFS-Default-Limit2.min-max-1.wvr.yml.log                                    2024-04-27 10:13   42K  
[TXT] DFS-Default-Limit2.min-max-2.wvr.yml.log                                    2024-04-27 10:14   82K  
[TXT] DFS-Default-Limit2.min-max-dec.wvr.yml.log                                  2024-04-27 10:32  102K  
[TXT] DFS-Default-Limit2.min-max-inc-dec.wvr.yml.log                              2024-04-27 10:21   96K  
[TXT] DFS-Default-Limit2.min-max-inc.wvr.yml.log                                  2024-04-27 10:23  139K  
[TXT] DFS-Default-Limit2.misc-1.wvr.yml.log                                       2024-04-27 10:28  112K  
[TXT] DFS-Default-Limit2.misc-2-unrolled-atomic.wvr.yml.log                       2024-04-27 10:14   38K  
[TXT] DFS-Default-Limit2.misc-2-unrolled.wvr.yml.log                              2024-04-27 10:14   51K  
[TXT] DFS-Default-Limit2.misc-2.wvr.yml.log                                       2024-04-27 10:14  123K  
[TXT] DFS-Default-Limit2.misc-3-extended.wvr.yml.log                              2024-04-27 10:14   77K  
[TXT] DFS-Default-Limit2.misc-3.wvr.yml.log                                       2024-04-27 10:14   58K  
[TXT] DFS-Default-Limit2.misc-4.wvr.yml.log                                       2024-04-27 10:14   55K  
[TXT] DFS-Default-Limit2.misc-5.wvr.yml.log                                       2024-04-27 10:16  187K  
[TXT] DFS-Default-Limit2.mts-array.wvr.yml.log                                    2024-04-27 10:54   77K  
[TXT] DFS-Default-Limit2.mts.wvr.yml.log                                          2024-04-27 10:54   77K  
[TXT] DFS-Default-Limit2.mult-4.wvr.yml.log                                       2024-04-27 10:37  1.2M  
[TXT] DFS-Default-Limit2.mult-comm.wvr.yml.log                                    2024-04-27 10:13  530K  
[TXT] DFS-Default-Limit2.mult-dist.wvr.yml.log                                    2024-04-27 10:12  1.0M  
[TXT] DFS-Default-Limit2.mult-equiv.wvr.yml.log                                   2024-04-27 10:37  921K  
[TXT] DFS-Default-Limit2.mult-flipped-dist.wvr.yml.log                            2024-04-27 10:00   90K  
[TXT] DFS-Default-Limit2.multiply-verify.wvr.yml.log                              2024-04-27 10:49   74K  
[TXT] DFS-Default-Limit2.name-comparator-subst.wvr.yml.log                        2024-04-27 10:08  145K  
[TXT] DFS-Default-Limit2.name-comparator-symm.wvr.yml.log                         2024-04-27 10:08  105K  
[TXT] DFS-Default-Limit2.name-comparator-trans.wvr.yml.log                        2024-04-27 10:09  219K  
[TXT] DFS-Default-Limit2.node-subst.wvr.yml.log                                   2024-04-27 10:08   38K  
[TXT] DFS-Default-Limit2.node-symm.wvr.yml.log                                    2024-04-27 10:09   38K  
[TXT] DFS-Default-Limit2.node-trans.wvr.yml.log                                   2024-04-27 10:09   38K  
[TXT] DFS-Default-Limit2.nonblocking-cntr-alt.wvr.yml.log                         2024-04-27 10:25   94K  
[TXT] DFS-Default-Limit2.nonblocking-cntr.wvr.yml.log                             2024-04-27 10:39  567K  
[TXT] DFS-Default-Limit2.nonblocking-counter-alt2.wvr.yml.log                     2024-04-27 11:03  129K  
[TXT] DFS-Default-Limit2.nzb-file-subst.wvr.yml.log                               2024-04-27 10:10  247K  
[TXT] DFS-Default-Limit2.nzb-file-symm.wvr.yml.log                                2024-04-27 10:09  117K  
[TXT] DFS-Default-Limit2.nzb-file-trans.wvr.yml.log                               2024-04-27 10:10  221K  
[TXT] DFS-Default-Limit2.parallel-sum-1-dsl.wvr.yml.log                           2024-04-27 10:25  436K  
[TXT] DFS-Default-Limit2.parallel-sum-1.wvr.yml.log                               2024-04-27 10:28  799K  
[TXT] DFS-Default-Limit2.parallel-sum-2.wvr.yml.log                               2024-04-27 10:28  746K  
[TXT] DFS-Default-Limit2.parallel-sum-equiv.wvr.yml.log                           2024-04-27 10:28  814K  
[TXT] DFS-Default-Limit2.parray-copy.wvr.yml.log                                  2024-04-27 10:54  122K  
[TXT] DFS-Default-Limit2.poker-hand-subst.wvr.yml.log                             2024-04-27 10:16  622K  
[TXT] DFS-Default-Limit2.poker-hand-symm.wvr.yml.log                              2024-04-27 10:11  252K  
[TXT] DFS-Default-Limit2.poker-hand-trans.wvr.yml.log                             2024-04-27 10:14  634K  
[TXT] DFS-Default-Limit2.prod-cons-eq.wvr.yml.log                                 2024-04-27 10:39  114K  
[TXT] DFS-Default-Limit2.prod-cons.wvr.yml.log                                    2024-04-27 10:37   99K  
[TXT] DFS-Default-Limit2.prod-cons3.wvr.yml.log                                   2024-04-27 10:42  110K  
[TXT] DFS-Default-Limit2.queue-add-2-nl.wvr.yml.log                               2024-04-27 11:04  876K  
[TXT] DFS-Default-Limit2.queue-add-2.wvr.yml.log                                  2024-04-27 10:42  811K  
[TXT] DFS-Default-Limit2.queue-add-3-nl.wvr.yml.log                               2024-04-27 11:04  318K  
[TXT] DFS-Default-Limit2.queue-add-3.wvr.yml.log                                  2024-04-27 10:40  223K  
[TXT] DFS-Default-Limit2.ring-nondet.wvr.yml.log                                  2024-04-27 10:51  532K  
[TXT] DFS-Default-Limit2.ring.wvr.yml.log                                         2024-04-27 10:39  133K  
[TXT] DFS-Default-Limit2.security.wvr.yml.log                                     2024-04-27 10:00   72K  
[TXT] DFS-Default-Limit2.semi1.wvr.yml.log                                        2024-04-27 10:55   38K  
[TXT] DFS-Default-Limit2.send-receive-alt.wvr.yml.log                             2024-04-27 10:35  177K  
[TXT] DFS-Default-Limit2.send-receive.wvr.yml.log                                 2024-04-27 10:43  231K  
[TXT] DFS-Default-Limit2.simpl-str-subst.wvr.yml.log                              2024-04-27 10:12   38K  
[TXT] DFS-Default-Limit2.simpl-str-symm.wvr.yml.log                               2024-04-27 10:12   38K  
[TXT] DFS-Default-Limit2.simpl-str-trans.wvr.yml.log                              2024-04-27 10:12   38K  
[TXT] DFS-Default-Limit2.simple-array-sum.wvr.yml.log                             2024-04-27 10:33  164K  
[TXT] DFS-Default-Limit2.simple-equiv.wvr.yml.log                                 2024-04-27 10:14   38K  
[TXT] DFS-Default-Limit2.simple-queue.wvr.yml.log                                 2024-04-27 10:31  147K  
[TXT] DFS-Default-Limit2.sorted.wvr.yml.log                                       2024-04-27 11:03  190K  
[TXT] DFS-Default-Limit2.spaghetti.wvr.yml.log                                    2024-04-27 10:00   43K  
[TXT] DFS-Default-Limit2.sre-subst.wvr.yml.log                                    2024-04-27 10:12   38K  
[TXT] DFS-Default-Limit2.sre-symm.wvr.yml.log                                     2024-04-27 10:12   37K  
[TXT] DFS-Default-Limit2.sre-trans.wvr.yml.log                                    2024-04-27 10:12   38K  
[TXT] DFS-Default-Limit2.sum-array-hom.wvr.yml.log                                2024-04-27 11:00  357K  
[TXT] DFS-Default-Limit2.sum-array.wvr.yml.log                                    2024-04-27 11:00  369K  
[TXT] DFS-Default-Limit2.sum-fun-alt.wvr.yml.log                                  2024-04-27 11:01  370K  
[TXT] DFS-Default-Limit2.sum-fun.wvr.yml.log                                      2024-04-27 11:01  357K  
[TXT] DFS-Default-Limit2.threaded-sum-2.wvr.yml.log                               2024-04-27 10:40  124K  
[TXT] DFS-Default-Limit2.threaded-sum-3.wvr.yml.log                               2024-04-27 10:45  235K  
[TXT] DFS-Default-Limit2.three-array-max.wvr.yml.log                              2024-04-27 10:34   75K  
[TXT] DFS-Default-Limit2.three-array-min.wvr.yml.log                              2024-04-27 10:46   90K  
[TXT] DFS-Default-Limit2.three-array-sum-alt.wvr.yml.log                          2024-04-27 10:40  121K  
[TXT] DFS-Default-Limit2.three-array-sum.wvr.yml.log                              2024-04-27 10:37  167K  
[TXT] DFS-Default-Limit2.ticket-2.wvr.yml.log                                     2024-04-27 10:15   43K  
[TXT] DFS-Default-Limit2.ticket-3.wvr.yml.log                                     2024-04-27 10:15   74K  
[TXT] DFS-Default-Limit2.ticket-4.wvr.yml.log                                     2024-04-27 10:15  173K  
[TXT] DFS-Default-Limit2.ticket-5.wvr.yml.log                                     2024-04-27 10:16  334K  
[TXT] DFS-Default-Limit2.ticket-6.wvr.yml.log                                     2024-04-27 10:19   47K  
[TXT] DFS-Default-Limit2.ticket-7.wvr.yml.log                                     2024-04-27 10:25   57K  
[TXT] DFS-Default-Limit2.ticket-8.wvr.yml.log                                     2024-04-27 10:16   35K  
[TXT] DFS-Default-Limit2.time-subst.wvr.yml.log                                   2024-04-27 10:12   38K  
[TXT] DFS-Default-Limit2.time-symm.wvr.yml.log                                    2024-04-27 10:12   37K  
[TXT] DFS-Default-Limit2.time-trans.wvr.yml.log                                   2024-04-27 10:12   38K  
[TXT] DFS-Default-Limit2.two-queue.wvr.yml.log                                    2024-04-27 10:35   88K  
[TXT] DFS-Default-Limit2.unroll-2.wvr.yml.log                                     2024-04-27 10:14  252K  
[TXT] DFS-Default-Limit2.unroll-3.wvr.yml.log                                     2024-04-27 10:14  180K  
[TXT] DFS-Default-Limit2.unroll-4.wvr.yml.log                                     2024-04-27 10:14  179K  
[TXT] DFS-Default-Limit2.unroll-5.wvr.yml.log                                     2024-04-27 10:14  137K  
[TXT] DFS-Default-Limit2.unroll-cond-2.wvr.yml.log                                2024-04-27 10:12  232K  
[TXT] DFS-Default-Limit2.unroll-cond-3.wvr.yml.log                                2024-04-27 10:12  188K  
[TXT] DFS-Default-Limit2.unroll-cond-4.wvr.yml.log                                2024-04-27 10:13  158K  
[TXT] DFS-Default-Limit2.unroll-cond-5.wvr.yml.log                                2024-04-27 10:15   43K  
[TXT] DFS-Default-Limit2.vector-add.wvr.yml.log                                   2024-04-27 11:07   92K  
[TXT] DFS-Default-Limit2.word-subst.wvr.yml.log                                   2024-04-27 10:13  213K  
[TXT] DFS-Default-Limit2.word-symm.wvr.yml.log                                    2024-04-27 10:12  121K  
[TXT] DFS-Default-Limit2.word-trans.wvr.yml.log                                   2024-04-27 10:13  266K  
[TXT] DFS-Default-Limit50.array-eq-symm.wvr.yml.log                               2024-04-27 12:15   84K  
[TXT] DFS-Default-Limit50.array-eq-trans.wvr.yml.log                              2024-04-27 12:16  189K  
[TXT] DFS-Default-Limit50.array-int-subst.wvr.yml.log                             2024-04-27 12:20  161K  
[TXT] DFS-Default-Limit50.array-int-symm.wvr.yml.log                              2024-04-27 12:19   81K  
[TXT] DFS-Default-Limit50.array-int-trans.wvr.yml.log                             2024-04-27 12:21  269K  
[TXT] DFS-Default-Limit50.array-sum-alt.wvr.yml.log                               2024-04-27 12:58  349K  
[TXT] DFS-Default-Limit50.array-sum.wvr.yml.log                                   2024-04-27 12:59  292K  
[TXT] DFS-Default-Limit50.bakery-2.wvr.yml.log                                    2024-04-27 12:28   60K  
[TXT] DFS-Default-Limit50.bakery-3.wvr.yml.log                                    2024-04-27 12:30  372K  
[TXT] DFS-Default-Limit50.bakery-4.wvr.yml.log                                    2024-04-27 12:34  439K  
[TXT] DFS-Default-Limit50.barrier-loop.wvr.yml.log                                2024-04-27 12:28   56K  
[TXT] DFS-Default-Limit50.barrier.wvr.yml.log                                     2024-04-27 12:28   46K  
[TXT] DFS-Default-Limit50.bluetooth.wvr.yml.log                                   2024-04-27 12:28   53K  
[TXT] DFS-Default-Limit50.buffer-mult-alt.wvr.yml.log                             2024-04-27 12:55  180K  
[TXT] DFS-Default-Limit50.buffer-mult.wvr.yml.log                                 2024-04-27 13:08  244K  
[TXT] DFS-Default-Limit50.buffer-series-array.wvr.yml.log                         2024-04-27 12:59  153K  
[TXT] DFS-Default-Limit50.buffer-series.wvr.yml.log                               2024-04-27 13:01  153K  
[TXT] DFS-Default-Limit50.channel-sum.wvr.yml.log                                 2024-04-27 12:39  262K  
[TXT] DFS-Default-Limit50.chromosome-opt-symm.wvr.yml.log                         2024-04-27 12:21   92K  
[TXT] DFS-Default-Limit50.chromosome-subst.wvr.yml.log                            2024-04-27 12:22  143K  
[TXT] DFS-Default-Limit50.chromosome-symm.wvr.yml.log                             2024-04-27 12:21  116K  
[TXT] DFS-Default-Limit50.chromosome-trans.wvr.yml.log                            2024-04-27 12:22  205K  
[TXT] DFS-Default-Limit50.clever.wvr.yml.log                                      2024-04-27 12:28  2.9M  
[TXT] DFS-Default-Limit50.collitem-subst.wvr.yml.log                              2024-04-27 12:22   38K  
[TXT] DFS-Default-Limit50.collitem-symm.wvr.yml.log                               2024-04-27 12:22   38K  
[TXT] DFS-Default-Limit50.collitem-trans.wvr.yml.log                              2024-04-27 12:22   38K  
[TXT] DFS-Default-Limit50.commit-1.wvr.yml.log                                    2024-04-27 12:51  264K  
[TXT] DFS-Default-Limit50.commit-2.wvr.yml.log                                    2024-04-27 12:59  562K  
[TXT] DFS-Default-Limit50.container-subst.wvr.yml.log                             2024-04-27 12:22   38K  
[TXT] DFS-Default-Limit50.container-symm.wvr.yml.log                              2024-04-27 12:22   38K  
[TXT] DFS-Default-Limit50.container-trans.wvr.yml.log                             2024-04-27 12:22   38K  
[TXT] DFS-Default-Limit50.context1.wvr.yml.log                                    2024-04-27 13:04   65K  
[TXT] DFS-Default-Limit50.counter-add-4-semi-Q67.wvr.yml.log                      2024-04-27 13:18  1.4M  
[TXT] DFS-Default-Limit50.counter-determinism.wvr.yml.log                         2024-04-27 12:45  212K  
[TXT] DFS-Default-Limit50.counter-fun.wvr.yml.log                                 2024-04-27 12:39  150K  
[TXT] DFS-Default-Limit50.counter-queue.wvr.yml.log                               2024-04-27 12:50   76K  
[TXT] DFS-Default-Limit50.dec-subseq-array.wvr.yml.log                            2024-04-27 12:55   62K  
[TXT] DFS-Default-Limit50.dec-subseq.wvr.yml.log                                  2024-04-27 12:55   62K  
[TXT] DFS-Default-Limit50.difference-det.wvr.yml.log                              2024-04-27 12:33  132K  
[TXT] DFS-Default-Limit50.dot-product-alt.wvr.yml.log                             2024-04-27 12:57  157K  
[TXT] DFS-Default-Limit50.dot-product-array.wvr.yml.log                           2024-04-27 12:59   86K  
[TXT] DFS-Default-Limit50.dot-product.wvr.yml.log                                 2024-04-27 13:05  240K  
[TXT] DFS-Default-Limit50.easy1.wvr.yml.log                                       2024-04-27 13:05   60K  
[TXT] DFS-Default-Limit50.easy10.wvr.yml.log                                      2024-04-27 13:05   85K  
[TXT] DFS-Default-Limit50.easy11.wvr.yml.log                                      2024-04-27 13:05   75K  
[TXT] DFS-Default-Limit50.easy6.wvr.yml.log                                       2024-04-27 13:05   60K  
[TXT] DFS-Default-Limit50.easy7.wvr.yml.log                                       2024-04-27 13:05   37K  
[TXT] DFS-Default-Limit50.easy8.wvr.yml.log                                       2024-04-27 13:05   37K  
[TXT] DFS-Default-Limit50.exp-term-subst.wvr.yml.log                              2024-04-27 12:22   38K  
[TXT] DFS-Default-Limit50.exp-term-symm.wvr.yml.log                               2024-04-27 12:22   38K  
[TXT] DFS-Default-Limit50.exp1x3.wvr.yml.log                                      2024-04-27 12:15   67K  
[TXT] DFS-Default-Limit50.exp2x3.wvr.yml.log                                      2024-04-27 12:15  115K  
[TXT] DFS-Default-Limit50.exp2x4.wvr.yml.log                                      2024-04-27 12:16  115K  
[TXT] DFS-Default-Limit50.exp2x6.wvr.yml.log                                      2024-04-27 12:16  115K  
[TXT] DFS-Default-Limit50.exp2x9.wvr.yml.log                                      2024-04-27 12:17  115K  
[TXT] DFS-Default-Limit50.exp3x3-opt.wvr.yml.log                                  2024-04-27 12:17  102K  
[TXT] DFS-Default-Limit50.exp3x3.wvr.yml.log                                      2024-04-27 12:19  165K  
[TXT] DFS-Default-Limit50.fibonacci.wvr.yml.log                                   2024-04-27 12:15   70K  
[TXT] DFS-Default-Limit50.figure1-alt.wvr.yml.log                                 2024-04-27 12:33   74K  
[TXT] DFS-Default-Limit50.figure1.wvr.yml.log                                     2024-04-27 12:46  786K  
[TXT] DFS-Default-Limit50.figure3.wvr.yml.log                                     2024-04-27 12:46  829K  
[TXT] DFS-Default-Limit50.file-item-subst.wvr.yml.log                             2024-04-27 12:22   38K  
[TXT] DFS-Default-Limit50.file-item-symm.wvr.yml.log                              2024-04-27 12:22   38K  
[TXT] DFS-Default-Limit50.file-item-trans.wvr.yml.log                             2024-04-27 12:22   38K  
[TXT] DFS-Default-Limit50.hard1.wvr.yml.log                                       2024-04-27 13:19  689K  
[TXT] DFS-Default-Limit50.horseshoe.wvr.yml.log                                   2024-04-27 12:35   99K  
[TXT] DFS-Default-Limit50.inc-subseq-array.wvr.yml.log                            2024-04-27 12:57   62K  
[TXT] DFS-Default-Limit50.inc-subseq.wvr.yml.log                                  2024-04-27 12:57   62K  
[TXT] DFS-Default-Limit50.lamport.wvr.yml.log                                     2024-04-27 12:28   75K  
[TXT] DFS-Default-Limit50.loop-tiling-eq.wvr.yml.log                              2024-04-27 12:30  248K  
[TXT] DFS-Default-Limit50.match-subst.wvr.yml.log                                 2024-04-27 12:22   38K  
[TXT] DFS-Default-Limit50.match-symm.wvr.yml.log                                  2024-04-27 12:22   38K  
[TXT] DFS-Default-Limit50.match-trans.wvr.yml.log                                 2024-04-27 12:22   38K  
[TXT] DFS-Default-Limit50.max-array-hom.wvr.yml.log                               2024-04-27 12:59   82K  
[TXT] DFS-Default-Limit50.max-array.wvr.yml.log                                   2024-04-27 13:02  168K  
[TXT] DFS-Default-Limit50.max-fun-alt.wvr.yml.log                                 2024-04-27 13:03  168K  
[TXT] DFS-Default-Limit50.max-fun.wvr.yml.log                                     2024-04-27 13:01   82K  
[TXT] DFS-Default-Limit50.min-array-hom.wvr.yml.log                               2024-04-27 13:02   82K  
[TXT] DFS-Default-Limit50.min-array.wvr.yml.log                                   2024-04-27 13:04  126K  
[TXT] DFS-Default-Limit50.min-fun-alt.wvr.yml.log                                 2024-04-27 13:04  126K  
[TXT] DFS-Default-Limit50.min-fun.wvr.yml.log                                     2024-04-27 13:02   82K  
[TXT] DFS-Default-Limit50.min-le-max.wvr.yml.log                                  2024-04-27 12:59   48K  
[TXT] DFS-Default-Limit50.min-max-1.wvr.yml.log                                   2024-04-27 12:28   42K  
[TXT] DFS-Default-Limit50.min-max-2.wvr.yml.log                                   2024-04-27 12:32  412K  
[TXT] DFS-Default-Limit50.min-max-dec.wvr.yml.log                                 2024-04-27 12:36  266K  
[TXT] DFS-Default-Limit50.min-max-inc-dec.wvr.yml.log                             2024-04-27 12:38  413K  
[TXT] DFS-Default-Limit50.min-max-inc.wvr.yml.log                                 2024-04-27 12:37  270K  
[TXT] DFS-Default-Limit50.misc-1.wvr.yml.log                                      2024-04-27 12:42  112K  
[TXT] DFS-Default-Limit50.misc-2-unrolled-atomic.wvr.yml.log                      2024-04-27 12:29   38K  
[TXT] DFS-Default-Limit50.misc-2-unrolled.wvr.yml.log                             2024-04-27 12:29   51K  
[TXT] DFS-Default-Limit50.misc-2.wvr.yml.log                                      2024-04-27 12:29  123K  
[TXT] DFS-Default-Limit50.misc-3-extended.wvr.yml.log                             2024-04-27 12:29   77K  
[TXT] DFS-Default-Limit50.misc-3.wvr.yml.log                                      2024-04-27 12:29   58K  
[TXT] DFS-Default-Limit50.misc-4.wvr.yml.log                                      2024-04-27 12:29   60K  
[TXT] DFS-Default-Limit50.misc-5.wvr.yml.log                                      2024-04-27 12:32  217K  
[TXT] DFS-Default-Limit50.mts-array.wvr.yml.log                                   2024-04-27 13:04   77K  
[TXT] DFS-Default-Limit50.mts.wvr.yml.log                                         2024-04-27 13:04   76K  
[TXT] DFS-Default-Limit50.mult-4.wvr.yml.log                                      2024-04-27 12:51  1.4M  
[TXT] DFS-Default-Limit50.mult-comm.wvr.yml.log                                   2024-04-27 12:28  548K  
[TXT] DFS-Default-Limit50.mult-dist.wvr.yml.log                                   2024-04-27 12:27  1.0M  
[TXT] DFS-Default-Limit50.mult-equiv.wvr.yml.log                                  2024-04-27 12:49  893K  
[TXT] DFS-Default-Limit50.mult-flipped-dist.wvr.yml.log                           2024-04-27 12:15   90K  
[TXT] DFS-Default-Limit50.multiply-verify.wvr.yml.log                             2024-04-27 13:01   74K  
[TXT] DFS-Default-Limit50.name-comparator-subst.wvr.yml.log                       2024-04-27 12:23  145K  
[TXT] DFS-Default-Limit50.name-comparator-symm.wvr.yml.log                        2024-04-27 12:23  105K  
[TXT] DFS-Default-Limit50.name-comparator-trans.wvr.yml.log                       2024-04-27 12:24  220K  
[TXT] DFS-Default-Limit50.node-subst.wvr.yml.log                                  2024-04-27 12:23   38K  
[TXT] DFS-Default-Limit50.node-symm.wvr.yml.log                                   2024-04-27 12:23   38K  
[TXT] DFS-Default-Limit50.node-trans.wvr.yml.log                                  2024-04-27 12:23   38K  
[TXT] DFS-Default-Limit50.nonblocking-cntr-alt.wvr.yml.log                        2024-04-27 12:37   94K  
[TXT] DFS-Default-Limit50.nonblocking-cntr.wvr.yml.log                            2024-04-27 12:50  557K  
[TXT] DFS-Default-Limit50.nonblocking-counter-alt2.wvr.yml.log                    2024-04-27 13:15  132K  
[TXT] DFS-Default-Limit50.nzb-file-subst.wvr.yml.log                              2024-04-27 12:24  247K  
[TXT] DFS-Default-Limit50.nzb-file-symm.wvr.yml.log                               2024-04-27 12:24  117K  
[TXT] DFS-Default-Limit50.nzb-file-trans.wvr.yml.log                              2024-04-27 12:25  221K  
[TXT] DFS-Default-Limit50.parallel-sum-1-dsl.wvr.yml.log                          2024-04-27 12:43  318K  
[TXT] DFS-Default-Limit50.parallel-sum-1.wvr.yml.log                              2024-04-27 12:43  518K  
[TXT] DFS-Default-Limit50.parallel-sum-2.wvr.yml.log                              2024-04-27 12:43  539K  
[TXT] DFS-Default-Limit50.parallel-sum-equiv.wvr.yml.log                          2024-04-27 12:43  391K  
[TXT] DFS-Default-Limit50.parray-copy.wvr.yml.log                                 2024-04-27 13:06  122K  
[TXT] DFS-Default-Limit50.poker-hand-subst.wvr.yml.log                            2024-04-27 12:30  640K  
[TXT] DFS-Default-Limit50.poker-hand-symm.wvr.yml.log                             2024-04-27 12:26  252K  
[TXT] DFS-Default-Limit50.poker-hand-trans.wvr.yml.log                            2024-04-27 12:30  634K  
[TXT] DFS-Default-Limit50.prod-cons-eq.wvr.yml.log                                2024-04-27 12:53  115K  
[TXT] DFS-Default-Limit50.prod-cons.wvr.yml.log                                   2024-04-27 12:53  175K  
[TXT] DFS-Default-Limit50.prod-cons3.wvr.yml.log                                  2024-04-27 12:40  172K  
[TXT] DFS-Default-Limit50.queue-add-2-nl.wvr.yml.log                              2024-04-27 13:14  777K  
[TXT] DFS-Default-Limit50.queue-add-2.wvr.yml.log                                 2024-04-27 12:55  882K  
[TXT] DFS-Default-Limit50.queue-add-3-nl.wvr.yml.log                              2024-04-27 13:15  318K  
[TXT] DFS-Default-Limit50.queue-add-3.wvr.yml.log                                 2024-04-27 12:55  665K  
[TXT] DFS-Default-Limit50.ring-nondet.wvr.yml.log                                 2024-04-27 13:04  578K  
[TXT] DFS-Default-Limit50.ring.wvr.yml.log                                        2024-04-27 12:52  198K  
[TXT] DFS-Default-Limit50.security.wvr.yml.log                                    2024-04-27 12:15   72K  
[TXT] DFS-Default-Limit50.semi1.wvr.yml.log                                       2024-04-27 13:05   38K  
[TXT] DFS-Default-Limit50.send-receive-alt.wvr.yml.log                            2024-04-27 12:49  178K  
[TXT] DFS-Default-Limit50.send-receive.wvr.yml.log                                2024-04-27 12:56  340K  
[TXT] DFS-Default-Limit50.simpl-str-subst.wvr.yml.log                             2024-04-27 12:27   38K  
[TXT] DFS-Default-Limit50.simpl-str-symm.wvr.yml.log                              2024-04-27 12:27   38K  
[TXT] DFS-Default-Limit50.simpl-str-trans.wvr.yml.log                             2024-04-27 12:27   38K  
[TXT] DFS-Default-Limit50.simple-array-sum.wvr.yml.log                            2024-04-27 12:45  176K  
[TXT] DFS-Default-Limit50.simple-equiv.wvr.yml.log                                2024-04-27 12:29   38K  
[TXT] DFS-Default-Limit50.simple-queue.wvr.yml.log                                2024-04-27 12:44  152K  
[TXT] DFS-Default-Limit50.sorted.wvr.yml.log                                      2024-04-27 13:14  190K  
[TXT] DFS-Default-Limit50.spaghetti.wvr.yml.log                                   2024-04-27 12:15   43K  
[TXT] DFS-Default-Limit50.sre-subst.wvr.yml.log                                   2024-04-27 12:27   38K  
[TXT] DFS-Default-Limit50.sre-symm.wvr.yml.log                                    2024-04-27 12:27   37K  
[TXT] DFS-Default-Limit50.sre-trans.wvr.yml.log                                   2024-04-27 12:27   38K  
[TXT] DFS-Default-Limit50.sum-array-hom.wvr.yml.log                               2024-04-27 13:11  357K  
[TXT] DFS-Default-Limit50.sum-array.wvr.yml.log                                   2024-04-27 13:11  369K  
[TXT] DFS-Default-Limit50.sum-fun-alt.wvr.yml.log                                 2024-04-27 13:12  370K  
[TXT] DFS-Default-Limit50.sum-fun.wvr.yml.log                                     2024-04-27 13:13  357K  
[TXT] DFS-Default-Limit50.threaded-sum-2.wvr.yml.log                              2024-04-27 12:53  124K  
[TXT] DFS-Default-Limit50.threaded-sum-3.wvr.yml.log                              2024-04-27 12:58  230K  
[TXT] DFS-Default-Limit50.three-array-max.wvr.yml.log                             2024-04-27 12:48   75K  
[TXT] DFS-Default-Limit50.three-array-min.wvr.yml.log                             2024-04-27 13:00   91K  
[TXT] DFS-Default-Limit50.three-array-sum-alt.wvr.yml.log                         2024-04-27 12:53  121K  
[TXT] DFS-Default-Limit50.three-array-sum.wvr.yml.log                             2024-04-27 12:48  166K  
[TXT] DFS-Default-Limit50.ticket-2.wvr.yml.log                                    2024-04-27 12:29   43K  
[TXT] DFS-Default-Limit50.ticket-3.wvr.yml.log                                    2024-04-27 12:30   92K  
[TXT] DFS-Default-Limit50.ticket-4.wvr.yml.log                                    2024-04-27 12:30  171K  
[TXT] DFS-Default-Limit50.ticket-5.wvr.yml.log                                    2024-04-27 12:33  294K  
[TXT] DFS-Default-Limit50.ticket-6.wvr.yml.log                                    2024-04-27 12:31   65K  
[TXT] DFS-Default-Limit50.ticket-7.wvr.yml.log                                    2024-04-27 12:37   65K  
[TXT] DFS-Default-Limit50.ticket-8.wvr.yml.log                                    2024-04-27 12:37   77K  
[TXT] DFS-Default-Limit50.time-subst.wvr.yml.log                                  2024-04-27 12:27   38K  
[TXT] DFS-Default-Limit50.time-symm.wvr.yml.log                                   2024-04-27 12:27   37K  
[TXT] DFS-Default-Limit50.time-trans.wvr.yml.log                                  2024-04-27 12:27   38K  
[TXT] DFS-Default-Limit50.two-queue.wvr.yml.log                                   2024-04-27 12:48   88K  
[TXT] DFS-Default-Limit50.unroll-2.wvr.yml.log                                    2024-04-27 12:29  252K  
[TXT] DFS-Default-Limit50.unroll-3.wvr.yml.log                                    2024-04-27 12:29  178K  
[TXT] DFS-Default-Limit50.unroll-4.wvr.yml.log                                    2024-04-27 12:29  179K  
[TXT] DFS-Default-Limit50.unroll-5.wvr.yml.log                                    2024-04-27 12:29  137K  
[TXT] DFS-Default-Limit50.unroll-cond-2.wvr.yml.log                               2024-04-27 12:27  232K  
[TXT] DFS-Default-Limit50.unroll-cond-3.wvr.yml.log                               2024-04-27 12:27  188K  
[TXT] DFS-Default-Limit50.unroll-cond-4.wvr.yml.log                               2024-04-27 12:29  158K  
[TXT] DFS-Default-Limit50.unroll-cond-5.wvr.yml.log                               2024-04-27 12:30   43K  
[TXT] DFS-Default-Limit50.vector-add.wvr.yml.log                                  2024-04-27 13:18   93K  
[TXT] DFS-Default-Limit50.word-subst.wvr.yml.log                                  2024-04-27 12:28  213K  
[TXT] DFS-Default-Limit50.word-symm.wvr.yml.log                                   2024-04-27 12:27  121K  
[TXT] DFS-Default-Limit50.word-trans.wvr.yml.log                                  2024-04-27 12:28  266K  
[TXT] DFS-Default.array-eq-symm.wvr.yml.log                                       2024-04-27 08:50   84K  
[TXT] DFS-Default.array-eq-trans.wvr.yml.log                                      2024-04-27 08:51  189K  
[TXT] DFS-Default.array-int-subst.wvr.yml.log                                     2024-04-27 08:56  161K  
[TXT] DFS-Default.array-int-symm.wvr.yml.log                                      2024-04-27 08:55   80K  
[TXT] DFS-Default.array-int-trans.wvr.yml.log                                     2024-04-27 08:57  269K  
[TXT] DFS-Default.array-sum-alt.wvr.yml.log                                       2024-04-27 09:38  348K  
[TXT] DFS-Default.array-sum.wvr.yml.log                                           2024-04-27 09:40  292K  
[TXT] DFS-Default.bakery-2.wvr.yml.log                                            2024-04-27 09:03   59K  
[TXT] DFS-Default.bakery-3.wvr.yml.log                                            2024-04-27 09:15  596K  
[TXT] DFS-Default.bakery-4.wvr.yml.log                                            2024-04-27 09:16  651K  
[TXT] DFS-Default.barrier-loop.wvr.yml.log                                        2024-04-27 09:04   56K  
[TXT] DFS-Default.barrier.wvr.yml.log                                             2024-04-27 09:04   46K  
[TXT] DFS-Default.bluetooth.wvr.yml.log                                           2024-04-27 09:04   52K  
[TXT] DFS-Default.buffer-mult-alt.wvr.yml.log                                     2024-04-27 09:32  300K  
[TXT] DFS-Default.buffer-mult.wvr.yml.log                                         2024-04-27 09:36  326K  
[TXT] DFS-Default.buffer-series-array.wvr.yml.log                                 2024-04-27 09:41  153K  
[TXT] DFS-Default.buffer-series.wvr.yml.log                                       2024-04-27 09:41  153K  
[TXT] DFS-Default.channel-sum.wvr.yml.log                                         2024-04-27 09:17  262K  
[TXT] DFS-Default.chromosome-opt-symm.wvr.yml.log                                 2024-04-27 08:56   91K  
[TXT] DFS-Default.chromosome-subst.wvr.yml.log                                    2024-04-27 08:57  143K  
[TXT] DFS-Default.chromosome-symm.wvr.yml.log                                     2024-04-27 08:57  116K  
[TXT] DFS-Default.chromosome-trans.wvr.yml.log                                    2024-04-27 08:58  205K  
[TXT] DFS-Default.clever.wvr.yml.log                                              2024-04-27 09:04  2.9M  
[TXT] DFS-Default.collitem-subst.wvr.yml.log                                      2024-04-27 08:57   38K  
[TXT] DFS-Default.collitem-symm.wvr.yml.log                                       2024-04-27 08:57   37K  
[TXT] DFS-Default.collitem-trans.wvr.yml.log                                      2024-04-27 08:58   38K  
[TXT] DFS-Default.commit-1.wvr.yml.log                                            2024-04-27 09:33  264K  
[TXT] DFS-Default.commit-2.wvr.yml.log                                            2024-04-27 09:39  562K  
[TXT] DFS-Default.container-subst.wvr.yml.log                                     2024-04-27 08:58   38K  
[TXT] DFS-Default.container-symm.wvr.yml.log                                      2024-04-27 08:58   37K  
[TXT] DFS-Default.container-trans.wvr.yml.log                                     2024-04-27 08:58   38K  
[TXT] DFS-Default.context1.wvr.yml.log                                            2024-04-27 09:46   64K  
[TXT] DFS-Default.counter-add-4-semi-Q67.wvr.yml.log                              2024-04-27 09:58  1.2M  
[TXT] DFS-Default.counter-determinism.wvr.yml.log                                 2024-04-27 09:26  761K  
[TXT] DFS-Default.counter-fun.wvr.yml.log                                         2024-04-27 09:22  149K  
[TXT] DFS-Default.counter-queue.wvr.yml.log                                       2024-04-27 09:32   76K  
[TXT] DFS-Default.dec-subseq-array.wvr.yml.log                                    2024-04-27 09:36   62K  
[TXT] DFS-Default.dec-subseq.wvr.yml.log                                          2024-04-27 09:36   62K  
[TXT] DFS-Default.difference-det.wvr.yml.log                                      2024-04-27 09:23  658K  
[TXT] DFS-Default.dot-product-alt.wvr.yml.log                                     2024-04-27 09:38  157K  
[TXT] DFS-Default.dot-product-array.wvr.yml.log                                   2024-04-27 09:41   86K  
[TXT] DFS-Default.dot-product.wvr.yml.log                                         2024-04-27 09:47  240K  
[TXT] DFS-Default.easy1.wvr.yml.log                                               2024-04-27 09:46   59K  
[TXT] DFS-Default.easy10.wvr.yml.log                                              2024-04-27 09:46   85K  
[TXT] DFS-Default.easy11.wvr.yml.log                                              2024-04-27 09:47   75K  
[TXT] DFS-Default.easy6.wvr.yml.log                                               2024-04-27 09:47   60K  
[TXT] DFS-Default.easy7.wvr.yml.log                                               2024-04-27 09:47   37K  
[TXT] DFS-Default.easy8.wvr.yml.log                                               2024-04-27 09:47   37K  
[TXT] DFS-Default.exp-term-subst.wvr.yml.log                                      2024-04-27 08:58   38K  
[TXT] DFS-Default.exp-term-symm.wvr.yml.log                                       2024-04-27 08:58   37K  
[TXT] DFS-Default.exp1x3.wvr.yml.log                                              2024-04-27 08:51   67K  
[TXT] DFS-Default.exp2x3.wvr.yml.log                                              2024-04-27 08:51  114K  
[TXT] DFS-Default.exp2x4.wvr.yml.log                                              2024-04-27 08:51  115K  
[TXT] DFS-Default.exp2x6.wvr.yml.log                                              2024-04-27 08:52  115K  
[TXT] DFS-Default.exp2x9.wvr.yml.log                                              2024-04-27 08:53  115K  
[TXT] DFS-Default.exp3x3-opt.wvr.yml.log                                          2024-04-27 08:52  102K  
[TXT] DFS-Default.exp3x3.wvr.yml.log                                              2024-04-27 08:54  176K  
[TXT] DFS-Default.fibonacci.wvr.yml.log                                           2024-04-27 08:50   70K  
[TXT] DFS-Default.figure1-alt.wvr.yml.log                                         2024-04-27 09:16   73K  
[TXT] DFS-Default.figure1.wvr.yml.log                                             2024-04-27 09:29  742K  
[TXT] DFS-Default.figure3.wvr.yml.log                                             2024-04-27 09:31  927K  
[TXT] DFS-Default.file-item-subst.wvr.yml.log                                     2024-04-27 08:58   38K  
[TXT] DFS-Default.file-item-symm.wvr.yml.log                                      2024-04-27 08:58   37K  
[TXT] DFS-Default.file-item-trans.wvr.yml.log                                     2024-04-27 08:58   38K  
[TXT] DFS-Default.hard1.wvr.yml.log                                               2024-04-27 10:00  724K  
[TXT] DFS-Default.horseshoe.wvr.yml.log                                           2024-04-27 09:20   99K  
[TXT] DFS-Default.inc-subseq-array.wvr.yml.log                                    2024-04-27 09:38   62K  
[TXT] DFS-Default.inc-subseq.wvr.yml.log                                          2024-04-27 09:38   62K  
[TXT] DFS-Default.lamport.wvr.yml.log                                             2024-04-27 09:04   74K  
[TXT] DFS-Default.loop-tiling-eq.wvr.yml.log                                      2024-04-27 09:05  251K  
[TXT] DFS-Default.match-subst.wvr.yml.log                                         2024-04-27 08:58   38K  
[TXT] DFS-Default.match-symm.wvr.yml.log                                          2024-04-27 08:58   37K  
[TXT] DFS-Default.match-trans.wvr.yml.log                                         2024-04-27 08:58   38K  
[TXT] DFS-Default.max-array-hom.wvr.yml.log                                       2024-04-27 09:41   82K  
[TXT] DFS-Default.max-array.wvr.yml.log                                           2024-04-27 09:43  167K  
[TXT] DFS-Default.max-fun-alt.wvr.yml.log                                         2024-04-27 09:44  168K  
[TXT] DFS-Default.max-fun.wvr.yml.log                                             2024-04-27 09:42   82K  
[TXT] DFS-Default.min-array-hom.wvr.yml.log                                       2024-04-27 09:42   82K  
[TXT] DFS-Default.min-array.wvr.yml.log                                           2024-04-27 09:45  126K  
[TXT] DFS-Default.min-fun-alt.wvr.yml.log                                         2024-04-27 09:45  126K  
[TXT] DFS-Default.min-fun.wvr.yml.log                                             2024-04-27 09:44   82K  
[TXT] DFS-Default.min-le-max.wvr.yml.log                                          2024-04-27 09:41   48K  
[TXT] DFS-Default.min-max-1.wvr.yml.log                                           2024-04-27 09:04   42K  
[TXT] DFS-Default.min-max-2.wvr.yml.log                                           2024-04-27 09:15  2.5M  
[TXT] DFS-Default.min-max-dec.wvr.yml.log                                         2024-04-27 09:24  745K  
[TXT] DFS-Default.min-max-inc-dec.wvr.yml.log                                     2024-04-27 09:29  3.0M  
[TXT] DFS-Default.min-max-inc.wvr.yml.log                                         2024-04-27 09:31  3.2M  
[TXT] DFS-Default.misc-1.wvr.yml.log                                              2024-04-27 09:18  112K  
[TXT] DFS-Default.misc-2-unrolled-atomic.wvr.yml.log                              2024-04-27 09:04   37K  
[TXT] DFS-Default.misc-2-unrolled.wvr.yml.log                                     2024-04-27 09:04   50K  
[TXT] DFS-Default.misc-2.wvr.yml.log                                              2024-04-27 09:04  123K  
[TXT] DFS-Default.misc-3-extended.wvr.yml.log                                     2024-04-27 09:04   77K  
[TXT] DFS-Default.misc-3.wvr.yml.log                                              2024-04-27 09:04   57K  
[TXT] DFS-Default.misc-4.wvr.yml.log                                              2024-04-27 09:04   59K  
[TXT] DFS-Default.misc-5.wvr.yml.log                                              2024-04-27 09:10  240K  
[TXT] DFS-Default.mts-array.wvr.yml.log                                           2024-04-27 09:46   76K  
[TXT] DFS-Default.mts.wvr.yml.log                                                 2024-04-27 09:46   76K  
[TXT] DFS-Default.mult-4.wvr.yml.log                                              2024-04-27 09:32  1.2M  
[TXT] DFS-Default.mult-comm.wvr.yml.log                                           2024-04-27 09:04  530K  
[TXT] DFS-Default.mult-dist.wvr.yml.log                                           2024-04-27 09:02  967K  
[TXT] DFS-Default.mult-equiv.wvr.yml.log                                          2024-04-27 09:32  1.2M  
[TXT] DFS-Default.mult-flipped-dist.wvr.yml.log                                   2024-04-27 08:50   90K  
[TXT] DFS-Default.multiply-verify.wvr.yml.log                                     2024-04-27 09:42   74K  
[TXT] DFS-Default.name-comparator-subst.wvr.yml.log                               2024-04-27 08:59  144K  
[TXT] DFS-Default.name-comparator-symm.wvr.yml.log                                2024-04-27 08:58  105K  
[TXT] DFS-Default.name-comparator-trans.wvr.yml.log                               2024-04-27 08:59  219K  
[TXT] DFS-Default.node-subst.wvr.yml.log                                          2024-04-27 08:59   38K  
[TXT] DFS-Default.node-symm.wvr.yml.log                                           2024-04-27 08:59   37K  
[TXT] DFS-Default.node-trans.wvr.yml.log                                          2024-04-27 08:59   38K  
[TXT] DFS-Default.nonblocking-cntr-alt.wvr.yml.log                                2024-04-27 09:19   94K  
[TXT] DFS-Default.nonblocking-cntr.wvr.yml.log                                    2024-04-27 09:33  632K  
[TXT] DFS-Default.nonblocking-counter-alt2.wvr.yml.log                            2024-04-27 09:56  132K  
[TXT] DFS-Default.nzb-file-subst.wvr.yml.log                                      2024-04-27 09:00  247K  
[TXT] DFS-Default.nzb-file-symm.wvr.yml.log                                       2024-04-27 09:00  117K  
[TXT] DFS-Default.nzb-file-trans.wvr.yml.log                                      2024-04-27 09:01  221K  
[TXT] DFS-Default.parallel-sum-1-dsl.wvr.yml.log                                  2024-04-27 09:19  645K  
[TXT] DFS-Default.parallel-sum-1.wvr.yml.log                                      2024-04-27 09:19  808K  
[TXT] DFS-Default.parallel-sum-2.wvr.yml.log                                      2024-04-27 09:19  706K  
[TXT] DFS-Default.parallel-sum-equiv.wvr.yml.log                                  2024-04-27 09:19  810K  
[TXT] DFS-Default.parray-copy.wvr.yml.log                                         2024-04-27 09:47  122K  
[TXT] DFS-Default.poker-hand-subst.wvr.yml.log                                    2024-04-27 09:06  657K  
[TXT] DFS-Default.poker-hand-symm.wvr.yml.log                                     2024-04-27 09:01  251K  
[TXT] DFS-Default.poker-hand-trans.wvr.yml.log                                    2024-04-27 09:04  634K  
[TXT] DFS-Default.prod-cons-eq.wvr.yml.log                                        2024-04-27 09:33  115K  
[TXT] DFS-Default.prod-cons.wvr.yml.log                                           2024-04-27 09:30  649K  
[TXT] DFS-Default.prod-cons3.wvr.yml.log                                          2024-04-27 09:26  1.8M  
[TXT] DFS-Default.queue-add-2-nl.wvr.yml.log                                      2024-04-27 09:55  777K  
[TXT] DFS-Default.queue-add-2.wvr.yml.log                                         2024-04-27 09:37  878K  
[TXT] DFS-Default.queue-add-3-nl.wvr.yml.log                                      2024-04-27 09:56  318K  
[TXT] DFS-Default.queue-add-3.wvr.yml.log                                         2024-04-27 09:34  1.3M  
[TXT] DFS-Default.ring-nondet.wvr.yml.log                                         2024-04-27 09:45  549K  
[TXT] DFS-Default.ring.wvr.yml.log                                                2024-04-27 09:33  197K  
[TXT] DFS-Default.security.wvr.yml.log                                            2024-04-27 08:50   71K  
[TXT] DFS-Default.semi1.wvr.yml.log                                               2024-04-27 09:47   38K  
[TXT] DFS-Default.send-receive-alt.wvr.yml.log                                    2024-04-27 09:30  177K  
[TXT] DFS-Default.send-receive.wvr.yml.log                                        2024-04-27 09:39  1.8M  
[TXT] DFS-Default.simpl-str-subst.wvr.yml.log                                     2024-04-27 09:02   38K  
[TXT] DFS-Default.simpl-str-symm.wvr.yml.log                                      2024-04-27 09:02   37K  
[TXT] DFS-Default.simpl-str-trans.wvr.yml.log                                     2024-04-27 09:02   38K  
[TXT] DFS-Default.simple-array-sum.wvr.yml.log                                    2024-04-27 09:29  176K  
[TXT] DFS-Default.simple-equiv.wvr.yml.log                                        2024-04-27 09:05   38K  
[TXT] DFS-Default.simple-queue.wvr.yml.log                                        2024-04-27 09:29  152K  
[TXT] DFS-Default.sorted.wvr.yml.log                                              2024-04-27 09:54  190K  
[TXT] DFS-Default.spaghetti.wvr.yml.log                                           2024-04-27 08:51   43K  
[TXT] DFS-Default.sre-subst.wvr.yml.log                                           2024-04-27 09:02   38K  
[TXT] DFS-Default.sre-symm.wvr.yml.log                                            2024-04-27 09:02   37K  
[TXT] DFS-Default.sre-trans.wvr.yml.log                                           2024-04-27 09:03   38K  
[TXT] DFS-Default.sum-array-hom.wvr.yml.log                                       2024-04-27 09:53  357K  
[TXT] DFS-Default.sum-array.wvr.yml.log                                           2024-04-27 09:53  369K  
[TXT] DFS-Default.sum-fun-alt.wvr.yml.log                                         2024-04-27 09:53  369K  
[TXT] DFS-Default.sum-fun.wvr.yml.log                                             2024-04-27 09:53  357K  
[TXT] DFS-Default.threaded-sum-2.wvr.yml.log                                      2024-04-27 09:34  124K  
[TXT] DFS-Default.threaded-sum-3.wvr.yml.log                                      2024-04-27 09:42  408K  
[TXT] DFS-Default.three-array-max.wvr.yml.log                                     2024-04-27 09:32   75K  
[TXT] DFS-Default.three-array-min.wvr.yml.log                                     2024-04-27 09:44   90K  
[TXT] DFS-Default.three-array-sum-alt.wvr.yml.log                                 2024-04-27 09:34  121K  
[TXT] DFS-Default.three-array-sum.wvr.yml.log                                     2024-04-27 09:32  166K  
[TXT] DFS-Default.ticket-2.wvr.yml.log                                            2024-04-27 09:05   43K  
[TXT] DFS-Default.ticket-3.wvr.yml.log                                            2024-04-27 09:05  101K  
[TXT] DFS-Default.ticket-4.wvr.yml.log                                            2024-04-27 09:08  359K  
[TXT] DFS-Default.ticket-5.wvr.yml.log                                            2024-04-27 09:18  1.2M  
[TXT] DFS-Default.ticket-6.wvr.yml.log                                            2024-04-27 09:18  826K  
[TXT] DFS-Default.ticket-7.wvr.yml.log                                            2024-04-27 09:18  1.3M  
[TXT] DFS-Default.ticket-8.wvr.yml.log                                            2024-04-27 09:20  1.8M  
[TXT] DFS-Default.time-subst.wvr.yml.log                                          2024-04-27 09:03   38K  
[TXT] DFS-Default.time-symm.wvr.yml.log                                           2024-04-27 09:03   37K  
[TXT] DFS-Default.time-trans.wvr.yml.log                                          2024-04-27 09:03   38K  
[TXT] DFS-Default.two-queue.wvr.yml.log                                           2024-04-27 09:31   87K  
[TXT] DFS-Default.unroll-2.wvr.yml.log                                            2024-04-27 09:04  249K  
[TXT] DFS-Default.unroll-3.wvr.yml.log                                            2024-04-27 09:05  180K  
[TXT] DFS-Default.unroll-4.wvr.yml.log                                            2024-04-27 09:05  179K  
[TXT] DFS-Default.unroll-5.wvr.yml.log                                            2024-04-27 09:05  137K  
[TXT] DFS-Default.unroll-cond-2.wvr.yml.log                                       2024-04-27 09:02  231K  
[TXT] DFS-Default.unroll-cond-3.wvr.yml.log                                       2024-04-27 09:04  188K  
[TXT] DFS-Default.unroll-cond-4.wvr.yml.log                                       2024-04-27 09:03  158K  
[TXT] DFS-Default.unroll-cond-5.wvr.yml.log                                       2024-04-27 09:05   43K  
[TXT] DFS-Default.vector-add.wvr.yml.log                                          2024-04-27 09:59   92K  
[TXT] DFS-Default.word-subst.wvr.yml.log                                          2024-04-27 09:03  213K  
[TXT] DFS-Default.word-symm.wvr.yml.log                                           2024-04-27 09:03  120K  
[TXT] DFS-Default.word-trans.wvr.yml.log                                          2024-04-27 09:04  265K  
[TXT] DFS-Loop-Limit10.array-eq-symm.wvr.yml.log                                  2024-04-27 15:33   84K  
[TXT] DFS-Loop-Limit10.array-eq-trans.wvr.yml.log                                 2024-04-27 15:33  189K  
[TXT] DFS-Loop-Limit10.clever.wvr.yml.log                                         2024-04-27 16:33  6.9M  
[TXT] DFS-Loop-Limit10.fibonacci.wvr.yml.log                                      2024-04-27 15:33   70K  
[TXT] DFS-Loop-Limit10.loop-tiling-eq.wvr.yml.log                                 2024-04-27 15:56  287K  
[TXT] DFS-Loop-Limit10.mult-comm.wvr.yml.log                                      2024-04-27 16:13  896K  
[TXT] DFS-Loop-Limit10.mult-dist.wvr.yml.log                                      2024-04-27 15:49  1.1M  
[TXT] DFS-Loop-Limit10.mult-flipped-dist.wvr.yml.log                              2024-04-27 15:33   90K  
[TXT] DFS-Loop-Limit10.security.wvr.yml.log                                       2024-04-27 15:32   72K  
[TXT] DFS-Loop-Limit10.spaghetti.wvr.yml.log                                      2024-04-27 15:32   43K  
[TXT] DFS-Loop-Limit10.unroll-2.wvr.yml.log                                       2024-04-27 15:47  250K  
[TXT] DFS-Loop-Limit10.unroll-3.wvr.yml.log                                       2024-04-27 15:46  178K  
[TXT] DFS-Loop-Limit10.unroll-4.wvr.yml.log                                       2024-04-27 15:47  177K  
[TXT] DFS-SleepSet-Condition-Limit10.array-eq-symm.wvr.yml.log                    2024-04-27 14:26   84K  
[TXT] DFS-SleepSet-Condition-Limit10.array-eq-trans.wvr.yml.log                   2024-04-27 14:27  190K  
[TXT] DFS-SleepSet-Condition-Limit10.array-int-subst.wvr.yml.log                  2024-04-27 14:32  161K  
[TXT] DFS-SleepSet-Condition-Limit10.array-int-symm.wvr.yml.log                   2024-04-27 14:31   81K  
[TXT] DFS-SleepSet-Condition-Limit10.array-int-trans.wvr.yml.log                  2024-04-27 14:32  269K  
[TXT] DFS-SleepSet-Condition-Limit10.array-sum-alt.wvr.yml.log                    2024-04-27 15:09  349K  
[TXT] DFS-SleepSet-Condition-Limit10.array-sum.wvr.yml.log                        2024-04-27 15:11  292K  
[TXT] DFS-SleepSet-Condition-Limit10.bakery-2.wvr.yml.log                         2024-04-27 14:39   66K  
[TXT] DFS-SleepSet-Condition-Limit10.bakery-3.wvr.yml.log                         2024-04-27 14:40  328K  
[TXT] DFS-SleepSet-Condition-Limit10.bakery-4.wvr.yml.log                         2024-04-27 14:42  387K  
[TXT] DFS-SleepSet-Condition-Limit10.barrier-loop.wvr.yml.log                     2024-04-27 14:39   63K  
[TXT] DFS-SleepSet-Condition-Limit10.barrier.wvr.yml.log                          2024-04-27 14:40   52K  
[TXT] DFS-SleepSet-Condition-Limit10.bluetooth.wvr.yml.log                        2024-04-27 14:40   54K  
[TXT] DFS-SleepSet-Condition-Limit10.buffer-mult-alt.wvr.yml.log                  2024-04-27 15:08  240K  
[TXT] DFS-SleepSet-Condition-Limit10.buffer-mult.wvr.yml.log                      2024-04-27 15:19  238K  
[TXT] DFS-SleepSet-Condition-Limit10.buffer-series-array.wvr.yml.log              2024-04-27 15:18  154K  
[TXT] DFS-SleepSet-Condition-Limit10.buffer-series.wvr.yml.log                    2024-04-27 15:18  154K  
[TXT] DFS-SleepSet-Condition-Limit10.channel-sum.wvr.yml.log                      2024-04-27 14:55  525K  
[TXT] DFS-SleepSet-Condition-Limit10.chromosome-opt-symm.wvr.yml.log              2024-04-27 14:32   92K  
[TXT] DFS-SleepSet-Condition-Limit10.chromosome-subst.wvr.yml.log                 2024-04-27 14:33  144K  
[TXT] DFS-SleepSet-Condition-Limit10.chromosome-symm.wvr.yml.log                  2024-04-27 14:33  116K  
[TXT] DFS-SleepSet-Condition-Limit10.chromosome-trans.wvr.yml.log                 2024-04-27 14:33  206K  
[TXT] DFS-SleepSet-Condition-Limit10.clever.wvr.yml.log                           2024-04-27 14:40  3.0M  
[TXT] DFS-SleepSet-Condition-Limit10.collitem-subst.wvr.yml.log                   2024-04-27 14:33   38K  
[TXT] DFS-SleepSet-Condition-Limit10.collitem-symm.wvr.yml.log                    2024-04-27 14:33   38K  
[TXT] DFS-SleepSet-Condition-Limit10.collitem-trans.wvr.yml.log                   2024-04-27 14:33   38K  
[TXT] DFS-SleepSet-Condition-Limit10.commit-1.wvr.yml.log                         2024-04-27 15:01  200K  
[TXT] DFS-SleepSet-Condition-Limit10.commit-2.wvr.yml.log                         2024-04-27 15:01  312K  
[TXT] DFS-SleepSet-Condition-Limit10.container-subst.wvr.yml.log                  2024-04-27 14:33   38K  
[TXT] DFS-SleepSet-Condition-Limit10.container-symm.wvr.yml.log                   2024-04-27 14:33   38K  
[TXT] DFS-SleepSet-Condition-Limit10.container-trans.wvr.yml.log                  2024-04-27 14:33   38K  
[TXT] DFS-SleepSet-Condition-Limit10.context1.wvr.yml.log                         2024-04-27 15:18   63K  
[TXT] DFS-SleepSet-Condition-Limit10.counter-add-4-semi-Q67.wvr.yml.log           2024-04-27 15:30  1.3M  
[TXT] DFS-SleepSet-Condition-Limit10.counter-determinism.wvr.yml.log              2024-04-27 14:56  214K  
[TXT] DFS-SleepSet-Condition-Limit10.counter-fun.wvr.yml.log                      2024-04-27 14:50  141K  
[TXT] DFS-SleepSet-Condition-Limit10.counter-queue.wvr.yml.log                    2024-04-27 15:01   76K  
[TXT] DFS-SleepSet-Condition-Limit10.dec-subseq-array.wvr.yml.log                 2024-04-27 15:07   60K  
[TXT] DFS-SleepSet-Condition-Limit10.dec-subseq.wvr.yml.log                       2024-04-27 15:07   61K  
[TXT] DFS-SleepSet-Condition-Limit10.difference-det.wvr.yml.log                   2024-04-27 14:42  113K  
[TXT] DFS-SleepSet-Condition-Limit10.dot-product-alt.wvr.yml.log                  2024-04-27 15:07  157K  
[TXT] DFS-SleepSet-Condition-Limit10.dot-product-array.wvr.yml.log                2024-04-27 15:12   86K  
[TXT] DFS-SleepSet-Condition-Limit10.dot-product.wvr.yml.log                      2024-04-27 15:15  240K  
[TXT] DFS-SleepSet-Condition-Limit10.easy1.wvr.yml.log                            2024-04-27 15:18   60K  
[TXT] DFS-SleepSet-Condition-Limit10.easy10.wvr.yml.log                           2024-04-27 15:18   53K  
[TXT] DFS-SleepSet-Condition-Limit10.easy11.wvr.yml.log                           2024-04-27 15:18   76K  
[TXT] DFS-SleepSet-Condition-Limit10.easy6.wvr.yml.log                            2024-04-27 15:18   71K  
[TXT] DFS-SleepSet-Condition-Limit10.easy7.wvr.yml.log                            2024-04-27 15:18   38K  
[TXT] DFS-SleepSet-Condition-Limit10.easy8.wvr.yml.log                            2024-04-27 15:18   38K  
[TXT] DFS-SleepSet-Condition-Limit10.exp-term-subst.wvr.yml.log                   2024-04-27 14:34   38K  
[TXT] DFS-SleepSet-Condition-Limit10.exp-term-symm.wvr.yml.log                    2024-04-27 14:34   38K  
[TXT] DFS-SleepSet-Condition-Limit10.exp1x3.wvr.yml.log                           2024-04-27 14:26   68K  
[TXT] DFS-SleepSet-Condition-Limit10.exp2x3.wvr.yml.log                           2024-04-27 14:27  115K  
[TXT] DFS-SleepSet-Condition-Limit10.exp2x4.wvr.yml.log                           2024-04-27 14:27  115K  
[TXT] DFS-SleepSet-Condition-Limit10.exp2x6.wvr.yml.log                           2024-04-27 14:27  115K  
[TXT] DFS-SleepSet-Condition-Limit10.exp2x9.wvr.yml.log                           2024-04-27 14:28  115K  
[TXT] DFS-SleepSet-Condition-Limit10.exp3x3-opt.wvr.yml.log                       2024-04-27 14:28  103K  
[TXT] DFS-SleepSet-Condition-Limit10.exp3x3.wvr.yml.log                           2024-04-27 14:30  177K  
[TXT] DFS-SleepSet-Condition-Limit10.fibonacci.wvr.yml.log                        2024-04-27 14:26   70K  
[TXT] DFS-SleepSet-Condition-Limit10.figure1-alt.wvr.yml.log                      2024-04-27 14:42   74K  
[TXT] DFS-SleepSet-Condition-Limit10.figure1.wvr.yml.log                          2024-04-27 14:56  887K  
[TXT] DFS-SleepSet-Condition-Limit10.figure3.wvr.yml.log                          2024-04-27 14:55  776K  
[TXT] DFS-SleepSet-Condition-Limit10.file-item-subst.wvr.yml.log                  2024-04-27 14:34   38K  
[TXT] DFS-SleepSet-Condition-Limit10.file-item-symm.wvr.yml.log                   2024-04-27 14:34   38K  
[TXT] DFS-SleepSet-Condition-Limit10.file-item-trans.wvr.yml.log                  2024-04-27 14:34   38K  
[TXT] DFS-SleepSet-Condition-Limit10.hard1.wvr.yml.log                            2024-04-27 15:32  654K  
[TXT] DFS-SleepSet-Condition-Limit10.horseshoe.wvr.yml.log                        2024-04-27 14:45   99K  
[TXT] DFS-SleepSet-Condition-Limit10.inc-subseq-array.wvr.yml.log                 2024-04-27 15:08   70K  
[TXT] DFS-SleepSet-Condition-Limit10.inc-subseq.wvr.yml.log                       2024-04-27 15:08   70K  
[TXT] DFS-SleepSet-Condition-Limit10.lamport.wvr.yml.log                          2024-04-27 14:40   60K  
[TXT] DFS-SleepSet-Condition-Limit10.loop-tiling-eq.wvr.yml.log                   2024-04-27 14:41  247K  
[TXT] DFS-SleepSet-Condition-Limit10.match-subst.wvr.yml.log                      2024-04-27 14:34   38K  
[TXT] DFS-SleepSet-Condition-Limit10.match-symm.wvr.yml.log                       2024-04-27 14:34   38K  
[TXT] DFS-SleepSet-Condition-Limit10.match-trans.wvr.yml.log                      2024-04-27 14:34   38K  
[TXT] DFS-SleepSet-Condition-Limit10.max-array-hom.wvr.yml.log                    2024-04-27 15:10   82K  
[TXT] DFS-SleepSet-Condition-Limit10.max-array.wvr.yml.log                        2024-04-27 15:13  168K  
[TXT] DFS-SleepSet-Condition-Limit10.max-fun-alt.wvr.yml.log                      2024-04-27 15:13  168K  
[TXT] DFS-SleepSet-Condition-Limit10.max-fun.wvr.yml.log                          2024-04-27 15:11   82K  
[TXT] DFS-SleepSet-Condition-Limit10.min-array-hom.wvr.yml.log                    2024-04-27 15:13   82K  
[TXT] DFS-SleepSet-Condition-Limit10.min-array.wvr.yml.log                        2024-04-27 15:15  127K  
[TXT] DFS-SleepSet-Condition-Limit10.min-fun-alt.wvr.yml.log                      2024-04-27 15:15  127K  
[TXT] DFS-SleepSet-Condition-Limit10.min-fun.wvr.yml.log                          2024-04-27 15:14   82K  
[TXT] DFS-SleepSet-Condition-Limit10.min-le-max.wvr.yml.log                       2024-04-27 15:12   49K  
[TXT] DFS-SleepSet-Condition-Limit10.min-max-1.wvr.yml.log                        2024-04-27 14:40   43K  
[TXT] DFS-SleepSet-Condition-Limit10.min-max-2.wvr.yml.log                        2024-04-27 14:42  146K  
[TXT] DFS-SleepSet-Condition-Limit10.min-max-dec.wvr.yml.log                      2024-04-27 14:57  128K  
[TXT] DFS-SleepSet-Condition-Limit10.min-max-inc-dec.wvr.yml.log                  2024-04-27 14:47  150K  
[TXT] DFS-SleepSet-Condition-Limit10.min-max-inc.wvr.yml.log                      2024-04-27 14:49  172K  
[TXT] DFS-SleepSet-Condition-Limit10.misc-1.wvr.yml.log                           2024-04-27 14:54  111K  
[TXT] DFS-SleepSet-Condition-Limit10.misc-2-unrolled-atomic.wvr.yml.log           2024-04-27 14:40   38K  
[TXT] DFS-SleepSet-Condition-Limit10.misc-2-unrolled.wvr.yml.log                  2024-04-27 14:40   51K  
[TXT] DFS-SleepSet-Condition-Limit10.misc-2.wvr.yml.log                           2024-04-27 14:40  124K  
[TXT] DFS-SleepSet-Condition-Limit10.misc-3-extended.wvr.yml.log                  2024-04-27 14:40   78K  
[TXT] DFS-SleepSet-Condition-Limit10.misc-3.wvr.yml.log                           2024-04-27 14:40   58K  
[TXT] DFS-SleepSet-Condition-Limit10.misc-4.wvr.yml.log                           2024-04-27 14:40   58K  
[TXT] DFS-SleepSet-Condition-Limit10.misc-5.wvr.yml.log                           2024-04-27 14:42  188K  
[TXT] DFS-SleepSet-Condition-Limit10.mts-array.wvr.yml.log                        2024-04-27 15:16   77K  
[TXT] DFS-SleepSet-Condition-Limit10.mts.wvr.yml.log                              2024-04-27 15:17   77K  
[TXT] DFS-SleepSet-Condition-Limit10.mult-4.wvr.yml.log                           2024-04-27 15:01  1.3M  
[TXT] DFS-SleepSet-Condition-Limit10.mult-comm.wvr.yml.log                        2024-04-27 14:39  540K  
[TXT] DFS-SleepSet-Condition-Limit10.mult-dist.wvr.yml.log                        2024-04-27 14:38  1.0M  
[TXT] DFS-SleepSet-Condition-Limit10.mult-equiv.wvr.yml.log                       2024-04-27 15:02  919K  
[TXT] DFS-SleepSet-Condition-Limit10.mult-flipped-dist.wvr.yml.log                2024-04-27 14:26   91K  
[TXT] DFS-SleepSet-Condition-Limit10.multiply-verify.wvr.yml.log                  2024-04-27 15:12   75K  
[TXT] DFS-SleepSet-Condition-Limit10.name-comparator-subst.wvr.yml.log            2024-04-27 14:34  145K  
[TXT] DFS-SleepSet-Condition-Limit10.name-comparator-symm.wvr.yml.log             2024-04-27 14:34  106K  
[TXT] DFS-SleepSet-Condition-Limit10.name-comparator-trans.wvr.yml.log            2024-04-27 14:35  220K  
[TXT] DFS-SleepSet-Condition-Limit10.node-subst.wvr.yml.log                       2024-04-27 14:34   38K  
[TXT] DFS-SleepSet-Condition-Limit10.node-symm.wvr.yml.log                        2024-04-27 14:35   38K  
[TXT] DFS-SleepSet-Condition-Limit10.node-trans.wvr.yml.log                       2024-04-27 14:35   38K  
[TXT] DFS-SleepSet-Condition-Limit10.nonblocking-cntr-alt.wvr.yml.log             2024-04-27 14:51   95K  
[TXT] DFS-SleepSet-Condition-Limit10.nonblocking-cntr.wvr.yml.log                 2024-04-27 15:05  586K  
[TXT] DFS-SleepSet-Condition-Limit10.nonblocking-counter-alt2.wvr.yml.log         2024-04-27 15:26  132K  
[TXT] DFS-SleepSet-Condition-Limit10.nzb-file-subst.wvr.yml.log                   2024-04-27 14:36  247K  
[TXT] DFS-SleepSet-Condition-Limit10.nzb-file-symm.wvr.yml.log                    2024-04-27 14:36  118K  
[TXT] DFS-SleepSet-Condition-Limit10.nzb-file-trans.wvr.yml.log                   2024-04-27 14:37  221K  
[TXT] DFS-SleepSet-Condition-Limit10.parallel-sum-1-dsl.wvr.yml.log               2024-04-27 14:55  225K  
[TXT] DFS-SleepSet-Condition-Limit10.parallel-sum-1.wvr.yml.log                   2024-04-27 14:53  428K  
[TXT] DFS-SleepSet-Condition-Limit10.parallel-sum-2.wvr.yml.log                   2024-04-27 14:55  438K  
[TXT] DFS-SleepSet-Condition-Limit10.parallel-sum-equiv.wvr.yml.log               2024-04-27 14:54  367K  
[TXT] DFS-SleepSet-Condition-Limit10.parray-copy.wvr.yml.log                      2024-04-27 15:18  123K  
[TXT] DFS-SleepSet-Condition-Limit10.poker-hand-subst.wvr.yml.log                 2024-04-27 14:41  640K  
[TXT] DFS-SleepSet-Condition-Limit10.poker-hand-symm.wvr.yml.log                  2024-04-27 14:37  252K  
[TXT] DFS-SleepSet-Condition-Limit10.poker-hand-trans.wvr.yml.log                 2024-04-27 14:41  634K  
[TXT] DFS-SleepSet-Condition-Limit10.prod-cons-eq.wvr.yml.log                     2024-04-27 15:06  115K  
[TXT] DFS-SleepSet-Condition-Limit10.prod-cons.wvr.yml.log                        2024-04-27 15:00   90K  
[TXT] DFS-SleepSet-Condition-Limit10.prod-cons3.wvr.yml.log                       2024-04-27 15:08  115K  
[TXT] DFS-SleepSet-Condition-Limit10.queue-add-2-nl.wvr.yml.log                   2024-04-27 15:26  832K  
[TXT] DFS-SleepSet-Condition-Limit10.queue-add-2.wvr.yml.log                      2024-04-27 15:08  820K  
[TXT] DFS-SleepSet-Condition-Limit10.queue-add-3-nl.wvr.yml.log                   2024-04-27 15:27  318K  
[TXT] DFS-SleepSet-Condition-Limit10.queue-add-3.wvr.yml.log                      2024-04-27 15:04  299K  
[TXT] DFS-SleepSet-Condition-Limit10.ring-nondet.wvr.yml.log                      2024-04-27 15:15  518K  
[TXT] DFS-SleepSet-Condition-Limit10.ring.wvr.yml.log                             2024-04-27 15:03  163K  
[TXT] DFS-SleepSet-Condition-Limit10.security.wvr.yml.log                         2024-04-27 14:26   72K  
[TXT] DFS-SleepSet-Condition-Limit10.semi1.wvr.yml.log                            2024-04-27 15:19   38K  
[TXT] DFS-SleepSet-Condition-Limit10.send-receive-alt.wvr.yml.log                 2024-04-27 15:01  178K  
[TXT] DFS-SleepSet-Condition-Limit10.send-receive.wvr.yml.log                     2024-04-27 15:07  230K  
[TXT] DFS-SleepSet-Condition-Limit10.simpl-str-subst.wvr.yml.log                  2024-04-27 14:38   38K  
[TXT] DFS-SleepSet-Condition-Limit10.simpl-str-symm.wvr.yml.log                   2024-04-27 14:38   38K  
[TXT] DFS-SleepSet-Condition-Limit10.simpl-str-trans.wvr.yml.log                  2024-04-27 14:38   38K  
[TXT] DFS-SleepSet-Condition-Limit10.simple-array-sum.wvr.yml.log                 2024-04-27 14:57  171K  
[TXT] DFS-SleepSet-Condition-Limit10.simple-equiv.wvr.yml.log                     2024-04-27 14:41   38K  
[TXT] DFS-SleepSet-Condition-Limit10.simple-queue.wvr.yml.log                     2024-04-27 14:56   85K  
[TXT] DFS-SleepSet-Condition-Limit10.sorted.wvr.yml.log                           2024-04-27 15:25  191K  
[TXT] DFS-SleepSet-Condition-Limit10.spaghetti.wvr.yml.log                        2024-04-27 14:26   43K  
[TXT] DFS-SleepSet-Condition-Limit10.sre-subst.wvr.yml.log                        2024-04-27 14:38   38K  
[TXT] DFS-SleepSet-Condition-Limit10.sre-symm.wvr.yml.log                         2024-04-27 14:38   38K  
[TXT] DFS-SleepSet-Condition-Limit10.sre-trans.wvr.yml.log                        2024-04-27 14:38   38K  
[TXT] DFS-SleepSet-Condition-Limit10.sum-array-hom.wvr.yml.log                    2024-04-27 15:23  358K  
[TXT] DFS-SleepSet-Condition-Limit10.sum-array.wvr.yml.log                        2024-04-27 15:24  370K  
[TXT] DFS-SleepSet-Condition-Limit10.sum-fun-alt.wvr.yml.log                      2024-04-27 15:24  370K  
[TXT] DFS-SleepSet-Condition-Limit10.sum-fun.wvr.yml.log                          2024-04-27 15:24  357K  
[TXT] DFS-SleepSet-Condition-Limit10.threaded-sum-2.wvr.yml.log                   2024-04-27 15:04  125K  
[TXT] DFS-SleepSet-Condition-Limit10.threaded-sum-3.wvr.yml.log                   2024-04-27 15:11  227K  
[TXT] DFS-SleepSet-Condition-Limit10.three-array-max.wvr.yml.log                  2024-04-27 15:00   75K  
[TXT] DFS-SleepSet-Condition-Limit10.three-array-min.wvr.yml.log                  2024-04-27 15:12   91K  
[TXT] DFS-SleepSet-Condition-Limit10.three-array-sum-alt.wvr.yml.log              2024-04-27 15:04  121K  
[TXT] DFS-SleepSet-Condition-Limit10.three-array-sum.wvr.yml.log                  2024-04-27 15:01  166K  
[TXT] DFS-SleepSet-Condition-Limit10.ticket-2.wvr.yml.log                         2024-04-27 14:41   41K  
[TXT] DFS-SleepSet-Condition-Limit10.ticket-3.wvr.yml.log                         2024-04-27 14:41   75K  
[TXT] DFS-SleepSet-Condition-Limit10.ticket-4.wvr.yml.log                         2024-04-27 14:41  158K  
[TXT] DFS-SleepSet-Condition-Limit10.ticket-5.wvr.yml.log                         2024-04-27 14:43  295K  
[TXT] DFS-SleepSet-Condition-Limit10.ticket-6.wvr.yml.log                         2024-04-27 14:46   48K  
[TXT] DFS-SleepSet-Condition-Limit10.ticket-7.wvr.yml.log                         2024-04-27 14:41   45K  
[TXT] DFS-SleepSet-Condition-Limit10.ticket-8.wvr.yml.log                         2024-04-27 14:52   60K  
[TXT] DFS-SleepSet-Condition-Limit10.time-subst.wvr.yml.log                       2024-04-27 14:38   38K  
[TXT] DFS-SleepSet-Condition-Limit10.time-symm.wvr.yml.log                        2024-04-27 14:38   38K  
[TXT] DFS-SleepSet-Condition-Limit10.time-trans.wvr.yml.log                       2024-04-27 14:38   38K  
[TXT] DFS-SleepSet-Condition-Limit10.two-queue.wvr.yml.log                        2024-04-27 15:01   88K  
[TXT] DFS-SleepSet-Condition-Limit10.unroll-2.wvr.yml.log                         2024-04-27 14:41  252K  
[TXT] DFS-SleepSet-Condition-Limit10.unroll-3.wvr.yml.log                         2024-04-27 14:41  180K  
[TXT] DFS-SleepSet-Condition-Limit10.unroll-4.wvr.yml.log                         2024-04-27 14:41  180K  
[TXT] DFS-SleepSet-Condition-Limit10.unroll-5.wvr.yml.log                         2024-04-27 14:41  138K  
[TXT] DFS-SleepSet-Condition-Limit10.unroll-cond-2.wvr.yml.log                    2024-04-27 14:38  232K  
[TXT] DFS-SleepSet-Condition-Limit10.unroll-cond-3.wvr.yml.log                    2024-04-27 14:39  188K  
[TXT] DFS-SleepSet-Condition-Limit10.unroll-cond-4.wvr.yml.log                    2024-04-27 14:40  158K  
[TXT] DFS-SleepSet-Condition-Limit10.unroll-cond-5.wvr.yml.log                    2024-04-27 14:41   44K  
[TXT] DFS-SleepSet-Condition-Limit10.vector-add.wvr.yml.log                       2024-04-27 15:31   93K  
[TXT] DFS-SleepSet-Condition-Limit10.word-subst.wvr.yml.log                       2024-04-27 14:39  213K  
[TXT] DFS-SleepSet-Condition-Limit10.word-symm.wvr.yml.log                        2024-04-27 14:39  121K  
[TXT] DFS-SleepSet-Condition-Limit10.word-trans.wvr.yml.log                       2024-04-27 14:40  266K  
[TXT] DFS-SleepSet-Limit10.array-eq-symm.wvr.yml.log                              2024-04-27 13:19   84K  
[TXT] DFS-SleepSet-Limit10.array-eq-trans.wvr.yml.log                             2024-04-27 13:20  189K  
[TXT] DFS-SleepSet-Limit10.array-int-subst.wvr.yml.log                            2024-04-27 13:25  161K  
[TXT] DFS-SleepSet-Limit10.array-int-symm.wvr.yml.log                             2024-04-27 13:24   81K  
[TXT] DFS-SleepSet-Limit10.array-int-trans.wvr.yml.log                            2024-04-27 13:25  269K  
[TXT] DFS-SleepSet-Limit10.array-sum-alt.wvr.yml.log                              2024-04-27 14:02  349K  
[TXT] DFS-SleepSet-Limit10.array-sum.wvr.yml.log                                  2024-04-27 14:04  292K  
[TXT] DFS-SleepSet-Limit10.bakery-2.wvr.yml.log                                   2024-04-27 13:32   66K  
[TXT] DFS-SleepSet-Limit10.bakery-3.wvr.yml.log                                   2024-04-27 13:33  328K  
[TXT] DFS-SleepSet-Limit10.bakery-4.wvr.yml.log                                   2024-04-27 13:35  407K  
[TXT] DFS-SleepSet-Limit10.barrier-loop.wvr.yml.log                               2024-04-27 13:32   63K  
[TXT] DFS-SleepSet-Limit10.barrier.wvr.yml.log                                    2024-04-27 13:32   52K  
[TXT] DFS-SleepSet-Limit10.bluetooth.wvr.yml.log                                  2024-04-27 13:33   53K  
[TXT] DFS-SleepSet-Limit10.buffer-mult-alt.wvr.yml.log                            2024-04-27 14:02  240K  
[TXT] DFS-SleepSet-Limit10.buffer-mult.wvr.yml.log                                2024-04-27 14:12  240K  
[TXT] DFS-SleepSet-Limit10.buffer-series-array.wvr.yml.log                        2024-04-27 14:12  154K  
[TXT] DFS-SleepSet-Limit10.buffer-series.wvr.yml.log                              2024-04-27 14:12  154K  
[TXT] DFS-SleepSet-Limit10.channel-sum.wvr.yml.log                                2024-04-27 13:48  526K  
[TXT] DFS-SleepSet-Limit10.chromosome-opt-symm.wvr.yml.log                        2024-04-27 13:25   92K  
[TXT] DFS-SleepSet-Limit10.chromosome-subst.wvr.yml.log                           2024-04-27 13:26  143K  
[TXT] DFS-SleepSet-Limit10.chromosome-symm.wvr.yml.log                            2024-04-27 13:26  116K  
[TXT] DFS-SleepSet-Limit10.chromosome-trans.wvr.yml.log                           2024-04-27 13:27  205K  
[TXT] DFS-SleepSet-Limit10.clever.wvr.yml.log                                     2024-04-27 13:32  2.9M  
[TXT] DFS-SleepSet-Limit10.collitem-subst.wvr.yml.log                             2024-04-27 13:26   38K  
[TXT] DFS-SleepSet-Limit10.collitem-symm.wvr.yml.log                              2024-04-27 13:26   37K  
[TXT] DFS-SleepSet-Limit10.collitem-trans.wvr.yml.log                             2024-04-27 13:26   38K  
[TXT] DFS-SleepSet-Limit10.commit-1.wvr.yml.log                                   2024-04-27 13:55  200K  
[TXT] DFS-SleepSet-Limit10.commit-2.wvr.yml.log                                   2024-04-27 13:55  318K  
[TXT] DFS-SleepSet-Limit10.container-subst.wvr.yml.log                            2024-04-27 13:26   38K  
[TXT] DFS-SleepSet-Limit10.container-symm.wvr.yml.log                             2024-04-27 13:26   37K  
[TXT] DFS-SleepSet-Limit10.container-trans.wvr.yml.log                            2024-04-27 13:27   38K  
[TXT] DFS-SleepSet-Limit10.context1.wvr.yml.log                                   2024-04-27 14:12   63K  
[TXT] DFS-SleepSet-Limit10.counter-add-4-semi-Q67.wvr.yml.log                     2024-04-27 14:25  1.6M  
[TXT] DFS-SleepSet-Limit10.counter-determinism.wvr.yml.log                        2024-04-27 13:49  213K  
[TXT] DFS-SleepSet-Limit10.counter-fun.wvr.yml.log                                2024-04-27 13:43  145K  
[TXT] DFS-SleepSet-Limit10.counter-queue.wvr.yml.log                              2024-04-27 13:56   76K  
[TXT] DFS-SleepSet-Limit10.dec-subseq-array.wvr.yml.log                           2024-04-27 14:01   60K  
[TXT] DFS-SleepSet-Limit10.dec-subseq.wvr.yml.log                                 2024-04-27 14:01   60K  
[TXT] DFS-SleepSet-Limit10.difference-det.wvr.yml.log                             2024-04-27 13:36  113K  
[TXT] DFS-SleepSet-Limit10.dot-product-alt.wvr.yml.log                            2024-04-27 14:01  157K  
[TXT] DFS-SleepSet-Limit10.dot-product-array.wvr.yml.log                          2024-04-27 14:06   86K  
[TXT] DFS-SleepSet-Limit10.dot-product.wvr.yml.log                                2024-04-27 14:10  239K  
[TXT] DFS-SleepSet-Limit10.easy1.wvr.yml.log                                      2024-04-27 14:12   60K  
[TXT] DFS-SleepSet-Limit10.easy10.wvr.yml.log                                     2024-04-27 14:12   53K  
[TXT] DFS-SleepSet-Limit10.easy11.wvr.yml.log                                     2024-04-27 14:12   75K  
[TXT] DFS-SleepSet-Limit10.easy6.wvr.yml.log                                      2024-04-27 14:12   70K  
[TXT] DFS-SleepSet-Limit10.easy7.wvr.yml.log                                      2024-04-27 14:12   37K  
[TXT] DFS-SleepSet-Limit10.easy8.wvr.yml.log                                      2024-04-27 14:12   37K  
[TXT] DFS-SleepSet-Limit10.exp-term-subst.wvr.yml.log                             2024-04-27 13:27   38K  
[TXT] DFS-SleepSet-Limit10.exp-term-symm.wvr.yml.log                              2024-04-27 13:27   38K  
[TXT] DFS-SleepSet-Limit10.exp1x3.wvr.yml.log                                     2024-04-27 13:19   67K  
[TXT] DFS-SleepSet-Limit10.exp2x3.wvr.yml.log                                     2024-04-27 13:20  115K  
[TXT] DFS-SleepSet-Limit10.exp2x4.wvr.yml.log                                     2024-04-27 13:20  115K  
[TXT] DFS-SleepSet-Limit10.exp2x6.wvr.yml.log                                     2024-04-27 13:20  115K  
[TXT] DFS-SleepSet-Limit10.exp2x9.wvr.yml.log                                     2024-04-27 13:21  115K  
[TXT] DFS-SleepSet-Limit10.exp3x3-opt.wvr.yml.log                                 2024-04-27 13:21  102K  
[TXT] DFS-SleepSet-Limit10.exp3x3.wvr.yml.log                                     2024-04-27 13:23  176K  
[TXT] DFS-SleepSet-Limit10.fibonacci.wvr.yml.log                                  2024-04-27 13:19   70K  
[TXT] DFS-SleepSet-Limit10.figure1-alt.wvr.yml.log                                2024-04-27 13:36   74K  
[TXT] DFS-SleepSet-Limit10.figure1.wvr.yml.log                                    2024-04-27 13:49  786K  
[TXT] DFS-SleepSet-Limit10.figure3.wvr.yml.log                                    2024-04-27 13:50  921K  
[TXT] DFS-SleepSet-Limit10.file-item-subst.wvr.yml.log                            2024-04-27 13:27   38K  
[TXT] DFS-SleepSet-Limit10.file-item-symm.wvr.yml.log                             2024-04-27 13:27   38K  
[TXT] DFS-SleepSet-Limit10.file-item-trans.wvr.yml.log                            2024-04-27 13:27   38K  
[TXT] DFS-SleepSet-Limit10.hard1.wvr.yml.log                                      2024-04-27 14:26  653K  
[TXT] DFS-SleepSet-Limit10.horseshoe.wvr.yml.log                                  2024-04-27 13:38   99K  
[TXT] DFS-SleepSet-Limit10.inc-subseq-array.wvr.yml.log                           2024-04-27 14:02   70K  
[TXT] DFS-SleepSet-Limit10.inc-subseq.wvr.yml.log                                 2024-04-27 14:02   70K  
[TXT] DFS-SleepSet-Limit10.lamport.wvr.yml.log                                    2024-04-27 13:33   60K  
[TXT] DFS-SleepSet-Limit10.loop-tiling-eq.wvr.yml.log                             2024-04-27 13:34  244K  
[TXT] DFS-SleepSet-Limit10.match-subst.wvr.yml.log                                2024-04-27 13:27   38K  
[TXT] DFS-SleepSet-Limit10.match-symm.wvr.yml.log                                 2024-04-27 13:27   38K  
[TXT] DFS-SleepSet-Limit10.match-trans.wvr.yml.log                                2024-04-27 13:27   38K  
[TXT] DFS-SleepSet-Limit10.max-array-hom.wvr.yml.log                              2024-04-27 14:04   82K  
[TXT] DFS-SleepSet-Limit10.max-array.wvr.yml.log                                  2024-04-27 14:07  168K  
[TXT] DFS-SleepSet-Limit10.max-fun-alt.wvr.yml.log                                2024-04-27 14:07  168K  
[TXT] DFS-SleepSet-Limit10.max-fun.wvr.yml.log                                    2024-04-27 14:05   82K  
[TXT] DFS-SleepSet-Limit10.min-array-hom.wvr.yml.log                              2024-04-27 14:06   82K  
[TXT] DFS-SleepSet-Limit10.min-array.wvr.yml.log                                  2024-04-27 14:08  126K  
[TXT] DFS-SleepSet-Limit10.min-fun-alt.wvr.yml.log                                2024-04-27 14:09  126K  
[TXT] DFS-SleepSet-Limit10.min-fun.wvr.yml.log                                    2024-04-27 14:08   82K  
[TXT] DFS-SleepSet-Limit10.min-le-max.wvr.yml.log                                 2024-04-27 14:06   48K  
[TXT] DFS-SleepSet-Limit10.min-max-1.wvr.yml.log                                  2024-04-27 13:33   42K  
[TXT] DFS-SleepSet-Limit10.min-max-2.wvr.yml.log                                  2024-04-27 13:34  137K  
[TXT] DFS-SleepSet-Limit10.min-max-dec.wvr.yml.log                                2024-04-27 13:53  128K  
[TXT] DFS-SleepSet-Limit10.min-max-inc-dec.wvr.yml.log                            2024-04-27 13:42  149K  
[TXT] DFS-SleepSet-Limit10.min-max-inc.wvr.yml.log                                2024-04-27 13:49  199K  
[TXT] DFS-SleepSet-Limit10.misc-1.wvr.yml.log                                     2024-04-27 13:47  112K  
[TXT] DFS-SleepSet-Limit10.misc-2-unrolled-atomic.wvr.yml.log                     2024-04-27 13:33   38K  
[TXT] DFS-SleepSet-Limit10.misc-2-unrolled.wvr.yml.log                            2024-04-27 13:33   51K  
[TXT] DFS-SleepSet-Limit10.misc-2.wvr.yml.log                                     2024-04-27 13:33  123K  
[TXT] DFS-SleepSet-Limit10.misc-3-extended.wvr.yml.log                            2024-04-27 13:33   77K  
[TXT] DFS-SleepSet-Limit10.misc-3.wvr.yml.log                                     2024-04-27 13:33   58K  
[TXT] DFS-SleepSet-Limit10.misc-4.wvr.yml.log                                     2024-04-27 13:33   57K  
[TXT] DFS-SleepSet-Limit10.misc-5.wvr.yml.log                                     2024-04-27 13:35  200K  
[TXT] DFS-SleepSet-Limit10.mts-array.wvr.yml.log                                  2024-04-27 14:11   77K  
[TXT] DFS-SleepSet-Limit10.mts.wvr.yml.log                                        2024-04-27 14:11   77K  
[TXT] DFS-SleepSet-Limit10.mult-4.wvr.yml.log                                     2024-04-27 13:56  1.3M  
[TXT] DFS-SleepSet-Limit10.mult-comm.wvr.yml.log                                  2024-04-27 13:32  540K  
[TXT] DFS-SleepSet-Limit10.mult-dist.wvr.yml.log                                  2024-04-27 13:32  1.0M  
[TXT] DFS-SleepSet-Limit10.mult-equiv.wvr.yml.log                                 2024-04-27 13:56  896K  
[TXT] DFS-SleepSet-Limit10.mult-flipped-dist.wvr.yml.log                          2024-04-27 13:19   90K  
[TXT] DFS-SleepSet-Limit10.multiply-verify.wvr.yml.log                            2024-04-27 14:07   74K  
[TXT] DFS-SleepSet-Limit10.name-comparator-subst.wvr.yml.log                      2024-04-27 13:27  145K  
[TXT] DFS-SleepSet-Limit10.name-comparator-symm.wvr.yml.log                       2024-04-27 13:27  105K  
[TXT] DFS-SleepSet-Limit10.name-comparator-trans.wvr.yml.log                      2024-04-27 13:28  220K  
[TXT] DFS-SleepSet-Limit10.node-subst.wvr.yml.log                                 2024-04-27 13:28   38K  
[TXT] DFS-SleepSet-Limit10.node-symm.wvr.yml.log                                  2024-04-27 13:28   38K  
[TXT] DFS-SleepSet-Limit10.node-trans.wvr.yml.log                                 2024-04-27 13:28   38K  
[TXT] DFS-SleepSet-Limit10.nonblocking-cntr-alt.wvr.yml.log                       2024-04-27 13:44   95K  
[TXT] DFS-SleepSet-Limit10.nonblocking-cntr.wvr.yml.log                           2024-04-27 13:57  549K  
[TXT] DFS-SleepSet-Limit10.nonblocking-counter-alt2.wvr.yml.log                   2024-04-27 14:21  132K  
[TXT] DFS-SleepSet-Limit10.nzb-file-subst.wvr.yml.log                             2024-04-27 13:29  247K  
[TXT] DFS-SleepSet-Limit10.nzb-file-symm.wvr.yml.log                              2024-04-27 13:29  117K  
[TXT] DFS-SleepSet-Limit10.nzb-file-trans.wvr.yml.log                             2024-04-27 13:30  221K  
[TXT] DFS-SleepSet-Limit10.parallel-sum-1-dsl.wvr.yml.log                         2024-04-27 13:47  225K  
[TXT] DFS-SleepSet-Limit10.parallel-sum-1.wvr.yml.log                             2024-04-27 13:47  438K  
[TXT] DFS-SleepSet-Limit10.parallel-sum-2.wvr.yml.log                             2024-04-27 13:47  445K  
[TXT] DFS-SleepSet-Limit10.parallel-sum-equiv.wvr.yml.log                         2024-04-27 13:48  367K  
[TXT] DFS-SleepSet-Limit10.parray-copy.wvr.yml.log                                2024-04-27 14:12  122K  
[TXT] DFS-SleepSet-Limit10.poker-hand-subst.wvr.yml.log                           2024-04-27 13:35  675K  
[TXT] DFS-SleepSet-Limit10.poker-hand-symm.wvr.yml.log                            2024-04-27 13:31  252K  
[TXT] DFS-SleepSet-Limit10.poker-hand-trans.wvr.yml.log                           2024-04-27 13:34  634K  
[TXT] DFS-SleepSet-Limit10.prod-cons-eq.wvr.yml.log                               2024-04-27 14:01  115K  
[TXT] DFS-SleepSet-Limit10.prod-cons.wvr.yml.log                                  2024-04-27 13:54   90K  
[TXT] DFS-SleepSet-Limit10.prod-cons3.wvr.yml.log                                 2024-04-27 14:01  115K  
[TXT] DFS-SleepSet-Limit10.queue-add-2-nl.wvr.yml.log                             2024-04-27 14:21  877K  
[TXT] DFS-SleepSet-Limit10.queue-add-2.wvr.yml.log                                2024-04-27 14:02  878K  
[TXT] DFS-SleepSet-Limit10.queue-add-3-nl.wvr.yml.log                             2024-04-27 14:21  318K  
[TXT] DFS-SleepSet-Limit10.queue-add-3.wvr.yml.log                                2024-04-27 13:56  299K  
[TXT] DFS-SleepSet-Limit10.ring-nondet.wvr.yml.log                                2024-04-27 14:09  526K  
[TXT] DFS-SleepSet-Limit10.ring.wvr.yml.log                                       2024-04-27 13:56  163K  
[TXT] DFS-SleepSet-Limit10.security.wvr.yml.log                                   2024-04-27 13:19   72K  
[TXT] DFS-SleepSet-Limit10.semi1.wvr.yml.log                                      2024-04-27 14:12   38K  
[TXT] DFS-SleepSet-Limit10.send-receive-alt.wvr.yml.log                           2024-04-27 13:55  178K  
[TXT] DFS-SleepSet-Limit10.send-receive.wvr.yml.log                               2024-04-27 14:02  252K  
[TXT] DFS-SleepSet-Limit10.simpl-str-subst.wvr.yml.log                            2024-04-27 13:31   38K  
[TXT] DFS-SleepSet-Limit10.simpl-str-symm.wvr.yml.log                             2024-04-27 13:31   38K  
[TXT] DFS-SleepSet-Limit10.simpl-str-trans.wvr.yml.log                            2024-04-27 13:31   38K  
[TXT] DFS-SleepSet-Limit10.simple-array-sum.wvr.yml.log                           2024-04-27 13:51  171K  
[TXT] DFS-SleepSet-Limit10.simple-equiv.wvr.yml.log                               2024-04-27 13:34   38K  
[TXT] DFS-SleepSet-Limit10.simple-queue.wvr.yml.log                               2024-04-27 13:49   84K  
[TXT] DFS-SleepSet-Limit10.sorted.wvr.yml.log                                     2024-04-27 14:19  190K  
[TXT] DFS-SleepSet-Limit10.spaghetti.wvr.yml.log                                  2024-04-27 13:19   43K  
[TXT] DFS-SleepSet-Limit10.sre-subst.wvr.yml.log                                  2024-04-27 13:31   38K  
[TXT] DFS-SleepSet-Limit10.sre-symm.wvr.yml.log                                   2024-04-27 13:31   37K  
[TXT] DFS-SleepSet-Limit10.sre-trans.wvr.yml.log                                  2024-04-27 13:32   38K  
[TXT] DFS-SleepSet-Limit10.sum-array-hom.wvr.yml.log                              2024-04-27 14:17  357K  
[TXT] DFS-SleepSet-Limit10.sum-array.wvr.yml.log                                  2024-04-27 14:18  369K  
[TXT] DFS-SleepSet-Limit10.sum-fun-alt.wvr.yml.log                                2024-04-27 14:17  370K  
[TXT] DFS-SleepSet-Limit10.sum-fun.wvr.yml.log                                    2024-04-27 14:19  357K  
[TXT] DFS-SleepSet-Limit10.threaded-sum-2.wvr.yml.log                             2024-04-27 13:58  124K  
[TXT] DFS-SleepSet-Limit10.threaded-sum-3.wvr.yml.log                             2024-04-27 14:03  226K  
[TXT] DFS-SleepSet-Limit10.three-array-max.wvr.yml.log                            2024-04-27 13:53   75K  
[TXT] DFS-SleepSet-Limit10.three-array-min.wvr.yml.log                            2024-04-27 14:07   91K  
[TXT] DFS-SleepSet-Limit10.three-array-sum-alt.wvr.yml.log                        2024-04-27 13:57  121K  
[TXT] DFS-SleepSet-Limit10.three-array-sum.wvr.yml.log                            2024-04-27 13:54  166K  
[TXT] DFS-SleepSet-Limit10.ticket-2.wvr.yml.log                                   2024-04-27 13:34   41K  
[TXT] DFS-SleepSet-Limit10.ticket-3.wvr.yml.log                                   2024-04-27 13:34   75K  
[TXT] DFS-SleepSet-Limit10.ticket-4.wvr.yml.log                                   2024-04-27 13:34  158K  
[TXT] DFS-SleepSet-Limit10.ticket-5.wvr.yml.log                                   2024-04-27 13:36  294K  
[TXT] DFS-SleepSet-Limit10.ticket-6.wvr.yml.log                                   2024-04-27 13:41   49K  
[TXT] DFS-SleepSet-Limit10.ticket-7.wvr.yml.log                                   2024-04-27 13:38   46K  
[TXT] DFS-SleepSet-Limit10.ticket-8.wvr.yml.log                                   2024-04-27 13:39   39K  
[TXT] DFS-SleepSet-Limit10.time-subst.wvr.yml.log                                 2024-04-27 13:32   38K  
[TXT] DFS-SleepSet-Limit10.time-symm.wvr.yml.log                                  2024-04-27 13:32   38K  
[TXT] DFS-SleepSet-Limit10.time-trans.wvr.yml.log                                 2024-04-27 13:32   38K  
[TXT] DFS-SleepSet-Limit10.two-queue.wvr.yml.log                                  2024-04-27 13:54   88K  
[TXT] DFS-SleepSet-Limit10.unroll-2.wvr.yml.log                                   2024-04-27 13:34  251K  
[TXT] DFS-SleepSet-Limit10.unroll-3.wvr.yml.log                                   2024-04-27 13:34  180K  
[TXT] DFS-SleepSet-Limit10.unroll-4.wvr.yml.log                                   2024-04-27 13:34  179K  
[TXT] DFS-SleepSet-Limit10.unroll-5.wvr.yml.log                                   2024-04-27 13:34  137K  
[TXT] DFS-SleepSet-Limit10.unroll-cond-2.wvr.yml.log                              2024-04-27 13:31  232K  
[TXT] DFS-SleepSet-Limit10.unroll-cond-3.wvr.yml.log                              2024-04-27 13:31  188K  
[TXT] DFS-SleepSet-Limit10.unroll-cond-4.wvr.yml.log                              2024-04-27 13:32  158K  
[TXT] DFS-SleepSet-Limit10.unroll-cond-5.wvr.yml.log                              2024-04-27 13:34   43K  
[TXT] DFS-SleepSet-Limit10.vector-add.wvr.yml.log                                 2024-04-27 14:25   93K  
[TXT] DFS-SleepSet-Limit10.word-subst.wvr.yml.log                                 2024-04-27 13:32  213K  
[TXT] DFS-SleepSet-Limit10.word-symm.wvr.yml.log                                  2024-04-27 13:32  121K  
[TXT] DFS-SleepSet-Limit10.word-trans.wvr.yml.log                                 2024-04-27 13:33  266K  
[TXT] IA-Default.array-eq-symm.wvr.yml.log                                        2024-04-27 02:00   84K  
[TXT] IA-Default.array-eq-trans.wvr.yml.log                                       2024-04-27 02:01  189K  
[TXT] IA-Default.array-int-subst.wvr.yml.log                                      2024-04-27 02:05  161K  
[TXT] IA-Default.array-int-symm.wvr.yml.log                                       2024-04-27 02:04   80K  
[TXT] IA-Default.array-int-trans.wvr.yml.log                                      2024-04-27 02:05  269K  
[TXT] IA-Default.array-sum-alt.wvr.yml.log                                        2024-04-27 02:43  348K  
[TXT] IA-Default.array-sum.wvr.yml.log                                            2024-04-27 02:46  292K  
[TXT] IA-Default.bakery-2.wvr.yml.log                                             2024-04-27 02:13   70K  
[TXT] IA-Default.bakery-3.wvr.yml.log                                             2024-04-27 02:14  315K  
[TXT] IA-Default.bakery-4.wvr.yml.log                                             2024-04-27 02:21  815K  
[TXT] IA-Default.barrier-loop.wvr.yml.log                                         2024-04-27 02:13   62K  
[TXT] IA-Default.barrier.wvr.yml.log                                              2024-04-27 02:13   58K  
[TXT] IA-Default.bluetooth.wvr.yml.log                                            2024-04-27 02:13   46K  
[TXT] IA-Default.buffer-mult-alt.wvr.yml.log                                      2024-04-27 02:42  276K  
[TXT] IA-Default.buffer-mult.wvr.yml.log                                          2024-04-27 02:42  176K  
[TXT] IA-Default.buffer-series-array.wvr.yml.log                                  2024-04-27 02:50  220K  
[TXT] IA-Default.buffer-series.wvr.yml.log                                        2024-04-27 02:50  220K  
[TXT] IA-Default.channel-sum.wvr.yml.log                                          2024-04-27 02:29  544K  
[TXT] IA-Default.chromosome-opt-symm.wvr.yml.log                                  2024-04-27 02:05   91K  
[TXT] IA-Default.chromosome-subst.wvr.yml.log                                     2024-04-27 02:06  143K  
[TXT] IA-Default.chromosome-symm.wvr.yml.log                                      2024-04-27 02:06  116K  
[TXT] IA-Default.chromosome-trans.wvr.yml.log                                     2024-04-27 02:06  205K  
[TXT] IA-Default.clever.wvr.yml.log                                               2024-04-27 02:14  3.4M  
[TXT] IA-Default.collitem-subst.wvr.yml.log                                       2024-04-27 02:06   38K  
[TXT] IA-Default.collitem-symm.wvr.yml.log                                        2024-04-27 02:06   37K  
[TXT] IA-Default.collitem-trans.wvr.yml.log                                       2024-04-27 02:06   38K  
[TXT] IA-Default.commit-1.wvr.yml.log                                             2024-04-27 02:37  257K  
[TXT] IA-Default.commit-2.wvr.yml.log                                             2024-04-27 02:42  613K  
[TXT] IA-Default.container-subst.wvr.yml.log                                      2024-04-27 02:07   38K  
[TXT] IA-Default.container-symm.wvr.yml.log                                       2024-04-27 02:07   37K  
[TXT] IA-Default.container-trans.wvr.yml.log                                      2024-04-27 02:07   38K  
[TXT] IA-Default.context1.wvr.yml.log                                             2024-04-27 02:56   66K  
[TXT] IA-Default.counter-add-4-semi-Q67.wvr.yml.log                               2024-04-27 03:08  1.5M  
[TXT] IA-Default.counter-determinism.wvr.yml.log                                  2024-04-27 02:29  213K  
[TXT] IA-Default.counter-fun.wvr.yml.log                                          2024-04-27 02:24  139K  
[TXT] IA-Default.counter-queue.wvr.yml.log                                        2024-04-27 02:36   76K  
[TXT] IA-Default.dec-subseq-array.wvr.yml.log                                     2024-04-27 02:56   93K  
[TXT] IA-Default.dec-subseq.wvr.yml.log                                           2024-04-27 02:56   94K  
[TXT] IA-Default.difference-det.wvr.yml.log                                       2024-04-27 02:17  207K  
[TXT] IA-Default.dot-product-alt.wvr.yml.log                                      2024-04-27 02:43  157K  
[TXT] IA-Default.dot-product-array.wvr.yml.log                                    2024-04-27 02:46   85K  
[TXT] IA-Default.dot-product.wvr.yml.log                                          2024-04-27 02:51  240K  
[TXT] IA-Default.easy1.wvr.yml.log                                                2024-04-27 02:57   60K  
[TXT] IA-Default.easy10.wvr.yml.log                                               2024-04-27 02:57   56K  
[TXT] IA-Default.easy11.wvr.yml.log                                               2024-04-27 02:57   75K  
[TXT] IA-Default.easy6.wvr.yml.log                                                2024-04-27 02:57   71K  
[TXT] IA-Default.easy7.wvr.yml.log                                                2024-04-27 02:57   37K  
[TXT] IA-Default.easy8.wvr.yml.log                                                2024-04-27 02:57   37K  
[TXT] IA-Default.exp-term-subst.wvr.yml.log                                       2024-04-27 02:07   38K  
[TXT] IA-Default.exp-term-symm.wvr.yml.log                                        2024-04-27 02:07   37K  
[TXT] IA-Default.exp1x3.wvr.yml.log                                               2024-04-27 02:00   67K  
[TXT] IA-Default.exp2x3.wvr.yml.log                                               2024-04-27 02:01  114K  
[TXT] IA-Default.exp2x4.wvr.yml.log                                               2024-04-27 02:01  115K  
[TXT] IA-Default.exp2x6.wvr.yml.log                                               2024-04-27 02:01  115K  
[TXT] IA-Default.exp2x9.wvr.yml.log                                               2024-04-27 02:02  115K  
[TXT] IA-Default.exp3x3-opt.wvr.yml.log                                           2024-04-27 02:02  102K  
[TXT] IA-Default.exp3x3.wvr.yml.log                                               2024-04-27 02:04  195K  
[TXT] IA-Default.fibonacci.wvr.yml.log                                            2024-04-27 02:00   69K  
[TXT] IA-Default.figure1-alt.wvr.yml.log                                          2024-04-27 02:19   88K  
[TXT] IA-Default.figure1.wvr.yml.log                                              2024-04-27 02:19   64K  
[TXT] IA-Default.figure3.wvr.yml.log                                              2024-04-27 02:32  883K  
[TXT] IA-Default.file-item-subst.wvr.yml.log                                      2024-04-27 02:07   38K  
[TXT] IA-Default.file-item-symm.wvr.yml.log                                       2024-04-27 02:07   37K  
[TXT] IA-Default.file-item-trans.wvr.yml.log                                      2024-04-27 02:07   38K  
[TXT] IA-Default.hard1.wvr.yml.log                                                2024-04-27 03:01  576K  
[TXT] IA-Default.horseshoe.wvr.yml.log                                            2024-04-27 02:34  487K  
[TXT] IA-Default.inc-subseq-array.wvr.yml.log                                     2024-04-27 02:57   93K  
[TXT] IA-Default.inc-subseq.wvr.yml.log                                           2024-04-27 02:57   93K  
[TXT] IA-Default.lamport.wvr.yml.log                                              2024-04-27 02:13   70K  
[TXT] IA-Default.loop-tiling-eq.wvr.yml.log                                       2024-04-27 02:15  241K  
[TXT] IA-Default.match-subst.wvr.yml.log                                          2024-04-27 02:07   38K  
[TXT] IA-Default.match-symm.wvr.yml.log                                           2024-04-27 02:07   37K  
[TXT] IA-Default.match-trans.wvr.yml.log                                          2024-04-27 02:07   38K  
[TXT] IA-Default.max-array-hom.wvr.yml.log                                        2024-04-27 02:46   82K  
[TXT] IA-Default.max-array.wvr.yml.log                                            2024-04-27 02:50  167K  
[TXT] IA-Default.max-fun-alt.wvr.yml.log                                          2024-04-27 02:51  167K  
[TXT] IA-Default.max-fun.wvr.yml.log                                              2024-04-27 02:48   82K  
[TXT] IA-Default.min-array-hom.wvr.yml.log                                        2024-04-27 02:49   82K  
[TXT] IA-Default.min-array.wvr.yml.log                                            2024-04-27 02:51  126K  
[TXT] IA-Default.min-fun-alt.wvr.yml.log                                          2024-04-27 02:51  126K  
[TXT] IA-Default.min-fun.wvr.yml.log                                              2024-04-27 02:51   82K  
[TXT] IA-Default.min-le-max.wvr.yml.log                                           2024-04-27 02:49   48K  
[TXT] IA-Default.min-max-1.wvr.yml.log                                            2024-04-27 02:13   42K  
[TXT] IA-Default.min-max-2.wvr.yml.log                                            2024-04-27 02:23  140K  
[TXT] IA-Default.min-max-dec.wvr.yml.log                                          2024-04-27 02:36  199K  
[TXT] IA-Default.min-max-inc-dec.wvr.yml.log                                      2024-04-27 02:31  150K  
[TXT] IA-Default.min-max-inc.wvr.yml.log                                          2024-04-27 02:28  229K  
[TXT] IA-Default.misc-1.wvr.yml.log                                               2024-04-27 02:28  112K  
[TXT] IA-Default.misc-2-unrolled-atomic.wvr.yml.log                               2024-04-27 02:14   37K  
[TXT] IA-Default.misc-2-unrolled.wvr.yml.log                                      2024-04-27 02:14   50K  
[TXT] IA-Default.misc-2.wvr.yml.log                                               2024-04-27 02:14  123K  
[TXT] IA-Default.misc-3-extended.wvr.yml.log                                      2024-04-27 02:14   77K  
[TXT] IA-Default.misc-3.wvr.yml.log                                               2024-04-27 02:14   57K  
[TXT] IA-Default.misc-4.wvr.yml.log                                               2024-04-27 02:14   82K  
[TXT] IA-Default.misc-5.wvr.yml.log                                               2024-04-27 02:15  259K  
[TXT] IA-Default.mts-array.wvr.yml.log                                            2024-04-27 02:54   76K  
[TXT] IA-Default.mts.wvr.yml.log                                                  2024-04-27 02:55   76K  
[TXT] IA-Default.mult-4.wvr.yml.log                                               2024-04-27 02:37  1.7M  
[TXT] IA-Default.mult-comm.wvr.yml.log                                            2024-04-27 02:14  549K  
[TXT] IA-Default.mult-dist.wvr.yml.log                                            2024-04-27 02:13  1.1M  
[TXT] IA-Default.mult-equiv.wvr.yml.log                                           2024-04-27 02:28  830K  
[TXT] IA-Default.mult-flipped-dist.wvr.yml.log                                    2024-04-27 02:00   90K  
[TXT] IA-Default.multiply-verify.wvr.yml.log                                      2024-04-27 02:50   74K  
[TXT] IA-Default.name-comparator-subst.wvr.yml.log                                2024-04-27 02:08  144K  
[TXT] IA-Default.name-comparator-symm.wvr.yml.log                                 2024-04-27 02:07  105K  
[TXT] IA-Default.name-comparator-trans.wvr.yml.log                                2024-04-27 02:08  219K  
[TXT] IA-Default.node-subst.wvr.yml.log                                           2024-04-27 02:08   38K  
[TXT] IA-Default.node-symm.wvr.yml.log                                            2024-04-27 02:08   37K  
[TXT] IA-Default.node-trans.wvr.yml.log                                           2024-04-27 02:08   38K  
[TXT] IA-Default.nonblocking-cntr-alt.wvr.yml.log                                 2024-04-27 02:28   94K  
[TXT] IA-Default.nonblocking-cntr.wvr.yml.log                                     2024-04-27 02:41  558K  
[TXT] IA-Default.nonblocking-counter-alt2.wvr.yml.log                             2024-04-27 03:04  128K  
[TXT] IA-Default.nzb-file-subst.wvr.yml.log                                       2024-04-27 02:09  246K  
[TXT] IA-Default.nzb-file-symm.wvr.yml.log                                        2024-04-27 02:08  117K  
[TXT] IA-Default.nzb-file-trans.wvr.yml.log                                       2024-04-27 02:09  221K  
[TXT] IA-Default.parallel-sum-1-dsl.wvr.yml.log                                   2024-04-27 02:28  692K  
[TXT] IA-Default.parallel-sum-1.wvr.yml.log                                       2024-04-27 02:28  918K  
[TXT] IA-Default.parallel-sum-2.wvr.yml.log                                       2024-04-27 02:28  800K  
[TXT] IA-Default.parallel-sum-equiv.wvr.yml.log                                   2024-04-27 02:28  810K  
[TXT] IA-Default.parray-copy.wvr.yml.log                                          2024-04-27 02:55  122K  
[TXT] IA-Default.poker-hand-subst.wvr.yml.log                                     2024-04-27 02:14  714K  
[TXT] IA-Default.poker-hand-symm.wvr.yml.log                                      2024-04-27 02:10  251K  
[TXT] IA-Default.poker-hand-trans.wvr.yml.log                                     2024-04-27 02:12  634K  
[TXT] IA-Default.prod-cons-eq.wvr.yml.log                                         2024-04-27 02:28  102K  
[TXT] IA-Default.prod-cons.wvr.yml.log                                            2024-04-27 02:42  121K  
[TXT] IA-Default.prod-cons3.wvr.yml.log                                           2024-04-27 02:42  144K  
[TXT] IA-Default.queue-add-2-nl.wvr.yml.log                                       2024-04-27 03:04  840K  
[TXT] IA-Default.queue-add-2.wvr.yml.log                                          2024-04-27 02:41  839K  
[TXT] IA-Default.queue-add-3-nl.wvr.yml.log                                       2024-04-27 03:05  317K  
[TXT] IA-Default.queue-add-3.wvr.yml.log                                          2024-04-27 02:36  590K  
[TXT] IA-Default.ring-nondet.wvr.yml.log                                          2024-04-27 02:50  432K  
[TXT] IA-Default.ring.wvr.yml.log                                                 2024-04-27 02:37  126K  
[TXT] IA-Default.security.wvr.yml.log                                             2024-04-27 02:00   72K  
[TXT] IA-Default.semi1.wvr.yml.log                                                2024-04-27 02:57   37K  
[TXT] IA-Default.send-receive-alt.wvr.yml.log                                     2024-04-27 02:34  177K  
[TXT] IA-Default.send-receive.wvr.yml.log                                         2024-04-27 02:39  292K  
[TXT] IA-Default.simpl-str-subst.wvr.yml.log                                      2024-04-27 02:12   38K  
[TXT] IA-Default.simpl-str-symm.wvr.yml.log                                       2024-04-27 02:12   37K  
[TXT] IA-Default.simpl-str-trans.wvr.yml.log                                      2024-04-27 02:12   38K  
[TXT] IA-Default.simple-array-sum.wvr.yml.log                                     2024-04-27 02:31  162K  
[TXT] IA-Default.simple-equiv.wvr.yml.log                                         2024-04-27 02:14   38K  
[TXT] IA-Default.simple-queue.wvr.yml.log                                         2024-04-27 02:30   79K  
[TXT] IA-Default.sorted.wvr.yml.log                                               2024-04-27 03:02  190K  
[TXT] IA-Default.spaghetti.wvr.yml.log                                            2024-04-27 02:00   42K  
[TXT] IA-Default.sre-subst.wvr.yml.log                                            2024-04-27 02:12   38K  
[TXT] IA-Default.sre-symm.wvr.yml.log                                             2024-04-27 02:12   37K  
[TXT] IA-Default.sre-trans.wvr.yml.log                                            2024-04-27 02:12   38K  
[TXT] IA-Default.sum-array-hom.wvr.yml.log                                        2024-04-27 02:59  357K  
[TXT] IA-Default.sum-array.wvr.yml.log                                            2024-04-27 03:00  369K  
[TXT] IA-Default.sum-fun-alt.wvr.yml.log                                          2024-04-27 03:00  369K  
[TXT] IA-Default.sum-fun.wvr.yml.log                                              2024-04-27 03:03  357K  
[TXT] IA-Default.threaded-sum-2.wvr.yml.log                                       2024-04-27 02:38  141K  
[TXT] IA-Default.threaded-sum-3.wvr.yml.log                                       2024-04-27 02:44  249K  
[TXT] IA-Default.three-array-max.wvr.yml.log                                      2024-04-27 02:34   75K  
[TXT] IA-Default.three-array-min.wvr.yml.log                                      2024-04-27 02:47   90K  
[TXT] IA-Default.three-array-sum-alt.wvr.yml.log                                  2024-04-27 02:39  121K  
[TXT] IA-Default.three-array-sum.wvr.yml.log                                      2024-04-27 02:36  166K  
[TXT] IA-Default.ticket-2.wvr.yml.log                                             2024-04-27 02:14   46K  
[TXT] IA-Default.ticket-3.wvr.yml.log                                             2024-04-27 02:14   78K  
[TXT] IA-Default.ticket-4.wvr.yml.log                                             2024-04-27 02:15  174K  
[TXT] IA-Default.ticket-5.wvr.yml.log                                             2024-04-27 02:15  338K  
[TXT] IA-Default.ticket-6.wvr.yml.log                                             2024-04-27 02:18  404K  
[TXT] IA-Default.ticket-7.wvr.yml.log                                             2024-04-27 02:22   83K  
[TXT] IA-Default.ticket-8.wvr.yml.log                                             2024-04-27 02:15   25K  
[TXT] IA-Default.time-subst.wvr.yml.log                                           2024-04-27 02:12   38K  
[TXT] IA-Default.time-symm.wvr.yml.log                                            2024-04-27 02:12   37K  
[TXT] IA-Default.time-trans.wvr.yml.log                                           2024-04-27 02:12   38K  
[TXT] IA-Default.two-queue.wvr.yml.log                                            2024-04-27 02:35   88K  
[TXT] IA-Default.unroll-2.wvr.yml.log                                             2024-04-27 02:14  248K  
[TXT] IA-Default.unroll-3.wvr.yml.log                                             2024-04-27 02:15  180K  
[TXT] IA-Default.unroll-4.wvr.yml.log                                             2024-04-27 02:15  179K  
[TXT] IA-Default.unroll-5.wvr.yml.log                                             2024-04-27 02:15  136K  
[TXT] IA-Default.unroll-cond-2.wvr.yml.log                                        2024-04-27 02:12  231K  
[TXT] IA-Default.unroll-cond-3.wvr.yml.log                                        2024-04-27 02:13  188K  
[TXT] IA-Default.unroll-cond-4.wvr.yml.log                                        2024-04-27 02:14  158K  
[TXT] IA-Default.unroll-cond-5.wvr.yml.log                                        2024-04-27 02:15   43K  
[TXT] IA-Default.vector-add.wvr.yml.log                                           2024-04-27 03:04   90K  
[TXT] IA-Default.word-subst.wvr.yml.log                                           2024-04-27 02:13  213K  
[TXT] IA-Default.word-symm.wvr.yml.log                                            2024-04-27 02:13  120K  
[TXT] IA-Default.word-trans.wvr.yml.log                                           2024-04-27 02:13  265K  
[TXT] IA-Loop.array-eq-symm.wvr.yml.log                                           2024-04-27 04:16   84K  
[TXT] IA-Loop.array-eq-trans.wvr.yml.log                                          2024-04-27 04:17  189K  
[TXT] IA-Loop.array-int-subst.wvr.yml.log                                         2024-04-27 04:21  161K  
[TXT] IA-Loop.array-int-symm.wvr.yml.log                                          2024-04-27 04:19   80K  
[TXT] IA-Loop.array-int-trans.wvr.yml.log                                         2024-04-27 04:21  269K  
[TXT] IA-Loop.array-sum-alt.wvr.yml.log                                           2024-04-27 04:58  348K  
[TXT] IA-Loop.array-sum.wvr.yml.log                                               2024-04-27 05:00  292K  
[TXT] IA-Loop.bakery-2.wvr.yml.log                                                2024-04-27 04:28   66K  
[TXT] IA-Loop.bakery-3.wvr.yml.log                                                2024-04-27 04:29  298K  
[TXT] IA-Loop.bakery-4.wvr.yml.log                                                2024-04-27 04:30  419K  
[TXT] IA-Loop.barrier-loop.wvr.yml.log                                            2024-04-27 04:28   62K  
[TXT] IA-Loop.barrier.wvr.yml.log                                                 2024-04-27 04:29   58K  
[TXT] IA-Loop.bluetooth.wvr.yml.log                                               2024-04-27 04:29   46K  
[TXT] IA-Loop.buffer-mult-alt.wvr.yml.log                                         2024-04-27 04:54  292K  
[TXT] IA-Loop.buffer-mult.wvr.yml.log                                             2024-04-27 05:08  315K  
[TXT] IA-Loop.buffer-series-array.wvr.yml.log                                     2024-04-27 05:10  203K  
[TXT] IA-Loop.buffer-series.wvr.yml.log                                           2024-04-27 05:10  203K  
[TXT] IA-Loop.channel-sum.wvr.yml.log                                             2024-04-27 04:44  557K  
[TXT] IA-Loop.chromosome-opt-symm.wvr.yml.log                                     2024-04-27 04:21   91K  
[TXT] IA-Loop.chromosome-subst.wvr.yml.log                                        2024-04-27 04:22  143K  
[TXT] IA-Loop.chromosome-symm.wvr.yml.log                                         2024-04-27 04:21  116K  
[TXT] IA-Loop.chromosome-trans.wvr.yml.log                                        2024-04-27 04:22  205K  
[TXT] IA-Loop.clever.wvr.yml.log                                                  2024-04-27 04:29  3.4M  
[TXT] IA-Loop.collitem-subst.wvr.yml.log                                          2024-04-27 04:22   38K  
[TXT] IA-Loop.collitem-symm.wvr.yml.log                                           2024-04-27 04:22   37K  
[TXT] IA-Loop.collitem-trans.wvr.yml.log                                          2024-04-27 04:22   38K  
[TXT] IA-Loop.commit-1.wvr.yml.log                                                2024-04-27 04:50  257K  
[TXT] IA-Loop.commit-2.wvr.yml.log                                                2024-04-27 04:56  613K  
[TXT] IA-Loop.container-subst.wvr.yml.log                                         2024-04-27 04:22   38K  
[TXT] IA-Loop.container-symm.wvr.yml.log                                          2024-04-27 04:22   37K  
[TXT] IA-Loop.container-trans.wvr.yml.log                                         2024-04-27 04:22   38K  
[TXT] IA-Loop.context1.wvr.yml.log                                                2024-04-27 05:11   66K  
[TXT] IA-Loop.counter-add-4-semi-Q67.wvr.yml.log                                  2024-04-27 05:23  1.4M  
[TXT] IA-Loop.counter-determinism.wvr.yml.log                                     2024-04-27 04:44  212K  
[TXT] IA-Loop.counter-fun.wvr.yml.log                                             2024-04-27 04:40  139K  
[TXT] IA-Loop.counter-queue.wvr.yml.log                                           2024-04-27 04:51   76K  
[TXT] IA-Loop.dec-subseq-array.wvr.yml.log                                        2024-04-27 05:07   90K  
[TXT] IA-Loop.dec-subseq.wvr.yml.log                                              2024-04-27 05:08   89K  
[TXT] IA-Loop.difference-det.wvr.yml.log                                          2024-04-27 04:32  207K  
[TXT] IA-Loop.dot-product-alt.wvr.yml.log                                         2024-04-27 04:57  157K  
[TXT] IA-Loop.dot-product-array.wvr.yml.log                                       2024-04-27 05:02   85K  
[TXT] IA-Loop.dot-product.wvr.yml.log                                             2024-04-27 05:05  239K  
[TXT] IA-Loop.easy1.wvr.yml.log                                                   2024-04-27 05:11   60K  
[TXT] IA-Loop.easy10.wvr.yml.log                                                  2024-04-27 05:11   56K  
[TXT] IA-Loop.easy11.wvr.yml.log                                                  2024-04-27 05:11   75K  
[TXT] IA-Loop.easy6.wvr.yml.log                                                   2024-04-27 05:11   66K  
[TXT] IA-Loop.easy7.wvr.yml.log                                                   2024-04-27 05:11   37K  
[TXT] IA-Loop.easy8.wvr.yml.log                                                   2024-04-27 05:11   37K  
[TXT] IA-Loop.exp-term-subst.wvr.yml.log                                          2024-04-27 04:22   38K  
[TXT] IA-Loop.exp-term-symm.wvr.yml.log                                           2024-04-27 04:22   37K  
[TXT] IA-Loop.exp1x3.wvr.yml.log                                                  2024-04-27 04:16   67K  
[TXT] IA-Loop.exp2x3.wvr.yml.log                                                  2024-04-27 04:16  115K  
[TXT] IA-Loop.exp2x4.wvr.yml.log                                                  2024-04-27 04:16  115K  
[TXT] IA-Loop.exp2x6.wvr.yml.log                                                  2024-04-27 04:17  115K  
[TXT] IA-Loop.exp2x9.wvr.yml.log                                                  2024-04-27 04:17  115K  
[TXT] IA-Loop.exp3x3-opt.wvr.yml.log                                              2024-04-27 04:17  102K  
[TXT] IA-Loop.exp3x3.wvr.yml.log                                                  2024-04-27 04:19  195K  
[TXT] IA-Loop.fibonacci.wvr.yml.log                                               2024-04-27 04:16   69K  
[TXT] IA-Loop.figure1-alt.wvr.yml.log                                             2024-04-27 04:35   88K  
[TXT] IA-Loop.figure1.wvr.yml.log                                                 2024-04-27 04:35   64K  
[TXT] IA-Loop.figure3.wvr.yml.log                                                 2024-04-27 04:49  948K  
[TXT] IA-Loop.file-item-subst.wvr.yml.log                                         2024-04-27 04:22   38K  
[TXT] IA-Loop.file-item-symm.wvr.yml.log                                          2024-04-27 04:22   37K  
[TXT] IA-Loop.file-item-trans.wvr.yml.log                                         2024-04-27 04:22   38K  
[TXT] IA-Loop.hard1.wvr.yml.log                                                   2024-04-27 05:15  507K  
[TXT] IA-Loop.horseshoe.wvr.yml.log                                               2024-04-27 04:49  540K  
[TXT] IA-Loop.inc-subseq-array.wvr.yml.log                                        2024-04-27 05:12   90K  
[TXT] IA-Loop.inc-subseq.wvr.yml.log                                              2024-04-27 05:13   90K  
[TXT] IA-Loop.lamport.wvr.yml.log                                                 2024-04-27 04:29   66K  
[TXT] IA-Loop.loop-tiling-eq.wvr.yml.log                                          2024-04-27 04:30  246K  
[TXT] IA-Loop.match-subst.wvr.yml.log                                             2024-04-27 04:22   38K  
[TXT] IA-Loop.match-symm.wvr.yml.log                                              2024-04-27 04:22   37K  
[TXT] IA-Loop.match-trans.wvr.yml.log                                             2024-04-27 04:23   38K  
[TXT] IA-Loop.max-array-hom.wvr.yml.log                                           2024-04-27 05:01   82K  
[TXT] IA-Loop.max-array.wvr.yml.log                                               2024-04-27 05:06  167K  
[TXT] IA-Loop.max-fun-alt.wvr.yml.log                                             2024-04-27 05:06  167K  
[TXT] IA-Loop.max-fun.wvr.yml.log                                                 2024-04-27 05:04   82K  
[TXT] IA-Loop.min-array-hom.wvr.yml.log                                           2024-04-27 05:05   82K  
[TXT] IA-Loop.min-array.wvr.yml.log                                               2024-04-27 05:07  126K  
[TXT] IA-Loop.min-fun-alt.wvr.yml.log                                             2024-04-27 05:09  126K  
[TXT] IA-Loop.min-fun.wvr.yml.log                                                 2024-04-27 05:08   82K  
[TXT] IA-Loop.min-le-max.wvr.yml.log                                              2024-04-27 05:05   54K  
[TXT] IA-Loop.min-max-1.wvr.yml.log                                               2024-04-27 04:29   42K  
[TXT] IA-Loop.min-max-2.wvr.yml.log                                               2024-04-27 04:41  168K  
[TXT] IA-Loop.min-max-dec.wvr.yml.log                                             2024-04-27 04:52  213K  
[TXT] IA-Loop.min-max-inc-dec.wvr.yml.log                                         2024-04-27 04:39  103K  
[TXT] IA-Loop.min-max-inc.wvr.yml.log                                             2024-04-27 04:38  146K  
[TXT] IA-Loop.misc-1.wvr.yml.log                                                  2024-04-27 04:43  112K  
[TXT] IA-Loop.misc-2-unrolled-atomic.wvr.yml.log                                  2024-04-27 04:29   37K  
[TXT] IA-Loop.misc-2-unrolled.wvr.yml.log                                         2024-04-27 04:29   50K  
[TXT] IA-Loop.misc-2.wvr.yml.log                                                  2024-04-27 04:29  123K  
[TXT] IA-Loop.misc-3-extended.wvr.yml.log                                         2024-04-27 04:29   77K  
[TXT] IA-Loop.misc-3.wvr.yml.log                                                  2024-04-27 04:29   57K  
[TXT] IA-Loop.misc-4.wvr.yml.log                                                  2024-04-27 04:29   57K  
[TXT] IA-Loop.misc-5.wvr.yml.log                                                  2024-04-27 04:38  225K  
[TXT] IA-Loop.mts-array.wvr.yml.log                                               2024-04-27 05:10   76K  
[TXT] IA-Loop.mts.wvr.yml.log                                                     2024-04-27 05:11   76K  
[TXT] IA-Loop.mult-4.wvr.yml.log                                                  2024-04-27 04:52  1.4M  
[TXT] IA-Loop.mult-comm.wvr.yml.log                                               2024-04-27 04:29  548K  
[TXT] IA-Loop.mult-dist.wvr.yml.log                                               2024-04-27 04:28  1.1M  
[TXT] IA-Loop.mult-equiv.wvr.yml.log                                              2024-04-27 04:43  684K  
[TXT] IA-Loop.mult-flipped-dist.wvr.yml.log                                       2024-04-27 04:16   90K  
[TXT] IA-Loop.multiply-verify.wvr.yml.log                                         2024-04-27 05:06   74K  
[TXT] IA-Loop.name-comparator-subst.wvr.yml.log                                   2024-04-27 04:23  144K  
[TXT] IA-Loop.name-comparator-symm.wvr.yml.log                                    2024-04-27 04:23  105K  
[TXT] IA-Loop.name-comparator-trans.wvr.yml.log                                   2024-04-27 04:24  219K  
[TXT] IA-Loop.node-subst.wvr.yml.log                                              2024-04-27 04:23   38K  
[TXT] IA-Loop.node-symm.wvr.yml.log                                               2024-04-27 04:23   37K  
[TXT] IA-Loop.node-trans.wvr.yml.log                                              2024-04-27 04:23   37K  
[TXT] IA-Loop.nonblocking-cntr-alt.wvr.yml.log                                    2024-04-27 04:41   94K  
[TXT] IA-Loop.nonblocking-cntr.wvr.yml.log                                        2024-04-27 04:55  624K  
[TXT] IA-Loop.nonblocking-counter-alt2.wvr.yml.log                                2024-04-27 05:20  127K  
[TXT] IA-Loop.nzb-file-subst.wvr.yml.log                                          2024-04-27 04:24  246K  
[TXT] IA-Loop.nzb-file-symm.wvr.yml.log                                           2024-04-27 04:24  117K  
[TXT] IA-Loop.nzb-file-trans.wvr.yml.log                                          2024-04-27 04:25  221K  
[TXT] IA-Loop.parallel-sum-1-dsl.wvr.yml.log                                      2024-04-27 04:43  601K  
[TXT] IA-Loop.parallel-sum-1.wvr.yml.log                                          2024-04-27 04:43  854K  
[TXT] IA-Loop.parallel-sum-2.wvr.yml.log                                          2024-04-27 04:43  842K  
[TXT] IA-Loop.parallel-sum-equiv.wvr.yml.log                                      2024-04-27 04:44  811K  
[TXT] IA-Loop.parray-copy.wvr.yml.log                                             2024-04-27 05:11  122K  
[TXT] IA-Loop.poker-hand-subst.wvr.yml.log                                        2024-04-27 04:28  714K  
[TXT] IA-Loop.poker-hand-symm.wvr.yml.log                                         2024-04-27 04:26  252K  
[TXT] IA-Loop.poker-hand-trans.wvr.yml.log                                        2024-04-27 04:28  634K  
[TXT] IA-Loop.prod-cons-eq.wvr.yml.log                                            2024-04-27 04:43  102K  
[TXT] IA-Loop.prod-cons.wvr.yml.log                                               2024-04-27 04:57  102K  
[TXT] IA-Loop.prod-cons3.wvr.yml.log                                              2024-04-27 04:57  111K  
[TXT] IA-Loop.queue-add-2-nl.wvr.yml.log                                          2024-04-27 05:21  947K  
[TXT] IA-Loop.queue-add-2.wvr.yml.log                                             2024-04-27 04:58  944K  
[TXT] IA-Loop.queue-add-3-nl.wvr.yml.log                                          2024-04-27 05:21  318K  
[TXT] IA-Loop.queue-add-3.wvr.yml.log                                             2024-04-27 04:51  589K  
[TXT] IA-Loop.ring-nondet.wvr.yml.log                                             2024-04-27 05:05  394K  
[TXT] IA-Loop.ring.wvr.yml.log                                                    2024-04-27 04:52  126K  
[TXT] IA-Loop.security.wvr.yml.log                                                2024-04-27 04:16   71K  
[TXT] IA-Loop.semi1.wvr.yml.log                                                   2024-04-27 05:11   37K  
[TXT] IA-Loop.send-receive-alt.wvr.yml.log                                        2024-04-27 04:49  177K  
[TXT] IA-Loop.send-receive.wvr.yml.log                                            2024-04-27 04:55  219K  
[TXT] IA-Loop.simpl-str-subst.wvr.yml.log                                         2024-04-27 04:27   38K  
[TXT] IA-Loop.simpl-str-symm.wvr.yml.log                                          2024-04-27 04:28   37K  
[TXT] IA-Loop.simpl-str-trans.wvr.yml.log                                         2024-04-27 04:28   38K  
[TXT] IA-Loop.simple-array-sum.wvr.yml.log                                        2024-04-27 04:46  162K  
[TXT] IA-Loop.simple-equiv.wvr.yml.log                                            2024-04-27 04:30   38K  
[TXT] IA-Loop.simple-queue.wvr.yml.log                                            2024-04-27 04:44   79K  
[TXT] IA-Loop.sorted.wvr.yml.log                                                  2024-04-27 05:19  190K  
[TXT] IA-Loop.spaghetti.wvr.yml.log                                               2024-04-27 04:16   42K  
[TXT] IA-Loop.sre-subst.wvr.yml.log                                               2024-04-27 04:28   38K  
[TXT] IA-Loop.sre-symm.wvr.yml.log                                                2024-04-27 04:28   37K  
[TXT] IA-Loop.sre-trans.wvr.yml.log                                               2024-04-27 04:28   37K  
[TXT] IA-Loop.sum-array-hom.wvr.yml.log                                           2024-04-27 05:16  357K  
[TXT] IA-Loop.sum-array.wvr.yml.log                                               2024-04-27 05:17  369K  
[TXT] IA-Loop.sum-fun-alt.wvr.yml.log                                             2024-04-27 05:17  369K  
[TXT] IA-Loop.sum-fun.wvr.yml.log                                                 2024-04-27 05:18  357K  
[TXT] IA-Loop.threaded-sum-2.wvr.yml.log                                          2024-04-27 04:53  141K  
[TXT] IA-Loop.threaded-sum-3.wvr.yml.log                                          2024-04-27 04:58  224K  
[TXT] IA-Loop.three-array-max.wvr.yml.log                                         2024-04-27 04:49   75K  
[TXT] IA-Loop.three-array-min.wvr.yml.log                                         2024-04-27 05:02   90K  
[TXT] IA-Loop.three-array-sum-alt.wvr.yml.log                                     2024-04-27 04:54  121K  
[TXT] IA-Loop.three-array-sum.wvr.yml.log                                         2024-04-27 04:50  165K  
[TXT] IA-Loop.ticket-2.wvr.yml.log                                                2024-04-27 04:30   46K  
[TXT] IA-Loop.ticket-3.wvr.yml.log                                                2024-04-27 04:30   78K  
[TXT] IA-Loop.ticket-4.wvr.yml.log                                                2024-04-27 04:30  174K  
[TXT] IA-Loop.ticket-5.wvr.yml.log                                                2024-04-27 04:31  338K  
[TXT] IA-Loop.ticket-6.wvr.yml.log                                                2024-04-27 04:35  500K  
[TXT] IA-Loop.ticket-7.wvr.yml.log                                                2024-04-27 04:37   83K  
[TXT] IA-Loop.ticket-8.wvr.yml.log                                                2024-04-27 04:30   25K  
[TXT] IA-Loop.time-subst.wvr.yml.log                                              2024-04-27 04:28   38K  
[TXT] IA-Loop.time-symm.wvr.yml.log                                               2024-04-27 04:28   37K  
[TXT] IA-Loop.time-trans.wvr.yml.log                                              2024-04-27 04:28   38K  
[TXT] IA-Loop.two-queue.wvr.yml.log                                               2024-04-27 04:49   87K  
[TXT] IA-Loop.unroll-2.wvr.yml.log                                                2024-04-27 04:30  251K  
[TXT] IA-Loop.unroll-3.wvr.yml.log                                                2024-04-27 04:30  177K  
[TXT] IA-Loop.unroll-4.wvr.yml.log                                                2024-04-27 04:30  179K  
[TXT] IA-Loop.unroll-5.wvr.yml.log                                                2024-04-27 04:30  136K  
[TXT] IA-Loop.unroll-cond-2.wvr.yml.log                                           2024-04-27 04:27  231K  
[TXT] IA-Loop.unroll-cond-3.wvr.yml.log                                           2024-04-27 04:28  188K  
[TXT] IA-Loop.unroll-cond-4.wvr.yml.log                                           2024-04-27 04:30  158K  
[TXT] IA-Loop.unroll-cond-5.wvr.yml.log                                           2024-04-27 04:30   43K  
[TXT] IA-Loop.vector-add.wvr.yml.log                                              2024-04-27 05:18   90K  
[TXT] IA-Loop.word-subst.wvr.yml.log                                              2024-04-27 04:29  213K  
[TXT] IA-Loop.word-symm.wvr.yml.log                                               2024-04-27 04:28  120K  
[TXT] IA-Loop.word-trans.wvr.yml.log                                              2024-04-27 04:29  265K  
[TXT] IA-Random-20-213.array-eq-symm.wvr.yml.log                                  2024-04-27 05:24   84K  
[TXT] IA-Random-20-213.array-eq-trans.wvr.yml.log                                 2024-04-27 05:24  189K  
[TXT] IA-Random-20-213.array-int-subst.wvr.yml.log                                2024-04-27 05:28  161K  
[TXT] IA-Random-20-213.array-int-symm.wvr.yml.log                                 2024-04-27 05:27   81K  
[TXT] IA-Random-20-213.array-int-trans.wvr.yml.log                                2024-04-27 05:29  269K  
[TXT] IA-Random-20-213.array-sum-alt.wvr.yml.log                                  2024-04-27 06:09  349K  
[TXT] IA-Random-20-213.array-sum.wvr.yml.log                                      2024-04-27 06:11  292K  
[TXT] IA-Random-20-213.bakery-2.wvr.yml.log                                       2024-04-27 05:36   68K  
[TXT] IA-Random-20-213.bakery-3.wvr.yml.log                                       2024-04-27 05:36  295K  
[TXT] IA-Random-20-213.bakery-4.wvr.yml.log                                       2024-04-27 05:44  754K  
[TXT] IA-Random-20-213.barrier-loop.wvr.yml.log                                   2024-04-27 05:36   62K  
[TXT] IA-Random-20-213.barrier.wvr.yml.log                                        2024-04-27 05:36   58K  
[TXT] IA-Random-20-213.bluetooth.wvr.yml.log                                      2024-04-27 05:36   46K  
[TXT] IA-Random-20-213.buffer-mult-alt.wvr.yml.log                                2024-04-27 06:07  232K  
[TXT] IA-Random-20-213.buffer-mult.wvr.yml.log                                    2024-04-27 06:18  289K  
[TXT] IA-Random-20-213.buffer-series-array.wvr.yml.log                            2024-04-27 06:20  203K  
[TXT] IA-Random-20-213.buffer-series.wvr.yml.log                                  2024-04-27 06:20  203K  
[TXT] IA-Random-20-213.channel-sum.wvr.yml.log                                    2024-04-27 05:52  543K  
[TXT] IA-Random-20-213.chromosome-opt-symm.wvr.yml.log                            2024-04-27 05:29   92K  
[TXT] IA-Random-20-213.chromosome-subst.wvr.yml.log                               2024-04-27 05:29  144K  
[TXT] IA-Random-20-213.chromosome-symm.wvr.yml.log                                2024-04-27 05:29  116K  
[TXT] IA-Random-20-213.chromosome-trans.wvr.yml.log                               2024-04-27 05:29  205K  
[TXT] IA-Random-20-213.clever.wvr.yml.log                                         2024-04-27 05:37  3.4M  
[TXT] IA-Random-20-213.collitem-subst.wvr.yml.log                                 2024-04-27 05:30   38K  
[TXT] IA-Random-20-213.collitem-symm.wvr.yml.log                                  2024-04-27 05:30   37K  
[TXT] IA-Random-20-213.collitem-trans.wvr.yml.log                                 2024-04-27 05:30   38K  
[TXT] IA-Random-20-213.commit-1.wvr.yml.log                                       2024-04-27 06:00  211K  
[TXT] IA-Random-20-213.commit-2.wvr.yml.log                                       2024-04-27 06:02  391K  
[TXT] IA-Random-20-213.container-subst.wvr.yml.log                                2024-04-27 05:30   38K  
[TXT] IA-Random-20-213.container-symm.wvr.yml.log                                 2024-04-27 05:30   38K  
[TXT] IA-Random-20-213.container-trans.wvr.yml.log                                2024-04-27 05:30   38K  
[TXT] IA-Random-20-213.context1.wvr.yml.log                                       2024-04-27 06:21  107K  
[TXT] IA-Random-20-213.counter-add-4-semi-Q67.wvr.yml.log                         2024-04-27 06:34  1.5M  
[TXT] IA-Random-20-213.counter-determinism.wvr.yml.log                            2024-04-27 05:53  248K  
[TXT] IA-Random-20-213.counter-fun.wvr.yml.log                                    2024-04-27 05:48  139K  
[TXT] IA-Random-20-213.counter-queue.wvr.yml.log                                  2024-04-27 06:01   76K  
[TXT] IA-Random-20-213.dec-subseq-array.wvr.yml.log                               2024-04-27 06:18   78K  
[TXT] IA-Random-20-213.dec-subseq.wvr.yml.log                                     2024-04-27 06:19   77K  
[TXT] IA-Random-20-213.difference-det.wvr.yml.log                                 2024-04-27 05:54  508K  
[TXT] IA-Random-20-213.dot-product-alt.wvr.yml.log                                2024-04-27 06:07  157K  
[TXT] IA-Random-20-213.dot-product-array.wvr.yml.log                              2024-04-27 06:11   86K  
[TXT] IA-Random-20-213.dot-product.wvr.yml.log                                    2024-04-27 06:17  240K  
[TXT] IA-Random-20-213.easy1.wvr.yml.log                                          2024-04-27 06:22   60K  
[TXT] IA-Random-20-213.easy10.wvr.yml.log                                         2024-04-27 06:22   56K  
[TXT] IA-Random-20-213.easy11.wvr.yml.log                                         2024-04-27 06:22   75K  
[TXT] IA-Random-20-213.easy6.wvr.yml.log                                          2024-04-27 06:22   67K  
[TXT] IA-Random-20-213.easy7.wvr.yml.log                                          2024-04-27 06:22   37K  
[TXT] IA-Random-20-213.easy8.wvr.yml.log                                          2024-04-27 06:22   37K  
[TXT] IA-Random-20-213.exp-term-subst.wvr.yml.log                                 2024-04-27 05:30   38K  
[TXT] IA-Random-20-213.exp-term-symm.wvr.yml.log                                  2024-04-27 05:30   37K  
[TXT] IA-Random-20-213.exp1x3.wvr.yml.log                                         2024-04-27 05:24   67K  
[TXT] IA-Random-20-213.exp2x3.wvr.yml.log                                         2024-04-27 05:24  115K  
[TXT] IA-Random-20-213.exp2x4.wvr.yml.log                                         2024-04-27 05:24  115K  
[TXT] IA-Random-20-213.exp2x6.wvr.yml.log                                         2024-04-27 05:24  115K  
[TXT] IA-Random-20-213.exp2x9.wvr.yml.log                                         2024-04-27 05:25  115K  
[TXT] IA-Random-20-213.exp3x3-opt.wvr.yml.log                                     2024-04-27 05:25  102K  
[TXT] IA-Random-20-213.exp3x3.wvr.yml.log                                         2024-04-27 05:27  195K  
[TXT] IA-Random-20-213.fibonacci.wvr.yml.log                                      2024-04-27 05:23   70K  
[TXT] IA-Random-20-213.figure1-alt.wvr.yml.log                                    2024-04-27 05:45   88K  
[TXT] IA-Random-20-213.figure1.wvr.yml.log                                        2024-04-27 05:45   63K  
[TXT] IA-Random-20-213.figure3.wvr.yml.log                                        2024-04-27 05:59  928K  
[TXT] IA-Random-20-213.file-item-subst.wvr.yml.log                                2024-04-27 05:30   38K  
[TXT] IA-Random-20-213.file-item-symm.wvr.yml.log                                 2024-04-27 05:30   38K  
[TXT] IA-Random-20-213.file-item-trans.wvr.yml.log                                2024-04-27 05:30   38K  
[TXT] IA-Random-20-213.hard1.wvr.yml.log                                          2024-04-27 06:25  514K  
[TXT] IA-Random-20-213.horseshoe.wvr.yml.log                                      2024-04-27 05:59  504K  
[TXT] IA-Random-20-213.inc-subseq-array.wvr.yml.log                               2024-04-27 06:22   79K  
[TXT] IA-Random-20-213.inc-subseq.wvr.yml.log                                     2024-04-27 06:23   79K  
[TXT] IA-Random-20-213.lamport.wvr.yml.log                                        2024-04-27 05:36   68K  
[TXT] IA-Random-20-213.loop-tiling-eq.wvr.yml.log                                 2024-04-27 05:38  242K  
[TXT] IA-Random-20-213.match-subst.wvr.yml.log                                    2024-04-27 05:30   38K  
[TXT] IA-Random-20-213.match-symm.wvr.yml.log                                     2024-04-27 05:30   38K  
[TXT] IA-Random-20-213.match-trans.wvr.yml.log                                    2024-04-27 05:30   38K  
[TXT] IA-Random-20-213.max-array-hom.wvr.yml.log                                  2024-04-27 06:12   82K  
[TXT] IA-Random-20-213.max-array.wvr.yml.log                                      2024-04-27 06:16  168K  
[TXT] IA-Random-20-213.max-fun-alt.wvr.yml.log                                    2024-04-27 06:16  168K  
[TXT] IA-Random-20-213.max-fun.wvr.yml.log                                        2024-04-27 06:14   82K  
[TXT] IA-Random-20-213.min-array-hom.wvr.yml.log                                  2024-04-27 06:14   82K  
[TXT] IA-Random-20-213.min-array.wvr.yml.log                                      2024-04-27 06:17  126K  
[TXT] IA-Random-20-213.min-fun-alt.wvr.yml.log                                    2024-04-27 06:19  126K  
[TXT] IA-Random-20-213.min-fun.wvr.yml.log                                        2024-04-27 06:17   82K  
[TXT] IA-Random-20-213.min-le-max.wvr.yml.log                                     2024-04-27 06:16   54K  
[TXT] IA-Random-20-213.min-max-1.wvr.yml.log                                      2024-04-27 05:36   42K  
[TXT] IA-Random-20-213.min-max-2.wvr.yml.log                                      2024-04-27 05:49  175K  
[TXT] IA-Random-20-213.min-max-dec.wvr.yml.log                                    2024-04-27 06:00  107K  
[TXT] IA-Random-20-213.min-max-inc-dec.wvr.yml.log                                2024-04-27 05:49  108K  
[TXT] IA-Random-20-213.min-max-inc.wvr.yml.log                                    2024-04-27 05:53  204K  
[TXT] IA-Random-20-213.misc-1.wvr.yml.log                                         2024-04-27 05:51  112K  
[TXT] IA-Random-20-213.misc-2-unrolled-atomic.wvr.yml.log                         2024-04-27 05:37   38K  
[TXT] IA-Random-20-213.misc-2-unrolled.wvr.yml.log                                2024-04-27 05:37   51K  
[TXT] IA-Random-20-213.misc-2.wvr.yml.log                                         2024-04-27 05:37  123K  
[TXT] IA-Random-20-213.misc-3-extended.wvr.yml.log                                2024-04-27 05:37   77K  
[TXT] IA-Random-20-213.misc-3.wvr.yml.log                                         2024-04-27 05:37   58K  
[TXT] IA-Random-20-213.misc-4.wvr.yml.log                                         2024-04-27 05:37   61K  
[TXT] IA-Random-20-213.misc-5.wvr.yml.log                                         2024-04-27 05:45  235K  
[TXT] IA-Random-20-213.mts-array.wvr.yml.log                                      2024-04-27 06:21   77K  
[TXT] IA-Random-20-213.mts.wvr.yml.log                                            2024-04-27 06:21   77K  
[TXT] IA-Random-20-213.mult-4.wvr.yml.log                                         2024-04-27 06:03  1.7M  
[TXT] IA-Random-20-213.mult-comm.wvr.yml.log                                      2024-04-27 05:37  548K  
[TXT] IA-Random-20-213.mult-dist.wvr.yml.log                                      2024-04-27 05:35  1.1M  
[TXT] IA-Random-20-213.mult-equiv.wvr.yml.log                                     2024-04-27 05:54  718K  
[TXT] IA-Random-20-213.mult-flipped-dist.wvr.yml.log                              2024-04-27 05:24   90K  
[TXT] IA-Random-20-213.multiply-verify.wvr.yml.log                                2024-04-27 06:17   74K  
[TXT] IA-Random-20-213.name-comparator-subst.wvr.yml.log                          2024-04-27 05:31  145K  
[TXT] IA-Random-20-213.name-comparator-symm.wvr.yml.log                           2024-04-27 05:31  105K  
[TXT] IA-Random-20-213.name-comparator-trans.wvr.yml.log                          2024-04-27 05:31  220K  
[TXT] IA-Random-20-213.node-subst.wvr.yml.log                                     2024-04-27 05:31   38K  
[TXT] IA-Random-20-213.node-symm.wvr.yml.log                                      2024-04-27 05:31   37K  
[TXT] IA-Random-20-213.node-trans.wvr.yml.log                                     2024-04-27 05:31   38K  
[TXT] IA-Random-20-213.nonblocking-cntr-alt.wvr.yml.log                           2024-04-27 05:51   94K  
[TXT] IA-Random-20-213.nonblocking-cntr.wvr.yml.log                               2024-04-27 06:05  616K  
[TXT] IA-Random-20-213.nonblocking-counter-alt2.wvr.yml.log                       2024-04-27 06:31  128K  
[TXT] IA-Random-20-213.nzb-file-subst.wvr.yml.log                                 2024-04-27 05:32  247K  
[TXT] IA-Random-20-213.nzb-file-symm.wvr.yml.log                                  2024-04-27 05:32  117K  
[TXT] IA-Random-20-213.nzb-file-trans.wvr.yml.log                                 2024-04-27 05:32  221K  
[TXT] IA-Random-20-213.parallel-sum-1-dsl.wvr.yml.log                             2024-04-27 05:51  356K  
[TXT] IA-Random-20-213.parallel-sum-1.wvr.yml.log                                 2024-04-27 05:50  527K  
[TXT] IA-Random-20-213.parallel-sum-2.wvr.yml.log                                 2024-04-27 05:50  536K  
[TXT] IA-Random-20-213.parallel-sum-equiv.wvr.yml.log                             2024-04-27 05:52  484K  
[TXT] IA-Random-20-213.parray-copy.wvr.yml.log                                    2024-04-27 06:22  122K  
[TXT] IA-Random-20-213.poker-hand-subst.wvr.yml.log                               2024-04-27 05:37  715K  
[TXT] IA-Random-20-213.poker-hand-symm.wvr.yml.log                                2024-04-27 05:33  252K  
[TXT] IA-Random-20-213.poker-hand-trans.wvr.yml.log                               2024-04-27 05:35  634K  
[TXT] IA-Random-20-213.prod-cons-eq.wvr.yml.log                                   2024-04-27 06:05  114K  
[TXT] IA-Random-20-213.prod-cons.wvr.yml.log                                      2024-04-27 06:05  109K  
[TXT] IA-Random-20-213.prod-cons3.wvr.yml.log                                     2024-04-27 06:06  120K  
[TXT] IA-Random-20-213.queue-add-2-nl.wvr.yml.log                                 2024-04-27 06:31  947K  
[TXT] IA-Random-20-213.queue-add-2.wvr.yml.log                                    2024-04-27 06:06  879K  
[TXT] IA-Random-20-213.queue-add-3-nl.wvr.yml.log                                 2024-04-27 06:31  318K  
[TXT] IA-Random-20-213.queue-add-3.wvr.yml.log                                    2024-04-27 06:01  594K  
[TXT] IA-Random-20-213.ring-nondet.wvr.yml.log                                    2024-04-27 06:17  450K  
[TXT] IA-Random-20-213.ring.wvr.yml.log                                           2024-04-27 06:03  127K  
[TXT] IA-Random-20-213.security.wvr.yml.log                                       2024-04-27 05:23   72K  
[TXT] IA-Random-20-213.semi1.wvr.yml.log                                          2024-04-27 06:22   37K  
[TXT] IA-Random-20-213.send-receive-alt.wvr.yml.log                               2024-04-27 06:00  178K  
[TXT] IA-Random-20-213.send-receive.wvr.yml.log                                   2024-04-27 06:07  267K  
[TXT] IA-Random-20-213.simpl-str-subst.wvr.yml.log                                2024-04-27 05:35   38K  
[TXT] IA-Random-20-213.simpl-str-symm.wvr.yml.log                                 2024-04-27 05:35   37K  
[TXT] IA-Random-20-213.simpl-str-trans.wvr.yml.log                                2024-04-27 05:35   38K  
[TXT] IA-Random-20-213.simple-array-sum.wvr.yml.log                               2024-04-27 05:57  162K  
[TXT] IA-Random-20-213.simple-equiv.wvr.yml.log                                   2024-04-27 05:38   38K  
[TXT] IA-Random-20-213.simple-queue.wvr.yml.log                                   2024-04-27 05:55  154K  
[TXT] IA-Random-20-213.sorted.wvr.yml.log                                         2024-04-27 06:29  190K  
[TXT] IA-Random-20-213.spaghetti.wvr.yml.log                                      2024-04-27 05:23   43K  
[TXT] IA-Random-20-213.sre-subst.wvr.yml.log                                      2024-04-27 05:35   38K  
[TXT] IA-Random-20-213.sre-symm.wvr.yml.log                                       2024-04-27 05:35   37K  
[TXT] IA-Random-20-213.sre-trans.wvr.yml.log                                      2024-04-27 05:35   38K  
[TXT] IA-Random-20-213.sum-array-hom.wvr.yml.log                                  2024-04-27 06:26  357K  
[TXT] IA-Random-20-213.sum-array.wvr.yml.log                                      2024-04-27 06:27  370K  
[TXT] IA-Random-20-213.sum-fun-alt.wvr.yml.log                                    2024-04-27 06:27  369K  
[TXT] IA-Random-20-213.sum-fun.wvr.yml.log                                        2024-04-27 06:28  357K  
[TXT] IA-Random-20-213.threaded-sum-2.wvr.yml.log                                 2024-04-27 06:04  127K  
[TXT] IA-Random-20-213.threaded-sum-3.wvr.yml.log                                 2024-04-27 06:08  214K  
[TXT] IA-Random-20-213.three-array-max.wvr.yml.log                                2024-04-27 06:02   75K  
[TXT] IA-Random-20-213.three-array-min.wvr.yml.log                                2024-04-27 06:13   90K  
[TXT] IA-Random-20-213.three-array-sum-alt.wvr.yml.log                            2024-04-27 06:04  121K  
[TXT] IA-Random-20-213.three-array-sum.wvr.yml.log                                2024-04-27 06:01  166K  
[TXT] IA-Random-20-213.ticket-2.wvr.yml.log                                       2024-04-27 05:38   46K  
[TXT] IA-Random-20-213.ticket-3.wvr.yml.log                                       2024-04-27 05:38   79K  
[TXT] IA-Random-20-213.ticket-4.wvr.yml.log                                       2024-04-27 05:38  175K  
[TXT] IA-Random-20-213.ticket-5.wvr.yml.log                                       2024-04-27 05:39  338K  
[TXT] IA-Random-20-213.ticket-6.wvr.yml.log                                       2024-04-27 05:41  389K  
[TXT] IA-Random-20-213.ticket-7.wvr.yml.log                                       2024-04-27 05:44   84K  
[TXT] IA-Random-20-213.ticket-8.wvr.yml.log                                       2024-04-27 05:46   29K  
[TXT] IA-Random-20-213.time-subst.wvr.yml.log                                     2024-04-27 05:35   38K  
[TXT] IA-Random-20-213.time-symm.wvr.yml.log                                      2024-04-27 05:35   37K  
[TXT] IA-Random-20-213.time-trans.wvr.yml.log                                     2024-04-27 05:35   38K  
[TXT] IA-Random-20-213.two-queue.wvr.yml.log                                      2024-04-27 06:00   88K  
[TXT] IA-Random-20-213.unroll-2.wvr.yml.log                                       2024-04-27 05:38  249K  
[TXT] IA-Random-20-213.unroll-3.wvr.yml.log                                       2024-04-27 05:38  180K  
[TXT] IA-Random-20-213.unroll-4.wvr.yml.log                                       2024-04-27 05:38  179K  
[TXT] IA-Random-20-213.unroll-5.wvr.yml.log                                       2024-04-27 05:38  137K  
[TXT] IA-Random-20-213.unroll-cond-2.wvr.yml.log                                  2024-04-27 05:35  232K  
[TXT] IA-Random-20-213.unroll-cond-3.wvr.yml.log                                  2024-04-27 05:37  188K  
[TXT] IA-Random-20-213.unroll-cond-4.wvr.yml.log                                  2024-04-27 05:38  160K  
[TXT] IA-Random-20-213.unroll-cond-5.wvr.yml.log                                  2024-04-27 05:38   43K  
[TXT] IA-Random-20-213.vector-add.wvr.yml.log                                     2024-04-27 06:34   92K  
[TXT] IA-Random-20-213.word-subst.wvr.yml.log                                     2024-04-27 05:36  213K  
[TXT] IA-Random-20-213.word-symm.wvr.yml.log                                      2024-04-27 05:36  121K  
[TXT] IA-Random-20-213.word-trans.wvr.yml.log                                     2024-04-27 05:36  266K  
[TXT] IA-Random-20-546.array-eq-symm.wvr.yml.log                                  2024-04-27 07:41   84K  
[TXT] IA-Random-20-546.array-eq-trans.wvr.yml.log                                 2024-04-27 07:42  189K  
[TXT] IA-Random-20-546.array-int-subst.wvr.yml.log                                2024-04-27 07:46  161K  
[TXT] IA-Random-20-546.array-int-symm.wvr.yml.log                                 2024-04-27 07:45   81K  
[TXT] IA-Random-20-546.array-int-trans.wvr.yml.log                                2024-04-27 07:46  269K  
[TXT] IA-Random-20-546.array-sum-alt.wvr.yml.log                                  2024-04-27 08:24  349K  
[TXT] IA-Random-20-546.array-sum.wvr.yml.log                                      2024-04-27 08:27  292K  
[TXT] IA-Random-20-546.bakery-2.wvr.yml.log                                       2024-04-27 07:54   67K  
[TXT] IA-Random-20-546.bakery-3.wvr.yml.log                                       2024-04-27 07:54  295K  
[TXT] IA-Random-20-546.bakery-4.wvr.yml.log                                       2024-04-27 07:56  442K  
[TXT] IA-Random-20-546.barrier-loop.wvr.yml.log                                   2024-04-27 07:54   63K  
[TXT] IA-Random-20-546.barrier.wvr.yml.log                                        2024-04-27 07:55   58K  
[TXT] IA-Random-20-546.bluetooth.wvr.yml.log                                      2024-04-27 07:54   46K  
[TXT] IA-Random-20-546.buffer-mult-alt.wvr.yml.log                                2024-04-27 08:30  314K  
[TXT] IA-Random-20-546.buffer-mult.wvr.yml.log                                    2024-04-27 08:35  248K  
[TXT] IA-Random-20-546.buffer-series-array.wvr.yml.log                            2024-04-27 08:36  194K  
[TXT] IA-Random-20-546.buffer-series.wvr.yml.log                                  2024-04-27 08:37  196K  
[TXT] IA-Random-20-546.channel-sum.wvr.yml.log                                    2024-04-27 08:10  530K  
[TXT] IA-Random-20-546.chromosome-opt-symm.wvr.yml.log                            2024-04-27 07:46   92K  
[TXT] IA-Random-20-546.chromosome-subst.wvr.yml.log                               2024-04-27 07:47  144K  
[TXT] IA-Random-20-546.chromosome-symm.wvr.yml.log                                2024-04-27 07:47  116K  
[TXT] IA-Random-20-546.chromosome-trans.wvr.yml.log                               2024-04-27 07:47  205K  
[TXT] IA-Random-20-546.clever.wvr.yml.log                                         2024-04-27 07:55  3.4M  
[TXT] IA-Random-20-546.collitem-subst.wvr.yml.log                                 2024-04-27 07:47   38K  
[TXT] IA-Random-20-546.collitem-symm.wvr.yml.log                                  2024-04-27 07:47   38K  
[TXT] IA-Random-20-546.collitem-trans.wvr.yml.log                                 2024-04-27 07:48   38K  
[TXT] IA-Random-20-546.commit-1.wvr.yml.log                                       2024-04-27 08:17  207K  
[TXT] IA-Random-20-546.commit-2.wvr.yml.log                                       2024-04-27 08:18  361K  
[TXT] IA-Random-20-546.container-subst.wvr.yml.log                                2024-04-27 07:48   38K  
[TXT] IA-Random-20-546.container-symm.wvr.yml.log                                 2024-04-27 07:48   37K  
[TXT] IA-Random-20-546.container-trans.wvr.yml.log                                2024-04-27 07:48   38K  
[TXT] IA-Random-20-546.context1.wvr.yml.log                                       2024-04-27 08:38  156K  
[TXT] IA-Random-20-546.counter-add-4-semi-Q67.wvr.yml.log                         2024-04-27 08:49  1.5M  
[TXT] IA-Random-20-546.counter-determinism.wvr.yml.log                            2024-04-27 08:10  212K  
[TXT] IA-Random-20-546.counter-fun.wvr.yml.log                                    2024-04-27 08:05  139K  
[TXT] IA-Random-20-546.counter-queue.wvr.yml.log                                  2024-04-27 08:17   76K  
[TXT] IA-Random-20-546.dec-subseq-array.wvr.yml.log                               2024-04-27 08:36   79K  
[TXT] IA-Random-20-546.dec-subseq.wvr.yml.log                                     2024-04-27 08:36   78K  
[TXT] IA-Random-20-546.difference-det.wvr.yml.log                                 2024-04-27 08:04  421K  
[TXT] IA-Random-20-546.dot-product-alt.wvr.yml.log                                2024-04-27 08:23  157K  
[TXT] IA-Random-20-546.dot-product-array.wvr.yml.log                              2024-04-27 08:28   86K  
[TXT] IA-Random-20-546.dot-product.wvr.yml.log                                    2024-04-27 08:32  240K  
[TXT] IA-Random-20-546.easy1.wvr.yml.log                                          2024-04-27 08:37   60K  
[TXT] IA-Random-20-546.easy10.wvr.yml.log                                         2024-04-27 08:37   57K  
[TXT] IA-Random-20-546.easy11.wvr.yml.log                                         2024-04-27 08:37   75K  
[TXT] IA-Random-20-546.easy6.wvr.yml.log                                          2024-04-27 08:37   67K  
[TXT] IA-Random-20-546.easy7.wvr.yml.log                                          2024-04-27 08:37   37K  
[TXT] IA-Random-20-546.easy8.wvr.yml.log                                          2024-04-27 08:37   37K  
[TXT] IA-Random-20-546.exp-term-subst.wvr.yml.log                                 2024-04-27 07:48   38K  
[TXT] IA-Random-20-546.exp-term-symm.wvr.yml.log                                  2024-04-27 07:48   37K  
[TXT] IA-Random-20-546.exp1x3.wvr.yml.log                                         2024-04-27 07:41   67K  
[TXT] IA-Random-20-546.exp2x3.wvr.yml.log                                         2024-04-27 07:42  115K  
[TXT] IA-Random-20-546.exp2x4.wvr.yml.log                                         2024-04-27 07:42  115K  
[TXT] IA-Random-20-546.exp2x6.wvr.yml.log                                         2024-04-27 07:42  115K  
[TXT] IA-Random-20-546.exp2x9.wvr.yml.log                                         2024-04-27 07:43  115K  
[TXT] IA-Random-20-546.exp3x3-opt.wvr.yml.log                                     2024-04-27 07:43  102K  
[TXT] IA-Random-20-546.exp3x3.wvr.yml.log                                         2024-04-27 07:45  195K  
[TXT] IA-Random-20-546.fibonacci.wvr.yml.log                                      2024-04-27 07:41   70K  
[TXT] IA-Random-20-546.figure1-alt.wvr.yml.log                                    2024-04-27 07:57   88K  
[TXT] IA-Random-20-546.figure1.wvr.yml.log                                        2024-04-27 07:59  173K  
[TXT] IA-Random-20-546.figure3.wvr.yml.log                                        2024-04-27 08:12  929K  
[TXT] IA-Random-20-546.file-item-subst.wvr.yml.log                                2024-04-27 07:48   38K  
[TXT] IA-Random-20-546.file-item-symm.wvr.yml.log                                 2024-04-27 07:48   38K  
[TXT] IA-Random-20-546.file-item-trans.wvr.yml.log                                2024-04-27 07:48   38K  
[TXT] IA-Random-20-546.hard1.wvr.yml.log                                          2024-04-27 08:41  512K  
[TXT] IA-Random-20-546.horseshoe.wvr.yml.log                                      2024-04-27 08:13  487K  
[TXT] IA-Random-20-546.inc-subseq-array.wvr.yml.log                               2024-04-27 08:29   79K  
[TXT] IA-Random-20-546.inc-subseq.wvr.yml.log                                     2024-04-27 08:32   79K  
[TXT] IA-Random-20-546.lamport.wvr.yml.log                                        2024-04-27 07:55   67K  
[TXT] IA-Random-20-546.loop-tiling-eq.wvr.yml.log                                 2024-04-27 07:56  243K  
[TXT] IA-Random-20-546.match-subst.wvr.yml.log                                    2024-04-27 07:48   38K  
[TXT] IA-Random-20-546.match-symm.wvr.yml.log                                     2024-04-27 07:48   37K  
[TXT] IA-Random-20-546.match-trans.wvr.yml.log                                    2024-04-27 07:48   38K  
[TXT] IA-Random-20-546.max-array-hom.wvr.yml.log                                  2024-04-27 08:30   82K  
[TXT] IA-Random-20-546.max-array.wvr.yml.log                                      2024-04-27 08:33  168K  
[TXT] IA-Random-20-546.max-fun-alt.wvr.yml.log                                    2024-04-27 08:33  168K  
[TXT] IA-Random-20-546.max-fun.wvr.yml.log                                        2024-04-27 08:31   82K  
[TXT] IA-Random-20-546.min-array-hom.wvr.yml.log                                  2024-04-27 08:32   82K  
[TXT] IA-Random-20-546.min-array.wvr.yml.log                                      2024-04-27 08:34  126K  
[TXT] IA-Random-20-546.min-fun-alt.wvr.yml.log                                    2024-04-27 08:34  127K  
[TXT] IA-Random-20-546.min-fun.wvr.yml.log                                        2024-04-27 08:34   82K  
[TXT] IA-Random-20-546.min-le-max.wvr.yml.log                                     2024-04-27 08:32   54K  
[TXT] IA-Random-20-546.min-max-1.wvr.yml.log                                      2024-04-27 07:55   42K  
[TXT] IA-Random-20-546.min-max-2.wvr.yml.log                                      2024-04-27 08:06  161K  
[TXT] IA-Random-20-546.min-max-dec.wvr.yml.log                                    2024-04-27 08:15  178K  
[TXT] IA-Random-20-546.min-max-inc-dec.wvr.yml.log                                2024-04-27 08:12  126K  
[TXT] IA-Random-20-546.min-max-inc.wvr.yml.log                                    2024-04-27 08:05  151K  
[TXT] IA-Random-20-546.misc-1.wvr.yml.log                                         2024-04-27 08:09  112K  
[TXT] IA-Random-20-546.misc-2-unrolled-atomic.wvr.yml.log                         2024-04-27 07:55   38K  
[TXT] IA-Random-20-546.misc-2-unrolled.wvr.yml.log                                2024-04-27 07:55   51K  
[TXT] IA-Random-20-546.misc-2.wvr.yml.log                                         2024-04-27 07:55  123K  
[TXT] IA-Random-20-546.misc-3-extended.wvr.yml.log                                2024-04-27 07:55   77K  
[TXT] IA-Random-20-546.misc-3.wvr.yml.log                                         2024-04-27 07:55   58K  
[TXT] IA-Random-20-546.misc-4.wvr.yml.log                                         2024-04-27 07:55   64K  
[TXT] IA-Random-20-546.misc-5.wvr.yml.log                                         2024-04-27 07:56  216K  
[TXT] IA-Random-20-546.mts-array.wvr.yml.log                                      2024-04-27 08:37   77K  
[TXT] IA-Random-20-546.mts.wvr.yml.log                                            2024-04-27 08:37   76K  
[TXT] IA-Random-20-546.mult-4.wvr.yml.log                                         2024-04-27 08:19  1.8M  
[TXT] IA-Random-20-546.mult-comm.wvr.yml.log                                      2024-04-27 07:54  549K  
[TXT] IA-Random-20-546.mult-dist.wvr.yml.log                                      2024-04-27 07:55  1.1M  
[TXT] IA-Random-20-546.mult-equiv.wvr.yml.log                                     2024-04-27 08:09  715K  
[TXT] IA-Random-20-546.mult-flipped-dist.wvr.yml.log                              2024-04-27 07:41   90K  
[TXT] IA-Random-20-546.multiply-verify.wvr.yml.log                                2024-04-27 08:32   74K  
[TXT] IA-Random-20-546.name-comparator-subst.wvr.yml.log                          2024-04-27 07:48  145K  
[TXT] IA-Random-20-546.name-comparator-symm.wvr.yml.log                           2024-04-27 07:48  105K  
[TXT] IA-Random-20-546.name-comparator-trans.wvr.yml.log                          2024-04-27 07:49  220K  
[TXT] IA-Random-20-546.node-subst.wvr.yml.log                                     2024-04-27 07:49   38K  
[TXT] IA-Random-20-546.node-symm.wvr.yml.log                                      2024-04-27 07:49   37K  
[TXT] IA-Random-20-546.node-trans.wvr.yml.log                                     2024-04-27 07:49   38K  
[TXT] IA-Random-20-546.nonblocking-cntr-alt.wvr.yml.log                           2024-04-27 08:06   94K  
[TXT] IA-Random-20-546.nonblocking-cntr.wvr.yml.log                               2024-04-27 08:19  559K  
[TXT] IA-Random-20-546.nonblocking-counter-alt2.wvr.yml.log                       2024-04-27 08:47  128K  
[TXT] IA-Random-20-546.nzb-file-subst.wvr.yml.log                                 2024-04-27 07:50  247K  
[TXT] IA-Random-20-546.nzb-file-symm.wvr.yml.log                                  2024-04-27 07:50  117K  
[TXT] IA-Random-20-546.nzb-file-trans.wvr.yml.log                                 2024-04-27 07:51  221K  
[TXT] IA-Random-20-546.parallel-sum-1-dsl.wvr.yml.log                             2024-04-27 08:09  413K  
[TXT] IA-Random-20-546.parallel-sum-1.wvr.yml.log                                 2024-04-27 08:08  538K  
[TXT] IA-Random-20-546.parallel-sum-2.wvr.yml.log                                 2024-04-27 08:08  532K  
[TXT] IA-Random-20-546.parallel-sum-equiv.wvr.yml.log                             2024-04-27 08:10  478K  
[TXT] IA-Random-20-546.parray-copy.wvr.yml.log                                    2024-04-27 08:37  122K  
[TXT] IA-Random-20-546.poker-hand-subst.wvr.yml.log                               2024-04-27 07:54  715K  
[TXT] IA-Random-20-546.poker-hand-symm.wvr.yml.log                                2024-04-27 07:51  252K  
[TXT] IA-Random-20-546.poker-hand-trans.wvr.yml.log                               2024-04-27 07:54  634K  
[TXT] IA-Random-20-546.prod-cons-eq.wvr.yml.log                                   2024-04-27 08:22  116K  
[TXT] IA-Random-20-546.prod-cons.wvr.yml.log                                      2024-04-27 08:22  108K  
[TXT] IA-Random-20-546.prod-cons3.wvr.yml.log                                     2024-04-27 08:23  125K  
[TXT] IA-Random-20-546.queue-add-2-nl.wvr.yml.log                                 2024-04-27 08:47  951K  
[TXT] IA-Random-20-546.queue-add-2.wvr.yml.log                                    2024-04-27 08:22  883K  
[TXT] IA-Random-20-546.queue-add-3-nl.wvr.yml.log                                 2024-04-27 08:47  318K  
[TXT] IA-Random-20-546.queue-add-3.wvr.yml.log                                    2024-04-27 08:17  593K  
[TXT] IA-Random-20-546.ring-nondet.wvr.yml.log                                    2024-04-27 08:32  449K  
[TXT] IA-Random-20-546.ring.wvr.yml.log                                           2024-04-27 08:19  127K  
[TXT] IA-Random-20-546.security.wvr.yml.log                                       2024-04-27 07:41   72K  
[TXT] IA-Random-20-546.semi1.wvr.yml.log                                          2024-04-27 08:37   37K  
[TXT] IA-Random-20-546.send-receive-alt.wvr.yml.log                               2024-04-27 08:16  178K  
[TXT] IA-Random-20-546.send-receive.wvr.yml.log                                   2024-04-27 08:22  265K  
[TXT] IA-Random-20-546.simpl-str-subst.wvr.yml.log                                2024-04-27 07:53   38K  
[TXT] IA-Random-20-546.simpl-str-symm.wvr.yml.log                                 2024-04-27 07:53   38K  
[TXT] IA-Random-20-546.simpl-str-trans.wvr.yml.log                                2024-04-27 07:53   38K  
[TXT] IA-Random-20-546.simple-array-sum.wvr.yml.log                               2024-04-27 08:12  162K  
[TXT] IA-Random-20-546.simple-equiv.wvr.yml.log                                   2024-04-27 07:56   38K  
[TXT] IA-Random-20-546.simple-queue.wvr.yml.log                                   2024-04-27 08:12  154K  
[TXT] IA-Random-20-546.sorted.wvr.yml.log                                         2024-04-27 08:45  190K  
[TXT] IA-Random-20-546.spaghetti.wvr.yml.log                                      2024-04-27 07:41   43K  
[TXT] IA-Random-20-546.sre-subst.wvr.yml.log                                      2024-04-27 07:53   38K  
[TXT] IA-Random-20-546.sre-symm.wvr.yml.log                                       2024-04-27 07:54   37K  
[TXT] IA-Random-20-546.sre-trans.wvr.yml.log                                      2024-04-27 07:54   38K  
[TXT] IA-Random-20-546.sum-array-hom.wvr.yml.log                                  2024-04-27 08:42  357K  
[TXT] IA-Random-20-546.sum-array.wvr.yml.log                                      2024-04-27 08:42  370K  
[TXT] IA-Random-20-546.sum-fun-alt.wvr.yml.log                                    2024-04-27 08:44  370K  
[TXT] IA-Random-20-546.sum-fun.wvr.yml.log                                        2024-04-27 08:44  357K  
[TXT] IA-Random-20-546.threaded-sum-2.wvr.yml.log                                 2024-04-27 08:20  127K  
[TXT] IA-Random-20-546.threaded-sum-3.wvr.yml.log                                 2024-04-27 08:26  236K  
[TXT] IA-Random-20-546.three-array-max.wvr.yml.log                                2024-04-27 08:16   75K  
[TXT] IA-Random-20-546.three-array-min.wvr.yml.log                                2024-04-27 08:28   91K  
[TXT] IA-Random-20-546.three-array-sum-alt.wvr.yml.log                            2024-04-27 08:20  121K  
[TXT] IA-Random-20-546.three-array-sum.wvr.yml.log                                2024-04-27 08:16  166K  
[TXT] IA-Random-20-546.ticket-2.wvr.yml.log                                       2024-04-27 07:56   46K  
[TXT] IA-Random-20-546.ticket-3.wvr.yml.log                                       2024-04-27 07:56   79K  
[TXT] IA-Random-20-546.ticket-4.wvr.yml.log                                       2024-04-27 07:56  175K  
[TXT] IA-Random-20-546.ticket-5.wvr.yml.log                                       2024-04-27 07:56  338K  
[TXT] IA-Random-20-546.ticket-6.wvr.yml.log                                       2024-04-27 07:59  419K  
[TXT] IA-Random-20-546.ticket-7.wvr.yml.log                                       2024-04-27 08:03   84K  
[TXT] IA-Random-20-546.ticket-8.wvr.yml.log                                       2024-04-27 07:56   25K  
[TXT] IA-Random-20-546.time-subst.wvr.yml.log                                     2024-04-27 07:54   38K  
[TXT] IA-Random-20-546.time-symm.wvr.yml.log                                      2024-04-27 07:54   37K  
[TXT] IA-Random-20-546.time-trans.wvr.yml.log                                     2024-04-27 07:54   38K  
[TXT] IA-Random-20-546.two-queue.wvr.yml.log                                      2024-04-27 08:16   88K  
[TXT] IA-Random-20-546.unroll-2.wvr.yml.log                                       2024-04-27 07:56  252K  
[TXT] IA-Random-20-546.unroll-3.wvr.yml.log                                       2024-04-27 07:56  180K  
[TXT] IA-Random-20-546.unroll-4.wvr.yml.log                                       2024-04-27 07:56  179K  
[TXT] IA-Random-20-546.unroll-5.wvr.yml.log                                       2024-04-27 07:56  137K  
[TXT] IA-Random-20-546.unroll-cond-2.wvr.yml.log                                  2024-04-27 07:53  232K  
[TXT] IA-Random-20-546.unroll-cond-3.wvr.yml.log                                  2024-04-27 07:54  188K  
[TXT] IA-Random-20-546.unroll-cond-4.wvr.yml.log                                  2024-04-27 07:55  158K  
[TXT] IA-Random-20-546.unroll-cond-5.wvr.yml.log                                  2024-04-27 07:56   43K  
[TXT] IA-Random-20-546.vector-add.wvr.yml.log                                     2024-04-27 08:50   93K  
[TXT] IA-Random-20-546.word-subst.wvr.yml.log                                     2024-04-27 07:54  213K  
[TXT] IA-Random-20-546.word-symm.wvr.yml.log                                      2024-04-27 07:54  121K  
[TXT] IA-Random-20-546.word-trans.wvr.yml.log                                     2024-04-27 07:55  266K  
[TXT] IA-Random-50-213.array-eq-symm.wvr.yml.log                                  2024-04-27 06:34   84K  
[TXT] IA-Random-50-213.array-eq-trans.wvr.yml.log                                 2024-04-27 06:35  189K  
[TXT] IA-Random-50-213.array-int-subst.wvr.yml.log                                2024-04-27 06:39  161K  
[TXT] IA-Random-50-213.array-int-symm.wvr.yml.log                                 2024-04-27 06:38   81K  
[TXT] IA-Random-50-213.array-int-trans.wvr.yml.log                                2024-04-27 06:39  269K  
[TXT] IA-Random-50-213.array-sum-alt.wvr.yml.log                                  2024-04-27 07:16  349K  
[TXT] IA-Random-50-213.array-sum.wvr.yml.log                                      2024-04-27 07:18  292K  
[TXT] IA-Random-50-213.bakery-2.wvr.yml.log                                       2024-04-27 06:47   68K  
[TXT] IA-Random-50-213.bakery-3.wvr.yml.log                                       2024-04-27 06:47  300K  
[TXT] IA-Random-50-213.bakery-4.wvr.yml.log                                       2024-04-27 06:49  462K  
[TXT] IA-Random-50-213.barrier-loop.wvr.yml.log                                   2024-04-27 06:47   62K  
[TXT] IA-Random-50-213.barrier.wvr.yml.log                                        2024-04-27 06:47   58K  
[TXT] IA-Random-50-213.bluetooth.wvr.yml.log                                      2024-04-27 06:47   46K  
[TXT] IA-Random-50-213.buffer-mult-alt.wvr.yml.log                                2024-04-27 07:16  249K  
[TXT] IA-Random-50-213.buffer-mult.wvr.yml.log                                    2024-04-27 07:26  280K  
[TXT] IA-Random-50-213.buffer-series-array.wvr.yml.log                            2024-04-27 07:27  216K  
[TXT] IA-Random-50-213.buffer-series.wvr.yml.log                                  2024-04-27 07:27  215K  
[TXT] IA-Random-50-213.channel-sum.wvr.yml.log                                    2024-04-27 07:03  540K  
[TXT] IA-Random-50-213.chromosome-opt-symm.wvr.yml.log                            2024-04-27 06:39   92K  
[TXT] IA-Random-50-213.chromosome-subst.wvr.yml.log                               2024-04-27 06:40  144K  
[TXT] IA-Random-50-213.chromosome-symm.wvr.yml.log                                2024-04-27 06:40  116K  
[TXT] IA-Random-50-213.chromosome-trans.wvr.yml.log                               2024-04-27 06:40  205K  
[TXT] IA-Random-50-213.clever.wvr.yml.log                                         2024-04-27 06:48  3.4M  
[TXT] IA-Random-50-213.collitem-subst.wvr.yml.log                                 2024-04-27 06:40   38K  
[TXT] IA-Random-50-213.collitem-symm.wvr.yml.log                                  2024-04-27 06:40   37K  
[TXT] IA-Random-50-213.collitem-trans.wvr.yml.log                                 2024-04-27 06:40   38K  
[TXT] IA-Random-50-213.commit-1.wvr.yml.log                                       2024-04-27 07:09  231K  
[TXT] IA-Random-50-213.commit-2.wvr.yml.log                                       2024-04-27 07:12  465K  
[TXT] IA-Random-50-213.container-subst.wvr.yml.log                                2024-04-27 06:41   38K  
[TXT] IA-Random-50-213.container-symm.wvr.yml.log                                 2024-04-27 06:41   37K  
[TXT] IA-Random-50-213.container-trans.wvr.yml.log                                2024-04-27 06:41   38K  
[TXT] IA-Random-50-213.context1.wvr.yml.log                                       2024-04-27 07:27   84K  
[TXT] IA-Random-50-213.counter-add-4-semi-Q67.wvr.yml.log                         2024-04-27 07:41  1.8M  
[TXT] IA-Random-50-213.counter-determinism.wvr.yml.log                            2024-04-27 07:02  213K  
[TXT] IA-Random-50-213.counter-fun.wvr.yml.log                                    2024-04-27 06:58  139K  
[TXT] IA-Random-50-213.counter-queue.wvr.yml.log                                  2024-04-27 07:09   76K  
[TXT] IA-Random-50-213.dec-subseq-array.wvr.yml.log                               2024-04-27 07:26   89K  
[TXT] IA-Random-50-213.dec-subseq.wvr.yml.log                                     2024-04-27 07:26   89K  
[TXT] IA-Random-50-213.difference-det.wvr.yml.log                                 2024-04-27 06:55  226K  
[TXT] IA-Random-50-213.dot-product-alt.wvr.yml.log                                2024-04-27 07:15  157K  
[TXT] IA-Random-50-213.dot-product-array.wvr.yml.log                              2024-04-27 07:19   86K  
[TXT] IA-Random-50-213.dot-product.wvr.yml.log                                    2024-04-27 07:24  240K  
[TXT] IA-Random-50-213.easy1.wvr.yml.log                                          2024-04-27 07:27   60K  
[TXT] IA-Random-50-213.easy10.wvr.yml.log                                         2024-04-27 07:27   57K  
[TXT] IA-Random-50-213.easy11.wvr.yml.log                                         2024-04-27 07:27   75K  
[TXT] IA-Random-50-213.easy6.wvr.yml.log                                          2024-04-27 07:27   68K  
[TXT] IA-Random-50-213.easy7.wvr.yml.log                                          2024-04-27 07:27   37K  
[TXT] IA-Random-50-213.easy8.wvr.yml.log                                          2024-04-27 07:27   37K  
[TXT] IA-Random-50-213.exp-term-subst.wvr.yml.log                                 2024-04-27 06:41   38K  
[TXT] IA-Random-50-213.exp-term-symm.wvr.yml.log                                  2024-04-27 06:41   38K  
[TXT] IA-Random-50-213.exp1x3.wvr.yml.log                                         2024-04-27 06:35   67K  
[TXT] IA-Random-50-213.exp2x3.wvr.yml.log                                         2024-04-27 06:35  115K  
[TXT] IA-Random-50-213.exp2x4.wvr.yml.log                                         2024-04-27 06:35  115K  
[TXT] IA-Random-50-213.exp2x6.wvr.yml.log                                         2024-04-27 06:35  115K  
[TXT] IA-Random-50-213.exp2x9.wvr.yml.log                                         2024-04-27 06:36  115K  
[TXT] IA-Random-50-213.exp3x3-opt.wvr.yml.log                                     2024-04-27 06:36  102K  
[TXT] IA-Random-50-213.exp3x3.wvr.yml.log                                         2024-04-27 06:38  195K  
[TXT] IA-Random-50-213.fibonacci.wvr.yml.log                                      2024-04-27 06:34   70K  
[TXT] IA-Random-50-213.figure1-alt.wvr.yml.log                                    2024-04-27 06:52   88K  
[TXT] IA-Random-50-213.figure1.wvr.yml.log                                        2024-04-27 06:52   65K  
[TXT] IA-Random-50-213.figure3.wvr.yml.log                                        2024-04-27 07:05  890K  
[TXT] IA-Random-50-213.file-item-subst.wvr.yml.log                                2024-04-27 06:41   38K  
[TXT] IA-Random-50-213.file-item-symm.wvr.yml.log                                 2024-04-27 06:41   37K  
[TXT] IA-Random-50-213.file-item-trans.wvr.yml.log                                2024-04-27 06:41   38K  
[TXT] IA-Random-50-213.hard1.wvr.yml.log                                          2024-04-27 07:31  538K  
[TXT] IA-Random-50-213.horseshoe.wvr.yml.log                                      2024-04-27 07:09  540K  
[TXT] IA-Random-50-213.inc-subseq-array.wvr.yml.log                               2024-04-27 07:22   88K  
[TXT] IA-Random-50-213.inc-subseq.wvr.yml.log                                     2024-04-27 07:22   87K  
[TXT] IA-Random-50-213.lamport.wvr.yml.log                                        2024-04-27 06:47   68K  
[TXT] IA-Random-50-213.loop-tiling-eq.wvr.yml.log                                 2024-04-27 06:49  248K  
[TXT] IA-Random-50-213.match-subst.wvr.yml.log                                    2024-04-27 06:41   38K  
[TXT] IA-Random-50-213.match-symm.wvr.yml.log                                     2024-04-27 06:41   37K  
[TXT] IA-Random-50-213.match-trans.wvr.yml.log                                    2024-04-27 06:41   38K  
[TXT] IA-Random-50-213.max-array-hom.wvr.yml.log                                  2024-04-27 07:19   82K  
[TXT] IA-Random-50-213.max-array.wvr.yml.log                                      2024-04-27 07:23  168K  
[TXT] IA-Random-50-213.max-fun-alt.wvr.yml.log                                    2024-04-27 07:24  168K  
[TXT] IA-Random-50-213.max-fun.wvr.yml.log                                        2024-04-27 07:22   82K  
[TXT] IA-Random-50-213.min-array-hom.wvr.yml.log                                  2024-04-27 07:23   82K  
[TXT] IA-Random-50-213.min-array.wvr.yml.log                                      2024-04-27 07:25  126K  
[TXT] IA-Random-50-213.min-fun-alt.wvr.yml.log                                    2024-04-27 07:26  126K  
[TXT] IA-Random-50-213.min-fun.wvr.yml.log                                        2024-04-27 07:25   82K  
[TXT] IA-Random-50-213.min-le-max.wvr.yml.log                                     2024-04-27 07:22   54K  
[TXT] IA-Random-50-213.min-max-1.wvr.yml.log                                      2024-04-27 06:47   42K  
[TXT] IA-Random-50-213.min-max-2.wvr.yml.log                                      2024-04-27 06:52  124K  
[TXT] IA-Random-50-213.min-max-dec.wvr.yml.log                                    2024-04-27 07:08  175K  
[TXT] IA-Random-50-213.min-max-inc-dec.wvr.yml.log                                2024-04-27 06:58  121K  
[TXT] IA-Random-50-213.min-max-inc.wvr.yml.log                                    2024-04-27 06:57  153K  
[TXT] IA-Random-50-213.misc-1.wvr.yml.log                                         2024-04-27 07:02  112K  
[TXT] IA-Random-50-213.misc-2-unrolled-atomic.wvr.yml.log                         2024-04-27 06:47   38K  
[TXT] IA-Random-50-213.misc-2-unrolled.wvr.yml.log                                2024-04-27 06:47   51K  
[TXT] IA-Random-50-213.misc-2.wvr.yml.log                                         2024-04-27 06:47  123K  
[TXT] IA-Random-50-213.misc-3-extended.wvr.yml.log                                2024-04-27 06:47   77K  
[TXT] IA-Random-50-213.misc-3.wvr.yml.log                                         2024-04-27 06:47   58K  
[TXT] IA-Random-50-213.misc-4.wvr.yml.log                                         2024-04-27 06:48   66K  
[TXT] IA-Random-50-213.misc-5.wvr.yml.log                                         2024-04-27 06:56  280K  
[TXT] IA-Random-50-213.mts-array.wvr.yml.log                                      2024-04-27 07:27   77K  
[TXT] IA-Random-50-213.mts.wvr.yml.log                                            2024-04-27 07:28   77K  
[TXT] IA-Random-50-213.mult-4.wvr.yml.log                                         2024-04-27 07:11  1.7M  
[TXT] IA-Random-50-213.mult-comm.wvr.yml.log                                      2024-04-27 06:48  549K  
[TXT] IA-Random-50-213.mult-dist.wvr.yml.log                                      2024-04-27 06:46  1.1M  
[TXT] IA-Random-50-213.mult-equiv.wvr.yml.log                                     2024-04-27 07:01  753K  
[TXT] IA-Random-50-213.mult-flipped-dist.wvr.yml.log                              2024-04-27 06:34   90K  
[TXT] IA-Random-50-213.multiply-verify.wvr.yml.log                                2024-04-27 07:24   74K  
[TXT] IA-Random-50-213.name-comparator-subst.wvr.yml.log                          2024-04-27 06:41  145K  
[TXT] IA-Random-50-213.name-comparator-symm.wvr.yml.log                           2024-04-27 06:41  105K  
[TXT] IA-Random-50-213.name-comparator-trans.wvr.yml.log                          2024-04-27 06:42  219K  
[TXT] IA-Random-50-213.node-subst.wvr.yml.log                                     2024-04-27 06:42   38K  
[TXT] IA-Random-50-213.node-symm.wvr.yml.log                                      2024-04-27 06:42   37K  
[TXT] IA-Random-50-213.node-trans.wvr.yml.log                                     2024-04-27 06:42   38K  
[TXT] IA-Random-50-213.nonblocking-cntr-alt.wvr.yml.log                           2024-04-27 06:59   94K  
[TXT] IA-Random-50-213.nonblocking-cntr.wvr.yml.log                               2024-04-27 07:12  589K  
[TXT] IA-Random-50-213.nonblocking-counter-alt2.wvr.yml.log                       2024-04-27 07:38  128K  
[TXT] IA-Random-50-213.nzb-file-subst.wvr.yml.log                                 2024-04-27 06:43  247K  
[TXT] IA-Random-50-213.nzb-file-symm.wvr.yml.log                                  2024-04-27 06:42  117K  
[TXT] IA-Random-50-213.nzb-file-trans.wvr.yml.log                                 2024-04-27 06:43  221K  
[TXT] IA-Random-50-213.parallel-sum-1-dsl.wvr.yml.log                             2024-04-27 07:01  429K  
[TXT] IA-Random-50-213.parallel-sum-1.wvr.yml.log                                 2024-04-27 07:01  674K  
[TXT] IA-Random-50-213.parallel-sum-2.wvr.yml.log                                 2024-04-27 07:02  681K  
[TXT] IA-Random-50-213.parallel-sum-equiv.wvr.yml.log                             2024-04-27 07:02  614K  
[TXT] IA-Random-50-213.parray-copy.wvr.yml.log                                    2024-04-27 07:28  122K  
[TXT] IA-Random-50-213.poker-hand-subst.wvr.yml.log                               2024-04-27 06:47  715K  
[TXT] IA-Random-50-213.poker-hand-symm.wvr.yml.log                                2024-04-27 06:44  252K  
[TXT] IA-Random-50-213.poker-hand-trans.wvr.yml.log                               2024-04-27 06:46  634K  
[TXT] IA-Random-50-213.prod-cons-eq.wvr.yml.log                                   2024-04-27 07:01  108K  
[TXT] IA-Random-50-213.prod-cons.wvr.yml.log                                      2024-04-27 07:15  112K  
[TXT] IA-Random-50-213.prod-cons3.wvr.yml.log                                     2024-04-27 07:15  126K  
[TXT] IA-Random-50-213.queue-add-2-nl.wvr.yml.log                                 2024-04-27 07:38  971K  
[TXT] IA-Random-50-213.queue-add-2.wvr.yml.log                                    2024-04-27 07:14  838K  
[TXT] IA-Random-50-213.queue-add-3-nl.wvr.yml.log                                 2024-04-27 07:39  318K  
[TXT] IA-Random-50-213.queue-add-3.wvr.yml.log                                    2024-04-27 07:09  590K  
[TXT] IA-Random-50-213.ring-nondet.wvr.yml.log                                    2024-04-27 07:23  467K  
[TXT] IA-Random-50-213.ring.wvr.yml.log                                           2024-04-27 07:11  127K  
[TXT] IA-Random-50-213.security.wvr.yml.log                                       2024-04-27 06:34   72K  
[TXT] IA-Random-50-213.semi1.wvr.yml.log                                          2024-04-27 07:28   37K  
[TXT] IA-Random-50-213.send-receive-alt.wvr.yml.log                               2024-04-27 07:08  178K  
[TXT] IA-Random-50-213.send-receive.wvr.yml.log                                   2024-04-27 07:13  268K  
[TXT] IA-Random-50-213.simpl-str-subst.wvr.yml.log                                2024-04-27 06:46   38K  
[TXT] IA-Random-50-213.simpl-str-symm.wvr.yml.log                                 2024-04-27 06:46   37K  
[TXT] IA-Random-50-213.simpl-str-trans.wvr.yml.log                                2024-04-27 06:46   38K  
[TXT] IA-Random-50-213.simple-array-sum.wvr.yml.log                               2024-04-27 07:04  162K  
[TXT] IA-Random-50-213.simple-equiv.wvr.yml.log                                   2024-04-27 06:49   38K  
[TXT] IA-Random-50-213.simple-queue.wvr.yml.log                                   2024-04-27 07:03  158K  
[TXT] IA-Random-50-213.sorted.wvr.yml.log                                         2024-04-27 07:36  190K  
[TXT] IA-Random-50-213.spaghetti.wvr.yml.log                                      2024-04-27 06:34   43K  
[TXT] IA-Random-50-213.sre-subst.wvr.yml.log                                      2024-04-27 06:46   38K  
[TXT] IA-Random-50-213.sre-symm.wvr.yml.log                                       2024-04-27 06:46   37K  
[TXT] IA-Random-50-213.sre-trans.wvr.yml.log                                      2024-04-27 06:46   38K  
[TXT] IA-Random-50-213.sum-array-hom.wvr.yml.log                                  2024-04-27 07:33  357K  
[TXT] IA-Random-50-213.sum-array.wvr.yml.log                                      2024-04-27 07:34  369K  
[TXT] IA-Random-50-213.sum-fun-alt.wvr.yml.log                                    2024-04-27 07:34  370K  
[TXT] IA-Random-50-213.sum-fun.wvr.yml.log                                        2024-04-27 07:34  357K  
[TXT] IA-Random-50-213.threaded-sum-2.wvr.yml.log                                 2024-04-27 07:12  136K  
[TXT] IA-Random-50-213.threaded-sum-3.wvr.yml.log                                 2024-04-27 07:16  219K  
[TXT] IA-Random-50-213.three-array-max.wvr.yml.log                                2024-04-27 07:06   75K  
[TXT] IA-Random-50-213.three-array-min.wvr.yml.log                                2024-04-27 07:20   90K  
[TXT] IA-Random-50-213.three-array-sum-alt.wvr.yml.log                            2024-04-27 07:12  121K  
[TXT] IA-Random-50-213.three-array-sum.wvr.yml.log                                2024-04-27 07:08  166K  
[TXT] IA-Random-50-213.ticket-2.wvr.yml.log                                       2024-04-27 06:49   46K  
[TXT] IA-Random-50-213.ticket-3.wvr.yml.log                                       2024-04-27 06:49   79K  
[TXT] IA-Random-50-213.ticket-4.wvr.yml.log                                       2024-04-27 06:49  175K  
[TXT] IA-Random-50-213.ticket-5.wvr.yml.log                                       2024-04-27 06:49  338K  
[TXT] IA-Random-50-213.ticket-6.wvr.yml.log                                       2024-04-27 06:52  345K  
[TXT] IA-Random-50-213.ticket-7.wvr.yml.log                                       2024-04-27 06:56   84K  
[TXT] IA-Random-50-213.ticket-8.wvr.yml.log                                       2024-04-27 06:56   29K  
[TXT] IA-Random-50-213.time-subst.wvr.yml.log                                     2024-04-27 06:46   38K  
[TXT] IA-Random-50-213.time-symm.wvr.yml.log                                      2024-04-27 06:46   37K  
[TXT] IA-Random-50-213.time-trans.wvr.yml.log                                     2024-04-27 06:46   38K  
[TXT] IA-Random-50-213.two-queue.wvr.yml.log                                      2024-04-27 07:08   88K  
[TXT] IA-Random-50-213.unroll-2.wvr.yml.log                                       2024-04-27 06:49  252K  
[TXT] IA-Random-50-213.unroll-3.wvr.yml.log                                       2024-04-27 06:49  180K  
[TXT] IA-Random-50-213.unroll-4.wvr.yml.log                                       2024-04-27 06:49  179K  
[TXT] IA-Random-50-213.unroll-5.wvr.yml.log                                       2024-04-27 06:49  137K  
[TXT] IA-Random-50-213.unroll-cond-2.wvr.yml.log                                  2024-04-27 06:46  232K  
[TXT] IA-Random-50-213.unroll-cond-3.wvr.yml.log                                  2024-04-27 06:47  188K  
[TXT] IA-Random-50-213.unroll-cond-4.wvr.yml.log                                  2024-04-27 06:47  158K  
[TXT] IA-Random-50-213.unroll-cond-5.wvr.yml.log                                  2024-04-27 06:49   44K  
[TXT] IA-Random-50-213.vector-add.wvr.yml.log                                     2024-04-27 07:35   90K  
[TXT] IA-Random-50-213.word-subst.wvr.yml.log                                     2024-04-27 06:47  213K  
[TXT] IA-Random-50-213.word-symm.wvr.yml.log                                      2024-04-27 06:46  121K  
[TXT] IA-Random-50-213.word-trans.wvr.yml.log                                     2024-04-27 06:47  266K  
[TXT] IA-SleepSet.array-eq-symm.wvr.yml.log                                       2024-04-27 03:08   84K  
[TXT] IA-SleepSet.array-eq-trans.wvr.yml.log                                      2024-04-27 03:09  189K  
[TXT] IA-SleepSet.array-int-subst.wvr.yml.log                                     2024-04-27 03:13  161K  
[TXT] IA-SleepSet.array-int-symm.wvr.yml.log                                      2024-04-27 03:12   80K  
[TXT] IA-SleepSet.array-int-trans.wvr.yml.log                                     2024-04-27 03:13  269K  
[TXT] IA-SleepSet.array-sum-alt.wvr.yml.log                                       2024-04-27 03:51  348K  
[TXT] IA-SleepSet.array-sum.wvr.yml.log                                           2024-04-27 03:53  292K  
[TXT] IA-SleepSet.bakery-2.wvr.yml.log                                            2024-04-27 03:21   70K  
[TXT] IA-SleepSet.bakery-3.wvr.yml.log                                            2024-04-27 03:21  306K  
[TXT] IA-SleepSet.bakery-4.wvr.yml.log                                            2024-04-27 03:22  466K  
[TXT] IA-SleepSet.barrier-loop.wvr.yml.log                                        2024-04-27 03:21   62K  
[TXT] IA-SleepSet.barrier.wvr.yml.log                                             2024-04-27 03:21   58K  
[TXT] IA-SleepSet.bluetooth.wvr.yml.log                                           2024-04-27 03:21   46K  
[TXT] IA-SleepSet.buffer-mult-alt.wvr.yml.log                                     2024-04-27 03:45  240K  
[TXT] IA-SleepSet.buffer-mult.wvr.yml.log                                         2024-04-27 03:48  181K  
[TXT] IA-SleepSet.buffer-series-array.wvr.yml.log                                 2024-04-27 04:00  154K  
[TXT] IA-SleepSet.buffer-series.wvr.yml.log                                       2024-04-27 04:00  154K  
[TXT] IA-SleepSet.channel-sum.wvr.yml.log                                         2024-04-27 03:37  545K  
[TXT] IA-SleepSet.chromosome-opt-symm.wvr.yml.log                                 2024-04-27 03:13   91K  
[TXT] IA-SleepSet.chromosome-subst.wvr.yml.log                                    2024-04-27 03:14  143K  
[TXT] IA-SleepSet.chromosome-symm.wvr.yml.log                                     2024-04-27 03:14  116K  
[TXT] IA-SleepSet.chromosome-trans.wvr.yml.log                                    2024-04-27 03:14  205K  
[TXT] IA-SleepSet.clever.wvr.yml.log                                              2024-04-27 03:21  3.4M  
[TXT] IA-SleepSet.collitem-subst.wvr.yml.log                                      2024-04-27 03:14   38K  
[TXT] IA-SleepSet.collitem-symm.wvr.yml.log                                       2024-04-27 03:14   37K  
[TXT] IA-SleepSet.collitem-trans.wvr.yml.log                                      2024-04-27 03:14   38K  
[TXT] IA-SleepSet.commit-1.wvr.yml.log                                            2024-04-27 03:43  199K  
[TXT] IA-SleepSet.commit-2.wvr.yml.log                                            2024-04-27 03:44  306K  
[TXT] IA-SleepSet.container-subst.wvr.yml.log                                     2024-04-27 03:14   38K  
[TXT] IA-SleepSet.container-symm.wvr.yml.log                                      2024-04-27 03:14   37K  
[TXT] IA-SleepSet.container-trans.wvr.yml.log                                     2024-04-27 03:14   38K  
[TXT] IA-SleepSet.context1.wvr.yml.log                                            2024-04-27 04:02   70K  
[TXT] IA-SleepSet.counter-add-4-semi-Q67.wvr.yml.log                              2024-04-27 04:15  1.6M  
[TXT] IA-SleepSet.counter-determinism.wvr.yml.log                                 2024-04-27 03:36  213K  
[TXT] IA-SleepSet.counter-fun.wvr.yml.log                                         2024-04-27 03:32  139K  
[TXT] IA-SleepSet.counter-queue.wvr.yml.log                                       2024-04-27 03:44   76K  
[TXT] IA-SleepSet.dec-subseq-array.wvr.yml.log                                    2024-04-27 04:01   77K  
[TXT] IA-SleepSet.dec-subseq.wvr.yml.log                                          2024-04-27 04:01   77K  
[TXT] IA-SleepSet.difference-det.wvr.yml.log                                      2024-04-27 03:24  207K  
[TXT] IA-SleepSet.dot-product-alt.wvr.yml.log                                     2024-04-27 03:50  157K  
[TXT] IA-SleepSet.dot-product-array.wvr.yml.log                                   2024-04-27 03:53   85K  
[TXT] IA-SleepSet.dot-product.wvr.yml.log                                         2024-04-27 03:59  240K  
[TXT] IA-SleepSet.easy1.wvr.yml.log                                               2024-04-27 04:02   60K  
[TXT] IA-SleepSet.easy10.wvr.yml.log                                              2024-04-27 04:02   56K  
[TXT] IA-SleepSet.easy11.wvr.yml.log                                              2024-04-27 04:02   75K  
[TXT] IA-SleepSet.easy6.wvr.yml.log                                               2024-04-27 04:02   71K  
[TXT] IA-SleepSet.easy7.wvr.yml.log                                               2024-04-27 04:02   37K  
[TXT] IA-SleepSet.easy8.wvr.yml.log                                               2024-04-27 04:03   37K  
[TXT] IA-SleepSet.exp-term-subst.wvr.yml.log                                      2024-04-27 03:14   38K  
[TXT] IA-SleepSet.exp-term-symm.wvr.yml.log                                       2024-04-27 03:15   37K  
[TXT] IA-SleepSet.exp1x3.wvr.yml.log                                              2024-04-27 03:08   67K  
[TXT] IA-SleepSet.exp2x3.wvr.yml.log                                              2024-04-27 03:08  114K  
[TXT] IA-SleepSet.exp2x4.wvr.yml.log                                              2024-04-27 03:09  115K  
[TXT] IA-SleepSet.exp2x6.wvr.yml.log                                              2024-04-27 03:09  115K  
[TXT] IA-SleepSet.exp2x9.wvr.yml.log                                              2024-04-27 03:10  115K  
[TXT] IA-SleepSet.exp3x3-opt.wvr.yml.log                                          2024-04-27 03:09  102K  
[TXT] IA-SleepSet.exp3x3.wvr.yml.log                                              2024-04-27 03:11  195K  
[TXT] IA-SleepSet.fibonacci.wvr.yml.log                                           2024-04-27 03:08   69K  
[TXT] IA-SleepSet.figure1-alt.wvr.yml.log                                         2024-04-27 03:27   88K  
[TXT] IA-SleepSet.figure1.wvr.yml.log                                             2024-04-27 03:27   64K  
[TXT] IA-SleepSet.figure3.wvr.yml.log                                             2024-04-27 03:41  944K  
[TXT] IA-SleepSet.file-item-subst.wvr.yml.log                                     2024-04-27 03:15   38K  
[TXT] IA-SleepSet.file-item-symm.wvr.yml.log                                      2024-04-27 03:15   37K  
[TXT] IA-SleepSet.file-item-trans.wvr.yml.log                                     2024-04-27 03:15   38K  
[TXT] IA-SleepSet.hard1.wvr.yml.log                                               2024-04-27 04:07  502K  
[TXT] IA-SleepSet.horseshoe.wvr.yml.log                                           2024-04-27 03:41  486K  
[TXT] IA-SleepSet.inc-subseq-array.wvr.yml.log                                    2024-04-27 04:04   79K  
[TXT] IA-SleepSet.inc-subseq.wvr.yml.log                                          2024-04-27 04:05   79K  
[TXT] IA-SleepSet.lamport.wvr.yml.log                                             2024-04-27 03:21   70K  
[TXT] IA-SleepSet.loop-tiling-eq.wvr.yml.log                                      2024-04-27 03:23  248K  
[TXT] IA-SleepSet.match-subst.wvr.yml.log                                         2024-04-27 03:15   38K  
[TXT] IA-SleepSet.match-symm.wvr.yml.log                                          2024-04-27 03:15   37K  
[TXT] IA-SleepSet.match-trans.wvr.yml.log                                         2024-04-27 03:15   38K  
[TXT] IA-SleepSet.max-array-hom.wvr.yml.log                                       2024-04-27 03:53   82K  
[TXT] IA-SleepSet.max-array.wvr.yml.log                                           2024-04-27 03:57  167K  
[TXT] IA-SleepSet.max-fun-alt.wvr.yml.log                                         2024-04-27 03:58  167K  
[TXT] IA-SleepSet.max-fun.wvr.yml.log                                             2024-04-27 03:56   82K  
[TXT] IA-SleepSet.min-array-hom.wvr.yml.log                                       2024-04-27 03:56   82K  
[TXT] IA-SleepSet.min-array.wvr.yml.log                                           2024-04-27 03:58  126K  
[TXT] IA-SleepSet.min-fun-alt.wvr.yml.log                                         2024-04-27 04:00  126K  
[TXT] IA-SleepSet.min-fun.wvr.yml.log                                             2024-04-27 03:59   82K  
[TXT] IA-SleepSet.min-le-max.wvr.yml.log                                          2024-04-27 03:56   48K  
[TXT] IA-SleepSet.min-max-1.wvr.yml.log                                           2024-04-27 03:21   42K  
[TXT] IA-SleepSet.min-max-2.wvr.yml.log                                           2024-04-27 03:29  134K  
[TXT] IA-SleepSet.min-max-dec.wvr.yml.log                                         2024-04-27 03:44  115K  
[TXT] IA-SleepSet.min-max-inc-dec.wvr.yml.log                                     2024-04-27 03:32  116K  
[TXT] IA-SleepSet.min-max-inc.wvr.yml.log                                         2024-04-27 03:31  154K  
[TXT] IA-SleepSet.misc-1.wvr.yml.log                                              2024-04-27 03:36  111K  
[TXT] IA-SleepSet.misc-2-unrolled-atomic.wvr.yml.log                              2024-04-27 03:21   37K  
[TXT] IA-SleepSet.misc-2-unrolled.wvr.yml.log                                     2024-04-27 03:21   50K  
[TXT] IA-SleepSet.misc-2.wvr.yml.log                                              2024-04-27 03:21  123K  
[TXT] IA-SleepSet.misc-3-extended.wvr.yml.log                                     2024-04-27 03:21   77K  
[TXT] IA-SleepSet.misc-3.wvr.yml.log                                              2024-04-27 03:21   57K  
[TXT] IA-SleepSet.misc-4.wvr.yml.log                                              2024-04-27 03:21   76K  
[TXT] IA-SleepSet.misc-5.wvr.yml.log                                              2024-04-27 03:30  254K  
[TXT] IA-SleepSet.mts-array.wvr.yml.log                                           2024-04-27 04:01   76K  
[TXT] IA-SleepSet.mts.wvr.yml.log                                                 2024-04-27 04:02   76K  
[TXT] IA-SleepSet.mult-4.wvr.yml.log                                              2024-04-27 03:44  1.8M  
[TXT] IA-SleepSet.mult-comm.wvr.yml.log                                           2024-04-27 03:21  548K  
[TXT] IA-SleepSet.mult-dist.wvr.yml.log                                           2024-04-27 03:21  1.1M  
[TXT] IA-SleepSet.mult-equiv.wvr.yml.log                                          2024-04-27 03:34  684K  
[TXT] IA-SleepSet.mult-flipped-dist.wvr.yml.log                                   2024-04-27 03:08   90K  
[TXT] IA-SleepSet.multiply-verify.wvr.yml.log                                     2024-04-27 03:58   74K  
[TXT] IA-SleepSet.name-comparator-subst.wvr.yml.log                               2024-04-27 03:15  144K  
[TXT] IA-SleepSet.name-comparator-symm.wvr.yml.log                                2024-04-27 03:15  105K  
[TXT] IA-SleepSet.name-comparator-trans.wvr.yml.log                               2024-04-27 03:16  219K  
[TXT] IA-SleepSet.node-subst.wvr.yml.log                                          2024-04-27 03:15   38K  
[TXT] IA-SleepSet.node-symm.wvr.yml.log                                           2024-04-27 03:16   37K  
[TXT] IA-SleepSet.node-trans.wvr.yml.log                                          2024-04-27 03:16   38K  
[TXT] IA-SleepSet.nonblocking-cntr-alt.wvr.yml.log                                2024-04-27 03:32   94K  
[TXT] IA-SleepSet.nonblocking-cntr.wvr.yml.log                                    2024-04-27 03:47  625K  
[TXT] IA-SleepSet.nonblocking-counter-alt2.wvr.yml.log                            2024-04-27 04:12  127K  
[TXT] IA-SleepSet.nzb-file-subst.wvr.yml.log                                      2024-04-27 03:17  246K  
[TXT] IA-SleepSet.nzb-file-symm.wvr.yml.log                                       2024-04-27 03:16  117K  
[TXT] IA-SleepSet.nzb-file-trans.wvr.yml.log                                      2024-04-27 03:17  221K  
[TXT] IA-SleepSet.parallel-sum-1-dsl.wvr.yml.log                                  2024-04-27 03:35  227K  
[TXT] IA-SleepSet.parallel-sum-1.wvr.yml.log                                      2024-04-27 03:32  406K  
[TXT] IA-SleepSet.parallel-sum-2.wvr.yml.log                                      2024-04-27 03:35  475K  
[TXT] IA-SleepSet.parallel-sum-equiv.wvr.yml.log                                  2024-04-27 03:35  366K  
[TXT] IA-SleepSet.parray-copy.wvr.yml.log                                         2024-04-27 04:03  122K  
[TXT] IA-SleepSet.poker-hand-subst.wvr.yml.log                                    2024-04-27 03:22  715K  
[TXT] IA-SleepSet.poker-hand-symm.wvr.yml.log                                     2024-04-27 03:18  251K  
[TXT] IA-SleepSet.poker-hand-trans.wvr.yml.log                                    2024-04-27 03:19  634K  
[TXT] IA-SleepSet.prod-cons-eq.wvr.yml.log                                        2024-04-27 03:47  109K  
[TXT] IA-SleepSet.prod-cons.wvr.yml.log                                           2024-04-27 03:48  106K  
[TXT] IA-SleepSet.prod-cons3.wvr.yml.log                                          2024-04-27 03:49  119K  
[TXT] IA-SleepSet.queue-add-2-nl.wvr.yml.log                                      2024-04-27 04:13  959K  
[TXT] IA-SleepSet.queue-add-2.wvr.yml.log                                         2024-04-27 03:48  839K  
[TXT] IA-SleepSet.queue-add-3-nl.wvr.yml.log                                      2024-04-27 04:12  317K  
[TXT] IA-SleepSet.queue-add-3.wvr.yml.log                                         2024-04-27 03:43  589K  
[TXT] IA-SleepSet.ring-nondet.wvr.yml.log                                         2024-04-27 03:59  445K  
[TXT] IA-SleepSet.ring.wvr.yml.log                                                2024-04-27 03:45  126K  
[TXT] IA-SleepSet.security.wvr.yml.log                                            2024-04-27 03:08   72K  
[TXT] IA-SleepSet.semi1.wvr.yml.log                                               2024-04-27 04:03   37K  
[TXT] IA-SleepSet.send-receive-alt.wvr.yml.log                                    2024-04-27 03:42  177K  
[TXT] IA-SleepSet.send-receive.wvr.yml.log                                        2024-04-27 03:50  269K  
[TXT] IA-SleepSet.simpl-str-subst.wvr.yml.log                                     2024-04-27 03:20   38K  
[TXT] IA-SleepSet.simpl-str-symm.wvr.yml.log                                      2024-04-27 03:20   37K  
[TXT] IA-SleepSet.simpl-str-trans.wvr.yml.log                                     2024-04-27 03:20   38K  
[TXT] IA-SleepSet.simple-array-sum.wvr.yml.log                                    2024-04-27 03:39  162K  
[TXT] IA-SleepSet.simple-equiv.wvr.yml.log                                        2024-04-27 03:22   38K  
[TXT] IA-SleepSet.simple-queue.wvr.yml.log                                        2024-04-27 03:38  146K  
[TXT] IA-SleepSet.sorted.wvr.yml.log                                              2024-04-27 04:10  190K  
[TXT] IA-SleepSet.spaghetti.wvr.yml.log                                           2024-04-27 03:08   42K  
[TXT] IA-SleepSet.sre-subst.wvr.yml.log                                           2024-04-27 03:20   38K  
[TXT] IA-SleepSet.sre-symm.wvr.yml.log                                            2024-04-27 03:20   37K  
[TXT] IA-SleepSet.sre-trans.wvr.yml.log                                           2024-04-27 03:20   38K  
[TXT] IA-SleepSet.sum-array-hom.wvr.yml.log                                       2024-04-27 04:08  357K  
[TXT] IA-SleepSet.sum-array.wvr.yml.log                                           2024-04-27 04:08  369K  
[TXT] IA-SleepSet.sum-fun-alt.wvr.yml.log                                         2024-04-27 04:09  369K  
[TXT] IA-SleepSet.sum-fun.wvr.yml.log                                             2024-04-27 04:10  357K  
[TXT] IA-SleepSet.threaded-sum-2.wvr.yml.log                                      2024-04-27 03:46  124K  
[TXT] IA-SleepSet.threaded-sum-3.wvr.yml.log                                      2024-04-27 03:51  210K  
[TXT] IA-SleepSet.three-array-max.wvr.yml.log                                     2024-04-27 03:44   75K  
[TXT] IA-SleepSet.three-array-min.wvr.yml.log                                     2024-04-27 03:56   90K  
[TXT] IA-SleepSet.three-array-sum-alt.wvr.yml.log                                 2024-04-27 03:47  121K  
[TXT] IA-SleepSet.three-array-sum.wvr.yml.log                                     2024-04-27 03:43  166K  
[TXT] IA-SleepSet.ticket-2.wvr.yml.log                                            2024-04-27 03:22   46K  
[TXT] IA-SleepSet.ticket-3.wvr.yml.log                                            2024-04-27 03:22   78K  
[TXT] IA-SleepSet.ticket-4.wvr.yml.log                                            2024-04-27 03:23  174K  
[TXT] IA-SleepSet.ticket-5.wvr.yml.log                                            2024-04-27 03:23  338K  
[TXT] IA-SleepSet.ticket-6.wvr.yml.log                                            2024-04-27 03:27  483K  
[TXT] IA-SleepSet.ticket-7.wvr.yml.log                                            2024-04-27 03:29   83K  
[TXT] IA-SleepSet.ticket-8.wvr.yml.log                                            2024-04-27 03:30   29K  
[TXT] IA-SleepSet.time-subst.wvr.yml.log                                          2024-04-27 03:20   38K  
[TXT] IA-SleepSet.time-symm.wvr.yml.log                                           2024-04-27 03:20   37K  
[TXT] IA-SleepSet.time-trans.wvr.yml.log                                          2024-04-27 03:20   38K  
[TXT] IA-SleepSet.two-queue.wvr.yml.log                                           2024-04-27 03:42   88K  
[TXT] IA-SleepSet.unroll-2.wvr.yml.log                                            2024-04-27 03:22  248K  
[TXT] IA-SleepSet.unroll-3.wvr.yml.log                                            2024-04-27 03:22  180K  
[TXT] IA-SleepSet.unroll-4.wvr.yml.log                                            2024-04-27 03:22  179K  
[TXT] IA-SleepSet.unroll-5.wvr.yml.log                                            2024-04-27 03:22  137K  
[TXT] IA-SleepSet.unroll-cond-2.wvr.yml.log                                       2024-04-27 03:20  231K  
[TXT] IA-SleepSet.unroll-cond-3.wvr.yml.log                                       2024-04-27 03:21  188K  
[TXT] IA-SleepSet.unroll-cond-4.wvr.yml.log                                       2024-04-27 03:21  158K  
[TXT] IA-SleepSet.unroll-cond-5.wvr.yml.log                                       2024-04-27 03:23   43K  
[TXT] IA-SleepSet.vector-add.wvr.yml.log                                          2024-04-27 04:16   92K  
[TXT] IA-SleepSet.word-subst.wvr.yml.log                                          2024-04-27 03:21  213K  
[TXT] IA-SleepSet.word-symm.wvr.yml.log                                           2024-04-27 03:20  120K  
[TXT] IA-SleepSet.word-trans.wvr.yml.log                                          2024-04-27 03:21  265K  
[TXT] NONE.array-eq-symm.wvr.yml.log                                              2024-04-27 00:47   83K  
[TXT] NONE.array-eq-trans.wvr.yml.log                                             2024-04-27 00:47  189K  
[TXT] NONE.array-int-subst.wvr.yml.log                                            2024-04-27 00:51  161K  
[TXT] NONE.array-int-symm.wvr.yml.log                                             2024-04-27 00:50   80K  
[TXT] NONE.array-int-trans.wvr.yml.log                                            2024-04-27 00:52  268K  
[TXT] NONE.array-sum-alt.wvr.yml.log                                              2024-04-27 01:32  348K  
[TXT] NONE.array-sum.wvr.yml.log                                                  2024-04-27 01:34  291K  
[TXT] NONE.bakery-2.wvr.yml.log                                                   2024-04-27 00:59   65K  
[TXT] NONE.bakery-3.wvr.yml.log                                                   2024-04-27 00:59  297K  
[TXT] NONE.bakery-4.wvr.yml.log                                                   2024-04-27 01:01  419K  
[TXT] NONE.barrier-loop.wvr.yml.log                                               2024-04-27 00:59   62K  
[TXT] NONE.barrier.wvr.yml.log                                                    2024-04-27 00:59   58K  
[TXT] NONE.bluetooth.wvr.yml.log                                                  2024-04-27 00:59   45K  
[TXT] NONE.buffer-mult-alt.wvr.yml.log                                            2024-04-27 01:39  285K  
[TXT] NONE.buffer-mult.wvr.yml.log                                                2024-04-27 01:43  265K  
[TXT] NONE.buffer-series-array.wvr.yml.log                                        2024-04-27 01:40  153K  
[TXT] NONE.buffer-series.wvr.yml.log                                              2024-04-27 01:41  153K  
[TXT] NONE.channel-sum.wvr.yml.log                                                2024-04-27 01:15  537K  
[TXT] NONE.chromosome-opt-symm.wvr.yml.log                                        2024-04-27 00:52   91K  
[TXT] NONE.chromosome-subst.wvr.yml.log                                           2024-04-27 00:52  143K  
[TXT] NONE.chromosome-symm.wvr.yml.log                                            2024-04-27 00:52  115K  
[TXT] NONE.chromosome-trans.wvr.yml.log                                           2024-04-27 00:53  205K  
[TXT] NONE.clever.wvr.yml.log                                                     2024-04-27 01:00  3.4M  
[TXT] NONE.collitem-subst.wvr.yml.log                                             2024-04-27 00:52   37K  
[TXT] NONE.collitem-symm.wvr.yml.log                                              2024-04-27 00:53   37K  
[TXT] NONE.collitem-trans.wvr.yml.log                                             2024-04-27 00:53   37K  
[TXT] NONE.commit-1.wvr.yml.log                                                   2024-04-27 01:25  199K  
[TXT] NONE.commit-2.wvr.yml.log                                                   2024-04-27 01:26  305K  
[TXT] NONE.container-subst.wvr.yml.log                                            2024-04-27 00:53   37K  
[TXT] NONE.container-symm.wvr.yml.log                                             2024-04-27 00:53   37K  
[TXT] NONE.container-trans.wvr.yml.log                                            2024-04-27 00:53   37K  
[TXT] NONE.context1.wvr.yml.log                                                   2024-04-27 02:00  688K  
[TXT] NONE.counter-add-4-semi-Q67.wvr.yml.log                                     2024-04-27 02:00  1.8M  
[TXT] NONE.counter-determinism.wvr.yml.log                                        2024-04-27 01:15  220K  
[TXT] NONE.counter-fun.wvr.yml.log                                                2024-04-27 01:10  138K  
[TXT] NONE.counter-queue.wvr.yml.log                                              2024-04-27 01:26   75K  
[TXT] NONE.dec-subseq-array.wvr.yml.log                                           2024-04-27 01:42   78K  
[TXT] NONE.dec-subseq.wvr.yml.log                                                 2024-04-27 01:42   77K  
[TXT] NONE.difference-det.wvr.yml.log                                             2024-04-27 01:15  531K  
[TXT] NONE.dot-product-alt.wvr.yml.log                                            2024-04-27 01:32  156K  
[TXT] NONE.dot-product-array.wvr.yml.log                                          2024-04-27 01:36   85K  
[TXT] NONE.dot-product.wvr.yml.log                                                2024-04-27 01:41  243K  
[TXT] NONE.easy1.wvr.yml.log                                                      2024-04-27 01:46   59K  
[TXT] NONE.easy10.wvr.yml.log                                                     2024-04-27 01:46   56K  
[TXT] NONE.easy11.wvr.yml.log                                                     2024-04-27 01:46   75K  
[TXT] NONE.easy6.wvr.yml.log                                                      2024-04-27 01:46   65K  
[TXT] NONE.easy7.wvr.yml.log                                                      2024-04-27 01:46   37K  
[TXT] NONE.easy8.wvr.yml.log                                                      2024-04-27 01:46   37K  
[TXT] NONE.exp-term-subst.wvr.yml.log                                             2024-04-27 00:53   37K  
[TXT] NONE.exp-term-symm.wvr.yml.log                                              2024-04-27 00:53   37K  
[TXT] NONE.exp1x3.wvr.yml.log                                                     2024-04-27 00:47   67K  
[TXT] NONE.exp2x3.wvr.yml.log                                                     2024-04-27 00:47  114K  
[TXT] NONE.exp2x4.wvr.yml.log                                                     2024-04-27 00:47  114K  
[TXT] NONE.exp2x6.wvr.yml.log                                                     2024-04-27 00:48  114K  
[TXT] NONE.exp2x9.wvr.yml.log                                                     2024-04-27 00:48  114K  
[TXT] NONE.exp3x3-opt.wvr.yml.log                                                 2024-04-27 00:48  102K  
[TXT] NONE.exp3x3.wvr.yml.log                                                     2024-04-27 00:50  194K  
[TXT] NONE.fibonacci.wvr.yml.log                                                  2024-04-27 00:47   69K  
[TXT] NONE.figure1-alt.wvr.yml.log                                                2024-04-27 01:07   87K  
[TXT] NONE.figure1.wvr.yml.log                                                    2024-04-27 01:20  829K  
[TXT] NONE.figure3.wvr.yml.log                                                    2024-04-27 01:21  956K  
[TXT] NONE.file-item-subst.wvr.yml.log                                            2024-04-27 00:53   37K  
[TXT] NONE.file-item-symm.wvr.yml.log                                             2024-04-27 00:53   37K  
[TXT] NONE.file-item-trans.wvr.yml.log                                            2024-04-27 00:53   37K  
[TXT] NONE.hard1.wvr.yml.log                                                      2024-04-27 02:00  734K  
[TXT] NONE.horseshoe.wvr.yml.log                                                  2024-04-27 01:21  486K  
[TXT] NONE.inc-subseq-array.wvr.yml.log                                           2024-04-27 01:47   79K  
[TXT] NONE.inc-subseq.wvr.yml.log                                                 2024-04-27 01:49   79K  
[TXT] NONE.lamport.wvr.yml.log                                                    2024-04-27 00:59   66K  
[TXT] NONE.loop-tiling-eq.wvr.yml.log                                             2024-04-27 01:01  241K  
[TXT] NONE.match-subst.wvr.yml.log                                                2024-04-27 00:53   37K  
[TXT] NONE.match-symm.wvr.yml.log                                                 2024-04-27 00:53   37K  
[TXT] NONE.match-trans.wvr.yml.log                                                2024-04-27 00:53   37K  
[TXT] NONE.max-array-hom.wvr.yml.log                                              2024-04-27 01:38   81K  
[TXT] NONE.max-array.wvr.yml.log                                                  2024-04-27 01:41  167K  
[TXT] NONE.max-fun-alt.wvr.yml.log                                                2024-04-27 01:42  167K  
[TXT] NONE.max-fun.wvr.yml.log                                                    2024-04-27 01:40   81K  
[TXT] NONE.min-array-hom.wvr.yml.log                                              2024-04-27 01:41   81K  
[TXT] NONE.min-array.wvr.yml.log                                                  2024-04-27 01:44  126K  
[TXT] NONE.min-fun-alt.wvr.yml.log                                                2024-04-27 01:44  126K  
[TXT] NONE.min-fun.wvr.yml.log                                                    2024-04-27 01:43   82K  
[TXT] NONE.min-le-max.wvr.yml.log                                                 2024-04-27 01:41   53K  
[TXT] NONE.min-max-1.wvr.yml.log                                                  2024-04-27 00:59   41K  
[TXT] NONE.min-max-2.wvr.yml.log                                                  2024-04-27 01:12  172K  
[TXT] NONE.min-max-dec.wvr.yml.log                                                2024-04-27 01:25  188K  
[TXT] NONE.min-max-inc-dec.wvr.yml.log                                            2024-04-27 01:13  102K  
[TXT] NONE.min-max-inc.wvr.yml.log                                                2024-04-27 01:18  198K  
[TXT] NONE.misc-1.wvr.yml.log                                                     2024-04-27 01:14  111K  
[TXT] NONE.misc-2-unrolled-atomic.wvr.yml.log                                     2024-04-27 01:00   37K  
[TXT] NONE.misc-2-unrolled.wvr.yml.log                                            2024-04-27 01:00   50K  
[TXT] NONE.misc-2.wvr.yml.log                                                     2024-04-27 01:00  123K  
[TXT] NONE.misc-3-extended.wvr.yml.log                                            2024-04-27 01:00   76K  
[TXT] NONE.misc-3.wvr.yml.log                                                     2024-04-27 01:00   57K  
[TXT] NONE.misc-4.wvr.yml.log                                                     2024-04-27 01:00   57K  
[TXT] NONE.misc-5.wvr.yml.log                                                     2024-04-27 01:08  225K  
[TXT] NONE.mts-array.wvr.yml.log                                                  2024-04-27 01:46   76K  
[TXT] NONE.mts.wvr.yml.log                                                        2024-04-27 01:45   76K  
[TXT] NONE.mult-4.wvr.yml.log                                                     2024-04-27 01:26  1.8M  
[TXT] NONE.mult-comm.wvr.yml.log                                                  2024-04-27 01:00  548K  
[TXT] NONE.mult-dist.wvr.yml.log                                                  2024-04-27 00:59  1.1M  
[TXT] NONE.mult-equiv.wvr.yml.log                                                 2024-04-27 01:27  1.1M  
[TXT] NONE.mult-flipped-dist.wvr.yml.log                                          2024-04-27 00:47   90K  
[TXT] NONE.multiply-verify.wvr.yml.log                                            2024-04-27 01:41   73K  
[TXT] NONE.name-comparator-subst.wvr.yml.log                                      2024-04-27 00:54  144K  
[TXT] NONE.name-comparator-symm.wvr.yml.log                                       2024-04-27 00:54  105K  
[TXT] NONE.name-comparator-trans.wvr.yml.log                                      2024-04-27 00:54  219K  
[TXT] NONE.node-subst.wvr.yml.log                                                 2024-04-27 00:54   37K  
[TXT] NONE.node-symm.wvr.yml.log                                                  2024-04-27 00:54   37K  
[TXT] NONE.node-trans.wvr.yml.log                                                 2024-04-27 00:54   37K  
[TXT] NONE.nonblocking-cntr-alt.wvr.yml.log                                       2024-04-27 01:14   94K  
[TXT] NONE.nonblocking-cntr.wvr.yml.log                                           2024-04-27 01:27  554K  
[TXT] NONE.nonblocking-counter-alt2.wvr.yml.log                                   2024-04-27 01:55  127K  
[TXT] NONE.nzb-file-subst.wvr.yml.log                                             2024-04-27 00:55  246K  
[TXT] NONE.nzb-file-symm.wvr.yml.log                                              2024-04-27 00:55  117K  
[TXT] NONE.nzb-file-trans.wvr.yml.log                                             2024-04-27 00:55  220K  
[TXT] NONE.parallel-sum-1-dsl.wvr.yml.log                                         2024-04-27 01:14  224K  
[TXT] NONE.parallel-sum-1.wvr.yml.log                                             2024-04-27 01:11  407K  
[TXT] NONE.parallel-sum-2.wvr.yml.log                                             2024-04-27 01:14  476K  
[TXT] NONE.parallel-sum-equiv.wvr.yml.log                                         2024-04-27 01:14  366K  
[TXT] NONE.parray-copy.wvr.yml.log                                                2024-04-27 01:46  122K  
[TXT] NONE.poker-hand-subst.wvr.yml.log                                           2024-04-27 01:00  714K  
[TXT] NONE.poker-hand-symm.wvr.yml.log                                            2024-04-27 00:56  251K  
[TXT] NONE.poker-hand-trans.wvr.yml.log                                           2024-04-27 00:58  633K  
[TXT] NONE.prod-cons-eq.wvr.yml.log                                               2024-04-27 01:29  109K  
[TXT] NONE.prod-cons.wvr.yml.log                                                  2024-04-27 01:28  102K  
[TXT] NONE.prod-cons3.wvr.yml.log                                                 2024-04-27 01:29  110K  
[TXT] NONE.queue-add-2-nl.wvr.yml.log                                             2024-04-27 01:55  899K  
[TXT] NONE.queue-add-2.wvr.yml.log                                                2024-04-27 01:29  948K  
[TXT] NONE.queue-add-3-nl.wvr.yml.log                                             2024-04-27 01:56  318K  
[TXT] NONE.queue-add-3.wvr.yml.log                                                2024-04-27 01:23  589K  
[TXT] NONE.ring-nondet.wvr.yml.log                                                2024-04-27 01:40  579K  
[TXT] NONE.ring.wvr.yml.log                                                       2024-04-27 01:27  126K  
[TXT] NONE.security.wvr.yml.log                                                   2024-04-27 00:47   71K  
[TXT] NONE.semi1.wvr.yml.log                                                      2024-04-27 01:47   37K  
[TXT] NONE.send-receive-alt.wvr.yml.log                                           2024-04-27 01:25  177K  
[TXT] NONE.send-receive.wvr.yml.log                                               2024-04-27 01:30  218K  
[TXT] NONE.simpl-str-subst.wvr.yml.log                                            2024-04-27 00:58   37K  
[TXT] NONE.simpl-str-symm.wvr.yml.log                                             2024-04-27 00:58   37K  
[TXT] NONE.simpl-str-trans.wvr.yml.log                                            2024-04-27 00:58   37K  
[TXT] NONE.simple-array-sum.wvr.yml.log                                           2024-04-27 01:22  161K  
[TXT] NONE.simple-equiv.wvr.yml.log                                               2024-04-27 01:01   37K  
[TXT] NONE.simple-queue.wvr.yml.log                                               2024-04-27 01:21  145K  
[TXT] NONE.sorted.wvr.yml.log                                                     2024-04-27 01:54  190K  
[TXT] NONE.spaghetti.wvr.yml.log                                                  2024-04-27 00:47   42K  
[TXT] NONE.sre-subst.wvr.yml.log                                                  2024-04-27 00:58   37K  
[TXT] NONE.sre-symm.wvr.yml.log                                                   2024-04-27 00:58   37K  
[TXT] NONE.sre-trans.wvr.yml.log                                                  2024-04-27 00:58   37K  
[TXT] NONE.sum-array-hom.wvr.yml.log                                              2024-04-27 01:51  356K  
[TXT] NONE.sum-array.wvr.yml.log                                                  2024-04-27 01:52  369K  
[TXT] NONE.sum-fun-alt.wvr.yml.log                                                2024-04-27 01:51  369K  
[TXT] NONE.sum-fun.wvr.yml.log                                                    2024-04-27 01:53  356K  
[TXT] NONE.threaded-sum-2.wvr.yml.log                                             2024-04-27 01:28  123K  
[TXT] NONE.threaded-sum-3.wvr.yml.log                                             2024-04-27 01:36  234K  
[TXT] NONE.three-array-max.wvr.yml.log                                            2024-04-27 01:25   75K  
[TXT] NONE.three-array-min.wvr.yml.log                                            2024-04-27 01:37   90K  
[TXT] NONE.three-array-sum-alt.wvr.yml.log                                        2024-04-27 01:28  120K  
[TXT] NONE.three-array-sum.wvr.yml.log                                            2024-04-27 01:25  165K  
[TXT] NONE.ticket-2.wvr.yml.log                                                   2024-04-27 01:01   45K  
[TXT] NONE.ticket-3.wvr.yml.log                                                   2024-04-27 01:01   78K  
[TXT] NONE.ticket-4.wvr.yml.log                                                   2024-04-27 01:01  174K  
[TXT] NONE.ticket-5.wvr.yml.log                                                   2024-04-27 01:02  337K  
[TXT] NONE.ticket-6.wvr.yml.log                                                   2024-04-27 01:07  593K  
[TXT] NONE.ticket-7.wvr.yml.log                                                   2024-04-27 01:11  123K  
[TXT] NONE.ticket-8.wvr.yml.log                                                   2024-04-27 01:01   24K  
[TXT] NONE.time-subst.wvr.yml.log                                                 2024-04-27 00:58   37K  
[TXT] NONE.time-symm.wvr.yml.log                                                  2024-04-27 00:58   37K  
[TXT] NONE.time-trans.wvr.yml.log                                                 2024-04-27 00:58   37K  
[TXT] NONE.two-queue.wvr.yml.log                                                  2024-04-27 01:25   87K  
[TXT] NONE.unroll-2.wvr.yml.log                                                   2024-04-27 01:01  251K  
[TXT] NONE.unroll-3.wvr.yml.log                                                   2024-04-27 01:01  176K  
[TXT] NONE.unroll-4.wvr.yml.log                                                   2024-04-27 01:01  178K  
[TXT] NONE.unroll-5.wvr.yml.log                                                   2024-04-27 01:01  137K  
[TXT] NONE.unroll-cond-2.wvr.yml.log                                              2024-04-27 00:58  231K  
[TXT] NONE.unroll-cond-3.wvr.yml.log                                              2024-04-27 00:59  187K  
[TXT] NONE.unroll-cond-4.wvr.yml.log                                              2024-04-27 01:00  156K  
[TXT] NONE.unroll-cond-5.wvr.yml.log                                              2024-04-27 01:01   43K  
[TXT] NONE.vector-add.wvr.yml.log                                                 2024-04-27 01:53   90K  
[TXT] NONE.word-subst.wvr.yml.log                                                 2024-04-27 00:59  212K  
[TXT] NONE.word-symm.wvr.yml.log                                                  2024-04-27 00:59  120K  
[TXT] NONE.word-trans.wvr.yml.log                                                 2024-04-27 00:59  265K