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.r483-tall-167912696901360.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 ViralEpidemic-PT-S16D2C4A03, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912696901360
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 55M
-rw-r--r-- 1 mcc users 13K Feb 25 21:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 118K Feb 25 21:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.8K Feb 25 21:16 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 21:16 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.9K Feb 25 17:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 17:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 25 17:27 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:27 LTLFireability.xml
-rw-r--r-- 1 mcc users 20K Feb 25 23:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 167K Feb 25 23:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 25 22:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 83K Feb 25 22:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 17:27 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 17:27 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 11 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 54M Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679201473905

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=ViralEpidemic-PT-S16D2C4A03
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ViralEpidemic (PT), instance S16D2C4A03
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: 78643 places, 144177 transitions, 353889 arcs.
AT ITER 0 NEW BEST:: SOT 2142882475 SOS 1305641689 HAS SOPS 1305641689 HAS SOUS 484610570 HAS SOUPS 484610570 WITH SCORE 4.85916211689E8
AT ITER 1 NEW BEST:: SOT 2142842397 SOS 1305301020 HAS SOPS 1305301020 HAS SOUS 484610564 HAS SOUPS 484610564 WITH SCORE 4.8591586502E8
AT ITER 11 NEW BEST:: SOT 2142792627 SOS 1304877967 HAS SOPS 1304877967 HAS SOUS 484610556 HAS SOUPS 484610556 WITH SCORE 4.85915433967E8
AT ITER 38 NEW BEST:: SOT 2142790621 SOS 1304860903 HAS SOPS 1304860903 HAS SOUS 484610543 HAS SOUPS 484610543 WITH SCORE 4.85915403903E8
AT ITER 73 NEW BEST:: SOT 2142759329 SOS 1304594919 HAS SOPS 1304594919 HAS SOUS 484610541 HAS SOUPS 484610541 WITH SCORE 4.85915135919E8
AT ITER 78 NEW BEST:: SOT 2142730069 SOS 1304346209 HAS SOPS 1304346209 HAS SOUS 484610541 HAS SOUPS 484610541 WITH SCORE 4.85914887209E8
AT ITER 86 NEW BEST:: SOT 2142665803 SOS 1303799948 HAS SOPS 1303799948 HAS SOUS 484610541 HAS SOUPS 484610541 WITH SCORE 4.85914340948E8
AT ITER 88 NEW BEST:: SOT 2142544483 SOS 1302768721 HAS SOPS 1302768721 HAS SOUS 484610534 HAS SOUPS 484610534 WITH SCORE 4.85913302721E8
AT ITER 196 NEW BEST:: SOT 2142481661 SOS 1302234719 HAS SOPS 1302234719 HAS SOUS 484610517 HAS SOUPS 484610517 WITH SCORE 4.85912751719E8
AT ITER 210 NEW BEST:: SOT 2142457277 SOS 1302027447 HAS SOPS 1302027447 HAS SOUS 484610509 HAS SOUPS 484610509 WITH SCORE 4.85912536447E8
AT ITER 216 NEW BEST:: SOT 2142350517 SOS 1301119982 HAS SOPS 1301119982 HAS SOUS 484610504 HAS SOUPS 484610504 WITH SCORE 4.85911623982E8
AT ITER 223 NEW BEST:: SOT 2142299505 SOS 1300686372 HAS SOPS 1300686372 HAS SOUS 484610496 HAS SOUPS 484610496 WITH SCORE 4.85911182372E8
AT ITER 235 NEW BEST:: SOT 2142233605 SOS 1300126207 HAS SOPS 1300126207 HAS SOUS 484610479 HAS SOUPS 484610479 WITH SCORE 4.85910605207E8
AT ITER 246 NEW BEST:: SOT 2142212705 SOS 1299948554 HAS SOPS 1299948554 HAS SOUS 484610476 HAS SOUPS 484610476 WITH SCORE 4.85910424554E8
AT ITER 275 NEW BEST:: SOT 2142137507 SOS 1299309371 HAS SOPS 1299309371 HAS SOUS 484610476 HAS SOUPS 484610476 WITH SCORE 4.85909785371E8
AT ITER 290 NEW BEST:: SOT 2142009477 SOS 1298221111 HAS SOPS 1298221111 HAS SOUS 484610471 HAS SOUPS 484610471 WITH SCORE 4.85908692111E8
AT ITER 305 NEW BEST:: SOT 2141942717 SOS 1297653646 HAS SOPS 1297653646 HAS SOUS 484610466 HAS SOUPS 484610466 WITH SCORE 4.85908119646E8
AT ITER 308 NEW BEST:: SOT 2141919769 SOS 1297458573 HAS SOPS 1297458573 HAS SOUS 484610449 HAS SOUPS 484610449 WITH SCORE 4.85907907573E8
AT ITER 316 NEW BEST:: SOT 2141894583 SOS 1297244479 HAS SOPS 1297244479 HAS SOUS 484610436 HAS SOUPS 484610436 WITH SCORE 4.85907680479E8
AT ITER 331 NEW BEST:: SOT 2141884519 SOS 1297158932 HAS SOPS 1297158932 HAS SOUS 484610433 HAS SOUPS 484610433 WITH SCORE 4.85907591932E8
AT ITER 354 NEW BEST:: SOT 2141800063 SOS 1296441054 HAS SOPS 1296441054 HAS SOUS 484610431 HAS SOUPS 484610431 WITH SCORE 4.85906872054E8
AT ITER 355 NEW BEST:: SOT 2141764331 SOS 1296137327 HAS SOPS 1296137327 HAS SOUS 484610426 HAS SOUPS 484610426 WITH SCORE 4.85906563327E8
AT ITER 360 NEW BEST:: SOT 2141760101 SOS 1296101361 HAS SOPS 1296101361 HAS SOUS 484610415 HAS SOUPS 484610415 WITH SCORE 4.85906516361E8
AT ITER 379 NEW BEST:: SOT 2141735141 SOS 1295889188 HAS SOPS 1295889188 HAS SOUS 484610402 HAS SOUPS 484610402 WITH SCORE 4.85906291188E8
AT ITER 386 NEW BEST:: SOT 2141712623 SOS 1295697771 HAS SOPS 1295697771 HAS SOUS 484610388 HAS SOUPS 484610388 WITH SCORE 4.85906085771E8
AT ITER 401 NEW BEST:: SOT 2141679375 SOS 1295415163 HAS SOPS 1295415163 HAS SOUS 484610388 HAS SOUPS 484610388 WITH SCORE 4.85905803163E8
AT ITER 426 NEW BEST:: SOT 2141650517 SOS 1295169867 HAS SOPS 1295169867 HAS SOUS 484610385 HAS SOUPS 484610385 WITH SCORE 4.85905554867E8
AT ITER 442 NEW BEST:: SOT 2141642751 SOS 1295103847 HAS SOPS 1295103847 HAS SOUS 484610376 HAS SOUPS 484610376 WITH SCORE 4.85905479847E8
AT ITER 466 NEW BEST:: SOT 2141563507 SOS 1294430260 HAS SOPS 1294430260 HAS SOUS 484610363 HAS SOUPS 484610363 WITH SCORE 4.8590479326E8
AT ITER 467 NEW BEST:: SOT 2141509027 SOS 1293967166 HAS SOPS 1293967166 HAS SOUS 484610349 HAS SOUPS 484610349 WITH SCORE 4.85904316166E8
AT ITER 490 NEW BEST:: SOT 2141415441 SOS 1293171680 HAS SOPS 1293171680 HAS SOUS 484610344 HAS SOUPS 484610344 WITH SCORE 4.8590351568E8
AT ITER 505 NEW BEST:: SOT 2141311917 SOS 1292291722 HAS SOPS 1292291722 HAS SOUS 484610340 HAS SOUPS 484610340 WITH SCORE 4.85902631722E8
AT ITER 506 NEW BEST:: SOT 2141228017 SOS 1291578560 HAS SOPS 1291578560 HAS SOUS 484610328 HAS SOUPS 484610328 WITH SCORE 4.8590190656E8
AT ITER 512 NEW BEST:: SOT 2141175329 SOS 1291130699 HAS SOPS 1291130699 HAS SOUS 484610315 HAS SOUPS 484610315 WITH SCORE 4.85901445699E8
AT ITER 539 NEW BEST:: SOT 2141129337 SOS 1290739767 HAS SOPS 1290739767 HAS SOUS 484610315 HAS SOUPS 484610315 WITH SCORE 4.85901054767E8
AT ITER 580 NEW BEST:: SOT 2141049937 SOS 1290064866 HAS SOPS 1290064866 HAS SOUS 484610314 HAS SOUPS 484610314 WITH SCORE 4.85900378866E8
AT ITER 608 NEW BEST:: SOT 2141039773 SOS 1289978463 HAS SOPS 1289978463 HAS SOUS 484610305 HAS SOUPS 484610305 WITH SCORE 4.85900283463E8
AT ITER 625 NEW BEST:: SOT 2140916093 SOS 1288927182 HAS SOPS 1288927182 HAS SOUS 484610304 HAS SOUPS 484610304 WITH SCORE 4.85899231182E8
AT ITER 636 NEW BEST:: SOT 2140887543 SOS 1288684503 HAS SOPS 1288684503 HAS SOUS 484610300 HAS SOUPS 484610300 WITH SCORE 4.85898984503E8
AT ITER 646 NEW BEST:: SOT 2140830397 SOS 1288198750 HAS SOPS 1288198750 HAS SOUS 484610288 HAS SOUPS 484610288 WITH SCORE 4.8589848675E8
AT ITER 649 NEW BEST:: SOT 2140745997 SOS 1287481349 HAS SOPS 1287481349 HAS SOUS 484610287 HAS SOUPS 484610287 WITH SCORE 4.85897768349E8
AT ITER 655 NEW BEST:: SOT 2140677643 SOS 1286900327 HAS SOPS 1286900327 HAS SOUS 484610274 HAS SOUPS 484610274 WITH SCORE 4.85897174327E8
AT ITER 661 NEW BEST:: SOT 2140659871 SOS 1286749253 HAS SOPS 1286749253 HAS SOUS 484610262 HAS SOUPS 484610262 WITH SCORE 4.85897011253E8
AT ITER 667 NEW BEST:: SOT 2140583881 SOS 1286103334 HAS SOPS 1286103334 HAS SOUS 484610258 HAS SOUPS 484610258 WITH SCORE 4.85896361334E8
AT ITER 670 NEW BEST:: SOT 2140507401 SOS 1285453252 HAS SOPS 1285453252 HAS SOUS 484610256 HAS SOUPS 484610256 WITH SCORE 4.85895709252E8
AT ITER 730 NEW BEST:: SOT 2140493597 SOS 1285335912 HAS SOPS 1285335912 HAS SOUS 484610250 HAS SOUPS 484610250 WITH SCORE 4.85895585912E8
AT ITER 752 NEW BEST:: SOT 2140438773 SOS 1284869898 HAS SOPS 1284869898 HAS SOUS 484610240 HAS SOUPS 484610240 WITH SCORE 4.85895109898E8
AT ITER 762 NEW BEST:: SOT 2140342013 SOS 1284047434 HAS SOPS 1284047434 HAS SOUS 484610236 HAS SOUPS 484610236 WITH SCORE 4.85894283434E8
AT ITER 791 NEW BEST:: SOT 2140322291 SOS 1283879790 HAS SOPS 1283879790 HAS SOUS 484610229 HAS SOUPS 484610229 WITH SCORE 4.8589410879E8
AT ITER 819 NEW BEST:: SOT 2140308191 SOS 1283759929 HAS SOPS 1283759929 HAS SOUS 484610218 HAS SOUPS 484610218 WITH SCORE 4.85893977929E8
AT ITER 846 NEW BEST:: SOT 2140252431 SOS 1283285959 HAS SOPS 1283285959 HAS SOUS 484610208 HAS SOUPS 484610208 WITH SCORE 4.85893493959E8
AT ITER 853 NEW BEST:: SOT 2140222149 SOS 1283028557 HAS SOPS 1283028557 HAS SOUS 484610203 HAS SOUPS 484610203 WITH SCORE 4.85893231557E8
AT ITER 924 NEW BEST:: SOT 2140190281 SOS 1282757679 HAS SOPS 1282757679 HAS SOUS 484610203 HAS SOUPS 484610203 WITH SCORE 4.85892960679E8
AT ITER 937 NEW BEST:: SOT 2140107749 SOS 1282056155 HAS SOPS 1282056155 HAS SOUS 484610201 HAS SOUPS 484610201 WITH SCORE 4.85892257155E8
AT ITER 999 NEW BEST:: SOT 2140076557 SOS 1281791015 HAS SOPS 1281791015 HAS SOUS 484610193 HAS SOUPS 484610193 WITH SCORE 4.85891984015E8
AT ITER 1020 NEW BEST:: SOT 2139958413 SOS 1280786777 HAS SOPS 1280786777 HAS SOUS 484610179 HAS SOUPS 484610179 WITH SCORE 4.85890965777E8
AT ITER 1049 NEW BEST:: SOT 2139938963 SOS 1280621446 HAS SOPS 1280621446 HAS SOUS 484610173 HAS SOUPS 484610173 WITH SCORE 4.85890794446E8
AT ITER 1067 NEW BEST:: SOT 2139926771 SOS 1280517809 HAS SOPS 1280517809 HAS SOUS 484610168 HAS SOUPS 484610168 WITH SCORE 4.85890685809E8
AT ITER 1073 NEW BEST:: SOT 2139876045 SOS 1280086637 HAS SOPS 1280086637 HAS SOUS 484610167 HAS SOUPS 484610167 WITH SCORE 4.85890253637E8
AT ITER 1093 NEW BEST:: SOT 2139844317 SOS 1279816939 HAS SOPS 1279816939 HAS SOUS 484610157 HAS SOUPS 484610157 WITH SCORE 4.85889973939E8
AT ITER 1102 NEW BEST:: SOT 2139836645 SOS 1279751721 HAS SOPS 1279751721 HAS SOUS 484610151 HAS SOUPS 484610151 WITH SCORE 4.85889902721E8
AT ITER 1109 NEW BEST:: SOT 2139801205 SOS 1279450476 HAS SOPS 1279450476 HAS SOUS 484610146 HAS SOUPS 484610146 WITH SCORE 4.85889596476E8
AT ITER 1139 NEW BEST:: SOT 2139787833 SOS 1279336806 HAS SOPS 1279336806 HAS SOUS 484610138 HAS SOUPS 484610138 WITH SCORE 4.85889474806E8
AT ITER 1165 NEW BEST:: SOT 2139671329 SOS 1278346519 HAS SOPS 1278346519 HAS SOUS 484610135 HAS SOUPS 484610135 WITH SCORE 4.85888481519E8
AT ITER 1178 NEW BEST:: SOT 2139628721 SOS 1277984342 HAS SOPS 1277984342 HAS SOUS 484610126 HAS SOUPS 484610126 WITH SCORE 4.85888110342E8
AT ITER 1198 NEW BEST:: SOT 2139521177 SOS 1277070218 HAS SOPS 1277070218 HAS SOUS 484610126 HAS SOUPS 484610126 WITH SCORE 4.85887196218E8
AT ITER 1201 NEW BEST:: SOT 2139517927 SOS 1277042579 HAS SOPS 1277042579 HAS SOUS 484610112 HAS SOUPS 484610112 WITH SCORE 4.85887154579E8
AT ITER 1217 NEW BEST:: SOT 2139441399 SOS 1276392080 HAS SOPS 1276392080 HAS SOUS 484610101 HAS SOUPS 484610101 WITH SCORE 4.8588649308E8
AT ITER 1227 NEW BEST:: SOT 2139423687 SOS 1276241528 HAS SOPS 1276241528 HAS SOUS 484610101 HAS SOUPS 484610101 WITH SCORE 4.85886342528E8
AT ITER 1245 NEW BEST:: SOT 2139335031 SOS 1275487942 HAS SOPS 1275487942 HAS SOUS 484610091 HAS SOUPS 484610091 WITH SCORE 4.85885578942E8
AT ITER 1258 NEW BEST:: SOT 2139312269 SOS 1275294450 HAS SOPS 1275294450 HAS SOUS 484610074 HAS SOUPS 484610074 WITH SCORE 4.8588536845E8
AT ITER 1296 NEW BEST:: SOT 2139302097 SOS 1275207982 HAS SOPS 1275207982 HAS SOUS 484610068 HAS SOUPS 484610068 WITH SCORE 4.85885275982E8
AT ITER 1309 NEW BEST:: SOT 2139252293 SOS 1274784636 HAS SOPS 1274784636 HAS SOUS 484610056 HAS SOUPS 484610056 WITH SCORE 4.85884840636E8
AT ITER 1315 NEW BEST:: SOT 2139139881 SOS 1273829126 HAS SOPS 1273829126 HAS SOUS 484610048 HAS SOUPS 484610048 WITH SCORE 4.85883877126E8
AT ITER 1324 NEW BEST:: SOT 2139109075 SOS 1273567275 HAS SOPS 1273567275 HAS SOUS 484610048 HAS SOUPS 484610048 WITH SCORE 4.85883615275E8
AT ITER 1365 NEW BEST:: SOT 2139094007 SOS 1273439183 HAS SOPS 1273439183 HAS SOUS 484610034 HAS SOUPS 484610034 WITH SCORE 4.85883473183E8
AT ITER 1377 NEW BEST:: SOT 2139055521 SOS 1273112046 HAS SOPS 1273112046 HAS SOUS 484610028 HAS SOUPS 484610028 WITH SCORE 4.85883140046E8
AT ITER 1390 NEW BEST:: SOT 2139050197 SOS 1273066790 HAS SOPS 1273066790 HAS SOUS 484610026 HAS SOUPS 484610026 WITH SCORE 4.8588309279E8
AT ITER 1391 NEW BEST:: SOT 2138985067 SOS 1272513185 HAS SOPS 1272513185 HAS SOUS 484610026 HAS SOUPS 484610026 WITH SCORE 4.85882539185E8
AT ITER 1395 NEW BEST:: SOT 2138920135 SOS 1271961258 HAS SOPS 1271961258 HAS SOUS 484610021 HAS SOUPS 484610021 WITH SCORE 4.85881982258E8
AT ITER 1435 NEW BEST:: SOT 2138740830 SOS 1270795297 HAS SOPS 1270795297 HAS SOUS 484587458 HAS SOUPS 484587458 WITH SCORE 4.85858253297E8
AT ITER 1438 NEW BEST:: SOT 2138693318 SOS 1270391437 HAS SOPS 1270391437 HAS SOUS 484587450 HAS SOUPS 484587450 WITH SCORE 4.85857841437E8
AT ITER 1449 NEW BEST:: SOT 2138640276 SOS 1269940578 HAS SOPS 1269940578 HAS SOUS 484587448 HAS SOUPS 484587448 WITH SCORE 4.85857388578E8
AT ITER 1450 NEW BEST:: SOT 2138623264 SOS 1269795970 HAS SOPS 1269795970 HAS SOUS 484587442 HAS SOUPS 484587442 WITH SCORE 4.8585723797E8
AT ITER 1520 NEW BEST:: SOT 2138562846 SOS 1269282402 HAS SOPS 1269282402 HAS SOUS 484587425 HAS SOUPS 484587425 WITH SCORE 4.85856707402E8
AT ITER 1534 NEW BEST:: SOT 2138486676 SOS 1268634950 HAS SOPS 1268634950 HAS SOUS 484587418 HAS SOUPS 484587418 WITH SCORE 4.8585605295E8
AT ITER 1539 NEW BEST:: SOT 2138370296 SOS 1267645705 HAS SOPS 1267645705 HAS SOUS 484587401 HAS SOUPS 484587401 WITH SCORE 4.85855046705E8
AT ITER 1541 NEW BEST:: SOT 2138259262 SOS 1266701907 HAS SOPS 1266701907 HAS SOUS 484587392 HAS SOUPS 484587392 WITH SCORE 4.85854093907E8
AT ITER 1547 NEW BEST:: SOT 2138251918 SOS 1266639474 HAS SOPS 1266639474 HAS SOUS 484587383 HAS SOUPS 484587383 WITH SCORE 4.85854022474E8
AT ITER 1550 NEW BEST:: SOT 2138231304 SOS 1266464251 HAS SOPS 1266464251 HAS SOUS 484587379 HAS SOUPS 484587379 WITH SCORE 4.85853843251E8
AT ITER 1555 NEW BEST:: SOT 2138149088 SOS 1265765403 HAS SOPS 1265765403 HAS SOUS 484587367 HAS SOUPS 484587367 WITH SCORE 4.85853132403E8
AT ITER 1564 NEW BEST:: SOT 2138078562 SOS 1265165926 HAS SOPS 1265165926 HAS SOUS 484587361 HAS SOUPS 484587361 WITH SCORE 4.85852526926E8
AT ITER 1574 NEW BEST:: SOT 2138044680 SOS 1264860988 HAS SOPS 1264860988 HAS SOUS 484570418 HAS SOUPS 484570418 WITH SCORE 4.85835278988E8
AT ITER 1597 NEW BEST:: SOT 2138016130 SOS 1264618304 HAS SOPS 1264618304 HAS SOUS 484570409 HAS SOUPS 484570409 WITH SCORE 4.85835027304E8
AT ITER 1606 NEW BEST:: SOT 2137992816 SOS 1264420134 HAS SOPS 1264420134 HAS SOUS 484570408 HAS SOUPS 484570408 WITH SCORE 4.85834828134E8
AT ITER 1639 NEW BEST:: SOT 2137964812 SOS 1264182097 HAS SOPS 1264182097 HAS SOUS 484570405 HAS SOUPS 484570405 WITH SCORE 4.85834587097E8
AT ITER 1689 NEW BEST:: SOT 2137959640 SOS 1264138127 HAS SOPS 1264138127 HAS SOUS 484570397 HAS SOUPS 484570397 WITH SCORE 4.85834535127E8
AT ITER 1699 NEW BEST:: SOT 2137926860 SOS 1263859497 HAS SOPS 1263859497 HAS SOUS 484570397 HAS SOUPS 484570397 WITH SCORE 4.85834256497E8
AT ITER 1715 NEW BEST:: SOT 2137897738 SOS 1263611946 HAS SOPS 1263611946 HAS SOUS 484570383 HAS SOUPS 484570383 WITH SCORE 4.85833994946E8
AT ITER 1720 NEW BEST:: SOT 2137827838 SOS 1263017796 HAS SOPS 1263017796 HAS SOUS 484570383 HAS SOUPS 484570383 WITH SCORE 4.85833400796E8
AT ITER 1748 NEW BEST:: SOT 2137770388 SOS 1262529457 HAS SOPS 1262529457 HAS SOUS 484570369 HAS SOUPS 484570369 WITH SCORE 4.85832898457E8
AT ITER 1759 NEW BEST:: SOT 2137761834 SOS 1262456733 HAS SOPS 1262456733 HAS SOUS 484570352 HAS SOUPS 484570352 WITH SCORE 4.85832808733E8
AT ITER 1798 NEW BEST:: SOT 2137683938 SOS 1261794613 HAS SOPS 1261794613 HAS SOUS 484570348 HAS SOUPS 484570348 WITH SCORE 4.85832142613E8
AT ITER 1805 NEW BEST:: SOT 2137660794 SOS 1261597881 HAS SOPS 1261597881 HAS SOUS 484570340 HAS SOUPS 484570340 WITH SCORE 4.85831937881E8
AT ITER 1807 NEW BEST:: SOT 2137645042 SOS 1261463977 HAS SOPS 1261463977 HAS SOUS 484570328 HAS SOUPS 484570328 WITH SCORE 4.85831791977E8
AT ITER 1808 NEW BEST:: SOT 2137572532 SOS 1260847631 HAS SOPS 1260847631 HAS SOUS 484570317 HAS SOUPS 484570317 WITH SCORE 4.85831164631E8
AT ITER 1816 NEW BEST:: SOT 2137512824 SOS 1260340098 HAS SOPS 1260340098 HAS SOUS 484570300 HAS SOUPS 484570300 WITH SCORE 4.85830640098E8
AT ITER 1822 NEW BEST:: SOT 2137429010 SOS 1259627676 HAS SOPS 1259627676 HAS SOUS 484570297 HAS SOUPS 484570297 WITH SCORE 4.85829924676E8
AT ITER 1829 NEW BEST:: SOT 2137418154 SOS 1259535398 HAS SOPS 1259535398 HAS SOUS 484570295 HAS SOUPS 484570295 WITH SCORE 4.85829830398E8
AT ITER 1872 NEW BEST:: SOT 2137315270 SOS 1258660880 HAS SOPS 1258660880 HAS SOUS 484570291 HAS SOUPS 484570291 WITH SCORE 4.8582895188E8
AT ITER 1886 NEW BEST:: SOT 2137250476 SOS 1258110124 HAS SOPS 1258110124 HAS SOUS 484570284 HAS SOUPS 484570284 WITH SCORE 4.85828394124E8
AT ITER 1895 NEW BEST:: SOT 2137222468 SOS 1257872041 HAS SOPS 1257872041 HAS SOUS 484570267 HAS SOUPS 484570267 WITH SCORE 4.85828139041E8
AT ITER 1917 NEW BEST:: SOT 2137220920 SOS 1257858868 HAS SOPS 1257858868 HAS SOUS 484570250 HAS SOUPS 484570250 WITH SCORE 4.85828108868E8
AT ITER 1928 NEW BEST:: SOT 2137120478 SOS 1257005096 HAS SOPS 1257005096 HAS SOUS 484570233 HAS SOUPS 484570233 WITH SCORE 4.85827238096E8
AT ITER 1973 NEW BEST:: SOT 2136930172 SOS 1255826394 HAS SOPS 1255826394 HAS SOUS 484520266 HAS SOUPS 484520266 WITH SCORE 4.85776092394E8
AT ITER 2021 NEW BEST:: SOT 2136859528 SOS 1255225912 HAS SOPS 1255225912 HAS SOUS 484520258 HAS SOUPS 484520258 WITH SCORE 4.85775483912E8
AT ITER 2022 NEW BEST:: SOT 2136859528 SOS 1255225910 HAS SOPS 1255225910 HAS SOUS 484520256 HAS SOUPS 484520256 WITH SCORE 4.8577548191E8
AT ITER 2026 NEW BEST:: SOT 2136839640 SOS 1255056854 HAS SOPS 1255056854 HAS SOUS 484520248 HAS SOUPS 484520248 WITH SCORE 4.85775304854E8
AT ITER 2034 NEW BEST:: SOT 2136729980 SOS 1254124738 HAS SOPS 1254124738 HAS SOUS 484520242 HAS SOUPS 484520242 WITH SCORE 4.85774366738E8
AT ITER 2072 NEW BEST:: SOT 2136644842 SOS 1253401052 HAS SOPS 1253401052 HAS SOUS 484520229 HAS SOUPS 484520229 WITH SCORE 4.85773630052E8
AT ITER 2118 NEW BEST:: SOT 2136566304 SOS 1252733467 HAS SOPS 1252733467 HAS SOUS 484520217 HAS SOUPS 484520217 WITH SCORE 4.85772950467E8
AT ITER 2127 NEW BEST:: SOT 2136557292 SOS 1252656850 HAS SOPS 1252656850 HAS SOUS 484520200 HAS SOUPS 484520200 WITH SCORE 4.8577285685E8
AT ITER 2148 NEW BEST:: SOT 2136479100 SOS 1251992209 HAS SOPS 1251992209 HAS SOUS 484520191 HAS SOUPS 484520191 WITH SCORE 4.85772183209E8
AT ITER 2152 NEW BEST:: SOT 2136460250 SOS 1251831983 HAS SOPS 1251831983 HAS SOUS 484520190 HAS SOUPS 484520190 WITH SCORE 4.85772021983E8
AT ITER 2156 NEW BEST:: SOT 2136449682 SOS 1251742154 HAS SOPS 1251742154 HAS SOUS 484520189 HAS SOUPS 484520189 WITH SCORE 4.85771931154E8
AT ITER 2227 NEW BEST:: SOT 2136391926 SOS 1251251220 HAS SOPS 1251251220 HAS SOUS 484520181 HAS SOUPS 484520181 WITH SCORE 4.8577143222E8
AT ITER 2236 NEW BEST:: SOT 2136314424 SOS 1250592451 HAS SOPS 1250592451 HAS SOUS 484520179 HAS SOUPS 484520179 WITH SCORE 4.85770771451E8
AT ITER 2245 NEW BEST:: SOT 2136299548 SOS 1250465996 HAS SOPS 1250465996 HAS SOUS 484520170 HAS SOUPS 484520170 WITH SCORE 4.85770635996E8
AT ITER 2266 NEW BEST:: SOT 2136245318 SOS 1249977926 HAS SOPS 1249977926 HAS SOUS 484493055 HAS SOUPS 484493055 WITH SCORE 4.85743032926E8
AT ITER 2273 NEW BEST:: SOT 2136205362 SOS 1249638297 HAS SOPS 1249638297 HAS SOUS 484493052 HAS SOUPS 484493052 WITH SCORE 4.85742690297E8
AT ITER 2277 NEW BEST:: SOT 2136133006 SOS 1249023257 HAS SOPS 1249023257 HAS SOUS 484493038 HAS SOUPS 484493038 WITH SCORE 4.85742061257E8
AT ITER 2284 NEW BEST:: SOT 2136105458 SOS 1248789093 HAS SOPS 1248789093 HAS SOUS 484493032 HAS SOUPS 484493032 WITH SCORE 4.85741821093E8
AT ITER 2285 NEW BEST:: SOT 2136021282 SOS 1248073591 HAS SOPS 1248073591 HAS SOUS 484493026 HAS SOUPS 484493026 WITH SCORE 4.85741099591E8
AT ITER 2308 NEW BEST:: SOT 2135937224 SOS 1247317069 HAS SOPS 1247317069 HAS SOUS 484450997 HAS SOUPS 484450997 WITH SCORE 4.85698314069E8
AT ITER 2319 NEW BEST:: SOT 2135921812 SOS 1247179169 HAS SOPS 1247179169 HAS SOUS 484444099 HAS SOUPS 484444099 WITH SCORE 4.85691278169E8
AT ITER 2328 NEW BEST:: SOT 2135874594 SOS 1246777803 HAS SOPS 1246777803 HAS SOUS 484444086 HAS SOUPS 484444086 WITH SCORE 4.85690863803E8
AT ITER 2357 NEW BEST:: SOT 2135834998 SOS 1246441226 HAS SOPS 1246441226 HAS SOUS 484444075 HAS SOUPS 484444075 WITH SCORE 4.85690516226E8
AT ITER 2404 NEW BEST:: SOT 2135818020 SOS 1246296902 HAS SOPS 1246296902 HAS SOUS 484444064 HAS SOUPS 484444064 WITH SCORE 4.85690360902E8
AT ITER 2420 NEW BEST:: SOT 2135793368 SOS 1246087356 HAS SOPS 1246087356 HAS SOUS 484444060 HAS SOUPS 484444060 WITH SCORE 4.85690147356E8
AT ITER 2437 NEW BEST:: SOT 2135726340 SOS 1245517611 HAS SOPS 1245517611 HAS SOUS 484444053 HAS SOUPS 484444053 WITH SCORE 4.85689570611E8
AT ITER 2443 NEW BEST:: SOT 2135676860 SOS 1245097027 HAS SOPS 1245097027 HAS SOUS 484444049 HAS SOUPS 484444049 WITH SCORE 4.85689146027E8
AT ITER 2447 NEW BEST:: SOT 2135605394 SOS 1244489559 HAS SOPS 1244489559 HAS SOUS 484444042 HAS SOUPS 484444042 WITH SCORE 4.85688531559E8
AT ITER 2492 NEW BEST:: SOT 2135596624 SOS 1244415012 HAS SOPS 1244415012 HAS SOUS 484444040 HAS SOUPS 484444040 WITH SCORE 4.85688455012E8
AT ITER 2517 NEW BEST:: SOT 2135582012 SOS 1244290798 HAS SOPS 1244290798 HAS SOUS 484444028 HAS SOUPS 484444028 WITH SCORE 4.85688318798E8
AT ITER 2520 NEW BEST:: SOT 2135523778 SOS 1243795799 HAS SOPS 1243795799 HAS SOUS 484444018 HAS SOUPS 484444018 WITH SCORE 4.85687813799E8
AT ITER 2521 NEW BEST:: SOT 2135501632 SOS 1243607547 HAS SOPS 1243607547 HAS SOUS 484444007 HAS SOUPS 484444007 WITH SCORE 4.85687614547E8
AT ITER 2529 NEW BEST:: SOT 2135415990 SOS 1242879590 HAS SOPS 1242879590 HAS SOUS 484444007 HAS SOUPS 484444007 WITH SCORE 4.8568688659E8
AT ITER 2535 NEW BEST:: SOT 2135393134 SOS 1242685306 HAS SOPS 1242685306 HAS SOUS 484443999 HAS SOUPS 484443999 WITH SCORE 4.85686684306E8
AT ITER 2548 NEW BEST:: SOT 2135323150 SOS 1242090434 HAS SOPS 1242090434 HAS SOUS 484443991 HAS SOUPS 484443991 WITH SCORE 4.85686081434E8
AT ITER 2569 NEW BEST:: SOT 2135259192 SOS 1241546787 HAS SOPS 1241546787 HAS SOUS 484443987 HAS SOUPS 484443987 WITH SCORE 4.85685533787E8
AT ITER 2589 NEW BEST:: SOT 2135244904 SOS 1241425328 HAS SOPS 1241425328 HAS SOUS 484443976 HAS SOUPS 484443976 WITH SCORE 4.85685401328E8
AT ITER 2609 NEW BEST:: SOT 2135156043 SOS 1240605522 HAS SOPS 1240605522 HAS SOUS 484406271 HAS SOUPS 484406271 WITH SCORE 4.85646876522E8
AT ITER 2663 NEW BEST:: SOT 2135143365 SOS 1240497748 HAS SOPS 1240497748 HAS SOUS 484406260 HAS SOUPS 484406260 WITH SCORE 4.85646757748E8
AT ITER 2694 NEW BEST:: SOT 2135053211 SOS 1239731437 HAS SOPS 1239731437 HAS SOUS 484406258 HAS SOUPS 484406258 WITH SCORE 4.85645989437E8
AT ITER 2695 NEW BEST:: SOT 2134992475 SOS 1239215176 HAS SOPS 1239215176 HAS SOUS 484406253 HAS SOUPS 484406253 WITH SCORE 4.85645468176E8
AT ITER 2735 NEW BEST:: SOT 2134975777 SOS 1239073232 HAS SOPS 1239073232 HAS SOUS 484406242 HAS SOUPS 484406242 WITH SCORE 4.85645315232E8
AT ITER 2759 NEW BEST:: SOT 2134934451 SOS 1238721953 HAS SOPS 1238721953 HAS SOUS 484406234 HAS SOUPS 484406234 WITH SCORE 4.85644955953E8
AT ITER 2765 NEW BEST:: SOT 2134836681 SOS 1237890896 HAS SOPS 1237890896 HAS SOUS 484406222 HAS SOUPS 484406222 WITH SCORE 4.85644112896E8
AT ITER 2766 NEW BEST:: SOT 2134789629 SOS 1237490951 HAS SOPS 1237490951 HAS SOUS 484406219 HAS SOUPS 484406219 WITH SCORE 4.85643709951E8
AT ITER 2774 NEW BEST:: SOT 2134773741 SOS 1237355901 HAS SOPS 1237355901 HAS SOUS 484406217 HAS SOUPS 484406217 WITH SCORE 4.85643572901E8
AT ITER 2824 NEW BEST:: SOT 2134699007 SOS 1236720656 HAS SOPS 1236720656 HAS SOUS 484406211 HAS SOUPS 484406211 WITH SCORE 4.85642931656E8
AT ITER 2826 NEW BEST:: SOT 2134668577 SOS 1236461995 HAS SOPS 1236461995 HAS SOUS 484406205 HAS SOUPS 484406205 WITH SCORE 4.85642666995E8
AT ITER 2834 NEW BEST:: SOT 2134635391 SOS 1236158241 HAS SOPS 1236158241 HAS SOUS 484393397 HAS SOUPS 484393397 WITH SCORE 4.85629555241E8
AT ITER 2853 NEW BEST:: SOT 2134593337 SOS 1235800781 HAS SOPS 1235800781 HAS SOUS 484393396 HAS SOUPS 484393396 WITH SCORE 4.85629196781E8
AT ITER 2920 NEW BEST:: SOT 2134480475 SOS 1234841450 HAS SOPS 1234841450 HAS SOUS 484393392 HAS SOUPS 484393392 WITH SCORE 4.8562823345E8
AT ITER 2927 NEW BEST:: SOT 2134443879 SOS 1234530378 HAS SOPS 1234530378 HAS SOUS 484393386 HAS SOUPS 484393386 WITH SCORE 4.85627916378E8
AT ITER 2948 NEW BEST:: SOT 2134404561 SOS 1234196175 HAS SOPS 1234196175 HAS SOUS 484393386 HAS SOUPS 484393386 WITH SCORE 4.85627582175E8
AT ITER 2949 NEW BEST:: SOT 2134340835 SOS 1233654495 HAS SOPS 1233654495 HAS SOUS 484393377 HAS SOUPS 484393377 WITH SCORE 4.85627031495E8
AT ITER 2966 NEW BEST:: SOT 2134307465 SOS 1233370847 HAS SOPS 1233370847 HAS SOUS 484393374 HAS SOUPS 484393374 WITH SCORE 4.85626744847E8
AT ITER 2970 NEW BEST:: SOT 2134305691 SOS 1233355757 HAS SOPS 1233355757 HAS SOUS 484393363 HAS SOUPS 484393363 WITH SCORE 4.85626718757E8
AT ITER 2981 NEW BEST:: SOT 2134298005 SOS 1233290417 HAS SOPS 1233290417 HAS SOUS 484393354 HAS SOUPS 484393354 WITH SCORE 4.85626644417E8
AT ITER 2982 NEW BEST:: SOT 2134221935 SOS 1232643815 HAS SOPS 1232643815 HAS SOUS 484393347 HAS SOUPS 484393347 WITH SCORE 4.85625990815E8
AT ITER 3008 NEW BEST:: SOT 2134212727 SOS 1232565532 HAS SOPS 1232565532 HAS SOUS 484393330 HAS SOUPS 484393330 WITH SCORE 4.85625895532E8
AT ITER 3012 NEW BEST:: SOT 2134144165 SOS 1231982744 HAS SOPS 1231982744 HAS SOUS 484393319 HAS SOUPS 484393319 WITH SCORE 4.85625301744E8
AT ITER 3020 NEW BEST:: SOT 2134128957 SOS 1231853467 HAS SOPS 1231853467 HAS SOUS 484393310 HAS SOUPS 484393310 WITH SCORE 4.85625163467E8
AT ITER 3039 NEW BEST:: SOT 2134117007 SOS 1231751883 HAS SOPS 1231751883 HAS SOUS 484393301 HAS SOUPS 484393301 WITH SCORE 4.85625052883E8
AT ITER 3050 NEW BEST:: SOT 2134037035 SOS 1231072116 HAS SOPS 1231072116 HAS SOUS 484393296 HAS SOUPS 484393296 WITH SCORE 4.85624368116E8
AT ITER 3061 NEW BEST:: SOT 2133922989 SOS 1230102718 HAS SOPS 1230102718 HAS SOUS 484393289 HAS SOUPS 484393289 WITH SCORE 4.85623391718E8
AT ITER 3062 NEW BEST:: SOT 2133816271 SOS 1229195610 HAS SOPS 1229195610 HAS SOUS 484393284 HAS SOUPS 484393284 WITH SCORE 4.8562247961E8
AT ITER 3064 NEW BEST:: SOT 2133772037 SOS 1228819608 HAS SOPS 1228819608 HAS SOUS 484393271 HAS SOUPS 484393271 WITH SCORE 4.85622090608E8
AT ITER 3090 NEW BEST:: SOT 2133695343 SOS 1228167705 HAS SOPS 1228167705 HAS SOUS 484393267 HAS SOUPS 484393267 WITH SCORE 4.85621434705E8
AT ITER 3117 NEW BEST:: SOT 2133601149 SOS 1227367044 HAS SOPS 1227367044 HAS SOUS 484393255 HAS SOUPS 484393255 WITH SCORE 4.85620622044E8
AT ITER 3131 NEW BEST:: SOT 2133523379 SOS 1226705997 HAS SOPS 1226705997 HAS SOUS 484393253 HAS SOUPS 484393253 WITH SCORE 4.85619958997E8
AT ITER 3158 NEW BEST:: SOT 2133464911 SOS 1226209011 HAS SOPS 1226209011 HAS SOUS 484393245 HAS SOUPS 484393245 WITH SCORE 4.85619454011E8
AT ITER 3184 NEW BEST:: SOT 2133364773 SOS 1225357828 HAS SOPS 1225357828 HAS SOUS 484393235 HAS SOUPS 484393235 WITH SCORE 4.85618592828E8
AT ITER 3202 NEW BEST:: SOT 2133326097 SOS 1225029073 HAS SOPS 1225029073 HAS SOUS 484393226 HAS SOUPS 484393226 WITH SCORE 4.85618255073E8
AT ITER 3223 NEW BEST:: SOT 2133244167 SOS 1224332668 HAS SOPS 1224332668 HAS SOUS 484393226 HAS SOUPS 484393226 WITH SCORE 4.85617558668E8
AT ITER 3229 NEW BEST:: SOT 2133234903 SOS 1224252933 HAS SOPS 1224252933 HAS SOUS 484392235 HAS SOUPS 484392235 WITH SCORE 4.85616487933E8
AT ITER 3234 NEW BEST:: SOT 2133221177 SOS 1224136251 HAS SOPS 1224136251 HAS SOUS 484392224 HAS SOUPS 484392224 WITH SCORE 4.85616360251E8
AT ITER 3235 NEW BEST:: SOT 2133143135 SOS 1223472886 HAS SOPS 1223472886 HAS SOUS 484392216 HAS SOUPS 484392216 WITH SCORE 4.85615688886E8
AT ITER 3236 NEW BEST:: SOT 2133092115 SOS 1223039206 HAS SOPS 1223039206 HAS SOUS 484392206 HAS SOUPS 484392206 WITH SCORE 4.85615245206E8
AT ITER 3251 NEW BEST:: SOT 2133061641 SOS 1222780166 HAS SOPS 1222780166 HAS SOUS 484392195 HAS SOUPS 484392195 WITH SCORE 4.85614975166E8
AT ITER 3268 NEW BEST:: SOT 2133046267 SOS 1222649476 HAS SOPS 1222649476 HAS SOUS 484392184 HAS SOUPS 484392184 WITH SCORE 4.85614833476E8
AT ITER 3279 NEW BEST:: SOT 2132975355 SOS 1221991729 HAS SOPS 1221991729 HAS SOUS 484363874 HAS SOUPS 484363874 WITH SCORE 4.85585865729E8
AT ITER 3292 NEW BEST:: SOT 2132911717 SOS 1221450799 HAS SOPS 1221450799 HAS SOUS 484363867 HAS SOUPS 484363867 WITH SCORE 4.85585317799E8
AT ITER 3323 NEW BEST:: SOT 2132877541 SOS 1221146531 HAS SOPS 1221146531 HAS SOUS 484350095 HAS SOUPS 484350095 WITH SCORE 4.85571241531E8
AT ITER 3337 NEW BEST:: SOT 2132860591 SOS 1221002453 HAS SOPS 1221002453 HAS SOUS 484350092 HAS SOUPS 484350092 WITH SCORE 4.85571094453E8
AT ITER 3351 NEW BEST:: SOT 2132730195 SOS 1219894079 HAS SOPS 1219894079 HAS SOUS 484350084 HAS SOUPS 484350084 WITH SCORE 4.85569978079E8
AT ITER 3359 NEW BEST:: SOT 2132647315 SOS 1219148159 HAS SOPS 1219148159 HAS SOUS 484308644 HAS SOUPS 484308644 WITH SCORE 4.85527792159E8
AT ITER 3369 NEW BEST:: SOT 2132583465 SOS 1218605432 HAS SOPS 1218605432 HAS SOUS 484308642 HAS SOUPS 484308642 WITH SCORE 4.85527247432E8
AT ITER 3372 NEW BEST:: SOT 2132553537 SOS 1218351036 HAS SOPS 1218351036 HAS SOUS 484308634 HAS SOUPS 484308634 WITH SCORE 4.85526985036E8
AT ITER 3378 NEW BEST:: SOT 2132515297 SOS 1218025983 HAS SOPS 1218025983 HAS SOUS 484308621 HAS SOUPS 484308621 WITH SCORE 4.85526646983E8
AT ITER 3382 NEW BEST:: SOT 2132426021 SOS 1217267137 HAS SOPS 1217267137 HAS SOUS 484308621 HAS SOUPS 484308621 WITH SCORE 4.85525888137E8
AT ITER 3403 NEW BEST:: SOT 2132423217 SOS 1217243296 HAS SOPS 1217243296 HAS SOUS 484308614 HAS SOUPS 484308614 WITH SCORE 4.85525857296E8
AT ITER 3427 NEW BEST:: SOT 2132394193 SOS 1216996584 HAS SOPS 1216996584 HAS SOUS 484308606 HAS SOUPS 484308606 WITH SCORE 4.85525602584E8
AT ITER 3455 NEW BEST:: SOT 2132382503 SOS 1216891374 HAS SOPS 1216891374 HAS SOUS 484302761 HAS SOUPS 484302761 WITH SCORE 4.85519652374E8
AT ITER 3458 NEW BEST:: SOT 2132370129 SOS 1216786183 HAS SOPS 1216786183 HAS SOUS 484302749 HAS SOUPS 484302749 WITH SCORE 4.85519535183E8
AT ITER 3475 NEW BEST:: SOT 2132267727 SOS 1215915759 HAS SOPS 1215915759 HAS SOUS 484302742 HAS SOUPS 484302742 WITH SCORE 4.85518657759E8
AT ITER 3482 NEW BEST:: SOT 2132237851 SOS 1215661799 HAS SOPS 1215661799 HAS SOUS 484302728 HAS SOUPS 484302728 WITH SCORE 4.85518389799E8
AT ITER 3595 NEW BEST:: SOT 2132168235 SOS 1215070050 HAS SOPS 1215070050 HAS SOUS 484302715 HAS SOUPS 484302715 WITH SCORE 4.8551778505E8
AT ITER 3615 NEW BEST:: SOT 2132160261 SOS 1215002268 HAS SOPS 1215002268 HAS SOUS 484302712 HAS SOUPS 484302712 WITH SCORE 4.85517714268E8
AT ITER 3650 NEW BEST:: SOT 2132125213 SOS 1214704359 HAS SOPS 1214704359 HAS SOUS 484302711 HAS SOUPS 484302711 WITH SCORE 4.85517415359E8
AT ITER 3666 NEW BEST:: SOT 2132107264 SOS 1214532819 HAS SOPS 1214532819 HAS SOUS 484296555 HAS SOUPS 484296555 WITH SCORE 4.85511087819E8
AT ITER 3672 NEW BEST:: SOT 2132089344 SOS 1214380486 HAS SOPS 1214380486 HAS SOUS 484296542 HAS SOUPS 484296542 WITH SCORE 4.85510922486E8
AT ITER 3677 NEW BEST:: SOT 2131987465 SOS 1213443760 HAS SOPS 1213443760 HAS SOUS 484251025 HAS SOUPS 484251025 WITH SCORE 4.8546446876E8
AT ITER 3685 NEW BEST:: SOT 2131882763 SOS 1212553781 HAS SOPS 1212553781 HAS SOUS 484251013 HAS SOUPS 484251013 WITH SCORE 4.85463566781E8
AT ITER 3689 NEW BEST:: SOT 2131824587 SOS 1212059277 HAS SOPS 1212059277 HAS SOUS 484251005 HAS SOUPS 484251005 WITH SCORE 4.85463064277E8
AT ITER 3694 NEW BEST:: SOT 2131742413 SOS 1211360784 HAS SOPS 1211360784 HAS SOUS 484250991 HAS SOUPS 484250991 WITH SCORE 4.85462351784E8
AT ITER 3697 NEW BEST:: SOT 2131725823 SOS 1211211474 HAS SOPS 1211211474 HAS SOUS 484242696 HAS SOUPS 484242696 WITH SCORE 4.85453907474E8
AT ITER 3721 NEW BEST:: SOT 2131660503 SOS 1210624271 HAS SOPS 1210624271 HAS SOUS 484210713 HAS SOUPS 484210713 WITH SCORE 4.85421337271E8
AT ITER 3741 NEW BEST:: SOT 2131603417 SOS 1210139032 HAS SOPS 1210139032 HAS SOUS 484210705 HAS SOUPS 484210705 WITH SCORE 4.85420844032E8
AT ITER 3768 NEW BEST:: SOT 2131558043 SOS 1209753352 HAS SOPS 1209753352 HAS SOUS 484210704 HAS SOUPS 484210704 WITH SCORE 4.85420457352E8
AT ITER 3776 NEW BEST:: SOT 2131466009 SOS 1208971062 HAS SOPS 1208971062 HAS SOUS 484210703 HAS SOUPS 484210703 WITH SCORE 4.85419674062E8
AT ITER 3789 NEW BEST:: SOT 2131448155 SOS 1208819300 HAS SOPS 1208819300 HAS SOUS 484210700 HAS SOUPS 484210700 WITH SCORE 4.854195193E8
AT ITER 3797 NEW BEST:: SOT 2131435713 SOS 1208713540 HAS SOPS 1208713540 HAS SOUS 484210697 HAS SOUPS 484210697 WITH SCORE 4.8541941054E8
AT ITER 3804 NEW BEST:: SOT 2131435713 SOS 1208713538 HAS SOPS 1208713538 HAS SOUS 484210695 HAS SOUPS 484210695 WITH SCORE 4.85419408538E8
AT ITER 3839 NEW BEST:: SOT 2131345345 SOS 1207945397 HAS SOPS 1207945397 HAS SOUS 484210682 HAS SOUPS 484210682 WITH SCORE 4.85418627397E8
AT ITER 3853 NEW BEST:: SOT 2131343689 SOS 1207931312 HAS SOPS 1207931312 HAS SOUS 484210673 HAS SOUPS 484210673 WITH SCORE 4.85418604312E8
AT ITER 3869 NEW BEST:: SOT 2131295723 SOS 1207523599 HAS SOPS 1207523599 HAS SOUS 484210671 HAS SOUPS 484210671 WITH SCORE 4.85418194599E8
AT ITER 3881 NEW BEST:: SOT 2131199295 SOS 1206703956 HAS SOPS 1206703956 HAS SOUS 484210666 HAS SOUPS 484210666 WITH SCORE 4.85417369956E8
AT ITER 3904 NEW BEST:: SOT 2131131497 SOS 1206127672 HAS SOPS 1206127672 HAS SOUS 484210665 HAS SOUPS 484210665 WITH SCORE 4.85416792672E8
AT ITER 3908 NEW BEST:: SOT 2131112575 SOS 1205957374 HAS SOPS 1205957374 HAS SOUS 484201202 HAS SOUPS 484201202 WITH SCORE 4.85407159374E8
AT ITER 4000 NEW BEST:: SOT 2131001933 SOS 1205016914 HAS SOPS 1205016914 HAS SOUS 484201199 HAS SOUPS 484201199 WITH SCORE 4.85406215914E8
AT ITER 4007 NEW BEST:: SOT 2130976485 SOS 1204800598 HAS SOPS 1204800598 HAS SOUS 484201191 HAS SOUPS 484201191 WITH SCORE 4.85405991598E8
AT ITER 4012 NEW BEST:: SOT 2130968821 SOS 1204735445 HAS SOPS 1204735445 HAS SOUS 484201182 HAS SOUPS 484201182 WITH SCORE 4.85405917445E8
AT ITER 4030 NEW BEST:: SOT 2130954467 SOS 1204613426 HAS SOPS 1204613426 HAS SOUS 484201172 HAS SOUPS 484201172 WITH SCORE 4.85405785426E8
AT ITER 4032 NEW BEST:: SOT 2130870073 SOS 1203837028 HAS SOPS 1203837028 HAS SOUS 484164113 HAS SOUPS 484164113 WITH SCORE 4.85367950028E8
AT ITER 4042 NEW BEST:: SOT 2130764943 SOS 1202943421 HAS SOPS 1202943421 HAS SOUS 484164111 HAS SOUPS 484164111 WITH SCORE 4.85367054421E8
AT ITER 4046 NEW BEST:: SOT 2130753925 SOS 1202849755 HAS SOPS 1202849755 HAS SOUS 484164098 HAS SOUPS 484164098 WITH SCORE 4.85366947755E8
AT ITER 4050 NEW BEST:: SOT 2130636351 SOS 1201850366 HAS SOPS 1201850366 HAS SOUS 484164088 HAS SOUPS 484164088 WITH SCORE 4.85365938366E8
AT ITER 4067 NEW BEST:: SOT 2130575413 SOS 1201332384 HAS SOPS 1201332384 HAS SOUS 484164079 HAS SOUPS 484164079 WITH SCORE 4.85365411384E8
AT ITER 4079 NEW BEST:: SOT 2130445545 SOS 1200228506 HAS SOPS 1200228506 HAS SOUS 484164079 HAS SOUPS 484164079 WITH SCORE 4.85364307506E8
AT ITER 4085 NEW BEST:: SOT 2130439723 SOS 1200179013 HAS SOPS 1200179013 HAS SOUS 484164073 HAS SOUPS 484164073 WITH SCORE 4.85364252013E8
AT ITER 4093 NEW BEST:: SOT 2130386931 SOS 1199730281 HAS SOPS 1199730281 HAS SOUS 484164073 HAS SOUPS 484164073 WITH SCORE 4.85363803281E8
AT ITER 4134 NEW BEST:: SOT 2130337505 SOS 1199310145 HAS SOPS 1199310145 HAS SOUS 484164056 HAS SOUPS 484164056 WITH SCORE 4.85363366145E8
AT ITER 4144 NEW BEST:: SOT 2130295659 SOS 1198954452 HAS SOPS 1198954452 HAS SOUS 484164054 HAS SOUPS 484164054 WITH SCORE 4.85363008452E8
AT ITER 4167 NEW BEST:: SOT 2130190925 SOS 1198064201 HAS SOPS 1198064201 HAS SOUS 484164042 HAS SOUPS 484164042 WITH SCORE 4.85362106201E8
AT ITER 4172 NEW BEST:: SOT 2130179285 SOS 1197965259 HAS SOPS 1197965259 HAS SOUS 484164040 HAS SOUPS 484164040 WITH SCORE 4.85362005259E8
AT ITER 4190 NEW BEST:: SOT 2130169397 SOS 1197881204 HAS SOPS 1197881204 HAS SOUS 484164033 HAS SOUPS 484164033 WITH SCORE 4.85361914204E8
AT ITER 4202 NEW BEST:: SOT 2130127203 SOS 1197501458 HAS SOPS 1197501458 HAS SOUS 484142936 HAS SOUPS 484142936 WITH SCORE 4.85340437458E8
AT ITER 4266 NEW BEST:: SOT 2130032239 SOS 1196694256 HAS SOPS 1196694256 HAS SOUS 484142928 HAS SOUPS 484142928 WITH SCORE 4.85339622256E8
AT ITER 4288 NEW BEST:: SOT 2129987977 SOS 1196318021 HAS SOPS 1196318021 HAS SOUS 484142920 HAS SOUPS 484142920 WITH SCORE 4.85339238021E8
AT ITER 4308 NEW BEST:: SOT 2129906047 SOS 1195621605 HAS SOPS 1195621605 HAS SOUS 484142909 HAS SOUPS 484142909 WITH SCORE 4.85338530605E8
AT ITER 4317 NEW BEST:: SOT 2129852527 SOS 1195166674 HAS SOPS 1195166674 HAS SOUS 484142898 HAS SOUPS 484142898 WITH SCORE 4.85338064674E8
AT ITER 4329 NEW BEST:: SOT 2129808085 SOS 1194788917 HAS SOPS 1194788917 HAS SOUS 484142898 HAS SOUPS 484142898 WITH SCORE 4.85337686917E8
AT ITER 4331 NEW BEST:: SOT 2129732707 SOS 1194148201 HAS SOPS 1194148201 HAS SOUS 484142895 HAS SOUPS 484142895 WITH SCORE 4.85337043201E8
AT ITER 4338 NEW BEST:: SOT 2129672401 SOS 1193635586 HAS SOPS 1193635586 HAS SOUS 484142881 HAS SOUPS 484142881 WITH SCORE 4.85336516586E8
AT ITER 4339 NEW BEST:: SOT 2129614511 SOS 1193143517 HAS SOPS 1193143517 HAS SOUS 484142877 HAS SOUPS 484142877 WITH SCORE 4.85336020517E8
AT ITER 4370 NEW BEST:: SOT 2129572169 SOS 1192783607 HAS SOPS 1192783607 HAS SOUS 484142874 HAS SOUPS 484142874 WITH SCORE 4.85335657607E8
AT ITER 4385 NEW BEST:: SOT 2129521833 SOS 1192355741 HAS SOPS 1192355741 HAS SOUS 484142864 HAS SOUPS 484142864 WITH SCORE 4.85335219741E8
AT ITER 4404 NEW BEST:: SOT 2129508820 SOS 1192221951 HAS SOPS 1192221951 HAS SOUS 484141832 HAS SOUPS 484141832 WITH SCORE 4.85334053951E8
AT ITER 4429 NEW BEST:: SOT 2129363663 SOS 1191080729 HAS SOPS 1191080729 HAS SOUS 484134054 HAS SOUPS 484134054 WITH SCORE 4.85325134729E8
AT ITER 4434 NEW BEST:: SOT 2129344279 SOS 1190915961 HAS SOPS 1190915961 HAS SOUS 484134050 HAS SOUPS 484134050 WITH SCORE 4.85324965961E8
AT ITER 4438 NEW BEST:: SOT 2129291245 SOS 1190465170 HAS SOPS 1190465170 HAS SOUS 484134048 HAS SOUPS 484134048 WITH SCORE 4.8532451317E8
AT ITER 4453 NEW BEST:: SOT 2129272455 SOS 1190305452 HAS SOPS 1190305452 HAS SOUS 484134045 HAS SOUPS 484134045 WITH SCORE 4.85324350452E8
AT ITER 4493 NEW BEST:: SOT 2129247821 SOS 1190096048 HAS SOPS 1190096048 HAS SOUS 484134028 HAS SOUPS 484134028 WITH SCORE 4.85324124048E8
AT ITER 4573 NEW BEST:: SOT 2129239053 SOS 1190017136 HAS SOPS 1190017136 HAS SOUS 484129644 HAS SOUPS 484129644 WITH SCORE 4.85319661136E8
AT ITER 4630 NEW BEST:: SOT 2129192493 SOS 1189589724 HAS SOPS 1189589724 HAS SOUS 484108867 HAS SOUPS 484108867 WITH SCORE 4.85298456724E8
AT ITER 4661 NEW BEST:: SOT 2129181569 SOS 1189496869 HAS SOPS 1189496869 HAS SOUS 484108866 HAS SOUPS 484108866 WITH SCORE 4.85298362869E8
AT ITER 4671 NEW BEST:: SOT 2129092249 SOS 1188674998 HAS SOPS 1188674998 HAS SOUS 484070140 HAS SOUPS 484070140 WITH SCORE 4.85258814998E8
AT ITER 4690 NEW BEST:: SOT 2129083337 SOS 1188599231 HAS SOPS 1188599231 HAS SOUS 484070123 HAS SOUPS 484070123 WITH SCORE 4.85258722231E8
AT ITER 4692 NEW BEST:: SOT 2129061827 SOS 1188416386 HAS SOPS 1188416386 HAS SOUS 484070113 HAS SOUPS 484070113 WITH SCORE 4.85258529386E8
AT ITER 4695 NEW BEST:: SOT 2128988831 SOS 1187795908 HAS SOPS 1187795908 HAS SOUS 484070101 HAS SOUPS 484070101 WITH SCORE 4.85257896908E8
AT ITER 4700 NEW BEST:: SOT 2128932251 SOS 1187314969 HAS SOPS 1187314969 HAS SOUS 484070092 HAS SOUPS 484070092 WITH SCORE 4.85257406969E8
AT ITER 4713 NEW BEST:: SOT 2128851674 SOS 1186566110 HAS SOPS 1186566110 HAS SOUS 484035995 HAS SOUPS 484035995 WITH SCORE 4.8522256111E8
AT ITER 4740 NEW BEST:: SOT 2128767924 SOS 1185854227 HAS SOPS 1185854227 HAS SOUS 484035987 HAS SOUPS 484035987 WITH SCORE 4.85221841227E8
AT ITER 4766 NEW BEST:: SOT 2128748222 SOS 1185679317 HAS SOPS 1185679317 HAS SOUS 484028544 HAS SOUPS 484028544 WITH SCORE 4.85214223317E8
AT ITER 4775 NEW BEST:: SOT 2128664972 SOS 1184971692 HAS SOPS 1184971692 HAS SOUS 484028544 HAS SOUPS 484028544 WITH SCORE 4.85213515692E8
AT ITER 4780 NEW BEST:: SOT 2128603650 SOS 1184450441 HAS SOPS 1184450441 HAS SOUS 484028530 HAS SOUPS 484028530 WITH SCORE 4.85212980441E8
AT ITER 4785 NEW BEST:: SOT 2128590500 SOS 1184310575 HAS SOPS 1184310575 HAS SOUS 484028609 HAS SOUPS 484028609 WITH SCORE 4.85212919575E8
AT ITER 4858 NEW BEST:: SOT 2128551514 SOS 1183979179 HAS SOPS 1183979179 HAS SOUS 484028592 HAS SOUPS 484028592 WITH SCORE 4.85212571179E8
AT ITER 4907 NEW BEST:: SOT 2128506352 SOS 1183595289 HAS SOPS 1183595289 HAS SOUS 484028579 HAS SOUPS 484028579 WITH SCORE 4.85212174289E8
AT ITER 4927 NEW BEST:: SOT 2128431216 SOS 1182956620 HAS SOPS 1182956620 HAS SOUS 484028566 HAS SOUPS 484028566 WITH SCORE 4.8521152262E8
AT ITER 4929 NEW BEST:: SOT 2128396494 SOS 1182661472 HAS SOPS 1182661472 HAS SOUS 484028555 HAS SOUPS 484028555 WITH SCORE 4.85211216472E8
AT ITER 4950 NEW BEST:: SOT 2128286892 SOS 1181729849 HAS SOPS 1181729849 HAS SOUS 484028549 HAS SOUPS 484028549 WITH SCORE 4.85210278849E8
AT ITER 5014 NEW BEST:: SOT 2128232194 SOS 1181264908 HAS SOPS 1181264908 HAS SOUS 484028541 HAS SOUPS 484028541 WITH SCORE 4.85209805908E8
AT ITER 5017 NEW BEST:: SOT 2128203416 SOS 1181020282 HAS SOPS 1181020282 HAS SOUS 484028528 HAS SOUPS 484028528 WITH SCORE 4.85209548282E8
AT ITER 5024 NEW BEST:: SOT 2128173782 SOS 1180768386 HAS SOPS 1180768386 HAS SOUS 484028521 HAS SOUPS 484028521 WITH SCORE 4.85209289386E8
AT ITER 5037 NEW BEST:: SOT 2128063712 SOS 1179832790 HAS SOPS 1179832790 HAS SOUS 484028520 HAS SOUPS 484028520 WITH SCORE 4.8520835279E8
AT ITER 5039 NEW BEST:: SOT 2128063712 SOS 1179832781 HAS SOPS 1179832781 HAS SOUS 484028511 HAS SOUPS 484028511 WITH SCORE 4.85208343781E8
AT ITER 5057 NEW BEST:: SOT 2128061580 SOS 1179814651 HAS SOPS 1179814651 HAS SOUS 484028503 HAS SOUPS 484028503 WITH SCORE 4.85208317651E8
AT ITER 5068 NEW BEST:: SOT 2128048380 SOS 1179702449 HAS SOPS 1179702449 HAS SOUS 484028501 HAS SOUPS 484028501 WITH SCORE 4.85208203449E8
AT ITER 5073 NEW BEST:: SOT 2127920136 SOS 1178612369 HAS SOPS 1178612369 HAS SOUS 484028495 HAS SOUPS 484028495 WITH SCORE 4.85207107369E8
AT ITER 5077 NEW BEST:: SOT 2127902030 SOS 1178450518 HAS SOPS 1178450518 HAS SOUS 484020545 HAS SOUPS 484020545 WITH SCORE 4.85198995518E8
AT ITER 5089 NEW BEST:: SOT 2127897821 SOS 1178425259 HAS SOPS 1178425259 HAS SOUS 484019137 HAS SOUPS 484019137 WITH SCORE 4.85197562259E8
AT ITER 5099 NEW BEST:: SOT 2127857621 SOS 1178083547 HAS SOPS 1178083547 HAS SOUS 484019125 HAS SOUPS 484019125 WITH SCORE 4.85197208547E8
AT ITER 5101 NEW BEST:: SOT 2127842575 SOS 1177955646 HAS SOPS 1177955646 HAS SOUS 484019115 HAS SOUPS 484019115 WITH SCORE 4.85197070646E8
AT ITER 5124 NEW BEST:: SOT 2127791983 SOS 1177525603 HAS SOPS 1177525603 HAS SOUS 484019104 HAS SOUPS 484019104 WITH SCORE 4.85196629603E8
AT ITER 5126 NEW BEST:: SOT 2127791983 SOS 1177525592 HAS SOPS 1177525592 HAS SOUS 484019093 HAS SOUPS 484019093 WITH SCORE 4.85196618592E8
AT ITER 5132 NEW BEST:: SOT 2127670235 SOS 1176490720 HAS SOPS 1176490720 HAS SOUS 484019079 HAS SOUPS 484019079 WITH SCORE 4.8519556972E8
AT ITER 5148 NEW BEST:: SOT 2127605869 SOS 1175901651 HAS SOPS 1175901651 HAS SOUS 483992601 HAS SOUPS 483992601 WITH SCORE 4.85168502651E8
AT ITER 5157 NEW BEST:: SOT 2127573371 SOS 1175625407 HAS SOPS 1175625407 HAS SOUS 483992590 HAS SOUPS 483992590 WITH SCORE 4.85168215407E8
AT ITER 5159 NEW BEST:: SOT 2127471515 SOS 1174759626 HAS SOPS 1174759626 HAS SOUS 483992585 HAS SOUPS 483992585 WITH SCORE 4.85167344626E8
AT ITER 5170 NEW BEST:: SOT 2127433593 SOS 1174437281 HAS SOPS 1174437281 HAS SOUS 483992577 HAS SOUPS 483992577 WITH SCORE 4.85167014281E8
AT ITER 5177 NEW BEST:: SOT 2127420503 SOS 1174326002 HAS SOPS 1174326002 HAS SOUS 483992563 HAS SOUPS 483992563 WITH SCORE 4.85166889002E8
AT ITER 5181 NEW BEST:: SOT 2127344837 SOS 1173645008 HAS SOPS 1173645008 HAS SOUS 483954730 HAS SOUPS 483954730 WITH SCORE 4.85128375008E8
AT ITER 5186 NEW BEST:: SOT 2127259317 SOS 1172918087 HAS SOPS 1172918087 HAS SOUS 483954729 HAS SOUPS 483954729 WITH SCORE 4.85127647087E8
AT ITER 5192 NEW BEST:: SOT 2127229915 SOS 1172668168 HAS SOPS 1172668168 HAS SOUS 483954727 HAS SOUPS 483954727 WITH SCORE 4.85127395168E8
AT ITER 5226 NEW BEST:: SOT 2127171307 SOS 1172170000 HAS SOPS 1172170000 HAS SOUS 483954727 HAS SOUPS 483954727 WITH SCORE 4.85126897E8
AT ITER 5227 NEW BEST:: SOT 2127131001 SOS 1171827390 HAS SOPS 1171827390 HAS SOUS 483954718 HAS SOUPS 483954718 WITH SCORE 4.8512654539E8
AT ITER 5241 NEW BEST:: SOT 2127072575 SOS 1171330759 HAS SOPS 1171330759 HAS SOUS 483954708 HAS SOUPS 483954708 WITH SCORE 4.85126038759E8
AT ITER 5255 NEW BEST:: SOT 2126989213 SOS 1170622182 HAS SOPS 1170622182 HAS SOUS 483954708 HAS SOUPS 483954708 WITH SCORE 4.85125330182E8
AT ITER 5257 NEW BEST:: SOT 2126961825 SOS 1170389380 HAS SOPS 1170389380 HAS SOUS 483954704 HAS SOUPS 483954704 WITH SCORE 4.8512509338E8
AT ITER 5262 NEW BEST:: SOT 2126839795 SOS 1169352125 HAS SOPS 1169352125 HAS SOUS 483954704 HAS SOUPS 483954704 WITH SCORE 4.85124056125E8
AT ITER 5283 NEW BEST:: SOT 2126839795 SOS 1169352121 HAS SOPS 1169352121 HAS SOUS 483954700 HAS SOUPS 483954700 WITH SCORE 4.85124052121E8
AT ITER 5291 NEW BEST:: SOT 2126806155 SOS 1169066177 HAS SOPS 1169066177 HAS SOUS 483954696 HAS SOUPS 483954696 WITH SCORE 4.85123762177E8
AT ITER 5344 NEW BEST:: SOT 2126795803 SOS 1168973144 HAS SOPS 1168973144 HAS SOUS 483949655 HAS SOUPS 483949655 WITH SCORE 4.85118628144E8
AT ITER 5371 NEW BEST:: SOT 2126684379 SOS 1168026026 HAS SOPS 1168026026 HAS SOUS 483949641 HAS SOUPS 483949641 WITH SCORE 4.85117667026E8
AT ITER 5375 NEW BEST:: SOT 2126631271 SOS 1167574607 HAS SOPS 1167574607 HAS SOUS 483949640 HAS SOUPS 483949640 WITH SCORE 4.85117214607E8
AT ITER 5411 NEW BEST:: SOT 2126598157 SOS 1167293131 HAS SOPS 1167293131 HAS SOUS 483949633 HAS SOUPS 483949633 WITH SCORE 4.85116926131E8
AT ITER 5417 NEW BEST:: SOT 2126583441 SOS 1167168041 HAS SOPS 1167168041 HAS SOUS 483949629 HAS SOUPS 483949629 WITH SCORE 4.85116797041E8
AT ITER 5475 NEW BEST:: SOT 2126547629 SOS 1166863632 HAS SOPS 1166863632 HAS SOUS 483949622 HAS SOUPS 483949622 WITH SCORE 4.85116485632E8
AT ITER 5478 NEW BEST:: SOT 2126526445 SOS 1166683555 HAS SOPS 1166683555 HAS SOUS 483949609 HAS SOUPS 483949609 WITH SCORE 4.85116292555E8
AT ITER 5487 NEW BEST:: SOT 2126481909 SOS 1166304998 HAS SOPS 1166304998 HAS SOUS 483949608 HAS SOUPS 483949608 WITH SCORE 4.85115912998E8
AT ITER 5507 NEW BEST:: SOT 2126452481 SOS 1166054850 HAS SOPS 1166054850 HAS SOUS 483949598 HAS SOUPS 483949598 WITH SCORE 4.8511565285E8
AT ITER 5586 NEW BEST:: SOT 2126403877 SOS 1165641705 HAS SOPS 1165641705 HAS SOUS 483949587 HAS SOUPS 483949587 WITH SCORE 4.85115228705E8
AT ITER 5605 NEW BEST:: SOT 2126349971 SOS 1165156551 HAS SOPS 1165156551 HAS SOUS 483922634 HAS SOUPS 483922634 WITH SCORE 4.85087790551E8
AT ITER 5612 NEW BEST:: SOT 2126345745 SOS 1165120619 HAS SOPS 1165120619 HAS SOUS 483922623 HAS SOUPS 483922623 WITH SCORE 4.85087743619E8
AT ITER 5636 NEW BEST:: SOT 2126312387 SOS 1164837063 HAS SOPS 1164837063 HAS SOUS 483922610 HAS SOUPS 483922610 WITH SCORE 4.85087447063E8
AT ITER 5691 NEW BEST:: SOT 2126311895 SOS 1164832873 HAS SOPS 1164832873 HAS SOUS 483922602 HAS SOUPS 483922602 WITH SCORE 4.85087434873E8
AT ITER 5714 NEW BEST:: SOT 2126243051 SOS 1164247696 HAS SOPS 1164247696 HAS SOUS 483922599 HAS SOUPS 483922599 WITH SCORE 4.85086846696E8
AT ITER 5717 NEW BEST:: SOT 2126219881 SOS 1164050751 HAS SOPS 1164050751 HAS SOUS 483922599 HAS SOUPS 483922599 WITH SCORE 4.85086649751E8
AT ITER 5721 NEW BEST:: SOT 2126174545 SOS 1163665387 HAS SOPS 1163665387 HAS SOUS 483922591 HAS SOUPS 483922591 WITH SCORE 4.85086256387E8
AT ITER 5739 NEW BEST:: SOT 2126138027 SOS 1163354978 HAS SOPS 1163354978 HAS SOUS 483922585 HAS SOUPS 483922585 WITH SCORE 4.85085939978E8
AT ITER 5742 NEW BEST:: SOT 2126010157 SOS 1162268082 HAS SOPS 1162268082 HAS SOUS 483922584 HAS SOUPS 483922584 WITH SCORE 4.85084852082E8
AT ITER 5754 NEW BEST:: SOT 2126010157 SOS 1162268074 HAS SOPS 1162268074 HAS SOUS 483922576 HAS SOUPS 483922576 WITH SCORE 4.85084844074E8
AT ITER 5760 NEW BEST:: SOT 2125932171 SOS 1161605179 HAS SOPS 1161605179 HAS SOUS 483922562 HAS SOUPS 483922562 WITH SCORE 4.85084167179E8
AT ITER 5769 NEW BEST:: SOT 2125868801 SOS 1161066531 HAS SOPS 1161066531 HAS SOUS 483922559 HAS SOUPS 483922559 WITH SCORE 4.85083625531E8
AT ITER 5787 NEW BEST:: SOT 2125789615 SOS 1160353857 HAS SOPS 1160353857 HAS SOUS 483882966 HAS SOUPS 483882966 WITH SCORE 4.85043319857E8
AT ITER 5798 NEW BEST:: SOT 2125701148 SOS 1159534961 HAS SOPS 1159534961 HAS SOUS 483844862 HAS SOUPS 483844862 WITH SCORE 4.85004396961E8
AT ITER 5809 NEW BEST:: SOT 2125655150 SOS 1159143972 HAS SOPS 1159143972 HAS SOUS 483844856 HAS SOUPS 483844856 WITH SCORE 4.85003999972E8
AT ITER 5857 NEW BEST:: SOT 2125541982 SOS 1158182033 HAS SOPS 1158182033 HAS SOUS 483844845 HAS SOUPS 483844845 WITH SCORE 4.85003027033E8
AT ITER 5880 NEW BEST:: SOT 2125525936 SOS 1158045633 HAS SOPS 1158045633 HAS SOUS 483844836 HAS SOUPS 483844836 WITH SCORE 4.85002881633E8
AT ITER 5909 NEW BEST:: SOT 2125470826 SOS 1157577187 HAS SOPS 1157577187 HAS SOUS 483844825 HAS SOUPS 483844825 WITH SCORE 4.85002402187E8
AT ITER 5935 NEW BEST:: SOT 2125450884 SOS 1157407677 HAS SOPS 1157407677 HAS SOUS 483844822 HAS SOUPS 483844822 WITH SCORE 4.85002229677E8
AT ITER 6022 NEW BEST:: SOT 2125440768 SOS 1157321683 HAS SOPS 1157321683 HAS SOUS 483844814 HAS SOUPS 483844814 WITH SCORE 4.85002135683E8
AT ITER 6033 NEW BEST:: SOT 2125413910 SOS 1157093375 HAS SOPS 1157093375 HAS SOUS 483844797 HAS SOUPS 483844797 WITH SCORE 4.85001890375E8
AT ITER 6045 NEW BEST:: SOT 2125382078 SOS 1156822795 HAS SOPS 1156822795 HAS SOUS 483844789 HAS SOUPS 483844789 WITH SCORE 4.85001611795E8
AT ITER 6063 NEW BEST:: SOT 2125382078 SOS 1156822789 HAS SOPS 1156822789 HAS SOUS 483844783 HAS SOUPS 483844783 WITH SCORE 4.85001605789E8
AT ITER 6114 NEW BEST:: SOT 2125325496 SOS 1156341834 HAS SOPS 1156341834 HAS SOUS 483844775 HAS SOUPS 483844775 WITH SCORE 4.85001116834E8
AT ITER 6133 NEW BEST:: SOT 2125287778 SOS 1156021222 HAS SOPS 1156021222 HAS SOUS 483844766 HAS SOUPS 483844766 WITH SCORE 4.85000787222E8
AT ITER 6157 NEW BEST:: SOT 2125240320 SOS 1155617825 HAS SOPS 1155617825 HAS SOUS 483844762 HAS SOUPS 483844762 WITH SCORE 4.85000379825E8
AT ITER 6164 NEW BEST:: SOT 2125190652 SOS 1155195640 HAS SOPS 1155195640 HAS SOUS 483844755 HAS SOUPS 483844755 WITH SCORE 4.8499995064E8
AT ITER 6172 NEW BEST:: SOT 2125137900 SOS 1154707005 HAS SOPS 1154707005 HAS SOUS 483824402 HAS SOUPS 483824402 WITH SCORE 4.84979109005E8
AT ITER 6191 NEW BEST:: SOT 2125073462 SOS 1154159272 HAS SOPS 1154159272 HAS SOUS 483824392 HAS SOUPS 483824392 WITH SCORE 4.84978551272E8
AT ITER 6215 NEW BEST:: SOT 2125057228 SOS 1154021283 HAS SOPS 1154021283 HAS SOUS 483824392 HAS SOUPS 483824392 WITH SCORE 4.84978413283E8
AT ITER 6229 NEW BEST:: SOT 2124958474 SOS 1153181872 HAS SOPS 1153181872 HAS SOUS 483824390 HAS SOUPS 483824390 WITH SCORE 4.84977571872E8
AT ITER 6241 NEW BEST:: SOT 2124903574 SOS 1152715221 HAS SOPS 1152715221 HAS SOUS 483824389 HAS SOUPS 483824389 WITH SCORE 4.84977104221E8
AT ITER 6252 NEW BEST:: SOT 2124891876 SOS 1152615782 HAS SOPS 1152615782 HAS SOUS 483824383 HAS SOUPS 483824383 WITH SCORE 4.84976998782E8
AT ITER 6284 NEW BEST:: SOT 2124811176 SOS 1151929823 HAS SOPS 1151929823 HAS SOUS 483824374 HAS SOUPS 483824374 WITH SCORE 4.84976303823E8
AT ITER 6313 NEW BEST:: SOT 2124808460 SOS 1151906725 HAS SOPS 1151906725 HAS SOUS 483824362 HAS SOUPS 483824362 WITH SCORE 4.84976268725E8
AT ITER 6374 NEW BEST:: SOT 2124731644 SOS 1151253783 HAS SOPS 1151253783 HAS SOUS 483824356 HAS SOUPS 483824356 WITH SCORE 4.84975609783E8
AT ITER 6380 NEW BEST:: SOT 2124728756 SOS 1151229234 HAS SOPS 1151229234 HAS SOUS 483824355 HAS SOUPS 483824355 WITH SCORE 4.84975584234E8
AT ITER 6422 NEW BEST:: SOT 2124718488 SOS 1151141952 HAS SOPS 1151141952 HAS SOUS 483824351 HAS SOUPS 483824351 WITH SCORE 4.84975492952E8
AT ITER 6426 NEW BEST:: SOT 2124624588 SOS 1150343801 HAS SOPS 1150343801 HAS SOUS 483824350 HAS SOUPS 483824350 WITH SCORE 4.84974693801E8
AT ITER 6434 NEW BEST:: SOT 2124608688 SOS 1150208641 HAS SOPS 1150208641 HAS SOUS 483824340 HAS SOUPS 483824340 WITH SCORE 4.84974548641E8
AT ITER 6437 NEW BEST:: SOT 2124536048 SOS 1149536638 HAS SOPS 1149536638 HAS SOUS 483793192 HAS SOUPS 483793192 WITH SCORE 4.84942728638E8
AT ITER 6468 NEW BEST:: SOT 2124512688 SOS 1149338073 HAS SOPS 1149338073 HAS SOUS 483793187 HAS SOUPS 483793187 WITH SCORE 4.84942525073E8
AT ITER 6486 NEW BEST:: SOT 2124399296 SOS 1148374232 HAS SOPS 1148374232 HAS SOUS 483793178 HAS SOUPS 483793178 WITH SCORE 4.84941552232E8
AT ITER 6493 NEW BEST:: SOT 2124304714 SOS 1147570280 HAS SOPS 1147570280 HAS SOUS 483793173 HAS SOUPS 483793173 WITH SCORE 4.8494074328E8
AT ITER 6499 NEW BEST:: SOT 2124223008 SOS 1146875764 HAS SOPS 1146875764 HAS SOUS 483793156 HAS SOUPS 483793156 WITH SCORE 4.84940031764E8
AT ITER 6509 NEW BEST:: SOT 2124187978 SOS 1146577995 HAS SOPS 1146577995 HAS SOUS 483793142 HAS SOUPS 483793142 WITH SCORE 4.84939719995E8
AT ITER 6511 NEW BEST:: SOT 2124172770 SOS 1146448723 HAS SOPS 1146448723 HAS SOUS 483793138 HAS SOUPS 483793138 WITH SCORE 4.84939586723E8
AT ITER 6561 NEW BEST:: SOT 2124105223 SOS 1145822458 HAS SOPS 1145822458 HAS SOUS 483764445 HAS SOUPS 483764445 WITH SCORE 4.84910267458E8
AT ITER 6562 NEW BEST:: SOT 2123992401 SOS 1144807060 HAS SOPS 1144807060 HAS SOUS 483708034 HAS SOUPS 483708034 WITH SCORE 4.8485284106E8
AT ITER 6578 NEW BEST:: SOT 2123957955 SOS 1144514265 HAS SOPS 1144514265 HAS SOUS 483708030 HAS SOUPS 483708030 WITH SCORE 4.84852544265E8
AT ITER 6655 NEW BEST:: SOT 2123858387 SOS 1143667926 HAS SOPS 1143667926 HAS SOUS 483708019 HAS SOUPS 483708019 WITH SCORE 4.84851686926E8
AT ITER 6665 NEW BEST:: SOT 2123797599 SOS 1143151228 HAS SOPS 1143151228 HAS SOUS 483708019 HAS SOUPS 483708019 WITH SCORE 4.84851170228E8
AT ITER 6740 NEW BEST:: SOT 2123793869 SOS 1143119519 HAS SOPS 1143119519 HAS SOUS 483708015 HAS SOUPS 483708015 WITH SCORE 4.84851134519E8
AT ITER 6767 NEW BEST:: SOT 2123769058 SOS 1142889327 HAS SOPS 1142889327 HAS SOUS 483697499 HAS SOUPS 483697499 WITH SCORE 4.84840388327E8
AT ITER 6774 NEW BEST:: SOT 2123717875 SOS 1142406161 HAS SOPS 1142406161 HAS SOUS 483679201 HAS SOUPS 483679201 WITH SCORE 4.84821607161E8
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15549932 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16100368 kB

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ViralEpidemic-PT-S16D2C4A03"
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 ViralEpidemic-PT-S16D2C4A03, 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 r483-tall-167912696901360"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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