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.r259-smll-167863534300272.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is NoC3x3-PT-3B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r259-smll-167863534300272
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 944K
-rw-r--r-- 1 mcc users 7.7K Feb 26 09:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 85K Feb 26 09:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 26 09:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 09:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:28 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:28 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:28 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 16:28 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 09:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 58K Feb 26 09:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.9K Feb 26 09:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 26 09:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 581K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678734321208

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

Filename model.pnml
Petri model created: 2117 places, 2435 transitions, 6177 arcs.
AT ITER 0 NEW BEST:: SOT 2770549 SOS 361350 HAS SOPS 361350 HAS SOUS 302551 HAS SOUPS 302551 WITH SCORE 302912.35
AT ITER 26 NEW BEST:: SOT 2770496 SOS 361116 HAS SOPS 361116 HAS SOUS 302186 HAS SOUPS 302186 WITH SCORE 302547.116
AT ITER 32 NEW BEST:: SOT 2770368 SOS 360961 HAS SOPS 360961 HAS SOUS 301964 HAS SOUPS 301964 WITH SCORE 302324.961
AT ITER 35 NEW BEST:: SOT 2770368 SOS 360914 HAS SOPS 360914 HAS SOUS 301912 HAS SOUPS 301912 WITH SCORE 302272.914
AT ITER 36 NEW BEST:: SOT 2770459 SOS 360910 HAS SOPS 360910 HAS SOUS 301910 HAS SOUPS 301910 WITH SCORE 302270.91
AT ITER 61 NEW BEST:: SOT 2770427 SOS 360878 HAS SOPS 360878 HAS SOUS 301878 HAS SOUPS 301878 WITH SCORE 302238.878
AT ITER 124 NEW BEST:: SOT 2770421 SOS 360944 HAS SOPS 360944 HAS SOUS 301866 HAS SOUPS 301866 WITH SCORE 302226.944
AT ITER 138 NEW BEST:: SOT 2770398 SOS 360973 HAS SOPS 360973 HAS SOUS 301764 HAS SOUPS 301764 WITH SCORE 302124.973
AT ITER 151 NEW BEST:: SOT 2770304 SOS 360949 HAS SOPS 360949 HAS SOUS 301697 HAS SOUPS 301697 WITH SCORE 302057.949
AT ITER 157 NEW BEST:: SOT 2770116 SOS 360855 HAS SOPS 360855 HAS SOUS 301696 HAS SOUPS 301696 WITH SCORE 302056.855
AT ITER 166 NEW BEST:: SOT 2769928 SOS 360681 HAS SOPS 360681 HAS SOUS 301622 HAS SOUPS 301622 WITH SCORE 301982.681
AT ITER 180 NEW BEST:: SOT 2768050 SOS 362826 HAS SOPS 362826 HAS SOUS 300112 HAS SOUPS 300112 WITH SCORE 300474.826
AT ITER 191 NEW BEST:: SOT 2768017 SOS 362793 HAS SOPS 362793 HAS SOUS 300079 HAS SOUPS 300079 WITH SCORE 300441.793
AT ITER 203 NEW BEST:: SOT 2768017 SOS 362764 HAS SOPS 362764 HAS SOUS 300050 HAS SOUPS 300050 WITH SCORE 300412.764
AT ITER 229 NEW BEST:: SOT 2768017 SOS 362715 HAS SOPS 362715 HAS SOUS 300001 HAS SOUPS 300001 WITH SCORE 300363.715
AT ITER 233 NEW BEST:: SOT 2767915 SOS 362645 HAS SOPS 362645 HAS SOUS 299912 HAS SOUPS 299912 WITH SCORE 300274.645
AT ITER 234 NEW BEST:: SOT 2767839 SOS 362417 HAS SOPS 362417 HAS SOUS 299760 HAS SOUPS 299760 WITH SCORE 300122.417
AT ITER 261 NEW BEST:: SOT 2767814 SOS 362396 HAS SOPS 362396 HAS SOUS 299722 HAS SOUPS 299722 WITH SCORE 300084.396
AT ITER 272 NEW BEST:: SOT 2767879 SOS 362279 HAS SOPS 362279 HAS SOUS 299712 HAS SOUPS 299712 WITH SCORE 300074.279
AT ITER 280 NEW BEST:: SOT 2767841 SOS 362203 HAS SOPS 362203 HAS SOUS 299673 HAS SOUPS 299673 WITH SCORE 300035.203
AT ITER 288 NEW BEST:: SOT 2767841 SOS 362412 HAS SOPS 362412 HAS SOUS 299666 HAS SOUPS 299666 WITH SCORE 300028.412
AT ITER 319 NEW BEST:: SOT 2767176 SOS 362417 HAS SOPS 362417 HAS SOUS 299132 HAS SOUPS 299132 WITH SCORE 299494.417
AT ITER 323 NEW BEST:: SOT 2767339 SOS 359278 HAS SOPS 359278 HAS SOUS 299130 HAS SOUPS 299130 WITH SCORE 299489.278
AT ITER 335 NEW BEST:: SOT 2767339 SOS 359164 HAS SOPS 359164 HAS SOUS 299091 HAS SOUPS 299091 WITH SCORE 299450.164
AT ITER 355 NEW BEST:: SOT 2767002 SOS 358995 HAS SOPS 358995 HAS SOUS 298810 HAS SOUPS 298810 WITH SCORE 299168.995
AT ITER 356 NEW BEST:: SOT 2767001 SOS 358921 HAS SOPS 358921 HAS SOUS 298736 HAS SOUPS 298736 WITH SCORE 299094.921
AT ITER 364 NEW BEST:: SOT 2767001 SOS 358789 HAS SOPS 358789 HAS SOUS 298736 HAS SOUPS 298736 WITH SCORE 299094.789
AT ITER 370 NEW BEST:: SOT 2766937 SOS 358790 HAS SOPS 358790 HAS SOUS 298671 HAS SOUPS 298671 WITH SCORE 299029.79
AT ITER 373 NEW BEST:: SOT 2766882 SOS 358701 HAS SOPS 358701 HAS SOUS 298555 HAS SOUPS 298555 WITH SCORE 298913.701
AT ITER 384 NEW BEST:: SOT 2765253 SOS 360938 HAS SOPS 360938 HAS SOUS 297370 HAS SOUPS 297370 WITH SCORE 297730.938
AT ITER 400 NEW BEST:: SOT 2765072 SOS 360798 HAS SOPS 360798 HAS SOUS 297230 HAS SOUPS 297230 WITH SCORE 297590.798
AT ITER 415 NEW BEST:: SOT 2764964 SOS 360690 HAS SOPS 360690 HAS SOUS 297230 HAS SOUPS 297230 WITH SCORE 297590.69
AT ITER 422 NEW BEST:: SOT 2764927 SOS 360616 HAS SOPS 360616 HAS SOUS 297007 HAS SOUPS 297007 WITH SCORE 297367.616
AT ITER 427 NEW BEST:: SOT 2764799 SOS 360536 HAS SOPS 360536 HAS SOUS 296907 HAS SOUPS 296907 WITH SCORE 297267.536
AT ITER 431 NEW BEST:: SOT 2764735 SOS 360508 HAS SOPS 360508 HAS SOUS 296842 HAS SOUPS 296842 WITH SCORE 297202.508
AT ITER 452 NEW BEST:: SOT 2764800 SOS 360469 HAS SOPS 360469 HAS SOUS 296803 HAS SOUPS 296803 WITH SCORE 297163.469
AT ITER 469 NEW BEST:: SOT 2764840 SOS 360549 HAS SOPS 360549 HAS SOUS 296660 HAS SOUPS 296660 WITH SCORE 297020.549
AT ITER 504 NEW BEST:: SOT 2764215 SOS 360448 HAS SOPS 360448 HAS SOUS 296123 HAS SOUPS 296123 WITH SCORE 296483.448
AT ITER 506 NEW BEST:: SOT 2764218 SOS 360379 HAS SOPS 360379 HAS SOUS 296121 HAS SOUPS 296121 WITH SCORE 296481.379
AT ITER 530 NEW BEST:: SOT 2764245 SOS 360396 HAS SOPS 360396 HAS SOUS 296111 HAS SOUPS 296111 WITH SCORE 296471.396
AT ITER 569 NEW BEST:: SOT 2764182 SOS 360440 HAS SOPS 360440 HAS SOUS 296041 HAS SOUPS 296041 WITH SCORE 296401.44
AT ITER 583 NEW BEST:: SOT 2764118 SOS 360376 HAS SOPS 360376 HAS SOUS 295977 HAS SOUPS 295977 WITH SCORE 296337.376
AT ITER 594 NEW BEST:: SOT 2763783 SOS 361404 HAS SOPS 361404 HAS SOUS 295949 HAS SOUPS 295949 WITH SCORE 296310.404
AT ITER 599 NEW BEST:: SOT 2763539 SOS 361127 HAS SOPS 361127 HAS SOUS 295746 HAS SOUPS 295746 WITH SCORE 296107.127
AT ITER 647 NEW BEST:: SOT 2763446 SOS 360755 HAS SOPS 360755 HAS SOUS 295560 HAS SOUPS 295560 WITH SCORE 295920.755
AT ITER 688 NEW BEST:: SOT 2763422 SOS 360731 HAS SOPS 360731 HAS SOUS 295536 HAS SOUPS 295536 WITH SCORE 295896.731
AT ITER 767 NEW BEST:: SOT 2763431 SOS 360704 HAS SOPS 360704 HAS SOUS 295502 HAS SOUPS 295502 WITH SCORE 295862.704
AT ITER 773 NEW BEST:: SOT 2763384 SOS 360482 HAS SOPS 360482 HAS SOUS 295404 HAS SOUPS 295404 WITH SCORE 295764.482
AT ITER 804 NEW BEST:: SOT 2763373 SOS 360251 HAS SOPS 360251 HAS SOUS 295393 HAS SOUPS 295393 WITH SCORE 295753.251
AT ITER 806 NEW BEST:: SOT 2763244 SOS 359864 HAS SOPS 359864 HAS SOUS 295388 HAS SOUPS 295388 WITH SCORE 295747.864
AT ITER 887 NEW BEST:: SOT 2763244 SOS 359694 HAS SOPS 359694 HAS SOUS 295388 HAS SOUPS 295388 WITH SCORE 295747.694
AT ITER 912 NEW BEST:: SOT 2763188 SOS 359516 HAS SOPS 359516 HAS SOUS 295107 HAS SOUPS 295107 WITH SCORE 295466.516
AT ITER 932 NEW BEST:: SOT 2763153 SOS 359380 HAS SOPS 359380 HAS SOUS 295088 HAS SOUPS 295088 WITH SCORE 295447.38
AT ITER 943 NEW BEST:: SOT 2763080 SOS 359282 HAS SOPS 359282 HAS SOUS 295021 HAS SOUPS 295021 WITH SCORE 295380.282
AT ITER 968 NEW BEST:: SOT 2763080 SOS 359267 HAS SOPS 359267 HAS SOUS 295021 HAS SOUPS 295021 WITH SCORE 295380.267
AT ITER 983 NEW BEST:: SOT 2762850 SOS 359563 HAS SOPS 359563 HAS SOUS 294992 HAS SOUPS 294992 WITH SCORE 295351.563
AT ITER 995 NEW BEST:: SOT 2762783 SOS 359228 HAS SOPS 359228 HAS SOUS 294832 HAS SOUPS 294832 WITH SCORE 295191.228
AT ITER 1019 NEW BEST:: SOT 2762615 SOS 359144 HAS SOPS 359144 HAS SOUS 294748 HAS SOUPS 294748 WITH SCORE 295107.144
AT ITER 1023 NEW BEST:: SOT 2762259 SOS 358864 HAS SOPS 358864 HAS SOUS 294408 HAS SOUPS 294408 WITH SCORE 294766.864
AT ITER 1045 NEW BEST:: SOT 2762199 SOS 358360 HAS SOPS 358360 HAS SOUS 294377 HAS SOUPS 294377 WITH SCORE 294735.36
AT ITER 1047 NEW BEST:: SOT 2762155 SOS 358316 HAS SOPS 358316 HAS SOUS 294333 HAS SOUPS 294333 WITH SCORE 294691.316
AT ITER 1060 NEW BEST:: SOT 2762049 SOS 358210 HAS SOPS 358210 HAS SOUS 294249 HAS SOUPS 294249 WITH SCORE 294607.21
AT ITER 1076 NEW BEST:: SOT 2760917 SOS 357323 HAS SOPS 357323 HAS SOUS 293239 HAS SOUPS 293239 WITH SCORE 293596.323
AT ITER 1106 NEW BEST:: SOT 2760780 SOS 357561 HAS SOPS 357561 HAS SOUS 293102 HAS SOUPS 293102 WITH SCORE 293459.561
AT ITER 1119 NEW BEST:: SOT 2760780 SOS 357561 HAS SOPS 357561 HAS SOUS 293101 HAS SOUPS 293101 WITH SCORE 293458.561
AT ITER 1131 NEW BEST:: SOT 2760677 SOS 357355 HAS SOPS 357355 HAS SOUS 292823 HAS SOUPS 292823 WITH SCORE 293180.355
AT ITER 1146 NEW BEST:: SOT 2760677 SOS 357341 HAS SOPS 357341 HAS SOUS 292807 HAS SOUPS 292807 WITH SCORE 293164.341
AT ITER 1214 NEW BEST:: SOT 2760630 SOS 357247 HAS SOPS 357247 HAS SOUS 292759 HAS SOUPS 292759 WITH SCORE 293116.247
AT ITER 1226 NEW BEST:: SOT 2760466 SOS 357114 HAS SOPS 357114 HAS SOUS 292625 HAS SOUPS 292625 WITH SCORE 292982.114
AT ITER 1235 NEW BEST:: SOT 2760452 SOS 357100 HAS SOPS 357100 HAS SOUS 292601 HAS SOUPS 292601 WITH SCORE 292958.1
AT ITER 1238 NEW BEST:: SOT 2760351 SOS 356792 HAS SOPS 356792 HAS SOUS 292543 HAS SOUPS 292543 WITH SCORE 292899.792
AT ITER 1241 NEW BEST:: SOT 2759165 SOS 356358 HAS SOPS 356358 HAS SOUS 291537 HAS SOUPS 291537 WITH SCORE 291893.358
AT ITER 1275 NEW BEST:: SOT 2759110 SOS 356314 HAS SOPS 356314 HAS SOUS 291515 HAS SOUPS 291515 WITH SCORE 291871.314
AT ITER 1302 NEW BEST:: SOT 2759075 SOS 356310 HAS SOPS 356310 HAS SOUS 291511 HAS SOUPS 291511 WITH SCORE 291867.31
AT ITER 1368 NEW BEST:: SOT 2759075 SOS 356272 HAS SOPS 356272 HAS SOUS 291511 HAS SOUPS 291511 WITH SCORE 291867.272
AT ITER 1377 NEW BEST:: SOT 2759062 SOS 356257 HAS SOPS 356257 HAS SOUS 291496 HAS SOUPS 291496 WITH SCORE 291852.257
AT ITER 1390 NEW BEST:: SOT 2758882 SOS 356338 HAS SOPS 356338 HAS SOUS 291397 HAS SOUPS 291397 WITH SCORE 291753.338
AT ITER 1404 NEW BEST:: SOT 2758591 SOS 356047 HAS SOPS 356047 HAS SOUS 291104 HAS SOUPS 291104 WITH SCORE 291460.047
AT ITER 1451 NEW BEST:: SOT 2758522 SOS 356125 HAS SOPS 356125 HAS SOUS 291096 HAS SOUPS 291096 WITH SCORE 291452.125
AT ITER 1457 NEW BEST:: SOT 2758474 SOS 355981 HAS SOPS 355981 HAS SOUS 291036 HAS SOUPS 291036 WITH SCORE 291391.981
AT ITER 1467 NEW BEST:: SOT 2758332 SOS 355794 HAS SOPS 355794 HAS SOUS 290894 HAS SOUPS 290894 WITH SCORE 291249.794
AT ITER 1468 NEW BEST:: SOT 2758332 SOS 355772 HAS SOPS 355772 HAS SOUS 290887 HAS SOUPS 290887 WITH SCORE 291242.772
AT ITER 1501 NEW BEST:: SOT 2758122 SOS 355832 HAS SOPS 355832 HAS SOUS 290805 HAS SOUPS 290805 WITH SCORE 291160.832
AT ITER 1529 NEW BEST:: SOT 2757608 SOS 355762 HAS SOPS 355762 HAS SOUS 290365 HAS SOUPS 290365 WITH SCORE 290720.762
AT ITER 1554 NEW BEST:: SOT 2757592 SOS 355746 HAS SOPS 355746 HAS SOUS 290349 HAS SOUPS 290349 WITH SCORE 290704.746
AT ITER 1599 NEW BEST:: SOT 2757332 SOS 355421 HAS SOPS 355421 HAS SOUS 290024 HAS SOUPS 290024 WITH SCORE 290379.421
AT ITER 1604 NEW BEST:: SOT 2757316 SOS 355539 HAS SOPS 355539 HAS SOUS 289992 HAS SOUPS 289992 WITH SCORE 290347.539
AT ITER 1615 NEW BEST:: SOT 2757316 SOS 355539 HAS SOPS 355539 HAS SOUS 289991 HAS SOUPS 289991 WITH SCORE 290346.539
AT ITER 1649 NEW BEST:: SOT 2757364 SOS 355635 HAS SOPS 355635 HAS SOUS 289881 HAS SOUPS 289881 WITH SCORE 290236.635
AT ITER 1650 NEW BEST:: SOT 2757276 SOS 355642 HAS SOPS 355642 HAS SOUS 289827 HAS SOUPS 289827 WITH SCORE 290182.642
AT ITER 1695 NEW BEST:: SOT 2757276 SOS 355624 HAS SOPS 355624 HAS SOUS 289809 HAS SOUPS 289809 WITH SCORE 290164.624
AT ITER 1705 NEW BEST:: SOT 2757224 SOS 355260 HAS SOPS 355260 HAS SOUS 289757 HAS SOUPS 289757 WITH SCORE 290112.26
AT ITER 1707 NEW BEST:: SOT 2757178 SOS 355214 HAS SOPS 355214 HAS SOUS 289707 HAS SOUPS 289707 WITH SCORE 290062.214
AT ITER 1746 NEW BEST:: SOT 2757166 SOS 355190 HAS SOPS 355190 HAS SOUS 289683 HAS SOUPS 289683 WITH SCORE 290038.19
AT ITER 1748 NEW BEST:: SOT 2757165 SOS 355043 HAS SOPS 355043 HAS SOUS 289677 HAS SOUPS 289677 WITH SCORE 290032.043
AT ITER 1793 NEW BEST:: SOT 2757165 SOS 354991 HAS SOPS 354991 HAS SOUS 289676 HAS SOUPS 289676 WITH SCORE 290030.991
AT ITER 1795 NEW BEST:: SOT 2757145 SOS 354971 HAS SOPS 354971 HAS SOUS 289676 HAS SOUPS 289676 WITH SCORE 290030.971
AT ITER 1839 NEW BEST:: SOT 2757065 SOS 354811 HAS SOPS 354811 HAS SOUS 289596 HAS SOUPS 289596 WITH SCORE 289950.811
AT ITER 1884 NEW BEST:: SOT 2757061 SOS 354803 HAS SOPS 354803 HAS SOUS 289592 HAS SOUPS 289592 WITH SCORE 289946.803
AT ITER 1972 NEW BEST:: SOT 2757010 SOS 354751 HAS SOPS 354751 HAS SOUS 289540 HAS SOUPS 289540 WITH SCORE 289894.751
AT ITER 1987 NEW BEST:: SOT 2756899 SOS 354650 HAS SOPS 354650 HAS SOUS 289478 HAS SOUPS 289478 WITH SCORE 289832.65
AT ITER 2045 NEW BEST:: SOT 2756831 SOS 354512 HAS SOPS 354512 HAS SOUS 289340 HAS SOUPS 289340 WITH SCORE 289694.512
AT ITER 2053 NEW BEST:: SOT 2756831 SOS 354453 HAS SOPS 354453 HAS SOUS 289336 HAS SOUPS 289336 WITH SCORE 289690.453
AT ITER 2119 NEW BEST:: SOT 2756663 SOS 353647 HAS SOPS 353647 HAS SOUS 289207 HAS SOUPS 289207 WITH SCORE 289560.647
AT ITER 2153 NEW BEST:: SOT 2756602 SOS 353876 HAS SOPS 353876 HAS SOUS 289146 HAS SOUPS 289146 WITH SCORE 289499.876
AT ITER 2160 NEW BEST:: SOT 2756499 SOS 353241 HAS SOPS 353241 HAS SOUS 289110 HAS SOUPS 289110 WITH SCORE 289463.241
AT ITER 2164 NEW BEST:: SOT 2756538 SOS 353284 HAS SOPS 353284 HAS SOUS 289077 HAS SOUPS 289077 WITH SCORE 289430.284
AT ITER 2176 NEW BEST:: SOT 2756534 SOS 353280 HAS SOPS 353280 HAS SOUS 289073 HAS SOUPS 289073 WITH SCORE 289426.28
AT ITER 2225 NEW BEST:: SOT 2756534 SOS 353280 HAS SOPS 353280 HAS SOUS 289039 HAS SOUPS 289039 WITH SCORE 289392.28
AT ITER 2231 NEW BEST:: SOT 2756526 SOS 353276 HAS SOPS 353276 HAS SOUS 289027 HAS SOUPS 289027 WITH SCORE 289380.276
AT ITER 2244 NEW BEST:: SOT 2756216 SOS 353460 HAS SOPS 353460 HAS SOUS 288862 HAS SOUPS 288862 WITH SCORE 289215.46
AT ITER 2249 NEW BEST:: SOT 2756169 SOS 353412 HAS SOPS 353412 HAS SOUS 288815 HAS SOUPS 288815 WITH SCORE 289168.412
AT ITER 2253 NEW BEST:: SOT 2756028 SOS 352597 HAS SOPS 352597 HAS SOUS 288533 HAS SOUPS 288533 WITH SCORE 288885.597
AT ITER 2324 NEW BEST:: SOT 2755956 SOS 352525 HAS SOPS 352525 HAS SOUS 288461 HAS SOUPS 288461 WITH SCORE 288813.525
AT ITER 2332 NEW BEST:: SOT 2755956 SOS 352474 HAS SOPS 352474 HAS SOUS 288410 HAS SOUPS 288410 WITH SCORE 288762.474
AT ITER 2354 NEW BEST:: SOT 2755883 SOS 352147 HAS SOPS 352147 HAS SOUS 288229 HAS SOUPS 288229 WITH SCORE 288581.147
AT ITER 2359 NEW BEST:: SOT 2755707 SOS 351795 HAS SOPS 351795 HAS SOUS 287869 HAS SOUPS 287869 WITH SCORE 288220.795
AT ITER 2400 NEW BEST:: SOT 2755655 SOS 351895 HAS SOPS 351895 HAS SOUS 287866 HAS SOUPS 287866 WITH SCORE 288217.895
AT ITER 2416 NEW BEST:: SOT 2755652 SOS 351892 HAS SOPS 351892 HAS SOUS 287863 HAS SOUPS 287863 WITH SCORE 288214.892
AT ITER 2470 NEW BEST:: SOT 2755566 SOS 351548 HAS SOPS 351548 HAS SOUS 287774 HAS SOUPS 287774 WITH SCORE 288125.548
AT ITER 2471 NEW BEST:: SOT 2755521 SOS 351458 HAS SOPS 351458 HAS SOUS 287684 HAS SOUPS 287684 WITH SCORE 288035.458
AT ITER 2483 NEW BEST:: SOT 2755442 SOS 351214 HAS SOPS 351214 HAS SOUS 287627 HAS SOUPS 287627 WITH SCORE 287978.214
AT ITER 2497 NEW BEST:: SOT 2755348 SOS 350886 HAS SOPS 350886 HAS SOUS 287458 HAS SOUPS 287458 WITH SCORE 287808.886
AT ITER 2535 NEW BEST:: SOT 2755347 SOS 350884 HAS SOPS 350884 HAS SOUS 287456 HAS SOUPS 287456 WITH SCORE 287806.884
AT ITER 2585 NEW BEST:: SOT 2754751 SOS 350957 HAS SOPS 350957 HAS SOUS 287089 HAS SOUPS 287089 WITH SCORE 287439.957
AT ITER 2587 NEW BEST:: SOT 2754645 SOS 350780 HAS SOPS 350780 HAS SOUS 286967 HAS SOUPS 286967 WITH SCORE 287317.78
AT ITER 2596 NEW BEST:: SOT 2754549 SOS 350756 HAS SOPS 350756 HAS SOUS 286946 HAS SOUPS 286946 WITH SCORE 287296.756
AT ITER 2616 NEW BEST:: SOT 2754549 SOS 350725 HAS SOPS 350725 HAS SOUS 286915 HAS SOUPS 286915 WITH SCORE 287265.725
AT ITER 2680 NEW BEST:: SOT 2754485 SOS 350410 HAS SOPS 350410 HAS SOUS 286650 HAS SOUPS 286650 WITH SCORE 287000.41
AT ITER 2775 NEW BEST:: SOT 2754678 SOS 350559 HAS SOPS 350559 HAS SOUS 286546 HAS SOUPS 286546 WITH SCORE 286896.559
AT ITER 2804 NEW BEST:: SOT 2754654 SOS 350511 HAS SOPS 350511 HAS SOUS 286522 HAS SOUPS 286522 WITH SCORE 286872.511
AT ITER 2806 NEW BEST:: SOT 2754623 SOS 350480 HAS SOPS 350480 HAS SOUS 286489 HAS SOUPS 286489 WITH SCORE 286839.48
AT ITER 2816 NEW BEST:: SOT 2754619 SOS 350475 HAS SOPS 350475 HAS SOUS 286484 HAS SOUPS 286484 WITH SCORE 286834.475
AT ITER 2818 NEW BEST:: SOT 2754616 SOS 350469 HAS SOPS 350469 HAS SOUS 286478 HAS SOUPS 286478 WITH SCORE 286828.469
AT ITER 2829 NEW BEST:: SOT 2754599 SOS 350452 HAS SOPS 350452 HAS SOUS 286460 HAS SOUPS 286460 WITH SCORE 286810.452
AT ITER 2830 NEW BEST:: SOT 2754578 SOS 350393 HAS SOPS 350393 HAS SOUS 286398 HAS SOUPS 286398 WITH SCORE 286748.393
AT ITER 2839 NEW BEST:: SOT 2754562 SOS 350377 HAS SOPS 350377 HAS SOUS 286332 HAS SOUPS 286332 WITH SCORE 286682.377
AT ITER 2874 NEW BEST:: SOT 2754562 SOS 350289 HAS SOPS 350289 HAS SOUS 286332 HAS SOUPS 286332 WITH SCORE 286682.289
AT ITER 2879 NEW BEST:: SOT 2754343 SOS 350070 HAS SOPS 350070 HAS SOUS 286103 HAS SOUPS 286103 WITH SCORE 286453.07
AT ITER 2890 NEW BEST:: SOT 2754085 SOS 349835 HAS SOPS 349835 HAS SOUS 285845 HAS SOUPS 285845 WITH SCORE 286194.835
AT ITER 2903 NEW BEST:: SOT 2754065 SOS 349789 HAS SOPS 349789 HAS SOUS 285825 HAS SOUPS 285825 WITH SCORE 286174.789
AT ITER 2924 NEW BEST:: SOT 2753991 SOS 349423 HAS SOPS 349423 HAS SOUS 285714 HAS SOUPS 285714 WITH SCORE 286063.423
AT ITER 2971 NEW BEST:: SOT 2753991 SOS 349375 HAS SOPS 349375 HAS SOUS 285714 HAS SOUPS 285714 WITH SCORE 286063.375
AT ITER 2975 NEW BEST:: SOT 2754046 SOS 349452 HAS SOPS 349452 HAS SOUS 285569 HAS SOUPS 285569 WITH SCORE 285918.452
AT ITER 3025 NEW BEST:: SOT 2753931 SOS 349467 HAS SOPS 349467 HAS SOUS 285550 HAS SOUPS 285550 WITH SCORE 285899.467
AT ITER 3036 NEW BEST:: SOT 2753923 SOS 349451 HAS SOPS 349451 HAS SOUS 285542 HAS SOUPS 285542 WITH SCORE 285891.451
AT ITER 3042 NEW BEST:: SOT 2753868 SOS 349341 HAS SOPS 349341 HAS SOUS 285424 HAS SOUPS 285424 WITH SCORE 285773.341
AT ITER 3046 NEW BEST:: SOT 2753862 SOS 349699 HAS SOPS 349699 HAS SOUS 285391 HAS SOUPS 285391 WITH SCORE 285740.699
AT ITER 3071 NEW BEST:: SOT 2753772 SOS 349609 HAS SOPS 349609 HAS SOUS 285320 HAS SOUPS 285320 WITH SCORE 285669.609
AT ITER 3073 NEW BEST:: SOT 2753751 SOS 349567 HAS SOPS 349567 HAS SOUS 285278 HAS SOUPS 285278 WITH SCORE 285627.567
AT ITER 3086 NEW BEST:: SOT 2753749 SOS 349563 HAS SOPS 349563 HAS SOUS 285273 HAS SOUPS 285273 WITH SCORE 285622.563
AT ITER 3127 NEW BEST:: SOT 2753517 SOS 349461 HAS SOPS 349461 HAS SOUS 285220 HAS SOUPS 285220 WITH SCORE 285569.461
AT ITER 3153 NEW BEST:: SOT 2753386 SOS 349356 HAS SOPS 349356 HAS SOUS 285089 HAS SOUPS 285089 WITH SCORE 285438.356
AT ITER 3162 NEW BEST:: SOT 2753384 SOS 349351 HAS SOPS 349351 HAS SOUS 285085 HAS SOUPS 285085 WITH SCORE 285434.351
AT ITER 3171 NEW BEST:: SOT 2753384 SOS 349320 HAS SOPS 349320 HAS SOUS 285054 HAS SOUPS 285054 WITH SCORE 285403.32
AT ITER 3190 NEW BEST:: SOT 2753383 SOS 349281 HAS SOPS 349281 HAS SOUS 285014 HAS SOUPS 285014 WITH SCORE 285363.281
AT ITER 3214 NEW BEST:: SOT 2753163 SOS 349902 HAS SOPS 349902 HAS SOUS 284986 HAS SOUPS 284986 WITH SCORE 285335.902
AT ITER 3229 NEW BEST:: SOT 2753073 SOS 349812 HAS SOPS 349812 HAS SOUS 284896 HAS SOUPS 284896 WITH SCORE 285245.812
AT ITER 3289 NEW BEST:: SOT 2753073 SOS 349791 HAS SOPS 349791 HAS SOUS 284896 HAS SOUPS 284896 WITH SCORE 285245.791
AT ITER 3297 NEW BEST:: SOT 2753019 SOS 349770 HAS SOPS 349770 HAS SOUS 284875 HAS SOUPS 284875 WITH SCORE 285224.77
AT ITER 3306 NEW BEST:: SOT 2752993 SOS 349829 HAS SOPS 349829 HAS SOUS 284849 HAS SOUPS 284849 WITH SCORE 285198.829
AT ITER 3330 NEW BEST:: SOT 2753094 SOS 349724 HAS SOPS 349724 HAS SOUS 284845 HAS SOUPS 284845 WITH SCORE 285194.724
AT ITER 3343 NEW BEST:: SOT 2753054 SOS 350011 HAS SOPS 350011 HAS SOUS 284838 HAS SOUPS 284838 WITH SCORE 285188.011
AT ITER 3359 NEW BEST:: SOT 2753054 SOS 349995 HAS SOPS 349995 HAS SOUS 284822 HAS SOUPS 284822 WITH SCORE 285171.995
AT ITER 3375 NEW BEST:: SOT 2752815 SOS 350333 HAS SOPS 350333 HAS SOUS 284585 HAS SOUPS 284585 WITH SCORE 284935.333
AT ITER 3382 NEW BEST:: SOT 2752814 SOS 350323 HAS SOPS 350323 HAS SOUS 284575 HAS SOUPS 284575 WITH SCORE 284925.323
AT ITER 3396 NEW BEST:: SOT 2752751 SOS 350507 HAS SOPS 350507 HAS SOUS 284574 HAS SOUPS 284574 WITH SCORE 284924.507
AT ITER 3424 NEW BEST:: SOT 2752731 SOS 350244 HAS SOPS 350244 HAS SOUS 284567 HAS SOUPS 284567 WITH SCORE 284917.244
AT ITER 3434 NEW BEST:: SOT 2752586 SOS 349984 HAS SOPS 349984 HAS SOUS 284420 HAS SOUPS 284420 WITH SCORE 284769.984
AT ITER 3452 NEW BEST:: SOT 2752449 SOS 349638 HAS SOPS 349638 HAS SOUS 284379 HAS SOUPS 284379 WITH SCORE 284728.638
AT ITER 3463 NEW BEST:: SOT 2752403 SOS 349546 HAS SOPS 349546 HAS SOUS 284338 HAS SOUPS 284338 WITH SCORE 284687.546
AT ITER 3468 NEW BEST:: SOT 2752351 SOS 349390 HAS SOPS 349390 HAS SOUS 284233 HAS SOUPS 284233 WITH SCORE 284582.39
AT ITER 3494 NEW BEST:: SOT 2752343 SOS 349225 HAS SOPS 349225 HAS SOUS 284081 HAS SOUPS 284081 WITH SCORE 284430.225
AT ITER 3509 NEW BEST:: SOT 2751919 SOS 348818 HAS SOPS 348818 HAS SOUS 283688 HAS SOUPS 283688 WITH SCORE 284036.818
AT ITER 3517 NEW BEST:: SOT 2751908 SOS 348796 HAS SOPS 348796 HAS SOUS 283676 HAS SOUPS 283676 WITH SCORE 284024.796
AT ITER 3565 NEW BEST:: SOT 2751773 SOS 348650 HAS SOPS 348650 HAS SOUS 283673 HAS SOUPS 283673 WITH SCORE 284021.65
AT ITER 3591 NEW BEST:: SOT 2751665 SOS 348539 HAS SOPS 348539 HAS SOUS 283489 HAS SOUPS 283489 WITH SCORE 283837.539
AT ITER 3606 NEW BEST:: SOT 2751665 SOS 348539 HAS SOPS 348539 HAS SOUS 283487 HAS SOUPS 283487 WITH SCORE 283835.539
AT ITER 3628 NEW BEST:: SOT 2751591 SOS 348475 HAS SOPS 348475 HAS SOUS 283423 HAS SOUPS 283423 WITH SCORE 283771.475
AT ITER 3641 NEW BEST:: SOT 2751480 SOS 348440 HAS SOPS 348440 HAS SOUS 283208 HAS SOUPS 283208 WITH SCORE 283556.44
AT ITER 3643 NEW BEST:: SOT 2751459 SOS 348331 HAS SOPS 348331 HAS SOUS 283054 HAS SOUPS 283054 WITH SCORE 283402.331
AT ITER 3685 NEW BEST:: SOT 2751459 SOS 348331 HAS SOPS 348331 HAS SOUS 283053 HAS SOUPS 283053 WITH SCORE 283401.331
AT ITER 3687 NEW BEST:: SOT 2751385 SOS 348182 HAS SOPS 348182 HAS SOUS 282904 HAS SOUPS 282904 WITH SCORE 283252.182
AT ITER 3703 NEW BEST:: SOT 2751348 SOS 348002 HAS SOPS 348002 HAS SOUS 282865 HAS SOUPS 282865 WITH SCORE 283213.002
AT ITER 3717 NEW BEST:: SOT 2751341 SOS 347995 HAS SOPS 347995 HAS SOUS 282851 HAS SOUPS 282851 WITH SCORE 283198.995
AT ITER 3724 NEW BEST:: SOT 2751303 SOS 348033 HAS SOPS 348033 HAS SOUS 282850 HAS SOUPS 282850 WITH SCORE 283198.033
AT ITER 3762 NEW BEST:: SOT 2751210 SOS 347754 HAS SOPS 347754 HAS SOUS 282658 HAS SOUPS 282658 WITH SCORE 283005.754
AT ITER 3792 NEW BEST:: SOT 2751106 SOS 347546 HAS SOPS 347546 HAS SOUS 282560 HAS SOUPS 282560 WITH SCORE 282907.546
AT ITER 3799 NEW BEST:: SOT 2750938 SOS 347462 HAS SOPS 347462 HAS SOUS 282560 HAS SOUPS 282560 WITH SCORE 282907.462
AT ITER 3801 NEW BEST:: SOT 2750872 SOS 347264 HAS SOPS 347264 HAS SOUS 282428 HAS SOUPS 282428 WITH SCORE 282775.264
AT ITER 3810 NEW BEST:: SOT 2750905 SOS 347228 HAS SOPS 347228 HAS SOUS 282342 HAS SOUPS 282342 WITH SCORE 282689.228
AT ITER 3816 NEW BEST:: SOT 2750319 SOS 350934 HAS SOPS 350934 HAS SOUS 282326 HAS SOUPS 282326 WITH SCORE 282676.934
AT ITER 3823 NEW BEST:: SOT 2750319 SOS 350846 HAS SOPS 350846 HAS SOUS 282311 HAS SOUPS 282311 WITH SCORE 282661.846
AT ITER 3830 NEW BEST:: SOT 2749407 SOS 350152 HAS SOPS 350152 HAS SOUS 281464 HAS SOUPS 281464 WITH SCORE 281814.152
AT ITER 3834 NEW BEST:: SOT 2749354 SOS 350277 HAS SOPS 350277 HAS SOUS 281435 HAS SOUPS 281435 WITH SCORE 281785.277
AT ITER 3882 NEW BEST:: SOT 2749288 SOS 349930 HAS SOPS 349930 HAS SOUS 281401 HAS SOUPS 281401 WITH SCORE 281750.93
AT ITER 3913 NEW BEST:: SOT 2749336 SOS 349954 HAS SOPS 349954 HAS SOUS 281358 HAS SOUPS 281358 WITH SCORE 281707.954
AT ITER 3923 NEW BEST:: SOT 2749276 SOS 349894 HAS SOPS 349894 HAS SOUS 281329 HAS SOUPS 281329 WITH SCORE 281678.894
AT ITER 3936 NEW BEST:: SOT 2749320 SOS 349893 HAS SOPS 349893 HAS SOUS 281328 HAS SOUPS 281328 WITH SCORE 281677.893
AT ITER 3979 NEW BEST:: SOT 2749273 SOS 349799 HAS SOPS 349799 HAS SOUS 281281 HAS SOUPS 281281 WITH SCORE 281630.799
AT ITER 3995 NEW BEST:: SOT 2749175 SOS 349809 HAS SOPS 349809 HAS SOUS 281201 HAS SOUPS 281201 WITH SCORE 281550.809
AT ITER 4016 NEW BEST:: SOT 2749157 SOS 350554 HAS SOPS 350554 HAS SOUS 281183 HAS SOUPS 281183 WITH SCORE 281533.554
AT ITER 4028 NEW BEST:: SOT 2749147 SOS 350534 HAS SOPS 350534 HAS SOUS 281173 HAS SOUPS 281173 WITH SCORE 281523.534
AT ITER 4058 NEW BEST:: SOT 2749147 SOS 350523 HAS SOPS 350523 HAS SOUS 281173 HAS SOUPS 281173 WITH SCORE 281523.523
AT ITER 4115 NEW BEST:: SOT 2749158 SOS 350497 HAS SOPS 350497 HAS SOUS 281136 HAS SOUPS 281136 WITH SCORE 281486.497
AT ITER 4133 NEW BEST:: SOT 2749080 SOS 350704 HAS SOPS 350704 HAS SOUS 281044 HAS SOUPS 281044 WITH SCORE 281394.704
AT ITER 4177 NEW BEST:: SOT 2749080 SOS 350611 HAS SOPS 350611 HAS SOUS 280994 HAS SOUPS 280994 WITH SCORE 281344.611
AT ITER 4219 NEW BEST:: SOT 2749050 SOS 350614 HAS SOPS 350614 HAS SOUS 280943 HAS SOUPS 280943 WITH SCORE 281293.614
AT ITER 4300 NEW BEST:: SOT 2749052 SOS 350355 HAS SOPS 350355 HAS SOUS 280858 HAS SOUPS 280858 WITH SCORE 281208.355
AT ITER 4333 NEW BEST:: SOT 2749013 SOS 350316 HAS SOPS 350316 HAS SOUS 280807 HAS SOUPS 280807 WITH SCORE 281157.316
AT ITER 4357 NEW BEST:: SOT 2748963 SOS 350221 HAS SOPS 350221 HAS SOUS 280708 HAS SOUPS 280708 WITH SCORE 281058.221
AT ITER 4367 NEW BEST:: SOT 2748963 SOS 350062 HAS SOPS 350062 HAS SOUS 280708 HAS SOUPS 280708 WITH SCORE 281058.062
AT ITER 4469 NEW BEST:: SOT 2748688 SOS 349875 HAS SOPS 349875 HAS SOUS 280542 HAS SOUPS 280542 WITH SCORE 280891.875
AT ITER 4497 NEW BEST:: SOT 2748688 SOS 349862 HAS SOPS 349862 HAS SOUS 280542 HAS SOUPS 280542 WITH SCORE 280891.862
AT ITER 4558 NEW BEST:: SOT 2748685 SOS 349856 HAS SOPS 349856 HAS SOUS 280536 HAS SOUPS 280536 WITH SCORE 280885.856
AT ITER 4574 NEW BEST:: SOT 2748700 SOS 349798 HAS SOPS 349798 HAS SOUS 280518 HAS SOUPS 280518 WITH SCORE 280867.798
AT ITER 4576 NEW BEST:: SOT 2748762 SOS 349922 HAS SOPS 349922 HAS SOUS 280505 HAS SOUPS 280505 WITH SCORE 280854.922
AT ITER 4580 NEW BEST:: SOT 2748762 SOS 349892 HAS SOPS 349892 HAS SOUS 280475 HAS SOUPS 280475 WITH SCORE 280824.892
AT ITER 4601 NEW BEST:: SOT 2748780 SOS 348980 HAS SOPS 348980 HAS SOUS 280424 HAS SOUPS 280424 WITH SCORE 280772.98
AT ITER 4615 NEW BEST:: SOT 2748779 SOS 348978 HAS SOPS 348978 HAS SOUS 280422 HAS SOUPS 280422 WITH SCORE 280770.978
AT ITER 4644 NEW BEST:: SOT 2748734 SOS 348922 HAS SOPS 348922 HAS SOUS 280366 HAS SOUPS 280366 WITH SCORE 280714.922
AT ITER 4665 NEW BEST:: SOT 2748734 SOS 348720 HAS SOPS 348720 HAS SOUS 280259 HAS SOUPS 280259 WITH SCORE 280607.72
AT ITER 4686 NEW BEST:: SOT 2748620 SOS 348492 HAS SOPS 348492 HAS SOUS 280031 HAS SOUPS 280031 WITH SCORE 280379.492
AT ITER 4692 NEW BEST:: SOT 2748616 SOS 348484 HAS SOPS 348484 HAS SOUS 280027 HAS SOUPS 280027 WITH SCORE 280375.484
AT ITER 4705 NEW BEST:: SOT 2748590 SOS 348294 HAS SOPS 348294 HAS SOUS 279837 HAS SOUPS 279837 WITH SCORE 280185.294
AT ITER 4707 NEW BEST:: SOT 2748430 SOS 348256 HAS SOPS 348256 HAS SOUS 279836 HAS SOUPS 279836 WITH SCORE 280184.256
AT ITER 4715 NEW BEST:: SOT 2748427 SOS 348250 HAS SOPS 348250 HAS SOUS 279830 HAS SOUPS 279830 WITH SCORE 280178.25
AT ITER 4719 NEW BEST:: SOT 2748318 SOS 348032 HAS SOPS 348032 HAS SOUS 279720 HAS SOUPS 279720 WITH SCORE 280068.032
AT ITER 4725 NEW BEST:: SOT 2747786 SOS 348088 HAS SOPS 348088 HAS SOUS 279248 HAS SOUPS 279248 WITH SCORE 279596.088
AT ITER 4735 NEW BEST:: SOT 2747716 SOS 347989 HAS SOPS 347989 HAS SOUS 279152 HAS SOUPS 279152 WITH SCORE 279499.989
AT ITER 4794 NEW BEST:: SOT 2747484 SOS 347784 HAS SOPS 347784 HAS SOUS 278976 HAS SOUPS 278976 WITH SCORE 279323.784
AT ITER 4798 NEW BEST:: SOT 2747484 SOS 347780 HAS SOPS 347780 HAS SOUS 278975 HAS SOUPS 278975 WITH SCORE 279322.78
AT ITER 4804 NEW BEST:: SOT 2747185 SOS 347958 HAS SOPS 347958 HAS SOUS 278945 HAS SOUPS 278945 WITH SCORE 279292.958
AT ITER 4813 NEW BEST:: SOT 2747152 SOS 347863 HAS SOPS 347863 HAS SOUS 278940 HAS SOUPS 278940 WITH SCORE 279287.863
AT ITER 4836 NEW BEST:: SOT 2746960 SOS 347575 HAS SOPS 347575 HAS SOUS 278652 HAS SOUPS 278652 WITH SCORE 278999.575
AT ITER 4848 NEW BEST:: SOT 2746771 SOS 347197 HAS SOPS 347197 HAS SOUS 278463 HAS SOUPS 278463 WITH SCORE 278810.197
AT ITER 4906 NEW BEST:: SOT 2746731 SOS 347141 HAS SOPS 347141 HAS SOUS 278353 HAS SOUPS 278353 WITH SCORE 278700.141
AT ITER 4971 NEW BEST:: SOT 2746700 SOS 347018 HAS SOPS 347018 HAS SOUS 278230 HAS SOUPS 278230 WITH SCORE 278577.018
AT ITER 4996 NEW BEST:: SOT 2746732 SOS 346990 HAS SOPS 346990 HAS SOUS 278202 HAS SOUPS 278202 WITH SCORE 278548.99
AT ITER 4998 NEW BEST:: SOT 2746421 SOS 346748 HAS SOPS 346748 HAS SOUS 277890 HAS SOUPS 277890 WITH SCORE 278236.748
AT ITER 5001 NEW BEST:: SOT 2746354 SOS 346681 HAS SOPS 346681 HAS SOUS 277689 HAS SOUPS 277689 WITH SCORE 278035.681
AT ITER 5100 NEW BEST:: SOT 2746228 SOS 346496 HAS SOPS 346496 HAS SOUS 277562 HAS SOUPS 277562 WITH SCORE 277908.496
AT ITER 5104 NEW BEST:: SOT 2746216 SOS 346484 HAS SOPS 346484 HAS SOUS 277550 HAS SOUPS 277550 WITH SCORE 277896.484
AT ITER 5164 NEW BEST:: SOT 2746215 SOS 346482 HAS SOPS 346482 HAS SOUS 277548 HAS SOUPS 277548 WITH SCORE 277894.482
AT ITER 5294 NEW BEST:: SOT 2746209 SOS 346473 HAS SOPS 346473 HAS SOUS 277542 HAS SOUPS 277542 WITH SCORE 277888.473
AT ITER 5299 NEW BEST:: SOT 2746168 SOS 346391 HAS SOPS 346391 HAS SOUS 277460 HAS SOUPS 277460 WITH SCORE 277806.391
AT ITER 5310 NEW BEST:: SOT 2745994 SOS 345864 HAS SOPS 345864 HAS SOUS 277306 HAS SOUPS 277306 WITH SCORE 277651.864
AT ITER 5339 NEW BEST:: SOT 2745878 SOS 345748 HAS SOPS 345748 HAS SOUS 277190 HAS SOUPS 277190 WITH SCORE 277535.748
AT ITER 5380 NEW BEST:: SOT 2745464 SOS 345565 HAS SOPS 345565 HAS SOUS 276859 HAS SOUPS 276859 WITH SCORE 277204.565
AT ITER 5385 NEW BEST:: SOT 2745219 SOS 345287 HAS SOPS 345287 HAS SOUS 276565 HAS SOUPS 276565 WITH SCORE 276910.287
AT ITER 5450 NEW BEST:: SOT 2745174 SOS 345199 HAS SOPS 345199 HAS SOUS 276475 HAS SOUPS 276475 WITH SCORE 276820.199
AT ITER 5533 NEW BEST:: SOT 2745065 SOS 344862 HAS SOPS 344862 HAS SOUS 276318 HAS SOUPS 276318 WITH SCORE 276662.862
AT ITER 5536 NEW BEST:: SOT 2745030 SOS 344941 HAS SOPS 344941 HAS SOUS 276283 HAS SOUPS 276283 WITH SCORE 276627.941
AT ITER 5547 NEW BEST:: SOT 2745200 SOS 345281 HAS SOPS 345281 HAS SOUS 276266 HAS SOUPS 276266 WITH SCORE 276611.281
AT ITER 5559 NEW BEST:: SOT 2745187 SOS 345268 HAS SOPS 345268 HAS SOUS 276253 HAS SOUPS 276253 WITH SCORE 276598.268
AT ITER 5582 NEW BEST:: SOT 2745141 SOS 345222 HAS SOPS 345222 HAS SOUS 276216 HAS SOUPS 276216 WITH SCORE 276561.222
AT ITER 5593 NEW BEST:: SOT 2745141 SOS 345205 HAS SOPS 345205 HAS SOUS 276199 HAS SOUPS 276199 WITH SCORE 276544.205
AT ITER 5604 NEW BEST:: SOT 2745141 SOS 345193 HAS SOPS 345193 HAS SOUS 276199 HAS SOUPS 276199 WITH SCORE 276544.193
AT ITER 5609 NEW BEST:: SOT 2745121 SOS 345152 HAS SOPS 345152 HAS SOUS 276158 HAS SOUPS 276158 WITH SCORE 276503.152
AT ITER 5610 NEW BEST:: SOT 2745061 SOS 345029 HAS SOPS 345029 HAS SOUS 276038 HAS SOUPS 276038 WITH SCORE 276383.029
AT ITER 5616 NEW BEST:: SOT 2745035 SOS 345134 HAS SOPS 345134 HAS SOUS 276037 HAS SOUPS 276037 WITH SCORE 276382.134
AT ITER 5631 NEW BEST:: SOT 2745035 SOS 345125 HAS SOPS 345125 HAS SOUS 276028 HAS SOUPS 276028 WITH SCORE 276373.125
AT ITER 5650 NEW BEST:: SOT 2745000 SOS 345055 HAS SOPS 345055 HAS SOUS 275993 HAS SOUPS 275993 WITH SCORE 276338.055
AT ITER 5670 NEW BEST:: SOT 2744985 SOS 345025 HAS SOPS 345025 HAS SOUS 275984 HAS SOUPS 275984 WITH SCORE 276329.025
AT ITER 5689 NEW BEST:: SOT 2744897 SOS 344747 HAS SOPS 344747 HAS SOUS 275931 HAS SOUPS 275931 WITH SCORE 276275.747
AT ITER 5695 NEW BEST:: SOT 2744802 SOS 344603 HAS SOPS 344603 HAS SOUS 275836 HAS SOUPS 275836 WITH SCORE 276180.603
AT ITER 5699 NEW BEST:: SOT 2744670 SOS 344529 HAS SOPS 344529 HAS SOUS 275723 HAS SOUPS 275723 WITH SCORE 276067.529
AT ITER 5721 NEW BEST:: SOT 2744622 SOS 344517 HAS SOPS 344517 HAS SOUS 275691 HAS SOUPS 275691 WITH SCORE 276035.517
AT ITER 5734 NEW BEST:: SOT 2744583 SOS 344439 HAS SOPS 344439 HAS SOUS 275691 HAS SOUPS 275691 WITH SCORE 276035.439
AT ITER 5757 NEW BEST:: SOT 2744367 SOS 344655 HAS SOPS 344655 HAS SOUS 275574 HAS SOUPS 275574 WITH SCORE 275918.655
AT ITER 5772 NEW BEST:: SOT 2744364 SOS 344691 HAS SOPS 344691 HAS SOUS 275519 HAS SOUPS 275519 WITH SCORE 275863.691
AT ITER 5776 NEW BEST:: SOT 2743891 SOS 344913 HAS SOPS 344913 HAS SOUS 275118 HAS SOUPS 275118 WITH SCORE 275462.913
AT ITER 5777 NEW BEST:: SOT 2743672 SOS 344840 HAS SOPS 344840 HAS SOUS 274972 HAS SOUPS 274972 WITH SCORE 275316.84
AT ITER 5830 NEW BEST:: SOT 2743496 SOS 344729 HAS SOPS 344729 HAS SOUS 274925 HAS SOUPS 274925 WITH SCORE 275269.729
AT ITER 5835 NEW BEST:: SOT 2743444 SOS 344712 HAS SOPS 344712 HAS SOUS 274908 HAS SOUPS 274908 WITH SCORE 275252.712
AT ITER 5838 NEW BEST:: SOT 2743390 SOS 344629 HAS SOPS 344629 HAS SOUS 274854 HAS SOUPS 274854 WITH SCORE 275198.629
AT ITER 5895 NEW BEST:: SOT 2743301 SOS 344451 HAS SOPS 344451 HAS SOUS 274764 HAS SOUPS 274764 WITH SCORE 275108.451
AT ITER 5934 NEW BEST:: SOT 2743300 SOS 344277 HAS SOPS 344277 HAS SOUS 274455 HAS SOUPS 274455 WITH SCORE 274799.277
AT ITER 5988 NEW BEST:: SOT 2743282 SOS 344223 HAS SOPS 344223 HAS SOUS 274437 HAS SOUPS 274437 WITH SCORE 274781.223
AT ITER 6056 NEW BEST:: SOT 2743282 SOS 344223 HAS SOPS 344223 HAS SOUS 274436 HAS SOUPS 274436 WITH SCORE 274780.223
AT ITER 6058 NEW BEST:: SOT 2743231 SOS 344121 HAS SOPS 344121 HAS SOUS 274271 HAS SOUPS 274271 WITH SCORE 274615.121
AT ITER 6076 NEW BEST:: SOT 2743074 SOS 344098 HAS SOPS 344098 HAS SOUS 274118 HAS SOUPS 274118 WITH SCORE 274462.098
AT ITER 6105 NEW BEST:: SOT 2743074 SOS 343983 HAS SOPS 343983 HAS SOUS 274081 HAS SOUPS 274081 WITH SCORE 274424.983
AT ITER 6122 NEW BEST:: SOT 2742778 SOS 343733 HAS SOPS 343733 HAS SOUS 273872 HAS SOUPS 273872 WITH SCORE 274215.733
AT ITER 6184 NEW BEST:: SOT 2742762 SOS 343701 HAS SOPS 343701 HAS SOUS 273856 HAS SOUPS 273856 WITH SCORE 274199.701
AT ITER 6200 NEW BEST:: SOT 2742676 SOS 343635 HAS SOPS 343635 HAS SOUS 273789 HAS SOUPS 273789 WITH SCORE 274132.635
AT ITER 6201 NEW BEST:: SOT 2742683 SOS 343598 HAS SOPS 343598 HAS SOUS 273752 HAS SOUPS 273752 WITH SCORE 274095.598
AT ITER 6205 NEW BEST:: SOT 2742571 SOS 343792 HAS SOPS 343792 HAS SOUS 273738 HAS SOUPS 273738 WITH SCORE 274081.792
AT ITER 6215 NEW BEST:: SOT 2742494 SOS 343762 HAS SOPS 343762 HAS SOUS 273666 HAS SOUPS 273666 WITH SCORE 274009.762
AT ITER 6248 NEW BEST:: SOT 2742458 SOS 343726 HAS SOPS 343726 HAS SOUS 273630 HAS SOUPS 273630 WITH SCORE 273973.726
AT ITER 6280 NEW BEST:: SOT 2742372 SOS 343640 HAS SOPS 343640 HAS SOUS 273458 HAS SOUPS 273458 WITH SCORE 273801.64
AT ITER 6292 NEW BEST:: SOT 2742372 SOS 343640 HAS SOPS 343640 HAS SOUS 273457 HAS SOUPS 273457 WITH SCORE 273800.64
AT ITER 6335 NEW BEST:: SOT 2742235 SOS 343366 HAS SOPS 343366 HAS SOUS 273320 HAS SOUPS 273320 WITH SCORE 273663.366
AT ITER 6342 NEW BEST:: SOT 2742223 SOS 343354 HAS SOPS 343354 HAS SOUS 273308 HAS SOUPS 273308 WITH SCORE 273651.354
AT ITER 6360 NEW BEST:: SOT 2742301 SOS 343946 HAS SOPS 343946 HAS SOUS 273299 HAS SOUPS 273299 WITH SCORE 273642.946
AT ITER 6382 NEW BEST:: SOT 2742301 SOS 343846 HAS SOPS 343846 HAS SOUS 273199 HAS SOUPS 273199 WITH SCORE 273542.846
AT ITER 6405 NEW BEST:: SOT 2742328 SOS 343866 HAS SOPS 343866 HAS SOUS 273073 HAS SOUPS 273073 WITH SCORE 273416.866
AT ITER 6429 NEW BEST:: SOT 2742126 SOS 343354 HAS SOPS 343354 HAS SOUS 272815 HAS SOUPS 272815 WITH SCORE 273158.354
AT ITER 6439 NEW BEST:: SOT 2742126 SOS 343354 HAS SOPS 343354 HAS SOUS 272803 HAS SOUPS 272803 WITH SCORE 273146.354
AT ITER 6447 NEW BEST:: SOT 2742121 SOS 343349 HAS SOPS 343349 HAS SOUS 272798 HAS SOUPS 272798 WITH SCORE 273141.349
AT ITER 6479 NEW BEST:: SOT 2742052 SOS 343110 HAS SOPS 343110 HAS SOUS 272718 HAS SOUPS 272718 WITH SCORE 273061.11
AT ITER 6516 NEW BEST:: SOT 2742052 SOS 343095 HAS SOPS 343095 HAS SOUS 272703 HAS SOUPS 272703 WITH SCORE 273046.095
AT ITER 6519 NEW BEST:: SOT 2742010 SOS 342846 HAS SOPS 342846 HAS SOUS 272311 HAS SOUPS 272311 WITH SCORE 272653.846
AT ITER 6563 NEW BEST:: SOT 2741972 SOS 342864 HAS SOPS 342864 HAS SOUS 272307 HAS SOUPS 272307 WITH SCORE 272649.864
AT ITER 6586 NEW BEST:: SOT 2741953 SOS 342615 HAS SOPS 342615 HAS SOUS 272269 HAS SOUPS 272269 WITH SCORE 272611.615
AT ITER 6595 NEW BEST:: SOT 2741920 SOS 342549 HAS SOPS 342549 HAS SOUS 272203 HAS SOUPS 272203 WITH SCORE 272545.549
AT ITER 6602 NEW BEST:: SOT 2741060 SOS 342998 HAS SOPS 342998 HAS SOUS 271353 HAS SOUPS 271353 WITH SCORE 271695.998
AT ITER 6608 NEW BEST:: SOT 2740949 SOS 342932 HAS SOPS 342932 HAS SOUS 271111 HAS SOUPS 271111 WITH SCORE 271453.932
AT ITER 6611 NEW BEST:: SOT 2740551 SOS 344593 HAS SOPS 344593 HAS SOUS 270947 HAS SOUPS 270947 WITH SCORE 271291.593
AT ITER 6641 NEW BEST:: SOT 2739891 SOS 344724 HAS SOPS 344724 HAS SOUS 270348 HAS SOUPS 270348 WITH SCORE 270692.724
AT ITER 6654 NEW BEST:: SOT 2739895 SOS 344715 HAS SOPS 344715 HAS SOUS 270339 HAS SOUPS 270339 WITH SCORE 270683.715
AT ITER 6672 NEW BEST:: SOT 2739885 SOS 344695 HAS SOPS 344695 HAS SOUS 270319 HAS SOUPS 270319 WITH SCORE 270663.695
AT ITER 6690 NEW BEST:: SOT 2739883 SOS 344691 HAS SOPS 344691 HAS SOUS 270317 HAS SOUPS 270317 WITH SCORE 270661.691
AT ITER 6699 NEW BEST:: SOT 2739883 SOS 344636 HAS SOPS 344636 HAS SOUS 270313 HAS SOUPS 270313 WITH SCORE 270657.636
AT ITER 6709 NEW BEST:: SOT 2739825 SOS 344547 HAS SOPS 344547 HAS SOUS 270197 HAS SOUPS 270197 WITH SCORE 270541.547
AT ITER 6755 NEW BEST:: SOT 2739802 SOS 344548 HAS SOPS 344548 HAS SOUS 270180 HAS SOUPS 270180 WITH SCORE 270524.548
AT ITER 6793 NEW BEST:: SOT 2739773 SOS 344490 HAS SOPS 344490 HAS SOUS 270122 HAS SOUPS 270122 WITH SCORE 270466.49
AT ITER 6798 NEW BEST:: SOT 2739667 SOS 344331 HAS SOPS 344331 HAS SOUS 270069 HAS SOUPS 270069 WITH SCORE 270413.331
AT ITER 6815 NEW BEST:: SOT 2739570 SOS 344126 HAS SOPS 344126 HAS SOUS 269943 HAS SOUPS 269943 WITH SCORE 270287.126
AT ITER 6854 NEW BEST:: SOT 2739536 SOS 344092 HAS SOPS 344092 HAS SOUS 269892 HAS SOUPS 269892 WITH SCORE 270236.092
AT ITER 6902 NEW BEST:: SOT 2739533 SOS 344007 HAS SOPS 344007 HAS SOUS 269804 HAS SOUPS 269804 WITH SCORE 270148.007
AT ITER 6921 NEW BEST:: SOT 2739456 SOS 343652 HAS SOPS 343652 HAS SOUS 269621 HAS SOUPS 269621 WITH SCORE 269964.652
AT ITER 6933 NEW BEST:: SOT 2739174 SOS 344714 HAS SOPS 344714 HAS SOUS 269339 HAS SOUPS 269339 WITH SCORE 269683.714
AT ITER 6963 NEW BEST:: SOT 2738834 SOS 346061 HAS SOPS 346061 HAS SOUS 268976 HAS SOUPS 268976 WITH SCORE 269322.061
AT ITER 6981 NEW BEST:: SOT 2738834 SOS 346019 HAS SOPS 346019 HAS SOUS 268976 HAS SOUPS 268976 WITH SCORE 269322.019
AT ITER 6996 NEW BEST:: SOT 2738802 SOS 346040 HAS SOPS 346040 HAS SOUS 268898 HAS SOUPS 268898 WITH SCORE 269244.04
AT ITER 7120 NEW BEST:: SOT 2738744 SOS 346042 HAS SOPS 346042 HAS SOUS 268895 HAS SOUPS 268895 WITH SCORE 269241.042
AT ITER 7208 NEW BEST:: SOT 2738734 SOS 346022 HAS SOPS 346022 HAS SOUS 268879 HAS SOUPS 268879 WITH SCORE 269225.022
AT ITER 7247 NEW BEST:: SOT 2738734 SOS 346022 HAS SOPS 346022 HAS SOUS 268878 HAS SOUPS 268878 WITH SCORE 269224.022
AT ITER 7275 NEW BEST:: SOT 2738733 SOS 345862 HAS SOPS 345862 HAS SOUS 268808 HAS SOUPS 268808 WITH SCORE 269153.862
AT ITER 7276 NEW BEST:: SOT 2738732 SOS 345860 HAS SOPS 345860 HAS SOUS 268807 HAS SOUPS 268807 WITH SCORE 269152.86
AT ITER 7324 NEW BEST:: SOT 2738512 SOS 345200 HAS SOPS 345200 HAS SOUS 268419 HAS SOUPS 268419 WITH SCORE 268764.2
AT ITER 7334 NEW BEST:: SOT 2738552 SOS 345204 HAS SOPS 345204 HAS SOUS 268384 HAS SOUPS 268384 WITH SCORE 268729.204
AT ITER 7345 NEW BEST:: SOT 2738489 SOS 345036 HAS SOPS 345036 HAS SOUS 268337 HAS SOUPS 268337 WITH SCORE 268682.036
AT ITER 7347 NEW BEST:: SOT 2738453 SOS 345035 HAS SOPS 345035 HAS SOUS 268302 HAS SOUPS 268302 WITH SCORE 268647.035
AT ITER 7425 NEW BEST:: SOT 2738495 SOS 344993 HAS SOPS 344993 HAS SOUS 268300 HAS SOUPS 268300 WITH SCORE 268644.993
AT ITER 7432 NEW BEST:: SOT 2738471 SOS 344957 HAS SOPS 344957 HAS SOUS 268272 HAS SOUPS 268272 WITH SCORE 268616.957
AT ITER 7433 NEW BEST:: SOT 2738470 SOS 344955 HAS SOPS 344955 HAS SOUS 268270 HAS SOUPS 268270 WITH SCORE 268614.955
AT ITER 7440 NEW BEST:: SOT 2738469 SOS 344953 HAS SOPS 344953 HAS SOUS 268268 HAS SOUPS 268268 WITH SCORE 268612.953
AT ITER 7459 NEW BEST:: SOT 2738444 SOS 344906 HAS SOPS 344906 HAS SOUS 268221 HAS SOUPS 268221 WITH SCORE 268565.906
AT ITER 7463 NEW BEST:: SOT 2738444 SOS 344906 HAS SOPS 344906 HAS SOUS 268178 HAS SOUPS 268178 WITH SCORE 268522.906
AT ITER 7465 NEW BEST:: SOT 2738009 SOS 345186 HAS SOPS 345186 HAS SOUS 267820 HAS SOUPS 267820 WITH SCORE 268165.186
AT ITER 7522 NEW BEST:: SOT 2738106 SOS 345290 HAS SOPS 345290 HAS SOUS 267815 HAS SOUPS 267815 WITH SCORE 268160.29
AT ITER 7570 NEW BEST:: SOT 2738106 SOS 345233 HAS SOPS 345233 HAS SOUS 267758 HAS SOUPS 267758 WITH SCORE 268103.233
AT ITER 7589 NEW BEST:: SOT 2737960 SOS 344971 HAS SOPS 344971 HAS SOUS 267356 HAS SOUPS 267356 WITH SCORE 267700.971
AT ITER 7616 NEW BEST:: SOT 2737960 SOS 344971 HAS SOPS 344971 HAS SOUS 267062 HAS SOUPS 267062 WITH SCORE 267406.971
AT ITER 7639 NEW BEST:: SOT 2737879 SOS 344868 HAS SOPS 344868 HAS SOUS 266900 HAS SOUPS 266900 WITH SCORE 267244.868
AT ITER 7680 NEW BEST:: SOT 2737879 SOS 344859 HAS SOPS 344859 HAS SOUS 266882 HAS SOUPS 266882 WITH SCORE 267226.859
AT ITER 7719 NEW BEST:: SOT 2737874 SOS 344702 HAS SOPS 344702 HAS SOUS 266877 HAS SOUPS 266877 WITH SCORE 267221.702
AT ITER 7727 NEW BEST:: SOT 2737874 SOS 344641 HAS SOPS 344641 HAS SOUS 266822 HAS SOUPS 266822 WITH SCORE 267166.641
AT ITER 7761 NEW BEST:: SOT 2737775 SOS 344542 HAS SOPS 344542 HAS SOUS 266822 HAS SOUPS 266822 WITH SCORE 267166.542
AT ITER 7767 NEW BEST:: SOT 2737650 SOS 343759 HAS SOPS 343759 HAS SOUS 266687 HAS SOUPS 266687 WITH SCORE 267030.759
AT ITER 7771 NEW BEST:: SOT 2737693 SOS 343672 HAS SOPS 343672 HAS SOUS 266641 HAS SOUPS 266641 WITH SCORE 266984.672
AT ITER 7791 NEW BEST:: SOT 2737684 SOS 343556 HAS SOPS 343556 HAS SOUS 266461 HAS SOUPS 266461 WITH SCORE 266804.556
AT ITER 7795 NEW BEST:: SOT 2737620 SOS 343492 HAS SOPS 343492 HAS SOUS 266310 HAS SOUPS 266310 WITH SCORE 266653.492
AT ITER 7822 NEW BEST:: SOT 2737057 SOS 342930 HAS SOPS 342930 HAS SOUS 265859 HAS SOUPS 265859 WITH SCORE 266201.93
AT ITER 7892 NEW BEST:: SOT 2737004 SOS 342623 HAS SOPS 342623 HAS SOUS 265688 HAS SOUPS 265688 WITH SCORE 266030.623
AT ITER 7913 NEW BEST:: SOT 2736704 SOS 342413 HAS SOPS 342413 HAS SOUS 265418 HAS SOUPS 265418 WITH SCORE 265760.413
AT ITER 7926 NEW BEST:: SOT 2736664 SOS 342333 HAS SOPS 342333 HAS SOUS 265378 HAS SOUPS 265378 WITH SCORE 265720.333
AT ITER 7935 NEW BEST:: SOT 2736641 SOS 342264 HAS SOPS 342264 HAS SOUS 265332 HAS SOUPS 265332 WITH SCORE 265674.264
AT ITER 7957 NEW BEST:: SOT 2736521 SOS 342156 HAS SOPS 342156 HAS SOUS 265223 HAS SOUPS 265223 WITH SCORE 265565.156
AT ITER 7968 NEW BEST:: SOT 2736512 SOS 342036 HAS SOPS 342036 HAS SOUS 265205 HAS SOUPS 265205 WITH SCORE 265547.036
AT ITER 7976 NEW BEST:: SOT 2736458 SOS 341928 HAS SOPS 341928 HAS SOUS 265097 HAS SOUPS 265097 WITH SCORE 265438.928
AT ITER 7978 NEW BEST:: SOT 2736456 SOS 341925 HAS SOPS 341925 HAS SOUS 265093 HAS SOUPS 265093 WITH SCORE 265434.925
AT ITER 8007 NEW BEST:: SOT 2736452 SOS 341921 HAS SOPS 341921 HAS SOUS 265093 HAS SOUPS 265093 WITH SCORE 265434.921
AT ITER 8026 NEW BEST:: SOT 2736406 SOS 341842 HAS SOPS 341842 HAS SOUS 265014 HAS SOUPS 265014 WITH SCORE 265355.842
AT ITER 8059 NEW BEST:: SOT 2736406 SOS 341828 HAS SOPS 341828 HAS SOUS 265014 HAS SOUPS 265014 WITH SCORE 265355.828
AT ITER 8075 NEW BEST:: SOT 2736384 SOS 341784 HAS SOPS 341784 HAS SOUS 264973 HAS SOUPS 264973 WITH SCORE 265314.784
AT ITER 8076 NEW BEST:: SOT 2735879 SOS 342005 HAS SOPS 342005 HAS SOUS 264879 HAS SOUPS 264879 WITH SCORE 265221.005
AT ITER 8082 NEW BEST:: SOT 2735879 SOS 341701 HAS SOPS 341701 HAS SOUS 264729 HAS SOUPS 264729 WITH SCORE 265070.701
AT ITER 8118 NEW BEST:: SOT 2735795 SOS 341608 HAS SOPS 341608 HAS SOUS 264390 HAS SOUPS 264390 WITH SCORE 264731.608
AT ITER 8141 NEW BEST:: SOT 2735352 SOS 341624 HAS SOPS 341624 HAS SOUS 264025 HAS SOUPS 264025 WITH SCORE 264366.624
AT ITER 8175 NEW BEST:: SOT 2735231 SOS 341370 HAS SOPS 341370 HAS SOUS 263817 HAS SOUPS 263817 WITH SCORE 264158.37
AT ITER 8180 NEW BEST:: SOT 2735094 SOS 341192 HAS SOPS 341192 HAS SOUS 263675 HAS SOUPS 263675 WITH SCORE 264016.192
AT ITER 8218 NEW BEST:: SOT 2734990 SOS 341085 HAS SOPS 341085 HAS SOUS 263570 HAS SOUPS 263570 WITH SCORE 263911.085
AT ITER 8232 NEW BEST:: SOT 2734911 SOS 340784 HAS SOPS 340784 HAS SOUS 263442 HAS SOUPS 263442 WITH SCORE 263782.784
AT ITER 8266 NEW BEST:: SOT 2734849 SOS 340769 HAS SOPS 340769 HAS SOUS 263294 HAS SOUPS 263294 WITH SCORE 263634.769
AT ITER 8315 NEW BEST:: SOT 2734847 SOS 340767 HAS SOPS 340767 HAS SOUS 263288 HAS SOUPS 263288 WITH SCORE 263628.767
AT ITER 8347 NEW BEST:: SOT 2734799 SOS 340766 HAS SOPS 340766 HAS SOUS 263239 HAS SOUPS 263239 WITH SCORE 263579.766
AT ITER 8368 NEW BEST:: SOT 2734804 SOS 340715 HAS SOPS 340715 HAS SOUS 263188 HAS SOUPS 263188 WITH SCORE 263528.715
AT ITER 8400 NEW BEST:: SOT 2734812 SOS 340663 HAS SOPS 340663 HAS SOUS 263135 HAS SOUPS 263135 WITH SCORE 263475.663
AT ITER 8409 NEW BEST:: SOT 2734650 SOS 340278 HAS SOPS 340278 HAS SOUS 262906 HAS SOUPS 262906 WITH SCORE 263246.278
AT ITER 8441 NEW BEST:: SOT 2734316 SOS 338709 HAS SOPS 338709 HAS SOUS 262464 HAS SOUPS 262464 WITH SCORE 262802.709
AT ITER 8446 NEW BEST:: SOT 2734216 SOS 338609 HAS SOPS 338609 HAS SOUS 262364 HAS SOUPS 262364 WITH SCORE 262702.609
AT ITER 8532 NEW BEST:: SOT 2734216 SOS 338535 HAS SOPS 338535 HAS SOUS 262358 HAS SOUPS 262358 WITH SCORE 262696.535
AT ITER 8545 NEW BEST:: SOT 2733932 SOS 340837 HAS SOPS 340837 HAS SOUS 262279 HAS SOUPS 262279 WITH SCORE 262619.837
AT ITER 8556 NEW BEST:: SOT 2733940 SOS 340853 HAS SOPS 340853 HAS SOUS 262232 HAS SOUPS 262232 WITH SCORE 262572.853
AT ITER 8598 NEW BEST:: SOT 2733792 SOS 340580 HAS SOPS 340580 HAS SOUS 261936 HAS SOUPS 261936 WITH SCORE 262276.58
AT ITER 8611 NEW BEST:: SOT 2733770 SOS 340536 HAS SOPS 340536 HAS SOUS 261914 HAS SOUPS 261914 WITH SCORE 262254.536
AT ITER 8619 NEW BEST:: SOT 2733781 SOS 340547 HAS SOPS 340547 HAS SOUS 261737 HAS SOUPS 261737 WITH SCORE 262077.547
AT ITER 8672 NEW BEST:: SOT 2733796 SOS 340545 HAS SOPS 340545 HAS SOUS 261736 HAS SOUPS 261736 WITH SCORE 262076.545
AT ITER 8688 NEW BEST:: SOT 2733755 SOS 340473 HAS SOPS 340473 HAS SOUS 261664 HAS SOUPS 261664 WITH SCORE 262004.473
AT ITER 8690 NEW BEST:: SOT 2733754 SOS 340471 HAS SOPS 340471 HAS SOUS 261662 HAS SOUPS 261662 WITH SCORE 262002.471
AT ITER 8721 NEW BEST:: SOT 2733657 SOS 340180 HAS SOPS 340180 HAS SOUS 261565 HAS SOUPS 261565 WITH SCORE 261905.18
AT ITER 8786 NEW BEST:: SOT 2733634 SOS 340127 HAS SOPS 340127 HAS SOUS 261512 HAS SOUPS 261512 WITH SCORE 261852.127
AT ITER 8854 NEW BEST:: SOT 2733804 SOS 340064 HAS SOPS 340064 HAS SOUS 261443 HAS SOUPS 261443 WITH SCORE 261783.064
AT ITER 8882 NEW BEST:: SOT 2733799 SOS 340054 HAS SOPS 340054 HAS SOUS 261433 HAS SOUPS 261433 WITH SCORE 261773.054
AT ITER 8903 NEW BEST:: SOT 2733799 SOS 340095 HAS SOPS 340095 HAS SOUS 261432 HAS SOUPS 261432 WITH SCORE 261772.095
AT ITER 8921 NEW BEST:: SOT 2733749 SOS 340093 HAS SOPS 340093 HAS SOUS 261388 HAS SOUPS 261388 WITH SCORE 261728.093
AT ITER 8990 NEW BEST:: SOT 2733633 SOS 339944 HAS SOPS 339944 HAS SOUS 261271 HAS SOUPS 261271 WITH SCORE 261610.944
AT ITER 9000 NEW BEST:: SOT 2733632 SOS 339939 HAS SOPS 339939 HAS SOUS 261269 HAS SOUPS 261269 WITH SCORE 261608.939
AT ITER 9023 NEW BEST:: SOT 2733632 SOS 339876 HAS SOPS 339876 HAS SOUS 261222 HAS SOUPS 261222 WITH SCORE 261561.876
AT ITER 9063 NEW BEST:: SOT 2733304 SOS 340818 HAS SOPS 340818 HAS SOUS 261035 HAS SOUPS 261035 WITH SCORE 261375.818
AT ITER 9084 NEW BEST:: SOT 2733145 SOS 340823 HAS SOPS 340823 HAS SOUS 260899 HAS SOUPS 260899 WITH SCORE 261239.823
AT ITER 9092 NEW BEST:: SOT 2733069 SOS 340689 HAS SOPS 340689 HAS SOUS 260553 HAS SOUPS 260553 WITH SCORE 260893.689
AT ITER 9183 NEW BEST:: SOT 2732812 SOS 340427 HAS SOPS 340427 HAS SOUS 260286 HAS SOUPS 260286 WITH SCORE 260626.427
AT ITER 9221 NEW BEST:: SOT 2732765 SOS 340333 HAS SOPS 340333 HAS SOUS 260183 HAS SOUPS 260183 WITH SCORE 260523.333
AT ITER 9234 NEW BEST:: SOT 2732720 SOS 340359 HAS SOPS 340359 HAS SOUS 260138 HAS SOUPS 260138 WITH SCORE 260478.359
AT ITER 9259 NEW BEST:: SOT 2732730 SOS 340379 HAS SOPS 340379 HAS SOUS 260064 HAS SOUPS 260064 WITH SCORE 260404.379
AT ITER 9300 NEW BEST:: SOT 2732665 SOS 340249 HAS SOPS 340249 HAS SOUS 259934 HAS SOUPS 259934 WITH SCORE 260274.249
AT ITER 9313 NEW BEST:: SOT 2732665 SOS 340209 HAS SOPS 340209 HAS SOUS 259894 HAS SOUPS 259894 WITH SCORE 260234.209
AT ITER 9332 NEW BEST:: SOT 2732645 SOS 340154 HAS SOPS 340154 HAS SOUS 259894 HAS SOUPS 259894 WITH SCORE 260234.154
AT ITER 9351 NEW BEST:: SOT 2732645 SOS 340147 HAS SOPS 340147 HAS SOUS 259887 HAS SOUPS 259887 WITH SCORE 260227.147
AT ITER 9397 NEW BEST:: SOT 2732621 SOS 340129 HAS SOPS 340129 HAS SOUS 259869 HAS SOUPS 259869 WITH SCORE 260209.129
AT ITER 9438 NEW BEST:: SOT 2732000 SOS 341065 HAS SOPS 341065 HAS SOUS 259478 HAS SOUPS 259478 WITH SCORE 259819.065
AT ITER 9440 NEW BEST:: SOT 2732139 SOS 341045 HAS SOPS 341045 HAS SOUS 259390 HAS SOUPS 259390 WITH SCORE 259731.045
AT ITER 9470 NEW BEST:: SOT 2732032 SOS 340724 HAS SOPS 340724 HAS SOUS 259195 HAS SOUPS 259195 WITH SCORE 259535.724
AT ITER 9480 NEW BEST:: SOT 2732021 SOS 340624 HAS SOPS 340624 HAS SOUS 259154 HAS SOUPS 259154 WITH SCORE 259494.624
AT ITER 9482 NEW BEST:: SOT 2731809 SOS 340444 HAS SOPS 340444 HAS SOUS 258975 HAS SOUPS 258975 WITH SCORE 259315.444
AT ITER 9484 NEW BEST:: SOT 2731761 SOS 340350 HAS SOPS 340350 HAS SOUS 258915 HAS SOUPS 258915 WITH SCORE 259255.35
AT ITER 9503 NEW BEST:: SOT 2731761 SOS 340331 HAS SOPS 340331 HAS SOUS 258915 HAS SOUPS 258915 WITH SCORE 259255.331
AT ITER 9519 NEW BEST:: SOT 2731772 SOS 340261 HAS SOPS 340261 HAS SOUS 258871 HAS SOUPS 258871 WITH SCORE 259211.261
AT ITER 9585 NEW BEST:: SOT 2731693 SOS 340103 HAS SOPS 340103 HAS SOUS 258792 HAS SOUPS 258792 WITH SCORE 259132.103
AT ITER 9596 NEW BEST:: SOT 2731685 SOS 340103 HAS SOPS 340103 HAS SOUS 258784 HAS SOUPS 258784 WITH SCORE 259124.103
AT ITER 9665 NEW BEST:: SOT 2731517 SOS 339935 HAS SOPS 339935 HAS SOUS 258470 HAS SOUPS 258470 WITH SCORE 258809.935
AT ITER 9668 NEW BEST:: SOT 2731516 SOS 339913 HAS SOPS 339913 HAS SOUS 258448 HAS SOUPS 258448 WITH SCORE 258787.913
AT ITER 9671 NEW BEST:: SOT 2731510 SOS 339901 HAS SOPS 339901 HAS SOUS 258442 HAS SOUPS 258442 WITH SCORE 258781.901
AT ITER 9693 NEW BEST:: SOT 2731541 SOS 339870 HAS SOPS 339870 HAS SOUS 258442 HAS SOUPS 258442 WITH SCORE 258781.87
AT ITER 9705 NEW BEST:: SOT 2731525 SOS 340405 HAS SOPS 340405 HAS SOUS 258345 HAS SOUPS 258345 WITH SCORE 258685.405
AT ITER 9739 NEW BEST:: SOT 2731456 SOS 340267 HAS SOPS 340267 HAS SOUS 258342 HAS SOUPS 258342 WITH SCORE 258682.267
AT ITER 9760 NEW BEST:: SOT 2731397 SOS 340149 HAS SOPS 340149 HAS SOUS 258263 HAS SOUPS 258263 WITH SCORE 258603.149
AT ITER 9784 NEW BEST:: SOT 2731312 SOS 339979 HAS SOPS 339979 HAS SOUS 258212 HAS SOUPS 258212 WITH SCORE 258551.979
AT ITER 9787 NEW BEST:: SOT 2730735 SOS 342244 HAS SOPS 342244 HAS SOUS 257945 HAS SOUPS 257945 WITH SCORE 258287.244
AT ITER 9809 NEW BEST:: SOT 2730709 SOS 342218 HAS SOPS 342218 HAS SOUS 257945 HAS SOUPS 257945 WITH SCORE 258287.218
AT ITER 9813 NEW BEST:: SOT 2730667 SOS 342091 HAS SOPS 342091 HAS SOUS 257842 HAS SOUPS 257842 WITH SCORE 258184.091
AT ITER 9864 NEW BEST:: SOT 2730600 SOS 341959 HAS SOPS 341959 HAS SOUS 257708 HAS SOUPS 257708 WITH SCORE 258049.959
AT ITER 9906 NEW BEST:: SOT 2730568 SOS 341927 HAS SOPS 341927 HAS SOUS 257676 HAS SOUPS 257676 WITH SCORE 258017.927
AT ITER 9929 NEW BEST:: SOT 2730554 SOS 341899 HAS SOPS 341899 HAS SOUS 257662 HAS SOUPS 257662 WITH SCORE 258003.899
AT ITER 9970 NEW BEST:: SOT 2730549 SOS 341885 HAS SOPS 341885 HAS SOUS 257638 HAS SOUPS 257638 WITH SCORE 257979.885
AT ITER 9992 NEW BEST:: SOT 2730552 SOS 341891 HAS SOPS 341891 HAS SOUS 257566 HAS SOUPS 257566 WITH SCORE 257907.891
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 10847112 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16151392 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is NoC3x3-PT-3B, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r259-smll-167863534300272"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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