Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 608K
-rw-r--r-- 1 mcc users 4.3K Mar 30 18:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 30 18:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 29 08:31 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 29 08:31 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 28 04:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 28 04:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 26 22:59 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 26 22:59 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 432K Mar 24 05:37 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589121613299

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

Filename model.pnml
Petri model created: 1383 places, 1887 transitions, 4809 arcs.
AT ITER 0 NEW BEST:: SOT 1530587 SOS 280738 HAS SOPS 280738 HAS SOUS 223983 HAS SOUPS 223983 WITH SCORE 224263.738
AT ITER 25 NEW BEST:: SOT 1530437 SOS 280438 HAS SOPS 280438 HAS SOUS 223667 HAS SOUPS 223667 WITH SCORE 223947.438
AT ITER 35 NEW BEST:: SOT 1530437 SOS 280438 HAS SOPS 280438 HAS SOUS 223659 HAS SOUPS 223659 WITH SCORE 223939.438
AT ITER 48 NEW BEST:: SOT 1530314 SOS 280192 HAS SOPS 280192 HAS SOUS 223378 HAS SOUPS 223378 WITH SCORE 223658.192
AT ITER 69 NEW BEST:: SOT 1530315 SOS 280144 HAS SOPS 280144 HAS SOUS 223330 HAS SOUPS 223330 WITH SCORE 223610.144
AT ITER 72 NEW BEST:: SOT 1530216 SOS 280072 HAS SOPS 280072 HAS SOUS 223258 HAS SOUPS 223258 WITH SCORE 223538.072
AT ITER 76 NEW BEST:: SOT 1530216 SOS 280250 HAS SOPS 280250 HAS SOUS 223257 HAS SOUPS 223257 WITH SCORE 223537.25
AT ITER 78 NEW BEST:: SOT 1530138 SOS 280172 HAS SOPS 280172 HAS SOUS 223179 HAS SOUPS 223179 WITH SCORE 223459.172
AT ITER 80 NEW BEST:: SOT 1530141 SOS 280128 HAS SOPS 280128 HAS SOUS 223135 HAS SOUPS 223135 WITH SCORE 223415.128
AT ITER 83 NEW BEST:: SOT 1530051 SOS 280058 HAS SOPS 280058 HAS SOUS 223105 HAS SOUPS 223105 WITH SCORE 223385.058
AT ITER 91 NEW BEST:: SOT 1529876 SOS 279883 HAS SOPS 279883 HAS SOUS 222930 HAS SOUPS 222930 WITH SCORE 223209.883
AT ITER 96 NEW BEST:: SOT 1529833 SOS 279840 HAS SOPS 279840 HAS SOUS 222887 HAS SOUPS 222887 WITH SCORE 223166.84
AT ITER 108 NEW BEST:: SOT 1529774 SOS 279722 HAS SOPS 279722 HAS SOUS 222769 HAS SOUPS 222769 WITH SCORE 223048.722
AT ITER 112 NEW BEST:: SOT 1529586 SOS 279628 HAS SOPS 279628 HAS SOUS 222675 HAS SOUPS 222675 WITH SCORE 222954.628
AT ITER 119 NEW BEST:: SOT 1529514 SOS 279556 HAS SOPS 279556 HAS SOUS 222603 HAS SOUPS 222603 WITH SCORE 222882.556
AT ITER 120 NEW BEST:: SOT 1529514 SOS 279516 HAS SOPS 279516 HAS SOUS 222563 HAS SOUPS 222563 WITH SCORE 222842.516
AT ITER 128 NEW BEST:: SOT 1529423 SOS 279742 HAS SOPS 279742 HAS SOUS 222483 HAS SOUPS 222483 WITH SCORE 222762.742
AT ITER 164 NEW BEST:: SOT 1529423 SOS 279723 HAS SOPS 279723 HAS SOUS 222464 HAS SOUPS 222464 WITH SCORE 222743.723
AT ITER 165 NEW BEST:: SOT 1527792 SOS 279096 HAS SOPS 279096 HAS SOUS 220973 HAS SOUPS 220973 WITH SCORE 221252.096
AT ITER 168 NEW BEST:: SOT 1527810 SOS 279040 HAS SOPS 279040 HAS SOUS 220917 HAS SOUPS 220917 WITH SCORE 221196.04
AT ITER 178 NEW BEST:: SOT 1527588 SOS 278814 HAS SOPS 278814 HAS SOUS 220694 HAS SOUPS 220694 WITH SCORE 220972.814
AT ITER 181 NEW BEST:: SOT 1527588 SOS 278814 HAS SOPS 278814 HAS SOUS 220651 HAS SOUPS 220651 WITH SCORE 220929.814
AT ITER 183 NEW BEST:: SOT 1527185 SOS 278297 HAS SOPS 278297 HAS SOUS 220089 HAS SOUPS 220089 WITH SCORE 220367.297
AT ITER 198 NEW BEST:: SOT 1527185 SOS 278990 HAS SOPS 278990 HAS SOUS 220056 HAS SOUPS 220056 WITH SCORE 220334.99
AT ITER 216 NEW BEST:: SOT 1527185 SOS 278990 HAS SOPS 278990 HAS SOUS 220055 HAS SOUPS 220055 WITH SCORE 220333.99
AT ITER 257 NEW BEST:: SOT 1527062 SOS 278744 HAS SOPS 278744 HAS SOUS 219809 HAS SOUPS 219809 WITH SCORE 220087.744
AT ITER 264 NEW BEST:: SOT 1526955 SOS 278637 HAS SOPS 278637 HAS SOUS 219702 HAS SOUPS 219702 WITH SCORE 219980.637
AT ITER 284 NEW BEST:: SOT 1525793 SOS 279587 HAS SOPS 279587 HAS SOUS 218749 HAS SOUPS 218749 WITH SCORE 219028.587
AT ITER 289 NEW BEST:: SOT 1525650 SOS 279248 HAS SOPS 279248 HAS SOUS 218528 HAS SOUPS 218528 WITH SCORE 218807.248
AT ITER 292 NEW BEST:: SOT 1525563 SOS 279173 HAS SOPS 279173 HAS SOUS 218453 HAS SOUPS 218453 WITH SCORE 218732.173
AT ITER 299 NEW BEST:: SOT 1525561 SOS 279169 HAS SOPS 279169 HAS SOUS 218444 HAS SOUPS 218444 WITH SCORE 218723.169
AT ITER 308 NEW BEST:: SOT 1524973 SOS 278854 HAS SOPS 278854 HAS SOUS 217856 HAS SOUPS 217856 WITH SCORE 218134.854
AT ITER 320 NEW BEST:: SOT 1524901 SOS 278407 HAS SOPS 278407 HAS SOUS 217712 HAS SOUPS 217712 WITH SCORE 217990.407
AT ITER 323 NEW BEST:: SOT 1524756 SOS 278117 HAS SOPS 278117 HAS SOUS 217422 HAS SOUPS 217422 WITH SCORE 217700.117
AT ITER 341 NEW BEST:: SOT 1524658 SOS 278193 HAS SOPS 278193 HAS SOUS 217341 HAS SOUPS 217341 WITH SCORE 217619.193
AT ITER 388 NEW BEST:: SOT 1524593 SOS 278064 HAS SOPS 278064 HAS SOUS 217212 HAS SOUPS 217212 WITH SCORE 217490.064
AT ITER 417 NEW BEST:: SOT 1524593 SOS 278178 HAS SOPS 278178 HAS SOUS 217190 HAS SOUPS 217190 WITH SCORE 217468.178
AT ITER 463 NEW BEST:: SOT 1524505 SOS 278002 HAS SOPS 278002 HAS SOUS 217014 HAS SOUPS 217014 WITH SCORE 217292.002
AT ITER 499 NEW BEST:: SOT 1524402 SOS 277907 HAS SOPS 277907 HAS SOUS 216911 HAS SOUPS 216911 WITH SCORE 217188.907
AT ITER 569 NEW BEST:: SOT 1524338 SOS 277711 HAS SOPS 277711 HAS SOUS 216847 HAS SOUPS 216847 WITH SCORE 217124.711
AT ITER 592 NEW BEST:: SOT 1524327 SOS 277689 HAS SOPS 277689 HAS SOUS 216825 HAS SOUPS 216825 WITH SCORE 217102.689
AT ITER 613 NEW BEST:: SOT 1524266 SOS 277628 HAS SOPS 277628 HAS SOUS 216764 HAS SOUPS 216764 WITH SCORE 217041.628
AT ITER 663 NEW BEST:: SOT 1524212 SOS 277358 HAS SOPS 277358 HAS SOUS 216656 HAS SOUPS 216656 WITH SCORE 216933.358
AT ITER 668 NEW BEST:: SOT 1524212 SOS 277369 HAS SOPS 277369 HAS SOUS 216655 HAS SOUPS 216655 WITH SCORE 216932.369
AT ITER 671 NEW BEST:: SOT 1523994 SOS 277151 HAS SOPS 277151 HAS SOUS 216593 HAS SOUPS 216593 WITH SCORE 216870.151
AT ITER 686 NEW BEST:: SOT 1523776 SOS 276956 HAS SOPS 276956 HAS SOUS 216398 HAS SOUPS 216398 WITH SCORE 216674.956
AT ITER 697 NEW BEST:: SOT 1523776 SOS 277273 HAS SOPS 277273 HAS SOUS 216397 HAS SOUPS 216397 WITH SCORE 216674.273
AT ITER 699 NEW BEST:: SOT 1523298 SOS 276939 HAS SOPS 276939 HAS SOUS 215967 HAS SOUPS 215967 WITH SCORE 216243.939
AT ITER 709 NEW BEST:: SOT 1523461 SOS 277102 HAS SOPS 277102 HAS SOUS 215922 HAS SOUPS 215922 WITH SCORE 216199.102
AT ITER 723 NEW BEST:: SOT 1523508 SOS 277492 HAS SOPS 277492 HAS SOUS 215857 HAS SOUPS 215857 WITH SCORE 216134.492
AT ITER 729 NEW BEST:: SOT 1523428 SOS 278052 HAS SOPS 278052 HAS SOUS 215697 HAS SOUPS 215697 WITH SCORE 215975.052
AT ITER 739 NEW BEST:: SOT 1523411 SOS 277953 HAS SOPS 277953 HAS SOUS 215678 HAS SOUPS 215678 WITH SCORE 215955.953
AT ITER 803 NEW BEST:: SOT 1523223 SOS 277761 HAS SOPS 277761 HAS SOUS 215489 HAS SOUPS 215489 WITH SCORE 215766.761
AT ITER 805 NEW BEST:: SOT 1523166 SOS 277476 HAS SOPS 277476 HAS SOUS 215375 HAS SOUPS 215375 WITH SCORE 215652.476
AT ITER 808 NEW BEST:: SOT 1522207 SOS 277868 HAS SOPS 277868 HAS SOUS 214870 HAS SOUPS 214870 WITH SCORE 215147.868
AT ITER 844 NEW BEST:: SOT 1522123 SOS 277784 HAS SOPS 277784 HAS SOUS 214786 HAS SOUPS 214786 WITH SCORE 215063.784
AT ITER 851 NEW BEST:: SOT 1522063 SOS 277664 HAS SOPS 277664 HAS SOUS 214607 HAS SOUPS 214607 WITH SCORE 214884.664
AT ITER 862 NEW BEST:: SOT 1521998 SOS 277672 HAS SOPS 277672 HAS SOUS 214590 HAS SOUPS 214590 WITH SCORE 214867.672
AT ITER 864 NEW BEST:: SOT 1521734 SOS 277765 HAS SOPS 277765 HAS SOUS 214574 HAS SOUPS 214574 WITH SCORE 214851.765
AT ITER 885 NEW BEST:: SOT 1521688 SOS 277719 HAS SOPS 277719 HAS SOUS 214528 HAS SOUPS 214528 WITH SCORE 214805.719
AT ITER 897 NEW BEST:: SOT 1521627 SOS 277597 HAS SOPS 277597 HAS SOUS 214378 HAS SOUPS 214378 WITH SCORE 214655.597
AT ITER 898 NEW BEST:: SOT 1521530 SOS 277496 HAS SOPS 277496 HAS SOUS 214280 HAS SOUPS 214280 WITH SCORE 214557.496
AT ITER 911 NEW BEST:: SOT 1521122 SOS 277039 HAS SOPS 277039 HAS SOUS 213968 HAS SOUPS 213968 WITH SCORE 214245.039
AT ITER 915 NEW BEST:: SOT 1520985 SOS 277035 HAS SOPS 277035 HAS SOUS 213921 HAS SOUPS 213921 WITH SCORE 214198.035
AT ITER 917 NEW BEST:: SOT 1520985 SOS 277015 HAS SOPS 277015 HAS SOUS 213921 HAS SOUPS 213921 WITH SCORE 214198.015
AT ITER 933 NEW BEST:: SOT 1520758 SOS 277228 HAS SOPS 277228 HAS SOUS 213598 HAS SOUPS 213598 WITH SCORE 213875.228
AT ITER 938 NEW BEST:: SOT 1520768 SOS 277564 HAS SOPS 277564 HAS SOUS 213590 HAS SOUPS 213590 WITH SCORE 213867.564
AT ITER 961 NEW BEST:: SOT 1520712 SOS 277508 HAS SOPS 277508 HAS SOUS 213478 HAS SOUPS 213478 WITH SCORE 213755.508
AT ITER 998 NEW BEST:: SOT 1520712 SOS 277540 HAS SOPS 277540 HAS SOUS 213477 HAS SOUPS 213477 WITH SCORE 213754.54
AT ITER 1056 NEW BEST:: SOT 1520693 SOS 277502 HAS SOPS 277502 HAS SOUS 213420 HAS SOUPS 213420 WITH SCORE 213697.502
AT ITER 1097 NEW BEST:: SOT 1520674 SOS 277483 HAS SOPS 277483 HAS SOUS 213401 HAS SOUPS 213401 WITH SCORE 213678.483
AT ITER 1178 NEW BEST:: SOT 1520674 SOS 277483 HAS SOPS 277483 HAS SOUS 213382 HAS SOUPS 213382 WITH SCORE 213659.483
AT ITER 1196 NEW BEST:: SOT 1520640 SOS 277415 HAS SOPS 277415 HAS SOUS 213314 HAS SOUPS 213314 WITH SCORE 213591.415
AT ITER 1222 NEW BEST:: SOT 1520640 SOS 277415 HAS SOPS 277415 HAS SOUS 213063 HAS SOUPS 213063 WITH SCORE 213340.415
AT ITER 1228 NEW BEST:: SOT 1520545 SOS 276937 HAS SOPS 276937 HAS SOUS 212920 HAS SOUPS 212920 WITH SCORE 213196.937
AT ITER 1232 NEW BEST:: SOT 1520426 SOS 276699 HAS SOPS 276699 HAS SOUS 212636 HAS SOUPS 212636 WITH SCORE 212912.699
AT ITER 1242 NEW BEST:: SOT 1520436 SOS 276719 HAS SOPS 276719 HAS SOUS 212600 HAS SOUPS 212600 WITH SCORE 212876.719
AT ITER 1248 NEW BEST:: SOT 1520413 SOS 276673 HAS SOPS 276673 HAS SOUS 212554 HAS SOUPS 212554 WITH SCORE 212830.673
AT ITER 1262 NEW BEST:: SOT 1520408 SOS 276663 HAS SOPS 276663 HAS SOUS 212549 HAS SOUPS 212549 WITH SCORE 212825.663
AT ITER 1267 NEW BEST:: SOT 1520408 SOS 276285 HAS SOPS 276285 HAS SOUS 212549 HAS SOUPS 212549 WITH SCORE 212825.285
AT ITER 1297 NEW BEST:: SOT 1520370 SOS 276266 HAS SOPS 276266 HAS SOUS 212530 HAS SOUPS 212530 WITH SCORE 212806.266
AT ITER 1306 NEW BEST:: SOT 1520370 SOS 276265 HAS SOPS 276265 HAS SOUS 212529 HAS SOUPS 212529 WITH SCORE 212805.265
AT ITER 1335 NEW BEST:: SOT 1520350 SOS 276099 HAS SOPS 276099 HAS SOUS 212383 HAS SOUPS 212383 WITH SCORE 212659.099
AT ITER 1336 NEW BEST:: SOT 1520236 SOS 276014 HAS SOPS 276014 HAS SOUS 212269 HAS SOUPS 212269 WITH SCORE 212545.014
AT ITER 1345 NEW BEST:: SOT 1520199 SOS 275979 HAS SOPS 275979 HAS SOUS 212200 HAS SOUPS 212200 WITH SCORE 212475.979
AT ITER 1348 NEW BEST:: SOT 1520199 SOS 276092 HAS SOPS 276092 HAS SOUS 212199 HAS SOUPS 212199 WITH SCORE 212475.092
AT ITER 1352 NEW BEST:: SOT 1520094 SOS 275987 HAS SOPS 275987 HAS SOUS 212094 HAS SOUPS 212094 WITH SCORE 212369.987
AT ITER 1366 NEW BEST:: SOT 1519857 SOS 275750 HAS SOPS 275750 HAS SOUS 211857 HAS SOUPS 211857 WITH SCORE 212132.75
AT ITER 1393 NEW BEST:: SOT 1519807 SOS 275650 HAS SOPS 275650 HAS SOUS 211650 HAS SOUPS 211650 WITH SCORE 211925.65
AT ITER 1408 NEW BEST:: SOT 1519807 SOS 275559 HAS SOPS 275559 HAS SOUS 211650 HAS SOUPS 211650 WITH SCORE 211925.559
AT ITER 1412 NEW BEST:: SOT 1519771 SOS 275487 HAS SOPS 275487 HAS SOUS 211483 HAS SOUPS 211483 WITH SCORE 211758.487
AT ITER 1423 NEW BEST:: SOT 1519713 SOS 275497 HAS SOPS 275497 HAS SOUS 211467 HAS SOUPS 211467 WITH SCORE 211742.497
AT ITER 1427 NEW BEST:: SOT 1519546 SOS 275413 HAS SOPS 275413 HAS SOUS 211341 HAS SOUPS 211341 WITH SCORE 211616.413
AT ITER 1446 NEW BEST:: SOT 1519461 SOS 275328 HAS SOPS 275328 HAS SOUS 211256 HAS SOUPS 211256 WITH SCORE 211531.328
AT ITER 1450 NEW BEST:: SOT 1519549 SOS 275240 HAS SOPS 275240 HAS SOUS 211256 HAS SOUPS 211256 WITH SCORE 211531.24
AT ITER 1474 NEW BEST:: SOT 1518881 SOS 274745 HAS SOPS 274745 HAS SOUS 210624 HAS SOUPS 210624 WITH SCORE 210898.745
AT ITER 1488 NEW BEST:: SOT 1518833 SOS 274841 HAS SOPS 274841 HAS SOUS 210578 HAS SOUPS 210578 WITH SCORE 210852.841
AT ITER 1490 NEW BEST:: SOT 1518644 SOS 274463 HAS SOPS 274463 HAS SOUS 210187 HAS SOUPS 210187 WITH SCORE 210461.463
AT ITER 1538 NEW BEST:: SOT 1518607 SOS 274420 HAS SOPS 274420 HAS SOUS 210150 HAS SOUPS 210150 WITH SCORE 210424.42
AT ITER 1550 NEW BEST:: SOT 1518429 SOS 274246 HAS SOPS 274246 HAS SOUS 209976 HAS SOUPS 209976 WITH SCORE 210250.246
AT ITER 1554 NEW BEST:: SOT 1518407 SOS 274202 HAS SOPS 274202 HAS SOUS 209954 HAS SOUPS 209954 WITH SCORE 210228.202
AT ITER 1559 NEW BEST:: SOT 1518407 SOS 274184 HAS SOPS 274184 HAS SOUS 209954 HAS SOUPS 209954 WITH SCORE 210228.184
AT ITER 1570 NEW BEST:: SOT 1518407 SOS 273860 HAS SOPS 273860 HAS SOUS 209846 HAS SOUPS 209846 WITH SCORE 210119.86
AT ITER 1579 NEW BEST:: SOT 1518400 SOS 273846 HAS SOPS 273846 HAS SOUS 209839 HAS SOUPS 209839 WITH SCORE 210112.846
AT ITER 1598 NEW BEST:: SOT 1518341 SOS 273787 HAS SOPS 273787 HAS SOUS 209780 HAS SOUPS 209780 WITH SCORE 210053.787
AT ITER 1664 NEW BEST:: SOT 1518103 SOS 273549 HAS SOPS 273549 HAS SOUS 209542 HAS SOUPS 209542 WITH SCORE 209815.549
AT ITER 1671 NEW BEST:: SOT 1517055 SOS 272797 HAS SOPS 272797 HAS SOUS 208789 HAS SOUPS 208789 WITH SCORE 209061.797
AT ITER 1688 NEW BEST:: SOT 1517132 SOS 272951 HAS SOPS 272951 HAS SOUS 208679 HAS SOUPS 208679 WITH SCORE 208951.951
AT ITER 1704 NEW BEST:: SOT 1516962 SOS 272856 HAS SOPS 272856 HAS SOUS 208582 HAS SOUPS 208582 WITH SCORE 208854.856
AT ITER 1716 NEW BEST:: SOT 1516962 SOS 272911 HAS SOPS 272911 HAS SOUS 208565 HAS SOUPS 208565 WITH SCORE 208837.911
AT ITER 1726 NEW BEST:: SOT 1516853 SOS 272802 HAS SOPS 272802 HAS SOUS 208456 HAS SOUPS 208456 WITH SCORE 208728.802
AT ITER 1729 NEW BEST:: SOT 1516632 SOS 269984 HAS SOPS 269984 HAS SOUS 208014 HAS SOUPS 208014 WITH SCORE 208283.984
AT ITER 1735 NEW BEST:: SOT 1516601 SOS 269974 HAS SOPS 269974 HAS SOUS 208013 HAS SOUPS 208013 WITH SCORE 208282.974
AT ITER 1738 NEW BEST:: SOT 1516589 SOS 269990 HAS SOPS 269990 HAS SOUS 207999 HAS SOUPS 207999 WITH SCORE 208268.99
AT ITER 1757 NEW BEST:: SOT 1516589 SOS 269821 HAS SOPS 269821 HAS SOUS 207999 HAS SOUPS 207999 WITH SCORE 208268.821
AT ITER 1760 NEW BEST:: SOT 1516544 SOS 269791 HAS SOPS 269791 HAS SOUS 207864 HAS SOUPS 207864 WITH SCORE 208133.791
AT ITER 1785 NEW BEST:: SOT 1516544 SOS 269743 HAS SOPS 269743 HAS SOUS 207816 HAS SOUPS 207816 WITH SCORE 208085.743
AT ITER 1803 NEW BEST:: SOT 1516503 SOS 269661 HAS SOPS 269661 HAS SOUS 207734 HAS SOUPS 207734 WITH SCORE 208003.661
AT ITER 1878 NEW BEST:: SOT 1516502 SOS 269659 HAS SOPS 269659 HAS SOUS 207732 HAS SOUPS 207732 WITH SCORE 208001.659
AT ITER 1900 NEW BEST:: SOT 1516434 SOS 269591 HAS SOPS 269591 HAS SOUS 207664 HAS SOUPS 207664 WITH SCORE 207933.591
AT ITER 1911 NEW BEST:: SOT 1516366 SOS 269455 HAS SOPS 269455 HAS SOUS 207397 HAS SOUPS 207397 WITH SCORE 207666.455
AT ITER 1932 NEW BEST:: SOT 1516365 SOS 269524 HAS SOPS 269524 HAS SOUS 207395 HAS SOUPS 207395 WITH SCORE 207664.524
AT ITER 1950 NEW BEST:: SOT 1516363 SOS 269520 HAS SOPS 269520 HAS SOUS 207391 HAS SOUPS 207391 WITH SCORE 207660.52
AT ITER 1952 NEW BEST:: SOT 1516325 SOS 269501 HAS SOPS 269501 HAS SOUS 207274 HAS SOUPS 207274 WITH SCORE 207543.501
AT ITER 1955 NEW BEST:: SOT 1516249 SOS 269459 HAS SOPS 269459 HAS SOUS 207235 HAS SOUPS 207235 WITH SCORE 207504.459
AT ITER 1994 NEW BEST:: SOT 1516243 SOS 269452 HAS SOPS 269452 HAS SOUS 207222 HAS SOUPS 207222 WITH SCORE 207491.452
AT ITER 2012 NEW BEST:: SOT 1516242 SOS 269450 HAS SOPS 269450 HAS SOUS 207220 HAS SOUPS 207220 WITH SCORE 207489.45
AT ITER 2038 NEW BEST:: SOT 1516233 SOS 270071 HAS SOPS 270071 HAS SOUS 207202 HAS SOUPS 207202 WITH SCORE 207472.071
AT ITER 2076 NEW BEST:: SOT 1516233 SOS 269951 HAS SOPS 269951 HAS SOUS 207172 HAS SOUPS 207172 WITH SCORE 207441.951
AT ITER 2100 NEW BEST:: SOT 1516222 SOS 269929 HAS SOPS 269929 HAS SOUS 207161 HAS SOUPS 207161 WITH SCORE 207430.929
AT ITER 2104 NEW BEST:: SOT 1516222 SOS 269825 HAS SOPS 269825 HAS SOUS 207161 HAS SOUPS 207161 WITH SCORE 207430.825
AT ITER 2116 NEW BEST:: SOT 1516223 SOS 269753 HAS SOPS 269753 HAS SOUS 207089 HAS SOUPS 207089 WITH SCORE 207358.753
AT ITER 2123 NEW BEST:: SOT 1516095 SOS 269977 HAS SOPS 269977 HAS SOUS 206961 HAS SOUPS 206961 WITH SCORE 207230.977
AT ITER 2157 NEW BEST:: SOT 1516095 SOS 269977 HAS SOPS 269977 HAS SOUS 206958 HAS SOUPS 206958 WITH SCORE 207227.977
AT ITER 2198 NEW BEST:: SOT 1516029 SOS 269911 HAS SOPS 269911 HAS SOUS 206892 HAS SOUPS 206892 WITH SCORE 207161.911
AT ITER 2202 NEW BEST:: SOT 1516029 SOS 269783 HAS SOPS 269783 HAS SOUS 206892 HAS SOUPS 206892 WITH SCORE 207161.783
AT ITER 2211 NEW BEST:: SOT 1515973 SOS 269783 HAS SOPS 269783 HAS SOUS 206864 HAS SOUPS 206864 WITH SCORE 207133.783
AT ITER 2242 NEW BEST:: SOT 1515973 SOS 269603 HAS SOPS 269603 HAS SOUS 206864 HAS SOUPS 206864 WITH SCORE 207133.603
AT ITER 2255 NEW BEST:: SOT 1515888 SOS 269571 HAS SOPS 269571 HAS SOUS 206621 HAS SOUPS 206621 WITH SCORE 206890.571
AT ITER 2259 NEW BEST:: SOT 1515888 SOS 269496 HAS SOPS 269496 HAS SOUS 206620 HAS SOUPS 206620 WITH SCORE 206889.496
AT ITER 2271 NEW BEST:: SOT 1515674 SOS 269461 HAS SOPS 269461 HAS SOUS 206459 HAS SOUPS 206459 WITH SCORE 206728.461
AT ITER 2293 NEW BEST:: SOT 1515593 SOS 269542 HAS SOPS 269542 HAS SOUS 206378 HAS SOUPS 206378 WITH SCORE 206647.542
AT ITER 2322 NEW BEST:: SOT 1515340 SOS 269865 HAS SOPS 269865 HAS SOUS 206326 HAS SOUPS 206326 WITH SCORE 206595.865
AT ITER 2333 NEW BEST:: SOT 1515290 SOS 269658 HAS SOPS 269658 HAS SOUS 206285 HAS SOUPS 206285 WITH SCORE 206554.658
AT ITER 2346 NEW BEST:: SOT 1515200 SOS 269658 HAS SOPS 269658 HAS SOUS 206195 HAS SOUPS 206195 WITH SCORE 206464.658
AT ITER 2361 NEW BEST:: SOT 1515187 SOS 269632 HAS SOPS 269632 HAS SOUS 206182 HAS SOUPS 206182 WITH SCORE 206451.632
AT ITER 2387 NEW BEST:: SOT 1515169 SOS 269629 HAS SOPS 269629 HAS SOUS 206179 HAS SOUPS 206179 WITH SCORE 206448.629
AT ITER 2392 NEW BEST:: SOT 1514965 SOS 269524 HAS SOPS 269524 HAS SOUS 206071 HAS SOUPS 206071 WITH SCORE 206340.524
AT ITER 2393 NEW BEST:: SOT 1514965 SOS 269524 HAS SOPS 269524 HAS SOUS 205912 HAS SOUPS 205912 WITH SCORE 206181.524
AT ITER 2437 NEW BEST:: SOT 1514957 SOS 269508 HAS SOPS 269508 HAS SOUS 205904 HAS SOUPS 205904 WITH SCORE 206173.508
AT ITER 2457 NEW BEST:: SOT 1514847 SOS 269288 HAS SOPS 269288 HAS SOUS 205684 HAS SOUPS 205684 WITH SCORE 205953.288
AT ITER 2465 NEW BEST:: SOT 1514847 SOS 269288 HAS SOPS 269288 HAS SOUS 205650 HAS SOUPS 205650 WITH SCORE 205919.288
AT ITER 2478 NEW BEST:: SOT 1514847 SOS 269272 HAS SOPS 269272 HAS SOUS 205650 HAS SOUPS 205650 WITH SCORE 205919.272
AT ITER 2486 NEW BEST:: SOT 1514697 SOS 269122 HAS SOPS 269122 HAS SOUS 205500 HAS SOUPS 205500 WITH SCORE 205769.122
AT ITER 2495 NEW BEST:: SOT 1514756 SOS 269240 HAS SOPS 269240 HAS SOUS 205463 HAS SOUPS 205463 WITH SCORE 205732.24
AT ITER 2513 NEW BEST:: SOT 1514750 SOS 269237 HAS SOPS 269237 HAS SOUS 205462 HAS SOUPS 205462 WITH SCORE 205731.237
AT ITER 2536 NEW BEST:: SOT 1514749 SOS 269432 HAS SOPS 269432 HAS SOUS 205460 HAS SOUPS 205460 WITH SCORE 205729.432
AT ITER 2537 NEW BEST:: SOT 1514734 SOS 269402 HAS SOPS 269402 HAS SOUS 205430 HAS SOUPS 205430 WITH SCORE 205699.402
AT ITER 2541 NEW BEST:: SOT 1514732 SOS 269398 HAS SOPS 269398 HAS SOUS 205426 HAS SOUPS 205426 WITH SCORE 205695.398
AT ITER 2583 NEW BEST:: SOT 1514703 SOS 269340 HAS SOPS 269340 HAS SOUS 205305 HAS SOUPS 205305 WITH SCORE 205574.34
AT ITER 2594 NEW BEST:: SOT 1514670 SOS 269274 HAS SOPS 269274 HAS SOUS 205239 HAS SOUPS 205239 WITH SCORE 205508.274
AT ITER 2615 NEW BEST:: SOT 1514147 SOS 268897 HAS SOPS 268897 HAS SOUS 204716 HAS SOUPS 204716 WITH SCORE 204984.897
AT ITER 2644 NEW BEST:: SOT 1514154 SOS 268911 HAS SOPS 268911 HAS SOUS 204594 HAS SOUPS 204594 WITH SCORE 204862.911
AT ITER 2689 NEW BEST:: SOT 1514061 SOS 268725 HAS SOPS 268725 HAS SOUS 204408 HAS SOUPS 204408 WITH SCORE 204676.725
AT ITER 2701 NEW BEST:: SOT 1514061 SOS 268698 HAS SOPS 268698 HAS SOUS 204381 HAS SOUPS 204381 WITH SCORE 204649.698
AT ITER 2724 NEW BEST:: SOT 1513535 SOS 268274 HAS SOPS 268274 HAS SOUS 203954 HAS SOUPS 203954 WITH SCORE 204222.274
AT ITER 2733 NEW BEST:: SOT 1513577 SOS 268086 HAS SOPS 268086 HAS SOUS 203902 HAS SOUPS 203902 WITH SCORE 204170.086
AT ITER 2749 NEW BEST:: SOT 1513577 SOS 268086 HAS SOPS 268086 HAS SOUS 203888 HAS SOUPS 203888 WITH SCORE 204156.086
AT ITER 2792 NEW BEST:: SOT 1513525 SOS 267982 HAS SOPS 267982 HAS SOUS 203557 HAS SOUPS 203557 WITH SCORE 203824.982
AT ITER 2820 NEW BEST:: SOT 1513518 SOS 267968 HAS SOPS 267968 HAS SOUS 203543 HAS SOUPS 203543 WITH SCORE 203810.968
AT ITER 2869 NEW BEST:: SOT 1513518 SOS 267932 HAS SOPS 267932 HAS SOUS 203543 HAS SOUPS 203543 WITH SCORE 203810.932
AT ITER 2936 NEW BEST:: SOT 1513221 SOS 267536 HAS SOPS 267536 HAS SOUS 203246 HAS SOUPS 203246 WITH SCORE 203513.536
AT ITER 2991 NEW BEST:: SOT 1513166 SOS 267426 HAS SOPS 267426 HAS SOUS 203191 HAS SOUPS 203191 WITH SCORE 203458.426
AT ITER 2995 NEW BEST:: SOT 1513141 SOS 267376 HAS SOPS 267376 HAS SOUS 203166 HAS SOUPS 203166 WITH SCORE 203433.376
AT ITER 3018 NEW BEST:: SOT 1513056 SOS 267009 HAS SOPS 267009 HAS SOUS 203087 HAS SOUPS 203087 WITH SCORE 203354.009
AT ITER 3046 NEW BEST:: SOT 1512993 SOS 267027 HAS SOPS 267027 HAS SOUS 203033 HAS SOUPS 203033 WITH SCORE 203300.027
AT ITER 3086 NEW BEST:: SOT 1512596 SOS 266995 HAS SOPS 266995 HAS SOUS 202890 HAS SOUPS 202890 WITH SCORE 203156.995
AT ITER 3125 NEW BEST:: SOT 1512491 SOS 266622 HAS SOPS 266622 HAS SOUS 202718 HAS SOUPS 202718 WITH SCORE 202984.622
AT ITER 3143 NEW BEST:: SOT 1512449 SOS 266538 HAS SOPS 266538 HAS SOUS 202634 HAS SOUPS 202634 WITH SCORE 202900.538
AT ITER 3166 NEW BEST:: SOT 1512449 SOS 266537 HAS SOPS 266537 HAS SOUS 202633 HAS SOUPS 202633 WITH SCORE 202899.537
AT ITER 3170 NEW BEST:: SOT 1512445 SOS 266542 HAS SOPS 266542 HAS SOUS 202629 HAS SOUPS 202629 WITH SCORE 202895.542
AT ITER 3188 NEW BEST:: SOT 1512349 SOS 266062 HAS SOPS 266062 HAS SOUS 202437 HAS SOUPS 202437 WITH SCORE 202703.062
AT ITER 3227 NEW BEST:: SOT 1512242 SOS 265874 HAS SOPS 265874 HAS SOUS 202249 HAS SOUPS 202249 WITH SCORE 202514.874
AT ITER 3237 NEW BEST:: SOT 1512225 SOS 265840 HAS SOPS 265840 HAS SOUS 202215 HAS SOUPS 202215 WITH SCORE 202480.84
AT ITER 3254 NEW BEST:: SOT 1512110 SOS 266645 HAS SOPS 266645 HAS SOUS 202100 HAS SOUPS 202100 WITH SCORE 202366.645
AT ITER 3255 NEW BEST:: SOT 1511850 SOS 266356 HAS SOPS 266356 HAS SOUS 201720 HAS SOUPS 201720 WITH SCORE 201986.356
AT ITER 3259 NEW BEST:: SOT 1511770 SOS 266272 HAS SOPS 266272 HAS SOUS 201639 HAS SOUPS 201639 WITH SCORE 201905.272
AT ITER 3287 NEW BEST:: SOT 1511550 SOS 265224 HAS SOPS 265224 HAS SOUS 201212 HAS SOUPS 201212 WITH SCORE 201477.224
AT ITER 3299 NEW BEST:: SOT 1511453 SOS 265030 HAS SOPS 265030 HAS SOUS 201018 HAS SOUPS 201018 WITH SCORE 201283.03
AT ITER 3330 NEW BEST:: SOT 1511411 SOS 264988 HAS SOPS 264988 HAS SOUS 200976 HAS SOUPS 200976 WITH SCORE 201240.988
AT ITER 3362 NEW BEST:: SOT 1511430 SOS 265345 HAS SOPS 265345 HAS SOUS 200849 HAS SOUPS 200849 WITH SCORE 201114.345
AT ITER 3363 NEW BEST:: SOT 1511430 SOS 265324 HAS SOPS 265324 HAS SOUS 200849 HAS SOUPS 200849 WITH SCORE 201114.324
AT ITER 3365 NEW BEST:: SOT 1511405 SOS 265349 HAS SOPS 265349 HAS SOUS 200809 HAS SOUPS 200809 WITH SCORE 201074.349
AT ITER 3370 NEW BEST:: SOT 1509494 SOS 264013 HAS SOPS 264013 HAS SOUS 199570 HAS SOUPS 199570 WITH SCORE 199834.013
AT ITER 3379 NEW BEST:: SOT 1509530 SOS 263751 HAS SOPS 263751 HAS SOUS 199252 HAS SOUPS 199252 WITH SCORE 199515.751
AT ITER 3392 NEW BEST:: SOT 1509402 SOS 263057 HAS SOPS 263057 HAS SOUS 199125 HAS SOUPS 199125 WITH SCORE 199388.057
AT ITER 3408 NEW BEST:: SOT 1509222 SOS 262427 HAS SOPS 262427 HAS SOUS 198765 HAS SOUPS 198765 WITH SCORE 199027.427
AT ITER 3434 NEW BEST:: SOT 1509222 SOS 262372 HAS SOPS 262372 HAS SOUS 198710 HAS SOUPS 198710 WITH SCORE 198972.372
AT ITER 3455 NEW BEST:: SOT 1509222 SOS 262473 HAS SOPS 262473 HAS SOUS 198709 HAS SOUPS 198709 WITH SCORE 198971.473
AT ITER 3492 NEW BEST:: SOT 1509222 SOS 262473 HAS SOPS 262473 HAS SOUS 198684 HAS SOUPS 198684 WITH SCORE 198946.473
AT ITER 3526 NEW BEST:: SOT 1509128 SOS 262041 HAS SOPS 262041 HAS SOUS 198488 HAS SOUPS 198488 WITH SCORE 198750.041
AT ITER 3532 NEW BEST:: SOT 1509093 SOS 261971 HAS SOPS 261971 HAS SOUS 198453 HAS SOUPS 198453 WITH SCORE 198714.971
AT ITER 3594 NEW BEST:: SOT 1509002 SOS 261789 HAS SOPS 261789 HAS SOUS 198362 HAS SOUPS 198362 WITH SCORE 198623.789
AT ITER 3598 NEW BEST:: SOT 1508951 SOS 261738 HAS SOPS 261738 HAS SOUS 198260 HAS SOUPS 198260 WITH SCORE 198521.738
AT ITER 3619 NEW BEST:: SOT 1508952 SOS 261740 HAS SOPS 261740 HAS SOUS 198245 HAS SOUPS 198245 WITH SCORE 198506.74
AT ITER 3625 NEW BEST:: SOT 1508950 SOS 261736 HAS SOPS 261736 HAS SOUS 198241 HAS SOUPS 198241 WITH SCORE 198502.736
AT ITER 3627 NEW BEST:: SOT 1508999 SOS 261834 HAS SOPS 261834 HAS SOUS 198230 HAS SOUPS 198230 WITH SCORE 198491.834
AT ITER 3629 NEW BEST:: SOT 1508999 SOS 261803 HAS SOPS 261803 HAS SOUS 198199 HAS SOUPS 198199 WITH SCORE 198460.803
AT ITER 3711 NEW BEST:: SOT 1508906 SOS 261839 HAS SOPS 261839 HAS SOUS 198180 HAS SOUPS 198180 WITH SCORE 198441.839
AT ITER 3715 NEW BEST:: SOT 1508815 SOS 261577 HAS SOPS 261577 HAS SOUS 198155 HAS SOUPS 198155 WITH SCORE 198416.577
AT ITER 3728 NEW BEST:: SOT 1508708 SOS 261363 HAS SOPS 261363 HAS SOUS 197941 HAS SOUPS 197941 WITH SCORE 198202.363
AT ITER 3775 NEW BEST:: SOT 1508708 SOS 261355 HAS SOPS 261355 HAS SOUS 197933 HAS SOUPS 197933 WITH SCORE 198194.355
AT ITER 3778 NEW BEST:: SOT 1508701 SOS 261341 HAS SOPS 261341 HAS SOUS 197919 HAS SOUPS 197919 WITH SCORE 198180.341
AT ITER 3800 NEW BEST:: SOT 1508700 SOS 261339 HAS SOPS 261339 HAS SOUS 197917 HAS SOUPS 197917 WITH SCORE 198178.339
AT ITER 3802 NEW BEST:: SOT 1508677 SOS 261293 HAS SOPS 261293 HAS SOUS 197871 HAS SOUPS 197871 WITH SCORE 198132.293
AT ITER 3806 NEW BEST:: SOT 1508668 SOS 261275 HAS SOPS 261275 HAS SOUS 197853 HAS SOUPS 197853 WITH SCORE 198114.275
AT ITER 3909 NEW BEST:: SOT 1508248 SOS 260320 HAS SOPS 260320 HAS SOUS 197456 HAS SOUPS 197456 WITH SCORE 197716.32
AT ITER 3916 NEW BEST:: SOT 1508212 SOS 260248 HAS SOPS 260248 HAS SOUS 197420 HAS SOUPS 197420 WITH SCORE 197680.248
AT ITER 3921 NEW BEST:: SOT 1508212 SOS 260158 HAS SOPS 260158 HAS SOUS 197375 HAS SOUPS 197375 WITH SCORE 197635.158
AT ITER 3922 NEW BEST:: SOT 1508153 SOS 260040 HAS SOPS 260040 HAS SOUS 197232 HAS SOUPS 197232 WITH SCORE 197492.04
AT ITER 3955 NEW BEST:: SOT 1507836 SOS 259796 HAS SOPS 259796 HAS SOUS 196988 HAS SOUPS 196988 WITH SCORE 197247.796
AT ITER 3978 NEW BEST:: SOT 1506880 SOS 260356 HAS SOPS 260356 HAS SOUS 196630 HAS SOUPS 196630 WITH SCORE 196890.356
AT ITER 3988 NEW BEST:: SOT 1506880 SOS 260347 HAS SOPS 260347 HAS SOUS 196621 HAS SOUPS 196621 WITH SCORE 196881.347
AT ITER 3991 NEW BEST:: SOT 1506880 SOS 260280 HAS SOPS 260280 HAS SOUS 196620 HAS SOUPS 196620 WITH SCORE 196880.28
AT ITER 3992 NEW BEST:: SOT 1506757 SOS 260284 HAS SOPS 260284 HAS SOUS 196591 HAS SOUPS 196591 WITH SCORE 196851.284
AT ITER 4037 NEW BEST:: SOT 1506757 SOS 260167 HAS SOPS 260167 HAS SOUS 196591 HAS SOUPS 196591 WITH SCORE 196851.167
AT ITER 4052 NEW BEST:: SOT 1506213 SOS 259829 HAS SOPS 259829 HAS SOUS 196428 HAS SOUPS 196428 WITH SCORE 196687.829
AT ITER 4156 NEW BEST:: SOT 1506154 SOS 259721 HAS SOPS 259721 HAS SOUS 196320 HAS SOUPS 196320 WITH SCORE 196579.721
AT ITER 4166 NEW BEST:: SOT 1506135 SOS 259683 HAS SOPS 259683 HAS SOUS 196301 HAS SOUPS 196301 WITH SCORE 196560.683
AT ITER 4169 NEW BEST:: SOT 1506020 SOS 259782 HAS SOPS 259782 HAS SOUS 196257 HAS SOUPS 196257 WITH SCORE 196516.782
AT ITER 4194 NEW BEST:: SOT 1506002 SOS 259746 HAS SOPS 259746 HAS SOUS 196221 HAS SOUPS 196221 WITH SCORE 196480.746
AT ITER 4202 NEW BEST:: SOT 1505880 SOS 259624 HAS SOPS 259624 HAS SOUS 196099 HAS SOUPS 196099 WITH SCORE 196358.624
AT ITER 4212 NEW BEST:: SOT 1505952 SOS 259552 HAS SOPS 259552 HAS SOUS 196099 HAS SOUPS 196099 WITH SCORE 196358.552
AT ITER 4226 NEW BEST:: SOT 1505809 SOS 259399 HAS SOPS 259399 HAS SOUS 195955 HAS SOUPS 195955 WITH SCORE 196214.399
AT ITER 4233 NEW BEST:: SOT 1505752 SOS 259285 HAS SOPS 259285 HAS SOUS 195839 HAS SOUPS 195839 WITH SCORE 196098.285
AT ITER 4262 NEW BEST:: SOT 1505724 SOS 259243 HAS SOPS 259243 HAS SOUS 195811 HAS SOUPS 195811 WITH SCORE 196070.243
AT ITER 4287 NEW BEST:: SOT 1505605 SOS 259005 HAS SOPS 259005 HAS SOUS 195573 HAS SOUPS 195573 WITH SCORE 195832.005
AT ITER 4296 NEW BEST:: SOT 1505415 SOS 258815 HAS SOPS 258815 HAS SOUS 195383 HAS SOUPS 195383 WITH SCORE 195641.815
AT ITER 4329 NEW BEST:: SOT 1505458 SOS 258901 HAS SOPS 258901 HAS SOUS 195365 HAS SOUPS 195365 WITH SCORE 195623.901
AT ITER 4334 NEW BEST:: SOT 1505348 SOS 258591 HAS SOPS 258591 HAS SOUS 195235 HAS SOUPS 195235 WITH SCORE 195493.591
AT ITER 4346 NEW BEST:: SOT 1505067 SOS 258414 HAS SOPS 258414 HAS SOUS 194906 HAS SOUPS 194906 WITH SCORE 195164.414
AT ITER 4372 NEW BEST:: SOT 1504987 SOS 258254 HAS SOPS 258254 HAS SOUS 194823 HAS SOUPS 194823 WITH SCORE 195081.254
AT ITER 4377 NEW BEST:: SOT 1504986 SOS 258252 HAS SOPS 258252 HAS SOUS 194821 HAS SOUPS 194821 WITH SCORE 195079.252
AT ITER 4389 NEW BEST:: SOT 1504692 SOS 257703 HAS SOPS 257703 HAS SOUS 194790 HAS SOUPS 194790 WITH SCORE 195047.703
AT ITER 4430 NEW BEST:: SOT 1504670 SOS 257659 HAS SOPS 257659 HAS SOUS 194746 HAS SOUPS 194746 WITH SCORE 195003.659
AT ITER 4438 NEW BEST:: SOT 1504670 SOS 257568 HAS SOPS 257568 HAS SOUS 194655 HAS SOUPS 194655 WITH SCORE 194912.568
AT ITER 4439 NEW BEST:: SOT 1504547 SOS 257074 HAS SOPS 257074 HAS SOUS 194360 HAS SOUPS 194360 WITH SCORE 194617.074
AT ITER 4442 NEW BEST:: SOT 1504546 SOS 257072 HAS SOPS 257072 HAS SOUS 194358 HAS SOUPS 194358 WITH SCORE 194615.072
AT ITER 4489 NEW BEST:: SOT 1504432 SOS 256844 HAS SOPS 256844 HAS SOUS 194272 HAS SOUPS 194272 WITH SCORE 194528.844
AT ITER 4492 NEW BEST:: SOT 1504345 SOS 256741 HAS SOPS 256741 HAS SOUS 194240 HAS SOUPS 194240 WITH SCORE 194496.741
AT ITER 4514 NEW BEST:: SOT 1504344 SOS 256739 HAS SOPS 256739 HAS SOUS 194238 HAS SOUPS 194238 WITH SCORE 194494.739
AT ITER 4537 NEW BEST:: SOT 1504354 SOS 256710 HAS SOPS 256710 HAS SOUS 194209 HAS SOUPS 194209 WITH SCORE 194465.71
AT ITER 4571 NEW BEST:: SOT 1504353 SOS 256708 HAS SOPS 256708 HAS SOUS 194207 HAS SOUPS 194207 WITH SCORE 194463.708
AT ITER 4584 NEW BEST:: SOT 1503980 SOS 256374 HAS SOPS 256374 HAS SOUS 193852 HAS SOUPS 193852 WITH SCORE 194108.374
AT ITER 4593 NEW BEST:: SOT 1503850 SOS 256186 HAS SOPS 256186 HAS SOUS 193728 HAS SOUPS 193728 WITH SCORE 193984.186
AT ITER 4616 NEW BEST:: SOT 1503810 SOS 256106 HAS SOPS 256106 HAS SOUS 193648 HAS SOUPS 193648 WITH SCORE 193904.106
AT ITER 4623 NEW BEST:: SOT 1503698 SOS 256107 HAS SOPS 256107 HAS SOUS 193605 HAS SOUPS 193605 WITH SCORE 193861.107
AT ITER 4637 NEW BEST:: SOT 1503679 SOS 256069 HAS SOPS 256069 HAS SOUS 193567 HAS SOUPS 193567 WITH SCORE 193823.069
AT ITER 4642 NEW BEST:: SOT 1503523 SOS 256040 HAS SOPS 256040 HAS SOUS 193400 HAS SOUPS 193400 WITH SCORE 193656.04
AT ITER 4648 NEW BEST:: SOT 1503256 SOS 255677 HAS SOPS 255677 HAS SOUS 193126 HAS SOUPS 193126 WITH SCORE 193381.677
AT ITER 4664 NEW BEST:: SOT 1503256 SOS 255648 HAS SOPS 255648 HAS SOUS 193097 HAS SOUPS 193097 WITH SCORE 193352.648
AT ITER 4688 NEW BEST:: SOT 1503260 SOS 255468 HAS SOPS 255468 HAS SOUS 193064 HAS SOUPS 193064 WITH SCORE 193319.468
AT ITER 4734 NEW BEST:: SOT 1503100 SOS 255148 HAS SOPS 255148 HAS SOUS 192744 HAS SOUPS 192744 WITH SCORE 192999.148
AT ITER 4743 NEW BEST:: SOT 1503059 SOS 255066 HAS SOPS 255066 HAS SOUS 192662 HAS SOUPS 192662 WITH SCORE 192917.066
AT ITER 4745 NEW BEST:: SOT 1503058 SOS 255064 HAS SOPS 255064 HAS SOUS 192660 HAS SOUPS 192660 WITH SCORE 192915.064
AT ITER 4763 NEW BEST:: SOT 1502958 SOS 256060 HAS SOPS 256060 HAS SOUS 192459 HAS SOUPS 192459 WITH SCORE 192715.06
AT ITER 4826 NEW BEST:: SOT 1503060 SOS 256264 HAS SOPS 256264 HAS SOUS 192457 HAS SOUPS 192457 WITH SCORE 192713.264
AT ITER 4848 NEW BEST:: SOT 1503060 SOS 256264 HAS SOPS 256264 HAS SOUS 192413 HAS SOUPS 192413 WITH SCORE 192669.264
AT ITER 4863 NEW BEST:: SOT 1502858 SOS 256062 HAS SOPS 256062 HAS SOUS 192211 HAS SOUPS 192211 WITH SCORE 192467.062
AT ITER 4881 NEW BEST:: SOT 1502841 SOS 256028 HAS SOPS 256028 HAS SOUS 192177 HAS SOUPS 192177 WITH SCORE 192433.028
AT ITER 4902 NEW BEST:: SOT 1502837 SOS 256020 HAS SOPS 256020 HAS SOUS 192115 HAS SOUPS 192115 WITH SCORE 192371.02
AT ITER 4913 NEW BEST:: SOT 1502830 SOS 256006 HAS SOPS 256006 HAS SOUS 192101 HAS SOUPS 192101 WITH SCORE 192357.006
AT ITER 4949 NEW BEST:: SOT 1502800 SOS 255976 HAS SOPS 255976 HAS SOUS 192041 HAS SOUPS 192041 WITH SCORE 192296.976
AT ITER 4951 NEW BEST:: SOT 1502790 SOS 255866 HAS SOPS 255866 HAS SOUS 192021 HAS SOUPS 192021 WITH SCORE 192276.866
AT ITER 4961 NEW BEST:: SOT 1502790 SOS 255866 HAS SOPS 255866 HAS SOUS 192020 HAS SOUPS 192020 WITH SCORE 192275.866
AT ITER 4962 NEW BEST:: SOT 1502788 SOS 255862 HAS SOPS 255862 HAS SOUS 192016 HAS SOUPS 192016 WITH SCORE 192271.862
AT ITER 4976 NEW BEST:: SOT 1502683 SOS 255815 HAS SOPS 255815 HAS SOUS 191969 HAS SOUPS 191969 WITH SCORE 192224.815
AT ITER 5003 NEW BEST:: SOT 1502601 SOS 256377 HAS SOPS 256377 HAS SOUS 191857 HAS SOUPS 191857 WITH SCORE 192113.377
AT ITER 5022 NEW BEST:: SOT 1502465 SOS 256105 HAS SOPS 256105 HAS SOUS 191721 HAS SOUPS 191721 WITH SCORE 191977.105
AT ITER 5039 NEW BEST:: SOT 1502461 SOS 256109 HAS SOPS 256109 HAS SOUS 191697 HAS SOUPS 191697 WITH SCORE 191953.109
AT ITER 5081 NEW BEST:: SOT 1502460 SOS 256107 HAS SOPS 256107 HAS SOUS 191695 HAS SOUPS 191695 WITH SCORE 191951.107
AT ITER 5174 NEW BEST:: SOT 1502415 SOS 256017 HAS SOPS 256017 HAS SOUS 191650 HAS SOUPS 191650 WITH SCORE 191906.017
AT ITER 5211 NEW BEST:: SOT 1502415 SOS 255633 HAS SOPS 255633 HAS SOUS 191522 HAS SOUPS 191522 WITH SCORE 191777.633
AT ITER 5213 NEW BEST:: SOT 1502388 SOS 255579 HAS SOPS 255579 HAS SOUS 191518 HAS SOUPS 191518 WITH SCORE 191773.579
AT ITER 5223 NEW BEST:: SOT 1502388 SOS 255579 HAS SOPS 255579 HAS SOUS 191449 HAS SOUPS 191449 WITH SCORE 191704.579
AT ITER 5228 NEW BEST:: SOT 1502337 SOS 255478 HAS SOPS 255478 HAS SOUS 191348 HAS SOUPS 191348 WITH SCORE 191603.478
AT ITER 5235 NEW BEST:: SOT 1502345 SOS 255568 HAS SOPS 255568 HAS SOUS 191341 HAS SOUPS 191341 WITH SCORE 191596.568
AT ITER 5238 NEW BEST:: SOT 1502312 SOS 255502 HAS SOPS 255502 HAS SOUS 191308 HAS SOUPS 191308 WITH SCORE 191563.502
AT ITER 5252 NEW BEST:: SOT 1502275 SOS 255492 HAS SOPS 255492 HAS SOUS 191307 HAS SOUPS 191307 WITH SCORE 191562.492
AT ITER 5293 NEW BEST:: SOT 1502167 SOS 255276 HAS SOPS 255276 HAS SOUS 191091 HAS SOUPS 191091 WITH SCORE 191346.276
AT ITER 5302 NEW BEST:: SOT 1502157 SOS 255256 HAS SOPS 255256 HAS SOUS 191066 HAS SOUPS 191066 WITH SCORE 191321.256
AT ITER 5306 NEW BEST:: SOT 1502156 SOS 255254 HAS SOPS 255254 HAS SOUS 191064 HAS SOUPS 191064 WITH SCORE 191319.254
AT ITER 5336 NEW BEST:: SOT 1502109 SOS 255160 HAS SOPS 255160 HAS SOUS 190970 HAS SOUPS 190970 WITH SCORE 191225.16
AT ITER 5354 NEW BEST:: SOT 1502108 SOS 255158 HAS SOPS 255158 HAS SOUS 190968 HAS SOUPS 190968 WITH SCORE 191223.158
AT ITER 5362 NEW BEST:: SOT 1502133 SOS 255783 HAS SOPS 255783 HAS SOUS 190952 HAS SOUPS 190952 WITH SCORE 191207.783
AT ITER 5395 NEW BEST:: SOT 1502029 SOS 255610 HAS SOPS 255610 HAS SOUS 190905 HAS SOUPS 190905 WITH SCORE 191160.61
AT ITER 5411 NEW BEST:: SOT 1502029 SOS 255605 HAS SOPS 255605 HAS SOUS 190900 HAS SOUPS 190900 WITH SCORE 191155.605
AT ITER 5420 NEW BEST:: SOT 1502029 SOS 255583 HAS SOPS 255583 HAS SOUS 190878 HAS SOUPS 190878 WITH SCORE 191133.583
AT ITER 5423 NEW BEST:: SOT 1501865 SOS 255419 HAS SOPS 255419 HAS SOUS 190714 HAS SOUPS 190714 WITH SCORE 190969.419
AT ITER 5433 NEW BEST:: SOT 1501800 SOS 255289 HAS SOPS 255289 HAS SOUS 190625 HAS SOUPS 190625 WITH SCORE 190880.289
AT ITER 5531 NEW BEST:: SOT 1501721 SOS 255210 HAS SOPS 255210 HAS SOUS 190546 HAS SOUPS 190546 WITH SCORE 190801.21
AT ITER 5550 NEW BEST:: SOT 1501721 SOS 255195 HAS SOPS 255195 HAS SOUS 190541 HAS SOUPS 190541 WITH SCORE 190796.195
AT ITER 5551 NEW BEST:: SOT 1501652 SOS 255211 HAS SOPS 255211 HAS SOUS 190472 HAS SOUPS 190472 WITH SCORE 190727.211
AT ITER 5569 NEW BEST:: SOT 1501630 SOS 255167 HAS SOPS 255167 HAS SOUS 190362 HAS SOUPS 190362 WITH SCORE 190617.167
AT ITER 5594 NEW BEST:: SOT 1501630 SOS 254963 HAS SOPS 254963 HAS SOUS 190260 HAS SOUPS 190260 WITH SCORE 190514.963
AT ITER 5605 NEW BEST:: SOT 1501620 SOS 254943 HAS SOPS 254943 HAS SOUS 190240 HAS SOUPS 190240 WITH SCORE 190494.943
AT ITER 5613 NEW BEST:: SOT 1501620 SOS 254929 HAS SOPS 254929 HAS SOUS 190226 HAS SOUPS 190226 WITH SCORE 190480.929
AT ITER 5633 NEW BEST:: SOT 1501561 SOS 254811 HAS SOPS 254811 HAS SOUS 190108 HAS SOUPS 190108 WITH SCORE 190362.811
AT ITER 5664 NEW BEST:: SOT 1501110 SOS 254416 HAS SOPS 254416 HAS SOUS 189662 HAS SOUPS 189662 WITH SCORE 189916.416
AT ITER 5684 NEW BEST:: SOT 1500913 SOS 254022 HAS SOPS 254022 HAS SOUS 189286 HAS SOUPS 189286 WITH SCORE 189540.022
AT ITER 5772 NEW BEST:: SOT 1500884 SOS 253964 HAS SOPS 253964 HAS SOUS 189257 HAS SOUPS 189257 WITH SCORE 189510.964
AT ITER 5783 NEW BEST:: SOT 1501037 SOS 253388 HAS SOPS 253388 HAS SOUS 189158 HAS SOUPS 189158 WITH SCORE 189411.388
AT ITER 5786 NEW BEST:: SOT 1500816 SOS 252402 HAS SOPS 252402 HAS SOUS 188675 HAS SOUPS 188675 WITH SCORE 188927.402
AT ITER 5788 NEW BEST:: SOT 1500813 SOS 252439 HAS SOPS 252439 HAS SOUS 188540 HAS SOUPS 188540 WITH SCORE 188792.439
AT ITER 5823 NEW BEST:: SOT 1500808 SOS 252429 HAS SOPS 252429 HAS SOUS 188490 HAS SOUPS 188490 WITH SCORE 188742.429
AT ITER 5833 NEW BEST:: SOT 1500751 SOS 252408 HAS SOPS 252408 HAS SOUS 188433 HAS SOUPS 188433 WITH SCORE 188685.408
AT ITER 5862 NEW BEST:: SOT 1500701 SOS 252308 HAS SOPS 252308 HAS SOUS 188333 HAS SOUPS 188333 WITH SCORE 188585.308
AT ITER 5890 NEW BEST:: SOT 1500699 SOS 252314 HAS SOPS 252314 HAS SOUS 188331 HAS SOUPS 188331 WITH SCORE 188583.314
AT ITER 5910 NEW BEST:: SOT 1500707 SOS 252207 HAS SOPS 252207 HAS SOUS 188232 HAS SOUPS 188232 WITH SCORE 188484.207
AT ITER 5982 NEW BEST:: SOT 1500697 SOS 252187 HAS SOPS 252187 HAS SOUS 188222 HAS SOUPS 188222 WITH SCORE 188474.187
AT ITER 5996 NEW BEST:: SOT 1500718 SOS 252009 HAS SOPS 252009 HAS SOUS 188166 HAS SOUPS 188166 WITH SCORE 188418.009
AT ITER 6034 NEW BEST:: SOT 1500640 SOS 251853 HAS SOPS 251853 HAS SOUS 188087 HAS SOUPS 188087 WITH SCORE 188338.853
AT ITER 6040 NEW BEST:: SOT 1500633 SOS 251839 HAS SOPS 251839 HAS SOUS 188073 HAS SOUPS 188073 WITH SCORE 188324.839
AT ITER 6068 NEW BEST:: SOT 1500626 SOS 251839 HAS SOPS 251839 HAS SOUS 188059 HAS SOUPS 188059 WITH SCORE 188310.839
AT ITER 6081 NEW BEST:: SOT 1500622 SOS 251759 HAS SOPS 251759 HAS SOUS 188048 HAS SOUPS 188048 WITH SCORE 188299.759
AT ITER 6209 NEW BEST:: SOT 1500622 SOS 251747 HAS SOPS 251747 HAS SOUS 188036 HAS SOUPS 188036 WITH SCORE 188287.747
AT ITER 6231 NEW BEST:: SOT 1500580 SOS 250766 HAS SOPS 250766 HAS SOUS 187955 HAS SOUPS 187955 WITH SCORE 188205.766
AT ITER 6240 NEW BEST:: SOT 1500425 SOS 250618 HAS SOPS 250618 HAS SOUS 187800 HAS SOUPS 187800 WITH SCORE 188050.618
AT ITER 6259 NEW BEST:: SOT 1500373 SOS 250514 HAS SOPS 250514 HAS SOUS 187696 HAS SOUPS 187696 WITH SCORE 187946.514
AT ITER 6284 NEW BEST:: SOT 1500317 SOS 250402 HAS SOPS 250402 HAS SOUS 187584 HAS SOUPS 187584 WITH SCORE 187834.402
AT ITER 6297 NEW BEST:: SOT 1500294 SOS 250356 HAS SOPS 250356 HAS SOUS 187538 HAS SOUPS 187538 WITH SCORE 187788.356
AT ITER 6328 NEW BEST:: SOT 1500294 SOS 250214 HAS SOPS 250214 HAS SOUS 187467 HAS SOUPS 187467 WITH SCORE 187717.214
AT ITER 6360 NEW BEST:: SOT 1500135 SOS 249997 HAS SOPS 249997 HAS SOUS 187250 HAS SOUPS 187250 WITH SCORE 187499.997
AT ITER 6369 NEW BEST:: SOT 1500011 SOS 249962 HAS SOPS 249962 HAS SOUS 187215 HAS SOUPS 187215 WITH SCORE 187464.962
AT ITER 6383 NEW BEST:: SOT 1499767 SOS 250044 HAS SOPS 250044 HAS SOUS 187200 HAS SOUPS 187200 WITH SCORE 187450.044
AT ITER 6437 NEW BEST:: SOT 1499747 SOS 250004 HAS SOPS 250004 HAS SOUS 187160 HAS SOUPS 187160 WITH SCORE 187410.004
AT ITER 6505 NEW BEST:: SOT 1499575 SOS 250201 HAS SOPS 250201 HAS SOUS 186949 HAS SOUPS 186949 WITH SCORE 187199.201
AT ITER 6575 NEW BEST:: SOT 1499587 SOS 250188 HAS SOPS 250188 HAS SOUS 186948 HAS SOUPS 186948 WITH SCORE 187198.188
AT ITER 6591 NEW BEST:: SOT 1499587 SOS 250069 HAS SOPS 250069 HAS SOUS 186867 HAS SOUPS 186867 WITH SCORE 187117.069
AT ITER 6600 NEW BEST:: SOT 1499530 SOS 249955 HAS SOPS 249955 HAS SOUS 186810 HAS SOUPS 186810 WITH SCORE 187059.955
AT ITER 6641 NEW BEST:: SOT 1499314 SOS 249781 HAS SOPS 249781 HAS SOUS 186609 HAS SOUPS 186609 WITH SCORE 186858.781
AT ITER 6696 NEW BEST:: SOT 1499138 SOS 249429 HAS SOPS 249429 HAS SOUS 186433 HAS SOUPS 186433 WITH SCORE 186682.429
AT ITER 6715 NEW BEST:: SOT 1499133 SOS 249419 HAS SOPS 249419 HAS SOUS 186423 HAS SOUPS 186423 WITH SCORE 186672.419
AT ITER 6740 NEW BEST:: SOT 1499119 SOS 249391 HAS SOPS 249391 HAS SOUS 186395 HAS SOUPS 186395 WITH SCORE 186644.391
AT ITER 6745 NEW BEST:: SOT 1499119 SOS 249362 HAS SOPS 249362 HAS SOUS 186395 HAS SOUPS 186395 WITH SCORE 186644.362
AT ITER 6761 NEW BEST:: SOT 1499119 SOS 249274 HAS SOPS 249274 HAS SOUS 186351 HAS SOUPS 186351 WITH SCORE 186600.274
AT ITER 6773 NEW BEST:: SOT 1498996 SOS 248905 HAS SOPS 248905 HAS SOUS 186228 HAS SOUPS 186228 WITH SCORE 186476.905
AT ITER 6798 NEW BEST:: SOT 1498807 SOS 249233 HAS SOPS 249233 HAS SOUS 186069 HAS SOUPS 186069 WITH SCORE 186318.233
AT ITER 6832 NEW BEST:: SOT 1498465 SOS 248891 HAS SOPS 248891 HAS SOUS 185727 HAS SOUPS 185727 WITH SCORE 185975.891
AT ITER 6834 NEW BEST:: SOT 1498441 SOS 248867 HAS SOPS 248867 HAS SOUS 185703 HAS SOUPS 185703 WITH SCORE 185951.867
AT ITER 6916 NEW BEST:: SOT 1498439 SOS 248865 HAS SOPS 248865 HAS SOUS 185699 HAS SOUPS 185699 WITH SCORE 185947.865
AT ITER 6927 NEW BEST:: SOT 1498423 SOS 248833 HAS SOPS 248833 HAS SOUS 185667 HAS SOUPS 185667 WITH SCORE 185915.833
AT ITER 6979 NEW BEST:: SOT 1498323 SOS 248733 HAS SOPS 248733 HAS SOUS 185467 HAS SOUPS 185467 WITH SCORE 185715.733
AT ITER 6992 NEW BEST:: SOT 1498322 SOS 248731 HAS SOPS 248731 HAS SOUS 185467 HAS SOUPS 185467 WITH SCORE 185715.731
AT ITER 7018 NEW BEST:: SOT 1498321 SOS 248729 HAS SOPS 248729 HAS SOUS 185465 HAS SOUPS 185465 WITH SCORE 185713.729
AT ITER 7053 NEW BEST:: SOT 1498294 SOS 248675 HAS SOPS 248675 HAS SOUS 185411 HAS SOUPS 185411 WITH SCORE 185659.675
AT ITER 7077 NEW BEST:: SOT 1498278 SOS 248658 HAS SOPS 248658 HAS SOUS 185394 HAS SOUPS 185394 WITH SCORE 185642.658
AT ITER 7115 NEW BEST:: SOT 1498244 SOS 248791 HAS SOPS 248791 HAS SOUS 185159 HAS SOUPS 185159 WITH SCORE 185407.791
AT ITER 7156 NEW BEST:: SOT 1498160 SOS 248612 HAS SOPS 248612 HAS SOUS 185019 HAS SOUPS 185019 WITH SCORE 185267.612
AT ITER 7161 NEW BEST:: SOT 1498150 SOS 248393 HAS SOPS 248393 HAS SOUS 184810 HAS SOUPS 184810 WITH SCORE 185058.393
AT ITER 7178 NEW BEST:: SOT 1498138 SOS 248313 HAS SOPS 248313 HAS SOUS 184740 HAS SOUPS 184740 WITH SCORE 184988.313
AT ITER 7195 NEW BEST:: SOT 1498121 SOS 248279 HAS SOPS 248279 HAS SOUS 184706 HAS SOUPS 184706 WITH SCORE 184954.279
AT ITER 7200 NEW BEST:: SOT 1498047 SOS 248205 HAS SOPS 248205 HAS SOUS 184632 HAS SOUPS 184632 WITH SCORE 184880.205
AT ITER 7205 NEW BEST:: SOT 1497867 SOS 248089 HAS SOPS 248089 HAS SOUS 184516 HAS SOUPS 184516 WITH SCORE 184764.089
AT ITER 7236 NEW BEST:: SOT 1497857 SOS 248069 HAS SOPS 248069 HAS SOUS 184504 HAS SOUPS 184504 WITH SCORE 184752.069
AT ITER 7237 NEW BEST:: SOT 1497744 SOS 247843 HAS SOPS 247843 HAS SOUS 184391 HAS SOUPS 184391 WITH SCORE 184638.843
AT ITER 7239 NEW BEST:: SOT 1497744 SOS 247818 HAS SOPS 247818 HAS SOUS 184366 HAS SOUPS 184366 WITH SCORE 184613.818
AT ITER 7245 NEW BEST:: SOT 1497745 SOS 247820 HAS SOPS 247820 HAS SOUS 184304 HAS SOUPS 184304 WITH SCORE 184551.82
AT ITER 7250 NEW BEST:: SOT 1497795 SOS 247920 HAS SOPS 247920 HAS SOUS 184190 HAS SOUPS 184190 WITH SCORE 184437.92
AT ITER 7266 NEW BEST:: SOT 1497717 SOS 247452 HAS SOPS 247452 HAS SOUS 184073 HAS SOUPS 184073 WITH SCORE 184320.452
AT ITER 7306 NEW BEST:: SOT 1497715 SOS 247448 HAS SOPS 247448 HAS SOUS 184010 HAS SOUPS 184010 WITH SCORE 184257.448
AT ITER 7310 NEW BEST:: SOT 1497632 SOS 247282 HAS SOPS 247282 HAS SOUS 183644 HAS SOUPS 183644 WITH SCORE 183891.282
AT ITER 7356 NEW BEST:: SOT 1497355 SOS 251005 HAS SOPS 251005 HAS SOUS 183638 HAS SOUPS 183638 WITH SCORE 183889.005
AT ITER 7385 NEW BEST:: SOT 1497303 SOS 250849 HAS SOPS 250849 HAS SOUS 183586 HAS SOUPS 183586 WITH SCORE 183836.849
AT ITER 7420 NEW BEST:: SOT 1497303 SOS 250849 HAS SOPS 250849 HAS SOUS 183472 HAS SOUPS 183472 WITH SCORE 183722.849
AT ITER 7431 NEW BEST:: SOT 1497257 SOS 250935 HAS SOPS 250935 HAS SOUS 183425 HAS SOUPS 183425 WITH SCORE 183675.935
AT ITER 7445 NEW BEST:: SOT 1497183 SOS 250787 HAS SOPS 250787 HAS SOUS 183277 HAS SOUPS 183277 WITH SCORE 183527.787
AT ITER 7463 NEW BEST:: SOT 1497172 SOS 250765 HAS SOPS 250765 HAS SOUS 183266 HAS SOUPS 183266 WITH SCORE 183516.765
AT ITER 7465 NEW BEST:: SOT 1497134 SOS 250255 HAS SOPS 250255 HAS SOUS 183116 HAS SOUPS 183116 WITH SCORE 183366.255
AT ITER 7508 NEW BEST:: SOT 1497075 SOS 250290 HAS SOPS 250290 HAS SOUS 183108 HAS SOUPS 183108 WITH SCORE 183358.29
AT ITER 7535 NEW BEST:: SOT 1496965 SOS 250070 HAS SOPS 250070 HAS SOUS 182677 HAS SOUPS 182677 WITH SCORE 182927.07
AT ITER 7553 NEW BEST:: SOT 1496914 SOS 250019 HAS SOPS 250019 HAS SOUS 182626 HAS SOUPS 182626 WITH SCORE 182876.019
AT ITER 7560 NEW BEST:: SOT 1496853 SOS 249988 HAS SOPS 249988 HAS SOUS 182595 HAS SOUPS 182595 WITH SCORE 182844.988
AT ITER 7597 NEW BEST:: SOT 1496766 SOS 249814 HAS SOPS 249814 HAS SOUS 182405 HAS SOUPS 182405 WITH SCORE 182654.814
AT ITER 7766 NEW BEST:: SOT 1496741 SOS 249720 HAS SOPS 249720 HAS SOUS 182311 HAS SOUPS 182311 WITH SCORE 182560.72
AT ITER 7785 NEW BEST:: SOT 1496567 SOS 249488 HAS SOPS 249488 HAS SOUS 182079 HAS SOUPS 182079 WITH SCORE 182328.488
AT ITER 7800 NEW BEST:: SOT 1496592 SOS 249328 HAS SOPS 249328 HAS SOUS 181982 HAS SOUPS 181982 WITH SCORE 182231.328
AT ITER 7817 NEW BEST:: SOT 1496596 SOS 249304 HAS SOPS 249304 HAS SOUS 181973 HAS SOUPS 181973 WITH SCORE 182222.304
AT ITER 7824 NEW BEST:: SOT 1496596 SOS 249220 HAS SOPS 249220 HAS SOUS 181889 HAS SOUPS 181889 WITH SCORE 182138.22
AT ITER 7825 NEW BEST:: SOT 1496592 SOS 248866 HAS SOPS 248866 HAS SOUS 181712 HAS SOUPS 181712 WITH SCORE 181960.866
AT ITER 7963 NEW BEST:: SOT 1496631 SOS 248944 HAS SOPS 248944 HAS SOUS 181705 HAS SOUPS 181705 WITH SCORE 181953.944
AT ITER 7969 NEW BEST:: SOT 1496590 SOS 248862 HAS SOPS 248862 HAS SOUS 181623 HAS SOUPS 181623 WITH SCORE 181871.862
AT ITER 7992 NEW BEST:: SOT 1496563 SOS 248822 HAS SOPS 248822 HAS SOUS 181597 HAS SOUPS 181597 WITH SCORE 181845.822
AT ITER 7997 NEW BEST:: SOT 1496563 SOS 248822 HAS SOPS 248822 HAS SOUS 181576 HAS SOUPS 181576 WITH SCORE 181824.822
AT ITER 8017 NEW BEST:: SOT 1496552 SOS 248811 HAS SOPS 248811 HAS SOUS 181565 HAS SOUPS 181565 WITH SCORE 181813.811
AT ITER 8080 NEW BEST:: SOT 1496545 SOS 248792 HAS SOPS 248792 HAS SOUS 181548 HAS SOUPS 181548 WITH SCORE 181796.792
AT ITER 8137 NEW BEST:: SOT 1496513 SOS 248696 HAS SOPS 248696 HAS SOUS 181465 HAS SOUPS 181465 WITH SCORE 181713.696
AT ITER 8161 NEW BEST:: SOT 1496260 SOS 248459 HAS SOPS 248459 HAS SOUS 181228 HAS SOUPS 181228 WITH SCORE 181476.459
AT ITER 8167 NEW BEST:: SOT 1496260 SOS 248287 HAS SOPS 248287 HAS SOUS 181228 HAS SOUPS 181228 WITH SCORE 181476.287
AT ITER 8170 NEW BEST:: SOT 1496260 SOS 248110 HAS SOPS 248110 HAS SOUS 181228 HAS SOUPS 181228 WITH SCORE 181476.11
AT ITER 8197 NEW BEST:: SOT 1495868 SOS 247678 HAS SOPS 247678 HAS SOUS 180796 HAS SOUPS 180796 WITH SCORE 181043.678
AT ITER 8212 NEW BEST:: SOT 1495789 SOS 247380 HAS SOPS 247380 HAS SOUS 180778 HAS SOUPS 180778 WITH SCORE 181025.38
AT ITER 8219 NEW BEST:: SOT 1495511 SOS 247241 HAS SOPS 247241 HAS SOUS 180639 HAS SOUPS 180639 WITH SCORE 180886.241
AT ITER 8225 NEW BEST:: SOT 1495316 SOS 247046 HAS SOPS 247046 HAS SOUS 180444 HAS SOUPS 180444 WITH SCORE 180691.046
AT ITER 8232 NEW BEST:: SOT 1495261 SOS 246551 HAS SOPS 246551 HAS SOUS 180345 HAS SOUPS 180345 WITH SCORE 180591.551
AT ITER 8234 NEW BEST:: SOT 1495227 SOS 246483 HAS SOPS 246483 HAS SOUS 180200 HAS SOUPS 180200 WITH SCORE 180446.483
AT ITER 8237 NEW BEST:: SOT 1495158 SOS 246345 HAS SOPS 246345 HAS SOUS 180009 HAS SOUPS 180009 WITH SCORE 180255.345
AT ITER 8256 NEW BEST:: SOT 1495024 SOS 246166 HAS SOPS 246166 HAS SOUS 179900 HAS SOUPS 179900 WITH SCORE 180146.166
AT ITER 8269 NEW BEST:: SOT 1495024 SOS 246086 HAS SOPS 246086 HAS SOUS 179860 HAS SOUPS 179860 WITH SCORE 180106.086
AT ITER 8289 NEW BEST:: SOT 1494897 SOS 246019 HAS SOPS 246019 HAS SOUS 179739 HAS SOUPS 179739 WITH SCORE 179985.019
AT ITER 8325 NEW BEST:: SOT 1494914 SOS 246113 HAS SOPS 246113 HAS SOUS 179726 HAS SOUPS 179726 WITH SCORE 179972.113
AT ITER 8329 NEW BEST:: SOT 1494907 SOS 246099 HAS SOPS 246099 HAS SOUS 179719 HAS SOUPS 179719 WITH SCORE 179965.099
AT ITER 8340 NEW BEST:: SOT 1494907 SOS 246011 HAS SOPS 246011 HAS SOUS 179631 HAS SOUPS 179631 WITH SCORE 179877.011
AT ITER 8348 NEW BEST:: SOT 1494725 SOS 245805 HAS SOPS 245805 HAS SOUS 179449 HAS SOUPS 179449 WITH SCORE 179694.805
AT ITER 8417 NEW BEST:: SOT 1494725 SOS 245805 HAS SOPS 245805 HAS SOUS 179448 HAS SOUPS 179448 WITH SCORE 179693.805
AT ITER 8426 NEW BEST:: SOT 1494716 SOS 245787 HAS SOPS 245787 HAS SOUS 179439 HAS SOUPS 179439 WITH SCORE 179684.787
AT ITER 8427 NEW BEST:: SOT 1494628 SOS 245611 HAS SOPS 245611 HAS SOUS 179263 HAS SOUPS 179263 WITH SCORE 179508.611
AT ITER 8607 NEW BEST:: SOT 1494628 SOS 245601 HAS SOPS 245601 HAS SOUS 179253 HAS SOUPS 179253 WITH SCORE 179498.601
AT ITER 8638 NEW BEST:: SOT 1494586 SOS 245517 HAS SOPS 245517 HAS SOUS 179211 HAS SOUPS 179211 WITH SCORE 179456.517
AT ITER 8670 NEW BEST:: SOT 1494586 SOS 245517 HAS SOPS 245517 HAS SOUS 179150 HAS SOUPS 179150 WITH SCORE 179395.517
AT ITER 8691 NEW BEST:: SOT 1494521 SOS 245208 HAS SOPS 245208 HAS SOUS 178972 HAS SOUPS 178972 WITH SCORE 179217.208
AT ITER 8707 NEW BEST:: SOT 1494427 SOS 245114 HAS SOPS 245114 HAS SOUS 178878 HAS SOUPS 178878 WITH SCORE 179123.114
AT ITER 8742 NEW BEST:: SOT 1494209 SOS 244678 HAS SOPS 244678 HAS SOUS 178442 HAS SOUPS 178442 WITH SCORE 178686.678
AT ITER 8774 NEW BEST:: SOT 1494183 SOS 244626 HAS SOPS 244626 HAS SOUS 178390 HAS SOUPS 178390 WITH SCORE 178634.626
AT ITER 8783 NEW BEST:: SOT 1494178 SOS 244616 HAS SOPS 244616 HAS SOUS 178380 HAS SOUPS 178380 WITH SCORE 178624.616
AT ITER 8821 NEW BEST:: SOT 1494150 SOS 244588 HAS SOPS 244588 HAS SOUS 178380 HAS SOUPS 178380 WITH SCORE 178624.588
AT ITER 8825 NEW BEST:: SOT 1494133 SOS 244522 HAS SOPS 244522 HAS SOUS 178363 HAS SOUPS 178363 WITH SCORE 178607.522
AT ITER 8866 NEW BEST:: SOT 1494079 SOS 244414 HAS SOPS 244414 HAS SOUS 178351 HAS SOUPS 178351 WITH SCORE 178595.414
AT ITER 8947 NEW BEST:: SOT 1493875 SOS 244310 HAS SOPS 244310 HAS SOUS 178247 HAS SOUPS 178247 WITH SCORE 178491.31
AT ITER 8954 NEW BEST:: SOT 1493831 SOS 244266 HAS SOPS 244266 HAS SOUS 178207 HAS SOUPS 178207 WITH SCORE 178451.266
AT ITER 8988 NEW BEST:: SOT 1493830 SOS 244264 HAS SOPS 244264 HAS SOUS 178205 HAS SOUPS 178205 WITH SCORE 178449.264
AT ITER 9022 NEW BEST:: SOT 1493608 SOS 243820 HAS SOPS 243820 HAS SOUS 178026 HAS SOUPS 178026 WITH SCORE 178269.82
AT ITER 9023 NEW BEST:: SOT 1493578 SOS 243785 HAS SOPS 243785 HAS SOUS 177994 HAS SOUPS 177994 WITH SCORE 178237.785
AT ITER 9034 NEW BEST:: SOT 1493569 SOS 243776 HAS SOPS 243776 HAS SOUS 177985 HAS SOUPS 177985 WITH SCORE 178228.776
AT ITER 9043 NEW BEST:: SOT 1493296 SOS 244046 HAS SOPS 244046 HAS SOUS 177416 HAS SOUPS 177416 WITH SCORE 177660.046
AT ITER 9047 NEW BEST:: SOT 1493296 SOS 244044 HAS SOPS 244044 HAS SOUS 177414 HAS SOUPS 177414 WITH SCORE 177658.044
AT ITER 9202 NEW BEST:: SOT 1493295 SOS 244042 HAS SOPS 244042 HAS SOUS 177412 HAS SOUPS 177412 WITH SCORE 177656.042
AT ITER 9219 NEW BEST:: SOT 1493215 SOS 244044 HAS SOPS 244044 HAS SOUS 177332 HAS SOUPS 177332 WITH SCORE 177576.044
AT ITER 9221 NEW BEST:: SOT 1493189 SOS 244178 HAS SOPS 244178 HAS SOUS 177314 HAS SOUPS 177314 WITH SCORE 177558.178
AT ITER 9230 NEW BEST:: SOT 1493004 SOS 244000 HAS SOPS 244000 HAS SOUS 177129 HAS SOUPS 177129 WITH SCORE 177373.0
AT ITER 9232 NEW BEST:: SOT 1492992 SOS 243940 HAS SOPS 243940 HAS SOUS 177105 HAS SOUPS 177105 WITH SCORE 177348.94
AT ITER 9282 NEW BEST:: SOT 1492948 SOS 243918 HAS SOPS 243918 HAS SOUS 177083 HAS SOUPS 177083 WITH SCORE 177326.918
AT ITER 9328 NEW BEST:: SOT 1492824 SOS 244078 HAS SOPS 244078 HAS SOUS 176971 HAS SOUPS 176971 WITH SCORE 177215.078
AT ITER 9358 NEW BEST:: SOT 1492823 SOS 244076 HAS SOPS 244076 HAS SOUS 176969 HAS SOUPS 176969 WITH SCORE 177213.076
AT ITER 9362 NEW BEST:: SOT 1492763 SOS 243956 HAS SOPS 243956 HAS SOUS 176909 HAS SOUPS 176909 WITH SCORE 177152.956
AT ITER 9380 NEW BEST:: SOT 1492742 SOS 243914 HAS SOPS 243914 HAS SOUS 176887 HAS SOUPS 176887 WITH SCORE 177130.914
AT ITER 9422 NEW BEST:: SOT 1492736 SOS 243866 HAS SOPS 243866 HAS SOUS 176881 HAS SOUPS 176881 WITH SCORE 177124.866
AT ITER 9451 NEW BEST:: SOT 1492672 SOS 243738 HAS SOPS 243738 HAS SOUS 176590 HAS SOUPS 176590 WITH SCORE 176833.738
AT ITER 9466 NEW BEST:: SOT 1492664 SOS 243734 HAS SOPS 243734 HAS SOUS 176582 HAS SOUPS 176582 WITH SCORE 176825.734
AT ITER 9509 NEW BEST:: SOT 1492652 SOS 243652 HAS SOPS 243652 HAS SOUS 176570 HAS SOUPS 176570 WITH SCORE 176813.652
AT ITER 9523 NEW BEST:: SOT 1492330 SOS 243430 HAS SOPS 243430 HAS SOUS 176420 HAS SOUPS 176420 WITH SCORE 176663.43
AT ITER 9538 NEW BEST:: SOT 1492273 SOS 243160 HAS SOPS 243160 HAS SOUS 176267 HAS SOUPS 176267 WITH SCORE 176510.16
AT ITER 9585 NEW BEST:: SOT 1492175 SOS 243111 HAS SOPS 243111 HAS SOUS 176169 HAS SOUPS 176169 WITH SCORE 176412.111
AT ITER 9643 NEW BEST:: SOT 1492009 SOS 242779 HAS SOPS 242779 HAS SOUS 175837 HAS SOUPS 175837 WITH SCORE 176079.779
AT ITER 9711 NEW BEST:: SOT 1491988 SOS 242716 HAS SOPS 242716 HAS SOUS 175774 HAS SOUPS 175774 WITH SCORE 176016.716
AT ITER 9715 NEW BEST:: SOT 1491962 SOS 242712 HAS SOPS 242712 HAS SOUS 175770 HAS SOUPS 175770 WITH SCORE 176012.712
AT ITER 9763 NEW BEST:: SOT 1491921 SOS 242630 HAS SOPS 242630 HAS SOUS 175729 HAS SOUPS 175729 WITH SCORE 175971.63
AT ITER 9782 NEW BEST:: SOT 1491691 SOS 242473 HAS SOPS 242473 HAS SOUS 175566 HAS SOUPS 175566 WITH SCORE 175808.473
AT ITER 9793 NEW BEST:: SOT 1491691 SOS 242470 HAS SOPS 242470 HAS SOUS 175566 HAS SOUPS 175566 WITH SCORE 175808.47
AT ITER 9812 NEW BEST:: SOT 1491691 SOS 242466 HAS SOPS 242466 HAS SOUS 175562 HAS SOUPS 175562 WITH SCORE 175804.466
AT ITER 9837 NEW BEST:: SOT 1491691 SOS 242602 HAS SOPS 242602 HAS SOUS 175426 HAS SOUPS 175426 WITH SCORE 175668.602
AT ITER 9847 NEW BEST:: SOT 1491682 SOS 242572 HAS SOPS 242572 HAS SOUS 175408 HAS SOUPS 175408 WITH SCORE 175650.572
AT ITER 9849 NEW BEST:: SOT 1491634 SOS 242679 HAS SOPS 242679 HAS SOUS 175307 HAS SOUPS 175307 WITH SCORE 175549.679
AT ITER 9850 NEW BEST:: SOT 1491627 SOS 242665 HAS SOPS 242665 HAS SOUS 175293 HAS SOUPS 175293 WITH SCORE 175535.665
AT ITER 9854 NEW BEST:: SOT 1491586 SOS 242715 HAS SOPS 242715 HAS SOUS 175277 HAS SOUPS 175277 WITH SCORE 175519.715
AT ITER 9997 NEW BEST:: SOT 1491586 SOS 242706 HAS SOPS 242706 HAS SOUS 175268 HAS SOUPS 175268 WITH SCORE 175510.706

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="DLCround-PT-03b"
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 DLCround-PT-03b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r048-ebro-158902542200464"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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