fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r099-tall-167814472100176
Last Updated
May 14, 2023

About the Execution of Smart for CloudReconfiguration-PT-402

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
2941.228 3600000.00 3599919.00 241.10 [undef] Time out reached

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r099-tall-167814472100176.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is CloudReconfiguration-PT-402, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472100176
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 7.8K Feb 25 11:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 25 11:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 25 11:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 25 11:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:48 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 15:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 25 11:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 168K Feb 25 11:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Feb 25 11:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 25 11:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:48 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:48 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 912K 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 1678229826913

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

Filename model.pnml
Petri model created: 3554 places, 4263 transitions, 8889 arcs.
AT ITER 0 NEW BEST:: SOT 8368586 SOS 1372003 HAS SOPS 1372003 HAS SOUS 1266370 HAS SOUPS 1266370 WITH SCORE 1267742.003
AT ITER 10 NEW BEST:: SOT 8368545 SOS 1372082 HAS SOPS 1372082 HAS SOUS 1266329 HAS SOUPS 1266329 WITH SCORE 1267701.082
AT ITER 71 NEW BEST:: SOT 8368290 SOS 1371251 HAS SOPS 1371251 HAS SOUS 1265753 HAS SOUPS 1265753 WITH SCORE 1267124.251
AT ITER 94 NEW BEST:: SOT 8367395 SOS 1370356 HAS SOPS 1370356 HAS SOUS 1264858 HAS SOUPS 1264858 WITH SCORE 1266228.356
AT ITER 102 NEW BEST:: SOT 8367395 SOS 1370356 HAS SOPS 1370356 HAS SOUS 1264857 HAS SOUPS 1264857 WITH SCORE 1266227.356
AT ITER 143 NEW BEST:: SOT 8367092 SOS 1369750 HAS SOPS 1369750 HAS SOUS 1264251 HAS SOUPS 1264251 WITH SCORE 1265620.75
AT ITER 150 NEW BEST:: SOT 8366866 SOS 1369298 HAS SOPS 1369298 HAS SOUS 1263799 HAS SOUPS 1263799 WITH SCORE 1265168.298
AT ITER 178 NEW BEST:: SOT 8366689 SOS 1369121 HAS SOPS 1369121 HAS SOUS 1263622 HAS SOUPS 1263622 WITH SCORE 1264991.121
AT ITER 181 NEW BEST:: SOT 8366659 SOS 1369091 HAS SOPS 1369091 HAS SOUS 1263585 HAS SOUPS 1263585 WITH SCORE 1264954.091
AT ITER 205 NEW BEST:: SOT 8366437 SOS 1368647 HAS SOPS 1368647 HAS SOUS 1263002 HAS SOUPS 1263002 WITH SCORE 1264370.647
AT ITER 212 NEW BEST:: SOT 8366376 SOS 1368586 HAS SOPS 1368586 HAS SOUS 1262941 HAS SOUPS 1262941 WITH SCORE 1264309.586
AT ITER 215 NEW BEST:: SOT 8366320 SOS 1368474 HAS SOPS 1368474 HAS SOUS 1262829 HAS SOUPS 1262829 WITH SCORE 1264197.474
AT ITER 226 NEW BEST:: SOT 8366320 SOS 1368273 HAS SOPS 1368273 HAS SOUS 1262829 HAS SOUPS 1262829 WITH SCORE 1264197.273
AT ITER 248 NEW BEST:: SOT 8365944 SOS 1368265 HAS SOPS 1368265 HAS SOUS 1262572 HAS SOUPS 1262572 WITH SCORE 1263940.265
AT ITER 280 NEW BEST:: SOT 8365533 SOS 1367946 HAS SOPS 1367946 HAS SOUS 1262161 HAS SOUPS 1262161 WITH SCORE 1263528.946
AT ITER 299 NEW BEST:: SOT 8365394 SOS 1367827 HAS SOPS 1367827 HAS SOUS 1262041 HAS SOUPS 1262041 WITH SCORE 1263408.827
AT ITER 310 NEW BEST:: SOT 8365394 SOS 1367465 HAS SOPS 1367465 HAS SOUS 1262041 HAS SOUPS 1262041 WITH SCORE 1263408.465
AT ITER 369 NEW BEST:: SOT 8364988 SOS 1367086 HAS SOPS 1367086 HAS SOUS 1261662 HAS SOUPS 1261662 WITH SCORE 1263029.086
AT ITER 395 NEW BEST:: SOT 8365065 SOS 1367240 HAS SOPS 1367240 HAS SOUS 1261434 HAS SOUPS 1261434 WITH SCORE 1262801.24
AT ITER 409 NEW BEST:: SOT 8365065 SOS 1367084 HAS SOPS 1367084 HAS SOUS 1261434 HAS SOUPS 1261434 WITH SCORE 1262801.084
AT ITER 418 NEW BEST:: SOT 8365062 SOS 1367081 HAS SOPS 1367081 HAS SOUS 1261431 HAS SOUPS 1261431 WITH SCORE 1262798.081
AT ITER 420 NEW BEST:: SOT 8364741 SOS 1367559 HAS SOPS 1367559 HAS SOUS 1261250 HAS SOUPS 1261250 WITH SCORE 1262617.559
AT ITER 421 NEW BEST:: SOT 8364741 SOS 1367200 HAS SOPS 1367200 HAS SOUS 1260891 HAS SOUPS 1260891 WITH SCORE 1262258.2
AT ITER 494 NEW BEST:: SOT 8349063 SOS 1428916 HAS SOPS 1428916 HAS SOUS 1248678 HAS SOUPS 1248678 WITH SCORE 1250106.916
AT ITER 496 NEW BEST:: SOT 8348723 SOS 1381716 HAS SOPS 1381716 HAS SOUS 1248338 HAS SOUPS 1248338 WITH SCORE 1249719.716
AT ITER 504 NEW BEST:: SOT 8348722 SOS 1381714 HAS SOPS 1381714 HAS SOUS 1248336 HAS SOUPS 1248336 WITH SCORE 1249717.714
AT ITER 514 NEW BEST:: SOT 8348372 SOS 1381364 HAS SOPS 1381364 HAS SOUS 1247986 HAS SOUPS 1247986 WITH SCORE 1249367.364
AT ITER 534 NEW BEST:: SOT 8347511 SOS 1380216 HAS SOPS 1380216 HAS SOUS 1246838 HAS SOUPS 1246838 WITH SCORE 1248218.216
AT ITER 550 NEW BEST:: SOT 8347392 SOS 1379978 HAS SOPS 1379978 HAS SOUS 1246719 HAS SOUPS 1246719 WITH SCORE 1248098.978
AT ITER 559 NEW BEST:: SOT 8346790 SOS 1379376 HAS SOPS 1379376 HAS SOUS 1246117 HAS SOUPS 1246117 WITH SCORE 1247496.376
AT ITER 572 NEW BEST:: SOT 8346199 SOS 1378982 HAS SOPS 1378982 HAS SOUS 1245723 HAS SOUPS 1245723 WITH SCORE 1247101.982
AT ITER 573 NEW BEST:: SOT 8346173 SOS 1378956 HAS SOPS 1378956 HAS SOUS 1245697 HAS SOUPS 1245697 WITH SCORE 1247075.956
AT ITER 584 NEW BEST:: SOT 8345867 SOS 1378344 HAS SOPS 1378344 HAS SOUS 1245485 HAS SOUPS 1245485 WITH SCORE 1246863.344
AT ITER 588 NEW BEST:: SOT 8345867 SOS 1377843 HAS SOPS 1377843 HAS SOUS 1245484 HAS SOUPS 1245484 WITH SCORE 1246861.843
AT ITER 592 NEW BEST:: SOT 8345508 SOS 1377537 HAS SOPS 1377537 HAS SOUS 1245167 HAS SOUPS 1245167 WITH SCORE 1246544.537
AT ITER 625 NEW BEST:: SOT 8345298 SOS 1377537 HAS SOPS 1377537 HAS SOUS 1245062 HAS SOUPS 1245062 WITH SCORE 1246439.537
AT ITER 643 NEW BEST:: SOT 8345022 SOS 1376985 HAS SOPS 1376985 HAS SOUS 1244510 HAS SOUPS 1244510 WITH SCORE 1245886.985
AT ITER 655 NEW BEST:: SOT 8344682 SOS 1376598 HAS SOPS 1376598 HAS SOUS 1244015 HAS SOUPS 1244015 WITH SCORE 1245391.598
AT ITER 672 NEW BEST:: SOT 8344682 SOS 1376577 HAS SOPS 1376577 HAS SOUS 1244014 HAS SOUPS 1244014 WITH SCORE 1245390.577
AT ITER 679 NEW BEST:: SOT 8344682 SOS 1376577 HAS SOPS 1376577 HAS SOUS 1244013 HAS SOUPS 1244013 WITH SCORE 1245389.577
AT ITER 698 NEW BEST:: SOT 8342838 SOS 1374997 HAS SOPS 1374997 HAS SOUS 1242433 HAS SOUPS 1242433 WITH SCORE 1243807.997
AT ITER 701 NEW BEST:: SOT 8342759 SOS 1374839 HAS SOPS 1374839 HAS SOUS 1242275 HAS SOUPS 1242275 WITH SCORE 1243649.839
AT ITER 733 NEW BEST:: SOT 8342506 SOS 1374333 HAS SOPS 1374333 HAS SOUS 1241769 HAS SOUPS 1241769 WITH SCORE 1243143.333
AT ITER 764 NEW BEST:: SOT 8342505 SOS 1374331 HAS SOPS 1374331 HAS SOUS 1241767 HAS SOUPS 1241767 WITH SCORE 1243141.331
AT ITER 769 NEW BEST:: SOT 8342505 SOS 1374168 HAS SOPS 1374168 HAS SOUS 1241767 HAS SOUPS 1241767 WITH SCORE 1243141.168
AT ITER 775 NEW BEST:: SOT 8342453 SOS 1374064 HAS SOPS 1374064 HAS SOUS 1241663 HAS SOUPS 1241663 WITH SCORE 1243037.064
AT ITER 790 NEW BEST:: SOT 8342422 SOS 1374033 HAS SOPS 1374033 HAS SOUS 1241663 HAS SOUPS 1241663 WITH SCORE 1243037.033
AT ITER 792 NEW BEST:: SOT 8342592 SOS 1373097 HAS SOPS 1373097 HAS SOUS 1241435 HAS SOUPS 1241435 WITH SCORE 1242808.097
AT ITER 797 NEW BEST:: SOT 8342417 SOS 1372747 HAS SOPS 1372747 HAS SOUS 1241085 HAS SOUPS 1241085 WITH SCORE 1242457.747
AT ITER 799 NEW BEST:: SOT 8342417 SOS 1372492 HAS SOPS 1372492 HAS SOUS 1241085 HAS SOUPS 1241085 WITH SCORE 1242457.492
AT ITER 801 NEW BEST:: SOT 8342026 SOS 1372101 HAS SOPS 1372101 HAS SOUS 1240694 HAS SOUPS 1240694 WITH SCORE 1242066.101
AT ITER 816 NEW BEST:: SOT 8341857 SOS 1371763 HAS SOPS 1371763 HAS SOUS 1240356 HAS SOUPS 1240356 WITH SCORE 1241727.763
AT ITER 846 NEW BEST:: SOT 8341857 SOS 1371237 HAS SOPS 1371237 HAS SOUS 1240356 HAS SOUPS 1240356 WITH SCORE 1241727.237
AT ITER 866 NEW BEST:: SOT 8341857 SOS 1370852 HAS SOPS 1370852 HAS SOUS 1240355 HAS SOUPS 1240355 WITH SCORE 1241725.852
AT ITER 889 NEW BEST:: SOT 8341850 SOS 1370838 HAS SOPS 1370838 HAS SOUS 1240341 HAS SOUPS 1240341 WITH SCORE 1241711.838
AT ITER 900 NEW BEST:: SOT 8341849 SOS 1370836 HAS SOPS 1370836 HAS SOUS 1240339 HAS SOUPS 1240339 WITH SCORE 1241709.836
AT ITER 901 NEW BEST:: SOT 8341848 SOS 1370834 HAS SOPS 1370834 HAS SOUS 1240337 HAS SOUPS 1240337 WITH SCORE 1241707.834
AT ITER 904 NEW BEST:: SOT 8341813 SOS 1370764 HAS SOPS 1370764 HAS SOUS 1240301 HAS SOUPS 1240301 WITH SCORE 1241671.764
AT ITER 930 NEW BEST:: SOT 8341563 SOS 1370264 HAS SOPS 1370264 HAS SOUS 1239935 HAS SOUPS 1239935 WITH SCORE 1241305.264
AT ITER 937 NEW BEST:: SOT 8341563 SOS 1370194 HAS SOPS 1370194 HAS SOUS 1239935 HAS SOUPS 1239935 WITH SCORE 1241305.194
AT ITER 940 NEW BEST:: SOT 8341563 SOS 1369734 HAS SOPS 1369734 HAS SOUS 1239935 HAS SOUPS 1239935 WITH SCORE 1241304.734
AT ITER 941 NEW BEST:: SOT 8341201 SOS 1369010 HAS SOPS 1369010 HAS SOUS 1239211 HAS SOUPS 1239211 WITH SCORE 1240580.01
AT ITER 948 NEW BEST:: SOT 8341200 SOS 1369008 HAS SOPS 1369008 HAS SOUS 1239209 HAS SOUPS 1239209 WITH SCORE 1240578.008
AT ITER 958 NEW BEST:: SOT 8341132 SOS 1368804 HAS SOPS 1368804 HAS SOUS 1239072 HAS SOUPS 1239072 WITH SCORE 1240440.804
AT ITER 961 NEW BEST:: SOT 8340976 SOS 1368492 HAS SOPS 1368492 HAS SOUS 1238838 HAS SOUPS 1238838 WITH SCORE 1240206.492
AT ITER 970 NEW BEST:: SOT 8340639 SOS 1367818 HAS SOPS 1367818 HAS SOUS 1238164 HAS SOUPS 1238164 WITH SCORE 1239531.818
AT ITER 994 NEW BEST:: SOT 8340576 SOS 1367692 HAS SOPS 1367692 HAS SOUS 1237971 HAS SOUPS 1237971 WITH SCORE 1239338.692
AT ITER 1007 NEW BEST:: SOT 8340470 SOS 1367480 HAS SOPS 1367480 HAS SOUS 1237759 HAS SOUPS 1237759 WITH SCORE 1239126.48
AT ITER 1009 NEW BEST:: SOT 8340694 SOS 1367432 HAS SOPS 1367432 HAS SOUS 1237711 HAS SOUPS 1237711 WITH SCORE 1239078.432
AT ITER 1041 NEW BEST:: SOT 8340694 SOS 1367432 HAS SOPS 1367432 HAS SOUS 1237612 HAS SOUPS 1237612 WITH SCORE 1238979.432
AT ITER 1045 NEW BEST:: SOT 8340594 SOS 1367232 HAS SOPS 1367232 HAS SOUS 1237512 HAS SOUPS 1237512 WITH SCORE 1238879.232
AT ITER 1054 NEW BEST:: SOT 8340594 SOS 1367046 HAS SOPS 1367046 HAS SOUS 1237511 HAS SOUPS 1237511 WITH SCORE 1238878.046
AT ITER 1084 NEW BEST:: SOT 8339913 SOS 1366719 HAS SOPS 1366719 HAS SOUS 1236860 HAS SOUPS 1236860 WITH SCORE 1238226.719
AT ITER 1103 NEW BEST:: SOT 8339715 SOS 1366575 HAS SOPS 1366575 HAS SOUS 1236697 HAS SOUPS 1236697 WITH SCORE 1238063.575
AT ITER 1146 NEW BEST:: SOT 8339375 SOS 1366235 HAS SOPS 1366235 HAS SOUS 1236357 HAS SOUPS 1236357 WITH SCORE 1237723.235
AT ITER 1149 NEW BEST:: SOT 8339374 SOS 1366233 HAS SOPS 1366233 HAS SOUS 1236355 HAS SOUPS 1236355 WITH SCORE 1237721.233
AT ITER 1187 NEW BEST:: SOT 8339450 SOS 1366385 HAS SOPS 1366385 HAS SOUS 1236166 HAS SOUPS 1236166 WITH SCORE 1237532.385
AT ITER 1197 NEW BEST:: SOT 8339269 SOS 1366204 HAS SOPS 1366204 HAS SOUS 1235985 HAS SOUPS 1235985 WITH SCORE 1237351.204
AT ITER 1208 NEW BEST:: SOT 8339105 SOS 1366040 HAS SOPS 1366040 HAS SOUS 1235821 HAS SOUPS 1235821 WITH SCORE 1237187.04
AT ITER 1209 NEW BEST:: SOT 8338900 SOS 1365630 HAS SOPS 1365630 HAS SOUS 1235616 HAS SOUPS 1235616 WITH SCORE 1236981.63
AT ITER 1218 NEW BEST:: SOT 8338794 SOS 1365073 HAS SOPS 1365073 HAS SOUS 1235165 HAS SOUPS 1235165 WITH SCORE 1236530.073
AT ITER 1236 NEW BEST:: SOT 8338686 SOS 1364992 HAS SOPS 1364992 HAS SOUS 1235084 HAS SOUPS 1235084 WITH SCORE 1236448.992
AT ITER 1237 NEW BEST:: SOT 8338686 SOS 1364933 HAS SOPS 1364933 HAS SOUS 1235084 HAS SOUPS 1235084 WITH SCORE 1236448.933
AT ITER 1241 NEW BEST:: SOT 8338586 SOS 1364733 HAS SOPS 1364733 HAS SOUS 1234884 HAS SOUPS 1234884 WITH SCORE 1236248.733
AT ITER 1245 NEW BEST:: SOT 8338438 SOS 1364437 HAS SOPS 1364437 HAS SOUS 1234736 HAS SOUPS 1234736 WITH SCORE 1236100.437
AT ITER 1264 NEW BEST:: SOT 8338438 SOS 1364433 HAS SOPS 1364433 HAS SOUS 1234732 HAS SOUPS 1234732 WITH SCORE 1236096.433
AT ITER 1277 NEW BEST:: SOT 8338293 SOS 1364413 HAS SOPS 1364413 HAS SOUS 1234587 HAS SOUPS 1234587 WITH SCORE 1235951.413
AT ITER 1293 NEW BEST:: SOT 8338292 SOS 1364411 HAS SOPS 1364411 HAS SOUS 1234585 HAS SOUPS 1234585 WITH SCORE 1235949.411
AT ITER 1303 NEW BEST:: SOT 8338068 SOS 1364326 HAS SOPS 1364326 HAS SOUS 1234398 HAS SOUPS 1234398 WITH SCORE 1235762.326
AT ITER 1314 NEW BEST:: SOT 8338068 SOS 1364326 HAS SOPS 1364326 HAS SOUS 1234397 HAS SOUPS 1234397 WITH SCORE 1235761.326
AT ITER 1317 NEW BEST:: SOT 8337923 SOS 1364181 HAS SOPS 1364181 HAS SOUS 1234396 HAS SOUPS 1234396 WITH SCORE 1235760.181
AT ITER 1352 NEW BEST:: SOT 8337705 SOS 1364096 HAS SOPS 1364096 HAS SOUS 1234191 HAS SOUPS 1234191 WITH SCORE 1235555.096
AT ITER 1387 NEW BEST:: SOT 8337703 SOS 1364092 HAS SOPS 1364092 HAS SOUS 1234189 HAS SOUPS 1234189 WITH SCORE 1235553.092
AT ITER 1405 NEW BEST:: SOT 8337500 SOS 1363889 HAS SOPS 1363889 HAS SOUS 1233986 HAS SOUPS 1233986 WITH SCORE 1235349.889
AT ITER 1420 NEW BEST:: SOT 8337500 SOS 1363505 HAS SOPS 1363505 HAS SOUS 1233602 HAS SOUPS 1233602 WITH SCORE 1234965.505
AT ITER 1458 NEW BEST:: SOT 8337499 SOS 1363503 HAS SOPS 1363503 HAS SOUS 1233600 HAS SOUPS 1233600 WITH SCORE 1234963.503
AT ITER 1467 NEW BEST:: SOT 8337499 SOS 1363454 HAS SOPS 1363454 HAS SOUS 1233599 HAS SOUPS 1233599 WITH SCORE 1234962.454
AT ITER 1468 NEW BEST:: SOT 8337416 SOS 1363288 HAS SOPS 1363288 HAS SOUS 1233433 HAS SOUPS 1233433 WITH SCORE 1234796.288
AT ITER 1470 NEW BEST:: SOT 8336901 SOS 1362773 HAS SOPS 1362773 HAS SOUS 1232918 HAS SOUPS 1232918 WITH SCORE 1234280.773
AT ITER 1544 NEW BEST:: SOT 8336772 SOS 1362515 HAS SOPS 1362515 HAS SOUS 1232660 HAS SOUPS 1232660 WITH SCORE 1234022.515
AT ITER 1548 NEW BEST:: SOT 8336617 SOS 1362643 HAS SOPS 1362643 HAS SOUS 1232514 HAS SOUPS 1232514 WITH SCORE 1233876.643
AT ITER 1552 NEW BEST:: SOT 8336557 SOS 1362583 HAS SOPS 1362583 HAS SOUS 1232454 HAS SOUPS 1232454 WITH SCORE 1233816.583
AT ITER 1557 NEW BEST:: SOT 8336557 SOS 1362583 HAS SOPS 1362583 HAS SOUS 1232390 HAS SOUPS 1232390 WITH SCORE 1233752.583
AT ITER 1606 NEW BEST:: SOT 8336327 SOS 1362123 HAS SOPS 1362123 HAS SOUS 1231930 HAS SOUPS 1231930 WITH SCORE 1233292.123
AT ITER 1621 NEW BEST:: SOT 8323556 SOS 1363545 HAS SOPS 1363545 HAS SOUS 1220238 HAS SOUPS 1220238 WITH SCORE 1221601.545
AT ITER 1626 NEW BEST:: SOT 8323464 SOS 1363361 HAS SOPS 1363361 HAS SOUS 1219870 HAS SOUPS 1219870 WITH SCORE 1221233.361
AT ITER 1632 NEW BEST:: SOT 8323034 SOS 1362827 HAS SOPS 1362827 HAS SOUS 1219336 HAS SOUPS 1219336 WITH SCORE 1220698.827
AT ITER 1650 NEW BEST:: SOT 8323033 SOS 1362825 HAS SOPS 1362825 HAS SOUS 1219334 HAS SOUPS 1219334 WITH SCORE 1220696.825
AT ITER 1655 NEW BEST:: SOT 8323032 SOS 1362140 HAS SOPS 1362140 HAS SOUS 1218650 HAS SOUPS 1218650 WITH SCORE 1220012.14
AT ITER 1660 NEW BEST:: SOT 8323032 SOS 1361969 HAS SOPS 1361969 HAS SOUS 1218649 HAS SOUPS 1218649 WITH SCORE 1220010.969
AT ITER 1667 NEW BEST:: SOT 8322598 SOS 1361469 HAS SOPS 1361469 HAS SOUS 1217847 HAS SOUPS 1217847 WITH SCORE 1219208.469
AT ITER 1671 NEW BEST:: SOT 8322795 SOS 1361157 HAS SOPS 1361157 HAS SOUS 1217692 HAS SOUPS 1217692 WITH SCORE 1219053.157
AT ITER 1681 NEW BEST:: SOT 8322513 SOS 1360875 HAS SOPS 1360875 HAS SOUS 1217410 HAS SOUPS 1217410 WITH SCORE 1218770.875
AT ITER 1688 NEW BEST:: SOT 8322377 SOS 1360739 HAS SOPS 1360739 HAS SOUS 1217274 HAS SOUPS 1217274 WITH SCORE 1218634.739
AT ITER 1690 NEW BEST:: SOT 8322230 SOS 1360445 HAS SOPS 1360445 HAS SOUS 1217195 HAS SOUPS 1217195 WITH SCORE 1218555.445
AT ITER 1700 NEW BEST:: SOT 8321741 SOS 1361357 HAS SOPS 1361357 HAS SOUS 1217007 HAS SOUPS 1217007 WITH SCORE 1218368.357
AT ITER 1703 NEW BEST:: SOT 8321655 SOS 1361185 HAS SOPS 1361185 HAS SOUS 1216921 HAS SOUPS 1216921 WITH SCORE 1218282.185
AT ITER 1704 NEW BEST:: SOT 8321577 SOS 1361452 HAS SOPS 1361452 HAS SOUS 1216819 HAS SOUPS 1216819 WITH SCORE 1218180.452
AT ITER 1776 NEW BEST:: SOT 8321280 SOS 1361196 HAS SOPS 1361196 HAS SOUS 1216522 HAS SOUPS 1216522 WITH SCORE 1217883.196
AT ITER 1791 NEW BEST:: SOT 8321187 SOS 1361010 HAS SOPS 1361010 HAS SOUS 1216336 HAS SOUPS 1216336 WITH SCORE 1217697.01
AT ITER 1795 NEW BEST:: SOT 8317424 SOS 1406121 HAS SOPS 1406121 HAS SOUS 1215010 HAS SOUPS 1215010 WITH SCORE 1216416.121
AT ITER 1800 NEW BEST:: SOT 8317424 SOS 1406094 HAS SOPS 1406094 HAS SOUS 1215010 HAS SOUPS 1215010 WITH SCORE 1216416.094
AT ITER 1829 NEW BEST:: SOT 8317354 SOS 1406024 HAS SOPS 1406024 HAS SOUS 1214940 HAS SOUPS 1214940 WITH SCORE 1216346.024
AT ITER 1842 NEW BEST:: SOT 8316990 SOS 1405296 HAS SOPS 1405296 HAS SOUS 1214212 HAS SOUPS 1214212 WITH SCORE 1215617.296
AT ITER 1852 NEW BEST:: SOT 8316803 SOS 1404922 HAS SOPS 1404922 HAS SOUS 1213697 HAS SOUPS 1213697 WITH SCORE 1215101.922
AT ITER 1858 NEW BEST:: SOT 8316591 SOS 1404498 HAS SOPS 1404498 HAS SOUS 1213273 HAS SOUPS 1213273 WITH SCORE 1214677.498
AT ITER 1893 NEW BEST:: SOT 8316431 SOS 1404178 HAS SOPS 1404178 HAS SOUS 1212953 HAS SOUPS 1212953 WITH SCORE 1214357.178
AT ITER 1933 NEW BEST:: SOT 8316299 SOS 1403752 HAS SOPS 1403752 HAS SOUS 1212659 HAS SOUPS 1212659 WITH SCORE 1214062.752
AT ITER 1945 NEW BEST:: SOT 8316374 SOS 1403252 HAS SOPS 1403252 HAS SOUS 1212366 HAS SOUPS 1212366 WITH SCORE 1213769.252
AT ITER 1947 NEW BEST:: SOT 8316345 SOS 1403194 HAS SOPS 1403194 HAS SOUS 1212308 HAS SOUPS 1212308 WITH SCORE 1213711.194
AT ITER 1948 NEW BEST:: SOT 8315860 SOS 1378224 HAS SOPS 1378224 HAS SOUS 1211338 HAS SOUPS 1211338 WITH SCORE 1212716.224
AT ITER 1965 NEW BEST:: SOT 8315860 SOS 1378224 HAS SOPS 1378224 HAS SOUS 1211082 HAS SOUPS 1211082 WITH SCORE 1212460.224
AT ITER 1968 NEW BEST:: SOT 8315779 SOS 1378143 HAS SOPS 1378143 HAS SOUS 1210929 HAS SOUPS 1210929 WITH SCORE 1212307.143
AT ITER 2014 NEW BEST:: SOT 8315739 SOS 1378063 HAS SOPS 1378063 HAS SOUS 1210889 HAS SOUPS 1210889 WITH SCORE 1212267.063
AT ITER 2018 NEW BEST:: SOT 8315738 SOS 1378061 HAS SOPS 1378061 HAS SOUS 1210887 HAS SOUPS 1210887 WITH SCORE 1212265.061
AT ITER 2074 NEW BEST:: SOT 8315657 SOS 1378035 HAS SOPS 1378035 HAS SOUS 1210861 HAS SOUPS 1210861 WITH SCORE 1212239.035
AT ITER 2116 NEW BEST:: SOT 8315418 SOS 1377557 HAS SOPS 1377557 HAS SOUS 1210383 HAS SOUPS 1210383 WITH SCORE 1211760.557
AT ITER 2146 NEW BEST:: SOT 8314737 SOS 1377103 HAS SOPS 1377103 HAS SOUS 1209929 HAS SOUPS 1209929 WITH SCORE 1211306.103
AT ITER 2149 NEW BEST:: SOT 8314818 SOS 1376902 HAS SOPS 1376902 HAS SOUS 1209728 HAS SOUPS 1209728 WITH SCORE 1211104.902
AT ITER 2172 NEW BEST:: SOT 8314617 SOS 1376500 HAS SOPS 1376500 HAS SOUS 1209527 HAS SOUPS 1209527 WITH SCORE 1210903.5
AT ITER 2178 NEW BEST:: SOT 8313934 SOS 1375974 HAS SOPS 1375974 HAS SOUS 1208900 HAS SOUPS 1208900 WITH SCORE 1210275.974
AT ITER 2192 NEW BEST:: SOT 8313934 SOS 1375963 HAS SOPS 1375963 HAS SOUS 1208900 HAS SOUPS 1208900 WITH SCORE 1210275.963
AT ITER 2224 NEW BEST:: SOT 8313859 SOS 1375897 HAS SOPS 1375897 HAS SOUS 1208834 HAS SOUPS 1208834 WITH SCORE 1210209.897
AT ITER 2244 NEW BEST:: SOT 8313859 SOS 1375691 HAS SOPS 1375691 HAS SOUS 1208628 HAS SOUPS 1208628 WITH SCORE 1210003.691
AT ITER 2258 NEW BEST:: SOT 8313859 SOS 1375691 HAS SOPS 1375691 HAS SOUS 1208561 HAS SOUPS 1208561 WITH SCORE 1209936.691
AT ITER 2260 NEW BEST:: SOT 8313859 SOS 1375495 HAS SOPS 1375495 HAS SOUS 1208560 HAS SOUPS 1208560 WITH SCORE 1209935.495
AT ITER 2266 NEW BEST:: SOT 8313571 SOS 1375111 HAS SOPS 1375111 HAS SOUS 1208176 HAS SOUPS 1208176 WITH SCORE 1209551.111
AT ITER 2273 NEW BEST:: SOT 8313571 SOS 1375111 HAS SOPS 1375111 HAS SOUS 1207811 HAS SOUPS 1207811 WITH SCORE 1209186.111
AT ITER 2276 NEW BEST:: SOT 8313453 SOS 1375376 HAS SOPS 1375376 HAS SOUS 1207590 HAS SOUPS 1207590 WITH SCORE 1208965.376
AT ITER 2302 NEW BEST:: SOT 8313453 SOS 1375122 HAS SOPS 1375122 HAS SOUS 1207336 HAS SOUPS 1207336 WITH SCORE 1208711.122
AT ITER 2315 NEW BEST:: SOT 8313342 SOS 1374900 HAS SOPS 1374900 HAS SOUS 1207114 HAS SOUPS 1207114 WITH SCORE 1208488.9
AT ITER 2318 NEW BEST:: SOT 8313342 SOS 1374704 HAS SOPS 1374704 HAS SOUS 1206918 HAS SOUPS 1206918 WITH SCORE 1208292.704
AT ITER 2355 NEW BEST:: SOT 8313239 SOS 1374498 HAS SOPS 1374498 HAS SOUS 1206712 HAS SOUPS 1206712 WITH SCORE 1208086.498
AT ITER 2361 NEW BEST:: SOT 8313198 SOS 1374457 HAS SOPS 1374457 HAS SOUS 1206671 HAS SOUPS 1206671 WITH SCORE 1208045.457
AT ITER 2363 NEW BEST:: SOT 8313027 SOS 1374286 HAS SOPS 1374286 HAS SOUS 1206500 HAS SOUPS 1206500 WITH SCORE 1207874.286
AT ITER 2369 NEW BEST:: SOT 8312524 SOS 1373280 HAS SOPS 1373280 HAS SOUS 1204990 HAS SOUPS 1204990 WITH SCORE 1206363.28
AT ITER 2374 NEW BEST:: SOT 8312245 SOS 1372722 HAS SOPS 1372722 HAS SOUS 1204432 HAS SOUPS 1204432 WITH SCORE 1205804.722
AT ITER 2379 NEW BEST:: SOT 8312245 SOS 1372722 HAS SOPS 1372722 HAS SOUS 1204431 HAS SOUPS 1204431 WITH SCORE 1205803.722
AT ITER 2408 NEW BEST:: SOT 8311865 SOS 1371962 HAS SOPS 1371962 HAS SOUS 1203671 HAS SOUPS 1203671 WITH SCORE 1205042.962
AT ITER 2445 NEW BEST:: SOT 8311865 SOS 1371909 HAS SOPS 1371909 HAS SOUS 1203671 HAS SOUPS 1203671 WITH SCORE 1205042.909
AT ITER 2452 NEW BEST:: SOT 8311865 SOS 1371909 HAS SOPS 1371909 HAS SOUS 1203620 HAS SOUPS 1203620 WITH SCORE 1204991.909
AT ITER 2487 NEW BEST:: SOT 8311899 SOS 1371977 HAS SOPS 1371977 HAS SOUS 1203311 HAS SOUPS 1203311 WITH SCORE 1204682.977
AT ITER 2523 NEW BEST:: SOT 8311233 SOS 1370978 HAS SOPS 1370978 HAS SOUS 1202312 HAS SOUPS 1202312 WITH SCORE 1203682.978
AT ITER 2536 NEW BEST:: SOT 8311233 SOS 1370860 HAS SOPS 1370860 HAS SOUS 1202312 HAS SOUPS 1202312 WITH SCORE 1203682.86
AT ITER 2580 NEW BEST:: SOT 8311233 SOS 1370828 HAS SOPS 1370828 HAS SOUS 1202311 HAS SOUPS 1202311 WITH SCORE 1203681.828
AT ITER 2598 NEW BEST:: SOT 8311224 SOS 1370810 HAS SOPS 1370810 HAS SOUS 1202159 HAS SOUPS 1202159 WITH SCORE 1203529.81
AT ITER 2626 NEW BEST:: SOT 8311205 SOS 1370791 HAS SOPS 1370791 HAS SOUS 1202159 HAS SOUPS 1202159 WITH SCORE 1203529.791
AT ITER 2630 NEW BEST:: SOT 8311205 SOS 1370579 HAS SOPS 1370579 HAS SOUS 1201947 HAS SOUPS 1201947 WITH SCORE 1203317.579
AT ITER 2644 NEW BEST:: SOT 8311205 SOS 1369859 HAS SOPS 1369859 HAS SOUS 1201947 HAS SOUPS 1201947 WITH SCORE 1203316.859
AT ITER 2674 NEW BEST:: SOT 8311124 SOS 1366376 HAS SOPS 1366376 HAS SOUS 1201866 HAS SOUPS 1201866 WITH SCORE 1203232.376
AT ITER 2677 NEW BEST:: SOT 8311124 SOS 1366270 HAS SOPS 1366270 HAS SOUS 1201866 HAS SOUPS 1201866 WITH SCORE 1203232.27
AT ITER 2689 NEW BEST:: SOT 8310886 SOS 1365794 HAS SOPS 1365794 HAS SOUS 1201628 HAS SOUPS 1201628 WITH SCORE 1202993.794
AT ITER 2734 NEW BEST:: SOT 8310601 SOS 1365224 HAS SOPS 1365224 HAS SOUS 1201058 HAS SOUPS 1201058 WITH SCORE 1202423.224
AT ITER 2737 NEW BEST:: SOT 8310515 SOS 1365052 HAS SOPS 1365052 HAS SOUS 1200886 HAS SOUPS 1200886 WITH SCORE 1202251.052
AT ITER 2748 NEW BEST:: SOT 8310514 SOS 1365050 HAS SOPS 1365050 HAS SOUS 1200884 HAS SOUPS 1200884 WITH SCORE 1202249.05
AT ITER 2749 NEW BEST:: SOT 8310589 SOS 1363986 HAS SOPS 1363986 HAS SOUS 1200339 HAS SOUPS 1200339 WITH SCORE 1201702.986
AT ITER 2772 NEW BEST:: SOT 8310604 SOS 1363191 HAS SOPS 1363191 HAS SOUS 1199541 HAS SOUPS 1199541 WITH SCORE 1200904.191
AT ITER 2777 NEW BEST:: SOT 8310604 SOS 1363160 HAS SOPS 1363160 HAS SOUS 1199541 HAS SOUPS 1199541 WITH SCORE 1200904.16
AT ITER 2786 NEW BEST:: SOT 8310604 SOS 1363160 HAS SOPS 1363160 HAS SOUS 1199298 HAS SOUPS 1199298 WITH SCORE 1200661.16
AT ITER 2862 NEW BEST:: SOT 8310603 SOS 1363159 HAS SOPS 1363159 HAS SOUS 1199298 HAS SOUPS 1199298 WITH SCORE 1200661.159
AT ITER 2889 NEW BEST:: SOT 8310544 SOS 1363104 HAS SOPS 1363104 HAS SOUS 1199242 HAS SOUPS 1199242 WITH SCORE 1200605.104
AT ITER 2967 NEW BEST:: SOT 8310544 SOS 1363104 HAS SOPS 1363104 HAS SOUS 1199234 HAS SOUPS 1199234 WITH SCORE 1200597.104
AT ITER 2980 NEW BEST:: SOT 8311032 SOS 1362614 HAS SOPS 1362614 HAS SOUS 1199232 HAS SOUPS 1199232 WITH SCORE 1200594.614
AT ITER 2988 NEW BEST:: SOT 8310825 SOS 1362200 HAS SOPS 1362200 HAS SOUS 1198818 HAS SOUPS 1198818 WITH SCORE 1200180.2
AT ITER 3006 NEW BEST:: SOT 8307097 SOS 1441726 HAS SOPS 1441726 HAS SOUS 1198341 HAS SOUPS 1198341 WITH SCORE 1199782.726
AT ITER 3010 NEW BEST:: SOT 8307097 SOS 1441726 HAS SOPS 1441726 HAS SOUS 1198120 HAS SOUPS 1198120 WITH SCORE 1199561.726
AT ITER 3017 NEW BEST:: SOT 8307096 SOS 1441724 HAS SOPS 1441724 HAS SOUS 1198118 HAS SOUPS 1198118 WITH SCORE 1199559.724
AT ITER 3020 NEW BEST:: SOT 8306859 SOS 1441250 HAS SOPS 1441250 HAS SOUS 1197881 HAS SOUPS 1197881 WITH SCORE 1199322.25
AT ITER 3041 NEW BEST:: SOT 8306859 SOS 1441194 HAS SOPS 1441194 HAS SOUS 1197881 HAS SOUPS 1197881 WITH SCORE 1199322.194
AT ITER 3048 NEW BEST:: SOT 8306651 SOS 1441074 HAS SOPS 1441074 HAS SOUS 1197761 HAS SOUPS 1197761 WITH SCORE 1199202.074
AT ITER 3059 NEW BEST:: SOT 8306651 SOS 1441016 HAS SOPS 1441016 HAS SOUS 1197703 HAS SOUPS 1197703 WITH SCORE 1199144.016
AT ITER 3087 NEW BEST:: SOT 8306772 SOS 1441258 HAS SOPS 1441258 HAS SOUS 1197690 HAS SOUPS 1197690 WITH SCORE 1199131.258
AT ITER 3098 NEW BEST:: SOT 8306771 SOS 1441198 HAS SOPS 1441198 HAS SOUS 1197631 HAS SOUPS 1197631 WITH SCORE 1199072.198
AT ITER 3099 NEW BEST:: SOT 8306771 SOS 1441198 HAS SOPS 1441198 HAS SOUS 1197458 HAS SOUPS 1197458 WITH SCORE 1198899.198
AT ITER 3106 NEW BEST:: SOT 8306573 SOS 1441133 HAS SOPS 1441133 HAS SOUS 1197260 HAS SOUPS 1197260 WITH SCORE 1198701.133
AT ITER 3118 NEW BEST:: SOT 8306573 SOS 1441015 HAS SOPS 1441015 HAS SOUS 1197142 HAS SOUPS 1197142 WITH SCORE 1198583.015
AT ITER 3119 NEW BEST:: SOT 8306267 SOS 1440708 HAS SOPS 1440708 HAS SOUS 1196836 HAS SOUPS 1196836 WITH SCORE 1198276.708
AT ITER 3186 NEW BEST:: SOT 8306193 SOS 1440560 HAS SOPS 1440560 HAS SOUS 1196688 HAS SOUPS 1196688 WITH SCORE 1198128.56
AT ITER 3211 NEW BEST:: SOT 8306193 SOS 1440560 HAS SOPS 1440560 HAS SOUS 1196687 HAS SOUPS 1196687 WITH SCORE 1198127.56
AT ITER 3215 NEW BEST:: SOT 8306193 SOS 1440560 HAS SOPS 1440560 HAS SOUS 1196686 HAS SOUPS 1196686 WITH SCORE 1198126.56
AT ITER 3216 NEW BEST:: SOT 8306155 SOS 1440484 HAS SOPS 1440484 HAS SOUS 1196610 HAS SOUPS 1196610 WITH SCORE 1198050.484
AT ITER 3279 NEW BEST:: SOT 8306119 SOS 1440412 HAS SOPS 1440412 HAS SOUS 1196538 HAS SOUPS 1196538 WITH SCORE 1197978.412
AT ITER 3293 NEW BEST:: SOT 8306119 SOS 1439965 HAS SOPS 1439965 HAS SOUS 1196537 HAS SOUPS 1196537 WITH SCORE 1197976.965
AT ITER 3330 NEW BEST:: SOT 8306045 SOS 1439891 HAS SOPS 1439891 HAS SOUS 1196537 HAS SOUPS 1196537 WITH SCORE 1197976.891
AT ITER 3364 NEW BEST:: SOT 8305817 SOS 1439207 HAS SOPS 1439207 HAS SOUS 1196081 HAS SOUPS 1196081 WITH SCORE 1197520.207
AT ITER 3377 NEW BEST:: SOT 8305851 SOS 1439275 HAS SOPS 1439275 HAS SOUS 1195570 HAS SOUPS 1195570 WITH SCORE 1197009.275
AT ITER 3383 NEW BEST:: SOT 8306391 SOS 1439035 HAS SOPS 1439035 HAS SOUS 1195450 HAS SOUPS 1195450 WITH SCORE 1196889.035
AT ITER 3388 NEW BEST:: SOT 8306307 SOS 1438867 HAS SOPS 1438867 HAS SOUS 1195259 HAS SOUPS 1195259 WITH SCORE 1196697.867
AT ITER 3418 NEW BEST:: SOT 8306307 SOS 1438653 HAS SOPS 1438653 HAS SOUS 1195045 HAS SOUPS 1195045 WITH SCORE 1196483.653
AT ITER 3450 NEW BEST:: SOT 8306026 SOS 1438693 HAS SOPS 1438693 HAS SOUS 1194980 HAS SOUPS 1194980 WITH SCORE 1196418.693
AT ITER 3451 NEW BEST:: SOT 8305656 SOS 1438336 HAS SOPS 1438336 HAS SOUS 1194610 HAS SOUPS 1194610 WITH SCORE 1196048.336
AT ITER 3453 NEW BEST:: SOT 8289906 SOS 1446813 HAS SOPS 1446813 HAS SOUS 1180270 HAS SOUPS 1180270 WITH SCORE 1181716.813
AT ITER 3486 NEW BEST:: SOT 8288658 SOS 1445747 HAS SOPS 1445747 HAS SOUS 1179204 HAS SOUPS 1179204 WITH SCORE 1180649.747
AT ITER 3489 NEW BEST:: SOT 8288657 SOS 1445745 HAS SOPS 1445745 HAS SOUS 1179202 HAS SOUPS 1179202 WITH SCORE 1180647.745
AT ITER 3515 NEW BEST:: SOT 8288652 SOS 1445740 HAS SOPS 1445740 HAS SOUS 1179201 HAS SOUPS 1179201 WITH SCORE 1180646.74
AT ITER 3529 NEW BEST:: SOT 8288644 SOS 1445724 HAS SOPS 1445724 HAS SOUS 1179185 HAS SOUPS 1179185 WITH SCORE 1180630.724
AT ITER 3536 NEW BEST:: SOT 8288502 SOS 1445803 HAS SOPS 1445803 HAS SOUS 1179101 HAS SOUPS 1179101 WITH SCORE 1180546.803
AT ITER 3567 NEW BEST:: SOT 8288340 SOS 1445479 HAS SOPS 1445479 HAS SOUS 1178738 HAS SOUPS 1178738 WITH SCORE 1180183.479
AT ITER 3573 NEW BEST:: SOT 8288340 SOS 1445230 HAS SOPS 1445230 HAS SOUS 1178738 HAS SOUPS 1178738 WITH SCORE 1180183.23
AT ITER 3576 NEW BEST:: SOT 8288261 SOS 1445072 HAS SOPS 1445072 HAS SOUS 1178395 HAS SOUPS 1178395 WITH SCORE 1179840.072
AT ITER 3606 NEW BEST:: SOT 8288130 SOS 1444810 HAS SOPS 1444810 HAS SOUS 1178133 HAS SOUPS 1178133 WITH SCORE 1179577.81
AT ITER 3622 NEW BEST:: SOT 8286559 SOS 1449557 HAS SOPS 1449557 HAS SOUS 1177334 HAS SOUPS 1177334 WITH SCORE 1178783.557
AT ITER 3633 NEW BEST:: SOT 8286504 SOS 1449502 HAS SOPS 1449502 HAS SOUS 1177279 HAS SOUPS 1177279 WITH SCORE 1178728.502
AT ITER 3678 NEW BEST:: SOT 8286442 SOS 1449378 HAS SOPS 1449378 HAS SOUS 1177155 HAS SOUPS 1177155 WITH SCORE 1178604.378
AT ITER 3683 NEW BEST:: SOT 8285957 SOS 1448694 HAS SOPS 1448694 HAS SOUS 1176384 HAS SOUPS 1176384 WITH SCORE 1177832.694
AT ITER 3711 NEW BEST:: SOT 8284345 SOS 1449985 HAS SOPS 1449985 HAS SOUS 1175141 HAS SOUPS 1175141 WITH SCORE 1176590.985
AT ITER 3713 NEW BEST:: SOT 8282583 SOS 1448281 HAS SOPS 1448281 HAS SOUS 1173393 HAS SOUPS 1173393 WITH SCORE 1174841.281
AT ITER 3717 NEW BEST:: SOT 8282583 SOS 1448073 HAS SOPS 1448073 HAS SOUS 1173393 HAS SOUPS 1173393 WITH SCORE 1174841.073
AT ITER 3718 NEW BEST:: SOT 8280821 SOS 1447728 HAS SOPS 1447728 HAS SOUS 1172249 HAS SOUPS 1172249 WITH SCORE 1173696.728
AT ITER 3742 NEW BEST:: SOT 8280525 SOS 1447136 HAS SOPS 1447136 HAS SOUS 1171657 HAS SOUPS 1171657 WITH SCORE 1173104.136
AT ITER 3767 NEW BEST:: SOT 8280291 SOS 1446175 HAS SOPS 1446175 HAS SOUS 1171011 HAS SOUPS 1171011 WITH SCORE 1172457.175
AT ITER 3769 NEW BEST:: SOT 8280181 SOS 1446116 HAS SOPS 1446116 HAS SOUS 1170900 HAS SOUPS 1170900 WITH SCORE 1172346.116
AT ITER 3772 NEW BEST:: SOT 8280181 SOS 1445758 HAS SOPS 1445758 HAS SOUS 1170899 HAS SOUPS 1170899 WITH SCORE 1172344.758
AT ITER 3793 NEW BEST:: SOT 8279946 SOS 1445492 HAS SOPS 1445492 HAS SOUS 1170623 HAS SOUPS 1170623 WITH SCORE 1172068.492
AT ITER 3899 NEW BEST:: SOT 8280005 SOS 1445610 HAS SOPS 1445610 HAS SOUS 1170549 HAS SOUPS 1170549 WITH SCORE 1171994.61
AT ITER 3921 NEW BEST:: SOT 8280054 SOS 1445229 HAS SOPS 1445229 HAS SOUS 1170442 HAS SOUPS 1170442 WITH SCORE 1171887.229
AT ITER 3936 NEW BEST:: SOT 8279784 SOS 1445177 HAS SOPS 1445177 HAS SOUS 1170191 HAS SOUPS 1170191 WITH SCORE 1171636.177
AT ITER 3943 NEW BEST:: SOT 8279623 SOS 1444855 HAS SOPS 1444855 HAS SOUS 1169869 HAS SOUPS 1169869 WITH SCORE 1171313.855
AT ITER 3982 NEW BEST:: SOT 8279623 SOS 1444747 HAS SOPS 1444747 HAS SOUS 1169833 HAS SOUPS 1169833 WITH SCORE 1171277.747
AT ITER 4003 NEW BEST:: SOT 8279500 SOS 1444624 HAS SOPS 1444624 HAS SOUS 1169710 HAS SOUPS 1169710 WITH SCORE 1171154.624
AT ITER 4018 NEW BEST:: SOT 8279404 SOS 1444528 HAS SOPS 1444528 HAS SOUS 1169518 HAS SOUPS 1169518 WITH SCORE 1170962.528
AT ITER 4046 NEW BEST:: SOT 8279364 SOS 1444448 HAS SOPS 1444448 HAS SOUS 1169478 HAS SOUPS 1169478 WITH SCORE 1170922.448
AT ITER 4050 NEW BEST:: SOT 8279364 SOS 1444175 HAS SOPS 1444175 HAS SOUS 1169478 HAS SOUPS 1169478 WITH SCORE 1170922.175
AT ITER 4056 NEW BEST:: SOT 8279364 SOS 1443991 HAS SOPS 1443991 HAS SOUS 1169478 HAS SOUPS 1169478 WITH SCORE 1170921.991
AT ITER 4059 NEW BEST:: SOT 8279059 SOS 1443381 HAS SOPS 1443381 HAS SOUS 1168868 HAS SOUPS 1168868 WITH SCORE 1170311.381
AT ITER 4090 NEW BEST:: SOT 8279004 SOS 1443271 HAS SOPS 1443271 HAS SOUS 1168758 HAS SOUPS 1168758 WITH SCORE 1170201.271
AT ITER 4102 NEW BEST:: SOT 8278919 SOS 1443162 HAS SOPS 1443162 HAS SOUS 1168612 HAS SOUPS 1168612 WITH SCORE 1170055.162
AT ITER 4117 NEW BEST:: SOT 8278918 SOS 1443160 HAS SOPS 1443160 HAS SOUS 1168610 HAS SOUPS 1168610 WITH SCORE 1170053.16
AT ITER 4130 NEW BEST:: SOT 8278795 SOS 1442914 HAS SOPS 1442914 HAS SOUS 1168364 HAS SOUPS 1168364 WITH SCORE 1169806.914
AT ITER 4133 NEW BEST:: SOT 8278786 SOS 1442896 HAS SOPS 1442896 HAS SOUS 1168355 HAS SOUPS 1168355 WITH SCORE 1169797.896
AT ITER 4144 NEW BEST:: SOT 8278599 SOS 1434668 HAS SOPS 1434668 HAS SOUS 1167981 HAS SOUPS 1167981 WITH SCORE 1169415.668
AT ITER 4209 NEW BEST:: SOT 8278397 SOS 1434264 HAS SOPS 1434264 HAS SOUS 1167324 HAS SOUPS 1167324 WITH SCORE 1168758.264
AT ITER 4210 NEW BEST:: SOT 8278339 SOS 1434148 HAS SOPS 1434148 HAS SOUS 1167196 HAS SOUPS 1167196 WITH SCORE 1168630.148
AT ITER 4211 NEW BEST:: SOT 8278339 SOS 1433867 HAS SOPS 1433867 HAS SOUS 1167196 HAS SOUPS 1167196 WITH SCORE 1168629.867
AT ITER 4215 NEW BEST:: SOT 8278020 SOS 1433553 HAS SOPS 1433553 HAS SOUS 1166877 HAS SOUPS 1166877 WITH SCORE 1168310.553
AT ITER 4222 NEW BEST:: SOT 8278020 SOS 1433477 HAS SOPS 1433477 HAS SOUS 1166839 HAS SOUPS 1166839 WITH SCORE 1168272.477
AT ITER 4266 NEW BEST:: SOT 8277952 SOS 1433341 HAS SOPS 1433341 HAS SOUS 1166771 HAS SOUPS 1166771 WITH SCORE 1168204.341
AT ITER 4291 NEW BEST:: SOT 8277902 SOS 1433161 HAS SOPS 1433161 HAS SOUS 1166641 HAS SOUPS 1166641 WITH SCORE 1168074.161
AT ITER 4301 NEW BEST:: SOT 8277322 SOS 1432001 HAS SOPS 1432001 HAS SOUS 1164996 HAS SOUPS 1164996 WITH SCORE 1166428.001
AT ITER 4309 NEW BEST:: SOT 8277322 SOS 1431736 HAS SOPS 1431736 HAS SOUS 1164996 HAS SOUPS 1164996 WITH SCORE 1166427.736
AT ITER 4318 NEW BEST:: SOT 8277228 SOS 1431548 HAS SOPS 1431548 HAS SOUS 1164808 HAS SOUPS 1164808 WITH SCORE 1166239.548
AT ITER 4321 NEW BEST:: SOT 8277092 SOS 1431276 HAS SOPS 1431276 HAS SOUS 1164536 HAS SOUPS 1164536 WITH SCORE 1165967.276
AT ITER 4365 NEW BEST:: SOT 8277015 SOS 1431122 HAS SOPS 1431122 HAS SOUS 1164459 HAS SOUPS 1164459 WITH SCORE 1165890.122
AT ITER 4378 NEW BEST:: SOT 8277015 SOS 1431042 HAS SOPS 1431042 HAS SOUS 1164459 HAS SOUPS 1164459 WITH SCORE 1165890.042
AT ITER 4384 NEW BEST:: SOT 8277022 SOS 1431056 HAS SOPS 1431056 HAS SOUS 1164455 HAS SOUPS 1164455 WITH SCORE 1165886.056
AT ITER 4402 NEW BEST:: SOT 8276443 SOS 1430873 HAS SOPS 1430873 HAS SOUS 1164193 HAS SOUPS 1164193 WITH SCORE 1165623.873
AT ITER 4416 NEW BEST:: SOT 8275941 SOS 1430643 HAS SOPS 1430643 HAS SOUS 1163963 HAS SOUPS 1163963 WITH SCORE 1165393.643
AT ITER 4453 NEW BEST:: SOT 8275621 SOS 1430003 HAS SOPS 1430003 HAS SOUS 1163643 HAS SOUPS 1163643 WITH SCORE 1165073.003
AT ITER 4483 NEW BEST:: SOT 8275409 SOS 1429579 HAS SOPS 1429579 HAS SOUS 1163219 HAS SOUPS 1163219 WITH SCORE 1164648.579
AT ITER 4509 NEW BEST:: SOT 8275409 SOS 1429279 HAS SOPS 1429279 HAS SOUS 1163219 HAS SOUPS 1163219 WITH SCORE 1164648.279
AT ITER 4525 NEW BEST:: SOT 8275320 SOS 1429101 HAS SOPS 1429101 HAS SOUS 1163041 HAS SOUPS 1163041 WITH SCORE 1164470.101
AT ITER 4585 NEW BEST:: SOT 8275320 SOS 1429057 HAS SOPS 1429057 HAS SOUS 1163041 HAS SOUPS 1163041 WITH SCORE 1164470.057
AT ITER 4600 NEW BEST:: SOT 8275338 SOS 1428995 HAS SOPS 1428995 HAS SOUS 1162961 HAS SOUPS 1162961 WITH SCORE 1164389.995
AT ITER 4617 NEW BEST:: SOT 8275277 SOS 1428626 HAS SOPS 1428626 HAS SOUS 1162592 HAS SOUPS 1162592 WITH SCORE 1164020.626
AT ITER 4632 NEW BEST:: SOT 8275277 SOS 1428626 HAS SOPS 1428626 HAS SOUS 1162591 HAS SOUPS 1162591 WITH SCORE 1164019.626
AT ITER 4662 NEW BEST:: SOT 8275277 SOS 1428196 HAS SOPS 1428196 HAS SOUS 1162591 HAS SOUPS 1162591 WITH SCORE 1164019.196
AT ITER 4668 NEW BEST:: SOT 8275277 SOS 1427945 HAS SOPS 1427945 HAS SOUS 1162340 HAS SOUPS 1162340 WITH SCORE 1163767.945
AT ITER 4689 NEW BEST:: SOT 8275277 SOS 1427945 HAS SOPS 1427945 HAS SOUS 1162339 HAS SOUPS 1162339 WITH SCORE 1163766.945
AT ITER 4707 NEW BEST:: SOT 8275177 SOS 1427745 HAS SOPS 1427745 HAS SOUS 1162139 HAS SOUPS 1162139 WITH SCORE 1163566.745
AT ITER 4709 NEW BEST:: SOT 8275177 SOS 1427335 HAS SOPS 1427335 HAS SOUS 1161689 HAS SOUPS 1161689 WITH SCORE 1163116.335
AT ITER 4714 NEW BEST:: SOT 8274998 SOS 1427181 HAS SOPS 1427181 HAS SOUS 1161535 HAS SOUPS 1161535 WITH SCORE 1162962.181
AT ITER 4719 NEW BEST:: SOT 8275023 SOS 1428013 HAS SOPS 1428013 HAS SOUS 1161378 HAS SOUPS 1161378 WITH SCORE 1162806.013
AT ITER 4726 NEW BEST:: SOT 8274599 SOS 1427165 HAS SOPS 1427165 HAS SOUS 1160530 HAS SOUPS 1160530 WITH SCORE 1161957.165
AT ITER 4740 NEW BEST:: SOT 8274875 SOS 1426809 HAS SOPS 1426809 HAS SOUS 1160352 HAS SOUPS 1160352 WITH SCORE 1161778.809
AT ITER 4746 NEW BEST:: SOT 8274539 SOS 1426473 HAS SOPS 1426473 HAS SOUS 1160016 HAS SOUPS 1160016 WITH SCORE 1161442.473
AT ITER 4768 NEW BEST:: SOT 8274055 SOS 1425505 HAS SOPS 1425505 HAS SOUS 1159586 HAS SOUPS 1159586 WITH SCORE 1161011.505
AT ITER 4771 NEW BEST:: SOT 8273764 SOS 1424923 HAS SOPS 1424923 HAS SOUS 1159004 HAS SOUPS 1159004 WITH SCORE 1160428.923
AT ITER 4799 NEW BEST:: SOT 8273733 SOS 1424861 HAS SOPS 1424861 HAS SOUS 1158942 HAS SOUPS 1158942 WITH SCORE 1160366.861
AT ITER 4802 NEW BEST:: SOT 8273494 SOS 1424383 HAS SOPS 1424383 HAS SOUS 1158429 HAS SOUPS 1158429 WITH SCORE 1159853.383
AT ITER 4808 NEW BEST:: SOT 8273175 SOS 1424089 HAS SOPS 1424089 HAS SOUS 1158135 HAS SOUPS 1158135 WITH SCORE 1159559.089
AT ITER 4842 NEW BEST:: SOT 8273174 SOS 1424087 HAS SOPS 1424087 HAS SOUS 1158133 HAS SOUPS 1158133 WITH SCORE 1159557.087
AT ITER 4848 NEW BEST:: SOT 8273017 SOS 1424179 HAS SOPS 1424179 HAS SOUS 1158022 HAS SOUPS 1158022 WITH SCORE 1159446.179
AT ITER 4877 NEW BEST:: SOT 8273221 SOS 1423910 HAS SOPS 1423910 HAS SOUS 1157850 HAS SOUPS 1157850 WITH SCORE 1159273.91
AT ITER 4888 NEW BEST:: SOT 8273221 SOS 1423855 HAS SOPS 1423855 HAS SOUS 1157795 HAS SOUPS 1157795 WITH SCORE 1159218.855
AT ITER 4892 NEW BEST:: SOT 8272974 SOS 1423076 HAS SOPS 1423076 HAS SOUS 1157281 HAS SOUPS 1157281 WITH SCORE 1158704.076
AT ITER 4896 NEW BEST:: SOT 8272973 SOS 1423074 HAS SOPS 1423074 HAS SOUS 1157279 HAS SOUPS 1157279 WITH SCORE 1158702.074
AT ITER 4961 NEW BEST:: SOT 8272801 SOS 1422902 HAS SOPS 1422902 HAS SOUS 1157193 HAS SOUPS 1157193 WITH SCORE 1158615.902
AT ITER 4962 NEW BEST:: SOT 8272758 SOS 1422816 HAS SOPS 1422816 HAS SOUS 1157107 HAS SOUPS 1157107 WITH SCORE 1158529.816
AT ITER 4967 NEW BEST:: SOT 8272726 SOS 1422752 HAS SOPS 1422752 HAS SOUS 1157043 HAS SOUPS 1157043 WITH SCORE 1158465.752
AT ITER 4975 NEW BEST:: SOT 8272638 SOS 1422708 HAS SOPS 1422708 HAS SOUS 1156998 HAS SOUPS 1156998 WITH SCORE 1158420.708
AT ITER 4987 NEW BEST:: SOT 8272616 SOS 1422664 HAS SOPS 1422664 HAS SOUS 1156954 HAS SOUPS 1156954 WITH SCORE 1158376.664
AT ITER 4990 NEW BEST:: SOT 8272408 SOS 1422248 HAS SOPS 1422248 HAS SOUS 1156846 HAS SOUPS 1156846 WITH SCORE 1158268.248
AT ITER 5035 NEW BEST:: SOT 8272300 SOS 1422032 HAS SOPS 1422032 HAS SOUS 1156630 HAS SOUPS 1156630 WITH SCORE 1158052.032
AT ITER 5038 NEW BEST:: SOT 8272337 SOS 1421865 HAS SOPS 1421865 HAS SOUS 1156463 HAS SOUPS 1156463 WITH SCORE 1157884.865
AT ITER 5067 NEW BEST:: SOT 8264492 SOS 1414248 HAS SOPS 1414248 HAS SOUS 1148618 HAS SOUPS 1148618 WITH SCORE 1150032.248
AT ITER 5084 NEW BEST:: SOT 8264939 SOS 1414698 HAS SOPS 1414698 HAS SOUS 1148605 HAS SOUPS 1148605 WITH SCORE 1150019.698
AT ITER 5095 NEW BEST:: SOT 8264938 SOS 1414696 HAS SOPS 1414696 HAS SOUS 1148603 HAS SOUPS 1148603 WITH SCORE 1150017.696
AT ITER 5100 NEW BEST:: SOT 8264675 SOS 1414170 HAS SOPS 1414170 HAS SOUS 1148340 HAS SOUPS 1148340 WITH SCORE 1149754.17
AT ITER 5117 NEW BEST:: SOT 8264675 SOS 1414036 HAS SOPS 1414036 HAS SOUS 1148339 HAS SOUPS 1148339 WITH SCORE 1149753.036
AT ITER 5126 NEW BEST:: SOT 8264666 SOS 1413585 HAS SOPS 1413585 HAS SOUS 1147615 HAS SOUPS 1147615 WITH SCORE 1149028.585
AT ITER 5130 NEW BEST:: SOT 8264481 SOS 1412605 HAS SOPS 1412605 HAS SOUS 1147245 HAS SOUPS 1147245 WITH SCORE 1148657.605
AT ITER 5135 NEW BEST:: SOT 8264322 SOS 1412287 HAS SOPS 1412287 HAS SOUS 1146927 HAS SOUPS 1146927 WITH SCORE 1148339.287
AT ITER 5139 NEW BEST:: SOT 8264271 SOS 1412185 HAS SOPS 1412185 HAS SOUS 1146825 HAS SOUPS 1146825 WITH SCORE 1148237.185
AT ITER 5163 NEW BEST:: SOT 8264258 SOS 1412325 HAS SOPS 1412325 HAS SOUS 1146784 HAS SOUPS 1146784 WITH SCORE 1148196.325
AT ITER 5188 NEW BEST:: SOT 8264068 SOS 1411945 HAS SOPS 1411945 HAS SOUS 1146404 HAS SOUPS 1146404 WITH SCORE 1147815.945
AT ITER 5206 NEW BEST:: SOT 8264067 SOS 1411548 HAS SOPS 1411548 HAS SOUS 1146402 HAS SOUPS 1146402 WITH SCORE 1147813.548
AT ITER 5216 NEW BEST:: SOT 8263506 SOS 1411708 HAS SOPS 1411708 HAS SOUS 1146251 HAS SOUPS 1146251 WITH SCORE 1147662.708
AT ITER 5222 NEW BEST:: SOT 8262541 SOS 1412459 HAS SOPS 1412459 HAS SOUS 1145633 HAS SOUPS 1145633 WITH SCORE 1147045.459
AT ITER 5294 NEW BEST:: SOT 8262272 SOS 1411411 HAS SOPS 1411411 HAS SOUS 1145115 HAS SOUPS 1145115 WITH SCORE 1146526.411
AT ITER 5296 NEW BEST:: SOT 8262271 SOS 1411409 HAS SOPS 1411409 HAS SOUS 1145113 HAS SOUPS 1145113 WITH SCORE 1146524.409
AT ITER 5337 NEW BEST:: SOT 8261924 SOS 1411228 HAS SOPS 1411228 HAS SOUS 1144992 HAS SOUPS 1144992 WITH SCORE 1146403.228
AT ITER 5346 NEW BEST:: SOT 8261808 SOS 1411112 HAS SOPS 1411112 HAS SOUS 1144876 HAS SOUPS 1144876 WITH SCORE 1146287.112
AT ITER 5393 NEW BEST:: SOT 8261805 SOS 1411106 HAS SOPS 1411106 HAS SOUS 1144870 HAS SOUPS 1144870 WITH SCORE 1146281.106
AT ITER 5431 NEW BEST:: SOT 8261980 SOS 1411456 HAS SOPS 1411456 HAS SOUS 1144516 HAS SOUPS 1144516 WITH SCORE 1145927.456
AT ITER 5446 NEW BEST:: SOT 8261980 SOS 1411386 HAS SOPS 1411386 HAS SOUS 1144516 HAS SOUPS 1144516 WITH SCORE 1145927.386
AT ITER 5467 NEW BEST:: SOT 8261980 SOS 1411302 HAS SOPS 1411302 HAS SOUS 1144516 HAS SOUPS 1144516 WITH SCORE 1145927.302
AT ITER 5475 NEW BEST:: SOT 8261980 SOS 1410845 HAS SOPS 1410845 HAS SOUS 1144132 HAS SOUPS 1144132 WITH SCORE 1145542.845
AT ITER 5492 NEW BEST:: SOT 8261710 SOS 1409366 HAS SOPS 1409366 HAS SOUS 1143592 HAS SOUPS 1143592 WITH SCORE 1145001.366
AT ITER 5535 NEW BEST:: SOT 8261652 SOS 1409250 HAS SOPS 1409250 HAS SOUS 1143496 HAS SOUPS 1143496 WITH SCORE 1144905.25
AT ITER 5581 NEW BEST:: SOT 8261652 SOS 1409239 HAS SOPS 1409239 HAS SOUS 1143485 HAS SOUPS 1143485 WITH SCORE 1144894.239
AT ITER 5657 NEW BEST:: SOT 8261577 SOS 1409089 HAS SOPS 1409089 HAS SOUS 1143065 HAS SOUPS 1143065 WITH SCORE 1144474.089
AT ITER 5673 NEW BEST:: SOT 8261576 SOS 1409087 HAS SOPS 1409087 HAS SOUS 1143063 HAS SOUPS 1143063 WITH SCORE 1144472.087
AT ITER 5680 NEW BEST:: SOT 8261532 SOS 1408788 HAS SOPS 1408788 HAS SOUS 1142872 HAS SOUPS 1142872 WITH SCORE 1144280.788
AT ITER 5700 NEW BEST:: SOT 8260915 SOS 1408019 HAS SOPS 1408019 HAS SOUS 1142365 HAS SOUPS 1142365 WITH SCORE 1143773.019
AT ITER 5701 NEW BEST:: SOT 8260784 SOS 1407757 HAS SOPS 1407757 HAS SOUS 1142166 HAS SOUPS 1142166 WITH SCORE 1143573.757
AT ITER 5710 NEW BEST:: SOT 8260696 SOS 1407581 HAS SOPS 1407581 HAS SOUS 1142034 HAS SOUPS 1142034 WITH SCORE 1143441.581
AT ITER 5729 NEW BEST:: SOT 8260511 SOS 1407211 HAS SOPS 1407211 HAS SOUS 1141664 HAS SOUPS 1141664 WITH SCORE 1143071.211
AT ITER 5753 NEW BEST:: SOT 8260207 SOS 1407211 HAS SOPS 1407211 HAS SOUS 1141512 HAS SOUPS 1141512 WITH SCORE 1142919.211
AT ITER 5769 NEW BEST:: SOT 8259997 SOS 1406932 HAS SOPS 1406932 HAS SOUS 1141161 HAS SOUPS 1141161 WITH SCORE 1142567.932
AT ITER 5781 NEW BEST:: SOT 8259930 SOS 1406865 HAS SOPS 1406865 HAS SOUS 1141094 HAS SOUPS 1141094 WITH SCORE 1142500.865
AT ITER 5795 NEW BEST:: SOT 8259930 SOS 1406865 HAS SOPS 1406865 HAS SOUS 1141089 HAS SOUPS 1141089 WITH SCORE 1142495.865
AT ITER 5799 NEW BEST:: SOT 8259549 SOS 1406103 HAS SOPS 1406103 HAS SOUS 1140327 HAS SOUPS 1140327 WITH SCORE 1141733.103
AT ITER 5807 NEW BEST:: SOT 8259487 SOS 1405979 HAS SOPS 1405979 HAS SOUS 1140203 HAS SOUPS 1140203 WITH SCORE 1141608.979
AT ITER 5810 NEW BEST:: SOT 8259293 SOS 1405979 HAS SOPS 1405979 HAS SOUS 1140106 HAS SOUPS 1140106 WITH SCORE 1141511.979
AT ITER 5811 NEW BEST:: SOT 8259489 SOS 1405959 HAS SOPS 1405959 HAS SOUS 1140096 HAS SOUPS 1140096 WITH SCORE 1141501.959
AT ITER 5837 NEW BEST:: SOT 8259295 SOS 1405765 HAS SOPS 1405765 HAS SOUS 1139902 HAS SOUPS 1139902 WITH SCORE 1141307.765
AT ITER 5874 NEW BEST:: SOT 8259208 SOS 1405434 HAS SOPS 1405434 HAS SOUS 1139728 HAS SOUPS 1139728 WITH SCORE 1141133.434
AT ITER 5889 NEW BEST:: SOT 8259152 SOS 1405648 HAS SOPS 1405648 HAS SOUS 1139703 HAS SOUPS 1139703 WITH SCORE 1141108.648
AT ITER 5892 NEW BEST:: SOT 8259040 SOS 1404773 HAS SOPS 1404773 HAS SOUS 1138858 HAS SOUPS 1138858 WITH SCORE 1140262.773
AT ITER 5899 NEW BEST:: SOT 8259040 SOS 1404317 HAS SOPS 1404317 HAS SOUS 1138857 HAS SOUPS 1138857 WITH SCORE 1140261.317
AT ITER 5908 NEW BEST:: SOT 8259040 SOS 1404047 HAS SOPS 1404047 HAS SOUS 1138857 HAS SOUPS 1138857 WITH SCORE 1140261.047
AT ITER 5917 NEW BEST:: SOT 8259055 SOS 1404077 HAS SOPS 1404077 HAS SOUS 1138527 HAS SOUPS 1138527 WITH SCORE 1139931.077
AT ITER 5922 NEW BEST:: SOT 8258943 SOS 1403992 HAS SOPS 1403992 HAS SOUS 1138434 HAS SOUPS 1138434 WITH SCORE 1139837.992
AT ITER 5943 NEW BEST:: SOT 8259169 SOS 1403881 HAS SOPS 1403881 HAS SOUS 1138097 HAS SOUPS 1138097 WITH SCORE 1139500.881
AT ITER 5966 NEW BEST:: SOT 8257790 SOS 1409742 HAS SOPS 1409742 HAS SOUS 1137438 HAS SOUPS 1137438 WITH SCORE 1138847.742
AT ITER 5967 NEW BEST:: SOT 8257739 SOS 1409640 HAS SOPS 1409640 HAS SOUS 1137336 HAS SOUPS 1137336 WITH SCORE 1138745.64
AT ITER 6004 NEW BEST:: SOT 8257490 SOS 1408237 HAS SOPS 1408237 HAS SOUS 1137231 HAS SOUPS 1137231 WITH SCORE 1138639.237
AT ITER 6025 NEW BEST:: SOT 8257408 SOS 1408162 HAS SOPS 1408162 HAS SOUS 1137156 HAS SOUPS 1137156 WITH SCORE 1138564.162
AT ITER 6029 NEW BEST:: SOT 8257330 SOS 1408058 HAS SOPS 1408058 HAS SOUS 1137052 HAS SOUPS 1137052 WITH SCORE 1138460.058
AT ITER 6035 NEW BEST:: SOT 8257149 SOS 1408011 HAS SOPS 1408011 HAS SOUS 1136871 HAS SOUPS 1136871 WITH SCORE 1138279.011
AT ITER 6066 NEW BEST:: SOT 8257094 SOS 1407791 HAS SOPS 1407791 HAS SOUS 1136761 HAS SOUPS 1136761 WITH SCORE 1138168.791
AT ITER 6070 NEW BEST:: SOT 8256934 SOS 1407471 HAS SOPS 1407471 HAS SOUS 1136487 HAS SOUPS 1136487 WITH SCORE 1137894.471
AT ITER 6115 NEW BEST:: SOT 8256933 SOS 1407118 HAS SOPS 1407118 HAS SOUS 1136485 HAS SOUPS 1136485 WITH SCORE 1137892.118
AT ITER 6134 NEW BEST:: SOT 8256875 SOS 1407002 HAS SOPS 1407002 HAS SOUS 1136311 HAS SOUPS 1136311 WITH SCORE 1137718.002
AT ITER 6136 NEW BEST:: SOT 8256723 SOS 1407220 HAS SOPS 1407220 HAS SOUS 1136227 HAS SOUPS 1136227 WITH SCORE 1137634.22
AT ITER 6143 NEW BEST:: SOT 8256631 SOS 1407296 HAS SOPS 1407296 HAS SOUS 1136135 HAS SOUPS 1136135 WITH SCORE 1137542.296
AT ITER 6163 NEW BEST:: SOT 8256044 SOS 1407526 HAS SOPS 1407526 HAS SOUS 1135531 HAS SOUPS 1135531 WITH SCORE 1136938.526
AT ITER 6170 NEW BEST:: SOT 8255672 SOS 1406986 HAS SOPS 1406986 HAS SOUS 1134991 HAS SOUPS 1134991 WITH SCORE 1136397.986
AT ITER 6173 NEW BEST:: SOT 8255470 SOS 1406582 HAS SOPS 1406582 HAS SOUS 1134587 HAS SOUPS 1134587 WITH SCORE 1135993.582
AT ITER 6185 NEW BEST:: SOT 8255287 SOS 1406460 HAS SOPS 1406460 HAS SOUS 1134465 HAS SOUPS 1134465 WITH SCORE 1135871.46
AT ITER 6222 NEW BEST:: SOT 8255183 SOS 1406356 HAS SOPS 1406356 HAS SOUS 1134257 HAS SOUPS 1134257 WITH SCORE 1135663.356
AT ITER 6231 NEW BEST:: SOT 8255183 SOS 1406166 HAS SOPS 1406166 HAS SOUS 1134219 HAS SOUPS 1134219 WITH SCORE 1135625.166
AT ITER 6236 NEW BEST:: SOT 8255182 SOS 1406165 HAS SOPS 1406165 HAS SOUS 1134217 HAS SOUPS 1134217 WITH SCORE 1135623.165
AT ITER 6246 NEW BEST:: SOT 8255029 SOS 1406271 HAS SOPS 1406271 HAS SOUS 1134167 HAS SOUPS 1134167 WITH SCORE 1135573.271
AT ITER 6247 NEW BEST:: SOT 8255138 SOS 1405771 HAS SOPS 1405771 HAS SOUS 1133930 HAS SOUPS 1133930 WITH SCORE 1135335.771
AT ITER 6256 NEW BEST:: SOT 8255138 SOS 1405455 HAS SOPS 1405455 HAS SOUS 1133614 HAS SOUPS 1133614 WITH SCORE 1135019.455
AT ITER 6313 NEW BEST:: SOT 8254730 SOS 1405416 HAS SOPS 1405416 HAS SOUS 1133459 HAS SOUPS 1133459 WITH SCORE 1134864.416
AT ITER 6318 NEW BEST:: SOT 8254440 SOS 1405299 HAS SOPS 1405299 HAS SOUS 1133169 HAS SOUPS 1133169 WITH SCORE 1134574.299
AT ITER 6324 NEW BEST:: SOT 8254084 SOS 1404587 HAS SOPS 1404587 HAS SOUS 1132457 HAS SOUPS 1132457 WITH SCORE 1133861.587
AT ITER 6342 NEW BEST:: SOT 8254083 SOS 1404585 HAS SOPS 1404585 HAS SOUS 1132455 HAS SOUPS 1132455 WITH SCORE 1133859.585
AT ITER 6347 NEW BEST:: SOT 8253904 SOS 1404227 HAS SOPS 1404227 HAS SOUS 1132399 HAS SOUPS 1132399 WITH SCORE 1133803.227
AT ITER 6367 NEW BEST:: SOT 8253904 SOS 1404030 HAS SOPS 1404030 HAS SOUS 1132399 HAS SOUPS 1132399 WITH SCORE 1133803.03
AT ITER 6381 NEW BEST:: SOT 8253872 SOS 1403998 HAS SOPS 1403998 HAS SOUS 1132367 HAS SOUPS 1132367 WITH SCORE 1133770.998
AT ITER 6394 NEW BEST:: SOT 8253903 SOS 1403989 HAS SOPS 1403989 HAS SOUS 1132358 HAS SOUPS 1132358 WITH SCORE 1133761.989
AT ITER 6400 NEW BEST:: SOT 8253979 SOS 1404141 HAS SOPS 1404141 HAS SOUS 1132192 HAS SOUPS 1132192 WITH SCORE 1133596.141
AT ITER 6401 NEW BEST:: SOT 8253747 SOS 1403677 HAS SOPS 1403677 HAS SOUS 1131728 HAS SOUPS 1131728 WITH SCORE 1133131.677
AT ITER 6408 NEW BEST:: SOT 8253746 SOS 1403675 HAS SOPS 1403675 HAS SOUS 1131726 HAS SOUPS 1131726 WITH SCORE 1133129.675
AT ITER 6418 NEW BEST:: SOT 8253451 SOS 1403681 HAS SOPS 1403681 HAS SOUS 1131285 HAS SOUPS 1131285 WITH SCORE 1132688.681
AT ITER 6425 NEW BEST:: SOT 8253451 SOS 1403637 HAS SOPS 1403637 HAS SOUS 1131285 HAS SOUPS 1131285 WITH SCORE 1132688.637
AT ITER 6461 NEW BEST:: SOT 8253236 SOS 1402697 HAS SOPS 1402697 HAS SOUS 1131070 HAS SOUPS 1131070 WITH SCORE 1132472.697
AT ITER 6479 NEW BEST:: SOT 8252711 SOS 1401647 HAS SOPS 1401647 HAS SOUS 1130243 HAS SOUPS 1130243 WITH SCORE 1131644.647
AT ITER 6491 NEW BEST:: SOT 8252530 SOS 1401582 HAS SOPS 1401582 HAS SOUS 1130065 HAS SOUPS 1130065 WITH SCORE 1131466.582
AT ITER 6493 NEW BEST:: SOT 8252436 SOS 1401394 HAS SOPS 1401394 HAS SOUS 1129944 HAS SOUPS 1129944 WITH SCORE 1131345.394
AT ITER 6526 NEW BEST:: SOT 8252436 SOS 1401113 HAS SOPS 1401113 HAS SOUS 1129944 HAS SOUPS 1129944 WITH SCORE 1131345.113
AT ITER 6561 NEW BEST:: SOT 8252436 SOS 1401113 HAS SOPS 1401113 HAS SOUS 1129916 HAS SOUPS 1129916 WITH SCORE 1131317.113
AT ITER 6569 NEW BEST:: SOT 8252414 SOS 1401069 HAS SOPS 1401069 HAS SOUS 1129872 HAS SOUPS 1129872 WITH SCORE 1131273.069
AT ITER 6571 NEW BEST:: SOT 8252327 SOS 1400998 HAS SOPS 1400998 HAS SOUS 1129698 HAS SOUPS 1129698 WITH SCORE 1131098.998
AT ITER 6581 NEW BEST:: SOT 8251932 SOS 1400468 HAS SOPS 1400468 HAS SOUS 1129081 HAS SOUPS 1129081 WITH SCORE 1130481.468
AT ITER 6626 NEW BEST:: SOT 8251831 SOS 1400266 HAS SOPS 1400266 HAS SOUS 1128879 HAS SOUPS 1128879 WITH SCORE 1130279.266
AT ITER 6664 NEW BEST:: SOT 8251666 SOS 1400230 HAS SOPS 1400230 HAS SOUS 1128549 HAS SOUPS 1128549 WITH SCORE 1129949.23
AT ITER 6682 NEW BEST:: SOT 8251781 SOS 1399762 HAS SOPS 1399762 HAS SOUS 1128370 HAS SOUPS 1128370 WITH SCORE 1129769.762
AT ITER 6692 NEW BEST:: SOT 8251746 SOS 1399692 HAS SOPS 1399692 HAS SOUS 1128300 HAS SOUPS 1128300 WITH SCORE 1129699.692
AT ITER 6710 NEW BEST:: SOT 8251450 SOS 1399514 HAS SOPS 1399514 HAS SOUS 1127737 HAS SOUPS 1127737 WITH SCORE 1129136.514
AT ITER 6716 NEW BEST:: SOT 8250998 SOS 1399114 HAS SOPS 1399114 HAS SOUS 1127285 HAS SOUPS 1127285 WITH SCORE 1128684.114
AT ITER 6738 NEW BEST:: SOT 8250998 SOS 1399031 HAS SOPS 1399031 HAS SOUS 1127285 HAS SOUPS 1127285 WITH SCORE 1128684.031
AT ITER 6754 NEW BEST:: SOT 8250997 SOS 1399029 HAS SOPS 1399029 HAS SOUS 1127283 HAS SOUPS 1127283 WITH SCORE 1128682.029
AT ITER 6758 NEW BEST:: SOT 8250997 SOS 1399029 HAS SOPS 1399029 HAS SOUS 1127278 HAS SOUPS 1127278 WITH SCORE 1128677.029
AT ITER 6765 NEW BEST:: SOT 8250997 SOS 1398986 HAS SOPS 1398986 HAS SOUS 1127235 HAS SOUPS 1127235 WITH SCORE 1128633.986
AT ITER 6766 NEW BEST:: SOT 8251084 SOS 1398935 HAS SOPS 1398935 HAS SOUS 1127184 HAS SOUPS 1127184 WITH SCORE 1128582.935
AT ITER 6775 NEW BEST:: SOT 8251076 SOS 1398919 HAS SOPS 1398919 HAS SOUS 1127168 HAS SOUPS 1127168 WITH SCORE 1128566.919
AT ITER 6780 NEW BEST:: SOT 8251075 SOS 1398917 HAS SOPS 1398917 HAS SOUS 1127166 HAS SOUPS 1127166 WITH SCORE 1128564.917
AT ITER 6797 NEW BEST:: SOT 8251058 SOS 1398883 HAS SOPS 1398883 HAS SOUS 1127132 HAS SOUPS 1127132 WITH SCORE 1128530.883
AT ITER 6804 NEW BEST:: SOT 8251032 SOS 1398831 HAS SOPS 1398831 HAS SOUS 1127080 HAS SOUPS 1127080 WITH SCORE 1128478.831
AT ITER 6818 NEW BEST:: SOT 8250957 SOS 1398681 HAS SOPS 1398681 HAS SOUS 1126930 HAS SOUPS 1126930 WITH SCORE 1128328.681
AT ITER 6819 NEW BEST:: SOT 8250957 SOS 1398161 HAS SOPS 1398161 HAS SOUS 1126930 HAS SOUPS 1126930 WITH SCORE 1128328.161
AT ITER 6851 NEW BEST:: SOT 8250893 SOS 1398033 HAS SOPS 1398033 HAS SOUS 1126802 HAS SOUPS 1126802 WITH SCORE 1128200.033
AT ITER 6863 NEW BEST:: SOT 8250749 SOS 1397745 HAS SOPS 1397745 HAS SOUS 1126514 HAS SOUPS 1126514 WITH SCORE 1127911.745
AT ITER 6897 NEW BEST:: SOT 8250328 SOS 1398084 HAS SOPS 1398084 HAS SOUS 1126346 HAS SOUPS 1126346 WITH SCORE 1127744.084
AT ITER 6910 NEW BEST:: SOT 8249885 SOS 1396427 HAS SOPS 1396427 HAS SOUS 1125460 HAS SOUPS 1125460 WITH SCORE 1126856.427
AT ITER 6915 NEW BEST:: SOT 8249872 SOS 1396401 HAS SOPS 1396401 HAS SOUS 1125312 HAS SOUPS 1125312 WITH SCORE 1126708.401
AT ITER 6936 NEW BEST:: SOT 8249712 SOS 1396617 HAS SOPS 1396617 HAS SOUS 1125152 HAS SOUPS 1125152 WITH SCORE 1126548.617
AT ITER 6962 NEW BEST:: SOT 8249455 SOS 1396643 HAS SOPS 1396643 HAS SOUS 1125030 HAS SOUPS 1125030 WITH SCORE 1126426.643
AT ITER 7018 NEW BEST:: SOT 8248487 SOS 1395437 HAS SOPS 1395437 HAS SOUS 1123743 HAS SOUPS 1123743 WITH SCORE 1125138.437
AT ITER 7026 NEW BEST:: SOT 8248480 SOS 1395423 HAS SOPS 1395423 HAS SOUS 1123729 HAS SOUPS 1123729 WITH SCORE 1125124.423
AT ITER 7041 NEW BEST:: SOT 8248409 SOS 1395352 HAS SOPS 1395352 HAS SOUS 1123658 HAS SOUPS 1123658 WITH SCORE 1125053.352
AT ITER 7082 NEW BEST:: SOT 8248625 SOS 1395192 HAS SOPS 1395192 HAS SOUS 1123318 HAS SOUPS 1123318 WITH SCORE 1124713.192
AT ITER 7174 NEW BEST:: SOT 8248679 SOS 1394618 HAS SOPS 1394618 HAS SOUS 1123164 HAS SOUPS 1123164 WITH SCORE 1124558.618
AT ITER 7189 NEW BEST:: SOT 8248655 SOS 1394570 HAS SOPS 1394570 HAS SOUS 1123116 HAS SOUPS 1123116 WITH SCORE 1124510.57
AT ITER 7231 NEW BEST:: SOT 8248649 SOS 1394558 HAS SOPS 1394558 HAS SOUS 1123104 HAS SOUPS 1123104 WITH SCORE 1124498.558
AT ITER 7251 NEW BEST:: SOT 8248404 SOS 1394201 HAS SOPS 1394201 HAS SOUS 1122856 HAS SOUPS 1122856 WITH SCORE 1124250.201
AT ITER 7308 NEW BEST:: SOT 8247332 SOS 1393212 HAS SOPS 1393212 HAS SOUS 1121641 HAS SOUPS 1121641 WITH SCORE 1123034.212
AT ITER 7314 NEW BEST:: SOT 8246926 SOS 1393622 HAS SOPS 1393622 HAS SOUS 1121592 HAS SOUPS 1121592 WITH SCORE 1122985.622
AT ITER 7322 NEW BEST:: SOT 8246926 SOS 1393524 HAS SOPS 1393524 HAS SOUS 1121494 HAS SOUPS 1121494 WITH SCORE 1122887.524
AT ITER 7337 NEW BEST:: SOT 8245721 SOS 1392319 HAS SOPS 1392319 HAS SOUS 1120289 HAS SOUPS 1120289 WITH SCORE 1121681.319
AT ITER 7424 NEW BEST:: SOT 8245721 SOS 1392319 HAS SOPS 1392319 HAS SOUS 1120212 HAS SOUPS 1120212 WITH SCORE 1121604.319
AT ITER 7434 NEW BEST:: SOT 8245721 SOS 1392109 HAS SOPS 1392109 HAS SOUS 1120002 HAS SOUPS 1120002 WITH SCORE 1121394.109
AT ITER 7437 NEW BEST:: SOT 8245407 SOS 1391481 HAS SOPS 1391481 HAS SOUS 1119688 HAS SOUPS 1119688 WITH SCORE 1121079.481
AT ITER 7439 NEW BEST:: SOT 8241350 SOS 1434327 HAS SOPS 1434327 HAS SOUS 1118759 HAS SOUPS 1118759 WITH SCORE 1120193.327
AT ITER 7465 NEW BEST:: SOT 8241315 SOS 1434292 HAS SOPS 1434292 HAS SOUS 1118724 HAS SOUPS 1118724 WITH SCORE 1120158.292
AT ITER 7473 NEW BEST:: SOT 8242061 SOS 1433304 HAS SOPS 1433304 HAS SOUS 1118509 HAS SOUPS 1118509 WITH SCORE 1119942.304
AT ITER 7483 NEW BEST:: SOT 8242060 SOS 1433302 HAS SOPS 1433302 HAS SOUS 1118507 HAS SOUPS 1118507 WITH SCORE 1119940.302
AT ITER 7530 NEW BEST:: SOT 8241794 SOS 1432770 HAS SOPS 1432770 HAS SOUS 1117975 HAS SOUPS 1117975 WITH SCORE 1119407.77
AT ITER 7618 NEW BEST:: SOT 8241724 SOS 1432700 HAS SOPS 1432700 HAS SOUS 1117905 HAS SOUPS 1117905 WITH SCORE 1119337.7
AT ITER 7655 NEW BEST:: SOT 8241676 SOS 1432652 HAS SOPS 1432652 HAS SOUS 1117857 HAS SOUPS 1117857 WITH SCORE 1119289.652
AT ITER 7664 NEW BEST:: SOT 8241675 SOS 1432650 HAS SOPS 1432650 HAS SOUS 1117855 HAS SOUPS 1117855 WITH SCORE 1119287.65
AT ITER 7671 NEW BEST:: SOT 8241651 SOS 1432602 HAS SOPS 1432602 HAS SOUS 1117831 HAS SOUPS 1117831 WITH SCORE 1119263.602
AT ITER 7683 NEW BEST:: SOT 8241495 SOS 1432708 HAS SOPS 1432708 HAS SOUS 1117762 HAS SOUPS 1117762 WITH SCORE 1119194.708
AT ITER 7684 NEW BEST:: SOT 8241481 SOS 1432708 HAS SOPS 1432708 HAS SOUS 1117748 HAS SOUPS 1117748 WITH SCORE 1119180.708
AT ITER 7719 NEW BEST:: SOT 8241481 SOS 1432342 HAS SOPS 1432342 HAS SOUS 1117382 HAS SOUPS 1117382 WITH SCORE 1118814.342
AT ITER 7724 NEW BEST:: SOT 8241481 SOS 1432157 HAS SOPS 1432157 HAS SOUS 1117382 HAS SOUPS 1117382 WITH SCORE 1118814.157
AT ITER 7788 NEW BEST:: SOT 8241150 SOS 1431495 HAS SOPS 1431495 HAS SOUS 1117382 HAS SOUPS 1117382 WITH SCORE 1118813.495
AT ITER 7829 NEW BEST:: SOT 8240221 SOS 1429637 HAS SOPS 1429637 HAS SOUS 1116038 HAS SOUPS 1116038 WITH SCORE 1117467.637
AT ITER 7868 NEW BEST:: SOT 8240112 SOS 1429419 HAS SOPS 1429419 HAS SOUS 1115820 HAS SOUPS 1115820 WITH SCORE 1117249.419
AT ITER 7892 NEW BEST:: SOT 8240100 SOS 1429395 HAS SOPS 1429395 HAS SOUS 1115524 HAS SOUPS 1115524 WITH SCORE 1116953.395
AT ITER 7903 NEW BEST:: SOT 8239972 SOS 1429267 HAS SOPS 1429267 HAS SOUS 1115396 HAS SOUPS 1115396 WITH SCORE 1116825.267
AT ITER 7936 NEW BEST:: SOT 8239604 SOS 1428531 HAS SOPS 1428531 HAS SOUS 1114660 HAS SOUPS 1114660 WITH SCORE 1116088.531
AT ITER 7968 NEW BEST:: SOT 8239561 SOS 1428445 HAS SOPS 1428445 HAS SOUS 1114617 HAS SOUPS 1114617 WITH SCORE 1116045.445
AT ITER 7973 NEW BEST:: SOT 8239426 SOS 1428175 HAS SOPS 1428175 HAS SOUS 1114223 HAS SOUPS 1114223 WITH SCORE 1115651.175
AT ITER 7976 NEW BEST:: SOT 8239417 SOS 1428157 HAS SOPS 1428157 HAS SOUS 1114205 HAS SOUPS 1114205 WITH SCORE 1115633.157
AT ITER 7982 NEW BEST:: SOT 8239231 SOS 1427785 HAS SOPS 1427785 HAS SOUS 1114019 HAS SOUPS 1114019 WITH SCORE 1115446.785
AT ITER 7983 NEW BEST:: SOT 8239093 SOS 1427509 HAS SOPS 1427509 HAS SOUS 1113743 HAS SOUPS 1113743 WITH SCORE 1115170.509
AT ITER 7989 NEW BEST:: SOT 8239082 SOS 1427498 HAS SOPS 1427498 HAS SOUS 1113732 HAS SOUPS 1113732 WITH SCORE 1115159.498
AT ITER 7996 NEW BEST:: SOT 8239052 SOS 1427438 HAS SOPS 1427438 HAS SOUS 1113702 HAS SOUPS 1113702 WITH SCORE 1115129.438
AT ITER 8002 NEW BEST:: SOT 8239003 SOS 1427340 HAS SOPS 1427340 HAS SOUS 1113604 HAS SOUPS 1113604 WITH SCORE 1115031.34
AT ITER 8016 NEW BEST:: SOT 8239113 SOS 1426998 HAS SOPS 1426998 HAS SOUS 1113360 HAS SOUPS 1113360 WITH SCORE 1114786.998
AT ITER 8059 NEW BEST:: SOT 8239113 SOS 1426998 HAS SOPS 1426998 HAS SOUS 1113352 HAS SOUPS 1113352 WITH SCORE 1114778.998
AT ITER 8073 NEW BEST:: SOT 8239113 SOS 1426816 HAS SOPS 1426816 HAS SOUS 1113170 HAS SOUPS 1113170 WITH SCORE 1114596.816
AT ITER 8087 NEW BEST:: SOT 8239113 SOS 1426437 HAS SOPS 1426437 HAS SOUS 1113170 HAS SOUPS 1113170 WITH SCORE 1114596.437
AT ITER 8104 NEW BEST:: SOT 8239109 SOS 1426429 HAS SOPS 1426429 HAS SOUS 1113166 HAS SOUPS 1113166 WITH SCORE 1114592.429
AT ITER 8161 NEW BEST:: SOT 8238673 SOS 1425998 HAS SOPS 1425998 HAS SOUS 1112730 HAS SOUPS 1112730 WITH SCORE 1114155.998
AT ITER 8190 NEW BEST:: SOT 8238950 SOS 1425771 HAS SOPS 1425771 HAS SOUS 1112708 HAS SOUPS 1112708 WITH SCORE 1114133.771
AT ITER 8214 NEW BEST:: SOT 8238950 SOS 1425571 HAS SOPS 1425571 HAS SOUS 1112708 HAS SOUPS 1112708 WITH SCORE 1114133.571
AT ITER 8216 NEW BEST:: SOT 8238927 SOS 1425570 HAS SOPS 1425570 HAS SOUS 1112693 HAS SOUPS 1112693 WITH SCORE 1114118.57
AT ITER 8240 NEW BEST:: SOT 8238926 SOS 1425568 HAS SOPS 1425568 HAS SOUS 1112691 HAS SOUPS 1112691 WITH SCORE 1114116.568
AT ITER 8287 NEW BEST:: SOT 8239290 SOS 1425622 HAS SOPS 1425622 HAS SOUS 1112662 HAS SOUPS 1112662 WITH SCORE 1114087.622
AT ITER 8293 NEW BEST:: SOT 8239205 SOS 1425537 HAS SOPS 1425537 HAS SOUS 1112577 HAS SOUPS 1112577 WITH SCORE 1114002.537
AT ITER 8296 NEW BEST:: SOT 8239182 SOS 1425491 HAS SOPS 1425491 HAS SOUS 1112577 HAS SOUPS 1112577 WITH SCORE 1114002.491
AT ITER 8300 NEW BEST:: SOT 8238928 SOS 1425683 HAS SOPS 1425683 HAS SOUS 1112235 HAS SOUPS 1112235 WITH SCORE 1113660.683
AT ITER 8392 NEW BEST:: SOT 8238814 SOS 1425455 HAS SOPS 1425455 HAS SOUS 1112006 HAS SOUPS 1112006 WITH SCORE 1113431.455
AT ITER 8405 NEW BEST:: SOT 8238802 SOS 1425431 HAS SOPS 1425431 HAS SOUS 1111982 HAS SOUPS 1111982 WITH SCORE 1113407.431
AT ITER 8416 NEW BEST:: SOT 8238798 SOS 1425423 HAS SOPS 1425423 HAS SOUS 1111978 HAS SOUPS 1111978 WITH SCORE 1113403.423
AT ITER 8425 NEW BEST:: SOT 8238797 SOS 1425546 HAS SOPS 1425546 HAS SOUS 1111977 HAS SOUPS 1111977 WITH SCORE 1113402.546
AT ITER 8441 NEW BEST:: SOT 8238785 SOS 1425522 HAS SOPS 1425522 HAS SOUS 1111953 HAS SOUPS 1111953 WITH SCORE 1113378.522
AT ITER 8472 NEW BEST:: SOT 8238600 SOS 1425337 HAS SOPS 1425337 HAS SOUS 1111768 HAS SOUPS 1111768 WITH SCORE 1113193.337
AT ITER 8520 NEW BEST:: SOT 8238533 SOS 1425203 HAS SOPS 1425203 HAS SOUS 1111634 HAS SOUPS 1111634 WITH SCORE 1113059.203
AT ITER 8521 NEW BEST:: SOT 8238513 SOS 1425163 HAS SOPS 1425163 HAS SOUS 1111614 HAS SOUPS 1111614 WITH SCORE 1113039.163
AT ITER 8537 NEW BEST:: SOT 8238212 SOS 1424919 HAS SOPS 1424919 HAS SOUS 1111313 HAS SOUPS 1111313 WITH SCORE 1112737.919
AT ITER 8568 NEW BEST:: SOT 8238212 SOS 1424919 HAS SOPS 1424919 HAS SOUS 1111312 HAS SOUPS 1111312 WITH SCORE 1112736.919
AT ITER 8593 NEW BEST:: SOT 8238212 SOS 1424919 HAS SOPS 1424919 HAS SOUS 1111237 HAS SOUPS 1111237 WITH SCORE 1112661.919
AT ITER 8597 NEW BEST:: SOT 8238076 SOS 1425059 HAS SOPS 1425059 HAS SOUS 1111178 HAS SOUPS 1111178 WITH SCORE 1112603.059
AT ITER 8612 NEW BEST:: SOT 8238010 SOS 1424927 HAS SOPS 1424927 HAS SOUS 1111046 HAS SOUPS 1111046 WITH SCORE 1112470.927
AT ITER 8635 NEW BEST:: SOT 8238014 SOS 1424579 HAS SOPS 1424579 HAS SOUS 1110889 HAS SOUPS 1110889 WITH SCORE 1112313.579
AT ITER 8657 NEW BEST:: SOT 8237930 SOS 1424411 HAS SOPS 1424411 HAS SOUS 1110849 HAS SOUPS 1110849 WITH SCORE 1112273.411
AT ITER 8665 NEW BEST:: SOT 8237842 SOS 1424235 HAS SOPS 1424235 HAS SOUS 1110761 HAS SOUPS 1110761 WITH SCORE 1112185.235
AT ITER 8688 NEW BEST:: SOT 8237546 SOS 1423643 HAS SOPS 1423643 HAS SOUS 1110169 HAS SOUPS 1110169 WITH SCORE 1111592.643
AT ITER 8698 NEW BEST:: SOT 8237546 SOS 1423643 HAS SOPS 1423643 HAS SOUS 1110141 HAS SOUPS 1110141 WITH SCORE 1111564.643
AT ITER 8702 NEW BEST:: SOT 8237756 SOS 1423409 HAS SOPS 1423409 HAS SOUS 1110131 HAS SOUPS 1110131 WITH SCORE 1111554.409
AT ITER 8721 NEW BEST:: SOT 8237746 SOS 1423389 HAS SOPS 1423389 HAS SOUS 1109925 HAS SOUPS 1109925 WITH SCORE 1111348.389
AT ITER 8730 NEW BEST:: SOT 8237747 SOS 1423391 HAS SOPS 1423391 HAS SOUS 1109913 HAS SOUPS 1109913 WITH SCORE 1111336.391
AT ITER 8734 NEW BEST:: SOT 8236497 SOS 1420891 HAS SOPS 1420891 HAS SOUS 1108824 HAS SOUPS 1108824 WITH SCORE 1110244.891
AT ITER 8739 NEW BEST:: SOT 8236462 SOS 1420856 HAS SOPS 1420856 HAS SOUS 1108789 HAS SOUPS 1108789 WITH SCORE 1110209.856
AT ITER 8740 NEW BEST:: SOT 8236480 SOS 1420892 HAS SOPS 1420892 HAS SOUS 1108767 HAS SOUPS 1108767 WITH SCORE 1110187.892
AT ITER 8747 NEW BEST:: SOT 8236299 SOS 1420530 HAS SOPS 1420530 HAS SOUS 1108586 HAS SOUPS 1108586 WITH SCORE 1110006.53
AT ITER 8772 NEW BEST:: SOT 8236299 SOS 1420530 HAS SOPS 1420530 HAS SOUS 1108560 HAS SOUPS 1108560 WITH SCORE 1109980.53
AT ITER 8803 NEW BEST:: SOT 8235672 SOS 1420564 HAS SOPS 1420564 HAS SOUS 1108017 HAS SOUPS 1108017 WITH SCORE 1109437.564
AT ITER 8825 NEW BEST:: SOT 8235429 SOS 1420487 HAS SOPS 1420487 HAS SOUS 1107869 HAS SOUPS 1107869 WITH SCORE 1109289.487
AT ITER 8844 NEW BEST:: SOT 8235429 SOS 1420249 HAS SOPS 1420249 HAS SOUS 1107869 HAS SOUPS 1107869 WITH SCORE 1109289.249
AT ITER 8850 NEW BEST:: SOT 8235410 SOS 1420211 HAS SOPS 1420211 HAS SOUS 1107831 HAS SOUPS 1107831 WITH SCORE 1109251.211
AT ITER 8860 NEW BEST:: SOT 8235410 SOS 1420058 HAS SOPS 1420058 HAS SOUS 1107678 HAS SOUPS 1107678 WITH SCORE 1109098.058
AT ITER 8883 NEW BEST:: SOT 8235300 SOS 1420053 HAS SOPS 1420053 HAS SOUS 1107673 HAS SOUPS 1107673 WITH SCORE 1109093.053
AT ITER 8902 NEW BEST:: SOT 8234354 SOS 1419359 HAS SOPS 1419359 HAS SOUS 1106918 HAS SOUPS 1106918 WITH SCORE 1108337.359
AT ITER 8908 NEW BEST:: SOT 8234231 SOS 1419113 HAS SOPS 1419113 HAS SOUS 1106672 HAS SOUPS 1106672 WITH SCORE 1108091.113
AT ITER 8932 NEW BEST:: SOT 8234155 SOS 1418961 HAS SOPS 1418961 HAS SOUS 1106596 HAS SOUPS 1106596 WITH SCORE 1108014.961
AT ITER 8979 NEW BEST:: SOT 8234048 SOS 1418747 HAS SOPS 1418747 HAS SOUS 1106382 HAS SOUPS 1106382 WITH SCORE 1107800.747
AT ITER 8988 NEW BEST:: SOT 8234029 SOS 1418709 HAS SOPS 1418709 HAS SOUS 1106344 HAS SOUPS 1106344 WITH SCORE 1107762.709
AT ITER 9004 NEW BEST:: SOT 8234130 SOS 1418591 HAS SOPS 1418591 HAS SOUS 1106226 HAS SOUPS 1106226 WITH SCORE 1107644.591
AT ITER 9021 NEW BEST:: SOT 8233973 SOS 1418277 HAS SOPS 1418277 HAS SOUS 1105912 HAS SOUPS 1105912 WITH SCORE 1107330.277
AT ITER 9036 NEW BEST:: SOT 8233688 SOS 1417707 HAS SOPS 1417707 HAS SOUS 1105627 HAS SOUPS 1105627 WITH SCORE 1107044.707
AT ITER 9044 NEW BEST:: SOT 8233436 SOS 1417203 HAS SOPS 1417203 HAS SOUS 1105178 HAS SOUPS 1105178 WITH SCORE 1106595.203
AT ITER 9068 NEW BEST:: SOT 8233121 SOS 1416573 HAS SOPS 1416573 HAS SOUS 1104863 HAS SOUPS 1104863 WITH SCORE 1106279.573
AT ITER 9071 NEW BEST:: SOT 8232877 SOS 1416085 HAS SOPS 1416085 HAS SOUS 1104375 HAS SOUPS 1104375 WITH SCORE 1105791.085
AT ITER 9077 NEW BEST:: SOT 8232821 SOS 1415973 HAS SOPS 1415973 HAS SOUS 1104319 HAS SOUPS 1104319 WITH SCORE 1105734.973
AT ITER 9107 NEW BEST:: SOT 8232795 SOS 1415921 HAS SOPS 1415921 HAS SOUS 1104241 HAS SOUPS 1104241 WITH SCORE 1105656.921
AT ITER 9110 NEW BEST:: SOT 8232638 SOS 1415607 HAS SOPS 1415607 HAS SOUS 1104084 HAS SOUPS 1104084 WITH SCORE 1105499.607
AT ITER 9131 NEW BEST:: SOT 8232329 SOS 1416069 HAS SOPS 1416069 HAS SOUS 1103937 HAS SOUPS 1103937 WITH SCORE 1105353.069
AT ITER 9136 NEW BEST:: SOT 8232246 SOS 1415986 HAS SOPS 1415986 HAS SOUS 1103854 HAS SOUPS 1103854 WITH SCORE 1105269.986
AT ITER 9163 NEW BEST:: SOT 8232246 SOS 1415986 HAS SOPS 1415986 HAS SOUS 1103844 HAS SOUPS 1103844 WITH SCORE 1105259.986
AT ITER 9164 NEW BEST:: SOT 8232192 SOS 1415878 HAS SOPS 1415878 HAS SOUS 1103736 HAS SOUPS 1103736 WITH SCORE 1105151.878
AT ITER 9217 NEW BEST:: SOT 8232192 SOS 1415687 HAS SOPS 1415687 HAS SOUS 1103736 HAS SOUPS 1103736 WITH SCORE 1105151.687
AT ITER 9232 NEW BEST:: SOT 8232104 SOS 1415511 HAS SOPS 1415511 HAS SOUS 1103560 HAS SOUPS 1103560 WITH SCORE 1104975.511
AT ITER 9274 NEW BEST:: SOT 8232103 SOS 1415320 HAS SOPS 1415320 HAS SOUS 1103558 HAS SOUPS 1103558 WITH SCORE 1104973.32
AT ITER 9294 NEW BEST:: SOT 8231832 SOS 1403805 HAS SOPS 1403805 HAS SOUS 1103016 HAS SOUPS 1103016 WITH SCORE 1104419.805
AT ITER 9301 NEW BEST:: SOT 8231760 SOS 1403661 HAS SOPS 1403661 HAS SOUS 1102868 HAS SOUPS 1102868 WITH SCORE 1104271.661
AT ITER 9321 NEW BEST:: SOT 8231864 SOS 1403869 HAS SOPS 1403869 HAS SOUS 1102791 HAS SOUPS 1102791 WITH SCORE 1104194.869
AT ITER 9342 NEW BEST:: SOT 8231602 SOS 1403345 HAS SOPS 1403345 HAS SOUS 1102271 HAS SOUPS 1102271 WITH SCORE 1103674.345
AT ITER 9345 NEW BEST:: SOT 8231576 SOS 1403293 HAS SOPS 1403293 HAS SOUS 1102219 HAS SOUPS 1102219 WITH SCORE 1103622.293
AT ITER 9369 NEW BEST:: SOT 8231564 SOS 1403269 HAS SOPS 1403269 HAS SOUS 1102195 HAS SOUPS 1102195 WITH SCORE 1103598.269
AT ITER 9422 NEW BEST:: SOT 8231551 SOS 1403243 HAS SOPS 1403243 HAS SOUS 1102169 HAS SOUPS 1102169 WITH SCORE 1103572.243
AT ITER 9428 NEW BEST:: SOT 8231965 SOS 1398336 HAS SOPS 1398336 HAS SOUS 1102039 HAS SOUPS 1102039 WITH SCORE 1103437.336
AT ITER 9448 NEW BEST:: SOT 8231959 SOS 1398324 HAS SOPS 1398324 HAS SOUS 1102027 HAS SOUPS 1102027 WITH SCORE 1103425.324
AT ITER 9453 NEW BEST:: SOT 8231899 SOS 1398204 HAS SOPS 1398204 HAS SOUS 1102026 HAS SOUPS 1102026 WITH SCORE 1103424.204
AT ITER 9454 NEW BEST:: SOT 8231552 SOS 1397510 HAS SOPS 1397510 HAS SOUS 1101896 HAS SOUPS 1101896 WITH SCORE 1103293.51
AT ITER 9464 NEW BEST:: SOT 8231552 SOS 1397284 HAS SOPS 1397284 HAS SOUS 1101670 HAS SOUPS 1101670 WITH SCORE 1103067.284
AT ITER 9498 NEW BEST:: SOT 8231575 SOS 1396994 HAS SOPS 1396994 HAS SOUS 1101583 HAS SOUPS 1101583 WITH SCORE 1102979.994
AT ITER 9539 NEW BEST:: SOT 8231412 SOS 1396848 HAS SOPS 1396848 HAS SOUS 1101420 HAS SOUPS 1101420 WITH SCORE 1102816.848
AT ITER 9542 NEW BEST:: SOT 8231112 SOS 1396248 HAS SOPS 1396248 HAS SOUS 1100820 HAS SOUPS 1100820 WITH SCORE 1102216.248
AT ITER 9554 NEW BEST:: SOT 8231112 SOS 1396248 HAS SOPS 1396248 HAS SOUS 1100816 HAS SOUPS 1100816 WITH SCORE 1102212.248
AT ITER 9579 NEW BEST:: SOT 8231089 SOS 1396225 HAS SOPS 1396225 HAS SOUS 1100793 HAS SOUPS 1100793 WITH SCORE 1102189.225
AT ITER 9590 NEW BEST:: SOT 8230183 SOS 1351797 HAS SOPS 1351797 HAS SOUS 1098981 HAS SOUPS 1098981 WITH SCORE 1100332.797
AT ITER 9647 NEW BEST:: SOT 8229780 SOS 1352123 HAS SOPS 1352123 HAS SOUS 1098404 HAS SOUPS 1098404 WITH SCORE 1099756.123
AT ITER 9648 NEW BEST:: SOT 8229599 SOS 1352173 HAS SOPS 1352173 HAS SOUS 1098223 HAS SOUPS 1098223 WITH SCORE 1099575.173
AT ITER 9656 NEW BEST:: SOT 8229599 SOS 1352173 HAS SOPS 1352173 HAS SOUS 1098206 HAS SOUPS 1098206 WITH SCORE 1099558.173
AT ITER 9659 NEW BEST:: SOT 8229648 SOS 1351960 HAS SOPS 1351960 HAS SOUS 1097993 HAS SOUPS 1097993 WITH SCORE 1099344.96
AT ITER 9660 NEW BEST:: SOT 8229583 SOS 1352090 HAS SOPS 1352090 HAS SOUS 1097928 HAS SOUPS 1097928 WITH SCORE 1099280.09
AT ITER 9674 NEW BEST:: SOT 8229462 SOS 1351848 HAS SOPS 1351848 HAS SOUS 1097686 HAS SOUPS 1097686 WITH SCORE 1099037.848
AT ITER 9716 NEW BEST:: SOT 8229452 SOS 1351828 HAS SOPS 1351828 HAS SOUS 1097672 HAS SOUPS 1097672 WITH SCORE 1099023.828
AT ITER 9750 NEW BEST:: SOT 8228933 SOS 1350790 HAS SOPS 1350790 HAS SOUS 1096634 HAS SOUPS 1096634 WITH SCORE 1097984.79
AT ITER 9751 NEW BEST:: SOT 8228500 SOS 1349924 HAS SOPS 1349924 HAS SOUS 1095863 HAS SOUPS 1095863 WITH SCORE 1097212.924
AT ITER 9758 NEW BEST:: SOT 8228561 SOS 1350046 HAS SOPS 1350046 HAS SOUS 1095858 HAS SOUPS 1095858 WITH SCORE 1097208.046
AT ITER 9779 NEW BEST:: SOT 8228604 SOS 1349135 HAS SOPS 1349135 HAS SOUS 1095527 HAS SOUPS 1095527 WITH SCORE 1096876.135
AT ITER 9780 NEW BEST:: SOT 8228285 SOS 1348497 HAS SOPS 1348497 HAS SOUS 1094889 HAS SOUPS 1094889 WITH SCORE 1096237.497
AT ITER 9795 NEW BEST:: SOT 8228285 SOS 1347824 HAS SOPS 1347824 HAS SOUS 1094216 HAS SOUPS 1094216 WITH SCORE 1095563.824
AT ITER 9800 NEW BEST:: SOT 8228222 SOS 1347698 HAS SOPS 1347698 HAS SOUS 1094090 HAS SOUPS 1094090 WITH SCORE 1095437.698
AT ITER 9811 NEW BEST:: SOT 8228469 SOS 1347564 HAS SOPS 1347564 HAS SOUS 1093956 HAS SOUPS 1093956 WITH SCORE 1095303.564
AT ITER 9827 NEW BEST:: SOT 8228452 SOS 1347530 HAS SOPS 1347530 HAS SOUS 1093899 HAS SOUPS 1093899 WITH SCORE 1095246.53
AT ITER 9860 NEW BEST:: SOT 8228452 SOS 1347445 HAS SOPS 1347445 HAS SOUS 1093814 HAS SOUPS 1093814 WITH SCORE 1095161.445
AT ITER 9866 NEW BEST:: SOT 8228452 SOS 1347309 HAS SOPS 1347309 HAS SOUS 1093746 HAS SOUPS 1093746 WITH SCORE 1095093.309
AT ITER 9867 NEW BEST:: SOT 8228452 SOS 1347309 HAS SOPS 1347309 HAS SOUS 1093745 HAS SOUPS 1093745 WITH SCORE 1095092.309
AT ITER 9910 NEW BEST:: SOT 8228224 SOS 1347012 HAS SOPS 1347012 HAS SOUS 1093446 HAS SOUPS 1093446 WITH SCORE 1094793.012
AT ITER 9919 NEW BEST:: SOT 8228224 SOS 1346760 HAS SOPS 1346760 HAS SOUS 1093446 HAS SOUPS 1093446 WITH SCORE 1094792.76
AT ITER 9920 NEW BEST:: SOT 8227969 SOS 1346250 HAS SOPS 1346250 HAS SOUS 1092936 HAS SOUPS 1092936 WITH SCORE 1094282.25
AT ITER 9925 NEW BEST:: SOT 8227908 SOS 1346159 HAS SOPS 1346159 HAS SOUS 1092845 HAS SOUPS 1092845 WITH SCORE 1094191.159
AT ITER 9938 NEW BEST:: SOT 8227907 SOS 1346158 HAS SOPS 1346158 HAS SOUS 1092843 HAS SOUPS 1092843 WITH SCORE 1094189.158
AT ITER 9945 NEW BEST:: SOT 8227791 SOS 1345694 HAS SOPS 1345694 HAS SOUS 1092690 HAS SOUPS 1092690 WITH SCORE 1094035.694
AT ITER 9966 NEW BEST:: SOT 8227660 SOS 1345432 HAS SOPS 1345432 HAS SOUS 1092428 HAS SOUPS 1092428 WITH SCORE 1093773.432
AT ITER 9987 NEW BEST:: SOT 8227609 SOS 1345381 HAS SOPS 1345381 HAS SOUS 1092376 HAS SOUPS 1092376 WITH SCORE 1093721.381
AT ITER 9996 NEW BEST:: SOT 8227609 SOS 1344795 HAS SOPS 1344795 HAS SOUS 1092083 HAS SOUPS 1092083 WITH SCORE 1093427.795
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 13255788 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16153188 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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