Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 944K
-rw-r--r-- 1 mcc users 6.6K Feb 25 18:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 25 18:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 25 18:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 25 18:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:52 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:52 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.4K Feb 25 18:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 94K Feb 25 18:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 25 18:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 25 18:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:52 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:52 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 547K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678255622159

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

Filename model.pnml
Petri model created: 1680 places, 2364 transitions, 6156 arcs.
AT ITER 0 NEW BEST:: SOT 2371064 SOS 494511 HAS SOPS 494511 HAS SOUS 353305 HAS SOUPS 353305 WITH SCORE 353799.511
AT ITER 15 NEW BEST:: SOT 2370693 SOS 494156 HAS SOPS 494156 HAS SOUS 352950 HAS SOUPS 352950 WITH SCORE 353444.156
AT ITER 35 NEW BEST:: SOT 2370154 SOS 493622 HAS SOPS 493622 HAS SOUS 352142 HAS SOUPS 352142 WITH SCORE 352635.622
AT ITER 61 NEW BEST:: SOT 2370153 SOS 493568 HAS SOPS 493568 HAS SOUS 352088 HAS SOUPS 352088 WITH SCORE 352581.568
AT ITER 64 NEW BEST:: SOT 2368042 SOS 491836 HAS SOPS 491836 HAS SOUS 350016 HAS SOUPS 350016 WITH SCORE 350507.836
AT ITER 76 NEW BEST:: SOT 2368041 SOS 491701 HAS SOPS 491701 HAS SOUS 349881 HAS SOUPS 349881 WITH SCORE 350372.701
AT ITER 101 NEW BEST:: SOT 2366590 SOS 491882 HAS SOPS 491882 HAS SOUS 349012 HAS SOUPS 349012 WITH SCORE 349503.882
AT ITER 138 NEW BEST:: SOT 2366590 SOS 492448 HAS SOPS 492448 HAS SOUS 349011 HAS SOUPS 349011 WITH SCORE 349503.448
AT ITER 150 NEW BEST:: SOT 2366352 SOS 492446 HAS SOPS 492446 HAS SOUS 349009 HAS SOUPS 349009 WITH SCORE 349501.446
AT ITER 173 NEW BEST:: SOT 2366322 SOS 492318 HAS SOPS 492318 HAS SOUS 348948 HAS SOUPS 348948 WITH SCORE 349440.318
AT ITER 179 NEW BEST:: SOT 2366321 SOS 492316 HAS SOPS 492316 HAS SOUS 348946 HAS SOUPS 348946 WITH SCORE 349438.316
AT ITER 200 NEW BEST:: SOT 2366205 SOS 492084 HAS SOPS 492084 HAS SOUS 348714 HAS SOUPS 348714 WITH SCORE 349206.084
AT ITER 202 NEW BEST:: SOT 2365562 SOS 491680 HAS SOPS 491680 HAS SOUS 348360 HAS SOUPS 348360 WITH SCORE 348851.68
AT ITER 237 NEW BEST:: SOT 2365533 SOS 491669 HAS SOPS 491669 HAS SOUS 348331 HAS SOUPS 348331 WITH SCORE 348822.669
AT ITER 238 NEW BEST:: SOT 2365284 SOS 491420 HAS SOPS 491420 HAS SOUS 348082 HAS SOUPS 348082 WITH SCORE 348573.42
AT ITER 257 NEW BEST:: SOT 2365208 SOS 491416 HAS SOPS 491416 HAS SOUS 348005 HAS SOUPS 348005 WITH SCORE 348496.416
AT ITER 269 NEW BEST:: SOT 2365123 SOS 491161 HAS SOPS 491161 HAS SOUS 347920 HAS SOUPS 347920 WITH SCORE 348411.161
AT ITER 304 NEW BEST:: SOT 2365106 SOS 491191 HAS SOPS 491191 HAS SOUS 347902 HAS SOUPS 347902 WITH SCORE 348393.191
AT ITER 337 NEW BEST:: SOT 2364903 SOS 490785 HAS SOPS 490785 HAS SOUS 347496 HAS SOUPS 347496 WITH SCORE 347986.785
AT ITER 347 NEW BEST:: SOT 2364336 SOS 488107 HAS SOPS 488107 HAS SOUS 346916 HAS SOUPS 346916 WITH SCORE 347404.107
AT ITER 356 NEW BEST:: SOT 2364000 SOS 487957 HAS SOPS 487957 HAS SOUS 346629 HAS SOUPS 346629 WITH SCORE 347116.957
AT ITER 359 NEW BEST:: SOT 2363739 SOS 489155 HAS SOPS 489155 HAS SOUS 346550 HAS SOUPS 346550 WITH SCORE 347039.155
AT ITER 375 NEW BEST:: SOT 2363699 SOS 489075 HAS SOPS 489075 HAS SOUS 346470 HAS SOUPS 346470 WITH SCORE 346959.075
AT ITER 401 NEW BEST:: SOT 2363538 SOS 488690 HAS SOPS 488690 HAS SOUS 346157 HAS SOUPS 346157 WITH SCORE 346645.69
AT ITER 406 NEW BEST:: SOT 2363424 SOS 489136 HAS SOPS 489136 HAS SOUS 345928 HAS SOUPS 345928 WITH SCORE 346417.136
AT ITER 408 NEW BEST:: SOT 2363416 SOS 489190 HAS SOPS 489190 HAS SOUS 345919 HAS SOUPS 345919 WITH SCORE 346408.19
AT ITER 413 NEW BEST:: SOT 2363242 SOS 488842 HAS SOPS 488842 HAS SOUS 345571 HAS SOUPS 345571 WITH SCORE 346059.842
AT ITER 422 NEW BEST:: SOT 2363036 SOS 487709 HAS SOPS 487709 HAS SOUS 345365 HAS SOUPS 345365 WITH SCORE 345852.709
AT ITER 445 NEW BEST:: SOT 2363022 SOS 487699 HAS SOPS 487699 HAS SOUS 345357 HAS SOUPS 345357 WITH SCORE 345844.699
AT ITER 465 NEW BEST:: SOT 2362868 SOS 487468 HAS SOPS 487468 HAS SOUS 345126 HAS SOUPS 345126 WITH SCORE 345613.468
AT ITER 466 NEW BEST:: SOT 2362716 SOS 484860 HAS SOPS 484860 HAS SOUS 344822 HAS SOUPS 344822 WITH SCORE 345306.86
AT ITER 475 NEW BEST:: SOT 2362716 SOS 484620 HAS SOPS 484620 HAS SOUS 344798 HAS SOUPS 344798 WITH SCORE 345282.62
AT ITER 506 NEW BEST:: SOT 2362377 SOS 483942 HAS SOPS 483942 HAS SOUS 344067 HAS SOUPS 344067 WITH SCORE 344550.942
AT ITER 537 NEW BEST:: SOT 2362543 SOS 483780 HAS SOPS 483780 HAS SOUS 343905 HAS SOUPS 343905 WITH SCORE 344388.78
AT ITER 546 NEW BEST:: SOT 2362057 SOS 483100 HAS SOPS 483100 HAS SOUS 343169 HAS SOUPS 343169 WITH SCORE 343652.1
AT ITER 573 NEW BEST:: SOT 2361788 SOS 482561 HAS SOPS 482561 HAS SOUS 342630 HAS SOUPS 342630 WITH SCORE 343112.561
AT ITER 605 NEW BEST:: SOT 2361717 SOS 482557 HAS SOPS 482557 HAS SOUS 342629 HAS SOUPS 342629 WITH SCORE 343111.557
AT ITER 618 NEW BEST:: SOT 2361894 SOS 482734 HAS SOPS 482734 HAS SOUS 342628 HAS SOUPS 342628 WITH SCORE 343110.734
AT ITER 628 NEW BEST:: SOT 2361948 SOS 482842 HAS SOPS 482842 HAS SOUS 342348 HAS SOUPS 342348 WITH SCORE 342830.842
AT ITER 632 NEW BEST:: SOT 2362025 SOS 482765 HAS SOPS 482765 HAS SOUS 342348 HAS SOUPS 342348 WITH SCORE 342830.765
AT ITER 644 NEW BEST:: SOT 2361911 SOS 482537 HAS SOPS 482537 HAS SOUS 341998 HAS SOUPS 341998 WITH SCORE 342480.537
AT ITER 708 NEW BEST:: SOT 2361355 SOS 481860 HAS SOPS 481860 HAS SOUS 341214 HAS SOUPS 341214 WITH SCORE 341695.86
AT ITER 710 NEW BEST:: SOT 2361223 SOS 481728 HAS SOPS 481728 HAS SOUS 341082 HAS SOUPS 341082 WITH SCORE 341563.728
AT ITER 749 NEW BEST:: SOT 2361198 SOS 481678 HAS SOPS 481678 HAS SOUS 341064 HAS SOUPS 341064 WITH SCORE 341545.678
AT ITER 753 NEW BEST:: SOT 2361215 SOS 481712 HAS SOPS 481712 HAS SOUS 340689 HAS SOUPS 340689 WITH SCORE 341170.712
AT ITER 763 NEW BEST:: SOT 2360715 SOS 481260 HAS SOPS 481260 HAS SOUS 340237 HAS SOUPS 340237 WITH SCORE 340718.26
AT ITER 790 NEW BEST:: SOT 2360449 SOS 480994 HAS SOPS 480994 HAS SOUS 339971 HAS SOUPS 339971 WITH SCORE 340451.994
AT ITER 816 NEW BEST:: SOT 2360449 SOS 480947 HAS SOPS 480947 HAS SOUS 339925 HAS SOUPS 339925 WITH SCORE 340405.947
AT ITER 842 NEW BEST:: SOT 2360109 SOS 480627 HAS SOPS 480627 HAS SOUS 339585 HAS SOUPS 339585 WITH SCORE 340065.627
AT ITER 857 NEW BEST:: SOT 2360109 SOS 479070 HAS SOPS 479070 HAS SOUS 339585 HAS SOUPS 339585 WITH SCORE 340064.07
AT ITER 858 NEW BEST:: SOT 2359823 SOS 478806 HAS SOPS 478806 HAS SOUS 339321 HAS SOUPS 339321 WITH SCORE 339799.806
AT ITER 879 NEW BEST:: SOT 2359811 SOS 478794 HAS SOPS 478794 HAS SOUS 339309 HAS SOUPS 339309 WITH SCORE 339787.794
AT ITER 911 NEW BEST:: SOT 2359545 SOS 478528 HAS SOPS 478528 HAS SOUS 339043 HAS SOUPS 339043 WITH SCORE 339521.528
AT ITER 920 NEW BEST:: SOT 2359545 SOS 478451 HAS SOPS 478451 HAS SOUS 338966 HAS SOUPS 338966 WITH SCORE 339444.451
AT ITER 957 NEW BEST:: SOT 2359458 SOS 478447 HAS SOPS 478447 HAS SOUS 338878 HAS SOUPS 338878 WITH SCORE 339356.447
AT ITER 960 NEW BEST:: SOT 2359400 SOS 478331 HAS SOPS 478331 HAS SOUS 338759 HAS SOUPS 338759 WITH SCORE 339237.331
AT ITER 984 NEW BEST:: SOT 2359239 SOS 478189 HAS SOPS 478189 HAS SOUS 338598 HAS SOUPS 338598 WITH SCORE 339076.189
AT ITER 1010 NEW BEST:: SOT 2359344 SOS 478084 HAS SOPS 478084 HAS SOUS 338598 HAS SOUPS 338598 WITH SCORE 339076.084
AT ITER 1012 NEW BEST:: SOT 2359024 SOS 477444 HAS SOPS 477444 HAS SOUS 338278 HAS SOUPS 338278 WITH SCORE 338755.444
AT ITER 1044 NEW BEST:: SOT 2359023 SOS 477358 HAS SOPS 477358 HAS SOUS 338192 HAS SOUPS 338192 WITH SCORE 338669.358
AT ITER 1137 NEW BEST:: SOT 2358993 SOS 477298 HAS SOPS 477298 HAS SOUS 338132 HAS SOUPS 338132 WITH SCORE 338609.298
AT ITER 1152 NEW BEST:: SOT 2358988 SOS 477392 HAS SOPS 477392 HAS SOUS 338127 HAS SOUPS 338127 WITH SCORE 338604.392
AT ITER 1168 NEW BEST:: SOT 2359007 SOS 477430 HAS SOPS 477430 HAS SOUS 338061 HAS SOUPS 338061 WITH SCORE 338538.43
AT ITER 1170 NEW BEST:: SOT 2358913 SOS 477336 HAS SOPS 477336 HAS SOUS 337873 HAS SOUPS 337873 WITH SCORE 338350.336
AT ITER 1176 NEW BEST:: SOT 2358817 SOS 477254 HAS SOPS 477254 HAS SOUS 337777 HAS SOUPS 337777 WITH SCORE 338254.254
AT ITER 1177 NEW BEST:: SOT 2358812 SOS 477234 HAS SOPS 477234 HAS SOUS 337767 HAS SOUPS 337767 WITH SCORE 338244.234
AT ITER 1189 NEW BEST:: SOT 2358779 SOS 477230 HAS SOPS 477230 HAS SOUS 337766 HAS SOUPS 337766 WITH SCORE 338243.23
AT ITER 1202 NEW BEST:: SOT 2358619 SOS 477088 HAS SOPS 477088 HAS SOUS 337617 HAS SOUPS 337617 WITH SCORE 338094.088
AT ITER 1255 NEW BEST:: SOT 2358273 SOS 477828 HAS SOPS 477828 HAS SOUS 337597 HAS SOUPS 337597 WITH SCORE 338074.828
AT ITER 1299 NEW BEST:: SOT 2358095 SOS 477646 HAS SOPS 477646 HAS SOUS 337418 HAS SOUPS 337418 WITH SCORE 337895.646
AT ITER 1343 NEW BEST:: SOT 2357855 SOS 477420 HAS SOPS 477420 HAS SOUS 337184 HAS SOUPS 337184 WITH SCORE 337661.42
AT ITER 1345 NEW BEST:: SOT 2357568 SOS 474503 HAS SOPS 474503 HAS SOUS 336670 HAS SOUPS 336670 WITH SCORE 337144.503
AT ITER 1350 NEW BEST:: SOT 2357550 SOS 474467 HAS SOPS 474467 HAS SOUS 336652 HAS SOUPS 336652 WITH SCORE 337126.467
AT ITER 1366 NEW BEST:: SOT 2357550 SOS 474422 HAS SOPS 474422 HAS SOUS 336607 HAS SOUPS 336607 WITH SCORE 337081.422
AT ITER 1440 NEW BEST:: SOT 2357482 SOS 474354 HAS SOPS 474354 HAS SOUS 336539 HAS SOUPS 336539 WITH SCORE 337013.354
AT ITER 1442 NEW BEST:: SOT 2357433 SOS 473815 HAS SOPS 473815 HAS SOUS 336490 HAS SOUPS 336490 WITH SCORE 336963.815
AT ITER 1501 NEW BEST:: SOT 2357433 SOS 473793 HAS SOPS 473793 HAS SOUS 336468 HAS SOUPS 336468 WITH SCORE 336941.793
AT ITER 1507 NEW BEST:: SOT 2357408 SOS 473743 HAS SOPS 473743 HAS SOUS 336060 HAS SOUPS 336060 WITH SCORE 336533.743
AT ITER 1549 NEW BEST:: SOT 2357123 SOS 473441 HAS SOPS 473441 HAS SOUS 335774 HAS SOUPS 335774 WITH SCORE 336247.441
AT ITER 1550 NEW BEST:: SOT 2356871 SOS 473228 HAS SOPS 473228 HAS SOUS 335561 HAS SOUPS 335561 WITH SCORE 336034.228
AT ITER 1600 NEW BEST:: SOT 2356747 SOS 473268 HAS SOPS 473268 HAS SOUS 335548 HAS SOUPS 335548 WITH SCORE 336021.268
AT ITER 1606 NEW BEST:: SOT 2356735 SOS 473244 HAS SOPS 473244 HAS SOUS 335524 HAS SOUPS 335524 WITH SCORE 335997.244
AT ITER 1657 NEW BEST:: SOT 2356721 SOS 473230 HAS SOPS 473230 HAS SOUS 335510 HAS SOUPS 335510 WITH SCORE 335983.23
AT ITER 1661 NEW BEST:: SOT 2356689 SOS 473148 HAS SOPS 473148 HAS SOUS 335491 HAS SOUPS 335491 WITH SCORE 335964.148
AT ITER 1715 NEW BEST:: SOT 2356332 SOS 472791 HAS SOPS 472791 HAS SOUS 335134 HAS SOUPS 335134 WITH SCORE 335606.791
AT ITER 1724 NEW BEST:: SOT 2356332 SOS 472790 HAS SOPS 472790 HAS SOUS 335133 HAS SOUPS 335133 WITH SCORE 335605.79
AT ITER 1740 NEW BEST:: SOT 2356332 SOS 472980 HAS SOPS 472980 HAS SOUS 335131 HAS SOUPS 335131 WITH SCORE 335603.98
AT ITER 1746 NEW BEST:: SOT 2356291 SOS 472898 HAS SOPS 472898 HAS SOUS 335087 HAS SOUPS 335087 WITH SCORE 335559.898
AT ITER 1749 NEW BEST:: SOT 2356013 SOS 472610 HAS SOPS 472610 HAS SOUS 334808 HAS SOUPS 334808 WITH SCORE 335280.61
AT ITER 1793 NEW BEST:: SOT 2356010 SOS 472604 HAS SOPS 472604 HAS SOUS 334805 HAS SOUPS 334805 WITH SCORE 335277.604
AT ITER 1823 NEW BEST:: SOT 2355961 SOS 472506 HAS SOPS 472506 HAS SOUS 334707 HAS SOUPS 334707 WITH SCORE 335179.506
AT ITER 1824 NEW BEST:: SOT 2355731 SOS 472405 HAS SOPS 472405 HAS SOUS 334606 HAS SOUPS 334606 WITH SCORE 335078.405
AT ITER 1834 NEW BEST:: SOT 2355703 SOS 472389 HAS SOPS 472389 HAS SOUS 334560 HAS SOUPS 334560 WITH SCORE 335032.389
AT ITER 1900 NEW BEST:: SOT 2355703 SOS 472700 HAS SOPS 472700 HAS SOUS 334559 HAS SOUPS 334559 WITH SCORE 335031.7
AT ITER 1917 NEW BEST:: SOT 2355703 SOS 472614 HAS SOPS 472614 HAS SOUS 334473 HAS SOUPS 334473 WITH SCORE 334945.614
AT ITER 1936 NEW BEST:: SOT 2355595 SOS 472535 HAS SOPS 472535 HAS SOUS 334380 HAS SOUPS 334380 WITH SCORE 334852.535
AT ITER 1999 NEW BEST:: SOT 2355595 SOS 472535 HAS SOPS 472535 HAS SOUS 334247 HAS SOUPS 334247 WITH SCORE 334719.535
AT ITER 2002 NEW BEST:: SOT 2355595 SOS 472516 HAS SOPS 472516 HAS SOUS 334228 HAS SOUPS 334228 WITH SCORE 334700.516
AT ITER 2029 NEW BEST:: SOT 2355594 SOS 472672 HAS SOPS 472672 HAS SOUS 334226 HAS SOUPS 334226 WITH SCORE 334698.672
AT ITER 2030 NEW BEST:: SOT 2355189 SOS 472669 HAS SOPS 472669 HAS SOUS 334090 HAS SOUPS 334090 WITH SCORE 334562.669
AT ITER 2064 NEW BEST:: SOT 2355189 SOS 472644 HAS SOPS 472644 HAS SOUS 334065 HAS SOUPS 334065 WITH SCORE 334537.644
AT ITER 2075 NEW BEST:: SOT 2355136 SOS 472538 HAS SOPS 472538 HAS SOUS 334011 HAS SOUPS 334011 WITH SCORE 334483.538
AT ITER 2079 NEW BEST:: SOT 2354991 SOS 472496 HAS SOPS 472496 HAS SOUS 333866 HAS SOUPS 333866 WITH SCORE 334338.496
AT ITER 2081 NEW BEST:: SOT 2354887 SOS 472288 HAS SOPS 472288 HAS SOUS 333658 HAS SOUPS 333658 WITH SCORE 334130.288
AT ITER 2112 NEW BEST:: SOT 2354904 SOS 472112 HAS SOPS 472112 HAS SOUS 333587 HAS SOUPS 333587 WITH SCORE 334059.112
AT ITER 2118 NEW BEST:: SOT 2353920 SOS 471251 HAS SOPS 471251 HAS SOUS 332726 HAS SOUPS 332726 WITH SCORE 333197.251
AT ITER 2146 NEW BEST:: SOT 2353880 SOS 471171 HAS SOPS 471171 HAS SOUS 332646 HAS SOUPS 332646 WITH SCORE 333117.171
AT ITER 2148 NEW BEST:: SOT 2353795 SOS 471085 HAS SOPS 471085 HAS SOUS 332560 HAS SOUPS 332560 WITH SCORE 333031.085
AT ITER 2164 NEW BEST:: SOT 2353803 SOS 475217 HAS SOPS 475217 HAS SOUS 332024 HAS SOUPS 332024 WITH SCORE 332499.217
AT ITER 2189 NEW BEST:: SOT 2353631 SOS 474969 HAS SOPS 474969 HAS SOUS 331983 HAS SOUPS 331983 WITH SCORE 332457.969
AT ITER 2194 NEW BEST:: SOT 2353631 SOS 474776 HAS SOPS 474776 HAS SOUS 331983 HAS SOUPS 331983 WITH SCORE 332457.776
AT ITER 2199 NEW BEST:: SOT 2353622 SOS 474866 HAS SOPS 474866 HAS SOUS 331936 HAS SOUPS 331936 WITH SCORE 332410.866
AT ITER 2210 NEW BEST:: SOT 2353649 SOS 474782 HAS SOPS 474782 HAS SOUS 331906 HAS SOUPS 331906 WITH SCORE 332380.782
AT ITER 2213 NEW BEST:: SOT 2353388 SOS 474260 HAS SOPS 474260 HAS SOUS 331259 HAS SOUPS 331259 WITH SCORE 331733.26
AT ITER 2216 NEW BEST:: SOT 2353380 SOS 474244 HAS SOPS 474244 HAS SOUS 331243 HAS SOUPS 331243 WITH SCORE 331717.244
AT ITER 2221 NEW BEST:: SOT 2353130 SOS 473994 HAS SOPS 473994 HAS SOUS 330993 HAS SOUPS 330993 WITH SCORE 331466.994
AT ITER 2227 NEW BEST:: SOT 2352965 SOS 473828 HAS SOPS 473828 HAS SOUS 330827 HAS SOUPS 330827 WITH SCORE 331300.828
AT ITER 2228 NEW BEST:: SOT 2352938 SOS 473774 HAS SOPS 473774 HAS SOUS 330773 HAS SOUPS 330773 WITH SCORE 331246.774
AT ITER 2236 NEW BEST:: SOT 2352938 SOS 473800 HAS SOPS 473800 HAS SOUS 330772 HAS SOUPS 330772 WITH SCORE 331245.8
AT ITER 2253 NEW BEST:: SOT 2352938 SOS 473930 HAS SOPS 473930 HAS SOUS 330771 HAS SOUPS 330771 WITH SCORE 331244.93
AT ITER 2258 NEW BEST:: SOT 2352855 SOS 473926 HAS SOPS 473926 HAS SOUS 330687 HAS SOUPS 330687 WITH SCORE 331160.926
AT ITER 2285 NEW BEST:: SOT 2352752 SOS 473823 HAS SOPS 473823 HAS SOUS 330584 HAS SOUPS 330584 WITH SCORE 331057.823
AT ITER 2312 NEW BEST:: SOT 2352626 SOS 473874 HAS SOPS 473874 HAS SOUS 330496 HAS SOUPS 330496 WITH SCORE 330969.874
AT ITER 2325 NEW BEST:: SOT 2352504 SOS 473630 HAS SOPS 473630 HAS SOUS 330084 HAS SOUPS 330084 WITH SCORE 330557.63
AT ITER 2344 NEW BEST:: SOT 2352215 SOS 473337 HAS SOPS 473337 HAS SOUS 329791 HAS SOUPS 329791 WITH SCORE 330264.337
AT ITER 2466 NEW BEST:: SOT 2352158 SOS 473223 HAS SOPS 473223 HAS SOUS 329677 HAS SOUPS 329677 WITH SCORE 330150.223
AT ITER 2468 NEW BEST:: SOT 2352158 SOS 473223 HAS SOPS 473223 HAS SOUS 329621 HAS SOUPS 329621 WITH SCORE 330094.223
AT ITER 2537 NEW BEST:: SOT 2352062 SOS 473123 HAS SOPS 473123 HAS SOUS 329620 HAS SOUPS 329620 WITH SCORE 330093.123
AT ITER 2542 NEW BEST:: SOT 2351976 SOS 473204 HAS SOPS 473204 HAS SOUS 329534 HAS SOUPS 329534 WITH SCORE 330007.204
AT ITER 2573 NEW BEST:: SOT 2351616 SOS 472664 HAS SOPS 472664 HAS SOUS 328994 HAS SOUPS 328994 WITH SCORE 329466.664
AT ITER 2592 NEW BEST:: SOT 2351396 SOS 473174 HAS SOPS 473174 HAS SOUS 328814 HAS SOUPS 328814 WITH SCORE 329287.174
AT ITER 2596 NEW BEST:: SOT 2351390 SOS 473174 HAS SOPS 473174 HAS SOUS 328811 HAS SOUPS 328811 WITH SCORE 329284.174
AT ITER 2625 NEW BEST:: SOT 2351315 SOS 473699 HAS SOPS 473699 HAS SOUS 328736 HAS SOUPS 328736 WITH SCORE 329209.699
AT ITER 2633 NEW BEST:: SOT 2351147 SOS 472187 HAS SOPS 472187 HAS SOUS 328400 HAS SOUPS 328400 WITH SCORE 328872.187
AT ITER 2656 NEW BEST:: SOT 2351147 SOS 472102 HAS SOPS 472102 HAS SOUS 328315 HAS SOUPS 328315 WITH SCORE 328787.102
AT ITER 2660 NEW BEST:: SOT 2351146 SOS 472100 HAS SOPS 472100 HAS SOUS 328313 HAS SOUPS 328313 WITH SCORE 328785.1
AT ITER 2668 NEW BEST:: SOT 2351000 SOS 472347 HAS SOPS 472347 HAS SOUS 328122 HAS SOUPS 328122 WITH SCORE 328594.347
AT ITER 2678 NEW BEST:: SOT 2350796 SOS 472143 HAS SOPS 472143 HAS SOUS 327918 HAS SOUPS 327918 WITH SCORE 328390.143
AT ITER 2710 NEW BEST:: SOT 2350648 SOS 472109 HAS SOPS 472109 HAS SOUS 327876 HAS SOUPS 327876 WITH SCORE 328348.109
AT ITER 2711 NEW BEST:: SOT 2350574 SOS 471961 HAS SOPS 471961 HAS SOUS 327728 HAS SOUPS 327728 WITH SCORE 328199.961
AT ITER 2713 NEW BEST:: SOT 2350469 SOS 471751 HAS SOPS 471751 HAS SOUS 327344 HAS SOUPS 327344 WITH SCORE 327815.751
AT ITER 2751 NEW BEST:: SOT 2350476 SOS 471579 HAS SOPS 471579 HAS SOUS 327289 HAS SOUPS 327289 WITH SCORE 327760.579
AT ITER 2753 NEW BEST:: SOT 2350027 SOS 470681 HAS SOPS 470681 HAS SOUS 326383 HAS SOUPS 326383 WITH SCORE 326853.681
AT ITER 2755 NEW BEST:: SOT 2349987 SOS 470561 HAS SOPS 470561 HAS SOUS 326303 HAS SOUPS 326303 WITH SCORE 326773.561
AT ITER 2761 NEW BEST:: SOT 2349915 SOS 470417 HAS SOPS 470417 HAS SOUS 326159 HAS SOUPS 326159 WITH SCORE 326629.417
AT ITER 2774 NEW BEST:: SOT 2349878 SOS 470343 HAS SOPS 470343 HAS SOUS 326085 HAS SOUPS 326085 WITH SCORE 326555.343
AT ITER 2778 NEW BEST:: SOT 2349803 SOS 470340 HAS SOPS 470340 HAS SOUS 325991 HAS SOUPS 325991 WITH SCORE 326461.34
AT ITER 2790 NEW BEST:: SOT 2349803 SOS 470194 HAS SOPS 470194 HAS SOUS 325845 HAS SOUPS 325845 WITH SCORE 326315.194
AT ITER 2792 NEW BEST:: SOT 2349803 SOS 470194 HAS SOPS 470194 HAS SOUS 325825 HAS SOUPS 325825 WITH SCORE 326295.194
AT ITER 2823 NEW BEST:: SOT 2349803 SOS 470193 HAS SOPS 470193 HAS SOUS 325824 HAS SOUPS 325824 WITH SCORE 326294.193
AT ITER 2828 NEW BEST:: SOT 2349755 SOS 470097 HAS SOPS 470097 HAS SOUS 325776 HAS SOUPS 325776 WITH SCORE 326246.097
AT ITER 2843 NEW BEST:: SOT 2349744 SOS 470091 HAS SOPS 470091 HAS SOUS 325770 HAS SOUPS 325770 WITH SCORE 326240.091
AT ITER 2852 NEW BEST:: SOT 2349566 SOS 469585 HAS SOPS 469585 HAS SOUS 325510 HAS SOUPS 325510 WITH SCORE 325979.585
AT ITER 2870 NEW BEST:: SOT 2348893 SOS 472227 HAS SOPS 472227 HAS SOUS 325228 HAS SOUPS 325228 WITH SCORE 325700.227
AT ITER 2873 NEW BEST:: SOT 2348893 SOS 472217 HAS SOPS 472217 HAS SOUS 325228 HAS SOUPS 325228 WITH SCORE 325700.217
AT ITER 2891 NEW BEST:: SOT 2348868 SOS 472225 HAS SOPS 472225 HAS SOUS 325207 HAS SOUPS 325207 WITH SCORE 325679.225
AT ITER 2900 NEW BEST:: SOT 2347894 SOS 474087 HAS SOPS 474087 HAS SOUS 324709 HAS SOUPS 324709 WITH SCORE 325183.087
AT ITER 2901 NEW BEST:: SOT 2347885 SOS 474069 HAS SOPS 474069 HAS SOUS 324691 HAS SOUPS 324691 WITH SCORE 325165.069
AT ITER 2902 NEW BEST:: SOT 2347885 SOS 474261 HAS SOPS 474261 HAS SOUS 324690 HAS SOUPS 324690 WITH SCORE 325164.261
AT ITER 2905 NEW BEST:: SOT 2347823 SOS 474137 HAS SOPS 474137 HAS SOUS 324566 HAS SOUPS 324566 WITH SCORE 325040.137
AT ITER 2927 NEW BEST:: SOT 2347652 SOS 473795 HAS SOPS 473795 HAS SOUS 324395 HAS SOUPS 324395 WITH SCORE 324868.795
AT ITER 2932 NEW BEST:: SOT 2347651 SOS 473793 HAS SOPS 473793 HAS SOUS 324391 HAS SOUPS 324391 WITH SCORE 324864.793
AT ITER 2935 NEW BEST:: SOT 2347586 SOS 473663 HAS SOPS 473663 HAS SOUS 324261 HAS SOUPS 324261 WITH SCORE 324734.663
AT ITER 2936 NEW BEST:: SOT 2347496 SOS 473573 HAS SOPS 473573 HAS SOUS 324171 HAS SOUPS 324171 WITH SCORE 324644.573
AT ITER 2940 NEW BEST:: SOT 2347496 SOS 472748 HAS SOPS 472748 HAS SOUS 323920 HAS SOUPS 323920 WITH SCORE 324392.748
AT ITER 2970 NEW BEST:: SOT 2347496 SOS 473149 HAS SOPS 473149 HAS SOUS 323919 HAS SOUPS 323919 WITH SCORE 324392.149
AT ITER 2987 NEW BEST:: SOT 2347479 SOS 473492 HAS SOPS 473492 HAS SOUS 323886 HAS SOUPS 323886 WITH SCORE 324359.492
AT ITER 2994 NEW BEST:: SOT 2347479 SOS 473492 HAS SOPS 473492 HAS SOUS 323814 HAS SOUPS 323814 WITH SCORE 324287.492
AT ITER 3054 NEW BEST:: SOT 2347353 SOS 473492 HAS SOPS 473492 HAS SOUS 323760 HAS SOUPS 323760 WITH SCORE 324233.492
AT ITER 3098 NEW BEST:: SOT 2347353 SOS 473048 HAS SOPS 473048 HAS SOUS 323760 HAS SOUPS 323760 WITH SCORE 324233.048
AT ITER 3099 NEW BEST:: SOT 2347325 SOS 473203 HAS SOPS 473203 HAS SOUS 323678 HAS SOUPS 323678 WITH SCORE 324151.203
AT ITER 3107 NEW BEST:: SOT 2347267 SOS 473087 HAS SOPS 473087 HAS SOUS 323620 HAS SOUPS 323620 WITH SCORE 324093.087
AT ITER 3124 NEW BEST:: SOT 2347185 SOS 473087 HAS SOPS 473087 HAS SOUS 323579 HAS SOUPS 323579 WITH SCORE 324052.087
AT ITER 3129 NEW BEST:: SOT 2347164 SOS 473045 HAS SOPS 473045 HAS SOUS 323558 HAS SOUPS 323558 WITH SCORE 324031.045
AT ITER 3138 NEW BEST:: SOT 2347151 SOS 473019 HAS SOPS 473019 HAS SOUS 323543 HAS SOUPS 323543 WITH SCORE 324016.019
AT ITER 3146 NEW BEST:: SOT 2346194 SOS 477222 HAS SOPS 477222 HAS SOUS 322512 HAS SOUPS 322512 WITH SCORE 322989.222
AT ITER 3149 NEW BEST:: SOT 2346127 SOS 477257 HAS SOPS 477257 HAS SOUS 322501 HAS SOUPS 322501 WITH SCORE 322978.257
AT ITER 3151 NEW BEST:: SOT 2343814 SOS 479540 HAS SOPS 479540 HAS SOUS 321854 HAS SOUPS 321854 WITH SCORE 322333.54
AT ITER 3183 NEW BEST:: SOT 2343748 SOS 479408 HAS SOPS 479408 HAS SOUS 321722 HAS SOUPS 321722 WITH SCORE 322201.408
AT ITER 3201 NEW BEST:: SOT 2343600 SOS 479112 HAS SOPS 479112 HAS SOUS 321426 HAS SOUPS 321426 WITH SCORE 321905.112
AT ITER 3208 NEW BEST:: SOT 2343527 SOS 478966 HAS SOPS 478966 HAS SOUS 321322 HAS SOUPS 321322 WITH SCORE 321800.966
AT ITER 3271 NEW BEST:: SOT 2343526 SOS 478964 HAS SOPS 478964 HAS SOUS 321320 HAS SOUPS 321320 WITH SCORE 321798.964
AT ITER 3284 NEW BEST:: SOT 2343418 SOS 478828 HAS SOPS 478828 HAS SOUS 321205 HAS SOUPS 321205 WITH SCORE 321683.828
AT ITER 3286 NEW BEST:: SOT 2343310 SOS 478720 HAS SOPS 478720 HAS SOUS 321097 HAS SOUPS 321097 WITH SCORE 321575.72
AT ITER 3306 NEW BEST:: SOT 2343340 SOS 478780 HAS SOPS 478780 HAS SOUS 320990 HAS SOUPS 320990 WITH SCORE 321468.78
AT ITER 3329 NEW BEST:: SOT 2343296 SOS 478692 HAS SOPS 478692 HAS SOUS 320902 HAS SOUPS 320902 WITH SCORE 321380.692
AT ITER 3342 NEW BEST:: SOT 2342949 SOS 478933 HAS SOPS 478933 HAS SOUS 320901 HAS SOUPS 320901 WITH SCORE 321379.933
AT ITER 3344 NEW BEST:: SOT 2342948 SOS 478931 HAS SOPS 478931 HAS SOUS 320899 HAS SOUPS 320899 WITH SCORE 321377.931
AT ITER 3390 NEW BEST:: SOT 2342920 SOS 478903 HAS SOPS 478903 HAS SOUS 320871 HAS SOUPS 320871 WITH SCORE 321349.903
AT ITER 3409 NEW BEST:: SOT 2342738 SOS 478875 HAS SOPS 478875 HAS SOUS 320689 HAS SOUPS 320689 WITH SCORE 321167.875
AT ITER 3430 NEW BEST:: SOT 2342718 SOS 478835 HAS SOPS 478835 HAS SOUS 320687 HAS SOUPS 320687 WITH SCORE 321165.835
AT ITER 3442 NEW BEST:: SOT 2342685 SOS 478769 HAS SOPS 478769 HAS SOUS 320621 HAS SOUPS 320621 WITH SCORE 321099.769
AT ITER 3449 NEW BEST:: SOT 2342683 SOS 478765 HAS SOPS 478765 HAS SOUS 320617 HAS SOUPS 320617 WITH SCORE 321095.765
AT ITER 3504 NEW BEST:: SOT 2342472 SOS 478343 HAS SOPS 478343 HAS SOUS 320195 HAS SOUPS 320195 WITH SCORE 320673.343
AT ITER 3512 NEW BEST:: SOT 2342267 SOS 478263 HAS SOPS 478263 HAS SOUS 320115 HAS SOUPS 320115 WITH SCORE 320593.263
AT ITER 3515 NEW BEST:: SOT 2342267 SOS 478148 HAS SOPS 478148 HAS SOUS 320115 HAS SOUPS 320115 WITH SCORE 320593.148
AT ITER 3528 NEW BEST:: SOT 2342267 SOS 478076 HAS SOPS 478076 HAS SOUS 320043 HAS SOUPS 320043 WITH SCORE 320521.076
AT ITER 3531 NEW BEST:: SOT 2342210 SOS 477962 HAS SOPS 477962 HAS SOUS 319929 HAS SOUPS 319929 WITH SCORE 320406.962
AT ITER 3547 NEW BEST:: SOT 2341723 SOS 476528 HAS SOPS 476528 HAS SOUS 319318 HAS SOUPS 319318 WITH SCORE 319794.528
AT ITER 3551 NEW BEST:: SOT 2341543 SOS 476348 HAS SOPS 476348 HAS SOUS 319138 HAS SOUPS 319138 WITH SCORE 319614.348
AT ITER 3566 NEW BEST:: SOT 2341543 SOS 477867 HAS SOPS 477867 HAS SOUS 319136 HAS SOUPS 319136 WITH SCORE 319613.867
AT ITER 3625 NEW BEST:: SOT 2341441 SOS 478383 HAS SOPS 478383 HAS SOUS 319026 HAS SOUPS 319026 WITH SCORE 319504.383
AT ITER 3673 NEW BEST:: SOT 2341391 SOS 478283 HAS SOPS 478283 HAS SOUS 318976 HAS SOUPS 318976 WITH SCORE 319454.283
AT ITER 3685 NEW BEST:: SOT 2341345 SOS 478191 HAS SOPS 478191 HAS SOUS 318849 HAS SOUPS 318849 WITH SCORE 319327.191
AT ITER 3705 NEW BEST:: SOT 2341385 SOS 478189 HAS SOPS 478189 HAS SOUS 318847 HAS SOUPS 318847 WITH SCORE 319325.189
AT ITER 3719 NEW BEST:: SOT 2340722 SOS 478469 HAS SOPS 478469 HAS SOUS 318642 HAS SOUPS 318642 WITH SCORE 319120.469
AT ITER 3739 NEW BEST:: SOT 2340636 SOS 478254 HAS SOPS 478254 HAS SOUS 318556 HAS SOUPS 318556 WITH SCORE 319034.254
AT ITER 3752 NEW BEST:: SOT 2340636 SOS 478250 HAS SOPS 478250 HAS SOUS 318555 HAS SOUPS 318555 WITH SCORE 319033.25
AT ITER 3758 NEW BEST:: SOT 2340567 SOS 477905 HAS SOPS 477905 HAS SOUS 318417 HAS SOUPS 318417 WITH SCORE 318894.905
AT ITER 3813 NEW BEST:: SOT 2340487 SOS 477745 HAS SOPS 477745 HAS SOUS 318257 HAS SOUPS 318257 WITH SCORE 318734.745
AT ITER 3834 NEW BEST:: SOT 2340438 SOS 477647 HAS SOPS 477647 HAS SOUS 318206 HAS SOUPS 318206 WITH SCORE 318683.647
AT ITER 3842 NEW BEST:: SOT 2340418 SOS 477627 HAS SOPS 477627 HAS SOUS 318186 HAS SOUPS 318186 WITH SCORE 318663.627
AT ITER 3856 NEW BEST:: SOT 2340367 SOS 477564 HAS SOPS 477564 HAS SOUS 318123 HAS SOUPS 318123 WITH SCORE 318600.564
AT ITER 3872 NEW BEST:: SOT 2340207 SOS 477404 HAS SOPS 477404 HAS SOUS 318123 HAS SOUPS 318123 WITH SCORE 318600.404
AT ITER 3875 NEW BEST:: SOT 2340145 SOS 477280 HAS SOPS 477280 HAS SOUS 318123 HAS SOUPS 318123 WITH SCORE 318600.28
AT ITER 3885 NEW BEST:: SOT 2340131 SOS 477237 HAS SOPS 477237 HAS SOUS 318094 HAS SOUPS 318094 WITH SCORE 318571.237
AT ITER 3913 NEW BEST:: SOT 2340127 SOS 477269 HAS SOPS 477269 HAS SOUS 318090 HAS SOUPS 318090 WITH SCORE 318567.269
AT ITER 3921 NEW BEST:: SOT 2340070 SOS 477269 HAS SOPS 477269 HAS SOUS 318033 HAS SOUPS 318033 WITH SCORE 318510.269
AT ITER 3929 NEW BEST:: SOT 2339233 SOS 475827 HAS SOPS 475827 HAS SOUS 317008 HAS SOUPS 317008 WITH SCORE 317483.827
AT ITER 3930 NEW BEST:: SOT 2338968 SOS 475563 HAS SOPS 475563 HAS SOUS 316743 HAS SOUPS 316743 WITH SCORE 317218.563
AT ITER 3936 NEW BEST:: SOT 2338903 SOS 474586 HAS SOPS 474586 HAS SOUS 316581 HAS SOUPS 316581 WITH SCORE 317055.586
AT ITER 3988 NEW BEST:: SOT 2338872 SOS 474524 HAS SOPS 474524 HAS SOUS 316550 HAS SOUPS 316550 WITH SCORE 317024.524
AT ITER 3997 NEW BEST:: SOT 2338842 SOS 474353 HAS SOPS 474353 HAS SOUS 316483 HAS SOUPS 316483 WITH SCORE 316957.353
AT ITER 4001 NEW BEST:: SOT 2338805 SOS 474279 HAS SOPS 474279 HAS SOUS 316409 HAS SOUPS 316409 WITH SCORE 316883.279
AT ITER 4003 NEW BEST:: SOT 2338805 SOS 474436 HAS SOPS 474436 HAS SOUS 316408 HAS SOUPS 316408 WITH SCORE 316882.436
AT ITER 4009 NEW BEST:: SOT 2338794 SOS 474414 HAS SOPS 474414 HAS SOUS 316386 HAS SOUPS 316386 WITH SCORE 316860.414
AT ITER 4023 NEW BEST:: SOT 2338501 SOS 472526 HAS SOPS 472526 HAS SOUS 316093 HAS SOUPS 316093 WITH SCORE 316565.526
AT ITER 4033 NEW BEST:: SOT 2338479 SOS 472504 HAS SOPS 472504 HAS SOUS 316071 HAS SOUPS 316071 WITH SCORE 316543.504
AT ITER 4063 NEW BEST:: SOT 2338479 SOS 472489 HAS SOPS 472489 HAS SOUS 316071 HAS SOUPS 316071 WITH SCORE 316543.489
AT ITER 4086 NEW BEST:: SOT 2338421 SOS 472566 HAS SOPS 472566 HAS SOUS 316042 HAS SOUPS 316042 WITH SCORE 316514.566
AT ITER 4095 NEW BEST:: SOT 2338351 SOS 472426 HAS SOPS 472426 HAS SOUS 315867 HAS SOUPS 315867 WITH SCORE 316339.426
AT ITER 4113 NEW BEST:: SOT 2338011 SOS 472280 HAS SOPS 472280 HAS SOUS 315705 HAS SOUPS 315705 WITH SCORE 316177.28
AT ITER 4123 NEW BEST:: SOT 2338011 SOS 472168 HAS SOPS 472168 HAS SOUS 315705 HAS SOUPS 315705 WITH SCORE 316177.168
AT ITER 4158 NEW BEST:: SOT 2338010 SOS 472166 HAS SOPS 472166 HAS SOUS 315703 HAS SOUPS 315703 WITH SCORE 316175.166
AT ITER 4187 NEW BEST:: SOT 2337969 SOS 472084 HAS SOPS 472084 HAS SOUS 315662 HAS SOUPS 315662 WITH SCORE 316134.084
AT ITER 4194 NEW BEST:: SOT 2337888 SOS 472146 HAS SOPS 472146 HAS SOUS 315581 HAS SOUPS 315581 WITH SCORE 316053.146
AT ITER 4206 NEW BEST:: SOT 2337797 SOS 472055 HAS SOPS 472055 HAS SOUS 315399 HAS SOUPS 315399 WITH SCORE 315871.055
AT ITER 4238 NEW BEST:: SOT 2337752 SOS 472054 HAS SOPS 472054 HAS SOUS 315398 HAS SOUPS 315398 WITH SCORE 315870.054
AT ITER 4278 NEW BEST:: SOT 2337713 SOS 471976 HAS SOPS 471976 HAS SOUS 315359 HAS SOUPS 315359 WITH SCORE 315830.976
AT ITER 4280 NEW BEST:: SOT 2337424 SOS 472008 HAS SOPS 472008 HAS SOUS 315076 HAS SOUPS 315076 WITH SCORE 315548.008
AT ITER 4285 NEW BEST:: SOT 2337386 SOS 471932 HAS SOPS 471932 HAS SOUS 315000 HAS SOUPS 315000 WITH SCORE 315471.932
AT ITER 4295 NEW BEST:: SOT 2337360 SOS 472276 HAS SOPS 472276 HAS SOUS 314948 HAS SOUPS 314948 WITH SCORE 315420.276
AT ITER 4296 NEW BEST:: SOT 2337347 SOS 472263 HAS SOPS 472263 HAS SOUS 314935 HAS SOUPS 314935 WITH SCORE 315407.263
AT ITER 4297 NEW BEST:: SOT 2337274 SOS 472190 HAS SOPS 472190 HAS SOUS 314862 HAS SOUPS 314862 WITH SCORE 315334.19
AT ITER 4307 NEW BEST:: SOT 2337276 SOS 472062 HAS SOPS 472062 HAS SOUS 314790 HAS SOUPS 314790 WITH SCORE 315262.062
AT ITER 4313 NEW BEST:: SOT 2337233 SOS 471926 HAS SOPS 471926 HAS SOUS 314685 HAS SOUPS 314685 WITH SCORE 315156.926
AT ITER 4326 NEW BEST:: SOT 2337178 SOS 471392 HAS SOPS 471392 HAS SOUS 314532 HAS SOUPS 314532 WITH SCORE 315003.392
AT ITER 4340 NEW BEST:: SOT 2337178 SOS 470885 HAS SOPS 470885 HAS SOUS 314507 HAS SOUPS 314507 WITH SCORE 314977.885
AT ITER 4365 NEW BEST:: SOT 2336542 SOS 470249 HAS SOPS 470249 HAS SOUS 313958 HAS SOUPS 313958 WITH SCORE 314428.249
AT ITER 4402 NEW BEST:: SOT 2336481 SOS 470127 HAS SOPS 470127 HAS SOUS 313897 HAS SOUPS 313897 WITH SCORE 314367.127
AT ITER 4407 NEW BEST:: SOT 2336666 SOS 469811 HAS SOPS 469811 HAS SOUS 313837 HAS SOUPS 313837 WITH SCORE 314306.811
AT ITER 4423 NEW BEST:: SOT 2336131 SOS 469270 HAS SOPS 469270 HAS SOUS 313320 HAS SOUPS 313320 WITH SCORE 313789.27
AT ITER 4486 NEW BEST:: SOT 2336131 SOS 469188 HAS SOPS 469188 HAS SOUS 313320 HAS SOUPS 313320 WITH SCORE 313789.188
AT ITER 4499 NEW BEST:: SOT 2336131 SOS 469188 HAS SOPS 469188 HAS SOUS 313281 HAS SOUPS 313281 WITH SCORE 313750.188
AT ITER 4523 NEW BEST:: SOT 2335899 SOS 467998 HAS SOPS 467998 HAS SOUS 313048 HAS SOUPS 313048 WITH SCORE 313515.998
AT ITER 4591 NEW BEST:: SOT 2335878 SOS 467935 HAS SOPS 467935 HAS SOUS 313023 HAS SOUPS 313023 WITH SCORE 313490.935
AT ITER 4602 NEW BEST:: SOT 2335482 SOS 467663 HAS SOPS 467663 HAS SOUS 312758 HAS SOUPS 312758 WITH SCORE 313225.663
AT ITER 4644 NEW BEST:: SOT 2335482 SOS 467482 HAS SOPS 467482 HAS SOUS 312758 HAS SOUPS 312758 WITH SCORE 313225.482
AT ITER 4679 NEW BEST:: SOT 2335439 SOS 467429 HAS SOPS 467429 HAS SOUS 312671 HAS SOUPS 312671 WITH SCORE 313138.429
AT ITER 4700 NEW BEST:: SOT 2335439 SOS 467395 HAS SOPS 467395 HAS SOUS 312637 HAS SOUPS 312637 WITH SCORE 313104.395
AT ITER 4784 NEW BEST:: SOT 2335459 SOS 467435 HAS SOPS 467435 HAS SOUS 312576 HAS SOUPS 312576 WITH SCORE 313043.435
AT ITER 4785 NEW BEST:: SOT 2335459 SOS 467370 HAS SOPS 467370 HAS SOUS 312511 HAS SOUPS 312511 WITH SCORE 312978.37
AT ITER 4797 NEW BEST:: SOT 2335353 SOS 466502 HAS SOPS 466502 HAS SOUS 312387 HAS SOUPS 312387 WITH SCORE 312853.502
AT ITER 4798 NEW BEST:: SOT 2335352 SOS 466500 HAS SOPS 466500 HAS SOUS 312385 HAS SOUPS 312385 WITH SCORE 312851.5
AT ITER 4819 NEW BEST:: SOT 2335058 SOS 466244 HAS SOPS 466244 HAS SOUS 312091 HAS SOUPS 312091 WITH SCORE 312557.244
AT ITER 4822 NEW BEST:: SOT 2334905 SOS 465938 HAS SOPS 465938 HAS SOUS 311785 HAS SOUPS 311785 WITH SCORE 312250.938
AT ITER 4826 NEW BEST:: SOT 2334637 SOS 465402 HAS SOPS 465402 HAS SOUS 311517 HAS SOUPS 311517 WITH SCORE 311982.402
AT ITER 4844 NEW BEST:: SOT 2333749 SOS 465337 HAS SOPS 465337 HAS SOUS 310907 HAS SOUPS 310907 WITH SCORE 311372.337
AT ITER 4845 NEW BEST:: SOT 2333748 SOS 465335 HAS SOPS 465335 HAS SOUS 310905 HAS SOUPS 310905 WITH SCORE 311370.335
AT ITER 4854 NEW BEST:: SOT 2333701 SOS 465241 HAS SOPS 465241 HAS SOUS 310858 HAS SOUPS 310858 WITH SCORE 311323.241
AT ITER 4865 NEW BEST:: SOT 2333701 SOS 464957 HAS SOPS 464957 HAS SOUS 310858 HAS SOUPS 310858 WITH SCORE 311322.957
AT ITER 4893 NEW BEST:: SOT 2333615 SOS 464871 HAS SOPS 464871 HAS SOUS 310772 HAS SOUPS 310772 WITH SCORE 311236.871
AT ITER 4945 NEW BEST:: SOT 2333289 SOS 463819 HAS SOPS 463819 HAS SOUS 310574 HAS SOUPS 310574 WITH SCORE 311037.819
AT ITER 4948 NEW BEST:: SOT 2333247 SOS 463777 HAS SOPS 463777 HAS SOUS 310574 HAS SOUPS 310574 WITH SCORE 311037.777
AT ITER 4963 NEW BEST:: SOT 2333143 SOS 463569 HAS SOPS 463569 HAS SOUS 310490 HAS SOUPS 310490 WITH SCORE 310953.569
AT ITER 4977 NEW BEST:: SOT 2333031 SOS 462534 HAS SOPS 462534 HAS SOUS 310467 HAS SOUPS 310467 WITH SCORE 310929.534
AT ITER 5011 NEW BEST:: SOT 2332953 SOS 462466 HAS SOPS 462466 HAS SOUS 310389 HAS SOUPS 310389 WITH SCORE 310851.466
AT ITER 5031 NEW BEST:: SOT 2332887 SOS 462334 HAS SOPS 462334 HAS SOUS 310257 HAS SOUPS 310257 WITH SCORE 310719.334
AT ITER 5036 NEW BEST:: SOT 2332833 SOS 462330 HAS SOPS 462330 HAS SOUS 310202 HAS SOUPS 310202 WITH SCORE 310664.33
AT ITER 5049 NEW BEST:: SOT 2332698 SOS 460887 HAS SOPS 460887 HAS SOUS 309947 HAS SOUPS 309947 WITH SCORE 310407.887
AT ITER 5066 NEW BEST:: SOT 2332172 SOS 460905 HAS SOPS 460905 HAS SOUS 309734 HAS SOUPS 309734 WITH SCORE 310194.905
AT ITER 5083 NEW BEST:: SOT 2332114 SOS 460876 HAS SOPS 460876 HAS SOUS 309705 HAS SOUPS 309705 WITH SCORE 310165.876
AT ITER 5087 NEW BEST:: SOT 2331604 SOS 459976 HAS SOPS 459976 HAS SOUS 309103 HAS SOUPS 309103 WITH SCORE 309562.976
AT ITER 5097 NEW BEST:: SOT 2331603 SOS 459956 HAS SOPS 459956 HAS SOUS 309101 HAS SOUPS 309101 WITH SCORE 309560.956
AT ITER 5116 NEW BEST:: SOT 2331521 SOS 459792 HAS SOPS 459792 HAS SOUS 309019 HAS SOUPS 309019 WITH SCORE 309478.792
AT ITER 5143 NEW BEST:: SOT 2331494 SOS 459738 HAS SOPS 459738 HAS SOUS 308992 HAS SOUPS 308992 WITH SCORE 309451.738
AT ITER 5175 NEW BEST:: SOT 2331494 SOS 458214 HAS SOPS 458214 HAS SOUS 308976 HAS SOUPS 308976 WITH SCORE 309434.214
AT ITER 5180 NEW BEST:: SOT 2331494 SOS 458214 HAS SOPS 458214 HAS SOUS 308964 HAS SOUPS 308964 WITH SCORE 309422.214
AT ITER 5191 NEW BEST:: SOT 2331494 SOS 458009 HAS SOPS 458009 HAS SOUS 308964 HAS SOUPS 308964 WITH SCORE 309422.009
AT ITER 5231 NEW BEST:: SOT 2331066 SOS 457474 HAS SOPS 457474 HAS SOUS 308868 HAS SOUPS 308868 WITH SCORE 309325.474
AT ITER 5240 NEW BEST:: SOT 2330959 SOS 458049 HAS SOPS 458049 HAS SOUS 308768 HAS SOUPS 308768 WITH SCORE 309226.049
AT ITER 5241 NEW BEST:: SOT 2330825 SOS 457848 HAS SOPS 457848 HAS SOUS 308631 HAS SOUPS 308631 WITH SCORE 309088.848
AT ITER 5279 NEW BEST:: SOT 2330825 SOS 457618 HAS SOPS 457618 HAS SOUS 308630 HAS SOUPS 308630 WITH SCORE 309087.618
AT ITER 5295 NEW BEST:: SOT 2330797 SOS 457604 HAS SOPS 457604 HAS SOUS 308616 HAS SOUPS 308616 WITH SCORE 309073.604
AT ITER 5302 NEW BEST:: SOT 2330544 SOS 458025 HAS SOPS 458025 HAS SOUS 308614 HAS SOUPS 308614 WITH SCORE 309072.025
AT ITER 5314 NEW BEST:: SOT 2330544 SOS 458249 HAS SOPS 458249 HAS SOUS 308613 HAS SOUPS 308613 WITH SCORE 309071.249
AT ITER 5420 NEW BEST:: SOT 2330543 SOS 458247 HAS SOPS 458247 HAS SOUS 308612 HAS SOUPS 308612 WITH SCORE 309070.247
AT ITER 5435 NEW BEST:: SOT 2330457 SOS 458161 HAS SOPS 458161 HAS SOUS 308526 HAS SOUPS 308526 WITH SCORE 308984.161
AT ITER 5458 NEW BEST:: SOT 2330354 SOS 457955 HAS SOPS 457955 HAS SOUS 308423 HAS SOUPS 308423 WITH SCORE 308880.955
AT ITER 5478 NEW BEST:: SOT 2330337 SOS 457615 HAS SOPS 457615 HAS SOUS 308389 HAS SOUPS 308389 WITH SCORE 308846.615
AT ITER 5479 NEW BEST:: SOT 2330323 SOS 457884 HAS SOPS 457884 HAS SOUS 308375 HAS SOUPS 308375 WITH SCORE 308832.884
AT ITER 5495 NEW BEST:: SOT 2330323 SOS 457884 HAS SOPS 457884 HAS SOUS 308356 HAS SOUPS 308356 WITH SCORE 308813.884
AT ITER 5505 NEW BEST:: SOT 2330280 SOS 457798 HAS SOPS 457798 HAS SOUS 308270 HAS SOUPS 308270 WITH SCORE 308727.798
AT ITER 5514 NEW BEST:: SOT 2330279 SOS 457796 HAS SOPS 457796 HAS SOUS 308268 HAS SOUPS 308268 WITH SCORE 308725.796
AT ITER 5519 NEW BEST:: SOT 2330220 SOS 456962 HAS SOPS 456962 HAS SOUS 308197 HAS SOUPS 308197 WITH SCORE 308653.962
AT ITER 5535 NEW BEST:: SOT 2329837 SOS 456351 HAS SOPS 456351 HAS SOUS 307814 HAS SOUPS 307814 WITH SCORE 308270.351
AT ITER 5540 NEW BEST:: SOT 2329709 SOS 456223 HAS SOPS 456223 HAS SOUS 307686 HAS SOUPS 307686 WITH SCORE 308142.223
AT ITER 5542 NEW BEST:: SOT 2329618 SOS 456041 HAS SOPS 456041 HAS SOUS 307531 HAS SOUPS 307531 WITH SCORE 307987.041
AT ITER 5556 NEW BEST:: SOT 2329628 SOS 456031 HAS SOPS 456031 HAS SOUS 307521 HAS SOUPS 307521 WITH SCORE 307977.031
AT ITER 5703 NEW BEST:: SOT 2329524 SOS 455823 HAS SOPS 455823 HAS SOUS 307314 HAS SOUPS 307314 WITH SCORE 307769.823
AT ITER 5734 NEW BEST:: SOT 2329507 SOS 455789 HAS SOPS 455789 HAS SOUS 307280 HAS SOUPS 307280 WITH SCORE 307735.789
AT ITER 5796 NEW BEST:: SOT 2329237 SOS 455789 HAS SOPS 455789 HAS SOUS 307010 HAS SOUPS 307010 WITH SCORE 307465.789
AT ITER 5803 NEW BEST:: SOT 2329211 SOS 455789 HAS SOPS 455789 HAS SOUS 306997 HAS SOUPS 306997 WITH SCORE 307452.789
AT ITER 5807 NEW BEST:: SOT 2329211 SOS 456481 HAS SOPS 456481 HAS SOUS 306996 HAS SOUPS 306996 WITH SCORE 307452.481
AT ITER 5817 NEW BEST:: SOT 2329389 SOS 456837 HAS SOPS 456837 HAS SOUS 306984 HAS SOUPS 306984 WITH SCORE 307440.837
AT ITER 5851 NEW BEST:: SOT 2329389 SOS 456837 HAS SOPS 456837 HAS SOUS 306881 HAS SOUPS 306881 WITH SCORE 307337.837
AT ITER 5897 NEW BEST:: SOT 2329345 SOS 456749 HAS SOPS 456749 HAS SOUS 306837 HAS SOUPS 306837 WITH SCORE 307293.749
AT ITER 5929 NEW BEST:: SOT 2329297 SOS 456653 HAS SOPS 456653 HAS SOUS 306741 HAS SOUPS 306741 WITH SCORE 307197.653
AT ITER 5949 NEW BEST:: SOT 2329219 SOS 456713 HAS SOPS 456713 HAS SOUS 306555 HAS SOUPS 306555 WITH SCORE 307011.713
AT ITER 5951 NEW BEST:: SOT 2329190 SOS 456695 HAS SOPS 456695 HAS SOUS 306468 HAS SOUPS 306468 WITH SCORE 306924.695
AT ITER 5974 NEW BEST:: SOT 2328969 SOS 456253 HAS SOPS 456253 HAS SOUS 306247 HAS SOUPS 306247 WITH SCORE 306703.253
AT ITER 5976 NEW BEST:: SOT 2329050 SOS 455749 HAS SOPS 455749 HAS SOUS 306129 HAS SOUPS 306129 WITH SCORE 306584.749
AT ITER 5995 NEW BEST:: SOT 2328883 SOS 455415 HAS SOPS 455415 HAS SOUS 306037 HAS SOUPS 306037 WITH SCORE 306492.415
AT ITER 6056 NEW BEST:: SOT 2328900 SOS 455602 HAS SOPS 455602 HAS SOUS 306015 HAS SOUPS 306015 WITH SCORE 306470.602
AT ITER 6065 NEW BEST:: SOT 2328866 SOS 455534 HAS SOPS 455534 HAS SOUS 305981 HAS SOUPS 305981 WITH SCORE 306436.534
AT ITER 6073 NEW BEST:: SOT 2328866 SOS 453810 HAS SOPS 453810 HAS SOUS 305880 HAS SOUPS 305880 WITH SCORE 306333.81
AT ITER 6105 NEW BEST:: SOT 2328843 SOS 453798 HAS SOPS 453798 HAS SOUS 305857 HAS SOUPS 305857 WITH SCORE 306310.798
AT ITER 6118 NEW BEST:: SOT 2328843 SOS 453750 HAS SOPS 453750 HAS SOUS 305855 HAS SOUPS 305855 WITH SCORE 306308.75
AT ITER 6141 NEW BEST:: SOT 2328734 SOS 453450 HAS SOPS 453450 HAS SOUS 305423 HAS SOUPS 305423 WITH SCORE 305876.45
AT ITER 6145 NEW BEST:: SOT 2328734 SOS 453330 HAS SOPS 453330 HAS SOUS 305383 HAS SOUPS 305383 WITH SCORE 305836.33
AT ITER 6195 NEW BEST:: SOT 2328702 SOS 453298 HAS SOPS 453298 HAS SOUS 305351 HAS SOUPS 305351 WITH SCORE 305804.298
AT ITER 6297 NEW BEST:: SOT 2328534 SOS 453013 HAS SOPS 453013 HAS SOUS 305066 HAS SOUPS 305066 WITH SCORE 305519.013
AT ITER 6310 NEW BEST:: SOT 2328391 SOS 452727 HAS SOPS 452727 HAS SOUS 304923 HAS SOUPS 304923 WITH SCORE 305375.727
AT ITER 6319 NEW BEST:: SOT 2328362 SOS 452698 HAS SOPS 452698 HAS SOUS 304894 HAS SOUPS 304894 WITH SCORE 305346.698
AT ITER 6337 NEW BEST:: SOT 2328079 SOS 453262 HAS SOPS 453262 HAS SOUS 304665 HAS SOUPS 304665 WITH SCORE 305118.262
AT ITER 6363 NEW BEST:: SOT 2328041 SOS 453186 HAS SOPS 453186 HAS SOUS 304627 HAS SOUPS 304627 WITH SCORE 305080.186
AT ITER 6375 NEW BEST:: SOT 2328012 SOS 453128 HAS SOPS 453128 HAS SOUS 304598 HAS SOUPS 304598 WITH SCORE 305051.128
AT ITER 6410 NEW BEST:: SOT 2327986 SOS 453050 HAS SOPS 453050 HAS SOUS 304520 HAS SOUPS 304520 WITH SCORE 304973.05
AT ITER 6430 NEW BEST:: SOT 2327961 SOS 453000 HAS SOPS 453000 HAS SOUS 304470 HAS SOUPS 304470 WITH SCORE 304923.0
AT ITER 6446 NEW BEST:: SOT 2327960 SOS 452998 HAS SOPS 452998 HAS SOUS 304468 HAS SOUPS 304468 WITH SCORE 304920.998
AT ITER 6453 NEW BEST:: SOT 2327960 SOS 452533 HAS SOPS 452533 HAS SOUS 304468 HAS SOUPS 304468 WITH SCORE 304920.533
AT ITER 6458 NEW BEST:: SOT 2327960 SOS 452326 HAS SOPS 452326 HAS SOUS 304468 HAS SOUPS 304468 WITH SCORE 304920.326
AT ITER 6513 NEW BEST:: SOT 2327949 SOS 452304 HAS SOPS 452304 HAS SOUS 304446 HAS SOUPS 304446 WITH SCORE 304898.304
AT ITER 6529 NEW BEST:: SOT 2326501 SOS 452323 HAS SOPS 452323 HAS SOUS 303589 HAS SOUPS 303589 WITH SCORE 304041.323
AT ITER 6531 NEW BEST:: SOT 2326426 SOS 452248 HAS SOPS 452248 HAS SOUS 303514 HAS SOUPS 303514 WITH SCORE 303966.248
AT ITER 6544 NEW BEST:: SOT 2326284 SOS 452106 HAS SOPS 452106 HAS SOUS 303514 HAS SOUPS 303514 WITH SCORE 303966.106
AT ITER 6555 NEW BEST:: SOT 2326279 SOS 452096 HAS SOPS 452096 HAS SOUS 303509 HAS SOUPS 303509 WITH SCORE 303961.096
AT ITER 6598 NEW BEST:: SOT 2326279 SOS 452087 HAS SOPS 452087 HAS SOUS 303509 HAS SOUPS 303509 WITH SCORE 303961.087
AT ITER 6668 NEW BEST:: SOT 2326237 SOS 452003 HAS SOPS 452003 HAS SOUS 303445 HAS SOUPS 303445 WITH SCORE 303897.003
AT ITER 6685 NEW BEST:: SOT 2326137 SOS 451941 HAS SOPS 451941 HAS SOUS 303225 HAS SOUPS 303225 WITH SCORE 303676.941
AT ITER 6695 NEW BEST:: SOT 2326137 SOS 451880 HAS SOPS 451880 HAS SOUS 303225 HAS SOUPS 303225 WITH SCORE 303676.88
AT ITER 6716 NEW BEST:: SOT 2326137 SOS 451953 HAS SOPS 451953 HAS SOUS 303224 HAS SOUPS 303224 WITH SCORE 303675.953
AT ITER 6722 NEW BEST:: SOT 2326119 SOS 451881 HAS SOPS 451881 HAS SOUS 303212 HAS SOUPS 303212 WITH SCORE 303663.881
AT ITER 6743 NEW BEST:: SOT 2326045 SOS 451215 HAS SOPS 451215 HAS SOUS 303064 HAS SOUPS 303064 WITH SCORE 303515.215
AT ITER 6744 NEW BEST:: SOT 2326045 SOS 451163 HAS SOPS 451163 HAS SOUS 303038 HAS SOUPS 303038 WITH SCORE 303489.163
AT ITER 6749 NEW BEST:: SOT 2325889 SOS 449447 HAS SOPS 449447 HAS SOUS 302882 HAS SOUPS 302882 WITH SCORE 303331.447
AT ITER 6780 NEW BEST:: SOT 2325816 SOS 449301 HAS SOPS 449301 HAS SOUS 302715 HAS SOUPS 302715 WITH SCORE 303164.301
AT ITER 6800 NEW BEST:: SOT 2325816 SOS 449398 HAS SOPS 449398 HAS SOUS 302714 HAS SOUPS 302714 WITH SCORE 303163.398
AT ITER 6839 NEW BEST:: SOT 2325778 SOS 449592 HAS SOPS 449592 HAS SOUS 302676 HAS SOUPS 302676 WITH SCORE 303125.592
AT ITER 6949 NEW BEST:: SOT 2325535 SOS 451970 HAS SOPS 451970 HAS SOUS 302548 HAS SOUPS 302548 WITH SCORE 302999.97
AT ITER 7002 NEW BEST:: SOT 2325535 SOS 451851 HAS SOPS 451851 HAS SOUS 302548 HAS SOUPS 302548 WITH SCORE 302999.851
AT ITER 7008 NEW BEST:: SOT 2325217 SOS 451215 HAS SOPS 451215 HAS SOUS 301912 HAS SOUPS 301912 WITH SCORE 302363.215
AT ITER 7018 NEW BEST:: SOT 2325261 SOS 451016 HAS SOPS 451016 HAS SOUS 301762 HAS SOUPS 301762 WITH SCORE 302213.016
AT ITER 7082 NEW BEST:: SOT 2325261 SOS 450848 HAS SOPS 450848 HAS SOUS 301741 HAS SOUPS 301741 WITH SCORE 302191.848
AT ITER 7115 NEW BEST:: SOT 2324909 SOS 450408 HAS SOPS 450408 HAS SOUS 301389 HAS SOUPS 301389 WITH SCORE 301839.408
AT ITER 7137 NEW BEST:: SOT 2324909 SOS 450408 HAS SOPS 450408 HAS SOUS 301379 HAS SOUPS 301379 WITH SCORE 301829.408
AT ITER 7152 NEW BEST:: SOT 2324907 SOS 450404 HAS SOPS 450404 HAS SOUS 301377 HAS SOUPS 301377 WITH SCORE 301827.404
AT ITER 7192 NEW BEST:: SOT 2324907 SOS 450257 HAS SOPS 450257 HAS SOUS 301377 HAS SOUPS 301377 WITH SCORE 301827.257
AT ITER 7224 NEW BEST:: SOT 2324793 SOS 450029 HAS SOPS 450029 HAS SOUS 301160 HAS SOUPS 301160 WITH SCORE 301610.029
AT ITER 7231 NEW BEST:: SOT 2324768 SOS 450004 HAS SOPS 450004 HAS SOUS 301135 HAS SOUPS 301135 WITH SCORE 301585.004
AT ITER 7253 NEW BEST:: SOT 2324768 SOS 450000 HAS SOPS 450000 HAS SOUS 301134 HAS SOUPS 301134 WITH SCORE 301584.0
AT ITER 7288 NEW BEST:: SOT 2324768 SOS 450000 HAS SOPS 450000 HAS SOUS 301099 HAS SOUPS 301099 WITH SCORE 301549.0
AT ITER 7307 NEW BEST:: SOT 2324755 SOS 449974 HAS SOPS 449974 HAS SOUS 301046 HAS SOUPS 301046 WITH SCORE 301495.974
AT ITER 7321 NEW BEST:: SOT 2324789 SOS 449924 HAS SOPS 449924 HAS SOUS 300996 HAS SOUPS 300996 WITH SCORE 301445.924
AT ITER 7322 NEW BEST:: SOT 2325229 SOS 449718 HAS SOPS 449718 HAS SOUS 300752 HAS SOUPS 300752 WITH SCORE 301201.718
AT ITER 7333 NEW BEST:: SOT 2325243 SOS 449690 HAS SOPS 449690 HAS SOUS 300752 HAS SOUPS 300752 WITH SCORE 301201.69
AT ITER 7374 NEW BEST:: SOT 2325004 SOS 448973 HAS SOPS 448973 HAS SOUS 300608 HAS SOUPS 300608 WITH SCORE 301056.973
AT ITER 7400 NEW BEST:: SOT 2324996 SOS 449037 HAS SOPS 449037 HAS SOUS 300592 HAS SOUPS 300592 WITH SCORE 301041.037
AT ITER 7424 NEW BEST:: SOT 2324958 SOS 448991 HAS SOPS 448991 HAS SOUS 300554 HAS SOUPS 300554 WITH SCORE 301002.991
AT ITER 7430 NEW BEST:: SOT 2325078 SOS 448769 HAS SOPS 448769 HAS SOUS 300477 HAS SOUPS 300477 WITH SCORE 300925.769
AT ITER 7470 NEW BEST:: SOT 2325023 SOS 448659 HAS SOPS 448659 HAS SOUS 300367 HAS SOUPS 300367 WITH SCORE 300815.659
AT ITER 7473 NEW BEST:: SOT 2324992 SOS 448857 HAS SOPS 448857 HAS SOUS 300331 HAS SOUPS 300331 WITH SCORE 300779.857
AT ITER 7501 NEW BEST:: SOT 2324820 SOS 448513 HAS SOPS 448513 HAS SOUS 300161 HAS SOUPS 300161 WITH SCORE 300609.513
AT ITER 7516 NEW BEST:: SOT 2324721 SOS 448561 HAS SOPS 448561 HAS SOUS 300144 HAS SOUPS 300144 WITH SCORE 300592.561
AT ITER 7540 NEW BEST:: SOT 2324378 SOS 448616 HAS SOPS 448616 HAS SOUS 300068 HAS SOUPS 300068 WITH SCORE 300516.616
AT ITER 7556 NEW BEST:: SOT 2324287 SOS 448189 HAS SOPS 448189 HAS SOUS 299736 HAS SOUPS 299736 WITH SCORE 300184.189
AT ITER 7575 NEW BEST:: SOT 2324287 SOS 448176 HAS SOPS 448176 HAS SOUS 299723 HAS SOUPS 299723 WITH SCORE 300171.176
AT ITER 7592 NEW BEST:: SOT 2324228 SOS 448058 HAS SOPS 448058 HAS SOUS 299605 HAS SOUPS 299605 WITH SCORE 300053.058
AT ITER 7645 NEW BEST:: SOT 2324324 SOS 448250 HAS SOPS 448250 HAS SOUS 299463 HAS SOUPS 299463 WITH SCORE 299911.25
AT ITER 7650 NEW BEST:: SOT 2324169 SOS 447986 HAS SOPS 447986 HAS SOUS 299202 HAS SOUPS 299202 WITH SCORE 299649.986
AT ITER 7679 NEW BEST:: SOT 2324076 SOS 447800 HAS SOPS 447800 HAS SOUS 299016 HAS SOUPS 299016 WITH SCORE 299463.8
AT ITER 7689 NEW BEST:: SOT 2324069 SOS 447876 HAS SOPS 447876 HAS SOUS 299002 HAS SOUPS 299002 WITH SCORE 299449.876
AT ITER 7711 NEW BEST:: SOT 2324047 SOS 447854 HAS SOPS 447854 HAS SOUS 298980 HAS SOUPS 298980 WITH SCORE 299427.854
AT ITER 7730 NEW BEST:: SOT 2323988 SOS 447872 HAS SOPS 447872 HAS SOUS 298904 HAS SOUPS 298904 WITH SCORE 299351.872
AT ITER 7774 NEW BEST:: SOT 2323960 SOS 447858 HAS SOPS 447858 HAS SOUS 298876 HAS SOUPS 298876 WITH SCORE 299323.858
AT ITER 7777 NEW BEST:: SOT 2323915 SOS 447768 HAS SOPS 447768 HAS SOUS 298859 HAS SOUPS 298859 WITH SCORE 299306.768
AT ITER 7789 NEW BEST:: SOT 2323885 SOS 447748 HAS SOPS 447748 HAS SOUS 298835 HAS SOUPS 298835 WITH SCORE 299282.748
AT ITER 7831 NEW BEST:: SOT 2323816 SOS 447441 HAS SOPS 447441 HAS SOUS 298428 HAS SOUPS 298428 WITH SCORE 298875.441
AT ITER 7855 NEW BEST:: SOT 2323816 SOS 447384 HAS SOPS 447384 HAS SOUS 298428 HAS SOUPS 298428 WITH SCORE 298875.384
AT ITER 7875 NEW BEST:: SOT 2323786 SOS 447354 HAS SOPS 447354 HAS SOUS 298398 HAS SOUPS 298398 WITH SCORE 298845.354
AT ITER 7883 NEW BEST:: SOT 2323785 SOS 447352 HAS SOPS 447352 HAS SOUS 298396 HAS SOUPS 298396 WITH SCORE 298843.352
AT ITER 7941 NEW BEST:: SOT 2323773 SOS 447352 HAS SOPS 447352 HAS SOUS 298384 HAS SOUPS 298384 WITH SCORE 298831.352
AT ITER 7960 NEW BEST:: SOT 2323847 SOS 446865 HAS SOPS 446865 HAS SOUS 298377 HAS SOUPS 298377 WITH SCORE 298823.865
AT ITER 7975 NEW BEST:: SOT 2323838 SOS 446847 HAS SOPS 446847 HAS SOUS 298368 HAS SOUPS 298368 WITH SCORE 298814.847
AT ITER 7988 NEW BEST:: SOT 2323838 SOS 446847 HAS SOPS 446847 HAS SOUS 298360 HAS SOUPS 298360 WITH SCORE 298806.847
AT ITER 7994 NEW BEST:: SOT 2323834 SOS 446839 HAS SOPS 446839 HAS SOUS 298352 HAS SOUPS 298352 WITH SCORE 298798.839
AT ITER 8124 NEW BEST:: SOT 2323817 SOS 446822 HAS SOPS 446822 HAS SOUS 298335 HAS SOUPS 298335 WITH SCORE 298781.822
AT ITER 8167 NEW BEST:: SOT 2323751 SOS 446789 HAS SOPS 446789 HAS SOUS 298302 HAS SOUPS 298302 WITH SCORE 298748.789
AT ITER 8269 NEW BEST:: SOT 2323751 SOS 446619 HAS SOPS 446619 HAS SOUS 298132 HAS SOUPS 298132 WITH SCORE 298578.619
AT ITER 8274 NEW BEST:: SOT 2323641 SOS 446523 HAS SOPS 446523 HAS SOUS 298031 HAS SOUPS 298031 WITH SCORE 298477.523
AT ITER 8305 NEW BEST:: SOT 2323618 SOS 446477 HAS SOPS 446477 HAS SOUS 297985 HAS SOUPS 297985 WITH SCORE 298431.477
AT ITER 8319 NEW BEST:: SOT 2323618 SOS 446398 HAS SOPS 446398 HAS SOUS 297876 HAS SOUPS 297876 WITH SCORE 298322.398
AT ITER 8361 NEW BEST:: SOT 2323590 SOS 446090 HAS SOPS 446090 HAS SOUS 297820 HAS SOUPS 297820 WITH SCORE 298266.09
AT ITER 8432 NEW BEST:: SOT 2323615 SOS 446014 HAS SOPS 446014 HAS SOUS 297744 HAS SOUPS 297744 WITH SCORE 298190.014
AT ITER 8643 NEW BEST:: SOT 2323615 SOS 445986 HAS SOPS 445986 HAS SOUS 297716 HAS SOUPS 297716 WITH SCORE 298161.986
AT ITER 8666 NEW BEST:: SOT 2323613 SOS 446093 HAS SOPS 446093 HAS SOUS 297629 HAS SOUPS 297629 WITH SCORE 298075.093
AT ITER 8699 NEW BEST:: SOT 2323613 SOS 446741 HAS SOPS 446741 HAS SOUS 297624 HAS SOUPS 297624 WITH SCORE 298070.741
AT ITER 8708 NEW BEST:: SOT 2323574 SOS 446663 HAS SOPS 446663 HAS SOUS 297546 HAS SOUPS 297546 WITH SCORE 297992.663
AT ITER 8715 NEW BEST:: SOT 2323646 SOS 448609 HAS SOPS 448609 HAS SOUS 297444 HAS SOUPS 297444 WITH SCORE 297892.609
AT ITER 8750 NEW BEST:: SOT 2323559 SOS 448609 HAS SOPS 448609 HAS SOUS 297369 HAS SOUPS 297369 WITH SCORE 297817.609
AT ITER 8871 NEW BEST:: SOT 2323730 SOS 447963 HAS SOPS 447963 HAS SOUS 297239 HAS SOUPS 297239 WITH SCORE 297686.963
AT ITER 8872 NEW BEST:: SOT 2323730 SOS 447949 HAS SOPS 447949 HAS SOUS 297211 HAS SOUPS 297211 WITH SCORE 297658.949
AT ITER 8873 NEW BEST:: SOT 2323767 SOS 447875 HAS SOPS 447875 HAS SOUS 297174 HAS SOUPS 297174 WITH SCORE 297621.875
AT ITER 8882 NEW BEST:: SOT 2323767 SOS 447875 HAS SOPS 447875 HAS SOUS 297142 HAS SOUPS 297142 WITH SCORE 297589.875
AT ITER 8906 NEW BEST:: SOT 2323767 SOS 447533 HAS SOPS 447533 HAS SOUS 297104 HAS SOUPS 297104 WITH SCORE 297551.533
AT ITER 8907 NEW BEST:: SOT 2323658 SOS 447424 HAS SOPS 447424 HAS SOUS 296995 HAS SOUPS 296995 WITH SCORE 297442.424
AT ITER 8970 NEW BEST:: SOT 2323547 SOS 447202 HAS SOPS 447202 HAS SOUS 296773 HAS SOUPS 296773 WITH SCORE 297220.202
AT ITER 8976 NEW BEST:: SOT 2323555 SOS 447183 HAS SOPS 447183 HAS SOUS 296754 HAS SOUPS 296754 WITH SCORE 297201.183
AT ITER 8986 NEW BEST:: SOT 2323543 SOS 447123 HAS SOPS 447123 HAS SOUS 296718 HAS SOUPS 296718 WITH SCORE 297165.123
AT ITER 9050 NEW BEST:: SOT 2323507 SOS 447087 HAS SOPS 447087 HAS SOUS 296682 HAS SOUPS 296682 WITH SCORE 297129.087
AT ITER 9057 NEW BEST:: SOT 2323505 SOS 447083 HAS SOPS 447083 HAS SOUS 296678 HAS SOUPS 296678 WITH SCORE 297125.083
AT ITER 9071 NEW BEST:: SOT 2323416 SOS 446661 HAS SOPS 446661 HAS SOUS 296528 HAS SOUPS 296528 WITH SCORE 296974.661
AT ITER 9103 NEW BEST:: SOT 2323378 SOS 446623 HAS SOPS 446623 HAS SOUS 296490 HAS SOUPS 296490 WITH SCORE 296936.623
AT ITER 9128 NEW BEST:: SOT 2323176 SOS 446219 HAS SOPS 446219 HAS SOUS 296086 HAS SOUPS 296086 WITH SCORE 296532.219
AT ITER 9129 NEW BEST:: SOT 2323105 SOS 445438 HAS SOPS 445438 HAS SOUS 295944 HAS SOUPS 295944 WITH SCORE 296389.438
AT ITER 9132 NEW BEST:: SOT 2323105 SOS 445332 HAS SOPS 445332 HAS SOUS 295902 HAS SOUPS 295902 WITH SCORE 296347.332
AT ITER 9148 NEW BEST:: SOT 2323073 SOS 445310 HAS SOPS 445310 HAS SOUS 295880 HAS SOUPS 295880 WITH SCORE 296325.31
AT ITER 9150 NEW BEST:: SOT 2322981 SOS 445309 HAS SOPS 445309 HAS SOUS 295788 HAS SOUPS 295788 WITH SCORE 296233.309
AT ITER 9179 NEW BEST:: SOT 2322985 SOS 445306 HAS SOPS 445306 HAS SOUS 295785 HAS SOUPS 295785 WITH SCORE 296230.306
AT ITER 9194 NEW BEST:: SOT 2323188 SOS 445079 HAS SOPS 445079 HAS SOUS 295777 HAS SOUPS 295777 WITH SCORE 296222.079
AT ITER 9245 NEW BEST:: SOT 2323184 SOS 445071 HAS SOPS 445071 HAS SOUS 295773 HAS SOUPS 295773 WITH SCORE 296218.071
AT ITER 9247 NEW BEST:: SOT 2323311 SOS 444986 HAS SOPS 444986 HAS SOUS 295688 HAS SOUPS 295688 WITH SCORE 296132.986
AT ITER 9264 NEW BEST:: SOT 2322849 SOS 444814 HAS SOPS 444814 HAS SOUS 295652 HAS SOUPS 295652 WITH SCORE 296096.814
AT ITER 9267 NEW BEST:: SOT 2322849 SOS 444770 HAS SOPS 444770 HAS SOUS 295652 HAS SOUPS 295652 WITH SCORE 296096.77
AT ITER 9271 NEW BEST:: SOT 2322849 SOS 444763 HAS SOPS 444763 HAS SOUS 295652 HAS SOUPS 295652 WITH SCORE 296096.763
AT ITER 9276 NEW BEST:: SOT 2322814 SOS 444628 HAS SOPS 444628 HAS SOUS 295552 HAS SOUPS 295552 WITH SCORE 295996.628
AT ITER 9330 NEW BEST:: SOT 2322814 SOS 444568 HAS SOPS 444568 HAS SOUS 295537 HAS SOUPS 295537 WITH SCORE 295981.568
AT ITER 9367 NEW BEST:: SOT 2322620 SOS 444180 HAS SOPS 444180 HAS SOUS 295149 HAS SOUPS 295149 WITH SCORE 295593.18
AT ITER 9390 NEW BEST:: SOT 2322605 SOS 443996 HAS SOPS 443996 HAS SOUS 295089 HAS SOUPS 295089 WITH SCORE 295532.996
AT ITER 9397 NEW BEST:: SOT 2322600 SOS 443986 HAS SOPS 443986 HAS SOUS 295079 HAS SOUPS 295079 WITH SCORE 295522.986
AT ITER 9448 NEW BEST:: SOT 2322600 SOS 443946 HAS SOPS 443946 HAS SOUS 295079 HAS SOUPS 295079 WITH SCORE 295522.946
AT ITER 9471 NEW BEST:: SOT 2322593 SOS 443925 HAS SOPS 443925 HAS SOUS 295072 HAS SOUPS 295072 WITH SCORE 295515.925
AT ITER 9478 NEW BEST:: SOT 2322612 SOS 443963 HAS SOPS 443963 HAS SOUS 294913 HAS SOUPS 294913 WITH SCORE 295356.963
AT ITER 9479 NEW BEST:: SOT 2322584 SOS 443907 HAS SOPS 443907 HAS SOUS 294885 HAS SOUPS 294885 WITH SCORE 295328.907
AT ITER 9481 NEW BEST:: SOT 2322584 SOS 443810 HAS SOPS 443810 HAS SOUS 294885 HAS SOUPS 294885 WITH SCORE 295328.81
AT ITER 9561 NEW BEST:: SOT 2322570 SOS 443782 HAS SOPS 443782 HAS SOUS 294849 HAS SOUPS 294849 WITH SCORE 295292.782
AT ITER 9622 NEW BEST:: SOT 2322513 SOS 444214 HAS SOPS 444214 HAS SOUS 294735 HAS SOUPS 294735 WITH SCORE 295179.214
AT ITER 9688 NEW BEST:: SOT 2322513 SOS 444201 HAS SOPS 444201 HAS SOUS 294722 HAS SOUPS 294722 WITH SCORE 295166.201
AT ITER 9696 NEW BEST:: SOT 2322477 SOS 444057 HAS SOPS 444057 HAS SOUS 294650 HAS SOUPS 294650 WITH SCORE 295094.057
AT ITER 9730 NEW BEST:: SOT 2322023 SOS 444409 HAS SOPS 444409 HAS SOUS 294532 HAS SOUPS 294532 WITH SCORE 294976.409
AT ITER 9765 NEW BEST:: SOT 2322106 SOS 444575 HAS SOPS 444575 HAS SOUS 294384 HAS SOUPS 294384 WITH SCORE 294828.575
AT ITER 9773 NEW BEST:: SOT 2322106 SOS 444548 HAS SOPS 444548 HAS SOUS 294375 HAS SOUPS 294375 WITH SCORE 294819.548
AT ITER 9820 NEW BEST:: SOT 2322068 SOS 444446 HAS SOPS 444446 HAS SOUS 294325 HAS SOUPS 294325 WITH SCORE 294769.446
AT ITER 9830 NEW BEST:: SOT 2322068 SOS 444598 HAS SOPS 444598 HAS SOUS 294324 HAS SOUPS 294324 WITH SCORE 294768.598
AT ITER 9938 NEW BEST:: SOT 2322039 SOS 444339 HAS SOPS 444339 HAS SOUS 294295 HAS SOUPS 294295 WITH SCORE 294739.339
AT ITER 9979 NEW BEST:: SOT 2321984 SOS 444284 HAS SOPS 444284 HAS SOUS 294294 HAS SOUPS 294294 WITH SCORE 294738.284
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 11054520 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16155100 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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