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.r011-oct2-167813600600688.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 AutonomousCar-PT-10b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813600600688
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.0M
-rw-r--r-- 1 mcc users 6.8K Feb 25 12:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 25 12:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 25 12:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 25 12:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 12:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 117K Feb 25 12:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 25 12:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 25 12:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:34 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.6M 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 1678742902909

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=AutonomousCar-PT-10b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 21:28:25] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 21:28:25] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 21:28:26] [INFO ] Load time of PNML (sax parser for PT used): 192 ms
[2023-03-13 21:28:26] [INFO ] Transformed 425 places.
[2023-03-13 21:28:26] [INFO ] Transformed 2252 transitions.
[2023-03-13 21:28:26] [INFO ] Found NUPN structural information;
[2023-03-13 21:28:26] [INFO ] Parsed PT model containing 425 places and 2252 transitions and 29816 arcs in 325 ms.
[2023-03-13 21:28:26] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 425 places, 2252 transitions and 29816 arcs took 60 ms.
Total runtime 422 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutonomousCar (PT), instance 10b
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: 425 places, 2252 transitions, 29816 arcs.
AT ITER 0 NEW BEST:: SOT 755273 SOS 244785 HAS SOPS 244785 HAS SOUS 155545 HAS SOUPS 155545 WITH SCORE 155789.785
AT ITER 8 NEW BEST:: SOT 754760 SOS 244264 HAS SOPS 244264 HAS SOUS 155158 HAS SOUPS 155158 WITH SCORE 155402.264
AT ITER 24 NEW BEST:: SOT 754688 SOS 244120 HAS SOPS 244120 HAS SOUS 155086 HAS SOUPS 155086 WITH SCORE 155330.12
AT ITER 30 NEW BEST:: SOT 754382 SOS 243814 HAS SOPS 243814 HAS SOUS 154402 HAS SOUPS 154402 WITH SCORE 154645.814
AT ITER 35 NEW BEST:: SOT 754341 SOS 243670 HAS SOPS 243670 HAS SOUS 154361 HAS SOUPS 154361 WITH SCORE 154604.67
AT ITER 36 NEW BEST:: SOT 754083 SOS 243412 HAS SOPS 243412 HAS SOUS 154265 HAS SOUPS 154265 WITH SCORE 154508.412
AT ITER 40 NEW BEST:: SOT 754058 SOS 243362 HAS SOPS 243362 HAS SOUS 154215 HAS SOUPS 154215 WITH SCORE 154458.362
AT ITER 51 NEW BEST:: SOT 754002 SOS 243321 HAS SOPS 243321 HAS SOUS 154167 HAS SOUPS 154167 WITH SCORE 154410.321
AT ITER 55 NEW BEST:: SOT 754011 SOS 243315 HAS SOPS 243315 HAS SOUS 154161 HAS SOUPS 154161 WITH SCORE 154404.315
AT ITER 65 NEW BEST:: SOT 753959 SOS 243263 HAS SOPS 243263 HAS SOUS 154109 HAS SOUPS 154109 WITH SCORE 154352.263
AT ITER 77 NEW BEST:: SOT 753596 SOS 242900 HAS SOPS 242900 HAS SOUS 153284 HAS SOUPS 153284 WITH SCORE 153526.9
AT ITER 79 NEW BEST:: SOT 753657 SOS 242868 HAS SOPS 242868 HAS SOUS 146696 HAS SOUPS 146696 WITH SCORE 146938.868
AT ITER 97 NEW BEST:: SOT 753650 SOS 242854 HAS SOPS 242854 HAS SOUS 146682 HAS SOUPS 146682 WITH SCORE 146924.854
AT ITER 113 NEW BEST:: SOT 753632 SOS 242836 HAS SOPS 242836 HAS SOUS 146644 HAS SOUPS 146644 WITH SCORE 146886.836
AT ITER 119 NEW BEST:: SOT 753632 SOS 242810 HAS SOPS 242810 HAS SOUS 146618 HAS SOUPS 146618 WITH SCORE 146860.81
AT ITER 122 NEW BEST:: SOT 753553 SOS 242731 HAS SOPS 242731 HAS SOUS 146539 HAS SOUPS 146539 WITH SCORE 146781.731
AT ITER 123 NEW BEST:: SOT 752664 SOS 242715 HAS SOPS 242715 HAS SOUS 146323 HAS SOUPS 146323 WITH SCORE 146565.715
AT ITER 159 NEW BEST:: SOT 752661 SOS 242709 HAS SOPS 242709 HAS SOUS 146317 HAS SOUPS 146317 WITH SCORE 146559.709
AT ITER 167 NEW BEST:: SOT 752620 SOS 242548 HAS SOPS 242548 HAS SOUS 146276 HAS SOUPS 146276 WITH SCORE 146518.548
AT ITER 199 NEW BEST:: SOT 752596 SOS 242454 HAS SOPS 242454 HAS SOUS 146258 HAS SOUPS 146258 WITH SCORE 146500.454
AT ITER 201 NEW BEST:: SOT 752554 SOS 242459 HAS SOPS 242459 HAS SOUS 146216 HAS SOUPS 146216 WITH SCORE 146458.459
AT ITER 205 NEW BEST:: SOT 752554 SOS 242459 HAS SOPS 242459 HAS SOUS 146184 HAS SOUPS 146184 WITH SCORE 146426.459
AT ITER 207 NEW BEST:: SOT 752572 SOS 242495 HAS SOPS 242495 HAS SOUS 146166 HAS SOUPS 146166 WITH SCORE 146408.495
AT ITER 222 NEW BEST:: SOT 751434 SOS 241253 HAS SOPS 241253 HAS SOUS 145374 HAS SOUPS 145374 WITH SCORE 145615.253
AT ITER 223 NEW BEST:: SOT 751313 SOS 241193 HAS SOPS 241193 HAS SOUS 145233 HAS SOUPS 145233 WITH SCORE 145474.193
AT ITER 227 NEW BEST:: SOT 753946 SOS 250752 HAS SOPS 250752 HAS SOUS 128941 HAS SOUPS 128941 WITH SCORE 129191.752
AT ITER 228 NEW BEST:: SOT 753933 SOS 250713 HAS SOPS 250713 HAS SOUS 126157 HAS SOUPS 126157 WITH SCORE 126407.713
AT ITER 234 NEW BEST:: SOT 753909 SOS 250707 HAS SOPS 250707 HAS SOUS 126139 HAS SOUPS 126139 WITH SCORE 126389.707
AT ITER 243 NEW BEST:: SOT 753813 SOS 250699 HAS SOPS 250699 HAS SOUS 126096 HAS SOUPS 126096 WITH SCORE 126346.699
AT ITER 280 NEW BEST:: SOT 753813 SOS 250648 HAS SOPS 250648 HAS SOUS 126045 HAS SOUPS 126045 WITH SCORE 126295.648
AT ITER 295 NEW BEST:: SOT 753820 SOS 250638 HAS SOPS 250638 HAS SOUS 119908 HAS SOUPS 119908 WITH SCORE 120158.638
AT ITER 300 NEW BEST:: SOT 751535 SOS 256436 HAS SOPS 256436 HAS SOUS 117861 HAS SOUPS 117861 WITH SCORE 118117.436
AT ITER 349 NEW BEST:: SOT 750677 SOS 256629 HAS SOPS 256629 HAS SOUS 117616 HAS SOUPS 117616 WITH SCORE 117872.629
AT ITER 358 NEW BEST:: SOT 750677 SOS 256576 HAS SOPS 256576 HAS SOUS 117563 HAS SOUPS 117563 WITH SCORE 117819.576
AT ITER 366 NEW BEST:: SOT 750634 SOS 256533 HAS SOPS 256533 HAS SOUS 117520 HAS SOUPS 117520 WITH SCORE 117776.533
AT ITER 381 NEW BEST:: SOT 750628 SOS 256509 HAS SOPS 256509 HAS SOUS 117496 HAS SOUPS 117496 WITH SCORE 117752.509
AT ITER 418 NEW BEST:: SOT 750131 SOS 255990 HAS SOPS 255990 HAS SOUS 117435 HAS SOUPS 117435 WITH SCORE 117690.99
AT ITER 425 NEW BEST:: SOT 750104 SOS 254904 HAS SOPS 254904 HAS SOUS 116805 HAS SOUPS 116805 WITH SCORE 117059.904
AT ITER 438 NEW BEST:: SOT 750155 SOS 254958 HAS SOPS 254958 HAS SOUS 115880 HAS SOUPS 115880 WITH SCORE 116134.958
AT ITER 442 NEW BEST:: SOT 750164 SOS 257102 HAS SOPS 257102 HAS SOUS 115814 HAS SOUPS 115814 WITH SCORE 116071.102
AT ITER 446 NEW BEST:: SOT 750149 SOS 256478 HAS SOPS 256478 HAS SOUS 115812 HAS SOUPS 115812 WITH SCORE 116068.478
AT ITER 455 NEW BEST:: SOT 750100 SOS 256474 HAS SOPS 256474 HAS SOUS 115781 HAS SOUPS 115781 WITH SCORE 116037.474
AT ITER 457 NEW BEST:: SOT 750099 SOS 256472 HAS SOPS 256472 HAS SOUS 115779 HAS SOUPS 115779 WITH SCORE 116035.472
AT ITER 459 NEW BEST:: SOT 750061 SOS 256396 HAS SOPS 256396 HAS SOUS 115703 HAS SOUPS 115703 WITH SCORE 115959.396
AT ITER 468 NEW BEST:: SOT 749541 SOS 255828 HAS SOPS 255828 HAS SOUS 115467 HAS SOUPS 115467 WITH SCORE 115722.828
AT ITER 476 NEW BEST:: SOT 749520 SOS 255786 HAS SOPS 255786 HAS SOUS 115425 HAS SOUPS 115425 WITH SCORE 115680.786
AT ITER 493 NEW BEST:: SOT 749592 SOS 255851 HAS SOPS 255851 HAS SOUS 112738 HAS SOUPS 112738 WITH SCORE 112993.851
AT ITER 501 NEW BEST:: SOT 749476 SOS 268619 HAS SOPS 268619 HAS SOUS 112649 HAS SOUPS 112649 WITH SCORE 112917.619
AT ITER 505 NEW BEST:: SOT 749440 SOS 268379 HAS SOPS 268379 HAS SOUS 112563 HAS SOUPS 112563 WITH SCORE 112831.379
AT ITER 519 NEW BEST:: SOT 749440 SOS 268356 HAS SOPS 268356 HAS SOUS 112563 HAS SOUPS 112563 WITH SCORE 112831.356
AT ITER 542 NEW BEST:: SOT 749440 SOS 268356 HAS SOPS 268356 HAS SOUS 112552 HAS SOUPS 112552 WITH SCORE 112820.356
AT ITER 548 NEW BEST:: SOT 749354 SOS 268239 HAS SOPS 268239 HAS SOUS 112466 HAS SOUPS 112466 WITH SCORE 112734.239
AT ITER 567 NEW BEST:: SOT 748464 SOS 267349 HAS SOPS 267349 HAS SOUS 111741 HAS SOUPS 111741 WITH SCORE 112008.349
AT ITER 569 NEW BEST:: SOT 748452 SOS 267340 HAS SOPS 267340 HAS SOUS 111724 HAS SOUPS 111724 WITH SCORE 111991.34
AT ITER 581 NEW BEST:: SOT 748449 SOS 260558 HAS SOPS 260558 HAS SOUS 111706 HAS SOUPS 111706 WITH SCORE 111966.558
AT ITER 615 NEW BEST:: SOT 748449 SOS 260557 HAS SOPS 260557 HAS SOUS 111683 HAS SOUPS 111683 WITH SCORE 111943.557
AT ITER 629 NEW BEST:: SOT 748369 SOS 260397 HAS SOPS 260397 HAS SOUS 111551 HAS SOUPS 111551 WITH SCORE 111811.397
AT ITER 654 NEW BEST:: SOT 748434 SOS 260457 HAS SOPS 260457 HAS SOUS 111182 HAS SOUPS 111182 WITH SCORE 111442.457
AT ITER 657 NEW BEST:: SOT 748331 SOS 260525 HAS SOPS 260525 HAS SOUS 111130 HAS SOUPS 111130 WITH SCORE 111390.525
AT ITER 675 NEW BEST:: SOT 748333 SOS 260527 HAS SOPS 260527 HAS SOUS 111090 HAS SOUPS 111090 WITH SCORE 111350.527
AT ITER 701 NEW BEST:: SOT 748325 SOS 260519 HAS SOPS 260519 HAS SOUS 111064 HAS SOUPS 111064 WITH SCORE 111324.519
AT ITER 712 NEW BEST:: SOT 748325 SOS 260519 HAS SOPS 260519 HAS SOUS 111062 HAS SOUPS 111062 WITH SCORE 111322.519
AT ITER 758 NEW BEST:: SOT 748283 SOS 260498 HAS SOPS 260498 HAS SOUS 111041 HAS SOUPS 111041 WITH SCORE 111301.498
AT ITER 795 NEW BEST:: SOT 748002 SOS 260195 HAS SOPS 260195 HAS SOUS 110980 HAS SOUPS 110980 WITH SCORE 111240.195
AT ITER 797 NEW BEST:: SOT 747998 SOS 260194 HAS SOPS 260194 HAS SOUS 110979 HAS SOUPS 110979 WITH SCORE 111239.194
AT ITER 811 NEW BEST:: SOT 748007 SOS 260203 HAS SOPS 260203 HAS SOUS 110924 HAS SOUPS 110924 WITH SCORE 111184.203
AT ITER 814 NEW BEST:: SOT 747157 SOS 259306 HAS SOPS 259306 HAS SOUS 109980 HAS SOUPS 109980 WITH SCORE 110239.306
AT ITER 817 NEW BEST:: SOT 747153 SOS 259302 HAS SOPS 259302 HAS SOUS 109976 HAS SOUPS 109976 WITH SCORE 110235.302
AT ITER 819 NEW BEST:: SOT 747136 SOS 259288 HAS SOPS 259288 HAS SOUS 109962 HAS SOUPS 109962 WITH SCORE 110221.288
AT ITER 828 NEW BEST:: SOT 747136 SOS 259288 HAS SOPS 259288 HAS SOUS 109928 HAS SOUPS 109928 WITH SCORE 110187.288
AT ITER 829 NEW BEST:: SOT 746566 SOS 258718 HAS SOPS 258718 HAS SOUS 109358 HAS SOUPS 109358 WITH SCORE 109616.718
AT ITER 835 NEW BEST:: SOT 746537 SOS 258450 HAS SOPS 258450 HAS SOUS 108793 HAS SOUPS 108793 WITH SCORE 109051.45
AT ITER 842 NEW BEST:: SOT 746486 SOS 258348 HAS SOPS 258348 HAS SOUS 108691 HAS SOUPS 108691 WITH SCORE 108949.348
AT ITER 852 NEW BEST:: SOT 746476 SOS 258328 HAS SOPS 258328 HAS SOUS 108681 HAS SOUPS 108681 WITH SCORE 108939.328
AT ITER 858 NEW BEST:: SOT 746408 SOS 258324 HAS SOPS 258324 HAS SOUS 108679 HAS SOUPS 108679 WITH SCORE 108937.324
AT ITER 918 NEW BEST:: SOT 746381 SOS 258270 HAS SOPS 258270 HAS SOUS 108625 HAS SOUPS 108625 WITH SCORE 108883.27
AT ITER 922 NEW BEST:: SOT 746383 SOS 258274 HAS SOPS 258274 HAS SOUS 108619 HAS SOUPS 108619 WITH SCORE 108877.274
AT ITER 932 NEW BEST:: SOT 746263 SOS 258150 HAS SOPS 258150 HAS SOUS 108539 HAS SOUPS 108539 WITH SCORE 108797.15
AT ITER 957 NEW BEST:: SOT 746256 SOS 258136 HAS SOPS 258136 HAS SOUS 108525 HAS SOUPS 108525 WITH SCORE 108783.136
AT ITER 991 NEW BEST:: SOT 746251 SOS 258126 HAS SOPS 258126 HAS SOUS 108499 HAS SOUPS 108499 WITH SCORE 108757.126
AT ITER 992 NEW BEST:: SOT 746251 SOS 258112 HAS SOPS 258112 HAS SOUS 108499 HAS SOUPS 108499 WITH SCORE 108757.112
AT ITER 997 NEW BEST:: SOT 746236 SOS 258096 HAS SOPS 258096 HAS SOUS 108490 HAS SOUPS 108490 WITH SCORE 108748.096
AT ITER 1007 NEW BEST:: SOT 746252 SOS 258146 HAS SOPS 258146 HAS SOUS 108488 HAS SOUPS 108488 WITH SCORE 108746.146
AT ITER 1021 NEW BEST:: SOT 746242 SOS 258136 HAS SOPS 258136 HAS SOUS 108478 HAS SOUPS 108478 WITH SCORE 108736.136
AT ITER 1026 NEW BEST:: SOT 746226 SOS 257988 HAS SOPS 257988 HAS SOUS 108446 HAS SOUPS 108446 WITH SCORE 108703.988
AT ITER 1045 NEW BEST:: SOT 746230 SOS 258027 HAS SOPS 258027 HAS SOUS 108171 HAS SOUPS 108171 WITH SCORE 108429.027
AT ITER 1048 NEW BEST:: SOT 746208 SOS 258027 HAS SOPS 258027 HAS SOUS 108165 HAS SOUPS 108165 WITH SCORE 108423.027
AT ITER 1055 NEW BEST:: SOT 746226 SOS 257953 HAS SOPS 257953 HAS SOUS 108128 HAS SOUPS 108128 WITH SCORE 108385.953
AT ITER 1059 NEW BEST:: SOT 746214 SOS 257915 HAS SOPS 257915 HAS SOUS 108102 HAS SOUPS 108102 WITH SCORE 108359.915
AT ITER 1082 NEW BEST:: SOT 746212 SOS 257911 HAS SOPS 257911 HAS SOUS 108100 HAS SOUPS 108100 WITH SCORE 108357.911
AT ITER 1083 NEW BEST:: SOT 746143 SOS 257911 HAS SOPS 257911 HAS SOUS 108076 HAS SOUPS 108076 WITH SCORE 108333.911
AT ITER 1088 NEW BEST:: SOT 746118 SOS 257861 HAS SOPS 257861 HAS SOUS 108026 HAS SOUPS 108026 WITH SCORE 108283.861
AT ITER 1104 NEW BEST:: SOT 746118 SOS 257861 HAS SOPS 257861 HAS SOUS 107990 HAS SOUPS 107990 WITH SCORE 108247.861
AT ITER 1110 NEW BEST:: SOT 746118 SOS 257824 HAS SOPS 257824 HAS SOUS 107990 HAS SOUPS 107990 WITH SCORE 108247.824
AT ITER 1124 NEW BEST:: SOT 746116 SOS 257823 HAS SOPS 257823 HAS SOUS 107989 HAS SOUPS 107989 WITH SCORE 108246.823
AT ITER 1125 NEW BEST:: SOT 746095 SOS 257817 HAS SOPS 257817 HAS SOUS 107975 HAS SOUPS 107975 WITH SCORE 108232.817
AT ITER 1157 NEW BEST:: SOT 746093 SOS 257809 HAS SOPS 257809 HAS SOUS 107973 HAS SOUPS 107973 WITH SCORE 108230.809
AT ITER 1177 NEW BEST:: SOT 746093 SOS 257809 HAS SOPS 257809 HAS SOUS 107972 HAS SOUPS 107972 WITH SCORE 108229.809
AT ITER 1189 NEW BEST:: SOT 746067 SOS 257705 HAS SOPS 257705 HAS SOUS 107942 HAS SOUPS 107942 WITH SCORE 108199.705
AT ITER 1190 NEW BEST:: SOT 746055 SOS 257681 HAS SOPS 257681 HAS SOUS 107932 HAS SOUPS 107932 WITH SCORE 108189.681
AT ITER 1202 NEW BEST:: SOT 745717 SOS 257669 HAS SOPS 257669 HAS SOUS 107821 HAS SOUPS 107821 WITH SCORE 108078.669
AT ITER 1208 NEW BEST:: SOT 745667 SOS 257619 HAS SOPS 257619 HAS SOUS 107786 HAS SOUPS 107786 WITH SCORE 108043.619
AT ITER 1235 NEW BEST:: SOT 745652 SOS 257589 HAS SOPS 257589 HAS SOUS 107771 HAS SOUPS 107771 WITH SCORE 108028.589
AT ITER 1264 NEW BEST:: SOT 744505 SOS 256438 HAS SOPS 256438 HAS SOUS 107181 HAS SOUPS 107181 WITH SCORE 107437.438
AT ITER 1270 NEW BEST:: SOT 744499 SOS 256438 HAS SOPS 256438 HAS SOUS 107175 HAS SOUPS 107175 WITH SCORE 107431.438
AT ITER 1282 NEW BEST:: SOT 744499 SOS 256443 HAS SOPS 256443 HAS SOUS 107170 HAS SOUPS 107170 WITH SCORE 107426.443
AT ITER 1290 NEW BEST:: SOT 744489 SOS 256423 HAS SOPS 256423 HAS SOUS 107150 HAS SOUPS 107150 WITH SCORE 107406.423
AT ITER 1302 NEW BEST:: SOT 744494 SOS 256381 HAS SOPS 256381 HAS SOUS 107127 HAS SOUPS 107127 WITH SCORE 107383.381
AT ITER 1311 NEW BEST:: SOT 744370 SOS 256345 HAS SOPS 256345 HAS SOUS 107054 HAS SOUPS 107054 WITH SCORE 107310.345
AT ITER 1350 NEW BEST:: SOT 744340 SOS 256354 HAS SOPS 256354 HAS SOUS 107040 HAS SOUPS 107040 WITH SCORE 107296.354
AT ITER 1364 NEW BEST:: SOT 744315 SOS 256334 HAS SOPS 256334 HAS SOUS 107020 HAS SOUPS 107020 WITH SCORE 107276.334
AT ITER 1366 NEW BEST:: SOT 744309 SOS 256322 HAS SOPS 256322 HAS SOUS 107020 HAS SOUPS 107020 WITH SCORE 107276.322
AT ITER 1372 NEW BEST:: SOT 744316 SOS 256350 HAS SOPS 256350 HAS SOUS 106957 HAS SOUPS 106957 WITH SCORE 107213.35
AT ITER 1397 NEW BEST:: SOT 744278 SOS 256234 HAS SOPS 256234 HAS SOUS 106879 HAS SOUPS 106879 WITH SCORE 107135.234
AT ITER 1404 NEW BEST:: SOT 744277 SOS 256232 HAS SOPS 256232 HAS SOUS 106831 HAS SOUPS 106831 WITH SCORE 107087.232
AT ITER 1406 NEW BEST:: SOT 744248 SOS 256174 HAS SOPS 256174 HAS SOUS 106773 HAS SOUPS 106773 WITH SCORE 107029.174
AT ITER 1429 NEW BEST:: SOT 744208 SOS 256094 HAS SOPS 256094 HAS SOUS 106693 HAS SOUPS 106693 WITH SCORE 106949.094
AT ITER 1432 NEW BEST:: SOT 744253 SOS 256018 HAS SOPS 256018 HAS SOUS 106644 HAS SOUPS 106644 WITH SCORE 106900.018
AT ITER 1439 NEW BEST:: SOT 744244 SOS 256009 HAS SOPS 256009 HAS SOUS 106626 HAS SOUPS 106626 WITH SCORE 106882.009
AT ITER 1441 NEW BEST:: SOT 744239 SOS 255999 HAS SOPS 255999 HAS SOUS 106613 HAS SOUPS 106613 WITH SCORE 106868.999
AT ITER 1448 NEW BEST:: SOT 744222 SOS 255974 HAS SOPS 255974 HAS SOUS 106588 HAS SOUPS 106588 WITH SCORE 106843.974
AT ITER 1455 NEW BEST:: SOT 744175 SOS 255942 HAS SOPS 255942 HAS SOUS 106548 HAS SOUPS 106548 WITH SCORE 106803.942
AT ITER 1460 NEW BEST:: SOT 744232 SOS 255955 HAS SOPS 255955 HAS SOUS 106447 HAS SOUPS 106447 WITH SCORE 106702.955
AT ITER 1465 NEW BEST:: SOT 743976 SOS 255698 HAS SOPS 255698 HAS SOUS 106201 HAS SOUPS 106201 WITH SCORE 106456.698
AT ITER 1467 NEW BEST:: SOT 743951 SOS 255648 HAS SOPS 255648 HAS SOUS 106176 HAS SOUPS 106176 WITH SCORE 106431.648
AT ITER 1470 NEW BEST:: SOT 743959 SOS 255656 HAS SOPS 255656 HAS SOUS 106056 HAS SOUPS 106056 WITH SCORE 106311.656
AT ITER 1485 NEW BEST:: SOT 743959 SOS 255644 HAS SOPS 255644 HAS SOUS 106044 HAS SOUPS 106044 WITH SCORE 106299.644
AT ITER 1522 NEW BEST:: SOT 743853 SOS 255432 HAS SOPS 255432 HAS SOUS 105878 HAS SOUPS 105878 WITH SCORE 106133.432
AT ITER 1534 NEW BEST:: SOT 743878 SOS 255482 HAS SOPS 255482 HAS SOUS 104395 HAS SOUPS 104395 WITH SCORE 104650.482
AT ITER 1540 NEW BEST:: SOT 743879 SOS 255483 HAS SOPS 255483 HAS SOUS 104140 HAS SOUPS 104140 WITH SCORE 104395.483
AT ITER 1565 NEW BEST:: SOT 743873 SOS 255471 HAS SOPS 255471 HAS SOUS 104128 HAS SOUPS 104128 WITH SCORE 104383.471
AT ITER 1566 NEW BEST:: SOT 743866 SOS 255457 HAS SOPS 255457 HAS SOUS 104102 HAS SOUPS 104102 WITH SCORE 104357.457
AT ITER 1567 NEW BEST:: SOT 742917 SOS 254439 HAS SOPS 254439 HAS SOUS 103971 HAS SOUPS 103971 WITH SCORE 104225.439
AT ITER 1569 NEW BEST:: SOT 742905 SOS 254415 HAS SOPS 254415 HAS SOUS 103963 HAS SOUPS 103963 WITH SCORE 104217.415
AT ITER 1588 NEW BEST:: SOT 742914 SOS 254331 HAS SOPS 254331 HAS SOUS 103914 HAS SOUPS 103914 WITH SCORE 104168.331
AT ITER 1609 NEW BEST:: SOT 742907 SOS 254333 HAS SOPS 254333 HAS SOUS 103900 HAS SOUPS 103900 WITH SCORE 104154.333
AT ITER 1618 NEW BEST:: SOT 742927 SOS 256005 HAS SOPS 256005 HAS SOUS 103804 HAS SOUPS 103804 WITH SCORE 104060.005
AT ITER 1621 NEW BEST:: SOT 742913 SOS 255928 HAS SOPS 255928 HAS SOUS 103647 HAS SOUPS 103647 WITH SCORE 103902.928
AT ITER 1629 NEW BEST:: SOT 742972 SOS 256046 HAS SOPS 256046 HAS SOUS 102874 HAS SOUPS 102874 WITH SCORE 103130.046
AT ITER 1631 NEW BEST:: SOT 742945 SOS 256074 HAS SOPS 256074 HAS SOUS 102853 HAS SOUPS 102853 WITH SCORE 103109.074
AT ITER 1635 NEW BEST:: SOT 742905 SOS 255991 HAS SOPS 255991 HAS SOUS 102730 HAS SOUPS 102730 WITH SCORE 102985.991
AT ITER 1655 NEW BEST:: SOT 742912 SOS 256005 HAS SOPS 256005 HAS SOUS 96721 HAS SOUPS 96721 WITH SCORE 96977.005
AT ITER 1663 NEW BEST:: SOT 742894 SOS 255987 HAS SOPS 255987 HAS SOUS 96681 HAS SOUPS 96681 WITH SCORE 96936.987
AT ITER 1669 NEW BEST:: SOT 742898 SOS 255983 HAS SOPS 255983 HAS SOUS 96677 HAS SOUPS 96677 WITH SCORE 96932.983
AT ITER 1670 NEW BEST:: SOT 742474 SOS 255495 HAS SOPS 255495 HAS SOUS 96583 HAS SOUPS 96583 WITH SCORE 96838.495
AT ITER 1700 NEW BEST:: SOT 742458 SOS 255463 HAS SOPS 255463 HAS SOUS 96551 HAS SOUPS 96551 WITH SCORE 96806.463
AT ITER 1716 NEW BEST:: SOT 742264 SOS 255285 HAS SOPS 255285 HAS SOUS 96373 HAS SOUPS 96373 WITH SCORE 96628.285
AT ITER 1737 NEW BEST:: SOT 742263 SOS 255283 HAS SOPS 255283 HAS SOUS 96371 HAS SOUPS 96371 WITH SCORE 96626.283
AT ITER 1746 NEW BEST:: SOT 742153 SOS 255149 HAS SOPS 255149 HAS SOUS 96230 HAS SOUPS 96230 WITH SCORE 96485.149
AT ITER 1772 NEW BEST:: SOT 742112 SOS 255108 HAS SOPS 255108 HAS SOUS 96187 HAS SOUPS 96187 WITH SCORE 96442.108
AT ITER 1818 NEW BEST:: SOT 742138 SOS 255146 HAS SOPS 255146 HAS SOUS 96093 HAS SOUPS 96093 WITH SCORE 96348.146
AT ITER 1838 NEW BEST:: SOT 742138 SOS 255146 HAS SOPS 255146 HAS SOUS 96079 HAS SOUPS 96079 WITH SCORE 96334.146
AT ITER 1853 NEW BEST:: SOT 742051 SOS 254972 HAS SOPS 254972 HAS SOUS 95905 HAS SOUPS 95905 WITH SCORE 96159.972
AT ITER 1855 NEW BEST:: SOT 742033 SOS 254954 HAS SOPS 254954 HAS SOUS 93601 HAS SOUPS 93601 WITH SCORE 93855.954
AT ITER 1871 NEW BEST:: SOT 742032 SOS 254895 HAS SOPS 254895 HAS SOUS 93588 HAS SOUPS 93588 WITH SCORE 93842.895
AT ITER 1920 NEW BEST:: SOT 741192 SOS 253973 HAS SOPS 253973 HAS SOUS 93186 HAS SOUPS 93186 WITH SCORE 93439.973
AT ITER 1921 NEW BEST:: SOT 741196 SOS 253981 HAS SOPS 253981 HAS SOUS 93181 HAS SOUPS 93181 WITH SCORE 93434.981
AT ITER 1932 NEW BEST:: SOT 741179 SOS 253947 HAS SOPS 253947 HAS SOUS 93147 HAS SOUPS 93147 WITH SCORE 93400.947
AT ITER 1961 NEW BEST:: SOT 741178 SOS 253945 HAS SOPS 253945 HAS SOUS 93145 HAS SOUPS 93145 WITH SCORE 93398.945
AT ITER 1965 NEW BEST:: SOT 741195 SOS 253979 HAS SOPS 253979 HAS SOUS 92839 HAS SOUPS 92839 WITH SCORE 93092.979
AT ITER 2017 NEW BEST:: SOT 741197 SOS 253979 HAS SOPS 253979 HAS SOUS 92837 HAS SOUPS 92837 WITH SCORE 93090.979
AT ITER 2027 NEW BEST:: SOT 740883 SOS 253646 HAS SOPS 253646 HAS SOUS 92713 HAS SOUPS 92713 WITH SCORE 92966.646
AT ITER 2055 NEW BEST:: SOT 740854 SOS 253546 HAS SOPS 253546 HAS SOUS 92655 HAS SOUPS 92655 WITH SCORE 92908.546
AT ITER 2061 NEW BEST:: SOT 740854 SOS 253538 HAS SOPS 253538 HAS SOUS 92647 HAS SOUPS 92647 WITH SCORE 92900.538
AT ITER 2077 NEW BEST:: SOT 740850 SOS 253530 HAS SOPS 253530 HAS SOUS 92639 HAS SOUPS 92639 WITH SCORE 92892.53
AT ITER 2090 NEW BEST:: SOT 740847 SOS 253524 HAS SOPS 253524 HAS SOUS 92633 HAS SOUPS 92633 WITH SCORE 92886.524
AT ITER 2107 NEW BEST:: SOT 740847 SOS 253524 HAS SOPS 253524 HAS SOUS 92625 HAS SOUPS 92625 WITH SCORE 92878.524
AT ITER 2121 NEW BEST:: SOT 740838 SOS 253506 HAS SOPS 253506 HAS SOUS 92622 HAS SOUPS 92622 WITH SCORE 92875.506
AT ITER 2132 NEW BEST:: SOT 740805 SOS 253473 HAS SOPS 253473 HAS SOUS 91929 HAS SOUPS 91929 WITH SCORE 92182.473
AT ITER 2138 NEW BEST:: SOT 740809 SOS 253471 HAS SOPS 253471 HAS SOUS 91927 HAS SOUPS 91927 WITH SCORE 92180.471
AT ITER 2145 NEW BEST:: SOT 740855 SOS 253509 HAS SOPS 253509 HAS SOUS 91467 HAS SOUPS 91467 WITH SCORE 91720.509
AT ITER 2149 NEW BEST:: SOT 740846 SOS 253491 HAS SOPS 253491 HAS SOUS 91458 HAS SOUPS 91458 WITH SCORE 91711.491
AT ITER 2156 NEW BEST:: SOT 740822 SOS 253443 HAS SOPS 253443 HAS SOUS 91427 HAS SOUPS 91427 WITH SCORE 91680.443
AT ITER 2159 NEW BEST:: SOT 740822 SOS 253418 HAS SOPS 253418 HAS SOUS 91420 HAS SOUPS 91420 WITH SCORE 91673.418
AT ITER 2166 NEW BEST:: SOT 740730 SOS 253234 HAS SOPS 253234 HAS SOUS 91236 HAS SOUPS 91236 WITH SCORE 91489.234
AT ITER 2172 NEW BEST:: SOT 740702 SOS 253240 HAS SOPS 253240 HAS SOUS 91208 HAS SOUPS 91208 WITH SCORE 91461.24
AT ITER 2179 NEW BEST:: SOT 740680 SOS 253196 HAS SOPS 253196 HAS SOUS 91164 HAS SOUPS 91164 WITH SCORE 91417.196
AT ITER 2190 NEW BEST:: SOT 740680 SOS 261026 HAS SOPS 261026 HAS SOUS 91145 HAS SOUPS 91145 WITH SCORE 91406.026
AT ITER 2203 NEW BEST:: SOT 740674 SOS 261009 HAS SOPS 261009 HAS SOUS 91139 HAS SOUPS 91139 WITH SCORE 91400.009
AT ITER 2219 NEW BEST:: SOT 740665 SOS 260958 HAS SOPS 260958 HAS SOUS 91121 HAS SOUPS 91121 WITH SCORE 91381.958
AT ITER 2230 NEW BEST:: SOT 740691 SOS 260984 HAS SOPS 260984 HAS SOUS 90861 HAS SOUPS 90861 WITH SCORE 91121.984
AT ITER 2254 NEW BEST:: SOT 740685 SOS 260972 HAS SOPS 260972 HAS SOUS 90849 HAS SOUPS 90849 WITH SCORE 91109.972
AT ITER 2300 NEW BEST:: SOT 740669 SOS 260956 HAS SOPS 260956 HAS SOUS 90809 HAS SOUPS 90809 WITH SCORE 91069.956
AT ITER 2301 NEW BEST:: SOT 740655 SOS 260928 HAS SOPS 260928 HAS SOUS 90781 HAS SOUPS 90781 WITH SCORE 91041.928
AT ITER 2305 NEW BEST:: SOT 740647 SOS 260928 HAS SOPS 260928 HAS SOUS 90773 HAS SOUPS 90773 WITH SCORE 91033.928
AT ITER 2308 NEW BEST:: SOT 740624 SOS 260882 HAS SOPS 260882 HAS SOUS 90727 HAS SOUPS 90727 WITH SCORE 90987.882
AT ITER 2314 NEW BEST:: SOT 740622 SOS 260878 HAS SOPS 260878 HAS SOUS 90726 HAS SOUPS 90726 WITH SCORE 90986.878
AT ITER 2366 NEW BEST:: SOT 740605 SOS 260878 HAS SOPS 260878 HAS SOUS 90709 HAS SOUPS 90709 WITH SCORE 90969.878
AT ITER 2396 NEW BEST:: SOT 740635 SOS 260938 HAS SOPS 260938 HAS SOUS 90701 HAS SOUPS 90701 WITH SCORE 90961.938
AT ITER 2399 NEW BEST:: SOT 740591 SOS 260914 HAS SOPS 260914 HAS SOUS 90677 HAS SOUPS 90677 WITH SCORE 90937.914
AT ITER 2416 NEW BEST:: SOT 740581 SOS 260915 HAS SOPS 260915 HAS SOUS 90657 HAS SOUPS 90657 WITH SCORE 90917.915
AT ITER 2424 NEW BEST:: SOT 740503 SOS 260867 HAS SOPS 260867 HAS SOUS 90609 HAS SOUPS 90609 WITH SCORE 90869.867
AT ITER 2437 NEW BEST:: SOT 740503 SOS 260885 HAS SOPS 260885 HAS SOUS 90591 HAS SOUPS 90591 WITH SCORE 90851.885
AT ITER 2450 NEW BEST:: SOT 740431 SOS 260741 HAS SOPS 260741 HAS SOUS 90377 HAS SOUPS 90377 WITH SCORE 90637.741
AT ITER 2466 NEW BEST:: SOT 740449 SOS 260705 HAS SOPS 260705 HAS SOUS 90377 HAS SOUPS 90377 WITH SCORE 90637.705
AT ITER 2469 NEW BEST:: SOT 740451 SOS 260689 HAS SOPS 260689 HAS SOUS 90369 HAS SOUPS 90369 WITH SCORE 90629.689
AT ITER 2472 NEW BEST:: SOT 740318 SOS 260556 HAS SOPS 260556 HAS SOUS 90236 HAS SOUPS 90236 WITH SCORE 90496.556
AT ITER 2488 NEW BEST:: SOT 740296 SOS 260542 HAS SOPS 260542 HAS SOUS 89908 HAS SOUPS 89908 WITH SCORE 90168.542
AT ITER 2516 NEW BEST:: SOT 740253 SOS 260456 HAS SOPS 260456 HAS SOUS 89822 HAS SOUPS 89822 WITH SCORE 90082.456
AT ITER 2535 NEW BEST:: SOT 740253 SOS 260415 HAS SOPS 260415 HAS SOUS 89781 HAS SOUPS 89781 WITH SCORE 90041.415
AT ITER 2566 NEW BEST:: SOT 740212 SOS 260415 HAS SOPS 260415 HAS SOUS 89749 HAS SOUPS 89749 WITH SCORE 90009.415
AT ITER 2648 NEW BEST:: SOT 740184 SOS 260359 HAS SOPS 260359 HAS SOUS 89693 HAS SOUPS 89693 WITH SCORE 89953.359
AT ITER 2652 NEW BEST:: SOT 740162 SOS 260414 HAS SOPS 260414 HAS SOUS 89686 HAS SOUPS 89686 WITH SCORE 89946.414
AT ITER 2669 NEW BEST:: SOT 740144 SOS 260378 HAS SOPS 260378 HAS SOUS 89650 HAS SOUPS 89650 WITH SCORE 89910.378
AT ITER 2680 NEW BEST:: SOT 740555 SOS 260758 HAS SOPS 260758 HAS SOUS 84300 HAS SOUPS 84300 WITH SCORE 84560.758
AT ITER 2683 NEW BEST:: SOT 740544 SOS 260673 HAS SOPS 260673 HAS SOUS 84256 HAS SOUPS 84256 WITH SCORE 84516.673
AT ITER 2717 NEW BEST:: SOT 740527 SOS 260639 HAS SOPS 260639 HAS SOUS 84253 HAS SOUPS 84253 WITH SCORE 84513.639
AT ITER 2724 NEW BEST:: SOT 740527 SOS 260637 HAS SOPS 260637 HAS SOUS 84251 HAS SOUPS 84251 WITH SCORE 84511.637
AT ITER 2748 NEW BEST:: SOT 740527 SOS 260637 HAS SOPS 260637 HAS SOUS 84075 HAS SOUPS 84075 WITH SCORE 84335.637
AT ITER 2760 NEW BEST:: SOT 740472 SOS 260527 HAS SOPS 260527 HAS SOUS 83965 HAS SOUPS 83965 WITH SCORE 84225.527
AT ITER 2778 NEW BEST:: SOT 740467 SOS 260512 HAS SOPS 260512 HAS SOUS 83955 HAS SOUPS 83955 WITH SCORE 84215.512
AT ITER 2779 NEW BEST:: SOT 740489 SOS 260556 HAS SOPS 260556 HAS SOUS 83705 HAS SOUPS 83705 WITH SCORE 83965.556
AT ITER 2816 NEW BEST:: SOT 740362 SOS 258672 HAS SOPS 258672 HAS SOUS 83533 HAS SOUPS 83533 WITH SCORE 83791.672
AT ITER 2822 NEW BEST:: SOT 740348 SOS 258644 HAS SOPS 258644 HAS SOUS 83505 HAS SOUPS 83505 WITH SCORE 83763.644
AT ITER 2826 NEW BEST:: SOT 739532 SOS 257828 HAS SOPS 257828 HAS SOUS 82657 HAS SOUPS 82657 WITH SCORE 82914.828
AT ITER 2868 NEW BEST:: SOT 739527 SOS 257818 HAS SOPS 257818 HAS SOUS 82647 HAS SOUPS 82647 WITH SCORE 82904.818
AT ITER 2890 NEW BEST:: SOT 739523 SOS 257810 HAS SOPS 257810 HAS SOUS 82644 HAS SOUPS 82644 WITH SCORE 82901.81
AT ITER 2915 NEW BEST:: SOT 739518 SOS 257805 HAS SOPS 257805 HAS SOUS 82639 HAS SOUPS 82639 WITH SCORE 82896.805
AT ITER 2937 NEW BEST:: SOT 739509 SOS 257790 HAS SOPS 257790 HAS SOUS 82633 HAS SOUPS 82633 WITH SCORE 82890.79
AT ITER 2951 NEW BEST:: SOT 739491 SOS 257754 HAS SOPS 257754 HAS SOUS 82597 HAS SOUPS 82597 WITH SCORE 82854.754
AT ITER 2968 NEW BEST:: SOT 739490 SOS 257752 HAS SOPS 257752 HAS SOUS 82595 HAS SOUPS 82595 WITH SCORE 82852.752
AT ITER 3010 NEW BEST:: SOT 739482 SOS 257736 HAS SOPS 257736 HAS SOUS 82589 HAS SOUPS 82589 WITH SCORE 82846.736
AT ITER 3024 NEW BEST:: SOT 739481 SOS 257736 HAS SOPS 257736 HAS SOUS 82588 HAS SOUPS 82588 WITH SCORE 82845.736
AT ITER 3030 NEW BEST:: SOT 739474 SOS 257700 HAS SOPS 257700 HAS SOUS 82577 HAS SOUPS 82577 WITH SCORE 82834.7
AT ITER 3057 NEW BEST:: SOT 739474 SOS 257666 HAS SOPS 257666 HAS SOUS 82543 HAS SOUPS 82543 WITH SCORE 82800.666
AT ITER 3058 NEW BEST:: SOT 739475 SOS 257668 HAS SOPS 257668 HAS SOUS 82523 HAS SOUPS 82523 WITH SCORE 82780.668
AT ITER 3102 NEW BEST:: SOT 739472 SOS 257662 HAS SOPS 257662 HAS SOUS 82450 HAS SOUPS 82450 WITH SCORE 82707.662
AT ITER 3146 NEW BEST:: SOT 739466 SOS 244943 HAS SOPS 244943 HAS SOUS 82421 HAS SOUPS 82421 WITH SCORE 82665.943
AT ITER 3159 NEW BEST:: SOT 739446 SOS 244903 HAS SOPS 244903 HAS SOUS 82381 HAS SOUPS 82381 WITH SCORE 82625.903
AT ITER 3179 NEW BEST:: SOT 739446 SOS 244909 HAS SOPS 244909 HAS SOUS 82375 HAS SOUPS 82375 WITH SCORE 82619.909
AT ITER 3208 NEW BEST:: SOT 739446 SOS 244909 HAS SOPS 244909 HAS SOUS 82370 HAS SOUPS 82370 WITH SCORE 82614.909
AT ITER 3235 NEW BEST:: SOT 739431 SOS 244921 HAS SOPS 244921 HAS SOUS 82340 HAS SOUPS 82340 WITH SCORE 82584.921
AT ITER 3239 NEW BEST:: SOT 739431 SOS 244921 HAS SOPS 244921 HAS SOUS 82303 HAS SOUPS 82303 WITH SCORE 82547.921
AT ITER 3248 NEW BEST:: SOT 739321 SOS 244801 HAS SOPS 244801 HAS SOUS 82063 HAS SOUPS 82063 WITH SCORE 82307.801
AT ITER 3253 NEW BEST:: SOT 739309 SOS 244794 HAS SOPS 244794 HAS SOUS 82053 HAS SOUPS 82053 WITH SCORE 82297.794
AT ITER 3258 NEW BEST:: SOT 739300 SOS 244785 HAS SOPS 244785 HAS SOUS 82035 HAS SOUPS 82035 WITH SCORE 82279.785
AT ITER 3268 NEW BEST:: SOT 739290 SOS 244783 HAS SOPS 244783 HAS SOUS 82034 HAS SOUPS 82034 WITH SCORE 82278.783
AT ITER 3316 NEW BEST:: SOT 739120 SOS 244613 HAS SOPS 244613 HAS SOUS 81596 HAS SOUPS 81596 WITH SCORE 81840.613
AT ITER 3318 NEW BEST:: SOT 739103 SOS 244579 HAS SOPS 244579 HAS SOUS 81562 HAS SOUPS 81562 WITH SCORE 81806.579
AT ITER 3339 NEW BEST:: SOT 739108 SOS 244568 HAS SOPS 244568 HAS SOUS 81551 HAS SOUPS 81551 WITH SCORE 81795.568
AT ITER 3389 NEW BEST:: SOT 739129 SOS 244560 HAS SOPS 244560 HAS SOUS 81547 HAS SOUPS 81547 WITH SCORE 81791.56
AT ITER 3418 NEW BEST:: SOT 739115 SOS 244518 HAS SOPS 244518 HAS SOUS 81533 HAS SOUPS 81533 WITH SCORE 81777.518
AT ITER 3475 NEW BEST:: SOT 739113 SOS 244514 HAS SOPS 244514 HAS SOUS 81531 HAS SOUPS 81531 WITH SCORE 81775.514
AT ITER 3493 NEW BEST:: SOT 739130 SOS 244496 HAS SOPS 244496 HAS SOUS 81513 HAS SOUPS 81513 WITH SCORE 81757.496
AT ITER 3522 NEW BEST:: SOT 739130 SOS 244457 HAS SOPS 244457 HAS SOUS 81513 HAS SOUPS 81513 WITH SCORE 81757.457
AT ITER 3555 NEW BEST:: SOT 739046 SOS 244365 HAS SOPS 244365 HAS SOUS 81421 HAS SOUPS 81421 WITH SCORE 81665.365
AT ITER 3592 NEW BEST:: SOT 739045 SOS 244364 HAS SOPS 244364 HAS SOUS 81420 HAS SOUPS 81420 WITH SCORE 81664.364
AT ITER 3614 NEW BEST:: SOT 739045 SOS 244306 HAS SOPS 244306 HAS SOUS 75305 HAS SOUPS 75305 WITH SCORE 75549.306
AT ITER 3624 NEW BEST:: SOT 739045 SOS 244275 HAS SOPS 244275 HAS SOUS 75305 HAS SOUPS 75305 WITH SCORE 75549.275
AT ITER 3625 NEW BEST:: SOT 738739 SOS 243905 HAS SOPS 243905 HAS SOUS 74935 HAS SOUPS 74935 WITH SCORE 75178.905
AT ITER 3627 NEW BEST:: SOT 738723 SOS 243893 HAS SOPS 243893 HAS SOUS 74899 HAS SOUPS 74899 WITH SCORE 75142.893
AT ITER 3701 NEW BEST:: SOT 738723 SOS 243856 HAS SOPS 243856 HAS SOUS 74899 HAS SOUPS 74899 WITH SCORE 75142.856
AT ITER 3704 NEW BEST:: SOT 738737 SOS 243842 HAS SOPS 243842 HAS SOUS 74871 HAS SOUPS 74871 WITH SCORE 75114.842
AT ITER 3746 NEW BEST:: SOT 738731 SOS 243836 HAS SOPS 243836 HAS SOUS 74865 HAS SOUPS 74865 WITH SCORE 75108.836
AT ITER 3788 NEW BEST:: SOT 738757 SOS 243834 HAS SOPS 243834 HAS SOUS 74863 HAS SOUPS 74863 WITH SCORE 75106.834
AT ITER 3795 NEW BEST:: SOT 738753 SOS 243798 HAS SOPS 243798 HAS SOUS 74835 HAS SOUPS 74835 WITH SCORE 75078.798
AT ITER 3805 NEW BEST:: SOT 738599 SOS 243650 HAS SOPS 243650 HAS SOUS 74519 HAS SOUPS 74519 WITH SCORE 74762.65
AT ITER 3807 NEW BEST:: SOT 738486 SOS 232083 HAS SOPS 232083 HAS SOUS 74401 HAS SOUPS 74401 WITH SCORE 74633.083
AT ITER 3810 NEW BEST:: SOT 738476 SOS 232063 HAS SOPS 232063 HAS SOUS 74381 HAS SOUPS 74381 WITH SCORE 74613.063
AT ITER 3845 NEW BEST:: SOT 738464 SOS 232051 HAS SOPS 232051 HAS SOUS 74369 HAS SOUPS 74369 WITH SCORE 74601.051
AT ITER 3867 NEW BEST:: SOT 738464 SOS 232051 HAS SOPS 232051 HAS SOUS 74356 HAS SOUPS 74356 WITH SCORE 74588.051
AT ITER 3873 NEW BEST:: SOT 738465 SOS 232052 HAS SOPS 232052 HAS SOUS 74229 HAS SOUPS 74229 WITH SCORE 74461.052
AT ITER 3886 NEW BEST:: SOT 738445 SOS 232022 HAS SOPS 232022 HAS SOUS 74209 HAS SOUPS 74209 WITH SCORE 74441.022
AT ITER 3895 NEW BEST:: SOT 738412 SOS 231891 HAS SOPS 231891 HAS SOUS 74073 HAS SOUPS 74073 WITH SCORE 74304.891
AT ITER 3932 NEW BEST:: SOT 738409 SOS 231848 HAS SOPS 231848 HAS SOUS 74070 HAS SOUPS 74070 WITH SCORE 74301.848
AT ITER 3941 NEW BEST:: SOT 738393 SOS 231816 HAS SOPS 231816 HAS SOUS 74038 HAS SOUPS 74038 WITH SCORE 74269.816
AT ITER 3958 NEW BEST:: SOT 738382 SOS 231816 HAS SOPS 231816 HAS SOUS 73939 HAS SOUPS 73939 WITH SCORE 74170.816
AT ITER 4003 NEW BEST:: SOT 738382 SOS 231813 HAS SOPS 231813 HAS SOUS 73939 HAS SOUPS 73939 WITH SCORE 74170.813
AT ITER 4017 NEW BEST:: SOT 738382 SOS 231795 HAS SOPS 231795 HAS SOUS 73939 HAS SOUPS 73939 WITH SCORE 74170.795
AT ITER 4088 NEW BEST:: SOT 738386 SOS 231771 HAS SOPS 231771 HAS SOUS 73915 HAS SOUPS 73915 WITH SCORE 74146.771
AT ITER 4098 NEW BEST:: SOT 738380 SOS 231759 HAS SOPS 231759 HAS SOUS 73902 HAS SOUPS 73902 WITH SCORE 74133.759
AT ITER 4129 NEW BEST:: SOT 738230 SOS 231534 HAS SOPS 231534 HAS SOUS 73677 HAS SOUPS 73677 WITH SCORE 73908.534
AT ITER 4211 NEW BEST:: SOT 738230 SOS 231523 HAS SOPS 231523 HAS SOUS 73578 HAS SOUPS 73578 WITH SCORE 73809.523
AT ITER 4245 NEW BEST:: SOT 738225 SOS 231518 HAS SOPS 231518 HAS SOUS 73573 HAS SOUPS 73573 WITH SCORE 73804.518
AT ITER 4250 NEW BEST:: SOT 738224 SOS 231516 HAS SOPS 231516 HAS SOUS 73571 HAS SOUPS 73571 WITH SCORE 73802.516
AT ITER 4254 NEW BEST:: SOT 738279 SOS 231580 HAS SOPS 231580 HAS SOUS 71491 HAS SOUPS 71491 WITH SCORE 71722.58
AT ITER 4270 NEW BEST:: SOT 738254 SOS 231395 HAS SOPS 231395 HAS SOUS 71441 HAS SOUPS 71441 WITH SCORE 71672.395
AT ITER 4311 NEW BEST:: SOT 738205 SOS 231398 HAS SOPS 231398 HAS SOUS 71422 HAS SOUPS 71422 WITH SCORE 71653.398
AT ITER 4381 NEW BEST:: SOT 738246 SOS 231388 HAS SOPS 231388 HAS SOUS 71412 HAS SOUPS 71412 WITH SCORE 71643.388
AT ITER 4391 NEW BEST:: SOT 738242 SOS 231372 HAS SOPS 231372 HAS SOUS 71404 HAS SOUPS 71404 WITH SCORE 71635.372
AT ITER 4423 NEW BEST:: SOT 742672 SOS 235820 HAS SOPS 235820 HAS SOUS 69691 HAS SOUPS 69691 WITH SCORE 69926.82
AT ITER 4489 NEW BEST:: SOT 742654 SOS 235732 HAS SOPS 235732 HAS SOUS 67616 HAS SOUPS 67616 WITH SCORE 67851.732
AT ITER 4531 NEW BEST:: SOT 742654 SOS 235732 HAS SOPS 235732 HAS SOUS 67614 HAS SOUPS 67614 WITH SCORE 67849.732
AT ITER 4561 NEW BEST:: SOT 742684 SOS 235762 HAS SOPS 235762 HAS SOUS 67374 HAS SOUPS 67374 WITH SCORE 67609.762
AT ITER 4581 NEW BEST:: SOT 742684 SOS 235762 HAS SOPS 235762 HAS SOUS 67353 HAS SOUPS 67353 WITH SCORE 67588.762
AT ITER 4682 NEW BEST:: SOT 742684 SOS 235762 HAS SOPS 235762 HAS SOUS 67346 HAS SOUPS 67346 WITH SCORE 67581.762
AT ITER 4736 NEW BEST:: SOT 742682 SOS 235793 HAS SOPS 235793 HAS SOUS 67342 HAS SOUPS 67342 WITH SCORE 67577.793
AT ITER 4749 NEW BEST:: SOT 742682 SOS 235768 HAS SOPS 235768 HAS SOUS 67317 HAS SOUPS 67317 WITH SCORE 67552.768
AT ITER 4758 NEW BEST:: SOT 742682 SOS 235754 HAS SOPS 235754 HAS SOUS 67317 HAS SOUPS 67317 WITH SCORE 67552.754
AT ITER 4760 NEW BEST:: SOT 742722 SOS 235719 HAS SOPS 235719 HAS SOUS 67308 HAS SOUPS 67308 WITH SCORE 67543.719
AT ITER 4869 NEW BEST:: SOT 742713 SOS 235710 HAS SOPS 235710 HAS SOUS 67299 HAS SOUPS 67299 WITH SCORE 67534.71
AT ITER 4916 NEW BEST:: SOT 742711 SOS 235691 HAS SOPS 235691 HAS SOUS 67280 HAS SOUPS 67280 WITH SCORE 67515.691
AT ITER 4925 NEW BEST:: SOT 742708 SOS 235685 HAS SOPS 235685 HAS SOUS 67267 HAS SOUPS 67267 WITH SCORE 67502.685
AT ITER 4927 NEW BEST:: SOT 742664 SOS 235529 HAS SOPS 235529 HAS SOUS 67177 HAS SOUPS 67177 WITH SCORE 67412.529
AT ITER 4996 NEW BEST:: SOT 742610 SOS 235588 HAS SOPS 235588 HAS SOUS 67163 HAS SOUPS 67163 WITH SCORE 67398.588
AT ITER 5001 NEW BEST:: SOT 742584 SOS 235574 HAS SOPS 235574 HAS SOUS 67137 HAS SOUPS 67137 WITH SCORE 67372.574
AT ITER 5004 NEW BEST:: SOT 742584 SOS 235574 HAS SOPS 235574 HAS SOUS 67121 HAS SOUPS 67121 WITH SCORE 67356.574
AT ITER 5006 NEW BEST:: SOT 742598 SOS 235540 HAS SOPS 235540 HAS SOUS 67121 HAS SOUPS 67121 WITH SCORE 67356.54
AT ITER 5031 NEW BEST:: SOT 742582 SOS 235524 HAS SOPS 235524 HAS SOUS 67105 HAS SOUPS 67105 WITH SCORE 67340.524
AT ITER 5039 NEW BEST:: SOT 742598 SOS 235419 HAS SOPS 235419 HAS SOUS 67065 HAS SOUPS 67065 WITH SCORE 67300.419
AT ITER 5060 NEW BEST:: SOT 742910 SOS 235723 HAS SOPS 235723 HAS SOUS 66867 HAS SOUPS 66867 WITH SCORE 67102.723
AT ITER 5061 NEW BEST:: SOT 742894 SOS 235715 HAS SOPS 235715 HAS SOUS 66859 HAS SOUPS 66859 WITH SCORE 67094.715
AT ITER 5146 NEW BEST:: SOT 742898 SOS 235723 HAS SOPS 235723 HAS SOUS 66847 HAS SOUPS 66847 WITH SCORE 67082.723
AT ITER 5155 NEW BEST:: SOT 742898 SOS 235691 HAS SOPS 235691 HAS SOUS 66847 HAS SOUPS 66847 WITH SCORE 67082.691
AT ITER 5160 NEW BEST:: SOT 742891 SOS 235691 HAS SOPS 235691 HAS SOUS 66833 HAS SOUPS 66833 WITH SCORE 67068.691
AT ITER 5176 NEW BEST:: SOT 742891 SOS 235677 HAS SOPS 235677 HAS SOUS 66833 HAS SOUPS 66833 WITH SCORE 67068.677
AT ITER 5199 NEW BEST:: SOT 743008 SOS 235731 HAS SOPS 235731 HAS SOUS 66561 HAS SOUPS 66561 WITH SCORE 66796.731
AT ITER 5251 NEW BEST:: SOT 742966 SOS 235730 HAS SOPS 235730 HAS SOUS 66546 HAS SOUPS 66546 WITH SCORE 66781.73
AT ITER 5257 NEW BEST:: SOT 742957 SOS 235721 HAS SOPS 235721 HAS SOUS 66537 HAS SOUPS 66537 WITH SCORE 66772.721
AT ITER 5260 NEW BEST:: SOT 742957 SOS 235709 HAS SOPS 235709 HAS SOUS 66537 HAS SOUPS 66537 WITH SCORE 66772.709
AT ITER 5279 NEW BEST:: SOT 742939 SOS 235694 HAS SOPS 235694 HAS SOUS 66522 HAS SOUPS 66522 WITH SCORE 66757.694
AT ITER 5308 NEW BEST:: SOT 742907 SOS 235694 HAS SOPS 235694 HAS SOUS 66508 HAS SOUPS 66508 WITH SCORE 66743.694
AT ITER 5316 NEW BEST:: SOT 742889 SOS 235658 HAS SOPS 235658 HAS SOUS 66469 HAS SOUPS 66469 WITH SCORE 66704.658
AT ITER 5354 NEW BEST:: SOT 742870 SOS 235639 HAS SOPS 235639 HAS SOUS 66450 HAS SOUPS 66450 WITH SCORE 66685.639
AT ITER 5402 NEW BEST:: SOT 742864 SOS 235621 HAS SOPS 235621 HAS SOUS 66438 HAS SOUPS 66438 WITH SCORE 66673.621
AT ITER 5425 NEW BEST:: SOT 742944 SOS 235692 HAS SOPS 235692 HAS SOUS 66432 HAS SOUPS 66432 WITH SCORE 66667.692
AT ITER 5429 NEW BEST:: SOT 742917 SOS 235638 HAS SOPS 235638 HAS SOUS 66326 HAS SOUPS 66326 WITH SCORE 66561.638
AT ITER 5463 NEW BEST:: SOT 742896 SOS 235596 HAS SOPS 235596 HAS SOUS 66308 HAS SOUPS 66308 WITH SCORE 66543.596
AT ITER 5505 NEW BEST:: SOT 742886 SOS 235601 HAS SOPS 235601 HAS SOUS 66273 HAS SOUPS 66273 WITH SCORE 66508.601
AT ITER 5527 NEW BEST:: SOT 742854 SOS 235537 HAS SOPS 235537 HAS SOUS 66221 HAS SOUPS 66221 WITH SCORE 66456.537
AT ITER 5543 NEW BEST:: SOT 742746 SOS 315349 HAS SOPS 315349 HAS SOUS 66114 HAS SOUPS 66114 WITH SCORE 66429.349
AT ITER 5626 NEW BEST:: SOT 742599 SOS 315335 HAS SOPS 315335 HAS SOUS 66047 HAS SOUPS 66047 WITH SCORE 66362.335
AT ITER 5664 NEW BEST:: SOT 742568 SOS 313224 HAS SOPS 313224 HAS SOUS 66016 HAS SOUPS 66016 WITH SCORE 66329.224
AT ITER 5703 NEW BEST:: SOT 742561 SOS 313189 HAS SOPS 313189 HAS SOUS 66015 HAS SOUPS 66015 WITH SCORE 66328.189
AT ITER 5767 NEW BEST:: SOT 742540 SOS 312992 HAS SOPS 312992 HAS SOUS 65912 HAS SOUPS 65912 WITH SCORE 66224.992
AT ITER 5790 NEW BEST:: SOT 742538 SOS 312988 HAS SOPS 312988 HAS SOUS 65908 HAS SOUPS 65908 WITH SCORE 66220.988
AT ITER 5914 NEW BEST:: SOT 742519 SOS 312930 HAS SOPS 312930 HAS SOUS 65870 HAS SOUPS 65870 WITH SCORE 66182.93
AT ITER 5964 NEW BEST:: SOT 742502 SOS 312913 HAS SOPS 312913 HAS SOUS 65853 HAS SOUPS 65853 WITH SCORE 66165.913
AT ITER 5988 NEW BEST:: SOT 742502 SOS 312913 HAS SOPS 312913 HAS SOUS 65850 HAS SOUPS 65850 WITH SCORE 66162.913
AT ITER 5995 NEW BEST:: SOT 742491 SOS 312836 HAS SOPS 312836 HAS SOUS 65839 HAS SOUPS 65839 WITH SCORE 66151.836
AT ITER 6001 NEW BEST:: SOT 742490 SOS 312846 HAS SOPS 312846 HAS SOUS 65837 HAS SOUPS 65837 WITH SCORE 66149.846
AT ITER 6010 NEW BEST:: SOT 742450 SOS 344766 HAS SOPS 344766 HAS SOUS 65797 HAS SOUPS 65797 WITH SCORE 66141.766
AT ITER 6026 NEW BEST:: SOT 742447 SOS 344742 HAS SOPS 344742 HAS SOUS 65791 HAS SOUPS 65791 WITH SCORE 66135.742
AT ITER 6040 NEW BEST:: SOT 742520 SOS 344813 HAS SOPS 344813 HAS SOUS 65695 HAS SOUPS 65695 WITH SCORE 66039.813
AT ITER 6043 NEW BEST:: SOT 742518 SOS 344809 HAS SOPS 344809 HAS SOUS 65662 HAS SOUPS 65662 WITH SCORE 66006.809
AT ITER 6059 NEW BEST:: SOT 742500 SOS 344773 HAS SOPS 344773 HAS SOUS 65643 HAS SOUPS 65643 WITH SCORE 65987.773
AT ITER 6107 NEW BEST:: SOT 742499 SOS 344770 HAS SOPS 344770 HAS SOUS 65642 HAS SOUPS 65642 WITH SCORE 65986.77
AT ITER 6163 NEW BEST:: SOT 742249 SOS 344475 HAS SOPS 344475 HAS SOUS 59415 HAS SOUPS 59415 WITH SCORE 59759.475
AT ITER 6198 NEW BEST:: SOT 742225 SOS 344451 HAS SOPS 344451 HAS SOUS 59367 HAS SOUPS 59367 WITH SCORE 59711.451
AT ITER 6231 NEW BEST:: SOT 742225 SOS 344374 HAS SOPS 344374 HAS SOUS 59367 HAS SOUPS 59367 WITH SCORE 59711.374
AT ITER 6262 NEW BEST:: SOT 742228 SOS 344380 HAS SOPS 344380 HAS SOUS 59353 HAS SOUPS 59353 WITH SCORE 59697.38
AT ITER 6268 NEW BEST:: SOT 742149 SOS 344143 HAS SOPS 344143 HAS SOUS 59274 HAS SOUPS 59274 WITH SCORE 59618.143
AT ITER 6332 NEW BEST:: SOT 742149 SOS 344122 HAS SOPS 344122 HAS SOUS 59274 HAS SOUPS 59274 WITH SCORE 59618.122
AT ITER 6385 NEW BEST:: SOT 742148 SOS 344120 HAS SOPS 344120 HAS SOUS 59273 HAS SOUPS 59273 WITH SCORE 59617.12
AT ITER 6392 NEW BEST:: SOT 739293 SOS 341521 HAS SOPS 341521 HAS SOUS 58870 HAS SOUPS 58870 WITH SCORE 59211.521
AT ITER 6409 NEW BEST:: SOT 739293 SOS 341475 HAS SOPS 341475 HAS SOUS 58870 HAS SOUPS 58870 WITH SCORE 59211.475
AT ITER 6416 NEW BEST:: SOT 739249 SOS 341417 HAS SOPS 341417 HAS SOUS 58862 HAS SOUPS 58862 WITH SCORE 59203.417
AT ITER 6426 NEW BEST:: SOT 739239 SOS 341408 HAS SOPS 341408 HAS SOUS 58842 HAS SOUPS 58842 WITH SCORE 59183.408
AT ITER 6434 NEW BEST:: SOT 738685 SOS 340854 HAS SOPS 340854 HAS SOUS 58288 HAS SOUPS 58288 WITH SCORE 58628.854
AT ITER 6448 NEW BEST:: SOT 738685 SOS 340852 HAS SOPS 340852 HAS SOUS 58288 HAS SOUPS 58288 WITH SCORE 58628.852
AT ITER 6460 NEW BEST:: SOT 738694 SOS 340846 HAS SOPS 340846 HAS SOUS 58282 HAS SOUPS 58282 WITH SCORE 58622.846
AT ITER 6493 NEW BEST:: SOT 738675 SOS 340827 HAS SOPS 340827 HAS SOUS 58244 HAS SOUPS 58244 WITH SCORE 58584.827
AT ITER 6522 NEW BEST:: SOT 738675 SOS 340827 HAS SOPS 340827 HAS SOUS 58214 HAS SOUPS 58214 WITH SCORE 58554.827
AT ITER 6571 NEW BEST:: SOT 738675 SOS 340844 HAS SOPS 340844 HAS SOUS 57962 HAS SOUPS 57962 WITH SCORE 58302.844
AT ITER 6616 NEW BEST:: SOT 738734 SOS 286106 HAS SOPS 286106 HAS SOUS 57963 HAS SOUPS 57963 WITH SCORE 58249.106
AT ITER 6669 NEW BEST:: SOT 738734 SOS 286104 HAS SOPS 286104 HAS SOUS 57961 HAS SOUPS 57961 WITH SCORE 58247.104
AT ITER 6697 NEW BEST:: SOT 738686 SOS 286144 HAS SOPS 286144 HAS SOUS 57956 HAS SOUPS 57956 WITH SCORE 58242.144
AT ITER 6704 NEW BEST:: SOT 738686 SOS 286122 HAS SOPS 286122 HAS SOUS 57956 HAS SOUPS 57956 WITH SCORE 58242.122
AT ITER 6725 NEW BEST:: SOT 738685 SOS 286121 HAS SOPS 286121 HAS SOUS 57955 HAS SOUPS 57955 WITH SCORE 58241.121
AT ITER 6728 NEW BEST:: SOT 738671 SOS 286196 HAS SOPS 286196 HAS SOUS 57892 HAS SOUPS 57892 WITH SCORE 58178.196
AT ITER 6743 NEW BEST:: SOT 738662 SOS 286178 HAS SOPS 286178 HAS SOUS 57874 HAS SOUPS 57874 WITH SCORE 58160.178
AT ITER 6827 NEW BEST:: SOT 738659 SOS 286172 HAS SOPS 286172 HAS SOUS 57870 HAS SOUPS 57870 WITH SCORE 58156.172
AT ITER 6923 NEW BEST:: SOT 738658 SOS 286170 HAS SOPS 286170 HAS SOUS 57868 HAS SOUPS 57868 WITH SCORE 58154.17
AT ITER 6964 NEW BEST:: SOT 739479 SOS 286995 HAS SOPS 286995 HAS SOUS 56907 HAS SOUPS 56907 WITH SCORE 57193.995
AT ITER 6971 NEW BEST:: SOT 739485 SOS 287007 HAS SOPS 287007 HAS SOUS 56902 HAS SOUPS 56902 WITH SCORE 57189.007
AT ITER 6983 NEW BEST:: SOT 739486 SOS 286977 HAS SOPS 286977 HAS SOUS 56888 HAS SOUPS 56888 WITH SCORE 57174.977
AT ITER 7010 NEW BEST:: SOT 739478 SOS 286953 HAS SOPS 286953 HAS SOUS 56864 HAS SOUPS 56864 WITH SCORE 57150.953
AT ITER 7064 NEW BEST:: SOT 739462 SOS 286921 HAS SOPS 286921 HAS SOUS 56840 HAS SOUPS 56840 WITH SCORE 57126.921
AT ITER 7122 NEW BEST:: SOT 739422 SOS 286875 HAS SOPS 286875 HAS SOUS 56800 HAS SOUPS 56800 WITH SCORE 57086.875
AT ITER 7153 NEW BEST:: SOT 739416 SOS 286869 HAS SOPS 286869 HAS SOUS 56794 HAS SOUPS 56794 WITH SCORE 57080.869
AT ITER 7162 NEW BEST:: SOT 739412 SOS 286857 HAS SOPS 286857 HAS SOUS 56758 HAS SOUPS 56758 WITH SCORE 57044.857
AT ITER 7173 NEW BEST:: SOT 739394 SOS 286821 HAS SOPS 286821 HAS SOUS 56728 HAS SOUPS 56728 WITH SCORE 57014.821
AT ITER 7238 NEW BEST:: SOT 739389 SOS 286811 HAS SOPS 286811 HAS SOUS 56718 HAS SOUPS 56718 WITH SCORE 57004.811
AT ITER 7270 NEW BEST:: SOT 739378 SOS 286789 HAS SOPS 286789 HAS SOUS 56710 HAS SOUPS 56710 WITH SCORE 56996.789
AT ITER 7298 NEW BEST:: SOT 739378 SOS 286783 HAS SOPS 286783 HAS SOUS 56707 HAS SOUPS 56707 WITH SCORE 56993.783
AT ITER 7314 NEW BEST:: SOT 739378 SOS 280627 HAS SOPS 280627 HAS SOUS 56707 HAS SOUPS 56707 WITH SCORE 56987.627
AT ITER 7335 NEW BEST:: SOT 739375 SOS 280624 HAS SOPS 280624 HAS SOUS 56704 HAS SOUPS 56704 WITH SCORE 56984.624
AT ITER 7365 NEW BEST:: SOT 739346 SOS 280595 HAS SOPS 280595 HAS SOUS 56675 HAS SOUPS 56675 WITH SCORE 56955.595
AT ITER 7373 NEW BEST:: SOT 739340 SOS 280588 HAS SOPS 280588 HAS SOUS 56669 HAS SOUPS 56669 WITH SCORE 56949.588
AT ITER 7394 NEW BEST:: SOT 739340 SOS 280588 HAS SOPS 280588 HAS SOUS 56667 HAS SOUPS 56667 WITH SCORE 56947.588
AT ITER 7445 NEW BEST:: SOT 739326 SOS 280560 HAS SOPS 280560 HAS SOUS 56639 HAS SOUPS 56639 WITH SCORE 56919.56
AT ITER 7456 NEW BEST:: SOT 739327 SOS 280562 HAS SOPS 280562 HAS SOUS 56634 HAS SOUPS 56634 WITH SCORE 56914.562
AT ITER 7485 NEW BEST:: SOT 739313 SOS 280534 HAS SOPS 280534 HAS SOUS 56620 HAS SOUPS 56620 WITH SCORE 56900.534
AT ITER 7495 NEW BEST:: SOT 739313 SOS 280534 HAS SOPS 280534 HAS SOUS 56619 HAS SOUPS 56619 WITH SCORE 56899.534
AT ITER 7516 NEW BEST:: SOT 739290 SOS 280488 HAS SOPS 280488 HAS SOUS 55707 HAS SOUPS 55707 WITH SCORE 55987.488
AT ITER 7566 NEW BEST:: SOT 739319 SOS 280510 HAS SOPS 280510 HAS SOUS 54828 HAS SOUPS 54828 WITH SCORE 55108.51
AT ITER 7628 NEW BEST:: SOT 739319 SOS 280510 HAS SOPS 280510 HAS SOUS 54806 HAS SOUPS 54806 WITH SCORE 55086.51
AT ITER 7629 NEW BEST:: SOT 739312 SOS 280496 HAS SOPS 280496 HAS SOUS 54796 HAS SOUPS 54796 WITH SCORE 55076.496
AT ITER 7637 NEW BEST:: SOT 739287 SOS 280386 HAS SOPS 280386 HAS SOUS 54515 HAS SOUPS 54515 WITH SCORE 54795.386
AT ITER 7683 NEW BEST:: SOT 739286 SOS 280384 HAS SOPS 280384 HAS SOUS 54513 HAS SOUPS 54513 WITH SCORE 54793.384
AT ITER 7718 NEW BEST:: SOT 739277 SOS 280472 HAS SOPS 280472 HAS SOUS 54452 HAS SOUPS 54452 WITH SCORE 54732.472
AT ITER 7750 NEW BEST:: SOT 739277 SOS 280446 HAS SOPS 280446 HAS SOUS 54426 HAS SOUPS 54426 WITH SCORE 54706.446
AT ITER 7751 NEW BEST:: SOT 739274 SOS 280440 HAS SOPS 280440 HAS SOUS 54420 HAS SOUPS 54420 WITH SCORE 54700.44
AT ITER 7755 NEW BEST:: SOT 739194 SOS 280356 HAS SOPS 280356 HAS SOUS 54336 HAS SOUPS 54336 WITH SCORE 54616.356
AT ITER 7810 NEW BEST:: SOT 739134 SOS 280296 HAS SOPS 280296 HAS SOUS 54213 HAS SOUPS 54213 WITH SCORE 54493.296
AT ITER 7827 NEW BEST:: SOT 739134 SOS 280294 HAS SOPS 280294 HAS SOUS 54213 HAS SOUPS 54213 WITH SCORE 54493.294
AT ITER 7835 NEW BEST:: SOT 739133 SOS 280285 HAS SOPS 280285 HAS SOUS 54211 HAS SOUPS 54211 WITH SCORE 54491.285
AT ITER 7850 NEW BEST:: SOT 739196 SOS 280249 HAS SOPS 280249 HAS SOUS 54127 HAS SOUPS 54127 WITH SCORE 54407.249
AT ITER 7867 NEW BEST:: SOT 739185 SOS 280158 HAS SOPS 280158 HAS SOUS 54090 HAS SOUPS 54090 WITH SCORE 54370.158
AT ITER 7902 NEW BEST:: SOT 739185 SOS 280157 HAS SOPS 280157 HAS SOUS 54090 HAS SOUPS 54090 WITH SCORE 54370.157
AT ITER 7956 NEW BEST:: SOT 739185 SOS 280152 HAS SOPS 280152 HAS SOUS 54090 HAS SOUPS 54090 WITH SCORE 54370.152
AT ITER 7972 NEW BEST:: SOT 739191 SOS 280164 HAS SOPS 280164 HAS SOUS 54058 HAS SOUPS 54058 WITH SCORE 54338.164
AT ITER 7999 NEW BEST:: SOT 739187 SOS 280159 HAS SOPS 280159 HAS SOUS 54053 HAS SOUPS 54053 WITH SCORE 54333.159
AT ITER 8158 NEW BEST:: SOT 739164 SOS 280067 HAS SOPS 280067 HAS SOUS 53022 HAS SOUPS 53022 WITH SCORE 53302.067
AT ITER 8161 NEW BEST:: SOT 739156 SOS 280059 HAS SOPS 280059 HAS SOUS 53018 HAS SOUPS 53018 WITH SCORE 53298.059
AT ITER 8203 NEW BEST:: SOT 739155 SOS 280057 HAS SOPS 280057 HAS SOUS 52791 HAS SOUPS 52791 WITH SCORE 53071.057
AT ITER 8222 NEW BEST:: SOT 739112 SOS 279897 HAS SOPS 279897 HAS SOUS 52759 HAS SOUPS 52759 WITH SCORE 53038.897
AT ITER 8227 NEW BEST:: SOT 739080 SOS 279833 HAS SOPS 279833 HAS SOUS 52665 HAS SOUPS 52665 WITH SCORE 52944.833
AT ITER 8264 NEW BEST:: SOT 738688 SOS 279433 HAS SOPS 279433 HAS SOUS 52273 HAS SOUPS 52273 WITH SCORE 52552.433
AT ITER 8289 NEW BEST:: SOT 738688 SOS 279375 HAS SOPS 279375 HAS SOUS 52273 HAS SOUPS 52273 WITH SCORE 52552.375
AT ITER 8373 NEW BEST:: SOT 738688 SOS 279370 HAS SOPS 279370 HAS SOUS 52273 HAS SOUPS 52273 WITH SCORE 52552.37
AT ITER 8400 NEW BEST:: SOT 738688 SOS 279364 HAS SOPS 279364 HAS SOUS 52273 HAS SOUPS 52273 WITH SCORE 52552.364
AT ITER 8406 NEW BEST:: SOT 738641 SOS 279325 HAS SOPS 279325 HAS SOUS 52241 HAS SOUPS 52241 WITH SCORE 52520.325
AT ITER 8418 NEW BEST:: SOT 738291 SOS 278939 HAS SOPS 278939 HAS SOUS 51835 HAS SOUPS 51835 WITH SCORE 52113.939
AT ITER 8454 NEW BEST:: SOT 738288 SOS 278940 HAS SOPS 278940 HAS SOUS 51832 HAS SOUPS 51832 WITH SCORE 52110.94
AT ITER 8524 NEW BEST:: SOT 738356 SOS 279016 HAS SOPS 279016 HAS SOUS 51811 HAS SOUPS 51811 WITH SCORE 52090.016
AT ITER 8535 NEW BEST:: SOT 738380 SOS 278972 HAS SOPS 278972 HAS SOUS 51783 HAS SOUPS 51783 WITH SCORE 52061.972
AT ITER 8600 NEW BEST:: SOT 738335 SOS 278882 HAS SOPS 278882 HAS SOUS 51686 HAS SOUPS 51686 WITH SCORE 51964.882
AT ITER 8657 NEW BEST:: SOT 738340 SOS 278892 HAS SOPS 278892 HAS SOUS 51680 HAS SOUPS 51680 WITH SCORE 51958.892
AT ITER 8686 NEW BEST:: SOT 738320 SOS 278872 HAS SOPS 278872 HAS SOUS 51642 HAS SOUPS 51642 WITH SCORE 51920.872
AT ITER 8714 NEW BEST:: SOT 738317 SOS 278890 HAS SOPS 278890 HAS SOUS 51639 HAS SOUPS 51639 WITH SCORE 51917.89
AT ITER 8726 NEW BEST:: SOT 738296 SOS 278863 HAS SOPS 278863 HAS SOUS 51586 HAS SOUPS 51586 WITH SCORE 51864.863
AT ITER 8799 NEW BEST:: SOT 738290 SOS 278851 HAS SOPS 278851 HAS SOUS 51574 HAS SOUPS 51574 WITH SCORE 51852.851
AT ITER 8805 NEW BEST:: SOT 738291 SOS 278832 HAS SOPS 278832 HAS SOUS 51555 HAS SOUPS 51555 WITH SCORE 51833.832
AT ITER 8815 NEW BEST:: SOT 738284 SOS 278831 HAS SOPS 278831 HAS SOUS 51554 HAS SOUPS 51554 WITH SCORE 51832.831
AT ITER 8821 NEW BEST:: SOT 738221 SOS 278746 HAS SOPS 278746 HAS SOUS 51491 HAS SOUPS 51491 WITH SCORE 51769.746
AT ITER 8846 NEW BEST:: SOT 737265 SOS 277786 HAS SOPS 277786 HAS SOUS 50535 HAS SOUPS 50535 WITH SCORE 50812.786
AT ITER 9017 NEW BEST:: SOT 737262 SOS 277786 HAS SOPS 277786 HAS SOUS 50532 HAS SOUPS 50532 WITH SCORE 50809.786
AT ITER 9061 NEW BEST:: SOT 737247 SOS 277816 HAS SOPS 277816 HAS SOUS 50528 HAS SOUPS 50528 WITH SCORE 50805.816
AT ITER 9074 NEW BEST:: SOT 737239 SOS 277825 HAS SOPS 277825 HAS SOUS 50523 HAS SOUPS 50523 WITH SCORE 50800.825
AT ITER 9119 NEW BEST:: SOT 737239 SOS 277778 HAS SOPS 277778 HAS SOUS 50523 HAS SOUPS 50523 WITH SCORE 50800.778
AT ITER 9148 NEW BEST:: SOT 737239 SOS 277770 HAS SOPS 277770 HAS SOUS 50515 HAS SOUPS 50515 WITH SCORE 50792.77
AT ITER 9180 NEW BEST:: SOT 737235 SOS 277745 HAS SOPS 277745 HAS SOUS 50490 HAS SOUPS 50490 WITH SCORE 50767.745
AT ITER 9181 NEW BEST:: SOT 737235 SOS 277745 HAS SOPS 277745 HAS SOUS 50481 HAS SOUPS 50481 WITH SCORE 50758.745
AT ITER 9289 NEW BEST:: SOT 737235 SOS 277745 HAS SOPS 277745 HAS SOUS 50464 HAS SOUPS 50464 WITH SCORE 50741.745
AT ITER 9293 NEW BEST:: SOT 737235 SOS 277745 HAS SOPS 277745 HAS SOUS 50459 HAS SOUPS 50459 WITH SCORE 50736.745
AT ITER 9418 NEW BEST:: SOT 737231 SOS 277737 HAS SOPS 277737 HAS SOUS 50451 HAS SOUPS 50451 WITH SCORE 50728.737
AT ITER 9447 NEW BEST:: SOT 737214 SOS 277733 HAS SOPS 277733 HAS SOUS 50434 HAS SOUPS 50434 WITH SCORE 50711.733
AT ITER 9541 NEW BEST:: SOT 737212 SOS 277729 HAS SOPS 277729 HAS SOUS 50430 HAS SOUPS 50430 WITH SCORE 50707.729
AT ITER 9560 NEW BEST:: SOT 737212 SOS 277711 HAS SOPS 277711 HAS SOUS 50412 HAS SOUPS 50412 WITH SCORE 50689.711
AT ITER 9603 NEW BEST:: SOT 737208 SOS 277707 HAS SOPS 277707 HAS SOUS 50408 HAS SOUPS 50408 WITH SCORE 50685.707
AT ITER 9612 NEW BEST:: SOT 737208 SOS 277612 HAS SOPS 277612 HAS SOUS 50408 HAS SOUPS 50408 WITH SCORE 50685.612
AT ITER 9634 NEW BEST:: SOT 737208 SOS 277620 HAS SOPS 277620 HAS SOUS 50404 HAS SOUPS 50404 WITH SCORE 50681.62
AT ITER 9636 NEW BEST:: SOT 737208 SOS 277608 HAS SOPS 277608 HAS SOUS 50404 HAS SOUPS 50404 WITH SCORE 50681.608
AT ITER 9679 NEW BEST:: SOT 737219 SOS 277630 HAS SOPS 277630 HAS SOUS 50396 HAS SOUPS 50396 WITH SCORE 50673.63
AT ITER 9711 NEW BEST:: SOT 737214 SOS 277625 HAS SOPS 277625 HAS SOUS 50391 HAS SOUPS 50391 WITH SCORE 50668.625
AT ITER 9718 NEW BEST:: SOT 737217 SOS 277607 HAS SOPS 277607 HAS SOUS 50386 HAS SOUPS 50386 WITH SCORE 50663.607
AT ITER 9804 NEW BEST:: SOT 737212 SOS 277569 HAS SOPS 277569 HAS SOUS 50361 HAS SOUPS 50361 WITH SCORE 50638.569
AT ITER 9864 NEW BEST:: SOT 737209 SOS 277563 HAS SOPS 277563 HAS SOUS 50358 HAS SOUPS 50358 WITH SCORE 50635.563
AT ITER 9866 NEW BEST:: SOT 737204 SOS 277543 HAS SOPS 277543 HAS SOUS 50341 HAS SOUPS 50341 WITH SCORE 50618.543
AT ITER 9890 NEW BEST:: SOT 737204 SOS 277557 HAS SOPS 277557 HAS SOUS 50337 HAS SOUPS 50337 WITH SCORE 50614.557
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393236 kB
MemFree: 5777436 kB
After kill :
MemTotal: 16393236 kB
MemFree: 16114980 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:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ 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="AutonomousCar-PT-10b"
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 AutonomousCar-PT-10b, 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 r011-oct2-167813600600688"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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