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.r451-smll-167912643200256.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 SmartHome-PT-13, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r451-smll-167912643200256
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 584K
-rw-r--r-- 1 mcc users 5.6K Feb 26 05:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 57K Feb 26 05:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4K Feb 26 05:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 36K Feb 26 05:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 17:09 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:09 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:09 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:09 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 05:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 172K Feb 26 05:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 05:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 99K Feb 26 05:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:09 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:09 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 92K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679190438294

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=SmartHome-PT-13
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 13
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: 385 places, 407 transitions, 935 arcs.
AT ITER 0 NEW BEST:: SOT 93821 SOS 23023 HAS SOPS 23023 HAS SOUS 22378 HAS SOUPS 22378 WITH SCORE 22401.023
AT ITER 11 NEW BEST:: SOT 93813 SOS 23080 HAS SOPS 23080 HAS SOUS 22373 HAS SOUPS 22373 WITH SCORE 22396.08
AT ITER 17 NEW BEST:: SOT 93815 SOS 23079 HAS SOPS 23079 HAS SOUS 22371 HAS SOUPS 22371 WITH SCORE 22394.079
AT ITER 23 NEW BEST:: SOT 93386 SOS 22683 HAS SOPS 22683 HAS SOUS 21942 HAS SOUPS 21942 WITH SCORE 21964.683
AT ITER 40 NEW BEST:: SOT 92556 SOS 22515 HAS SOPS 22515 HAS SOUS 21238 HAS SOUPS 21238 WITH SCORE 21260.515
AT ITER 50 NEW BEST:: SOT 92539 SOS 22498 HAS SOPS 22498 HAS SOUS 21221 HAS SOUPS 21221 WITH SCORE 21243.498
AT ITER 54 NEW BEST:: SOT 92150 SOS 22853 HAS SOPS 22853 HAS SOUS 20968 HAS SOUPS 20968 WITH SCORE 20990.853
AT ITER 84 NEW BEST:: SOT 92148 SOS 22795 HAS SOPS 22795 HAS SOUS 20924 HAS SOUPS 20924 WITH SCORE 20946.795
AT ITER 95 NEW BEST:: SOT 91573 SOS 31412 HAS SOPS 31412 HAS SOUS 20851 HAS SOUPS 20851 WITH SCORE 20882.412
AT ITER 98 NEW BEST:: SOT 90629 SOS 34805 HAS SOPS 34805 HAS SOUS 20532 HAS SOUPS 20532 WITH SCORE 20566.805
AT ITER 102 NEW BEST:: SOT 90486 SOS 34651 HAS SOPS 34651 HAS SOUS 20388 HAS SOUPS 20388 WITH SCORE 20422.651
AT ITER 109 NEW BEST:: SOT 90486 SOS 34635 HAS SOPS 34635 HAS SOUS 20388 HAS SOUPS 20388 WITH SCORE 20422.635
AT ITER 115 NEW BEST:: SOT 90450 SOS 34563 HAS SOPS 34563 HAS SOUS 20362 HAS SOUPS 20362 WITH SCORE 20396.563
AT ITER 116 NEW BEST:: SOT 90450 SOS 34434 HAS SOPS 34434 HAS SOUS 20346 HAS SOUPS 20346 WITH SCORE 20380.434
AT ITER 138 NEW BEST:: SOT 90470 SOS 34284 HAS SOPS 34284 HAS SOUS 20196 HAS SOUPS 20196 WITH SCORE 20230.284
AT ITER 141 NEW BEST:: SOT 90426 SOS 34240 HAS SOPS 34240 HAS SOUS 20196 HAS SOUPS 20196 WITH SCORE 20230.24
AT ITER 142 NEW BEST:: SOT 90426 SOS 34200 HAS SOPS 34200 HAS SOUS 20156 HAS SOUPS 20156 WITH SCORE 20190.2
AT ITER 145 NEW BEST:: SOT 90426 SOS 34161 HAS SOPS 34161 HAS SOUS 20117 HAS SOUPS 20117 WITH SCORE 20151.161
AT ITER 153 NEW BEST:: SOT 90408 SOS 34125 HAS SOPS 34125 HAS SOUS 20099 HAS SOUPS 20099 WITH SCORE 20133.125
AT ITER 157 NEW BEST:: SOT 90400 SOS 34117 HAS SOPS 34117 HAS SOUS 20094 HAS SOUPS 20094 WITH SCORE 20128.117
AT ITER 159 NEW BEST:: SOT 89585 SOS 35151 HAS SOPS 35151 HAS SOUS 19690 HAS SOUPS 19690 WITH SCORE 19725.151
AT ITER 163 NEW BEST:: SOT 89180 SOS 35488 HAS SOPS 35488 HAS SOUS 19504 HAS SOUPS 19504 WITH SCORE 19539.488
AT ITER 185 NEW BEST:: SOT 89180 SOS 35459 HAS SOPS 35459 HAS SOUS 19504 HAS SOUPS 19504 WITH SCORE 19539.459
AT ITER 187 NEW BEST:: SOT 89161 SOS 35437 HAS SOPS 35437 HAS SOUS 19475 HAS SOUPS 19475 WITH SCORE 19510.437
AT ITER 202 NEW BEST:: SOT 89161 SOS 35383 HAS SOPS 35383 HAS SOUS 19421 HAS SOUPS 19421 WITH SCORE 19456.383
AT ITER 203 NEW BEST:: SOT 89123 SOS 35345 HAS SOPS 35345 HAS SOUS 19383 HAS SOUPS 19383 WITH SCORE 19418.345
AT ITER 206 NEW BEST:: SOT 89123 SOS 35292 HAS SOPS 35292 HAS SOUS 19383 HAS SOUPS 19383 WITH SCORE 19418.292
AT ITER 210 NEW BEST:: SOT 89123 SOS 35292 HAS SOPS 35292 HAS SOUS 19375 HAS SOUPS 19375 WITH SCORE 19410.292
AT ITER 211 NEW BEST:: SOT 89120 SOS 35286 HAS SOPS 35286 HAS SOUS 19372 HAS SOUPS 19372 WITH SCORE 19407.286
AT ITER 220 NEW BEST:: SOT 89127 SOS 35259 HAS SOPS 35259 HAS SOUS 19345 HAS SOUPS 19345 WITH SCORE 19380.259
AT ITER 225 NEW BEST:: SOT 89082 SOS 35187 HAS SOPS 35187 HAS SOUS 19318 HAS SOUPS 19318 WITH SCORE 19353.187
AT ITER 227 NEW BEST:: SOT 89140 SOS 35253 HAS SOPS 35253 HAS SOUS 19285 HAS SOUPS 19285 WITH SCORE 19320.253
AT ITER 251 NEW BEST:: SOT 89109 SOS 35191 HAS SOPS 35191 HAS SOUS 19266 HAS SOUPS 19266 WITH SCORE 19301.191
AT ITER 254 NEW BEST:: SOT 89108 SOS 35189 HAS SOPS 35189 HAS SOUS 19252 HAS SOUPS 19252 WITH SCORE 19287.189
AT ITER 273 NEW BEST:: SOT 89107 SOS 35188 HAS SOPS 35188 HAS SOUS 19228 HAS SOUPS 19228 WITH SCORE 19263.188
AT ITER 280 NEW BEST:: SOT 88947 SOS 28809 HAS SOPS 28809 HAS SOUS 18534 HAS SOUPS 18534 WITH SCORE 18562.809
AT ITER 282 NEW BEST:: SOT 88926 SOS 28788 HAS SOPS 28788 HAS SOUS 18513 HAS SOUPS 18513 WITH SCORE 18541.788
AT ITER 285 NEW BEST:: SOT 88878 SOS 28692 HAS SOPS 28692 HAS SOUS 18417 HAS SOUPS 18417 WITH SCORE 18445.692
AT ITER 293 NEW BEST:: SOT 88873 SOS 28682 HAS SOPS 28682 HAS SOUS 18415 HAS SOUPS 18415 WITH SCORE 18443.682
AT ITER 304 NEW BEST:: SOT 88888 SOS 28640 HAS SOPS 28640 HAS SOUS 18358 HAS SOUPS 18358 WITH SCORE 18386.64
AT ITER 332 NEW BEST:: SOT 88842 SOS 28594 HAS SOPS 28594 HAS SOUS 18312 HAS SOUPS 18312 WITH SCORE 18340.594
AT ITER 339 NEW BEST:: SOT 88841 SOS 28592 HAS SOPS 28592 HAS SOUS 18311 HAS SOUPS 18311 WITH SCORE 18339.592
AT ITER 347 NEW BEST:: SOT 88841 SOS 28573 HAS SOPS 28573 HAS SOUS 18292 HAS SOUPS 18292 WITH SCORE 18320.573
AT ITER 387 NEW BEST:: SOT 88650 SOS 29084 HAS SOPS 29084 HAS SOUS 18121 HAS SOUPS 18121 WITH SCORE 18150.084
AT ITER 435 NEW BEST:: SOT 88573 SOS 28930 HAS SOPS 28930 HAS SOUS 17967 HAS SOUPS 17967 WITH SCORE 17995.93
AT ITER 465 NEW BEST:: SOT 88560 SOS 28904 HAS SOPS 28904 HAS SOUS 17823 HAS SOUPS 17823 WITH SCORE 17851.904
AT ITER 467 NEW BEST:: SOT 88560 SOS 28887 HAS SOPS 28887 HAS SOUS 17806 HAS SOUPS 17806 WITH SCORE 17834.887
AT ITER 498 NEW BEST:: SOT 88492 SOS 28819 HAS SOPS 28819 HAS SOUS 17738 HAS SOUPS 17738 WITH SCORE 17766.819
AT ITER 499 NEW BEST:: SOT 88554 SOS 27011 HAS SOPS 27011 HAS SOUS 17724 HAS SOUPS 17724 WITH SCORE 17751.011
AT ITER 500 NEW BEST:: SOT 88361 SOS 26836 HAS SOPS 26836 HAS SOUS 17536 HAS SOUPS 17536 WITH SCORE 17562.836
AT ITER 505 NEW BEST:: SOT 88328 SOS 26828 HAS SOPS 26828 HAS SOUS 17528 HAS SOUPS 17528 WITH SCORE 17554.828
AT ITER 529 NEW BEST:: SOT 88310 SOS 26792 HAS SOPS 26792 HAS SOUS 17492 HAS SOUPS 17492 WITH SCORE 17518.792
AT ITER 542 NEW BEST:: SOT 88278 SOS 26728 HAS SOPS 26728 HAS SOUS 17444 HAS SOUPS 17444 WITH SCORE 17470.728
AT ITER 544 NEW BEST:: SOT 88312 SOS 26740 HAS SOPS 26740 HAS SOUS 17422 HAS SOUPS 17422 WITH SCORE 17448.74
AT ITER 551 NEW BEST:: SOT 88292 SOS 26680 HAS SOPS 26680 HAS SOUS 17362 HAS SOUPS 17362 WITH SCORE 17388.68
AT ITER 562 NEW BEST:: SOT 88296 SOS 26379 HAS SOPS 26379 HAS SOUS 17321 HAS SOUPS 17321 WITH SCORE 17347.379
AT ITER 566 NEW BEST:: SOT 88197 SOS 26409 HAS SOPS 26409 HAS SOUS 17193 HAS SOUPS 17193 WITH SCORE 17219.409
AT ITER 567 NEW BEST:: SOT 88152 SOS 26364 HAS SOPS 26364 HAS SOUS 17148 HAS SOUPS 17148 WITH SCORE 17174.364
AT ITER 569 NEW BEST:: SOT 88095 SOS 26307 HAS SOPS 26307 HAS SOUS 17069 HAS SOUPS 17069 WITH SCORE 17095.307
AT ITER 588 NEW BEST:: SOT 88173 SOS 26077 HAS SOPS 26077 HAS SOUS 16839 HAS SOUPS 16839 WITH SCORE 16865.077
AT ITER 590 NEW BEST:: SOT 88156 SOS 26044 HAS SOPS 26044 HAS SOUS 16806 HAS SOUPS 16806 WITH SCORE 16832.044
AT ITER 592 NEW BEST:: SOT 88160 SOS 25963 HAS SOPS 25963 HAS SOUS 16725 HAS SOUPS 16725 WITH SCORE 16750.963
AT ITER 611 NEW BEST:: SOT 88142 SOS 25945 HAS SOPS 25945 HAS SOUS 16725 HAS SOUPS 16725 WITH SCORE 16750.945
AT ITER 612 NEW BEST:: SOT 88043 SOS 25839 HAS SOPS 25839 HAS SOUS 16713 HAS SOUPS 16713 WITH SCORE 16738.839
AT ITER 623 NEW BEST:: SOT 88043 SOS 25832 HAS SOPS 25832 HAS SOUS 16706 HAS SOUPS 16706 WITH SCORE 16731.832
AT ITER 627 NEW BEST:: SOT 88041 SOS 25828 HAS SOPS 25828 HAS SOUS 16702 HAS SOUPS 16702 WITH SCORE 16727.828
AT ITER 639 NEW BEST:: SOT 87935 SOS 26351 HAS SOPS 26351 HAS SOUS 16626 HAS SOUPS 16626 WITH SCORE 16652.351
AT ITER 641 NEW BEST:: SOT 87923 SOS 26327 HAS SOPS 26327 HAS SOUS 16602 HAS SOUPS 16602 WITH SCORE 16628.327
AT ITER 652 NEW BEST:: SOT 87937 SOS 26355 HAS SOPS 26355 HAS SOUS 16577 HAS SOUPS 16577 WITH SCORE 16603.355
AT ITER 672 NEW BEST:: SOT 87936 SOS 26354 HAS SOPS 26354 HAS SOUS 16576 HAS SOUPS 16576 WITH SCORE 16602.354
AT ITER 680 NEW BEST:: SOT 87931 SOS 26349 HAS SOPS 26349 HAS SOUS 16571 HAS SOUPS 16571 WITH SCORE 16597.349
AT ITER 712 NEW BEST:: SOT 87929 SOS 26345 HAS SOPS 26345 HAS SOUS 16567 HAS SOUPS 16567 WITH SCORE 16593.345
AT ITER 716 NEW BEST:: SOT 87925 SOS 26338 HAS SOPS 26338 HAS SOUS 16559 HAS SOUPS 16559 WITH SCORE 16585.338
AT ITER 722 NEW BEST:: SOT 87895 SOS 26278 HAS SOPS 26278 HAS SOUS 16529 HAS SOUPS 16529 WITH SCORE 16555.278
AT ITER 736 NEW BEST:: SOT 87894 SOS 26276 HAS SOPS 26276 HAS SOUS 16527 HAS SOUPS 16527 WITH SCORE 16553.276
AT ITER 768 NEW BEST:: SOT 87895 SOS 26244 HAS SOPS 26244 HAS SOUS 16495 HAS SOUPS 16495 WITH SCORE 16521.244
AT ITER 769 NEW BEST:: SOT 87742 SOS 26154 HAS SOPS 26154 HAS SOUS 16449 HAS SOUPS 16449 WITH SCORE 16475.154
AT ITER 805 NEW BEST:: SOT 87713 SOS 26096 HAS SOPS 26096 HAS SOUS 16420 HAS SOUPS 16420 WITH SCORE 16446.096
AT ITER 809 NEW BEST:: SOT 87704 SOS 26087 HAS SOPS 26087 HAS SOUS 16411 HAS SOUPS 16411 WITH SCORE 16437.087
AT ITER 825 NEW BEST:: SOT 87689 SOS 26072 HAS SOPS 26072 HAS SOUS 16396 HAS SOUPS 16396 WITH SCORE 16422.072
AT ITER 826 NEW BEST:: SOT 87634 SOS 25983 HAS SOPS 25983 HAS SOUS 16352 HAS SOUPS 16352 WITH SCORE 16377.983
AT ITER 845 NEW BEST:: SOT 87530 SOS 25811 HAS SOPS 25811 HAS SOUS 16314 HAS SOUPS 16314 WITH SCORE 16339.811
AT ITER 847 NEW BEST:: SOT 87530 SOS 25811 HAS SOPS 25811 HAS SOUS 16305 HAS SOUPS 16305 WITH SCORE 16330.811
AT ITER 869 NEW BEST:: SOT 87514 SOS 25779 HAS SOPS 25779 HAS SOUS 16304 HAS SOUPS 16304 WITH SCORE 16329.779
AT ITER 870 NEW BEST:: SOT 87514 SOS 24485 HAS SOPS 24485 HAS SOUS 16234 HAS SOUPS 16234 WITH SCORE 16258.485
AT ITER 876 NEW BEST:: SOT 87480 SOS 24417 HAS SOPS 24417 HAS SOUS 16200 HAS SOUPS 16200 WITH SCORE 16224.417
AT ITER 880 NEW BEST:: SOT 87457 SOS 24371 HAS SOPS 24371 HAS SOUS 16154 HAS SOUPS 16154 WITH SCORE 16178.371
AT ITER 887 NEW BEST:: SOT 87415 SOS 24343 HAS SOPS 24343 HAS SOUS 16112 HAS SOUPS 16112 WITH SCORE 16136.343
AT ITER 905 NEW BEST:: SOT 87411 SOS 24329 HAS SOPS 24329 HAS SOUS 16102 HAS SOUPS 16102 WITH SCORE 16126.329
AT ITER 907 NEW BEST:: SOT 87368 SOS 24243 HAS SOPS 24243 HAS SOUS 16059 HAS SOUPS 16059 WITH SCORE 16083.243
AT ITER 930 NEW BEST:: SOT 87288 SOS 24163 HAS SOPS 24163 HAS SOUS 16059 HAS SOUPS 16059 WITH SCORE 16083.163
AT ITER 932 NEW BEST:: SOT 87288 SOS 24161 HAS SOPS 24161 HAS SOUS 16059 HAS SOUPS 16059 WITH SCORE 16083.161
AT ITER 934 NEW BEST:: SOT 87273 SOS 24131 HAS SOPS 24131 HAS SOUS 16029 HAS SOUPS 16029 WITH SCORE 16053.131
AT ITER 971 NEW BEST:: SOT 87222 SOS 24769 HAS SOPS 24769 HAS SOUS 16015 HAS SOUPS 16015 WITH SCORE 16039.769
AT ITER 1014 NEW BEST:: SOT 87227 SOS 24715 HAS SOPS 24715 HAS SOUS 15983 HAS SOUPS 15983 WITH SCORE 16007.715
AT ITER 1015 NEW BEST:: SOT 87228 SOS 24688 HAS SOPS 24688 HAS SOUS 15956 HAS SOUPS 15956 WITH SCORE 15980.688
AT ITER 1021 NEW BEST:: SOT 87173 SOS 24578 HAS SOPS 24578 HAS SOUS 15938 HAS SOUPS 15938 WITH SCORE 15962.578
AT ITER 1029 NEW BEST:: SOT 87165 SOS 24569 HAS SOPS 24569 HAS SOUS 15908 HAS SOUPS 15908 WITH SCORE 15932.569
AT ITER 1067 NEW BEST:: SOT 87161 SOS 24565 HAS SOPS 24565 HAS SOUS 15904 HAS SOUPS 15904 WITH SCORE 15928.565
AT ITER 1074 NEW BEST:: SOT 87129 SOS 24520 HAS SOPS 24520 HAS SOUS 15820 HAS SOUPS 15820 WITH SCORE 15844.52
AT ITER 1084 NEW BEST:: SOT 87128 SOS 24518 HAS SOPS 24518 HAS SOUS 15818 HAS SOUPS 15818 WITH SCORE 15842.518
AT ITER 1098 NEW BEST:: SOT 87124 SOS 24514 HAS SOPS 24514 HAS SOUS 15814 HAS SOUPS 15814 WITH SCORE 15838.514
AT ITER 1116 NEW BEST:: SOT 87096 SOS 24499 HAS SOPS 24499 HAS SOUS 15758 HAS SOUPS 15758 WITH SCORE 15782.499
AT ITER 1137 NEW BEST:: SOT 87096 SOS 24473 HAS SOPS 24473 HAS SOUS 15732 HAS SOUPS 15732 WITH SCORE 15756.473
AT ITER 1157 NEW BEST:: SOT 87079 SOS 24439 HAS SOPS 24439 HAS SOUS 15698 HAS SOUPS 15698 WITH SCORE 15722.439
AT ITER 1254 NEW BEST:: SOT 87075 SOS 24431 HAS SOPS 24431 HAS SOUS 15610 HAS SOUPS 15610 WITH SCORE 15634.431
AT ITER 1257 NEW BEST:: SOT 87075 SOS 24400 HAS SOPS 24400 HAS SOUS 15579 HAS SOUPS 15579 WITH SCORE 15603.4
AT ITER 1274 NEW BEST:: SOT 87030 SOS 24310 HAS SOPS 24310 HAS SOUS 15534 HAS SOUPS 15534 WITH SCORE 15558.31
AT ITER 1275 NEW BEST:: SOT 87010 SOS 24290 HAS SOPS 24290 HAS SOUS 15514 HAS SOUPS 15514 WITH SCORE 15538.29
AT ITER 1278 NEW BEST:: SOT 86684 SOS 25577 HAS SOPS 25577 HAS SOUS 15371 HAS SOUPS 15371 WITH SCORE 15396.577
AT ITER 1279 NEW BEST:: SOT 86648 SOS 25541 HAS SOPS 25541 HAS SOUS 15335 HAS SOUPS 15335 WITH SCORE 15360.541
AT ITER 1295 NEW BEST:: SOT 86585 SOS 25485 HAS SOPS 25485 HAS SOUS 15301 HAS SOUPS 15301 WITH SCORE 15326.485
AT ITER 1297 NEW BEST:: SOT 86477 SOS 25377 HAS SOPS 25377 HAS SOUS 15267 HAS SOUPS 15267 WITH SCORE 15292.377
AT ITER 1301 NEW BEST:: SOT 86467 SOS 25357 HAS SOPS 25357 HAS SOUS 15247 HAS SOUPS 15247 WITH SCORE 15272.357
AT ITER 1308 NEW BEST:: SOT 86534 SOS 23914 HAS SOPS 23914 HAS SOUS 15237 HAS SOUPS 15237 WITH SCORE 15260.914
AT ITER 1309 NEW BEST:: SOT 86525 SOS 23905 HAS SOPS 23905 HAS SOUS 15230 HAS SOUPS 15230 WITH SCORE 15253.905
AT ITER 1313 NEW BEST:: SOT 86499 SOS 23853 HAS SOPS 23853 HAS SOUS 15178 HAS SOUPS 15178 WITH SCORE 15201.853
AT ITER 1333 NEW BEST:: SOT 86499 SOS 23847 HAS SOPS 23847 HAS SOUS 15172 HAS SOUPS 15172 WITH SCORE 15195.847
AT ITER 1350 NEW BEST:: SOT 86491 SOS 23873 HAS SOPS 23873 HAS SOUS 15170 HAS SOUPS 15170 WITH SCORE 15193.873
AT ITER 1441 NEW BEST:: SOT 86493 SOS 23818 HAS SOPS 23818 HAS SOUS 15115 HAS SOUPS 15115 WITH SCORE 15138.818
AT ITER 1480 NEW BEST:: SOT 86492 SOS 23817 HAS SOPS 23817 HAS SOUS 15113 HAS SOUPS 15113 WITH SCORE 15136.817
AT ITER 1486 NEW BEST:: SOT 86426 SOS 24079 HAS SOPS 24079 HAS SOUS 15103 HAS SOUPS 15103 WITH SCORE 15127.079
AT ITER 1504 NEW BEST:: SOT 86414 SOS 24067 HAS SOPS 24067 HAS SOUS 15073 HAS SOUPS 15073 WITH SCORE 15097.067
AT ITER 1505 NEW BEST:: SOT 86387 SOS 24013 HAS SOPS 24013 HAS SOUS 15019 HAS SOUPS 15019 WITH SCORE 15043.013
AT ITER 1512 NEW BEST:: SOT 86386 SOS 24011 HAS SOPS 24011 HAS SOUS 14990 HAS SOUPS 14990 WITH SCORE 15014.011
AT ITER 1540 NEW BEST:: SOT 86327 SOS 23893 HAS SOPS 23893 HAS SOUS 14952 HAS SOUPS 14952 WITH SCORE 14975.893
AT ITER 1543 NEW BEST:: SOT 86319 SOS 23885 HAS SOPS 23885 HAS SOUS 14944 HAS SOUPS 14944 WITH SCORE 14967.885
AT ITER 1566 NEW BEST:: SOT 86333 SOS 23913 HAS SOPS 23913 HAS SOUS 14939 HAS SOUPS 14939 WITH SCORE 14962.913
AT ITER 1575 NEW BEST:: SOT 86328 SOS 23912 HAS SOPS 23912 HAS SOUS 14938 HAS SOUPS 14938 WITH SCORE 14961.912
AT ITER 1594 NEW BEST:: SOT 86328 SOS 23912 HAS SOPS 23912 HAS SOUS 14935 HAS SOUPS 14935 WITH SCORE 14958.912
AT ITER 1613 NEW BEST:: SOT 86327 SOS 23911 HAS SOPS 23911 HAS SOUS 14934 HAS SOUPS 14934 WITH SCORE 14957.911
AT ITER 1629 NEW BEST:: SOT 86218 SOS 24513 HAS SOPS 24513 HAS SOUS 14886 HAS SOUPS 14886 WITH SCORE 14910.513
AT ITER 1633 NEW BEST:: SOT 86163 SOS 24404 HAS SOPS 24404 HAS SOUS 14832 HAS SOUPS 14832 WITH SCORE 14856.404
AT ITER 1636 NEW BEST:: SOT 86208 SOS 24257 HAS SOPS 24257 HAS SOUS 14798 HAS SOUPS 14798 WITH SCORE 14822.257
AT ITER 1663 NEW BEST:: SOT 86181 SOS 24270 HAS SOPS 24270 HAS SOUS 14771 HAS SOUPS 14771 WITH SCORE 14795.27
AT ITER 1673 NEW BEST:: SOT 86176 SOS 24260 HAS SOPS 24260 HAS SOUS 14761 HAS SOUPS 14761 WITH SCORE 14785.26
AT ITER 1683 NEW BEST:: SOT 86120 SOS 24148 HAS SOPS 24148 HAS SOUS 14649 HAS SOUPS 14649 WITH SCORE 14673.148
AT ITER 1691 NEW BEST:: SOT 86120 SOS 24147 HAS SOPS 24147 HAS SOUS 14648 HAS SOUPS 14648 WITH SCORE 14672.147
AT ITER 1699 NEW BEST:: SOT 85963 SOS 23936 HAS SOPS 23936 HAS SOUS 14509 HAS SOUPS 14509 WITH SCORE 14532.936
AT ITER 1700 NEW BEST:: SOT 85945 SOS 23900 HAS SOPS 23900 HAS SOUS 14473 HAS SOUPS 14473 WITH SCORE 14496.9
AT ITER 1705 NEW BEST:: SOT 85935 SOS 23880 HAS SOPS 23880 HAS SOUS 14458 HAS SOUPS 14458 WITH SCORE 14481.88
AT ITER 1758 NEW BEST:: SOT 85768 SOS 23688 HAS SOPS 23688 HAS SOUS 14289 HAS SOUPS 14289 WITH SCORE 14312.688
AT ITER 1768 NEW BEST:: SOT 85767 SOS 23687 HAS SOPS 23687 HAS SOUS 14288 HAS SOUPS 14288 WITH SCORE 14311.687
AT ITER 1781 NEW BEST:: SOT 85790 SOS 23667 HAS SOPS 23667 HAS SOUS 14277 HAS SOUPS 14277 WITH SCORE 14300.667
AT ITER 1815 NEW BEST:: SOT 85797 SOS 23569 HAS SOPS 23569 HAS SOUS 14277 HAS SOUPS 14277 WITH SCORE 14300.569
AT ITER 1830 NEW BEST:: SOT 85789 SOS 23555 HAS SOPS 23555 HAS SOUS 14276 HAS SOUPS 14276 WITH SCORE 14299.555
AT ITER 1835 NEW BEST:: SOT 85824 SOS 23590 HAS SOPS 23590 HAS SOUS 14262 HAS SOUPS 14262 WITH SCORE 14285.59
AT ITER 1846 NEW BEST:: SOT 85809 SOS 23489 HAS SOPS 23489 HAS SOUS 14211 HAS SOUPS 14211 WITH SCORE 14234.489
AT ITER 1891 NEW BEST:: SOT 85532 SOS 24262 HAS SOPS 24262 HAS SOUS 14130 HAS SOUPS 14130 WITH SCORE 14154.262
AT ITER 1916 NEW BEST:: SOT 85529 SOS 24256 HAS SOPS 24256 HAS SOUS 14124 HAS SOUPS 14124 WITH SCORE 14148.256
AT ITER 1920 NEW BEST:: SOT 85529 SOS 24200 HAS SOPS 24200 HAS SOUS 14120 HAS SOUPS 14120 WITH SCORE 14144.2
AT ITER 1955 NEW BEST:: SOT 85509 SOS 24195 HAS SOPS 24195 HAS SOUS 14109 HAS SOUPS 14109 WITH SCORE 14133.195
AT ITER 1959 NEW BEST:: SOT 85509 SOS 24189 HAS SOPS 24189 HAS SOUS 14103 HAS SOUPS 14103 WITH SCORE 14127.189
AT ITER 1962 NEW BEST:: SOT 85483 SOS 24155 HAS SOPS 24155 HAS SOUS 14069 HAS SOUPS 14069 WITH SCORE 14093.155
AT ITER 1977 NEW BEST:: SOT 85482 SOS 24142 HAS SOPS 24142 HAS SOUS 14057 HAS SOUPS 14057 WITH SCORE 14081.142
AT ITER 1979 NEW BEST:: SOT 85480 SOS 24140 HAS SOPS 24140 HAS SOUS 14055 HAS SOUPS 14055 WITH SCORE 14079.14
AT ITER 1992 NEW BEST:: SOT 85458 SOS 24071 HAS SOPS 24071 HAS SOUS 13985 HAS SOUPS 13985 WITH SCORE 14009.071
AT ITER 2021 NEW BEST:: SOT 85458 SOS 24070 HAS SOPS 24070 HAS SOUS 13984 HAS SOUPS 13984 WITH SCORE 14008.07
AT ITER 2033 NEW BEST:: SOT 85450 SOS 24054 HAS SOPS 24054 HAS SOUS 13972 HAS SOUPS 13972 WITH SCORE 13996.054
AT ITER 2064 NEW BEST:: SOT 85409 SOS 23972 HAS SOPS 23972 HAS SOUS 13860 HAS SOUPS 13860 WITH SCORE 13883.972
AT ITER 2068 NEW BEST:: SOT 85405 SOS 23964 HAS SOPS 23964 HAS SOUS 13852 HAS SOUPS 13852 WITH SCORE 13875.964
AT ITER 2075 NEW BEST:: SOT 85398 SOS 23950 HAS SOPS 23950 HAS SOUS 13838 HAS SOUPS 13838 WITH SCORE 13861.95
AT ITER 2076 NEW BEST:: SOT 85336 SOS 23857 HAS SOPS 23857 HAS SOUS 13776 HAS SOUPS 13776 WITH SCORE 13799.857
AT ITER 2088 NEW BEST:: SOT 85281 SOS 23819 HAS SOPS 23819 HAS SOUS 13748 HAS SOUPS 13748 WITH SCORE 13771.819
AT ITER 2152 NEW BEST:: SOT 85287 SOS 23831 HAS SOPS 23831 HAS SOUS 13715 HAS SOUPS 13715 WITH SCORE 13738.831
AT ITER 2169 NEW BEST:: SOT 85287 SOS 23823 HAS SOPS 23823 HAS SOUS 13715 HAS SOUPS 13715 WITH SCORE 13738.823
AT ITER 2170 NEW BEST:: SOT 85294 SOS 23785 HAS SOPS 23785 HAS SOUS 13676 HAS SOUPS 13676 WITH SCORE 13699.785
AT ITER 2173 NEW BEST:: SOT 85221 SOS 23642 HAS SOPS 23642 HAS SOUS 13606 HAS SOUPS 13606 WITH SCORE 13629.642
AT ITER 2214 NEW BEST:: SOT 85218 SOS 23636 HAS SOPS 23636 HAS SOUS 13600 HAS SOUPS 13600 WITH SCORE 13623.636
AT ITER 2215 NEW BEST:: SOT 85191 SOS 23609 HAS SOPS 23609 HAS SOUS 13599 HAS SOUPS 13599 WITH SCORE 13622.609
AT ITER 2217 NEW BEST:: SOT 85204 SOS 23275 HAS SOPS 23275 HAS SOUS 13582 HAS SOUPS 13582 WITH SCORE 13605.275
AT ITER 2262 NEW BEST:: SOT 85191 SOS 23249 HAS SOPS 23249 HAS SOUS 13556 HAS SOUPS 13556 WITH SCORE 13579.249
AT ITER 2284 NEW BEST:: SOT 85190 SOS 23247 HAS SOPS 23247 HAS SOUS 13554 HAS SOUPS 13554 WITH SCORE 13577.247
AT ITER 2319 NEW BEST:: SOT 85172 SOS 23211 HAS SOPS 23211 HAS SOUS 13524 HAS SOUPS 13524 WITH SCORE 13547.211
AT ITER 2327 NEW BEST:: SOT 85130 SOS 21867 HAS SOPS 21867 HAS SOUS 13385 HAS SOUPS 13385 WITH SCORE 13406.867
AT ITER 2354 NEW BEST:: SOT 85167 SOS 21704 HAS SOPS 21704 HAS SOUS 13376 HAS SOUPS 13376 WITH SCORE 13397.704
AT ITER 2373 NEW BEST:: SOT 85116 SOS 21639 HAS SOPS 21639 HAS SOUS 13274 HAS SOUPS 13274 WITH SCORE 13295.639
AT ITER 2389 NEW BEST:: SOT 85103 SOS 21613 HAS SOPS 21613 HAS SOUS 13248 HAS SOUPS 13248 WITH SCORE 13269.613
AT ITER 2422 NEW BEST:: SOT 85079 SOS 21565 HAS SOPS 21565 HAS SOUS 13200 HAS SOUPS 13200 WITH SCORE 13221.565
AT ITER 2426 NEW BEST:: SOT 85062 SOS 21535 HAS SOPS 21535 HAS SOUS 13168 HAS SOUPS 13168 WITH SCORE 13189.535
AT ITER 2433 NEW BEST:: SOT 85068 SOS 21507 HAS SOPS 21507 HAS SOUS 13140 HAS SOUPS 13140 WITH SCORE 13161.507
AT ITER 2471 NEW BEST:: SOT 85041 SOS 21480 HAS SOPS 21480 HAS SOUS 13113 HAS SOUPS 13113 WITH SCORE 13134.48
AT ITER 2477 NEW BEST:: SOT 85044 SOS 21412 HAS SOPS 21412 HAS SOUS 13086 HAS SOUPS 13086 WITH SCORE 13107.412
AT ITER 2528 NEW BEST:: SOT 85005 SOS 21334 HAS SOPS 21334 HAS SOUS 13008 HAS SOUPS 13008 WITH SCORE 13029.334
AT ITER 2544 NEW BEST:: SOT 84995 SOS 21314 HAS SOPS 21314 HAS SOUS 12988 HAS SOUPS 12988 WITH SCORE 13009.314
AT ITER 2614 NEW BEST:: SOT 84972 SOS 21291 HAS SOPS 21291 HAS SOUS 12988 HAS SOUPS 12988 WITH SCORE 13009.291
AT ITER 2623 NEW BEST:: SOT 84964 SOS 21285 HAS SOPS 21285 HAS SOUS 12982 HAS SOUPS 12982 WITH SCORE 13003.285
AT ITER 2626 NEW BEST:: SOT 84923 SOS 21258 HAS SOPS 21258 HAS SOUS 12955 HAS SOUPS 12955 WITH SCORE 12976.258
AT ITER 2639 NEW BEST:: SOT 84920 SOS 21252 HAS SOPS 21252 HAS SOUS 12952 HAS SOUPS 12952 WITH SCORE 12973.252
AT ITER 2669 NEW BEST:: SOT 84906 SOS 21238 HAS SOPS 21238 HAS SOUS 12952 HAS SOUPS 12952 WITH SCORE 12973.238
AT ITER 2691 NEW BEST:: SOT 84906 SOS 21236 HAS SOPS 21236 HAS SOUS 12952 HAS SOUPS 12952 WITH SCORE 12973.236
AT ITER 2717 NEW BEST:: SOT 84890 SOS 21184 HAS SOPS 21184 HAS SOUS 12920 HAS SOUPS 12920 WITH SCORE 12941.184
AT ITER 2721 NEW BEST:: SOT 84873 SOS 21150 HAS SOPS 21150 HAS SOUS 12911 HAS SOUPS 12911 WITH SCORE 12932.15
AT ITER 2723 NEW BEST:: SOT 84871 SOS 21148 HAS SOPS 21148 HAS SOUS 12909 HAS SOUPS 12909 WITH SCORE 12930.148
AT ITER 2736 NEW BEST:: SOT 84834 SOS 21097 HAS SOPS 21097 HAS SOUS 12909 HAS SOUPS 12909 WITH SCORE 12930.097
AT ITER 2783 NEW BEST:: SOT 84840 SOS 21106 HAS SOPS 21106 HAS SOUS 12906 HAS SOUPS 12906 WITH SCORE 12927.106
AT ITER 2803 NEW BEST:: SOT 84850 SOS 21116 HAS SOPS 21116 HAS SOUS 12874 HAS SOUPS 12874 WITH SCORE 12895.116
AT ITER 2850 NEW BEST:: SOT 84845 SOS 21088 HAS SOPS 21088 HAS SOUS 12869 HAS SOUPS 12869 WITH SCORE 12890.088
AT ITER 2855 NEW BEST:: SOT 84802 SOS 21022 HAS SOPS 21022 HAS SOUS 12826 HAS SOUPS 12826 WITH SCORE 12847.022
AT ITER 2864 NEW BEST:: SOT 84802 SOS 21022 HAS SOPS 21022 HAS SOUS 12799 HAS SOUPS 12799 WITH SCORE 12820.022
AT ITER 2880 NEW BEST:: SOT 84695 SOS 20888 HAS SOPS 20888 HAS SOUS 12742 HAS SOUPS 12742 WITH SCORE 12762.888
AT ITER 2943 NEW BEST:: SOT 84572 SOS 20804 HAS SOPS 20804 HAS SOUS 12713 HAS SOUPS 12713 WITH SCORE 12733.804
AT ITER 2979 NEW BEST:: SOT 84742 SOS 20893 HAS SOPS 20893 HAS SOUS 12682 HAS SOUPS 12682 WITH SCORE 12702.893
AT ITER 3025 NEW BEST:: SOT 84733 SOS 20884 HAS SOPS 20884 HAS SOUS 12664 HAS SOUPS 12664 WITH SCORE 12684.884
AT ITER 3038 NEW BEST:: SOT 84729 SOS 20942 HAS SOPS 20942 HAS SOUS 12644 HAS SOUPS 12644 WITH SCORE 12664.942
AT ITER 3047 NEW BEST:: SOT 84707 SOS 20931 HAS SOPS 20931 HAS SOUS 12633 HAS SOUPS 12633 WITH SCORE 12653.931
AT ITER 3058 NEW BEST:: SOT 84702 SOS 20966 HAS SOPS 20966 HAS SOUS 12628 HAS SOUPS 12628 WITH SCORE 12648.966
AT ITER 3066 NEW BEST:: SOT 84702 SOS 20961 HAS SOPS 20961 HAS SOUS 12628 HAS SOUPS 12628 WITH SCORE 12648.961
AT ITER 3098 NEW BEST:: SOT 84673 SOS 20904 HAS SOPS 20904 HAS SOUS 12606 HAS SOUPS 12606 WITH SCORE 12626.904
AT ITER 3137 NEW BEST:: SOT 84668 SOS 20899 HAS SOPS 20899 HAS SOUS 12601 HAS SOUPS 12601 WITH SCORE 12621.899
AT ITER 3154 NEW BEST:: SOT 84676 SOS 20755 HAS SOPS 20755 HAS SOUS 12601 HAS SOUPS 12601 WITH SCORE 12621.755
AT ITER 3155 NEW BEST:: SOT 84673 SOS 20749 HAS SOPS 20749 HAS SOUS 12595 HAS SOUPS 12595 WITH SCORE 12615.749
AT ITER 3163 NEW BEST:: SOT 84670 SOS 20743 HAS SOPS 20743 HAS SOUS 12592 HAS SOUPS 12592 WITH SCORE 12612.743
AT ITER 3186 NEW BEST:: SOT 84666 SOS 20735 HAS SOPS 20735 HAS SOUS 12585 HAS SOUPS 12585 WITH SCORE 12605.735
AT ITER 3208 NEW BEST:: SOT 84658 SOS 20719 HAS SOPS 20719 HAS SOUS 12569 HAS SOUPS 12569 WITH SCORE 12589.719
AT ITER 3247 NEW BEST:: SOT 84634 SOS 20700 HAS SOPS 20700 HAS SOUS 12561 HAS SOUPS 12561 WITH SCORE 12581.7
AT ITER 3257 NEW BEST:: SOT 84658 SOS 20688 HAS SOPS 20688 HAS SOUS 12556 HAS SOUPS 12556 WITH SCORE 12576.688
AT ITER 3289 NEW BEST:: SOT 84658 SOS 20654 HAS SOPS 20654 HAS SOUS 12556 HAS SOUPS 12556 WITH SCORE 12576.654
AT ITER 3311 NEW BEST:: SOT 84615 SOS 20611 HAS SOPS 20611 HAS SOUS 12533 HAS SOUPS 12533 WITH SCORE 12553.611
AT ITER 3312 NEW BEST:: SOT 84625 SOS 20621 HAS SOPS 20621 HAS SOUS 12531 HAS SOUPS 12531 WITH SCORE 12551.621
AT ITER 3325 NEW BEST:: SOT 84624 SOS 20610 HAS SOPS 20610 HAS SOUS 12520 HAS SOUPS 12520 WITH SCORE 12540.61
AT ITER 3383 NEW BEST:: SOT 84600 SOS 20562 HAS SOPS 20562 HAS SOUS 12514 HAS SOUPS 12514 WITH SCORE 12534.562
AT ITER 3400 NEW BEST:: SOT 84589 SOS 20529 HAS SOPS 20529 HAS SOUS 12492 HAS SOUPS 12492 WITH SCORE 12512.529
AT ITER 3419 NEW BEST:: SOT 84589 SOS 20529 HAS SOPS 20529 HAS SOUS 12439 HAS SOUPS 12439 WITH SCORE 12459.529
AT ITER 3426 NEW BEST:: SOT 84560 SOS 21827 HAS SOPS 21827 HAS SOUS 12410 HAS SOUPS 12410 WITH SCORE 12431.827
AT ITER 3428 NEW BEST:: SOT 84534 SOS 21775 HAS SOPS 21775 HAS SOUS 12380 HAS SOUPS 12380 WITH SCORE 12401.775
AT ITER 3439 NEW BEST:: SOT 84477 SOS 21661 HAS SOPS 21661 HAS SOUS 12380 HAS SOUPS 12380 WITH SCORE 12401.661
AT ITER 3483 NEW BEST:: SOT 84489 SOS 21673 HAS SOPS 21673 HAS SOUS 12376 HAS SOUPS 12376 WITH SCORE 12397.673
AT ITER 3490 NEW BEST:: SOT 84483 SOS 21715 HAS SOPS 21715 HAS SOUS 12368 HAS SOUPS 12368 WITH SCORE 12389.715
AT ITER 3543 NEW BEST:: SOT 84480 SOS 21712 HAS SOPS 21712 HAS SOUS 12365 HAS SOUPS 12365 WITH SCORE 12386.712
AT ITER 3557 NEW BEST:: SOT 84475 SOS 21684 HAS SOPS 21684 HAS SOUS 12360 HAS SOUPS 12360 WITH SCORE 12381.684
AT ITER 3558 NEW BEST:: SOT 84475 SOS 21684 HAS SOPS 21684 HAS SOUS 12357 HAS SOUPS 12357 WITH SCORE 12378.684
AT ITER 3561 NEW BEST:: SOT 84462 SOS 21658 HAS SOPS 21658 HAS SOUS 12344 HAS SOUPS 12344 WITH SCORE 12365.658
AT ITER 3578 NEW BEST:: SOT 84444 SOS 21622 HAS SOPS 21622 HAS SOUS 12317 HAS SOUPS 12317 WITH SCORE 12338.622
AT ITER 3596 NEW BEST:: SOT 84382 SOS 21553 HAS SOPS 21553 HAS SOUS 12290 HAS SOUPS 12290 WITH SCORE 12311.553
AT ITER 3599 NEW BEST:: SOT 84374 SOS 21545 HAS SOPS 21545 HAS SOUS 12266 HAS SOUPS 12266 WITH SCORE 12287.545
AT ITER 3600 NEW BEST:: SOT 84375 SOS 21547 HAS SOPS 21547 HAS SOUS 12264 HAS SOUPS 12264 WITH SCORE 12285.547
AT ITER 3604 NEW BEST:: SOT 84422 SOS 21578 HAS SOPS 21578 HAS SOUS 12250 HAS SOUPS 12250 WITH SCORE 12271.578
AT ITER 3612 NEW BEST:: SOT 84420 SOS 21576 HAS SOPS 21576 HAS SOUS 12226 HAS SOUPS 12226 WITH SCORE 12247.576
AT ITER 3613 NEW BEST:: SOT 84414 SOS 21570 HAS SOPS 21570 HAS SOUS 12226 HAS SOUPS 12226 WITH SCORE 12247.57
AT ITER 3645 NEW BEST:: SOT 84396 SOS 20904 HAS SOPS 20904 HAS SOUS 12170 HAS SOUPS 12170 WITH SCORE 12190.904
AT ITER 3672 NEW BEST:: SOT 84403 SOS 20900 HAS SOPS 20900 HAS SOUS 12166 HAS SOUPS 12166 WITH SCORE 12186.9
AT ITER 3716 NEW BEST:: SOT 84341 SOS 20776 HAS SOPS 20776 HAS SOUS 12104 HAS SOUPS 12104 WITH SCORE 12124.776
AT ITER 3730 NEW BEST:: SOT 84335 SOS 20764 HAS SOPS 20764 HAS SOUS 12092 HAS SOUPS 12092 WITH SCORE 12112.764
AT ITER 3789 NEW BEST:: SOT 84166 SOS 20666 HAS SOPS 20666 HAS SOUS 12043 HAS SOUPS 12043 WITH SCORE 12063.666
AT ITER 3816 NEW BEST:: SOT 84160 SOS 20660 HAS SOPS 20660 HAS SOUS 12037 HAS SOUPS 12037 WITH SCORE 12057.66
AT ITER 3837 NEW BEST:: SOT 84147 SOS 20591 HAS SOPS 20591 HAS SOUS 12015 HAS SOUPS 12015 WITH SCORE 12035.591
AT ITER 3859 NEW BEST:: SOT 84147 SOS 20585 HAS SOPS 20585 HAS SOUS 12015 HAS SOUPS 12015 WITH SCORE 12035.585
AT ITER 3865 NEW BEST:: SOT 84132 SOS 20555 HAS SOPS 20555 HAS SOUS 12008 HAS SOUPS 12008 WITH SCORE 12028.555
AT ITER 3873 NEW BEST:: SOT 84139 SOS 20619 HAS SOPS 20619 HAS SOUS 11981 HAS SOUPS 11981 WITH SCORE 12001.619
AT ITER 3907 NEW BEST:: SOT 84138 SOS 20618 HAS SOPS 20618 HAS SOUS 11980 HAS SOUPS 11980 WITH SCORE 12000.618
AT ITER 3964 NEW BEST:: SOT 84136 SOS 20612 HAS SOPS 20612 HAS SOUS 11976 HAS SOUPS 11976 WITH SCORE 11996.612
AT ITER 3994 NEW BEST:: SOT 84122 SOS 20584 HAS SOPS 20584 HAS SOUS 11948 HAS SOUPS 11948 WITH SCORE 11968.584
AT ITER 4059 NEW BEST:: SOT 84053 SOS 20515 HAS SOPS 20515 HAS SOUS 11945 HAS SOUPS 11945 WITH SCORE 11965.515
AT ITER 4064 NEW BEST:: SOT 84041 SOS 20503 HAS SOPS 20503 HAS SOUS 11939 HAS SOUPS 11939 WITH SCORE 11959.503
AT ITER 4069 NEW BEST:: SOT 84024 SOS 20469 HAS SOPS 20469 HAS SOUS 11917 HAS SOUPS 11917 WITH SCORE 11937.469
AT ITER 4070 NEW BEST:: SOT 84018 SOS 20463 HAS SOPS 20463 HAS SOUS 11914 HAS SOUPS 11914 WITH SCORE 11934.463
AT ITER 4086 NEW BEST:: SOT 83995 SOS 20423 HAS SOPS 20423 HAS SOUS 11896 HAS SOUPS 11896 WITH SCORE 11916.423
AT ITER 4119 NEW BEST:: SOT 83975 SOS 20431 HAS SOPS 20431 HAS SOUS 11876 HAS SOUPS 11876 WITH SCORE 11896.431
AT ITER 4155 NEW BEST:: SOT 83973 SOS 20427 HAS SOPS 20427 HAS SOUS 11876 HAS SOUPS 11876 WITH SCORE 11896.427
AT ITER 4167 NEW BEST:: SOT 83955 SOS 20409 HAS SOPS 20409 HAS SOUS 11858 HAS SOUPS 11858 WITH SCORE 11878.409
AT ITER 4216 NEW BEST:: SOT 83937 SOS 20373 HAS SOPS 20373 HAS SOUS 11837 HAS SOUPS 11837 WITH SCORE 11857.373
AT ITER 4218 NEW BEST:: SOT 83899 SOS 20297 HAS SOPS 20297 HAS SOUS 11829 HAS SOUPS 11829 WITH SCORE 11849.297
AT ITER 4220 NEW BEST:: SOT 83884 SOS 20276 HAS SOPS 20276 HAS SOUS 11808 HAS SOUPS 11808 WITH SCORE 11828.276
AT ITER 4236 NEW BEST:: SOT 83884 SOS 20261 HAS SOPS 20261 HAS SOUS 11808 HAS SOUPS 11808 WITH SCORE 11828.261
AT ITER 4252 NEW BEST:: SOT 83852 SOS 20197 HAS SOPS 20197 HAS SOUS 11805 HAS SOUPS 11805 WITH SCORE 11825.197
AT ITER 4336 NEW BEST:: SOT 83852 SOS 20185 HAS SOPS 20185 HAS SOUS 11805 HAS SOUPS 11805 WITH SCORE 11825.185
AT ITER 4341 NEW BEST:: SOT 83852 SOS 20185 HAS SOPS 20185 HAS SOUS 11803 HAS SOUPS 11803 WITH SCORE 11823.185
AT ITER 4347 NEW BEST:: SOT 83852 SOS 20103 HAS SOPS 20103 HAS SOUS 11803 HAS SOUPS 11803 WITH SCORE 11823.103
AT ITER 4349 NEW BEST:: SOT 83838 SOS 20089 HAS SOPS 20089 HAS SOUS 11789 HAS SOUPS 11789 WITH SCORE 11809.089
AT ITER 4367 NEW BEST:: SOT 83838 SOS 20089 HAS SOPS 20089 HAS SOUS 11776 HAS SOUPS 11776 WITH SCORE 11796.089
AT ITER 4381 NEW BEST:: SOT 83838 SOS 20072 HAS SOPS 20072 HAS SOUS 11776 HAS SOUPS 11776 WITH SCORE 11796.072
AT ITER 4404 NEW BEST:: SOT 83823 SOS 20042 HAS SOPS 20042 HAS SOUS 11746 HAS SOUPS 11746 WITH SCORE 11766.042
AT ITER 4519 NEW BEST:: SOT 83811 SOS 20018 HAS SOPS 20018 HAS SOUS 11746 HAS SOUPS 11746 WITH SCORE 11766.018
AT ITER 4545 NEW BEST:: SOT 83804 SOS 20004 HAS SOPS 20004 HAS SOUS 11732 HAS SOUPS 11732 WITH SCORE 11752.004
AT ITER 4567 NEW BEST:: SOT 83803 SOS 20002 HAS SOPS 20002 HAS SOUS 11730 HAS SOUPS 11730 WITH SCORE 11750.002
AT ITER 4626 NEW BEST:: SOT 83778 SOS 19952 HAS SOPS 19952 HAS SOUS 11694 HAS SOUPS 11694 WITH SCORE 11713.952
AT ITER 4680 NEW BEST:: SOT 83777 SOS 19949 HAS SOPS 19949 HAS SOUS 11693 HAS SOUPS 11693 WITH SCORE 11712.949
AT ITER 4711 NEW BEST:: SOT 83777 SOS 19848 HAS SOPS 19848 HAS SOUS 11592 HAS SOUPS 11592 WITH SCORE 11611.848
AT ITER 4740 NEW BEST:: SOT 83733 SOS 19815 HAS SOPS 19815 HAS SOUS 11559 HAS SOUPS 11559 WITH SCORE 11578.815
AT ITER 4777 NEW BEST:: SOT 83733 SOS 19815 HAS SOPS 19815 HAS SOUS 11553 HAS SOUPS 11553 WITH SCORE 11572.815
AT ITER 4819 NEW BEST:: SOT 83832 SOS 20013 HAS SOPS 20013 HAS SOUS 11526 HAS SOUPS 11526 WITH SCORE 11546.013
AT ITER 4825 NEW BEST:: SOT 83822 SOS 20003 HAS SOPS 20003 HAS SOUS 11526 HAS SOUPS 11526 WITH SCORE 11546.003
AT ITER 4836 NEW BEST:: SOT 83822 SOS 19991 HAS SOPS 19991 HAS SOUS 11526 HAS SOUPS 11526 WITH SCORE 11545.991
AT ITER 4880 NEW BEST:: SOT 83820 SOS 19982 HAS SOPS 19982 HAS SOUS 11519 HAS SOUPS 11519 WITH SCORE 11538.982
AT ITER 4893 NEW BEST:: SOT 83820 SOS 19976 HAS SOPS 19976 HAS SOUS 11513 HAS SOUPS 11513 WITH SCORE 11532.976
AT ITER 4896 NEW BEST:: SOT 83819 SOS 19975 HAS SOPS 19975 HAS SOUS 11512 HAS SOUPS 11512 WITH SCORE 11531.975
AT ITER 4902 NEW BEST:: SOT 83796 SOS 19971 HAS SOPS 19971 HAS SOUS 11489 HAS SOUPS 11489 WITH SCORE 11508.971
AT ITER 4945 NEW BEST:: SOT 83796 SOS 19945 HAS SOPS 19945 HAS SOUS 11489 HAS SOUPS 11489 WITH SCORE 11508.945
AT ITER 4949 NEW BEST:: SOT 83785 SOS 19936 HAS SOPS 19936 HAS SOUS 11480 HAS SOUPS 11480 WITH SCORE 11499.936
AT ITER 4987 NEW BEST:: SOT 83788 SOS 19930 HAS SOPS 19930 HAS SOUS 11478 HAS SOUPS 11478 WITH SCORE 11497.93
AT ITER 5045 NEW BEST:: SOT 83798 SOS 19896 HAS SOPS 19896 HAS SOUS 11444 HAS SOUPS 11444 WITH SCORE 11463.896
AT ITER 5050 NEW BEST:: SOT 83823 SOS 19907 HAS SOPS 19907 HAS SOUS 11421 HAS SOUPS 11421 WITH SCORE 11440.907
AT ITER 5081 NEW BEST:: SOT 83781 SOS 19870 HAS SOPS 19870 HAS SOUS 11337 HAS SOUPS 11337 WITH SCORE 11356.87
AT ITER 5098 NEW BEST:: SOT 83777 SOS 19858 HAS SOPS 19858 HAS SOUS 11329 HAS SOUPS 11329 WITH SCORE 11348.858
AT ITER 5106 NEW BEST:: SOT 83749 SOS 19801 HAS SOPS 19801 HAS SOUS 11272 HAS SOUPS 11272 WITH SCORE 11291.801
AT ITER 5157 NEW BEST:: SOT 83726 SOS 19780 HAS SOPS 19780 HAS SOUS 11251 HAS SOUPS 11251 WITH SCORE 11270.78
AT ITER 5303 NEW BEST:: SOT 83726 SOS 19780 HAS SOPS 19780 HAS SOUS 11247 HAS SOUPS 11247 WITH SCORE 11266.78
AT ITER 5316 NEW BEST:: SOT 83721 SOS 19784 HAS SOPS 19784 HAS SOUS 11237 HAS SOUPS 11237 WITH SCORE 11256.784
AT ITER 5320 NEW BEST:: SOT 83721 SOS 19779 HAS SOPS 19779 HAS SOUS 11237 HAS SOUPS 11237 WITH SCORE 11256.779
AT ITER 5342 NEW BEST:: SOT 83713 SOS 19752 HAS SOPS 19752 HAS SOUS 11210 HAS SOUPS 11210 WITH SCORE 11229.752
AT ITER 5355 NEW BEST:: SOT 83722 SOS 19751 HAS SOPS 19751 HAS SOUS 11209 HAS SOUPS 11209 WITH SCORE 11228.751
AT ITER 5412 NEW BEST:: SOT 83695 SOS 19709 HAS SOPS 19709 HAS SOUS 11197 HAS SOUPS 11197 WITH SCORE 11216.709
AT ITER 5416 NEW BEST:: SOT 83661 SOS 19675 HAS SOPS 19675 HAS SOUS 11184 HAS SOUPS 11184 WITH SCORE 11203.675
AT ITER 5421 NEW BEST:: SOT 83654 SOS 19651 HAS SOPS 19651 HAS SOUS 11167 HAS SOUPS 11167 WITH SCORE 11186.651
AT ITER 5425 NEW BEST:: SOT 83648 SOS 19642 HAS SOPS 19642 HAS SOUS 11158 HAS SOUPS 11158 WITH SCORE 11177.642
AT ITER 5436 NEW BEST:: SOT 83632 SOS 19610 HAS SOPS 19610 HAS SOUS 11142 HAS SOUPS 11142 WITH SCORE 11161.61
AT ITER 5476 NEW BEST:: SOT 83631 SOS 19608 HAS SOPS 19608 HAS SOUS 11141 HAS SOUPS 11141 WITH SCORE 11160.608
AT ITER 5522 NEW BEST:: SOT 83610 SOS 19587 HAS SOPS 19587 HAS SOUS 11141 HAS SOUPS 11141 WITH SCORE 11160.587
AT ITER 5546 NEW BEST:: SOT 83499 SOS 19459 HAS SOPS 19459 HAS SOUS 11128 HAS SOUPS 11128 WITH SCORE 11147.459
AT ITER 5721 NEW BEST:: SOT 83499 SOS 19457 HAS SOPS 19457 HAS SOUS 11126 HAS SOUPS 11126 WITH SCORE 11145.457
AT ITER 5748 NEW BEST:: SOT 83483 SOS 19204 HAS SOPS 19204 HAS SOUS 11094 HAS SOUPS 11094 WITH SCORE 11113.204
AT ITER 5749 NEW BEST:: SOT 83546 SOS 19200 HAS SOPS 19200 HAS SOUS 11090 HAS SOUPS 11090 WITH SCORE 11109.2
AT ITER 5750 NEW BEST:: SOT 83547 SOS 19194 HAS SOPS 19194 HAS SOUS 11084 HAS SOUPS 11084 WITH SCORE 11103.194
AT ITER 5814 NEW BEST:: SOT 83552 SOS 19163 HAS SOPS 19163 HAS SOUS 11082 HAS SOUPS 11082 WITH SCORE 11101.163
AT ITER 5853 NEW BEST:: SOT 83552 SOS 19158 HAS SOPS 19158 HAS SOUS 11077 HAS SOUPS 11077 WITH SCORE 11096.158
AT ITER 5868 NEW BEST:: SOT 83546 SOS 19171 HAS SOPS 19171 HAS SOUS 11065 HAS SOUPS 11065 WITH SCORE 11084.171
AT ITER 5881 NEW BEST:: SOT 83544 SOS 19169 HAS SOPS 19169 HAS SOUS 11063 HAS SOUPS 11063 WITH SCORE 11082.169
AT ITER 5882 NEW BEST:: SOT 83539 SOS 19159 HAS SOPS 19159 HAS SOUS 11058 HAS SOUPS 11058 WITH SCORE 11077.159
AT ITER 5927 NEW BEST:: SOT 83528 SOS 19148 HAS SOPS 19148 HAS SOUS 11047 HAS SOUPS 11047 WITH SCORE 11066.148
AT ITER 5965 NEW BEST:: SOT 83511 SOS 19158 HAS SOPS 19158 HAS SOUS 11042 HAS SOUPS 11042 WITH SCORE 11061.158
AT ITER 6031 NEW BEST:: SOT 83501 SOS 19148 HAS SOPS 19148 HAS SOUS 11032 HAS SOUPS 11032 WITH SCORE 11051.148
AT ITER 6055 NEW BEST:: SOT 83501 SOS 19148 HAS SOPS 19148 HAS SOUS 11021 HAS SOUPS 11021 WITH SCORE 11040.148
AT ITER 6079 NEW BEST:: SOT 83456 SOS 19058 HAS SOPS 19058 HAS SOUS 10976 HAS SOUPS 10976 WITH SCORE 10995.058
AT ITER 6089 NEW BEST:: SOT 83437 SOS 19100 HAS SOPS 19100 HAS SOUS 10957 HAS SOUPS 10957 WITH SCORE 10976.1
AT ITER 6141 NEW BEST:: SOT 83433 SOS 19096 HAS SOPS 19096 HAS SOUS 10953 HAS SOUPS 10953 WITH SCORE 10972.096
AT ITER 6149 NEW BEST:: SOT 83425 SOS 19092 HAS SOPS 19092 HAS SOUS 10949 HAS SOUPS 10949 WITH SCORE 10968.092
AT ITER 6183 NEW BEST:: SOT 83425 SOS 19077 HAS SOPS 19077 HAS SOUS 10949 HAS SOUPS 10949 WITH SCORE 10968.077
AT ITER 6196 NEW BEST:: SOT 83424 SOS 19076 HAS SOPS 19076 HAS SOUS 10948 HAS SOUPS 10948 WITH SCORE 10967.076
AT ITER 6206 NEW BEST:: SOT 83413 SOS 19054 HAS SOPS 19054 HAS SOUS 10926 HAS SOUPS 10926 WITH SCORE 10945.054
AT ITER 6223 NEW BEST:: SOT 83414 SOS 19046 HAS SOPS 19046 HAS SOUS 10918 HAS SOUPS 10918 WITH SCORE 10937.046
AT ITER 6269 NEW BEST:: SOT 83410 SOS 19042 HAS SOPS 19042 HAS SOUS 10914 HAS SOUPS 10914 WITH SCORE 10933.042
AT ITER 6281 NEW BEST:: SOT 83409 SOS 19031 HAS SOPS 19031 HAS SOUS 10912 HAS SOUPS 10912 WITH SCORE 10931.031
AT ITER 6296 NEW BEST:: SOT 83402 SOS 18999 HAS SOPS 18999 HAS SOUS 10883 HAS SOUPS 10883 WITH SCORE 10901.999
AT ITER 6297 NEW BEST:: SOT 83398 SOS 18991 HAS SOPS 18991 HAS SOUS 10878 HAS SOUPS 10878 WITH SCORE 10896.991
AT ITER 6371 NEW BEST:: SOT 83381 SOS 18978 HAS SOPS 18978 HAS SOUS 10865 HAS SOUPS 10865 WITH SCORE 10883.978
AT ITER 6463 NEW BEST:: SOT 83380 SOS 18976 HAS SOPS 18976 HAS SOUS 10865 HAS SOUPS 10865 WITH SCORE 10883.976
AT ITER 6498 NEW BEST:: SOT 83243 SOS 19130 HAS SOPS 19130 HAS SOUS 10802 HAS SOUPS 10802 WITH SCORE 10821.13
AT ITER 6501 NEW BEST:: SOT 83242 SOS 19128 HAS SOPS 19128 HAS SOUS 10800 HAS SOUPS 10800 WITH SCORE 10819.128
AT ITER 6504 NEW BEST:: SOT 83230 SOS 19104 HAS SOPS 19104 HAS SOUS 10788 HAS SOUPS 10788 WITH SCORE 10807.104
AT ITER 6516 NEW BEST:: SOT 83230 SOS 19075 HAS SOPS 19075 HAS SOUS 10788 HAS SOUPS 10788 WITH SCORE 10807.075
AT ITER 6526 NEW BEST:: SOT 83227 SOS 19075 HAS SOPS 19075 HAS SOUS 10785 HAS SOUPS 10785 WITH SCORE 10804.075
AT ITER 6540 NEW BEST:: SOT 83231 SOS 19081 HAS SOPS 19081 HAS SOUS 10776 HAS SOUPS 10776 WITH SCORE 10795.081
AT ITER 6553 NEW BEST:: SOT 83204 SOS 19027 HAS SOPS 19027 HAS SOUS 10754 HAS SOUPS 10754 WITH SCORE 10773.027
AT ITER 6565 NEW BEST:: SOT 83162 SOS 19009 HAS SOPS 19009 HAS SOUS 10733 HAS SOUPS 10733 WITH SCORE 10752.009
AT ITER 6570 NEW BEST:: SOT 83143 SOS 18971 HAS SOPS 18971 HAS SOUS 10728 HAS SOUPS 10728 WITH SCORE 10746.971
AT ITER 6601 NEW BEST:: SOT 83143 SOS 18789 HAS SOPS 18789 HAS SOUS 10728 HAS SOUPS 10728 WITH SCORE 10746.789
AT ITER 6610 NEW BEST:: SOT 83110 SOS 18756 HAS SOPS 18756 HAS SOUS 10722 HAS SOUPS 10722 WITH SCORE 10740.756
AT ITER 6653 NEW BEST:: SOT 83102 SOS 18746 HAS SOPS 18746 HAS SOUS 10712 HAS SOUPS 10712 WITH SCORE 10730.746
AT ITER 6697 NEW BEST:: SOT 83076 SOS 18655 HAS SOPS 18655 HAS SOUS 10693 HAS SOUPS 10693 WITH SCORE 10711.655
AT ITER 6712 NEW BEST:: SOT 83092 SOS 18651 HAS SOPS 18651 HAS SOUS 10689 HAS SOUPS 10689 WITH SCORE 10707.651
AT ITER 6721 NEW BEST:: SOT 83092 SOS 18622 HAS SOPS 18622 HAS SOUS 10661 HAS SOUPS 10661 WITH SCORE 10679.622
AT ITER 6773 NEW BEST:: SOT 83089 SOS 18619 HAS SOPS 18619 HAS SOUS 10658 HAS SOUPS 10658 WITH SCORE 10676.619
AT ITER 6805 NEW BEST:: SOT 83069 SOS 18579 HAS SOPS 18579 HAS SOUS 10638 HAS SOUPS 10638 WITH SCORE 10656.579
AT ITER 6838 NEW BEST:: SOT 83069 SOS 18572 HAS SOPS 18572 HAS SOUS 10638 HAS SOUPS 10638 WITH SCORE 10656.572
AT ITER 6869 NEW BEST:: SOT 83069 SOS 18565 HAS SOPS 18565 HAS SOUS 10638 HAS SOUPS 10638 WITH SCORE 10656.565
AT ITER 6898 NEW BEST:: SOT 83030 SOS 18503 HAS SOPS 18503 HAS SOUS 10634 HAS SOUPS 10634 WITH SCORE 10652.503
AT ITER 6932 NEW BEST:: SOT 83019 SOS 18492 HAS SOPS 18492 HAS SOUS 10634 HAS SOUPS 10634 WITH SCORE 10652.492
AT ITER 7052 NEW BEST:: SOT 83012 SOS 18478 HAS SOPS 18478 HAS SOUS 10620 HAS SOUPS 10620 WITH SCORE 10638.478
AT ITER 7099 NEW BEST:: SOT 83012 SOS 18386 HAS SOPS 18386 HAS SOUS 10620 HAS SOUPS 10620 WITH SCORE 10638.386
AT ITER 7218 NEW BEST:: SOT 83010 SOS 18384 HAS SOPS 18384 HAS SOUS 10618 HAS SOUPS 10618 WITH SCORE 10636.384
AT ITER 7229 NEW BEST:: SOT 83010 SOS 18291 HAS SOPS 18291 HAS SOUS 10618 HAS SOUPS 10618 WITH SCORE 10636.291
AT ITER 7315 NEW BEST:: SOT 83007 SOS 18288 HAS SOPS 18288 HAS SOUS 10615 HAS SOUPS 10615 WITH SCORE 10633.288
AT ITER 7400 NEW BEST:: SOT 82987 SOS 18249 HAS SOPS 18249 HAS SOUS 10607 HAS SOUPS 10607 WITH SCORE 10625.249
AT ITER 7428 NEW BEST:: SOT 83035 SOS 18305 HAS SOPS 18305 HAS SOUS 10603 HAS SOUPS 10603 WITH SCORE 10621.305
AT ITER 7442 NEW BEST:: SOT 83035 SOS 18273 HAS SOPS 18273 HAS SOUS 10603 HAS SOUPS 10603 WITH SCORE 10621.273
AT ITER 7447 NEW BEST:: SOT 83035 SOS 18272 HAS SOPS 18272 HAS SOUS 10602 HAS SOUPS 10602 WITH SCORE 10620.272
AT ITER 7559 NEW BEST:: SOT 83031 SOS 18264 HAS SOPS 18264 HAS SOUS 10594 HAS SOUPS 10594 WITH SCORE 10612.264
AT ITER 7613 NEW BEST:: SOT 83014 SOS 18195 HAS SOPS 18195 HAS SOUS 10525 HAS SOUPS 10525 WITH SCORE 10543.195
AT ITER 7702 NEW BEST:: SOT 83014 SOS 18210 HAS SOPS 18210 HAS SOUS 10517 HAS SOUPS 10517 WITH SCORE 10535.21
AT ITER 7936 NEW BEST:: SOT 83014 SOS 18195 HAS SOPS 18195 HAS SOUS 10502 HAS SOUPS 10502 WITH SCORE 10520.195
AT ITER 7943 NEW BEST:: SOT 83012 SOS 18191 HAS SOPS 18191 HAS SOUS 10499 HAS SOUPS 10499 WITH SCORE 10517.191
AT ITER 7972 NEW BEST:: SOT 82994 SOS 18164 HAS SOPS 18164 HAS SOUS 10481 HAS SOUPS 10481 WITH SCORE 10499.164
AT ITER 7977 NEW BEST:: SOT 82980 SOS 18116 HAS SOPS 18116 HAS SOUS 10433 HAS SOUPS 10433 WITH SCORE 10451.116
AT ITER 7986 NEW BEST:: SOT 82962 SOS 18098 HAS SOPS 18098 HAS SOUS 10415 HAS SOUPS 10415 WITH SCORE 10433.098
AT ITER 8050 NEW BEST:: SOT 82962 SOS 18098 HAS SOPS 18098 HAS SOUS 10408 HAS SOUPS 10408 WITH SCORE 10426.098
AT ITER 8100 NEW BEST:: SOT 82962 SOS 18096 HAS SOPS 18096 HAS SOUS 10408 HAS SOUPS 10408 WITH SCORE 10426.096
AT ITER 8110 NEW BEST:: SOT 82954 SOS 18080 HAS SOPS 18080 HAS SOUS 10400 HAS SOUPS 10400 WITH SCORE 10418.08
AT ITER 8122 NEW BEST:: SOT 82953 SOS 18078 HAS SOPS 18078 HAS SOUS 10399 HAS SOUPS 10399 WITH SCORE 10417.078
AT ITER 8185 NEW BEST:: SOT 82985 SOS 18142 HAS SOPS 18142 HAS SOUS 10393 HAS SOUPS 10393 WITH SCORE 10411.142
AT ITER 8200 NEW BEST:: SOT 82977 SOS 18134 HAS SOPS 18134 HAS SOUS 10385 HAS SOUPS 10385 WITH SCORE 10403.134
AT ITER 8202 NEW BEST:: SOT 82977 SOS 18134 HAS SOPS 18134 HAS SOUS 10375 HAS SOUPS 10375 WITH SCORE 10393.134
AT ITER 8256 NEW BEST:: SOT 82977 SOS 18114 HAS SOPS 18114 HAS SOUS 10375 HAS SOUPS 10375 WITH SCORE 10393.114
AT ITER 8274 NEW BEST:: SOT 82937 SOS 18034 HAS SOPS 18034 HAS SOUS 10375 HAS SOUPS 10375 WITH SCORE 10393.034
AT ITER 8296 NEW BEST:: SOT 82937 SOS 18023 HAS SOPS 18023 HAS SOUS 10353 HAS SOUPS 10353 WITH SCORE 10371.023
AT ITER 8333 NEW BEST:: SOT 82932 SOS 18018 HAS SOPS 18018 HAS SOUS 10353 HAS SOUPS 10353 WITH SCORE 10371.018
AT ITER 8380 NEW BEST:: SOT 82929 SOS 18015 HAS SOPS 18015 HAS SOUS 10353 HAS SOUPS 10353 WITH SCORE 10371.015
AT ITER 8382 NEW BEST:: SOT 82913 SOS 17983 HAS SOPS 17983 HAS SOUS 10337 HAS SOUPS 10337 WITH SCORE 10354.983
AT ITER 8463 NEW BEST:: SOT 82908 SOS 17973 HAS SOPS 17973 HAS SOUS 10327 HAS SOUPS 10327 WITH SCORE 10344.973
AT ITER 8464 NEW BEST:: SOT 82928 SOS 18013 HAS SOPS 18013 HAS SOUS 10325 HAS SOUPS 10325 WITH SCORE 10343.013
AT ITER 8525 NEW BEST:: SOT 82928 SOS 17995 HAS SOPS 17995 HAS SOUS 10319 HAS SOUPS 10319 WITH SCORE 10336.995
AT ITER 8547 NEW BEST:: SOT 82918 SOS 17945 HAS SOPS 17945 HAS SOUS 10303 HAS SOUPS 10303 WITH SCORE 10320.945
AT ITER 8589 NEW BEST:: SOT 82909 SOS 17927 HAS SOPS 17927 HAS SOUS 10294 HAS SOUPS 10294 WITH SCORE 10311.927
AT ITER 8804 NEW BEST:: SOT 82909 SOS 17915 HAS SOPS 17915 HAS SOUS 10282 HAS SOUPS 10282 WITH SCORE 10299.915
AT ITER 8816 NEW BEST:: SOT 82892 SOS 17804 HAS SOPS 17804 HAS SOUS 10237 HAS SOUPS 10237 WITH SCORE 10254.804
AT ITER 8819 NEW BEST:: SOT 82888 SOS 17796 HAS SOPS 17796 HAS SOUS 10229 HAS SOUPS 10229 WITH SCORE 10246.796
AT ITER 8821 NEW BEST:: SOT 82879 SOS 17788 HAS SOPS 17788 HAS SOUS 10221 HAS SOUPS 10221 WITH SCORE 10238.788
AT ITER 8837 NEW BEST:: SOT 82894 SOS 17784 HAS SOPS 17784 HAS SOUS 10217 HAS SOUPS 10217 WITH SCORE 10234.784
AT ITER 8849 NEW BEST:: SOT 82893 SOS 17783 HAS SOPS 17783 HAS SOUS 10216 HAS SOUPS 10216 WITH SCORE 10233.783
AT ITER 8878 NEW BEST:: SOT 82893 SOS 17783 HAS SOPS 17783 HAS SOUS 10210 HAS SOUPS 10210 WITH SCORE 10227.783
AT ITER 8885 NEW BEST:: SOT 82893 SOS 17765 HAS SOPS 17765 HAS SOUS 10210 HAS SOUPS 10210 WITH SCORE 10227.765
AT ITER 8908 NEW BEST:: SOT 82883 SOS 17755 HAS SOPS 17755 HAS SOUS 10200 HAS SOUPS 10200 WITH SCORE 10217.755
AT ITER 8984 NEW BEST:: SOT 82830 SOS 17702 HAS SOPS 17702 HAS SOUS 10149 HAS SOUPS 10149 WITH SCORE 10166.702
AT ITER 8985 NEW BEST:: SOT 82808 SOS 17669 HAS SOPS 17669 HAS SOUS 10129 HAS SOUPS 10129 WITH SCORE 10146.669
AT ITER 9035 NEW BEST:: SOT 82788 SOS 17629 HAS SOPS 17629 HAS SOUS 10083 HAS SOUPS 10083 WITH SCORE 10100.629
AT ITER 9107 NEW BEST:: SOT 82741 SOS 18231 HAS SOPS 18231 HAS SOUS 10065 HAS SOUPS 10065 WITH SCORE 10083.231
AT ITER 9120 NEW BEST:: SOT 82741 SOS 18226 HAS SOPS 18226 HAS SOUS 10060 HAS SOUPS 10060 WITH SCORE 10078.226
AT ITER 9210 NEW BEST:: SOT 82739 SOS 18224 HAS SOPS 18224 HAS SOUS 10058 HAS SOUPS 10058 WITH SCORE 10076.224
AT ITER 9281 NEW BEST:: SOT 82734 SOS 18214 HAS SOPS 18214 HAS SOUS 10050 HAS SOUPS 10050 WITH SCORE 10068.214
AT ITER 9311 NEW BEST:: SOT 82734 SOS 18194 HAS SOPS 18194 HAS SOUS 10044 HAS SOUPS 10044 WITH SCORE 10062.194
AT ITER 9361 NEW BEST:: SOT 82727 SOS 18180 HAS SOPS 18180 HAS SOUS 10043 HAS SOUPS 10043 WITH SCORE 10061.18
AT ITER 9451 NEW BEST:: SOT 82726 SOS 18178 HAS SOPS 18178 HAS SOUS 10042 HAS SOUPS 10042 WITH SCORE 10060.178
AT ITER 9457 NEW BEST:: SOT 82724 SOS 18174 HAS SOPS 18174 HAS SOUS 10040 HAS SOUPS 10040 WITH SCORE 10058.174
AT ITER 9469 NEW BEST:: SOT 82723 SOS 18172 HAS SOPS 18172 HAS SOUS 10038 HAS SOUPS 10038 WITH SCORE 10056.172
AT ITER 9564 NEW BEST:: SOT 82713 SOS 18152 HAS SOPS 18152 HAS SOUS 10018 HAS SOUPS 10018 WITH SCORE 10036.152
AT ITER 9607 NEW BEST:: SOT 82694 SOS 18095 HAS SOPS 18095 HAS SOUS 10018 HAS SOUPS 10018 WITH SCORE 10036.095
AT ITER 9614 NEW BEST:: SOT 82683 SOS 18091 HAS SOPS 18091 HAS SOUS 10014 HAS SOUPS 10014 WITH SCORE 10032.091
AT ITER 9712 NEW BEST:: SOT 82677 SOS 18048 HAS SOPS 18048 HAS SOUS 10003 HAS SOUPS 10003 WITH SCORE 10021.048
AT ITER 9726 NEW BEST:: SOT 82664 SOS 18031 HAS SOPS 18031 HAS SOUS 9994 HAS SOUPS 9994 WITH SCORE 10012.031
AT ITER 9731 NEW BEST:: SOT 82659 SOS 18021 HAS SOPS 18021 HAS SOUS 9984 HAS SOUPS 9984 WITH SCORE 10002.021
AT ITER 9754 NEW BEST:: SOT 82626 SOS 18227 HAS SOPS 18227 HAS SOUS 9968 HAS SOUPS 9968 WITH SCORE 9986.227
AT ITER 9765 NEW BEST:: SOT 82609 SOS 18192 HAS SOPS 18192 HAS SOUS 9963 HAS SOUPS 9963 WITH SCORE 9981.192
AT ITER 9842 NEW BEST:: SOT 82607 SOS 18190 HAS SOPS 18190 HAS SOUS 9961 HAS SOUPS 9961 WITH SCORE 9979.19
AT ITER 9861 NEW BEST:: SOT 82634 SOS 18217 HAS SOPS 18217 HAS SOUS 9940 HAS SOUPS 9940 WITH SCORE 9958.217
AT ITER 9918 NEW BEST:: SOT 82639 SOS 18107 HAS SOPS 18107 HAS SOUS 9940 HAS SOUPS 9940 WITH SCORE 9958.107
AT ITER 9963 NEW BEST:: SOT 82631 SOS 18091 HAS SOPS 18091 HAS SOUS 9924 HAS SOUPS 9924 WITH SCORE 9942.091
AT ITER 9967 NEW BEST:: SOT 82643 SOS 18115 HAS SOPS 18115 HAS SOUS 9913 HAS SOUPS 9913 WITH SCORE 9931.115
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 1196768 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16154712 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="SmartHome-PT-13"
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 SmartHome-PT-13, 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 r451-smll-167912643200256"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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