Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902542200440.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.......................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DLCflexbar-PT-8a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542200440
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 8.9M
-rw-r--r-- 1 mcc users 3.0K Mar 30 18:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 30 18:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 29 08:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K Mar 29 08:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 28 04:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 28 04:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 26 22:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 22:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 8.7M Mar 24 05:37 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 1589121076306

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 8a
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 3971 places, 32571 transitions, 129321 arcs.
AT ITER 0 NEW BEST:: SOT 71640229 SOS 62951652 HAS SOPS 29653807 HAS SOUS 3330788 HAS SOUPS 1266478 WITH SCORE 1329429.652
AT ITER 8 NEW BEST:: SOT 71639790 SOS 62948230 HAS SOPS 29654625 HAS SOUS 3330026 HAS SOUPS 1266140 WITH SCORE 1329088.23
AT ITER 31 NEW BEST:: SOT 71636867 SOS 62958623 HAS SOPS 29654918 HAS SOUS 3327820 HAS SOUPS 1263934 WITH SCORE 1326892.623
AT ITER 35 NEW BEST:: SOT 71636235 SOS 62957359 HAS SOPS 29656814 HAS SOUS 3326556 HAS SOUPS 1262986 WITH SCORE 1325943.359
AT ITER 38 NEW BEST:: SOT 71635255 SOS 62962743 HAS SOPS 29655718 HAS SOUS 3325958 HAS SOUPS 1262172 WITH SCORE 1325134.743
AT ITER 48 NEW BEST:: SOT 71633263 SOS 62975851 HAS SOPS 29654906 HAS SOUS 3325630 HAS SOUPS 1261380 WITH SCORE 1324355.851
AT ITER 65 NEW BEST:: SOT 71632677 SOS 62974679 HAS SOPS 29656664 HAS SOUS 3324458 HAS SOUPS 1260501 WITH SCORE 1323475.679
AT ITER 75 NEW BEST:: SOT 71632677 SOS 62974679 HAS SOPS 29656664 HAS SOUS 3324342 HAS SOUPS 1260385 WITH SCORE 1323359.679
AT ITER 78 NEW BEST:: SOT 71632139 SOS 62973983 HAS SOPS 29655968 HAS SOUS 3323304 HAS SOUPS 1259347 WITH SCORE 1322320.983
AT ITER 93 NEW BEST:: SOT 71631606 SOS 62972917 HAS SOPS 29659222 HAS SOUS 3322114 HAS SOUPS 1258589 WITH SCORE 1321561.917
AT ITER 101 NEW BEST:: SOT 71631606 SOS 62972917 HAS SOPS 29659222 HAS SOUS 3321930 HAS SOUPS 1258405 WITH SCORE 1321377.917
AT ITER 114 NEW BEST:: SOT 71631606 SOS 62972917 HAS SOPS 29659222 HAS SOUS 3321710 HAS SOUPS 1258185 WITH SCORE 1321157.917
AT ITER 128 NEW BEST:: SOT 71631606 SOS 62972917 HAS SOPS 29659222 HAS SOUS 3321430 HAS SOUPS 1257905 WITH SCORE 1320877.917
AT ITER 140 NEW BEST:: SOT 71631606 SOS 62972917 HAS SOPS 29659222 HAS SOUS 3321172 HAS SOUPS 1257647 WITH SCORE 1320619.917
AT ITER 176 NEW BEST:: SOT 71631425 SOS 62969693 HAS SOPS 29660768 HAS SOUS 3320687 HAS SOUPS 1257639 WITH SCORE 1320608.693
AT ITER 186 NEW BEST:: SOT 71631425 SOS 62969693 HAS SOPS 29660768 HAS SOUS 3320431 HAS SOUPS 1257383 WITH SCORE 1320352.693
AT ITER 209 NEW BEST:: SOT 71631425 SOS 62969693 HAS SOPS 29660768 HAS SOUS 3320151 HAS SOUPS 1257103 WITH SCORE 1320072.693
AT ITER 218 NEW BEST:: SOT 71630909 SOS 62967113 HAS SOPS 29658188 HAS SOUS 3319635 HAS SOUPS 1256587 WITH SCORE 1319554.113
AT ITER 256 NEW BEST:: SOT 71630909 SOS 62967113 HAS SOPS 29658188 HAS SOUS 3319355 HAS SOUPS 1256307 WITH SCORE 1319274.113
AT ITER 259 NEW BEST:: SOT 71629081 SOS 62971745 HAS SOPS 29653940 HAS SOUS 3318119 HAS SOUPS 1254775 WITH SCORE 1317746.745
AT ITER 271 NEW BEST:: SOT 71629081 SOS 62971745 HAS SOPS 29653940 HAS SOUS 3317907 HAS SOUPS 1254563 WITH SCORE 1317534.745
AT ITER 273 NEW BEST:: SOT 71629081 SOS 62971745 HAS SOPS 29653940 HAS SOUS 3317639 HAS SOUPS 1254295 WITH SCORE 1317266.745
AT ITER 279 NEW BEST:: SOT 71629081 SOS 62971745 HAS SOPS 29653940 HAS SOUS 3317359 HAS SOUPS 1254015 WITH SCORE 1316986.745
AT ITER 303 NEW BEST:: SOT 71628346 SOS 62973845 HAS SOPS 29652890 HAS SOUS 3316939 HAS SOUPS 1253490 WITH SCORE 1316463.845
AT ITER 321 NEW BEST:: SOT 71628346 SOS 62973845 HAS SOPS 29652890 HAS SOUS 3316735 HAS SOUPS 1253286 WITH SCORE 1316259.845
AT ITER 338 NEW BEST:: SOT 71625335 SOS 62985377 HAS SOPS 29653862 HAS SOUS 3314546 HAS SOUPS 1251097 WITH SCORE 1314082.377
AT ITER 343 NEW BEST:: SOT 71624979 SOS 62983597 HAS SOPS 29652082 HAS SOUS 3314190 HAS SOUPS 1250741 WITH SCORE 1313724.597
AT ITER 354 NEW BEST:: SOT 71624323 SOS 62979453 HAS SOPS 29652658 HAS SOUS 3313198 HAS SOUPS 1250221 WITH SCORE 1313200.453
AT ITER 413 NEW BEST:: SOT 71624323 SOS 62979453 HAS SOPS 29652658 HAS SOUS 3312918 HAS SOUPS 1249941 WITH SCORE 1312920.453
AT ITER 430 NEW BEST:: SOT 71624233 SOS 62979273 HAS SOPS 29650238 HAS SOUS 3312828 HAS SOUPS 1249627 WITH SCORE 1312606.273
AT ITER 476 NEW BEST:: SOT 71623464 SOS 62975199 HAS SOPS 29646164 HAS SOUS 3311742 HAS SOUPS 1248541 WITH SCORE 1311516.199
AT ITER 495 NEW BEST:: SOT 71623273 SOS 62972357 HAS SOPS 29647422 HAS SOUS 3311268 HAS SOUPS 1248477 WITH SCORE 1311449.357
AT ITER 500 NEW BEST:: SOT 71621759 SOS 62964717 HAS SOPS 29645672 HAS SOUS 3308940 HAS SOUPS 1246738 WITH SCORE 1309702.717
AT ITER 522 NEW BEST:: SOT 71620537 SOS 62957989 HAS SOPS 29646084 HAS SOUS 3307966 HAS SOUPS 1246478 WITH SCORE 1309435.989
AT ITER 538 NEW BEST:: SOT 71617401 SOS 62971875 HAS SOPS 29648750 HAS SOUS 3305622 HAS SOUPS 1244134 WITH SCORE 1307105.875
AT ITER 565 NEW BEST:: SOT 71617401 SOS 62971875 HAS SOPS 29648750 HAS SOUS 3305342 HAS SOUPS 1243854 WITH SCORE 1306825.875
AT ITER 575 NEW BEST:: SOT 71617081 SOS 62971235 HAS SOPS 29648110 HAS SOUS 3304862 HAS SOUPS 1243374 WITH SCORE 1306345.235
AT ITER 586 NEW BEST:: SOT 71616537 SOS 62970147 HAS SOPS 29649742 HAS SOUS 3303774 HAS SOUPS 1242558 WITH SCORE 1305528.147
AT ITER 590 NEW BEST:: SOT 71616537 SOS 62970147 HAS SOPS 29649742 HAS SOUS 3303644 HAS SOUPS 1242428 WITH SCORE 1305398.147
AT ITER 615 NEW BEST:: SOT 71616227 SOS 62969527 HAS SOPS 29650672 HAS SOUS 3303024 HAS SOUPS 1241963 WITH SCORE 1304932.527
AT ITER 704 NEW BEST:: SOT 71616227 SOS 62969527 HAS SOPS 29650672 HAS SOUS 3302744 HAS SOUPS 1241683 WITH SCORE 1304652.527
AT ITER 705 NEW BEST:: SOT 71616227 SOS 62969527 HAS SOPS 29650672 HAS SOUS 3302654 HAS SOUPS 1241593 WITH SCORE 1304562.527
AT ITER 735 NEW BEST:: SOT 71616179 SOS 62969431 HAS SOPS 29650576 HAS SOUS 3302582 HAS SOUPS 1241521 WITH SCORE 1304490.431
AT ITER 801 NEW BEST:: SOT 71615295 SOS 62970967 HAS SOPS 29649752 HAS SOUS 3302112 HAS SOUPS 1241051 WITH SCORE 1304021.967
AT ITER 807 NEW BEST:: SOT 71614929 SOS 62966833 HAS SOPS 29651288 HAS SOUS 3301373 HAS SOUPS 1240879 WITH SCORE 1303845.833
AT ITER 813 NEW BEST:: SOT 71614539 SOS 62964355 HAS SOPS 29648810 HAS SOUS 3300983 HAS SOUPS 1240489 WITH SCORE 1303453.355
AT ITER 834 NEW BEST:: SOT 71611025 SOS 62995539 HAS SOPS 29661414 HAS SOUS 3298976 HAS SOUPS 1238482 WITH SCORE 1301477.539
AT ITER 841 NEW BEST:: SOT 71610346 SOS 62997479 HAS SOPS 29660444 HAS SOUS 3298588 HAS SOUPS 1237997 WITH SCORE 1300994.479
AT ITER 863 NEW BEST:: SOT 71609925 SOS 62994663 HAS SOPS 29660918 HAS SOUS 3297887 HAS SOUPS 1237625 WITH SCORE 1300619.663
AT ITER 900 NEW BEST:: SOT 71609621 SOS 62991541 HAS SOPS 29661986 HAS SOUS 3297280 HAS SOUPS 1237437 WITH SCORE 1300428.541
AT ITER 901 NEW BEST:: SOT 71609235 SOS 62988219 HAS SOPS 29662914 HAS SOUS 3296603 HAS SOUPS 1237185 WITH SCORE 1300173.219
AT ITER 927 NEW BEST:: SOT 71609235 SOS 62988219 HAS SOPS 29662914 HAS SOUS 3296323 HAS SOUPS 1236905 WITH SCORE 1299893.219
AT ITER 933 NEW BEST:: SOT 71609177 SOS 62987813 HAS SOPS 29662508 HAS SOUS 3296265 HAS SOUPS 1236847 WITH SCORE 1299834.813
AT ITER 956 NEW BEST:: SOT 71608560 SOS 62986579 HAS SOPS 29665744 HAS SOUS 3294893 HAS SOUPS 1235922 WITH SCORE 1298908.579
AT ITER 976 NEW BEST:: SOT 71608560 SOS 62986579 HAS SOPS 29665744 HAS SOUS 3294613 HAS SOUPS 1235642 WITH SCORE 1298628.579
AT ITER 993 NEW BEST:: SOT 71608560 SOS 62985577 HAS SOPS 29664742 HAS SOUS 3294613 HAS SOUPS 1235642 WITH SCORE 1298627.577
AT ITER 1003 NEW BEST:: SOT 71605984 SOS 62996287 HAS SOPS 29665572 HAS SOUS 3292589 HAS SOUPS 1233618 WITH SCORE 1296614.287
AT ITER 1011 NEW BEST:: SOT 71601574 SOS 63019706 HAS SOPS 29671991 HAS SOUS 3289566 HAS SOUPS 1230595 WITH SCORE 1293614.706
AT ITER 1069 NEW BEST:: SOT 71601116 SOS 63017380 HAS SOPS 29669665 HAS SOUS 3289108 HAS SOUPS 1230137 WITH SCORE 1293154.38
AT ITER 1085 NEW BEST:: SOT 71599539 SOS 63020638 HAS SOPS 29666053 HAS SOUS 3288058 HAS SOUPS 1228858 WITH SCORE 1291878.638
AT ITER 1107 NEW BEST:: SOT 71599539 SOS 63020638 HAS SOPS 29666053 HAS SOUS 3287778 HAS SOUPS 1228578 WITH SCORE 1291598.638
AT ITER 1119 NEW BEST:: SOT 71599539 SOS 63020638 HAS SOPS 29666053 HAS SOUS 3287634 HAS SOUPS 1228434 WITH SCORE 1291454.638
AT ITER 1120 NEW BEST:: SOT 71599251 SOS 63016954 HAS SOPS 29667549 HAS SOUS 3287012 HAS SOUPS 1228330 WITH SCORE 1291346.954
AT ITER 1121 NEW BEST:: SOT 71598784 SOS 63019862 HAS SOPS 29667067 HAS SOUS 3286722 HAS SOUPS 1227927 WITH SCORE 1290946.862
AT ITER 1145 NEW BEST:: SOT 71592588 SOS 63036520 HAS SOPS 29668125 HAS SOUS 3282035 HAS SOUPS 1223240 WITH SCORE 1286276.52
AT ITER 1150 NEW BEST:: SOT 71591082 SOS 63049718 HAS SOPS 29669023 HAS SOUS 3281191 HAS SOUPS 1221986 WITH SCORE 1285035.718
AT ITER 1175 NEW BEST:: SOT 71590894 SOS 63049342 HAS SOPS 29668647 HAS SOUS 3280909 HAS SOUPS 1221704 WITH SCORE 1284753.342
AT ITER 1210 NEW BEST:: SOT 71589858 SOS 63052946 HAS SOPS 29667331 HAS SOUS 3280319 HAS SOUPS 1220950 WITH SCORE 1284002.946
AT ITER 1235 NEW BEST:: SOT 71589858 SOS 63052946 HAS SOPS 29667331 HAS SOUS 3280155 HAS SOUPS 1220786 WITH SCORE 1283838.946
AT ITER 1275 NEW BEST:: SOT 71589564 SOS 63051278 HAS SOPS 29665663 HAS SOUS 3279861 HAS SOUPS 1220492 WITH SCORE 1283543.278
AT ITER 1295 NEW BEST:: SOT 71589564 SOS 63051278 HAS SOPS 29665663 HAS SOUS 3279581 HAS SOUPS 1220212 WITH SCORE 1283263.278
AT ITER 1304 NEW BEST:: SOT 71585750 SOS 63073878 HAS SOPS 29672643 HAS SOUS 3276340 HAS SOUPS 1216971 WITH SCORE 1280044.878
AT ITER 1347 NEW BEST:: SOT 71585750 SOS 63073878 HAS SOPS 29672643 HAS SOUS 3276288 HAS SOUPS 1216919 WITH SCORE 1279992.878
AT ITER 1368 NEW BEST:: SOT 71584942 SOS 63075090 HAS SOPS 29671835 HAS SOUS 3275783 HAS SOUPS 1216414 WITH SCORE 1279489.09
AT ITER 1372 NEW BEST:: SOT 71583550 SOS 63068594 HAS SOPS 29669979 HAS SOUS 3273463 HAS SOUPS 1214558 WITH SCORE 1277626.594
AT ITER 1403 NEW BEST:: SOT 71583550 SOS 63068594 HAS SOPS 29669979 HAS SOUS 3273239 HAS SOUPS 1214334 WITH SCORE 1277402.594
AT ITER 1404 NEW BEST:: SOT 71582136 SOS 63071422 HAS SOPS 29666747 HAS SOUS 3272329 HAS SOUPS 1213222 WITH SCORE 1276293.422
AT ITER 1443 NEW BEST:: SOT 71581114 SOS 63074342 HAS SOPS 29665287 HAS SOUS 3271745 HAS SOUPS 1212492 WITH SCORE 1275566.342
AT ITER 1482 NEW BEST:: SOT 71581114 SOS 63074342 HAS SOPS 29665287 HAS SOUS 3271591 HAS SOUPS 1212338 WITH SCORE 1275412.342
AT ITER 1517 NEW BEST:: SOT 71578635 SOS 63093462 HAS SOPS 29672587 HAS SOUS 3269740 HAS SOUPS 1210487 WITH SCORE 1273580.462
AT ITER 1520 NEW BEST:: SOT 71578000 SOS 63088132 HAS SOPS 29671317 HAS SOUS 3268381 HAS SOUPS 1209534 WITH SCORE 1272622.132
AT ITER 1525 NEW BEST:: SOT 71578000 SOS 63088132 HAS SOPS 29671317 HAS SOUS 3268313 HAS SOUPS 1209466 WITH SCORE 1272554.132
AT ITER 1537 NEW BEST:: SOT 71577006 SOS 63090972 HAS SOPS 29669897 HAS SOUS 3267745 HAS SOUPS 1208756 WITH SCORE 1271846.972
AT ITER 1571 NEW BEST:: SOT 71575599 SOS 63095690 HAS SOPS 29666545 HAS SOUS 3267176 HAS SOUPS 1207918 WITH SCORE 1271013.69
AT ITER 1613 NEW BEST:: SOT 71575267 SOS 63091966 HAS SOPS 29667921 HAS SOUS 3266498 HAS SOUPS 1207750 WITH SCORE 1270841.966
AT ITER 1618 NEW BEST:: SOT 71575267 SOS 63091966 HAS SOPS 29667921 HAS SOUS 3266260 HAS SOUPS 1207512 WITH SCORE 1270603.966
AT ITER 1648 NEW BEST:: SOT 71575267 SOS 63091966 HAS SOPS 29667921 HAS SOUS 3266012 HAS SOUPS 1207264 WITH SCORE 1270355.966
AT ITER 1656 NEW BEST:: SOT 71575267 SOS 63087892 HAS SOPS 29670637 HAS SOUS 3265333 HAS SOUPS 1207264 WITH SCORE 1270351.892
AT ITER 1679 NEW BEST:: SOT 71574308 SOS 63090632 HAS SOPS 29669267 HAS SOUS 3264785 HAS SOUPS 1206579 WITH SCORE 1269669.632
AT ITER 1682 NEW BEST:: SOT 71574308 SOS 63090632 HAS SOPS 29669267 HAS SOUS 3264593 HAS SOUPS 1206387 WITH SCORE 1269477.632
AT ITER 1687 NEW BEST:: SOT 71574308 SOS 63090632 HAS SOPS 29669267 HAS SOUS 3264313 HAS SOUPS 1206107 WITH SCORE 1269197.632
AT ITER 1696 NEW BEST:: SOT 71573936 SOS 63088250 HAS SOPS 29666885 HAS SOUS 3263941 HAS SOUPS 1205735 WITH SCORE 1268823.25
AT ITER 1708 NEW BEST:: SOT 71573522 SOS 63087422 HAS SOPS 29668127 HAS SOUS 3263113 HAS SOUPS 1205114 WITH SCORE 1268201.422
AT ITER 1714 NEW BEST:: SOT 71572974 SOS 63086326 HAS SOPS 29670571 HAS SOUS 3261958 HAS SOUPS 1204313 WITH SCORE 1267399.326
AT ITER 1731 NEW BEST:: SOT 71572512 SOS 63083596 HAS SOPS 29667841 HAS SOUS 3261496 HAS SOUPS 1203851 WITH SCORE 1266934.596
AT ITER 1738 NEW BEST:: SOT 71572488 SOS 63088852 HAS SOPS 29668417 HAS SOUS 3261406 HAS SOUPS 1203605 WITH SCORE 1266693.852
AT ITER 1783 NEW BEST:: SOT 71572073 SOS 63088022 HAS SOPS 29673167 HAS SOUS 3260314 HAS SOUPS 1203071 WITH SCORE 1266159.022
AT ITER 1788 NEW BEST:: SOT 71572073 SOS 63088022 HAS SOPS 29673167 HAS SOUS 3260034 HAS SOUPS 1202791 WITH SCORE 1265879.022
AT ITER 1789 NEW BEST:: SOT 71569007 SOS 63100128 HAS SOPS 29674453 HAS SOUS 3257460 HAS SOUPS 1200217 WITH SCORE 1263317.128
AT ITER 1866 NEW BEST:: SOT 71567340 SOS 63091546 HAS SOPS 29672431 HAS SOUS 3254782 HAS SOUPS 1198195 WITH SCORE 1261286.546
AT ITER 1868 NEW BEST:: SOT 71567206 SOS 63091278 HAS SOPS 29675773 HAS SOUS 3254287 HAS SOUPS 1198061 WITH SCORE 1261152.278
AT ITER 1874 NEW BEST:: SOT 71567029 SOS 63090924 HAS SOPS 29677189 HAS SOUS 3253933 HAS SOUPS 1197884 WITH SCORE 1260974.924
AT ITER 1885 NEW BEST:: SOT 71566761 SOS 63089986 HAS SOPS 29676251 HAS SOUS 3253799 HAS SOUPS 1197750 WITH SCORE 1260839.986
AT ITER 1891 NEW BEST:: SOT 71565796 SOS 63092536 HAS SOPS 29674301 HAS SOUS 3253397 HAS SOUPS 1197198 WITH SCORE 1260290.536
AT ITER 1893 NEW BEST:: SOT 71565796 SOS 63092536 HAS SOPS 29674301 HAS SOUS 3253177 HAS SOUPS 1196978 WITH SCORE 1260070.536
AT ITER 1905 NEW BEST:: SOT 71565670 SOS 63092284 HAS SOPS 29675309 HAS SOUS 3252925 HAS SOUPS 1196852 WITH SCORE 1259944.284
AT ITER 1911 NEW BEST:: SOT 71565670 SOS 63092284 HAS SOPS 29675309 HAS SOUS 3252833 HAS SOUPS 1196760 WITH SCORE 1259852.284
AT ITER 1928 NEW BEST:: SOT 71565670 SOS 63092284 HAS SOPS 29675309 HAS SOUS 3252553 HAS SOUPS 1196480 WITH SCORE 1259572.284
AT ITER 1943 NEW BEST:: SOT 71563633 SOS 62988654 HAS SOPS 29690798 HAS SOUS 3250740 HAS SOUPS 1194667 WITH SCORE 1257655.654
AT ITER 1947 NEW BEST:: SOT 71561862 SOS 62997500 HAS SOPS 29687614 HAS SOUS 3250143 HAS SOUPS 1193669 WITH SCORE 1256666.5
AT ITER 1959 NEW BEST:: SOT 71556782 SOS 62989216 HAS SOPS 29680242 HAS SOUS 3250417 HAS SOUPS 1193516 WITH SCORE 1256505.216
AT ITER 1963 NEW BEST:: SOT 71555025 SOS 63019076 HAS SOPS 29694042 HAS SOUS 3249866 HAS SOUPS 1192965 WITH SCORE 1255984.076
AT ITER 1992 NEW BEST:: SOT 71553965 SOS 63022124 HAS SOPS 29692530 HAS SOUS 3249260 HAS SOUPS 1192207 WITH SCORE 1255229.124
AT ITER 2009 NEW BEST:: SOT 71551611 SOS 63039396 HAS SOPS 29693452 HAS SOUS 3248781 HAS SOUPS 1191183 WITH SCORE 1254222.396
AT ITER 2012 NEW BEST:: SOT 71551325 SOS 63038824 HAS SOPS 29695740 HAS SOUS 3248209 HAS SOUPS 1190897 WITH SCORE 1253935.824
AT ITER 2060 NEW BEST:: SOT 71551217 SOS 63038608 HAS SOPS 29695524 HAS SOUS 3247993 HAS SOUPS 1190681 WITH SCORE 1253719.608
AT ITER 2063 NEW BEST:: SOT 71551217 SOS 63038608 HAS SOPS 29695524 HAS SOUS 3247909 HAS SOUPS 1190597 WITH SCORE 1253635.608
AT ITER 2076 NEW BEST:: SOT 71551217 SOS 63038608 HAS SOPS 29695524 HAS SOUS 3247629 HAS SOUPS 1190317 WITH SCORE 1253355.608
AT ITER 2086 NEW BEST:: SOT 71551217 SOS 63038608 HAS SOPS 29695524 HAS SOUS 3247433 HAS SOUPS 1190121 WITH SCORE 1253159.608
AT ITER 2104 NEW BEST:: SOT 71551217 SOS 63038608 HAS SOPS 29695524 HAS SOUS 3247153 HAS SOUPS 1189841 WITH SCORE 1252879.608
AT ITER 2178 NEW BEST:: SOT 71550821 SOS 63042304 HAS SOPS 29695260 HAS SOUS 3246757 HAS SOUPS 1189313 WITH SCORE 1252355.304
AT ITER 2193 NEW BEST:: SOT 71550353 SOS 63041368 HAS SOPS 29694324 HAS SOUS 3246055 HAS SOUPS 1188611 WITH SCORE 1251652.368
AT ITER 2196 NEW BEST:: SOT 71550353 SOS 63041368 HAS SOPS 29694324 HAS SOUS 3245775 HAS SOUPS 1188331 WITH SCORE 1251372.368
AT ITER 2200 NEW BEST:: SOT 71550353 SOS 63041368 HAS SOPS 29694324 HAS SOUS 3245495 HAS SOUPS 1188051 WITH SCORE 1251092.368
AT ITER 2260 NEW BEST:: SOT 71549807 SOS 63037114 HAS SOPS 29695340 HAS SOUS 3244422 HAS SOUPS 1187505 WITH SCORE 1250542.114
AT ITER 2264 NEW BEST:: SOT 71549403 SOS 63036306 HAS SOPS 29696552 HAS SOUS 3243614 HAS SOUPS 1186899 WITH SCORE 1249935.306
AT ITER 2280 NEW BEST:: SOT 71549293 SOS 63036086 HAS SOPS 29696332 HAS SOUS 3243504 HAS SOUPS 1186789 WITH SCORE 1249825.086
AT ITER 2294 NEW BEST:: SOT 71549293 SOS 63036014 HAS SOPS 29696380 HAS SOUS 3243492 HAS SOUPS 1186789 WITH SCORE 1249825.014
AT ITER 2301 NEW BEST:: SOT 71549293 SOS 63036014 HAS SOPS 29696380 HAS SOUS 3243230 HAS SOUPS 1186527 WITH SCORE 1249563.014
AT ITER 2331 NEW BEST:: SOT 71542248 SOS 63022456 HAS SOPS 29690919 HAS SOUS 3242990 HAS SOUPS 1186391 WITH SCORE 1249413.456
AT ITER 2358 NEW BEST:: SOT 71542248 SOS 63022456 HAS SOPS 29690919 HAS SOUS 3242710 HAS SOUPS 1186111 WITH SCORE 1249133.456
AT ITER 2399 NEW BEST:: SOT 71542248 SOS 63022456 HAS SOPS 29690919 HAS SOUS 3242592 HAS SOUPS 1185993 WITH SCORE 1249015.456
AT ITER 2402 NEW BEST:: SOT 71542075 SOS 63021072 HAS SOPS 29691265 HAS SOUS 3242419 HAS SOUPS 1185993 WITH SCORE 1249014.072
AT ITER 2455 NEW BEST:: SOT 71538262 SOS 63057226 HAS SOPS 29701019 HAS SOUS 3242030 HAS SOUPS 1184724 WITH SCORE 1247781.226
AT ITER 2458 NEW BEST:: SOT 71538262 SOS 63057226 HAS SOPS 29701019 HAS SOUS 3241888 HAS SOUPS 1184582 WITH SCORE 1247639.226
AT ITER 2469 NEW BEST:: SOT 71538196 SOS 63057094 HAS SOPS 29700887 HAS SOUS 3241756 HAS SOUPS 1184450 WITH SCORE 1247507.094
AT ITER 2495 NEW BEST:: SOT 71537950 SOS 63055096 HAS SOPS 29698889 HAS SOUS 3241510 HAS SOUPS 1184204 WITH SCORE 1247259.096
AT ITER 2496 NEW BEST:: SOT 71537682 SOS 63054560 HAS SOPS 29701033 HAS SOUS 3240974 HAS SOUPS 1183936 WITH SCORE 1246990.56
AT ITER 2513 NEW BEST:: SOT 71537551 SOS 63053578 HAS SOPS 29701251 HAS SOUS 3240832 HAS SOUPS 1183914 WITH SCORE 1246967.578
AT ITER 2514 NEW BEST:: SOT 71537551 SOS 63053578 HAS SOPS 29701251 HAS SOUS 3240592 HAS SOUPS 1183674 WITH SCORE 1246727.578
AT ITER 2517 NEW BEST:: SOT 71537448 SOS 63046732 HAS SOPS 29701665 HAS SOUS 3239661 HAS SOUPS 1183469 WITH SCORE 1246515.732
AT ITER 2544 NEW BEST:: SOT 71537448 SOS 63046732 HAS SOPS 29701665 HAS SOUS 3239419 HAS SOUPS 1183227 WITH SCORE 1246273.732
AT ITER 2567 NEW BEST:: SOT 71537448 SOS 63046732 HAS SOPS 29701665 HAS SOUS 3239283 HAS SOUPS 1183091 WITH SCORE 1246137.732
AT ITER 2636 NEW BEST:: SOT 71535529 SOS 63056798 HAS SOPS 29699701 HAS SOUS 3238079 HAS SOUPS 1181486 WITH SCORE 1244542.798
AT ITER 2668 NEW BEST:: SOT 71533286 SOS 63065894 HAS SOPS 29697127 HAS SOUS 3236789 HAS SOUPS 1179807 WITH SCORE 1242872.894
AT ITER 2671 NEW BEST:: SOT 71529471 SOS 63092042 HAS SOPS 29706755 HAS SOUS 3233973 HAS SOUPS 1176991 WITH SCORE 1240083.042
AT ITER 2717 NEW BEST:: SOT 71529471 SOS 63092042 HAS SOPS 29706755 HAS SOUS 3233695 HAS SOUPS 1176713 WITH SCORE 1239805.042
AT ITER 2727 NEW BEST:: SOT 71529471 SOS 63092042 HAS SOPS 29706755 HAS SOUS 3233415 HAS SOUPS 1176433 WITH SCORE 1239525.042
AT ITER 2732 NEW BEST:: SOT 71526510 SOS 63115936 HAS SOPS 29714409 HAS SOUS 3231706 HAS SOUPS 1174724 WITH SCORE 1237839.936
AT ITER 2753 NEW BEST:: SOT 71526510 SOS 63115936 HAS SOPS 29714409 HAS SOUS 3231700 HAS SOUPS 1174718 WITH SCORE 1237833.936
AT ITER 2756 NEW BEST:: SOT 71526046 SOS 63115008 HAS SOPS 29715801 HAS SOUS 3231004 HAS SOUPS 1174254 WITH SCORE 1237369.008
AT ITER 2780 NEW BEST:: SOT 71524157 SOS 63162254 HAS SOPS 29732987 HAS SOUS 3230358 HAS SOUPS 1172606 WITH SCORE 1235768.254
AT ITER 2797 NEW BEST:: SOT 71523969 SOS 63161878 HAS SOPS 29736161 HAS SOUS 3229815 HAS SOUPS 1172418 WITH SCORE 1235579.878
AT ITER 2812 NEW BEST:: SOT 71523684 SOS 63161308 HAS SOPS 29735591 HAS SOUS 3229245 HAS SOUPS 1171848 WITH SCORE 1235009.308
AT ITER 2862 NEW BEST:: SOT 71523578 SOS 63161096 HAS SOPS 29735379 HAS SOUS 3229139 HAS SOUPS 1171742 WITH SCORE 1234903.096
AT ITER 2882 NEW BEST:: SOT 71522546 SOS 63162952 HAS SOPS 29733035 HAS SOUS 3228527 HAS SOUPS 1170990 WITH SCORE 1234152.952
AT ITER 2883 NEW BEST:: SOT 71522546 SOS 63162952 HAS SOPS 29733035 HAS SOUS 3228463 HAS SOUPS 1170926 WITH SCORE 1234088.952
AT ITER 2898 NEW BEST:: SOT 71522546 SOS 63162952 HAS SOPS 29733035 HAS SOUS 3228217 HAS SOUPS 1170680 WITH SCORE 1233842.952
AT ITER 2920 NEW BEST:: SOT 71521138 SOS 63157142 HAS SOPS 29732215 HAS SOUS 3226828 HAS SOUPS 1169790 WITH SCORE 1232947.142
AT ITER 2921 NEW BEST:: SOT 71520605 SOS 63156076 HAS SOPS 29735759 HAS SOUS 3225619 HAS SOUPS 1169042 WITH SCORE 1232198.076
AT ITER 2938 NEW BEST:: SOT 71518148 SOS 63171888 HAS SOPS 29737561 HAS SOUS 3224563 HAS SOUPS 1167519 WITH SCORE 1230690.888
AT ITER 2940 NEW BEST:: SOT 71518148 SOS 63171888 HAS SOPS 29737561 HAS SOUS 3224421 HAS SOUPS 1167377 WITH SCORE 1230548.888
AT ITER 2970 NEW BEST:: SOT 71514163 SOS 63194952 HAS SOPS 29744865 HAS SOUS 3221227 HAS SOUPS 1164183 WITH SCORE 1227377.952
AT ITER 3017 NEW BEST:: SOT 71514163 SOS 63194952 HAS SOPS 29744865 HAS SOUS 3220947 HAS SOUPS 1163903 WITH SCORE 1227097.952
AT ITER 3019 NEW BEST:: SOT 71513509 SOS 63193644 HAS SOPS 29747327 HAS SOUS 3219539 HAS SOUPS 1162872 WITH SCORE 1226065.644
AT ITER 3026 NEW BEST:: SOT 71509488 SOS 63213464 HAS SOPS 29752967 HAS SOUS 3217811 HAS SOUPS 1161144 WITH SCORE 1224357.464
AT ITER 3032 NEW BEST:: SOT 71508743 SOS 63210584 HAS SOPS 29755097 HAS SOUS 3216198 HAS SOUPS 1160032 WITH SCORE 1223242.584
AT ITER 3035 NEW BEST:: SOT 71508743 SOS 63210584 HAS SOPS 29755097 HAS SOUS 3216088 HAS SOUPS 1159922 WITH SCORE 1223132.584
AT ITER 3058 NEW BEST:: SOT 71507058 SOS 63213934 HAS SOPS 29751247 HAS SOUS 3215358 HAS SOUPS 1158952 WITH SCORE 1222165.934
AT ITER 3063 NEW BEST:: SOT 71507058 SOS 63213934 HAS SOPS 29751247 HAS SOUS 3215078 HAS SOUPS 1158672 WITH SCORE 1221885.934
AT ITER 3065 NEW BEST:: SOT 71507058 SOS 63213934 HAS SOPS 29751247 HAS SOUS 3214904 HAS SOUPS 1158498 WITH SCORE 1221711.934
AT ITER 3089 NEW BEST:: SOT 71507058 SOS 63213934 HAS SOPS 29751247 HAS SOUS 3214624 HAS SOUPS 1158218 WITH SCORE 1221431.934
AT ITER 3095 NEW BEST:: SOT 71507058 SOS 63213934 HAS SOPS 29751247 HAS SOUS 3214424 HAS SOUPS 1158018 WITH SCORE 1221231.934
AT ITER 3100 NEW BEST:: SOT 71504964 SOS 63211222 HAS SOPS 29748535 HAS SOUS 3213068 HAS SOUPS 1156662 WITH SCORE 1219873.222
AT ITER 3110 NEW BEST:: SOT 71503991 SOS 63209046 HAS SOPS 29755399 HAS SOUS 3210402 HAS SOUPS 1154900 WITH SCORE 1218109.046
AT ITER 3186 NEW BEST:: SOT 71503484 SOS 63206892 HAS SOPS 29757025 HAS SOUS 3209294 HAS SOUPS 1154170 WITH SCORE 1217376.892
AT ITER 3189 NEW BEST:: SOT 71502862 SOS 63205648 HAS SOPS 29758891 HAS SOUS 3208050 HAS SOUPS 1153237 WITH SCORE 1216442.648
AT ITER 3216 NEW BEST:: SOT 71501198 SOS 63209740 HAS SOPS 29757683 HAS SOUS 3206953 HAS SOUPS 1152140 WITH SCORE 1215349.74
AT ITER 3224 NEW BEST:: SOT 71500808 SOS 63208960 HAS SOPS 29758853 HAS SOUS 3206173 HAS SOUPS 1151555 WITH SCORE 1214763.96
AT ITER 3226 NEW BEST:: SOT 71500808 SOS 63208960 HAS SOPS 29758853 HAS SOUS 3205961 HAS SOUPS 1151343 WITH SCORE 1214551.96
AT ITER 3228 NEW BEST:: SOT 71500067 SOS 63207597 HAS SOPS 29758540 HAS SOUS 3205677 HAS SOUPS 1151136 WITH SCORE 1214343.597
AT ITER 3230 NEW BEST:: SOT 71500067 SOS 63207597 HAS SOPS 29758540 HAS SOUS 3205617 HAS SOUPS 1151076 WITH SCORE 1214283.597
AT ITER 3236 NEW BEST:: SOT 71499987 SOS 63191345 HAS SOPS 29750334 HAS SOUS 3205555 HAS SOUPS 1151068 WITH SCORE 1214259.345
AT ITER 3242 NEW BEST:: SOT 71499790 SOS 63190951 HAS SOPS 29749940 HAS SOUS 3205357 HAS SOUPS 1150870 WITH SCORE 1214060.951
AT ITER 3258 NEW BEST:: SOT 71498350 SOS 63202581 HAS SOPS 29747170 HAS SOUS 3204931 HAS SOUPS 1149964 WITH SCORE 1213166.581
AT ITER 3280 NEW BEST:: SOT 71496690 SOS 63212637 HAS SOPS 29750586 HAS SOUS 3203480 HAS SOUPS 1148513 WITH SCORE 1211725.637
AT ITER 3281 NEW BEST:: SOT 71496360 SOS 63211977 HAS SOPS 29753246 HAS SOUS 3202818 HAS SOUPS 1148183 WITH SCORE 1211394.977
AT ITER 3293 NEW BEST:: SOT 71495189 SOS 63222355 HAS SOPS 29755674 HAS SOUS 3202460 HAS SOUPS 1147560 WITH SCORE 1210782.355
AT ITER 3329 NEW BEST:: SOT 71494657 SOS 63221291 HAS SOPS 29754610 HAS SOUS 3201928 HAS SOUPS 1147028 WITH SCORE 1210249.291
AT ITER 3347 NEW BEST:: SOT 71494657 SOS 63221291 HAS SOPS 29754610 HAS SOUS 3201814 HAS SOUPS 1146914 WITH SCORE 1210135.291
AT ITER 3375 NEW BEST:: SOT 71494657 SOS 63221291 HAS SOPS 29754610 HAS SOUS 3201534 HAS SOUPS 1146634 WITH SCORE 1209855.291
AT ITER 3418 NEW BEST:: SOT 71491977 SOS 63241301 HAS SOPS 29760620 HAS SOUS 3199975 HAS SOUPS 1145075 WITH SCORE 1208316.301
AT ITER 3435 NEW BEST:: SOT 71491699 SOS 63236791 HAS SOPS 29762700 HAS SOUS 3199296 HAS SOUPS 1145055 WITH SCORE 1208291.791
AT ITER 3452 NEW BEST:: SOT 71491066 SOS 63235525 HAS SOPS 29766884 HAS SOUS 3197824 HAS SOUPS 1144128 WITH SCORE 1207363.525
AT ITER 3453 NEW BEST:: SOT 71490580 SOS 63236083 HAS SOPS 29767442 HAS SOUS 3197065 HAS SOUPS 1143369 WITH SCORE 1206605.083
AT ITER 3518 NEW BEST:: SOT 71490580 SOS 63236083 HAS SOPS 29767442 HAS SOUS 3196837 HAS SOUPS 1143141 WITH SCORE 1206377.083
AT ITER 3519 NEW BEST:: SOT 71486681 SOS 63252627 HAS SOPS 29770806 HAS SOUS 3193535 HAS SOUPS 1139839 WITH SCORE 1203091.627
AT ITER 3531 NEW BEST:: SOT 71486585 SOS 63252771 HAS SOPS 29770710 HAS SOUS 3193475 HAS SOUPS 1139779 WITH SCORE 1203031.771
AT ITER 3533 NEW BEST:: SOT 71486585 SOS 63252771 HAS SOPS 29770710 HAS SOUS 3193195 HAS SOUPS 1139499 WITH SCORE 1202751.771
AT ITER 3557 NEW BEST:: SOT 71483183 SOS 63275161 HAS SOPS 29775740 HAS SOUS 3191236 HAS SOUPS 1137540 WITH SCORE 1200815.161
AT ITER 3559 NEW BEST:: SOT 71483179 SOS 63275153 HAS SOPS 29775732 HAS SOUS 3191232 HAS SOUPS 1137536 WITH SCORE 1200811.153
AT ITER 3566 NEW BEST:: SOT 71483205 SOS 63275170 HAS SOPS 29776002 HAS SOUS 3190865 HAS SOUPS 1137291 WITH SCORE 1200566.17
AT ITER 3578 NEW BEST:: SOT 71478257 SOS 63289444 HAS SOPS 29777476 HAS SOUS 3187104 HAS SOUPS 1133530 WITH SCORE 1196819.444
AT ITER 3597 NEW BEST:: SOT 71475693 SOS 63310816 HAS SOPS 29784748 HAS SOUS 3185889 HAS SOUPS 1132315 WITH SCORE 1195625.816
AT ITER 3614 NEW BEST:: SOT 71475031 SOS 63317550 HAS SOPS 29784372 HAS SOUS 3185678 HAS SOUPS 1131867 WITH SCORE 1195184.55
AT ITER 3616 NEW BEST:: SOT 71475031 SOS 63317550 HAS SOPS 29784372 HAS SOUS 3185432 HAS SOUPS 1131621 WITH SCORE 1194938.55
AT ITER 3629 NEW BEST:: SOT 71475146 SOS 63312260 HAS SOPS 29782532 HAS SOUS 3185317 HAS SOUPS 1131621 WITH SCORE 1194933.26
AT ITER 3654 NEW BEST:: SOT 71472492 SOS 63344348 HAS SOPS 29788910 HAS SOUS 3185323 HAS SOUPS 1130770 WITH SCORE 1194114.348
AT ITER 3661 NEW BEST:: SOT 71471046 SOS 63341456 HAS SOPS 29786018 HAS SOUS 3184942 HAS SOUPS 1130389 WITH SCORE 1193730.456
AT ITER 3679 NEW BEST:: SOT 71471046 SOS 63341126 HAS SOPS 29785688 HAS SOUS 3184941 HAS SOUPS 1130388 WITH SCORE 1193729.126
AT ITER 3693 NEW BEST:: SOT 71470567 SOS 63340168 HAS SOPS 29784730 HAS SOUS 3184462 HAS SOUPS 1129909 WITH SCORE 1193249.168
AT ITER 3708 NEW BEST:: SOT 71470567 SOS 63340168 HAS SOPS 29784730 HAS SOUS 3184440 HAS SOUPS 1129887 WITH SCORE 1193227.168
AT ITER 3734 NEW BEST:: SOT 71470567 SOS 63340168 HAS SOPS 29784730 HAS SOUS 3184218 HAS SOUPS 1129665 WITH SCORE 1193005.168
AT ITER 3754 NEW BEST:: SOT 71470567 SOS 63340168 HAS SOPS 29784730 HAS SOUS 3184208 HAS SOUPS 1129655 WITH SCORE 1192995.168
AT ITER 3763 NEW BEST:: SOT 71470567 SOS 63340168 HAS SOPS 29784730 HAS SOUS 3184160 HAS SOUPS 1129607 WITH SCORE 1192947.168
AT ITER 3778 NEW BEST:: SOT 71470093 SOS 63341728 HAS SOPS 29784310 HAS SOUS 3183884 HAS SOUPS 1129265 WITH SCORE 1192606.7280000001
AT ITER 3803 NEW BEST:: SOT 71470093 SOS 63341728 HAS SOPS 29784310 HAS SOUS 3183604 HAS SOUPS 1128985 WITH SCORE 1192326.7280000001
AT ITER 3838 NEW BEST:: SOT 71469791 SOS 63341124 HAS SOPS 29786726 HAS SOUS 3183000 HAS SOUPS 1128683 WITH SCORE 1192024.124
AT ITER 3854 NEW BEST:: SOT 71469791 SOS 63341124 HAS SOPS 29786726 HAS SOUS 3182720 HAS SOUPS 1128403 WITH SCORE 1191744.124
AT ITER 3901 NEW BEST:: SOT 71469421 SOS 63340384 HAS SOPS 29788056 HAS SOUS 3181980 HAS SOUPS 1127870 WITH SCORE 1191210.384
AT ITER 3946 NEW BEST:: SOT 71469421 SOS 63340384 HAS SOPS 29788056 HAS SOUS 3181892 HAS SOUPS 1127782 WITH SCORE 1191122.384
AT ITER 3988 NEW BEST:: SOT 71469120 SOS 63341244 HAS SOPS 29787626 HAS SOUS 3181720 HAS SOUPS 1127567 WITH SCORE 1190908.244
AT ITER 4000 NEW BEST:: SOT 71466960 SOS 63332748 HAS SOPS 29786090 HAS SOUS 3180180 HAS SOUPS 1126723 WITH SCORE 1190055.748
AT ITER 4007 NEW BEST:: SOT 71466960 SOS 63332748 HAS SOPS 29786090 HAS SOUS 3180012 HAS SOUPS 1126555 WITH SCORE 1189887.748
AT ITER 4032 NEW BEST:: SOT 71466960 SOS 63332748 HAS SOPS 29786090 HAS SOUS 3179980 HAS SOUPS 1126523 WITH SCORE 1189855.748
AT ITER 4047 NEW BEST:: SOT 71466575 SOS 63331978 HAS SOPS 29785320 HAS SOUS 3179210 HAS SOUPS 1125753 WITH SCORE 1189084.9780000001
AT ITER 4048 NEW BEST:: SOT 71466359 SOS 63331546 HAS SOPS 29785968 HAS SOUS 3178778 HAS SOUPS 1125429 WITH SCORE 1188760.546
AT ITER 4056 NEW BEST:: SOT 71463347 SOS 63355652 HAS SOPS 29795874 HAS SOUS 3177218 HAS SOUPS 1123869 WITH SCORE 1187224.652
AT ITER 4093 NEW BEST:: SOT 71463347 SOS 63356114 HAS SOPS 29795566 HAS SOUS 3177141 HAS SOUPS 1123715 WITH SCORE 1187071.114
AT ITER 4109 NEW BEST:: SOT 71463127 SOS 63351664 HAS SOPS 29795266 HAS SOUS 3176583 HAS SOUPS 1123572 WITH SCORE 1186923.664
AT ITER 4134 NEW BEST:: SOT 71463105 SOS 63351620 HAS SOPS 29795222 HAS SOUS 3176561 HAS SOUPS 1123550 WITH SCORE 1186901.62
AT ITER 4141 NEW BEST:: SOT 71463409 SOS 63337636 HAS SOPS 29787318 HAS SOUS 3176541 HAS SOUPS 1123530 WITH SCORE 1186867.636
AT ITER 4152 NEW BEST:: SOT 71463409 SOS 63337636 HAS SOPS 29787318 HAS SOUS 3176261 HAS SOUPS 1123250 WITH SCORE 1186587.636
AT ITER 4153 NEW BEST:: SOT 71463409 SOS 63337636 HAS SOPS 29787318 HAS SOUS 3176243 HAS SOUPS 1123232 WITH SCORE 1186569.636
AT ITER 4199 NEW BEST:: SOT 71463229 SOS 63337276 HAS SOPS 29786058 HAS SOUS 3176122 HAS SOUPS 1123021 WITH SCORE 1186358.276
AT ITER 4211 NEW BEST:: SOT 71462405 SOS 63334356 HAS SOPS 29785258 HAS SOUS 3175498 HAS SOUPS 1122609 WITH SCORE 1185943.356
AT ITER 4213 NEW BEST:: SOT 71462405 SOS 63330696 HAS SOPS 29787698 HAS SOUS 3174888 HAS SOUPS 1122609 WITH SCORE 1185939.696
AT ITER 4221 NEW BEST:: SOT 71462037 SOS 63326798 HAS SOPS 29789070 HAS SOUS 3173993 HAS SOUPS 1122241 WITH SCORE 1185567.798
AT ITER 4223 NEW BEST:: SOT 71462037 SOS 63326798 HAS SOPS 29789070 HAS SOUS 3173713 HAS SOUPS 1121961 WITH SCORE 1185287.798
AT ITER 4243 NEW BEST:: SOT 71461426 SOS 63335224 HAS SOPS 29793476 HAS SOUS 3173303 HAS SOUPS 1121551 WITH SCORE 1184886.224
AT ITER 4245 NEW BEST:: SOT 71461426 SOS 63335224 HAS SOPS 29793476 HAS SOUS 3173023 HAS SOUPS 1121271 WITH SCORE 1184606.224
AT ITER 4268 NEW BEST:: SOT 71460932 SOS 63334236 HAS SOPS 29792488 HAS SOUS 3172620 HAS SOUPS 1120868 WITH SCORE 1184202.236
AT ITER 4279 NEW BEST:: SOT 71460717 SOS 63330590 HAS SOPS 29794202 HAS SOUS 3171869 HAS SOUPS 1120653 WITH SCORE 1183983.59
AT ITER 4282 NEW BEST:: SOT 71460748 SOS 63329164 HAS SOPS 29793396 HAS SOUS 3171869 HAS SOUPS 1120653 WITH SCORE 1183982.164
AT ITER 4292 NEW BEST:: SOT 71458320 SOS 63321314 HAS SOPS 29790536 HAS SOUS 3170195 HAS SOUPS 1119478 WITH SCORE 1182799.314
AT ITER 4299 NEW BEST:: SOT 71458320 SOS 63321314 HAS SOPS 29790536 HAS SOUS 3170183 HAS SOUPS 1119466 WITH SCORE 1182787.314
AT ITER 4301 NEW BEST:: SOT 71458320 SOS 63322744 HAS SOPS 29790536 HAS SOUS 3170324 HAS SOUPS 1119464 WITH SCORE 1182786.744
AT ITER 4304 NEW BEST:: SOT 71458320 SOS 63322744 HAS SOPS 29790536 HAS SOUS 3170044 HAS SOUPS 1119184 WITH SCORE 1182506.744
AT ITER 4324 NEW BEST:: SOT 71457515 SOS 63327252 HAS SOPS 29791824 HAS SOUS 3169400 HAS SOUPS 1118540 WITH SCORE 1181867.252
AT ITER 4356 NEW BEST:: SOT 71457515 SOS 63327252 HAS SOPS 29791824 HAS SOUS 3169222 HAS SOUPS 1118362 WITH SCORE 1181689.252
AT ITER 4384 NEW BEST:: SOT 71457515 SOS 63327252 HAS SOPS 29791824 HAS SOUS 3169084 HAS SOUPS 1118224 WITH SCORE 1181551.252
AT ITER 4406 NEW BEST:: SOT 71457505 SOS 63327232 HAS SOPS 29791804 HAS SOUS 3169069 HAS SOUPS 1118209 WITH SCORE 1181536.232
AT ITER 4414 NEW BEST:: SOT 71457287 SOS 63326796 HAS SOPS 29791368 HAS SOUS 3168851 HAS SOUPS 1117991 WITH SCORE 1181317.796
AT ITER 4486 NEW BEST:: SOT 71453470 SOS 63349198 HAS SOPS 29796730 HAS SOUS 3165986 HAS SOUPS 1115126 WITH SCORE 1178475.198
AT ITER 4517 NEW BEST:: SOT 71453288 SOS 63348834 HAS SOPS 29796366 HAS SOUS 3165804 HAS SOUPS 1114944 WITH SCORE 1178292.834
AT ITER 4539 NEW BEST:: SOT 71453288 SOS 63348834 HAS SOPS 29796366 HAS SOUS 3165794 HAS SOUPS 1114934 WITH SCORE 1178282.834
AT ITER 4711 NEW BEST:: SOT 71453288 SOS 63348834 HAS SOPS 29796366 HAS SOUS 3165770 HAS SOUPS 1114910 WITH SCORE 1178258.834
AT ITER 4713 NEW BEST:: SOT 71453172 SOS 63349652 HAS SOPS 29797184 HAS SOUS 3165479 HAS SOUPS 1114619 WITH SCORE 1177968.652
AT ITER 4720 NEW BEST:: SOT 71451098 SOS 63341238 HAS SOPS 29795880 HAS SOUS 3163518 HAS SOUPS 1113369 WITH SCORE 1176710.238
AT ITER 4727 NEW BEST:: SOT 71450952 SOS 63342546 HAS SOPS 29797188 HAS SOUS 3163068 HAS SOUPS 1112919 WITH SCORE 1176261.546
AT ITER 4744 NEW BEST:: SOT 71450768 SOS 63341626 HAS SOPS 29796268 HAS SOUS 3162884 HAS SOUPS 1112735 WITH SCORE 1176076.626
AT ITER 4805 NEW BEST:: SOT 71446854 SOS 63369114 HAS SOPS 29805916 HAS SOUS 3160130 HAS SOUPS 1109981 WITH SCORE 1173350.114
AT ITER 4819 NEW BEST:: SOT 71440321 SOS 63356208 HAS SOPS 29800726 HAS SOUS 3160090 HAS SOUPS 1109993 WITH SCORE 1173349.208
AT ITER 4834 NEW BEST:: SOT 71439924 SOS 63363130 HAS SOPS 29802878 HAS SOUS 3159932 HAS SOUPS 1109676 WITH SCORE 1173039.13
AT ITER 4849 NEW BEST:: SOT 71435645 SOS 63382682 HAS SOPS 29806230 HAS SOUS 3158255 HAS SOUPS 1107999 WITH SCORE 1171381.682
AT ITER 4858 NEW BEST:: SOT 71435645 SOS 63382682 HAS SOPS 29806230 HAS SOUS 3158253 HAS SOUPS 1107997 WITH SCORE 1171379.682
AT ITER 4864 NEW BEST:: SOT 71435190 SOS 63384242 HAS SOPS 29805840 HAS SOUS 3158012 HAS SOUPS 1107691 WITH SCORE 1171075.242
AT ITER 4878 NEW BEST:: SOT 71435143 SOS 63384148 HAS SOPS 29806216 HAS SOUS 3157871 HAS SOUPS 1107597 WITH SCORE 1170981.148
AT ITER 4925 NEW BEST:: SOT 71435143 SOS 63384148 HAS SOPS 29806216 HAS SOUS 3157839 HAS SOUPS 1107565 WITH SCORE 1170949.148
AT ITER 4934 NEW BEST:: SOT 71434491 SOS 63382844 HAS SOPS 29808692 HAS SOUS 3156497 HAS SOUPS 1106601 WITH SCORE 1169983.844
AT ITER 4937 NEW BEST:: SOT 71434507 SOS 63381376 HAS SOPS 29812354 HAS SOUS 3155832 HAS SOUPS 1106449 WITH SCORE 1169830.376
AT ITER 4939 NEW BEST:: SOT 71432033 SOS 63394014 HAS SOPS 29814352 HAS SOUS 3154080 HAS SOUPS 1104697 WITH SCORE 1168091.014
AT ITER 4989 NEW BEST:: SOT 71432033 SOS 63394014 HAS SOPS 29814352 HAS SOUS 3154022 HAS SOUPS 1104639 WITH SCORE 1168033.014
AT ITER 5004 NEW BEST:: SOT 71432009 SOS 63393966 HAS SOPS 29814304 HAS SOUS 3153997 HAS SOUPS 1104614 WITH SCORE 1168007.966
AT ITER 5018 NEW BEST:: SOT 71431003 SOS 63398584 HAS SOPS 29813072 HAS SOUS 3153398 HAS SOUPS 1103820 WITH SCORE 1167218.584
AT ITER 5042 NEW BEST:: SOT 71429116 SOS 63389778 HAS SOPS 29810556 HAS SOUS 3150253 HAS SOUPS 1101304 WITH SCORE 1164693.778
AT ITER 5057 NEW BEST:: SOT 71429060 SOS 63389666 HAS SOPS 29810444 HAS SOUS 3150197 HAS SOUPS 1101248 WITH SCORE 1164637.666
AT ITER 5065 NEW BEST:: SOT 71428968 SOS 63389482 HAS SOPS 29811340 HAS SOUS 3149997 HAS SOUPS 1101156 WITH SCORE 1164545.482
AT ITER 5069 NEW BEST:: SOT 71426176 SOS 63414528 HAS SOPS 29821686 HAS SOUS 3148150 HAS SOUPS 1099309 WITH SCORE 1162723.528
AT ITER 5120 NEW BEST:: SOT 71425634 SOS 63409718 HAS SOPS 29823086 HAS SOUS 3146987 HAS SOUPS 1098767 WITH SCORE 1162176.718
AT ITER 5166 NEW BEST:: SOT 71425634 SOS 63406768 HAS SOPS 29823086 HAS SOUS 3146434 HAS SOUPS 1098509 WITH SCORE 1161915.768
AT ITER 5186 NEW BEST:: SOT 71425634 SOS 63406768 HAS SOPS 29823086 HAS SOUS 3146142 HAS SOUPS 1098217 WITH SCORE 1161623.768
AT ITER 5187 NEW BEST:: SOT 71424606 SOS 63428698 HAS SOPS 29827496 HAS SOUS 3146375 HAS SOUPS 1097866 WITH SCORE 1161294.698
AT ITER 5188 NEW BEST:: SOT 71421413 SOS 63439438 HAS SOPS 29827896 HAS SOUS 3143619 HAS SOUPS 1095110 WITH SCORE 1158549.438
AT ITER 5199 NEW BEST:: SOT 71421205 SOS 63439752 HAS SOPS 29828210 HAS SOUS 3143586 HAS SOUPS 1095077 WITH SCORE 1158516.752
AT ITER 5225 NEW BEST:: SOT 71417728 SOS 63464832 HAS SOPS 29838330 HAS SOUS 3140868 HAS SOUPS 1092359 WITH SCORE 1155823.832
AT ITER 5246 NEW BEST:: SOT 71415873 SOS 63504394 HAS SOPS 29851012 HAS SOUS 3139863 HAS SOUPS 1090458 WITH SCORE 1153962.394
AT ITER 5271 NEW BEST:: SOT 71415871 SOS 63504390 HAS SOPS 29851008 HAS SOUS 3139860 HAS SOUPS 1090455 WITH SCORE 1153959.39
AT ITER 5280 NEW BEST:: SOT 71413632 SOS 63514202 HAS SOPS 29847470 HAS SOUS 3138624 HAS SOUPS 1088774 WITH SCORE 1152288.202
AT ITER 5315 NEW BEST:: SOT 71413632 SOS 63514202 HAS SOPS 29847470 HAS SOUS 3138458 HAS SOUPS 1088608 WITH SCORE 1152122.202
AT ITER 5349 NEW BEST:: SOT 71413703 SOS 63515204 HAS SOPS 29843642 HAS SOUS 3138697 HAS SOUPS 1088364 WITH SCORE 1151879.204
AT ITER 5358 NEW BEST:: SOT 71413298 SOS 63518984 HAS SOPS 29843372 HAS SOUS 3138427 HAS SOUPS 1087959 WITH SCORE 1151477.984
AT ITER 5377 NEW BEST:: SOT 71413298 SOS 63518984 HAS SOPS 29843372 HAS SOUS 3138329 HAS SOUPS 1087861 WITH SCORE 1151379.984
AT ITER 5422 NEW BEST:: SOT 71413298 SOS 63518984 HAS SOPS 29843372 HAS SOUS 3138095 HAS SOUPS 1087627 WITH SCORE 1151145.984
AT ITER 5426 NEW BEST:: SOT 71410827 SOS 63535352 HAS SOPS 29849140 HAS SOUS 3135956 HAS SOUPS 1085488 WITH SCORE 1149023.352
AT ITER 5429 NEW BEST:: SOT 71410805 SOS 63535308 HAS SOPS 29849096 HAS SOUS 3135934 HAS SOUPS 1085466 WITH SCORE 1149001.308
AT ITER 5456 NEW BEST:: SOT 71410805 SOS 63535308 HAS SOPS 29849096 HAS SOUS 3135868 HAS SOUPS 1085400 WITH SCORE 1148935.308
AT ITER 5499 NEW BEST:: SOT 71410805 SOS 63535308 HAS SOPS 29849096 HAS SOUS 3135862 HAS SOUPS 1085394 WITH SCORE 1148929.308
AT ITER 5554 NEW BEST:: SOT 71410805 SOS 63535308 HAS SOPS 29849096 HAS SOUS 3135582 HAS SOUPS 1085114 WITH SCORE 1148649.308
AT ITER 5555 NEW BEST:: SOT 71410805 SOS 63535308 HAS SOPS 29849096 HAS SOUS 3135306 HAS SOUPS 1084838 WITH SCORE 1148373.308
AT ITER 5565 NEW BEST:: SOT 71410579 SOS 63533236 HAS SOPS 29847024 HAS SOUS 3135080 HAS SOUPS 1084612 WITH SCORE 1148145.236
AT ITER 5612 NEW BEST:: SOT 71410653 SOS 63535900 HAS SOPS 29847468 HAS SOUS 3135080 HAS SOUPS 1084538 WITH SCORE 1148073.9
AT ITER 5629 NEW BEST:: SOT 71408725 SOS 63541672 HAS SOPS 29844360 HAS SOUS 3133896 HAS SOUPS 1083058 WITH SCORE 1146599.672
AT ITER 5700 NEW BEST:: SOT 71406989 SOS 63557804 HAS SOPS 29846152 HAS SOUS 3133485 HAS SOUPS 1082169 WITH SCORE 1145726.804
AT ITER 5705 NEW BEST:: SOT 71406989 SOS 63557804 HAS SOPS 29846152 HAS SOUS 3133205 HAS SOUPS 1081889 WITH SCORE 1145446.804
AT ITER 5729 NEW BEST:: SOT 71406045 SOS 63570268 HAS SOPS 29852636 HAS SOUS 3132560 HAS SOUPS 1081244 WITH SCORE 1144814.268
AT ITER 5747 NEW BEST:: SOT 71406045 SOS 63570268 HAS SOPS 29852636 HAS SOUS 3132514 HAS SOUPS 1081198 WITH SCORE 1144768.268
AT ITER 5755 NEW BEST:: SOT 71405709 SOS 63569596 HAS SOPS 29853644 HAS SOUS 3131842 HAS SOUPS 1080694 WITH SCORE 1144263.596
AT ITER 5803 NEW BEST:: SOT 71404750 SOS 63572336 HAS SOPS 29852274 HAS SOUS 3131294 HAS SOUPS 1080009 WITH SCORE 1143581.336
AT ITER 5811 NEW BEST:: SOT 71404752 SOS 63572244 HAS SOPS 29852222 HAS SOUS 3131294 HAS SOUPS 1080009 WITH SCORE 1143581.244
AT ITER 5822 NEW BEST:: SOT 71404574 SOS 63571888 HAS SOPS 29851866 HAS SOUS 3131204 HAS SOUPS 1079919 WITH SCORE 1143490.888
AT ITER 5824 NEW BEST:: SOT 71404574 SOS 63571888 HAS SOPS 29851866 HAS SOUS 3130930 HAS SOUPS 1079645 WITH SCORE 1143216.888
AT ITER 5846 NEW BEST:: SOT 71403494 SOS 63565882 HAS SOPS 29852270 HAS SOUS 3129487 HAS SOUPS 1078843 WITH SCORE 1142408.882
AT ITER 5856 NEW BEST:: SOT 71402978 SOS 63565194 HAS SOPS 29851582 HAS SOUS 3129229 HAS SOUPS 1078585 WITH SCORE 1142150.194
AT ITER 5882 NEW BEST:: SOT 71402298 SOS 63564514 HAS SOPS 29850902 HAS SOUS 3129228 HAS SOUPS 1078584 WITH SCORE 1142148.514
AT ITER 5889 NEW BEST:: SOT 71401437 SOS 63559852 HAS SOPS 29851330 HAS SOUS 3127961 HAS SOUPS 1077826 WITH SCORE 1141385.852
AT ITER 5902 NEW BEST:: SOT 71401437 SOS 63559852 HAS SOPS 29851330 HAS SOUS 3127923 HAS SOUPS 1077788 WITH SCORE 1141347.852
AT ITER 5913 NEW BEST:: SOT 71401236 SOS 63561460 HAS SOPS 29850928 HAS SOUS 3127798 HAS SOUPS 1077462 WITH SCORE 1141023.46
AT ITER 5938 NEW BEST:: SOT 71401236 SOS 63561460 HAS SOPS 29850928 HAS SOUS 3127574 HAS SOUPS 1077238 WITH SCORE 1140799.46
AT ITER 5946 NEW BEST:: SOT 71401376 SOS 63561990 HAS SOPS 29851458 HAS SOUS 3127558 HAS SOUPS 1077222 WITH SCORE 1140783.99
AT ITER 5988 NEW BEST:: SOT 71401376 SOS 63561990 HAS SOPS 29851458 HAS SOUS 3127282 HAS SOUPS 1076946 WITH SCORE 1140507.99
AT ITER 5992 NEW BEST:: SOT 71401104 SOS 63562390 HAS SOPS 29851858 HAS SOUS 3127245 HAS SOUPS 1076909 WITH SCORE 1140471.39
AT ITER 6030 NEW BEST:: SOT 71401062 SOS 63562306 HAS SOPS 29851774 HAS SOUS 3127161 HAS SOUPS 1076825 WITH SCORE 1140387.306
AT ITER 6053 NEW BEST:: SOT 71401062 SOS 63562306 HAS SOPS 29851774 HAS SOUS 3127157 HAS SOUPS 1076821 WITH SCORE 1140383.306
AT ITER 6062 NEW BEST:: SOT 71400906 SOS 63561994 HAS SOPS 29853452 HAS SOUS 3126646 HAS SOUPS 1076509 WITH SCORE 1140070.994
AT ITER 6070 NEW BEST:: SOT 71398701 SOS 63557829 HAS SOPS 29851737 HAS SOUS 3126401 HAS SOUPS 1076264 WITH SCORE 1139821.829
AT ITER 6071 NEW BEST:: SOT 71397041 SOS 63570975 HAS SOPS 29849523 HAS SOUS 3125360 HAS SOUPS 1074711 WITH SCORE 1138281.975
AT ITER 6120 NEW BEST:: SOT 71397041 SOS 63570975 HAS SOPS 29849523 HAS SOUS 3125204 HAS SOUPS 1074555 WITH SCORE 1138125.975
AT ITER 6160 NEW BEST:: SOT 71396780 SOS 63570453 HAS SOPS 29850761 HAS SOUS 3124637 HAS SOUPS 1074164 WITH SCORE 1137734.453
AT ITER 6196 NEW BEST:: SOT 71394411 SOS 63586719 HAS SOPS 29856767 HAS SOUS 3123420 HAS SOUPS 1072947 WITH SCORE 1136533.719
AT ITER 6224 NEW BEST:: SOT 71394411 SOS 63586719 HAS SOPS 29856767 HAS SOUS 3123412 HAS SOUPS 1072939 WITH SCORE 1136525.719
AT ITER 6236 NEW BEST:: SOT 71394365 SOS 63586627 HAS SOPS 29856675 HAS SOUS 3123365 HAS SOUPS 1072892 WITH SCORE 1136478.627
AT ITER 6274 NEW BEST:: SOT 71394365 SOS 63585367 HAS SOPS 29857515 HAS SOUS 3123155 HAS SOUPS 1072892 WITH SCORE 1136477.367
AT ITER 6301 NEW BEST:: SOT 71394266 SOS 63586291 HAS SOPS 29857449 HAS SOUS 3123089 HAS SOUPS 1072793 WITH SCORE 1136379.291
AT ITER 6319 NEW BEST:: SOT 71393359 SOS 63584477 HAS SOPS 29864205 HAS SOUS 3120880 HAS SOUPS 1071441 WITH SCORE 1135025.477
AT ITER 6325 NEW BEST:: SOT 71393857 SOS 63585473 HAS SOPS 29865284 HAS SOUS 3120548 HAS SOUPS 1071192 WITH SCORE 1134777.473
AT ITER 6333 NEW BEST:: SOT 71393857 SOS 63585473 HAS SOPS 29865284 HAS SOUS 3120494 HAS SOUPS 1071138 WITH SCORE 1134723.473
AT ITER 6336 NEW BEST:: SOT 71393857 SOS 63585473 HAS SOPS 29865284 HAS SOUS 3120244 HAS SOUPS 1070888 WITH SCORE 1134473.473
AT ITER 6392 NEW BEST:: SOT 71392351 SOS 63590917 HAS SOPS 29861668 HAS SOUS 3119642 HAS SOUPS 1069984 WITH SCORE 1133574.917
AT ITER 6398 NEW BEST:: SOT 71392351 SOS 63590917 HAS SOPS 29861668 HAS SOUS 3119552 HAS SOUPS 1069894 WITH SCORE 1133484.917
AT ITER 6469 NEW BEST:: SOT 71392150 SOS 63590515 HAS SOPS 29861266 HAS SOUS 3119396 HAS SOUPS 1069738 WITH SCORE 1133328.515
AT ITER 6482 NEW BEST:: SOT 71392150 SOS 63590515 HAS SOPS 29861266 HAS SOUS 3119116 HAS SOUPS 1069458 WITH SCORE 1133048.515
AT ITER 6488 NEW BEST:: SOT 71392150 SOS 63590515 HAS SOPS 29861266 HAS SOUS 3118858 HAS SOUPS 1069200 WITH SCORE 1132790.515
AT ITER 6498 NEW BEST:: SOT 71391854 SOS 63588321 HAS SOPS 29859072 HAS SOUS 3118562 HAS SOUPS 1068904 WITH SCORE 1132492.321
AT ITER 6516 NEW BEST:: SOT 71391747 SOS 63588107 HAS SOPS 29858858 HAS SOUS 3118455 HAS SOUPS 1068797 WITH SCORE 1132385.107
AT ITER 6523 NEW BEST:: SOT 71391678 SOS 63588909 HAS SOPS 29856500 HAS SOUS 3118395 HAS SOUPS 1068421 WITH SCORE 1132009.909
AT ITER 6529 NEW BEST:: SOT 71391633 SOS 63588819 HAS SOPS 29856410 HAS SOUS 3118305 HAS SOUPS 1068331 WITH SCORE 1131919.819
AT ITER 6538 NEW BEST:: SOT 71391633 SOS 63588819 HAS SOPS 29856410 HAS SOUS 3118025 HAS SOUPS 1068051 WITH SCORE 1131639.819
AT ITER 6572 NEW BEST:: SOT 71391633 SOS 63588819 HAS SOPS 29856410 HAS SOUS 3117745 HAS SOUPS 1067771 WITH SCORE 1131359.819
AT ITER 6601 NEW BEST:: SOT 71391633 SOS 63588819 HAS SOPS 29856410 HAS SOUS 3117733 HAS SOUPS 1067759 WITH SCORE 1131347.819
AT ITER 6607 NEW BEST:: SOT 71389449 SOS 63597067 HAS SOPS 29854698 HAS SOUS 3116618 HAS SOUPS 1066312 WITH SCORE 1129909.067
AT ITER 6633 NEW BEST:: SOT 71386920 SOS 63622499 HAS SOPS 29862930 HAS SOUS 3115571 HAS SOUPS 1065265 WITH SCORE 1128887.499
AT ITER 6733 NEW BEST:: SOT 71384820 SOS 63617291 HAS SOPS 29859186 HAS SOUS 3114343 HAS SOUPS 1064355 WITH SCORE 1127972.291
AT ITER 6762 NEW BEST:: SOT 71385015 SOS 63618767 HAS SOPS 29858852 HAS SOUS 3114478 HAS SOUPS 1064309 WITH SCORE 1127927.767
AT ITER 6769 NEW BEST:: SOT 71385015 SOS 63618767 HAS SOPS 29858852 HAS SOUS 3114198 HAS SOUPS 1064029 WITH SCORE 1127647.767
AT ITER 6785 NEW BEST:: SOT 71383452 SOS 63609725 HAS SOPS 29859670 HAS SOUS 3113180 HAS SOUPS 1063997 WITH SCORE 1127606.725
AT ITER 6788 NEW BEST:: SOT 71383452 SOS 63609725 HAS SOPS 29859670 HAS SOUS 3112960 HAS SOUPS 1063777 WITH SCORE 1127386.725
AT ITER 6796 NEW BEST:: SOT 71383452 SOS 63609725 HAS SOPS 29859670 HAS SOUS 3112680 HAS SOUPS 1063497 WITH SCORE 1127106.725
AT ITER 6803 NEW BEST:: SOT 71380743 SOS 63600203 HAS SOPS 29856988 HAS SOUS 3111229 HAS SOUPS 1062730 WITH SCORE 1126330.203
AT ITER 6805 NEW BEST:: SOT 71379128 SOS 63594207 HAS SOPS 29855602 HAS SOUS 3110283 HAS SOUPS 1062245 WITH SCORE 1125839.207
AT ITER 6820 NEW BEST:: SOT 71377355 SOS 63601609 HAS SOPS 29851274 HAS SOUS 3109592 HAS SOUPS 1061163 WITH SCORE 1124764.609
AT ITER 6827 NEW BEST:: SOT 71375755 SOS 63630465 HAS SOPS 29856460 HAS SOUS 3109487 HAS SOUPS 1060269 WITH SCORE 1123899.465
AT ITER 6841 NEW BEST:: SOT 71365612 SOS 63611276 HAS SOPS 29848877 HAS SOUS 3109254 HAS SOUPS 1060204 WITH SCORE 1123815.276
AT ITER 6852 NEW BEST:: SOT 71365612 SOS 63611276 HAS SOPS 29848877 HAS SOUS 3109154 HAS SOUPS 1060104 WITH SCORE 1123715.276
AT ITER 6858 NEW BEST:: SOT 71365082 SOS 63610216 HAS SOPS 29850467 HAS SOUS 3108094 HAS SOUPS 1059309 WITH SCORE 1122919.216
AT ITER 6861 NEW BEST:: SOT 71364124 SOS 63614972 HAS SOPS 29852443 HAS SOUS 3107679 HAS SOUPS 1058894 WITH SCORE 1122508.972
AT ITER 6876 NEW BEST:: SOT 71364124 SOS 63614972 HAS SOPS 29852443 HAS SOUS 3107399 HAS SOUPS 1058614 WITH SCORE 1122228.972
AT ITER 6907 NEW BEST:: SOT 71364621 SOS 63529967 HAS SOPS 29855199 HAS SOUS 3106119 HAS SOUPS 1057923 WITH SCORE 1121452.967
AT ITER 6952 NEW BEST:: SOT 71364621 SOS 63526707 HAS SOPS 29855199 HAS SOUS 3105793 HAS SOUPS 1057923 WITH SCORE 1121449.707
AT ITER 6967 NEW BEST:: SOT 71364071 SOS 63534295 HAS SOPS 29859167 HAS SOUS 3105729 HAS SOUPS 1057859 WITH SCORE 1121393.295
AT ITER 6973 NEW BEST:: SOT 71363715 SOS 63532513 HAS SOPS 29859165 HAS SOUS 3105016 HAS SOUPS 1057324 WITH SCORE 1120856.513
AT ITER 6980 NEW BEST:: SOT 71363715 SOS 63532513 HAS SOPS 29859165 HAS SOUS 3104736 HAS SOUPS 1057044 WITH SCORE 1120576.513
AT ITER 6990 NEW BEST:: SOT 71362305 SOS 63528043 HAS SOPS 29854695 HAS SOUS 3104151 HAS SOUPS 1056459 WITH SCORE 1119987.043
AT ITER 7038 NEW BEST:: SOT 71362305 SOS 63528043 HAS SOPS 29854695 HAS SOUS 3103905 HAS SOUPS 1056213 WITH SCORE 1119741.043
AT ITER 7053 NEW BEST:: SOT 71362305 SOS 63528043 HAS SOPS 29854695 HAS SOUS 3103889 HAS SOUPS 1056197 WITH SCORE 1119725.043
AT ITER 7068 NEW BEST:: SOT 71362305 SOS 63527755 HAS SOPS 29854887 HAS SOUS 3103841 HAS SOUPS 1056197 WITH SCORE 1119724.755
AT ITER 7074 NEW BEST:: SOT 71362305 SOS 63527755 HAS SOPS 29854887 HAS SOUS 3103811 HAS SOUPS 1056167 WITH SCORE 1119694.755
AT ITER 7091 NEW BEST:: SOT 71362305 SOS 63527755 HAS SOPS 29854887 HAS SOUS 3103613 HAS SOUPS 1055969 WITH SCORE 1119496.755
AT ITER 7100 NEW BEST:: SOT 71361402 SOS 63525949 HAS SOPS 29853081 HAS SOUS 3102806 HAS SOUPS 1055162 WITH SCORE 1118687.949
AT ITER 7101 NEW BEST:: SOT 71361242 SOS 63521199 HAS SOPS 29853471 HAS SOUS 3101910 HAS SOUPS 1054780 WITH SCORE 1118301.199
AT ITER 7103 NEW BEST:: SOT 71354275 SOS 63507841 HAS SOPS 29848118 HAS SOUS 3101499 HAS SOUPS 1054448 WITH SCORE 1117955.841
AT ITER 7112 NEW BEST:: SOT 71354275 SOS 63507841 HAS SOPS 29848118 HAS SOUS 3101367 HAS SOUPS 1054316 WITH SCORE 1117823.841
AT ITER 7134 NEW BEST:: SOT 71353189 SOS 63511565 HAS SOPS 29846982 HAS SOUS 3100879 HAS SOUPS 1053666 WITH SCORE 1117177.565
AT ITER 7170 NEW BEST:: SOT 71353417 SOS 63423898 HAS SOPS 29777802 HAS SOUS 3100929 HAS SOUPS 1053716 WITH SCORE 1117139.898
AT ITER 7173 NEW BEST:: SOT 71352933 SOS 63417240 HAS SOPS 29777244 HAS SOUS 3099787 HAS SOUPS 1053184 WITH SCORE 1116601.24
AT ITER 7197 NEW BEST:: SOT 71352933 SOS 63417240 HAS SOPS 29777244 HAS SOUS 3099517 HAS SOUPS 1052914 WITH SCORE 1116331.24
AT ITER 7219 NEW BEST:: SOT 71352933 SOS 63417240 HAS SOPS 29777244 HAS SOUS 3099305 HAS SOUPS 1052702 WITH SCORE 1116119.24
AT ITER 7251 NEW BEST:: SOT 71351064 SOS 63406491 HAS SOPS 29774285 HAS SOUS 3097633 HAS SOUPS 1051809 WITH SCORE 1115215.491
AT ITER 7262 NEW BEST:: SOT 71346322 SOS 63426935 HAS SOPS 29784315 HAS SOUS 3094979 HAS SOUPS 1049823 WITH SCORE 1113249.935
AT ITER 7313 NEW BEST:: SOT 71345060 SOS 63447569 HAS SOPS 29795863 HAS SOUS 3094545 HAS SOUPS 1049498 WITH SCORE 1112945.569
AT ITER 7397 NEW BEST:: SOT 71344788 SOS 63447025 HAS SOPS 29800159 HAS SOUS 3093894 HAS SOUPS 1049331 WITH SCORE 1112778.025
AT ITER 7414 NEW BEST:: SOT 71344728 SOS 63446905 HAS SOPS 29800039 HAS SOUS 3093834 HAS SOUPS 1049271 WITH SCORE 1112717.905
AT ITER 7432 NEW BEST:: SOT 71344266 SOS 63448885 HAS SOPS 29800039 HAS SOUS 3093636 HAS SOUPS 1049007 WITH SCORE 1112455.885
AT ITER 7435 NEW BEST:: SOT 71343246 SOS 63453587 HAS SOPS 29800661 HAS SOUS 3092668 HAS SOUPS 1048039 WITH SCORE 1111492.587
AT ITER 7483 NEW BEST:: SOT 71341431 SOS 63447935 HAS SOPS 29798379 HAS SOUS 3091574 HAS SOUPS 1047282 WITH SCORE 1110729.935
AT ITER 7532 NEW BEST:: SOT 71341431 SOS 63447935 HAS SOPS 29798379 HAS SOUS 3091294 HAS SOUPS 1047002 WITH SCORE 1110449.935
AT ITER 7548 NEW BEST:: SOT 71341431 SOS 63447935 HAS SOPS 29798379 HAS SOUS 3091014 HAS SOUPS 1046722 WITH SCORE 1110169.935
AT ITER 7578 NEW BEST:: SOT 71341365 SOS 63447737 HAS SOPS 29798181 HAS SOUS 3090970 HAS SOUPS 1046678 WITH SCORE 1110125.737
AT ITER 7615 NEW BEST:: SOT 71341365 SOS 63447737 HAS SOPS 29798181 HAS SOUS 3090892 HAS SOUPS 1046600 WITH SCORE 1110047.737
AT ITER 7646 NEW BEST:: SOT 71341087 SOS 63457213 HAS SOPS 29803477 HAS SOUS 3090823 HAS SOUPS 1046531 WITH SCORE 1109988.213
AT ITER 7652 NEW BEST:: SOT 71341087 SOS 63457213 HAS SOPS 29803477 HAS SOUS 3090755 HAS SOUPS 1046463 WITH SCORE 1109920.213
AT ITER 7669 NEW BEST:: SOT 71339277 SOS 63474801 HAS SOPS 29808135 HAS SOUS 3090614 HAS SOUPS 1045891 WITH SCORE 1109365.801
AT ITER 7680 NEW BEST:: SOT 71338049 SOS 63472106 HAS SOPS 29808075 HAS SOUS 3090007 HAS SOUPS 1045870 WITH SCORE 1109342.106
AT ITER 7726 NEW BEST:: SOT 71336032 SOS 63489966 HAS SOPS 29814875 HAS SOUS 3088550 HAS SOUPS 1044413 WITH SCORE 1107902.966
AT ITER 7737 NEW BEST:: SOT 71336689 SOS 63491353 HAS SOPS 29815824 HAS SOUS 3088404 HAS SOUPS 1044267 WITH SCORE 1107758.3530000001
AT ITER 7779 NEW BEST:: SOT 71336689 SOS 63491353 HAS SOPS 29815824 HAS SOUS 3088126 HAS SOUPS 1043989 WITH SCORE 1107480.3530000001
AT ITER 7790 NEW BEST:: SOT 71337377 SOS 63497238 HAS SOPS 29821709 HAS SOUS 3087864 HAS SOUPS 1043727 WITH SCORE 1107224.238
AT ITER 7794 NEW BEST:: SOT 71336449 SOS 63503558 HAS SOPS 29820319 HAS SOUS 3088077 HAS SOUPS 1043683 WITH SCORE 1107186.558
AT ITER 7809 NEW BEST:: SOT 71336449 SOS 63503558 HAS SOPS 29820319 HAS SOUS 3087797 HAS SOUPS 1043403 WITH SCORE 1106906.558
AT ITER 7829 NEW BEST:: SOT 71336256 SOS 63503172 HAS SOPS 29819933 HAS SOUS 3087604 HAS SOUPS 1043210 WITH SCORE 1106713.172
AT ITER 7830 NEW BEST:: SOT 71336090 SOS 63504610 HAS SOPS 29819601 HAS SOUS 3087626 HAS SOUPS 1043055 WITH SCORE 1106559.61
AT ITER 7877 NEW BEST:: SOT 71333819 SOS 63511230 HAS SOPS 29815451 HAS SOUS 3087261 HAS SOUPS 1042331 WITH SCORE 1105842.23
AT ITER 7883 NEW BEST:: SOT 71333537 SOS 63509956 HAS SOPS 29814177 HAS SOUS 3086978 HAS SOUPS 1042048 WITH SCORE 1105557.956
AT ITER 7889 NEW BEST:: SOT 71333039 SOS 63506470 HAS SOPS 29813181 HAS SOUS 3085982 HAS SOUPS 1041301 WITH SCORE 1104807.47
AT ITER 7896 NEW BEST:: SOT 71331682 SOS 63502166 HAS SOPS 29811527 HAS SOUS 3084890 HAS SOUPS 1040474 WITH SCORE 1103976.166
AT ITER 7934 NEW BEST:: SOT 71331682 SOS 63502166 HAS SOPS 29811527 HAS SOUS 3084610 HAS SOUPS 1040194 WITH SCORE 1103696.166
AT ITER 7947 NEW BEST:: SOT 71331528 SOS 63502606 HAS SOPS 29811307 HAS SOUS 3084522 HAS SOUPS 1040084 WITH SCORE 1103586.606
AT ITER 7980 NEW BEST:: SOT 71322681 SOS 63489037 HAS SOPS 29801944 HAS SOUS 3084353 HAS SOUPS 1039915 WITH SCORE 1103404.037
AT ITER 8064 NEW BEST:: SOT 71322393 SOS 63486727 HAS SOPS 29802524 HAS SOUS 3084064 HAS SOUPS 1039915 WITH SCORE 1103401.727
AT ITER 8081 NEW BEST:: SOT 71320083 SOS 63475947 HAS SOPS 29799444 HAS SOUS 3080242 HAS SOUPS 1036863 WITH SCORE 1100338.947
AT ITER 8098 NEW BEST:: SOT 71320083 SOS 63474707 HAS SOPS 29799444 HAS SOUS 3080118 HAS SOUPS 1036863 WITH SCORE 1100337.707
AT ITER 8115 NEW BEST:: SOT 71320083 SOS 63474707 HAS SOPS 29799444 HAS SOUS 3079996 HAS SOUPS 1036741 WITH SCORE 1100215.707
AT ITER 8150 NEW BEST:: SOT 71320334 SOS 63462825 HAS SOPS 29792722 HAS SOUS 3079989 HAS SOUPS 1036734 WITH SCORE 1100196.825
AT ITER 8159 NEW BEST:: SOT 71320244 SOS 63462645 HAS SOPS 29793552 HAS SOUS 3079854 HAS SOUPS 1036700 WITH SCORE 1100162.645
AT ITER 8203 NEW BEST:: SOT 71320244 SOS 63462645 HAS SOPS 29793552 HAS SOUS 3079574 HAS SOUPS 1036420 WITH SCORE 1099882.645
AT ITER 8212 NEW BEST:: SOT 71319629 SOS 63459297 HAS SOPS 29793734 HAS SOUS 3079209 HAS SOUPS 1036408 WITH SCORE 1099867.297
AT ITER 8218 NEW BEST:: SOT 71318914 SOS 63456007 HAS SOPS 29794954 HAS SOUS 3077686 HAS SOUPS 1035336 WITH SCORE 1098792.007
AT ITER 8230 NEW BEST:: SOT 71318914 SOS 63456007 HAS SOPS 29794954 HAS SOUS 3077680 HAS SOUPS 1035330 WITH SCORE 1098786.007
AT ITER 8244 NEW BEST:: SOT 71318872 SOS 63455923 HAS SOPS 29794870 HAS SOUS 3077596 HAS SOUPS 1035246 WITH SCORE 1098701.923
AT ITER 8254 NEW BEST:: SOT 71318872 SOS 63458478 HAS SOPS 29797460 HAS SOUS 3077398 HAS SOUPS 1035048 WITH SCORE 1098506.4780000001
AT ITER 8270 NEW BEST:: SOT 71315845 SOS 63490276 HAS SOPS 29810978 HAS SOUS 3076629 HAS SOUPS 1034279 WITH SCORE 1097769.276
AT ITER 8274 NEW BEST:: SOT 71315695 SOS 63492520 HAS SOPS 29811632 HAS SOUS 3076594 HAS SOUPS 1034191 WITH SCORE 1097683.52
AT ITER 8354 NEW BEST:: SOT 71303251 SOS 63469260 HAS SOPS 29803528 HAS SOUS 3075607 HAS SOUPS 1033880 WITH SCORE 1097349.26
AT ITER 8388 NEW BEST:: SOT 71301322 SOS 63461844 HAS SOPS 29802042 HAS SOUS 3074515 HAS SOUPS 1033381 WITH SCORE 1096842.844
AT ITER 8390 NEW BEST:: SOT 71301322 SOS 63461844 HAS SOPS 29802042 HAS SOUS 3074419 HAS SOUPS 1033285 WITH SCORE 1096746.844
AT ITER 8405 NEW BEST:: SOT 71298666 SOS 63472000 HAS SOPS 29802378 HAS SOUS 3073773 HAS SOUPS 1032639 WITH SCORE 1096111.0
AT ITER 8414 NEW BEST:: SOT 71298537 SOS 63471788 HAS SOPS 29802166 HAS SOUS 3073546 HAS SOUPS 1032412 WITH SCORE 1095883.788
AT ITER 8423 NEW BEST:: SOT 71298537 SOS 63471788 HAS SOPS 29802166 HAS SOUS 3073330 HAS SOUPS 1032196 WITH SCORE 1095667.788
AT ITER 8427 NEW BEST:: SOT 71298537 SOS 63471788 HAS SOPS 29802166 HAS SOUS 3073050 HAS SOUPS 1031916 WITH SCORE 1095387.788
AT ITER 8428 NEW BEST:: SOT 71298256 SOS 63462030 HAS SOPS 29798678 HAS SOUS 3072767 HAS SOUPS 1031842 WITH SCORE 1095304.03
AT ITER 8489 NEW BEST:: SOT 71298256 SOS 63462030 HAS SOPS 29798678 HAS SOUS 3072531 HAS SOUPS 1031606 WITH SCORE 1095068.03
AT ITER 8496 NEW BEST:: SOT 71298256 SOS 63462030 HAS SOPS 29798678 HAS SOUS 3072475 HAS SOUPS 1031550 WITH SCORE 1095012.03
AT ITER 8500 NEW BEST:: SOT 71298256 SOS 63462030 HAS SOPS 29798678 HAS SOUS 3072195 HAS SOUPS 1031270 WITH SCORE 1094732.03
AT ITER 8504 NEW BEST:: SOT 71298256 SOS 63461300 HAS SOPS 29800148 HAS SOUS 3071975 HAS SOUPS 1031270 WITH SCORE 1094731.3
AT ITER 8545 NEW BEST:: SOT 71298190 SOS 63461168 HAS SOPS 29799356 HAS SOUS 3071975 HAS SOUPS 1031204 WITH SCORE 1094665.168
AT ITER 8556 NEW BEST:: SOT 71298056 SOS 63460900 HAS SOPS 29799088 HAS SOUS 3071707 HAS SOUPS 1030936 WITH SCORE 1094396.9
AT ITER 8565 NEW BEST:: SOT 71295253 SOS 63488590 HAS SOPS 29805058 HAS SOUS 3070394 HAS SOUPS 1028899 WITH SCORE 1092387.59
AT ITER 8566 NEW BEST:: SOT 71294645 SOS 63486456 HAS SOPS 29802924 HAS SOUS 3070243 HAS SOUPS 1028748 WITH SCORE 1092234.456
AT ITER 8582 NEW BEST:: SOT 71293654 SOS 63500504 HAS SOPS 29807672 HAS SOUS 3069836 HAS SOUPS 1028031 WITH SCORE 1091531.504
AT ITER 8585 NEW BEST:: SOT 71293600 SOS 63500396 HAS SOPS 29807564 HAS SOUS 3069750 HAS SOUPS 1027945 WITH SCORE 1091445.396
AT ITER 8591 NEW BEST:: SOT 71293600 SOS 63500396 HAS SOPS 29807564 HAS SOUS 3069694 HAS SOUPS 1027889 WITH SCORE 1091389.396
AT ITER 8663 NEW BEST:: SOT 71292970 SOS 63504272 HAS SOPS 29809300 HAS SOUS 3069483 HAS SOUPS 1027678 WITH SCORE 1091182.272
AT ITER 8672 NEW BEST:: SOT 71292970 SOS 63504272 HAS SOPS 29809300 HAS SOUS 3069473 HAS SOUPS 1027668 WITH SCORE 1091172.272
AT ITER 8700 NEW BEST:: SOT 71292576 SOS 63503594 HAS SOPS 29808622 HAS SOUS 3069062 HAS SOUPS 1027257 WITH SCORE 1090760.594
AT ITER 8784 NEW BEST:: SOT 71292512 SOS 63503466 HAS SOPS 29808494 HAS SOUS 3069030 HAS SOUPS 1027225 WITH SCORE 1090728.466
AT ITER 8816 NEW BEST:: SOT 71288311 SOS 63535704 HAS SOPS 29816732 HAS SOUS 3068499 HAS SOUPS 1025894 WITH SCORE 1089429.704
AT ITER 8822 NEW BEST:: SOT 71285814 SOS 63553840 HAS SOPS 29820668 HAS SOUS 3068237 HAS SOUPS 1025632 WITH SCORE 1089185.84
AT ITER 8825 NEW BEST:: SOT 71283606 SOS 63570342 HAS SOPS 29825050 HAS SOUS 3067181 HAS SOUPS 1024576 WITH SCORE 1088146.342
AT ITER 8829 NEW BEST:: SOT 71283606 SOS 63570342 HAS SOPS 29825050 HAS SOUS 3066975 HAS SOUPS 1024370 WITH SCORE 1087940.342
AT ITER 8837 NEW BEST:: SOT 71280862 SOS 63587552 HAS SOPS 29828240 HAS SOUS 3065624 HAS SOUPS 1023019 WITH SCORE 1086606.552
AT ITER 8866 NEW BEST:: SOT 71280735 SOS 63577640 HAS SOPS 29824088 HAS SOUS 3065113 HAS SOUPS 1022700 WITH SCORE 1086277.64
AT ITER 8883 NEW BEST:: SOT 71280735 SOS 63577640 HAS SOPS 29824088 HAS SOUS 3065103 HAS SOUPS 1022690 WITH SCORE 1086267.64
AT ITER 8911 NEW BEST:: SOT 71280503 SOS 63577176 HAS SOPS 29823624 HAS SOUS 3064639 HAS SOUPS 1022226 WITH SCORE 1085803.176
AT ITER 8954 NEW BEST:: SOT 71279217 SOS 63583762 HAS SOPS 29822980 HAS SOUS 3064438 HAS SOUPS 1021784 WITH SCORE 1085367.762
AT ITER 9027 NEW BEST:: SOT 71279217 SOS 63583762 HAS SOPS 29822980 HAS SOUS 3064404 HAS SOUPS 1021750 WITH SCORE 1085333.762
AT ITER 9080 NEW BEST:: SOT 71279217 SOS 63583762 HAS SOPS 29822980 HAS SOUS 3064342 HAS SOUPS 1021688 WITH SCORE 1085271.762
AT ITER 9082 NEW BEST:: SOT 71279217 SOS 63583762 HAS SOPS 29822980 HAS SOUS 3064334 HAS SOUPS 1021680 WITH SCORE 1085263.762
AT ITER 9094 NEW BEST:: SOT 71279217 SOS 63583762 HAS SOPS 29822980 HAS SOUS 3064138 HAS SOUPS 1021484 WITH SCORE 1085067.762
AT ITER 9107 NEW BEST:: SOT 71277588 SOS 63614637 HAS SOPS 29828805 HAS SOUS 3064782 HAS SOUPS 1021293 WITH SCORE 1084907.637
AT ITER 9149 NEW BEST:: SOT 71276908 SOS 63614217 HAS SOPS 29827995 HAS SOUS 3063908 HAS SOUPS 1020354 WITH SCORE 1083968.217
AT ITER 9207 NEW BEST:: SOT 71276908 SOS 63614217 HAS SOPS 29827995 HAS SOUS 3063630 HAS SOUPS 1020076 WITH SCORE 1083690.217
AT ITER 9302 NEW BEST:: SOT 71276908 SOS 63614217 HAS SOPS 29827995 HAS SOUS 3063340 HAS SOUPS 1019786 WITH SCORE 1083400.217
AT ITER 9304 NEW BEST:: SOT 71262743 SOS 63587765 HAS SOPS 29819207 HAS SOUS 3062130 HAS SOUPS 1019680 WITH SCORE 1083267.765
AT ITER 9321 NEW BEST:: SOT 71262328 SOS 63586935 HAS SOPS 29820647 HAS SOUS 3061300 HAS SOUPS 1019077 WITH SCORE 1082663.935
AT ITER 9328 NEW BEST:: SOT 71262328 SOS 63586935 HAS SOPS 29820647 HAS SOUS 3061020 HAS SOUPS 1018797 WITH SCORE 1082383.935
AT ITER 9386 NEW BEST:: SOT 71262286 SOS 63586851 HAS SOPS 29820563 HAS SOUS 3060978 HAS SOUPS 1018755 WITH SCORE 1082341.851
AT ITER 9408 NEW BEST:: SOT 71261678 SOS 63583355 HAS SOPS 29821647 HAS SOUS 3059843 HAS SOUPS 1018078 WITH SCORE 1081661.355
AT ITER 9441 NEW BEST:: SOT 71261678 SOS 63583355 HAS SOPS 29821647 HAS SOUS 3059563 HAS SOUPS 1017798 WITH SCORE 1081381.355
AT ITER 9458 NEW BEST:: SOT 71261660 SOS 63583319 HAS SOPS 29821611 HAS SOUS 3059545 HAS SOUPS 1017780 WITH SCORE 1081363.319
AT ITER 9496 NEW BEST:: SOT 71261660 SOS 63583319 HAS SOPS 29821611 HAS SOUS 3059265 HAS SOUPS 1017500 WITH SCORE 1081083.319
AT ITER 9535 NEW BEST:: SOT 71261613 SOS 63583272 HAS SOPS 29821564 HAS SOUS 3059218 HAS SOUPS 1017453 WITH SCORE 1081036.272
AT ITER 9572 NEW BEST:: SOT 71261319 SOS 63586842 HAS SOPS 29822824 HAS SOUS 3059090 HAS SOUPS 1017248 WITH SCORE 1080834.842
AT ITER 9591 NEW BEST:: SOT 71261319 SOS 63586842 HAS SOPS 29822824 HAS SOUS 3058998 HAS SOUPS 1017156 WITH SCORE 1080742.842
AT ITER 9602 NEW BEST:: SOT 71261319 SOS 63581522 HAS SOPS 29824304 HAS SOUS 3058035 HAS SOUPS 1016873 WITH SCORE 1080454.522
AT ITER 9632 NEW BEST:: SOT 71261319 SOS 63581522 HAS SOPS 29824304 HAS SOUS 3057959 HAS SOUPS 1016797 WITH SCORE 1080378.522
AT ITER 9633 NEW BEST:: SOT 71261319 SOS 63581522 HAS SOPS 29824304 HAS SOUS 3057875 HAS SOUPS 1016713 WITH SCORE 1080294.522
AT ITER 9641 NEW BEST:: SOT 71261084 SOS 63578702 HAS SOPS 29823834 HAS SOUS 3057405 HAS SOUPS 1016478 WITH SCORE 1080056.702
AT ITER 9715 NEW BEST:: SOT 71261012 SOS 63577838 HAS SOPS 29823690 HAS SOUS 3057218 HAS SOUPS 1016363 WITH SCORE 1079940.838
AT ITER 9720 NEW BEST:: SOT 71260636 SOS 63577086 HAS SOPS 29822938 HAS SOUS 3056841 HAS SOUPS 1015986 WITH SCORE 1079563.086
AT ITER 9849 NEW BEST:: SOT 71260050 SOS 63485776 HAS SOPS 29840632 HAS SOUS 3056717 HAS SOUPS 1015862 WITH SCORE 1079347.776
AT ITER 9870 NEW BEST:: SOT 71264688 SOS 63490931 HAS SOPS 29842685 HAS SOUS 3054771 HAS SOUPS 1013916 WITH SCORE 1077406.931
AT ITER 9881 NEW BEST:: SOT 71264619 SOS 63490793 HAS SOPS 29842547 HAS SOUS 3054702 HAS SOUPS 1013847 WITH SCORE 1077337.793
AT ITER 9888 NEW BEST:: SOT 71263381 SOS 63493379 HAS SOPS 29840813 HAS SOUS 3054028 HAS SOUPS 1013029 WITH SCORE 1076522.379
AT ITER 9959 NEW BEST:: SOT 71261199 SOS 63485565 HAS SOPS 29838749 HAS SOUS 3052547 HAS SOUPS 1012123 WITH SCORE 1075608.565
AT ITER 9971 NEW BEST:: SOT 71261199 SOS 63485565 HAS SOPS 29838749 HAS SOUS 3052267 HAS SOUPS 1011843 WITH SCORE 1075328.565
AT ITER 9996 NEW BEST:: SOT 71260902 SOS 63492921 HAS SOPS 29842505 HAS SOUS 3052150 HAS SOUPS 1011726 WITH SCORE 1075218.921

BK_TIME_CONFINEMENT_REACHED

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

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="DLCflexbar-PT-8a"
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"

# 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-4028"
echo " Executing tool smart"
echo " Input is DLCflexbar-PT-8a, 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 r048-ebro-158902542200440"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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