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.r195-smll-167840341900064.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 GPUForwardProgress-PT-16b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r195-smll-167840341900064
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 540K
-rw-r--r-- 1 mcc users 6.5K Feb 25 14:13 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 25 14:13 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 14:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 39K Feb 25 14:13 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:11 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:11 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:11 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 14:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 139K Feb 25 14:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.9K Feb 25 14:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 89K Feb 25 14:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:11 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 84K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678440611271

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=GPUForwardProgress-PT-16b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running GPUForwardProgress (PT), instance 16b
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: 340 places, 357 transitions, 877 arcs.
AT ITER 0 NEW BEST:: SOT 68316 SOS 19711 HAS SOPS 19711 HAS SOUS 18000 HAS SOUPS 18000 WITH SCORE 18019.711
AT ITER 10 NEW BEST:: SOT 68316 SOS 19711 HAS SOPS 19711 HAS SOUS 17999 HAS SOUPS 17999 WITH SCORE 18018.711
AT ITER 21 NEW BEST:: SOT 68316 SOS 19639 HAS SOPS 19639 HAS SOUS 17998 HAS SOUPS 17998 WITH SCORE 18017.639
AT ITER 46 NEW BEST:: SOT 68307 SOS 19621 HAS SOPS 19621 HAS SOUS 17980 HAS SOUPS 17980 WITH SCORE 17999.621
AT ITER 47 NEW BEST:: SOT 68292 SOS 19574 HAS SOPS 19574 HAS SOUS 17978 HAS SOUPS 17978 WITH SCORE 17997.574
AT ITER 58 NEW BEST:: SOT 68233 SOS 19508 HAS SOPS 19508 HAS SOUS 17919 HAS SOUPS 17919 WITH SCORE 17938.508
AT ITER 75 NEW BEST:: SOT 68233 SOS 19466 HAS SOPS 19466 HAS SOUS 17877 HAS SOUPS 17877 WITH SCORE 17896.466
AT ITER 79 NEW BEST:: SOT 68233 SOS 19466 HAS SOPS 19466 HAS SOUS 17876 HAS SOUPS 17876 WITH SCORE 17895.466
AT ITER 96 NEW BEST:: SOT 68233 SOS 19406 HAS SOPS 19406 HAS SOUS 17816 HAS SOUPS 17816 WITH SCORE 17835.406
AT ITER 102 NEW BEST:: SOT 68241 SOS 19358 HAS SOPS 19358 HAS SOUS 17794 HAS SOUPS 17794 WITH SCORE 17813.358
AT ITER 104 NEW BEST:: SOT 68241 SOS 19322 HAS SOPS 19322 HAS SOUS 17794 HAS SOUPS 17794 WITH SCORE 17813.322
AT ITER 108 NEW BEST:: SOT 68170 SOS 19246 HAS SOPS 19246 HAS SOUS 17724 HAS SOUPS 17724 WITH SCORE 17743.246
AT ITER 147 NEW BEST:: SOT 68155 SOS 19178 HAS SOPS 19178 HAS SOUS 17686 HAS SOUPS 17686 WITH SCORE 17705.178
AT ITER 155 NEW BEST:: SOT 68123 SOS 19152 HAS SOPS 19152 HAS SOUS 17666 HAS SOUPS 17666 WITH SCORE 17685.152
AT ITER 162 NEW BEST:: SOT 68156 SOS 19056 HAS SOPS 19056 HAS SOUS 17618 HAS SOUPS 17618 WITH SCORE 17637.056
AT ITER 168 NEW BEST:: SOT 68156 SOS 18987 HAS SOPS 18987 HAS SOUS 17567 HAS SOUPS 17567 WITH SCORE 17585.987
AT ITER 194 NEW BEST:: SOT 68136 SOS 18967 HAS SOPS 18967 HAS SOUS 17547 HAS SOUPS 17547 WITH SCORE 17565.967
AT ITER 211 NEW BEST:: SOT 68136 SOS 18967 HAS SOPS 18967 HAS SOUS 17546 HAS SOUPS 17546 WITH SCORE 17564.967
AT ITER 223 NEW BEST:: SOT 68092 SOS 18984 HAS SOPS 18984 HAS SOUS 17537 HAS SOUPS 17537 WITH SCORE 17555.984
AT ITER 226 NEW BEST:: SOT 68107 SOS 18979 HAS SOPS 18979 HAS SOUS 17532 HAS SOUPS 17532 WITH SCORE 17550.979
AT ITER 240 NEW BEST:: SOT 68107 SOS 18919 HAS SOPS 18919 HAS SOUS 17487 HAS SOUPS 17487 WITH SCORE 17505.919
AT ITER 248 NEW BEST:: SOT 68106 SOS 18917 HAS SOPS 18917 HAS SOUS 17485 HAS SOUPS 17485 WITH SCORE 17503.917
AT ITER 252 NEW BEST:: SOT 68106 SOS 18903 HAS SOPS 18903 HAS SOUS 17484 HAS SOUPS 17484 WITH SCORE 17502.903
AT ITER 298 NEW BEST:: SOT 67986 SOS 18838 HAS SOPS 18838 HAS SOUS 17424 HAS SOUPS 17424 WITH SCORE 17442.838
AT ITER 301 NEW BEST:: SOT 67986 SOS 18827 HAS SOPS 18827 HAS SOUS 17424 HAS SOUPS 17424 WITH SCORE 17442.827
AT ITER 308 NEW BEST:: SOT 67986 SOS 18790 HAS SOPS 18790 HAS SOUS 17424 HAS SOUPS 17424 WITH SCORE 17442.79
AT ITER 327 NEW BEST:: SOT 67966 SOS 18769 HAS SOPS 18769 HAS SOUS 17404 HAS SOUPS 17404 WITH SCORE 17422.769
AT ITER 342 NEW BEST:: SOT 67982 SOS 18719 HAS SOPS 18719 HAS SOUS 17354 HAS SOUPS 17354 WITH SCORE 17372.719
AT ITER 364 NEW BEST:: SOT 67982 SOS 18719 HAS SOPS 18719 HAS SOUS 17353 HAS SOUPS 17353 WITH SCORE 17371.719
AT ITER 388 NEW BEST:: SOT 67957 SOS 18679 HAS SOPS 18679 HAS SOUS 17310 HAS SOUPS 17310 WITH SCORE 17328.679
AT ITER 409 NEW BEST:: SOT 67947 SOS 18659 HAS SOPS 18659 HAS SOUS 17290 HAS SOUPS 17290 WITH SCORE 17308.659
AT ITER 436 NEW BEST:: SOT 67944 SOS 18653 HAS SOPS 18653 HAS SOUS 17287 HAS SOUPS 17287 WITH SCORE 17305.653
AT ITER 456 NEW BEST:: SOT 67986 SOS 18579 HAS SOPS 18579 HAS SOUS 17213 HAS SOUPS 17213 WITH SCORE 17231.579
AT ITER 468 NEW BEST:: SOT 67976 SOS 18559 HAS SOPS 18559 HAS SOUS 17193 HAS SOUPS 17193 WITH SCORE 17211.559
AT ITER 530 NEW BEST:: SOT 67983 SOS 18539 HAS SOPS 18539 HAS SOUS 17173 HAS SOUPS 17173 WITH SCORE 17191.539
AT ITER 544 NEW BEST:: SOT 67951 SOS 18507 HAS SOPS 18507 HAS SOUS 17173 HAS SOUPS 17173 WITH SCORE 17191.507
AT ITER 549 NEW BEST:: SOT 67952 SOS 18458 HAS SOPS 18458 HAS SOUS 17137 HAS SOUPS 17137 WITH SCORE 17155.458
AT ITER 556 NEW BEST:: SOT 67952 SOS 18409 HAS SOPS 18409 HAS SOUS 17137 HAS SOUPS 17137 WITH SCORE 17155.409
AT ITER 568 NEW BEST:: SOT 67950 SOS 18403 HAS SOPS 18403 HAS SOUS 17133 HAS SOUPS 17133 WITH SCORE 17151.403
AT ITER 573 NEW BEST:: SOT 67471 SOS 22052 HAS SOPS 22052 HAS SOUS 17018 HAS SOUPS 17018 WITH SCORE 17040.052
AT ITER 596 NEW BEST:: SOT 67468 SOS 22046 HAS SOPS 22046 HAS SOUS 17012 HAS SOUPS 17012 WITH SCORE 17034.046
AT ITER 611 NEW BEST:: SOT 67428 SOS 22040 HAS SOPS 22040 HAS SOUS 16971 HAS SOUPS 16971 WITH SCORE 16993.04
AT ITER 612 NEW BEST:: SOT 67428 SOS 21970 HAS SOPS 21970 HAS SOUS 16936 HAS SOUPS 16936 WITH SCORE 16957.97
AT ITER 624 NEW BEST:: SOT 67426 SOS 21943 HAS SOPS 21943 HAS SOUS 16928 HAS SOUPS 16928 WITH SCORE 16949.943
AT ITER 651 NEW BEST:: SOT 67421 SOS 21933 HAS SOPS 21933 HAS SOUS 16918 HAS SOUPS 16918 WITH SCORE 16939.933
AT ITER 657 NEW BEST:: SOT 67408 SOS 21882 HAS SOPS 21882 HAS SOUS 16880 HAS SOUPS 16880 WITH SCORE 16901.882
AT ITER 666 NEW BEST:: SOT 67292 SOS 21650 HAS SOPS 21650 HAS SOUS 16765 HAS SOUPS 16765 WITH SCORE 16786.65
AT ITER 679 NEW BEST:: SOT 67282 SOS 21630 HAS SOPS 21630 HAS SOUS 16753 HAS SOUPS 16753 WITH SCORE 16774.63
AT ITER 682 NEW BEST:: SOT 67298 SOS 21565 HAS SOPS 21565 HAS SOUS 16753 HAS SOUPS 16753 WITH SCORE 16774.565
AT ITER 702 NEW BEST:: SOT 67270 SOS 21509 HAS SOPS 21509 HAS SOUS 16697 HAS SOUPS 16697 WITH SCORE 16718.509
AT ITER 756 NEW BEST:: SOT 67268 SOS 21505 HAS SOPS 21505 HAS SOUS 16693 HAS SOUPS 16693 WITH SCORE 16714.505
AT ITER 772 NEW BEST:: SOT 67268 SOS 21503 HAS SOPS 21503 HAS SOUS 16691 HAS SOUPS 16691 WITH SCORE 16712.503
AT ITER 778 NEW BEST:: SOT 67268 SOS 21503 HAS SOPS 21503 HAS SOUS 16690 HAS SOUPS 16690 WITH SCORE 16711.503
AT ITER 779 NEW BEST:: SOT 67266 SOS 21501 HAS SOPS 21501 HAS SOUS 16688 HAS SOUPS 16688 WITH SCORE 16709.501
AT ITER 786 NEW BEST:: SOT 67266 SOS 21501 HAS SOPS 21501 HAS SOUS 16687 HAS SOUPS 16687 WITH SCORE 16708.501
AT ITER 798 NEW BEST:: SOT 67257 SOS 21493 HAS SOPS 21493 HAS SOUS 16669 HAS SOUPS 16669 WITH SCORE 16690.493
AT ITER 799 NEW BEST:: SOT 67257 SOS 21455 HAS SOPS 21455 HAS SOUS 16650 HAS SOUPS 16650 WITH SCORE 16671.455
AT ITER 808 NEW BEST:: SOT 67239 SOS 21437 HAS SOPS 21437 HAS SOUS 16632 HAS SOUPS 16632 WITH SCORE 16653.437
AT ITER 816 NEW BEST:: SOT 67202 SOS 21363 HAS SOPS 21363 HAS SOUS 16568 HAS SOUPS 16568 WITH SCORE 16589.363
AT ITER 826 NEW BEST:: SOT 67217 SOS 21331 HAS SOPS 21331 HAS SOUS 16559 HAS SOUPS 16559 WITH SCORE 16580.331
AT ITER 838 NEW BEST:: SOT 67217 SOS 21327 HAS SOPS 21327 HAS SOUS 16557 HAS SOUPS 16557 WITH SCORE 16578.327
AT ITER 866 NEW BEST:: SOT 67261 SOS 21108 HAS SOPS 21108 HAS SOUS 16506 HAS SOUPS 16506 WITH SCORE 16527.108
AT ITER 882 NEW BEST:: SOT 67244 SOS 21152 HAS SOPS 21152 HAS SOUS 16472 HAS SOUPS 16472 WITH SCORE 16493.152
AT ITER 889 NEW BEST:: SOT 67232 SOS 21038 HAS SOPS 21038 HAS SOUS 16425 HAS SOUPS 16425 WITH SCORE 16446.038
AT ITER 894 NEW BEST:: SOT 67216 SOS 21006 HAS SOPS 21006 HAS SOUS 16393 HAS SOUPS 16393 WITH SCORE 16414.006
AT ITER 907 NEW BEST:: SOT 67168 SOS 20910 HAS SOPS 20910 HAS SOUS 16291 HAS SOUPS 16291 WITH SCORE 16311.91
AT ITER 917 NEW BEST:: SOT 67170 SOS 20898 HAS SOPS 20898 HAS SOUS 16285 HAS SOUPS 16285 WITH SCORE 16305.898
AT ITER 923 NEW BEST:: SOT 67155 SOS 20868 HAS SOPS 20868 HAS SOUS 16255 HAS SOUPS 16255 WITH SCORE 16275.868
AT ITER 925 NEW BEST:: SOT 67155 SOS 20868 HAS SOPS 20868 HAS SOUS 16249 HAS SOUPS 16249 WITH SCORE 16269.868
AT ITER 934 NEW BEST:: SOT 67144 SOS 20846 HAS SOPS 20846 HAS SOUS 16195 HAS SOUPS 16195 WITH SCORE 16215.846
AT ITER 938 NEW BEST:: SOT 67203 SOS 20790 HAS SOPS 20790 HAS SOUS 16183 HAS SOUPS 16183 WITH SCORE 16203.79
AT ITER 964 NEW BEST:: SOT 67182 SOS 20748 HAS SOPS 20748 HAS SOUS 16116 HAS SOUPS 16116 WITH SCORE 16136.748
AT ITER 980 NEW BEST:: SOT 67182 SOS 20746 HAS SOPS 20746 HAS SOUS 16115 HAS SOUPS 16115 WITH SCORE 16135.746
AT ITER 983 NEW BEST:: SOT 67176 SOS 20746 HAS SOPS 20746 HAS SOUS 16103 HAS SOUPS 16103 WITH SCORE 16123.746
AT ITER 1026 NEW BEST:: SOT 67130 SOS 20654 HAS SOPS 20654 HAS SOUS 16011 HAS SOUPS 16011 WITH SCORE 16031.654
AT ITER 1045 NEW BEST:: SOT 67102 SOS 20598 HAS SOPS 20598 HAS SOUS 15955 HAS SOUPS 15955 WITH SCORE 15975.598
AT ITER 1112 NEW BEST:: SOT 67102 SOS 20594 HAS SOPS 20594 HAS SOUS 15951 HAS SOUPS 15951 WITH SCORE 15971.594
AT ITER 1113 NEW BEST:: SOT 67102 SOS 20594 HAS SOPS 20594 HAS SOUS 15908 HAS SOUPS 15908 WITH SCORE 15928.594
AT ITER 1123 NEW BEST:: SOT 67099 SOS 20592 HAS SOPS 20592 HAS SOUS 15906 HAS SOUPS 15906 WITH SCORE 15926.592
AT ITER 1127 NEW BEST:: SOT 67099 SOS 20578 HAS SOPS 20578 HAS SOUS 15906 HAS SOUPS 15906 WITH SCORE 15926.578
AT ITER 1131 NEW BEST:: SOT 67099 SOS 20564 HAS SOPS 20564 HAS SOUS 15899 HAS SOUPS 15899 WITH SCORE 15919.564
AT ITER 1150 NEW BEST:: SOT 66903 SOS 20778 HAS SOPS 20778 HAS SOUS 15832 HAS SOUPS 15832 WITH SCORE 15852.778
AT ITER 1157 NEW BEST:: SOT 66936 SOS 20725 HAS SOPS 20725 HAS SOUS 15814 HAS SOUPS 15814 WITH SCORE 15834.725
AT ITER 1163 NEW BEST:: SOT 66936 SOS 20725 HAS SOPS 20725 HAS SOUS 15789 HAS SOUPS 15789 WITH SCORE 15809.725
AT ITER 1177 NEW BEST:: SOT 66934 SOS 20721 HAS SOPS 20721 HAS SOUS 15785 HAS SOUPS 15785 WITH SCORE 15805.721
AT ITER 1183 NEW BEST:: SOT 66919 SOS 20691 HAS SOPS 20691 HAS SOUS 15762 HAS SOUPS 15762 WITH SCORE 15782.691
AT ITER 1193 NEW BEST:: SOT 66919 SOS 20611 HAS SOPS 20611 HAS SOUS 15762 HAS SOUPS 15762 WITH SCORE 15782.611
AT ITER 1203 NEW BEST:: SOT 66895 SOS 20587 HAS SOPS 20587 HAS SOUS 15738 HAS SOUPS 15738 WITH SCORE 15758.587
AT ITER 1223 NEW BEST:: SOT 66834 SOS 20367 HAS SOPS 20367 HAS SOUS 15559 HAS SOUPS 15559 WITH SCORE 15579.367
AT ITER 1242 NEW BEST:: SOT 66828 SOS 20355 HAS SOPS 20355 HAS SOUS 15547 HAS SOUPS 15547 WITH SCORE 15567.355
AT ITER 1247 NEW BEST:: SOT 66810 SOS 20332 HAS SOPS 20332 HAS SOUS 15511 HAS SOUPS 15511 WITH SCORE 15531.332
AT ITER 1278 NEW BEST:: SOT 66810 SOS 20332 HAS SOPS 20332 HAS SOUS 15501 HAS SOUPS 15501 WITH SCORE 15521.332
AT ITER 1279 NEW BEST:: SOT 66799 SOS 20310 HAS SOPS 20310 HAS SOUS 15479 HAS SOUPS 15479 WITH SCORE 15499.31
AT ITER 1293 NEW BEST:: SOT 66793 SOS 20298 HAS SOPS 20298 HAS SOUS 15467 HAS SOUPS 15467 WITH SCORE 15487.298
AT ITER 1296 NEW BEST:: SOT 66755 SOS 20222 HAS SOPS 20222 HAS SOUS 15391 HAS SOUPS 15391 WITH SCORE 15411.222
AT ITER 1328 NEW BEST:: SOT 66741 SOS 19718 HAS SOPS 19718 HAS SOUS 15377 HAS SOUPS 15377 WITH SCORE 15396.718
AT ITER 1337 NEW BEST:: SOT 66741 SOS 19701 HAS SOPS 19701 HAS SOUS 15360 HAS SOUPS 15360 WITH SCORE 15379.701
AT ITER 1350 NEW BEST:: SOT 66736 SOS 19691 HAS SOPS 19691 HAS SOUS 15350 HAS SOUPS 15350 WITH SCORE 15369.691
AT ITER 1358 NEW BEST:: SOT 66683 SOS 19681 HAS SOPS 19681 HAS SOUS 15307 HAS SOUPS 15307 WITH SCORE 15326.681
AT ITER 1360 NEW BEST:: SOT 66682 SOS 19679 HAS SOPS 19679 HAS SOUS 15305 HAS SOUPS 15305 WITH SCORE 15324.679
AT ITER 1365 NEW BEST:: SOT 66678 SOS 19671 HAS SOPS 19671 HAS SOUS 15297 HAS SOUPS 15297 WITH SCORE 15316.671
AT ITER 1370 NEW BEST:: SOT 66677 SOS 19670 HAS SOPS 19670 HAS SOUS 15295 HAS SOUPS 15295 WITH SCORE 15314.67
AT ITER 1377 NEW BEST:: SOT 66673 SOS 19665 HAS SOPS 19665 HAS SOUS 15290 HAS SOUPS 15290 WITH SCORE 15309.665
AT ITER 1382 NEW BEST:: SOT 66660 SOS 19652 HAS SOPS 19652 HAS SOUS 15277 HAS SOUPS 15277 WITH SCORE 15296.652
AT ITER 1393 NEW BEST:: SOT 66653 SOS 19638 HAS SOPS 19638 HAS SOUS 15263 HAS SOUPS 15263 WITH SCORE 15282.638
AT ITER 1398 NEW BEST:: SOT 66646 SOS 19624 HAS SOPS 19624 HAS SOUS 15249 HAS SOUPS 15249 WITH SCORE 15268.624
AT ITER 1407 NEW BEST:: SOT 66646 SOS 19613 HAS SOPS 19613 HAS SOUS 15238 HAS SOUPS 15238 WITH SCORE 15257.613
AT ITER 1418 NEW BEST:: SOT 66638 SOS 19597 HAS SOPS 19597 HAS SOUS 15222 HAS SOUPS 15222 WITH SCORE 15241.597
AT ITER 1419 NEW BEST:: SOT 66603 SOS 19457 HAS SOPS 19457 HAS SOUS 15187 HAS SOUPS 15187 WITH SCORE 15206.457
AT ITER 1434 NEW BEST:: SOT 66555 SOS 19361 HAS SOPS 19361 HAS SOUS 15133 HAS SOUPS 15133 WITH SCORE 15152.361
AT ITER 1442 NEW BEST:: SOT 66554 SOS 19359 HAS SOPS 19359 HAS SOUS 15130 HAS SOUPS 15130 WITH SCORE 15149.359
AT ITER 1452 NEW BEST:: SOT 66552 SOS 19355 HAS SOPS 19355 HAS SOUS 15126 HAS SOUPS 15126 WITH SCORE 15145.355
AT ITER 1521 NEW BEST:: SOT 66552 SOS 19346 HAS SOPS 19346 HAS SOUS 15117 HAS SOUPS 15117 WITH SCORE 15136.346
AT ITER 1549 NEW BEST:: SOT 66552 SOS 19346 HAS SOPS 19346 HAS SOUS 15108 HAS SOUPS 15108 WITH SCORE 15127.346
AT ITER 1580 NEW BEST:: SOT 66546 SOS 19334 HAS SOPS 19334 HAS SOUS 15096 HAS SOUPS 15096 WITH SCORE 15115.334
AT ITER 1581 NEW BEST:: SOT 66546 SOS 19326 HAS SOPS 19326 HAS SOUS 15096 HAS SOUPS 15096 WITH SCORE 15115.326
AT ITER 1595 NEW BEST:: SOT 66539 SOS 19324 HAS SOPS 19324 HAS SOUS 15082 HAS SOUPS 15082 WITH SCORE 15101.324
AT ITER 1598 NEW BEST:: SOT 66539 SOS 19324 HAS SOPS 19324 HAS SOUS 15081 HAS SOUPS 15081 WITH SCORE 15100.324
AT ITER 1655 NEW BEST:: SOT 66499 SOS 19284 HAS SOPS 19284 HAS SOUS 15041 HAS SOUPS 15041 WITH SCORE 15060.284
AT ITER 1662 NEW BEST:: SOT 66460 SOS 19282 HAS SOPS 19282 HAS SOUS 15015 HAS SOUPS 15015 WITH SCORE 15034.282
AT ITER 1680 NEW BEST:: SOT 66460 SOS 19259 HAS SOPS 19259 HAS SOUS 14992 HAS SOUPS 14992 WITH SCORE 15011.259
AT ITER 1699 NEW BEST:: SOT 66475 SOS 19289 HAS SOPS 19289 HAS SOUS 14986 HAS SOUPS 14986 WITH SCORE 15005.289
AT ITER 1740 NEW BEST:: SOT 66474 SOS 19246 HAS SOPS 19246 HAS SOUS 14984 HAS SOUPS 14984 WITH SCORE 15003.246
AT ITER 1764 NEW BEST:: SOT 66451 SOS 19217 HAS SOPS 19217 HAS SOUS 14938 HAS SOUPS 14938 WITH SCORE 14957.217
AT ITER 1771 NEW BEST:: SOT 66454 SOS 19223 HAS SOPS 19223 HAS SOUS 14932 HAS SOUPS 14932 WITH SCORE 14951.223
AT ITER 1786 NEW BEST:: SOT 66454 SOS 19223 HAS SOPS 19223 HAS SOUS 14928 HAS SOUPS 14928 WITH SCORE 14947.223
AT ITER 1787 NEW BEST:: SOT 66447 SOS 19224 HAS SOPS 19224 HAS SOUS 14912 HAS SOUPS 14912 WITH SCORE 14931.224
AT ITER 1812 NEW BEST:: SOT 66435 SOS 19200 HAS SOPS 19200 HAS SOUS 14885 HAS SOUPS 14885 WITH SCORE 14904.2
AT ITER 1814 NEW BEST:: SOT 66433 SOS 19198 HAS SOPS 19198 HAS SOUS 14885 HAS SOUPS 14885 WITH SCORE 14904.198
AT ITER 1820 NEW BEST:: SOT 66431 SOS 19181 HAS SOPS 19181 HAS SOUS 14881 HAS SOUPS 14881 WITH SCORE 14900.181
AT ITER 1825 NEW BEST:: SOT 66431 SOS 19140 HAS SOPS 19140 HAS SOUS 14878 HAS SOUPS 14878 WITH SCORE 14897.14
AT ITER 1837 NEW BEST:: SOT 66431 SOS 19138 HAS SOPS 19138 HAS SOUS 14878 HAS SOUPS 14878 WITH SCORE 14897.138
AT ITER 1838 NEW BEST:: SOT 66457 SOS 19087 HAS SOPS 19087 HAS SOUS 14836 HAS SOUPS 14836 WITH SCORE 14855.087
AT ITER 1859 NEW BEST:: SOT 66457 SOS 19087 HAS SOPS 19087 HAS SOUS 14829 HAS SOUPS 14829 WITH SCORE 14848.087
AT ITER 1866 NEW BEST:: SOT 66449 SOS 19071 HAS SOPS 19071 HAS SOUS 14813 HAS SOUPS 14813 WITH SCORE 14832.071
AT ITER 1916 NEW BEST:: SOT 66450 SOS 19059 HAS SOPS 19059 HAS SOUS 14801 HAS SOUPS 14801 WITH SCORE 14820.059
AT ITER 1919 NEW BEST:: SOT 66450 SOS 19059 HAS SOPS 19059 HAS SOUS 14792 HAS SOUPS 14792 WITH SCORE 14811.059
AT ITER 1932 NEW BEST:: SOT 66439 SOS 19037 HAS SOPS 19037 HAS SOUS 14770 HAS SOUPS 14770 WITH SCORE 14789.037
AT ITER 1952 NEW BEST:: SOT 66433 SOS 19025 HAS SOPS 19025 HAS SOUS 14758 HAS SOUPS 14758 WITH SCORE 14777.025
AT ITER 1955 NEW BEST:: SOT 66433 SOS 18911 HAS SOPS 18911 HAS SOUS 14710 HAS SOUPS 14710 WITH SCORE 14728.911
AT ITER 1967 NEW BEST:: SOT 66410 SOS 18865 HAS SOPS 18865 HAS SOUS 14702 HAS SOUPS 14702 WITH SCORE 14720.865
AT ITER 1972 NEW BEST:: SOT 66402 SOS 18849 HAS SOPS 18849 HAS SOUS 14676 HAS SOUPS 14676 WITH SCORE 14694.849
AT ITER 2034 NEW BEST:: SOT 66390 SOS 18837 HAS SOPS 18837 HAS SOUS 14658 HAS SOUPS 14658 WITH SCORE 14676.837
AT ITER 2042 NEW BEST:: SOT 66405 SOS 18867 HAS SOPS 18867 HAS SOUS 14645 HAS SOUPS 14645 WITH SCORE 14663.867
AT ITER 2048 NEW BEST:: SOT 66405 SOS 18867 HAS SOPS 18867 HAS SOUS 14634 HAS SOUPS 14634 WITH SCORE 14652.867
AT ITER 2080 NEW BEST:: SOT 66405 SOS 18860 HAS SOPS 18860 HAS SOUS 14634 HAS SOUPS 14634 WITH SCORE 14652.86
AT ITER 2142 NEW BEST:: SOT 66406 SOS 18862 HAS SOPS 18862 HAS SOUS 14614 HAS SOUPS 14614 WITH SCORE 14632.862
AT ITER 2146 NEW BEST:: SOT 66362 SOS 18774 HAS SOPS 18774 HAS SOUS 14486 HAS SOUPS 14486 WITH SCORE 14504.774
AT ITER 2149 NEW BEST:: SOT 66360 SOS 18774 HAS SOPS 18774 HAS SOUS 14484 HAS SOUPS 14484 WITH SCORE 14502.774
AT ITER 2184 NEW BEST:: SOT 66368 SOS 18790 HAS SOPS 18790 HAS SOUS 14475 HAS SOUPS 14475 WITH SCORE 14493.79
AT ITER 2196 NEW BEST:: SOT 66368 SOS 18756 HAS SOPS 18756 HAS SOUS 14475 HAS SOUPS 14475 WITH SCORE 14493.756
AT ITER 2201 NEW BEST:: SOT 66360 SOS 18740 HAS SOPS 18740 HAS SOUS 14474 HAS SOUPS 14474 WITH SCORE 14492.74
AT ITER 2202 NEW BEST:: SOT 66329 SOS 18723 HAS SOPS 18723 HAS SOUS 14457 HAS SOUPS 14457 WITH SCORE 14475.723
AT ITER 2211 NEW BEST:: SOT 66329 SOS 18719 HAS SOPS 18719 HAS SOUS 14457 HAS SOUPS 14457 WITH SCORE 14475.719
AT ITER 2241 NEW BEST:: SOT 66330 SOS 18712 HAS SOPS 18712 HAS SOUS 14450 HAS SOUPS 14450 WITH SCORE 14468.712
AT ITER 2266 NEW BEST:: SOT 66335 SOS 18707 HAS SOPS 18707 HAS SOUS 14445 HAS SOUPS 14445 WITH SCORE 14463.707
AT ITER 2292 NEW BEST:: SOT 66347 SOS 18613 HAS SOPS 18613 HAS SOUS 14443 HAS SOUPS 14443 WITH SCORE 14461.613
AT ITER 2302 NEW BEST:: SOT 66347 SOS 18609 HAS SOPS 18609 HAS SOUS 14439 HAS SOUPS 14439 WITH SCORE 14457.609
AT ITER 2329 NEW BEST:: SOT 66347 SOS 18606 HAS SOPS 18606 HAS SOUS 14436 HAS SOUPS 14436 WITH SCORE 14454.606
AT ITER 2330 NEW BEST:: SOT 66332 SOS 18576 HAS SOPS 18576 HAS SOUS 14406 HAS SOUPS 14406 WITH SCORE 14424.576
AT ITER 2336 NEW BEST:: SOT 66331 SOS 18574 HAS SOPS 18574 HAS SOUS 14404 HAS SOUPS 14404 WITH SCORE 14422.574
AT ITER 2359 NEW BEST:: SOT 66308 SOS 16855 HAS SOPS 16855 HAS SOUS 14305 HAS SOUPS 14305 WITH SCORE 14321.855
AT ITER 2369 NEW BEST:: SOT 66314 SOS 16867 HAS SOPS 16867 HAS SOUS 14279 HAS SOUPS 14279 WITH SCORE 14295.867
AT ITER 2381 NEW BEST:: SOT 66312 SOS 16863 HAS SOPS 16863 HAS SOUS 14275 HAS SOUPS 14275 WITH SCORE 14291.863
AT ITER 2392 NEW BEST:: SOT 66296 SOS 16831 HAS SOPS 16831 HAS SOUS 14243 HAS SOUPS 14243 WITH SCORE 14259.831
AT ITER 2399 NEW BEST:: SOT 66274 SOS 16765 HAS SOPS 16765 HAS SOUS 14177 HAS SOUPS 14177 WITH SCORE 14193.765
AT ITER 2454 NEW BEST:: SOT 66273 SOS 16741 HAS SOPS 16741 HAS SOUS 14161 HAS SOUPS 14161 WITH SCORE 14177.741
AT ITER 2476 NEW BEST:: SOT 66280 SOS 16731 HAS SOPS 16731 HAS SOUS 14161 HAS SOUPS 14161 WITH SCORE 14177.731
AT ITER 2506 NEW BEST:: SOT 66280 SOS 16677 HAS SOPS 16677 HAS SOUS 14134 HAS SOUPS 14134 WITH SCORE 14150.677
AT ITER 2509 NEW BEST:: SOT 66268 SOS 16621 HAS SOPS 16621 HAS SOUS 14110 HAS SOUPS 14110 WITH SCORE 14126.621
AT ITER 2517 NEW BEST:: SOT 66257 SOS 16599 HAS SOPS 16599 HAS SOUS 14076 HAS SOUPS 14076 WITH SCORE 14092.599
AT ITER 2539 NEW BEST:: SOT 66251 SOS 16587 HAS SOPS 16587 HAS SOUS 14064 HAS SOUPS 14064 WITH SCORE 14080.587
AT ITER 2589 NEW BEST:: SOT 66251 SOS 16502 HAS SOPS 16502 HAS SOUS 14064 HAS SOUPS 14064 WITH SCORE 14080.502
AT ITER 2591 NEW BEST:: SOT 66251 SOS 16486 HAS SOPS 16486 HAS SOUS 14056 HAS SOUPS 14056 WITH SCORE 14072.486
AT ITER 2620 NEW BEST:: SOT 66251 SOS 16486 HAS SOPS 16486 HAS SOUS 14055 HAS SOUPS 14055 WITH SCORE 14071.486
AT ITER 2647 NEW BEST:: SOT 66248 SOS 16483 HAS SOPS 16483 HAS SOUS 14049 HAS SOUPS 14049 WITH SCORE 14065.483
AT ITER 2671 NEW BEST:: SOT 66227 SOS 16452 HAS SOPS 16452 HAS SOUS 14011 HAS SOUPS 14011 WITH SCORE 14027.452
AT ITER 2679 NEW BEST:: SOT 66218 SOS 16425 HAS SOPS 16425 HAS SOUS 13979 HAS SOUPS 13979 WITH SCORE 13995.425
AT ITER 2711 NEW BEST:: SOT 66204 SOS 16429 HAS SOPS 16429 HAS SOUS 13975 HAS SOUPS 13975 WITH SCORE 13991.429
AT ITER 2715 NEW BEST:: SOT 66203 SOS 16442 HAS SOPS 16442 HAS SOUS 13973 HAS SOUPS 13973 WITH SCORE 13989.442
AT ITER 2722 NEW BEST:: SOT 66207 SOS 16450 HAS SOPS 16450 HAS SOUS 13943 HAS SOUPS 13943 WITH SCORE 13959.45
AT ITER 2744 NEW BEST:: SOT 66199 SOS 16441 HAS SOPS 16441 HAS SOUS 13934 HAS SOUPS 13934 WITH SCORE 13950.441
AT ITER 2749 NEW BEST:: SOT 66160 SOS 16141 HAS SOPS 16141 HAS SOUS 13839 HAS SOUPS 13839 WITH SCORE 13855.141
AT ITER 2762 NEW BEST:: SOT 66163 SOS 16133 HAS SOPS 16133 HAS SOUS 13831 HAS SOUPS 13831 WITH SCORE 13847.133
AT ITER 2783 NEW BEST:: SOT 66122 SOS 16051 HAS SOPS 16051 HAS SOUS 13749 HAS SOUPS 13749 WITH SCORE 13765.051
AT ITER 2787 NEW BEST:: SOT 66123 SOS 16053 HAS SOPS 16053 HAS SOUS 13745 HAS SOUPS 13745 WITH SCORE 13761.053
AT ITER 2795 NEW BEST:: SOT 66105 SOS 15999 HAS SOPS 15999 HAS SOUS 13695 HAS SOUPS 13695 WITH SCORE 13710.999
AT ITER 2812 NEW BEST:: SOT 66102 SOS 15993 HAS SOPS 15993 HAS SOUS 13689 HAS SOUPS 13689 WITH SCORE 13704.993
AT ITER 2819 NEW BEST:: SOT 66094 SOS 15939 HAS SOPS 15939 HAS SOUS 13680 HAS SOUPS 13680 WITH SCORE 13695.939
AT ITER 2859 NEW BEST:: SOT 66099 SOS 15944 HAS SOPS 15944 HAS SOUS 13667 HAS SOUPS 13667 WITH SCORE 13682.944
AT ITER 2861 NEW BEST:: SOT 66098 SOS 15943 HAS SOPS 15943 HAS SOUS 13666 HAS SOUPS 13666 WITH SCORE 13681.943
AT ITER 2877 NEW BEST:: SOT 66090 SOS 15927 HAS SOPS 15927 HAS SOUS 13650 HAS SOUPS 13650 WITH SCORE 13665.927
AT ITER 2893 NEW BEST:: SOT 66088 SOS 15923 HAS SOPS 15923 HAS SOUS 13646 HAS SOUPS 13646 WITH SCORE 13661.923
AT ITER 2901 NEW BEST:: SOT 66086 SOS 15922 HAS SOPS 15922 HAS SOUS 13645 HAS SOUPS 13645 WITH SCORE 13660.922
AT ITER 2922 NEW BEST:: SOT 66100 SOS 15918 HAS SOPS 15918 HAS SOUS 13640 HAS SOUPS 13640 WITH SCORE 13655.918
AT ITER 2944 NEW BEST:: SOT 66109 SOS 15899 HAS SOPS 15899 HAS SOUS 13621 HAS SOUPS 13621 WITH SCORE 13636.899
AT ITER 2946 NEW BEST:: SOT 66107 SOS 15895 HAS SOPS 15895 HAS SOUS 13604 HAS SOUPS 13604 WITH SCORE 13619.895
AT ITER 2947 NEW BEST:: SOT 66106 SOS 15894 HAS SOPS 15894 HAS SOUS 13603 HAS SOUPS 13603 WITH SCORE 13618.894
AT ITER 2953 NEW BEST:: SOT 66079 SOS 15888 HAS SOPS 15888 HAS SOUS 13573 HAS SOUPS 13573 WITH SCORE 13588.888
AT ITER 2957 NEW BEST:: SOT 66038 SOS 15851 HAS SOPS 15851 HAS SOUS 13536 HAS SOUPS 13536 WITH SCORE 13551.851
AT ITER 2968 NEW BEST:: SOT 66034 SOS 15847 HAS SOPS 15847 HAS SOUS 13532 HAS SOUPS 13532 WITH SCORE 13547.847
AT ITER 2969 NEW BEST:: SOT 66018 SOS 15815 HAS SOPS 15815 HAS SOUS 13506 HAS SOUPS 13506 WITH SCORE 13521.815
AT ITER 2971 NEW BEST:: SOT 66105 SOS 15815 HAS SOPS 15815 HAS SOUS 13485 HAS SOUPS 13485 WITH SCORE 13500.815
AT ITER 2977 NEW BEST:: SOT 66096 SOS 15797 HAS SOPS 15797 HAS SOUS 13467 HAS SOUPS 13467 WITH SCORE 13482.797
AT ITER 3011 NEW BEST:: SOT 66097 SOS 15796 HAS SOPS 15796 HAS SOUS 13467 HAS SOUPS 13467 WITH SCORE 13482.796
AT ITER 3048 NEW BEST:: SOT 66077 SOS 15756 HAS SOPS 15756 HAS SOUS 13427 HAS SOUPS 13427 WITH SCORE 13442.756
AT ITER 3115 NEW BEST:: SOT 66045 SOS 15692 HAS SOPS 15692 HAS SOUS 13352 HAS SOUPS 13352 WITH SCORE 13367.692
AT ITER 3122 NEW BEST:: SOT 66020 SOS 15683 HAS SOPS 15683 HAS SOUS 13342 HAS SOUPS 13342 WITH SCORE 13357.683
AT ITER 3123 NEW BEST:: SOT 66047 SOS 15710 HAS SOPS 15710 HAS SOUS 13339 HAS SOUPS 13339 WITH SCORE 13354.71
AT ITER 3194 NEW BEST:: SOT 65950 SOS 15628 HAS SOPS 15628 HAS SOUS 13252 HAS SOUPS 13252 WITH SCORE 13267.628
AT ITER 3196 NEW BEST:: SOT 65950 SOS 15619 HAS SOPS 15619 HAS SOUS 13243 HAS SOUPS 13243 WITH SCORE 13258.619
AT ITER 3209 NEW BEST:: SOT 65948 SOS 15615 HAS SOPS 15615 HAS SOUS 13241 HAS SOUPS 13241 WITH SCORE 13256.615
AT ITER 3219 NEW BEST:: SOT 65924 SOS 15579 HAS SOPS 15579 HAS SOUS 13210 HAS SOUPS 13210 WITH SCORE 13225.579
AT ITER 3318 NEW BEST:: SOT 65895 SOS 15603 HAS SOPS 15603 HAS SOUS 13200 HAS SOUPS 13200 WITH SCORE 13215.603
AT ITER 3320 NEW BEST:: SOT 65875 SOS 15563 HAS SOPS 15563 HAS SOUS 13163 HAS SOUPS 13163 WITH SCORE 13178.563
AT ITER 3345 NEW BEST:: SOT 65873 SOS 15555 HAS SOPS 15555 HAS SOUS 13159 HAS SOUPS 13159 WITH SCORE 13174.555
AT ITER 3354 NEW BEST:: SOT 65872 SOS 15553 HAS SOPS 15553 HAS SOUS 13157 HAS SOUPS 13157 WITH SCORE 13172.553
AT ITER 3355 NEW BEST:: SOT 65868 SOS 15545 HAS SOPS 15545 HAS SOUS 13149 HAS SOUPS 13149 WITH SCORE 13164.545
AT ITER 3363 NEW BEST:: SOT 65868 SOS 15539 HAS SOPS 15539 HAS SOUS 13143 HAS SOUPS 13143 WITH SCORE 13158.539
AT ITER 3401 NEW BEST:: SOT 65864 SOS 15541 HAS SOPS 15541 HAS SOUS 13135 HAS SOUPS 13135 WITH SCORE 13150.541
AT ITER 3446 NEW BEST:: SOT 65857 SOS 15527 HAS SOPS 15527 HAS SOUS 13121 HAS SOUPS 13121 WITH SCORE 13136.527
AT ITER 3478 NEW BEST:: SOT 65857 SOS 15527 HAS SOPS 15527 HAS SOUS 13107 HAS SOUPS 13107 WITH SCORE 13122.527
AT ITER 3490 NEW BEST:: SOT 65859 SOS 15523 HAS SOPS 15523 HAS SOUS 13103 HAS SOUPS 13103 WITH SCORE 13118.523
AT ITER 3592 NEW BEST:: SOT 65859 SOS 15523 HAS SOPS 15523 HAS SOUS 13085 HAS SOUPS 13085 WITH SCORE 13100.523
AT ITER 3613 NEW BEST:: SOT 65829 SOS 15478 HAS SOPS 15478 HAS SOUS 13040 HAS SOUPS 13040 WITH SCORE 13055.478
AT ITER 3664 NEW BEST:: SOT 65829 SOS 15478 HAS SOPS 15478 HAS SOUS 13028 HAS SOUPS 13028 WITH SCORE 13043.478
AT ITER 3668 NEW BEST:: SOT 65829 SOS 15478 HAS SOPS 15478 HAS SOUS 13021 HAS SOUPS 13021 WITH SCORE 13036.478
AT ITER 3715 NEW BEST:: SOT 65775 SOS 15424 HAS SOPS 15424 HAS SOUS 12967 HAS SOUPS 12967 WITH SCORE 12982.424
AT ITER 3803 NEW BEST:: SOT 65774 SOS 15422 HAS SOPS 15422 HAS SOUS 12962 HAS SOUPS 12962 WITH SCORE 12977.422
AT ITER 3827 NEW BEST:: SOT 65767 SOS 15415 HAS SOPS 15415 HAS SOUS 12948 HAS SOUPS 12948 WITH SCORE 12963.415
AT ITER 3834 NEW BEST:: SOT 65767 SOS 15367 HAS SOPS 15367 HAS SOUS 12924 HAS SOUPS 12924 WITH SCORE 12939.367
AT ITER 3840 NEW BEST:: SOT 65742 SOS 15317 HAS SOPS 15317 HAS SOUS 12874 HAS SOUPS 12874 WITH SCORE 12889.317
AT ITER 3841 NEW BEST:: SOT 65736 SOS 15305 HAS SOPS 15305 HAS SOUS 12862 HAS SOUPS 12862 WITH SCORE 12877.305
AT ITER 3952 NEW BEST:: SOT 65760 SOS 14699 HAS SOPS 14699 HAS SOUS 12835 HAS SOUPS 12835 WITH SCORE 12849.699
AT ITER 4017 NEW BEST:: SOT 65758 SOS 14673 HAS SOPS 14673 HAS SOUS 12809 HAS SOUPS 12809 WITH SCORE 12823.673
AT ITER 4101 NEW BEST:: SOT 65851 SOS 14663 HAS SOPS 14663 HAS SOUS 12799 HAS SOUPS 12799 WITH SCORE 12813.663
AT ITER 4110 NEW BEST:: SOT 65842 SOS 14645 HAS SOPS 14645 HAS SOUS 12781 HAS SOUPS 12781 WITH SCORE 12795.645
AT ITER 4145 NEW BEST:: SOT 65842 SOS 14609 HAS SOPS 14609 HAS SOUS 12757 HAS SOUPS 12757 WITH SCORE 12771.609
AT ITER 4160 NEW BEST:: SOT 65838 SOS 14601 HAS SOPS 14601 HAS SOUS 12711 HAS SOUPS 12711 WITH SCORE 12725.601
AT ITER 4178 NEW BEST:: SOT 65838 SOS 14597 HAS SOPS 14597 HAS SOUS 12707 HAS SOUPS 12707 WITH SCORE 12721.597
AT ITER 4201 NEW BEST:: SOT 65838 SOS 14597 HAS SOPS 14597 HAS SOUS 12704 HAS SOUPS 12704 WITH SCORE 12718.597
AT ITER 4208 NEW BEST:: SOT 65838 SOS 14430 HAS SOPS 14430 HAS SOUS 12704 HAS SOUPS 12704 WITH SCORE 12718.43
AT ITER 4216 NEW BEST:: SOT 65835 SOS 14427 HAS SOPS 14427 HAS SOUS 12704 HAS SOUPS 12704 WITH SCORE 12718.427
AT ITER 4231 NEW BEST:: SOT 65839 SOS 14377 HAS SOPS 14377 HAS SOUS 12697 HAS SOUPS 12697 WITH SCORE 12711.377
AT ITER 4233 NEW BEST:: SOT 65843 SOS 14385 HAS SOPS 14385 HAS SOUS 12692 HAS SOUPS 12692 WITH SCORE 12706.385
AT ITER 4249 NEW BEST:: SOT 65837 SOS 14361 HAS SOPS 14361 HAS SOUS 12674 HAS SOUPS 12674 WITH SCORE 12688.361
AT ITER 4270 NEW BEST:: SOT 65837 SOS 14355 HAS SOPS 14355 HAS SOUS 12668 HAS SOUPS 12668 WITH SCORE 12682.355
AT ITER 4282 NEW BEST:: SOT 65835 SOS 14351 HAS SOPS 14351 HAS SOUS 12666 HAS SOUPS 12666 WITH SCORE 12680.351
AT ITER 4308 NEW BEST:: SOT 65834 SOS 14350 HAS SOPS 14350 HAS SOUS 12665 HAS SOUPS 12665 WITH SCORE 12679.35
AT ITER 4407 NEW BEST:: SOT 65832 SOS 14346 HAS SOPS 14346 HAS SOUS 12661 HAS SOUPS 12661 WITH SCORE 12675.346
AT ITER 4408 NEW BEST:: SOT 65833 SOS 14348 HAS SOPS 14348 HAS SOUS 12643 HAS SOUPS 12643 WITH SCORE 12657.348
AT ITER 4441 NEW BEST:: SOT 65803 SOS 14318 HAS SOPS 14318 HAS SOUS 12643 HAS SOUPS 12643 WITH SCORE 12657.318
AT ITER 4448 NEW BEST:: SOT 65780 SOS 14277 HAS SOPS 14277 HAS SOUS 12602 HAS SOUPS 12602 WITH SCORE 12616.277
AT ITER 4466 NEW BEST:: SOT 65693 SOS 14225 HAS SOPS 14225 HAS SOUS 12578 HAS SOUPS 12578 WITH SCORE 12592.225
AT ITER 4483 NEW BEST:: SOT 65675 SOS 14189 HAS SOPS 14189 HAS SOUS 12578 HAS SOUPS 12578 WITH SCORE 12592.189
AT ITER 4496 NEW BEST:: SOT 65675 SOS 14189 HAS SOPS 14189 HAS SOUS 12557 HAS SOUPS 12557 WITH SCORE 12571.189
AT ITER 4502 NEW BEST:: SOT 65671 SOS 14181 HAS SOPS 14181 HAS SOUS 12553 HAS SOUPS 12553 WITH SCORE 12567.181
AT ITER 4511 NEW BEST:: SOT 65671 SOS 14176 HAS SOPS 14176 HAS SOUS 12548 HAS SOUPS 12548 WITH SCORE 12562.176
AT ITER 4524 NEW BEST:: SOT 65671 SOS 14176 HAS SOPS 14176 HAS SOUS 12543 HAS SOUPS 12543 WITH SCORE 12557.176
AT ITER 4554 NEW BEST:: SOT 65664 SOS 14169 HAS SOPS 14169 HAS SOUS 12532 HAS SOUPS 12532 WITH SCORE 12546.169
AT ITER 4641 NEW BEST:: SOT 65663 SOS 14166 HAS SOPS 14166 HAS SOUS 12530 HAS SOUPS 12530 WITH SCORE 12544.166
AT ITER 4655 NEW BEST:: SOT 65663 SOS 14165 HAS SOPS 14165 HAS SOUS 12529 HAS SOUPS 12529 WITH SCORE 12543.165
AT ITER 4699 NEW BEST:: SOT 65609 SOS 14111 HAS SOPS 14111 HAS SOUS 12485 HAS SOUPS 12485 WITH SCORE 12499.111
AT ITER 4713 NEW BEST:: SOT 65619 SOS 14108 HAS SOPS 14108 HAS SOUS 12478 HAS SOUPS 12478 WITH SCORE 12492.108
AT ITER 4780 NEW BEST:: SOT 65612 SOS 14094 HAS SOPS 14094 HAS SOUS 12464 HAS SOUPS 12464 WITH SCORE 12478.094
AT ITER 4786 NEW BEST:: SOT 65570 SOS 14399 HAS SOPS 14399 HAS SOUS 12456 HAS SOUPS 12456 WITH SCORE 12470.399
AT ITER 4809 NEW BEST:: SOT 65570 SOS 14391 HAS SOPS 14391 HAS SOUS 12448 HAS SOUPS 12448 WITH SCORE 12462.391
AT ITER 4849 NEW BEST:: SOT 65574 SOS 14374 HAS SOPS 14374 HAS SOUS 12435 HAS SOUPS 12435 WITH SCORE 12449.374
AT ITER 4863 NEW BEST:: SOT 65564 SOS 14364 HAS SOPS 14364 HAS SOUS 12433 HAS SOUPS 12433 WITH SCORE 12447.364
AT ITER 4896 NEW BEST:: SOT 65563 SOS 14362 HAS SOPS 14362 HAS SOUS 12407 HAS SOUPS 12407 WITH SCORE 12421.362
AT ITER 4899 NEW BEST:: SOT 65561 SOS 14358 HAS SOPS 14358 HAS SOUS 12403 HAS SOUPS 12403 WITH SCORE 12417.358
AT ITER 4914 NEW BEST:: SOT 65556 SOS 14348 HAS SOPS 14348 HAS SOUS 12393 HAS SOUPS 12393 WITH SCORE 12407.348
AT ITER 4938 NEW BEST:: SOT 65554 SOS 14348 HAS SOPS 14348 HAS SOUS 12391 HAS SOUPS 12391 WITH SCORE 12405.348
AT ITER 4944 NEW BEST:: SOT 65488 SOS 14338 HAS SOPS 14338 HAS SOUS 12336 HAS SOUPS 12336 WITH SCORE 12350.338
AT ITER 4970 NEW BEST:: SOT 65481 SOS 14331 HAS SOPS 14331 HAS SOUS 12329 HAS SOUPS 12329 WITH SCORE 12343.331
AT ITER 4980 NEW BEST:: SOT 65481 SOS 14331 HAS SOPS 14331 HAS SOUS 12316 HAS SOUPS 12316 WITH SCORE 12330.331
AT ITER 5001 NEW BEST:: SOT 65480 SOS 14329 HAS SOPS 14329 HAS SOUS 12314 HAS SOUPS 12314 WITH SCORE 12328.329
AT ITER 5013 NEW BEST:: SOT 65480 SOS 14325 HAS SOPS 14325 HAS SOUS 12310 HAS SOUPS 12310 WITH SCORE 12324.325
AT ITER 5028 NEW BEST:: SOT 65478 SOS 14321 HAS SOPS 14321 HAS SOUS 12306 HAS SOUPS 12306 WITH SCORE 12320.321
AT ITER 5032 NEW BEST:: SOT 65501 SOS 14319 HAS SOPS 14319 HAS SOUS 12304 HAS SOUPS 12304 WITH SCORE 12318.319
AT ITER 5075 NEW BEST:: SOT 65501 SOS 14319 HAS SOPS 14319 HAS SOUS 12289 HAS SOUPS 12289 WITH SCORE 12303.319
AT ITER 5113 NEW BEST:: SOT 65501 SOS 14287 HAS SOPS 14287 HAS SOUS 12273 HAS SOUPS 12273 WITH SCORE 12287.287
AT ITER 5125 NEW BEST:: SOT 65517 SOS 14145 HAS SOPS 14145 HAS SOUS 12175 HAS SOUPS 12175 WITH SCORE 12189.145
AT ITER 5136 NEW BEST:: SOT 65515 SOS 14143 HAS SOPS 14143 HAS SOUS 12173 HAS SOUPS 12173 WITH SCORE 12187.143
AT ITER 5163 NEW BEST:: SOT 65516 SOS 14137 HAS SOPS 14137 HAS SOUS 12172 HAS SOUPS 12172 WITH SCORE 12186.137
AT ITER 5190 NEW BEST:: SOT 65551 SOS 14119 HAS SOPS 14119 HAS SOUS 12154 HAS SOUPS 12154 WITH SCORE 12168.119
AT ITER 5215 NEW BEST:: SOT 65556 SOS 14117 HAS SOPS 14117 HAS SOUS 12152 HAS SOUPS 12152 WITH SCORE 12166.117
AT ITER 5217 NEW BEST:: SOT 65543 SOS 14104 HAS SOPS 14104 HAS SOUS 12152 HAS SOUPS 12152 WITH SCORE 12166.104
AT ITER 5227 NEW BEST:: SOT 65534 SOS 14086 HAS SOPS 14086 HAS SOUS 12134 HAS SOUPS 12134 WITH SCORE 12148.086
AT ITER 5273 NEW BEST:: SOT 65534 SOS 14010 HAS SOPS 14010 HAS SOUS 12096 HAS SOUPS 12096 WITH SCORE 12110.01
AT ITER 5281 NEW BEST:: SOT 65501 SOS 13944 HAS SOPS 13944 HAS SOUS 12086 HAS SOUPS 12086 WITH SCORE 12099.944
AT ITER 5291 NEW BEST:: SOT 65499 SOS 13940 HAS SOPS 13940 HAS SOUS 12082 HAS SOUPS 12082 WITH SCORE 12095.94
AT ITER 5298 NEW BEST:: SOT 65497 SOS 13936 HAS SOPS 13936 HAS SOUS 12076 HAS SOUPS 12076 WITH SCORE 12089.936
AT ITER 5359 NEW BEST:: SOT 65490 SOS 13922 HAS SOPS 13922 HAS SOUS 12062 HAS SOUPS 12062 WITH SCORE 12075.922
AT ITER 5367 NEW BEST:: SOT 65485 SOS 13917 HAS SOPS 13917 HAS SOUS 12052 HAS SOUPS 12052 WITH SCORE 12065.917
AT ITER 5411 NEW BEST:: SOT 65465 SOS 13897 HAS SOPS 13897 HAS SOUS 12032 HAS SOUPS 12032 WITH SCORE 12045.897
AT ITER 5458 NEW BEST:: SOT 65462 SOS 13891 HAS SOPS 13891 HAS SOUS 12016 HAS SOUPS 12016 WITH SCORE 12029.891
AT ITER 5531 NEW BEST:: SOT 65457 SOS 13881 HAS SOPS 13881 HAS SOUS 12006 HAS SOUPS 12006 WITH SCORE 12019.881
AT ITER 5598 NEW BEST:: SOT 65455 SOS 13879 HAS SOPS 13879 HAS SOUS 12004 HAS SOUPS 12004 WITH SCORE 12017.879
AT ITER 5606 NEW BEST:: SOT 65459 SOS 13860 HAS SOPS 13860 HAS SOUS 11985 HAS SOUPS 11985 WITH SCORE 11998.86
AT ITER 5612 NEW BEST:: SOT 65458 SOS 13861 HAS SOPS 13861 HAS SOUS 11983 HAS SOUPS 11983 WITH SCORE 11996.861
AT ITER 5624 NEW BEST:: SOT 65463 SOS 13858 HAS SOPS 13858 HAS SOUS 11980 HAS SOUPS 11980 WITH SCORE 11993.858
AT ITER 5644 NEW BEST:: SOT 65463 SOS 13858 HAS SOPS 13858 HAS SOUS 11973 HAS SOUPS 11973 WITH SCORE 11986.858
AT ITER 5732 NEW BEST:: SOT 65461 SOS 13854 HAS SOPS 13854 HAS SOUS 11969 HAS SOUPS 11969 WITH SCORE 11982.854
AT ITER 5804 NEW BEST:: SOT 65458 SOS 13848 HAS SOPS 13848 HAS SOUS 11957 HAS SOUPS 11957 WITH SCORE 11970.848
AT ITER 5889 NEW BEST:: SOT 65459 SOS 13845 HAS SOPS 13845 HAS SOUS 11954 HAS SOUPS 11954 WITH SCORE 11967.845
AT ITER 5907 NEW BEST:: SOT 65452 SOS 13831 HAS SOPS 13831 HAS SOUS 11947 HAS SOUPS 11947 WITH SCORE 11960.831
AT ITER 5926 NEW BEST:: SOT 65451 SOS 13828 HAS SOPS 13828 HAS SOUS 11945 HAS SOUPS 11945 WITH SCORE 11958.828
AT ITER 6019 NEW BEST:: SOT 65447 SOS 13820 HAS SOPS 13820 HAS SOUS 11923 HAS SOUPS 11923 WITH SCORE 11936.82
AT ITER 6020 NEW BEST:: SOT 65425 SOS 13810 HAS SOPS 13810 HAS SOUS 11913 HAS SOUPS 11913 WITH SCORE 11926.81
AT ITER 6029 NEW BEST:: SOT 65425 SOS 13787 HAS SOPS 13787 HAS SOUS 11910 HAS SOUPS 11910 WITH SCORE 11923.787
AT ITER 6098 NEW BEST:: SOT 65420 SOS 13782 HAS SOPS 13782 HAS SOUS 11910 HAS SOUPS 11910 WITH SCORE 11923.782
AT ITER 6122 NEW BEST:: SOT 65423 SOS 13788 HAS SOPS 13788 HAS SOUS 11908 HAS SOUPS 11908 WITH SCORE 11921.788
AT ITER 6210 NEW BEST:: SOT 65423 SOS 13735 HAS SOPS 13735 HAS SOUS 11908 HAS SOUPS 11908 WITH SCORE 11921.735
AT ITER 6219 NEW BEST:: SOT 65412 SOS 13713 HAS SOPS 13713 HAS SOUS 11886 HAS SOUPS 11886 WITH SCORE 11899.713
AT ITER 6240 NEW BEST:: SOT 65410 SOS 13709 HAS SOPS 13709 HAS SOUS 11882 HAS SOUPS 11882 WITH SCORE 11895.709
AT ITER 6257 NEW BEST:: SOT 65422 SOS 13706 HAS SOPS 13706 HAS SOUS 11879 HAS SOUPS 11879 WITH SCORE 11892.706
AT ITER 6271 NEW BEST:: SOT 65420 SOS 13702 HAS SOPS 13702 HAS SOUS 11875 HAS SOUPS 11875 WITH SCORE 11888.702
AT ITER 6311 NEW BEST:: SOT 65420 SOS 13768 HAS SOPS 13768 HAS SOUS 11868 HAS SOUPS 11868 WITH SCORE 11881.768
AT ITER 6325 NEW BEST:: SOT 65420 SOS 13766 HAS SOPS 13766 HAS SOUS 11866 HAS SOUPS 11866 WITH SCORE 11879.766
AT ITER 6346 NEW BEST:: SOT 65426 SOS 13728 HAS SOPS 13728 HAS SOUS 11853 HAS SOUPS 11853 WITH SCORE 11866.728
AT ITER 6384 NEW BEST:: SOT 65449 SOS 13727 HAS SOPS 13727 HAS SOUS 11852 HAS SOUPS 11852 WITH SCORE 11865.727
AT ITER 6389 NEW BEST:: SOT 65456 SOS 13734 HAS SOPS 13734 HAS SOUS 11835 HAS SOUPS 11835 WITH SCORE 11848.734
AT ITER 6402 NEW BEST:: SOT 65476 SOS 13676 HAS SOPS 13676 HAS SOUS 11826 HAS SOUPS 11826 WITH SCORE 11839.676
AT ITER 6431 NEW BEST:: SOT 65472 SOS 13669 HAS SOPS 13669 HAS SOUS 11819 HAS SOUPS 11819 WITH SCORE 11832.669
AT ITER 6457 NEW BEST:: SOT 65466 SOS 13657 HAS SOPS 13657 HAS SOUS 11812 HAS SOUPS 11812 WITH SCORE 11825.657
AT ITER 6469 NEW BEST:: SOT 65466 SOS 13601 HAS SOPS 13601 HAS SOUS 11784 HAS SOUPS 11784 WITH SCORE 11797.601
AT ITER 6487 NEW BEST:: SOT 65459 SOS 13542 HAS SOPS 13542 HAS SOUS 11770 HAS SOUPS 11770 WITH SCORE 11783.542
AT ITER 6498 NEW BEST:: SOT 65459 SOS 13542 HAS SOPS 13542 HAS SOUS 11768 HAS SOUPS 11768 WITH SCORE 11781.542
AT ITER 6508 NEW BEST:: SOT 65496 SOS 13552 HAS SOPS 13552 HAS SOUS 11746 HAS SOUPS 11746 WITH SCORE 11759.552
AT ITER 6542 NEW BEST:: SOT 65506 SOS 13546 HAS SOPS 13546 HAS SOUS 11740 HAS SOUPS 11740 WITH SCORE 11753.546
AT ITER 6594 NEW BEST:: SOT 65507 SOS 13557 HAS SOPS 13557 HAS SOUS 11733 HAS SOUPS 11733 WITH SCORE 11746.557
AT ITER 6650 NEW BEST:: SOT 65502 SOS 13547 HAS SOPS 13547 HAS SOUS 11730 HAS SOUPS 11730 WITH SCORE 11743.547
AT ITER 6654 NEW BEST:: SOT 65493 SOS 13529 HAS SOPS 13529 HAS SOUS 11712 HAS SOUPS 11712 WITH SCORE 11725.529
AT ITER 6669 NEW BEST:: SOT 65489 SOS 13521 HAS SOPS 13521 HAS SOUS 11704 HAS SOUPS 11704 WITH SCORE 11717.521
AT ITER 6688 NEW BEST:: SOT 65488 SOS 13519 HAS SOPS 13519 HAS SOUS 11702 HAS SOUPS 11702 WITH SCORE 11715.519
AT ITER 6705 NEW BEST:: SOT 65476 SOS 13511 HAS SOPS 13511 HAS SOUS 11694 HAS SOUPS 11694 WITH SCORE 11707.511
AT ITER 6707 NEW BEST:: SOT 65472 SOS 13499 HAS SOPS 13499 HAS SOUS 11668 HAS SOUPS 11668 WITH SCORE 11681.499
AT ITER 6751 NEW BEST:: SOT 65472 SOS 13469 HAS SOPS 13469 HAS SOUS 11645 HAS SOUPS 11645 WITH SCORE 11658.469
AT ITER 6759 NEW BEST:: SOT 65468 SOS 13461 HAS SOPS 13461 HAS SOUS 11641 HAS SOUPS 11641 WITH SCORE 11654.461
AT ITER 6775 NEW BEST:: SOT 65462 SOS 13397 HAS SOPS 13397 HAS SOUS 11603 HAS SOUPS 11603 WITH SCORE 11616.397
AT ITER 6794 NEW BEST:: SOT 65473 SOS 13357 HAS SOPS 13357 HAS SOUS 11566 HAS SOUPS 11566 WITH SCORE 11579.357
AT ITER 6808 NEW BEST:: SOT 65469 SOS 13349 HAS SOPS 13349 HAS SOUS 11558 HAS SOUPS 11558 WITH SCORE 11571.349
AT ITER 6839 NEW BEST:: SOT 65467 SOS 13345 HAS SOPS 13345 HAS SOUS 11554 HAS SOUPS 11554 WITH SCORE 11567.345
AT ITER 6941 NEW BEST:: SOT 65444 SOS 13326 HAS SOPS 13326 HAS SOUS 11535 HAS SOUPS 11535 WITH SCORE 11548.326
AT ITER 6943 NEW BEST:: SOT 65439 SOS 13316 HAS SOPS 13316 HAS SOUS 11525 HAS SOUPS 11525 WITH SCORE 11538.316
AT ITER 6960 NEW BEST:: SOT 65431 SOS 13300 HAS SOPS 13300 HAS SOUS 11509 HAS SOUPS 11509 WITH SCORE 11522.3
AT ITER 6983 NEW BEST:: SOT 65431 SOS 13293 HAS SOPS 13293 HAS SOUS 11509 HAS SOUPS 11509 WITH SCORE 11522.293
AT ITER 7003 NEW BEST:: SOT 65428 SOS 13290 HAS SOPS 13290 HAS SOUS 11506 HAS SOUPS 11506 WITH SCORE 11519.29
AT ITER 7023 NEW BEST:: SOT 65427 SOS 13285 HAS SOPS 13285 HAS SOUS 11503 HAS SOUPS 11503 WITH SCORE 11516.285
AT ITER 7110 NEW BEST:: SOT 65416 SOS 13263 HAS SOPS 13263 HAS SOUS 11474 HAS SOUPS 11474 WITH SCORE 11487.263
AT ITER 7116 NEW BEST:: SOT 65424 SOS 13256 HAS SOPS 13256 HAS SOUS 11470 HAS SOUPS 11470 WITH SCORE 11483.256
AT ITER 7127 NEW BEST:: SOT 65422 SOS 13255 HAS SOPS 13255 HAS SOUS 11468 HAS SOUPS 11468 WITH SCORE 11481.255
AT ITER 7168 NEW BEST:: SOT 65402 SOS 13253 HAS SOPS 13253 HAS SOUS 11466 HAS SOUPS 11466 WITH SCORE 11479.253
AT ITER 7195 NEW BEST:: SOT 65400 SOS 13249 HAS SOPS 13249 HAS SOUS 11462 HAS SOUPS 11462 WITH SCORE 11475.249
AT ITER 7295 NEW BEST:: SOT 65398 SOS 13245 HAS SOPS 13245 HAS SOUS 11458 HAS SOUPS 11458 WITH SCORE 11471.245
AT ITER 7296 NEW BEST:: SOT 65398 SOS 13231 HAS SOPS 13231 HAS SOUS 11444 HAS SOUPS 11444 WITH SCORE 11457.231
AT ITER 7301 NEW BEST:: SOT 65388 SOS 13224 HAS SOPS 13224 HAS SOUS 11437 HAS SOUPS 11437 WITH SCORE 11450.224
AT ITER 7325 NEW BEST:: SOT 65388 SOS 13224 HAS SOPS 13224 HAS SOUS 11422 HAS SOUPS 11422 WITH SCORE 11435.224
AT ITER 7354 NEW BEST:: SOT 65387 SOS 13222 HAS SOPS 13222 HAS SOUS 11420 HAS SOUPS 11420 WITH SCORE 11433.222
AT ITER 7385 NEW BEST:: SOT 65383 SOS 13214 HAS SOPS 13214 HAS SOUS 11412 HAS SOUPS 11412 WITH SCORE 11425.214
AT ITER 7451 NEW BEST:: SOT 65382 SOS 13212 HAS SOPS 13212 HAS SOUS 11411 HAS SOUPS 11411 WITH SCORE 11424.212
AT ITER 7487 NEW BEST:: SOT 65377 SOS 13202 HAS SOPS 13202 HAS SOUS 11401 HAS SOUPS 11401 WITH SCORE 11414.202
AT ITER 7555 NEW BEST:: SOT 65384 SOS 13199 HAS SOPS 13199 HAS SOUS 11398 HAS SOUPS 11398 WITH SCORE 11411.199
AT ITER 7572 NEW BEST:: SOT 65360 SOS 13151 HAS SOPS 13151 HAS SOUS 11326 HAS SOUPS 11326 WITH SCORE 11339.151
AT ITER 7583 NEW BEST:: SOT 65357 SOS 13145 HAS SOPS 13145 HAS SOUS 11320 HAS SOUPS 11320 WITH SCORE 11333.145
AT ITER 7623 NEW BEST:: SOT 65346 SOS 13123 HAS SOPS 13123 HAS SOUS 11298 HAS SOUPS 11298 WITH SCORE 11311.123
AT ITER 7639 NEW BEST:: SOT 65346 SOS 13106 HAS SOPS 13106 HAS SOUS 11281 HAS SOUPS 11281 WITH SCORE 11294.106
AT ITER 7658 NEW BEST:: SOT 65363 SOS 13048 HAS SOPS 13048 HAS SOUS 11269 HAS SOUPS 11269 WITH SCORE 11282.048
AT ITER 7709 NEW BEST:: SOT 65347 SOS 13042 HAS SOPS 13042 HAS SOUS 11263 HAS SOUPS 11263 WITH SCORE 11276.042
AT ITER 7731 NEW BEST:: SOT 65345 SOS 13040 HAS SOPS 13040 HAS SOUS 11261 HAS SOUPS 11261 WITH SCORE 11274.04
AT ITER 7773 NEW BEST:: SOT 65347 SOS 13018 HAS SOPS 13018 HAS SOUS 11252 HAS SOUPS 11252 WITH SCORE 11265.018
AT ITER 7801 NEW BEST:: SOT 65346 SOS 13016 HAS SOPS 13016 HAS SOUS 11250 HAS SOUPS 11250 WITH SCORE 11263.016
AT ITER 7878 NEW BEST:: SOT 65336 SOS 13013 HAS SOPS 13013 HAS SOUS 11247 HAS SOUPS 11247 WITH SCORE 11260.013
AT ITER 7885 NEW BEST:: SOT 65337 SOS 13015 HAS SOPS 13015 HAS SOUS 11235 HAS SOUPS 11235 WITH SCORE 11248.015
AT ITER 7900 NEW BEST:: SOT 65334 SOS 13009 HAS SOPS 13009 HAS SOUS 11232 HAS SOUPS 11232 WITH SCORE 11245.009
AT ITER 7902 NEW BEST:: SOT 65334 SOS 13009 HAS SOPS 13009 HAS SOUS 11218 HAS SOUPS 11218 WITH SCORE 11231.009
AT ITER 7910 NEW BEST:: SOT 65322 SOS 12985 HAS SOPS 12985 HAS SOUS 11194 HAS SOUPS 11194 WITH SCORE 11206.985
AT ITER 7929 NEW BEST:: SOT 65311 SOS 12963 HAS SOPS 12963 HAS SOUS 11172 HAS SOUPS 11172 WITH SCORE 11184.963
AT ITER 7949 NEW BEST:: SOT 65312 SOS 12965 HAS SOPS 12965 HAS SOUS 11169 HAS SOUPS 11169 WITH SCORE 11181.965
AT ITER 7976 NEW BEST:: SOT 65312 SOS 12965 HAS SOPS 12965 HAS SOUS 11114 HAS SOUPS 11114 WITH SCORE 11126.965
AT ITER 8106 NEW BEST:: SOT 65312 SOS 12965 HAS SOPS 12965 HAS SOUS 11106 HAS SOUPS 11106 WITH SCORE 11118.965
AT ITER 8123 NEW BEST:: SOT 65298 SOS 12955 HAS SOPS 12955 HAS SOUS 11096 HAS SOUPS 11096 WITH SCORE 11108.955
AT ITER 8135 NEW BEST:: SOT 65281 SOS 12970 HAS SOPS 12970 HAS SOUS 11094 HAS SOUPS 11094 WITH SCORE 11106.97
AT ITER 8235 NEW BEST:: SOT 65271 SOS 12953 HAS SOPS 12953 HAS SOUS 11077 HAS SOUPS 11077 WITH SCORE 11089.953
AT ITER 8329 NEW BEST:: SOT 65266 SOS 12947 HAS SOPS 12947 HAS SOUS 11067 HAS SOUPS 11067 WITH SCORE 11079.947
AT ITER 8380 NEW BEST:: SOT 65264 SOS 12943 HAS SOPS 12943 HAS SOUS 11063 HAS SOUPS 11063 WITH SCORE 11075.943
AT ITER 8428 NEW BEST:: SOT 65254 SOS 12923 HAS SOPS 12923 HAS SOUS 11043 HAS SOUPS 11043 WITH SCORE 11055.923
AT ITER 8473 NEW BEST:: SOT 65254 SOS 12912 HAS SOPS 12912 HAS SOUS 11032 HAS SOUPS 11032 WITH SCORE 11044.912
AT ITER 8550 NEW BEST:: SOT 65248 SOS 12900 HAS SOPS 12900 HAS SOUS 11019 HAS SOUPS 11019 WITH SCORE 11031.9
AT ITER 8559 NEW BEST:: SOT 65247 SOS 12899 HAS SOPS 12899 HAS SOUS 11018 HAS SOUPS 11018 WITH SCORE 11030.899
AT ITER 8625 NEW BEST:: SOT 65245 SOS 12895 HAS SOPS 12895 HAS SOUS 11014 HAS SOUPS 11014 WITH SCORE 11026.895
AT ITER 8658 NEW BEST:: SOT 65261 SOS 12893 HAS SOPS 12893 HAS SOUS 11012 HAS SOUPS 11012 WITH SCORE 11024.893
AT ITER 8686 NEW BEST:: SOT 65260 SOS 12891 HAS SOPS 12891 HAS SOUS 11010 HAS SOUPS 11010 WITH SCORE 11022.891
AT ITER 8769 NEW BEST:: SOT 65259 SOS 12889 HAS SOPS 12889 HAS SOUS 11008 HAS SOUPS 11008 WITH SCORE 11020.889
AT ITER 8787 NEW BEST:: SOT 65243 SOS 12909 HAS SOPS 12909 HAS SOUS 11000 HAS SOUPS 11000 WITH SCORE 11012.909
AT ITER 8857 NEW BEST:: SOT 65244 SOS 12910 HAS SOPS 12910 HAS SOUS 10999 HAS SOUPS 10999 WITH SCORE 11011.91
AT ITER 8964 NEW BEST:: SOT 65244 SOS 12898 HAS SOPS 12898 HAS SOUS 10993 HAS SOUPS 10993 WITH SCORE 11005.898
AT ITER 8967 NEW BEST:: SOT 65243 SOS 12897 HAS SOPS 12897 HAS SOUS 10993 HAS SOUPS 10993 WITH SCORE 11005.897
AT ITER 9018 NEW BEST:: SOT 65242 SOS 12895 HAS SOPS 12895 HAS SOUS 10991 HAS SOUPS 10991 WITH SCORE 11003.895
AT ITER 9128 NEW BEST:: SOT 65243 SOS 12897 HAS SOPS 12897 HAS SOUS 10990 HAS SOUPS 10990 WITH SCORE 11002.897
AT ITER 9162 NEW BEST:: SOT 65253 SOS 12781 HAS SOPS 12781 HAS SOUS 10987 HAS SOUPS 10987 WITH SCORE 10999.781
AT ITER 9175 NEW BEST:: SOT 65243 SOS 12761 HAS SOPS 12761 HAS SOUS 10977 HAS SOUPS 10977 WITH SCORE 10989.761
AT ITER 9256 NEW BEST:: SOT 65258 SOS 12770 HAS SOPS 12770 HAS SOUS 10976 HAS SOUPS 10976 WITH SCORE 10988.77
AT ITER 9263 NEW BEST:: SOT 65257 SOS 12766 HAS SOPS 12766 HAS SOUS 10973 HAS SOUPS 10973 WITH SCORE 10985.766
AT ITER 9382 NEW BEST:: SOT 65256 SOS 12762 HAS SOPS 12762 HAS SOUS 10971 HAS SOUPS 10971 WITH SCORE 10983.762
AT ITER 9430 NEW BEST:: SOT 65255 SOS 12760 HAS SOPS 12760 HAS SOUS 10969 HAS SOUPS 10969 WITH SCORE 10981.76
AT ITER 9451 NEW BEST:: SOT 65285 SOS 12657 HAS SOPS 12657 HAS SOUS 10952 HAS SOUPS 10952 WITH SCORE 10964.657
AT ITER 9552 NEW BEST:: SOT 65279 SOS 12645 HAS SOPS 12645 HAS SOUS 10940 HAS SOUPS 10940 WITH SCORE 10952.645
AT ITER 9556 NEW BEST:: SOT 65276 SOS 12639 HAS SOPS 12639 HAS SOUS 10936 HAS SOUPS 10936 WITH SCORE 10948.639
AT ITER 9583 NEW BEST:: SOT 65266 SOS 12994 HAS SOPS 12994 HAS SOUS 10926 HAS SOUPS 10926 WITH SCORE 10938.994
AT ITER 9658 NEW BEST:: SOT 65266 SOS 12976 HAS SOPS 12976 HAS SOUS 10926 HAS SOUPS 10926 WITH SCORE 10938.976
AT ITER 9670 NEW BEST:: SOT 65266 SOS 12972 HAS SOPS 12972 HAS SOUS 10922 HAS SOUPS 10922 WITH SCORE 10934.972
AT ITER 9676 NEW BEST:: SOT 65265 SOS 12970 HAS SOPS 12970 HAS SOUS 10920 HAS SOUPS 10920 WITH SCORE 10932.97
AT ITER 9685 NEW BEST:: SOT 65225 SOS 12930 HAS SOPS 12930 HAS SOUS 10880 HAS SOUPS 10880 WITH SCORE 10892.93
AT ITER 9732 NEW BEST:: SOT 65283 SOS 12810 HAS SOPS 12810 HAS SOUS 10864 HAS SOUPS 10864 WITH SCORE 10876.81
AT ITER 9738 NEW BEST:: SOT 65280 SOS 12804 HAS SOPS 12804 HAS SOUS 10858 HAS SOUPS 10858 WITH SCORE 10870.804
AT ITER 9793 NEW BEST:: SOT 65280 SOS 12790 HAS SOPS 12790 HAS SOUS 10858 HAS SOUPS 10858 WITH SCORE 10870.79
AT ITER 9801 NEW BEST:: SOT 65285 SOS 12786 HAS SOPS 12786 HAS SOUS 10854 HAS SOUPS 10854 WITH SCORE 10866.786
AT ITER 9806 NEW BEST:: SOT 65286 SOS 12788 HAS SOPS 12788 HAS SOUS 10851 HAS SOUPS 10851 WITH SCORE 10863.788
AT ITER 9807 NEW BEST:: SOT 65251 SOS 12808 HAS SOPS 12808 HAS SOUS 10842 HAS SOUPS 10842 WITH SCORE 10854.808
AT ITER 9811 NEW BEST:: SOT 65247 SOS 12800 HAS SOPS 12800 HAS SOUS 10834 HAS SOUPS 10834 WITH SCORE 10846.8
AT ITER 9868 NEW BEST:: SOT 65244 SOS 12794 HAS SOPS 12794 HAS SOUS 10811 HAS SOUPS 10811 WITH SCORE 10823.794
AT ITER 9962 NEW BEST:: SOT 65244 SOS 12790 HAS SOPS 12790 HAS SOUS 10807 HAS SOUPS 10807 WITH SCORE 10819.79
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 7459188 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16154920 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="GPUForwardProgress-PT-16b"
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 GPUForwardProgress-PT-16b, 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 r195-smll-167840341900064"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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