Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r043-tajo-167813696900464.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.......................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is BusinessProcesses-PT-02, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r043-tajo-167813696900464
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 496K
-rw-r--r-- 1 mcc users 7.7K Feb 25 16:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 25 16:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 25 16:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 16:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 16:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 116K Feb 25 16:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.5K Feb 25 16:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 25 16:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:38 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:38 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 59K Mar 5 18:22 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 1678789883634

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=BusinessProcesses-PT-02
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 10:31:25] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 10:31:25] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 10:31:26] [INFO ] Load time of PNML (sax parser for PT used): 98 ms
[2023-03-14 10:31:26] [INFO ] Transformed 262 places.
[2023-03-14 10:31:26] [INFO ] Transformed 219 transitions.
[2023-03-14 10:31:26] [INFO ] Found NUPN structural information;
[2023-03-14 10:31:26] [INFO ] Parsed PT model containing 262 places and 219 transitions and 576 arcs in 206 ms.
[2023-03-14 10:31:26] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 262 places, 219 transitions and 576 arcs took 15 ms.
Total runtime 253 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 02
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: 262 places, 219 transitions, 576 arcs.
AT ITER 0 NEW BEST:: SOT 34844 SOS 11834 HAS SOPS 11834 HAS SOUS 11619 HAS SOUPS 11619 WITH SCORE 11630.834
AT ITER 3 NEW BEST:: SOT 34842 SOS 11827 HAS SOPS 11827 HAS SOUS 11612 HAS SOUPS 11612 WITH SCORE 11623.827
AT ITER 9 NEW BEST:: SOT 34817 SOS 11752 HAS SOPS 11752 HAS SOUS 11562 HAS SOUPS 11562 WITH SCORE 11573.752
AT ITER 13 NEW BEST:: SOT 34816 SOS 11695 HAS SOPS 11695 HAS SOUS 11560 HAS SOUPS 11560 WITH SCORE 11571.695
AT ITER 15 NEW BEST:: SOT 34753 SOS 11595 HAS SOPS 11595 HAS SOUS 11460 HAS SOUPS 11460 WITH SCORE 11471.595
AT ITER 23 NEW BEST:: SOT 34745 SOS 11587 HAS SOPS 11587 HAS SOUS 11452 HAS SOUPS 11452 WITH SCORE 11463.587
AT ITER 24 NEW BEST:: SOT 34745 SOS 11572 HAS SOPS 11572 HAS SOUS 11436 HAS SOUPS 11436 WITH SCORE 11447.572
AT ITER 44 NEW BEST:: SOT 34717 SOS 11481 HAS SOPS 11481 HAS SOUS 11345 HAS SOUPS 11345 WITH SCORE 11356.481
AT ITER 47 NEW BEST:: SOT 34717 SOS 11427 HAS SOPS 11427 HAS SOUS 11291 HAS SOUPS 11291 WITH SCORE 11302.427
AT ITER 59 NEW BEST:: SOT 34717 SOS 11425 HAS SOPS 11425 HAS SOUS 11289 HAS SOUPS 11289 WITH SCORE 11300.425
AT ITER 66 NEW BEST:: SOT 34717 SOS 11416 HAS SOPS 11416 HAS SOUS 11280 HAS SOUPS 11280 WITH SCORE 11291.416
AT ITER 92 NEW BEST:: SOT 34664 SOS 11363 HAS SOPS 11363 HAS SOUS 11227 HAS SOUPS 11227 WITH SCORE 11238.363
AT ITER 99 NEW BEST:: SOT 34662 SOS 11361 HAS SOPS 11361 HAS SOUS 11225 HAS SOUPS 11225 WITH SCORE 11236.361
AT ITER 108 NEW BEST:: SOT 33937 SOS 10724 HAS SOPS 10724 HAS SOUS 10530 HAS SOUPS 10530 WITH SCORE 10540.724
AT ITER 113 NEW BEST:: SOT 33904 SOS 10641 HAS SOPS 10641 HAS SOUS 10447 HAS SOUPS 10447 WITH SCORE 10457.641
AT ITER 120 NEW BEST:: SOT 33903 SOS 10586 HAS SOPS 10586 HAS SOUS 10392 HAS SOUPS 10392 WITH SCORE 10402.586
AT ITER 125 NEW BEST:: SOT 33867 SOS 10534 HAS SOPS 10534 HAS SOUS 10340 HAS SOUPS 10340 WITH SCORE 10350.534
AT ITER 143 NEW BEST:: SOT 33866 SOS 10406 HAS SOPS 10406 HAS SOUS 10212 HAS SOUPS 10212 WITH SCORE 10222.406
AT ITER 145 NEW BEST:: SOT 33845 SOS 10353 HAS SOPS 10353 HAS SOUS 10212 HAS SOUPS 10212 WITH SCORE 10222.353
AT ITER 149 NEW BEST:: SOT 33825 SOS 10313 HAS SOPS 10313 HAS SOUS 10172 HAS SOUPS 10172 WITH SCORE 10182.313
AT ITER 150 NEW BEST:: SOT 33760 SOS 10280 HAS SOPS 10280 HAS SOUS 10139 HAS SOUPS 10139 WITH SCORE 10149.28
AT ITER 158 NEW BEST:: SOT 33769 SOS 10257 HAS SOPS 10257 HAS SOUS 10116 HAS SOUPS 10116 WITH SCORE 10126.257
AT ITER 159 NEW BEST:: SOT 33769 SOS 10255 HAS SOPS 10255 HAS SOUS 10114 HAS SOUPS 10114 WITH SCORE 10124.255
AT ITER 161 NEW BEST:: SOT 33759 SOS 10173 HAS SOPS 10173 HAS SOUS 10042 HAS SOUPS 10042 WITH SCORE 10052.173
AT ITER 174 NEW BEST:: SOT 33759 SOS 10053 HAS SOPS 10053 HAS SOUS 9922 HAS SOUPS 9922 WITH SCORE 9932.053
AT ITER 177 NEW BEST:: SOT 33759 SOS 10049 HAS SOPS 10049 HAS SOUS 9922 HAS SOUPS 9922 WITH SCORE 9932.049
AT ITER 188 NEW BEST:: SOT 33753 SOS 10045 HAS SOPS 10045 HAS SOUS 9896 HAS SOUPS 9896 WITH SCORE 9906.045
AT ITER 210 NEW BEST:: SOT 33762 SOS 10047 HAS SOPS 10047 HAS SOUS 9889 HAS SOUPS 9889 WITH SCORE 9899.047
AT ITER 215 NEW BEST:: SOT 33761 SOS 10045 HAS SOPS 10045 HAS SOUS 9887 HAS SOUPS 9887 WITH SCORE 9897.045
AT ITER 246 NEW BEST:: SOT 33761 SOS 10041 HAS SOPS 10041 HAS SOUS 9883 HAS SOUPS 9883 WITH SCORE 9893.041
AT ITER 259 NEW BEST:: SOT 33750 SOS 10030 HAS SOPS 10030 HAS SOUS 9872 HAS SOUPS 9872 WITH SCORE 9882.03
AT ITER 261 NEW BEST:: SOT 33750 SOS 10027 HAS SOPS 10027 HAS SOUS 9869 HAS SOUPS 9869 WITH SCORE 9879.027
AT ITER 268 NEW BEST:: SOT 33735 SOS 9964 HAS SOPS 9964 HAS SOUS 9806 HAS SOUPS 9806 WITH SCORE 9815.964
AT ITER 286 NEW BEST:: SOT 33665 SOS 9824 HAS SOPS 9824 HAS SOUS 9666 HAS SOUPS 9666 WITH SCORE 9675.824
AT ITER 300 NEW BEST:: SOT 33644 SOS 9790 HAS SOPS 9790 HAS SOUS 9632 HAS SOUPS 9632 WITH SCORE 9641.79
AT ITER 322 NEW BEST:: SOT 33633 SOS 9782 HAS SOPS 9782 HAS SOUS 9621 HAS SOUPS 9621 WITH SCORE 9630.782
AT ITER 328 NEW BEST:: SOT 33583 SOS 9701 HAS SOPS 9701 HAS SOUS 9540 HAS SOUPS 9540 WITH SCORE 9549.701
AT ITER 329 NEW BEST:: SOT 33583 SOS 9694 HAS SOPS 9694 HAS SOUS 9533 HAS SOUPS 9533 WITH SCORE 9542.694
AT ITER 330 NEW BEST:: SOT 33563 SOS 9676 HAS SOPS 9676 HAS SOUS 9515 HAS SOUPS 9515 WITH SCORE 9524.676
AT ITER 331 NEW BEST:: SOT 33559 SOS 9672 HAS SOPS 9672 HAS SOUS 9511 HAS SOUPS 9511 WITH SCORE 9520.672
AT ITER 358 NEW BEST:: SOT 33559 SOS 9649 HAS SOPS 9649 HAS SOUS 9510 HAS SOUPS 9510 WITH SCORE 9519.649
AT ITER 359 NEW BEST:: SOT 33526 SOS 9600 HAS SOPS 9600 HAS SOUS 9461 HAS SOUPS 9461 WITH SCORE 9470.6
AT ITER 364 NEW BEST:: SOT 33502 SOS 9566 HAS SOPS 9566 HAS SOUS 9427 HAS SOUPS 9427 WITH SCORE 9436.566
AT ITER 374 NEW BEST:: SOT 33502 SOS 9549 HAS SOPS 9549 HAS SOUS 9402 HAS SOUPS 9402 WITH SCORE 9411.549
AT ITER 380 NEW BEST:: SOT 33449 SOS 9496 HAS SOPS 9496 HAS SOUS 9349 HAS SOUPS 9349 WITH SCORE 9358.496
AT ITER 383 NEW BEST:: SOT 33444 SOS 9486 HAS SOPS 9486 HAS SOUS 9339 HAS SOUPS 9339 WITH SCORE 9348.486
AT ITER 393 NEW BEST:: SOT 33444 SOS 9485 HAS SOPS 9485 HAS SOUS 9338 HAS SOUPS 9338 WITH SCORE 9347.485
AT ITER 401 NEW BEST:: SOT 33393 SOS 9422 HAS SOPS 9422 HAS SOUS 9275 HAS SOUPS 9275 WITH SCORE 9284.422
AT ITER 404 NEW BEST:: SOT 33408 SOS 9392 HAS SOPS 9392 HAS SOUS 9245 HAS SOUPS 9245 WITH SCORE 9254.392
AT ITER 414 NEW BEST:: SOT 33399 SOS 9360 HAS SOPS 9360 HAS SOUS 9222 HAS SOUPS 9222 WITH SCORE 9231.36
AT ITER 441 NEW BEST:: SOT 33399 SOS 9326 HAS SOPS 9326 HAS SOUS 9170 HAS SOUPS 9170 WITH SCORE 9179.326
AT ITER 444 NEW BEST:: SOT 33366 SOS 9281 HAS SOPS 9281 HAS SOUS 9125 HAS SOUPS 9125 WITH SCORE 9134.281
AT ITER 471 NEW BEST:: SOT 33334 SOS 9269 HAS SOPS 9269 HAS SOUS 9113 HAS SOUPS 9113 WITH SCORE 9122.269
AT ITER 472 NEW BEST:: SOT 33333 SOS 9258 HAS SOPS 9258 HAS SOUS 9102 HAS SOUPS 9102 WITH SCORE 9111.258
AT ITER 476 NEW BEST:: SOT 33320 SOS 9242 HAS SOPS 9242 HAS SOUS 9086 HAS SOUPS 9086 WITH SCORE 9095.242
AT ITER 480 NEW BEST:: SOT 33298 SOS 9221 HAS SOPS 9221 HAS SOUS 9065 HAS SOUPS 9065 WITH SCORE 9074.221
AT ITER 481 NEW BEST:: SOT 33263 SOS 9189 HAS SOPS 9189 HAS SOUS 9001 HAS SOUPS 9001 WITH SCORE 9010.189
AT ITER 494 NEW BEST:: SOT 33260 SOS 9186 HAS SOPS 9186 HAS SOUS 8998 HAS SOUPS 8998 WITH SCORE 9007.186
AT ITER 506 NEW BEST:: SOT 33260 SOS 9185 HAS SOPS 9185 HAS SOUS 8993 HAS SOUPS 8993 WITH SCORE 9002.185
AT ITER 508 NEW BEST:: SOT 33274 SOS 9175 HAS SOPS 9175 HAS SOUS 8983 HAS SOUPS 8983 WITH SCORE 8992.175
AT ITER 518 NEW BEST:: SOT 33273 SOS 9174 HAS SOPS 9174 HAS SOUS 8983 HAS SOUPS 8983 WITH SCORE 8992.174
AT ITER 540 NEW BEST:: SOT 33273 SOS 9172 HAS SOPS 9172 HAS SOUS 8983 HAS SOUPS 8983 WITH SCORE 8992.172
AT ITER 543 NEW BEST:: SOT 33278 SOS 9157 HAS SOPS 9157 HAS SOUS 8968 HAS SOUPS 8968 WITH SCORE 8977.157
AT ITER 558 NEW BEST:: SOT 33275 SOS 9151 HAS SOPS 9151 HAS SOUS 8962 HAS SOUPS 8962 WITH SCORE 8971.151
AT ITER 566 NEW BEST:: SOT 33281 SOS 9142 HAS SOPS 9142 HAS SOUS 8947 HAS SOUPS 8947 WITH SCORE 8956.142
AT ITER 574 NEW BEST:: SOT 33269 SOS 9118 HAS SOPS 9118 HAS SOUS 8911 HAS SOUPS 8911 WITH SCORE 8920.118
AT ITER 577 NEW BEST:: SOT 33269 SOS 9112 HAS SOPS 9112 HAS SOUS 8905 HAS SOUPS 8905 WITH SCORE 8914.112
AT ITER 583 NEW BEST:: SOT 33269 SOS 9070 HAS SOPS 9070 HAS SOUS 8884 HAS SOUPS 8884 WITH SCORE 8893.07
AT ITER 588 NEW BEST:: SOT 33297 SOS 9099 HAS SOPS 9099 HAS SOUS 8865 HAS SOUPS 8865 WITH SCORE 8874.099
AT ITER 605 NEW BEST:: SOT 33222 SOS 9078 HAS SOPS 9078 HAS SOUS 8844 HAS SOUPS 8844 WITH SCORE 8853.078
AT ITER 609 NEW BEST:: SOT 33210 SOS 9064 HAS SOPS 9064 HAS SOUS 8830 HAS SOUPS 8830 WITH SCORE 8839.064
AT ITER 618 NEW BEST:: SOT 33223 SOS 9040 HAS SOPS 9040 HAS SOUS 8773 HAS SOUPS 8773 WITH SCORE 8782.04
AT ITER 624 NEW BEST:: SOT 33214 SOS 9031 HAS SOPS 9031 HAS SOUS 8764 HAS SOUPS 8764 WITH SCORE 8773.031
AT ITER 627 NEW BEST:: SOT 33211 SOS 9025 HAS SOPS 9025 HAS SOUS 8758 HAS SOUPS 8758 WITH SCORE 8767.025
AT ITER 640 NEW BEST:: SOT 33211 SOS 8956 HAS SOPS 8956 HAS SOUS 8689 HAS SOUPS 8689 WITH SCORE 8697.956
AT ITER 648 NEW BEST:: SOT 33199 SOS 8943 HAS SOPS 8943 HAS SOUS 8676 HAS SOUPS 8676 WITH SCORE 8684.943
AT ITER 654 NEW BEST:: SOT 33202 SOS 8945 HAS SOPS 8945 HAS SOUS 8665 HAS SOUPS 8665 WITH SCORE 8673.945
AT ITER 664 NEW BEST:: SOT 33202 SOS 8877 HAS SOPS 8877 HAS SOUS 8597 HAS SOUPS 8597 WITH SCORE 8605.877
AT ITER 666 NEW BEST:: SOT 33202 SOS 8869 HAS SOPS 8869 HAS SOUS 8589 HAS SOUPS 8589 WITH SCORE 8597.869
AT ITER 673 NEW BEST:: SOT 33202 SOS 8867 HAS SOPS 8867 HAS SOUS 8587 HAS SOUPS 8587 WITH SCORE 8595.867
AT ITER 705 NEW BEST:: SOT 33193 SOS 8853 HAS SOPS 8853 HAS SOUS 8573 HAS SOUPS 8573 WITH SCORE 8581.853
AT ITER 708 NEW BEST:: SOT 33191 SOS 8851 HAS SOPS 8851 HAS SOUS 8571 HAS SOUPS 8571 WITH SCORE 8579.851
AT ITER 711 NEW BEST:: SOT 33210 SOS 8828 HAS SOPS 8828 HAS SOUS 8548 HAS SOUPS 8548 WITH SCORE 8556.828
AT ITER 713 NEW BEST:: SOT 33210 SOS 8783 HAS SOPS 8783 HAS SOUS 8503 HAS SOUPS 8503 WITH SCORE 8511.783
AT ITER 717 NEW BEST:: SOT 33177 SOS 8621 HAS SOPS 8621 HAS SOUS 8422 HAS SOUPS 8422 WITH SCORE 8430.621
AT ITER 724 NEW BEST:: SOT 33142 SOS 8586 HAS SOPS 8586 HAS SOUS 8387 HAS SOUPS 8387 WITH SCORE 8395.586
AT ITER 740 NEW BEST:: SOT 33140 SOS 8584 HAS SOPS 8584 HAS SOUS 8385 HAS SOUPS 8385 WITH SCORE 8393.584
AT ITER 748 NEW BEST:: SOT 33140 SOS 8581 HAS SOPS 8581 HAS SOUS 8382 HAS SOUPS 8382 WITH SCORE 8390.581
AT ITER 754 NEW BEST:: SOT 33134 SOS 8583 HAS SOPS 8583 HAS SOUS 8372 HAS SOUPS 8372 WITH SCORE 8380.583
AT ITER 757 NEW BEST:: SOT 33133 SOS 8582 HAS SOPS 8582 HAS SOUS 8371 HAS SOUPS 8371 WITH SCORE 8379.582
AT ITER 765 NEW BEST:: SOT 33134 SOS 8581 HAS SOPS 8581 HAS SOUS 8370 HAS SOUPS 8370 WITH SCORE 8378.581
AT ITER 814 NEW BEST:: SOT 33134 SOS 8530 HAS SOPS 8530 HAS SOUS 8309 HAS SOUPS 8309 WITH SCORE 8317.53
AT ITER 822 NEW BEST:: SOT 33134 SOS 8529 HAS SOPS 8529 HAS SOUS 8308 HAS SOUPS 8308 WITH SCORE 8316.529
AT ITER 838 NEW BEST:: SOT 33127 SOS 8515 HAS SOPS 8515 HAS SOUS 8294 HAS SOUPS 8294 WITH SCORE 8302.515
AT ITER 847 NEW BEST:: SOT 33124 SOS 8509 HAS SOPS 8509 HAS SOUS 8288 HAS SOUPS 8288 WITH SCORE 8296.509
AT ITER 856 NEW BEST:: SOT 33133 SOS 8500 HAS SOPS 8500 HAS SOUS 8279 HAS SOUPS 8279 WITH SCORE 8287.5
AT ITER 880 NEW BEST:: SOT 33104 SOS 8491 HAS SOPS 8491 HAS SOUS 8270 HAS SOUPS 8270 WITH SCORE 8278.491
AT ITER 888 NEW BEST:: SOT 33078 SOS 8475 HAS SOPS 8475 HAS SOUS 8254 HAS SOUPS 8254 WITH SCORE 8262.475
AT ITER 899 NEW BEST:: SOT 33027 SOS 8410 HAS SOPS 8410 HAS SOUS 8189 HAS SOUPS 8189 WITH SCORE 8197.41
AT ITER 931 NEW BEST:: SOT 32998 SOS 8352 HAS SOPS 8352 HAS SOUS 8131 HAS SOUPS 8131 WITH SCORE 8139.352
AT ITER 950 NEW BEST:: SOT 32945 SOS 8301 HAS SOPS 8301 HAS SOUS 8080 HAS SOUPS 8080 WITH SCORE 8088.301
AT ITER 1010 NEW BEST:: SOT 32945 SOS 8301 HAS SOPS 8301 HAS SOUS 8045 HAS SOUPS 8045 WITH SCORE 8053.301
AT ITER 1021 NEW BEST:: SOT 32943 SOS 8299 HAS SOPS 8299 HAS SOUS 8043 HAS SOUPS 8043 WITH SCORE 8051.299
AT ITER 1023 NEW BEST:: SOT 32943 SOS 8294 HAS SOPS 8294 HAS SOUS 8043 HAS SOUPS 8043 WITH SCORE 8051.294
AT ITER 1051 NEW BEST:: SOT 32943 SOS 8286 HAS SOPS 8286 HAS SOUS 8043 HAS SOUPS 8043 WITH SCORE 8051.286
AT ITER 1089 NEW BEST:: SOT 32926 SOS 8250 HAS SOPS 8250 HAS SOUS 8007 HAS SOUPS 8007 WITH SCORE 8015.25
AT ITER 1098 NEW BEST:: SOT 32926 SOS 8250 HAS SOPS 8250 HAS SOUS 7999 HAS SOUPS 7999 WITH SCORE 8007.25
AT ITER 1109 NEW BEST:: SOT 32897 SOS 8207 HAS SOPS 8207 HAS SOUS 7956 HAS SOUPS 7956 WITH SCORE 7964.207
AT ITER 1128 NEW BEST:: SOT 32599 SOS 11619 HAS SOPS 11619 HAS SOUS 7916 HAS SOUPS 7916 WITH SCORE 7927.619
AT ITER 1136 NEW BEST:: SOT 32594 SOS 11611 HAS SOPS 11611 HAS SOUS 7900 HAS SOUPS 7900 WITH SCORE 7911.611
AT ITER 1139 NEW BEST:: SOT 32587 SOS 11597 HAS SOPS 11597 HAS SOUS 7886 HAS SOUPS 7886 WITH SCORE 7897.597
AT ITER 1145 NEW BEST:: SOT 32561 SOS 11595 HAS SOPS 11595 HAS SOUS 7884 HAS SOUPS 7884 WITH SCORE 7895.595
AT ITER 1153 NEW BEST:: SOT 32553 SOS 11568 HAS SOPS 11568 HAS SOUS 7857 HAS SOUPS 7857 WITH SCORE 7868.568
AT ITER 1167 NEW BEST:: SOT 32553 SOS 11549 HAS SOPS 11549 HAS SOUS 7838 HAS SOUPS 7838 WITH SCORE 7849.549
AT ITER 1181 NEW BEST:: SOT 32577 SOS 11573 HAS SOPS 11573 HAS SOUS 7829 HAS SOUPS 7829 WITH SCORE 7840.573
AT ITER 1204 NEW BEST:: SOT 32578 SOS 11567 HAS SOPS 11567 HAS SOUS 7823 HAS SOUPS 7823 WITH SCORE 7834.567
AT ITER 1248 NEW BEST:: SOT 32567 SOS 11564 HAS SOPS 11564 HAS SOUS 7820 HAS SOUPS 7820 WITH SCORE 7831.564
AT ITER 1253 NEW BEST:: SOT 32567 SOS 11563 HAS SOPS 11563 HAS SOUS 7819 HAS SOUPS 7819 WITH SCORE 7830.563
AT ITER 1273 NEW BEST:: SOT 32551 SOS 11547 HAS SOPS 11547 HAS SOUS 7803 HAS SOUPS 7803 WITH SCORE 7814.547
AT ITER 1286 NEW BEST:: SOT 32547 SOS 11531 HAS SOPS 11531 HAS SOUS 7787 HAS SOUPS 7787 WITH SCORE 7798.531
AT ITER 1300 NEW BEST:: SOT 32508 SOS 11490 HAS SOPS 11490 HAS SOUS 7766 HAS SOUPS 7766 WITH SCORE 7777.49
AT ITER 1301 NEW BEST:: SOT 32501 SOS 11390 HAS SOPS 11390 HAS SOUS 7752 HAS SOUPS 7752 WITH SCORE 7763.39
AT ITER 1302 NEW BEST:: SOT 32605 SOS 11411 HAS SOPS 11411 HAS SOUS 7716 HAS SOUPS 7716 WITH SCORE 7727.411
AT ITER 1308 NEW BEST:: SOT 32574 SOS 11341 HAS SOPS 11341 HAS SOUS 7652 HAS SOUPS 7652 WITH SCORE 7663.341
AT ITER 1320 NEW BEST:: SOT 32560 SOS 11313 HAS SOPS 11313 HAS SOUS 7633 HAS SOUPS 7633 WITH SCORE 7644.313
AT ITER 1324 NEW BEST:: SOT 32561 SOS 11310 HAS SOPS 11310 HAS SOUS 7625 HAS SOUPS 7625 WITH SCORE 7636.31
AT ITER 1326 NEW BEST:: SOT 32561 SOS 11280 HAS SOPS 11280 HAS SOUS 7621 HAS SOUPS 7621 WITH SCORE 7632.28
AT ITER 1334 NEW BEST:: SOT 32542 SOS 11212 HAS SOPS 11212 HAS SOUS 7592 HAS SOUPS 7592 WITH SCORE 7603.212
AT ITER 1338 NEW BEST:: SOT 32536 SOS 11196 HAS SOPS 11196 HAS SOUS 7576 HAS SOUPS 7576 WITH SCORE 7587.196
AT ITER 1356 NEW BEST:: SOT 32568 SOS 11221 HAS SOPS 11221 HAS SOUS 7554 HAS SOUPS 7554 WITH SCORE 7565.221
AT ITER 1370 NEW BEST:: SOT 32567 SOS 11220 HAS SOPS 11220 HAS SOUS 7553 HAS SOUPS 7553 WITH SCORE 7564.22
AT ITER 1372 NEW BEST:: SOT 32564 SOS 11193 HAS SOPS 11193 HAS SOUS 7532 HAS SOUPS 7532 WITH SCORE 7543.193
AT ITER 1382 NEW BEST:: SOT 32555 SOS 11178 HAS SOPS 11178 HAS SOUS 7526 HAS SOUPS 7526 WITH SCORE 7537.178
AT ITER 1383 NEW BEST:: SOT 32572 SOS 11172 HAS SOPS 11172 HAS SOUS 7520 HAS SOUPS 7520 WITH SCORE 7531.172
AT ITER 1398 NEW BEST:: SOT 32551 SOS 11146 HAS SOPS 11146 HAS SOUS 7494 HAS SOUPS 7494 WITH SCORE 7505.146
AT ITER 1400 NEW BEST:: SOT 32544 SOS 11132 HAS SOPS 11132 HAS SOUS 7480 HAS SOUPS 7480 WITH SCORE 7491.132
AT ITER 1416 NEW BEST:: SOT 32540 SOS 11128 HAS SOPS 11128 HAS SOUS 7476 HAS SOUPS 7476 WITH SCORE 7487.128
AT ITER 1420 NEW BEST:: SOT 32520 SOS 11108 HAS SOPS 11108 HAS SOUS 7456 HAS SOUPS 7456 WITH SCORE 7467.108
AT ITER 1429 NEW BEST:: SOT 32516 SOS 11104 HAS SOPS 11104 HAS SOUS 7456 HAS SOUPS 7456 WITH SCORE 7467.104
AT ITER 1443 NEW BEST:: SOT 32514 SOS 11101 HAS SOPS 11101 HAS SOUS 7453 HAS SOUPS 7453 WITH SCORE 7464.101
AT ITER 1501 NEW BEST:: SOT 32495 SOS 11063 HAS SOPS 11063 HAS SOUS 7415 HAS SOUPS 7415 WITH SCORE 7426.063
AT ITER 1502 NEW BEST:: SOT 32528 SOS 11046 HAS SOPS 11046 HAS SOUS 7398 HAS SOUPS 7398 WITH SCORE 7409.046
AT ITER 1519 NEW BEST:: SOT 32516 SOS 11048 HAS SOPS 11048 HAS SOUS 7391 HAS SOUPS 7391 WITH SCORE 7402.048
AT ITER 1520 NEW BEST:: SOT 32476 SOS 10992 HAS SOPS 10992 HAS SOUS 7359 HAS SOUPS 7359 WITH SCORE 7369.992
AT ITER 1551 NEW BEST:: SOT 32457 SOS 10966 HAS SOPS 10966 HAS SOUS 7333 HAS SOUPS 7333 WITH SCORE 7343.966
AT ITER 1595 NEW BEST:: SOT 32350 SOS 10792 HAS SOPS 10792 HAS SOUS 7205 HAS SOUPS 7205 WITH SCORE 7215.792
AT ITER 1598 NEW BEST:: SOT 32330 SOS 10779 HAS SOPS 10779 HAS SOUS 7180 HAS SOUPS 7180 WITH SCORE 7190.779
AT ITER 1601 NEW BEST:: SOT 32325 SOS 10774 HAS SOPS 10774 HAS SOUS 7175 HAS SOUPS 7175 WITH SCORE 7185.774
AT ITER 1603 NEW BEST:: SOT 32305 SOS 10734 HAS SOPS 10734 HAS SOUS 7125 HAS SOUPS 7125 WITH SCORE 7135.734
AT ITER 1607 NEW BEST:: SOT 32291 SOS 10720 HAS SOPS 10720 HAS SOUS 7125 HAS SOUPS 7125 WITH SCORE 7135.72
AT ITER 1622 NEW BEST:: SOT 32279 SOS 10702 HAS SOPS 10702 HAS SOUS 7113 HAS SOUPS 7113 WITH SCORE 7123.702
AT ITER 1629 NEW BEST:: SOT 32279 SOS 10692 HAS SOPS 10692 HAS SOUS 7103 HAS SOUPS 7103 WITH SCORE 7113.692
AT ITER 1637 NEW BEST:: SOT 32274 SOS 10670 HAS SOPS 10670 HAS SOUS 7096 HAS SOUPS 7096 WITH SCORE 7106.67
AT ITER 1669 NEW BEST:: SOT 32278 SOS 10662 HAS SOPS 10662 HAS SOUS 7088 HAS SOUPS 7088 WITH SCORE 7098.662
AT ITER 1678 NEW BEST:: SOT 32310 SOS 10615 HAS SOPS 10615 HAS SOUS 7041 HAS SOUPS 7041 WITH SCORE 7051.615
AT ITER 1680 NEW BEST:: SOT 32278 SOS 10551 HAS SOPS 10551 HAS SOUS 7024 HAS SOUPS 7024 WITH SCORE 7034.551
AT ITER 1696 NEW BEST:: SOT 32263 SOS 10510 HAS SOPS 10510 HAS SOUS 7017 HAS SOUPS 7017 WITH SCORE 7027.51
AT ITER 1722 NEW BEST:: SOT 32266 SOS 10486 HAS SOPS 10486 HAS SOUS 6993 HAS SOUPS 6993 WITH SCORE 7003.486
AT ITER 1731 NEW BEST:: SOT 32258 SOS 10474 HAS SOPS 10474 HAS SOUS 6985 HAS SOUPS 6985 WITH SCORE 6995.474
AT ITER 1732 NEW BEST:: SOT 32228 SOS 10444 HAS SOPS 10444 HAS SOUS 6955 HAS SOUPS 6955 WITH SCORE 6965.444
AT ITER 1745 NEW BEST:: SOT 32223 SOS 10434 HAS SOPS 10434 HAS SOUS 6945 HAS SOUPS 6945 WITH SCORE 6955.434
AT ITER 1746 NEW BEST:: SOT 32217 SOS 10428 HAS SOPS 10428 HAS SOUS 6939 HAS SOUPS 6939 WITH SCORE 6949.428
AT ITER 1779 NEW BEST:: SOT 32220 SOS 10427 HAS SOPS 10427 HAS SOUS 6938 HAS SOUPS 6938 WITH SCORE 6948.427
AT ITER 1784 NEW BEST:: SOT 32221 SOS 10428 HAS SOPS 10428 HAS SOUS 6912 HAS SOUPS 6912 WITH SCORE 6922.428
AT ITER 1802 NEW BEST:: SOT 32209 SOS 10424 HAS SOPS 10424 HAS SOUS 6905 HAS SOUPS 6905 WITH SCORE 6915.424
AT ITER 1829 NEW BEST:: SOT 32193 SOS 10407 HAS SOPS 10407 HAS SOUS 6903 HAS SOUPS 6903 WITH SCORE 6913.407
AT ITER 1839 NEW BEST:: SOT 32187 SOS 10403 HAS SOPS 10403 HAS SOUS 6889 HAS SOUPS 6889 WITH SCORE 6899.403
AT ITER 1860 NEW BEST:: SOT 32186 SOS 10403 HAS SOPS 10403 HAS SOUS 6888 HAS SOUPS 6888 WITH SCORE 6898.403
AT ITER 1866 NEW BEST:: SOT 32192 SOS 8966 HAS SOPS 8966 HAS SOUS 6877 HAS SOUPS 6877 WITH SCORE 6885.966
AT ITER 1886 NEW BEST:: SOT 32178 SOS 8963 HAS SOPS 8963 HAS SOUS 6856 HAS SOUPS 6856 WITH SCORE 6864.963
AT ITER 1893 NEW BEST:: SOT 32182 SOS 8956 HAS SOPS 8956 HAS SOUS 6849 HAS SOUPS 6849 WITH SCORE 6857.956
AT ITER 1895 NEW BEST:: SOT 32171 SOS 8935 HAS SOPS 8935 HAS SOUS 6828 HAS SOUPS 6828 WITH SCORE 6836.935
AT ITER 1896 NEW BEST:: SOT 32171 SOS 8935 HAS SOPS 8935 HAS SOUS 6810 HAS SOUPS 6810 WITH SCORE 6818.935
AT ITER 1910 NEW BEST:: SOT 32164 SOS 8930 HAS SOPS 8930 HAS SOUS 6805 HAS SOUPS 6805 WITH SCORE 6813.93
AT ITER 1922 NEW BEST:: SOT 32155 SOS 8921 HAS SOPS 8921 HAS SOUS 6796 HAS SOUPS 6796 WITH SCORE 6804.921
AT ITER 1924 NEW BEST:: SOT 32127 SOS 8857 HAS SOPS 8857 HAS SOUS 6766 HAS SOUPS 6766 WITH SCORE 6774.857
AT ITER 1948 NEW BEST:: SOT 32127 SOS 8853 HAS SOPS 8853 HAS SOUS 6762 HAS SOUPS 6762 WITH SCORE 6770.853
AT ITER 1951 NEW BEST:: SOT 32172 SOS 8855 HAS SOPS 8855 HAS SOUS 6755 HAS SOUPS 6755 WITH SCORE 6763.855
AT ITER 1966 NEW BEST:: SOT 32167 SOS 8845 HAS SOPS 8845 HAS SOUS 6745 HAS SOUPS 6745 WITH SCORE 6753.845
AT ITER 1970 NEW BEST:: SOT 32115 SOS 8755 HAS SOPS 8755 HAS SOUS 6711 HAS SOUPS 6711 WITH SCORE 6719.755
AT ITER 1991 NEW BEST:: SOT 32114 SOS 8754 HAS SOPS 8754 HAS SOUS 6711 HAS SOUPS 6711 WITH SCORE 6719.754
AT ITER 2012 NEW BEST:: SOT 32084 SOS 8720 HAS SOPS 8720 HAS SOUS 6705 HAS SOUPS 6705 WITH SCORE 6713.72
AT ITER 2018 NEW BEST:: SOT 32059 SOS 8689 HAS SOPS 8689 HAS SOUS 6693 HAS SOUPS 6693 WITH SCORE 6701.689
AT ITER 2024 NEW BEST:: SOT 32048 SOS 8667 HAS SOPS 8667 HAS SOUS 6603 HAS SOUPS 6603 WITH SCORE 6611.667
AT ITER 2026 NEW BEST:: SOT 32028 SOS 8627 HAS SOPS 8627 HAS SOUS 6563 HAS SOUPS 6563 WITH SCORE 6571.627
AT ITER 2038 NEW BEST:: SOT 32028 SOS 8620 HAS SOPS 8620 HAS SOUS 6556 HAS SOUPS 6556 WITH SCORE 6564.62
AT ITER 2062 NEW BEST:: SOT 32031 SOS 8001 HAS SOPS 8001 HAS SOUS 6535 HAS SOUPS 6535 WITH SCORE 6543.001
AT ITER 2077 NEW BEST:: SOT 32037 SOS 7993 HAS SOPS 7993 HAS SOUS 6527 HAS SOUPS 6527 WITH SCORE 6534.993
AT ITER 2128 NEW BEST:: SOT 32037 SOS 7985 HAS SOPS 7985 HAS SOUS 6519 HAS SOUPS 6519 WITH SCORE 6526.985
AT ITER 2132 NEW BEST:: SOT 31981 SOS 8002 HAS SOPS 8002 HAS SOUS 6510 HAS SOUPS 6510 WITH SCORE 6518.002
AT ITER 2134 NEW BEST:: SOT 31988 SOS 7997 HAS SOPS 7997 HAS SOUS 6493 HAS SOUPS 6493 WITH SCORE 6500.997
AT ITER 2142 NEW BEST:: SOT 31972 SOS 7981 HAS SOPS 7981 HAS SOUS 6477 HAS SOUPS 6477 WITH SCORE 6484.981
AT ITER 2157 NEW BEST:: SOT 31966 SOS 7966 HAS SOPS 7966 HAS SOUS 6456 HAS SOUPS 6456 WITH SCORE 6463.966
AT ITER 2200 NEW BEST:: SOT 31966 SOS 7924 HAS SOPS 7924 HAS SOUS 6440 HAS SOUPS 6440 WITH SCORE 6447.924
AT ITER 2242 NEW BEST:: SOT 31973 SOS 7889 HAS SOPS 7889 HAS SOUS 6405 HAS SOUPS 6405 WITH SCORE 6412.889
AT ITER 2246 NEW BEST:: SOT 31963 SOS 7816 HAS SOPS 7816 HAS SOUS 6385 HAS SOUPS 6385 WITH SCORE 6392.816
AT ITER 2315 NEW BEST:: SOT 31963 SOS 7801 HAS SOPS 7801 HAS SOUS 6372 HAS SOUPS 6372 WITH SCORE 6379.801
AT ITER 2335 NEW BEST:: SOT 31963 SOS 7801 HAS SOPS 7801 HAS SOUS 6361 HAS SOUPS 6361 WITH SCORE 6368.801
AT ITER 2350 NEW BEST:: SOT 31962 SOS 7800 HAS SOPS 7800 HAS SOUS 6360 HAS SOUPS 6360 WITH SCORE 6367.8
AT ITER 2352 NEW BEST:: SOT 31953 SOS 7774 HAS SOPS 7774 HAS SOUS 6350 HAS SOUPS 6350 WITH SCORE 6357.774
AT ITER 2393 NEW BEST:: SOT 31937 SOS 7758 HAS SOPS 7758 HAS SOUS 6350 HAS SOUPS 6350 WITH SCORE 6357.758
AT ITER 2418 NEW BEST:: SOT 31930 SOS 7744 HAS SOPS 7744 HAS SOUS 6336 HAS SOUPS 6336 WITH SCORE 6343.744
AT ITER 2435 NEW BEST:: SOT 31940 SOS 7742 HAS SOPS 7742 HAS SOUS 6334 HAS SOUPS 6334 WITH SCORE 6341.742
AT ITER 2439 NEW BEST:: SOT 31939 SOS 7739 HAS SOPS 7739 HAS SOUS 6332 HAS SOUPS 6332 WITH SCORE 6339.739
AT ITER 2451 NEW BEST:: SOT 31891 SOS 7676 HAS SOPS 7676 HAS SOUS 6269 HAS SOUPS 6269 WITH SCORE 6276.676
AT ITER 2513 NEW BEST:: SOT 31894 SOS 7667 HAS SOPS 7667 HAS SOUS 6260 HAS SOUPS 6260 WITH SCORE 6267.667
AT ITER 2529 NEW BEST:: SOT 31881 SOS 7628 HAS SOPS 7628 HAS SOUS 6234 HAS SOUPS 6234 WITH SCORE 6241.628
AT ITER 2548 NEW BEST:: SOT 31872 SOS 7610 HAS SOPS 7610 HAS SOUS 6225 HAS SOUPS 6225 WITH SCORE 6232.61
AT ITER 2549 NEW BEST:: SOT 31864 SOS 7607 HAS SOPS 7607 HAS SOUS 6222 HAS SOUPS 6222 WITH SCORE 6229.607
AT ITER 2565 NEW BEST:: SOT 31862 SOS 7605 HAS SOPS 7605 HAS SOUS 6222 HAS SOUPS 6222 WITH SCORE 6229.605
AT ITER 2590 NEW BEST:: SOT 31842 SOS 7585 HAS SOPS 7585 HAS SOUS 6216 HAS SOUPS 6216 WITH SCORE 6223.585
AT ITER 2610 NEW BEST:: SOT 31853 SOS 7582 HAS SOPS 7582 HAS SOUS 6213 HAS SOUPS 6213 WITH SCORE 6220.582
AT ITER 2613 NEW BEST:: SOT 31851 SOS 7579 HAS SOPS 7579 HAS SOUS 6210 HAS SOUPS 6210 WITH SCORE 6217.579
AT ITER 2636 NEW BEST:: SOT 31845 SOS 7567 HAS SOPS 7567 HAS SOUS 6204 HAS SOUPS 6204 WITH SCORE 6211.567
AT ITER 2669 NEW BEST:: SOT 31841 SOS 7563 HAS SOPS 7563 HAS SOUS 6200 HAS SOUPS 6200 WITH SCORE 6207.563
AT ITER 2675 NEW BEST:: SOT 31839 SOS 7557 HAS SOPS 7557 HAS SOUS 6198 HAS SOUPS 6198 WITH SCORE 6205.557
AT ITER 2683 NEW BEST:: SOT 31850 SOS 7538 HAS SOPS 7538 HAS SOUS 6165 HAS SOUPS 6165 WITH SCORE 6172.538
AT ITER 2701 NEW BEST:: SOT 31850 SOS 7516 HAS SOPS 7516 HAS SOUS 6143 HAS SOUPS 6143 WITH SCORE 6150.516
AT ITER 2758 NEW BEST:: SOT 31856 SOS 7528 HAS SOPS 7528 HAS SOUS 6115 HAS SOUPS 6115 WITH SCORE 6122.528
AT ITER 2774 NEW BEST:: SOT 31856 SOS 7528 HAS SOPS 7528 HAS SOUS 6110 HAS SOUPS 6110 WITH SCORE 6117.528
AT ITER 2786 NEW BEST:: SOT 31867 SOS 7504 HAS SOPS 7504 HAS SOUS 6086 HAS SOUPS 6086 WITH SCORE 6093.504
AT ITER 2804 NEW BEST:: SOT 31870 SOS 7500 HAS SOPS 7500 HAS SOUS 6082 HAS SOUPS 6082 WITH SCORE 6089.5
AT ITER 2807 NEW BEST:: SOT 31868 SOS 7498 HAS SOPS 7498 HAS SOUS 6080 HAS SOUPS 6080 WITH SCORE 6087.498
AT ITER 2808 NEW BEST:: SOT 31865 SOS 7494 HAS SOPS 7494 HAS SOUS 6074 HAS SOUPS 6074 WITH SCORE 6081.494
AT ITER 2821 NEW BEST:: SOT 31871 SOS 7495 HAS SOPS 7495 HAS SOUS 6066 HAS SOUPS 6066 WITH SCORE 6073.495
AT ITER 2849 NEW BEST:: SOT 31869 SOS 7491 HAS SOPS 7491 HAS SOUS 6062 HAS SOUPS 6062 WITH SCORE 6069.491
AT ITER 2875 NEW BEST:: SOT 31868 SOS 7469 HAS SOPS 7469 HAS SOUS 6050 HAS SOUPS 6050 WITH SCORE 6057.469
AT ITER 2886 NEW BEST:: SOT 31840 SOS 7464 HAS SOPS 7464 HAS SOUS 6045 HAS SOUPS 6045 WITH SCORE 6052.464
AT ITER 2887 NEW BEST:: SOT 31822 SOS 7439 HAS SOPS 7439 HAS SOUS 6040 HAS SOUPS 6040 WITH SCORE 6047.439
AT ITER 2890 NEW BEST:: SOT 31817 SOS 7422 HAS SOPS 7422 HAS SOUS 6023 HAS SOUPS 6023 WITH SCORE 6030.422
AT ITER 2899 NEW BEST:: SOT 31817 SOS 7420 HAS SOPS 7420 HAS SOUS 6021 HAS SOUPS 6021 WITH SCORE 6028.42
AT ITER 2902 NEW BEST:: SOT 31788 SOS 7391 HAS SOPS 7391 HAS SOUS 6021 HAS SOUPS 6021 WITH SCORE 6028.391
AT ITER 2926 NEW BEST:: SOT 31801 SOS 7372 HAS SOPS 7372 HAS SOUS 6002 HAS SOUPS 6002 WITH SCORE 6009.372
AT ITER 2928 NEW BEST:: SOT 31801 SOS 7362 HAS SOPS 7362 HAS SOUS 5981 HAS SOUPS 5981 WITH SCORE 5988.362
AT ITER 2950 NEW BEST:: SOT 31791 SOS 7342 HAS SOPS 7342 HAS SOUS 5961 HAS SOUPS 5961 WITH SCORE 5968.342
AT ITER 3077 NEW BEST:: SOT 31789 SOS 7335 HAS SOPS 7335 HAS SOUS 5954 HAS SOUPS 5954 WITH SCORE 5961.335
AT ITER 3081 NEW BEST:: SOT 31788 SOS 7333 HAS SOPS 7333 HAS SOUS 5952 HAS SOUPS 5952 WITH SCORE 5959.333
AT ITER 3084 NEW BEST:: SOT 31775 SOS 7325 HAS SOPS 7325 HAS SOUS 5944 HAS SOUPS 5944 WITH SCORE 5951.325
AT ITER 3094 NEW BEST:: SOT 31793 SOS 7322 HAS SOPS 7322 HAS SOUS 5941 HAS SOUPS 5941 WITH SCORE 5948.322
AT ITER 3126 NEW BEST:: SOT 31788 SOS 7317 HAS SOPS 7317 HAS SOUS 5941 HAS SOUPS 5941 WITH SCORE 5948.317
AT ITER 3155 NEW BEST:: SOT 31787 SOS 7315 HAS SOPS 7315 HAS SOUS 5939 HAS SOUPS 5939 WITH SCORE 5946.315
AT ITER 3186 NEW BEST:: SOT 31790 SOS 7321 HAS SOPS 7321 HAS SOUS 5925 HAS SOUPS 5925 WITH SCORE 5932.321
AT ITER 3213 NEW BEST:: SOT 31739 SOS 7219 HAS SOPS 7219 HAS SOUS 5862 HAS SOUPS 5862 WITH SCORE 5869.219
AT ITER 3217 NEW BEST:: SOT 31724 SOS 7208 HAS SOPS 7208 HAS SOUS 5851 HAS SOUPS 5851 WITH SCORE 5858.208
AT ITER 3253 NEW BEST:: SOT 31726 SOS 7197 HAS SOPS 7197 HAS SOUS 5840 HAS SOUPS 5840 WITH SCORE 5847.197
AT ITER 3260 NEW BEST:: SOT 31704 SOS 7136 HAS SOPS 7136 HAS SOUS 5774 HAS SOUPS 5774 WITH SCORE 5781.136
AT ITER 3262 NEW BEST:: SOT 31699 SOS 7123 HAS SOPS 7123 HAS SOUS 5761 HAS SOUPS 5761 WITH SCORE 5768.123
AT ITER 3268 NEW BEST:: SOT 31697 SOS 7119 HAS SOPS 7119 HAS SOUS 5757 HAS SOUPS 5757 WITH SCORE 5764.119
AT ITER 3298 NEW BEST:: SOT 31692 SOS 7094 HAS SOPS 7094 HAS SOUS 5742 HAS SOUPS 5742 WITH SCORE 5749.094
AT ITER 3350 NEW BEST:: SOT 31680 SOS 7070 HAS SOPS 7070 HAS SOUS 5718 HAS SOUPS 5718 WITH SCORE 5725.07
AT ITER 3364 NEW BEST:: SOT 31673 SOS 7042 HAS SOPS 7042 HAS SOUS 5705 HAS SOUPS 5705 WITH SCORE 5712.042
AT ITER 3389 NEW BEST:: SOT 31673 SOS 7036 HAS SOPS 7036 HAS SOUS 5699 HAS SOUPS 5699 WITH SCORE 5706.036
AT ITER 3407 NEW BEST:: SOT 31680 SOS 7030 HAS SOPS 7030 HAS SOUS 5693 HAS SOUPS 5693 WITH SCORE 5700.03
AT ITER 3417 NEW BEST:: SOT 31652 SOS 7002 HAS SOPS 7002 HAS SOUS 5690 HAS SOUPS 5690 WITH SCORE 5697.002
AT ITER 3439 NEW BEST:: SOT 31605 SOS 6983 HAS SOPS 6983 HAS SOUS 5685 HAS SOUPS 5685 WITH SCORE 5691.983
AT ITER 3448 NEW BEST:: SOT 31623 SOS 7019 HAS SOPS 7019 HAS SOUS 5675 HAS SOUPS 5675 WITH SCORE 5682.019
AT ITER 3480 NEW BEST:: SOT 31612 SOS 6999 HAS SOPS 6999 HAS SOUS 5674 HAS SOUPS 5674 WITH SCORE 5680.999
AT ITER 3499 NEW BEST:: SOT 31595 SOS 6982 HAS SOPS 6982 HAS SOUS 5657 HAS SOUPS 5657 WITH SCORE 5663.982
AT ITER 3522 NEW BEST:: SOT 31587 SOS 6969 HAS SOPS 6969 HAS SOUS 5644 HAS SOUPS 5644 WITH SCORE 5650.969
AT ITER 3562 NEW BEST:: SOT 31583 SOS 6967 HAS SOPS 6967 HAS SOUS 5641 HAS SOUPS 5641 WITH SCORE 5647.967
AT ITER 3565 NEW BEST:: SOT 31572 SOS 6956 HAS SOPS 6956 HAS SOUS 5641 HAS SOUPS 5641 WITH SCORE 5647.956
AT ITER 3586 NEW BEST:: SOT 31564 SOS 6937 HAS SOPS 6937 HAS SOUS 5622 HAS SOUPS 5622 WITH SCORE 5628.937
AT ITER 3595 NEW BEST:: SOT 31556 SOS 6886 HAS SOPS 6886 HAS SOUS 5571 HAS SOUPS 5571 WITH SCORE 5577.886
AT ITER 3609 NEW BEST:: SOT 31556 SOS 6885 HAS SOPS 6885 HAS SOUS 5570 HAS SOUPS 5570 WITH SCORE 5576.885
AT ITER 3622 NEW BEST:: SOT 31553 SOS 6881 HAS SOPS 6881 HAS SOUS 5566 HAS SOUPS 5566 WITH SCORE 5572.881
AT ITER 3623 NEW BEST:: SOT 31552 SOS 6879 HAS SOPS 6879 HAS SOUS 5564 HAS SOUPS 5564 WITH SCORE 5570.879
AT ITER 3640 NEW BEST:: SOT 31549 SOS 6873 HAS SOPS 6873 HAS SOUS 5558 HAS SOUPS 5558 WITH SCORE 5564.873
AT ITER 3676 NEW BEST:: SOT 31547 SOS 6870 HAS SOPS 6870 HAS SOUS 5556 HAS SOUPS 5556 WITH SCORE 5562.87
AT ITER 3693 NEW BEST:: SOT 31560 SOS 6885 HAS SOPS 6885 HAS SOUS 5550 HAS SOUPS 5550 WITH SCORE 5556.885
AT ITER 3698 NEW BEST:: SOT 31520 SOS 6830 HAS SOPS 6830 HAS SOUS 5495 HAS SOUPS 5495 WITH SCORE 5501.83
AT ITER 3700 NEW BEST:: SOT 31520 SOS 6830 HAS SOPS 6830 HAS SOUS 5494 HAS SOUPS 5494 WITH SCORE 5500.83
AT ITER 3743 NEW BEST:: SOT 31518 SOS 6827 HAS SOPS 6827 HAS SOUS 5492 HAS SOUPS 5492 WITH SCORE 5498.827
AT ITER 3795 NEW BEST:: SOT 31516 SOS 6823 HAS SOPS 6823 HAS SOUS 5488 HAS SOUPS 5488 WITH SCORE 5494.823
AT ITER 3814 NEW BEST:: SOT 31514 SOS 6819 HAS SOPS 6819 HAS SOUS 5482 HAS SOUPS 5482 WITH SCORE 5488.819
AT ITER 3831 NEW BEST:: SOT 31502 SOS 6807 HAS SOPS 6807 HAS SOUS 5470 HAS SOUPS 5470 WITH SCORE 5476.807
AT ITER 3858 NEW BEST:: SOT 31499 SOS 6804 HAS SOPS 6804 HAS SOUS 5467 HAS SOUPS 5467 WITH SCORE 5473.804
AT ITER 3972 NEW BEST:: SOT 31508 SOS 6822 HAS SOPS 6822 HAS SOUS 5457 HAS SOUPS 5457 WITH SCORE 5463.822
AT ITER 3993 NEW BEST:: SOT 31511 SOS 6833 HAS SOPS 6833 HAS SOUS 5455 HAS SOUPS 5455 WITH SCORE 5461.833
AT ITER 4050 NEW BEST:: SOT 31510 SOS 6830 HAS SOPS 6830 HAS SOUS 5454 HAS SOUPS 5454 WITH SCORE 5460.83
AT ITER 4059 NEW BEST:: SOT 31521 SOS 6841 HAS SOPS 6841 HAS SOUS 5451 HAS SOUPS 5451 WITH SCORE 5457.841
AT ITER 4102 NEW BEST:: SOT 31521 SOS 6835 HAS SOPS 6835 HAS SOUS 5449 HAS SOUPS 5449 WITH SCORE 5455.835
AT ITER 4115 NEW BEST:: SOT 31511 SOS 6810 HAS SOPS 6810 HAS SOUS 5424 HAS SOUPS 5424 WITH SCORE 5430.81
AT ITER 4116 NEW BEST:: SOT 31507 SOS 6790 HAS SOPS 6790 HAS SOUS 5404 HAS SOUPS 5404 WITH SCORE 5410.79
AT ITER 4143 NEW BEST:: SOT 31510 SOS 6789 HAS SOPS 6789 HAS SOUS 5403 HAS SOUPS 5403 WITH SCORE 5409.789
AT ITER 4163 NEW BEST:: SOT 31506 SOS 6780 HAS SOPS 6780 HAS SOUS 5399 HAS SOUPS 5399 WITH SCORE 5405.78
AT ITER 4226 NEW BEST:: SOT 31515 SOS 6780 HAS SOPS 6780 HAS SOUS 5390 HAS SOUPS 5390 WITH SCORE 5396.78
AT ITER 4230 NEW BEST:: SOT 31514 SOS 6778 HAS SOPS 6778 HAS SOUS 5388 HAS SOUPS 5388 WITH SCORE 5394.778
AT ITER 4260 NEW BEST:: SOT 31510 SOS 6774 HAS SOPS 6774 HAS SOUS 5384 HAS SOUPS 5384 WITH SCORE 5390.774
AT ITER 4269 NEW BEST:: SOT 31500 SOS 6760 HAS SOPS 6760 HAS SOUS 5380 HAS SOUPS 5380 WITH SCORE 5386.76
AT ITER 4281 NEW BEST:: SOT 31500 SOS 6760 HAS SOPS 6760 HAS SOUS 5372 HAS SOUPS 5372 WITH SCORE 5378.76
AT ITER 4313 NEW BEST:: SOT 31497 SOS 6754 HAS SOPS 6754 HAS SOUS 5366 HAS SOUPS 5366 WITH SCORE 5372.754
AT ITER 4422 NEW BEST:: SOT 31472 SOS 6745 HAS SOPS 6745 HAS SOUS 5357 HAS SOUPS 5357 WITH SCORE 5363.745
AT ITER 4461 NEW BEST:: SOT 31470 SOS 6741 HAS SOPS 6741 HAS SOUS 5353 HAS SOUPS 5353 WITH SCORE 5359.741
AT ITER 4464 NEW BEST:: SOT 31467 SOS 6729 HAS SOPS 6729 HAS SOUS 5344 HAS SOUPS 5344 WITH SCORE 5350.729
AT ITER 4480 NEW BEST:: SOT 31469 SOS 6710 HAS SOPS 6710 HAS SOUS 5324 HAS SOUPS 5324 WITH SCORE 5330.71
AT ITER 4511 NEW BEST:: SOT 31466 SOS 6706 HAS SOPS 6706 HAS SOUS 5320 HAS SOUPS 5320 WITH SCORE 5326.706
AT ITER 4566 NEW BEST:: SOT 31463 SOS 6698 HAS SOPS 6698 HAS SOUS 5316 HAS SOUPS 5316 WITH SCORE 5322.698
AT ITER 4598 NEW BEST:: SOT 31461 SOS 6694 HAS SOPS 6694 HAS SOUS 5294 HAS SOUPS 5294 WITH SCORE 5300.694
AT ITER 4603 NEW BEST:: SOT 31461 SOS 6677 HAS SOPS 6677 HAS SOUS 5277 HAS SOUPS 5277 WITH SCORE 5283.677
AT ITER 4687 NEW BEST:: SOT 31481 SOS 6697 HAS SOPS 6697 HAS SOUS 5276 HAS SOUPS 5276 WITH SCORE 5282.697
AT ITER 4690 NEW BEST:: SOT 31468 SOS 6684 HAS SOPS 6684 HAS SOUS 5271 HAS SOUPS 5271 WITH SCORE 5277.684
AT ITER 4715 NEW BEST:: SOT 31468 SOS 6680 HAS SOPS 6680 HAS SOUS 5267 HAS SOUPS 5267 WITH SCORE 5273.68
AT ITER 4726 NEW BEST:: SOT 31464 SOS 6676 HAS SOPS 6676 HAS SOUS 5263 HAS SOUPS 5263 WITH SCORE 5269.676
AT ITER 4754 NEW BEST:: SOT 31465 SOS 6675 HAS SOPS 6675 HAS SOUS 5262 HAS SOUPS 5262 WITH SCORE 5268.675
AT ITER 4841 NEW BEST:: SOT 31478 SOS 6661 HAS SOPS 6661 HAS SOUS 5248 HAS SOUPS 5248 WITH SCORE 5254.661
AT ITER 4916 NEW BEST:: SOT 31471 SOS 6647 HAS SOPS 6647 HAS SOUS 5241 HAS SOUPS 5241 WITH SCORE 5247.647
AT ITER 4976 NEW BEST:: SOT 31472 SOS 6646 HAS SOPS 6646 HAS SOUS 5241 HAS SOUPS 5241 WITH SCORE 5247.646
AT ITER 5041 NEW BEST:: SOT 31468 SOS 6638 HAS SOPS 6638 HAS SOUS 5233 HAS SOUPS 5233 WITH SCORE 5239.638
AT ITER 5083 NEW BEST:: SOT 31466 SOS 6638 HAS SOPS 6638 HAS SOUS 5231 HAS SOUPS 5231 WITH SCORE 5237.638
AT ITER 5096 NEW BEST:: SOT 31465 SOS 6636 HAS SOPS 6636 HAS SOUS 5229 HAS SOUPS 5229 WITH SCORE 5235.636
AT ITER 5127 NEW BEST:: SOT 31465 SOS 6634 HAS SOPS 6634 HAS SOUS 5227 HAS SOUPS 5227 WITH SCORE 5233.634
AT ITER 5156 NEW BEST:: SOT 31472 SOS 6627 HAS SOPS 6627 HAS SOUS 5227 HAS SOUPS 5227 WITH SCORE 5233.627
AT ITER 5301 NEW BEST:: SOT 31470 SOS 6623 HAS SOPS 6623 HAS SOUS 5221 HAS SOUPS 5221 WITH SCORE 5227.623
AT ITER 5327 NEW BEST:: SOT 31475 SOS 6622 HAS SOPS 6622 HAS SOUS 5220 HAS SOUPS 5220 WITH SCORE 5226.622
AT ITER 5363 NEW BEST:: SOT 31468 SOS 6604 HAS SOPS 6604 HAS SOUS 5206 HAS SOUPS 5206 WITH SCORE 5212.604
AT ITER 5382 NEW BEST:: SOT 31459 SOS 6585 HAS SOPS 6585 HAS SOUS 5187 HAS SOUPS 5187 WITH SCORE 5193.585
AT ITER 5469 NEW BEST:: SOT 31458 SOS 6583 HAS SOPS 6583 HAS SOUS 5185 HAS SOUPS 5185 WITH SCORE 5191.583
AT ITER 5506 NEW BEST:: SOT 31458 SOS 6543 HAS SOPS 6543 HAS SOUS 5145 HAS SOUPS 5145 WITH SCORE 5151.543
AT ITER 5535 NEW BEST:: SOT 31458 SOS 6539 HAS SOPS 6539 HAS SOUS 5145 HAS SOUPS 5145 WITH SCORE 5151.539
AT ITER 5720 NEW BEST:: SOT 31457 SOS 6538 HAS SOPS 6538 HAS SOUS 5144 HAS SOUPS 5144 WITH SCORE 5150.538
AT ITER 5733 NEW BEST:: SOT 31462 SOS 6531 HAS SOPS 6531 HAS SOUS 5137 HAS SOUPS 5137 WITH SCORE 5143.531
AT ITER 5738 NEW BEST:: SOT 31462 SOS 6526 HAS SOPS 6526 HAS SOUS 5127 HAS SOUPS 5127 WITH SCORE 5133.526
AT ITER 5752 NEW BEST:: SOT 31458 SOS 6518 HAS SOPS 6518 HAS SOUS 5119 HAS SOUPS 5119 WITH SCORE 5125.518
AT ITER 5817 NEW BEST:: SOT 31453 SOS 6504 HAS SOPS 6504 HAS SOUS 5104 HAS SOUPS 5104 WITH SCORE 5110.504
AT ITER 5895 NEW BEST:: SOT 31453 SOS 6501 HAS SOPS 6501 HAS SOUS 5103 HAS SOUPS 5103 WITH SCORE 5109.501
AT ITER 5908 NEW BEST:: SOT 31447 SOS 6489 HAS SOPS 6489 HAS SOUS 5091 HAS SOUPS 5091 WITH SCORE 5097.489
AT ITER 5919 NEW BEST:: SOT 31447 SOS 6477 HAS SOPS 6477 HAS SOUS 5079 HAS SOUPS 5079 WITH SCORE 5085.477
AT ITER 5951 NEW BEST:: SOT 31447 SOS 6477 HAS SOPS 6477 HAS SOUS 5078 HAS SOUPS 5078 WITH SCORE 5084.477
AT ITER 6017 NEW BEST:: SOT 31438 SOS 6466 HAS SOPS 6466 HAS SOUS 5071 HAS SOUPS 5071 WITH SCORE 5077.466
AT ITER 6039 NEW BEST:: SOT 31468 SOS 6496 HAS SOPS 6496 HAS SOUS 5068 HAS SOUPS 5068 WITH SCORE 5074.496
AT ITER 6148 NEW BEST:: SOT 31466 SOS 6492 HAS SOPS 6492 HAS SOUS 5064 HAS SOUPS 5064 WITH SCORE 5070.492
AT ITER 6178 NEW BEST:: SOT 31448 SOS 6468 HAS SOPS 6468 HAS SOUS 5049 HAS SOUPS 5049 WITH SCORE 5055.468
AT ITER 6183 NEW BEST:: SOT 31450 SOS 6464 HAS SOPS 6464 HAS SOUS 5045 HAS SOUPS 5045 WITH SCORE 5051.464
AT ITER 6185 NEW BEST:: SOT 31450 SOS 6459 HAS SOPS 6459 HAS SOUS 5045 HAS SOUPS 5045 WITH SCORE 5051.459
AT ITER 6201 NEW BEST:: SOT 31450 SOS 6458 HAS SOPS 6458 HAS SOUS 5044 HAS SOUPS 5044 WITH SCORE 5050.458
AT ITER 6243 NEW BEST:: SOT 31450 SOS 6449 HAS SOPS 6449 HAS SOUS 5035 HAS SOUPS 5035 WITH SCORE 5041.449
AT ITER 6245 NEW BEST:: SOT 31441 SOS 6430 HAS SOPS 6430 HAS SOUS 5016 HAS SOUPS 5016 WITH SCORE 5022.43
AT ITER 6246 NEW BEST:: SOT 31442 SOS 6429 HAS SOPS 6429 HAS SOUS 5014 HAS SOUPS 5014 WITH SCORE 5020.429
AT ITER 6279 NEW BEST:: SOT 31439 SOS 6429 HAS SOPS 6429 HAS SOUS 5011 HAS SOUPS 5011 WITH SCORE 5017.429
AT ITER 6327 NEW BEST:: SOT 31439 SOS 6428 HAS SOPS 6428 HAS SOUS 5010 HAS SOUPS 5010 WITH SCORE 5016.428
AT ITER 6427 NEW BEST:: SOT 31439 SOS 6424 HAS SOPS 6424 HAS SOUS 5006 HAS SOUPS 5006 WITH SCORE 5012.424
AT ITER 6449 NEW BEST:: SOT 31436 SOS 6410 HAS SOPS 6410 HAS SOUS 4996 HAS SOUPS 4996 WITH SCORE 5002.41
AT ITER 6456 NEW BEST:: SOT 31436 SOS 6409 HAS SOPS 6409 HAS SOUS 4995 HAS SOUPS 4995 WITH SCORE 5001.409
AT ITER 6502 NEW BEST:: SOT 31432 SOS 6401 HAS SOPS 6401 HAS SOUS 4995 HAS SOUPS 4995 WITH SCORE 5001.401
AT ITER 6609 NEW BEST:: SOT 31428 SOS 6386 HAS SOPS 6386 HAS SOUS 4994 HAS SOUPS 4994 WITH SCORE 5000.386
AT ITER 6634 NEW BEST:: SOT 31408 SOS 6366 HAS SOPS 6366 HAS SOUS 4974 HAS SOUPS 4974 WITH SCORE 4980.366
AT ITER 6717 NEW BEST:: SOT 31406 SOS 6387 HAS SOPS 6387 HAS SOUS 4972 HAS SOUPS 4972 WITH SCORE 4978.387
AT ITER 6774 NEW BEST:: SOT 31405 SOS 6384 HAS SOPS 6384 HAS SOUS 4970 HAS SOUPS 4970 WITH SCORE 4976.384
AT ITER 6822 NEW BEST:: SOT 31402 SOS 6382 HAS SOPS 6382 HAS SOUS 4968 HAS SOUPS 4968 WITH SCORE 4974.382
AT ITER 6839 NEW BEST:: SOT 31382 SOS 6361 HAS SOPS 6361 HAS SOUS 4947 HAS SOUPS 4947 WITH SCORE 4953.361
AT ITER 6863 NEW BEST:: SOT 31380 SOS 6357 HAS SOPS 6357 HAS SOUS 4943 HAS SOUPS 4943 WITH SCORE 4949.357
AT ITER 6920 NEW BEST:: SOT 31372 SOS 6347 HAS SOPS 6347 HAS SOUS 4933 HAS SOUPS 4933 WITH SCORE 4939.347
AT ITER 6923 NEW BEST:: SOT 31356 SOS 6328 HAS SOPS 6328 HAS SOUS 4914 HAS SOUPS 4914 WITH SCORE 4920.328
AT ITER 7016 NEW BEST:: SOT 31357 SOS 6299 HAS SOPS 6299 HAS SOUS 4885 HAS SOUPS 4885 WITH SCORE 4891.299
AT ITER 7056 NEW BEST:: SOT 31353 SOS 6296 HAS SOPS 6296 HAS SOUS 4882 HAS SOUPS 4882 WITH SCORE 4888.296
AT ITER 7063 NEW BEST:: SOT 31328 SOS 6276 HAS SOPS 6276 HAS SOUS 4862 HAS SOUPS 4862 WITH SCORE 4868.276
AT ITER 7081 NEW BEST:: SOT 31327 SOS 6274 HAS SOPS 6274 HAS SOUS 4860 HAS SOUPS 4860 WITH SCORE 4866.274
AT ITER 7103 NEW BEST:: SOT 31326 SOS 6272 HAS SOPS 6272 HAS SOUS 4858 HAS SOUPS 4858 WITH SCORE 4864.272
AT ITER 7165 NEW BEST:: SOT 31338 SOS 6279 HAS SOPS 6279 HAS SOUS 4849 HAS SOUPS 4849 WITH SCORE 4855.279
AT ITER 7189 NEW BEST:: SOT 31337 SOS 6277 HAS SOPS 6277 HAS SOUS 4848 HAS SOUPS 4848 WITH SCORE 4854.277
AT ITER 7242 NEW BEST:: SOT 31336 SOS 6275 HAS SOPS 6275 HAS SOUS 4848 HAS SOUPS 4848 WITH SCORE 4854.275
AT ITER 7303 NEW BEST:: SOT 31332 SOS 6265 HAS SOPS 6265 HAS SOUS 4838 HAS SOUPS 4838 WITH SCORE 4844.265
AT ITER 7333 NEW BEST:: SOT 31318 SOS 6245 HAS SOPS 6245 HAS SOUS 4818 HAS SOUPS 4818 WITH SCORE 4824.245
AT ITER 7406 NEW BEST:: SOT 31317 SOS 6244 HAS SOPS 6244 HAS SOUS 4817 HAS SOUPS 4817 WITH SCORE 4823.244
AT ITER 7417 NEW BEST:: SOT 31319 SOS 6248 HAS SOPS 6248 HAS SOUS 4815 HAS SOUPS 4815 WITH SCORE 4821.248
AT ITER 7505 NEW BEST:: SOT 31318 SOS 6246 HAS SOPS 6246 HAS SOUS 4814 HAS SOUPS 4814 WITH SCORE 4820.246
AT ITER 7531 NEW BEST:: SOT 31319 SOS 6239 HAS SOPS 6239 HAS SOUS 4809 HAS SOUPS 4809 WITH SCORE 4815.239
AT ITER 7537 NEW BEST:: SOT 31319 SOS 6239 HAS SOPS 6239 HAS SOUS 4806 HAS SOUPS 4806 WITH SCORE 4812.239
AT ITER 7572 NEW BEST:: SOT 31298 SOS 6250 HAS SOPS 6250 HAS SOUS 4793 HAS SOUPS 4793 WITH SCORE 4799.25
AT ITER 7597 NEW BEST:: SOT 31294 SOS 6246 HAS SOPS 6246 HAS SOUS 4793 HAS SOUPS 4793 WITH SCORE 4799.246
AT ITER 7745 NEW BEST:: SOT 31286 SOS 6238 HAS SOPS 6238 HAS SOUS 4792 HAS SOUPS 4792 WITH SCORE 4798.238
AT ITER 7801 NEW BEST:: SOT 31284 SOS 6234 HAS SOPS 6234 HAS SOUS 4788 HAS SOUPS 4788 WITH SCORE 4794.234
AT ITER 7864 NEW BEST:: SOT 31261 SOS 6214 HAS SOPS 6214 HAS SOUS 4785 HAS SOUPS 4785 WITH SCORE 4791.214
AT ITER 7958 NEW BEST:: SOT 31256 SOS 6206 HAS SOPS 6206 HAS SOUS 4777 HAS SOUPS 4777 WITH SCORE 4783.206
AT ITER 8041 NEW BEST:: SOT 31246 SOS 6196 HAS SOPS 6196 HAS SOUS 4777 HAS SOUPS 4777 WITH SCORE 4783.196
AT ITER 8062 NEW BEST:: SOT 31238 SOS 6194 HAS SOPS 6194 HAS SOUS 4775 HAS SOUPS 4775 WITH SCORE 4781.194
AT ITER 8069 NEW BEST:: SOT 31233 SOS 6184 HAS SOPS 6184 HAS SOUS 4765 HAS SOUPS 4765 WITH SCORE 4771.184
AT ITER 8099 NEW BEST:: SOT 31233 SOS 6184 HAS SOPS 6184 HAS SOUS 4762 HAS SOUPS 4762 WITH SCORE 4768.184
AT ITER 8164 NEW BEST:: SOT 31223 SOS 6182 HAS SOPS 6182 HAS SOUS 4760 HAS SOUPS 4760 WITH SCORE 4766.182
AT ITER 8171 NEW BEST:: SOT 31221 SOS 6178 HAS SOPS 6178 HAS SOUS 4756 HAS SOUPS 4756 WITH SCORE 4762.178
AT ITER 8201 NEW BEST:: SOT 31213 SOS 6165 HAS SOPS 6165 HAS SOUS 4744 HAS SOUPS 4744 WITH SCORE 4750.165
AT ITER 8224 NEW BEST:: SOT 31212 SOS 6164 HAS SOPS 6164 HAS SOUS 4743 HAS SOUPS 4743 WITH SCORE 4749.164
AT ITER 8253 NEW BEST:: SOT 31223 SOS 6153 HAS SOPS 6153 HAS SOUS 4743 HAS SOUPS 4743 WITH SCORE 4749.153
AT ITER 8278 NEW BEST:: SOT 31224 SOS 6150 HAS SOPS 6150 HAS SOUS 4740 HAS SOUPS 4740 WITH SCORE 4746.15
AT ITER 8551 NEW BEST:: SOT 31223 SOS 6149 HAS SOPS 6149 HAS SOUS 4739 HAS SOUPS 4739 WITH SCORE 4745.149
AT ITER 8571 NEW BEST:: SOT 31222 SOS 6145 HAS SOPS 6145 HAS SOUS 4738 HAS SOUPS 4738 WITH SCORE 4744.145
AT ITER 8653 NEW BEST:: SOT 31220 SOS 6143 HAS SOPS 6143 HAS SOUS 4736 HAS SOUPS 4736 WITH SCORE 4742.143
AT ITER 8762 NEW BEST:: SOT 31219 SOS 6142 HAS SOPS 6142 HAS SOUS 4735 HAS SOUPS 4735 WITH SCORE 4741.142
AT ITER 9057 NEW BEST:: SOT 31217 SOS 6138 HAS SOPS 6138 HAS SOUS 4731 HAS SOUPS 4731 WITH SCORE 4737.138
AT ITER 9111 NEW BEST:: SOT 31214 SOS 6131 HAS SOPS 6131 HAS SOUS 4725 HAS SOUPS 4725 WITH SCORE 4731.131
AT ITER 9382 NEW BEST:: SOT 31214 SOS 6123 HAS SOPS 6123 HAS SOUS 4725 HAS SOUPS 4725 WITH SCORE 4731.123
AT ITER 9506 NEW BEST:: SOT 31214 SOS 6112 HAS SOPS 6112 HAS SOUS 4714 HAS SOUPS 4714 WITH SCORE 4720.112
AT ITER 9668 NEW BEST:: SOT 31214 SOS 6106 HAS SOPS 6106 HAS SOUS 4702 HAS SOUPS 4702 WITH SCORE 4708.106
AT ITER 9745 NEW BEST:: SOT 31214 SOS 6104 HAS SOPS 6104 HAS SOUS 4700 HAS SOUPS 4700 WITH SCORE 4706.104
AT ITER 9764 NEW BEST:: SOT 31214 SOS 6103 HAS SOPS 6103 HAS SOUS 4699 HAS SOUPS 4699 WITH SCORE 4705.103
AT ITER 9776 NEW BEST:: SOT 31221 SOS 6075 HAS SOPS 6075 HAS SOUS 4685 HAS SOUPS 4685 WITH SCORE 4691.075
AT ITER 9968 NEW BEST:: SOT 31219 SOS 6071 HAS SOPS 6071 HAS SOUS 4681 HAS SOUPS 4681 WITH SCORE 4687.071
AT ITER 9993 NEW BEST:: SOT 31216 SOS 6068 HAS SOPS 6068 HAS SOUS 4678 HAS SOUPS 4678 WITH SCORE 4684.068
STATE_SPACE STATES 3143150756787 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 32 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 50565415250536 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678789893959

--------------------
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

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="BusinessProcesses-PT-02"
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 BusinessProcesses-PT-02, 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 r043-tajo-167813696900464"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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