Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r387-oct2-167903711800424.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is ShieldPPPs-PT-005A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r387-oct2-167903711800424
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 572K
-rw-r--r-- 1 mcc users 7.4K Feb 26 01:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 26 01:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 26 01:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 26 01:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:58 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:58 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:58 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:58 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 01:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 147K Feb 26 01:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 01:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 102K Feb 26 01:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:58 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:58 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 44K Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679064008142

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ShieldPPPs-PT-005A
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPs (PT), instance 005A
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 158 places, 133 transitions, 506 arcs.
AT ITER 0 NEW BEST:: SOT 13659 SOS 9698 HAS SOPS 9698 HAS SOUS 7660 HAS SOUPS 7660 WITH SCORE 7669.698
AT ITER 10 NEW BEST:: SOT 13659 SOS 9686 HAS SOPS 9686 HAS SOUS 7635 HAS SOUPS 7635 WITH SCORE 7644.686
AT ITER 11 NEW BEST:: SOT 13625 SOS 9661 HAS SOPS 9661 HAS SOUS 7610 HAS SOUPS 7610 WITH SCORE 7619.661
AT ITER 14 NEW BEST:: SOT 13625 SOS 9660 HAS SOPS 9660 HAS SOUS 7609 HAS SOUPS 7609 WITH SCORE 7618.66
AT ITER 21 NEW BEST:: SOT 13575 SOS 9448 HAS SOPS 9448 HAS SOUS 7570 HAS SOUPS 7570 WITH SCORE 7579.448
AT ITER 34 NEW BEST:: SOT 13549 SOS 9428 HAS SOPS 9428 HAS SOUS 7550 HAS SOUPS 7550 WITH SCORE 7559.428
AT ITER 35 NEW BEST:: SOT 13527 SOS 9406 HAS SOPS 9406 HAS SOUS 7528 HAS SOUPS 7528 WITH SCORE 7537.406
AT ITER 46 NEW BEST:: SOT 13496 SOS 9379 HAS SOPS 9379 HAS SOUS 7501 HAS SOUPS 7501 WITH SCORE 7510.379
AT ITER 47 NEW BEST:: SOT 13472 SOS 9349 HAS SOPS 9349 HAS SOUS 7471 HAS SOUPS 7471 WITH SCORE 7480.349
AT ITER 50 NEW BEST:: SOT 13446 SOS 9310 HAS SOPS 9310 HAS SOUS 7432 HAS SOUPS 7432 WITH SCORE 7441.31
AT ITER 51 NEW BEST:: SOT 13435 SOS 9299 HAS SOPS 9299 HAS SOUS 7421 HAS SOUPS 7421 WITH SCORE 7430.299
AT ITER 53 NEW BEST:: SOT 13437 SOS 9304 HAS SOPS 9304 HAS SOUS 7417 HAS SOUPS 7417 WITH SCORE 7426.304
AT ITER 54 NEW BEST:: SOT 13417 SOS 9265 HAS SOPS 9265 HAS SOUS 7378 HAS SOUPS 7378 WITH SCORE 7387.265
AT ITER 55 NEW BEST:: SOT 13418 SOS 9198 HAS SOPS 9198 HAS SOUS 7378 HAS SOUPS 7378 WITH SCORE 7387.198
AT ITER 58 NEW BEST:: SOT 13393 SOS 9140 HAS SOPS 9140 HAS SOUS 7215 HAS SOUPS 7215 WITH SCORE 7224.14
AT ITER 59 NEW BEST:: SOT 13404 SOS 9104 HAS SOPS 9104 HAS SOUS 7191 HAS SOUPS 7191 WITH SCORE 7200.104
AT ITER 60 NEW BEST:: SOT 13415 SOS 9106 HAS SOPS 9106 HAS SOUS 7180 HAS SOUPS 7180 WITH SCORE 7189.106
AT ITER 64 NEW BEST:: SOT 13409 SOS 9100 HAS SOPS 9100 HAS SOUS 7174 HAS SOUPS 7174 WITH SCORE 7183.1
AT ITER 65 NEW BEST:: SOT 13409 SOS 9099 HAS SOPS 9099 HAS SOUS 7173 HAS SOUPS 7173 WITH SCORE 7182.099
AT ITER 72 NEW BEST:: SOT 13354 SOS 8824 HAS SOPS 8824 HAS SOUS 7172 HAS SOUPS 7172 WITH SCORE 7180.824
AT ITER 89 NEW BEST:: SOT 13321 SOS 8791 HAS SOPS 8791 HAS SOUS 7139 HAS SOUPS 7139 WITH SCORE 7147.791
AT ITER 91 NEW BEST:: SOT 13310 SOS 8852 HAS SOPS 8852 HAS SOUS 7072 HAS SOUPS 7072 WITH SCORE 7080.852
AT ITER 94 NEW BEST:: SOT 13284 SOS 8826 HAS SOPS 8826 HAS SOUS 7046 HAS SOUPS 7046 WITH SCORE 7054.826
AT ITER 97 NEW BEST:: SOT 13264 SOS 8802 HAS SOPS 8802 HAS SOUS 7021 HAS SOUPS 7021 WITH SCORE 7029.802
AT ITER 100 NEW BEST:: SOT 13238 SOS 8774 HAS SOPS 8774 HAS SOUS 6993 HAS SOUPS 6993 WITH SCORE 7001.774
AT ITER 101 NEW BEST:: SOT 13219 SOS 8755 HAS SOPS 8755 HAS SOUS 6974 HAS SOUPS 6974 WITH SCORE 6982.755
AT ITER 107 NEW BEST:: SOT 13229 SOS 8722 HAS SOPS 8722 HAS SOUS 6941 HAS SOUPS 6941 WITH SCORE 6949.722
AT ITER 108 NEW BEST:: SOT 13232 SOS 8712 HAS SOPS 8712 HAS SOUS 6924 HAS SOUPS 6924 WITH SCORE 6932.712
AT ITER 120 NEW BEST:: SOT 13231 SOS 8711 HAS SOPS 8711 HAS SOUS 6923 HAS SOUPS 6923 WITH SCORE 6931.711
AT ITER 136 NEW BEST:: SOT 13252 SOS 8698 HAS SOPS 8698 HAS SOUS 6920 HAS SOUPS 6920 WITH SCORE 6928.698
AT ITER 139 NEW BEST:: SOT 13224 SOS 8685 HAS SOPS 8685 HAS SOUS 6907 HAS SOUPS 6907 WITH SCORE 6915.685
AT ITER 141 NEW BEST:: SOT 13226 SOS 8684 HAS SOPS 8684 HAS SOUS 6900 HAS SOUPS 6900 WITH SCORE 6908.684
AT ITER 149 NEW BEST:: SOT 13172 SOS 8630 HAS SOPS 8630 HAS SOUS 6846 HAS SOUPS 6846 WITH SCORE 6854.63
AT ITER 153 NEW BEST:: SOT 13206 SOS 8537 HAS SOPS 8537 HAS SOUS 6840 HAS SOUPS 6840 WITH SCORE 6848.537
AT ITER 158 NEW BEST:: SOT 13201 SOS 8489 HAS SOPS 8489 HAS SOUS 6791 HAS SOUPS 6791 WITH SCORE 6799.489
AT ITER 165 NEW BEST:: SOT 13158 SOS 8446 HAS SOPS 8446 HAS SOUS 6748 HAS SOUPS 6748 WITH SCORE 6756.446
AT ITER 170 NEW BEST:: SOT 13130 SOS 8418 HAS SOPS 8418 HAS SOUS 6720 HAS SOUPS 6720 WITH SCORE 6728.418
AT ITER 171 NEW BEST:: SOT 13131 SOS 8419 HAS SOPS 8419 HAS SOUS 6716 HAS SOUPS 6716 WITH SCORE 6724.419
AT ITER 180 NEW BEST:: SOT 13084 SOS 8369 HAS SOPS 8369 HAS SOUS 6666 HAS SOUPS 6666 WITH SCORE 6674.369
AT ITER 183 NEW BEST:: SOT 13055 SOS 8344 HAS SOPS 8344 HAS SOUS 6623 HAS SOUPS 6623 WITH SCORE 6631.344
AT ITER 185 NEW BEST:: SOT 13057 SOS 8333 HAS SOPS 8333 HAS SOUS 6586 HAS SOUPS 6586 WITH SCORE 6594.333
AT ITER 188 NEW BEST:: SOT 13056 SOS 8332 HAS SOPS 8332 HAS SOUS 6585 HAS SOUPS 6585 WITH SCORE 6593.332
AT ITER 194 NEW BEST:: SOT 13053 SOS 8329 HAS SOPS 8329 HAS SOUS 6582 HAS SOUPS 6582 WITH SCORE 6590.329
AT ITER 199 NEW BEST:: SOT 13040 SOS 8315 HAS SOPS 8315 HAS SOUS 6567 HAS SOUPS 6567 WITH SCORE 6575.315
AT ITER 200 NEW BEST:: SOT 13040 SOS 8312 HAS SOPS 8312 HAS SOUS 6564 HAS SOUPS 6564 WITH SCORE 6572.312
AT ITER 209 NEW BEST:: SOT 13068 SOS 8131 HAS SOPS 8131 HAS SOUS 6466 HAS SOUPS 6466 WITH SCORE 6474.131
AT ITER 210 NEW BEST:: SOT 13041 SOS 8104 HAS SOPS 8104 HAS SOUS 6439 HAS SOUPS 6439 WITH SCORE 6447.104
AT ITER 214 NEW BEST:: SOT 13029 SOS 8092 HAS SOPS 8092 HAS SOUS 6433 HAS SOUPS 6433 WITH SCORE 6441.092
AT ITER 217 NEW BEST:: SOT 13017 SOS 8077 HAS SOPS 8077 HAS SOUS 6417 HAS SOUPS 6417 WITH SCORE 6425.077
AT ITER 230 NEW BEST:: SOT 13014 SOS 8052 HAS SOPS 8052 HAS SOUS 6397 HAS SOUPS 6397 WITH SCORE 6405.052
AT ITER 232 NEW BEST:: SOT 12927 SOS 7883 HAS SOPS 7883 HAS SOUS 6280 HAS SOUPS 6280 WITH SCORE 6287.883
AT ITER 234 NEW BEST:: SOT 12897 SOS 7772 HAS SOPS 7772 HAS SOUS 6168 HAS SOUPS 6168 WITH SCORE 6175.772
AT ITER 252 NEW BEST:: SOT 12896 SOS 7748 HAS SOPS 7748 HAS SOUS 6144 HAS SOUPS 6144 WITH SCORE 6151.748
AT ITER 276 NEW BEST:: SOT 12880 SOS 7732 HAS SOPS 7732 HAS SOUS 6128 HAS SOUPS 6128 WITH SCORE 6135.732
AT ITER 279 NEW BEST:: SOT 12871 SOS 7722 HAS SOPS 7722 HAS SOUS 6118 HAS SOUPS 6118 WITH SCORE 6125.722
AT ITER 291 NEW BEST:: SOT 12860 SOS 7697 HAS SOPS 7697 HAS SOUS 6093 HAS SOUPS 6093 WITH SCORE 6100.697
AT ITER 292 NEW BEST:: SOT 12836 SOS 7689 HAS SOPS 7689 HAS SOUS 6085 HAS SOUPS 6085 WITH SCORE 6092.689
AT ITER 295 NEW BEST:: SOT 12816 SOS 7669 HAS SOPS 7669 HAS SOUS 6065 HAS SOUPS 6065 WITH SCORE 6072.669
AT ITER 296 NEW BEST:: SOT 12813 SOS 7660 HAS SOPS 7660 HAS SOUS 6052 HAS SOUPS 6052 WITH SCORE 6059.66
AT ITER 316 NEW BEST:: SOT 12823 SOS 7666 HAS SOPS 7666 HAS SOUS 6050 HAS SOUPS 6050 WITH SCORE 6057.666
AT ITER 331 NEW BEST:: SOT 12793 SOS 7636 HAS SOPS 7636 HAS SOUS 6020 HAS SOUPS 6020 WITH SCORE 6027.636
AT ITER 333 NEW BEST:: SOT 12770 SOS 7606 HAS SOPS 7606 HAS SOUS 5960 HAS SOUPS 5960 WITH SCORE 5967.606
AT ITER 339 NEW BEST:: SOT 12790 SOS 7602 HAS SOPS 7602 HAS SOUS 5918 HAS SOUPS 5918 WITH SCORE 5925.602
AT ITER 340 NEW BEST:: SOT 12764 SOS 7558 HAS SOPS 7558 HAS SOUS 5869 HAS SOUPS 5869 WITH SCORE 5876.558
AT ITER 348 NEW BEST:: SOT 12764 SOS 7544 HAS SOPS 7544 HAS SOUS 5869 HAS SOUPS 5869 WITH SCORE 5876.544
AT ITER 351 NEW BEST:: SOT 12757 SOS 7506 HAS SOPS 7506 HAS SOUS 5787 HAS SOUPS 5787 WITH SCORE 5794.506
AT ITER 360 NEW BEST:: SOT 12757 SOS 7498 HAS SOPS 7498 HAS SOUS 5787 HAS SOUPS 5787 WITH SCORE 5794.498
AT ITER 372 NEW BEST:: SOT 12735 SOS 7487 HAS SOPS 7487 HAS SOUS 5768 HAS SOUPS 5768 WITH SCORE 5775.487
AT ITER 390 NEW BEST:: SOT 12743 SOS 7473 HAS SOPS 7473 HAS SOUS 5732 HAS SOUPS 5732 WITH SCORE 5739.473
AT ITER 399 NEW BEST:: SOT 12719 SOS 7460 HAS SOPS 7460 HAS SOUS 5732 HAS SOUPS 5732 WITH SCORE 5739.46
AT ITER 409 NEW BEST:: SOT 12686 SOS 7427 HAS SOPS 7427 HAS SOUS 5657 HAS SOUPS 5657 WITH SCORE 5664.427
AT ITER 416 NEW BEST:: SOT 12686 SOS 7403 HAS SOPS 7403 HAS SOUS 5651 HAS SOUPS 5651 WITH SCORE 5658.403
AT ITER 417 NEW BEST:: SOT 12686 SOS 7357 HAS SOPS 7357 HAS SOUS 5646 HAS SOUPS 5646 WITH SCORE 5653.357
AT ITER 422 NEW BEST:: SOT 12674 SOS 7345 HAS SOPS 7345 HAS SOUS 5634 HAS SOUPS 5634 WITH SCORE 5641.345
AT ITER 434 NEW BEST:: SOT 12621 SOS 7076 HAS SOPS 7076 HAS SOUS 5500 HAS SOUPS 5500 WITH SCORE 5507.076
AT ITER 435 NEW BEST:: SOT 12634 SOS 7068 HAS SOPS 7068 HAS SOUS 5480 HAS SOUPS 5480 WITH SCORE 5487.068
AT ITER 436 NEW BEST:: SOT 12644 SOS 7066 HAS SOPS 7066 HAS SOUS 5464 HAS SOUPS 5464 WITH SCORE 5471.066
AT ITER 449 NEW BEST:: SOT 12672 SOS 7122 HAS SOPS 7122 HAS SOUS 5439 HAS SOUPS 5439 WITH SCORE 5446.122
AT ITER 452 NEW BEST:: SOT 12649 SOS 7099 HAS SOPS 7099 HAS SOUS 5416 HAS SOUPS 5416 WITH SCORE 5423.099
AT ITER 464 NEW BEST:: SOT 12660 SOS 7085 HAS SOPS 7085 HAS SOUS 5405 HAS SOUPS 5405 WITH SCORE 5412.085
AT ITER 471 NEW BEST:: SOT 12651 SOS 7084 HAS SOPS 7084 HAS SOUS 5404 HAS SOUPS 5404 WITH SCORE 5411.084
AT ITER 482 NEW BEST:: SOT 12650 SOS 7077 HAS SOPS 7077 HAS SOUS 5397 HAS SOUPS 5397 WITH SCORE 5404.077
AT ITER 505 NEW BEST:: SOT 12646 SOS 7070 HAS SOPS 7070 HAS SOUS 5394 HAS SOUPS 5394 WITH SCORE 5401.07
AT ITER 514 NEW BEST:: SOT 12613 SOS 7023 HAS SOPS 7023 HAS SOUS 5358 HAS SOUPS 5358 WITH SCORE 5365.023
AT ITER 520 NEW BEST:: SOT 12613 SOS 7018 HAS SOPS 7018 HAS SOUS 5353 HAS SOUPS 5353 WITH SCORE 5360.018
AT ITER 531 NEW BEST:: SOT 12591 SOS 6996 HAS SOPS 6996 HAS SOUS 5331 HAS SOUPS 5331 WITH SCORE 5337.996
AT ITER 549 NEW BEST:: SOT 12591 SOS 6964 HAS SOPS 6964 HAS SOUS 5325 HAS SOUPS 5325 WITH SCORE 5331.964
AT ITER 551 NEW BEST:: SOT 12577 SOS 6942 HAS SOPS 6942 HAS SOUS 5303 HAS SOUPS 5303 WITH SCORE 5309.942
AT ITER 555 NEW BEST:: SOT 12576 SOS 6941 HAS SOPS 6941 HAS SOUS 5302 HAS SOUPS 5302 WITH SCORE 5308.941
AT ITER 557 NEW BEST:: SOT 12576 SOS 6879 HAS SOPS 6879 HAS SOUS 5290 HAS SOUPS 5290 WITH SCORE 5296.879
AT ITER 559 NEW BEST:: SOT 12568 SOS 6871 HAS SOPS 6871 HAS SOUS 5282 HAS SOUPS 5282 WITH SCORE 5288.871
AT ITER 570 NEW BEST:: SOT 12586 SOS 6802 HAS SOPS 6802 HAS SOUS 5246 HAS SOUPS 5246 WITH SCORE 5252.802
AT ITER 581 NEW BEST:: SOT 12584 SOS 6800 HAS SOPS 6800 HAS SOUS 5244 HAS SOUPS 5244 WITH SCORE 5250.8
AT ITER 582 NEW BEST:: SOT 12575 SOS 6755 HAS SOPS 6755 HAS SOUS 5243 HAS SOUPS 5243 WITH SCORE 5249.755
AT ITER 589 NEW BEST:: SOT 12573 SOS 6753 HAS SOPS 6753 HAS SOUS 5241 HAS SOUPS 5241 WITH SCORE 5247.753
AT ITER 590 NEW BEST:: SOT 12569 SOS 6747 HAS SOPS 6747 HAS SOUS 5235 HAS SOUPS 5235 WITH SCORE 5241.747
AT ITER 605 NEW BEST:: SOT 12568 SOS 6745 HAS SOPS 6745 HAS SOUS 5233 HAS SOUPS 5233 WITH SCORE 5239.745
AT ITER 611 NEW BEST:: SOT 12568 SOS 6605 HAS SOPS 6605 HAS SOUS 5206 HAS SOUPS 5206 WITH SCORE 5212.605
AT ITER 639 NEW BEST:: SOT 12582 SOS 6587 HAS SOPS 6587 HAS SOUS 5196 HAS SOUPS 5196 WITH SCORE 5202.587
AT ITER 641 NEW BEST:: SOT 12525 SOS 6537 HAS SOPS 6537 HAS SOUS 5163 HAS SOUPS 5163 WITH SCORE 5169.537
AT ITER 644 NEW BEST:: SOT 12500 SOS 6471 HAS SOPS 6471 HAS SOUS 5080 HAS SOUPS 5080 WITH SCORE 5086.471
AT ITER 655 NEW BEST:: SOT 12500 SOS 6464 HAS SOPS 6464 HAS SOUS 5073 HAS SOUPS 5073 WITH SCORE 5079.464
AT ITER 692 NEW BEST:: SOT 12500 SOS 6466 HAS SOPS 6466 HAS SOUS 5062 HAS SOUPS 5062 WITH SCORE 5068.466
AT ITER 697 NEW BEST:: SOT 12472 SOS 6306 HAS SOPS 6306 HAS SOUS 4997 HAS SOUPS 4997 WITH SCORE 5003.306
AT ITER 698 NEW BEST:: SOT 12450 SOS 6284 HAS SOPS 6284 HAS SOUS 4975 HAS SOUPS 4975 WITH SCORE 4981.284
AT ITER 713 NEW BEST:: SOT 12339 SOS 5806 HAS SOPS 5806 HAS SOUS 4750 HAS SOUPS 4750 WITH SCORE 4755.806
AT ITER 714 NEW BEST:: SOT 12306 SOS 5710 HAS SOPS 5710 HAS SOUS 4654 HAS SOUPS 4654 WITH SCORE 4659.71
AT ITER 720 NEW BEST:: SOT 12296 SOS 5688 HAS SOPS 5688 HAS SOUS 4626 HAS SOUPS 4626 WITH SCORE 4631.688
AT ITER 733 NEW BEST:: SOT 12286 SOS 5680 HAS SOPS 5680 HAS SOUS 4618 HAS SOUPS 4618 WITH SCORE 4623.68
AT ITER 735 NEW BEST:: SOT 12290 SOS 5684 HAS SOPS 5684 HAS SOUS 4616 HAS SOUPS 4616 WITH SCORE 4621.684
AT ITER 743 NEW BEST:: SOT 12282 SOS 5670 HAS SOPS 5670 HAS SOUS 4599 HAS SOUPS 4599 WITH SCORE 4604.67
AT ITER 753 NEW BEST:: SOT 12272 SOS 5662 HAS SOPS 5662 HAS SOUS 4591 HAS SOUPS 4591 WITH SCORE 4596.662
AT ITER 761 NEW BEST:: SOT 12269 SOS 5659 HAS SOPS 5659 HAS SOUS 4588 HAS SOUPS 4588 WITH SCORE 4593.659
AT ITER 772 NEW BEST:: SOT 12268 SOS 5656 HAS SOPS 5656 HAS SOUS 4586 HAS SOUPS 4586 WITH SCORE 4591.656
AT ITER 786 NEW BEST:: SOT 12260 SOS 5657 HAS SOPS 5657 HAS SOUS 4580 HAS SOUPS 4580 WITH SCORE 4585.657
AT ITER 797 NEW BEST:: SOT 12258 SOS 5653 HAS SOPS 5653 HAS SOUS 4576 HAS SOUPS 4576 WITH SCORE 4581.653
AT ITER 813 NEW BEST:: SOT 12250 SOS 5653 HAS SOPS 5653 HAS SOUS 4574 HAS SOUPS 4574 WITH SCORE 4579.653
AT ITER 828 NEW BEST:: SOT 12241 SOS 5646 HAS SOPS 5646 HAS SOUS 4566 HAS SOUPS 4566 WITH SCORE 4571.646
AT ITER 839 NEW BEST:: SOT 12233 SOS 5645 HAS SOPS 5645 HAS SOUS 4564 HAS SOUPS 4564 WITH SCORE 4569.645
AT ITER 860 NEW BEST:: SOT 12309 SOS 5609 HAS SOPS 5609 HAS SOUS 4559 HAS SOUPS 4559 WITH SCORE 4564.609
AT ITER 884 NEW BEST:: SOT 12286 SOS 5586 HAS SOPS 5586 HAS SOUS 4536 HAS SOUPS 4536 WITH SCORE 4541.586
AT ITER 889 NEW BEST:: SOT 12283 SOS 5581 HAS SOPS 5581 HAS SOUS 4531 HAS SOUPS 4531 WITH SCORE 4536.581
AT ITER 895 NEW BEST:: SOT 12280 SOS 5578 HAS SOPS 5578 HAS SOUS 4528 HAS SOUPS 4528 WITH SCORE 4533.578
AT ITER 924 NEW BEST:: SOT 12282 SOS 5565 HAS SOPS 5565 HAS SOUS 4515 HAS SOUPS 4515 WITH SCORE 4520.565
AT ITER 930 NEW BEST:: SOT 12286 SOS 5569 HAS SOPS 5569 HAS SOUS 4506 HAS SOUPS 4506 WITH SCORE 4511.569
AT ITER 949 NEW BEST:: SOT 12285 SOS 5568 HAS SOPS 5568 HAS SOUS 4505 HAS SOUPS 4505 WITH SCORE 4510.568
AT ITER 955 NEW BEST:: SOT 12257 SOS 5534 HAS SOPS 5534 HAS SOUS 4471 HAS SOUPS 4471 WITH SCORE 4476.534
AT ITER 956 NEW BEST:: SOT 12248 SOS 5525 HAS SOPS 5525 HAS SOUS 4462 HAS SOUPS 4462 WITH SCORE 4467.525
AT ITER 969 NEW BEST:: SOT 12219 SOS 5440 HAS SOPS 5440 HAS SOUS 4369 HAS SOUPS 4369 WITH SCORE 4374.44
AT ITER 975 NEW BEST:: SOT 12208 SOS 5325 HAS SOPS 5325 HAS SOUS 4348 HAS SOUPS 4348 WITH SCORE 4353.325
AT ITER 983 NEW BEST:: SOT 12203 SOS 5280 HAS SOPS 5280 HAS SOUS 4337 HAS SOUPS 4337 WITH SCORE 4342.28
AT ITER 994 NEW BEST:: SOT 12199 SOS 5276 HAS SOPS 5276 HAS SOUS 4333 HAS SOUPS 4333 WITH SCORE 4338.276
AT ITER 1007 NEW BEST:: SOT 12198 SOS 5274 HAS SOPS 5274 HAS SOUS 4331 HAS SOUPS 4331 WITH SCORE 4336.274
AT ITER 1019 NEW BEST:: SOT 12202 SOS 5278 HAS SOPS 5278 HAS SOUS 4329 HAS SOUPS 4329 WITH SCORE 4334.278
AT ITER 1024 NEW BEST:: SOT 12192 SOS 5265 HAS SOPS 5265 HAS SOUS 4316 HAS SOUPS 4316 WITH SCORE 4321.265
AT ITER 1026 NEW BEST:: SOT 12185 SOS 5276 HAS SOPS 5276 HAS SOUS 4311 HAS SOUPS 4311 WITH SCORE 4316.276
AT ITER 1031 NEW BEST:: SOT 12169 SOS 5257 HAS SOPS 5257 HAS SOUS 4292 HAS SOUPS 4292 WITH SCORE 4297.257
AT ITER 1042 NEW BEST:: SOT 12154 SOS 5212 HAS SOPS 5212 HAS SOUS 4286 HAS SOUPS 4286 WITH SCORE 4291.212
AT ITER 1043 NEW BEST:: SOT 12111 SOS 5179 HAS SOPS 5179 HAS SOUS 4249 HAS SOUPS 4249 WITH SCORE 4254.179
AT ITER 1050 NEW BEST:: SOT 12097 SOS 5082 HAS SOPS 5082 HAS SOUS 4205 HAS SOUPS 4205 WITH SCORE 4210.082
AT ITER 1055 NEW BEST:: SOT 12103 SOS 5072 HAS SOPS 5072 HAS SOUS 4195 HAS SOUPS 4195 WITH SCORE 4200.072
AT ITER 1057 NEW BEST:: SOT 12103 SOS 5103 HAS SOPS 5103 HAS SOUS 4187 HAS SOUPS 4187 WITH SCORE 4192.103
AT ITER 1074 NEW BEST:: SOT 12103 SOS 5116 HAS SOPS 5116 HAS SOUS 4170 HAS SOUPS 4170 WITH SCORE 4175.116
AT ITER 1077 NEW BEST:: SOT 12099 SOS 5100 HAS SOPS 5100 HAS SOUS 4158 HAS SOUPS 4158 WITH SCORE 4163.1
AT ITER 1092 NEW BEST:: SOT 12085 SOS 5072 HAS SOPS 5072 HAS SOUS 4126 HAS SOUPS 4126 WITH SCORE 4131.072
AT ITER 1119 NEW BEST:: SOT 12083 SOS 5070 HAS SOPS 5070 HAS SOUS 4124 HAS SOUPS 4124 WITH SCORE 4129.07
AT ITER 1128 NEW BEST:: SOT 12079 SOS 5063 HAS SOPS 5063 HAS SOUS 4119 HAS SOUPS 4119 WITH SCORE 4124.063
AT ITER 1135 NEW BEST:: SOT 12079 SOS 5063 HAS SOPS 5063 HAS SOUS 4118 HAS SOUPS 4118 WITH SCORE 4123.063
AT ITER 1164 NEW BEST:: SOT 12049 SOS 5032 HAS SOPS 5032 HAS SOUS 4087 HAS SOUPS 4087 WITH SCORE 4092.032
AT ITER 1177 NEW BEST:: SOT 12040 SOS 5029 HAS SOPS 5029 HAS SOUS 4084 HAS SOUPS 4084 WITH SCORE 4089.029
AT ITER 1189 NEW BEST:: SOT 12040 SOS 5033 HAS SOPS 5033 HAS SOUS 4076 HAS SOUPS 4076 WITH SCORE 4081.033
AT ITER 1195 NEW BEST:: SOT 12030 SOS 5013 HAS SOPS 5013 HAS SOUS 4059 HAS SOUPS 4059 WITH SCORE 4064.013
AT ITER 1205 NEW BEST:: SOT 12030 SOS 4993 HAS SOPS 4993 HAS SOUS 4059 HAS SOUPS 4059 WITH SCORE 4063.993
AT ITER 1216 NEW BEST:: SOT 12027 SOS 4987 HAS SOPS 4987 HAS SOUS 4053 HAS SOUPS 4053 WITH SCORE 4057.987
AT ITER 1230 NEW BEST:: SOT 12013 SOS 4954 HAS SOPS 4954 HAS SOUS 4033 HAS SOUPS 4033 WITH SCORE 4037.954
AT ITER 1239 NEW BEST:: SOT 12007 SOS 4925 HAS SOPS 4925 HAS SOUS 4022 HAS SOUPS 4022 WITH SCORE 4026.925
AT ITER 1245 NEW BEST:: SOT 11991 SOS 4893 HAS SOPS 4893 HAS SOUS 4006 HAS SOUPS 4006 WITH SCORE 4010.893
AT ITER 1266 NEW BEST:: SOT 11992 SOS 4894 HAS SOPS 4894 HAS SOUS 4002 HAS SOUPS 4002 WITH SCORE 4006.894
AT ITER 1283 NEW BEST:: SOT 12003 SOS 4889 HAS SOPS 4889 HAS SOUS 3997 HAS SOUPS 3997 WITH SCORE 4001.889
AT ITER 1284 NEW BEST:: SOT 12000 SOS 4850 HAS SOPS 4850 HAS SOUS 3986 HAS SOUPS 3986 WITH SCORE 3990.85
AT ITER 1293 NEW BEST:: SOT 11998 SOS 4846 HAS SOPS 4846 HAS SOUS 3983 HAS SOUPS 3983 WITH SCORE 3987.846
AT ITER 1311 NEW BEST:: SOT 11997 SOS 4769 HAS SOPS 4769 HAS SOUS 3954 HAS SOUPS 3954 WITH SCORE 3958.769
AT ITER 1317 NEW BEST:: SOT 11995 SOS 4759 HAS SOPS 4759 HAS SOUS 3944 HAS SOUPS 3944 WITH SCORE 3948.759
AT ITER 1319 NEW BEST:: SOT 12016 SOS 4766 HAS SOPS 4766 HAS SOUS 3937 HAS SOUPS 3937 WITH SCORE 3941.766
AT ITER 1325 NEW BEST:: SOT 12016 SOS 4766 HAS SOPS 4766 HAS SOUS 3927 HAS SOUPS 3927 WITH SCORE 3931.766
AT ITER 1333 NEW BEST:: SOT 12016 SOS 4736 HAS SOPS 4736 HAS SOUS 3927 HAS SOUPS 3927 WITH SCORE 3931.736
AT ITER 1368 NEW BEST:: SOT 12014 SOS 4734 HAS SOPS 4734 HAS SOUS 3925 HAS SOUPS 3925 WITH SCORE 3929.734
AT ITER 1371 NEW BEST:: SOT 12009 SOS 4729 HAS SOPS 4729 HAS SOUS 3920 HAS SOUPS 3920 WITH SCORE 3924.729
AT ITER 1381 NEW BEST:: SOT 12005 SOS 4718 HAS SOPS 4718 HAS SOUS 3906 HAS SOUPS 3906 WITH SCORE 3910.718
AT ITER 1385 NEW BEST:: SOT 12011 SOS 4730 HAS SOPS 4730 HAS SOUS 3903 HAS SOUPS 3903 WITH SCORE 3907.73
AT ITER 1387 NEW BEST:: SOT 11996 SOS 4706 HAS SOPS 4706 HAS SOUS 3879 HAS SOUPS 3879 WITH SCORE 3883.706
AT ITER 1391 NEW BEST:: SOT 11996 SOS 4702 HAS SOPS 4702 HAS SOUS 3875 HAS SOUPS 3875 WITH SCORE 3879.702
AT ITER 1420 NEW BEST:: SOT 11998 SOS 4696 HAS SOPS 4696 HAS SOUS 3872 HAS SOUPS 3872 WITH SCORE 3876.696
AT ITER 1424 NEW BEST:: SOT 11994 SOS 4683 HAS SOPS 4683 HAS SOUS 3851 HAS SOUPS 3851 WITH SCORE 3855.683
AT ITER 1444 NEW BEST:: SOT 11978 SOS 4654 HAS SOPS 4654 HAS SOUS 3848 HAS SOUPS 3848 WITH SCORE 3852.654
AT ITER 1450 NEW BEST:: SOT 11981 SOS 4648 HAS SOPS 4648 HAS SOUS 3847 HAS SOUPS 3847 WITH SCORE 3851.648
AT ITER 1461 NEW BEST:: SOT 11979 SOS 4641 HAS SOPS 4641 HAS SOUS 3843 HAS SOUPS 3843 WITH SCORE 3847.641
AT ITER 1463 NEW BEST:: SOT 11979 SOS 4624 HAS SOPS 4624 HAS SOUS 3826 HAS SOUPS 3826 WITH SCORE 3830.624
AT ITER 1480 NEW BEST:: SOT 11975 SOS 4616 HAS SOPS 4616 HAS SOUS 3821 HAS SOUPS 3821 WITH SCORE 3825.616
AT ITER 1481 NEW BEST:: SOT 11975 SOS 4603 HAS SOPS 4603 HAS SOUS 3802 HAS SOUPS 3802 WITH SCORE 3806.603
AT ITER 1484 NEW BEST:: SOT 11973 SOS 4601 HAS SOPS 4601 HAS SOUS 3800 HAS SOUPS 3800 WITH SCORE 3804.601
AT ITER 1542 NEW BEST:: SOT 11963 SOS 4581 HAS SOPS 4581 HAS SOUS 3780 HAS SOUPS 3780 WITH SCORE 3784.581
AT ITER 1553 NEW BEST:: SOT 11957 SOS 4572 HAS SOPS 4572 HAS SOUS 3771 HAS SOUPS 3771 WITH SCORE 3775.572
AT ITER 1585 NEW BEST:: SOT 11955 SOS 4543 HAS SOPS 4543 HAS SOUS 3770 HAS SOUPS 3770 WITH SCORE 3774.543
AT ITER 1594 NEW BEST:: SOT 11941 SOS 4533 HAS SOPS 4533 HAS SOUS 3760 HAS SOUPS 3760 WITH SCORE 3764.533
AT ITER 1607 NEW BEST:: SOT 11939 SOS 4531 HAS SOPS 4531 HAS SOUS 3758 HAS SOUPS 3758 WITH SCORE 3762.531
AT ITER 1677 NEW BEST:: SOT 11931 SOS 4517 HAS SOPS 4517 HAS SOUS 3732 HAS SOUPS 3732 WITH SCORE 3736.517
AT ITER 1683 NEW BEST:: SOT 11927 SOS 4449 HAS SOPS 4449 HAS SOUS 3688 HAS SOUPS 3688 WITH SCORE 3692.449
AT ITER 1695 NEW BEST:: SOT 11932 SOS 4433 HAS SOPS 4433 HAS SOUS 3675 HAS SOUPS 3675 WITH SCORE 3679.433
AT ITER 1704 NEW BEST:: SOT 11957 SOS 4458 HAS SOPS 4458 HAS SOUS 3669 HAS SOUPS 3669 WITH SCORE 3673.458
AT ITER 1731 NEW BEST:: SOT 11956 SOS 4457 HAS SOPS 4457 HAS SOUS 3668 HAS SOUPS 3668 WITH SCORE 3672.457
AT ITER 1753 NEW BEST:: SOT 11956 SOS 4453 HAS SOPS 4453 HAS SOUS 3664 HAS SOUPS 3664 WITH SCORE 3668.453
AT ITER 1756 NEW BEST:: SOT 11947 SOS 4439 HAS SOPS 4439 HAS SOUS 3650 HAS SOUPS 3650 WITH SCORE 3654.439
AT ITER 1777 NEW BEST:: SOT 11945 SOS 4437 HAS SOPS 4437 HAS SOUS 3648 HAS SOUPS 3648 WITH SCORE 3652.437
AT ITER 1795 NEW BEST:: SOT 11938 SOS 4434 HAS SOPS 4434 HAS SOUS 3645 HAS SOUPS 3645 WITH SCORE 3649.434
AT ITER 1801 NEW BEST:: SOT 11935 SOS 4430 HAS SOPS 4430 HAS SOUS 3640 HAS SOUPS 3640 WITH SCORE 3644.43
AT ITER 1821 NEW BEST:: SOT 11939 SOS 4426 HAS SOPS 4426 HAS SOUS 3636 HAS SOUPS 3636 WITH SCORE 3640.426
AT ITER 1827 NEW BEST:: SOT 11934 SOS 4421 HAS SOPS 4421 HAS SOUS 3631 HAS SOUPS 3631 WITH SCORE 3635.421
AT ITER 1829 NEW BEST:: SOT 11934 SOS 4408 HAS SOPS 4408 HAS SOUS 3631 HAS SOUPS 3631 WITH SCORE 3635.408
AT ITER 1837 NEW BEST:: SOT 11944 SOS 4416 HAS SOPS 4416 HAS SOUS 3630 HAS SOUPS 3630 WITH SCORE 3634.416
AT ITER 1844 NEW BEST:: SOT 11940 SOS 4411 HAS SOPS 4411 HAS SOUS 3625 HAS SOUPS 3625 WITH SCORE 3629.411
AT ITER 1849 NEW BEST:: SOT 11940 SOS 4405 HAS SOPS 4405 HAS SOUS 3621 HAS SOUPS 3621 WITH SCORE 3625.405
AT ITER 1856 NEW BEST:: SOT 11939 SOS 4398 HAS SOPS 4398 HAS SOUS 3611 HAS SOUPS 3611 WITH SCORE 3615.398
AT ITER 1862 NEW BEST:: SOT 11941 SOS 4393 HAS SOPS 4393 HAS SOUS 3589 HAS SOUPS 3589 WITH SCORE 3593.393
AT ITER 1900 NEW BEST:: SOT 11941 SOS 4378 HAS SOPS 4378 HAS SOUS 3583 HAS SOUPS 3583 WITH SCORE 3587.378
AT ITER 1945 NEW BEST:: SOT 11933 SOS 4370 HAS SOPS 4370 HAS SOUS 3575 HAS SOUPS 3575 WITH SCORE 3579.37
AT ITER 1967 NEW BEST:: SOT 11921 SOS 4366 HAS SOPS 4366 HAS SOUS 3571 HAS SOUPS 3571 WITH SCORE 3575.366
AT ITER 2045 NEW BEST:: SOT 11926 SOS 4361 HAS SOPS 4361 HAS SOUS 3571 HAS SOUPS 3571 WITH SCORE 3575.361
AT ITER 2083 NEW BEST:: SOT 11926 SOS 4361 HAS SOPS 4361 HAS SOUS 3570 HAS SOUPS 3570 WITH SCORE 3574.361
AT ITER 2115 NEW BEST:: SOT 11928 SOS 4366 HAS SOPS 4366 HAS SOUS 3566 HAS SOUPS 3566 WITH SCORE 3570.366
AT ITER 2119 NEW BEST:: SOT 11927 SOS 4365 HAS SOPS 4365 HAS SOUS 3564 HAS SOUPS 3564 WITH SCORE 3568.365
AT ITER 2123 NEW BEST:: SOT 11926 SOS 4364 HAS SOPS 4364 HAS SOUS 3563 HAS SOUPS 3563 WITH SCORE 3567.364
AT ITER 2166 NEW BEST:: SOT 11926 SOS 4363 HAS SOPS 4363 HAS SOUS 3563 HAS SOUPS 3563 WITH SCORE 3567.363
AT ITER 2169 NEW BEST:: SOT 11926 SOS 4342 HAS SOPS 4342 HAS SOUS 3546 HAS SOUPS 3546 WITH SCORE 3550.342
AT ITER 2180 NEW BEST:: SOT 11928 SOS 4337 HAS SOPS 4337 HAS SOUS 3541 HAS SOUPS 3541 WITH SCORE 3545.337
AT ITER 2220 NEW BEST:: SOT 11935 SOS 4312 HAS SOPS 4312 HAS SOUS 3533 HAS SOUPS 3533 WITH SCORE 3537.312
AT ITER 2221 NEW BEST:: SOT 11933 SOS 4310 HAS SOPS 4310 HAS SOUS 3531 HAS SOUPS 3531 WITH SCORE 3535.31
AT ITER 2250 NEW BEST:: SOT 11910 SOS 4283 HAS SOPS 4283 HAS SOUS 3518 HAS SOUPS 3518 WITH SCORE 3522.283
AT ITER 2274 NEW BEST:: SOT 11907 SOS 4265 HAS SOPS 4265 HAS SOUS 3509 HAS SOUPS 3509 WITH SCORE 3513.265
AT ITER 2294 NEW BEST:: SOT 11915 SOS 4239 HAS SOPS 4239 HAS SOUS 3496 HAS SOUPS 3496 WITH SCORE 3500.239
AT ITER 2309 NEW BEST:: SOT 11913 SOS 4237 HAS SOPS 4237 HAS SOUS 3494 HAS SOUPS 3494 WITH SCORE 3498.237
AT ITER 2352 NEW BEST:: SOT 11909 SOS 4233 HAS SOPS 4233 HAS SOUS 3490 HAS SOUPS 3490 WITH SCORE 3494.233
AT ITER 2370 NEW BEST:: SOT 11904 SOS 4223 HAS SOPS 4223 HAS SOUS 3490 HAS SOUPS 3490 WITH SCORE 3494.223
AT ITER 2427 NEW BEST:: SOT 11898 SOS 4216 HAS SOPS 4216 HAS SOUS 3479 HAS SOUPS 3479 WITH SCORE 3483.216
AT ITER 2430 NEW BEST:: SOT 11898 SOS 4218 HAS SOPS 4218 HAS SOUS 3477 HAS SOUPS 3477 WITH SCORE 3481.218
AT ITER 2432 NEW BEST:: SOT 11906 SOS 4212 HAS SOPS 4212 HAS SOUS 3472 HAS SOUPS 3472 WITH SCORE 3476.212
AT ITER 2441 NEW BEST:: SOT 11906 SOS 4190 HAS SOPS 4190 HAS SOUS 3472 HAS SOUPS 3472 WITH SCORE 3476.19
AT ITER 2444 NEW BEST:: SOT 11908 SOS 4189 HAS SOPS 4189 HAS SOUS 3471 HAS SOUPS 3471 WITH SCORE 3475.189
AT ITER 2450 NEW BEST:: SOT 11897 SOS 4150 HAS SOPS 4150 HAS SOUS 3443 HAS SOUPS 3443 WITH SCORE 3447.15
AT ITER 2467 NEW BEST:: SOT 11894 SOS 4147 HAS SOPS 4147 HAS SOUS 3440 HAS SOUPS 3440 WITH SCORE 3444.147
AT ITER 2468 NEW BEST:: SOT 11892 SOS 4142 HAS SOPS 4142 HAS SOUS 3435 HAS SOUPS 3435 WITH SCORE 3439.142
AT ITER 2470 NEW BEST:: SOT 11890 SOS 4138 HAS SOPS 4138 HAS SOUS 3429 HAS SOUPS 3429 WITH SCORE 3433.138
AT ITER 2524 NEW BEST:: SOT 11874 SOS 4108 HAS SOPS 4108 HAS SOUS 3397 HAS SOUPS 3397 WITH SCORE 3401.108
AT ITER 2541 NEW BEST:: SOT 11868 SOS 4106 HAS SOPS 4106 HAS SOUS 3395 HAS SOUPS 3395 WITH SCORE 3399.106
AT ITER 2556 NEW BEST:: SOT 11846 SOS 4059 HAS SOPS 4059 HAS SOUS 3361 HAS SOUPS 3361 WITH SCORE 3365.059
AT ITER 2567 NEW BEST:: SOT 11844 SOS 4057 HAS SOPS 4057 HAS SOUS 3360 HAS SOUPS 3360 WITH SCORE 3364.057
AT ITER 2583 NEW BEST:: SOT 11816 SOS 4015 HAS SOPS 4015 HAS SOUS 3322 HAS SOUPS 3322 WITH SCORE 3326.015
AT ITER 2595 NEW BEST:: SOT 11816 SOS 3980 HAS SOPS 3980 HAS SOUS 3314 HAS SOUPS 3314 WITH SCORE 3317.98
AT ITER 2634 NEW BEST:: SOT 11825 SOS 3967 HAS SOPS 3967 HAS SOUS 3312 HAS SOUPS 3312 WITH SCORE 3315.967
AT ITER 2635 NEW BEST:: SOT 11824 SOS 3965 HAS SOPS 3965 HAS SOUS 3311 HAS SOUPS 3311 WITH SCORE 3314.965
AT ITER 2648 NEW BEST:: SOT 11799 SOS 3937 HAS SOPS 3937 HAS SOUS 3290 HAS SOUPS 3290 WITH SCORE 3293.937
AT ITER 2654 NEW BEST:: SOT 11801 SOS 3946 HAS SOPS 3946 HAS SOUS 3287 HAS SOUPS 3287 WITH SCORE 3290.946
AT ITER 2663 NEW BEST:: SOT 11799 SOS 3944 HAS SOPS 3944 HAS SOUS 3285 HAS SOUPS 3285 WITH SCORE 3288.944
AT ITER 2668 NEW BEST:: SOT 11763 SOS 3843 HAS SOPS 3843 HAS SOUS 3224 HAS SOUPS 3224 WITH SCORE 3227.843
AT ITER 2704 NEW BEST:: SOT 11768 SOS 3833 HAS SOPS 3833 HAS SOUS 3215 HAS SOUPS 3215 WITH SCORE 3218.833
AT ITER 2718 NEW BEST:: SOT 11767 SOS 3825 HAS SOPS 3825 HAS SOUS 3207 HAS SOUPS 3207 WITH SCORE 3210.825
AT ITER 2758 NEW BEST:: SOT 11758 SOS 3811 HAS SOPS 3811 HAS SOUS 3193 HAS SOUPS 3193 WITH SCORE 3196.811
AT ITER 2801 NEW BEST:: SOT 11758 SOS 3810 HAS SOPS 3810 HAS SOUS 3192 HAS SOUPS 3192 WITH SCORE 3195.81
AT ITER 2828 NEW BEST:: SOT 11753 SOS 3800 HAS SOPS 3800 HAS SOUS 3184 HAS SOUPS 3184 WITH SCORE 3187.8
AT ITER 2849 NEW BEST:: SOT 11752 SOS 3799 HAS SOPS 3799 HAS SOUS 3183 HAS SOUPS 3183 WITH SCORE 3186.799
AT ITER 2858 NEW BEST:: SOT 11752 SOS 3789 HAS SOPS 3789 HAS SOUS 3169 HAS SOUPS 3169 WITH SCORE 3172.789
AT ITER 2879 NEW BEST:: SOT 11747 SOS 3784 HAS SOPS 3784 HAS SOUS 3164 HAS SOUPS 3164 WITH SCORE 3167.784
AT ITER 2888 NEW BEST:: SOT 11745 SOS 3700 HAS SOPS 3700 HAS SOUS 3156 HAS SOUPS 3156 WITH SCORE 3159.7
AT ITER 2889 NEW BEST:: SOT 11745 SOS 3698 HAS SOPS 3698 HAS SOUS 3154 HAS SOUPS 3154 WITH SCORE 3157.698
AT ITER 2921 NEW BEST:: SOT 11744 SOS 3697 HAS SOPS 3697 HAS SOUS 3154 HAS SOUPS 3154 WITH SCORE 3157.697
AT ITER 2943 NEW BEST:: SOT 11742 SOS 3692 HAS SOPS 3692 HAS SOUS 3150 HAS SOUPS 3150 WITH SCORE 3153.692
AT ITER 2961 NEW BEST:: SOT 11742 SOS 3691 HAS SOPS 3691 HAS SOUS 3150 HAS SOUPS 3150 WITH SCORE 3153.691
AT ITER 2975 NEW BEST:: SOT 11728 SOS 3696 HAS SOPS 3696 HAS SOUS 3148 HAS SOUPS 3148 WITH SCORE 3151.696
AT ITER 2987 NEW BEST:: SOT 11733 SOS 3710 HAS SOPS 3710 HAS SOUS 3146 HAS SOUPS 3146 WITH SCORE 3149.71
AT ITER 3012 NEW BEST:: SOT 11733 SOS 3702 HAS SOPS 3702 HAS SOUS 3146 HAS SOUPS 3146 WITH SCORE 3149.702
AT ITER 3031 NEW BEST:: SOT 11733 SOS 3692 HAS SOPS 3692 HAS SOUS 3146 HAS SOUPS 3146 WITH SCORE 3149.692
AT ITER 3033 NEW BEST:: SOT 11733 SOS 3691 HAS SOPS 3691 HAS SOUS 3144 HAS SOUPS 3144 WITH SCORE 3147.691
AT ITER 3037 NEW BEST:: SOT 11722 SOS 3702 HAS SOPS 3702 HAS SOUS 3141 HAS SOUPS 3141 WITH SCORE 3144.702
AT ITER 3041 NEW BEST:: SOT 11716 SOS 3684 HAS SOPS 3684 HAS SOUS 3132 HAS SOUPS 3132 WITH SCORE 3135.684
AT ITER 3044 NEW BEST:: SOT 11715 SOS 3683 HAS SOPS 3683 HAS SOUS 3131 HAS SOUPS 3131 WITH SCORE 3134.683
AT ITER 3063 NEW BEST:: SOT 11694 SOS 3648 HAS SOPS 3648 HAS SOUS 3089 HAS SOUPS 3089 WITH SCORE 3092.648
AT ITER 3082 NEW BEST:: SOT 11694 SOS 3644 HAS SOPS 3644 HAS SOUS 3089 HAS SOUPS 3089 WITH SCORE 3092.644
AT ITER 3139 NEW BEST:: SOT 11694 SOS 3643 HAS SOPS 3643 HAS SOUS 3089 HAS SOUPS 3089 WITH SCORE 3092.643
AT ITER 3166 NEW BEST:: SOT 11689 SOS 3638 HAS SOPS 3638 HAS SOUS 3084 HAS SOUPS 3084 WITH SCORE 3087.638
AT ITER 3168 NEW BEST:: SOT 11683 SOS 3627 HAS SOPS 3627 HAS SOUS 3072 HAS SOUPS 3072 WITH SCORE 3075.627
AT ITER 3243 NEW BEST:: SOT 11673 SOS 3612 HAS SOPS 3612 HAS SOUS 3059 HAS SOUPS 3059 WITH SCORE 3062.612
AT ITER 3249 NEW BEST:: SOT 11669 SOS 3597 HAS SOPS 3597 HAS SOUS 3057 HAS SOUPS 3057 WITH SCORE 3060.597
AT ITER 3340 NEW BEST:: SOT 11669 SOS 3590 HAS SOPS 3590 HAS SOUS 3046 HAS SOUPS 3046 WITH SCORE 3049.59
AT ITER 3347 NEW BEST:: SOT 11663 SOS 3584 HAS SOPS 3584 HAS SOUS 3040 HAS SOUPS 3040 WITH SCORE 3043.584
AT ITER 3386 NEW BEST:: SOT 11663 SOS 3583 HAS SOPS 3583 HAS SOUS 3040 HAS SOUPS 3040 WITH SCORE 3043.583
AT ITER 3388 NEW BEST:: SOT 11657 SOS 3551 HAS SOPS 3551 HAS SOUS 3031 HAS SOUPS 3031 WITH SCORE 3034.551
AT ITER 3444 NEW BEST:: SOT 11657 SOS 3550 HAS SOPS 3550 HAS SOUS 3031 HAS SOUPS 3031 WITH SCORE 3034.55
AT ITER 3445 NEW BEST:: SOT 11653 SOS 3542 HAS SOPS 3542 HAS SOUS 3023 HAS SOUPS 3023 WITH SCORE 3026.542
AT ITER 3452 NEW BEST:: SOT 11647 SOS 3523 HAS SOPS 3523 HAS SOUS 3014 HAS SOUPS 3014 WITH SCORE 3017.523
AT ITER 3502 NEW BEST:: SOT 11642 SOS 3519 HAS SOPS 3519 HAS SOUS 3014 HAS SOUPS 3014 WITH SCORE 3017.519
AT ITER 3540 NEW BEST:: SOT 11642 SOS 3512 HAS SOPS 3512 HAS SOUS 3013 HAS SOUPS 3013 WITH SCORE 3016.512
AT ITER 3549 NEW BEST:: SOT 11640 SOS 3509 HAS SOPS 3509 HAS SOUS 3006 HAS SOUPS 3006 WITH SCORE 3009.509
AT ITER 3552 NEW BEST:: SOT 11640 SOS 3497 HAS SOPS 3497 HAS SOUS 3006 HAS SOUPS 3006 WITH SCORE 3009.497
AT ITER 3559 NEW BEST:: SOT 11627 SOS 3465 HAS SOPS 3465 HAS SOUS 3006 HAS SOUPS 3006 WITH SCORE 3009.465
AT ITER 3599 NEW BEST:: SOT 11622 SOS 3464 HAS SOPS 3464 HAS SOUS 3005 HAS SOUPS 3005 WITH SCORE 3008.464
AT ITER 3628 NEW BEST:: SOT 11621 SOS 3459 HAS SOPS 3459 HAS SOUS 3002 HAS SOUPS 3002 WITH SCORE 3005.459
AT ITER 3641 NEW BEST:: SOT 11617 SOS 3455 HAS SOPS 3455 HAS SOUS 2998 HAS SOUPS 2998 WITH SCORE 3001.455
AT ITER 3676 NEW BEST:: SOT 11617 SOS 3454 HAS SOPS 3454 HAS SOUS 2997 HAS SOUPS 2997 WITH SCORE 3000.454
AT ITER 3680 NEW BEST:: SOT 11610 SOS 3445 HAS SOPS 3445 HAS SOUS 2975 HAS SOUPS 2975 WITH SCORE 2978.445
AT ITER 3688 NEW BEST:: SOT 11610 SOS 3442 HAS SOPS 3442 HAS SOUS 2967 HAS SOUPS 2967 WITH SCORE 2970.442
AT ITER 3703 NEW BEST:: SOT 11607 SOS 3428 HAS SOPS 3428 HAS SOUS 2953 HAS SOUPS 2953 WITH SCORE 2956.428
AT ITER 3742 NEW BEST:: SOT 11607 SOS 3427 HAS SOPS 3427 HAS SOUS 2952 HAS SOUPS 2952 WITH SCORE 2955.427
AT ITER 3789 NEW BEST:: SOT 11607 SOS 3424 HAS SOPS 3424 HAS SOUS 2952 HAS SOUPS 2952 WITH SCORE 2955.424
AT ITER 3840 NEW BEST:: SOT 11608 SOS 3407 HAS SOPS 3407 HAS SOUS 2942 HAS SOUPS 2942 WITH SCORE 2945.407
AT ITER 3855 NEW BEST:: SOT 11607 SOS 3403 HAS SOPS 3403 HAS SOUS 2939 HAS SOUPS 2939 WITH SCORE 2942.403
AT ITER 3927 NEW BEST:: SOT 11612 SOS 3401 HAS SOPS 3401 HAS SOUS 2937 HAS SOUPS 2937 WITH SCORE 2940.401
AT ITER 3948 NEW BEST:: SOT 11608 SOS 3397 HAS SOPS 3397 HAS SOUS 2933 HAS SOUPS 2933 WITH SCORE 2936.397
AT ITER 3964 NEW BEST:: SOT 11606 SOS 3398 HAS SOPS 3398 HAS SOUS 2929 HAS SOUPS 2929 WITH SCORE 2932.398
AT ITER 3985 NEW BEST:: SOT 11606 SOS 3396 HAS SOPS 3396 HAS SOUS 2925 HAS SOUPS 2925 WITH SCORE 2928.396
AT ITER 4023 NEW BEST:: SOT 11593 SOS 3366 HAS SOPS 3366 HAS SOUS 2891 HAS SOUPS 2891 WITH SCORE 2894.366
AT ITER 4038 NEW BEST:: SOT 11556 SOS 3331 HAS SOPS 3331 HAS SOUS 2888 HAS SOUPS 2888 WITH SCORE 2891.331
AT ITER 4054 NEW BEST:: SOT 11560 SOS 3329 HAS SOPS 3329 HAS SOUS 2886 HAS SOUPS 2886 WITH SCORE 2889.329
AT ITER 4090 NEW BEST:: SOT 11552 SOS 3328 HAS SOPS 3328 HAS SOUS 2886 HAS SOUPS 2886 WITH SCORE 2889.328
AT ITER 4105 NEW BEST:: SOT 11545 SOS 3313 HAS SOPS 3313 HAS SOUS 2875 HAS SOUPS 2875 WITH SCORE 2878.313
AT ITER 4119 NEW BEST:: SOT 11545 SOS 3312 HAS SOPS 3312 HAS SOUS 2874 HAS SOUPS 2874 WITH SCORE 2877.312
AT ITER 4150 NEW BEST:: SOT 11542 SOS 3299 HAS SOPS 3299 HAS SOUS 2874 HAS SOUPS 2874 WITH SCORE 2877.299
AT ITER 4239 NEW BEST:: SOT 11543 SOS 3300 HAS SOPS 3300 HAS SOUS 2873 HAS SOUPS 2873 WITH SCORE 2876.3
AT ITER 4245 NEW BEST:: SOT 11537 SOS 3290 HAS SOPS 3290 HAS SOUS 2865 HAS SOUPS 2865 WITH SCORE 2868.29
AT ITER 4259 NEW BEST:: SOT 11535 SOS 3286 HAS SOPS 3286 HAS SOUS 2862 HAS SOUPS 2862 WITH SCORE 2865.286
AT ITER 4322 NEW BEST:: SOT 11535 SOS 3283 HAS SOPS 3283 HAS SOUS 2859 HAS SOUPS 2859 WITH SCORE 2862.283
AT ITER 4349 NEW BEST:: SOT 11535 SOS 3279 HAS SOPS 3279 HAS SOUS 2854 HAS SOUPS 2854 WITH SCORE 2857.279
AT ITER 4382 NEW BEST:: SOT 11535 SOS 3278 HAS SOPS 3278 HAS SOUS 2853 HAS SOUPS 2853 WITH SCORE 2856.278
AT ITER 4523 NEW BEST:: SOT 11533 SOS 3276 HAS SOPS 3276 HAS SOUS 2851 HAS SOUPS 2851 WITH SCORE 2854.276
AT ITER 4555 NEW BEST:: SOT 11531 SOS 3280 HAS SOPS 3280 HAS SOUS 2837 HAS SOUPS 2837 WITH SCORE 2840.28
AT ITER 4628 NEW BEST:: SOT 11529 SOS 3275 HAS SOPS 3275 HAS SOUS 2834 HAS SOUPS 2834 WITH SCORE 2837.275
AT ITER 4668 NEW BEST:: SOT 11527 SOS 3273 HAS SOPS 3273 HAS SOUS 2832 HAS SOUPS 2832 WITH SCORE 2835.273
AT ITER 4677 NEW BEST:: SOT 11514 SOS 3254 HAS SOPS 3254 HAS SOUS 2815 HAS SOUPS 2815 WITH SCORE 2818.254
AT ITER 4711 NEW BEST:: SOT 11513 SOS 3253 HAS SOPS 3253 HAS SOUS 2814 HAS SOUPS 2814 WITH SCORE 2817.253
AT ITER 4716 NEW BEST:: SOT 11513 SOS 3246 HAS SOPS 3246 HAS SOUS 2806 HAS SOUPS 2806 WITH SCORE 2809.246
AT ITER 4743 NEW BEST:: SOT 11508 SOS 3241 HAS SOPS 3241 HAS SOUS 2801 HAS SOUPS 2801 WITH SCORE 2804.241
AT ITER 4761 NEW BEST:: SOT 11506 SOS 3239 HAS SOPS 3239 HAS SOUS 2799 HAS SOUPS 2799 WITH SCORE 2802.239
AT ITER 4767 NEW BEST:: SOT 11496 SOS 3229 HAS SOPS 3229 HAS SOUS 2789 HAS SOUPS 2789 WITH SCORE 2792.229
AT ITER 4816 NEW BEST:: SOT 11494 SOS 3208 HAS SOPS 3208 HAS SOUS 2775 HAS SOUPS 2775 WITH SCORE 2778.208
AT ITER 4819 NEW BEST:: SOT 11495 SOS 3201 HAS SOPS 3201 HAS SOUS 2774 HAS SOUPS 2774 WITH SCORE 2777.201
AT ITER 4826 NEW BEST:: SOT 11495 SOS 3198 HAS SOPS 3198 HAS SOUS 2771 HAS SOUPS 2771 WITH SCORE 2774.198
AT ITER 4996 NEW BEST:: SOT 11493 SOS 3188 HAS SOPS 3188 HAS SOUS 2763 HAS SOUPS 2763 WITH SCORE 2766.188
AT ITER 5002 NEW BEST:: SOT 11492 SOS 3185 HAS SOPS 3185 HAS SOUS 2755 HAS SOUPS 2755 WITH SCORE 2758.185
AT ITER 5059 NEW BEST:: SOT 11492 SOS 3182 HAS SOPS 3182 HAS SOUS 2755 HAS SOUPS 2755 WITH SCORE 2758.182
AT ITER 5074 NEW BEST:: SOT 11492 SOS 3180 HAS SOPS 3180 HAS SOUS 2753 HAS SOUPS 2753 WITH SCORE 2756.18
AT ITER 5129 NEW BEST:: SOT 11492 SOS 3176 HAS SOPS 3176 HAS SOUS 2745 HAS SOUPS 2745 WITH SCORE 2748.176
AT ITER 5159 NEW BEST:: SOT 11490 SOS 3172 HAS SOPS 3172 HAS SOUS 2741 HAS SOUPS 2741 WITH SCORE 2744.172
AT ITER 5190 NEW BEST:: SOT 11488 SOS 3165 HAS SOPS 3165 HAS SOUS 2737 HAS SOUPS 2737 WITH SCORE 2740.165
AT ITER 5221 NEW BEST:: SOT 11488 SOS 3167 HAS SOPS 3167 HAS SOUS 2735 HAS SOUPS 2735 WITH SCORE 2738.167
AT ITER 5236 NEW BEST:: SOT 11484 SOS 3167 HAS SOPS 3167 HAS SOUS 2733 HAS SOUPS 2733 WITH SCORE 2736.167
AT ITER 5295 NEW BEST:: SOT 11521 SOS 3109 HAS SOPS 3109 HAS SOUS 2718 HAS SOUPS 2718 WITH SCORE 2721.109
AT ITER 5309 NEW BEST:: SOT 11519 SOS 3107 HAS SOPS 3107 HAS SOUS 2716 HAS SOUPS 2716 WITH SCORE 2719.107
AT ITER 5356 NEW BEST:: SOT 11518 SOS 3106 HAS SOPS 3106 HAS SOUS 2715 HAS SOUPS 2715 WITH SCORE 2718.106
AT ITER 5427 NEW BEST:: SOT 11518 SOS 3105 HAS SOPS 3105 HAS SOUS 2715 HAS SOUPS 2715 WITH SCORE 2718.105
AT ITER 5463 NEW BEST:: SOT 11512 SOS 3115 HAS SOPS 3115 HAS SOUS 2708 HAS SOUPS 2708 WITH SCORE 2711.115
AT ITER 5475 NEW BEST:: SOT 11492 SOS 3109 HAS SOPS 3109 HAS SOUS 2695 HAS SOUPS 2695 WITH SCORE 2698.109
AT ITER 5479 NEW BEST:: SOT 11489 SOS 3106 HAS SOPS 3106 HAS SOUS 2695 HAS SOUPS 2695 WITH SCORE 2698.106
AT ITER 5487 NEW BEST:: SOT 11486 SOS 3101 HAS SOPS 3101 HAS SOUS 2687 HAS SOUPS 2687 WITH SCORE 2690.101
AT ITER 5488 NEW BEST:: SOT 11483 SOS 3098 HAS SOPS 3098 HAS SOUS 2684 HAS SOUPS 2684 WITH SCORE 2687.098
AT ITER 5513 NEW BEST:: SOT 11483 SOS 3098 HAS SOPS 3098 HAS SOUS 2683 HAS SOUPS 2683 WITH SCORE 2686.098
AT ITER 5635 NEW BEST:: SOT 11476 SOS 3090 HAS SOPS 3090 HAS SOUS 2675 HAS SOUPS 2675 WITH SCORE 2678.09
AT ITER 5652 NEW BEST:: SOT 11472 SOS 3086 HAS SOPS 3086 HAS SOUS 2671 HAS SOUPS 2671 WITH SCORE 2674.086
AT ITER 5676 NEW BEST:: SOT 11470 SOS 3083 HAS SOPS 3083 HAS SOUS 2668 HAS SOUPS 2668 WITH SCORE 2671.083
AT ITER 5697 NEW BEST:: SOT 11471 SOS 3084 HAS SOPS 3084 HAS SOUS 2667 HAS SOUPS 2667 WITH SCORE 2670.084
AT ITER 5719 NEW BEST:: SOT 11473 SOS 3085 HAS SOPS 3085 HAS SOUS 2666 HAS SOUPS 2666 WITH SCORE 2669.085
AT ITER 5740 NEW BEST:: SOT 11473 SOS 3084 HAS SOPS 3084 HAS SOUS 2665 HAS SOUPS 2665 WITH SCORE 2668.084
AT ITER 5751 NEW BEST:: SOT 11473 SOS 3082 HAS SOPS 3082 HAS SOUS 2663 HAS SOUPS 2663 WITH SCORE 2666.082
AT ITER 5765 NEW BEST:: SOT 11473 SOS 3073 HAS SOPS 3073 HAS SOUS 2661 HAS SOUPS 2661 WITH SCORE 2664.073
AT ITER 5916 NEW BEST:: SOT 11491 SOS 3053 HAS SOPS 3053 HAS SOUS 2637 HAS SOUPS 2637 WITH SCORE 2640.053
AT ITER 5928 NEW BEST:: SOT 11491 SOS 3051 HAS SOPS 3051 HAS SOUS 2635 HAS SOUPS 2635 WITH SCORE 2638.051
AT ITER 5938 NEW BEST:: SOT 11490 SOS 3060 HAS SOPS 3060 HAS SOUS 2633 HAS SOUPS 2633 WITH SCORE 2636.06
AT ITER 5944 NEW BEST:: SOT 11488 SOS 3057 HAS SOPS 3057 HAS SOUS 2631 HAS SOUPS 2631 WITH SCORE 2634.057
AT ITER 5958 NEW BEST:: SOT 11489 SOS 3054 HAS SOPS 3054 HAS SOUS 2631 HAS SOUPS 2631 WITH SCORE 2634.054
AT ITER 5960 NEW BEST:: SOT 11487 SOS 3052 HAS SOPS 3052 HAS SOUS 2629 HAS SOUPS 2629 WITH SCORE 2632.052
AT ITER 5993 NEW BEST:: SOT 11485 SOS 3048 HAS SOPS 3048 HAS SOUS 2625 HAS SOUPS 2625 WITH SCORE 2628.048
AT ITER 6001 NEW BEST:: SOT 11485 SOS 3046 HAS SOPS 3046 HAS SOUS 2623 HAS SOUPS 2623 WITH SCORE 2626.046
AT ITER 6027 NEW BEST:: SOT 11485 SOS 3042 HAS SOPS 3042 HAS SOUS 2620 HAS SOUPS 2620 WITH SCORE 2623.042
AT ITER 6050 NEW BEST:: SOT 11483 SOS 3039 HAS SOPS 3039 HAS SOUS 2617 HAS SOUPS 2617 WITH SCORE 2620.039
AT ITER 6056 NEW BEST:: SOT 11481 SOS 3038 HAS SOPS 3038 HAS SOUS 2616 HAS SOUPS 2616 WITH SCORE 2619.038
AT ITER 6062 NEW BEST:: SOT 11484 SOS 3032 HAS SOPS 3032 HAS SOUS 2612 HAS SOUPS 2612 WITH SCORE 2615.032
AT ITER 6074 NEW BEST:: SOT 11482 SOS 3029 HAS SOPS 3029 HAS SOUS 2609 HAS SOUPS 2609 WITH SCORE 2612.029
AT ITER 6080 NEW BEST:: SOT 11482 SOS 3023 HAS SOPS 3023 HAS SOUS 2609 HAS SOUPS 2609 WITH SCORE 2612.023
AT ITER 6146 NEW BEST:: SOT 11462 SOS 2992 HAS SOPS 2992 HAS SOUS 2583 HAS SOUPS 2583 WITH SCORE 2585.992
AT ITER 6185 NEW BEST:: SOT 11461 SOS 2990 HAS SOPS 2990 HAS SOUS 2581 HAS SOUPS 2581 WITH SCORE 2583.99
AT ITER 6192 NEW BEST:: SOT 11468 SOS 2985 HAS SOPS 2985 HAS SOUS 2577 HAS SOUPS 2577 WITH SCORE 2579.985
AT ITER 6205 NEW BEST:: SOT 11449 SOS 2956 HAS SOPS 2956 HAS SOUS 2531 HAS SOUPS 2531 WITH SCORE 2533.956
AT ITER 6218 NEW BEST:: SOT 11446 SOS 2953 HAS SOPS 2953 HAS SOUS 2528 HAS SOUPS 2528 WITH SCORE 2530.953
AT ITER 6250 NEW BEST:: SOT 11455 SOS 2951 HAS SOPS 2951 HAS SOUS 2528 HAS SOUPS 2528 WITH SCORE 2530.951
AT ITER 6366 NEW BEST:: SOT 11447 SOS 2925 HAS SOPS 2925 HAS SOUS 2510 HAS SOUPS 2510 WITH SCORE 2512.925
AT ITER 6418 NEW BEST:: SOT 11451 SOS 2917 HAS SOPS 2917 HAS SOUS 2507 HAS SOUPS 2507 WITH SCORE 2509.917
AT ITER 6441 NEW BEST:: SOT 11453 SOS 2909 HAS SOPS 2909 HAS SOUS 2504 HAS SOUPS 2504 WITH SCORE 2506.909
AT ITER 6443 NEW BEST:: SOT 11451 SOS 2907 HAS SOPS 2907 HAS SOUS 2502 HAS SOUPS 2502 WITH SCORE 2504.907
AT ITER 6472 NEW BEST:: SOT 11447 SOS 2897 HAS SOPS 2897 HAS SOUS 2494 HAS SOUPS 2494 WITH SCORE 2496.897
AT ITER 6541 NEW BEST:: SOT 11464 SOS 2904 HAS SOPS 2904 HAS SOUS 2493 HAS SOUPS 2493 WITH SCORE 2495.904
AT ITER 6582 NEW BEST:: SOT 11458 SOS 2898 HAS SOPS 2898 HAS SOUS 2485 HAS SOUPS 2485 WITH SCORE 2487.898
AT ITER 6605 NEW BEST:: SOT 11457 SOS 2895 HAS SOPS 2895 HAS SOUS 2482 HAS SOUPS 2482 WITH SCORE 2484.895
AT ITER 6676 NEW BEST:: SOT 11457 SOS 2893 HAS SOPS 2893 HAS SOUS 2480 HAS SOUPS 2480 WITH SCORE 2482.893
AT ITER 6683 NEW BEST:: SOT 11456 SOS 2892 HAS SOPS 2892 HAS SOUS 2479 HAS SOUPS 2479 WITH SCORE 2481.892
AT ITER 6723 NEW BEST:: SOT 11452 SOS 2888 HAS SOPS 2888 HAS SOUS 2475 HAS SOUPS 2475 WITH SCORE 2477.888
AT ITER 6729 NEW BEST:: SOT 11452 SOS 2888 HAS SOPS 2888 HAS SOUS 2474 HAS SOUPS 2474 WITH SCORE 2476.888
AT ITER 6730 NEW BEST:: SOT 11449 SOS 2885 HAS SOPS 2885 HAS SOUS 2467 HAS SOUPS 2467 WITH SCORE 2469.885
AT ITER 6739 NEW BEST:: SOT 11443 SOS 2876 HAS SOPS 2876 HAS SOUS 2466 HAS SOUPS 2466 WITH SCORE 2468.876
AT ITER 6779 NEW BEST:: SOT 11429 SOS 2883 HAS SOPS 2883 HAS SOUS 2459 HAS SOUPS 2459 WITH SCORE 2461.883
AT ITER 6863 NEW BEST:: SOT 11425 SOS 2869 HAS SOPS 2869 HAS SOUS 2446 HAS SOUPS 2446 WITH SCORE 2448.869
AT ITER 6887 NEW BEST:: SOT 11425 SOS 2877 HAS SOPS 2877 HAS SOUS 2445 HAS SOUPS 2445 WITH SCORE 2447.877
AT ITER 6908 NEW BEST:: SOT 11426 SOS 2871 HAS SOPS 2871 HAS SOUS 2439 HAS SOUPS 2439 WITH SCORE 2441.871
AT ITER 6929 NEW BEST:: SOT 11426 SOS 2871 HAS SOPS 2871 HAS SOUS 2438 HAS SOUPS 2438 WITH SCORE 2440.871
AT ITER 6995 NEW BEST:: SOT 11431 SOS 2877 HAS SOPS 2877 HAS SOUS 2436 HAS SOUPS 2436 WITH SCORE 2438.877
AT ITER 6997 NEW BEST:: SOT 11421 SOS 2867 HAS SOPS 2867 HAS SOUS 2426 HAS SOUPS 2426 WITH SCORE 2428.867
AT ITER 7001 NEW BEST:: SOT 11421 SOS 2854 HAS SOPS 2854 HAS SOUS 2421 HAS SOUPS 2421 WITH SCORE 2423.854
AT ITER 7213 NEW BEST:: SOT 11421 SOS 2853 HAS SOPS 2853 HAS SOUS 2420 HAS SOUPS 2420 WITH SCORE 2422.853
AT ITER 7217 NEW BEST:: SOT 11419 SOS 2835 HAS SOPS 2835 HAS SOUS 2392 HAS SOUPS 2392 WITH SCORE 2394.835
AT ITER 7221 NEW BEST:: SOT 11416 SOS 2832 HAS SOPS 2832 HAS SOUS 2389 HAS SOUPS 2389 WITH SCORE 2391.832
AT ITER 7358 NEW BEST:: SOT 11412 SOS 2828 HAS SOPS 2828 HAS SOUS 2385 HAS SOUPS 2385 WITH SCORE 2387.828
AT ITER 7384 NEW BEST:: SOT 11409 SOS 2832 HAS SOPS 2832 HAS SOUS 2383 HAS SOUPS 2383 WITH SCORE 2385.832
AT ITER 7406 NEW BEST:: SOT 11407 SOS 2829 HAS SOPS 2829 HAS SOUS 2382 HAS SOUPS 2382 WITH SCORE 2384.829
AT ITER 7463 NEW BEST:: SOT 11403 SOS 2823 HAS SOPS 2823 HAS SOUS 2377 HAS SOUPS 2377 WITH SCORE 2379.823
AT ITER 7486 NEW BEST:: SOT 11403 SOS 2821 HAS SOPS 2821 HAS SOUS 2377 HAS SOUPS 2377 WITH SCORE 2379.821
AT ITER 7508 NEW BEST:: SOT 11402 SOS 2819 HAS SOPS 2819 HAS SOUS 2376 HAS SOUPS 2376 WITH SCORE 2378.819
AT ITER 7526 NEW BEST:: SOT 11399 SOS 2822 HAS SOPS 2822 HAS SOUS 2374 HAS SOUPS 2374 WITH SCORE 2376.822
AT ITER 7551 NEW BEST:: SOT 11399 SOS 2823 HAS SOPS 2823 HAS SOUS 2372 HAS SOUPS 2372 WITH SCORE 2374.823
AT ITER 7594 NEW BEST:: SOT 11401 SOS 2819 HAS SOPS 2819 HAS SOUS 2371 HAS SOUPS 2371 WITH SCORE 2373.819
AT ITER 7596 NEW BEST:: SOT 11396 SOS 2818 HAS SOPS 2818 HAS SOUS 2370 HAS SOUPS 2370 WITH SCORE 2372.818
AT ITER 7823 NEW BEST:: SOT 11398 SOS 2816 HAS SOPS 2816 HAS SOUS 2368 HAS SOUPS 2368 WITH SCORE 2370.816
AT ITER 8040 NEW BEST:: SOT 11396 SOS 2815 HAS SOPS 2815 HAS SOUS 2367 HAS SOUPS 2367 WITH SCORE 2369.815
AT ITER 8057 NEW BEST:: SOT 11396 SOS 2816 HAS SOPS 2816 HAS SOUS 2366 HAS SOUPS 2366 WITH SCORE 2368.816
AT ITER 8110 NEW BEST:: SOT 11389 SOS 2809 HAS SOPS 2809 HAS SOUS 2362 HAS SOUPS 2362 WITH SCORE 2364.809
AT ITER 8166 NEW BEST:: SOT 11388 SOS 2808 HAS SOPS 2808 HAS SOUS 2361 HAS SOUPS 2361 WITH SCORE 2363.808
AT ITER 8172 NEW BEST:: SOT 11387 SOS 2781 HAS SOPS 2781 HAS SOUS 2351 HAS SOUPS 2351 WITH SCORE 2353.781
AT ITER 8198 NEW BEST:: SOT 11388 SOS 2784 HAS SOPS 2784 HAS SOUS 2348 HAS SOUPS 2348 WITH SCORE 2350.784
AT ITER 8215 NEW BEST:: SOT 11389 SOS 2778 HAS SOPS 2778 HAS SOUS 2342 HAS SOUPS 2342 WITH SCORE 2344.778
AT ITER 8276 NEW BEST:: SOT 11389 SOS 2770 HAS SOPS 2770 HAS SOUS 2342 HAS SOUPS 2342 WITH SCORE 2344.77
AT ITER 8295 NEW BEST:: SOT 11389 SOS 2766 HAS SOPS 2766 HAS SOUS 2342 HAS SOUPS 2342 WITH SCORE 2344.766
AT ITER 8333 NEW BEST:: SOT 11390 SOS 2765 HAS SOPS 2765 HAS SOUS 2340 HAS SOUPS 2340 WITH SCORE 2342.765
AT ITER 8532 NEW BEST:: SOT 11390 SOS 2774 HAS SOPS 2774 HAS SOUS 2339 HAS SOUPS 2339 WITH SCORE 2341.774
AT ITER 8534 NEW BEST:: SOT 11387 SOS 2770 HAS SOPS 2770 HAS SOUS 2335 HAS SOUPS 2335 WITH SCORE 2337.77
AT ITER 8608 NEW BEST:: SOT 11386 SOS 2768 HAS SOPS 2768 HAS SOUS 2333 HAS SOUPS 2333 WITH SCORE 2335.768
AT ITER 8614 NEW BEST:: SOT 11382 SOS 2764 HAS SOPS 2764 HAS SOUS 2329 HAS SOUPS 2329 WITH SCORE 2331.764
AT ITER 8743 NEW BEST:: SOT 11382 SOS 2754 HAS SOPS 2754 HAS SOUS 2324 HAS SOUPS 2324 WITH SCORE 2326.754
AT ITER 8778 NEW BEST:: SOT 11378 SOS 2751 HAS SOPS 2751 HAS SOUS 2324 HAS SOUPS 2324 WITH SCORE 2326.751
AT ITER 8955 NEW BEST:: SOT 11376 SOS 2749 HAS SOPS 2749 HAS SOUS 2322 HAS SOUPS 2322 WITH SCORE 2324.749
AT ITER 8975 NEW BEST:: SOT 11380 SOS 2749 HAS SOPS 2749 HAS SOUS 2320 HAS SOUPS 2320 WITH SCORE 2322.749
AT ITER 9061 NEW BEST:: SOT 11381 SOS 2747 HAS SOPS 2747 HAS SOUS 2320 HAS SOUPS 2320 WITH SCORE 2322.747
AT ITER 9155 NEW BEST:: SOT 11381 SOS 2739 HAS SOPS 2739 HAS SOUS 2319 HAS SOUPS 2319 WITH SCORE 2321.739
AT ITER 9192 NEW BEST:: SOT 11381 SOS 2734 HAS SOPS 2734 HAS SOUS 2319 HAS SOUPS 2319 WITH SCORE 2321.734
AT ITER 9336 NEW BEST:: SOT 11375 SOS 2726 HAS SOPS 2726 HAS SOUS 2311 HAS SOUPS 2311 WITH SCORE 2313.726
AT ITER 9346 NEW BEST:: SOT 11374 SOS 2717 HAS SOPS 2717 HAS SOUS 2306 HAS SOUPS 2306 WITH SCORE 2308.717
AT ITER 9394 NEW BEST:: SOT 11373 SOS 2715 HAS SOPS 2715 HAS SOUS 2304 HAS SOUPS 2304 WITH SCORE 2306.715
AT ITER 9402 NEW BEST:: SOT 11368 SOS 2691 HAS SOPS 2691 HAS SOUS 2287 HAS SOUPS 2287 WITH SCORE 2289.691
AT ITER 9446 NEW BEST:: SOT 11366 SOS 2689 HAS SOPS 2689 HAS SOUS 2285 HAS SOUPS 2285 WITH SCORE 2287.689
AT ITER 9639 NEW BEST:: SOT 11364 SOS 2687 HAS SOPS 2687 HAS SOUS 2283 HAS SOUPS 2283 WITH SCORE 2285.687
AT ITER 9667 NEW BEST:: SOT 11361 SOS 2680 HAS SOPS 2680 HAS SOUS 2279 HAS SOUPS 2279 WITH SCORE 2281.68
AT ITER 9793 NEW BEST:: SOT 11359 SOS 2676 HAS SOPS 2676 HAS SOUS 2277 HAS SOUPS 2277 WITH SCORE 2279.676
AT ITER 9814 NEW BEST:: SOT 11359 SOS 2674 HAS SOPS 2674 HAS SOUS 2276 HAS SOUPS 2276 WITH SCORE 2278.674
AT ITER 9870 NEW BEST:: SOT 11359 SOS 2672 HAS SOPS 2672 HAS SOUS 2275 HAS SOUPS 2275 WITH SCORE 2277.672
AT ITER 9909 NEW BEST:: SOT 11357 SOS 2666 HAS SOPS 2666 HAS SOUS 2271 HAS SOUPS 2271 WITH SCORE 2273.666
AT ITER 9910 NEW BEST:: SOT 11353 SOS 2658 HAS SOPS 2658 HAS SOUS 2265 HAS SOUPS 2265 WITH SCORE 2267.658
AT ITER 9999 NEW BEST:: SOT 11347 SOS 2646 HAS SOPS 2646 HAS SOUS 2254 HAS SOUPS 2254 WITH SCORE 2256.646
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 7956300 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16150844 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldPPPs-PT-005A"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is ShieldPPPs-PT-005A, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r387-oct2-167903711800424"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldPPPs-PT-005A.tgz
mv ShieldPPPs-PT-005A execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;