Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r224-oct2-159033539000592.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
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 r224-oct2-159033539000592
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 101M
-rw-r--r-- 1 mcc users 4.5K May 14 05:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 14 05:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 13 23:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 23:46 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 14 10:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 10:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 14 10:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 4.1K May 13 16:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 13 16:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.8K May 13 12:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K May 13 12:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K May 13 16:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K May 13 16:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 11 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 101M May 12 20:42 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 1590477129666

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ViralEpidemic (PT), instance S16D2C4A03
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/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 45 NEW BEST:: SOT 2142782693 SOS 1304793538 HAS SOPS 1304793538 HAS SOUS 484610566 HAS SOUPS 484610566 WITH SCORE 4.85915359538E8
AT ITER 55 NEW BEST:: SOT 2142772451 SOS 1304706466 HAS SOPS 1304706466 HAS SOUS 484610549 HAS SOUPS 484610549 WITH SCORE 4.85915255466E8
AT ITER 57 NEW BEST:: SOT 2142687225 SOS 1303982039 HAS SOPS 1303982039 HAS SOUS 484610543 HAS SOUPS 484610543 WITH SCORE 4.85914525039E8
AT ITER 78 NEW BEST:: SOT 2142634723 SOS 1303535770 HAS SOPS 1303535770 HAS SOUS 484610541 HAS SOUPS 484610541 WITH SCORE 4.8591407677E8
AT ITER 119 NEW BEST:: SOT 2142615101 SOS 1303368978 HAS SOPS 1303368978 HAS SOUS 484610536 HAS SOUPS 484610536 WITH SCORE 4.85913904978E8
AT ITER 139 NEW BEST:: SOT 2142515277 SOS 1302520459 HAS SOPS 1302520459 HAS SOUS 484610519 HAS SOUPS 484610519 WITH SCORE 4.85913039459E8
AT ITER 178 NEW BEST:: SOT 2142506533 SOS 1302446122 HAS SOPS 1302446122 HAS SOUS 484610506 HAS SOUPS 484610506 WITH SCORE 4.85912952122E8
AT ITER 229 NEW BEST:: SOT 2142444013 SOS 1301914694 HAS SOPS 1301914694 HAS SOUS 484610498 HAS SOUPS 484610498 WITH SCORE 4.85912412694E8
AT ITER 233 NEW BEST:: SOT 2142386083 SOS 1301422276 HAS SOPS 1301422276 HAS SOUS 484610485 HAS SOUPS 484610485 WITH SCORE 4.85911907276E8
AT ITER 241 NEW BEST:: SOT 2142279575 SOS 1300516956 HAS SOPS 1300516956 HAS SOUS 484610483 HAS SOUPS 484610483 WITH SCORE 4.85910999956E8
AT ITER 244 NEW BEST:: SOT 2142205243 SOS 1299885128 HAS SOPS 1299885128 HAS SOUS 484610477 HAS SOUPS 484610477 WITH SCORE 4.85910362128E8
AT ITER 287 NEW BEST:: SOT 2142145919 SOS 1299380863 HAS SOPS 1299380863 HAS SOUS 484610466 HAS SOUPS 484610466 WITH SCORE 4.85909846863E8
AT ITER 304 NEW BEST:: SOT 2142141401 SOS 1299342458 HAS SOPS 1299342458 HAS SOUS 484610464 HAS SOUPS 484610464 WITH SCORE 4.85909806458E8
AT ITER 378 NEW BEST:: SOT 2142085017 SOS 1298863181 HAS SOPS 1298863181 HAS SOUS 484610451 HAS SOUPS 484610451 WITH SCORE 4.85909314181E8
AT ITER 379 NEW BEST:: SOT 2142040175 SOS 1298482017 HAS SOPS 1298482017 HAS SOUS 484610444 HAS SOUPS 484610444 WITH SCORE 4.85908926017E8
AT ITER 382 NEW BEST:: SOT 2142006283 SOS 1298193934 HAS SOPS 1298193934 HAS SOUS 484610443 HAS SOUPS 484610443 WITH SCORE 4.85908636934E8
AT ITER 392 NEW BEST:: SOT 2141980367 SOS 1297973637 HAS SOPS 1297973637 HAS SOUS 484610432 HAS SOUPS 484610432 WITH SCORE 4.85908405637E8
AT ITER 417 NEW BEST:: SOT 2141969567 SOS 1297881834 HAS SOPS 1297881834 HAS SOUS 484610429 HAS SOUPS 484610429 WITH SCORE 4.85908310834E8
AT ITER 431 NEW BEST:: SOT 2141946541 SOS 1297686098 HAS SOPS 1297686098 HAS SOUS 484610412 HAS SOUPS 484610412 WITH SCORE 4.85908098098E8
AT ITER 453 NEW BEST:: SOT 2141917115 SOS 1297435974 HAS SOPS 1297435974 HAS SOUS 484610409 HAS SOUPS 484610409 WITH SCORE 4.85907844974E8
AT ITER 467 NEW BEST:: SOT 2141830937 SOS 1296703459 HAS SOPS 1296703459 HAS SOUS 484610407 HAS SOUPS 484610407 WITH SCORE 4.85907110459E8
AT ITER 484 NEW BEST:: SOT 2141828093 SOS 1296679271 HAS SOPS 1296679271 HAS SOUS 484610393 HAS SOUPS 484610393 WITH SCORE 4.85907072271E8
AT ITER 487 NEW BEST:: SOT 2141745499 SOS 1295977212 HAS SOPS 1295977212 HAS SOUS 484610383 HAS SOUPS 484610383 WITH SCORE 4.85906360212E8
AT ITER 510 NEW BEST:: SOT 2141675557 SOS 1295382697 HAS SOPS 1295382697 HAS SOUS 484610375 HAS SOUPS 484610375 WITH SCORE 4.85905757697E8
AT ITER 516 NEW BEST:: SOT 2141666075 SOS 1295302099 HAS SOPS 1295302099 HAS SOUS 484610374 HAS SOUPS 484610374 WITH SCORE 4.85905676099E8
AT ITER 532 NEW BEST:: SOT 2141658175 SOS 1295234935 HAS SOPS 1295234935 HAS SOUS 484610360 HAS SOUPS 484610360 WITH SCORE 4.85905594935E8
AT ITER 546 NEW BEST:: SOT 2141644715 SOS 1295120524 HAS SOPS 1295120524 HAS SOUS 484610359 HAS SOUPS 484610359 WITH SCORE 4.85905479524E8
AT ITER 554 NEW BEST:: SOT 2141600267 SOS 1294742705 HAS SOPS 1294742705 HAS SOUS 484610348 HAS SOUPS 484610348 WITH SCORE 4.85905090705E8
AT ITER 561 NEW BEST:: SOT 2141537649 SOS 1294210437 HAS SOPS 1294210437 HAS SOUS 484610331 HAS SOUPS 484610331 WITH SCORE 4.85904541437E8
AT ITER 604 NEW BEST:: SOT 2141468715 SOS 1293624492 HAS SOPS 1293624492 HAS SOUS 484610325 HAS SOUPS 484610325 WITH SCORE 4.85903949492E8
AT ITER 630 NEW BEST:: SOT 2141448583 SOS 1293453367 HAS SOPS 1293453367 HAS SOUS 484610322 HAS SOUPS 484610322 WITH SCORE 4.85903775367E8
AT ITER 637 NEW BEST:: SOT 2141410003 SOS 1293125434 HAS SOPS 1293125434 HAS SOUS 484610319 HAS SOUPS 484610319 WITH SCORE 4.85903444434E8
AT ITER 653 NEW BEST:: SOT 2141308093 SOS 1292259197 HAS SOPS 1292259197 HAS SOUS 484610317 HAS SOUPS 484610317 WITH SCORE 4.85902576197E8
AT ITER 695 NEW BEST:: SOT 2141230191 SOS 1291597030 HAS SOPS 1291597030 HAS SOUS 484610317 HAS SOUPS 484610317 WITH SCORE 4.8590191403E8
AT ITER 697 NEW BEST:: SOT 2141198789 SOS 1291330099 HAS SOPS 1291330099 HAS SOUS 484610303 HAS SOUPS 484610303 WITH SCORE 4.85901633099E8
AT ITER 698 NEW BEST:: SOT 2141127309 SOS 1290722504 HAS SOPS 1290722504 HAS SOUS 484610286 HAS SOUPS 484610286 WITH SCORE 4.85901008504E8
AT ITER 713 NEW BEST:: SOT 2141104427 SOS 1290527997 HAS SOPS 1290527997 HAS SOUS 484610276 HAS SOUPS 484610276 WITH SCORE 4.85900803997E8
AT ITER 771 NEW BEST:: SOT 2141076059 SOS 1290286867 HAS SOPS 1290286867 HAS SOUS 484610274 HAS SOUPS 484610274 WITH SCORE 4.85900560867E8
AT ITER 842 NEW BEST:: SOT 2140999807 SOS 1289638719 HAS SOPS 1289638719 HAS SOUS 484610268 HAS SOUPS 484610268 WITH SCORE 4.85899906719E8
AT ITER 856 NEW BEST:: SOT 2140804286 SOS 1288456404 HAS SOPS 1288456404 HAS SOUS 484548882 HAS SOUPS 484548882 WITH SCORE 4.85837338404E8
AT ITER 873 NEW BEST:: SOT 2140730190 SOS 1287826576 HAS SOPS 1287826576 HAS SOUS 484548870 HAS SOUPS 484548870 WITH SCORE 4.85836696576E8
AT ITER 895 NEW BEST:: SOT 2140688668 SOS 1287473624 HAS SOPS 1287473624 HAS SOUS 484548853 HAS SOUPS 484548853 WITH SCORE 4.85836326624E8
AT ITER 907 NEW BEST:: SOT 2140665926 SOS 1287280305 HAS SOPS 1287280305 HAS SOUS 484548841 HAS SOUPS 484548841 WITH SCORE 4.85836121305E8
AT ITER 919 NEW BEST:: SOT 2140594412 SOS 1286672422 HAS SOPS 1286672422 HAS SOUS 484548827 HAS SOUPS 484548827 WITH SCORE 4.85835499422E8
AT ITER 947 NEW BEST:: SOT 2140397845 SOS 1285486842 HAS SOPS 1285486842 HAS SOUS 484485532 HAS SOUPS 484485532 WITH SCORE 4.85771018842E8
AT ITER 960 NEW BEST:: SOT 2140353973 SOS 1285113925 HAS SOPS 1285113925 HAS SOUS 484485527 HAS SOUPS 484485527 WITH SCORE 4.85770640925E8
AT ITER 967 NEW BEST:: SOT 2140322817 SOS 1284849090 HAS SOPS 1284849090 HAS SOUS 484485518 HAS SOUPS 484485518 WITH SCORE 4.8577036709E8
AT ITER 978 NEW BEST:: SOT 2140260113 SOS 1284287147 HAS SOPS 1284287147 HAS SOUS 484456559 HAS SOUPS 484456559 WITH SCORE 4.85740846147E8
AT ITER 995 NEW BEST:: SOT 2140237317 SOS 1284093375 HAS SOPS 1284093375 HAS SOUS 484456553 HAS SOUPS 484456553 WITH SCORE 4.85740646375E8
AT ITER 997 NEW BEST:: SOT 2140134787 SOS 1283221858 HAS SOPS 1283221858 HAS SOUS 484456541 HAS SOUPS 484456541 WITH SCORE 4.85739762858E8
AT ITER 1003 NEW BEST:: SOT 2140107103 SOS 1282986531 HAS SOPS 1282986531 HAS SOUS 484456528 HAS SOUPS 484456528 WITH SCORE 4.85739514531E8
AT ITER 1067 NEW BEST:: SOT 2140101129 SOS 1282935747 HAS SOPS 1282935747 HAS SOUS 484456523 HAS SOUPS 484456523 WITH SCORE 4.85739458747E8
AT ITER 1091 NEW BEST:: SOT 2140069071 SOS 1282663249 HAS SOPS 1282663249 HAS SOUS 484456518 HAS SOUPS 484456518 WITH SCORE 4.85739181249E8
AT ITER 1093 NEW BEST:: SOT 2140037281 SOS 1282393021 HAS SOPS 1282393021 HAS SOUS 484456505 HAS SOUPS 484456505 WITH SCORE 4.85738898021E8
AT ITER 1094 NEW BEST:: SOT 2140003561 SOS 1282106393 HAS SOPS 1282106393 HAS SOUS 484456497 HAS SOUPS 484456497 WITH SCORE 4.85738603393E8
AT ITER 1095 NEW BEST:: SOT 2139936265 SOS 1281534364 HAS SOPS 1281534364 HAS SOUS 484456484 HAS SOUPS 484456484 WITH SCORE 4.85738018364E8
AT ITER 1107 NEW BEST:: SOT 2139927213 SOS 1281457408 HAS SOPS 1281457408 HAS SOUS 484456470 HAS SOUPS 484456470 WITH SCORE 4.85737927408E8
AT ITER 1126 NEW BEST:: SOT 2139796713 SOS 1280348158 HAS SOPS 1280348158 HAS SOUS 484456470 HAS SOUPS 484456470 WITH SCORE 4.85736818158E8
AT ITER 1140 NEW BEST:: SOT 2139762357 SOS 1280056132 HAS SOPS 1280056132 HAS SOUS 484456470 HAS SOUPS 484456470 WITH SCORE 4.85736526132E8
AT ITER 1157 NEW BEST:: SOT 2139754313 SOS 1279983736 HAS SOPS 1279983736 HAS SOUS 484452448 HAS SOUPS 484452448 WITH SCORE 4.85732431736E8
AT ITER 1175 NEW BEST:: SOT 2139742975 SOS 1279887350 HAS SOPS 1279887350 HAS SOUS 484452435 HAS SOUPS 484452435 WITH SCORE 4.8573232235E8
AT ITER 1180 NEW BEST:: SOT 2139723375 SOS 1279720739 HAS SOPS 1279720739 HAS SOUS 484452424 HAS SOUPS 484452424 WITH SCORE 4.85732144739E8
AT ITER 1199 NEW BEST:: SOT 2139667935 SOS 1279249497 HAS SOPS 1279249497 HAS SOUS 484452422 HAS SOUPS 484452422 WITH SCORE 4.85731671497E8
AT ITER 1211 NEW BEST:: SOT 2139652837 SOS 1279121155 HAS SOPS 1279121155 HAS SOUS 484452413 HAS SOUPS 484452413 WITH SCORE 4.85731534155E8
AT ITER 1264 NEW BEST:: SOT 2139642001 SOS 1279029036 HAS SOPS 1279029036 HAS SOUS 484452400 HAS SOUPS 484452400 WITH SCORE 4.85731429036E8
AT ITER 1286 NEW BEST:: SOT 2139608195 SOS 1278741680 HAS SOPS 1278741680 HAS SOUS 484452395 HAS SOUPS 484452395 WITH SCORE 4.8573113668E8
AT ITER 1289 NEW BEST:: SOT 2139585007 SOS 1278544575 HAS SOPS 1278544575 HAS SOUS 484452388 HAS SOUPS 484452388 WITH SCORE 4.85730932575E8
AT ITER 1294 NEW BEST:: SOT 2139564455 SOS 1278369878 HAS SOPS 1278369878 HAS SOUS 484452383 HAS SOUPS 484452383 WITH SCORE 4.85730752878E8
AT ITER 1323 NEW BEST:: SOT 2139555883 SOS 1278297006 HAS SOPS 1278297006 HAS SOUS 484452373 HAS SOUPS 484452373 WITH SCORE 4.85730670006E8
AT ITER 1339 NEW BEST:: SOT 2139537859 SOS 1278143798 HAS SOPS 1278143798 HAS SOUS 484452369 HAS SOUPS 484452369 WITH SCORE 4.85730512798E8
AT ITER 1345 NEW BEST:: SOT 2139505239 SOS 1277866527 HAS SOPS 1277866527 HAS SOUS 484452368 HAS SOUPS 484452368 WITH SCORE 4.85730234527E8
AT ITER 1392 NEW BEST:: SOT 2139469351 SOS 1277561479 HAS SOPS 1277561479 HAS SOUS 484452368 HAS SOUPS 484452368 WITH SCORE 4.85729929479E8
AT ITER 1404 NEW BEST:: SOT 2139434069 SOS 1277261574 HAS SOPS 1277261574 HAS SOUS 484452360 HAS SOUPS 484452360 WITH SCORE 4.85729621574E8
AT ITER 1412 NEW BEST:: SOT 2139374693 SOS 1276756871 HAS SOPS 1276756871 HAS SOUS 484452353 HAS SOUPS 484452353 WITH SCORE 4.85729109871E8
AT ITER 1423 NEW BEST:: SOT 2139349659 SOS 1276544080 HAS SOPS 1276544080 HAS SOUS 484452351 HAS SOUPS 484452351 WITH SCORE 4.8572889508E8
AT ITER 1448 NEW BEST:: SOT 2139226465 SOS 1275496916 HAS SOPS 1275496916 HAS SOUS 484452334 HAS SOUPS 484452334 WITH SCORE 4.85727830916E8
AT ITER 1495 NEW BEST:: SOT 2139140231 SOS 1274763914 HAS SOPS 1274763914 HAS SOUS 484452321 HAS SOUPS 484452321 WITH SCORE 4.85727084914E8
AT ITER 1547 NEW BEST:: SOT 2139071201 SOS 1274177151 HAS SOPS 1274177151 HAS SOUS 484452313 HAS SOUPS 484452313 WITH SCORE 4.85726490151E8
AT ITER 1579 NEW BEST:: SOT 2139012403 SOS 1273677366 HAS SOPS 1273677366 HAS SOUS 484452311 HAS SOUPS 484452311 WITH SCORE 4.85725988366E8
AT ITER 1589 NEW BEST:: SOT 2138883507 SOS 1272581738 HAS SOPS 1272581738 HAS SOUS 484452299 HAS SOUPS 484452299 WITH SCORE 4.85724880738E8
AT ITER 1597 NEW BEST:: SOT 2138847171 SOS 1272272869 HAS SOPS 1272272869 HAS SOUS 484452286 HAS SOUPS 484452286 WITH SCORE 4.85724558869E8
AT ITER 1639 NEW BEST:: SOT 2138733851 SOS 1271309637 HAS SOPS 1271309637 HAS SOUS 484452274 HAS SOUPS 484452274 WITH SCORE 4.85723583637E8
AT ITER 1647 NEW BEST:: SOT 2138632513 SOS 1270448258 HAS SOPS 1270448258 HAS SOUS 484452268 HAS SOUPS 484452268 WITH SCORE 4.85722716258E8
AT ITER 1664 NEW BEST:: SOT 2138554437 SOS 1269784602 HAS SOPS 1269784602 HAS SOUS 484452258 HAS SOUPS 484452258 WITH SCORE 4.85722042602E8
AT ITER 1668 NEW BEST:: SOT 2138538759 SOS 1269651330 HAS SOPS 1269651330 HAS SOUS 484452249 HAS SOUPS 484452249 WITH SCORE 4.8572190033E8
AT ITER 1669 NEW BEST:: SOT 2138504155 SOS 1269357188 HAS SOPS 1269357188 HAS SOUS 484452241 HAS SOUPS 484452241 WITH SCORE 4.85721598188E8
AT ITER 1672 NEW BEST:: SOT 2138406991 SOS 1268531286 HAS SOPS 1268531286 HAS SOUS 484452233 HAS SOUPS 484452233 WITH SCORE 4.85720764286E8
AT ITER 1675 NEW BEST:: SOT 2138370885 SOS 1268224379 HAS SOPS 1268224379 HAS SOUS 484452227 HAS SOUPS 484452227 WITH SCORE 4.85720451379E8
AT ITER 1683 NEW BEST:: SOT 2138297787 SOS 1267603034 HAS SOPS 1267603034 HAS SOUS 484452215 HAS SOUPS 484452215 WITH SCORE 4.85719818034E8
AT ITER 1700 NEW BEST:: SOT 2138277803 SOS 1267433159 HAS SOPS 1267433159 HAS SOUS 484452204 HAS SOUPS 484452204 WITH SCORE 4.85719637159E8
AT ITER 1703 NEW BEST:: SOT 2138222295 SOS 1266961330 HAS SOPS 1266961330 HAS SOUS 484452193 HAS SOUPS 484452193 WITH SCORE 4.8571915433E8
AT ITER 1720 NEW BEST:: SOT 2138151767 SOS 1266361830 HAS SOPS 1266361830 HAS SOUS 484452181 HAS SOUPS 484452181 WITH SCORE 4.8571854283E8
AT ITER 1725 NEW BEST:: SOT 2138131383 SOS 1266188565 HAS SOPS 1266188565 HAS SOUS 484452180 HAS SOUPS 484452180 WITH SCORE 4.85718368565E8
AT ITER 1791 NEW BEST:: SOT 2138120695 SOS 1266097709 HAS SOPS 1266097709 HAS SOUS 484452172 HAS SOUPS 484452172 WITH SCORE 4.85718269709E8
AT ITER 1812 NEW BEST:: SOT 2137943104 SOS 1264937804 HAS SOPS 1264937804 HAS SOUS 484432270 HAS SOUPS 484432270 WITH SCORE 4.85697207804E8
AT ITER 1819 NEW BEST:: SOT 2137871744 SOS 1264331240 HAS SOPS 1264331240 HAS SOUS 484432266 HAS SOUPS 484432266 WITH SCORE 4.8569659724E8
AT ITER 1837 NEW BEST:: SOT 2137861510 SOS 1264244237 HAS SOPS 1264244237 HAS SOUS 484432252 HAS SOUPS 484432252 WITH SCORE 4.85696496237E8
AT ITER 1849 NEW BEST:: SOT 2137793232 SOS 1263663867 HAS SOPS 1263663867 HAS SOUS 484432245 HAS SOUPS 484432245 WITH SCORE 4.85695908867E8
AT ITER 1882 NEW BEST:: SOT 2137738396 SOS 1263197749 HAS SOPS 1263197749 HAS SOUS 484432233 HAS SOUPS 484432233 WITH SCORE 4.85695430749E8
AT ITER 1907 NEW BEST:: SOT 2137714116 SOS 1262991354 HAS SOPS 1262991354 HAS SOUS 484432216 HAS SOUPS 484432216 WITH SCORE 4.85695207354E8
AT ITER 1916 NEW BEST:: SOT 2137708246 SOS 1262941458 HAS SOPS 1262941458 HAS SOUS 484432215 HAS SOUPS 484432215 WITH SCORE 4.85695156458E8
AT ITER 1987 NEW BEST:: SOT 2137696488 SOS 1262841501 HAS SOPS 1262841501 HAS SOUS 484432201 HAS SOUPS 484432201 WITH SCORE 4.85695042501E8
AT ITER 2009 NEW BEST:: SOT 2137629450 SOS 1262271676 HAS SOPS 1262271676 HAS SOUS 484432199 HAS SOUPS 484432199 WITH SCORE 4.85694470676E8
AT ITER 2016 NEW BEST:: SOT 2137603458 SOS 1262050737 HAS SOPS 1262050737 HAS SOUS 484432192 HAS SOUPS 484432192 WITH SCORE 4.85694242737E8
AT ITER 2021 NEW BEST:: SOT 2137529334 SOS 1261420681 HAS SOPS 1261420681 HAS SOUS 484432190 HAS SOUPS 484432190 WITH SCORE 4.85693610681E8
AT ITER 2022 NEW BEST:: SOT 2137503696 SOS 1261202752 HAS SOPS 1261202752 HAS SOUS 484432184 HAS SOUPS 484432184 WITH SCORE 4.85693386752E8
AT ITER 2055 NEW BEST:: SOT 2137415944 SOS 1260456851 HAS SOPS 1260456851 HAS SOUS 484432175 HAS SOUPS 484432175 WITH SCORE 4.85692631851E8
AT ITER 2056 NEW BEST:: SOT 2137352000 SOS 1259913327 HAS SOPS 1259913327 HAS SOUS 484432175 HAS SOUPS 484432175 WITH SCORE 4.85692088327E8
AT ITER 2075 NEW BEST:: SOT 2137234330 SOS 1258913117 HAS SOPS 1258913117 HAS SOUS 484432158 HAS SOUPS 484432158 WITH SCORE 4.85691071117E8
AT ITER 2097 NEW BEST:: SOT 2137195512 SOS 1258583160 HAS SOPS 1258583160 HAS SOUS 484432154 HAS SOUPS 484432154 WITH SCORE 4.8569073716E8
AT ITER 2121 NEW BEST:: SOT 2137105646 SOS 1257819288 HAS SOPS 1257819288 HAS SOUS 484432143 HAS SOUPS 484432143 WITH SCORE 4.85689962288E8
AT ITER 2123 NEW BEST:: SOT 2137022202 SOS 1257109999 HAS SOPS 1257109999 HAS SOUS 484432126 HAS SOUPS 484432126 WITH SCORE 4.85689235999E8
AT ITER 2143 NEW BEST:: SOT 2136974252 SOS 1256702412 HAS SOPS 1256702412 HAS SOUS 484432114 HAS SOUPS 484432114 WITH SCORE 4.85688816412E8
AT ITER 2167 NEW BEST:: SOT 2136945220 SOS 1256455629 HAS SOPS 1256455629 HAS SOUS 484432103 HAS SOUPS 484432103 WITH SCORE 4.85688558629E8
AT ITER 2182 NEW BEST:: SOT 2136875272 SOS 1255861069 HAS SOPS 1255861069 HAS SOUS 484432101 HAS SOUPS 484432101 WITH SCORE 4.85687962069E8
AT ITER 2201 NEW BEST:: SOT 2136798724 SOS 1255210396 HAS SOPS 1255210396 HAS SOUS 484432084 HAS SOUPS 484432084 WITH SCORE 4.85687294396E8
AT ITER 2220 NEW BEST:: SOT 2136780508 SOS 1255055554 HAS SOPS 1255055554 HAS SOUS 484432078 HAS SOUPS 484432078 WITH SCORE 4.85687133554E8
AT ITER 2227 NEW BEST:: SOT 2136737464 SOS 1254689669 HAS SOPS 1254689669 HAS SOUS 484432067 HAS SOUPS 484432067 WITH SCORE 4.85686756669E8
AT ITER 2274 NEW BEST:: SOT 2136680698 SOS 1254207156 HAS SOPS 1254207156 HAS SOUS 484432065 HAS SOUPS 484432065 WITH SCORE 4.85686272156E8
AT ITER 2289 NEW BEST:: SOT 2136664942 SOS 1254073230 HAS SOPS 1254073230 HAS SOUS 484432065 HAS SOUPS 484432065 WITH SCORE 4.8568613823E8
AT ITER 2320 NEW BEST:: SOT 2136540346 SOS 1253014156 HAS SOPS 1253014156 HAS SOUS 484432057 HAS SOUPS 484432057 WITH SCORE 4.85685071156E8
AT ITER 2348 NEW BEST:: SOT 2136502752 SOS 1252694605 HAS SOPS 1252694605 HAS SOUS 484432055 HAS SOUPS 484432055 WITH SCORE 4.85684749605E8
AT ITER 2352 NEW BEST:: SOT 2136481290 SOS 1252512168 HAS SOPS 1252512168 HAS SOUS 484432045 HAS SOUPS 484432045 WITH SCORE 4.85684557168E8
AT ITER 2404 NEW BEST:: SOT 2136422328 SOS 1252010984 HAS SOPS 1252010984 HAS SOUS 484432038 HAS SOUPS 484432038 WITH SCORE 4.85684048984E8
AT ITER 2409 NEW BEST:: SOT 2136404386 SOS 1251858474 HAS SOPS 1251858474 HAS SOUS 484432035 HAS SOUPS 484432035 WITH SCORE 4.85683893474E8
AT ITER 2451 NEW BEST:: SOT 2136285614 SOS 1250848900 HAS SOPS 1250848900 HAS SOUS 484432023 HAS SOUPS 484432023 WITH SCORE 4.856828719E8
AT ITER 2460 NEW BEST:: SOT 2136268474 SOS 1250703201 HAS SOPS 1250703201 HAS SOUS 484432014 HAS SOUPS 484432014 WITH SCORE 4.85682717201E8
AT ITER 2474 NEW BEST:: SOT 2136169566 SOS 1249862474 HAS SOPS 1249862474 HAS SOUS 484432005 HAS SOUPS 484432005 WITH SCORE 4.85681867474E8
AT ITER 2479 NEW BEST:: SOT 2136166148 SOS 1249833407 HAS SOPS 1249833407 HAS SOUS 484431991 HAS SOUPS 484431991 WITH SCORE 4.85681824407E8
AT ITER 2515 NEW BEST:: SOT 2136132980 SOS 1249551473 HAS SOPS 1249551473 HAS SOUS 484431985 HAS SOUPS 484431985 WITH SCORE 4.85681536473E8
AT ITER 2530 NEW BEST:: SOT 2136033368 SOS 1248704763 HAS SOPS 1248704763 HAS SOUS 484431977 HAS SOUPS 484431977 WITH SCORE 4.85680681763E8
AT ITER 2535 NEW BEST:: SOT 2136017574 SOS 1248570505 HAS SOPS 1248570505 HAS SOUS 484431968 HAS SOUPS 484431968 WITH SCORE 4.85680538505E8
AT ITER 2558 NEW BEST:: SOT 2135887530 SOS 1247465116 HAS SOPS 1247465116 HAS SOUS 484431951 HAS SOUPS 484431951 WITH SCORE 4.85679416116E8
AT ITER 2590 NEW BEST:: SOT 2135770632 SOS 1246471477 HAS SOPS 1246471477 HAS SOUS 484431945 HAS SOUPS 484431945 WITH SCORE 4.85678416477E8
AT ITER 2611 NEW BEST:: SOT 2135764548 SOS 1246419763 HAS SOPS 1246419763 HAS SOUS 484431945 HAS SOUPS 484431945 WITH SCORE 4.85678364763E8
AT ITER 2612 NEW BEST:: SOT 2135751846 SOS 1246311793 HAS SOPS 1246311793 HAS SOUS 484431942 HAS SOUPS 484431942 WITH SCORE 4.85678253793E8
AT ITER 2620 NEW BEST:: SOT 2135725842 SOS 1246090756 HAS SOPS 1246090756 HAS SOUS 484431939 HAS SOUPS 484431939 WITH SCORE 4.85678029756E8
AT ITER 2645 NEW BEST:: SOT 2135661490 SOS 1245543758 HAS SOPS 1245543758 HAS SOUS 484431933 HAS SOUPS 484431933 WITH SCORE 4.85677476758E8
AT ITER 2672 NEW BEST:: SOT 2135588448 SOS 1244922886 HAS SOPS 1244922886 HAS SOUS 484431916 HAS SOUPS 484431916 WITH SCORE 4.85676838886E8
AT ITER 2695 NEW BEST:: SOT 2135534414 SOS 1244463588 HAS SOPS 1244463588 HAS SOUS 484431907 HAS SOUPS 484431907 WITH SCORE 4.85676370588E8
AT ITER 2705 NEW BEST:: SOT 2135528330 SOS 1244411862 HAS SOPS 1244411862 HAS SOUS 484431895 HAS SOUPS 484431895 WITH SCORE 4.85676306862E8
AT ITER 2714 NEW BEST:: SOT 2135492092 SOS 1244103826 HAS SOPS 1244103826 HAS SOUS 484431882 HAS SOUPS 484431882 WITH SCORE 4.85675985826E8
AT ITER 2724 NEW BEST:: SOT 2135484186 SOS 1244036614 HAS SOPS 1244036614 HAS SOUS 484431871 HAS SOUPS 484431871 WITH SCORE 4.85675907614E8
AT ITER 2733 NEW BEST:: SOT 2135440496 SOS 1243665243 HAS SOPS 1243665243 HAS SOUS 484431865 HAS SOUPS 484431865 WITH SCORE 4.85675530243E8
AT ITER 2746 NEW BEST:: SOT 2135321838 SOS 1242656637 HAS SOPS 1242656637 HAS SOUS 484431852 HAS SOUPS 484431852 WITH SCORE 4.85674508637E8
AT ITER 2793 NEW BEST:: SOT 2135296562 SOS 1242441777 HAS SOPS 1242441777 HAS SOUS 484431838 HAS SOUPS 484431838 WITH SCORE 4.85674279777E8
AT ITER 2804 NEW BEST:: SOT 2135251330 SOS 1242057298 HAS SOPS 1242057298 HAS SOUS 484431831 HAS SOUPS 484431831 WITH SCORE 4.85673888298E8
AT ITER 2809 NEW BEST:: SOT 2135240212 SOS 1241957236 HAS SOPS 1241957236 HAS SOUS 484426272 HAS SOUPS 484426272 WITH SCORE 4.85668229236E8
AT ITER 2838 NEW BEST:: SOT 2135179248 SOS 1241439027 HAS SOPS 1241439027 HAS SOUS 484426255 HAS SOUPS 484426255 WITH SCORE 4.85667694027E8
AT ITER 2846 NEW BEST:: SOT 2135119540 SOS 1240931497 HAS SOPS 1240931497 HAS SOUS 484426243 HAS SOUPS 484426243 WITH SCORE 4.85667174497E8
AT ITER 2863 NEW BEST:: SOT 2135017282 SOS 1240062303 HAS SOPS 1240062303 HAS SOUS 484426242 HAS SOUPS 484426242 WITH SCORE 4.85666304303E8
AT ITER 2868 NEW BEST:: SOT 2134939544 SOS 1239401523 HAS SOPS 1239401523 HAS SOUS 484426235 HAS SOUPS 484426235 WITH SCORE 4.85665636523E8
AT ITER 2984 NEW BEST:: SOT 2134893482 SOS 1239009983 HAS SOPS 1239009983 HAS SOUS 484426222 HAS SOUPS 484426222 WITH SCORE 4.85665231983E8
AT ITER 2990 NEW BEST:: SOT 2134823274 SOS 1238413200 HAS SOPS 1238413200 HAS SOUS 484426205 HAS SOUPS 484426205 WITH SCORE 4.856646182E8
AT ITER 3020 NEW BEST:: SOT 2134823274 SOS 1238413194 HAS SOPS 1238413194 HAS SOUS 484426199 HAS SOUPS 484426199 WITH SCORE 4.85664612194E8
AT ITER 3022 NEW BEST:: SOT 2134770204 SOS 1237962094 HAS SOPS 1237962094 HAS SOUS 484426194 HAS SOUPS 484426194 WITH SCORE 4.85664156094E8
AT ITER 3030 NEW BEST:: SOT 2134706204 SOS 1237418094 HAS SOPS 1237418094 HAS SOUS 484426194 HAS SOUPS 484426194 WITH SCORE 4.85663612094E8
AT ITER 3045 NEW BEST:: SOT 2134628590 SOS 1236758361 HAS SOPS 1236758361 HAS SOUS 484426180 HAS SOUPS 484426180 WITH SCORE 4.85662938361E8
AT ITER 3053 NEW BEST:: SOT 2134604820 SOS 1236556304 HAS SOPS 1236556304 HAS SOUS 484426168 HAS SOUPS 484426168 WITH SCORE 4.85662724304E8
AT ITER 3071 NEW BEST:: SOT 2134564636 SOS 1236214738 HAS SOPS 1236214738 HAS SOUS 484426166 HAS SOUPS 484426166 WITH SCORE 4.85662380738E8
AT ITER 3091 NEW BEST:: SOT 2134514498 SOS 1235788565 HAS SOPS 1235788565 HAS SOUS 484426166 HAS SOUPS 484426166 WITH SCORE 4.85661954565E8
AT ITER 3092 NEW BEST:: SOT 2134485416 SOS 1235541353 HAS SOPS 1235541353 HAS SOUS 484426149 HAS SOUPS 484426149 WITH SCORE 4.85661690353E8
AT ITER 3111 NEW BEST:: SOT 2134477568 SOS 1235474642 HAS SOPS 1235474642 HAS SOUS 484426146 HAS SOUPS 484426146 WITH SCORE 4.85661620642E8
AT ITER 3133 NEW BEST:: SOT 2134473622 SOS 1235441100 HAS SOPS 1235441100 HAS SOUS 484426145 HAS SOUPS 484426145 WITH SCORE 4.856615861E8
AT ITER 3140 NEW BEST:: SOT 2134405626 SOS 1234863120 HAS SOPS 1234863120 HAS SOUS 484426131 HAS SOUPS 484426131 WITH SCORE 4.8566099412E8
AT ITER 3143 NEW BEST:: SOT 2134353778 SOS 1234422411 HAS SOPS 1234422411 HAS SOUS 484426130 HAS SOUPS 484426130 WITH SCORE 4.85660552411E8
AT ITER 3156 NEW BEST:: SOT 2134344154 SOS 1234340600 HAS SOPS 1234340600 HAS SOUS 484426123 HAS SOUPS 484426123 WITH SCORE 4.856604636E8
AT ITER 3166 NEW BEST:: SOT 2134339474 SOS 1234300820 HAS SOPS 1234300820 HAS SOUS 484426123 HAS SOUPS 484426123 WITH SCORE 4.8566042382E8
AT ITER 3197 NEW BEST:: SOT 2134267262 SOS 1233687010 HAS SOPS 1233687010 HAS SOUS 484426115 HAS SOUPS 484426115 WITH SCORE 4.8565980201E8
AT ITER 3201 NEW BEST:: SOT 2134197946 SOS 1233097819 HAS SOPS 1233097819 HAS SOUS 484426110 HAS SOUPS 484426110 WITH SCORE 4.85659207819E8
AT ITER 3213 NEW BEST:: SOT 2134141698 SOS 1232619700 HAS SOPS 1232619700 HAS SOUS 484426099 HAS SOUPS 484426099 WITH SCORE 4.856587187E8
AT ITER 3231 NEW BEST:: SOT 2134070704 SOS 1232016241 HAS SOPS 1232016241 HAS SOUS 484426089 HAS SOUPS 484426089 WITH SCORE 4.85658105241E8
AT ITER 3238 NEW BEST:: SOT 2133954196 SOS 1231025917 HAS SOPS 1231025917 HAS SOUS 484426083 HAS SOUPS 484426083 WITH SCORE 4.85657108917E8
AT ITER 3241 NEW BEST:: SOT 2133915970 SOS 1230700986 HAS SOPS 1230700986 HAS SOUS 484426073 HAS SOUPS 484426073 WITH SCORE 4.85656773986E8
AT ITER 3255 NEW BEST:: SOT 2133880072 SOS 1230395842 HAS SOPS 1230395842 HAS SOUS 484426062 HAS SOUPS 484426062 WITH SCORE 4.85656457842E8
AT ITER 3261 NEW BEST:: SOT 2133821210 SOS 1229895505 HAS SOPS 1229895505 HAS SOUS 484426052 HAS SOUPS 484426052 WITH SCORE 4.85655947505E8
AT ITER 3287 NEW BEST:: SOT 2133736856 SOS 1229136319 HAS SOPS 1229136319 HAS SOUS 484383875 HAS SOUPS 484383875 WITH SCORE 4.85613011319E8
AT ITER 3341 NEW BEST:: SOT 2133728504 SOS 1229065312 HAS SOPS 1229065312 HAS SOUS 484383858 HAS SOUPS 484383858 WITH SCORE 4.85612923312E8
AT ITER 3355 NEW BEST:: SOT 2133701938 SOS 1228826218 HAS SOPS 1228826218 HAS SOUS 484370575 HAS SOUPS 484370575 WITH SCORE 4.85599401218E8
AT ITER 3374 NEW BEST:: SOT 2133697914 SOS 1228792013 HAS SOPS 1228792013 HAS SOUS 484370574 HAS SOUPS 484370574 WITH SCORE 4.85599366013E8
AT ITER 3394 NEW BEST:: SOT 2133613586 SOS 1228075221 HAS SOPS 1228075221 HAS SOUS 484370570 HAS SOUPS 484370570 WITH SCORE 4.85598645221E8
AT ITER 3396 NEW BEST:: SOT 2133600132 SOS 1227960850 HAS SOPS 1227960850 HAS SOUS 484370558 HAS SOUPS 484370558 WITH SCORE 4.8559851885E8
AT ITER 3397 NEW BEST:: SOT 2133600132 SOS 1227960837 HAS SOPS 1227960837 HAS SOUS 484370545 HAS SOUPS 484370545 WITH SCORE 4.85598505837E8
AT ITER 3421 NEW BEST:: SOT 2133572564 SOS 1227726506 HAS SOPS 1227726506 HAS SOUS 484370542 HAS SOUPS 484370542 WITH SCORE 4.85598268506E8
AT ITER 3430 NEW BEST:: SOT 2133459404 SOS 1226764640 HAS SOPS 1226764640 HAS SOUS 484370536 HAS SOUPS 484370536 WITH SCORE 4.8559730064E8
AT ITER 3434 NEW BEST:: SOT 2133378334 SOS 1226075540 HAS SOPS 1226075540 HAS SOUS 484370531 HAS SOUPS 484370531 WITH SCORE 4.8559660654E8
AT ITER 3439 NEW BEST:: SOT 2133329644 SOS 1225661669 HAS SOPS 1225661669 HAS SOUS 484370525 HAS SOUPS 484370525 WITH SCORE 4.85596186669E8
AT ITER 3467 NEW BEST:: SOT 2133315162 SOS 1225538561 HAS SOPS 1225538561 HAS SOUS 484370514 HAS SOUPS 484370514 WITH SCORE 4.85596052561E8
AT ITER 3477 NEW BEST:: SOT 2133299514 SOS 1225405547 HAS SOPS 1225405547 HAS SOUS 484370508 HAS SOUPS 484370508 WITH SCORE 4.85595913547E8
AT ITER 3489 NEW BEST:: SOT 2133299514 SOS 1225405532 HAS SOPS 1225405532 HAS SOUS 484370491 HAS SOUPS 484370491 WITH SCORE 4.85595896532E8
AT ITER 3510 NEW BEST:: SOT 2133268174 SOS 1225139129 HAS SOPS 1225139129 HAS SOUS 484370478 HAS SOUPS 484370478 WITH SCORE 4.85595617129E8
AT ITER 3525 NEW BEST:: SOT 2133240770 SOS 1224906186 HAS SOPS 1224906186 HAS SOUS 484370469 HAS SOUPS 484370469 WITH SCORE 4.85595375186E8
AT ITER 3527 NEW BEST:: SOT 2133212364 SOS 1224664725 HAS SOPS 1224664725 HAS SOUS 484370459 HAS SOUPS 484370459 WITH SCORE 4.85595123725E8
AT ITER 3543 NEW BEST:: SOT 2133156908 SOS 1224193344 HAS SOPS 1224193344 HAS SOUS 484370454 HAS SOUPS 484370454 WITH SCORE 4.85594647344E8
AT ITER 3630 NEW BEST:: SOT 2133153462 SOS 1224164053 HAS SOPS 1224164053 HAS SOUS 484370454 HAS SOUPS 484370454 WITH SCORE 4.85594618053E8
AT ITER 3644 NEW BEST:: SOT 2133102170 SOS 1223728070 HAS SOPS 1223728070 HAS SOUS 484370453 HAS SOUPS 484370453 WITH SCORE 4.8559418107E8
AT ITER 3649 NEW BEST:: SOT 2133006826 SOS 1222917642 HAS SOPS 1222917642 HAS SOUS 484370449 HAS SOUPS 484370449 WITH SCORE 4.85593366642E8
AT ITER 3678 NEW BEST:: SOT 2132986528 SOS 1222745101 HAS SOPS 1222745101 HAS SOUS 484370441 HAS SOUPS 484370441 WITH SCORE 4.85593186101E8
AT ITER 3705 NEW BEST:: SOT 2132914192 SOS 1222130232 HAS SOPS 1222130232 HAS SOUS 484370428 HAS SOUPS 484370428 WITH SCORE 4.85592558232E8
AT ITER 3715 NEW BEST:: SOT 2132890251 SOS 1221905201 HAS SOPS 1221905201 HAS SOUS 484364623 HAS SOUPS 484364623 WITH SCORE 4.85586528201E8
AT ITER 3753 NEW BEST:: SOT 2132844271 SOS 1221514356 HAS SOPS 1221514356 HAS SOUS 484364606 HAS SOUPS 484364606 WITH SCORE 4.85586120356E8
AT ITER 3771 NEW BEST:: SOT 2132800059 SOS 1221138541 HAS SOPS 1221138541 HAS SOUS 484364593 HAS SOUPS 484364593 WITH SCORE 4.85585731541E8
AT ITER 3774 NEW BEST:: SOT 2132800059 SOS 1221138538 HAS SOPS 1221138538 HAS SOUS 484364590 HAS SOUPS 484364590 WITH SCORE 4.85585728538E8
AT ITER 3785 NEW BEST:: SOT 2132780783 SOS 1220965054 HAS SOPS 1220965054 HAS SOUS 484354950 HAS SOUPS 484354950 WITH SCORE 4.85575915054E8
AT ITER 3806 NEW BEST:: SOT 2132706907 SOS 1220337105 HAS SOPS 1220337105 HAS SOUS 484354947 HAS SOUPS 484354947 WITH SCORE 4.85575284105E8
AT ITER 3809 NEW BEST:: SOT 2132625877 SOS 1219648336 HAS SOPS 1219648336 HAS SOUS 484354933 HAS SOUPS 484354933 WITH SCORE 4.85574581336E8
AT ITER 3898 NEW BEST:: SOT 2132625877 SOS 1219648324 HAS SOPS 1219648324 HAS SOUS 484354921 HAS SOUPS 484354921 WITH SCORE 4.85574569324E8
AT ITER 3936 NEW BEST:: SOT 2132579951 SOS 1219234990 HAS SOPS 1219234990 HAS SOUS 484331958 HAS SOUPS 484331958 WITH SCORE 4.8555119299E8
AT ITER 3989 NEW BEST:: SOT 2132547869 SOS 1218946252 HAS SOPS 1218946252 HAS SOUS 484315917 HAS SOUPS 484315917 WITH SCORE 4.85534863252E8
AT ITER 3990 NEW BEST:: SOT 2132510571 SOS 1218629217 HAS SOPS 1218629217 HAS SOUS 484315915 HAS SOUPS 484315915 WITH SCORE 4.85534544217E8
AT ITER 4007 NEW BEST:: SOT 2132400755 SOS 1217695781 HAS SOPS 1217695781 HAS SOUS 484315915 HAS SOUPS 484315915 WITH SCORE 4.85533610781E8
AT ITER 4021 NEW BEST:: SOT 2132343591 SOS 1217209882 HAS SOPS 1217209882 HAS SOUS 484315910 HAS SOUPS 484315910 WITH SCORE 4.85533119882E8
AT ITER 4029 NEW BEST:: SOT 2132277757 SOS 1216650281 HAS SOPS 1216650281 HAS SOUS 484315898 HAS SOUPS 484315898 WITH SCORE 4.85532548281E8
AT ITER 4108 NEW BEST:: SOT 2132260329 SOS 1216502143 HAS SOPS 1216502143 HAS SOUS 484315898 HAS SOUPS 484315898 WITH SCORE 4.85532400143E8
AT ITER 4112 NEW BEST:: SOT 2132246361 SOS 1216383413 HAS SOPS 1216383413 HAS SOUS 484315896 HAS SOUPS 484315896 WITH SCORE 4.85532279413E8
AT ITER 4196 NEW BEST:: SOT 2132169635 SOS 1215731242 HAS SOPS 1215731242 HAS SOUS 484315896 HAS SOUPS 484315896 WITH SCORE 4.85531627242E8
AT ITER 4205 NEW BEST:: SOT 2132061173 SOS 1214809314 HAS SOPS 1214809314 HAS SOUS 484315895 HAS SOUPS 484315895 WITH SCORE 4.85530704314E8
AT ITER 4210 NEW BEST:: SOT 2131954045 SOS 1213898715 HAS SOPS 1213898715 HAS SOUS 484315884 HAS SOUPS 484315884 WITH SCORE 4.85529782715E8
AT ITER 4212 NEW BEST:: SOT 2131936103 SOS 1213746204 HAS SOPS 1213746204 HAS SOUS 484315880 HAS SOUPS 484315880 WITH SCORE 4.85529626204E8
AT ITER 4241 NEW BEST:: SOT 2131850595 SOS 1213019380 HAS SOPS 1213019380 HAS SOUS 484315874 HAS SOUPS 484315874 WITH SCORE 4.8552889338E8
AT ITER 4261 NEW BEST:: SOT 2131809675 SOS 1212671553 HAS SOPS 1212671553 HAS SOUS 484315867 HAS SOUPS 484315867 WITH SCORE 4.85528538553E8
AT ITER 4302 NEW BEST:: SOT 2131782763 SOS 1212442790 HAS SOPS 1212442790 HAS SOUS 484315856 HAS SOUPS 484315856 WITH SCORE 4.8552829879E8
AT ITER 4361 NEW BEST:: SOT 2131713171 SOS 1211851250 HAS SOPS 1211851250 HAS SOUS 484315848 HAS SOUPS 484315848 WITH SCORE 4.8552769925E8
AT ITER 4376 NEW BEST:: SOT 2131692751 SOS 1211677671 HAS SOPS 1211677671 HAS SOUS 484315839 HAS SOUPS 484315839 WITH SCORE 4.85527516671E8
AT ITER 4380 NEW BEST:: SOT 2131624869 SOS 1211100659 HAS SOPS 1211100659 HAS SOUS 484315822 HAS SOUPS 484315822 WITH SCORE 4.85526922659E8
AT ITER 4401 NEW BEST:: SOT 2131525115 SOS 1210252737 HAS SOPS 1210252737 HAS SOUS 484315809 HAS SOUPS 484315809 WITH SCORE 4.85526061737E8
AT ITER 4406 NEW BEST:: SOT 2131485081 SOS 1209912445 HAS SOPS 1209912445 HAS SOUS 484315806 HAS SOUPS 484315806 WITH SCORE 4.85525718445E8
AT ITER 4423 NEW BEST:: SOT 2131485081 SOS 1209912441 HAS SOPS 1209912441 HAS SOUS 484315802 HAS SOUPS 484315802 WITH SCORE 4.85525714441E8
AT ITER 4452 NEW BEST:: SOT 2131416137 SOS 1209326404 HAS SOPS 1209326404 HAS SOUS 484315789 HAS SOUPS 484315789 WITH SCORE 4.85525115404E8
AT ITER 4457 NEW BEST:: SOT 2131391155 SOS 1209080521 HAS SOPS 1209080521 HAS SOUS 484305938 HAS SOUPS 484305938 WITH SCORE 4.85515018521E8
AT ITER 4459 NEW BEST:: SOT 2131326083 SOS 1208527402 HAS SOPS 1208527402 HAS SOUS 484305931 HAS SOUPS 484305931 WITH SCORE 4.85514458402E8
AT ITER 4471 NEW BEST:: SOT 2131237348 SOS 1207743922 HAS SOPS 1207743922 HAS SOUS 484304321 HAS SOUPS 484304321 WITH SCORE 4.85512064922E8
AT ITER 4541 NEW BEST:: SOT 2131186636 SOS 1207312860 HAS SOPS 1207312860 HAS SOUS 484304311 HAS SOUPS 484304311 WITH SCORE 4.8551162386E8
AT ITER 4546 NEW BEST:: SOT 2131154446 SOS 1207039234 HAS SOPS 1207039234 HAS SOUS 484304300 HAS SOUPS 484304300 WITH SCORE 4.85511339234E8
AT ITER 4559 NEW BEST:: SOT 2131073250 SOS 1206349062 HAS SOPS 1206349062 HAS SOUS 484304294 HAS SOUPS 484304294 WITH SCORE 4.85510643062E8
AT ITER 4572 NEW BEST:: SOT 2131057896 SOS 1206218538 HAS SOPS 1206218538 HAS SOUS 484304277 HAS SOUPS 484304277 WITH SCORE 4.85510495538E8
AT ITER 4613 NEW BEST:: SOT 2130957586 SOS 1205365890 HAS SOPS 1205365890 HAS SOUS 484304264 HAS SOUPS 484304264 WITH SCORE 4.8550962989E8
AT ITER 4646 NEW BEST:: SOT 2130933748 SOS 1205163253 HAS SOPS 1205163253 HAS SOUS 484304250 HAS SOUPS 484304250 WITH SCORE 4.85509413253E8
AT ITER 4647 NEW BEST:: SOT 2130888040 SOS 1204774734 HAS SOPS 1204774734 HAS SOUS 484304249 HAS SOUPS 484304249 WITH SCORE 4.85509023734E8
AT ITER 4649 NEW BEST:: SOT 2130768346 SOS 1203757322 HAS SOPS 1203757322 HAS SOUS 484304236 HAS SOUPS 484304236 WITH SCORE 4.85507993322E8
AT ITER 4657 NEW BEST:: SOT 2130748724 SOS 1203590523 HAS SOPS 1203590523 HAS SOUS 484304224 HAS SOUPS 484304224 WITH SCORE 4.85507814523E8
AT ITER 4672 NEW BEST:: SOT 2130666346 SOS 1202890297 HAS SOPS 1202890297 HAS SOUS 484304211 HAS SOUPS 484304211 WITH SCORE 4.85507101297E8
AT ITER 4688 NEW BEST:: SOT 2130604384 SOS 1202363614 HAS SOPS 1202363614 HAS SOUS 484304205 HAS SOUPS 484304205 WITH SCORE 4.85506568614E8
AT ITER 4700 NEW BEST:: SOT 2130587768 SOS 1202222364 HAS SOPS 1202222364 HAS SOUS 484304191 HAS SOUPS 484304191 WITH SCORE 4.85506413364E8
AT ITER 4704 NEW BEST:: SOT 2130417557 SOS 1201201094 HAS SOPS 1201201094 HAS SOUS 484247450 HAS SOUPS 484247450 WITH SCORE 4.85448651094E8
AT ITER 4708 NEW BEST:: SOT 2130366945 SOS 1200770885 HAS SOPS 1200770885 HAS SOUS 484247443 HAS SOUPS 484247443 WITH SCORE 4.85448213885E8
AT ITER 4738 NEW BEST:: SOT 2130277167 SOS 1199962883 HAS SOPS 1199962883 HAS SOUS 484202554 HAS SOUPS 484202554 WITH SCORE 4.85402516883E8
AT ITER 4744 NEW BEST:: SOT 2130273549 SOS 1199932128 HAS SOPS 1199932128 HAS SOUS 484202552 HAS SOUPS 484202552 WITH SCORE 4.85402484128E8
AT ITER 4751 NEW BEST:: SOT 2130154835 SOS 1198923046 HAS SOPS 1198923046 HAS SOUS 484202539 HAS SOUPS 484202539 WITH SCORE 4.85401462046E8
AT ITER 4753 NEW BEST:: SOT 2130112077 SOS 1198559601 HAS SOPS 1198559601 HAS SOUS 484202537 HAS SOUPS 484202537 WITH SCORE 4.85401096601E8
AT ITER 4764 NEW BEST:: SOT 2130080893 SOS 1198263734 HAS SOPS 1198263734 HAS SOUS 484193574 HAS SOUPS 484193574 WITH SCORE 4.85391837734E8
AT ITER 4776 NEW BEST:: SOT 2130040869 SOS 1197923522 HAS SOPS 1197923522 HAS SOUS 484193566 HAS SOUPS 484193566 WITH SCORE 4.85391489522E8
AT ITER 4784 NEW BEST:: SOT 2130002509 SOS 1197597459 HAS SOPS 1197597459 HAS SOUS 484193563 HAS SOUPS 484193563 WITH SCORE 4.85391160459E8
AT ITER 4803 NEW BEST:: SOT 2129993845 SOS 1197523810 HAS SOPS 1197523810 HAS SOUS 484193558 HAS SOUPS 484193558 WITH SCORE 4.8539108181E8
AT ITER 4831 NEW BEST:: SOT 2129953229 SOS 1197148276 HAS SOPS 1197148276 HAS SOUS 484177255 HAS SOUPS 484177255 WITH SCORE 4.85374403276E8
AT ITER 4858 NEW BEST:: SOT 2129880857 SOS 1196533111 HAS SOPS 1196533111 HAS SOUS 484177252 HAS SOUPS 484177252 WITH SCORE 4.85373785111E8
AT ITER 4869 NEW BEST:: SOT 2129836169 SOS 1196153257 HAS SOPS 1196153257 HAS SOUS 484177246 HAS SOUPS 484177246 WITH SCORE 4.85373399257E8
AT ITER 4874 NEW BEST:: SOT 2129809267 SOS 1195924580 HAS SOPS 1195924580 HAS SOUS 484177236 HAS SOUPS 484177236 WITH SCORE 4.8537316058E8
AT ITER 4893 NEW BEST:: SOT 2129800805 SOS 1195852644 HAS SOPS 1195852644 HAS SOUS 484177227 HAS SOUPS 484177227 WITH SCORE 4.85373079644E8
AT ITER 4931 NEW BEST:: SOT 2129789255 SOS 1195754455 HAS SOPS 1195754455 HAS SOUS 484177213 HAS SOUPS 484177213 WITH SCORE 4.85372967455E8
AT ITER 4969 NEW BEST:: SOT 2129735089 SOS 1195294038 HAS SOPS 1195294038 HAS SOUS 484177207 HAS SOUPS 484177207 WITH SCORE 4.85372501038E8
AT ITER 5047 NEW BEST:: SOT 2129641479 SOS 1194498348 HAS SOPS 1194498348 HAS SOUS 484177202 HAS SOUPS 484177202 WITH SCORE 4.85371700348E8
AT ITER 5049 NEW BEST:: SOT 2129560043 SOS 1193806142 HAS SOPS 1193806142 HAS SOUS 484177202 HAS SOUPS 484177202 WITH SCORE 4.85371008142E8
AT ITER 5058 NEW BEST:: SOT 2129548369 SOS 1193706907 HAS SOPS 1193706907 HAS SOUS 484177196 HAS SOUPS 484177196 WITH SCORE 4.85370902907E8
AT ITER 5059 NEW BEST:: SOT 2129501927 SOS 1193312137 HAS SOPS 1193312137 HAS SOUS 484177183 HAS SOUPS 484177183 WITH SCORE 4.85370495137E8
AT ITER 5080 NEW BEST:: SOT 2129492999 SOS 1193236242 HAS SOPS 1193236242 HAS SOUS 484177176 HAS SOUPS 484177176 WITH SCORE 4.85370412242E8
AT ITER 5102 NEW BEST:: SOT 2129392861 SOS 1192385060 HAS SOPS 1192385060 HAS SOUS 484177167 HAS SOUPS 484177167 WITH SCORE 4.8536955206E8
AT ITER 5134 NEW BEST:: SOT 2129378017 SOS 1192258872 HAS SOPS 1192258872 HAS SOUS 484177153 HAS SOUPS 484177153 WITH SCORE 4.85369411872E8
AT ITER 5142 NEW BEST:: SOT 2129359449 SOS 1192091760 HAS SOPS 1192091760 HAS SOUS 484167869 HAS SOUPS 484167869 WITH SCORE 4.8535996076E8
AT ITER 5165 NEW BEST:: SOT 2129321219 SOS 1191766797 HAS SOPS 1191766797 HAS SOUS 484167861 HAS SOUPS 484167861 WITH SCORE 4.85359627797E8
AT ITER 5173 NEW BEST:: SOT 2129311965 SOS 1191688133 HAS SOPS 1191688133 HAS SOUS 484167856 HAS SOUPS 484167856 WITH SCORE 4.85359544133E8
AT ITER 5192 NEW BEST:: SOT 2129296647 SOS 1191557918 HAS SOPS 1191557918 HAS SOUS 484167844 HAS SOUPS 484167844 WITH SCORE 4.85359401918E8
AT ITER 5212 NEW BEST:: SOT 2129239295 SOS 1191070415 HAS SOPS 1191070415 HAS SOUS 484167833 HAS SOUPS 484167833 WITH SCORE 4.85358903415E8
AT ITER 5229 NEW BEST:: SOT 2129185831 SOS 1190615966 HAS SOPS 1190615966 HAS SOUS 484167828 HAS SOUPS 484167828 WITH SCORE 4.85358443966E8
AT ITER 5237 NEW BEST:: SOT 2129151509 SOS 1190324217 HAS SOPS 1190324217 HAS SOUS 484167816 HAS SOUPS 484167816 WITH SCORE 4.85358140217E8
AT ITER 5256 NEW BEST:: SOT 2129043389 SOS 1189405185 HAS SOPS 1189405185 HAS SOUS 484167804 HAS SOUPS 484167804 WITH SCORE 4.85357209185E8
AT ITER 5278 NEW BEST:: SOT 2128963359 SOS 1188724923 HAS SOPS 1188724923 HAS SOUS 484167797 HAS SOUPS 484167797 WITH SCORE 4.85356521923E8
AT ITER 5281 NEW BEST:: SOT 2128923381 SOS 1188385096 HAS SOPS 1188385096 HAS SOUS 484167783 HAS SOUPS 484167783 WITH SCORE 4.85356168096E8
AT ITER 5315 NEW BEST:: SOT 2128896417 SOS 1188155901 HAS SOPS 1188155901 HAS SOUS 484167782 HAS SOUPS 484167782 WITH SCORE 4.85355937901E8
AT ITER 5358 NEW BEST:: SOT 2128846743 SOS 1187733659 HAS SOPS 1187733659 HAS SOUS 484167769 HAS SOUPS 484167769 WITH SCORE 4.85355502659E8
AT ITER 5367 NEW BEST:: SOT 2128749297 SOS 1186905354 HAS SOPS 1186905354 HAS SOUS 484167755 HAS SOUPS 484167755 WITH SCORE 4.85354660354E8
AT ITER 5381 NEW BEST:: SOT 2128735643 SOS 1186789289 HAS SOPS 1186789289 HAS SOUS 484167749 HAS SOUPS 484167749 WITH SCORE 4.85354538289E8
AT ITER 5441 NEW BEST:: SOT 2128695445 SOS 1186447604 HAS SOPS 1186447604 HAS SOUS 484167747 HAS SOUPS 484167747 WITH SCORE 4.85354194604E8
AT ITER 5510 NEW BEST:: SOT 2128635783 SOS 1185940462 HAS SOPS 1185940462 HAS SOUS 484167730 HAS SOUPS 484167730 WITH SCORE 4.85353670462E8
AT ITER 5541 NEW BEST:: SOT 2128616221 SOS 1185774172 HAS SOPS 1185774172 HAS SOUS 484167717 HAS SOUPS 484167717 WITH SCORE 4.85353491172E8
AT ITER 5556 NEW BEST:: SOT 2128599957 SOS 1185635920 HAS SOPS 1185635920 HAS SOUS 484167709 HAS SOUPS 484167709 WITH SCORE 4.8535334492E8
AT ITER 5572 NEW BEST:: SOT 2128561091 SOS 1185305547 HAS SOPS 1185305547 HAS SOUS 484167697 HAS SOUPS 484167697 WITH SCORE 4.85353002547E8
AT ITER 5578 NEW BEST:: SOT 2128545913 SOS 1185176528 HAS SOPS 1185176528 HAS SOUS 484167691 HAS SOUPS 484167691 WITH SCORE 4.85352867528E8
AT ITER 5595 NEW BEST:: SOT 2128446057 SOS 1184327738 HAS SOPS 1184327738 HAS SOUS 484167677 HAS SOUPS 484167677 WITH SCORE 4.85352004738E8
AT ITER 5607 NEW BEST:: SOT 2128389429 SOS 1183846391 HAS SOPS 1183846391 HAS SOUS 484167668 HAS SOUPS 484167668 WITH SCORE 4.85351514391E8
AT ITER 5634 NEW BEST:: SOT 2128260223 SOS 1182748140 HAS SOPS 1182748140 HAS SOUS 484167668 HAS SOUPS 484167668 WITH SCORE 4.8535041614E8
AT ITER 5674 NEW BEST:: SOT 2128170151 SOS 1181982523 HAS SOPS 1181982523 HAS SOUS 484167663 HAS SOUPS 484167663 WITH SCORE 4.85349645523E8
AT ITER 5741 NEW BEST:: SOT 2128162115 SOS 1181914213 HAS SOPS 1181914213 HAS SOUS 484167659 HAS SOUPS 484167659 WITH SCORE 4.85349573213E8
AT ITER 5752 NEW BEST:: SOT 2128034879 SOS 1180832692 HAS SOPS 1180832692 HAS SOUS 484167642 HAS SOUPS 484167642 WITH SCORE 4.85348474692E8
AT ITER 5766 NEW BEST:: SOT 2128009923 SOS 1180620564 HAS SOPS 1180620564 HAS SOUS 484167640 HAS SOUPS 484167640 WITH SCORE 4.85348260564E8
AT ITER 5773 NEW BEST:: SOT 2127897803 SOS 1179667529 HAS SOPS 1179667529 HAS SOUS 484167623 HAS SOUPS 484167623 WITH SCORE 4.85347290529E8
AT ITER 5783 NEW BEST:: SOT 2127858921 SOS 1179337017 HAS SOPS 1179337017 HAS SOUS 484167606 HAS SOUPS 484167606 WITH SCORE 4.85346943017E8
AT ITER 5784 NEW BEST:: SOT 2127851329 SOS 1179272474 HAS SOPS 1179272474 HAS SOUS 484167595 HAS SOUPS 484167595 WITH SCORE 4.85346867474E8
AT ITER 5787 NEW BEST:: SOT 2127792317 SOS 1178770860 HAS SOPS 1178770860 HAS SOUS 484167583 HAS SOUPS 484167583 WITH SCORE 4.8534635386E8
AT ITER 5792 NEW BEST:: SOT 2127768941 SOS 1178572157 HAS SOPS 1178572157 HAS SOUS 484167576 HAS SOUPS 484167576 WITH SCORE 4.85346148157E8
AT ITER 5874 NEW BEST:: SOT 2127739943 SOS 1178325663 HAS SOPS 1178325663 HAS SOUS 484167565 HAS SOUPS 484167565 WITH SCORE 4.85345890663E8
AT ITER 5892 NEW BEST:: SOT 2127638175 SOS 1177460627 HAS SOPS 1177460627 HAS SOUS 484167557 HAS SOUPS 484167557 WITH SCORE 4.85345017627E8
AT ITER 5906 NEW BEST:: SOT 2127636325 SOS 1177444891 HAS SOPS 1177444891 HAS SOUS 484167546 HAS SOUPS 484167546 WITH SCORE 4.85344990891E8
AT ITER 5917 NEW BEST:: SOT 2127584517 SOS 1177004515 HAS SOPS 1177004515 HAS SOUS 484167538 HAS SOUPS 484167538 WITH SCORE 4.85344542515E8
AT ITER 5919 NEW BEST:: SOT 2127493403 SOS 1176230035 HAS SOPS 1176230035 HAS SOUS 484167527 HAS SOUPS 484167527 WITH SCORE 4.85343757035E8
AT ITER 5941 NEW BEST:: SOT 2127481395 SOS 1176127965 HAS SOPS 1176127965 HAS SOUS 484167525 HAS SOUPS 484167525 WITH SCORE 4.85343652965E8
AT ITER 5945 NEW BEST:: SOT 2127464231 SOS 1175982068 HAS SOPS 1175982068 HAS SOUS 484167522 HAS SOUPS 484167522 WITH SCORE 4.85343504068E8
AT ITER 5967 NEW BEST:: SOT 2127414645 SOS 1175560572 HAS SOPS 1175560572 HAS SOUS 484167505 HAS SOUPS 484167505 WITH SCORE 4.85343065572E8
AT ITER 6009 NEW BEST:: SOT 2127317797 SOS 1174737360 HAS SOPS 1174737360 HAS SOUS 484167501 HAS SOUPS 484167501 WITH SCORE 4.8534223836E8
AT ITER 6040 NEW BEST:: SOT 2127315669 SOS 1174719265 HAS SOPS 1174719265 HAS SOUS 484167494 HAS SOUPS 484167494 WITH SCORE 4.85342213265E8
AT ITER 6047 NEW BEST:: SOT 2127264211 SOS 1174281868 HAS SOPS 1174281868 HAS SOUS 484167490 HAS SOUPS 484167490 WITH SCORE 4.85341771868E8
AT ITER 6070 NEW BEST:: SOT 2127194853 SOS 1173692320 HAS SOPS 1173692320 HAS SOUS 484167485 HAS SOUPS 484167485 WITH SCORE 4.8534117732E8
AT ITER 6078 NEW BEST:: SOT 2127023937 SOS 1172539224 HAS SOPS 1172539224 HAS SOUS 484157863 HAS SOUPS 484157863 WITH SCORE 4.85330402224E8
AT ITER 6080 NEW BEST:: SOT 2127001225 SOS 1172346163 HAS SOPS 1172346163 HAS SOUS 484157854 HAS SOUPS 484157854 WITH SCORE 4.85330200163E8
AT ITER 6087 NEW BEST:: SOT 2127001225 SOS 1172346158 HAS SOPS 1172346158 HAS SOUS 484157849 HAS SOUPS 484157849 WITH SCORE 4.85330195158E8
AT ITER 6089 NEW BEST:: SOT 2126961839 SOS 1172011373 HAS SOPS 1172011373 HAS SOUS 484157845 HAS SOUPS 484157845 WITH SCORE 4.85329856373E8
AT ITER 6146 NEW BEST:: SOT 2126943531 SOS 1171855746 HAS SOPS 1171855746 HAS SOUS 484157836 HAS SOUPS 484157836 WITH SCORE 4.85329691746E8
AT ITER 6169 NEW BEST:: SOT 2126885079 SOS 1171358890 HAS SOPS 1171358890 HAS SOUS 484157822 HAS SOUPS 484157822 WITH SCORE 4.8532918089E8
AT ITER 6170 NEW BEST:: SOT 2126873925 SOS 1171264071 HAS SOPS 1171264071 HAS SOUS 484157812 HAS SOUPS 484157812 WITH SCORE 4.85329076071E8
AT ITER 6178 NEW BEST:: SOT 2126768627 SOS 1170369030 HAS SOPS 1170369030 HAS SOUS 484157804 HAS SOUPS 484157804 WITH SCORE 4.8532817303E8
AT ITER 6181 NEW BEST:: SOT 2126735863 SOS 1170090534 HAS SOPS 1170090534 HAS SOUS 484157802 HAS SOUPS 484157802 WITH SCORE 4.85327892534E8
AT ITER 6196 NEW BEST:: SOT 2126684163 SOS 1169651082 HAS SOPS 1169651082 HAS SOUS 484157800 HAS SOUPS 484157800 WITH SCORE 4.85327451082E8
AT ITER 6208 NEW BEST:: SOT 2126654013 SOS 1169394799 HAS SOPS 1169394799 HAS SOUS 484157792 HAS SOUPS 484157792 WITH SCORE 4.85327186799E8
AT ITER 6216 NEW BEST:: SOT 2126629581 SOS 1169187126 HAS SOPS 1169187126 HAS SOUS 484157791 HAS SOUPS 484157791 WITH SCORE 4.85326978126E8
AT ITER 6221 NEW BEST:: SOT 2126554063 SOS 1168545212 HAS SOPS 1168545212 HAS SOUS 484157780 HAS SOUPS 484157780 WITH SCORE 4.85326325212E8
AT ITER 6252 NEW BEST:: SOT 2126542531 SOS 1168447175 HAS SOPS 1168447175 HAS SOUS 484157763 HAS SOUPS 484157763 WITH SCORE 4.85326210175E8
AT ITER 6286 NEW BEST:: SOT 2126516363 SOS 1168187407 HAS SOPS 1168187407 HAS SOUS 484150604 HAS SOUPS 484150604 WITH SCORE 4.85318791407E8
AT ITER 6287 NEW BEST:: SOT 2126424373 SOS 1167405486 HAS SOPS 1167405486 HAS SOUS 484150598 HAS SOUPS 484150598 WITH SCORE 4.85318003486E8
AT ITER 6290 NEW BEST:: SOT 2126315347 SOS 1166425205 HAS SOPS 1166425205 HAS SOUS 484097038 HAS SOUPS 484097038 WITH SCORE 4.85263463205E8
AT ITER 6292 NEW BEST:: SOT 2126262361 SOS 1165974813 HAS SOPS 1165974813 HAS SOUS 484097027 HAS SOUPS 484097027 WITH SCORE 4.85263001813E8
AT ITER 6376 NEW BEST:: SOT 2126196669 SOS 1165416416 HAS SOPS 1165416416 HAS SOUS 484097010 HAS SOUPS 484097010 WITH SCORE 4.85262426416E8
AT ITER 6407 NEW BEST:: SOT 2126180613 SOS 1165250795 HAS SOPS 1165250795 HAS SOUS 484096275 HAS SOUPS 484096275 WITH SCORE 4.85261525795E8
AT ITER 6451 NEW BEST:: SOT 2126137443 SOS 1164883845 HAS SOPS 1164883845 HAS SOUS 484096270 HAS SOUPS 484096270 WITH SCORE 4.85261153845E8
AT ITER 6455 NEW BEST:: SOT 2126044183 SOS 1164091135 HAS SOPS 1164091135 HAS SOUS 484096270 HAS SOUPS 484096270 WITH SCORE 4.85260361135E8
AT ITER 6466 NEW BEST:: SOT 2126020727 SOS 1163891754 HAS SOPS 1163891754 HAS SOUS 484096265 HAS SOUPS 484096265 WITH SCORE 4.85260156754E8
AT ITER 6470 NEW BEST:: SOT 2126003631 SOS 1163737890 HAS SOPS 1163737890 HAS SOUS 484087717 HAS SOUPS 484087717 WITH SCORE 4.8525145489E8
AT ITER 6502 NEW BEST:: SOT 2125957939 SOS 1163349496 HAS SOPS 1163349496 HAS SOUS 484087705 HAS SOUPS 484087705 WITH SCORE 4.85251054496E8
AT ITER 6506 NEW BEST:: SOT 2125904193 SOS 1162892650 HAS SOPS 1162892650 HAS SOUS 484087700 HAS SOUPS 484087700 WITH SCORE 4.8525059265E8
AT ITER 6511 NEW BEST:: SOT 2125860217 SOS 1162518854 HAS SOPS 1162518854 HAS SOUS 484087700 HAS SOUPS 484087700 WITH SCORE 4.85250218854E8
AT ITER 6534 NEW BEST:: SOT 2125828961 SOS 1162253170 HAS SOPS 1162253170 HAS SOUS 484087692 HAS SOUPS 484087692 WITH SCORE 4.8524994517E8
AT ITER 6541 NEW BEST:: SOT 2125804019 SOS 1162041158 HAS SOPS 1162041158 HAS SOUS 484087687 HAS SOUPS 484087687 WITH SCORE 4.85249728158E8
AT ITER 6561 NEW BEST:: SOT 2125783883 SOS 1161869989 HAS SOPS 1161869989 HAS SOUS 484087674 HAS SOUPS 484087674 WITH SCORE 4.85249543989E8
AT ITER 6631 NEW BEST:: SOT 2125706853 SOS 1161215230 HAS SOPS 1161215230 HAS SOUS 484087670 HAS SOUPS 484087670 WITH SCORE 4.8524888523E8
AT ITER 6686 NEW BEST:: SOT 2125676223 SOS 1160954867 HAS SOPS 1160954867 HAS SOUS 484087662 HAS SOUPS 484087662 WITH SCORE 4.85248616867E8
AT ITER 6702 NEW BEST:: SOT 2125659263 SOS 1160810695 HAS SOPS 1160810695 HAS SOUS 484087650 HAS SOUPS 484087650 WITH SCORE 4.85248460695E8
AT ITER 6733 NEW BEST:: SOT 2125599715 SOS 1160274872 HAS SOPS 1160274872 HAS SOUS 484057985 HAS SOUPS 484057985 WITH SCORE 4.85218259872E8
AT ITER 6742 NEW BEST:: SOT 2125546885 SOS 1159825805 HAS SOPS 1159825805 HAS SOUS 484057973 HAS SOUPS 484057973 WITH SCORE 4.85217798805E8
AT ITER 6830 NEW BEST:: SOT 2125532107 SOS 1159700178 HAS SOPS 1159700178 HAS SOUS 484057959 HAS SOUPS 484057959 WITH SCORE 4.85217659178E8
AT ITER 6840 NEW BEST:: SOT 2125532107 SOS 1159700174 HAS SOPS 1159700174 HAS SOUS 484057955 HAS SOUPS 484057955 WITH SCORE 4.85217655174E8
AT ITER 6846 NEW BEST:: SOT 2125516481 SOS 1159567348 HAS SOPS 1159567348 HAS SOUS 484057950 HAS SOUPS 484057950 WITH SCORE 4.85217517348E8
AT ITER 6856 NEW BEST:: SOT 2125505859 SOS 1159477058 HAS SOPS 1159477058 HAS SOUS 484057947 HAS SOUPS 484057947 WITH SCORE 4.85217424058E8
AT ITER 6878 NEW BEST:: SOT 2125482627 SOS 1159279572 HAS SOPS 1159279572 HAS SOUS 484057933 HAS SOUPS 484057933 WITH SCORE 4.85217212572E8
AT ITER 6883 NEW BEST:: SOT 2125425015 SOS 1158763739 HAS SOPS 1158763739 HAS SOUS 484031802 HAS SOUPS 484031802 WITH SCORE 4.85190565739E8
AT ITER 6909 NEW BEST:: SOT 2125410581 SOS 1158633833 HAS SOPS 1158633833 HAS SOUS 484024585 HAS SOUPS 484024585 WITH SCORE 4.85183218833E8
AT ITER 6921 NEW BEST:: SOT 2125383635 SOS 1158404789 HAS SOPS 1158404789 HAS SOUS 484024582 HAS SOUPS 484024582 WITH SCORE 4.85182986789E8
AT ITER 6927 NEW BEST:: SOT 2125316449 SOS 1157833706 HAS SOPS 1157833706 HAS SOUS 484024580 HAS SOUPS 484024580 WITH SCORE 4.85182413706E8
AT ITER 6937 NEW BEST:: SOT 2125224277 SOS 1157050238 HAS SOPS 1157050238 HAS SOUS 484024574 HAS SOUPS 484024574 WITH SCORE 4.85181624238E8
AT ITER 6945 NEW BEST:: SOT 2125198285 SOS 1156829296 HAS SOPS 1156829296 HAS SOUS 484024564 HAS SOUPS 484024564 WITH SCORE 4.85181393296E8
AT ITER 6950 NEW BEST:: SOT 2125158189 SOS 1156488480 HAS SOPS 1156488480 HAS SOUS 484024564 HAS SOUPS 484024564 WITH SCORE 4.8518105248E8
AT ITER 6958 NEW BEST:: SOT 2125065711 SOS 1155702404 HAS SOPS 1155702404 HAS SOUS 484024551 HAS SOUPS 484024551 WITH SCORE 4.85180253404E8
AT ITER 6972 NEW BEST:: SOT 2125003537 SOS 1155173910 HAS SOPS 1155173910 HAS SOUS 484024534 HAS SOUPS 484024534 WITH SCORE 4.8517970791E8
AT ITER 6978 NEW BEST:: SOT 2124989277 SOS 1155052697 HAS SOPS 1155052697 HAS SOUS 484024531 HAS SOUPS 484024531 WITH SCORE 4.85179583697E8
AT ITER 6985 NEW BEST:: SOT 2124945255 SOS 1154678497 HAS SOPS 1154678497 HAS SOUS 484024518 HAS SOUPS 484024518 WITH SCORE 4.85179196497E8
AT ITER 7029 NEW BEST:: SOT 2124920989 SOS 1154472229 HAS SOPS 1154472229 HAS SOUS 484024511 HAS SOUPS 484024511 WITH SCORE 4.85178983229E8
AT ITER 7035 NEW BEST:: SOT 2124821673 SOS 1153628034 HAS SOPS 1153628034 HAS SOUS 484024502 HAS SOUPS 484024502 WITH SCORE 4.85178130034E8
AT ITER 7044 NEW BEST:: SOT 2124794281 SOS 1153382676 HAS SOPS 1153382676 HAS SOUS 484011976 HAS SOUPS 484011976 WITH SCORE 4.85165358676E8
AT ITER 7136 NEW BEST:: SOT 2124753165 SOS 1153033189 HAS SOPS 1153033189 HAS SOUS 484011975 HAS SOUPS 484011975 WITH SCORE 4.85165008189E8
AT ITER 7150 NEW BEST:: SOT 2124647131 SOS 1152131892 HAS SOPS 1152131892 HAS SOUS 484011967 HAS SOUPS 484011967 WITH SCORE 4.85164098892E8
AT ITER 7158 NEW BEST:: SOT 2124597609 SOS 1151710942 HAS SOPS 1151710942 HAS SOUS 484011954 HAS SOUPS 484011954 WITH SCORE 4.85163664942E8
AT ITER 7170 NEW BEST:: SOT 2124535406 SOS 1151137097 HAS SOPS 1151137097 HAS SOUS 483984647 HAS SOUPS 483984647 WITH SCORE 4.85135784097E8
AT ITER 7178 NEW BEST:: SOT 2124455893 SOS 1150403440 HAS SOPS 1150403440 HAS SOUS 483951773 HAS SOUPS 483951773 WITH SCORE 4.8510217644E8

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"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is 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 r224-oct2-159033539000592"
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 ;