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.r267-smll-167863541600272.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 smartxred
Input is NoC3x3-PT-3B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r267-smll-167863541600272
=====================================================================

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

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=NoC3x3-PT-3B
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 20:26:55] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 20:26:55] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 20:26:55] [INFO ] Load time of PNML (sax parser for PT used): 238 ms
[2023-03-14 20:26:55] [INFO ] Transformed 2117 places.
[2023-03-14 20:26:55] [INFO ] Transformed 2435 transitions.
[2023-03-14 20:26:55] [INFO ] Found NUPN structural information;
[2023-03-14 20:26:56] [INFO ] Parsed PT model containing 2117 places and 2435 transitions and 6177 arcs in 441 ms.
[2023-03-14 20:26:56] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2117 places, 2435 transitions and 6177 arcs took 28 ms.
Total runtime 513 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 3B
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: 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 6 NEW BEST:: SOT 2770549 SOS 361311 HAS SOPS 361311 HAS SOUS 302550 HAS SOUPS 302550 WITH SCORE 302911.311
AT ITER 36 NEW BEST:: SOT 2770490 SOS 361216 HAS SOPS 361216 HAS SOUS 302455 HAS SOUPS 302455 WITH SCORE 302816.216
AT ITER 39 NEW BEST:: SOT 2770486 SOS 360995 HAS SOPS 360995 HAS SOUS 302393 HAS SOUPS 302393 WITH SCORE 302753.995
AT ITER 51 NEW BEST:: SOT 2770486 SOS 360994 HAS SOPS 360994 HAS SOUS 302391 HAS SOUPS 302391 WITH SCORE 302751.994
AT ITER 88 NEW BEST:: SOT 2770446 SOS 360762 HAS SOPS 360762 HAS SOUS 302261 HAS SOUPS 302261 WITH SCORE 302621.762
AT ITER 100 NEW BEST:: SOT 2770397 SOS 360664 HAS SOPS 360664 HAS SOUS 302258 HAS SOUPS 302258 WITH SCORE 302618.664
AT ITER 126 NEW BEST:: SOT 2770208 SOS 360182 HAS SOPS 360182 HAS SOUS 301821 HAS SOUPS 301821 WITH SCORE 302181.182
AT ITER 129 NEW BEST:: SOT 2769380 SOS 359406 HAS SOPS 359406 HAS SOUS 300773 HAS SOUPS 300773 WITH SCORE 301132.406
AT ITER 186 NEW BEST:: SOT 2769222 SOS 359366 HAS SOPS 359366 HAS SOUS 300753 HAS SOUPS 300753 WITH SCORE 301112.366
AT ITER 196 NEW BEST:: SOT 2769143 SOS 359324 HAS SOPS 359324 HAS SOUS 300688 HAS SOUPS 300688 WITH SCORE 301047.324
AT ITER 207 NEW BEST:: SOT 2768865 SOS 358169 HAS SOPS 358169 HAS SOUS 300527 HAS SOUPS 300527 WITH SCORE 300885.169
AT ITER 213 NEW BEST:: SOT 2768798 SOS 358162 HAS SOPS 358162 HAS SOUS 300527 HAS SOUPS 300527 WITH SCORE 300885.162
AT ITER 289 NEW BEST:: SOT 2768710 SOS 357880 HAS SOPS 357880 HAS SOUS 300486 HAS SOUPS 300486 WITH SCORE 300843.88
AT ITER 291 NEW BEST:: SOT 2768694 SOS 357850 HAS SOPS 357850 HAS SOUS 300474 HAS SOUPS 300474 WITH SCORE 300831.85
AT ITER 300 NEW BEST:: SOT 2768693 SOS 357849 HAS SOPS 357849 HAS SOUS 300473 HAS SOUPS 300473 WITH SCORE 300830.849
AT ITER 346 NEW BEST:: SOT 2768300 SOS 358925 HAS SOPS 358925 HAS SOUS 300302 HAS SOUPS 300302 WITH SCORE 300660.925
AT ITER 369 NEW BEST:: SOT 2768232 SOS 358757 HAS SOPS 358757 HAS SOUS 300004 HAS SOUPS 300004 WITH SCORE 300362.757
AT ITER 385 NEW BEST:: SOT 2768175 SOS 358586 HAS SOPS 358586 HAS SOUS 299888 HAS SOUPS 299888 WITH SCORE 300246.586
AT ITER 416 NEW BEST:: SOT 2767617 SOS 358028 HAS SOPS 358028 HAS SOUS 299237 HAS SOUPS 299237 WITH SCORE 299595.028
AT ITER 439 NEW BEST:: SOT 2767535 SOS 357864 HAS SOPS 357864 HAS SOUS 299073 HAS SOUPS 299073 WITH SCORE 299430.864
AT ITER 464 NEW BEST:: SOT 2767484 SOS 357994 HAS SOPS 357994 HAS SOUS 299022 HAS SOUPS 299022 WITH SCORE 299379.994
AT ITER 482 NEW BEST:: SOT 2767382 SOS 357859 HAS SOPS 357859 HAS SOUS 298945 HAS SOUPS 298945 WITH SCORE 299302.859
AT ITER 502 NEW BEST:: SOT 2767097 SOS 357558 HAS SOPS 357558 HAS SOUS 298690 HAS SOUPS 298690 WITH SCORE 299047.558
AT ITER 520 NEW BEST:: SOT 2766716 SOS 357177 HAS SOPS 357177 HAS SOUS 298309 HAS SOUPS 298309 WITH SCORE 298666.177
AT ITER 522 NEW BEST:: SOT 2766677 SOS 357245 HAS SOPS 357245 HAS SOUS 298194 HAS SOUPS 298194 WITH SCORE 298551.245
AT ITER 567 NEW BEST:: SOT 2766668 SOS 357227 HAS SOPS 357227 HAS SOUS 298176 HAS SOUPS 298176 WITH SCORE 298533.227
AT ITER 590 NEW BEST:: SOT 2766650 SOS 357209 HAS SOPS 357209 HAS SOUS 298158 HAS SOUPS 298158 WITH SCORE 298515.209
AT ITER 601 NEW BEST:: SOT 2766624 SOS 357196 HAS SOPS 357196 HAS SOUS 298158 HAS SOUPS 298158 WITH SCORE 298515.196
AT ITER 610 NEW BEST:: SOT 2766547 SOS 356948 HAS SOPS 356948 HAS SOUS 297915 HAS SOUPS 297915 WITH SCORE 298271.948
AT ITER 647 NEW BEST:: SOT 2766145 SOS 356720 HAS SOPS 356720 HAS SOUS 297793 HAS SOUPS 297793 WITH SCORE 298149.72
AT ITER 691 NEW BEST:: SOT 2765964 SOS 356159 HAS SOPS 356159 HAS SOUS 297417 HAS SOUPS 297417 WITH SCORE 297773.159
AT ITER 694 NEW BEST:: SOT 2765870 SOS 355765 HAS SOPS 355765 HAS SOUS 297359 HAS SOUPS 297359 WITH SCORE 297714.765
AT ITER 696 NEW BEST:: SOT 2765870 SOS 355756 HAS SOPS 355756 HAS SOUS 297358 HAS SOUPS 297358 WITH SCORE 297713.756
AT ITER 712 NEW BEST:: SOT 2765838 SOS 355691 HAS SOPS 355691 HAS SOUS 297321 HAS SOUPS 297321 WITH SCORE 297676.691
AT ITER 740 NEW BEST:: SOT 2765922 SOS 356201 HAS SOPS 356201 HAS SOUS 297221 HAS SOUPS 297221 WITH SCORE 297577.201
AT ITER 741 NEW BEST:: SOT 2765811 SOS 356027 HAS SOPS 356027 HAS SOUS 297182 HAS SOUPS 297182 WITH SCORE 297538.027
AT ITER 752 NEW BEST:: SOT 2765811 SOS 356027 HAS SOPS 356027 HAS SOUS 297181 HAS SOUPS 297181 WITH SCORE 297537.027
AT ITER 768 NEW BEST:: SOT 2765764 SOS 356122 HAS SOPS 356122 HAS SOUS 297134 HAS SOUPS 297134 WITH SCORE 297490.122
AT ITER 769 NEW BEST:: SOT 2765686 SOS 356044 HAS SOPS 356044 HAS SOUS 297056 HAS SOUPS 297056 WITH SCORE 297412.044
AT ITER 771 NEW BEST:: SOT 2765160 SOS 356126 HAS SOPS 356126 HAS SOUS 296599 HAS SOUPS 296599 WITH SCORE 296955.126
AT ITER 776 NEW BEST:: SOT 2765008 SOS 355822 HAS SOPS 355822 HAS SOUS 296226 HAS SOUPS 296226 WITH SCORE 296581.822
AT ITER 850 NEW BEST:: SOT 2765007 SOS 355820 HAS SOPS 355820 HAS SOUS 296224 HAS SOUPS 296224 WITH SCORE 296579.82
AT ITER 861 NEW BEST:: SOT 2765006 SOS 355817 HAS SOPS 355817 HAS SOUS 296221 HAS SOUPS 296221 WITH SCORE 296576.817
AT ITER 887 NEW BEST:: SOT 2764827 SOS 355635 HAS SOPS 355635 HAS SOUS 296031 HAS SOUPS 296031 WITH SCORE 296386.635
AT ITER 894 NEW BEST:: SOT 2764695 SOS 355471 HAS SOPS 355471 HAS SOUS 295925 HAS SOUPS 295925 WITH SCORE 296280.471
AT ITER 906 NEW BEST:: SOT 2764670 SOS 355100 HAS SOPS 355100 HAS SOUS 295875 HAS SOUPS 295875 WITH SCORE 296230.1
AT ITER 907 NEW BEST:: SOT 2764306 SOS 354530 HAS SOPS 354530 HAS SOUS 295498 HAS SOUPS 295498 WITH SCORE 295852.53
AT ITER 958 NEW BEST:: SOT 2764311 SOS 354603 HAS SOPS 354603 HAS SOUS 295477 HAS SOUPS 295477 WITH SCORE 295831.603
AT ITER 960 NEW BEST:: SOT 2764311 SOS 354589 HAS SOPS 354589 HAS SOUS 295463 HAS SOUPS 295463 WITH SCORE 295817.589
AT ITER 985 NEW BEST:: SOT 2764306 SOS 354579 HAS SOPS 354579 HAS SOUS 295458 HAS SOUPS 295458 WITH SCORE 295812.579
AT ITER 994 NEW BEST:: SOT 2764306 SOS 354578 HAS SOPS 354578 HAS SOUS 295457 HAS SOUPS 295457 WITH SCORE 295811.578
AT ITER 1004 NEW BEST:: SOT 2764306 SOS 354554 HAS SOPS 354554 HAS SOUS 295454 HAS SOUPS 295454 WITH SCORE 295808.554
AT ITER 1049 NEW BEST:: SOT 2764306 SOS 354499 HAS SOPS 354499 HAS SOUS 295399 HAS SOUPS 295399 WITH SCORE 295753.499
AT ITER 1075 NEW BEST:: SOT 2764276 SOS 354424 HAS SOPS 354424 HAS SOUS 295354 HAS SOUPS 295354 WITH SCORE 295708.424
AT ITER 1081 NEW BEST:: SOT 2764276 SOS 354322 HAS SOPS 354322 HAS SOUS 295271 HAS SOUPS 295271 WITH SCORE 295625.322
AT ITER 1084 NEW BEST:: SOT 2764220 SOS 354196 HAS SOPS 354196 HAS SOUS 295145 HAS SOUPS 295145 WITH SCORE 295499.196
AT ITER 1134 NEW BEST:: SOT 2763630 SOS 353613 HAS SOPS 353613 HAS SOUS 294555 HAS SOUPS 294555 WITH SCORE 294908.613
AT ITER 1146 NEW BEST:: SOT 2763605 SOS 353446 HAS SOPS 353446 HAS SOUS 294544 HAS SOUPS 294544 WITH SCORE 294897.446
AT ITER 1161 NEW BEST:: SOT 2763495 SOS 353226 HAS SOPS 353226 HAS SOUS 294324 HAS SOUPS 294324 WITH SCORE 294677.226
AT ITER 1187 NEW BEST:: SOT 2763342 SOS 353679 HAS SOPS 353679 HAS SOUS 294177 HAS SOUPS 294177 WITH SCORE 294530.679
AT ITER 1214 NEW BEST:: SOT 2763207 SOS 353501 HAS SOPS 353501 HAS SOUS 293974 HAS SOUPS 293974 WITH SCORE 294327.501
AT ITER 1219 NEW BEST:: SOT 2763135 SOS 353502 HAS SOPS 353502 HAS SOUS 293915 HAS SOUPS 293915 WITH SCORE 294268.502
AT ITER 1221 NEW BEST:: SOT 2762991 SOS 352868 HAS SOPS 352868 HAS SOUS 293845 HAS SOUPS 293845 WITH SCORE 294197.868
AT ITER 1242 NEW BEST:: SOT 2762898 SOS 352538 HAS SOPS 352538 HAS SOUS 293659 HAS SOUPS 293659 WITH SCORE 294011.538
AT ITER 1255 NEW BEST:: SOT 2761477 SOS 352720 HAS SOPS 352720 HAS SOUS 292269 HAS SOUPS 292269 WITH SCORE 292621.72
AT ITER 1288 NEW BEST:: SOT 2761475 SOS 352716 HAS SOPS 352716 HAS SOUS 292264 HAS SOUPS 292264 WITH SCORE 292616.716
AT ITER 1292 NEW BEST:: SOT 2761475 SOS 352603 HAS SOPS 352603 HAS SOUS 292176 HAS SOUPS 292176 WITH SCORE 292528.603
AT ITER 1303 NEW BEST:: SOT 2761435 SOS 352517 HAS SOPS 352517 HAS SOUS 292108 HAS SOUPS 292108 WITH SCORE 292460.517
AT ITER 1312 NEW BEST:: SOT 2761399 SOS 352637 HAS SOPS 352637 HAS SOUS 292072 HAS SOUPS 292072 WITH SCORE 292424.637
AT ITER 1335 NEW BEST:: SOT 2761409 SOS 352520 HAS SOPS 352520 HAS SOUS 291955 HAS SOUPS 291955 WITH SCORE 292307.52
AT ITER 1356 NEW BEST:: SOT 2761409 SOS 352520 HAS SOPS 352520 HAS SOUS 291954 HAS SOUPS 291954 WITH SCORE 292306.52
AT ITER 1362 NEW BEST:: SOT 2761501 SOS 352428 HAS SOPS 352428 HAS SOUS 291954 HAS SOUPS 291954 WITH SCORE 292306.428
AT ITER 1367 NEW BEST:: SOT 2761468 SOS 352395 HAS SOPS 352395 HAS SOUS 291953 HAS SOUPS 291953 WITH SCORE 292305.395
AT ITER 1377 NEW BEST:: SOT 2761450 SOS 352383 HAS SOPS 352383 HAS SOUS 291938 HAS SOUPS 291938 WITH SCORE 292290.383
AT ITER 1434 NEW BEST:: SOT 2761239 SOS 352476 HAS SOPS 352476 HAS SOUS 291842 HAS SOUPS 291842 WITH SCORE 292194.476
AT ITER 1444 NEW BEST:: SOT 2760713 SOS 353330 HAS SOPS 353330 HAS SOUS 291418 HAS SOUPS 291418 WITH SCORE 291771.33
AT ITER 1459 NEW BEST:: SOT 2760647 SOS 353259 HAS SOPS 353259 HAS SOUS 291353 HAS SOUPS 291353 WITH SCORE 291706.259
AT ITER 1480 NEW BEST:: SOT 2760625 SOS 353176 HAS SOPS 353176 HAS SOUS 291270 HAS SOUPS 291270 WITH SCORE 291623.176
AT ITER 1574 NEW BEST:: SOT 2760027 SOS 354474 HAS SOPS 354474 HAS SOUS 291090 HAS SOUPS 291090 WITH SCORE 291444.474
AT ITER 1594 NEW BEST:: SOT 2759424 SOS 354219 HAS SOPS 354219 HAS SOUS 290598 HAS SOUPS 290598 WITH SCORE 290952.219
AT ITER 1612 NEW BEST:: SOT 2759291 SOS 353820 HAS SOPS 353820 HAS SOUS 290332 HAS SOUPS 290332 WITH SCORE 290685.82
AT ITER 1634 NEW BEST:: SOT 2759291 SOS 353820 HAS SOPS 353820 HAS SOUS 290326 HAS SOUPS 290326 WITH SCORE 290679.82
AT ITER 1655 NEW BEST:: SOT 2759258 SOS 353834 HAS SOPS 353834 HAS SOUS 290293 HAS SOUPS 290293 WITH SCORE 290646.834
AT ITER 1721 NEW BEST:: SOT 2759154 SOS 353664 HAS SOPS 353664 HAS SOUS 290152 HAS SOUPS 290152 WITH SCORE 290505.664
AT ITER 1729 NEW BEST:: SOT 2759154 SOS 353513 HAS SOPS 353513 HAS SOUS 290152 HAS SOUPS 290152 WITH SCORE 290505.513
AT ITER 1747 NEW BEST:: SOT 2759134 SOS 353498 HAS SOPS 353498 HAS SOUS 290137 HAS SOUPS 290137 WITH SCORE 290490.498
AT ITER 1749 NEW BEST:: SOT 2758872 SOS 353236 HAS SOPS 353236 HAS SOUS 290006 HAS SOUPS 290006 WITH SCORE 290359.236
AT ITER 1779 NEW BEST:: SOT 2758856 SOS 353225 HAS SOPS 353225 HAS SOUS 289999 HAS SOUPS 289999 WITH SCORE 290352.225
AT ITER 1805 NEW BEST:: SOT 2758854 SOS 353196 HAS SOPS 353196 HAS SOUS 289971 HAS SOUPS 289971 WITH SCORE 290324.196
AT ITER 1821 NEW BEST:: SOT 2758316 SOS 353100 HAS SOPS 353100 HAS SOUS 289432 HAS SOUPS 289432 WITH SCORE 289785.1
AT ITER 1823 NEW BEST:: SOT 2758283 SOS 352902 HAS SOPS 352902 HAS SOUS 289366 HAS SOUPS 289366 WITH SCORE 289718.902
AT ITER 1832 NEW BEST:: SOT 2758140 SOS 352338 HAS SOPS 352338 HAS SOUS 289011 HAS SOUPS 289011 WITH SCORE 289363.338
AT ITER 1843 NEW BEST:: SOT 2758140 SOS 352338 HAS SOPS 352338 HAS SOUS 288997 HAS SOUPS 288997 WITH SCORE 289349.338
AT ITER 1853 NEW BEST:: SOT 2758110 SOS 352278 HAS SOPS 352278 HAS SOUS 288769 HAS SOUPS 288769 WITH SCORE 289121.278
AT ITER 1894 NEW BEST:: SOT 2758104 SOS 352266 HAS SOPS 352266 HAS SOUS 288757 HAS SOUPS 288757 WITH SCORE 289109.266
AT ITER 1903 NEW BEST:: SOT 2758075 SOS 352237 HAS SOPS 352237 HAS SOUS 288728 HAS SOUPS 288728 WITH SCORE 289080.237
AT ITER 1914 NEW BEST:: SOT 2757975 SOS 352037 HAS SOPS 352037 HAS SOUS 288628 HAS SOUPS 288628 WITH SCORE 288980.037
AT ITER 1977 NEW BEST:: SOT 2757975 SOS 352019 HAS SOPS 352019 HAS SOUS 288627 HAS SOUPS 288627 WITH SCORE 288979.019
AT ITER 1989 NEW BEST:: SOT 2757975 SOS 352069 HAS SOPS 352069 HAS SOUS 288602 HAS SOUPS 288602 WITH SCORE 288954.069
AT ITER 2007 NEW BEST:: SOT 2757935 SOS 352025 HAS SOPS 352025 HAS SOUS 288562 HAS SOUPS 288562 WITH SCORE 288914.025
AT ITER 2009 NEW BEST:: SOT 2757937 SOS 352020 HAS SOPS 352020 HAS SOUS 288562 HAS SOUPS 288562 WITH SCORE 288914.02
AT ITER 2015 NEW BEST:: SOT 2757536 SOS 352061 HAS SOPS 352061 HAS SOUS 288206 HAS SOUPS 288206 WITH SCORE 288558.061
AT ITER 2033 NEW BEST:: SOT 2757168 SOS 352590 HAS SOPS 352590 HAS SOUS 288110 HAS SOUPS 288110 WITH SCORE 288462.59
AT ITER 2042 NEW BEST:: SOT 2757128 SOS 352560 HAS SOPS 352560 HAS SOUS 288086 HAS SOUPS 288086 WITH SCORE 288438.56
AT ITER 2059 NEW BEST:: SOT 2757124 SOS 352556 HAS SOPS 352556 HAS SOUS 288086 HAS SOUPS 288086 WITH SCORE 288438.556
AT ITER 2078 NEW BEST:: SOT 2757054 SOS 352526 HAS SOPS 352526 HAS SOUS 288016 HAS SOUPS 288016 WITH SCORE 288368.526
AT ITER 2079 NEW BEST:: SOT 2756829 SOS 352336 HAS SOPS 352336 HAS SOUS 287791 HAS SOUPS 287791 WITH SCORE 288143.336
AT ITER 2107 NEW BEST:: SOT 2756571 SOS 352078 HAS SOPS 352078 HAS SOUS 287662 HAS SOUPS 287662 WITH SCORE 288014.078
AT ITER 2120 NEW BEST:: SOT 2756567 SOS 352066 HAS SOPS 352066 HAS SOUS 287650 HAS SOUPS 287650 WITH SCORE 288002.066
AT ITER 2128 NEW BEST:: SOT 2756567 SOS 352052 HAS SOPS 352052 HAS SOUS 287636 HAS SOUPS 287636 WITH SCORE 287988.052
AT ITER 2157 NEW BEST:: SOT 2756566 SOS 351946 HAS SOPS 351946 HAS SOUS 287634 HAS SOUPS 287634 WITH SCORE 287985.946
AT ITER 2180 NEW BEST:: SOT 2756196 SOS 352023 HAS SOPS 352023 HAS SOUS 287604 HAS SOUPS 287604 WITH SCORE 287956.023
AT ITER 2204 NEW BEST:: SOT 2756287 SOS 352205 HAS SOPS 352205 HAS SOUS 287592 HAS SOUPS 287592 WITH SCORE 287944.205
AT ITER 2247 NEW BEST:: SOT 2756160 SOS 352005 HAS SOPS 352005 HAS SOUS 287392 HAS SOUPS 287392 WITH SCORE 287744.005
AT ITER 2279 NEW BEST:: SOT 2756027 SOS 351707 HAS SOPS 351707 HAS SOUS 287236 HAS SOUPS 287236 WITH SCORE 287587.707
AT ITER 2302 NEW BEST:: SOT 2755955 SOS 351524 HAS SOPS 351524 HAS SOUS 287146 HAS SOUPS 287146 WITH SCORE 287497.524
AT ITER 2329 NEW BEST:: SOT 2756189 SOS 351900 HAS SOPS 351900 HAS SOUS 287032 HAS SOUPS 287032 WITH SCORE 287383.9
AT ITER 2358 NEW BEST:: SOT 2756189 SOS 351928 HAS SOPS 351928 HAS SOUS 287021 HAS SOUPS 287021 WITH SCORE 287372.928
AT ITER 2376 NEW BEST:: SOT 2756092 SOS 351872 HAS SOPS 351872 HAS SOUS 286927 HAS SOUPS 286927 WITH SCORE 287278.872
AT ITER 2428 NEW BEST:: SOT 2753975 SOS 352515 HAS SOPS 352515 HAS SOUS 285101 HAS SOUPS 285101 WITH SCORE 285453.515
AT ITER 2450 NEW BEST:: SOT 2753967 SOS 352499 HAS SOPS 352499 HAS SOUS 285093 HAS SOUPS 285093 WITH SCORE 285445.499
AT ITER 2490 NEW BEST:: SOT 2753967 SOS 352499 HAS SOPS 352499 HAS SOUS 285037 HAS SOUPS 285037 WITH SCORE 285389.499
AT ITER 2497 NEW BEST:: SOT 2753886 SOS 352495 HAS SOPS 352495 HAS SOUS 284983 HAS SOUPS 284983 WITH SCORE 285335.495
AT ITER 2503 NEW BEST:: SOT 2753801 SOS 352410 HAS SOPS 352410 HAS SOUS 284898 HAS SOUPS 284898 WITH SCORE 285250.41
AT ITER 2508 NEW BEST:: SOT 2753786 SOS 352380 HAS SOPS 352380 HAS SOUS 284883 HAS SOUPS 284883 WITH SCORE 285235.38
AT ITER 2523 NEW BEST:: SOT 2753754 SOS 352332 HAS SOPS 352332 HAS SOUS 284850 HAS SOUPS 284850 WITH SCORE 285202.332
AT ITER 2542 NEW BEST:: SOT 2753754 SOS 352285 HAS SOPS 352285 HAS SOUS 284850 HAS SOUPS 284850 WITH SCORE 285202.285
AT ITER 2549 NEW BEST:: SOT 2752943 SOS 355044 HAS SOPS 355044 HAS SOUS 284630 HAS SOUPS 284630 WITH SCORE 284985.044
AT ITER 2552 NEW BEST:: SOT 2752897 SOS 354951 HAS SOPS 354951 HAS SOUS 284549 HAS SOUPS 284549 WITH SCORE 284903.951
AT ITER 2569 NEW BEST:: SOT 2752881 SOS 354919 HAS SOPS 354919 HAS SOUS 284517 HAS SOUPS 284517 WITH SCORE 284871.919
AT ITER 2580 NEW BEST:: SOT 2752861 SOS 354859 HAS SOPS 354859 HAS SOUS 284481 HAS SOUPS 284481 WITH SCORE 284835.859
AT ITER 2583 NEW BEST:: SOT 2752779 SOS 355109 HAS SOPS 355109 HAS SOUS 284441 HAS SOUPS 284441 WITH SCORE 284796.109
AT ITER 2629 NEW BEST:: SOT 2752770 SOS 355091 HAS SOPS 355091 HAS SOUS 284423 HAS SOUPS 284423 WITH SCORE 284778.091
AT ITER 2660 NEW BEST:: SOT 2752746 SOS 355072 HAS SOPS 355072 HAS SOUS 284418 HAS SOUPS 284418 WITH SCORE 284773.072
AT ITER 2662 NEW BEST:: SOT 2752646 SOS 354772 HAS SOPS 354772 HAS SOUS 284118 HAS SOUPS 284118 WITH SCORE 284472.772
AT ITER 2680 NEW BEST:: SOT 2752646 SOS 354738 HAS SOPS 354738 HAS SOUS 284115 HAS SOUPS 284115 WITH SCORE 284469.738
AT ITER 2685 NEW BEST:: SOT 2752629 SOS 354607 HAS SOPS 354607 HAS SOUS 284099 HAS SOUPS 284099 WITH SCORE 284453.607
AT ITER 2730 NEW BEST:: SOT 2752629 SOS 354617 HAS SOPS 354617 HAS SOUS 284098 HAS SOUPS 284098 WITH SCORE 284452.617
AT ITER 2774 NEW BEST:: SOT 2752540 SOS 354530 HAS SOPS 354530 HAS SOUS 284010 HAS SOUPS 284010 WITH SCORE 284364.53
AT ITER 2775 NEW BEST:: SOT 2752300 SOS 354273 HAS SOPS 354273 HAS SOUS 283769 HAS SOUPS 283769 WITH SCORE 284123.273
AT ITER 2825 NEW BEST:: SOT 2752300 SOS 354273 HAS SOPS 354273 HAS SOUS 283768 HAS SOUPS 283768 WITH SCORE 284122.273
AT ITER 2859 NEW BEST:: SOT 2752236 SOS 354224 HAS SOPS 354224 HAS SOUS 283719 HAS SOUPS 283719 WITH SCORE 284073.224
AT ITER 2870 NEW BEST:: SOT 2752236 SOS 354224 HAS SOPS 354224 HAS SOUS 283718 HAS SOUPS 283718 WITH SCORE 284072.224
AT ITER 2908 NEW BEST:: SOT 2752186 SOS 354174 HAS SOPS 354174 HAS SOUS 283662 HAS SOUPS 283662 WITH SCORE 284016.174
AT ITER 2910 NEW BEST:: SOT 2752133 SOS 354121 HAS SOPS 354121 HAS SOUS 283608 HAS SOUPS 283608 WITH SCORE 283962.121
AT ITER 2920 NEW BEST:: SOT 2752031 SOS 354097 HAS SOPS 354097 HAS SOUS 283607 HAS SOUPS 283607 WITH SCORE 283961.097
AT ITER 2987 NEW BEST:: SOT 2752050 SOS 353982 HAS SOPS 353982 HAS SOUS 283517 HAS SOUPS 283517 WITH SCORE 283870.982
AT ITER 2991 NEW BEST:: SOT 2751776 SOS 353720 HAS SOPS 353720 HAS SOUS 283248 HAS SOUPS 283248 WITH SCORE 283601.72
AT ITER 3019 NEW BEST:: SOT 2751590 SOS 354203 HAS SOPS 354203 HAS SOUS 283024 HAS SOUPS 283024 WITH SCORE 283378.203
AT ITER 3067 NEW BEST:: SOT 2751495 SOS 353918 HAS SOPS 353918 HAS SOUS 282920 HAS SOUPS 282920 WITH SCORE 283273.918
AT ITER 3068 NEW BEST:: SOT 2751372 SOS 354297 HAS SOPS 354297 HAS SOUS 282805 HAS SOUPS 282805 WITH SCORE 283159.297
AT ITER 3073 NEW BEST:: SOT 2751401 SOS 354191 HAS SOPS 354191 HAS SOUS 282761 HAS SOUPS 282761 WITH SCORE 283115.191
AT ITER 3094 NEW BEST:: SOT 2751433 SOS 354149 HAS SOPS 354149 HAS SOUS 282741 HAS SOUPS 282741 WITH SCORE 283095.149
AT ITER 3130 NEW BEST:: SOT 2751429 SOS 354145 HAS SOPS 354145 HAS SOUS 282733 HAS SOUPS 282733 WITH SCORE 283087.145
AT ITER 3142 NEW BEST:: SOT 2751429 SOS 354129 HAS SOPS 354129 HAS SOUS 282717 HAS SOUPS 282717 WITH SCORE 283071.129
AT ITER 3144 NEW BEST:: SOT 2751309 SOS 353841 HAS SOPS 353841 HAS SOUS 282607 HAS SOUPS 282607 WITH SCORE 282960.841
AT ITER 3146 NEW BEST:: SOT 2751309 SOS 353841 HAS SOPS 353841 HAS SOUS 282597 HAS SOUPS 282597 WITH SCORE 282950.841
AT ITER 3153 NEW BEST:: SOT 2751255 SOS 353749 HAS SOPS 353749 HAS SOUS 282488 HAS SOUPS 282488 WITH SCORE 282841.749
AT ITER 3154 NEW BEST:: SOT 2751278 SOS 353835 HAS SOPS 353835 HAS SOUS 282438 HAS SOUPS 282438 WITH SCORE 282791.835
AT ITER 3182 NEW BEST:: SOT 2751231 SOS 353822 HAS SOPS 353822 HAS SOUS 282421 HAS SOUPS 282421 WITH SCORE 282774.822
AT ITER 3197 NEW BEST:: SOT 2751263 SOS 354005 HAS SOPS 354005 HAS SOUS 282387 HAS SOUPS 282387 WITH SCORE 282741.005
AT ITER 3206 NEW BEST:: SOT 2751262 SOS 354003 HAS SOPS 354003 HAS SOUS 282385 HAS SOUPS 282385 WITH SCORE 282739.003
AT ITER 3230 NEW BEST:: SOT 2751200 SOS 353509 HAS SOPS 353509 HAS SOUS 282127 HAS SOUPS 282127 WITH SCORE 282480.509
AT ITER 3259 NEW BEST:: SOT 2751196 SOS 353506 HAS SOPS 353506 HAS SOUS 282124 HAS SOUPS 282124 WITH SCORE 282477.506
AT ITER 3312 NEW BEST:: SOT 2751168 SOS 353467 HAS SOPS 353467 HAS SOUS 282071 HAS SOUPS 282071 WITH SCORE 282424.467
AT ITER 3315 NEW BEST:: SOT 2751168 SOS 353443 HAS SOPS 353443 HAS SOUS 282048 HAS SOUPS 282048 WITH SCORE 282401.443
AT ITER 3317 NEW BEST:: SOT 2750800 SOS 353383 HAS SOPS 353383 HAS SOUS 281806 HAS SOUPS 281806 WITH SCORE 282159.383
AT ITER 3327 NEW BEST:: SOT 2750783 SOS 353366 HAS SOPS 353366 HAS SOUS 281789 HAS SOUPS 281789 WITH SCORE 282142.366
AT ITER 3357 NEW BEST:: SOT 2750543 SOS 353136 HAS SOPS 353136 HAS SOUS 281548 HAS SOUPS 281548 WITH SCORE 281901.136
AT ITER 3374 NEW BEST:: SOT 2750538 SOS 352998 HAS SOPS 352998 HAS SOUS 281444 HAS SOUPS 281444 WITH SCORE 281796.998
AT ITER 3387 NEW BEST:: SOT 2750482 SOS 352886 HAS SOPS 352886 HAS SOUS 281382 HAS SOUPS 281382 WITH SCORE 281734.886
AT ITER 3398 NEW BEST:: SOT 2750482 SOS 352883 HAS SOPS 352883 HAS SOUS 281382 HAS SOUPS 281382 WITH SCORE 281734.883
AT ITER 3465 NEW BEST:: SOT 2750486 SOS 352891 HAS SOPS 352891 HAS SOUS 281257 HAS SOUPS 281257 WITH SCORE 281609.891
AT ITER 3503 NEW BEST:: SOT 2750436 SOS 352841 HAS SOPS 352841 HAS SOUS 281232 HAS SOUPS 281232 WITH SCORE 281584.841
AT ITER 3507 NEW BEST:: SOT 2750436 SOS 352742 HAS SOPS 352742 HAS SOUS 281207 HAS SOUPS 281207 WITH SCORE 281559.742
AT ITER 3514 NEW BEST:: SOT 2750391 SOS 352584 HAS SOPS 352584 HAS SOUS 281116 HAS SOUPS 281116 WITH SCORE 281468.584
AT ITER 3578 NEW BEST:: SOT 2750390 SOS 352582 HAS SOPS 352582 HAS SOUS 281114 HAS SOUPS 281114 WITH SCORE 281466.582
AT ITER 3612 NEW BEST:: SOT 2750308 SOS 352336 HAS SOPS 352336 HAS SOUS 280950 HAS SOUPS 280950 WITH SCORE 281302.336
AT ITER 3635 NEW BEST:: SOT 2750308 SOS 352256 HAS SOPS 352256 HAS SOUS 280870 HAS SOUPS 280870 WITH SCORE 281222.256
AT ITER 3636 NEW BEST:: SOT 2750193 SOS 352210 HAS SOPS 352210 HAS SOUS 280777 HAS SOUPS 280777 WITH SCORE 281129.21
AT ITER 3678 NEW BEST:: SOT 2750157 SOS 352118 HAS SOPS 352118 HAS SOUS 280705 HAS SOUPS 280705 WITH SCORE 281057.118
AT ITER 3694 NEW BEST:: SOT 2749886 SOS 351958 HAS SOPS 351958 HAS SOUS 280653 HAS SOUPS 280653 WITH SCORE 281004.958
AT ITER 3749 NEW BEST:: SOT 2749895 SOS 351949 HAS SOPS 351949 HAS SOUS 280653 HAS SOUPS 280653 WITH SCORE 281004.949
AT ITER 3784 NEW BEST:: SOT 2749898 SOS 351910 HAS SOPS 351910 HAS SOUS 280640 HAS SOUPS 280640 WITH SCORE 280991.91
AT ITER 3806 NEW BEST:: SOT 2749757 SOS 351643 HAS SOPS 351643 HAS SOUS 280514 HAS SOUPS 280514 WITH SCORE 280865.643
AT ITER 3827 NEW BEST:: SOT 2749701 SOS 351651 HAS SOPS 351651 HAS SOUS 280390 HAS SOUPS 280390 WITH SCORE 280741.651
AT ITER 3839 NEW BEST:: SOT 2749673 SOS 351642 HAS SOPS 351642 HAS SOUS 280347 HAS SOUPS 280347 WITH SCORE 280698.642
AT ITER 3849 NEW BEST:: SOT 2749418 SOS 351448 HAS SOPS 351448 HAS SOUS 280250 HAS SOUPS 280250 WITH SCORE 280601.448
AT ITER 3893 NEW BEST:: SOT 2748854 SOS 352247 HAS SOPS 352247 HAS SOUS 279920 HAS SOUPS 279920 WITH SCORE 280272.247
AT ITER 3898 NEW BEST:: SOT 2748804 SOS 352205 HAS SOPS 352205 HAS SOUS 279887 HAS SOUPS 279887 WITH SCORE 280239.205
AT ITER 3911 NEW BEST:: SOT 2748743 SOS 352022 HAS SOPS 352022 HAS SOUS 279825 HAS SOUPS 279825 WITH SCORE 280177.022
AT ITER 3913 NEW BEST:: SOT 2748743 SOS 352005 HAS SOPS 352005 HAS SOUS 279808 HAS SOUPS 279808 WITH SCORE 280160.005
AT ITER 3947 NEW BEST:: SOT 2748613 SOS 351732 HAS SOPS 351732 HAS SOUS 279705 HAS SOUPS 279705 WITH SCORE 280056.732
AT ITER 3960 NEW BEST:: SOT 2748532 SOS 351688 HAS SOPS 351688 HAS SOUS 279624 HAS SOUPS 279624 WITH SCORE 279975.688
AT ITER 3974 NEW BEST:: SOT 2748527 SOS 351683 HAS SOPS 351683 HAS SOUS 279624 HAS SOUPS 279624 WITH SCORE 279975.683
AT ITER 4015 NEW BEST:: SOT 2748369 SOS 351609 HAS SOPS 351609 HAS SOUS 279550 HAS SOUPS 279550 WITH SCORE 279901.609
AT ITER 4016 NEW BEST:: SOT 2748376 SOS 351538 HAS SOPS 351538 HAS SOUS 279479 HAS SOUPS 279479 WITH SCORE 279830.538
AT ITER 4029 NEW BEST:: SOT 2748250 SOS 351366 HAS SOPS 351366 HAS SOUS 279360 HAS SOUPS 279360 WITH SCORE 279711.366
AT ITER 4031 NEW BEST:: SOT 2748109 SOS 351226 HAS SOPS 351226 HAS SOUS 279079 HAS SOUPS 279079 WITH SCORE 279430.226
AT ITER 4037 NEW BEST:: SOT 2748005 SOS 350897 HAS SOPS 350897 HAS SOUS 278989 HAS SOUPS 278989 WITH SCORE 279339.897
AT ITER 4066 NEW BEST:: SOT 2747965 SOS 350862 HAS SOPS 350862 HAS SOUS 278953 HAS SOUPS 278953 WITH SCORE 279303.862
AT ITER 4083 NEW BEST:: SOT 2747765 SOS 350662 HAS SOPS 350662 HAS SOUS 278753 HAS SOUPS 278753 WITH SCORE 279103.662
AT ITER 4105 NEW BEST:: SOT 2747687 SOS 350506 HAS SOPS 350506 HAS SOUS 278511 HAS SOUPS 278511 WITH SCORE 278861.506
AT ITER 4113 NEW BEST:: SOT 2747508 SOS 350462 HAS SOPS 350462 HAS SOUS 278377 HAS SOUPS 278377 WITH SCORE 278727.462
AT ITER 4158 NEW BEST:: SOT 2747425 SOS 350161 HAS SOPS 350161 HAS SOUS 278308 HAS SOUPS 278308 WITH SCORE 278658.161
AT ITER 4173 NEW BEST:: SOT 2747368 SOS 350083 HAS SOPS 350083 HAS SOUS 278251 HAS SOUPS 278251 WITH SCORE 278601.083
AT ITER 4223 NEW BEST:: SOT 2747250 SOS 349906 HAS SOPS 349906 HAS SOUS 278074 HAS SOUPS 278074 WITH SCORE 278423.906
AT ITER 4292 NEW BEST:: SOT 2747236 SOS 349892 HAS SOPS 349892 HAS SOUS 278046 HAS SOUPS 278046 WITH SCORE 278395.892
AT ITER 4315 NEW BEST:: SOT 2747192 SOS 349768 HAS SOPS 349768 HAS SOUS 278002 HAS SOUPS 278002 WITH SCORE 278351.768
AT ITER 4377 NEW BEST:: SOT 2747192 SOS 349768 HAS SOPS 349768 HAS SOUS 277984 HAS SOUPS 277984 WITH SCORE 278333.768
AT ITER 4385 NEW BEST:: SOT 2747170 SOS 349724 HAS SOPS 349724 HAS SOUS 277940 HAS SOUPS 277940 WITH SCORE 278289.724
AT ITER 4426 NEW BEST:: SOT 2747098 SOS 349580 HAS SOPS 349580 HAS SOUS 277832 HAS SOUPS 277832 WITH SCORE 278181.58
AT ITER 4429 NEW BEST:: SOT 2747086 SOS 349556 HAS SOPS 349556 HAS SOUS 277820 HAS SOUPS 277820 WITH SCORE 278169.556
AT ITER 4496 NEW BEST:: SOT 2747086 SOS 349406 HAS SOPS 349406 HAS SOUS 277820 HAS SOUPS 277820 WITH SCORE 278169.406
AT ITER 4609 NEW BEST:: SOT 2747086 SOS 349376 HAS SOPS 349376 HAS SOUS 277790 HAS SOUPS 277790 WITH SCORE 278139.376
AT ITER 4628 NEW BEST:: SOT 2747155 SOS 349536 HAS SOPS 349536 HAS SOUS 277763 HAS SOUPS 277763 WITH SCORE 278112.536
AT ITER 4654 NEW BEST:: SOT 2747048 SOS 349403 HAS SOPS 349403 HAS SOUS 277666 HAS SOUPS 277666 WITH SCORE 278015.403
AT ITER 4659 NEW BEST:: SOT 2747054 SOS 349362 HAS SOPS 349362 HAS SOUS 277625 HAS SOUPS 277625 WITH SCORE 277974.362
AT ITER 4681 NEW BEST:: SOT 2746911 SOS 349076 HAS SOPS 349076 HAS SOUS 277482 HAS SOUPS 277482 WITH SCORE 277831.076
AT ITER 4715 NEW BEST:: SOT 2746871 SOS 349044 HAS SOPS 349044 HAS SOUS 277442 HAS SOUPS 277442 WITH SCORE 277791.044
AT ITER 4761 NEW BEST:: SOT 2747005 SOS 348950 HAS SOPS 348950 HAS SOUS 277268 HAS SOUPS 277268 WITH SCORE 277616.95
AT ITER 4818 NEW BEST:: SOT 2746865 SOS 348740 HAS SOPS 348740 HAS SOUS 277058 HAS SOUPS 277058 WITH SCORE 277406.74
AT ITER 4849 NEW BEST:: SOT 2746836 SOS 348711 HAS SOPS 348711 HAS SOUS 277058 HAS SOUPS 277058 WITH SCORE 277406.711
AT ITER 4862 NEW BEST:: SOT 2746836 SOS 348711 HAS SOPS 348711 HAS SOUS 277057 HAS SOUPS 277057 WITH SCORE 277405.711
AT ITER 4886 NEW BEST:: SOT 2746387 SOS 349563 HAS SOPS 349563 HAS SOUS 276772 HAS SOUPS 276772 WITH SCORE 277121.563
AT ITER 4890 NEW BEST:: SOT 2746375 SOS 349547 HAS SOPS 349547 HAS SOUS 276756 HAS SOUPS 276756 WITH SCORE 277105.547
AT ITER 4896 NEW BEST:: SOT 2746395 SOS 349651 HAS SOPS 349651 HAS SOUS 276663 HAS SOUPS 276663 WITH SCORE 277012.651
AT ITER 4937 NEW BEST:: SOT 2746371 SOS 349603 HAS SOPS 349603 HAS SOUS 276615 HAS SOUPS 276615 WITH SCORE 276964.603
AT ITER 4941 NEW BEST:: SOT 2746357 SOS 349596 HAS SOPS 349596 HAS SOUS 276608 HAS SOUPS 276608 WITH SCORE 276957.596
AT ITER 5003 NEW BEST:: SOT 2746317 SOS 349556 HAS SOPS 349556 HAS SOUS 276421 HAS SOUPS 276421 WITH SCORE 276770.556
AT ITER 5005 NEW BEST:: SOT 2746271 SOS 349510 HAS SOPS 349510 HAS SOUS 276375 HAS SOUPS 276375 WITH SCORE 276724.51
AT ITER 5050 NEW BEST:: SOT 2746220 SOS 349408 HAS SOPS 349408 HAS SOUS 276324 HAS SOUPS 276324 WITH SCORE 276673.408
AT ITER 5078 NEW BEST:: SOT 2746110 SOS 349296 HAS SOPS 349296 HAS SOUS 276208 HAS SOUPS 276208 WITH SCORE 276557.296
AT ITER 5116 NEW BEST:: SOT 2745974 SOS 349440 HAS SOPS 349440 HAS SOUS 276104 HAS SOUPS 276104 WITH SCORE 276453.44
AT ITER 5117 NEW BEST:: SOT 2745956 SOS 349404 HAS SOPS 349404 HAS SOUS 276068 HAS SOUPS 276068 WITH SCORE 276417.404
AT ITER 5121 NEW BEST:: SOT 2745945 SOS 349373 HAS SOPS 349373 HAS SOUS 276054 HAS SOUPS 276054 WITH SCORE 276403.373
AT ITER 5129 NEW BEST:: SOT 2745884 SOS 349312 HAS SOPS 349312 HAS SOUS 276027 HAS SOUPS 276027 WITH SCORE 276376.312
AT ITER 5151 NEW BEST:: SOT 2745766 SOS 349194 HAS SOPS 349194 HAS SOUS 275909 HAS SOUPS 275909 WITH SCORE 276258.194
AT ITER 5186 NEW BEST:: SOT 2745725 SOS 349153 HAS SOPS 349153 HAS SOUS 275868 HAS SOUPS 275868 WITH SCORE 276217.153
AT ITER 5263 NEW BEST:: SOT 2745635 SOS 349075 HAS SOPS 349075 HAS SOUS 275777 HAS SOUPS 275777 WITH SCORE 276126.075
AT ITER 5285 NEW BEST:: SOT 2745576 SOS 348957 HAS SOPS 348957 HAS SOUS 275718 HAS SOUPS 275718 WITH SCORE 276066.957
AT ITER 5313 NEW BEST:: SOT 2745523 SOS 348904 HAS SOPS 348904 HAS SOUS 275665 HAS SOUPS 275665 WITH SCORE 276013.904
AT ITER 5320 NEW BEST:: SOT 2745405 SOS 348683 HAS SOPS 348683 HAS SOUS 275632 HAS SOUPS 275632 WITH SCORE 275980.683
AT ITER 5342 NEW BEST:: SOT 2745490 SOS 348853 HAS SOPS 348853 HAS SOUS 275601 HAS SOUPS 275601 WITH SCORE 275949.853
AT ITER 5346 NEW BEST:: SOT 2745490 SOS 348799 HAS SOPS 348799 HAS SOUS 275576 HAS SOUPS 275576 WITH SCORE 275924.799
AT ITER 5352 NEW BEST:: SOT 2745302 SOS 348148 HAS SOPS 348148 HAS SOUS 275336 HAS SOUPS 275336 WITH SCORE 275684.148
AT ITER 5365 NEW BEST:: SOT 2745197 SOS 347845 HAS SOPS 347845 HAS SOUS 275033 HAS SOUPS 275033 WITH SCORE 275380.845
AT ITER 5370 NEW BEST:: SOT 2745466 SOS 348348 HAS SOPS 348348 HAS SOUS 274966 HAS SOUPS 274966 WITH SCORE 275314.348
AT ITER 5378 NEW BEST:: SOT 2745325 SOS 348476 HAS SOPS 348476 HAS SOUS 274955 HAS SOUPS 274955 WITH SCORE 275303.476
AT ITER 5415 NEW BEST:: SOT 2745093 SOS 348708 HAS SOPS 348708 HAS SOUS 274839 HAS SOUPS 274839 WITH SCORE 275187.708
AT ITER 5416 NEW BEST:: SOT 2744883 SOS 348498 HAS SOPS 348498 HAS SOUS 274629 HAS SOUPS 274629 WITH SCORE 274977.498
AT ITER 5453 NEW BEST:: SOT 2744883 SOS 348498 HAS SOPS 348498 HAS SOUS 274628 HAS SOUPS 274628 WITH SCORE 274976.498
AT ITER 5474 NEW BEST:: SOT 2744851 SOS 348474 HAS SOPS 348474 HAS SOUS 274614 HAS SOUPS 274614 WITH SCORE 274962.474
AT ITER 5487 NEW BEST:: SOT 2744798 SOS 348368 HAS SOPS 348368 HAS SOUS 274559 HAS SOUPS 274559 WITH SCORE 274907.368
AT ITER 5521 NEW BEST:: SOT 2744798 SOS 348322 HAS SOPS 348322 HAS SOUS 274513 HAS SOUPS 274513 WITH SCORE 274861.322
AT ITER 5546 NEW BEST:: SOT 2744831 SOS 348273 HAS SOPS 348273 HAS SOUS 274462 HAS SOUPS 274462 WITH SCORE 274810.273
AT ITER 5561 NEW BEST:: SOT 2744815 SOS 348241 HAS SOPS 348241 HAS SOUS 274430 HAS SOUPS 274430 WITH SCORE 274778.241
AT ITER 5602 NEW BEST:: SOT 2744815 SOS 348215 HAS SOPS 348215 HAS SOUS 274430 HAS SOUPS 274430 WITH SCORE 274778.215
AT ITER 5626 NEW BEST:: SOT 2744883 SOS 348203 HAS SOPS 348203 HAS SOUS 274388 HAS SOUPS 274388 WITH SCORE 274736.203
AT ITER 5637 NEW BEST:: SOT 2744827 SOS 348159 HAS SOPS 348159 HAS SOUS 274254 HAS SOUPS 274254 WITH SCORE 274602.159
AT ITER 5647 NEW BEST:: SOT 2744639 SOS 348097 HAS SOPS 348097 HAS SOUS 274108 HAS SOUPS 274108 WITH SCORE 274456.097
AT ITER 5674 NEW BEST:: SOT 2744679 SOS 348097 HAS SOPS 348097 HAS SOUS 274068 HAS SOUPS 274068 WITH SCORE 274416.097
AT ITER 5676 NEW BEST:: SOT 2744683 SOS 348023 HAS SOPS 348023 HAS SOUS 274047 HAS SOUPS 274047 WITH SCORE 274395.023
AT ITER 5694 NEW BEST:: SOT 2744682 SOS 348021 HAS SOPS 348021 HAS SOUS 274045 HAS SOUPS 274045 WITH SCORE 274393.021
AT ITER 5700 NEW BEST:: SOT 2744387 SOS 347414 HAS SOPS 347414 HAS SOUS 273622 HAS SOUPS 273622 WITH SCORE 273969.414
AT ITER 5731 NEW BEST:: SOT 2744386 SOS 347267 HAS SOPS 347267 HAS SOUS 273474 HAS SOUPS 273474 WITH SCORE 273821.267
AT ITER 5740 NEW BEST:: SOT 2744352 SOS 347199 HAS SOPS 347199 HAS SOUS 273406 HAS SOUPS 273406 WITH SCORE 273753.199
AT ITER 5751 NEW BEST:: SOT 2744360 SOS 347200 HAS SOPS 347200 HAS SOUS 273381 HAS SOUPS 273381 WITH SCORE 273728.2
AT ITER 5758 NEW BEST:: SOT 2744194 SOS 348072 HAS SOPS 348072 HAS SOUS 273354 HAS SOUPS 273354 WITH SCORE 273702.072
AT ITER 5761 NEW BEST:: SOT 2743751 SOS 348108 HAS SOPS 348108 HAS SOUS 273162 HAS SOUPS 273162 WITH SCORE 273510.108
AT ITER 5773 NEW BEST:: SOT 2743645 SOS 347896 HAS SOPS 347896 HAS SOUS 272962 HAS SOUPS 272962 WITH SCORE 273309.896
AT ITER 5816 NEW BEST:: SOT 2743645 SOS 347882 HAS SOPS 347882 HAS SOUS 272948 HAS SOUPS 272948 WITH SCORE 273295.882
AT ITER 5820 NEW BEST:: SOT 2743645 SOS 347546 HAS SOPS 347546 HAS SOUS 272906 HAS SOUPS 272906 WITH SCORE 273253.546
AT ITER 5828 NEW BEST:: SOT 2743584 SOS 347485 HAS SOPS 347485 HAS SOUS 272845 HAS SOUPS 272845 WITH SCORE 273192.485
AT ITER 5853 NEW BEST:: SOT 2743506 SOS 347095 HAS SOPS 347095 HAS SOUS 272682 HAS SOUPS 272682 WITH SCORE 273029.095
AT ITER 5911 NEW BEST:: SOT 2743505 SOS 347025 HAS SOPS 347025 HAS SOUS 272611 HAS SOUPS 272611 WITH SCORE 272958.025
AT ITER 5927 NEW BEST:: SOT 2743384 SOS 346975 HAS SOPS 346975 HAS SOUS 272420 HAS SOUPS 272420 WITH SCORE 272766.975
AT ITER 5932 NEW BEST:: SOT 2743384 SOS 346953 HAS SOPS 346953 HAS SOUS 272420 HAS SOUPS 272420 WITH SCORE 272766.953
AT ITER 6038 NEW BEST:: SOT 2743389 SOS 346926 HAS SOPS 346926 HAS SOUS 272420 HAS SOUPS 272420 WITH SCORE 272766.926
AT ITER 6062 NEW BEST:: SOT 2743387 SOS 346922 HAS SOPS 346922 HAS SOUS 272417 HAS SOUPS 272417 WITH SCORE 272763.922
AT ITER 6065 NEW BEST:: SOT 2743272 SOS 346493 HAS SOPS 346493 HAS SOUS 272078 HAS SOUPS 272078 WITH SCORE 272424.493
AT ITER 6067 NEW BEST:: SOT 2743258 SOS 346517 HAS SOPS 346517 HAS SOUS 272050 HAS SOUPS 272050 WITH SCORE 272396.517
AT ITER 6073 NEW BEST:: SOT 2743186 SOS 346373 HAS SOPS 346373 HAS SOUS 271978 HAS SOUPS 271978 WITH SCORE 272324.373
AT ITER 6075 NEW BEST:: SOT 2743186 SOS 346351 HAS SOPS 346351 HAS SOUS 271956 HAS SOUPS 271956 WITH SCORE 272302.351
AT ITER 6155 NEW BEST:: SOT 2743215 SOS 346322 HAS SOPS 346322 HAS SOUS 271956 HAS SOUPS 271956 WITH SCORE 272302.322
AT ITER 6214 NEW BEST:: SOT 2743176 SOS 346210 HAS SOPS 346210 HAS SOUS 271921 HAS SOUPS 271921 WITH SCORE 272267.21
AT ITER 6251 NEW BEST:: SOT 2743176 SOS 346160 HAS SOPS 346160 HAS SOUS 271879 HAS SOUPS 271879 WITH SCORE 272225.16
AT ITER 6323 NEW BEST:: SOT 2743038 SOS 345408 HAS SOPS 345408 HAS SOUS 271830 HAS SOUPS 271830 WITH SCORE 272175.408
AT ITER 6392 NEW BEST:: SOT 2743038 SOS 345392 HAS SOPS 345392 HAS SOUS 271829 HAS SOUPS 271829 WITH SCORE 272174.392
AT ITER 6417 NEW BEST:: SOT 2742948 SOS 345300 HAS SOPS 345300 HAS SOUS 271739 HAS SOUPS 271739 WITH SCORE 272084.3
AT ITER 6452 NEW BEST:: SOT 2742904 SOS 345168 HAS SOPS 345168 HAS SOUS 271607 HAS SOUPS 271607 WITH SCORE 271952.168
AT ITER 6503 NEW BEST:: SOT 2742859 SOS 345078 HAS SOPS 345078 HAS SOUS 271517 HAS SOUPS 271517 WITH SCORE 271862.078
AT ITER 6540 NEW BEST:: SOT 2742767 SOS 344921 HAS SOPS 344921 HAS SOUS 271463 HAS SOUPS 271463 WITH SCORE 271807.921
AT ITER 6562 NEW BEST:: SOT 2742724 SOS 344895 HAS SOPS 344895 HAS SOUS 271377 HAS SOUPS 271377 WITH SCORE 271721.895
AT ITER 6570 NEW BEST:: SOT 2742916 SOS 345279 HAS SOPS 345279 HAS SOUS 271341 HAS SOUPS 271341 WITH SCORE 271686.279
AT ITER 6573 NEW BEST:: SOT 2742740 SOS 344871 HAS SOPS 344871 HAS SOUS 271030 HAS SOUPS 271030 WITH SCORE 271374.871
AT ITER 6579 NEW BEST:: SOT 2742495 SOS 344480 HAS SOPS 344480 HAS SOUS 270663 HAS SOUPS 270663 WITH SCORE 271007.48
AT ITER 6605 NEW BEST:: SOT 2742423 SOS 344267 HAS SOPS 344267 HAS SOUS 270663 HAS SOUPS 270663 WITH SCORE 271007.267
AT ITER 6650 NEW BEST:: SOT 2742410 SOS 344146 HAS SOPS 344146 HAS SOUS 270462 HAS SOUPS 270462 WITH SCORE 270806.146
AT ITER 6679 NEW BEST:: SOT 2742344 SOS 344627 HAS SOPS 344627 HAS SOUS 270330 HAS SOUPS 270330 WITH SCORE 270674.627
AT ITER 6696 NEW BEST:: SOT 2742256 SOS 344438 HAS SOPS 344438 HAS SOUS 270141 HAS SOUPS 270141 WITH SCORE 270485.438
AT ITER 6797 NEW BEST:: SOT 2742253 SOS 344432 HAS SOPS 344432 HAS SOUS 270138 HAS SOUPS 270138 WITH SCORE 270482.432
AT ITER 6809 NEW BEST:: SOT 2742150 SOS 344329 HAS SOPS 344329 HAS SOUS 270006 HAS SOUPS 270006 WITH SCORE 270350.329
AT ITER 6854 NEW BEST:: SOT 2742145 SOS 344324 HAS SOPS 344324 HAS SOUS 270004 HAS SOUPS 270004 WITH SCORE 270348.324
AT ITER 6870 NEW BEST:: SOT 2742145 SOS 344330 HAS SOPS 344330 HAS SOUS 269983 HAS SOUPS 269983 WITH SCORE 270327.33
AT ITER 6884 NEW BEST:: SOT 2742145 SOS 344249 HAS SOPS 344249 HAS SOUS 269902 HAS SOUPS 269902 WITH SCORE 270246.249
AT ITER 6920 NEW BEST:: SOT 2742019 SOS 344249 HAS SOPS 344249 HAS SOUS 269776 HAS SOUPS 269776 WITH SCORE 270120.249
AT ITER 6940 NEW BEST:: SOT 2741987 SOS 344197 HAS SOPS 344197 HAS SOUS 269728 HAS SOUPS 269728 WITH SCORE 270072.197
AT ITER 6951 NEW BEST:: SOT 2742047 SOS 344317 HAS SOPS 344317 HAS SOUS 269676 HAS SOUPS 269676 WITH SCORE 270020.317
AT ITER 6955 NEW BEST:: SOT 2740678 SOS 344981 HAS SOPS 344981 HAS SOUS 268491 HAS SOUPS 268491 WITH SCORE 268835.981
AT ITER 6968 NEW BEST:: SOT 2740676 SOS 344977 HAS SOPS 344977 HAS SOUS 268489 HAS SOUPS 268489 WITH SCORE 268833.977
AT ITER 6988 NEW BEST:: SOT 2740069 SOS 345119 HAS SOPS 345119 HAS SOUS 267882 HAS SOUPS 267882 WITH SCORE 268227.119
AT ITER 6999 NEW BEST:: SOT 2740000 SOS 344920 HAS SOPS 344920 HAS SOUS 267792 HAS SOUPS 267792 WITH SCORE 268136.92
AT ITER 7026 NEW BEST:: SOT 2740000 SOS 344843 HAS SOPS 344843 HAS SOUS 267715 HAS SOUPS 267715 WITH SCORE 268059.843
AT ITER 7031 NEW BEST:: SOT 2739421 SOS 345478 HAS SOPS 345478 HAS SOUS 267199 HAS SOUPS 267199 WITH SCORE 267544.478
AT ITER 7060 NEW BEST:: SOT 2739439 SOS 345442 HAS SOPS 345442 HAS SOUS 267163 HAS SOUPS 267163 WITH SCORE 267508.442
AT ITER 7143 NEW BEST:: SOT 2739353 SOS 345292 HAS SOPS 345292 HAS SOUS 267161 HAS SOUPS 267161 WITH SCORE 267506.292
AT ITER 7168 NEW BEST:: SOT 2739207 SOS 345125 HAS SOPS 345125 HAS SOUS 267039 HAS SOUPS 267039 WITH SCORE 267384.125
AT ITER 7203 NEW BEST:: SOT 2739206 SOS 345125 HAS SOPS 345125 HAS SOUS 267038 HAS SOUPS 267038 WITH SCORE 267383.125
AT ITER 7206 NEW BEST:: SOT 2739228 SOS 345086 HAS SOPS 345086 HAS SOUS 266994 HAS SOUPS 266994 WITH SCORE 267339.086
AT ITER 7210 NEW BEST:: SOT 2739013 SOS 344953 HAS SOPS 344953 HAS SOUS 266812 HAS SOUPS 266812 WITH SCORE 267156.953
AT ITER 7227 NEW BEST:: SOT 2739013 SOS 344806 HAS SOPS 344806 HAS SOUS 266665 HAS SOUPS 266665 WITH SCORE 267009.806
AT ITER 7250 NEW BEST:: SOT 2738989 SOS 344977 HAS SOPS 344977 HAS SOUS 266641 HAS SOUPS 266641 WITH SCORE 266985.977
AT ITER 7259 NEW BEST:: SOT 2738967 SOS 344911 HAS SOPS 344911 HAS SOUS 266613 HAS SOUPS 266613 WITH SCORE 266957.911
AT ITER 7293 NEW BEST:: SOT 2738851 SOS 345292 HAS SOPS 345292 HAS SOUS 266602 HAS SOUPS 266602 WITH SCORE 266947.292
AT ITER 7315 NEW BEST:: SOT 2738851 SOS 345292 HAS SOPS 345292 HAS SOUS 266601 HAS SOUPS 266601 WITH SCORE 266946.292
AT ITER 7327 NEW BEST:: SOT 2738837 SOS 345257 HAS SOPS 345257 HAS SOUS 266580 HAS SOUPS 266580 WITH SCORE 266925.257
AT ITER 7342 NEW BEST:: SOT 2738693 SOS 344821 HAS SOPS 344821 HAS SOUS 266449 HAS SOUPS 266449 WITH SCORE 266793.821
AT ITER 7343 NEW BEST:: SOT 2738671 SOS 344846 HAS SOPS 344846 HAS SOUS 266427 HAS SOUPS 266427 WITH SCORE 266771.846
AT ITER 7375 NEW BEST:: SOT 2738541 SOS 344783 HAS SOPS 344783 HAS SOUS 266381 HAS SOUPS 266381 WITH SCORE 266725.783
AT ITER 7380 NEW BEST:: SOT 2738541 SOS 344739 HAS SOPS 344739 HAS SOUS 266305 HAS SOUPS 266305 WITH SCORE 266649.739
AT ITER 7394 NEW BEST:: SOT 2738630 SOS 344505 HAS SOPS 344505 HAS SOUS 266078 HAS SOUPS 266078 WITH SCORE 266422.505
AT ITER 7434 NEW BEST:: SOT 2738614 SOS 344473 HAS SOPS 344473 HAS SOUS 266040 HAS SOUPS 266040 WITH SCORE 266384.473
AT ITER 7441 NEW BEST:: SOT 2738544 SOS 344405 HAS SOPS 344405 HAS SOUS 265994 HAS SOUPS 265994 WITH SCORE 266338.405
AT ITER 7459 NEW BEST:: SOT 2738426 SOS 344287 HAS SOPS 344287 HAS SOUS 265873 HAS SOUPS 265873 WITH SCORE 266217.287
AT ITER 7482 NEW BEST:: SOT 2738318 SOS 344163 HAS SOPS 344163 HAS SOUS 265751 HAS SOUPS 265751 WITH SCORE 266095.163
AT ITER 7488 NEW BEST:: SOT 2738238 SOS 343968 HAS SOPS 343968 HAS SOUS 265616 HAS SOUPS 265616 WITH SCORE 265959.968
AT ITER 7504 NEW BEST:: SOT 2738060 SOS 343773 HAS SOPS 343773 HAS SOUS 265485 HAS SOUPS 265485 WITH SCORE 265828.773
AT ITER 7565 NEW BEST:: SOT 2738060 SOS 343727 HAS SOPS 343727 HAS SOUS 265439 HAS SOUPS 265439 WITH SCORE 265782.727
AT ITER 7569 NEW BEST:: SOT 2737972 SOS 343405 HAS SOPS 343405 HAS SOUS 265256 HAS SOUPS 265256 WITH SCORE 265599.405
AT ITER 7581 NEW BEST:: SOT 2737742 SOS 343443 HAS SOPS 343443 HAS SOUS 265025 HAS SOUPS 265025 WITH SCORE 265368.443
AT ITER 7611 NEW BEST:: SOT 2737683 SOS 343249 HAS SOPS 343249 HAS SOUS 264895 HAS SOUPS 264895 WITH SCORE 265238.249
AT ITER 7629 NEW BEST:: SOT 2737628 SOS 343139 HAS SOPS 343139 HAS SOUS 264840 HAS SOUPS 264840 WITH SCORE 265183.139
AT ITER 7664 NEW BEST:: SOT 2737586 SOS 343055 HAS SOPS 343055 HAS SOUS 264822 HAS SOUPS 264822 WITH SCORE 265165.055
AT ITER 7668 NEW BEST:: SOT 2737522 SOS 342728 HAS SOPS 342728 HAS SOUS 264703 HAS SOUPS 264703 WITH SCORE 265045.728
AT ITER 7676 NEW BEST:: SOT 2737505 SOS 342694 HAS SOPS 342694 HAS SOUS 264702 HAS SOUPS 264702 WITH SCORE 265044.694
AT ITER 7691 NEW BEST:: SOT 2737403 SOS 342518 HAS SOPS 342518 HAS SOUS 264619 HAS SOUPS 264619 WITH SCORE 264961.518
AT ITER 7695 NEW BEST:: SOT 2737394 SOS 342479 HAS SOPS 342479 HAS SOUS 264610 HAS SOUPS 264610 WITH SCORE 264952.479
AT ITER 7712 NEW BEST:: SOT 2737385 SOS 342479 HAS SOPS 342479 HAS SOUS 264606 HAS SOUPS 264606 WITH SCORE 264948.479
AT ITER 7720 NEW BEST:: SOT 2737359 SOS 342463 HAS SOPS 342463 HAS SOUS 264580 HAS SOUPS 264580 WITH SCORE 264922.463
AT ITER 7771 NEW BEST:: SOT 2737359 SOS 342442 HAS SOPS 342442 HAS SOUS 264580 HAS SOUPS 264580 WITH SCORE 264922.442
AT ITER 7788 NEW BEST:: SOT 2737298 SOS 342259 HAS SOPS 342259 HAS SOUS 264519 HAS SOUPS 264519 WITH SCORE 264861.259
AT ITER 7802 NEW BEST:: SOT 2737224 SOS 342185 HAS SOPS 342185 HAS SOUS 264297 HAS SOUPS 264297 WITH SCORE 264639.185
AT ITER 7803 NEW BEST:: SOT 2737256 SOS 342178 HAS SOPS 342178 HAS SOUS 264251 HAS SOUPS 264251 WITH SCORE 264593.178
AT ITER 7808 NEW BEST:: SOT 2736716 SOS 341584 HAS SOPS 341584 HAS SOUS 263657 HAS SOUPS 263657 WITH SCORE 263998.584
AT ITER 7817 NEW BEST:: SOT 2736716 SOS 341584 HAS SOPS 341584 HAS SOUS 263615 HAS SOUPS 263615 WITH SCORE 263956.584
AT ITER 7935 NEW BEST:: SOT 2736638 SOS 341506 HAS SOPS 341506 HAS SOUS 263537 HAS SOUPS 263537 WITH SCORE 263878.506
AT ITER 7953 NEW BEST:: SOT 2736829 SOS 341635 HAS SOPS 341635 HAS SOUS 263520 HAS SOUPS 263520 WITH SCORE 263861.635
AT ITER 8000 NEW BEST:: SOT 2736771 SOS 341461 HAS SOPS 341461 HAS SOUS 263446 HAS SOUPS 263446 WITH SCORE 263787.461
AT ITER 8017 NEW BEST:: SOT 2736683 SOS 341373 HAS SOPS 341373 HAS SOUS 263358 HAS SOUPS 263358 WITH SCORE 263699.373
AT ITER 8024 NEW BEST:: SOT 2736683 SOS 341373 HAS SOPS 341373 HAS SOUS 263310 HAS SOUPS 263310 WITH SCORE 263651.373
AT ITER 8045 NEW BEST:: SOT 2736372 SOS 341279 HAS SOPS 341279 HAS SOUS 262823 HAS SOUPS 262823 WITH SCORE 263164.279
AT ITER 8086 NEW BEST:: SOT 2736292 SOS 341119 HAS SOPS 341119 HAS SOUS 262743 HAS SOUPS 262743 WITH SCORE 263084.119
AT ITER 8114 NEW BEST:: SOT 2736371 SOS 341565 HAS SOPS 341565 HAS SOUS 262722 HAS SOUPS 262722 WITH SCORE 263063.565
AT ITER 8117 NEW BEST:: SOT 2736355 SOS 341435 HAS SOPS 341435 HAS SOUS 262682 HAS SOUPS 262682 WITH SCORE 263023.435
AT ITER 8120 NEW BEST:: SOT 2736321 SOS 341411 HAS SOPS 341411 HAS SOUS 262648 HAS SOUPS 262648 WITH SCORE 262989.411
AT ITER 8125 NEW BEST:: SOT 2736320 SOS 341408 HAS SOPS 341408 HAS SOUS 262645 HAS SOUPS 262645 WITH SCORE 262986.408
AT ITER 8131 NEW BEST:: SOT 2736213 SOS 341087 HAS SOPS 341087 HAS SOUS 262324 HAS SOUPS 262324 WITH SCORE 262665.087
AT ITER 8145 NEW BEST:: SOT 2736054 SOS 340693 HAS SOPS 340693 HAS SOUS 262165 HAS SOUPS 262165 WITH SCORE 262505.693
AT ITER 8156 NEW BEST:: SOT 2736054 SOS 340691 HAS SOPS 340691 HAS SOUS 262163 HAS SOUPS 262163 WITH SCORE 262503.691
AT ITER 8164 NEW BEST:: SOT 2735844 SOS 340024 HAS SOPS 340024 HAS SOUS 261802 HAS SOUPS 261802 WITH SCORE 262142.024
AT ITER 8201 NEW BEST:: SOT 2735836 SOS 340016 HAS SOPS 340016 HAS SOUS 261794 HAS SOUPS 261794 WITH SCORE 262134.016
AT ITER 8289 NEW BEST:: SOT 2735836 SOS 340016 HAS SOPS 340016 HAS SOUS 261778 HAS SOUPS 261778 WITH SCORE 262118.016
AT ITER 8368 NEW BEST:: SOT 2735821 SOS 339520 HAS SOPS 339520 HAS SOUS 261765 HAS SOUPS 261765 WITH SCORE 262104.52
AT ITER 8395 NEW BEST:: SOT 2735789 SOS 339472 HAS SOPS 339472 HAS SOUS 261701 HAS SOUPS 261701 WITH SCORE 262040.472
AT ITER 8401 NEW BEST:: SOT 2735073 SOS 341607 HAS SOPS 341607 HAS SOUS 261466 HAS SOUPS 261466 WITH SCORE 261807.607
AT ITER 8419 NEW BEST:: SOT 2734918 SOS 341003 HAS SOPS 341003 HAS SOUS 261335 HAS SOUPS 261335 WITH SCORE 261676.003
AT ITER 8447 NEW BEST:: SOT 2734906 SOS 340979 HAS SOPS 340979 HAS SOUS 261324 HAS SOUPS 261324 WITH SCORE 261664.979
AT ITER 8469 NEW BEST:: SOT 2734917 SOS 340976 HAS SOPS 340976 HAS SOUS 261318 HAS SOUPS 261318 WITH SCORE 261658.976
AT ITER 8492 NEW BEST:: SOT 2734872 SOS 340931 HAS SOPS 340931 HAS SOUS 261273 HAS SOUPS 261273 WITH SCORE 261613.931
AT ITER 8504 NEW BEST:: SOT 2734871 SOS 340927 HAS SOPS 340927 HAS SOUS 261272 HAS SOUPS 261272 WITH SCORE 261612.927
AT ITER 8508 NEW BEST:: SOT 2734685 SOS 340840 HAS SOPS 340840 HAS SOUS 261184 HAS SOUPS 261184 WITH SCORE 261524.84
AT ITER 8521 NEW BEST:: SOT 2734651 SOS 340789 HAS SOPS 340789 HAS SOUS 261133 HAS SOUPS 261133 WITH SCORE 261473.789
AT ITER 8565 NEW BEST:: SOT 2734625 SOS 340750 HAS SOPS 340750 HAS SOUS 261107 HAS SOUPS 261107 WITH SCORE 261447.75
AT ITER 8578 NEW BEST:: SOT 2734584 SOS 340815 HAS SOPS 340815 HAS SOUS 261025 HAS SOUPS 261025 WITH SCORE 261365.815
AT ITER 8741 NEW BEST:: SOT 2734567 SOS 340790 HAS SOPS 340790 HAS SOUS 261000 HAS SOUPS 261000 WITH SCORE 261340.79
AT ITER 8748 NEW BEST:: SOT 2734566 SOS 340788 HAS SOPS 340788 HAS SOUS 260998 HAS SOUPS 260998 WITH SCORE 261338.788
AT ITER 8781 NEW BEST:: SOT 2734278 SOS 340137 HAS SOPS 340137 HAS SOUS 260579 HAS SOUPS 260579 WITH SCORE 260919.137
AT ITER 8788 NEW BEST:: SOT 2734248 SOS 340077 HAS SOPS 340077 HAS SOUS 260519 HAS SOUPS 260519 WITH SCORE 260859.077
AT ITER 8802 NEW BEST:: SOT 2734278 SOS 340017 HAS SOPS 340017 HAS SOUS 260516 HAS SOUPS 260516 WITH SCORE 260856.017
AT ITER 8805 NEW BEST:: SOT 2734278 SOS 340017 HAS SOPS 340017 HAS SOUS 260501 HAS SOUPS 260501 WITH SCORE 260841.017
AT ITER 8814 NEW BEST:: SOT 2734243 SOS 339691 HAS SOPS 339691 HAS SOUS 260466 HAS SOUPS 260466 WITH SCORE 260805.691
AT ITER 8818 NEW BEST:: SOT 2734235 SOS 339683 HAS SOPS 339683 HAS SOUS 260466 HAS SOUPS 260466 WITH SCORE 260805.683
AT ITER 8909 NEW BEST:: SOT 2734019 SOS 339800 HAS SOPS 339800 HAS SOUS 260299 HAS SOUPS 260299 WITH SCORE 260638.8
AT ITER 8966 NEW BEST:: SOT 2733601 SOS 340729 HAS SOPS 340729 HAS SOUS 260045 HAS SOUPS 260045 WITH SCORE 260385.729
AT ITER 8991 NEW BEST:: SOT 2733403 SOS 340509 HAS SOPS 340509 HAS SOUS 259969 HAS SOUPS 259969 WITH SCORE 260309.509
AT ITER 9005 NEW BEST:: SOT 2733403 SOS 340503 HAS SOPS 340503 HAS SOUS 259963 HAS SOUPS 259963 WITH SCORE 260303.503
AT ITER 9030 NEW BEST:: SOT 2733314 SOS 340321 HAS SOPS 340321 HAS SOUS 259703 HAS SOUPS 259703 WITH SCORE 260043.321
AT ITER 9033 NEW BEST:: SOT 2733314 SOS 340293 HAS SOPS 340293 HAS SOUS 259647 HAS SOUPS 259647 WITH SCORE 259987.293
AT ITER 9052 NEW BEST:: SOT 2733328 SOS 340236 HAS SOPS 340236 HAS SOUS 259605 HAS SOUPS 259605 WITH SCORE 259945.236
AT ITER 9062 NEW BEST:: SOT 2733327 SOS 340234 HAS SOPS 340234 HAS SOUS 259603 HAS SOUPS 259603 WITH SCORE 259943.234
AT ITER 9078 NEW BEST:: SOT 2733327 SOS 340169 HAS SOPS 340169 HAS SOUS 259537 HAS SOUPS 259537 WITH SCORE 259877.169
AT ITER 9104 NEW BEST:: SOT 2733315 SOS 340145 HAS SOPS 340145 HAS SOUS 259525 HAS SOUPS 259525 WITH SCORE 259865.145
AT ITER 9113 NEW BEST:: SOT 2733212 SOS 339807 HAS SOPS 339807 HAS SOUS 259422 HAS SOUPS 259422 WITH SCORE 259761.807
AT ITER 9131 NEW BEST:: SOT 2732961 SOS 339474 HAS SOPS 339474 HAS SOUS 259246 HAS SOUPS 259246 WITH SCORE 259585.474
AT ITER 9197 NEW BEST:: SOT 2733092 SOS 339367 HAS SOPS 339367 HAS SOUS 259236 HAS SOUPS 259236 WITH SCORE 259575.367
AT ITER 9223 NEW BEST:: SOT 2732724 SOS 339603 HAS SOPS 339603 HAS SOUS 258907 HAS SOUPS 258907 WITH SCORE 259246.603
AT ITER 9267 NEW BEST:: SOT 2732719 SOS 339598 HAS SOPS 339598 HAS SOUS 258902 HAS SOUPS 258902 WITH SCORE 259241.598
AT ITER 9275 NEW BEST:: SOT 2732719 SOS 339578 HAS SOPS 339578 HAS SOUS 258902 HAS SOUPS 258902 WITH SCORE 259241.578
AT ITER 9291 NEW BEST:: SOT 2732663 SOS 339522 HAS SOPS 339522 HAS SOUS 258846 HAS SOUPS 258846 WITH SCORE 259185.522
AT ITER 9308 NEW BEST:: SOT 2732321 SOS 339579 HAS SOPS 339579 HAS SOUS 258720 HAS SOUPS 258720 WITH SCORE 259059.579
AT ITER 9326 NEW BEST:: SOT 2732303 SOS 339527 HAS SOPS 339527 HAS SOUS 258684 HAS SOUPS 258684 WITH SCORE 259023.527
AT ITER 9338 NEW BEST:: SOT 2732293 SOS 339517 HAS SOPS 339517 HAS SOUS 258597 HAS SOUPS 258597 WITH SCORE 258936.517
AT ITER 9342 NEW BEST:: SOT 2732288 SOS 339563 HAS SOPS 339563 HAS SOUS 258592 HAS SOUPS 258592 WITH SCORE 258931.563
AT ITER 9355 NEW BEST:: SOT 2732159 SOS 339539 HAS SOPS 339539 HAS SOUS 258463 HAS SOUPS 258463 WITH SCORE 258802.539
AT ITER 9365 NEW BEST:: SOT 2732154 SOS 339534 HAS SOPS 339534 HAS SOUS 258458 HAS SOUPS 258458 WITH SCORE 258797.534
AT ITER 9371 NEW BEST:: SOT 2732154 SOS 339534 HAS SOPS 339534 HAS SOUS 258457 HAS SOUPS 258457 WITH SCORE 258796.534
AT ITER 9383 NEW BEST:: SOT 2732173 SOS 339440 HAS SOPS 339440 HAS SOUS 258425 HAS SOUPS 258425 WITH SCORE 258764.44
AT ITER 9388 NEW BEST:: SOT 2732261 SOS 339507 HAS SOPS 339507 HAS SOUS 258391 HAS SOUPS 258391 WITH SCORE 258730.507
AT ITER 9392 NEW BEST:: SOT 2732186 SOS 339432 HAS SOPS 339432 HAS SOUS 258301 HAS SOUPS 258301 WITH SCORE 258640.432
AT ITER 9403 NEW BEST:: SOT 2732095 SOS 339363 HAS SOPS 339363 HAS SOUS 258210 HAS SOUPS 258210 WITH SCORE 258549.363
AT ITER 9409 NEW BEST:: SOT 2731544 SOS 340259 HAS SOPS 340259 HAS SOUS 257759 HAS SOUPS 257759 WITH SCORE 258099.259
AT ITER 9449 NEW BEST:: SOT 2731367 SOS 340335 HAS SOPS 340335 HAS SOUS 257582 HAS SOUPS 257582 WITH SCORE 257922.335
AT ITER 9511 NEW BEST:: SOT 2731337 SOS 340305 HAS SOPS 340305 HAS SOUS 257552 HAS SOUPS 257552 WITH SCORE 257892.305
AT ITER 9548 NEW BEST:: SOT 2731337 SOS 340296 HAS SOPS 340296 HAS SOUS 257543 HAS SOUPS 257543 WITH SCORE 257883.296
AT ITER 9636 NEW BEST:: SOT 2731329 SOS 340298 HAS SOPS 340298 HAS SOUS 257530 HAS SOUPS 257530 WITH SCORE 257870.298
AT ITER 9653 NEW BEST:: SOT 2731419 SOS 340478 HAS SOPS 340478 HAS SOUS 257509 HAS SOUPS 257509 WITH SCORE 257849.478
AT ITER 9667 NEW BEST:: SOT 2731419 SOS 340439 HAS SOPS 340439 HAS SOUS 257509 HAS SOUPS 257509 WITH SCORE 257849.439
AT ITER 9676 NEW BEST:: SOT 2730624 SOS 340127 HAS SOPS 340127 HAS SOUS 256804 HAS SOUPS 256804 WITH SCORE 257144.127
AT ITER 9734 NEW BEST:: SOT 2730624 SOS 340082 HAS SOPS 340082 HAS SOUS 256789 HAS SOUPS 256789 WITH SCORE 257129.082
AT ITER 9750 NEW BEST:: SOT 2730556 SOS 340048 HAS SOPS 340048 HAS SOUS 256789 HAS SOUPS 256789 WITH SCORE 257129.048
AT ITER 9756 NEW BEST:: SOT 2730531 SOS 339999 HAS SOPS 339999 HAS SOUS 256760 HAS SOUPS 256760 WITH SCORE 257099.999
AT ITER 9795 NEW BEST:: SOT 2730386 SOS 339881 HAS SOPS 339881 HAS SOUS 256659 HAS SOUPS 256659 WITH SCORE 256998.881
AT ITER 9803 NEW BEST:: SOT 2730419 SOS 339792 HAS SOPS 339792 HAS SOUS 256631 HAS SOUPS 256631 WITH SCORE 256970.792
AT ITER 9860 NEW BEST:: SOT 2730316 SOS 339483 HAS SOPS 339483 HAS SOUS 256403 HAS SOUPS 256403 WITH SCORE 256742.483
AT ITER 9866 NEW BEST:: SOT 2730300 SOS 339467 HAS SOPS 339467 HAS SOUS 256387 HAS SOUPS 256387 WITH SCORE 256726.467
AT ITER 9897 NEW BEST:: SOT 2730304 SOS 339148 HAS SOPS 339148 HAS SOUS 256368 HAS SOUPS 256368 WITH SCORE 256707.148
AT ITER 9901 NEW BEST:: SOT 2730303 SOS 339102 HAS SOPS 339102 HAS SOUS 256366 HAS SOUPS 256366 WITH SCORE 256705.102
AT ITER 9902 NEW BEST:: SOT 2730303 SOS 339177 HAS SOPS 339177 HAS SOUS 256330 HAS SOUPS 256330 WITH SCORE 256669.177
AT ITER 9923 NEW BEST:: SOT 2730229 SOS 339029 HAS SOPS 339029 HAS SOUS 256254 HAS SOUPS 256254 WITH SCORE 256593.029
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 11487372 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16121280 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="NoC3x3-PT-3B"
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 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 4"
echo " Run identifier is r267-smll-167863541600272"
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 ;