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.r395-oct2-167903718500240.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 smartxred
Input is ShieldIIPt-PT-004B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r395-oct2-167903718500240
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 524K
-rw-r--r-- 1 mcc users 9.1K Feb 25 17:06 CTLCardinality.txt
-rw-r--r-- 1 mcc users 105K Feb 25 17:06 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 25 17:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 25 17:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:56 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:56 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:56 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 17:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 126K Feb 25 17:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 25 17:06 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 25 17:06 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:56 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:56 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 67K 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 1679560187037

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ShieldIIPt-PT-004B
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 08:29:49] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 08:29:49] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 08:29:49] [INFO ] Load time of PNML (sax parser for PT used): 89 ms
[2023-03-23 08:29:49] [INFO ] Transformed 283 places.
[2023-03-23 08:29:49] [INFO ] Transformed 263 transitions.
[2023-03-23 08:29:49] [INFO ] Found NUPN structural information;
[2023-03-23 08:29:49] [INFO ] Parsed PT model containing 283 places and 263 transitions and 654 arcs in 259 ms.
[2023-03-23 08:29:49] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 283 places, 263 transitions and 654 arcs took 6 ms.
Total runtime 371 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPt (PT), instance 004B
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 283 places, 263 transitions, 654 arcs.
AT ITER 0 NEW BEST:: SOT 41710 SOS 13012 HAS SOPS 13012 HAS SOUS 11807 HAS SOUPS 11807 WITH SCORE 11820.012
AT ITER 2 NEW BEST:: SOT 41709 SOS 13009 HAS SOPS 13009 HAS SOUS 11804 HAS SOUPS 11804 WITH SCORE 11817.009
AT ITER 14 NEW BEST:: SOT 41667 SOS 12967 HAS SOPS 12967 HAS SOUS 11762 HAS SOUPS 11762 WITH SCORE 11774.967
AT ITER 15 NEW BEST:: SOT 41667 SOS 12959 HAS SOPS 12959 HAS SOUS 11751 HAS SOUPS 11751 WITH SCORE 11763.959
AT ITER 23 NEW BEST:: SOT 41656 SOS 12903 HAS SOPS 12903 HAS SOUS 11728 HAS SOUPS 11728 WITH SCORE 11740.903
AT ITER 25 NEW BEST:: SOT 41656 SOS 12888 HAS SOPS 12888 HAS SOUS 11728 HAS SOUPS 11728 WITH SCORE 11740.888
AT ITER 31 NEW BEST:: SOT 41656 SOS 12845 HAS SOPS 12845 HAS SOUS 11728 HAS SOUPS 11728 WITH SCORE 11740.845
AT ITER 44 NEW BEST:: SOT 41668 SOS 12711 HAS SOPS 12711 HAS SOUS 11703 HAS SOUPS 11703 WITH SCORE 11715.711
AT ITER 46 NEW BEST:: SOT 41633 SOS 12571 HAS SOPS 12571 HAS SOUS 11562 HAS SOUPS 11562 WITH SCORE 11574.571
AT ITER 53 NEW BEST:: SOT 41628 SOS 12556 HAS SOPS 12556 HAS SOUS 11552 HAS SOUPS 11552 WITH SCORE 11564.556
AT ITER 69 NEW BEST:: SOT 41644 SOS 12540 HAS SOPS 12540 HAS SOUS 11538 HAS SOUPS 11538 WITH SCORE 11550.54
AT ITER 75 NEW BEST:: SOT 41645 SOS 12541 HAS SOPS 12541 HAS SOUS 11536 HAS SOUPS 11536 WITH SCORE 11548.541
AT ITER 84 NEW BEST:: SOT 41645 SOS 12541 HAS SOPS 12541 HAS SOUS 11534 HAS SOUPS 11534 WITH SCORE 11546.541
AT ITER 91 NEW BEST:: SOT 41644 SOS 12521 HAS SOPS 12521 HAS SOUS 11529 HAS SOUPS 11529 WITH SCORE 11541.521
AT ITER 109 NEW BEST:: SOT 41653 SOS 12501 HAS SOPS 12501 HAS SOUS 11529 HAS SOUPS 11529 WITH SCORE 11541.501
AT ITER 129 NEW BEST:: SOT 41660 SOS 12505 HAS SOPS 12505 HAS SOUS 11526 HAS SOUPS 11526 WITH SCORE 11538.505
AT ITER 140 NEW BEST:: SOT 41660 SOS 12505 HAS SOPS 12505 HAS SOUS 11507 HAS SOUPS 11507 WITH SCORE 11519.505
AT ITER 154 NEW BEST:: SOT 41624 SOS 12479 HAS SOPS 12479 HAS SOUS 11466 HAS SOUPS 11466 WITH SCORE 11478.479
AT ITER 155 NEW BEST:: SOT 41612 SOS 12401 HAS SOPS 12401 HAS SOUS 11388 HAS SOUPS 11388 WITH SCORE 11400.401
AT ITER 160 NEW BEST:: SOT 41607 SOS 12347 HAS SOPS 12347 HAS SOUS 11334 HAS SOUPS 11334 WITH SCORE 11346.347
AT ITER 172 NEW BEST:: SOT 41502 SOS 12180 HAS SOPS 12180 HAS SOUS 11211 HAS SOUPS 11211 WITH SCORE 11223.18
AT ITER 176 NEW BEST:: SOT 41502 SOS 12177 HAS SOPS 12177 HAS SOUS 11208 HAS SOUPS 11208 WITH SCORE 11220.177
AT ITER 182 NEW BEST:: SOT 41493 SOS 12150 HAS SOPS 12150 HAS SOUS 11181 HAS SOUPS 11181 WITH SCORE 11193.15
AT ITER 186 NEW BEST:: SOT 41446 SOS 12054 HAS SOPS 12054 HAS SOUS 11149 HAS SOUPS 11149 WITH SCORE 11161.054
AT ITER 202 NEW BEST:: SOT 41450 SOS 12002 HAS SOPS 12002 HAS SOUS 11093 HAS SOUPS 11093 WITH SCORE 11105.002
AT ITER 203 NEW BEST:: SOT 41425 SOS 11950 HAS SOPS 11950 HAS SOUS 11041 HAS SOUPS 11041 WITH SCORE 11052.95
AT ITER 213 NEW BEST:: SOT 41425 SOS 11937 HAS SOPS 11937 HAS SOUS 11028 HAS SOUPS 11028 WITH SCORE 11039.937
AT ITER 220 NEW BEST:: SOT 41394 SOS 11906 HAS SOPS 11906 HAS SOUS 10997 HAS SOUPS 10997 WITH SCORE 11008.906
AT ITER 229 NEW BEST:: SOT 41401 SOS 11880 HAS SOPS 11880 HAS SOUS 10986 HAS SOUPS 10986 WITH SCORE 10997.88
AT ITER 309 NEW BEST:: SOT 41401 SOS 11888 HAS SOPS 11888 HAS SOUS 10977 HAS SOUPS 10977 WITH SCORE 10988.888
AT ITER 313 NEW BEST:: SOT 41414 SOS 11900 HAS SOPS 11900 HAS SOUS 10976 HAS SOUPS 10976 WITH SCORE 10987.9
AT ITER 329 NEW BEST:: SOT 41390 SOS 11852 HAS SOPS 11852 HAS SOUS 10928 HAS SOUPS 10928 WITH SCORE 10939.852
AT ITER 339 NEW BEST:: SOT 41374 SOS 11804 HAS SOPS 11804 HAS SOUS 10896 HAS SOUPS 10896 WITH SCORE 10907.804
AT ITER 346 NEW BEST:: SOT 41361 SOS 11799 HAS SOPS 11799 HAS SOUS 10883 HAS SOUPS 10883 WITH SCORE 10894.799
AT ITER 356 NEW BEST:: SOT 41201 SOS 11602 HAS SOPS 11602 HAS SOUS 10679 HAS SOUPS 10679 WITH SCORE 10690.602
AT ITER 359 NEW BEST:: SOT 41200 SOS 11565 HAS SOPS 11565 HAS SOUS 10642 HAS SOUPS 10642 WITH SCORE 10653.565
AT ITER 400 NEW BEST:: SOT 41183 SOS 11548 HAS SOPS 11548 HAS SOUS 10625 HAS SOUPS 10625 WITH SCORE 10636.548
AT ITER 414 NEW BEST:: SOT 41183 SOS 11547 HAS SOPS 11547 HAS SOUS 10624 HAS SOUPS 10624 WITH SCORE 10635.547
AT ITER 415 NEW BEST:: SOT 41160 SOS 11479 HAS SOPS 11479 HAS SOUS 10566 HAS SOUPS 10566 WITH SCORE 10577.479
AT ITER 422 NEW BEST:: SOT 41147 SOS 11444 HAS SOPS 11444 HAS SOUS 10544 HAS SOUPS 10544 WITH SCORE 10555.444
AT ITER 426 NEW BEST:: SOT 41122 SOS 11419 HAS SOPS 11419 HAS SOUS 10524 HAS SOUPS 10524 WITH SCORE 10535.419
AT ITER 436 NEW BEST:: SOT 41061 SOS 11175 HAS SOPS 11175 HAS SOUS 10341 HAS SOUPS 10341 WITH SCORE 10352.175
AT ITER 448 NEW BEST:: SOT 41061 SOS 11168 HAS SOPS 11168 HAS SOUS 10340 HAS SOUPS 10340 WITH SCORE 10351.168
AT ITER 463 NEW BEST:: SOT 41061 SOS 11168 HAS SOPS 11168 HAS SOUS 10334 HAS SOUPS 10334 WITH SCORE 10345.168
AT ITER 482 NEW BEST:: SOT 41056 SOS 11162 HAS SOPS 11162 HAS SOUS 10328 HAS SOUPS 10328 WITH SCORE 10339.162
AT ITER 483 NEW BEST:: SOT 41054 SOS 11161 HAS SOPS 11161 HAS SOUS 10327 HAS SOUPS 10327 WITH SCORE 10338.161
AT ITER 498 NEW BEST:: SOT 41054 SOS 11139 HAS SOPS 11139 HAS SOUS 10327 HAS SOUPS 10327 WITH SCORE 10338.139
AT ITER 559 NEW BEST:: SOT 41067 SOS 11165 HAS SOPS 11165 HAS SOUS 10298 HAS SOUPS 10298 WITH SCORE 10309.165
AT ITER 569 NEW BEST:: SOT 41049 SOS 11150 HAS SOPS 11150 HAS SOUS 10283 HAS SOUPS 10283 WITH SCORE 10294.15
AT ITER 577 NEW BEST:: SOT 41025 SOS 10968 HAS SOPS 10968 HAS SOUS 10160 HAS SOUPS 10160 WITH SCORE 10170.968
AT ITER 580 NEW BEST:: SOT 41045 SOS 10955 HAS SOPS 10955 HAS SOUS 10131 HAS SOUPS 10131 WITH SCORE 10141.955
AT ITER 581 NEW BEST:: SOT 41040 SOS 11013 HAS SOPS 11013 HAS SOUS 10126 HAS SOUPS 10126 WITH SCORE 10137.013
AT ITER 611 NEW BEST:: SOT 41040 SOS 10970 HAS SOPS 10970 HAS SOUS 10083 HAS SOUPS 10083 WITH SCORE 10093.97
AT ITER 624 NEW BEST:: SOT 41020 SOS 10930 HAS SOPS 10930 HAS SOUS 10063 HAS SOUPS 10063 WITH SCORE 10073.93
AT ITER 627 NEW BEST:: SOT 41029 SOS 10899 HAS SOPS 10899 HAS SOUS 10032 HAS SOUPS 10032 WITH SCORE 10042.899
AT ITER 630 NEW BEST:: SOT 41007 SOS 10915 HAS SOPS 10915 HAS SOUS 10014 HAS SOUPS 10014 WITH SCORE 10024.915
AT ITER 646 NEW BEST:: SOT 41004 SOS 10909 HAS SOPS 10909 HAS SOUS 10008 HAS SOUPS 10008 WITH SCORE 10018.909
AT ITER 652 NEW BEST:: SOT 40960 SOS 10940 HAS SOPS 10940 HAS SOUS 9964 HAS SOUPS 9964 WITH SCORE 9974.94
AT ITER 693 NEW BEST:: SOT 40960 SOS 10902 HAS SOPS 10902 HAS SOUS 9964 HAS SOUPS 9964 WITH SCORE 9974.902
AT ITER 700 NEW BEST:: SOT 40960 SOS 10902 HAS SOPS 10902 HAS SOUS 9936 HAS SOUPS 9936 WITH SCORE 9946.902
AT ITER 702 NEW BEST:: SOT 40953 SOS 10888 HAS SOPS 10888 HAS SOUS 9929 HAS SOUPS 9929 WITH SCORE 9939.888
AT ITER 731 NEW BEST:: SOT 40852 SOS 10977 HAS SOPS 10977 HAS SOUS 9917 HAS SOUPS 9917 WITH SCORE 9927.977
AT ITER 741 NEW BEST:: SOT 40848 SOS 10942 HAS SOPS 10942 HAS SOUS 9892 HAS SOUPS 9892 WITH SCORE 9902.942
AT ITER 748 NEW BEST:: SOT 40848 SOS 10927 HAS SOPS 10927 HAS SOUS 9877 HAS SOUPS 9877 WITH SCORE 9887.927
AT ITER 762 NEW BEST:: SOT 40823 SOS 10852 HAS SOPS 10852 HAS SOUS 9802 HAS SOUPS 9802 WITH SCORE 9812.852
AT ITER 781 NEW BEST:: SOT 40819 SOS 10846 HAS SOPS 10846 HAS SOUS 9796 HAS SOUPS 9796 WITH SCORE 9806.846
AT ITER 782 NEW BEST:: SOT 40800 SOS 10829 HAS SOPS 10829 HAS SOUS 9777 HAS SOUPS 9777 WITH SCORE 9787.829
AT ITER 786 NEW BEST:: SOT 40793 SOS 10787 HAS SOPS 10787 HAS SOUS 9769 HAS SOUPS 9769 WITH SCORE 9779.787
AT ITER 803 NEW BEST:: SOT 40798 SOS 10785 HAS SOPS 10785 HAS SOUS 9762 HAS SOUPS 9762 WITH SCORE 9772.785
AT ITER 804 NEW BEST:: SOT 40853 SOS 10782 HAS SOPS 10782 HAS SOUS 9759 HAS SOUPS 9759 WITH SCORE 9769.782
AT ITER 807 NEW BEST:: SOT 40799 SOS 10674 HAS SOPS 10674 HAS SOUS 9683 HAS SOUPS 9683 WITH SCORE 9693.674
AT ITER 808 NEW BEST:: SOT 40764 SOS 10591 HAS SOPS 10591 HAS SOUS 9670 HAS SOUPS 9670 WITH SCORE 9680.591
AT ITER 810 NEW BEST:: SOT 40762 SOS 10563 HAS SOPS 10563 HAS SOUS 9668 HAS SOUPS 9668 WITH SCORE 9678.563
AT ITER 813 NEW BEST:: SOT 40760 SOS 10559 HAS SOPS 10559 HAS SOUS 9664 HAS SOUPS 9664 WITH SCORE 9674.559
AT ITER 818 NEW BEST:: SOT 40748 SOS 10528 HAS SOPS 10528 HAS SOUS 9633 HAS SOUPS 9633 WITH SCORE 9643.528
AT ITER 866 NEW BEST:: SOT 40746 SOS 10526 HAS SOPS 10526 HAS SOUS 9631 HAS SOUPS 9631 WITH SCORE 9641.526
AT ITER 869 NEW BEST:: SOT 40778 SOS 10509 HAS SOPS 10509 HAS SOUS 9614 HAS SOUPS 9614 WITH SCORE 9624.509
AT ITER 874 NEW BEST:: SOT 40778 SOS 10508 HAS SOPS 10508 HAS SOUS 9613 HAS SOUPS 9613 WITH SCORE 9623.508
AT ITER 910 NEW BEST:: SOT 40775 SOS 10505 HAS SOPS 10505 HAS SOUS 9610 HAS SOUPS 9610 WITH SCORE 9620.505
AT ITER 938 NEW BEST:: SOT 40726 SOS 10407 HAS SOPS 10407 HAS SOUS 9561 HAS SOUPS 9561 WITH SCORE 9571.407
AT ITER 943 NEW BEST:: SOT 40721 SOS 10370 HAS SOPS 10370 HAS SOUS 9540 HAS SOUPS 9540 WITH SCORE 9550.37
AT ITER 944 NEW BEST:: SOT 40716 SOS 10355 HAS SOPS 10355 HAS SOUS 9525 HAS SOUPS 9525 WITH SCORE 9535.355
AT ITER 948 NEW BEST:: SOT 40708 SOS 10339 HAS SOPS 10339 HAS SOUS 9509 HAS SOUPS 9509 WITH SCORE 9519.339
AT ITER 952 NEW BEST:: SOT 40708 SOS 10310 HAS SOPS 10310 HAS SOUS 9480 HAS SOUPS 9480 WITH SCORE 9490.31
AT ITER 957 NEW BEST:: SOT 40705 SOS 10320 HAS SOPS 10320 HAS SOUS 9474 HAS SOUPS 9474 WITH SCORE 9484.32
AT ITER 958 NEW BEST:: SOT 40705 SOS 10310 HAS SOPS 10310 HAS SOUS 9464 HAS SOUPS 9464 WITH SCORE 9474.31
AT ITER 960 NEW BEST:: SOT 40710 SOS 10279 HAS SOPS 10279 HAS SOUS 9454 HAS SOUPS 9454 WITH SCORE 9464.279
AT ITER 975 NEW BEST:: SOT 40714 SOS 10269 HAS SOPS 10269 HAS SOUS 9444 HAS SOUPS 9444 WITH SCORE 9454.269
AT ITER 984 NEW BEST:: SOT 40714 SOS 10288 HAS SOPS 10288 HAS SOUS 9440 HAS SOUPS 9440 WITH SCORE 9450.288
AT ITER 988 NEW BEST:: SOT 40713 SOS 10286 HAS SOPS 10286 HAS SOUS 9438 HAS SOUPS 9438 WITH SCORE 9448.286
AT ITER 1003 NEW BEST:: SOT 40691 SOS 10242 HAS SOPS 10242 HAS SOUS 9405 HAS SOUPS 9405 WITH SCORE 9415.242
AT ITER 1016 NEW BEST:: SOT 40691 SOS 10223 HAS SOPS 10223 HAS SOUS 9405 HAS SOUPS 9405 WITH SCORE 9415.223
AT ITER 1020 NEW BEST:: SOT 40690 SOS 10221 HAS SOPS 10221 HAS SOUS 9403 HAS SOUPS 9403 WITH SCORE 9413.221
AT ITER 1029 NEW BEST:: SOT 40681 SOS 10203 HAS SOPS 10203 HAS SOUS 9385 HAS SOUPS 9385 WITH SCORE 9395.203
AT ITER 1049 NEW BEST:: SOT 40652 SOS 10100 HAS SOPS 10100 HAS SOUS 9326 HAS SOUPS 9326 WITH SCORE 9336.1
AT ITER 1074 NEW BEST:: SOT 40610 SOS 10083 HAS SOPS 10083 HAS SOUS 9303 HAS SOUPS 9303 WITH SCORE 9313.083
AT ITER 1121 NEW BEST:: SOT 40610 SOS 10069 HAS SOPS 10069 HAS SOUS 9301 HAS SOUPS 9301 WITH SCORE 9311.069
AT ITER 1125 NEW BEST:: SOT 40597 SOS 10056 HAS SOPS 10056 HAS SOUS 9288 HAS SOUPS 9288 WITH SCORE 9298.056
AT ITER 1144 NEW BEST:: SOT 40597 SOS 10051 HAS SOPS 10051 HAS SOUS 9288 HAS SOUPS 9288 WITH SCORE 9298.051
AT ITER 1158 NEW BEST:: SOT 40575 SOS 9983 HAS SOPS 9983 HAS SOUS 9210 HAS SOUPS 9210 WITH SCORE 9219.983
AT ITER 1176 NEW BEST:: SOT 40571 SOS 9975 HAS SOPS 9975 HAS SOUS 9202 HAS SOUPS 9202 WITH SCORE 9211.975
AT ITER 1186 NEW BEST:: SOT 40572 SOS 9972 HAS SOPS 9972 HAS SOUS 9199 HAS SOUPS 9199 WITH SCORE 9208.972
AT ITER 1198 NEW BEST:: SOT 40576 SOS 9973 HAS SOPS 9973 HAS SOUS 9196 HAS SOUPS 9196 WITH SCORE 9205.973
AT ITER 1213 NEW BEST:: SOT 40575 SOS 9952 HAS SOPS 9952 HAS SOUS 9175 HAS SOUPS 9175 WITH SCORE 9184.952
AT ITER 1214 NEW BEST:: SOT 40556 SOS 9942 HAS SOPS 9942 HAS SOUS 9165 HAS SOUPS 9165 WITH SCORE 9174.942
AT ITER 1226 NEW BEST:: SOT 40539 SOS 9927 HAS SOPS 9927 HAS SOUS 9150 HAS SOUPS 9150 WITH SCORE 9159.927
AT ITER 1229 NEW BEST:: SOT 40537 SOS 9925 HAS SOPS 9925 HAS SOUS 9148 HAS SOUPS 9148 WITH SCORE 9157.925
AT ITER 1239 NEW BEST:: SOT 40485 SOS 9953 HAS SOPS 9953 HAS SOUS 9139 HAS SOUPS 9139 WITH SCORE 9148.953
AT ITER 1251 NEW BEST:: SOT 40485 SOS 9905 HAS SOPS 9905 HAS SOUS 9107 HAS SOUPS 9107 WITH SCORE 9116.905
AT ITER 1285 NEW BEST:: SOT 40468 SOS 9888 HAS SOPS 9888 HAS SOUS 9090 HAS SOUPS 9090 WITH SCORE 9099.888
AT ITER 1289 NEW BEST:: SOT 40447 SOS 9867 HAS SOPS 9867 HAS SOUS 9069 HAS SOUPS 9069 WITH SCORE 9078.867
AT ITER 1290 NEW BEST:: SOT 40447 SOS 9834 HAS SOPS 9834 HAS SOUS 9036 HAS SOUPS 9036 WITH SCORE 9045.834
AT ITER 1325 NEW BEST:: SOT 40434 SOS 9844 HAS SOPS 9844 HAS SOUS 9035 HAS SOUPS 9035 WITH SCORE 9044.844
AT ITER 1330 NEW BEST:: SOT 40423 SOS 9838 HAS SOPS 9838 HAS SOUS 9024 HAS SOUPS 9024 WITH SCORE 9033.838
AT ITER 1374 NEW BEST:: SOT 40423 SOS 9828 HAS SOPS 9828 HAS SOUS 9005 HAS SOUPS 9005 WITH SCORE 9014.828
AT ITER 1382 NEW BEST:: SOT 40417 SOS 9828 HAS SOPS 9828 HAS SOUS 8999 HAS SOUPS 8999 WITH SCORE 9008.828
AT ITER 1423 NEW BEST:: SOT 40417 SOS 9818 HAS SOPS 9818 HAS SOUS 8999 HAS SOUPS 8999 WITH SCORE 9008.818
AT ITER 1446 NEW BEST:: SOT 40418 SOS 9819 HAS SOPS 9819 HAS SOUS 8995 HAS SOUPS 8995 WITH SCORE 9004.819
AT ITER 1458 NEW BEST:: SOT 40419 SOS 9794 HAS SOPS 9794 HAS SOUS 8993 HAS SOUPS 8993 WITH SCORE 9002.794
AT ITER 1483 NEW BEST:: SOT 40421 SOS 9798 HAS SOPS 9798 HAS SOUS 8974 HAS SOUPS 8974 WITH SCORE 8983.798
AT ITER 1517 NEW BEST:: SOT 40421 SOS 9797 HAS SOPS 9797 HAS SOUS 8973 HAS SOUPS 8973 WITH SCORE 8982.797
AT ITER 1567 NEW BEST:: SOT 40500 SOS 9753 HAS SOPS 9753 HAS SOUS 8935 HAS SOUPS 8935 WITH SCORE 8944.753
AT ITER 1571 NEW BEST:: SOT 40572 SOS 9832 HAS SOPS 9832 HAS SOUS 8888 HAS SOUPS 8888 WITH SCORE 8897.832
AT ITER 1576 NEW BEST:: SOT 40572 SOS 9831 HAS SOPS 9831 HAS SOUS 8888 HAS SOUPS 8888 WITH SCORE 8897.831
AT ITER 1586 NEW BEST:: SOT 40561 SOS 9783 HAS SOPS 9783 HAS SOUS 8864 HAS SOUPS 8864 WITH SCORE 8873.783
AT ITER 1601 NEW BEST:: SOT 40561 SOS 9757 HAS SOPS 9757 HAS SOUS 8850 HAS SOUPS 8850 WITH SCORE 8859.757
AT ITER 1657 NEW BEST:: SOT 40547 SOS 9744 HAS SOPS 9744 HAS SOUS 8837 HAS SOUPS 8837 WITH SCORE 8846.744
AT ITER 1674 NEW BEST:: SOT 40540 SOS 9748 HAS SOPS 9748 HAS SOUS 8836 HAS SOUPS 8836 WITH SCORE 8845.748
AT ITER 1675 NEW BEST:: SOT 40522 SOS 9683 HAS SOPS 9683 HAS SOUS 8794 HAS SOUPS 8794 WITH SCORE 8803.683
AT ITER 1698 NEW BEST:: SOT 40496 SOS 9589 HAS SOPS 9589 HAS SOUS 8756 HAS SOUPS 8756 WITH SCORE 8765.589
AT ITER 1739 NEW BEST:: SOT 40475 SOS 9583 HAS SOPS 9583 HAS SOUS 8747 HAS SOUPS 8747 WITH SCORE 8756.583
AT ITER 1741 NEW BEST:: SOT 40439 SOS 9545 HAS SOPS 9545 HAS SOUS 8709 HAS SOUPS 8709 WITH SCORE 8718.545
AT ITER 1745 NEW BEST:: SOT 40434 SOS 9501 HAS SOPS 9501 HAS SOUS 8703 HAS SOUPS 8703 WITH SCORE 8712.501
AT ITER 1765 NEW BEST:: SOT 40434 SOS 9501 HAS SOPS 9501 HAS SOUS 8695 HAS SOUPS 8695 WITH SCORE 8704.501
AT ITER 1823 NEW BEST:: SOT 40430 SOS 9493 HAS SOPS 9493 HAS SOUS 8691 HAS SOUPS 8691 WITH SCORE 8700.493
AT ITER 1850 NEW BEST:: SOT 40444 SOS 9497 HAS SOPS 9497 HAS SOUS 8688 HAS SOUPS 8688 WITH SCORE 8697.497
AT ITER 1862 NEW BEST:: SOT 40445 SOS 9496 HAS SOPS 9496 HAS SOUS 8688 HAS SOUPS 8688 WITH SCORE 8697.496
AT ITER 1926 NEW BEST:: SOT 40446 SOS 9466 HAS SOPS 9466 HAS SOUS 8639 HAS SOUPS 8639 WITH SCORE 8648.466
AT ITER 1931 NEW BEST:: SOT 40440 SOS 9454 HAS SOPS 9454 HAS SOUS 8633 HAS SOUPS 8633 WITH SCORE 8642.454
AT ITER 1938 NEW BEST:: SOT 40449 SOS 9461 HAS SOPS 9461 HAS SOUS 8629 HAS SOUPS 8629 WITH SCORE 8638.461
AT ITER 1989 NEW BEST:: SOT 40445 SOS 9447 HAS SOPS 9447 HAS SOUS 8615 HAS SOUPS 8615 WITH SCORE 8624.447
AT ITER 1992 NEW BEST:: SOT 40434 SOS 9417 HAS SOPS 9417 HAS SOUS 8613 HAS SOUPS 8613 WITH SCORE 8622.417
AT ITER 1998 NEW BEST:: SOT 40406 SOS 9407 HAS SOPS 9407 HAS SOUS 8608 HAS SOUPS 8608 WITH SCORE 8617.407
AT ITER 2006 NEW BEST:: SOT 40396 SOS 9373 HAS SOPS 9373 HAS SOUS 8588 HAS SOUPS 8588 WITH SCORE 8597.373
AT ITER 2057 NEW BEST:: SOT 40396 SOS 9371 HAS SOPS 9371 HAS SOUS 8586 HAS SOUPS 8586 WITH SCORE 8595.371
AT ITER 2059 NEW BEST:: SOT 40442 SOS 9407 HAS SOPS 9407 HAS SOUS 8580 HAS SOUPS 8580 WITH SCORE 8589.407
AT ITER 2072 NEW BEST:: SOT 40441 SOS 9406 HAS SOPS 9406 HAS SOUS 8579 HAS SOUPS 8579 WITH SCORE 8588.406
AT ITER 2081 NEW BEST:: SOT 40441 SOS 9405 HAS SOPS 9405 HAS SOUS 8578 HAS SOUPS 8578 WITH SCORE 8587.405
AT ITER 2082 NEW BEST:: SOT 40444 SOS 9365 HAS SOPS 9365 HAS SOUS 8558 HAS SOUPS 8558 WITH SCORE 8567.365
AT ITER 2108 NEW BEST:: SOT 40444 SOS 9364 HAS SOPS 9364 HAS SOUS 8557 HAS SOUPS 8557 WITH SCORE 8566.364
AT ITER 2135 NEW BEST:: SOT 40435 SOS 9363 HAS SOPS 9363 HAS SOUS 8556 HAS SOUPS 8556 WITH SCORE 8565.363
AT ITER 2173 NEW BEST:: SOT 40430 SOS 9348 HAS SOPS 9348 HAS SOUS 8546 HAS SOUPS 8546 WITH SCORE 8555.348
AT ITER 2188 NEW BEST:: SOT 40436 SOS 9327 HAS SOPS 9327 HAS SOUS 8528 HAS SOUPS 8528 WITH SCORE 8537.327
AT ITER 2207 NEW BEST:: SOT 40449 SOS 9280 HAS SOPS 9280 HAS SOUS 8505 HAS SOUPS 8505 WITH SCORE 8514.28
AT ITER 2210 NEW BEST:: SOT 40449 SOS 9273 HAS SOPS 9273 HAS SOUS 8505 HAS SOUPS 8505 WITH SCORE 8514.273
AT ITER 2222 NEW BEST:: SOT 40449 SOS 9272 HAS SOPS 9272 HAS SOUS 8504 HAS SOUPS 8504 WITH SCORE 8513.272
AT ITER 2233 NEW BEST:: SOT 40449 SOS 9267 HAS SOPS 9267 HAS SOUS 8497 HAS SOUPS 8497 WITH SCORE 8506.267
AT ITER 2245 NEW BEST:: SOT 40430 SOS 9259 HAS SOPS 9259 HAS SOUS 8489 HAS SOUPS 8489 WITH SCORE 8498.259
AT ITER 2254 NEW BEST:: SOT 40429 SOS 9256 HAS SOPS 9256 HAS SOUS 8486 HAS SOUPS 8486 WITH SCORE 8495.256
AT ITER 2256 NEW BEST:: SOT 40427 SOS 9254 HAS SOPS 9254 HAS SOUS 8484 HAS SOUPS 8484 WITH SCORE 8493.254
AT ITER 2270 NEW BEST:: SOT 40412 SOS 9252 HAS SOPS 9252 HAS SOUS 8482 HAS SOUPS 8482 WITH SCORE 8491.252
AT ITER 2309 NEW BEST:: SOT 40412 SOS 9251 HAS SOPS 9251 HAS SOUS 8481 HAS SOUPS 8481 WITH SCORE 8490.251
AT ITER 2314 NEW BEST:: SOT 40414 SOS 9224 HAS SOPS 9224 HAS SOUS 8454 HAS SOUPS 8454 WITH SCORE 8463.224
AT ITER 2316 NEW BEST:: SOT 40415 SOS 9214 HAS SOPS 9214 HAS SOUS 8444 HAS SOUPS 8444 WITH SCORE 8453.214
AT ITER 2336 NEW BEST:: SOT 40385 SOS 9175 HAS SOPS 9175 HAS SOUS 8393 HAS SOUPS 8393 WITH SCORE 8402.175
AT ITER 2343 NEW BEST:: SOT 40381 SOS 9167 HAS SOPS 9167 HAS SOUS 8387 HAS SOUPS 8387 WITH SCORE 8396.167
AT ITER 2357 NEW BEST:: SOT 40380 SOS 9166 HAS SOPS 9166 HAS SOUS 8385 HAS SOUPS 8385 WITH SCORE 8394.166
AT ITER 2369 NEW BEST:: SOT 40376 SOS 9162 HAS SOPS 9162 HAS SOUS 8381 HAS SOUPS 8381 WITH SCORE 8390.162
AT ITER 2380 NEW BEST:: SOT 40371 SOS 9162 HAS SOPS 9162 HAS SOUS 8377 HAS SOUPS 8377 WITH SCORE 8386.162
AT ITER 2404 NEW BEST:: SOT 40328 SOS 9173 HAS SOPS 9173 HAS SOUS 8345 HAS SOUPS 8345 WITH SCORE 8354.173
AT ITER 2416 NEW BEST:: SOT 40321 SOS 9147 HAS SOPS 9147 HAS SOUS 8319 HAS SOUPS 8319 WITH SCORE 8328.147
AT ITER 2435 NEW BEST:: SOT 40323 SOS 9145 HAS SOPS 9145 HAS SOUS 8319 HAS SOUPS 8319 WITH SCORE 8328.145
AT ITER 2477 NEW BEST:: SOT 40318 SOS 9135 HAS SOPS 9135 HAS SOUS 8314 HAS SOUPS 8314 WITH SCORE 8323.135
AT ITER 2533 NEW BEST:: SOT 40318 SOS 9135 HAS SOPS 9135 HAS SOUS 8304 HAS SOUPS 8304 WITH SCORE 8313.135
AT ITER 2549 NEW BEST:: SOT 40316 SOS 9129 HAS SOPS 9129 HAS SOUS 8300 HAS SOUPS 8300 WITH SCORE 8309.129
AT ITER 2570 NEW BEST:: SOT 40316 SOS 9126 HAS SOPS 9126 HAS SOUS 8297 HAS SOUPS 8297 WITH SCORE 8306.126
AT ITER 2609 NEW BEST:: SOT 40316 SOS 9115 HAS SOPS 9115 HAS SOUS 8286 HAS SOUPS 8286 WITH SCORE 8295.115
AT ITER 2635 NEW BEST:: SOT 40341 SOS 9052 HAS SOPS 9052 HAS SOUS 8271 HAS SOUPS 8271 WITH SCORE 8280.052
AT ITER 2646 NEW BEST:: SOT 40333 SOS 9036 HAS SOPS 9036 HAS SOUS 8255 HAS SOUPS 8255 WITH SCORE 8264.036
AT ITER 2674 NEW BEST:: SOT 40336 SOS 9003 HAS SOPS 9003 HAS SOUS 8222 HAS SOUPS 8222 WITH SCORE 8231.003
AT ITER 2682 NEW BEST:: SOT 40335 SOS 8984 HAS SOPS 8984 HAS SOUS 8218 HAS SOUPS 8218 WITH SCORE 8226.984
AT ITER 2696 NEW BEST:: SOT 40337 SOS 8975 HAS SOPS 8975 HAS SOUS 8209 HAS SOUPS 8209 WITH SCORE 8217.975
AT ITER 2763 NEW BEST:: SOT 40362 SOS 8973 HAS SOPS 8973 HAS SOUS 8207 HAS SOUPS 8207 WITH SCORE 8215.973
AT ITER 2771 NEW BEST:: SOT 40357 SOS 8959 HAS SOPS 8959 HAS SOUS 8193 HAS SOUPS 8193 WITH SCORE 8201.959
AT ITER 2798 NEW BEST:: SOT 40358 SOS 8953 HAS SOPS 8953 HAS SOUS 8190 HAS SOUPS 8190 WITH SCORE 8198.953
AT ITER 2801 NEW BEST:: SOT 40411 SOS 8940 HAS SOPS 8940 HAS SOUS 8178 HAS SOUPS 8178 WITH SCORE 8186.94
AT ITER 2869 NEW BEST:: SOT 40410 SOS 8915 HAS SOPS 8915 HAS SOUS 8153 HAS SOUPS 8153 WITH SCORE 8161.915
AT ITER 2878 NEW BEST:: SOT 40406 SOS 8911 HAS SOPS 8911 HAS SOUS 8149 HAS SOUPS 8149 WITH SCORE 8157.911
AT ITER 2903 NEW BEST:: SOT 40393 SOS 8901 HAS SOPS 8901 HAS SOUS 8139 HAS SOUPS 8139 WITH SCORE 8147.901
AT ITER 2912 NEW BEST:: SOT 40387 SOS 8858 HAS SOPS 8858 HAS SOUS 8100 HAS SOUPS 8100 WITH SCORE 8108.858
AT ITER 2926 NEW BEST:: SOT 40383 SOS 8814 HAS SOPS 8814 HAS SOUS 8056 HAS SOUPS 8056 WITH SCORE 8064.814
AT ITER 2933 NEW BEST:: SOT 40383 SOS 8812 HAS SOPS 8812 HAS SOUS 8054 HAS SOUPS 8054 WITH SCORE 8062.812
AT ITER 2950 NEW BEST:: SOT 40366 SOS 8801 HAS SOPS 8801 HAS SOUS 8037 HAS SOUPS 8037 WITH SCORE 8045.801
AT ITER 2974 NEW BEST:: SOT 40373 SOS 8794 HAS SOPS 8794 HAS SOUS 8037 HAS SOUPS 8037 WITH SCORE 8045.794
AT ITER 2978 NEW BEST:: SOT 40356 SOS 8745 HAS SOPS 8745 HAS SOUS 7988 HAS SOUPS 7988 WITH SCORE 7996.745
AT ITER 3023 NEW BEST:: SOT 40361 SOS 8740 HAS SOPS 8740 HAS SOUS 7963 HAS SOUPS 7963 WITH SCORE 7971.74
AT ITER 3031 NEW BEST:: SOT 40337 SOS 8730 HAS SOPS 8730 HAS SOUS 7953 HAS SOUPS 7953 WITH SCORE 7961.73
AT ITER 3033 NEW BEST:: SOT 40330 SOS 8730 HAS SOPS 8730 HAS SOUS 7939 HAS SOUPS 7939 WITH SCORE 7947.73
AT ITER 3054 NEW BEST:: SOT 40304 SOS 8678 HAS SOPS 8678 HAS SOUS 7887 HAS SOUPS 7887 WITH SCORE 7895.678
AT ITER 3079 NEW BEST:: SOT 40304 SOS 8662 HAS SOPS 8662 HAS SOUS 7855 HAS SOUPS 7855 WITH SCORE 7863.662
AT ITER 3114 NEW BEST:: SOT 40303 SOS 8660 HAS SOPS 8660 HAS SOUS 7854 HAS SOUPS 7854 WITH SCORE 7862.66
AT ITER 3123 NEW BEST:: SOT 40281 SOS 8629 HAS SOPS 8629 HAS SOUS 7825 HAS SOUPS 7825 WITH SCORE 7833.629
AT ITER 3198 NEW BEST:: SOT 40281 SOS 8628 HAS SOPS 8628 HAS SOUS 7824 HAS SOUPS 7824 WITH SCORE 7832.628
AT ITER 3274 NEW BEST:: SOT 40281 SOS 8623 HAS SOPS 8623 HAS SOUS 7819 HAS SOUPS 7819 WITH SCORE 7827.623
AT ITER 3277 NEW BEST:: SOT 40263 SOS 8566 HAS SOPS 8566 HAS SOUS 7783 HAS SOUPS 7783 WITH SCORE 7791.566
AT ITER 3302 NEW BEST:: SOT 40263 SOS 8548 HAS SOPS 8548 HAS SOUS 7783 HAS SOUPS 7783 WITH SCORE 7791.548
AT ITER 3319 NEW BEST:: SOT 40264 SOS 8546 HAS SOPS 8546 HAS SOUS 7781 HAS SOUPS 7781 WITH SCORE 7789.546
AT ITER 3338 NEW BEST:: SOT 40261 SOS 8534 HAS SOPS 8534 HAS SOUS 7775 HAS SOUPS 7775 WITH SCORE 7783.534
AT ITER 3362 NEW BEST:: SOT 40249 SOS 8510 HAS SOPS 8510 HAS SOUS 7757 HAS SOUPS 7757 WITH SCORE 7765.51
AT ITER 3474 NEW BEST:: SOT 40245 SOS 8502 HAS SOPS 8502 HAS SOUS 7749 HAS SOUPS 7749 WITH SCORE 7757.502
AT ITER 3503 NEW BEST:: SOT 40223 SOS 8458 HAS SOPS 8458 HAS SOUS 7727 HAS SOUPS 7727 WITH SCORE 7735.458
AT ITER 3547 NEW BEST:: SOT 40217 SOS 8452 HAS SOPS 8452 HAS SOUS 7721 HAS SOUPS 7721 WITH SCORE 7729.452
AT ITER 3564 NEW BEST:: SOT 40217 SOS 8469 HAS SOPS 8469 HAS SOUS 7710 HAS SOUPS 7710 WITH SCORE 7718.469
AT ITER 3568 NEW BEST:: SOT 40210 SOS 8470 HAS SOPS 8470 HAS SOUS 7701 HAS SOUPS 7701 WITH SCORE 7709.47
AT ITER 3607 NEW BEST:: SOT 40210 SOS 8462 HAS SOPS 8462 HAS SOUS 7697 HAS SOUPS 7697 WITH SCORE 7705.462
AT ITER 3653 NEW BEST:: SOT 40210 SOS 8438 HAS SOPS 8438 HAS SOUS 7697 HAS SOUPS 7697 WITH SCORE 7705.438
AT ITER 3673 NEW BEST:: SOT 40202 SOS 8410 HAS SOPS 8410 HAS SOUS 7674 HAS SOUPS 7674 WITH SCORE 7682.41
AT ITER 3683 NEW BEST:: SOT 40208 SOS 8422 HAS SOPS 8422 HAS SOUS 7673 HAS SOUPS 7673 WITH SCORE 7681.422
AT ITER 3702 NEW BEST:: SOT 40208 SOS 8421 HAS SOPS 8421 HAS SOUS 7673 HAS SOUPS 7673 WITH SCORE 7681.421
AT ITER 3721 NEW BEST:: SOT 40208 SOS 8421 HAS SOPS 8421 HAS SOUS 7671 HAS SOUPS 7671 WITH SCORE 7679.421
AT ITER 3729 NEW BEST:: SOT 40206 SOS 8416 HAS SOPS 8416 HAS SOUS 7666 HAS SOUPS 7666 WITH SCORE 7674.416
AT ITER 3733 NEW BEST:: SOT 40206 SOS 8411 HAS SOPS 8411 HAS SOUS 7661 HAS SOUPS 7661 WITH SCORE 7669.411
AT ITER 3739 NEW BEST:: SOT 40206 SOS 8405 HAS SOPS 8405 HAS SOUS 7658 HAS SOUPS 7658 WITH SCORE 7666.405
AT ITER 3741 NEW BEST:: SOT 40206 SOS 8392 HAS SOPS 8392 HAS SOUS 7658 HAS SOUPS 7658 WITH SCORE 7666.392
AT ITER 3760 NEW BEST:: SOT 40200 SOS 8382 HAS SOPS 8382 HAS SOUS 7648 HAS SOUPS 7648 WITH SCORE 7656.382
AT ITER 3811 NEW BEST:: SOT 40196 SOS 8293 HAS SOPS 8293 HAS SOUS 7642 HAS SOUPS 7642 WITH SCORE 7650.293
AT ITER 3828 NEW BEST:: SOT 40193 SOS 8281 HAS SOPS 8281 HAS SOUS 7636 HAS SOUPS 7636 WITH SCORE 7644.281
AT ITER 3835 NEW BEST:: SOT 40188 SOS 8278 HAS SOPS 8278 HAS SOUS 7608 HAS SOUPS 7608 WITH SCORE 7616.278
AT ITER 3836 NEW BEST:: SOT 40187 SOS 8282 HAS SOPS 8282 HAS SOUS 7607 HAS SOUPS 7607 WITH SCORE 7615.282
AT ITER 3852 NEW BEST:: SOT 40183 SOS 8276 HAS SOPS 8276 HAS SOUS 7603 HAS SOUPS 7603 WITH SCORE 7611.276
AT ITER 3857 NEW BEST:: SOT 40167 SOS 8273 HAS SOPS 8273 HAS SOUS 7600 HAS SOUPS 7600 WITH SCORE 7608.273
AT ITER 3917 NEW BEST:: SOT 40165 SOS 8281 HAS SOPS 8281 HAS SOUS 7598 HAS SOUPS 7598 WITH SCORE 7606.281
AT ITER 3948 NEW BEST:: SOT 40158 SOS 8263 HAS SOPS 8263 HAS SOUS 7595 HAS SOUPS 7595 WITH SCORE 7603.263
AT ITER 3952 NEW BEST:: SOT 40111 SOS 8221 HAS SOPS 8221 HAS SOUS 7553 HAS SOUPS 7553 WITH SCORE 7561.221
AT ITER 3960 NEW BEST:: SOT 40112 SOS 8214 HAS SOPS 8214 HAS SOUS 7546 HAS SOUPS 7546 WITH SCORE 7554.214
AT ITER 3967 NEW BEST:: SOT 40112 SOS 8219 HAS SOPS 8219 HAS SOUS 7545 HAS SOUPS 7545 WITH SCORE 7553.219
AT ITER 3969 NEW BEST:: SOT 40113 SOS 8207 HAS SOPS 8207 HAS SOUS 7540 HAS SOUPS 7540 WITH SCORE 7548.207
AT ITER 3975 NEW BEST:: SOT 40102 SOS 8204 HAS SOPS 8204 HAS SOUS 7529 HAS SOUPS 7529 WITH SCORE 7537.204
AT ITER 3992 NEW BEST:: SOT 40099 SOS 8200 HAS SOPS 8200 HAS SOUS 7525 HAS SOUPS 7525 WITH SCORE 7533.2
AT ITER 4033 NEW BEST:: SOT 40099 SOS 8195 HAS SOPS 8195 HAS SOUS 7520 HAS SOUPS 7520 WITH SCORE 7528.195
AT ITER 4045 NEW BEST:: SOT 40093 SOS 8193 HAS SOPS 8193 HAS SOUS 7518 HAS SOUPS 7518 WITH SCORE 7526.193
AT ITER 4048 NEW BEST:: SOT 40092 SOS 8191 HAS SOPS 8191 HAS SOUS 7516 HAS SOUPS 7516 WITH SCORE 7524.191
AT ITER 4084 NEW BEST:: SOT 40092 SOS 8170 HAS SOPS 8170 HAS SOUS 7516 HAS SOUPS 7516 WITH SCORE 7524.17
AT ITER 4102 NEW BEST:: SOT 40085 SOS 8131 HAS SOPS 8131 HAS SOUS 7492 HAS SOUPS 7492 WITH SCORE 7500.131
AT ITER 4119 NEW BEST:: SOT 40078 SOS 8128 HAS SOPS 8128 HAS SOUS 7485 HAS SOUPS 7485 WITH SCORE 7493.128
AT ITER 4121 NEW BEST:: SOT 40079 SOS 8112 HAS SOPS 8112 HAS SOUS 7478 HAS SOUPS 7478 WITH SCORE 7486.112
AT ITER 4130 NEW BEST:: SOT 40071 SOS 8104 HAS SOPS 8104 HAS SOUS 7470 HAS SOUPS 7470 WITH SCORE 7478.104
AT ITER 4160 NEW BEST:: SOT 40071 SOS 8103 HAS SOPS 8103 HAS SOUS 7469 HAS SOUPS 7469 WITH SCORE 7477.103
AT ITER 4177 NEW BEST:: SOT 40061 SOS 8083 HAS SOPS 8083 HAS SOUS 7445 HAS SOUPS 7445 WITH SCORE 7453.083
AT ITER 4209 NEW BEST:: SOT 40061 SOS 8079 HAS SOPS 8079 HAS SOUS 7441 HAS SOUPS 7441 WITH SCORE 7449.079
AT ITER 4210 NEW BEST:: SOT 40059 SOS 8075 HAS SOPS 8075 HAS SOUS 7437 HAS SOUPS 7437 WITH SCORE 7445.075
AT ITER 4263 NEW BEST:: SOT 40039 SOS 8035 HAS SOPS 8035 HAS SOUS 7397 HAS SOUPS 7397 WITH SCORE 7405.035
AT ITER 4264 NEW BEST:: SOT 40039 SOS 8031 HAS SOPS 8031 HAS SOUS 7393 HAS SOUPS 7393 WITH SCORE 7401.031
AT ITER 4279 NEW BEST:: SOT 40031 SOS 8012 HAS SOPS 8012 HAS SOUS 7385 HAS SOUPS 7385 WITH SCORE 7393.012
AT ITER 4282 NEW BEST:: SOT 40023 SOS 8020 HAS SOPS 8020 HAS SOUS 7377 HAS SOUPS 7377 WITH SCORE 7385.02
AT ITER 4305 NEW BEST:: SOT 40022 SOS 7993 HAS SOPS 7993 HAS SOUS 7375 HAS SOUPS 7375 WITH SCORE 7382.993
AT ITER 4317 NEW BEST:: SOT 40014 SOS 8004 HAS SOPS 8004 HAS SOUS 7374 HAS SOUPS 7374 WITH SCORE 7382.004
AT ITER 4356 NEW BEST:: SOT 39987 SOS 7952 HAS SOPS 7952 HAS SOUS 7322 HAS SOUPS 7322 WITH SCORE 7329.952
AT ITER 4391 NEW BEST:: SOT 39987 SOS 7936 HAS SOPS 7936 HAS SOUS 7322 HAS SOUPS 7322 WITH SCORE 7329.936
AT ITER 4443 NEW BEST:: SOT 39987 SOS 7933 HAS SOPS 7933 HAS SOUS 7319 HAS SOUPS 7319 WITH SCORE 7326.933
AT ITER 4449 NEW BEST:: SOT 39987 SOS 7925 HAS SOPS 7925 HAS SOUS 7311 HAS SOUPS 7311 WITH SCORE 7318.925
AT ITER 4462 NEW BEST:: SOT 39984 SOS 7909 HAS SOPS 7909 HAS SOUS 7295 HAS SOUPS 7295 WITH SCORE 7302.909
AT ITER 4481 NEW BEST:: SOT 39980 SOS 7901 HAS SOPS 7901 HAS SOUS 7287 HAS SOUPS 7287 WITH SCORE 7294.901
AT ITER 4496 NEW BEST:: SOT 39973 SOS 7901 HAS SOPS 7901 HAS SOUS 7286 HAS SOUPS 7286 WITH SCORE 7293.901
AT ITER 4498 NEW BEST:: SOT 39971 SOS 7897 HAS SOPS 7897 HAS SOUS 7284 HAS SOUPS 7284 WITH SCORE 7291.897
AT ITER 4530 NEW BEST:: SOT 39955 SOS 7844 HAS SOPS 7844 HAS SOUS 7241 HAS SOUPS 7241 WITH SCORE 7248.844
AT ITER 4540 NEW BEST:: SOT 39952 SOS 7835 HAS SOPS 7835 HAS SOUS 7238 HAS SOUPS 7238 WITH SCORE 7245.835
AT ITER 4570 NEW BEST:: SOT 39950 SOS 7833 HAS SOPS 7833 HAS SOUS 7236 HAS SOUPS 7236 WITH SCORE 7243.833
AT ITER 4590 NEW BEST:: SOT 39950 SOS 7828 HAS SOPS 7828 HAS SOUS 7236 HAS SOUPS 7236 WITH SCORE 7243.828
AT ITER 4599 NEW BEST:: SOT 39950 SOS 7825 HAS SOPS 7825 HAS SOUS 7233 HAS SOUPS 7233 WITH SCORE 7240.825
AT ITER 4619 NEW BEST:: SOT 39952 SOS 7825 HAS SOPS 7825 HAS SOUS 7226 HAS SOUPS 7226 WITH SCORE 7233.825
AT ITER 4654 NEW BEST:: SOT 39946 SOS 7813 HAS SOPS 7813 HAS SOUS 7214 HAS SOUPS 7214 WITH SCORE 7221.813
AT ITER 4709 NEW BEST:: SOT 39942 SOS 7819 HAS SOPS 7819 HAS SOUS 7212 HAS SOUPS 7212 WITH SCORE 7219.819
AT ITER 4748 NEW BEST:: SOT 39944 SOS 7816 HAS SOPS 7816 HAS SOUS 7202 HAS SOUPS 7202 WITH SCORE 7209.816
AT ITER 4763 NEW BEST:: SOT 39939 SOS 7806 HAS SOPS 7806 HAS SOUS 7192 HAS SOUPS 7192 WITH SCORE 7199.806
AT ITER 4794 NEW BEST:: SOT 39933 SOS 7797 HAS SOPS 7797 HAS SOUS 7186 HAS SOUPS 7186 WITH SCORE 7193.797
AT ITER 4837 NEW BEST:: SOT 39931 SOS 7795 HAS SOPS 7795 HAS SOUS 7184 HAS SOUPS 7184 WITH SCORE 7191.795
AT ITER 4840 NEW BEST:: SOT 39911 SOS 7721 HAS SOPS 7721 HAS SOUS 7167 HAS SOUPS 7167 WITH SCORE 7174.721
AT ITER 4854 NEW BEST:: SOT 39921 SOS 7708 HAS SOPS 7708 HAS SOUS 7154 HAS SOUPS 7154 WITH SCORE 7161.708
AT ITER 4872 NEW BEST:: SOT 39922 SOS 7706 HAS SOPS 7706 HAS SOUS 7152 HAS SOUPS 7152 WITH SCORE 7159.706
AT ITER 4878 NEW BEST:: SOT 39917 SOS 7696 HAS SOPS 7696 HAS SOUS 7147 HAS SOUPS 7147 WITH SCORE 7154.696
AT ITER 4984 NEW BEST:: SOT 39918 SOS 7694 HAS SOPS 7694 HAS SOUS 7145 HAS SOUPS 7145 WITH SCORE 7152.694
AT ITER 5001 NEW BEST:: SOT 39918 SOS 7685 HAS SOPS 7685 HAS SOUS 7136 HAS SOUPS 7136 WITH SCORE 7143.685
AT ITER 5009 NEW BEST:: SOT 39897 SOS 7643 HAS SOPS 7643 HAS SOUS 7099 HAS SOUPS 7099 WITH SCORE 7106.643
AT ITER 5046 NEW BEST:: SOT 39898 SOS 7637 HAS SOPS 7637 HAS SOUS 7085 HAS SOUPS 7085 WITH SCORE 7092.637
AT ITER 5068 NEW BEST:: SOT 39896 SOS 7635 HAS SOPS 7635 HAS SOUS 7083 HAS SOUPS 7083 WITH SCORE 7090.635
AT ITER 5083 NEW BEST:: SOT 39895 SOS 7633 HAS SOPS 7633 HAS SOUS 7081 HAS SOUPS 7081 WITH SCORE 7088.633
AT ITER 5095 NEW BEST:: SOT 39894 SOS 7624 HAS SOPS 7624 HAS SOUS 7072 HAS SOUPS 7072 WITH SCORE 7079.624
AT ITER 5131 NEW BEST:: SOT 39893 SOS 7622 HAS SOPS 7622 HAS SOUS 7070 HAS SOUPS 7070 WITH SCORE 7077.622
AT ITER 5163 NEW BEST:: SOT 39892 SOS 7616 HAS SOPS 7616 HAS SOUS 7069 HAS SOUPS 7069 WITH SCORE 7076.616
AT ITER 5216 NEW BEST:: SOT 39893 SOS 7616 HAS SOPS 7616 HAS SOUS 7066 HAS SOUPS 7066 WITH SCORE 7073.616
AT ITER 5228 NEW BEST:: SOT 39893 SOS 7580 HAS SOPS 7580 HAS SOUS 7030 HAS SOUPS 7030 WITH SCORE 7037.58
AT ITER 5235 NEW BEST:: SOT 39893 SOS 7578 HAS SOPS 7578 HAS SOUS 7028 HAS SOUPS 7028 WITH SCORE 7035.578
AT ITER 5244 NEW BEST:: SOT 39884 SOS 7576 HAS SOPS 7576 HAS SOUS 7026 HAS SOUPS 7026 WITH SCORE 7033.576
AT ITER 5285 NEW BEST:: SOT 39884 SOS 7568 HAS SOPS 7568 HAS SOUS 7020 HAS SOUPS 7020 WITH SCORE 7027.568
AT ITER 5300 NEW BEST:: SOT 39884 SOS 7574 HAS SOPS 7574 HAS SOUS 7015 HAS SOUPS 7015 WITH SCORE 7022.574
AT ITER 5319 NEW BEST:: SOT 39884 SOS 7572 HAS SOPS 7572 HAS SOUS 7013 HAS SOUPS 7013 WITH SCORE 7020.572
AT ITER 5405 NEW BEST:: SOT 39883 SOS 7571 HAS SOPS 7571 HAS SOUS 7012 HAS SOUPS 7012 WITH SCORE 7019.571
AT ITER 5406 NEW BEST:: SOT 39883 SOS 7540 HAS SOPS 7540 HAS SOUS 7012 HAS SOUPS 7012 WITH SCORE 7019.54
AT ITER 5410 NEW BEST:: SOT 39883 SOS 7539 HAS SOPS 7539 HAS SOUS 7011 HAS SOUPS 7011 WITH SCORE 7018.539
AT ITER 5442 NEW BEST:: SOT 39879 SOS 7533 HAS SOPS 7533 HAS SOUS 7005 HAS SOUPS 7005 WITH SCORE 7012.533
AT ITER 5449 NEW BEST:: SOT 39879 SOS 7533 HAS SOPS 7533 HAS SOUS 7003 HAS SOUPS 7003 WITH SCORE 7010.533
AT ITER 5477 NEW BEST:: SOT 39911 SOS 7559 HAS SOPS 7559 HAS SOUS 6993 HAS SOUPS 6993 WITH SCORE 7000.559
AT ITER 5557 NEW BEST:: SOT 39910 SOS 7557 HAS SOPS 7557 HAS SOUS 6991 HAS SOUPS 6991 WITH SCORE 6998.557
AT ITER 5593 NEW BEST:: SOT 39908 SOS 7555 HAS SOPS 7555 HAS SOUS 6989 HAS SOUPS 6989 WITH SCORE 6996.555
AT ITER 5655 NEW BEST:: SOT 39908 SOS 7549 HAS SOPS 7549 HAS SOUS 6986 HAS SOUPS 6986 WITH SCORE 6993.549
AT ITER 5672 NEW BEST:: SOT 39908 SOS 7549 HAS SOPS 7549 HAS SOUS 6985 HAS SOUPS 6985 WITH SCORE 6992.549
AT ITER 5697 NEW BEST:: SOT 39905 SOS 7543 HAS SOPS 7543 HAS SOUS 6976 HAS SOUPS 6976 WITH SCORE 6983.543
AT ITER 5710 NEW BEST:: SOT 39906 SOS 7545 HAS SOPS 7545 HAS SOUS 6975 HAS SOUPS 6975 WITH SCORE 6982.545
AT ITER 5788 NEW BEST:: SOT 39902 SOS 7543 HAS SOPS 7543 HAS SOUS 6971 HAS SOUPS 6971 WITH SCORE 6978.543
AT ITER 5869 NEW BEST:: SOT 39897 SOS 7518 HAS SOPS 7518 HAS SOUS 6963 HAS SOUPS 6963 WITH SCORE 6970.518
AT ITER 5984 NEW BEST:: SOT 39892 SOS 7508 HAS SOPS 7508 HAS SOUS 6953 HAS SOUPS 6953 WITH SCORE 6960.508
AT ITER 6038 NEW BEST:: SOT 39882 SOS 7489 HAS SOPS 7489 HAS SOUS 6947 HAS SOUPS 6947 WITH SCORE 6954.489
AT ITER 6096 NEW BEST:: SOT 39865 SOS 7472 HAS SOPS 7472 HAS SOUS 6930 HAS SOUPS 6930 WITH SCORE 6937.472
AT ITER 6115 NEW BEST:: SOT 39848 SOS 7438 HAS SOPS 7438 HAS SOUS 6898 HAS SOUPS 6898 WITH SCORE 6905.438
AT ITER 6176 NEW BEST:: SOT 39846 SOS 7436 HAS SOPS 7436 HAS SOUS 6896 HAS SOUPS 6896 WITH SCORE 6903.436
AT ITER 6216 NEW BEST:: SOT 39845 SOS 7435 HAS SOPS 7435 HAS SOUS 6895 HAS SOUPS 6895 WITH SCORE 6902.435
AT ITER 6265 NEW BEST:: SOT 39845 SOS 7422 HAS SOPS 7422 HAS SOUS 6882 HAS SOUPS 6882 WITH SCORE 6889.422
AT ITER 6267 NEW BEST:: SOT 39843 SOS 7420 HAS SOPS 7420 HAS SOUS 6878 HAS SOUPS 6878 WITH SCORE 6885.42
AT ITER 6268 NEW BEST:: SOT 39843 SOS 7416 HAS SOPS 7416 HAS SOUS 6874 HAS SOUPS 6874 WITH SCORE 6881.416
AT ITER 6286 NEW BEST:: SOT 39830 SOS 7411 HAS SOPS 7411 HAS SOUS 6869 HAS SOUPS 6869 WITH SCORE 6876.411
AT ITER 6287 NEW BEST:: SOT 39830 SOS 7401 HAS SOPS 7401 HAS SOUS 6869 HAS SOUPS 6869 WITH SCORE 6876.401
AT ITER 6300 NEW BEST:: SOT 39828 SOS 7399 HAS SOPS 7399 HAS SOUS 6867 HAS SOUPS 6867 WITH SCORE 6874.399
AT ITER 6406 NEW BEST:: SOT 39824 SOS 7391 HAS SOPS 7391 HAS SOUS 6863 HAS SOUPS 6863 WITH SCORE 6870.391
AT ITER 6437 NEW BEST:: SOT 39818 SOS 7385 HAS SOPS 7385 HAS SOUS 6863 HAS SOUPS 6863 WITH SCORE 6870.385
AT ITER 6473 NEW BEST:: SOT 39839 SOS 7406 HAS SOPS 7406 HAS SOUS 6862 HAS SOUPS 6862 WITH SCORE 6869.406
AT ITER 6502 NEW BEST:: SOT 39841 SOS 7421 HAS SOPS 7421 HAS SOUS 6861 HAS SOUPS 6861 WITH SCORE 6868.421
AT ITER 6535 NEW BEST:: SOT 39840 SOS 7419 HAS SOPS 7419 HAS SOUS 6859 HAS SOUPS 6859 WITH SCORE 6866.419
AT ITER 6555 NEW BEST:: SOT 39836 SOS 7415 HAS SOPS 7415 HAS SOUS 6855 HAS SOUPS 6855 WITH SCORE 6862.415
AT ITER 6624 NEW BEST:: SOT 39836 SOS 7414 HAS SOPS 7414 HAS SOUS 6854 HAS SOUPS 6854 WITH SCORE 6861.414
AT ITER 6662 NEW BEST:: SOT 39836 SOS 7406 HAS SOPS 7406 HAS SOUS 6846 HAS SOUPS 6846 WITH SCORE 6853.406
AT ITER 6721 NEW BEST:: SOT 39831 SOS 7404 HAS SOPS 7404 HAS SOUS 6844 HAS SOUPS 6844 WITH SCORE 6851.404
AT ITER 6731 NEW BEST:: SOT 39826 SOS 7396 HAS SOPS 7396 HAS SOUS 6836 HAS SOUPS 6836 WITH SCORE 6843.396
AT ITER 6744 NEW BEST:: SOT 39829 SOS 7396 HAS SOPS 7396 HAS SOUS 6833 HAS SOUPS 6833 WITH SCORE 6840.396
AT ITER 6766 NEW BEST:: SOT 39829 SOS 7389 HAS SOPS 7389 HAS SOUS 6833 HAS SOUPS 6833 WITH SCORE 6840.389
AT ITER 6828 NEW BEST:: SOT 39821 SOS 7373 HAS SOPS 7373 HAS SOUS 6800 HAS SOUPS 6800 WITH SCORE 6807.373
AT ITER 6832 NEW BEST:: SOT 39821 SOS 7365 HAS SOPS 7365 HAS SOUS 6792 HAS SOUPS 6792 WITH SCORE 6799.365
AT ITER 6852 NEW BEST:: SOT 39818 SOS 7359 HAS SOPS 7359 HAS SOUS 6787 HAS SOUPS 6787 WITH SCORE 6794.359
AT ITER 6895 NEW BEST:: SOT 39821 SOS 7327 HAS SOPS 7327 HAS SOUS 6772 HAS SOUPS 6772 WITH SCORE 6779.327
AT ITER 6932 NEW BEST:: SOT 39820 SOS 7326 HAS SOPS 7326 HAS SOUS 6771 HAS SOUPS 6771 WITH SCORE 6778.326
AT ITER 6948 NEW BEST:: SOT 39834 SOS 7289 HAS SOPS 7289 HAS SOUS 6764 HAS SOUPS 6764 WITH SCORE 6771.289
AT ITER 7006 NEW BEST:: SOT 39824 SOS 7281 HAS SOPS 7281 HAS SOUS 6754 HAS SOUPS 6754 WITH SCORE 6761.281
AT ITER 7075 NEW BEST:: SOT 39827 SOS 7246 HAS SOPS 7246 HAS SOUS 6736 HAS SOUPS 6736 WITH SCORE 6743.246
AT ITER 7104 NEW BEST:: SOT 39822 SOS 7241 HAS SOPS 7241 HAS SOUS 6731 HAS SOUPS 6731 WITH SCORE 6738.241
AT ITER 7167 NEW BEST:: SOT 39822 SOS 7223 HAS SOPS 7223 HAS SOUS 6731 HAS SOUPS 6731 WITH SCORE 6738.223
AT ITER 7169 NEW BEST:: SOT 39789 SOS 7175 HAS SOPS 7175 HAS SOUS 6709 HAS SOUPS 6709 WITH SCORE 6716.175
AT ITER 7175 NEW BEST:: SOT 39788 SOS 7174 HAS SOPS 7174 HAS SOUS 6708 HAS SOUPS 6708 WITH SCORE 6715.174
AT ITER 7199 NEW BEST:: SOT 39796 SOS 7191 HAS SOPS 7191 HAS SOUS 6707 HAS SOUPS 6707 WITH SCORE 6714.191
AT ITER 7230 NEW BEST:: SOT 39796 SOS 7189 HAS SOPS 7189 HAS SOUS 6705 HAS SOUPS 6705 WITH SCORE 6712.189
AT ITER 7300 NEW BEST:: SOT 39795 SOS 7187 HAS SOPS 7187 HAS SOUS 6703 HAS SOUPS 6703 WITH SCORE 6710.187
AT ITER 7319 NEW BEST:: SOT 39792 SOS 7178 HAS SOPS 7178 HAS SOUS 6697 HAS SOUPS 6697 WITH SCORE 6704.178
AT ITER 7508 NEW BEST:: SOT 39792 SOS 7177 HAS SOPS 7177 HAS SOUS 6697 HAS SOUPS 6697 WITH SCORE 6704.177
AT ITER 7560 NEW BEST:: SOT 39781 SOS 7169 HAS SOPS 7169 HAS SOUS 6689 HAS SOUPS 6689 WITH SCORE 6696.169
AT ITER 7591 NEW BEST:: SOT 39795 SOS 7151 HAS SOPS 7151 HAS SOUS 6671 HAS SOUPS 6671 WITH SCORE 6678.151
AT ITER 7627 NEW BEST:: SOT 39799 SOS 7135 HAS SOPS 7135 HAS SOUS 6655 HAS SOUPS 6655 WITH SCORE 6662.135
AT ITER 7631 NEW BEST:: SOT 39800 SOS 7135 HAS SOPS 7135 HAS SOUS 6644 HAS SOUPS 6644 WITH SCORE 6651.135
AT ITER 7641 NEW BEST:: SOT 39799 SOS 7134 HAS SOPS 7134 HAS SOUS 6643 HAS SOUPS 6643 WITH SCORE 6650.134
AT ITER 7642 NEW BEST:: SOT 39790 SOS 7103 HAS SOPS 7103 HAS SOUS 6637 HAS SOUPS 6637 WITH SCORE 6644.103
AT ITER 7667 NEW BEST:: SOT 39789 SOS 7101 HAS SOPS 7101 HAS SOUS 6635 HAS SOUPS 6635 WITH SCORE 6642.101
AT ITER 7717 NEW BEST:: SOT 39759 SOS 7021 HAS SOPS 7021 HAS SOUS 6601 HAS SOUPS 6601 WITH SCORE 6608.021
AT ITER 7721 NEW BEST:: SOT 39758 SOS 7019 HAS SOPS 7019 HAS SOUS 6600 HAS SOUPS 6600 WITH SCORE 6607.019
AT ITER 7802 NEW BEST:: SOT 39758 SOS 7019 HAS SOPS 7019 HAS SOUS 6596 HAS SOUPS 6596 WITH SCORE 6603.019
AT ITER 7843 NEW BEST:: SOT 39768 SOS 7017 HAS SOPS 7017 HAS SOUS 6594 HAS SOUPS 6594 WITH SCORE 6601.017
AT ITER 7987 NEW BEST:: SOT 39747 SOS 6979 HAS SOPS 6979 HAS SOUS 6562 HAS SOUPS 6562 WITH SCORE 6568.979
AT ITER 8070 NEW BEST:: SOT 39745 SOS 6971 HAS SOPS 6971 HAS SOUS 6554 HAS SOUPS 6554 WITH SCORE 6560.971
AT ITER 8095 NEW BEST:: SOT 39742 SOS 6962 HAS SOPS 6962 HAS SOUS 6545 HAS SOUPS 6545 WITH SCORE 6551.962
AT ITER 8140 NEW BEST:: SOT 39742 SOS 6958 HAS SOPS 6958 HAS SOUS 6543 HAS SOUPS 6543 WITH SCORE 6549.958
AT ITER 8156 NEW BEST:: SOT 39742 SOS 6950 HAS SOPS 6950 HAS SOUS 6535 HAS SOUPS 6535 WITH SCORE 6541.95
AT ITER 8205 NEW BEST:: SOT 39749 SOS 6944 HAS SOPS 6944 HAS SOUS 6522 HAS SOUPS 6522 WITH SCORE 6528.944
AT ITER 8278 NEW BEST:: SOT 39760 SOS 6960 HAS SOPS 6960 HAS SOUS 6520 HAS SOUPS 6520 WITH SCORE 6526.96
AT ITER 8335 NEW BEST:: SOT 39762 SOS 6952 HAS SOPS 6952 HAS SOUS 6501 HAS SOUPS 6501 WITH SCORE 6507.952
AT ITER 8339 NEW BEST:: SOT 39762 SOS 6947 HAS SOPS 6947 HAS SOUS 6498 HAS SOUPS 6498 WITH SCORE 6504.947
AT ITER 8349 NEW BEST:: SOT 39762 SOS 6945 HAS SOPS 6945 HAS SOUS 6496 HAS SOUPS 6496 WITH SCORE 6502.945
AT ITER 8387 NEW BEST:: SOT 39762 SOS 6946 HAS SOPS 6946 HAS SOUS 6494 HAS SOUPS 6494 WITH SCORE 6500.946
AT ITER 8413 NEW BEST:: SOT 39753 SOS 6938 HAS SOPS 6938 HAS SOUS 6486 HAS SOUPS 6486 WITH SCORE 6492.938
AT ITER 8417 NEW BEST:: SOT 39749 SOS 6916 HAS SOPS 6916 HAS SOUS 6482 HAS SOUPS 6482 WITH SCORE 6488.916
AT ITER 8577 NEW BEST:: SOT 39752 SOS 6919 HAS SOPS 6919 HAS SOUS 6480 HAS SOUPS 6480 WITH SCORE 6486.919
AT ITER 8589 NEW BEST:: SOT 39749 SOS 6909 HAS SOPS 6909 HAS SOUS 6469 HAS SOUPS 6469 WITH SCORE 6475.909
AT ITER 8616 NEW BEST:: SOT 39736 SOS 6911 HAS SOPS 6911 HAS SOUS 6461 HAS SOUPS 6461 WITH SCORE 6467.911
AT ITER 8624 NEW BEST:: SOT 39736 SOS 6900 HAS SOPS 6900 HAS SOUS 6446 HAS SOUPS 6446 WITH SCORE 6452.9
AT ITER 8651 NEW BEST:: SOT 39735 SOS 6898 HAS SOPS 6898 HAS SOUS 6445 HAS SOUPS 6445 WITH SCORE 6451.898
AT ITER 8695 NEW BEST:: SOT 39728 SOS 6887 HAS SOPS 6887 HAS SOUS 6439 HAS SOUPS 6439 WITH SCORE 6445.887
AT ITER 8775 NEW BEST:: SOT 39722 SOS 6869 HAS SOPS 6869 HAS SOUS 6427 HAS SOUPS 6427 WITH SCORE 6433.869
AT ITER 8781 NEW BEST:: SOT 39694 SOS 6842 HAS SOPS 6842 HAS SOUS 6398 HAS SOUPS 6398 WITH SCORE 6404.842
AT ITER 8785 NEW BEST:: SOT 39694 SOS 6841 HAS SOPS 6841 HAS SOUS 6397 HAS SOUPS 6397 WITH SCORE 6403.841
AT ITER 8802 NEW BEST:: SOT 39690 SOS 6833 HAS SOPS 6833 HAS SOUS 6393 HAS SOUPS 6393 WITH SCORE 6399.833
AT ITER 8814 NEW BEST:: SOT 39687 SOS 6830 HAS SOPS 6830 HAS SOUS 6390 HAS SOUPS 6390 WITH SCORE 6396.83
AT ITER 9031 NEW BEST:: SOT 39687 SOS 6824 HAS SOPS 6824 HAS SOUS 6388 HAS SOUPS 6388 WITH SCORE 6394.824
AT ITER 9046 NEW BEST:: SOT 39684 SOS 6821 HAS SOPS 6821 HAS SOUS 6385 HAS SOUPS 6385 WITH SCORE 6391.821
AT ITER 9221 NEW BEST:: SOT 39680 SOS 6837 HAS SOPS 6837 HAS SOUS 6383 HAS SOUPS 6383 WITH SCORE 6389.837
AT ITER 9245 NEW BEST:: SOT 39680 SOS 6831 HAS SOPS 6831 HAS SOUS 6377 HAS SOUPS 6377 WITH SCORE 6383.831
AT ITER 9286 NEW BEST:: SOT 39674 SOS 6825 HAS SOPS 6825 HAS SOUS 6371 HAS SOUPS 6371 WITH SCORE 6377.825
AT ITER 9414 NEW BEST:: SOT 39673 SOS 6823 HAS SOPS 6823 HAS SOUS 6370 HAS SOUPS 6370 WITH SCORE 6376.823
AT ITER 9473 NEW BEST:: SOT 39669 SOS 6819 HAS SOPS 6819 HAS SOUS 6366 HAS SOUPS 6366 WITH SCORE 6372.819
AT ITER 9554 NEW BEST:: SOT 39672 SOS 6813 HAS SOPS 6813 HAS SOUS 6360 HAS SOUPS 6360 WITH SCORE 6366.813
AT ITER 9628 NEW BEST:: SOT 39661 SOS 6822 HAS SOPS 6822 HAS SOUS 6356 HAS SOUPS 6356 WITH SCORE 6362.822
AT ITER 9654 NEW BEST:: SOT 39661 SOS 6820 HAS SOPS 6820 HAS SOUS 6354 HAS SOUPS 6354 WITH SCORE 6360.82
AT ITER 9718 NEW BEST:: SOT 39658 SOS 6814 HAS SOPS 6814 HAS SOUS 6348 HAS SOUPS 6348 WITH SCORE 6354.814
AT ITER 9721 NEW BEST:: SOT 39649 SOS 6790 HAS SOPS 6790 HAS SOUS 6336 HAS SOUPS 6336 WITH SCORE 6342.79
AT ITER 9824 NEW BEST:: SOT 39663 SOS 6789 HAS SOPS 6789 HAS SOUS 6335 HAS SOUPS 6335 WITH SCORE 6341.789
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393236 kB
MemFree: 6669984 kB
After kill :
MemTotal: 16393236 kB
MemFree: 16122156 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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="ShieldIIPt-PT-004B"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is ShieldIIPt-PT-004B, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r395-oct2-167903718500240"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldIIPt-PT-004B.tgz
mv ShieldIIPt-PT-004B 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 ;