Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r043-tajo-167813696800392.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is BugTracking-PT-q8m002, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r043-tajo-167813696800392
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 11K Feb 26 07:33 CTLCardinality.txt
-rw-r--r-- 1 mcc users 94K Feb 26 07:33 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 26 07:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 26 07:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.4K Feb 25 15:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 08:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 99K Feb 26 08:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Feb 26 08:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 26 08:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 16M 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 1678786907242

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=BugTracking-PT-q8m002
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 09:41:48] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 09:41:48] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 09:41:49] [INFO ] Load time of PNML (sax parser for PT used): 678 ms
[2023-03-14 09:41:49] [INFO ] Transformed 754 places.
[2023-03-14 09:41:49] [INFO ] Transformed 27370 transitions.
[2023-03-14 09:41:49] [INFO ] Parsed PT model containing 754 places and 27370 transitions and 136172 arcs in 849 ms.
[2023-03-14 09:41:49] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 754 places, 27370 transitions and 136172 arcs took 133 ms.
Total runtime 1010 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BugTracking (PT), instance q8m002
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 754 places, 27370 transitions, 136172 arcs.
AT ITER 0 NEW BEST:: SOT 12975622 SOS 6053409 HAS SOPS 6048954 HAS SOUS 1656695 HAS SOUPS 1652240 WITH SCORE 1658293.409
AT ITER 2 NEW BEST:: SOT 12975619 SOS 6053365 HAS SOPS 6048951 HAS SOUS 1649806 HAS SOUPS 1645392 WITH SCORE 1651445.365
AT ITER 24 NEW BEST:: SOT 12975605 SOS 6053298 HAS SOPS 6048937 HAS SOUS 1642940 HAS SOUPS 1638579 WITH SCORE 1644632.298
AT ITER 28 NEW BEST:: SOT 12975605 SOS 6046602 HAS SOPS 6042241 HAS SOUS 1642940 HAS SOUPS 1638579 WITH SCORE 1644625.602
AT ITER 30 NEW BEST:: SOT 12973445 SOS 6041784 HAS SOPS 6037423 HAS SOUS 1640576 HAS SOUPS 1636215 WITH SCORE 1642256.784
AT ITER 60 NEW BEST:: SOT 12968716 SOS 6037194 HAS SOPS 6032888 HAS SOUS 1630746 HAS SOUPS 1626440 WITH SCORE 1632477.194
AT ITER 62 NEW BEST:: SOT 12968716 SOS 6030354 HAS SOPS 6026048 HAS SOUS 1630746 HAS SOUPS 1626440 WITH SCORE 1632470.354
AT ITER 64 NEW BEST:: SOT 12968223 SOS 6029861 HAS SOPS 6025555 HAS SOUS 1628918 HAS SOUPS 1624612 WITH SCORE 1630641.861
AT ITER 69 NEW BEST:: SOT 12964950 SOS 6027792 HAS SOPS 6023486 HAS SOUS 1622548 HAS SOUPS 1618242 WITH SCORE 1624269.792
AT ITER 73 NEW BEST:: SOT 12964950 SOS 6027777 HAS SOPS 6023471 HAS SOUS 1622533 HAS SOUPS 1618227 WITH SCORE 1624254.777
AT ITER 91 NEW BEST:: SOT 12964950 SOS 6027750 HAS SOPS 6023444 HAS SOUS 1622506 HAS SOUPS 1618200 WITH SCORE 1624227.75
AT ITER 92 NEW BEST:: SOT 12964892 SOS 6074348 HAS SOPS 6070042 HAS SOUS 1622452 HAS SOUPS 1618146 WITH SCORE 1624220.348
AT ITER 93 NEW BEST:: SOT 12964976 SOS 6074028 HAS SOPS 6069416 HAS SOUS 1622330 HAS SOUPS 1618024 WITH SCORE 1624098.028
AT ITER 99 NEW BEST:: SOT 12964976 SOS 6073892 HAS SOPS 6069280 HAS SOUS 1622262 HAS SOUPS 1617956 WITH SCORE 1624029.892
AT ITER 100 NEW BEST:: SOT 12964976 SOS 6073892 HAS SOPS 6069280 HAS SOUS 1622260 HAS SOUPS 1617954 WITH SCORE 1624027.892
AT ITER 104 NEW BEST:: SOT 12965075 SOS 6073972 HAS SOPS 6069360 HAS SOUS 1616825 HAS SOUPS 1612519 WITH SCORE 1618592.972
AT ITER 108 NEW BEST:: SOT 12955747 SOS 6068180 HAS SOPS 6063568 HAS SOUS 1607880 HAS SOUPS 1603574 WITH SCORE 1609642.18
AT ITER 109 NEW BEST:: SOT 12955747 SOS 6063140 HAS SOPS 6058528 HAS SOUS 1607880 HAS SOUPS 1603574 WITH SCORE 1609637.14
AT ITER 122 NEW BEST:: SOT 12949174 SOS 6059291 HAS SOPS 6054679 HAS SOUS 1599909 HAS SOUPS 1595603 WITH SCORE 1601662.291
AT ITER 126 NEW BEST:: SOT 12949259 SOS 6059376 HAS SOPS 6054764 HAS SOUS 1597036 HAS SOUPS 1592730 WITH SCORE 1598789.376
AT ITER 137 NEW BEST:: SOT 12949259 SOS 6055200 HAS SOPS 6050588 HAS SOUS 1597036 HAS SOUPS 1592730 WITH SCORE 1598785.2
AT ITER 139 NEW BEST:: SOT 12952636 SOS 6058737 HAS SOPS 6054125 HAS SOUS 1596948 HAS SOUPS 1592642 WITH SCORE 1598700.737
AT ITER 145 NEW BEST:: SOT 12951955 SOS 6058056 HAS SOPS 6053444 HAS SOUS 1596442 HAS SOUPS 1592136 WITH SCORE 1598194.056
AT ITER 146 NEW BEST:: SOT 12946614 SOS 6055173 HAS SOPS 6050561 HAS SOUS 1589082 HAS SOUPS 1584776 WITH SCORE 1590831.173
AT ITER 149 NEW BEST:: SOT 12943227 SOS 6073496 HAS SOPS 6068884 HAS SOUS 1587229 HAS SOUPS 1582923 WITH SCORE 1588996.496
AT ITER 154 NEW BEST:: SOT 12944256 SOS 6074525 HAS SOPS 6069913 HAS SOUS 1586704 HAS SOUPS 1582398 WITH SCORE 1588472.525
AT ITER 160 NEW BEST:: SOT 12944116 SOS 6074385 HAS SOPS 6069773 HAS SOUS 1586564 HAS SOUPS 1582258 WITH SCORE 1588332.385
AT ITER 166 NEW BEST:: SOT 12943560 SOS 6073829 HAS SOPS 6069217 HAS SOUS 1584282 HAS SOUPS 1579976 WITH SCORE 1586049.829
AT ITER 167 NEW BEST:: SOT 12811420 SOS 6464692 HAS SOPS 6460823 HAS SOUS 1446557 HAS SOUPS 1442688 WITH SCORE 1449152.692
AT ITER 209 NEW BEST:: SOT 12804998 SOS 6463022 HAS SOPS 6459153 HAS SOUS 1442074 HAS SOUPS 1438205 WITH SCORE 1444668.022
AT ITER 213 NEW BEST:: SOT 12804998 SOS 6463022 HAS SOPS 6459153 HAS SOUS 1442072 HAS SOUPS 1438203 WITH SCORE 1444666.022
AT ITER 223 NEW BEST:: SOT 12803932 SOS 6461956 HAS SOPS 6458087 HAS SOUS 1439896 HAS SOUPS 1436027 WITH SCORE 1442488.956
AT ITER 225 NEW BEST:: SOT 12803512 SOS 6461536 HAS SOPS 6457667 HAS SOUS 1439476 HAS SOUPS 1435607 WITH SCORE 1442068.536
AT ITER 228 NEW BEST:: SOT 12803512 SOS 6453184 HAS SOPS 6449315 HAS SOUS 1439476 HAS SOUPS 1435607 WITH SCORE 1442060.184
AT ITER 235 NEW BEST:: SOT 12799566 SOS 6459866 HAS SOPS 6455997 HAS SOUS 1436702 HAS SOUPS 1432833 WITH SCORE 1439292.866
AT ITER 238 NEW BEST:: SOT 12799597 SOS 6459897 HAS SOPS 6456028 HAS SOUS 1427706 HAS SOUPS 1423837 WITH SCORE 1430296.897
AT ITER 244 NEW BEST:: SOT 12800204 SOS 6460504 HAS SOPS 6456635 HAS SOUS 1422286 HAS SOUPS 1418417 WITH SCORE 1424877.504
AT ITER 263 NEW BEST:: SOT 12801760 SOS 6809457 HAS SOPS 6805653 HAS SOUS 1417628 HAS SOUPS 1413824 WITH SCORE 1420633.457
AT ITER 273 NEW BEST:: SOT 12803431 SOS 6811232 HAS SOPS 6807428 HAS SOUS 1417424 HAS SOUPS 1413620 WITH SCORE 1420431.232
AT ITER 288 NEW BEST:: SOT 12804010 SOS 6811871 HAS SOPS 6808067 HAS SOUS 1417273 HAS SOUPS 1413469 WITH SCORE 1420280.871
AT ITER 298 NEW BEST:: SOT 12805428 SOS 6813541 HAS SOPS 6809737 HAS SOUS 1415631 HAS SOUPS 1411827 WITH SCORE 1418640.541
AT ITER 303 NEW BEST:: SOT 12805428 SOS 6811021 HAS SOPS 6807217 HAS SOUS 1415631 HAS SOUPS 1411827 WITH SCORE 1418638.021
AT ITER 323 NEW BEST:: SOT 12803579 SOS 6809172 HAS SOPS 6805368 HAS SOUS 1408476 HAS SOUPS 1404672 WITH SCORE 1411481.172
AT ITER 327 NEW BEST:: SOT 12801134 SOS 6806496 HAS SOPS 6802740 HAS SOUS 1395361 HAS SOUPS 1391605 WITH SCORE 1398411.496
AT ITER 331 NEW BEST:: SOT 12800139 SOS 6805501 HAS SOPS 6801745 HAS SOUS 1394654 HAS SOUPS 1390898 WITH SCORE 1397703.501
AT ITER 345 NEW BEST:: SOT 12800139 SOS 6799093 HAS SOPS 6795337 HAS SOUS 1394654 HAS SOUPS 1390898 WITH SCORE 1397697.093
AT ITER 352 NEW BEST:: SOT 12799015 SOS 6797969 HAS SOPS 6794213 HAS SOUS 1392369 HAS SOUPS 1388613 WITH SCORE 1395410.969
AT ITER 353 NEW BEST:: SOT 12799015 SOS 6791633 HAS SOPS 6787877 HAS SOUS 1392369 HAS SOUPS 1388613 WITH SCORE 1395404.633
AT ITER 357 NEW BEST:: SOT 12803440 SOS 6796058 HAS SOPS 6792302 HAS SOUS 1380419 HAS SOUPS 1376663 WITH SCORE 1383459.058
AT ITER 377 NEW BEST:: SOT 12803139 SOS 6795757 HAS SOPS 6792001 HAS SOUS 1379809 HAS SOUPS 1376053 WITH SCORE 1382848.757
AT ITER 379 NEW BEST:: SOT 12823725 SOS 6828007 HAS SOPS 6824251 HAS SOUS 1372762 HAS SOUPS 1369006 WITH SCORE 1375834.007
AT ITER 393 NEW BEST:: SOT 12822917 SOS 6827199 HAS SOPS 6823443 HAS SOUS 1372126 HAS SOUPS 1368370 WITH SCORE 1375197.199
AT ITER 402 NEW BEST:: SOT 12820671 SOS 6824686 HAS SOPS 6820980 HAS SOUS 1359233 HAS SOUPS 1355527 WITH SCORE 1362351.686
AT ITER 415 NEW BEST:: SOT 12819722 SOS 6823737 HAS SOPS 6820031 HAS SOUS 1358419 HAS SOUPS 1354713 WITH SCORE 1361536.737
AT ITER 423 NEW BEST:: SOT 12819722 SOS 6823449 HAS SOPS 6819743 HAS SOUS 1358419 HAS SOUPS 1354713 WITH SCORE 1361536.449
AT ITER 444 NEW BEST:: SOT 12819722 SOS 6804337 HAS SOPS 6800631 HAS SOUS 1358151 HAS SOUPS 1354445 WITH SCORE 1361249.337
AT ITER 447 NEW BEST:: SOT 12819955 SOS 6804972 HAS SOPS 6801266 HAS SOUS 1345556 HAS SOUPS 1341850 WITH SCORE 1348654.972
AT ITER 452 NEW BEST:: SOT 12819955 SOS 6804956 HAS SOPS 6801250 HAS SOUS 1345555 HAS SOUPS 1341849 WITH SCORE 1348653.956
AT ITER 454 NEW BEST:: SOT 12818549 SOS 6803550 HAS SOPS 6799844 HAS SOUS 1337187 HAS SOUPS 1333481 WITH SCORE 1340284.55
AT ITER 478 NEW BEST:: SOT 12820920 SOS 6805921 HAS SOPS 6802215 HAS SOUS 1336747 HAS SOUPS 1333041 WITH SCORE 1339846.921
AT ITER 504 NEW BEST:: SOT 12826435 SOS 6812042 HAS SOPS 6808336 HAS SOUS 1335320 HAS SOUPS 1331614 WITH SCORE 1338426.042
AT ITER 513 NEW BEST:: SOT 12826435 SOS 6800202 HAS SOPS 6796496 HAS SOUS 1335160 HAS SOUPS 1331454 WITH SCORE 1338254.202
AT ITER 516 NEW BEST:: SOT 12821097 SOS 6791774 HAS SOPS 6786419 HAS SOUS 1333059 HAS SOUPS 1327704 WITH SCORE 1334495.774
AT ITER 521 NEW BEST:: SOT 12824482 SOS 6795265 HAS SOPS 6789977 HAS SOUS 1332645 HAS SOUPS 1327357 WITH SCORE 1334152.265
AT ITER 527 NEW BEST:: SOT 12824320 SOS 6795103 HAS SOPS 6789815 HAS SOUS 1332317 HAS SOUPS 1327029 WITH SCORE 1333824.103
AT ITER 548 NEW BEST:: SOT 12820177 SOS 6793172 HAS SOPS 6787884 HAS SOUS 1329488 HAS SOUPS 1324200 WITH SCORE 1330993.172
AT ITER 560 NEW BEST:: SOT 12816793 SOS 6794444 HAS SOPS 6789156 HAS SOUS 1328282 HAS SOUPS 1322994 WITH SCORE 1329788.444
AT ITER 570 NEW BEST:: SOT 12823039 SOS 6800690 HAS SOPS 6795402 HAS SOUS 1324083 HAS SOUPS 1318795 WITH SCORE 1325595.69
AT ITER 577 NEW BEST:: SOT 12822964 SOS 6800615 HAS SOPS 6795327 HAS SOUS 1318920 HAS SOUPS 1313632 WITH SCORE 1320432.615
AT ITER 583 NEW BEST:: SOT 12822964 SOS 6793487 HAS SOPS 6788199 HAS SOUS 1318920 HAS SOUPS 1313632 WITH SCORE 1320425.487
AT ITER 605 NEW BEST:: SOT 12822814 SOS 6793187 HAS SOPS 6787918 HAS SOUS 1318311 HAS SOUPS 1313042 WITH SCORE 1319835.187
AT ITER 617 NEW BEST:: SOT 12829165 SOS 6799138 HAS SOPS 6794069 HAS SOUS 1316944 HAS SOUPS 1311875 WITH SCORE 1318674.138
AT ITER 620 NEW BEST:: SOT 12824950 SOS 6793421 HAS SOPS 6788352 HAS SOUS 1311853 HAS SOUPS 1306784 WITH SCORE 1313577.421
AT ITER 623 NEW BEST:: SOT 12832600 SOS 6801071 HAS SOPS 6796002 HAS SOUS 1298376 HAS SOUPS 1293307 WITH SCORE 1300108.071
AT ITER 628 NEW BEST:: SOT 12832228 SOS 6800699 HAS SOPS 6795630 HAS SOUS 1297675 HAS SOUPS 1292606 WITH SCORE 1299406.699
AT ITER 629 NEW BEST:: SOT 12834174 SOS 6802645 HAS SOPS 6797576 HAS SOUS 1295858 HAS SOUPS 1290789 WITH SCORE 1297591.645
AT ITER 636 NEW BEST:: SOT 12839553 SOS 6808958 HAS SOPS 6803678 HAS SOUS 1294374 HAS SOUPS 1289094 WITH SCORE 1295902.958
AT ITER 639 NEW BEST:: SOT 12839447 SOS 6840551 HAS SOPS 6835021 HAS SOUS 1291969 HAS SOUPS 1286471 WITH SCORE 1293311.551
AT ITER 642 NEW BEST:: SOT 12838099 SOS 6839245 HAS SOPS 6833715 HAS SOUS 1290621 HAS SOUPS 1285123 WITH SCORE 1291962.245
AT ITER 646 NEW BEST:: SOT 12838052 SOS 6839198 HAS SOPS 6833668 HAS SOUS 1290583 HAS SOUPS 1285085 WITH SCORE 1291924.198
AT ITER 683 NEW BEST:: SOT 12838982 SOS 6840081 HAS SOPS 6834598 HAS SOUS 1284823 HAS SOUPS 1279372 WITH SCORE 1286212.081
AT ITER 685 NEW BEST:: SOT 12838982 SOS 6840081 HAS SOPS 6834598 HAS SOUS 1284815 HAS SOUPS 1279364 WITH SCORE 1286204.081
AT ITER 695 NEW BEST:: SOT 12838982 SOS 6839505 HAS SOPS 6834022 HAS SOUS 1284812 HAS SOUPS 1279361 WITH SCORE 1286200.505
AT ITER 704 NEW BEST:: SOT 12840475 SOS 6841892 HAS SOPS 6836439 HAS SOUS 1283445 HAS SOUPS 1278024 WITH SCORE 1284865.892
AT ITER 705 NEW BEST:: SOT 12841006 SOS 6842423 HAS SOPS 6836970 HAS SOUS 1281974 HAS SOUPS 1276553 WITH SCORE 1283395.423
AT ITER 710 NEW BEST:: SOT 12841006 SOS 6842423 HAS SOPS 6836970 HAS SOUS 1281928 HAS SOUPS 1276507 WITH SCORE 1283349.423
AT ITER 711 NEW BEST:: SOT 12841006 SOS 6841165 HAS SOPS 6835712 HAS SOUS 1281911 HAS SOUPS 1276490 WITH SCORE 1283331.165
AT ITER 715 NEW BEST:: SOT 12845971 SOS 6846137 HAS SOPS 6840795 HAS SOUS 1278264 HAS SOUPS 1272954 WITH SCORE 1279800.137
AT ITER 720 NEW BEST:: SOT 12845971 SOS 6843473 HAS SOPS 6838131 HAS SOUS 1278264 HAS SOUPS 1272954 WITH SCORE 1279797.473
AT ITER 729 NEW BEST:: SOT 12845971 SOS 6831781 HAS SOPS 6826439 HAS SOUS 1278106 HAS SOUPS 1272796 WITH SCORE 1279627.781
AT ITER 740 NEW BEST:: SOT 12845873 SOS 6833507 HAS SOPS 6828165 HAS SOUS 1257435 HAS SOUPS 1252125 WITH SCORE 1258958.507
AT ITER 741 NEW BEST:: SOT 12853805 SOS 6842019 HAS SOPS 6836677 HAS SOUS 1252061 HAS SOUPS 1246751 WITH SCORE 1253593.019
AT ITER 743 NEW BEST:: SOT 12852931 SOS 6840912 HAS SOPS 6835602 HAS SOUS 1250675 HAS SOUPS 1245397 WITH SCORE 1252237.912
AT ITER 749 NEW BEST:: SOT 12852931 SOS 6839688 HAS SOPS 6834378 HAS SOUS 1250675 HAS SOUPS 1245397 WITH SCORE 1252236.688
AT ITER 751 NEW BEST:: SOT 12852931 SOS 6839644 HAS SOPS 6834334 HAS SOUS 1250653 HAS SOUPS 1245375 WITH SCORE 1252214.644
AT ITER 755 NEW BEST:: SOT 12857049 SOS 6843894 HAS SOPS 6838626 HAS SOUS 1249391 HAS SOUPS 1244155 WITH SCORE 1250998.894
AT ITER 757 NEW BEST:: SOT 12856598 SOS 6843443 HAS SOPS 6838175 HAS SOUS 1248488 HAS SOUPS 1243252 WITH SCORE 1250095.443
AT ITER 774 NEW BEST:: SOT 12856558 SOS 6843463 HAS SOPS 6838195 HAS SOUS 1248453 HAS SOUPS 1243217 WITH SCORE 1250060.463
AT ITER 788 NEW BEST:: SOT 12859342 SOS 6846247 HAS SOPS 6840979 HAS SOUS 1242534 HAS SOUPS 1237298 WITH SCORE 1244144.247
AT ITER 789 NEW BEST:: SOT 12860019 SOS 6847043 HAS SOPS 6841832 HAS SOUS 1235241 HAS SOUPS 1230062 WITH SCORE 1236909.043
AT ITER 812 NEW BEST:: SOT 12857441 SOS 6844502 HAS SOPS 6839291 HAS SOUS 1234599 HAS SOUPS 1229420 WITH SCORE 1236264.502
AT ITER 814 NEW BEST:: SOT 12850120 SOS 6840957 HAS SOPS 6835746 HAS SOUS 1225384 HAS SOUPS 1220205 WITH SCORE 1227045.957
AT ITER 815 NEW BEST:: SOT 12849197 SOS 6840034 HAS SOPS 6834823 HAS SOUS 1223534 HAS SOUPS 1218355 WITH SCORE 1225195.034
AT ITER 816 NEW BEST:: SOT 12849197 SOS 6826862 HAS SOPS 6821651 HAS SOUS 1223356 HAS SOUPS 1218177 WITH SCORE 1225003.862
AT ITER 819 NEW BEST:: SOT 12849197 SOS 6826832 HAS SOPS 6821621 HAS SOUS 1223356 HAS SOUPS 1218177 WITH SCORE 1225003.832
AT ITER 841 NEW BEST:: SOT 12848876 SOS 6826511 HAS SOPS 6821300 HAS SOUS 1215000 HAS SOUPS 1209821 WITH SCORE 1216647.511
AT ITER 850 NEW BEST:: SOT 12844959 SOS 6846300 HAS SOPS 6841037 HAS SOUS 1212203 HAS SOUPS 1206972 WITH SCORE 1213818.3
AT ITER 911 NEW BEST:: SOT 12844959 SOS 6846405 HAS SOPS 6841127 HAS SOUS 1212203 HAS SOUPS 1206957 WITH SCORE 1213803.405
AT ITER 929 NEW BEST:: SOT 12842710 SOS 6844156 HAS SOPS 6838878 HAS SOUS 1209099 HAS SOUPS 1203853 WITH SCORE 1210697.156
AT ITER 936 NEW BEST:: SOT 12843504 SOS 6844982 HAS SOPS 6839704 HAS SOUS 1208741 HAS SOUPS 1203495 WITH SCORE 1210339.982
AT ITER 952 NEW BEST:: SOT 12846730 SOS 6848283 HAS SOPS 6843005 HAS SOUS 1206603 HAS SOUPS 1201357 WITH SCORE 1208205.283
AT ITER 957 NEW BEST:: SOT 12845968 SOS 6848863 HAS SOPS 6843585 HAS SOUS 1205099 HAS SOUPS 1199853 WITH SCORE 1206701.863
AT ITER 966 NEW BEST:: SOT 12851806 SOS 6854735 HAS SOPS 6849521 HAS SOUS 1204600 HAS SOUPS 1199418 WITH SCORE 1206272.735
AT ITER 972 NEW BEST:: SOT 12853752 SOS 6857069 HAS SOPS 6852018 HAS SOUS 1198208 HAS SOUPS 1193189 WITH SCORE 1200046.069
AT ITER 978 NEW BEST:: SOT 12852162 SOS 6855479 HAS SOPS 6850428 HAS SOUS 1196540 HAS SOUPS 1191521 WITH SCORE 1198376.479
AT ITER 986 NEW BEST:: SOT 12855523 SOS 6858874 HAS SOPS 6853825 HAS SOUS 1195684 HAS SOUPS 1190667 WITH SCORE 1197525.874
AT ITER 1000 NEW BEST:: SOT 12855360 SOS 6858701 HAS SOPS 6853652 HAS SOUS 1192346 HAS SOUPS 1187329 WITH SCORE 1194187.701
AT ITER 1003 NEW BEST:: SOT 12848929 SOS 6859902 HAS SOPS 6854853 HAS SOUS 1185872 HAS SOUPS 1180855 WITH SCORE 1187714.902
AT ITER 1013 NEW BEST:: SOT 12845537 SOS 6855874 HAS SOPS 6850712 HAS SOUS 1185269 HAS SOUPS 1180140 WITH SCORE 1186995.874
AT ITER 1014 NEW BEST:: SOT 12843244 SOS 6853314 HAS SOPS 6848085 HAS SOUS 1184878 HAS SOUPS 1179682 WITH SCORE 1186535.314
AT ITER 1016 NEW BEST:: SOT 12837313 SOS 6860607 HAS SOPS 6855378 HAS SOUS 1178822 HAS SOUPS 1173626 WITH SCORE 1180486.607
AT ITER 1019 NEW BEST:: SOT 12836487 SOS 6859781 HAS SOPS 6854552 HAS SOUS 1176616 HAS SOUPS 1171420 WITH SCORE 1178279.781
AT ITER 1027 NEW BEST:: SOT 12836495 SOS 6859789 HAS SOPS 6854560 HAS SOUS 1176536 HAS SOUPS 1171340 WITH SCORE 1178199.789
AT ITER 1029 NEW BEST:: SOT 12836390 SOS 6859684 HAS SOPS 6854455 HAS SOUS 1176431 HAS SOUPS 1171235 WITH SCORE 1178094.684
AT ITER 1047 NEW BEST:: SOT 12844251 SOS 6867756 HAS SOPS 6862527 HAS SOUS 1172769 HAS SOUPS 1167573 WITH SCORE 1174440.756
AT ITER 1059 NEW BEST:: SOT 12841165 SOS 6864647 HAS SOPS 6859418 HAS SOUS 1170301 HAS SOUPS 1165105 WITH SCORE 1171969.647
AT ITER 1063 NEW BEST:: SOT 12841213 SOS 6864695 HAS SOPS 6859466 HAS SOUS 1170172 HAS SOUPS 1164976 WITH SCORE 1171840.695
AT ITER 1083 NEW BEST:: SOT 12841204 SOS 6864686 HAS SOPS 6859457 HAS SOUS 1170147 HAS SOUPS 1164951 WITH SCORE 1171815.686
AT ITER 1106 NEW BEST:: SOT 12839132 SOS 6862614 HAS SOPS 6857331 HAS SOUS 1170048 HAS SOUPS 1164798 WITH SCORE 1171660.614
AT ITER 1109 NEW BEST:: SOT 12839124 SOS 6862594 HAS SOPS 6857311 HAS SOUS 1170040 HAS SOUPS 1164790 WITH SCORE 1171652.594
AT ITER 1113 NEW BEST:: SOT 12839124 SOS 6858870 HAS SOPS 6853587 HAS SOUS 1169991 HAS SOUPS 1164741 WITH SCORE 1171599.87
AT ITER 1123 NEW BEST:: SOT 12839124 SOS 6852136 HAS SOPS 6846853 HAS SOUS 1169900 HAS SOUPS 1164650 WITH SCORE 1171502.136
AT ITER 1128 NEW BEST:: SOT 12846046 SOS 6859182 HAS SOPS 6853899 HAS SOUS 1167994 HAS SOUPS 1162744 WITH SCORE 1169603.182
AT ITER 1138 NEW BEST:: SOT 12846046 SOS 6855222 HAS SOPS 6849939 HAS SOUS 1167988 HAS SOUPS 1162738 WITH SCORE 1169593.222
AT ITER 1167 NEW BEST:: SOT 12855870 SOS 6865216 HAS SOPS 6859933 HAS SOUS 1167683 HAS SOUPS 1162433 WITH SCORE 1169298.216
AT ITER 1169 NEW BEST:: SOT 12854370 SOS 6863702 HAS SOPS 6858419 HAS SOUS 1161042 HAS SOUPS 1155792 WITH SCORE 1162655.702
AT ITER 1177 NEW BEST:: SOT 12853535 SOS 6862849 HAS SOPS 6857566 HAS SOUS 1160978 HAS SOUPS 1155728 WITH SCORE 1162590.849
AT ITER 1194 NEW BEST:: SOT 12850589 SOS 6859903 HAS SOPS 6854620 HAS SOUS 1154978 HAS SOUPS 1149728 WITH SCORE 1156587.903
AT ITER 1200 NEW BEST:: SOT 12850589 SOS 6858823 HAS SOPS 6853540 HAS SOUS 1154978 HAS SOUPS 1149728 WITH SCORE 1156586.823
AT ITER 1208 NEW BEST:: SOT 12850589 SOS 6848671 HAS SOPS 6843388 HAS SOUS 1154978 HAS SOUPS 1149728 WITH SCORE 1156576.671
AT ITER 1210 NEW BEST:: SOT 12850642 SOS 6848724 HAS SOPS 6843441 HAS SOUS 1154961 HAS SOUPS 1149711 WITH SCORE 1156559.724
AT ITER 1222 NEW BEST:: SOT 12847274 SOS 6848068 HAS SOPS 6842785 HAS SOUS 1153780 HAS SOUPS 1148530 WITH SCORE 1155378.068
AT ITER 1225 NEW BEST:: SOT 12842129 SOS 6844219 HAS SOPS 6838936 HAS SOUS 1148623 HAS SOUPS 1143373 WITH SCORE 1150217.219
AT ITER 1226 NEW BEST:: SOT 12825049 SOS 6833836 HAS SOPS 6828495 HAS SOUS 1148397 HAS SOUPS 1143114 WITH SCORE 1149947.836
AT ITER 1242 NEW BEST:: SOT 12817576 SOS 6826287 HAS SOPS 6820946 HAS SOUS 1138970 HAS SOUPS 1133687 WITH SCORE 1140513.287
AT ITER 1244 NEW BEST:: SOT 12816004 SOS 6824694 HAS SOPS 6819353 HAS SOUS 1132048 HAS SOUPS 1126765 WITH SCORE 1133589.694
AT ITER 1276 NEW BEST:: SOT 12816767 SOS 6825583 HAS SOPS 6820242 HAS SOUS 1131339 HAS SOUPS 1126056 WITH SCORE 1132881.583
AT ITER 1281 NEW BEST:: SOT 12816855 SOS 5948457 HAS SOPS 5943116 HAS SOUS 1131220 HAS SOUPS 1125937 WITH SCORE 1131885.457
AT ITER 1293 NEW BEST:: SOT 12817600 SOS 5949514 HAS SOPS 5944173 HAS SOUS 1126598 HAS SOUPS 1121315 WITH SCORE 1127264.514
AT ITER 1319 NEW BEST:: SOT 12817600 SOS 5949370 HAS SOPS 5944029 HAS SOUS 1126598 HAS SOUPS 1121315 WITH SCORE 1127264.37
AT ITER 1329 NEW BEST:: SOT 12838129 SOS 5978632 HAS SOPS 5973291 HAS SOUS 1126532 HAS SOUPS 1121249 WITH SCORE 1127227.632
AT ITER 1332 NEW BEST:: SOT 12838129 SOS 5974570 HAS SOPS 5969229 HAS SOUS 1126418 HAS SOUPS 1121135 WITH SCORE 1127109.57
AT ITER 1340 NEW BEST:: SOT 12837055 SOS 5973800 HAS SOPS 5968459 HAS SOUS 1124403 HAS SOUPS 1119120 WITH SCORE 1125093.8
AT ITER 1342 NEW BEST:: SOT 12837055 SOS 5976279 HAS SOPS 5970938 HAS SOUS 1124328 HAS SOUPS 1119045 WITH SCORE 1125021.279
AT ITER 1347 NEW BEST:: SOT 12836694 SOS 5975918 HAS SOPS 5970577 HAS SOUS 1123245 HAS SOUPS 1117962 WITH SCORE 1123937.918
AT ITER 1348 NEW BEST:: SOT 12835874 SOS 5975093 HAS SOPS 5969752 HAS SOUS 1119454 HAS SOUPS 1114171 WITH SCORE 1120146.093
AT ITER 1351 NEW BEST:: SOT 12834493 SOS 5966353 HAS SOPS 5962364 HAS SOUS 1117765 HAS SOUPS 1113834 WITH SCORE 1119800.353
AT ITER 1365 NEW BEST:: SOT 12835989 SOS 5967852 HAS SOPS 5963913 HAS SOUS 1115988 HAS SOUPS 1112107 WITH SCORE 1118074.852
AT ITER 1372 NEW BEST:: SOT 12835903 SOS 6043789 HAS SOPS 6039850 HAS SOUS 1115902 HAS SOUPS 1112021 WITH SCORE 1118064.789
AT ITER 1383 NEW BEST:: SOT 12835903 SOS 6043847 HAS SOPS 6039908 HAS SOUS 1115844 HAS SOUPS 1111963 WITH SCORE 1118006.847
AT ITER 1390 NEW BEST:: SOT 12835857 SOS 6043795 HAS SOPS 6039856 HAS SOUS 1115781 HAS SOUPS 1111900 WITH SCORE 1117943.795
AT ITER 1398 NEW BEST:: SOT 12836607 SOS 6044545 HAS SOPS 6040606 HAS SOUS 1112183 HAS SOUPS 1108302 WITH SCORE 1114346.545
AT ITER 1401 NEW BEST:: SOT 12821783 SOS 6029721 HAS SOPS 6025782 HAS SOUS 1110958 HAS SOUPS 1107077 WITH SCORE 1113106.721
AT ITER 1410 NEW BEST:: SOT 12821783 SOS 6026757 HAS SOPS 6022818 HAS SOUS 1110847 HAS SOUPS 1106966 WITH SCORE 1112992.757
AT ITER 1425 NEW BEST:: SOT 12822504 SOS 6027478 HAS SOPS 6023539 HAS SOUS 1108285 HAS SOUPS 1104404 WITH SCORE 1110431.478
AT ITER 1431 NEW BEST:: SOT 12822479 SOS 6027453 HAS SOPS 6023514 HAS SOUS 1108280 HAS SOUPS 1104399 WITH SCORE 1110426.453
AT ITER 1484 NEW BEST:: SOT 12827724 SOS 6032698 HAS SOPS 6028759 HAS SOUS 1107695 HAS SOUPS 1103814 WITH SCORE 1109846.698
AT ITER 1485 NEW BEST:: SOT 12827724 SOS 6032698 HAS SOPS 6028759 HAS SOUS 1107665 HAS SOUPS 1103784 WITH SCORE 1109816.698
AT ITER 1515 NEW BEST:: SOT 12827724 SOS 6032740 HAS SOPS 6028801 HAS SOUS 1107623 HAS SOUPS 1103742 WITH SCORE 1109774.74
AT ITER 1520 NEW BEST:: SOT 12827724 SOS 6032715 HAS SOPS 6028776 HAS SOUS 1107548 HAS SOUPS 1103667 WITH SCORE 1109699.715
AT ITER 1522 NEW BEST:: SOT 12827479 SOS 6032470 HAS SOPS 6028531 HAS SOUS 1107051 HAS SOUPS 1103170 WITH SCORE 1109202.47
AT ITER 1528 NEW BEST:: SOT 12827419 SOS 6032410 HAS SOPS 6028471 HAS SOUS 1106997 HAS SOUPS 1103116 WITH SCORE 1109148.41
AT ITER 1529 NEW BEST:: SOT 12829813 SOS 6034898 HAS SOPS 6030959 HAS SOUS 1105761 HAS SOUPS 1101880 WITH SCORE 1107914.898
AT ITER 1534 NEW BEST:: SOT 12829788 SOS 6034873 HAS SOPS 6030934 HAS SOUS 1105736 HAS SOUPS 1101855 WITH SCORE 1107889.873
AT ITER 1566 NEW BEST:: SOT 12831803 SOS 6040920 HAS SOPS 6037233 HAS SOUS 1101090 HAS SOUPS 1097461 WITH SCORE 1103501.92
AT ITER 1569 NEW BEST:: SOT 12842083 SOS 6051546 HAS SOPS 6047859 HAS SOUS 1098364 HAS SOUPS 1094735 WITH SCORE 1100786.546
AT ITER 1591 NEW BEST:: SOT 12842083 SOS 6051585 HAS SOPS 6047898 HAS SOUS 1098325 HAS SOUPS 1094696 WITH SCORE 1100747.585
AT ITER 1600 NEW BEST:: SOT 12847419 SOS 6057977 HAS SOPS 6054290 HAS SOUS 1097439 HAS SOUPS 1093810 WITH SCORE 1099867.977
AT ITER 1604 NEW BEST:: SOT 12847419 SOS 6057867 HAS SOPS 6054180 HAS SOUS 1097384 HAS SOUPS 1093755 WITH SCORE 1099812.867
AT ITER 1611 NEW BEST:: SOT 12847419 SOS 6059057 HAS SOPS 6055370 HAS SOUS 1096280 HAS SOUPS 1092651 WITH SCORE 1098710.057
AT ITER 1613 NEW BEST:: SOT 12847403 SOS 6059041 HAS SOPS 6055354 HAS SOUS 1096193 HAS SOUPS 1092564 WITH SCORE 1098623.041
AT ITER 1616 NEW BEST:: SOT 12845491 SOS 6057129 HAS SOPS 6053442 HAS SOUS 1092254 HAS SOUPS 1088625 WITH SCORE 1094682.129
AT ITER 1633 NEW BEST:: SOT 12843990 SOS 6069899 HAS SOPS 6066212 HAS SOUS 1080302 HAS SOUPS 1076673 WITH SCORE 1082742.899
AT ITER 1635 NEW BEST:: SOT 12843743 SOS 6069652 HAS SOPS 6065965 HAS SOUS 1078690 HAS SOUPS 1075061 WITH SCORE 1081130.652
AT ITER 1639 NEW BEST:: SOT 12843743 SOS 6069580 HAS SOPS 6065893 HAS SOUS 1078690 HAS SOUPS 1075061 WITH SCORE 1081130.58
AT ITER 1643 NEW BEST:: SOT 12850297 SOS 6076238 HAS SOPS 6072551 HAS SOUS 1077592 HAS SOUPS 1073963 WITH SCORE 1080039.238
AT ITER 1645 NEW BEST:: SOT 12850297 SOS 6076279 HAS SOPS 6072592 HAS SOUS 1077551 HAS SOUPS 1073922 WITH SCORE 1079998.279
AT ITER 1655 NEW BEST:: SOT 12850297 SOS 6076311 HAS SOPS 6072624 HAS SOUS 1077519 HAS SOUPS 1073890 WITH SCORE 1079966.311
AT ITER 1663 NEW BEST:: SOT 12851370 SOS 6077384 HAS SOPS 6073697 HAS SOUS 1075968 HAS SOUPS 1072339 WITH SCORE 1078416.384
AT ITER 1672 NEW BEST:: SOT 12854583 SOS 6081265 HAS SOPS 6077578 HAS SOUS 1059078 HAS SOUPS 1055449 WITH SCORE 1061530.265
AT ITER 1673 NEW BEST:: SOT 12854583 SOS 6081265 HAS SOPS 6077578 HAS SOUS 1059066 HAS SOUPS 1055437 WITH SCORE 1061518.265
AT ITER 1685 NEW BEST:: SOT 12862470 SOS 6818175 HAS SOPS 6814636 HAS SOUS 1057679 HAS SOUPS 1054198 WITH SCORE 1061016.175
AT ITER 1690 NEW BEST:: SOT 12864716 SOS 6820597 HAS SOPS 6817058 HAS SOUS 1057081 HAS SOUPS 1053600 WITH SCORE 1060420.597
AT ITER 1692 NEW BEST:: SOT 12864473 SOS 6823198 HAS SOPS 6819659 HAS SOUS 1056822 HAS SOUPS 1053341 WITH SCORE 1060164.198
AT ITER 1701 NEW BEST:: SOT 12863859 SOS 6822584 HAS SOPS 6819045 HAS SOUS 1052934 HAS SOUPS 1049453 WITH SCORE 1056275.584
AT ITER 1702 NEW BEST:: SOT 12876181 SOS 6837132 HAS SOPS 6833231 HAS SOUS 1051810 HAS SOUPS 1048096 WITH SCORE 1054933.132
AT ITER 1705 NEW BEST:: SOT 12876181 SOS 6838457 HAS SOPS 6834556 HAS SOUS 1051738 HAS SOUPS 1048024 WITH SCORE 1054862.457
AT ITER 1715 NEW BEST:: SOT 12879080 SOS 6841028 HAS SOPS 6837180 HAS SOUS 1051290 HAS SOUPS 1047629 WITH SCORE 1054470.028
AT ITER 1716 NEW BEST:: SOT 12880269 SOS 6841937 HAS SOPS 6838148 HAS SOUS 1047714 HAS SOUPS 1044112 WITH SCORE 1050953.937
AT ITER 1724 NEW BEST:: SOT 12880177 SOS 6841845 HAS SOPS 6838056 HAS SOUS 1044257 HAS SOUPS 1040655 WITH SCORE 1047496.845
AT ITER 1728 NEW BEST:: SOT 12878661 SOS 6840060 HAS SOPS 6836318 HAS SOUS 1036748 HAS SOUPS 1033193 WITH SCORE 1040033.06
AT ITER 1750 NEW BEST:: SOT 12878082 SOS 6839481 HAS SOPS 6835739 HAS SOUS 1036161 HAS SOUPS 1032606 WITH SCORE 1039445.481
AT ITER 1751 NEW BEST:: SOT 12877931 SOS 6844483 HAS SOPS 6840741 HAS SOUS 1035925 HAS SOUPS 1032370 WITH SCORE 1039214.483
AT ITER 1752 NEW BEST:: SOT 12875427 SOS 6841979 HAS SOPS 6838237 HAS SOUS 1030755 HAS SOUPS 1027200 WITH SCORE 1034041.979
AT ITER 1755 NEW BEST:: SOT 12874983 SOS 6841535 HAS SOPS 6837793 HAS SOUS 1029837 HAS SOUPS 1026282 WITH SCORE 1033123.535
AT ITER 1771 NEW BEST:: SOT 12874942 SOS 6841494 HAS SOPS 6837752 HAS SOUS 1026148 HAS SOUPS 1022593 WITH SCORE 1029434.494
AT ITER 1781 NEW BEST:: SOT 12877081 SOS 6843676 HAS SOPS 6839934 HAS SOUS 1025224 HAS SOUPS 1021669 WITH SCORE 1028512.676
AT ITER 1793 NEW BEST:: SOT 12876143 SOS 6842708 HAS SOPS 6838966 HAS SOUS 1014547 HAS SOUPS 1010992 WITH SCORE 1017834.708
AT ITER 1821 NEW BEST:: SOT 12876143 SOS 6842721 HAS SOPS 6838979 HAS SOUS 1014534 HAS SOUPS 1010979 WITH SCORE 1017821.721
AT ITER 1829 NEW BEST:: SOT 12874298 SOS 6841112 HAS SOPS 6837370 HAS SOUS 1010907 HAS SOUPS 1007352 WITH SCORE 1014193.112
AT ITER 1839 NEW BEST:: SOT 12876547 SOS 6843062 HAS SOPS 6839369 HAS SOUS 1008003 HAS SOUPS 1004497 WITH SCORE 1011340.062
AT ITER 1864 NEW BEST:: SOT 12875486 SOS 6842001 HAS SOPS 6838308 HAS SOUS 1005902 HAS SOUPS 1002396 WITH SCORE 1009238.001
AT ITER 1866 NEW BEST:: SOT 12875621 SOS 6842120 HAS SOPS 6838427 HAS SOUS 1005442 HAS SOUPS 1001936 WITH SCORE 1008778.12
AT ITER 1871 NEW BEST:: SOT 12877610 SOS 6844109 HAS SOPS 6840416 HAS SOUS 1001887 HAS SOUPS 998381 WITH SCORE 1005225.109
AT ITER 1884 NEW BEST:: SOT 12875486 SOS 6841985 HAS SOPS 6838292 HAS SOUS 1000057 HAS SOUPS 996551 WITH SCORE 1003392.985
AT ITER 1890 NEW BEST:: SOT 12875608 SOS 6842107 HAS SOPS 6838414 HAS SOUS 999996 HAS SOUPS 996490 WITH SCORE 1003332.107
AT ITER 1898 NEW BEST:: SOT 12876832 SOS 6859534 HAS SOPS 6854359 HAS SOUS 998603 HAS SOUPS 994665 WITH SCORE 1001524.534
AT ITER 1900 NEW BEST:: SOT 12876760 SOS 6859138 HAS SOPS 6853963 HAS SOUS 998495 HAS SOUPS 994557 WITH SCORE 1001416.138
AT ITER 1902 NEW BEST:: SOT 12877263 SOS 6869583 HAS SOPS 6864408 HAS SOUS 994572 HAS SOUPS 990634 WITH SCORE 997503.583
AT ITER 1916 NEW BEST:: SOT 12873371 SOS 6865691 HAS SOPS 6860516 HAS SOUS 991012 HAS SOUPS 987074 WITH SCORE 993939.691
AT ITER 1936 NEW BEST:: SOT 12867667 SOS 6859987 HAS SOPS 6854812 HAS SOUS 989237 HAS SOUPS 985299 WITH SCORE 992158.987
AT ITER 1938 NEW BEST:: SOT 12867667 SOS 6859969 HAS SOPS 6854794 HAS SOUS 989228 HAS SOUPS 985290 WITH SCORE 992149.969
AT ITER 1978 NEW BEST:: SOT 12867667 SOS 6860011 HAS SOPS 6854836 HAS SOUS 989186 HAS SOUPS 985248 WITH SCORE 992108.011
AT ITER 1990 NEW BEST:: SOT 12867614 SOS 6859958 HAS SOPS 6854783 HAS SOUS 987227 HAS SOUPS 983289 WITH SCORE 990148.958
AT ITER 2005 NEW BEST:: SOT 12867766 SOS 6860119 HAS SOPS 6855054 HAS SOUS 985517 HAS SOUPS 981689 WITH SCORE 988549.119
AT ITER 2009 NEW BEST:: SOT 12867647 SOS 6859996 HAS SOPS 6854927 HAS SOUS 985505 HAS SOUPS 981673 WITH SCORE 988532.996
AT ITER 2010 NEW BEST:: SOT 12870643 SOS 6862965 HAS SOPS 6857923 HAS SOUS 985245 HAS SOUPS 981440 WITH SCORE 988302.965
AT ITER 2019 NEW BEST:: SOT 12872643 SOS 6865099 HAS SOPS 6860071 HAS SOUS 980330 HAS SOUPS 976539 WITH SCORE 983404.099
AT ITER 2026 NEW BEST:: SOT 12872643 SOS 6864859 HAS SOPS 6859831 HAS SOUS 980310 HAS SOUPS 976519 WITH SCORE 983383.859
AT ITER 2027 NEW BEST:: SOT 12872463 SOS 6864469 HAS SOPS 6859441 HAS SOUS 980130 HAS SOUPS 976339 WITH SCORE 983203.469
AT ITER 2028 NEW BEST:: SOT 12871170 SOS 6863184 HAS SOPS 6858196 HAS SOUS 978865 HAS SOUPS 975114 WITH SCORE 981977.184
AT ITER 2046 NEW BEST:: SOT 12871170 SOS 6855030 HAS SOPS 6850492 HAS SOUS 978685 HAS SOUPS 975024 WITH SCORE 981879.03
AT ITER 2047 NEW BEST:: SOT 12871170 SOS 6853442 HAS SOPS 6848904 HAS SOUS 978617 HAS SOUPS 974956 WITH SCORE 981809.442
AT ITER 2050 NEW BEST:: SOT 12870518 SOS 6852790 HAS SOPS 6848252 HAS SOUS 977335 HAS SOUPS 973674 WITH SCORE 980526.79
AT ITER 2057 NEW BEST:: SOT 12870518 SOS 6852790 HAS SOPS 6848252 HAS SOUS 977333 HAS SOUPS 973672 WITH SCORE 980524.79
AT ITER 2061 NEW BEST:: SOT 12870421 SOS 6852693 HAS SOPS 6848155 HAS SOUS 977261 HAS SOUPS 973600 WITH SCORE 980452.693
AT ITER 2069 NEW BEST:: SOT 12870421 SOS 6852606 HAS SOPS 6848081 HAS SOUS 977133 HAS SOUPS 973485 WITH SCORE 980337.606
AT ITER 2103 NEW BEST:: SOT 12870421 SOS 6851762 HAS SOPS 6847237 HAS SOUS 977102 HAS SOUPS 973454 WITH SCORE 980305.762
AT ITER 2105 NEW BEST:: SOT 12871667 SOS 6853649 HAS SOPS 6849143 HAS SOUS 976425 HAS SOUPS 972796 WITH SCORE 979649.649
AT ITER 2114 NEW BEST:: SOT 12870183 SOS 6852165 HAS SOPS 6847659 HAS SOUS 975679 HAS SOUPS 972050 WITH SCORE 978902.165
AT ITER 2127 NEW BEST:: SOT 12870183 SOS 6880535 HAS SOPS 6876029 HAS SOUS 975575 HAS SOUPS 971946 WITH SCORE 978826.535
AT ITER 2132 NEW BEST:: SOT 12883972 SOS 6894324 HAS SOPS 6889818 HAS SOUS 969454 HAS SOUPS 965825 WITH SCORE 972719.324
AT ITER 2144 NEW BEST:: SOT 12883244 SOS 6893596 HAS SOPS 6889090 HAS SOUS 968999 HAS SOUPS 965370 WITH SCORE 972263.596
AT ITER 2152 NEW BEST:: SOT 12883244 SOS 6893812 HAS SOPS 6889306 HAS SOUS 968988 HAS SOUPS 965359 WITH SCORE 972252.812
AT ITER 2154 NEW BEST:: SOT 12883244 SOS 6893164 HAS SOPS 6888658 HAS SOUS 968988 HAS SOUPS 965359 WITH SCORE 972252.164
AT ITER 2162 NEW BEST:: SOT 12883178 SOS 6893098 HAS SOPS 6888592 HAS SOUS 968922 HAS SOUPS 965293 WITH SCORE 972186.098
AT ITER 2171 NEW BEST:: SOT 12883178 SOS 6893098 HAS SOPS 6888592 HAS SOUS 968901 HAS SOUPS 965272 WITH SCORE 972165.098
AT ITER 2179 NEW BEST:: SOT 12883178 SOS 6893098 HAS SOPS 6888592 HAS SOUS 968876 HAS SOUPS 965247 WITH SCORE 972140.098
AT ITER 2180 NEW BEST:: SOT 12883157 SOS 6893076 HAS SOPS 6888570 HAS SOUS 968771 HAS SOUPS 965142 WITH SCORE 972035.076
AT ITER 2184 NEW BEST:: SOT 12884872 SOS 6894823 HAS SOPS 6890317 HAS SOUS 968468 HAS SOUPS 964839 WITH SCORE 971733.823
AT ITER 2186 NEW BEST:: SOT 12883036 SOS 6892608 HAS SOPS 6888225 HAS SOUS 968237 HAS SOUPS 964640 WITH SCORE 971532.608
AT ITER 2188 NEW BEST:: SOT 12888505 SOS 6898077 HAS SOPS 6893694 HAS SOUS 960716 HAS SOUPS 957119 WITH SCORE 964017.077
AT ITER 2190 NEW BEST:: SOT 12879793 SOS 6892468 HAS SOPS 6888810 HAS SOUS 950007 HAS SOUPS 946582 WITH SCORE 953474.468
AT ITER 2197 NEW BEST:: SOT 12879793 SOS 6889248 HAS SOPS 6885544 HAS SOUS 949915 HAS SOUPS 946444 WITH SCORE 953333.248
AT ITER 2200 NEW BEST:: SOT 12879916 SOS 6889228 HAS SOPS 6885549 HAS SOUS 949465 HAS SOUPS 946019 WITH SCORE 952908.228
AT ITER 2202 NEW BEST:: SOT 12879938 SOS 6889252 HAS SOPS 6885575 HAS SOUS 949418 HAS SOUPS 945974 WITH SCORE 952863.252
AT ITER 2226 NEW BEST:: SOT 12879157 SOS 6888485 HAS SOPS 6884794 HAS SOUS 947810 HAS SOUPS 944352 WITH SCORE 951240.485
AT ITER 2227 NEW BEST:: SOT 12884483 SOS 6893845 HAS SOPS 6890191 HAS SOUS 947555 HAS SOUPS 944134 WITH SCORE 951027.845
AT ITER 2241 NEW BEST:: SOT 12879569 SOS 6888931 HAS SOPS 6885277 HAS SOUS 938706 HAS SOUPS 935285 WITH SCORE 942173.931
AT ITER 2245 NEW BEST:: SOT 12874928 SOS 6884818 HAS SOPS 6881164 HAS SOUS 935435 HAS SOUPS 932014 WITH SCORE 938898.818
AT ITER 2256 NEW BEST:: SOT 12877552 SOS 6887442 HAS SOPS 6883788 HAS SOUS 933329 HAS SOUPS 929908 WITH SCORE 936795.442
AT ITER 2271 NEW BEST:: SOT 12879540 SOS 6890761 HAS SOPS 6887162 HAS SOUS 931814 HAS SOUPS 928448 WITH SCORE 935338.761
AT ITER 2285 NEW BEST:: SOT 12879390 SOS 6888665 HAS SOPS 6885316 HAS SOUS 929003 HAS SOUPS 925849 WITH SCORE 932737.665
AT ITER 2292 NEW BEST:: SOT 12879361 SOS 6888398 HAS SOPS 6885081 HAS SOUS 928880 HAS SOUPS 925758 WITH SCORE 932646.398
AT ITER 2294 NEW BEST:: SOT 12879034 SOS 6887819 HAS SOPS 6884502 HAS SOUS 928432 HAS SOUPS 925310 WITH SCORE 932197.819
AT ITER 2314 NEW BEST:: SOT 12881022 SOS 6889865 HAS SOPS 6886548 HAS SOUS 926506 HAS SOUPS 923384 WITH SCORE 930273.865
AT ITER 2326 NEW BEST:: SOT 12897658 SOS 6906501 HAS SOPS 6903184 HAS SOUS 926277 HAS SOUPS 923155 WITH SCORE 930061.501
AT ITER 2367 NEW BEST:: SOT 12897658 SOS 6906471 HAS SOPS 6903154 HAS SOUS 926277 HAS SOUPS 923155 WITH SCORE 930061.471
AT ITER 2372 NEW BEST:: SOT 12901552 SOS 6910887 HAS SOPS 6907512 HAS SOUS 924727 HAS SOUPS 921547 WITH SCORE 928457.887
AT ITER 2386 NEW BEST:: SOT 12901423 SOS 6910760 HAS SOPS 6907383 HAS SOUS 924634 HAS SOUPS 921452 WITH SCORE 928362.76
AT ITER 2396 NEW BEST:: SOT 12902112 SOS 6911414 HAS SOPS 6908072 HAS SOUS 923636 HAS SOUPS 920489 WITH SCORE 927400.414
AT ITER 2397 NEW BEST:: SOT 12902112 SOS 6911414 HAS SOPS 6908072 HAS SOUS 923452 HAS SOUPS 920305 WITH SCORE 927216.414
AT ITER 2398 NEW BEST:: SOT 12902112 SOS 6909326 HAS SOPS 6905984 HAS SOUS 923452 HAS SOUPS 920305 WITH SCORE 927214.326
AT ITER 2401 NEW BEST:: SOT 12901464 SOS 6909252 HAS SOPS 6906319 HAS SOUS 919573 HAS SOUPS 916835 WITH SCORE 923744.252
AT ITER 2407 NEW BEST:: SOT 12901464 SOS 6909243 HAS SOPS 6906310 HAS SOUS 919573 HAS SOUPS 916835 WITH SCORE 923744.243
AT ITER 2414 NEW BEST:: SOT 12905551 SOS 6913393 HAS SOPS 6910460 HAS SOUS 917516 HAS SOUPS 914778 WITH SCORE 921691.393
AT ITER 2422 NEW BEST:: SOT 12902829 SOS 6910671 HAS SOPS 6907738 HAS SOUS 911916 HAS SOUPS 909178 WITH SCORE 916088.671
AT ITER 2423 NEW BEST:: SOT 12902858 SOS 6910700 HAS SOPS 6907767 HAS SOUS 911915 HAS SOUPS 909177 WITH SCORE 916087.7
AT ITER 2426 NEW BEST:: SOT 12902858 SOS 6910558 HAS SOPS 6907627 HAS SOUS 911913 HAS SOUPS 909175 WITH SCORE 916085.558
AT ITER 2427 NEW BEST:: SOT 12902858 SOS 6908470 HAS SOPS 6905539 HAS SOUS 911913 HAS SOUPS 909175 WITH SCORE 916083.47
AT ITER 2442 NEW BEST:: SOT 12902402 SOS 6908101 HAS SOPS 6905181 HAS SOUS 905186 HAS SOUPS 902459 WITH SCORE 909367.101
AT ITER 2453 NEW BEST:: SOT 12902742 SOS 6908441 HAS SOPS 6905521 HAS SOUS 904906 HAS SOUPS 902179 WITH SCORE 909087.441
AT ITER 2456 NEW BEST:: SOT 12902742 SOS 6906441 HAS SOPS 6903521 HAS SOUS 904774 HAS SOUPS 902047 WITH SCORE 908953.441
AT ITER 2467 NEW BEST:: SOT 12902587 SOS 6909496 HAS SOPS 6906576 HAS SOUS 904416 HAS SOUPS 901689 WITH SCORE 908598.496
AT ITER 2471 NEW BEST:: SOT 12907773 SOS 6914615 HAS SOPS 6911747 HAS SOUS 901734 HAS SOUPS 899059 WITH SCORE 905973.615
AT ITER 2491 NEW BEST:: SOT 12907773 SOS 6914601 HAS SOPS 6911733 HAS SOUS 901720 HAS SOUPS 899045 WITH SCORE 905959.601
AT ITER 2507 NEW BEST:: SOT 12907773 SOS 6914601 HAS SOPS 6911733 HAS SOUS 901683 HAS SOUPS 899008 WITH SCORE 905922.601
AT ITER 2514 NEW BEST:: SOT 12907773 SOS 6914601 HAS SOPS 6911733 HAS SOUS 901641 HAS SOUPS 898966 WITH SCORE 905880.601
AT ITER 2515 NEW BEST:: SOT 12907773 SOS 6914612 HAS SOPS 6911760 HAS SOUS 901513 HAS SOUPS 898853 WITH SCORE 905767.612
AT ITER 2517 NEW BEST:: SOT 12907843 SOS 6919307 HAS SOPS 6916472 HAS SOUS 898035 HAS SOUPS 895392 WITH SCORE 902311.307
AT ITER 2535 NEW BEST:: SOT 12907843 SOS 6919340 HAS SOPS 6916505 HAS SOUS 898002 HAS SOUPS 895359 WITH SCORE 902278.34
AT ITER 2548 NEW BEST:: SOT 12908116 SOS 6920820 HAS SOPS 6917755 HAS SOUS 897606 HAS SOUPS 894819 WITH SCORE 901739.82
AT ITER 2560 NEW BEST:: SOT 12908699 SOS 6921403 HAS SOPS 6918338 HAS SOUS 895080 HAS SOUPS 892293 WITH SCORE 899214.403
AT ITER 2573 NEW BEST:: SOT 12906412 SOS 6919116 HAS SOPS 6916051 HAS SOUS 890835 HAS SOUPS 888048 WITH SCORE 894967.116
AT ITER 2577 NEW BEST:: SOT 12906371 SOS 6923271 HAS SOPS 6920206 HAS SOUS 890821 HAS SOUPS 888034 WITH SCORE 894957.271
AT ITER 2608 NEW BEST:: SOT 12906371 SOS 6923291 HAS SOPS 6920226 HAS SOUS 890726 HAS SOUPS 887939 WITH SCORE 894862.291
AT ITER 2620 NEW BEST:: SOT 12907673 SOS 6924593 HAS SOPS 6921528 HAS SOUS 889965 HAS SOUPS 887178 WITH SCORE 894102.593
AT ITER 2673 NEW BEST:: SOT 12909408 SOS 6926328 HAS SOPS 6923263 HAS SOUS 888620 HAS SOUPS 885833 WITH SCORE 892759.328
AT ITER 2684 NEW BEST:: SOT 12909571 SOS 6926607 HAS SOPS 6923542 HAS SOUS 887566 HAS SOUPS 884779 WITH SCORE 891705.607
AT ITER 2688 NEW BEST:: SOT 12902245 SOS 6919281 HAS SOPS 6916216 HAS SOUS 879811 HAS SOUPS 877024 WITH SCORE 883943.281
AT ITER 2696 NEW BEST:: SOT 12902245 SOS 6919097 HAS SOPS 6916032 HAS SOUS 879694 HAS SOUPS 876907 WITH SCORE 883826.097
AT ITER 2701 NEW BEST:: SOT 12902245 SOS 6918813 HAS SOPS 6915748 HAS SOUS 879649 HAS SOUPS 876862 WITH SCORE 883780.813
AT ITER 2706 NEW BEST:: SOT 12899918 SOS 6916080 HAS SOPS 6913061 HAS SOUS 876579 HAS SOUPS 873838 WITH SCORE 880754.08
AT ITER 2734 NEW BEST:: SOT 12901413 SOS 6917575 HAS SOPS 6914556 HAS SOUS 874721 HAS SOUPS 871980 WITH SCORE 878897.575
AT ITER 2761 NEW BEST:: SOT 12900563 SOS 6916539 HAS SOPS 6913564 HAS SOUS 872973 HAS SOUPS 870276 WITH SCORE 877192.539
AT ITER 2771 NEW BEST:: SOT 12901442 SOS 6917573 HAS SOPS 6914603 HAS SOUS 866187 HAS SOUPS 863495 WITH SCORE 870412.573
AT ITER 2774 NEW BEST:: SOT 12901442 SOS 6915485 HAS SOPS 6912515 HAS SOUS 866187 HAS SOUPS 863495 WITH SCORE 870410.485
AT ITER 2779 NEW BEST:: SOT 12901394 SOS 6915389 HAS SOPS 6912419 HAS SOUS 866115 HAS SOUPS 863423 WITH SCORE 870338.389
AT ITER 2781 NEW BEST:: SOT 12902579 SOS 6916574 HAS SOPS 6913604 HAS SOUS 865381 HAS SOUPS 862689 WITH SCORE 869605.574
AT ITER 2800 NEW BEST:: SOT 12902579 SOS 6916574 HAS SOPS 6913604 HAS SOUS 865371 HAS SOUPS 862679 WITH SCORE 869595.574
AT ITER 2807 NEW BEST:: SOT 12902582 SOS 6916577 HAS SOPS 6913607 HAS SOUS 865209 HAS SOUPS 862517 WITH SCORE 869433.577
AT ITER 2816 NEW BEST:: SOT 12902582 SOS 6916603 HAS SOPS 6913633 HAS SOUS 865183 HAS SOUPS 862491 WITH SCORE 869407.603
AT ITER 2829 NEW BEST:: SOT 12902590 SOS 6916611 HAS SOPS 6913641 HAS SOUS 865158 HAS SOUPS 862466 WITH SCORE 869382.611
AT ITER 2838 NEW BEST:: SOT 12902590 SOS 6916621 HAS SOPS 6913651 HAS SOUS 865148 HAS SOUPS 862456 WITH SCORE 869372.621
AT ITER 2866 NEW BEST:: SOT 12902590 SOS 6916717 HAS SOPS 6913747 HAS SOUS 864903 HAS SOUPS 862211 WITH SCORE 869127.717
AT ITER 2869 NEW BEST:: SOT 12902590 SOS 6916717 HAS SOPS 6913747 HAS SOUS 860900 HAS SOUPS 858208 WITH SCORE 865124.717
AT ITER 2870 NEW BEST:: SOT 12902590 SOS 6916645 HAS SOPS 6913675 HAS SOUS 860894 HAS SOUPS 858202 WITH SCORE 865118.645
AT ITER 2881 NEW BEST:: SOT 12902590 SOS 6916704 HAS SOPS 6913734 HAS SOUS 860835 HAS SOUPS 858143 WITH SCORE 865059.704
AT ITER 2887 NEW BEST:: SOT 12902498 SOS 6918812 HAS SOPS 6915842 HAS SOUS 860749 HAS SOUPS 858057 WITH SCORE 864975.812
AT ITER 2924 NEW BEST:: SOT 12899285 SOS 6269644 HAS SOPS 6266483 HAS SOUS 859761 HAS SOUPS 857015 WITH SCORE 863284.644
AT ITER 2933 NEW BEST:: SOT 12899198 SOS 6269550 HAS SOPS 6266389 HAS SOUS 859674 HAS SOUPS 856928 WITH SCORE 863197.55
AT ITER 2934 NEW BEST:: SOT 12899190 SOS 6269542 HAS SOPS 6266381 HAS SOUS 859668 HAS SOUPS 856922 WITH SCORE 863191.542
AT ITER 2957 NEW BEST:: SOT 12900558 SOS 6270772 HAS SOPS 6267611 HAS SOUS 858534 HAS SOUPS 855788 WITH SCORE 862058.772
AT ITER 2962 NEW BEST:: SOT 12900558 SOS 6269362 HAS SOPS 6266201 HAS SOUS 858504 HAS SOUPS 855758 WITH SCORE 862027.362
AT ITER 2968 NEW BEST:: SOT 12900883 SOS 6270482 HAS SOPS 6267388 HAS SOUS 857669 HAS SOUPS 854990 WITH SCORE 861260.482
AT ITER 3002 NEW BEST:: SOT 12900873 SOS 6270472 HAS SOPS 6267378 HAS SOUS 857664 HAS SOUPS 854985 WITH SCORE 861255.472
AT ITER 3013 NEW BEST:: SOT 12900078 SOS 6269677 HAS SOPS 6266583 HAS SOUS 856092 HAS SOUPS 853413 WITH SCORE 859682.677
AT ITER 3036 NEW BEST:: SOT 12900067 SOS 6269666 HAS SOPS 6266572 HAS SOUS 856087 HAS SOUPS 853408 WITH SCORE 859677.666
AT ITER 3040 NEW BEST:: SOT 12899521 SOS 6269120 HAS SOPS 6266026 HAS SOUS 850520 HAS SOUPS 847841 WITH SCORE 854110.12
AT ITER 3060 NEW BEST:: SOT 12899521 SOS 6270780 HAS SOPS 6267686 HAS SOUS 850288 HAS SOUPS 847609 WITH SCORE 853879.78
AT ITER 3061 NEW BEST:: SOT 12902630 SOS 6273889 HAS SOPS 6270795 HAS SOUS 847939 HAS SOUPS 845260 WITH SCORE 851533.889
AT ITER 3062 NEW BEST:: SOT 12902584 SOS 6274647 HAS SOPS 6271585 HAS SOUS 844138 HAS SOUPS 841491 WITH SCORE 847765.647
AT ITER 3065 NEW BEST:: SOT 12902125 SOS 6274188 HAS SOPS 6271126 HAS SOUS 843668 HAS SOUPS 841021 WITH SCORE 847295.188
AT ITER 3071 NEW BEST:: SOT 12901518 SOS 6273581 HAS SOPS 6270519 HAS SOUS 842576 HAS SOUPS 839929 WITH SCORE 846202.581
AT ITER 3085 NEW BEST:: SOT 12898351 SOS 6270940 HAS SOPS 6267769 HAS SOUS 841582 HAS SOUPS 838841 WITH SCORE 845111.94
AT ITER 3103 NEW BEST:: SOT 12889817 SOS 6262406 HAS SOPS 6259235 HAS SOUS 837152 HAS SOUPS 834411 WITH SCORE 840673.406
AT ITER 3123 NEW BEST:: SOT 12890078 SOS 6262645 HAS SOPS 6259474 HAS SOUS 837050 HAS SOUPS 834309 WITH SCORE 840571.645
AT ITER 3125 NEW BEST:: SOT 12890138 SOS 6263793 HAS SOPS 6262056 HAS SOUS 833298 HAS SOUPS 831991 WITH SCORE 838254.793
AT ITER 3130 NEW BEST:: SOT 12889068 SOS 6262723 HAS SOPS 6260986 HAS SOUS 832548 HAS SOUPS 831241 WITH SCORE 837503.723
AT ITER 3146 NEW BEST:: SOT 12889068 SOS 6262740 HAS SOPS 6261003 HAS SOUS 832531 HAS SOUPS 831224 WITH SCORE 837486.74
AT ITER 3171 NEW BEST:: SOT 12887762 SOS 6259754 HAS SOPS 6258017 HAS SOUS 831225 HAS SOUPS 829918 WITH SCORE 836177.754
AT ITER 3193 NEW BEST:: SOT 12887251 SOS 6259243 HAS SOPS 6257506 HAS SOUS 830272 HAS SOUPS 828965 WITH SCORE 835224.243
AT ITER 3207 NEW BEST:: SOT 12887251 SOS 6258213 HAS SOPS 6256373 HAS SOUS 829463 HAS SOUPS 828248 WITH SCORE 834506.213
AT ITER 3209 NEW BEST:: SOT 12885611 SOS 6256573 HAS SOPS 6254733 HAS SOUS 827721 HAS SOUPS 826506 WITH SCORE 832762.573
AT ITER 3217 NEW BEST:: SOT 12867693 SOS 6241498 HAS SOPS 6239461 HAS SOUS 827033 HAS SOUPS 825738 WITH SCORE 831979.498
AT ITER 3221 NEW BEST:: SOT 12863001 SOS 6233970 HAS SOPS 6231690 HAS SOUS 826624 HAS SOUPS 825086 WITH SCORE 831319.97
AT ITER 3224 NEW BEST:: SOT 12864641 SOS 6237914 HAS SOPS 6235634 HAS SOUS 824413 HAS SOUPS 822875 WITH SCORE 829112.914
AT ITER 3231 NEW BEST:: SOT 12865805 SOS 6239146 HAS SOPS 6236884 HAS SOUS 823455 HAS SOUPS 821935 WITH SCORE 828174.146
AT ITER 3233 NEW BEST:: SOT 12865805 SOS 6238860 HAS SOPS 6236598 HAS SOUS 823312 HAS SOUPS 821792 WITH SCORE 828030.86
AT ITER 3234 NEW BEST:: SOT 12865783 SOS 6238838 HAS SOPS 6236576 HAS SOUS 823290 HAS SOUPS 821770 WITH SCORE 828008.838
AT ITER 3250 NEW BEST:: SOT 12865783 SOS 6236821 HAS SOPS 6234559 HAS SOUS 823181 HAS SOUPS 821661 WITH SCORE 827897.821
AT ITER 3268 NEW BEST:: SOT 12859431 SOS 6230469 HAS SOPS 6228207 HAS SOUS 823114 HAS SOUPS 821594 WITH SCORE 827824.469
AT ITER 3303 NEW BEST:: SOT 12856425 SOS 6227463 HAS SOPS 6225201 HAS SOUS 820364 HAS SOUPS 818844 WITH SCORE 825071.463
AT ITER 3305 NEW BEST:: SOT 12857485 SOS 6229029 HAS SOPS 6226767 HAS SOUS 820018 HAS SOUPS 818498 WITH SCORE 824727.029
AT ITER 3341 NEW BEST:: SOT 12857357 SOS 6228901 HAS SOPS 6226639 HAS SOUS 819749 HAS SOUPS 818229 WITH SCORE 824457.901
AT ITER 3355 NEW BEST:: SOT 12857399 SOS 6228950 HAS SOPS 6226695 HAS SOUS 819483 HAS SOUPS 817970 WITH SCORE 824198.95
AT ITER 3361 NEW BEST:: SOT 12854762 SOS 6226306 HAS SOPS 6224051 HAS SOUS 813911 HAS SOUPS 812398 WITH SCORE 818624.306
AT ITER 3373 NEW BEST:: SOT 12854762 SOS 6225509 HAS SOPS 6223273 HAS SOUS 813837 HAS SOUPS 812324 WITH SCORE 818549.509
AT ITER 3378 NEW BEST:: SOT 12854815 SOS 6225562 HAS SOPS 6223326 HAS SOUS 813816 HAS SOUPS 812303 WITH SCORE 818528.562
AT ITER 3379 NEW BEST:: SOT 12854064 SOS 6224811 HAS SOPS 6222575 HAS SOUS 812336 HAS SOUPS 810823 WITH SCORE 817047.811
AT ITER 3388 NEW BEST:: SOT 12854064 SOS 6222890 HAS SOPS 6220744 HAS SOUS 811947 HAS SOUPS 810464 WITH SCORE 816686.89
AT ITER 3423 NEW BEST:: SOT 12861994 SOS 6231072 HAS SOPS 6228852 HAS SOUS 811546 HAS SOUPS 809989 WITH SCORE 816220.072
AT ITER 3458 NEW BEST:: SOT 12861970 SOS 6231097 HAS SOPS 6228877 HAS SOUS 811522 HAS SOUPS 809965 WITH SCORE 816196.097
AT ITER 3460 NEW BEST:: SOT 12861820 SOS 6230947 HAS SOPS 6228727 HAS SOUS 810051 HAS SOUPS 808494 WITH SCORE 814724.947
AT ITER 3463 NEW BEST:: SOT 12861836 SOS 6230963 HAS SOPS 6228743 HAS SOUS 810025 HAS SOUPS 808468 WITH SCORE 814698.963
AT ITER 3477 NEW BEST:: SOT 12861836 SOS 6229252 HAS SOPS 6227032 HAS SOUS 809915 HAS SOUPS 808358 WITH SCORE 814587.252
AT ITER 3501 NEW BEST:: SOT 12867789 SOS 6250392 HAS SOPS 6247483 HAS SOUS 810151 HAS SOUPS 808331 WITH SCORE 814581.392
AT ITER 3508 NEW BEST:: SOT 12867691 SOS 6384626 HAS SOPS 6381851 HAS SOUS 808380 HAS SOUPS 806639 WITH SCORE 813023.626
AT ITER 3513 NEW BEST:: SOT 12869670 SOS 6386636 HAS SOPS 6383861 HAS SOUS 808243 HAS SOUPS 806502 WITH SCORE 812888.636
AT ITER 3529 NEW BEST:: SOT 12869670 SOS 6386634 HAS SOPS 6383859 HAS SOUS 808242 HAS SOUPS 806501 WITH SCORE 812887.634
AT ITER 3543 NEW BEST:: SOT 12867195 SOS 6387153 HAS SOPS 6384378 HAS SOUS 806588 HAS SOUPS 804847 WITH SCORE 811234.153
AT ITER 3544 NEW BEST:: SOT 12866732 SOS 6386668 HAS SOPS 6383893 HAS SOUS 805665 HAS SOUPS 803924 WITH SCORE 810310.668
AT ITER 3555 NEW BEST:: SOT 12866732 SOS 6384582 HAS SOPS 6381807 HAS SOUS 805627 HAS SOUPS 803886 WITH SCORE 810270.582
AT ITER 3573 NEW BEST:: SOT 12866802 SOS 6384652 HAS SOPS 6381877 HAS SOUS 805110 HAS SOUPS 803369 WITH SCORE 809753.652
AT ITER 3607 NEW BEST:: SOT 12864724 SOS 6382574 HAS SOPS 6379799 HAS SOUS 802923 HAS SOUPS 801182 WITH SCORE 807564.574
AT ITER 3626 NEW BEST:: SOT 12864724 SOS 6382574 HAS SOPS 6379799 HAS SOUS 802914 HAS SOUPS 801173 WITH SCORE 807555.574
AT ITER 3642 NEW BEST:: SOT 12864673 SOS 6382536 HAS SOPS 6379761 HAS SOUS 802863 HAS SOUPS 801122 WITH SCORE 807504.536
AT ITER 3665 NEW BEST:: SOT 12864673 SOS 6382462 HAS SOPS 6379687 HAS SOUS 802826 HAS SOUPS 801085 WITH SCORE 807467.462
AT ITER 3672 NEW BEST:: SOT 12864673 SOS 6382473 HAS SOPS 6379698 HAS SOUS 802815 HAS SOUPS 801074 WITH SCORE 807456.473
AT ITER 3683 NEW BEST:: SOT 12864347 SOS 6382027 HAS SOPS 6379267 HAS SOUS 802427 HAS SOUPS 800701 WITH SCORE 807083.027
AT ITER 3696 NEW BEST:: SOT 12864338 SOS 6382034 HAS SOPS 6379274 HAS SOUS 802418 HAS SOUPS 800692 WITH SCORE 807074.034
AT ITER 3715 NEW BEST:: SOT 12863733 SOS 6381429 HAS SOPS 6378669 HAS SOUS 802045 HAS SOUPS 800319 WITH SCORE 806700.429
AT ITER 3723 NEW BEST:: SOT 12865165 SOS 6382861 HAS SOPS 6380101 HAS SOUS 799496 HAS SOUPS 797770 WITH SCORE 804152.861
AT ITER 3729 NEW BEST:: SOT 12863675 SOS 6381371 HAS SOPS 6378611 HAS SOUS 798988 HAS SOUPS 797262 WITH SCORE 803643.371
AT ITER 3767 NEW BEST:: SOT 12866429 SOS 6383840 HAS SOPS 6381158 HAS SOUS 798106 HAS SOUPS 796443 WITH SCORE 802826.84
AT ITER 3775 NEW BEST:: SOT 12865581 SOS 6382967 HAS SOPS 6380285 HAS SOUS 795325 HAS SOUPS 793662 WITH SCORE 800044.967
AT ITER 3783 NEW BEST:: SOT 12865581 SOS 6383303 HAS SOPS 6380621 HAS SOUS 795273 HAS SOUPS 793610 WITH SCORE 799993.303
AT ITER 3789 NEW BEST:: SOT 12865528 SOS 6385847 HAS SOPS 6383208 HAS SOUS 793303 HAS SOUPS 791683 WITH SCORE 798068.847
AT ITER 3791 NEW BEST:: SOT 12865528 SOS 6387400 HAS SOPS 6384761 HAS SOUS 793144 HAS SOUPS 791524 WITH SCORE 797911.4
AT ITER 3795 NEW BEST:: SOT 12865949 SOS 6387821 HAS SOPS 6385182 HAS SOUS 791803 HAS SOUPS 790183 WITH SCORE 796570.821
AT ITER 3815 NEW BEST:: SOT 12865949 SOS 6385879 HAS SOPS 6383240 HAS SOUS 791795 HAS SOUPS 790175 WITH SCORE 796560.879
AT ITER 3834 NEW BEST:: SOT 12876823 SOS 6404343 HAS SOPS 6401704 HAS SOUS 790404 HAS SOUPS 788784 WITH SCORE 795188.343
AT ITER 3861 NEW BEST:: SOT 12876823 SOS 6547800 HAS SOPS 6545161 HAS SOUS 790161 HAS SOUPS 788541 WITH SCORE 795088.8
AT ITER 3863 NEW BEST:: SOT 12876833 SOS 6547810 HAS SOPS 6545173 HAS SOUS 790089 HAS SOUPS 788469 WITH SCORE 795016.81
AT ITER 3882 NEW BEST:: SOT 12873787 SOS 6544734 HAS SOPS 6542097 HAS SOUS 786876 HAS SOUPS 785256 WITH SCORE 791800.734
AT ITER 3894 NEW BEST:: SOT 12874306 SOS 6545253 HAS SOPS 6542616 HAS SOUS 786704 HAS SOUPS 785084 WITH SCORE 791629.253
AT ITER 3897 NEW BEST:: SOT 12874463 SOS 6545410 HAS SOPS 6542773 HAS SOUS 785638 HAS SOUPS 784018 WITH SCORE 790563.41
AT ITER 3900 NEW BEST:: SOT 12873620 SOS 6544567 HAS SOPS 6541930 HAS SOUS 783945 HAS SOUPS 782325 WITH SCORE 788869.567
AT ITER 3917 NEW BEST:: SOT 12874846 SOS 6544456 HAS SOPS 6541863 HAS SOUS 782485 HAS SOUPS 780890 WITH SCORE 787434.456
AT ITER 3920 NEW BEST:: SOT 12874804 SOS 6544414 HAS SOPS 6541821 HAS SOUS 782400 HAS SOUPS 780805 WITH SCORE 787349.414
AT ITER 3924 NEW BEST:: SOT 12874220 SOS 6543830 HAS SOPS 6541237 HAS SOUS 779331 HAS SOUPS 777736 WITH SCORE 784279.83
AT ITER 3948 NEW BEST:: SOT 12874220 SOS 6543830 HAS SOPS 6541237 HAS SOUS 779304 HAS SOUPS 777709 WITH SCORE 784252.83
AT ITER 3955 NEW BEST:: SOT 12865938 SOS 6535548 HAS SOPS 6532955 HAS SOUS 772739 HAS SOUPS 771144 WITH SCORE 777679.548
AT ITER 3958 NEW BEST:: SOT 12864201 SOS 6533811 HAS SOPS 6531218 HAS SOUS 770921 HAS SOUPS 769326 WITH SCORE 775859.811
AT ITER 3966 NEW BEST:: SOT 12864201 SOS 6537457 HAS SOPS 6534864 HAS SOUS 770804 HAS SOUPS 769209 WITH SCORE 775746.457
AT ITER 3980 NEW BEST:: SOT 12864201 SOS 6537467 HAS SOPS 6534874 HAS SOUS 770455 HAS SOUPS 768860 WITH SCORE 775397.467
AT ITER 3985 NEW BEST:: SOT 12867074 SOS 6540340 HAS SOPS 6537747 HAS SOUS 769921 HAS SOUPS 768326 WITH SCORE 774866.34
AT ITER 4006 NEW BEST:: SOT 12867074 SOS 6542265 HAS SOPS 6539678 HAS SOUS 769351 HAS SOUPS 767762 WITH SCORE 774304.265
AT ITER 4035 NEW BEST:: SOT 12866605 SOS 6541268 HAS SOPS 6538299 HAS SOUS 769580 HAS SOUPS 767609 WITH SCORE 774150.268
AT ITER 4048 NEW BEST:: SOT 12866605 SOS 6541268 HAS SOPS 6538299 HAS SOUS 769554 HAS SOUPS 767583 WITH SCORE 774124.268
AT ITER 4059 NEW BEST:: SOT 12865580 SOS 6540221 HAS SOPS 6537230 HAS SOUS 768989 HAS SOUPS 766996 WITH SCORE 773536.221
AT ITER 4070 NEW BEST:: SOT 12865812 SOS 6540785 HAS SOPS 6537821 HAS SOUS 768368 HAS SOUPS 766402 WITH SCORE 772942.785
AT ITER 4072 NEW BEST:: SOT 12865927 SOS 6540825 HAS SOPS 6537861 HAS SOUS 766848 HAS SOUPS 764882 WITH SCORE 771422.825
AT ITER 4093 NEW BEST:: SOT 12867018 SOS 6541916 HAS SOPS 6538952 HAS SOUS 766278 HAS SOUPS 764312 WITH SCORE 770853.916
AT ITER 4104 NEW BEST:: SOT 12867018 SOS 6545084 HAS SOPS 6542120 HAS SOUS 766234 HAS SOUPS 764268 WITH SCORE 770813.084
AT ITER 4143 NEW BEST:: SOT 12866091 SOS 6544157 HAS SOPS 6541193 HAS SOUS 766043 HAS SOUPS 764077 WITH SCORE 770621.157
AT ITER 4150 NEW BEST:: SOT 12866044 SOS 6542311 HAS SOPS 6539347 HAS SOUS 765949 HAS SOUPS 763983 WITH SCORE 770525.311
AT ITER 4155 NEW BEST:: SOT 12862715 SOS 6535957 HAS SOPS 6532932 HAS SOUS 762417 HAS SOUPS 760390 WITH SCORE 766925.957
AT ITER 4157 NEW BEST:: SOT 12862691 SOS 6535933 HAS SOPS 6532908 HAS SOUS 762369 HAS SOUPS 760342 WITH SCORE 766877.933
AT ITER 4182 NEW BEST:: SOT 12862691 SOS 6535933 HAS SOPS 6532908 HAS SOUS 762334 HAS SOUPS 760307 WITH SCORE 766842.933
AT ITER 4183 NEW BEST:: SOT 12862691 SOS 6535365 HAS SOPS 6532340 HAS SOUS 762264 HAS SOUPS 760237 WITH SCORE 766772.365
AT ITER 4185 NEW BEST:: SOT 12862338 SOS 6548166 HAS SOPS 6545387 HAS SOUS 760625 HAS SOUPS 758842 WITH SCORE 765390.166
AT ITER 4234 NEW BEST:: SOT 12862121 SOS 6547949 HAS SOPS 6545170 HAS SOUS 760152 HAS SOUPS 758369 WITH SCORE 764916.949
AT ITER 4254 NEW BEST:: SOT 12862254 SOS 6548721 HAS SOPS 6545951 HAS SOUS 759912 HAS SOUPS 758138 WITH SCORE 764686.721
AT ITER 4263 NEW BEST:: SOT 12862072 SOS 6548539 HAS SOPS 6545769 HAS SOUS 759537 HAS SOUPS 757763 WITH SCORE 764311.539
AT ITER 4274 NEW BEST:: SOT 12862072 SOS 6548375 HAS SOPS 6545605 HAS SOUS 759455 HAS SOUPS 757681 WITH SCORE 764229.375
AT ITER 4277 NEW BEST:: SOT 12862040 SOS 6548343 HAS SOPS 6545573 HAS SOUS 759423 HAS SOUPS 757649 WITH SCORE 764197.343
AT ITER 4307 NEW BEST:: SOT 12874663 SOS 6558021 HAS SOPS 6555322 HAS SOUS 759059 HAS SOUPS 757333 WITH SCORE 763891.021
AT ITER 4317 NEW BEST:: SOT 12874056 SOS 6556914 HAS SOPS 6554215 HAS SOUS 758452 HAS SOUPS 756726 WITH SCORE 763282.914
AT ITER 4323 NEW BEST:: SOT 12874597 SOS 6558115 HAS SOPS 6555416 HAS SOUS 757052 HAS SOUPS 755326 WITH SCORE 761884.115
AT ITER 4325 NEW BEST:: SOT 12886917 SOS 6578935 HAS SOPS 6576072 HAS SOUS 750692 HAS SOUPS 748906 WITH SCORE 755484.935
AT ITER 4338 NEW BEST:: SOT 12880264 SOS 6571919 HAS SOPS 6569110 HAS SOUS 745359 HAS SOUPS 743627 WITH SCORE 750198.919
AT ITER 4378 NEW BEST:: SOT 12880264 SOS 6571919 HAS SOPS 6569110 HAS SOUS 745344 HAS SOUPS 743612 WITH SCORE 750183.919
AT ITER 4382 NEW BEST:: SOT 12880127 SOS 6568306 HAS SOPS 6565497 HAS SOUS 745222 HAS SOUPS 743490 WITH SCORE 750058.306
AT ITER 4395 NEW BEST:: SOT 12880127 SOS 6566362 HAS SOPS 6563553 HAS SOUS 745222 HAS SOUPS 743490 WITH SCORE 750056.362
AT ITER 4418 NEW BEST:: SOT 12879178 SOS 6565200 HAS SOPS 6562462 HAS SOUS 743347 HAS SOUPS 741686 WITH SCORE 748251.2
AT ITER 4431 NEW BEST:: SOT 12879488 SOS 6565558 HAS SOPS 6562820 HAS SOUS 736993 HAS SOUPS 735332 WITH SCORE 741897.558
AT ITER 4438 NEW BEST:: SOT 12879487 SOS 6565557 HAS SOPS 6562819 HAS SOUS 736992 HAS SOUPS 735331 WITH SCORE 741896.557
AT ITER 4457 NEW BEST:: SOT 12879474 SOS 6565544 HAS SOPS 6562806 HAS SOUS 736992 HAS SOUPS 735331 WITH SCORE 741896.544
AT ITER 4479 NEW BEST:: SOT 12878606 SOS 6564676 HAS SOPS 6561938 HAS SOUS 736686 HAS SOUPS 735025 WITH SCORE 741589.676
AT ITER 4480 NEW BEST:: SOT 12878628 SOS 6564710 HAS SOPS 6561972 HAS SOUS 736588 HAS SOUPS 734927 WITH SCORE 741491.71
AT ITER 4485 NEW BEST:: SOT 12876944 SOS 6562932 HAS SOPS 6560298 HAS SOUS 732574 HAS SOUPS 730913 WITH SCORE 737475.932
AT ITER 4509 NEW BEST:: SOT 12876649 SOS 6562637 HAS SOPS 6560003 HAS SOUS 731978 HAS SOUPS 730317 WITH SCORE 736879.637
AT ITER 4524 NEW BEST:: SOT 12876649 SOS 6565355 HAS SOPS 6562721 HAS SOUS 731965 HAS SOUPS 730304 WITH SCORE 736869.355
AT ITER 4545 NEW BEST:: SOT 12876649 SOS 6565355 HAS SOPS 6562721 HAS SOUS 731938 HAS SOUPS 730277 WITH SCORE 736842.355
AT ITER 4553 NEW BEST:: SOT 12875912 SOS 6564618 HAS SOPS 6561984 HAS SOUS 731400 HAS SOUPS 729739 WITH SCORE 736303.618
AT ITER 4558 NEW BEST:: SOT 12875820 SOS 6564526 HAS SOPS 6561892 HAS SOUS 731212 HAS SOUPS 729551 WITH SCORE 736115.526
AT ITER 4606 NEW BEST:: SOT 12875820 SOS 6564498 HAS SOPS 6561864 HAS SOUS 731198 HAS SOUPS 729537 WITH SCORE 736101.498
AT ITER 4610 NEW BEST:: SOT 12875820 SOS 6565693 HAS SOPS 6563059 HAS SOUS 731169 HAS SOUPS 729508 WITH SCORE 736073.693
AT ITER 4614 NEW BEST:: SOT 12875820 SOS 6565117 HAS SOPS 6562483 HAS SOUS 731169 HAS SOUPS 729508 WITH SCORE 736073.117
AT ITER 4625 NEW BEST:: SOT 12875679 SOS 6564976 HAS SOPS 6562223 HAS SOUS 730552 HAS SOUPS 728891 WITH SCORE 735455.976
AT ITER 4630 NEW BEST:: SOT 12875239 SOS 6564536 HAS SOPS 6561783 HAS SOUS 730088 HAS SOUPS 728427 WITH SCORE 734991.536
AT ITER 4663 NEW BEST:: SOT 12870359 SOS 6559610 HAS SOPS 6556857 HAS SOUS 725592 HAS SOUPS 723931 WITH SCORE 730490.61
AT ITER 4709 NEW BEST:: SOT 12864382 SOS 6552464 HAS SOPS 6549941 HAS SOUS 716930 HAS SOUPS 715413 WITH SCORE 721965.464
AT ITER 4726 NEW BEST:: SOT 12864501 SOS 6552512 HAS SOPS 6549992 HAS SOUS 715982 HAS SOUPS 714468 WITH SCORE 721020.512
AT ITER 4741 NEW BEST:: SOT 12865473 SOS 6553796 HAS SOPS 6551432 HAS SOUS 715042 HAS SOUPS 713528 WITH SCORE 720081.796
AT ITER 4771 NEW BEST:: SOT 12865473 SOS 6553468 HAS SOPS 6551104 HAS SOUS 714960 HAS SOUPS 713446 WITH SCORE 719999.468
AT ITER 4810 NEW BEST:: SOT 12865473 SOS 6552388 HAS SOPS 6550024 HAS SOUS 714960 HAS SOUPS 713446 WITH SCORE 719998.388
AT ITER 4815 NEW BEST:: SOT 12865473 SOS 6549283 HAS SOPS 6547087 HAS SOUS 714797 HAS SOUPS 713325 WITH SCORE 719874.283
AT ITER 4820 NEW BEST:: SOT 12865472 SOS 6545679 HAS SOPS 6543483 HAS SOUS 714776 HAS SOUPS 713304 WITH SCORE 719849.679
AT ITER 4827 NEW BEST:: SOT 12864988 SOS 6545195 HAS SOPS 6542999 HAS SOUS 713796 HAS SOUPS 712324 WITH SCORE 718869.195
AT ITER 4836 NEW BEST:: SOT 12864988 SOS 6545087 HAS SOPS 6542891 HAS SOUS 713715 HAS SOUPS 712243 WITH SCORE 718788.087
AT ITER 4844 NEW BEST:: SOT 12864988 SOS 6545067 HAS SOPS 6542871 HAS SOUS 713705 HAS SOUPS 712233 WITH SCORE 718778.067
AT ITER 4851 NEW BEST:: SOT 12865065 SOS 6545144 HAS SOPS 6542948 HAS SOUS 713442 HAS SOUPS 711970 WITH SCORE 718515.144
AT ITER 4881 NEW BEST:: SOT 12865065 SOS 6545144 HAS SOPS 6542948 HAS SOUS 713426 HAS SOUPS 711954 WITH SCORE 718499.144
AT ITER 4882 NEW BEST:: SOT 12865017 SOS 6545096 HAS SOPS 6542900 HAS SOUS 713378 HAS SOUPS 711906 WITH SCORE 718451.096
AT ITER 4914 NEW BEST:: SOT 12865017 SOS 6546680 HAS SOPS 6544484 HAS SOUS 713352 HAS SOUPS 711880 WITH SCORE 718426.68
AT ITER 4967 NEW BEST:: SOT 12864942 SOS 6546605 HAS SOPS 6544409 HAS SOUS 713299 HAS SOUPS 711827 WITH SCORE 718373.605
AT ITER 4968 NEW BEST:: SOT 12864583 SOS 6546246 HAS SOPS 6544050 HAS SOUS 712618 HAS SOUPS 711146 WITH SCORE 717692.246
AT ITER 4973 NEW BEST:: SOT 12863387 SOS 6545284 HAS SOPS 6543049 HAS SOUS 710013 HAS SOUPS 708502 WITH SCORE 715047.284
AT ITER 4974 NEW BEST:: SOT 12863551 SOS 6545736 HAS SOPS 6543501 HAS SOUS 710008 HAS SOUPS 708497 WITH SCORE 715042.736
AT ITER 4981 NEW BEST:: SOT 12863561 SOS 6545746 HAS SOPS 6543511 HAS SOUS 709949 HAS SOUPS 708438 WITH SCORE 714983.746
AT ITER 4986 NEW BEST:: SOT 12864956 SOS 6550376 HAS SOPS 6548141 HAS SOUS 709691 HAS SOUPS 708180 WITH SCORE 714730.376
AT ITER 4987 NEW BEST:: SOT 12864956 SOS 6547471 HAS SOPS 6545336 HAS SOUS 709596 HAS SOUPS 708105 WITH SCORE 714652.471
AT ITER 4988 NEW BEST:: SOT 12864956 SOS 6547030 HAS SOPS 6544895 HAS SOUS 709596 HAS SOUPS 708105 WITH SCORE 714652.03
AT ITER 4994 NEW BEST:: SOT 12868560 SOS 6550572 HAS SOPS 6548439 HAS SOUS 703011 HAS SOUPS 701522 WITH SCORE 708072.572
AT ITER 5035 NEW BEST:: SOT 12869472 SOS 6558562 HAS SOPS 6556638 HAS SOUS 701929 HAS SOUPS 700649 WITH SCORE 707207.562
AT ITER 5039 NEW BEST:: SOT 12869415 SOS 6558505 HAS SOPS 6556581 HAS SOUS 701722 HAS SOUPS 700442 WITH SCORE 707000.505
AT ITER 5056 NEW BEST:: SOT 12869813 SOS 6558903 HAS SOPS 6556979 HAS SOUS 700815 HAS SOUPS 699535 WITH SCORE 706093.903
AT ITER 5090 NEW BEST:: SOT 12857304 SOS 6547581 HAS SOPS 6545636 HAS SOUS 700718 HAS SOUPS 699417 WITH SCORE 705964.581
AT ITER 5091 NEW BEST:: SOT 12857304 SOS 6552798 HAS SOPS 6550853 HAS SOUS 700706 HAS SOUPS 699405 WITH SCORE 705957.798
AT ITER 5139 NEW BEST:: SOT 12860096 SOS 6555590 HAS SOPS 6553645 HAS SOUS 698003 HAS SOUPS 696702 WITH SCORE 703257.59
AT ITER 5162 NEW BEST:: SOT 12865429 SOS 6561511 HAS SOPS 6559566 HAS SOUS 696809 HAS SOUPS 695508 WITH SCORE 702069.511
AT ITER 5201 NEW BEST:: SOT 12863165 SOS 6558037 HAS SOPS 6556092 HAS SOUS 695726 HAS SOUPS 694425 WITH SCORE 700983.037
AT ITER 5206 NEW BEST:: SOT 12862872 SOS 6559598 HAS SOPS 6557765 HAS SOUS 695390 HAS SOUPS 694089 WITH SCORE 700648.598
AT ITER 5224 NEW BEST:: SOT 12862642 SOS 6560652 HAS SOPS 6558819 HAS SOUS 692654 HAS SOUPS 691353 WITH SCORE 697913.652
AT ITER 5232 NEW BEST:: SOT 12862677 SOS 6560687 HAS SOPS 6558854 HAS SOUS 692490 HAS SOUPS 691189 WITH SCORE 697749.687
AT ITER 5260 NEW BEST:: SOT 12862677 SOS 6560611 HAS SOPS 6558778 HAS SOUS 692452 HAS SOUPS 691151 WITH SCORE 697711.611
AT ITER 5277 NEW BEST:: SOT 12862326 SOS 6560260 HAS SOPS 6558427 HAS SOUS 691742 HAS SOUPS 690441 WITH SCORE 697001.26
AT ITER 5289 NEW BEST:: SOT 12865107 SOS 6565849 HAS SOPS 6564016 HAS SOUS 689944 HAS SOUPS 688643 WITH SCORE 695208.849
AT ITER 5291 NEW BEST:: SOT 12864377 SOS 6564999 HAS SOPS 6563166 HAS SOUS 689934 HAS SOUPS 688633 WITH SCORE 695197.999
AT ITER 5294 NEW BEST:: SOT 12864377 SOS 6564999 HAS SOPS 6563166 HAS SOUS 689933 HAS SOUPS 688632 WITH SCORE 695196.999
AT ITER 5297 NEW BEST:: SOT 12865549 SOS 6566163 HAS SOPS 6564330 HAS SOUS 689596 HAS SOUPS 688295 WITH SCORE 694861.163
AT ITER 5323 NEW BEST:: SOT 12865549 SOS 6565227 HAS SOPS 6563394 HAS SOUS 689583 HAS SOUPS 688282 WITH SCORE 694847.227
AT ITER 5354 NEW BEST:: SOT 12866674 SOS 6566352 HAS SOPS 6564519 HAS SOUS 687160 HAS SOUPS 685859 WITH SCORE 692425.352
AT ITER 5396 NEW BEST:: SOT 12866921 SOS 6566599 HAS SOPS 6564766 HAS SOUS 687001 HAS SOUPS 685700 WITH SCORE 692266.599
AT ITER 5450 NEW BEST:: SOT 12866322 SOS 6566000 HAS SOPS 6564167 HAS SOUS 686454 HAS SOUPS 685153 WITH SCORE 691719.0
AT ITER 5475 NEW BEST:: SOT 12862617 SOS 6275079 HAS SOPS 6273094 HAS SOUS 686267 HAS SOUPS 684944 WITH SCORE 691219.079
AT ITER 5480 NEW BEST:: SOT 12862536 SOS 6275419 HAS SOPS 6273434 HAS SOUS 686231 HAS SOUPS 684908 WITH SCORE 691183.419
AT ITER 5488 NEW BEST:: SOT 12862432 SOS 6275315 HAS SOPS 6273330 HAS SOUS 686021 HAS SOUPS 684698 WITH SCORE 690973.315
AT ITER 5513 NEW BEST:: SOT 12860956 SOS 6268871 HAS SOPS 6266886 HAS SOUS 684463 HAS SOUPS 683140 WITH SCORE 689408.871
AT ITER 5514 NEW BEST:: SOT 12860951 SOS 6268866 HAS SOPS 6266881 HAS SOUS 684391 HAS SOUPS 683068 WITH SCORE 689336.866
AT ITER 5520 NEW BEST:: SOT 12863292 SOS 6271207 HAS SOPS 6269222 HAS SOUS 683948 HAS SOUPS 682625 WITH SCORE 688896.207
AT ITER 5525 NEW BEST:: SOT 12863584 SOS 6275183 HAS SOPS 6273198 HAS SOUS 682905 HAS SOUPS 681582 WITH SCORE 687857.183
AT ITER 5532 NEW BEST:: SOT 12864480 SOS 6276079 HAS SOPS 6274094 HAS SOUS 682102 HAS SOUPS 680779 WITH SCORE 687055.079
AT ITER 5554 NEW BEST:: SOT 12864480 SOS 6275879 HAS SOPS 6273894 HAS SOUS 682002 HAS SOUPS 680679 WITH SCORE 686954.879
AT ITER 5559 NEW BEST:: SOT 12867294 SOS 6280026 HAS SOPS 6278050 HAS SOUS 681290 HAS SOUPS 679976 WITH SCORE 686256.026
AT ITER 5572 NEW BEST:: SOT 12863000 SOS 6275682 HAS SOPS 6273706 HAS SOUS 676874 HAS SOUPS 675560 WITH SCORE 681835.682
AT ITER 5573 NEW BEST:: SOT 12862812 SOS 6275500 HAS SOPS 6273524 HAS SOUS 676798 HAS SOUPS 675484 WITH SCORE 681759.5
AT ITER 5588 NEW BEST:: SOT 12862812 SOS 6275020 HAS SOPS 6273044 HAS SOUS 676798 HAS SOUPS 675484 WITH SCORE 681759.02
AT ITER 5607 NEW BEST:: SOT 12864720 SOS 6327395 HAS SOPS 6325937 HAS SOUS 676676 HAS SOUPS 675410 WITH SCORE 681737.395
AT ITER 5628 NEW BEST:: SOT 12863432 SOS 6326081 HAS SOPS 6324607 HAS SOUS 675738 HAS SOUPS 674456 WITH SCORE 680782.081
AT ITER 5642 NEW BEST:: SOT 12863138 SOS 6325787 HAS SOPS 6324313 HAS SOUS 675084 HAS SOUPS 673802 WITH SCORE 680127.787
AT ITER 5664 NEW BEST:: SOT 12863138 SOS 6326331 HAS SOPS 6324857 HAS SOUS 675060 HAS SOUPS 673778 WITH SCORE 680104.331
AT ITER 5666 NEW BEST:: SOT 12862960 SOS 6326153 HAS SOPS 6324679 HAS SOUS 675055 HAS SOUPS 673773 WITH SCORE 680099.153
AT ITER 5672 NEW BEST:: SOT 12862270 SOS 6326213 HAS SOPS 6324739 HAS SOUS 673665 HAS SOUPS 672383 WITH SCORE 678709.213
AT ITER 5689 NEW BEST:: SOT 12862198 SOS 6326069 HAS SOPS 6324595 HAS SOUS 673592 HAS SOUPS 672310 WITH SCORE 678636.069
AT ITER 5701 NEW BEST:: SOT 12863645 SOS 6327516 HAS SOPS 6326042 HAS SOUS 672668 HAS SOUPS 671386 WITH SCORE 677713.516
AT ITER 5738 NEW BEST:: SOT 12865133 SOS 6352817 HAS SOPS 6351343 HAS SOUS 670137 HAS SOUPS 668855 WITH SCORE 675207.817
AT ITER 5741 NEW BEST:: SOT 12865862 SOS 6353690 HAS SOPS 6352288 HAS SOUS 669977 HAS SOUPS 668695 WITH SCORE 675048.69
AT ITER 5752 NEW BEST:: SOT 12862159 SOS 6349987 HAS SOPS 6348585 HAS SOUS 666527 HAS SOUPS 665245 WITH SCORE 671594.987
AT ITER 5764 NEW BEST:: SOT 12856402 SOS 6343918 HAS SOPS 6342516 HAS SOUS 664619 HAS SOUPS 663337 WITH SCORE 669680.918
AT ITER 5767 NEW BEST:: SOT 12856354 SOS 6344302 HAS SOPS 6342900 HAS SOUS 664571 HAS SOUPS 663289 WITH SCORE 669633.302
AT ITER 5770 NEW BEST:: SOT 12856285 SOS 6344232 HAS SOPS 6342830 HAS SOUS 664483 HAS SOUPS 663201 WITH SCORE 669545.232
AT ITER 5789 NEW BEST:: SOT 12853008 SOS 6340807 HAS SOPS 6339405 HAS SOUS 662991 HAS SOUPS 661709 WITH SCORE 668049.807
AT ITER 5810 NEW BEST:: SOT 12850033 SOS 6337832 HAS SOPS 6336430 HAS SOUS 659864 HAS SOUPS 658582 WITH SCORE 664919.832
AT ITER 5817 NEW BEST:: SOT 12850272 SOS 6336863 HAS SOPS 6335482 HAS SOUS 657439 HAS SOUPS 656178 WITH SCORE 662514.863
AT ITER 5840 NEW BEST:: SOT 12850272 SOS 6340533 HAS SOPS 6339152 HAS SOUS 657402 HAS SOUPS 656141 WITH SCORE 662481.533
AT ITER 5851 NEW BEST:: SOT 12850914 SOS 6341895 HAS SOPS 6340514 HAS SOUS 656696 HAS SOUPS 655435 WITH SCORE 661776.895
AT ITER 5863 NEW BEST:: SOT 12850891 SOS 6341872 HAS SOPS 6340491 HAS SOUS 656640 HAS SOUPS 655379 WITH SCORE 661720.872
AT ITER 5871 NEW BEST:: SOT 12850891 SOS 6343762 HAS SOPS 6342381 HAS SOUS 654997 HAS SOUPS 653736 WITH SCORE 660079.762
AT ITER 5940 NEW BEST:: SOT 12850921 SOS 6343792 HAS SOPS 6342411 HAS SOUS 654991 HAS SOUPS 653730 WITH SCORE 660073.792
AT ITER 5946 NEW BEST:: SOT 12847604 SOS 6340043 HAS SOPS 6338446 HAS SOUS 654296 HAS SOUPS 653035 WITH SCORE 659375.043
AT ITER 5960 NEW BEST:: SOT 12846549 SOS 6338988 HAS SOPS 6337391 HAS SOUS 653939 HAS SOUPS 652678 WITH SCORE 659016.988
AT ITER 5965 NEW BEST:: SOT 12846509 SOS 6338340 HAS SOPS 6336743 HAS SOUS 653939 HAS SOUPS 652678 WITH SCORE 659016.34
AT ITER 6026 NEW BEST:: SOT 12846498 SOS 6338342 HAS SOPS 6336745 HAS SOUS 653424 HAS SOUPS 652163 WITH SCORE 658501.342
AT ITER 6046 NEW BEST:: SOT 12846498 SOS 6336614 HAS SOPS 6335017 HAS SOUS 653424 HAS SOUPS 652163 WITH SCORE 658499.614
AT ITER 6103 NEW BEST:: SOT 12846491 SOS 6336677 HAS SOPS 6335080 HAS SOUS 653354 HAS SOUPS 652093 WITH SCORE 658429.677
AT ITER 6110 NEW BEST:: SOT 12847416 SOS 6342501 HAS SOPS 6340904 HAS SOUS 652397 HAS SOUPS 651136 WITH SCORE 657478.501
AT ITER 6118 NEW BEST:: SOT 12847320 SOS 6342405 HAS SOPS 6340808 HAS SOUS 652208 HAS SOUPS 650947 WITH SCORE 657289.405
AT ITER 6127 NEW BEST:: SOT 12847152 SOS 6342221 HAS SOPS 6340624 HAS SOUS 652081 HAS SOUPS 650820 WITH SCORE 657162.221
AT ITER 6140 NEW BEST:: SOT 12844942 SOS 6339995 HAS SOPS 6338398 HAS SOUS 650685 HAS SOUPS 649424 WITH SCORE 655763.995
AT ITER 6159 NEW BEST:: SOT 12842915 SOS 6336816 HAS SOPS 6335219 HAS SOUS 649782 HAS SOUPS 648521 WITH SCORE 654857.816
AT ITER 6181 NEW BEST:: SOT 12842639 SOS 6336540 HAS SOPS 6334943 HAS SOUS 649570 HAS SOUPS 648309 WITH SCORE 654645.54
AT ITER 6235 NEW BEST:: SOT 12841681 SOS 6334934 HAS SOPS 6333337 HAS SOUS 649175 HAS SOUPS 647914 WITH SCORE 654248.934
AT ITER 6244 NEW BEST:: SOT 12841633 SOS 6334886 HAS SOPS 6333289 HAS SOUS 649132 HAS SOUPS 647871 WITH SCORE 654205.886
AT ITER 6274 NEW BEST:: SOT 12841403 SOS 6334656 HAS SOPS 6333059 HAS SOUS 648658 HAS SOUPS 647397 WITH SCORE 653731.656
AT ITER 6276 NEW BEST:: SOT 12841403 SOS 6332280 HAS SOPS 6330683 HAS SOUS 648658 HAS SOUPS 647397 WITH SCORE 653729.28
AT ITER 6313 NEW BEST:: SOT 12841493 SOS 6332370 HAS SOPS 6330773 HAS SOUS 648606 HAS SOUPS 647345 WITH SCORE 653677.37
AT ITER 6329 NEW BEST:: SOT 12841100 SOS 6331977 HAS SOPS 6330380 HAS SOUS 648415 HAS SOUPS 647154 WITH SCORE 653485.977
AT ITER 6337 NEW BEST:: SOT 12841100 SOS 6331984 HAS SOPS 6330387 HAS SOUS 648258 HAS SOUPS 646997 WITH SCORE 653328.984
AT ITER 6365 NEW BEST:: SOT 12841903 SOS 6332787 HAS SOPS 6331190 HAS SOUS 647567 HAS SOUPS 646306 WITH SCORE 652638.787
AT ITER 6367 NEW BEST:: SOT 12842047 SOS 6332931 HAS SOPS 6331334 HAS SOUS 647445 HAS SOUPS 646184 WITH SCORE 652516.931
AT ITER 6406 NEW BEST:: SOT 12841627 SOS 6332483 HAS SOPS 6330886 HAS SOUS 647277 HAS SOUPS 646016 WITH SCORE 652348.483
AT ITER 6411 NEW BEST:: SOT 12841000 SOS 6331847 HAS SOPS 6330250 HAS SOUS 646342 HAS SOUPS 645081 WITH SCORE 651412.847
AT ITER 6429 NEW BEST:: SOT 12840380 SOS 6331217 HAS SOPS 6329627 HAS SOUS 645313 HAS SOUPS 644059 WITH SCORE 650390.217
AT ITER 6430 NEW BEST:: SOT 12840380 SOS 6330881 HAS SOPS 6329291 HAS SOUS 645313 HAS SOUPS 644059 WITH SCORE 650389.881
AT ITER 6441 NEW BEST:: SOT 12840410 SOS 6141596 HAS SOPS 6139882 HAS SOUS 645307 HAS SOUPS 643939 WITH SCORE 650080.596
AT ITER 6453 NEW BEST:: SOT 12840410 SOS 6136628 HAS SOPS 6134914 HAS SOUS 645244 HAS SOUPS 643876 WITH SCORE 650012.628
AT ITER 6481 NEW BEST:: SOT 12840203 SOS 6136421 HAS SOPS 6134707 HAS SOUS 644824 HAS SOUPS 643456 WITH SCORE 649592.421
AT ITER 6489 NEW BEST:: SOT 12840192 SOS 6134069 HAS SOPS 6132355 HAS SOUS 644815 HAS SOUPS 643447 WITH SCORE 649581.069
AT ITER 6493 NEW BEST:: SOT 12840187 SOS 6133814 HAS SOPS 6132350 HAS SOUS 644556 HAS SOUPS 643373 WITH SCORE 649506.814
AT ITER 6518 NEW BEST:: SOT 12839571 SOS 6133174 HAS SOPS 6131686 HAS SOUS 644560 HAS SOUPS 643353 WITH SCORE 649486.174
AT ITER 6578 NEW BEST:: SOT 12840964 SOS 6136056 HAS SOPS 6134762 HAS SOUS 640977 HAS SOUPS 639867 WITH SCORE 646003.056
AT ITER 6603 NEW BEST:: SOT 12842792 SOS 6137884 HAS SOPS 6136590 HAS SOUS 639695 HAS SOUPS 638585 WITH SCORE 644722.884
AT ITER 6650 NEW BEST:: SOT 12843449 SOS 6138541 HAS SOPS 6137247 HAS SOUS 639539 HAS SOUPS 638429 WITH SCORE 644567.541
AT ITER 6651 NEW BEST:: SOT 12843396 SOS 6139496 HAS SOPS 6138202 HAS SOUS 639486 HAS SOUPS 638376 WITH SCORE 644515.496
AT ITER 6673 NEW BEST:: SOT 12843396 SOS 6134274 HAS SOPS 6132980 HAS SOUS 639414 HAS SOUPS 638304 WITH SCORE 644438.274
AT ITER 6691 NEW BEST:: SOT 12843396 SOS 6129650 HAS SOPS 6128356 HAS SOUS 639413 HAS SOUPS 638303 WITH SCORE 644432.65
AT ITER 6727 NEW BEST:: SOT 12842935 SOS 6129189 HAS SOPS 6127895 HAS SOUS 639248 HAS SOUPS 638138 WITH SCORE 644267.189
AT ITER 6735 NEW BEST:: SOT 12839140 SOS 6124906 HAS SOPS 6123539 HAS SOUS 638467 HAS SOUPS 637284 WITH SCORE 643408.906
AT ITER 6769 NEW BEST:: SOT 12839050 SOS 6124805 HAS SOPS 6123438 HAS SOUS 637937 HAS SOUPS 636754 WITH SCORE 642878.805
AT ITER 6779 NEW BEST:: SOT 12839050 SOS 6123955 HAS SOPS 6122588 HAS SOUS 637937 HAS SOUPS 636754 WITH SCORE 642877.955
AT ITER 6781 NEW BEST:: SOT 12835473 SOS 6121331 HAS SOPS 6119964 HAS SOUS 635238 HAS SOUPS 634055 WITH SCORE 640176.331
AT ITER 6806 NEW BEST:: SOT 12835277 SOS 6121135 HAS SOPS 6119768 HAS SOUS 635070 HAS SOUPS 633887 WITH SCORE 640008.135
AT ITER 6809 NEW BEST:: SOT 12835277 SOS 6140686 HAS SOPS 6139319 HAS SOUS 634167 HAS SOUPS 632984 WITH SCORE 639124.686
AT ITER 6815 NEW BEST:: SOT 12835208 SOS 6140617 HAS SOPS 6139250 HAS SOUS 631641 HAS SOUPS 630458 WITH SCORE 636598.617
AT ITER 6850 NEW BEST:: SOT 12835943 SOS 6143047 HAS SOPS 6141734 HAS SOUS 631034 HAS SOUPS 629905 WITH SCORE 636048.047
AT ITER 6880 NEW BEST:: SOT 12835943 SOS 6142399 HAS SOPS 6141086 HAS SOUS 631034 HAS SOUPS 629905 WITH SCORE 636047.399
AT ITER 6893 NEW BEST:: SOT 12835943 SOS 6141079 HAS SOPS 6139766 HAS SOUS 631034 HAS SOUPS 629905 WITH SCORE 636046.079
AT ITER 6922 NEW BEST:: SOT 12835943 SOS 6139495 HAS SOPS 6138182 HAS SOUS 631034 HAS SOUPS 629905 WITH SCORE 636044.495
AT ITER 6924 NEW BEST:: SOT 12835943 SOS 6137480 HAS SOPS 6136167 HAS SOUS 631003 HAS SOUPS 629874 WITH SCORE 636011.48
AT ITER 6926 NEW BEST:: SOT 12835547 SOS 6137084 HAS SOPS 6135771 HAS SOUS 630716 HAS SOUPS 629587 WITH SCORE 635724.084
AT ITER 6936 NEW BEST:: SOT 12837381 SOS 6133446 HAS SOPS 6132133 HAS SOUS 630229 HAS SOUPS 629100 WITH SCORE 635233.446
AT ITER 6958 NEW BEST:: SOT 12837245 SOS 6133310 HAS SOPS 6131997 HAS SOUS 630110 HAS SOUPS 628981 WITH SCORE 635114.31
AT ITER 6971 NEW BEST:: SOT 12838869 SOS 6144104 HAS SOPS 6142791 HAS SOUS 628230 HAS SOUPS 627101 WITH SCORE 633245.104
AT ITER 6989 NEW BEST:: SOT 12838787 SOS 6144022 HAS SOPS 6142709 HAS SOUS 627934 HAS SOUPS 626805 WITH SCORE 632949.022
AT ITER 7009 NEW BEST:: SOT 12837642 SOS 6142877 HAS SOPS 6141564 HAS SOUS 625646 HAS SOUPS 624517 WITH SCORE 630659.877
AT ITER 7018 NEW BEST:: SOT 12837365 SOS 6142250 HAS SOPS 6140937 HAS SOUS 625364 HAS SOUPS 624235 WITH SCORE 630377.25
AT ITER 7041 NEW BEST:: SOT 12837365 SOS 6140378 HAS SOPS 6139065 HAS SOUS 625364 HAS SOUPS 624235 WITH SCORE 630375.378
AT ITER 7059 NEW BEST:: SOT 12837055 SOS 6140068 HAS SOPS 6138755 HAS SOUS 624510 HAS SOUPS 623381 WITH SCORE 629521.068
AT ITER 7060 NEW BEST:: SOT 12834823 SOS 6137836 HAS SOPS 6136523 HAS SOUS 624181 HAS SOUPS 623052 WITH SCORE 629189.836
AT ITER 7084 NEW BEST:: SOT 12834822 SOS 6137846 HAS SOPS 6136533 HAS SOUS 624164 HAS SOUPS 623035 WITH SCORE 629172.846
AT ITER 7152 NEW BEST:: SOT 12834371 SOS 6136709 HAS SOPS 6135396 HAS SOUS 623803 HAS SOUPS 622674 WITH SCORE 628810.709
AT ITER 7172 NEW BEST:: SOT 12836946 SOS 6139351 HAS SOPS 6138038 HAS SOUS 622942 HAS SOUPS 621813 WITH SCORE 627952.351
AT ITER 7217 NEW BEST:: SOT 12836952 SOS 6139357 HAS SOPS 6138044 HAS SOUS 622939 HAS SOUPS 621810 WITH SCORE 627949.357
AT ITER 7224 NEW BEST:: SOT 12836952 SOS 6133069 HAS SOPS 6131756 HAS SOUS 622859 HAS SOUPS 621730 WITH SCORE 627863.069
AT ITER 7267 NEW BEST:: SOT 12836952 SOS 6133033 HAS SOPS 6131720 HAS SOUS 622841 HAS SOUPS 621712 WITH SCORE 627845.033
AT ITER 7273 NEW BEST:: SOT 12835978 SOS 6117017 HAS SOPS 6115700 HAS SOUS 621351 HAS SOUPS 620222 WITH SCORE 626339.017
AT ITER 7313 NEW BEST:: SOT 12836020 SOS 6117115 HAS SOPS 6115798 HAS SOUS 620781 HAS SOUPS 619652 WITH SCORE 625769.115
AT ITER 7322 NEW BEST:: SOT 12836050 SOS 6117145 HAS SOPS 6115828 HAS SOUS 620729 HAS SOUPS 619600 WITH SCORE 625717.145
AT ITER 7348 NEW BEST:: SOT 12834693 SOS 6115696 HAS SOPS 6114379 HAS SOUS 618397 HAS SOUPS 617268 WITH SCORE 623383.696
AT ITER 7351 NEW BEST:: SOT 12834693 SOS 6076177 HAS SOPS 6074827 HAS SOUS 618375 HAS SOUPS 617224 WITH SCORE 623300.177
AT ITER 7354 NEW BEST:: SOT 12834693 SOS 6070705 HAS SOPS 6069355 HAS SOUS 618375 HAS SOUPS 617224 WITH SCORE 623294.705
AT ITER 7363 NEW BEST:: SOT 12834678 SOS 6070690 HAS SOPS 6069340 HAS SOUS 618360 HAS SOUPS 617209 WITH SCORE 623279.69
AT ITER 7369 NEW BEST:: SOT 12834296 SOS 6070308 HAS SOPS 6068958 HAS SOUS 618016 HAS SOUPS 616865 WITH SCORE 622935.308
AT ITER 7370 NEW BEST:: SOT 12834296 SOS 6070870 HAS SOPS 6069520 HAS SOUS 617946 HAS SOUPS 616795 WITH SCORE 622865.87
AT ITER 7381 NEW BEST:: SOT 12834585 SOS 6071142 HAS SOPS 6069792 HAS SOUS 617819 HAS SOUPS 616668 WITH SCORE 622739.142
AT ITER 7385 NEW BEST:: SOT 12835206 SOS 6095828 HAS SOPS 6094478 HAS SOUS 616942 HAS SOUPS 615791 WITH SCORE 621886.828
AT ITER 7408 NEW BEST:: SOT 12835206 SOS 6095180 HAS SOPS 6093830 HAS SOUS 616942 HAS SOUPS 615791 WITH SCORE 621886.18
AT ITER 7431 NEW BEST:: SOT 12835206 SOS 6093380 HAS SOPS 6092030 HAS SOUS 616942 HAS SOUPS 615791 WITH SCORE 621884.38
AT ITER 7436 NEW BEST:: SOT 12835174 SOS 6093348 HAS SOPS 6091998 HAS SOUS 616942 HAS SOUPS 615791 WITH SCORE 621884.348
AT ITER 7446 NEW BEST:: SOT 12836608 SOS 6093340 HAS SOPS 6092040 HAS SOUS 612021 HAS SOUPS 610895 WITH SCORE 616988.34
AT ITER 7452 NEW BEST:: SOT 12836637 SOS 6093369 HAS SOPS 6092069 HAS SOUS 611924 HAS SOUPS 610798 WITH SCORE 616891.369
AT ITER 7466 NEW BEST:: SOT 12836637 SOS 6090945 HAS SOPS 6089645 HAS SOUS 611890 HAS SOUPS 610764 WITH SCORE 616854.945
AT ITER 7492 NEW BEST:: SOT 12836569 SOS 6090877 HAS SOPS 6089577 HAS SOUS 611856 HAS SOUPS 610730 WITH SCORE 616820.877
AT ITER 7495 NEW BEST:: SOT 12836317 SOS 6090625 HAS SOPS 6089325 HAS SOUS 611588 HAS SOUPS 610462 WITH SCORE 616552.625
AT ITER 7510 NEW BEST:: SOT 12836317 SOS 6090229 HAS SOPS 6088929 HAS SOUS 611567 HAS SOUPS 610441 WITH SCORE 616531.229
AT ITER 7536 NEW BEST:: SOT 12835423 SOS 6089335 HAS SOPS 6088035 HAS SOUS 610655 HAS SOUPS 609529 WITH SCORE 615618.335
AT ITER 7544 NEW BEST:: SOT 12835423 SOS 6088399 HAS SOPS 6087099 HAS SOUS 610655 HAS SOUPS 609529 WITH SCORE 615617.399
AT ITER 7548 NEW BEST:: SOT 12835423 SOS 6084799 HAS SOPS 6083499 HAS SOUS 610655 HAS SOUPS 609529 WITH SCORE 615613.799
AT ITER 7557 NEW BEST:: SOT 12835423 SOS 6079975 HAS SOPS 6078675 HAS SOUS 610655 HAS SOUPS 609529 WITH SCORE 615608.975
AT ITER 7574 NEW BEST:: SOT 12835423 SOS 6079783 HAS SOPS 6078483 HAS SOUS 610639 HAS SOUPS 609513 WITH SCORE 615592.783
AT ITER 7587 NEW BEST:: SOT 12835864 SOS 6080224 HAS SOPS 6078924 HAS SOUS 610525 HAS SOUPS 609399 WITH SCORE 615479.224
AT ITER 7611 NEW BEST:: SOT 12833011 SOS 6077371 HAS SOPS 6076071 HAS SOUS 608772 HAS SOUPS 607646 WITH SCORE 613723.371
AT ITER 7613 NEW BEST:: SOT 12833011 SOS 6071571 HAS SOPS 6070271 HAS SOUS 608761 HAS SOUPS 607635 WITH SCORE 613706.571
AT ITER 7618 NEW BEST:: SOT 12825440 SOS 6064000 HAS SOPS 6062700 HAS SOUS 608477 HAS SOUPS 607351 WITH SCORE 613415.0
AT ITER 7634 NEW BEST:: SOT 12825446 SOS 6064006 HAS SOPS 6062706 HAS SOUS 608446 HAS SOUPS 607320 WITH SCORE 613384.006
AT ITER 7644 NEW BEST:: SOT 12829816 SOS 6078802 HAS SOPS 6077502 HAS SOUS 607127 HAS SOUPS 606001 WITH SCORE 612079.802
AT ITER 7691 NEW BEST:: SOT 12829816 SOS 6076426 HAS SOPS 6075126 HAS SOUS 607127 HAS SOUPS 606001 WITH SCORE 612077.426
AT ITER 7700 NEW BEST:: SOT 12827743 SOS 6074375 HAS SOPS 6073075 HAS SOUS 605963 HAS SOUPS 604837 WITH SCORE 610911.375
AT ITER 7749 NEW BEST:: SOT 12827743 SOS 6074375 HAS SOPS 6073075 HAS SOUS 605954 HAS SOUPS 604828 WITH SCORE 610902.375
AT ITER 7773 NEW BEST:: SOT 12831739 SOS 6078775 HAS SOPS 6077475 HAS SOUS 605766 HAS SOUPS 604640 WITH SCORE 610718.775
AT ITER 7795 NEW BEST:: SOT 12830877 SOS 6072301 HAS SOPS 6071083 HAS SOUS 605268 HAS SOUPS 604224 WITH SCORE 610296.301
AT ITER 7856 NEW BEST:: SOT 12831502 SOS 6073625 HAS SOPS 6072407 HAS SOUS 604623 HAS SOUPS 603579 WITH SCORE 609652.625
AT ITER 7889 NEW BEST:: SOT 12831502 SOS 6073121 HAS SOPS 6071903 HAS SOUS 604623 HAS SOUPS 603579 WITH SCORE 609652.121
AT ITER 7911 NEW BEST:: SOT 12832173 SOS 6073792 HAS SOPS 6072574 HAS SOUS 603460 HAS SOUPS 602416 WITH SCORE 608489.792
AT ITER 7925 NEW BEST:: SOT 12832173 SOS 6070768 HAS SOPS 6069550 HAS SOUS 603460 HAS SOUPS 602416 WITH SCORE 608486.768
AT ITER 7927 NEW BEST:: SOT 12831628 SOS 6070223 HAS SOPS 6069005 HAS SOUS 602553 HAS SOUPS 601509 WITH SCORE 607579.223
AT ITER 7966 NEW BEST:: SOT 12831628 SOS 6069259 HAS SOPS 6068041 HAS SOUS 602503 HAS SOUPS 601459 WITH SCORE 607528.259
AT ITER 7972 NEW BEST:: SOT 12831579 SOS 6069210 HAS SOPS 6067992 HAS SOUS 602155 HAS SOUPS 601111 WITH SCORE 607180.21
AT ITER 7988 NEW BEST:: SOT 12831460 SOS 6069091 HAS SOPS 6067873 HAS SOUS 601854 HAS SOUPS 600810 WITH SCORE 606879.091
AT ITER 8004 NEW BEST:: SOT 12831441 SOS 6069072 HAS SOPS 6067854 HAS SOUS 601849 HAS SOUPS 600805 WITH SCORE 606874.072
AT ITER 8019 NEW BEST:: SOT 12831403 SOS 6069034 HAS SOPS 6067816 HAS SOUS 601811 HAS SOUPS 600767 WITH SCORE 606836.034
AT ITER 8055 NEW BEST:: SOT 12831403 SOS 6068540 HAS SOPS 6067322 HAS SOUS 601778 HAS SOUPS 600734 WITH SCORE 606802.54
AT ITER 8062 NEW BEST:: SOT 12831256 SOS 6068393 HAS SOPS 6067175 HAS SOUS 600814 HAS SOUPS 599770 WITH SCORE 605838.393
AT ITER 8156 NEW BEST:: SOT 12828665 SOS 6065802 HAS SOPS 6064584 HAS SOUS 598750 HAS SOUPS 597706 WITH SCORE 603771.802
AT ITER 8167 NEW BEST:: SOT 12828665 SOS 6065807 HAS SOPS 6064584 HAS SOUS 598750 HAS SOUPS 597701 WITH SCORE 603766.807
AT ITER 8210 NEW BEST:: SOT 12828665 SOS 6066239 HAS SOPS 6065016 HAS SOUS 598739 HAS SOUPS 597690 WITH SCORE 603756.239
AT ITER 8223 NEW BEST:: SOT 12827921 SOS 6065495 HAS SOPS 6064272 HAS SOUS 598608 HAS SOUPS 597559 WITH SCORE 603624.495
AT ITER 8226 NEW BEST:: SOT 12827897 SOS 6065471 HAS SOPS 6064248 HAS SOUS 598494 HAS SOUPS 597445 WITH SCORE 603510.471
AT ITER 8238 NEW BEST:: SOT 12823814 SOS 6054322 HAS SOPS 6053099 HAS SOUS 597303 HAS SOUPS 596254 WITH SCORE 602308.322
AT ITER 8249 NEW BEST:: SOT 12823791 SOS 6054299 HAS SOPS 6053076 HAS SOUS 597238 HAS SOUPS 596189 WITH SCORE 602243.299
AT ITER 8256 NEW BEST:: SOT 12822703 SOS 6053211 HAS SOPS 6051988 HAS SOUS 595131 HAS SOUPS 594082 WITH SCORE 600135.211
AT ITER 8262 NEW BEST:: SOT 12822703 SOS 6052691 HAS SOPS 6051468 HAS SOUS 595131 HAS SOUPS 594082 WITH SCORE 600134.691
AT ITER 8272 NEW BEST:: SOT 12822698 SOS 6036495 HAS SOPS 6035272 HAS SOUS 594472 HAS SOUPS 593423 WITH SCORE 599459.495
AT ITER 8289 NEW BEST:: SOT 12822698 SOS 6033399 HAS SOPS 6032176 HAS SOUS 594472 HAS SOUPS 593423 WITH SCORE 599456.399
AT ITER 8305 NEW BEST:: SOT 12822650 SOS 6033351 HAS SOPS 6032128 HAS SOUS 594377 HAS SOUPS 593328 WITH SCORE 599361.351
AT ITER 8312 NEW BEST:: SOT 12822701 SOS 6033402 HAS SOPS 6032179 HAS SOUS 594317 HAS SOUPS 593268 WITH SCORE 599301.402
AT ITER 8359 NEW BEST:: SOT 12822701 SOS 6032604 HAS SOPS 6031381 HAS SOUS 594313 HAS SOUPS 593264 WITH SCORE 599296.604
AT ITER 8419 NEW BEST:: SOT 12822701 SOS 6032460 HAS SOPS 6031237 HAS SOUS 594311 HAS SOUPS 593262 WITH SCORE 599294.46
AT ITER 8421 NEW BEST:: SOT 12822701 SOS 6032488 HAS SOPS 6031237 HAS SOUS 594283 HAS SOUPS 593206 WITH SCORE 599238.488
AT ITER 8429 NEW BEST:: SOT 12823598 SOS 6031945 HAS SOPS 6030694 HAS SOUS 594088 HAS SOUPS 593011 WITH SCORE 599042.945
AT ITER 8473 NEW BEST:: SOT 12823163 SOS 6031510 HAS SOPS 6030259 HAS SOUS 593799 HAS SOUPS 592722 WITH SCORE 598753.51
AT ITER 8490 NEW BEST:: SOT 12821898 SOS 6030245 HAS SOPS 6028994 HAS SOUS 593527 HAS SOUPS 592450 WITH SCORE 598480.245
AT ITER 8517 NEW BEST:: SOT 12821290 SOS 6029660 HAS SOPS 6028409 HAS SOUS 593456 HAS SOUPS 592379 WITH SCORE 598408.66
AT ITER 8577 NEW BEST:: SOT 12821080 SOS 6029450 HAS SOPS 6028199 HAS SOUS 593019 HAS SOUPS 591942 WITH SCORE 597971.45
AT ITER 8653 NEW BEST:: SOT 12823634 SOS 6058800 HAS SOPS 6057549 HAS SOUS 589135 HAS SOUPS 588058 WITH SCORE 594116.8
AT ITER 8672 NEW BEST:: SOT 12823634 SOS 5966300 HAS SOPS 5965049 HAS SOUS 589091 HAS SOUPS 588014 WITH SCORE 593980.3
AT ITER 8695 NEW BEST:: SOT 12823623 SOS 5966289 HAS SOPS 5965038 HAS SOUS 589080 HAS SOUPS 588003 WITH SCORE 593969.289
AT ITER 8704 NEW BEST:: SOT 12822187 SOS 5963675 HAS SOPS 5962327 HAS SOUS 587598 HAS SOUPS 586424 WITH SCORE 592387.675
AT ITER 8745 NEW BEST:: SOT 12822187 SOS 5959931 HAS SOPS 5958583 HAS SOUS 587571 HAS SOUPS 586397 WITH SCORE 592356.931
AT ITER 8797 NEW BEST:: SOT 12822146 SOS 5955632 HAS SOPS 5954277 HAS SOUS 587492 HAS SOUPS 586318 WITH SCORE 592273.632
AT ITER 8798 NEW BEST:: SOT 12822010 SOS 5955496 HAS SOPS 5954141 HAS SOUS 587356 HAS SOUPS 586182 WITH SCORE 592137.496
AT ITER 8842 NEW BEST:: SOT 12821887 SOS 5955373 HAS SOPS 5954018 HAS SOUS 587243 HAS SOUPS 586069 WITH SCORE 592024.373
AT ITER 8848 NEW BEST:: SOT 12822207 SOS 5955729 HAS SOPS 5954374 HAS SOUS 587167 HAS SOUPS 585993 WITH SCORE 591948.729
AT ITER 8886 NEW BEST:: SOT 12822207 SOS 5955731 HAS SOPS 5954374 HAS SOUS 587165 HAS SOUPS 585989 WITH SCORE 591944.731
AT ITER 8890 NEW BEST:: SOT 12820095 SOS 5953619 HAS SOPS 5952262 HAS SOUS 586296 HAS SOUPS 585120 WITH SCORE 591073.619
AT ITER 8916 NEW BEST:: SOT 12819889 SOS 5953413 HAS SOPS 5952056 HAS SOUS 586256 HAS SOUPS 585080 WITH SCORE 591033.413
AT ITER 8980 NEW BEST:: SOT 12818070 SOS 5951594 HAS SOPS 5950237 HAS SOUS 582499 HAS SOUPS 581323 WITH SCORE 587274.594
AT ITER 8990 NEW BEST:: SOT 12817995 SOS 5951519 HAS SOPS 5950162 HAS SOUS 581318 HAS SOUPS 580142 WITH SCORE 586093.519
AT ITER 9007 NEW BEST:: SOT 12817987 SOS 5951523 HAS SOPS 5950166 HAS SOUS 581310 HAS SOUPS 580134 WITH SCORE 586085.523
AT ITER 9018 NEW BEST:: SOT 12817865 SOS 5951401 HAS SOPS 5950044 HAS SOUS 581043 HAS SOUPS 579867 WITH SCORE 585818.401
AT ITER 9030 NEW BEST:: SOT 12817996 SOS 5954622 HAS SOPS 5953265 HAS SOUS 578804 HAS SOUPS 577628 WITH SCORE 583582.622
AT ITER 9072 NEW BEST:: SOT 12817964 SOS 5954590 HAS SOPS 5953233 HAS SOUS 578772 HAS SOUPS 577596 WITH SCORE 583550.59
AT ITER 9087 NEW BEST:: SOT 12817964 SOS 5953991 HAS SOPS 5952634 HAS SOUS 578717 HAS SOUPS 577541 WITH SCORE 583494.991
AT ITER 9092 NEW BEST:: SOT 12817964 SOS 5953991 HAS SOPS 5952634 HAS SOUS 578709 HAS SOUPS 577533 WITH SCORE 583486.991
AT ITER 9147 NEW BEST:: SOT 12817482 SOS 5953509 HAS SOPS 5952152 HAS SOUS 577072 HAS SOUPS 575896 WITH SCORE 581849.509
AT ITER 9148 NEW BEST:: SOT 12817867 SOS 5953884 HAS SOPS 5952527 HAS SOUS 576867 HAS SOUPS 575691 WITH SCORE 581644.884
AT ITER 9193 NEW BEST:: SOT 12817789 SOS 5954012 HAS SOPS 5952607 HAS SOUS 576745 HAS SOUPS 575521 WITH SCORE 581475.012
AT ITER 9224 NEW BEST:: SOT 12817789 SOS 5952818 HAS SOPS 5951413 HAS SOUS 576715 HAS SOUPS 575491 WITH SCORE 581443.818
AT ITER 9237 NEW BEST:: SOT 12817538 SOS 5952557 HAS SOPS 5951154 HAS SOUS 576203 HAS SOUPS 574981 WITH SCORE 580933.557
AT ITER 9248 NEW BEST:: SOT 12816595 SOS 5951633 HAS SOPS 5950230 HAS SOUS 575554 HAS SOUPS 574332 WITH SCORE 580283.633
AT ITER 9250 NEW BEST:: SOT 12816594 SOS 5951645 HAS SOPS 5950229 HAS SOUS 575539 HAS SOUPS 574304 WITH SCORE 580255.645
AT ITER 9253 NEW BEST:: SOT 12815840 SOS 5950891 HAS SOPS 5949475 HAS SOUS 575358 HAS SOUPS 574123 WITH SCORE 580073.891
AT ITER 9283 NEW BEST:: SOT 12815840 SOS 5950962 HAS SOPS 5949546 HAS SOUS 575350 HAS SOUPS 574115 WITH SCORE 580065.962
AT ITER 9297 NEW BEST:: SOT 12815836 SOS 5950954 HAS SOPS 5949538 HAS SOUS 575338 HAS SOUPS 574103 WITH SCORE 580053.954
AT ITER 9307 NEW BEST:: SOT 12815819 SOS 5950937 HAS SOPS 5949521 HAS SOUS 575310 HAS SOUPS 574075 WITH SCORE 580025.937
AT ITER 9335 NEW BEST:: SOT 12817071 SOS 5953485 HAS SOPS 5952069 HAS SOUS 574963 HAS SOUPS 573728 WITH SCORE 579681.485
AT ITER 9400 NEW BEST:: SOT 12816963 SOS 5953377 HAS SOPS 5951961 HAS SOUS 574869 HAS SOUPS 573634 WITH SCORE 579587.377
AT ITER 9436 NEW BEST:: SOT 12816963 SOS 5953366 HAS SOPS 5951950 HAS SOUS 574858 HAS SOUPS 573623 WITH SCORE 579576.366
AT ITER 9450 NEW BEST:: SOT 12816963 SOS 5953342 HAS SOPS 5951926 HAS SOUS 574858 HAS SOUPS 573623 WITH SCORE 579576.342
AT ITER 9500 NEW BEST:: SOT 12816386 SOS 5952765 HAS SOPS 5951349 HAS SOUS 573592 HAS SOUPS 572357 WITH SCORE 578309.765
AT ITER 9501 NEW BEST:: SOT 12816394 SOS 5952773 HAS SOPS 5951357 HAS SOUS 573159 HAS SOUPS 571924 WITH SCORE 577876.773
AT ITER 9618 NEW BEST:: SOT 12816393 SOS 5952772 HAS SOPS 5951356 HAS SOUS 573158 HAS SOUPS 571923 WITH SCORE 577875.772
AT ITER 9634 NEW BEST:: SOT 12814295 SOS 5949306 HAS SOPS 5947890 HAS SOUS 572693 HAS SOUPS 571458 WITH SCORE 577407.306
AT ITER 9668 NEW BEST:: SOT 12816333 SOS 5951274 HAS SOPS 5949858 HAS SOUS 571817 HAS SOUPS 570582 WITH SCORE 576533.274
AT ITER 9687 NEW BEST:: SOT 12817648 SOS 5952576 HAS SOPS 5951160 HAS SOUS 569744 HAS SOUPS 568509 WITH SCORE 574461.576
AT ITER 9720 NEW BEST:: SOT 12817648 SOS 5950992 HAS SOPS 5949576 HAS SOUS 569744 HAS SOUPS 568509 WITH SCORE 574459.992
AT ITER 9727 NEW BEST:: SOT 12817209 SOS 5950555 HAS SOPS 5949137 HAS SOUS 569367 HAS SOUPS 568130 WITH SCORE 574080.555
AT ITER 9781 NEW BEST:: SOT 12817209 SOS 5949547 HAS SOPS 5948129 HAS SOUS 569367 HAS SOUPS 568130 WITH SCORE 574079.547
AT ITER 9810 NEW BEST:: SOT 12816629 SOS 5948967 HAS SOPS 5947549 HAS SOUS 569313 HAS SOUPS 568076 WITH SCORE 574024.967
AT ITER 9830 NEW BEST:: SOT 12816564 SOS 5948909 HAS SOPS 5947491 HAS SOUS 569248 HAS SOUPS 568011 WITH SCORE 573959.909
AT ITER 9847 NEW BEST:: SOT 12816564 SOS 5950637 HAS SOPS 5949219 HAS SOUS 569245 HAS SOUPS 568008 WITH SCORE 573958.637
AT ITER 9853 NEW BEST:: SOT 12818779 SOS 5953184 HAS SOPS 5951766 HAS SOUS 567553 HAS SOUPS 566316 WITH SCORE 572269.184
AT ITER 9860 NEW BEST:: SOT 12818779 SOS 5952900 HAS SOPS 5951482 HAS SOUS 567553 HAS SOUPS 566316 WITH SCORE 572268.9
AT ITER 9958 NEW BEST:: SOT 12818369 SOS 5956144 HAS SOPS 5954908 HAS SOUS 567090 HAS SOUPS 566035 WITH SCORE 571991.144
AT ITER 9966 NEW BEST:: SOT 12818369 SOS 5955136 HAS SOPS 5953900 HAS SOUS 567090 HAS SOUPS 566035 WITH SCORE 571990.136

BK_STOP 1678789824169

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

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

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="BugTracking-PT-q8m002"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is BugTracking-PT-q8m002, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r043-tajo-167813696800392"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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