Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r224-oct2-159033538400124.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is SmartHome-PT-16, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538400124
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 284K
-rw-r--r-- 1 mcc users 3.4K May 14 03:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 14 03:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 13 21:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 21:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.4K May 13 15:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 13 15:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 13 10:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K May 13 10:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 3 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 120K May 12 20:42 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME SmartHome-PT-16-CTLFireability-00
FORMULA_NAME SmartHome-PT-16-CTLFireability-01
FORMULA_NAME SmartHome-PT-16-CTLFireability-02
FORMULA_NAME SmartHome-PT-16-CTLFireability-03
FORMULA_NAME SmartHome-PT-16-CTLFireability-04
FORMULA_NAME SmartHome-PT-16-CTLFireability-05
FORMULA_NAME SmartHome-PT-16-CTLFireability-06
FORMULA_NAME SmartHome-PT-16-CTLFireability-07
FORMULA_NAME SmartHome-PT-16-CTLFireability-08
FORMULA_NAME SmartHome-PT-16-CTLFireability-09
FORMULA_NAME SmartHome-PT-16-CTLFireability-10
FORMULA_NAME SmartHome-PT-16-CTLFireability-11
FORMULA_NAME SmartHome-PT-16-CTLFireability-12
FORMULA_NAME SmartHome-PT-16-CTLFireability-13
FORMULA_NAME SmartHome-PT-16-CTLFireability-14
FORMULA_NAME SmartHome-PT-16-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590469788969

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 16
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 499 places, 533 transitions, 1222 arcs.
AT ITER 0 NEW BEST:: SOT 157221 SOS 35977 HAS SOPS 35977 HAS SOUS 35133 HAS SOUPS 35133 WITH SCORE 35168.977
AT ITER 1 NEW BEST:: SOT 157227 SOS 35950 HAS SOPS 35950 HAS SOUS 35098 HAS SOUPS 35098 WITH SCORE 35133.95
AT ITER 6 NEW BEST:: SOT 157211 SOS 35918 HAS SOPS 35918 HAS SOUS 35039 HAS SOUPS 35039 WITH SCORE 35074.918
AT ITER 8 NEW BEST:: SOT 156803 SOS 38059 HAS SOPS 38059 HAS SOUS 34793 HAS SOUPS 34793 WITH SCORE 34831.059
AT ITER 41 NEW BEST:: SOT 156689 SOS 37814 HAS SOPS 37814 HAS SOUS 34619 HAS SOUPS 34619 WITH SCORE 34656.814
AT ITER 47 NEW BEST:: SOT 155380 SOS 38004 HAS SOPS 38004 HAS SOUS 33503 HAS SOUPS 33503 WITH SCORE 33541.004
AT ITER 54 NEW BEST:: SOT 155344 SOS 37932 HAS SOPS 37932 HAS SOUS 33364 HAS SOUPS 33364 WITH SCORE 33401.932
AT ITER 55 NEW BEST:: SOT 155322 SOS 37910 HAS SOPS 37910 HAS SOUS 33364 HAS SOUPS 33364 WITH SCORE 33401.91
AT ITER 64 NEW BEST:: SOT 155298 SOS 37838 HAS SOPS 37838 HAS SOUS 33292 HAS SOUPS 33292 WITH SCORE 33329.838
AT ITER 68 NEW BEST:: SOT 155297 SOS 37813 HAS SOPS 37813 HAS SOUS 33290 HAS SOUPS 33290 WITH SCORE 33327.813
AT ITER 85 NEW BEST:: SOT 155275 SOS 37769 HAS SOPS 37769 HAS SOUS 33246 HAS SOUPS 33246 WITH SCORE 33283.769
AT ITER 86 NEW BEST:: SOT 155274 SOS 37768 HAS SOPS 37768 HAS SOUS 33245 HAS SOUPS 33245 WITH SCORE 33282.768
AT ITER 87 NEW BEST:: SOT 155274 SOS 37746 HAS SOPS 37746 HAS SOUS 33234 HAS SOUPS 33234 WITH SCORE 33271.746
AT ITER 90 NEW BEST:: SOT 155262 SOS 37722 HAS SOPS 37722 HAS SOUS 33216 HAS SOUPS 33216 WITH SCORE 33253.722
AT ITER 96 NEW BEST:: SOT 155235 SOS 37668 HAS SOPS 37668 HAS SOUS 33188 HAS SOUPS 33188 WITH SCORE 33225.668
AT ITER 106 NEW BEST:: SOT 154174 SOS 37460 HAS SOPS 37460 HAS SOUS 32289 HAS SOUPS 32289 WITH SCORE 32326.46
AT ITER 110 NEW BEST:: SOT 153709 SOS 38657 HAS SOPS 38657 HAS SOUS 31993 HAS SOUPS 31993 WITH SCORE 32031.657
AT ITER 113 NEW BEST:: SOT 153545 SOS 38385 HAS SOPS 38385 HAS SOUS 31803 HAS SOUPS 31803 WITH SCORE 31841.385
AT ITER 117 NEW BEST:: SOT 153492 SOS 38502 HAS SOPS 38502 HAS SOUS 31778 HAS SOUPS 31778 WITH SCORE 31816.502
AT ITER 126 NEW BEST:: SOT 153482 SOS 38492 HAS SOPS 38492 HAS SOUS 31758 HAS SOUPS 31758 WITH SCORE 31796.492
AT ITER 135 NEW BEST:: SOT 153476 SOS 38489 HAS SOPS 38489 HAS SOUS 31755 HAS SOUPS 31755 WITH SCORE 31793.489
AT ITER 139 NEW BEST:: SOT 153475 SOS 38526 HAS SOPS 38526 HAS SOUS 31754 HAS SOUPS 31754 WITH SCORE 31792.526
AT ITER 142 NEW BEST:: SOT 153475 SOS 38506 HAS SOPS 38506 HAS SOUS 31734 HAS SOUPS 31734 WITH SCORE 31772.506
AT ITER 152 NEW BEST:: SOT 153425 SOS 38467 HAS SOPS 38467 HAS SOUS 31690 HAS SOUPS 31690 WITH SCORE 31728.467
AT ITER 156 NEW BEST:: SOT 153467 SOS 38367 HAS SOPS 38367 HAS SOUS 31664 HAS SOUPS 31664 WITH SCORE 31702.367
AT ITER 180 NEW BEST:: SOT 153369 SOS 38283 HAS SOPS 38283 HAS SOUS 31573 HAS SOUPS 31573 WITH SCORE 31611.283
AT ITER 181 NEW BEST:: SOT 153332 SOS 38209 HAS SOPS 38209 HAS SOUS 31499 HAS SOUPS 31499 WITH SCORE 31537.209
AT ITER 186 NEW BEST:: SOT 153329 SOS 38206 HAS SOPS 38206 HAS SOUS 31498 HAS SOUPS 31498 WITH SCORE 31536.206
AT ITER 191 NEW BEST:: SOT 153225 SOS 37998 HAS SOPS 37998 HAS SOUS 31475 HAS SOUPS 31475 WITH SCORE 31512.998
AT ITER 205 NEW BEST:: SOT 152955 SOS 40111 HAS SOPS 40111 HAS SOUS 31395 HAS SOUPS 31395 WITH SCORE 31435.111
AT ITER 212 NEW BEST:: SOT 152932 SOS 40123 HAS SOPS 40123 HAS SOUS 31372 HAS SOUPS 31372 WITH SCORE 31412.123
AT ITER 213 NEW BEST:: SOT 152946 SOS 40097 HAS SOPS 40097 HAS SOUS 31346 HAS SOUPS 31346 WITH SCORE 31386.097
AT ITER 214 NEW BEST:: SOT 153002 SOS 40083 HAS SOPS 40083 HAS SOUS 31306 HAS SOUPS 31306 WITH SCORE 31346.083
AT ITER 222 NEW BEST:: SOT 152983 SOS 40045 HAS SOPS 40045 HAS SOUS 31287 HAS SOUPS 31287 WITH SCORE 31327.045
AT ITER 246 NEW BEST:: SOT 152925 SOS 40018 HAS SOPS 40018 HAS SOUS 31229 HAS SOUPS 31229 WITH SCORE 31269.018
AT ITER 251 NEW BEST:: SOT 152678 SOS 40450 HAS SOPS 40450 HAS SOUS 31120 HAS SOUPS 31120 WITH SCORE 31160.45
AT ITER 256 NEW BEST:: SOT 152648 SOS 40420 HAS SOPS 40420 HAS SOUS 31090 HAS SOUPS 31090 WITH SCORE 31130.42
AT ITER 259 NEW BEST:: SOT 152611 SOS 40346 HAS SOPS 40346 HAS SOUS 31053 HAS SOUPS 31053 WITH SCORE 31093.346
AT ITER 267 NEW BEST:: SOT 152634 SOS 40212 HAS SOPS 40212 HAS SOUS 30986 HAS SOUPS 30986 WITH SCORE 31026.212
AT ITER 270 NEW BEST:: SOT 152638 SOS 40192 HAS SOPS 40192 HAS SOUS 30963 HAS SOUPS 30963 WITH SCORE 31003.192
AT ITER 271 NEW BEST:: SOT 152631 SOS 40178 HAS SOPS 40178 HAS SOUS 30900 HAS SOUPS 30900 WITH SCORE 30940.178
AT ITER 275 NEW BEST:: SOT 152621 SOS 40158 HAS SOPS 40158 HAS SOUS 30890 HAS SOUPS 30890 WITH SCORE 30930.158
AT ITER 306 NEW BEST:: SOT 152600 SOS 40137 HAS SOPS 40137 HAS SOUS 30847 HAS SOUPS 30847 WITH SCORE 30887.137
AT ITER 312 NEW BEST:: SOT 152572 SOS 40109 HAS SOPS 40109 HAS SOUS 30819 HAS SOUPS 30819 WITH SCORE 30859.109
AT ITER 316 NEW BEST:: SOT 152572 SOS 40109 HAS SOPS 40109 HAS SOUS 30795 HAS SOUPS 30795 WITH SCORE 30835.109
AT ITER 320 NEW BEST:: SOT 152511 SOS 40089 HAS SOPS 40089 HAS SOUS 30766 HAS SOUPS 30766 WITH SCORE 30806.089
AT ITER 333 NEW BEST:: SOT 152511 SOS 40073 HAS SOPS 40073 HAS SOUS 30750 HAS SOUPS 30750 WITH SCORE 30790.073
AT ITER 345 NEW BEST:: SOT 152593 SOS 40062 HAS SOPS 40062 HAS SOUS 30741 HAS SOUPS 30741 WITH SCORE 30781.062
AT ITER 348 NEW BEST:: SOT 152551 SOS 39919 HAS SOPS 39919 HAS SOUS 30641 HAS SOUPS 30641 WITH SCORE 30680.919
AT ITER 362 NEW BEST:: SOT 152487 SOS 39846 HAS SOPS 39846 HAS SOUS 30599 HAS SOUPS 30599 WITH SCORE 30638.846
AT ITER 365 NEW BEST:: SOT 152421 SOS 39681 HAS SOPS 39681 HAS SOUS 30523 HAS SOUPS 30523 WITH SCORE 30562.681
AT ITER 380 NEW BEST:: SOT 152420 SOS 39603 HAS SOPS 39603 HAS SOUS 30522 HAS SOUPS 30522 WITH SCORE 30561.603
AT ITER 387 NEW BEST:: SOT 152380 SOS 39523 HAS SOPS 39523 HAS SOUS 30420 HAS SOUPS 30420 WITH SCORE 30459.523
AT ITER 396 NEW BEST:: SOT 152259 SOS 39402 HAS SOPS 39402 HAS SOUS 30323 HAS SOUPS 30323 WITH SCORE 30362.402
AT ITER 425 NEW BEST:: SOT 152259 SOS 39375 HAS SOPS 39375 HAS SOUS 30313 HAS SOUPS 30313 WITH SCORE 30352.375
AT ITER 438 NEW BEST:: SOT 152199 SOS 39255 HAS SOPS 39255 HAS SOUS 30189 HAS SOUPS 30189 WITH SCORE 30228.255
AT ITER 448 NEW BEST:: SOT 152145 SOS 39147 HAS SOPS 39147 HAS SOUS 30135 HAS SOUPS 30135 WITH SCORE 30174.147
AT ITER 451 NEW BEST:: SOT 152127 SOS 39150 HAS SOPS 39150 HAS SOUS 30125 HAS SOUPS 30125 WITH SCORE 30164.15
AT ITER 465 NEW BEST:: SOT 152126 SOS 39167 HAS SOPS 39167 HAS SOUS 30123 HAS SOUPS 30123 WITH SCORE 30162.167
AT ITER 475 NEW BEST:: SOT 152126 SOS 39167 HAS SOPS 39167 HAS SOUS 30061 HAS SOUPS 30061 WITH SCORE 30100.167
AT ITER 478 NEW BEST:: SOT 152122 SOS 39163 HAS SOPS 39163 HAS SOUS 30057 HAS SOUPS 30057 WITH SCORE 30096.163
AT ITER 501 NEW BEST:: SOT 152211 SOS 36985 HAS SOPS 36985 HAS SOUS 29895 HAS SOUPS 29895 WITH SCORE 29931.985
AT ITER 507 NEW BEST:: SOT 152070 SOS 36703 HAS SOPS 36703 HAS SOUS 29747 HAS SOUPS 29747 WITH SCORE 29783.703
AT ITER 523 NEW BEST:: SOT 151239 SOS 38216 HAS SOPS 38216 HAS SOUS 29381 HAS SOUPS 29381 WITH SCORE 29419.216
AT ITER 528 NEW BEST:: SOT 151255 SOS 38205 HAS SOPS 38205 HAS SOUS 29365 HAS SOUPS 29365 WITH SCORE 29403.205
AT ITER 532 NEW BEST:: SOT 151222 SOS 38194 HAS SOPS 38194 HAS SOUS 29335 HAS SOUPS 29335 WITH SCORE 29373.194
AT ITER 533 NEW BEST:: SOT 151227 SOS 38195 HAS SOPS 38195 HAS SOUS 29331 HAS SOUPS 29331 WITH SCORE 29369.195
AT ITER 547 NEW BEST:: SOT 151214 SOS 38169 HAS SOPS 38169 HAS SOUS 29305 HAS SOUPS 29305 WITH SCORE 29343.169
AT ITER 570 NEW BEST:: SOT 151232 SOS 38004 HAS SOPS 38004 HAS SOUS 29305 HAS SOUPS 29305 WITH SCORE 29343.004
AT ITER 593 NEW BEST:: SOT 151219 SOS 37991 HAS SOPS 37991 HAS SOUS 29291 HAS SOUPS 29291 WITH SCORE 29328.991
AT ITER 597 NEW BEST:: SOT 151181 SOS 37953 HAS SOPS 37953 HAS SOUS 29291 HAS SOUPS 29291 WITH SCORE 29328.953
AT ITER 618 NEW BEST:: SOT 151181 SOS 37881 HAS SOPS 37881 HAS SOUS 29219 HAS SOUPS 29219 WITH SCORE 29256.881
AT ITER 619 NEW BEST:: SOT 151158 SOS 37858 HAS SOPS 37858 HAS SOUS 29196 HAS SOUPS 29196 WITH SCORE 29233.858
AT ITER 630 NEW BEST:: SOT 151155 SOS 37852 HAS SOPS 37852 HAS SOUS 29190 HAS SOUPS 29190 WITH SCORE 29227.852
AT ITER 637 NEW BEST:: SOT 151128 SOS 37798 HAS SOPS 37798 HAS SOUS 29156 HAS SOUPS 29156 WITH SCORE 29193.798
AT ITER 644 NEW BEST:: SOT 151086 SOS 37714 HAS SOPS 37714 HAS SOUS 29093 HAS SOUPS 29093 WITH SCORE 29130.714
AT ITER 660 NEW BEST:: SOT 151008 SOS 37558 HAS SOPS 37558 HAS SOUS 29015 HAS SOUPS 29015 WITH SCORE 29052.558
AT ITER 661 NEW BEST:: SOT 151006 SOS 37554 HAS SOPS 37554 HAS SOUS 29013 HAS SOUPS 29013 WITH SCORE 29050.554
AT ITER 662 NEW BEST:: SOT 150970 SOS 37482 HAS SOPS 37482 HAS SOUS 28934 HAS SOUPS 28934 WITH SCORE 28971.482
AT ITER 677 NEW BEST:: SOT 150816 SOS 39162 HAS SOPS 39162 HAS SOUS 28876 HAS SOUPS 28876 WITH SCORE 28915.162
AT ITER 680 NEW BEST:: SOT 150803 SOS 39136 HAS SOPS 39136 HAS SOUS 28850 HAS SOUPS 28850 WITH SCORE 28889.136
AT ITER 691 NEW BEST:: SOT 150731 SOS 38992 HAS SOPS 38992 HAS SOUS 28706 HAS SOUPS 28706 WITH SCORE 28744.992
AT ITER 692 NEW BEST:: SOT 150681 SOS 38892 HAS SOPS 38892 HAS SOUS 28656 HAS SOUPS 28656 WITH SCORE 28694.892
AT ITER 709 NEW BEST:: SOT 150545 SOS 38790 HAS SOPS 38790 HAS SOUS 28537 HAS SOUPS 28537 WITH SCORE 28575.79
AT ITER 719 NEW BEST:: SOT 150544 SOS 38788 HAS SOPS 38788 HAS SOUS 28536 HAS SOUPS 28536 WITH SCORE 28574.788
AT ITER 729 NEW BEST:: SOT 150563 SOS 38761 HAS SOPS 38761 HAS SOUS 28523 HAS SOUPS 28523 WITH SCORE 28561.761
AT ITER 747 NEW BEST:: SOT 149762 SOS 38582 HAS SOPS 38582 HAS SOUS 27892 HAS SOUPS 27892 WITH SCORE 27930.582
AT ITER 748 NEW BEST:: SOT 149767 SOS 38592 HAS SOPS 38592 HAS SOUS 27876 HAS SOUPS 27876 WITH SCORE 27914.592
AT ITER 758 NEW BEST:: SOT 149778 SOS 38586 HAS SOPS 38586 HAS SOUS 27862 HAS SOUPS 27862 WITH SCORE 27900.586
AT ITER 774 NEW BEST:: SOT 149776 SOS 38582 HAS SOPS 38582 HAS SOUS 27858 HAS SOUPS 27858 WITH SCORE 27896.582
AT ITER 781 NEW BEST:: SOT 149776 SOS 38516 HAS SOPS 38516 HAS SOUS 27792 HAS SOUPS 27792 WITH SCORE 27830.516
AT ITER 787 NEW BEST:: SOT 149777 SOS 38512 HAS SOPS 38512 HAS SOUS 27788 HAS SOUPS 27788 WITH SCORE 27826.512
AT ITER 794 NEW BEST:: SOT 149777 SOS 38512 HAS SOPS 38512 HAS SOUS 27736 HAS SOUPS 27736 WITH SCORE 27774.512
AT ITER 825 NEW BEST:: SOT 149778 SOS 38508 HAS SOPS 38508 HAS SOUS 27732 HAS SOUPS 27732 WITH SCORE 27770.508
AT ITER 845 NEW BEST:: SOT 149771 SOS 38501 HAS SOPS 38501 HAS SOUS 27725 HAS SOUPS 27725 WITH SCORE 27763.501
AT ITER 847 NEW BEST:: SOT 149659 SOS 38393 HAS SOPS 38393 HAS SOUS 27671 HAS SOUPS 27671 WITH SCORE 27709.393
AT ITER 848 NEW BEST:: SOT 149682 SOS 38365 HAS SOPS 38365 HAS SOUS 27670 HAS SOUPS 27670 WITH SCORE 27708.365
AT ITER 880 NEW BEST:: SOT 149682 SOS 38365 HAS SOPS 38365 HAS SOUS 27661 HAS SOUPS 27661 WITH SCORE 27699.365
AT ITER 882 NEW BEST:: SOT 149648 SOS 38297 HAS SOPS 38297 HAS SOUS 27661 HAS SOUPS 27661 WITH SCORE 27699.297
AT ITER 885 NEW BEST:: SOT 149603 SOS 38252 HAS SOPS 38252 HAS SOUS 27601 HAS SOUPS 27601 WITH SCORE 27639.252
AT ITER 903 NEW BEST:: SOT 149517 SOS 38084 HAS SOPS 38084 HAS SOUS 27471 HAS SOUPS 27471 WITH SCORE 27509.084
AT ITER 917 NEW BEST:: SOT 149497 SOS 38060 HAS SOPS 38060 HAS SOUS 27454 HAS SOUPS 27454 WITH SCORE 27492.06
AT ITER 931 NEW BEST:: SOT 149497 SOS 38022 HAS SOPS 38022 HAS SOUS 27416 HAS SOUPS 27416 WITH SCORE 27454.022
AT ITER 933 NEW BEST:: SOT 149460 SOS 38004 HAS SOPS 38004 HAS SOUS 27389 HAS SOUPS 27389 WITH SCORE 27427.004
AT ITER 944 NEW BEST:: SOT 149460 SOS 38004 HAS SOPS 38004 HAS SOUS 27380 HAS SOUPS 27380 WITH SCORE 27418.004
AT ITER 957 NEW BEST:: SOT 149458 SOS 38002 HAS SOPS 38002 HAS SOUS 27378 HAS SOUPS 27378 WITH SCORE 27416.002
AT ITER 978 NEW BEST:: SOT 149458 SOS 38002 HAS SOPS 38002 HAS SOUS 27377 HAS SOUPS 27377 WITH SCORE 27415.002
AT ITER 981 NEW BEST:: SOT 149458 SOS 37994 HAS SOPS 37994 HAS SOUS 27369 HAS SOUPS 27369 WITH SCORE 27406.994
AT ITER 985 NEW BEST:: SOT 149422 SOS 37958 HAS SOPS 37958 HAS SOUS 27333 HAS SOUPS 27333 WITH SCORE 27370.958
AT ITER 987 NEW BEST:: SOT 149409 SOS 37945 HAS SOPS 37945 HAS SOUS 27320 HAS SOUPS 27320 WITH SCORE 27357.945
AT ITER 997 NEW BEST:: SOT 149349 SOS 37855 HAS SOPS 37855 HAS SOUS 27241 HAS SOUPS 27241 WITH SCORE 27278.855
AT ITER 999 NEW BEST:: SOT 149277 SOS 37780 HAS SOPS 37780 HAS SOUS 27202 HAS SOUPS 27202 WITH SCORE 27239.78
AT ITER 1013 NEW BEST:: SOT 149261 SOS 37764 HAS SOPS 37764 HAS SOUS 27186 HAS SOUPS 27186 WITH SCORE 27223.764
AT ITER 1052 NEW BEST:: SOT 149362 SOS 37760 HAS SOPS 37760 HAS SOUS 27157 HAS SOUPS 27157 WITH SCORE 27194.76
AT ITER 1053 NEW BEST:: SOT 149282 SOS 37680 HAS SOPS 37680 HAS SOUS 27157 HAS SOUPS 27157 WITH SCORE 27194.68
AT ITER 1084 NEW BEST:: SOT 149323 SOS 37762 HAS SOPS 37762 HAS SOUS 27118 HAS SOUPS 27118 WITH SCORE 27155.762
AT ITER 1124 NEW BEST:: SOT 149265 SOS 37746 HAS SOPS 37746 HAS SOUS 27060 HAS SOUPS 27060 WITH SCORE 27097.746
AT ITER 1125 NEW BEST:: SOT 149269 SOS 37754 HAS SOPS 37754 HAS SOUS 27034 HAS SOUPS 27034 WITH SCORE 27071.754
AT ITER 1136 NEW BEST:: SOT 149215 SOS 37702 HAS SOPS 37702 HAS SOUS 26982 HAS SOUPS 26982 WITH SCORE 27019.702
AT ITER 1141 NEW BEST:: SOT 149217 SOS 37704 HAS SOPS 37704 HAS SOUS 26956 HAS SOUPS 26956 WITH SCORE 26993.704
AT ITER 1155 NEW BEST:: SOT 149229 SOS 37682 HAS SOPS 37682 HAS SOUS 26934 HAS SOUPS 26934 WITH SCORE 26971.682
AT ITER 1157 NEW BEST:: SOT 149233 SOS 37660 HAS SOPS 37660 HAS SOUS 26908 HAS SOUPS 26908 WITH SCORE 26945.66
AT ITER 1159 NEW BEST:: SOT 149232 SOS 37553 HAS SOPS 37553 HAS SOUS 26906 HAS SOUPS 26906 WITH SCORE 26943.553
AT ITER 1169 NEW BEST:: SOT 149232 SOS 37553 HAS SOPS 37553 HAS SOUS 26905 HAS SOUPS 26905 WITH SCORE 26942.553
AT ITER 1170 NEW BEST:: SOT 149238 SOS 37522 HAS SOPS 37522 HAS SOUS 26874 HAS SOUPS 26874 WITH SCORE 26911.522
AT ITER 1202 NEW BEST:: SOT 149232 SOS 37516 HAS SOPS 37516 HAS SOUS 26871 HAS SOUPS 26871 WITH SCORE 26908.516
AT ITER 1205 NEW BEST:: SOT 149223 SOS 37499 HAS SOPS 37499 HAS SOUS 26864 HAS SOUPS 26864 WITH SCORE 26901.499
AT ITER 1215 NEW BEST:: SOT 149220 SOS 37496 HAS SOPS 37496 HAS SOUS 26864 HAS SOUPS 26864 WITH SCORE 26901.496
AT ITER 1220 NEW BEST:: SOT 149164 SOS 37417 HAS SOPS 37417 HAS SOUS 26812 HAS SOUPS 26812 WITH SCORE 26849.417
AT ITER 1225 NEW BEST:: SOT 149158 SOS 37405 HAS SOPS 37405 HAS SOUS 26800 HAS SOUPS 26800 WITH SCORE 26837.405
AT ITER 1235 NEW BEST:: SOT 149149 SOS 37399 HAS SOPS 37399 HAS SOUS 26794 HAS SOUPS 26794 WITH SCORE 26831.399
AT ITER 1264 NEW BEST:: SOT 149126 SOS 37376 HAS SOPS 37376 HAS SOUS 26748 HAS SOUPS 26748 WITH SCORE 26785.376
AT ITER 1274 NEW BEST:: SOT 149116 SOS 37350 HAS SOPS 37350 HAS SOUS 26732 HAS SOUPS 26732 WITH SCORE 26769.35
AT ITER 1284 NEW BEST:: SOT 149116 SOS 37350 HAS SOPS 37350 HAS SOUS 26722 HAS SOUPS 26722 WITH SCORE 26759.35
AT ITER 1295 NEW BEST:: SOT 149126 SOS 37354 HAS SOPS 37354 HAS SOUS 26716 HAS SOUPS 26716 WITH SCORE 26753.354
AT ITER 1296 NEW BEST:: SOT 149126 SOS 37297 HAS SOPS 37297 HAS SOUS 26716 HAS SOUPS 26716 WITH SCORE 26753.297
AT ITER 1299 NEW BEST:: SOT 149131 SOS 37302 HAS SOPS 37302 HAS SOUS 26707 HAS SOUPS 26707 WITH SCORE 26744.302
AT ITER 1301 NEW BEST:: SOT 149136 SOS 37300 HAS SOPS 37300 HAS SOUS 26693 HAS SOUPS 26693 WITH SCORE 26730.3
AT ITER 1305 NEW BEST:: SOT 149114 SOS 37352 HAS SOPS 37352 HAS SOUS 26671 HAS SOUPS 26671 WITH SCORE 26708.352
AT ITER 1319 NEW BEST:: SOT 149101 SOS 37339 HAS SOPS 37339 HAS SOUS 26658 HAS SOUPS 26658 WITH SCORE 26695.339
AT ITER 1323 NEW BEST:: SOT 149090 SOS 37325 HAS SOPS 37325 HAS SOUS 26644 HAS SOUPS 26644 WITH SCORE 26681.325
AT ITER 1334 NEW BEST:: SOT 149084 SOS 37346 HAS SOPS 37346 HAS SOUS 26641 HAS SOUPS 26641 WITH SCORE 26678.346
AT ITER 1361 NEW BEST:: SOT 149041 SOS 37303 HAS SOPS 37303 HAS SOUS 26605 HAS SOUPS 26605 WITH SCORE 26642.303
AT ITER 1390 NEW BEST:: SOT 149035 SOS 37291 HAS SOPS 37291 HAS SOUS 26596 HAS SOUPS 26596 WITH SCORE 26633.291
AT ITER 1397 NEW BEST:: SOT 148946 SOS 37202 HAS SOPS 37202 HAS SOUS 26596 HAS SOUPS 26596 WITH SCORE 26633.202
AT ITER 1401 NEW BEST:: SOT 148946 SOS 37161 HAS SOPS 37161 HAS SOUS 26555 HAS SOUPS 26555 WITH SCORE 26592.161
AT ITER 1405 NEW BEST:: SOT 148946 SOS 37136 HAS SOPS 37136 HAS SOUS 26530 HAS SOUPS 26530 WITH SCORE 26567.136
AT ITER 1412 NEW BEST:: SOT 148908 SOS 37098 HAS SOPS 37098 HAS SOUS 26506 HAS SOUPS 26506 WITH SCORE 26543.098
AT ITER 1426 NEW BEST:: SOT 148892 SOS 37082 HAS SOPS 37082 HAS SOUS 26490 HAS SOUPS 26490 WITH SCORE 26527.082
AT ITER 1428 NEW BEST:: SOT 148891 SOS 37081 HAS SOPS 37081 HAS SOUS 26489 HAS SOUPS 26489 WITH SCORE 26526.081
AT ITER 1452 NEW BEST:: SOT 148885 SOS 37069 HAS SOPS 37069 HAS SOUS 26477 HAS SOUPS 26477 WITH SCORE 26514.069
AT ITER 1454 NEW BEST:: SOT 148889 SOS 37062 HAS SOPS 37062 HAS SOUS 26470 HAS SOUPS 26470 WITH SCORE 26507.062
AT ITER 1481 NEW BEST:: SOT 148868 SOS 37041 HAS SOPS 37041 HAS SOUS 26469 HAS SOUPS 26469 WITH SCORE 26506.041
AT ITER 1488 NEW BEST:: SOT 148822 SOS 36954 HAS SOPS 36954 HAS SOUS 26464 HAS SOUPS 26464 WITH SCORE 26500.954
AT ITER 1504 NEW BEST:: SOT 148828 SOS 36939 HAS SOPS 36939 HAS SOUS 26449 HAS SOUPS 26449 WITH SCORE 26485.939
AT ITER 1506 NEW BEST:: SOT 148797 SOS 36875 HAS SOPS 36875 HAS SOUS 26385 HAS SOUPS 26385 WITH SCORE 26421.875
AT ITER 1512 NEW BEST:: SOT 148785 SOS 36863 HAS SOPS 36863 HAS SOUS 26379 HAS SOUPS 26379 WITH SCORE 26415.863
AT ITER 1576 NEW BEST:: SOT 148785 SOS 36863 HAS SOPS 36863 HAS SOUS 26369 HAS SOUPS 26369 WITH SCORE 26405.863
AT ITER 1584 NEW BEST:: SOT 148646 SOS 36585 HAS SOPS 36585 HAS SOUS 26174 HAS SOUPS 26174 WITH SCORE 26210.585
AT ITER 1624 NEW BEST:: SOT 148646 SOS 36585 HAS SOPS 36585 HAS SOUS 26173 HAS SOUPS 26173 WITH SCORE 26209.585
AT ITER 1627 NEW BEST:: SOT 148601 SOS 36495 HAS SOPS 36495 HAS SOUS 26128 HAS SOUPS 26128 WITH SCORE 26164.495
AT ITER 1644 NEW BEST:: SOT 148335 SOS 36278 HAS SOPS 36278 HAS SOUS 25876 HAS SOUPS 25876 WITH SCORE 25912.278
AT ITER 1658 NEW BEST:: SOT 148333 SOS 36276 HAS SOPS 36276 HAS SOUS 25869 HAS SOUPS 25869 WITH SCORE 25905.276
AT ITER 1664 NEW BEST:: SOT 148330 SOS 35609 HAS SOPS 35609 HAS SOUS 25818 HAS SOUPS 25818 WITH SCORE 25853.609
AT ITER 1667 NEW BEST:: SOT 148266 SOS 35545 HAS SOPS 35545 HAS SOUS 25818 HAS SOUPS 25818 WITH SCORE 25853.545
AT ITER 1670 NEW BEST:: SOT 148164 SOS 35470 HAS SOPS 35470 HAS SOUS 25778 HAS SOUPS 25778 WITH SCORE 25813.47
AT ITER 1729 NEW BEST:: SOT 148169 SOS 35463 HAS SOPS 35463 HAS SOUS 25767 HAS SOUPS 25767 WITH SCORE 25802.463
AT ITER 1731 NEW BEST:: SOT 148132 SOS 35389 HAS SOPS 35389 HAS SOUS 25744 HAS SOUPS 25744 WITH SCORE 25779.389
AT ITER 1734 NEW BEST:: SOT 148116 SOS 35261 HAS SOPS 35261 HAS SOUS 25692 HAS SOUPS 25692 WITH SCORE 25727.261
AT ITER 1738 NEW BEST:: SOT 148135 SOS 35280 HAS SOPS 35280 HAS SOUS 25679 HAS SOUPS 25679 WITH SCORE 25714.28
AT ITER 1742 NEW BEST:: SOT 148135 SOS 35239 HAS SOPS 35239 HAS SOUS 25676 HAS SOUPS 25676 WITH SCORE 25711.239
AT ITER 1744 NEW BEST:: SOT 148068 SOS 35210 HAS SOPS 35210 HAS SOUS 25600 HAS SOUPS 25600 WITH SCORE 25635.21
AT ITER 1745 NEW BEST:: SOT 148064 SOS 35202 HAS SOPS 35202 HAS SOUS 25596 HAS SOUPS 25596 WITH SCORE 25631.202
AT ITER 1748 NEW BEST:: SOT 147812 SOS 35036 HAS SOPS 35036 HAS SOUS 25344 HAS SOUPS 25344 WITH SCORE 25379.036
AT ITER 1772 NEW BEST:: SOT 147770 SOS 35333 HAS SOPS 35333 HAS SOUS 25330 HAS SOUPS 25330 WITH SCORE 25365.333
AT ITER 1773 NEW BEST:: SOT 147704 SOS 35279 HAS SOPS 35279 HAS SOUS 25264 HAS SOUPS 25264 WITH SCORE 25299.279
AT ITER 1774 NEW BEST:: SOT 147698 SOS 35267 HAS SOPS 35267 HAS SOUS 25252 HAS SOUPS 25252 WITH SCORE 25287.267
AT ITER 1801 NEW BEST:: SOT 147698 SOS 35230 HAS SOPS 35230 HAS SOUS 25252 HAS SOUPS 25252 WITH SCORE 25287.23
AT ITER 1819 NEW BEST:: SOT 147694 SOS 35226 HAS SOPS 35226 HAS SOUS 25248 HAS SOUPS 25248 WITH SCORE 25283.226
AT ITER 1830 NEW BEST:: SOT 147618 SOS 35026 HAS SOPS 35026 HAS SOUS 25172 HAS SOUPS 25172 WITH SCORE 25207.026
AT ITER 1831 NEW BEST:: SOT 147616 SOS 35024 HAS SOPS 35024 HAS SOUS 25170 HAS SOUPS 25170 WITH SCORE 25205.024
AT ITER 1835 NEW BEST:: SOT 147616 SOS 35024 HAS SOPS 35024 HAS SOUS 25162 HAS SOUPS 25162 WITH SCORE 25197.024
AT ITER 1837 NEW BEST:: SOT 147609 SOS 35010 HAS SOPS 35010 HAS SOUS 25148 HAS SOUPS 25148 WITH SCORE 25183.01
AT ITER 1880 NEW BEST:: SOT 147609 SOS 35008 HAS SOPS 35008 HAS SOUS 25146 HAS SOUPS 25146 WITH SCORE 25181.008
AT ITER 1884 NEW BEST:: SOT 147594 SOS 34978 HAS SOPS 34978 HAS SOUS 25116 HAS SOUPS 25116 WITH SCORE 25150.978
AT ITER 1909 NEW BEST:: SOT 147602 SOS 34963 HAS SOPS 34963 HAS SOUS 25096 HAS SOUPS 25096 WITH SCORE 25130.963
AT ITER 1932 NEW BEST:: SOT 147585 SOS 34929 HAS SOPS 34929 HAS SOUS 25062 HAS SOUPS 25062 WITH SCORE 25096.929
AT ITER 1989 NEW BEST:: SOT 147560 SOS 34904 HAS SOPS 34904 HAS SOUS 25037 HAS SOUPS 25037 WITH SCORE 25071.904
AT ITER 1995 NEW BEST:: SOT 147560 SOS 34904 HAS SOPS 34904 HAS SOUS 25016 HAS SOUPS 25016 WITH SCORE 25050.904
AT ITER 2002 NEW BEST:: SOT 147554 SOS 34892 HAS SOPS 34892 HAS SOUS 25004 HAS SOUPS 25004 WITH SCORE 25038.892
AT ITER 2017 NEW BEST:: SOT 147588 SOS 34952 HAS SOPS 34952 HAS SOUS 24998 HAS SOUPS 24998 WITH SCORE 25032.952
AT ITER 2026 NEW BEST:: SOT 147575 SOS 34926 HAS SOPS 34926 HAS SOUS 24985 HAS SOUPS 24985 WITH SCORE 25019.926
AT ITER 2031 NEW BEST:: SOT 147554 SOS 34905 HAS SOPS 34905 HAS SOUS 24964 HAS SOUPS 24964 WITH SCORE 24998.905
AT ITER 2037 NEW BEST:: SOT 147548 SOS 34887 HAS SOPS 34887 HAS SOUS 24952 HAS SOUPS 24952 WITH SCORE 24986.887
AT ITER 2039 NEW BEST:: SOT 147543 SOS 34882 HAS SOPS 34882 HAS SOUS 24947 HAS SOUPS 24947 WITH SCORE 24981.882
AT ITER 2044 NEW BEST:: SOT 147536 SOS 34868 HAS SOPS 34868 HAS SOUS 24943 HAS SOUPS 24943 WITH SCORE 24977.868
AT ITER 2049 NEW BEST:: SOT 147383 SOS 34622 HAS SOPS 34622 HAS SOUS 24789 HAS SOUPS 24789 WITH SCORE 24823.622
AT ITER 2051 NEW BEST:: SOT 147373 SOS 34612 HAS SOPS 34612 HAS SOUS 24789 HAS SOUPS 24789 WITH SCORE 24823.612
AT ITER 2113 NEW BEST:: SOT 147373 SOS 34592 HAS SOPS 34592 HAS SOUS 24769 HAS SOUPS 24769 WITH SCORE 24803.592
AT ITER 2130 NEW BEST:: SOT 147341 SOS 34586 HAS SOPS 34586 HAS SOUS 24740 HAS SOUPS 24740 WITH SCORE 24774.586
AT ITER 2143 NEW BEST:: SOT 147267 SOS 34555 HAS SOPS 34555 HAS SOUS 24740 HAS SOUPS 24740 WITH SCORE 24774.555
AT ITER 2169 NEW BEST:: SOT 147239 SOS 34566 HAS SOPS 34566 HAS SOUS 24702 HAS SOUPS 24702 WITH SCORE 24736.566
AT ITER 2171 NEW BEST:: SOT 147265 SOS 33770 HAS SOPS 33770 HAS SOUS 24622 HAS SOUPS 24622 WITH SCORE 24655.77
AT ITER 2178 NEW BEST:: SOT 147265 SOS 33765 HAS SOPS 33765 HAS SOUS 24622 HAS SOUPS 24622 WITH SCORE 24655.765
AT ITER 2182 NEW BEST:: SOT 147223 SOS 33730 HAS SOPS 33730 HAS SOUS 24587 HAS SOUPS 24587 WITH SCORE 24620.73
AT ITER 2188 NEW BEST:: SOT 147188 SOS 33568 HAS SOPS 33568 HAS SOUS 24474 HAS SOUPS 24474 WITH SCORE 24507.568
AT ITER 2247 NEW BEST:: SOT 147179 SOS 33550 HAS SOPS 33550 HAS SOUS 24474 HAS SOUPS 24474 WITH SCORE 24507.55
AT ITER 2274 NEW BEST:: SOT 147111 SOS 33482 HAS SOPS 33482 HAS SOUS 24452 HAS SOUPS 24452 WITH SCORE 24485.482
AT ITER 2275 NEW BEST:: SOT 147111 SOS 33329 HAS SOPS 33329 HAS SOUS 24452 HAS SOUPS 24452 WITH SCORE 24485.329
AT ITER 2282 NEW BEST:: SOT 147128 SOS 33327 HAS SOPS 33327 HAS SOUS 24450 HAS SOUPS 24450 WITH SCORE 24483.327
AT ITER 2286 NEW BEST:: SOT 147011 SOS 33070 HAS SOPS 33070 HAS SOUS 24193 HAS SOUPS 24193 WITH SCORE 24226.07
AT ITER 2314 NEW BEST:: SOT 147011 SOS 33050 HAS SOPS 33050 HAS SOUS 24193 HAS SOUPS 24193 WITH SCORE 24226.05
AT ITER 2315 NEW BEST:: SOT 147008 SOS 33041 HAS SOPS 33041 HAS SOUS 24187 HAS SOUPS 24187 WITH SCORE 24220.041
AT ITER 2320 NEW BEST:: SOT 146966 SOS 32957 HAS SOPS 32957 HAS SOUS 24145 HAS SOUPS 24145 WITH SCORE 24177.957
AT ITER 2328 NEW BEST:: SOT 146964 SOS 32951 HAS SOPS 32951 HAS SOUS 24141 HAS SOUPS 24141 WITH SCORE 24173.951
AT ITER 2330 NEW BEST:: SOT 146861 SOS 33499 HAS SOPS 33499 HAS SOUS 24096 HAS SOUPS 24096 WITH SCORE 24129.499
AT ITER 2353 NEW BEST:: SOT 146865 SOS 33327 HAS SOPS 33327 HAS SOUS 23986 HAS SOUPS 23986 WITH SCORE 24019.327
AT ITER 2359 NEW BEST:: SOT 146839 SOS 33362 HAS SOPS 33362 HAS SOUS 23963 HAS SOUPS 23963 WITH SCORE 23996.362
AT ITER 2377 NEW BEST:: SOT 146931 SOS 33128 HAS SOPS 33128 HAS SOUS 23956 HAS SOUPS 23956 WITH SCORE 23989.128
AT ITER 2381 NEW BEST:: SOT 146879 SOS 33024 HAS SOPS 33024 HAS SOUS 23882 HAS SOUPS 23882 WITH SCORE 23915.024
AT ITER 2394 NEW BEST:: SOT 146879 SOS 32996 HAS SOPS 32996 HAS SOUS 23882 HAS SOUPS 23882 WITH SCORE 23914.996
AT ITER 2448 NEW BEST:: SOT 146872 SOS 32989 HAS SOPS 32989 HAS SOUS 23875 HAS SOUPS 23875 WITH SCORE 23907.989
AT ITER 2455 NEW BEST:: SOT 146872 SOS 32939 HAS SOPS 32939 HAS SOUS 23875 HAS SOUPS 23875 WITH SCORE 23907.939
AT ITER 2499 NEW BEST:: SOT 146847 SOS 32914 HAS SOPS 32914 HAS SOUS 23864 HAS SOUPS 23864 WITH SCORE 23896.914
AT ITER 2520 NEW BEST:: SOT 146695 SOS 33503 HAS SOPS 33503 HAS SOUS 23845 HAS SOUPS 23845 WITH SCORE 23878.503
AT ITER 2549 NEW BEST:: SOT 146692 SOS 33497 HAS SOPS 33497 HAS SOUS 23842 HAS SOUPS 23842 WITH SCORE 23875.497
AT ITER 2556 NEW BEST:: SOT 146679 SOS 33458 HAS SOPS 33458 HAS SOUS 23816 HAS SOUPS 23816 WITH SCORE 23849.458
AT ITER 2557 NEW BEST:: SOT 146653 SOS 33406 HAS SOPS 33406 HAS SOUS 23764 HAS SOUPS 23764 WITH SCORE 23797.406
AT ITER 2559 NEW BEST:: SOT 146701 SOS 33531 HAS SOPS 33531 HAS SOUS 23681 HAS SOUPS 23681 WITH SCORE 23714.531
AT ITER 2575 NEW BEST:: SOT 146699 SOS 33527 HAS SOPS 33527 HAS SOUS 23677 HAS SOUPS 23677 WITH SCORE 23710.527
AT ITER 2591 NEW BEST:: SOT 146700 SOS 33507 HAS SOPS 33507 HAS SOUS 23666 HAS SOUPS 23666 WITH SCORE 23699.507
AT ITER 2628 NEW BEST:: SOT 146669 SOS 33445 HAS SOPS 33445 HAS SOUS 23632 HAS SOUPS 23632 WITH SCORE 23665.445
AT ITER 2642 NEW BEST:: SOT 146669 SOS 33445 HAS SOPS 33445 HAS SOUS 23628 HAS SOUPS 23628 WITH SCORE 23661.445
AT ITER 2663 NEW BEST:: SOT 146677 SOS 33386 HAS SOPS 33386 HAS SOUS 23617 HAS SOUPS 23617 WITH SCORE 23650.386
AT ITER 2670 NEW BEST:: SOT 146652 SOS 33336 HAS SOPS 33336 HAS SOUS 23567 HAS SOUPS 23567 WITH SCORE 23600.336
AT ITER 2678 NEW BEST:: SOT 146370 SOS 33609 HAS SOPS 33609 HAS SOUS 23308 HAS SOUPS 23308 WITH SCORE 23341.609
AT ITER 2689 NEW BEST:: SOT 146370 SOS 33609 HAS SOPS 33609 HAS SOUS 23292 HAS SOUPS 23292 WITH SCORE 23325.609
AT ITER 2706 NEW BEST:: SOT 146397 SOS 33636 HAS SOPS 33636 HAS SOUS 23265 HAS SOUPS 23265 WITH SCORE 23298.636
AT ITER 2708 NEW BEST:: SOT 146395 SOS 33629 HAS SOPS 33629 HAS SOUS 23258 HAS SOUPS 23258 WITH SCORE 23291.629
AT ITER 2717 NEW BEST:: SOT 146395 SOS 33619 HAS SOPS 33619 HAS SOUS 23248 HAS SOUPS 23248 WITH SCORE 23281.619
AT ITER 2724 NEW BEST:: SOT 146393 SOS 33615 HAS SOPS 33615 HAS SOUS 23244 HAS SOUPS 23244 WITH SCORE 23277.615
AT ITER 2745 NEW BEST:: SOT 146369 SOS 33591 HAS SOPS 33591 HAS SOUS 23244 HAS SOUPS 23244 WITH SCORE 23277.591
AT ITER 2747 NEW BEST:: SOT 146355 SOS 33563 HAS SOPS 33563 HAS SOUS 23216 HAS SOUPS 23216 WITH SCORE 23249.563
AT ITER 2764 NEW BEST:: SOT 146352 SOS 33557 HAS SOPS 33557 HAS SOUS 23210 HAS SOUPS 23210 WITH SCORE 23243.557
AT ITER 2770 NEW BEST:: SOT 146404 SOS 33531 HAS SOPS 33531 HAS SOUS 23184 HAS SOUPS 23184 WITH SCORE 23217.531
AT ITER 2792 NEW BEST:: SOT 146261 SOS 33662 HAS SOPS 33662 HAS SOUS 23078 HAS SOUPS 23078 WITH SCORE 23111.662
AT ITER 2793 NEW BEST:: SOT 146243 SOS 33670 HAS SOPS 33670 HAS SOUS 23066 HAS SOUPS 23066 WITH SCORE 23099.67
AT ITER 2796 NEW BEST:: SOT 146247 SOS 33652 HAS SOPS 33652 HAS SOUS 23066 HAS SOUPS 23066 WITH SCORE 23099.652
AT ITER 2805 NEW BEST:: SOT 146227 SOS 33587 HAS SOPS 33587 HAS SOUS 23023 HAS SOUPS 23023 WITH SCORE 23056.587
AT ITER 2819 NEW BEST:: SOT 146151 SOS 33473 HAS SOPS 33473 HAS SOUS 22895 HAS SOUPS 22895 WITH SCORE 22928.473
AT ITER 2836 NEW BEST:: SOT 146151 SOS 33472 HAS SOPS 33472 HAS SOUS 22894 HAS SOUPS 22894 WITH SCORE 22927.472
AT ITER 2848 NEW BEST:: SOT 146151 SOS 33466 HAS SOPS 33466 HAS SOUS 22888 HAS SOUPS 22888 WITH SCORE 22921.466
AT ITER 2887 NEW BEST:: SOT 146120 SOS 33404 HAS SOPS 33404 HAS SOUS 22826 HAS SOUPS 22826 WITH SCORE 22859.404
AT ITER 2894 NEW BEST:: SOT 146077 SOS 33229 HAS SOPS 33229 HAS SOUS 22740 HAS SOUPS 22740 WITH SCORE 22773.229
AT ITER 2934 NEW BEST:: SOT 146023 SOS 33118 HAS SOPS 33118 HAS SOUS 22693 HAS SOUPS 22693 WITH SCORE 22726.118
AT ITER 2958 NEW BEST:: SOT 146023 SOS 33109 HAS SOPS 33109 HAS SOUS 22693 HAS SOUPS 22693 WITH SCORE 22726.109
AT ITER 2961 NEW BEST:: SOT 146020 SOS 33103 HAS SOPS 33103 HAS SOUS 22687 HAS SOUPS 22687 WITH SCORE 22720.103
AT ITER 3006 NEW BEST:: SOT 146032 SOS 33084 HAS SOPS 33084 HAS SOUS 22668 HAS SOUPS 22668 WITH SCORE 22701.084
AT ITER 3020 NEW BEST:: SOT 146032 SOS 33084 HAS SOPS 33084 HAS SOUS 22651 HAS SOUPS 22651 WITH SCORE 22684.084
AT ITER 3041 NEW BEST:: SOT 146043 SOS 33106 HAS SOPS 33106 HAS SOUS 22519 HAS SOUPS 22519 WITH SCORE 22552.106
AT ITER 3056 NEW BEST:: SOT 146014 SOS 33083 HAS SOPS 33083 HAS SOUS 22514 HAS SOUPS 22514 WITH SCORE 22547.083
AT ITER 3057 NEW BEST:: SOT 146014 SOS 33057 HAS SOPS 33057 HAS SOUS 22488 HAS SOUPS 22488 WITH SCORE 22521.057
AT ITER 3059 NEW BEST:: SOT 145931 SOS 32891 HAS SOPS 32891 HAS SOUS 22409 HAS SOUPS 22409 WITH SCORE 22441.891
AT ITER 3061 NEW BEST:: SOT 145919 SOS 32867 HAS SOPS 32867 HAS SOUS 22397 HAS SOUPS 22397 WITH SCORE 22429.867
AT ITER 3071 NEW BEST:: SOT 145919 SOS 32851 HAS SOPS 32851 HAS SOUS 22389 HAS SOUPS 22389 WITH SCORE 22421.851
AT ITER 3077 NEW BEST:: SOT 145907 SOS 32827 HAS SOPS 32827 HAS SOUS 22389 HAS SOUPS 22389 WITH SCORE 22421.827
AT ITER 3089 NEW BEST:: SOT 145905 SOS 32823 HAS SOPS 32823 HAS SOUS 22385 HAS SOUPS 22385 WITH SCORE 22417.823
AT ITER 3119 NEW BEST:: SOT 145878 SOS 32769 HAS SOPS 32769 HAS SOUS 22331 HAS SOUPS 22331 WITH SCORE 22363.769
AT ITER 3133 NEW BEST:: SOT 145876 SOS 32775 HAS SOPS 32775 HAS SOUS 22329 HAS SOUPS 22329 WITH SCORE 22361.775
AT ITER 3144 NEW BEST:: SOT 145873 SOS 32731 HAS SOPS 32731 HAS SOUS 22285 HAS SOUPS 22285 WITH SCORE 22317.731
AT ITER 3152 NEW BEST:: SOT 145851 SOS 32709 HAS SOPS 32709 HAS SOUS 22284 HAS SOUPS 22284 WITH SCORE 22316.709
AT ITER 3153 NEW BEST:: SOT 145788 SOS 32629 HAS SOPS 32629 HAS SOUS 22232 HAS SOUPS 22232 WITH SCORE 22264.629
AT ITER 3179 NEW BEST:: SOT 145788 SOS 32623 HAS SOPS 32623 HAS SOUS 22226 HAS SOUPS 22226 WITH SCORE 22258.623
AT ITER 3228 NEW BEST:: SOT 145784 SOS 32637 HAS SOPS 32637 HAS SOUS 22222 HAS SOUPS 22222 WITH SCORE 22254.637
AT ITER 3237 NEW BEST:: SOT 145772 SOS 32760 HAS SOPS 32760 HAS SOUS 22210 HAS SOUPS 22210 WITH SCORE 22242.76
AT ITER 3263 NEW BEST:: SOT 145674 SOS 32564 HAS SOPS 32564 HAS SOUS 22210 HAS SOUPS 22210 WITH SCORE 22242.564
AT ITER 3292 NEW BEST:: SOT 145654 SOS 32524 HAS SOPS 32524 HAS SOUS 22183 HAS SOUPS 22183 WITH SCORE 22215.524
AT ITER 3344 NEW BEST:: SOT 145746 SOS 32631 HAS SOPS 32631 HAS SOUS 22136 HAS SOUPS 22136 WITH SCORE 22168.631
AT ITER 3345 NEW BEST:: SOT 145740 SOS 32619 HAS SOPS 32619 HAS SOUS 22124 HAS SOUPS 22124 WITH SCORE 22156.619
AT ITER 3350 NEW BEST:: SOT 145762 SOS 32617 HAS SOPS 32617 HAS SOUS 22122 HAS SOUPS 22122 WITH SCORE 22154.617
AT ITER 3352 NEW BEST:: SOT 145762 SOS 32591 HAS SOPS 32591 HAS SOUS 22122 HAS SOUPS 22122 WITH SCORE 22154.591
AT ITER 3360 NEW BEST:: SOT 145737 SOS 32592 HAS SOPS 32592 HAS SOUS 22121 HAS SOUPS 22121 WITH SCORE 22153.592
AT ITER 3390 NEW BEST:: SOT 145737 SOS 32592 HAS SOPS 32592 HAS SOUS 22102 HAS SOUPS 22102 WITH SCORE 22134.592
AT ITER 3451 NEW BEST:: SOT 145736 SOS 32581 HAS SOPS 32581 HAS SOUS 22100 HAS SOUPS 22100 WITH SCORE 22132.581
AT ITER 3456 NEW BEST:: SOT 145698 SOS 32559 HAS SOPS 32559 HAS SOUS 22078 HAS SOUPS 22078 WITH SCORE 22110.559
AT ITER 3459 NEW BEST:: SOT 145681 SOS 32542 HAS SOPS 32542 HAS SOUS 22055 HAS SOUPS 22055 WITH SCORE 22087.542
AT ITER 3464 NEW BEST:: SOT 145653 SOS 32514 HAS SOPS 32514 HAS SOUS 22055 HAS SOUPS 22055 WITH SCORE 22087.514
AT ITER 3482 NEW BEST:: SOT 145645 SOS 32506 HAS SOPS 32506 HAS SOUS 22055 HAS SOUPS 22055 WITH SCORE 22087.506
AT ITER 3490 NEW BEST:: SOT 145625 SOS 32486 HAS SOPS 32486 HAS SOUS 22035 HAS SOUPS 22035 WITH SCORE 22067.486
AT ITER 3550 NEW BEST:: SOT 145630 SOS 32435 HAS SOPS 32435 HAS SOUS 21984 HAS SOUPS 21984 WITH SCORE 22016.435
AT ITER 3560 NEW BEST:: SOT 145622 SOS 32419 HAS SOPS 32419 HAS SOUS 21976 HAS SOUPS 21976 WITH SCORE 22008.419
AT ITER 3564 NEW BEST:: SOT 145598 SOS 32460 HAS SOPS 32460 HAS SOUS 21952 HAS SOUPS 21952 WITH SCORE 21984.46
AT ITER 3566 NEW BEST:: SOT 145527 SOS 32387 HAS SOPS 32387 HAS SOUS 21921 HAS SOUPS 21921 WITH SCORE 21953.387
AT ITER 3578 NEW BEST:: SOT 145423 SOS 32283 HAS SOPS 32283 HAS SOUS 21920 HAS SOUPS 21920 WITH SCORE 21952.283
AT ITER 3587 NEW BEST:: SOT 145348 SOS 32133 HAS SOPS 32133 HAS SOUS 21878 HAS SOUPS 21878 WITH SCORE 21910.133
AT ITER 3610 NEW BEST:: SOT 145336 SOS 32102 HAS SOPS 32102 HAS SOUS 21847 HAS SOUPS 21847 WITH SCORE 21879.102
AT ITER 3611 NEW BEST:: SOT 145324 SOS 32078 HAS SOPS 32078 HAS SOUS 21823 HAS SOUPS 21823 WITH SCORE 21855.078
AT ITER 3641 NEW BEST:: SOT 145308 SOS 32062 HAS SOPS 32062 HAS SOUS 21815 HAS SOUPS 21815 WITH SCORE 21847.062
AT ITER 3673 NEW BEST:: SOT 145291 SOS 32028 HAS SOPS 32028 HAS SOUS 21793 HAS SOUPS 21793 WITH SCORE 21825.028
AT ITER 3681 NEW BEST:: SOT 145290 SOS 32027 HAS SOPS 32027 HAS SOUS 21792 HAS SOUPS 21792 WITH SCORE 21824.027
AT ITER 3688 NEW BEST:: SOT 145292 SOS 31997 HAS SOPS 31997 HAS SOUS 21790 HAS SOUPS 21790 WITH SCORE 21821.997
AT ITER 3708 NEW BEST:: SOT 145282 SOS 31987 HAS SOPS 31987 HAS SOUS 21780 HAS SOUPS 21780 WITH SCORE 21811.987
AT ITER 3742 NEW BEST:: SOT 145229 SOS 32364 HAS SOPS 32364 HAS SOUS 21766 HAS SOUPS 21766 WITH SCORE 21798.364
AT ITER 3747 NEW BEST:: SOT 145259 SOS 32424 HAS SOPS 32424 HAS SOUS 21742 HAS SOUPS 21742 WITH SCORE 21774.424
AT ITER 3752 NEW BEST:: SOT 145321 SOS 32491 HAS SOPS 32491 HAS SOUS 21695 HAS SOUPS 21695 WITH SCORE 21727.491
AT ITER 3777 NEW BEST:: SOT 145311 SOS 32484 HAS SOPS 32484 HAS SOUS 21685 HAS SOUPS 21685 WITH SCORE 21717.484
AT ITER 3852 NEW BEST:: SOT 145311 SOS 32461 HAS SOPS 32461 HAS SOUS 21685 HAS SOUPS 21685 WITH SCORE 21717.461
AT ITER 3853 NEW BEST:: SOT 145293 SOS 32457 HAS SOPS 32457 HAS SOUS 21683 HAS SOUPS 21683 WITH SCORE 21715.457
AT ITER 3860 NEW BEST:: SOT 145286 SOS 32450 HAS SOPS 32450 HAS SOUS 21676 HAS SOUPS 21676 WITH SCORE 21708.45
AT ITER 3875 NEW BEST:: SOT 145267 SOS 32412 HAS SOPS 32412 HAS SOUS 21657 HAS SOUPS 21657 WITH SCORE 21689.412
AT ITER 3879 NEW BEST:: SOT 145270 SOS 32418 HAS SOPS 32418 HAS SOUS 21644 HAS SOUPS 21644 WITH SCORE 21676.418
AT ITER 3929 NEW BEST:: SOT 145234 SOS 32384 HAS SOPS 32384 HAS SOUS 21610 HAS SOUPS 21610 WITH SCORE 21642.384
AT ITER 3953 NEW BEST:: SOT 145185 SOS 32335 HAS SOPS 32335 HAS SOUS 21561 HAS SOUPS 21561 WITH SCORE 21593.335
AT ITER 3979 NEW BEST:: SOT 145185 SOS 32328 HAS SOPS 32328 HAS SOUS 21554 HAS SOUPS 21554 WITH SCORE 21586.328
AT ITER 3980 NEW BEST:: SOT 145163 SOS 32284 HAS SOPS 32284 HAS SOUS 21547 HAS SOUPS 21547 WITH SCORE 21579.284
AT ITER 3991 NEW BEST:: SOT 145157 SOS 32272 HAS SOPS 32272 HAS SOUS 21535 HAS SOUPS 21535 WITH SCORE 21567.272
AT ITER 3997 NEW BEST:: SOT 145150 SOS 32272 HAS SOPS 32272 HAS SOUS 21527 HAS SOUPS 21527 WITH SCORE 21559.272
AT ITER 4002 NEW BEST:: SOT 145128 SOS 32250 HAS SOPS 32250 HAS SOUS 21505 HAS SOUPS 21505 WITH SCORE 21537.25
AT ITER 4027 NEW BEST:: SOT 145119 SOS 32265 HAS SOPS 32265 HAS SOUS 21487 HAS SOUPS 21487 WITH SCORE 21519.265
AT ITER 4053 NEW BEST:: SOT 145119 SOS 32265 HAS SOPS 32265 HAS SOUS 21483 HAS SOUPS 21483 WITH SCORE 21515.265
AT ITER 4076 NEW BEST:: SOT 145052 SOS 32134 HAS SOPS 32134 HAS SOUS 21380 HAS SOUPS 21380 WITH SCORE 21412.134
AT ITER 4079 NEW BEST:: SOT 145026 SOS 32121 HAS SOPS 32121 HAS SOUS 21341 HAS SOUPS 21341 WITH SCORE 21373.121
AT ITER 4081 NEW BEST:: SOT 145021 SOS 32133 HAS SOPS 32133 HAS SOUS 21335 HAS SOUPS 21335 WITH SCORE 21367.133
AT ITER 4082 NEW BEST:: SOT 145003 SOS 32115 HAS SOPS 32115 HAS SOUS 21326 HAS SOUPS 21326 WITH SCORE 21358.115
AT ITER 4104 NEW BEST:: SOT 145003 SOS 32086 HAS SOPS 32086 HAS SOUS 21326 HAS SOUPS 21326 WITH SCORE 21358.086
AT ITER 4142 NEW BEST:: SOT 145003 SOS 32078 HAS SOPS 32078 HAS SOUS 21318 HAS SOUPS 21318 WITH SCORE 21350.078
AT ITER 4150 NEW BEST:: SOT 144999 SOS 32070 HAS SOPS 32070 HAS SOUS 21310 HAS SOUPS 21310 WITH SCORE 21342.07
AT ITER 4195 NEW BEST:: SOT 145001 SOS 32058 HAS SOPS 32058 HAS SOUS 21298 HAS SOUPS 21298 WITH SCORE 21330.058
AT ITER 4212 NEW BEST:: SOT 144927 SOS 31947 HAS SOPS 31947 HAS SOUS 21224 HAS SOUPS 21224 WITH SCORE 21255.947
AT ITER 4225 NEW BEST:: SOT 144921 SOS 31941 HAS SOPS 31941 HAS SOUS 21218 HAS SOUPS 21218 WITH SCORE 21249.941
AT ITER 4258 NEW BEST:: SOT 144907 SOS 31926 HAS SOPS 31926 HAS SOUS 21203 HAS SOUPS 21203 WITH SCORE 21234.926
AT ITER 4313 NEW BEST:: SOT 144922 SOS 31841 HAS SOPS 31841 HAS SOUS 21203 HAS SOUPS 21203 WITH SCORE 21234.841
AT ITER 4316 NEW BEST:: SOT 144880 SOS 31799 HAS SOPS 31799 HAS SOUS 21185 HAS SOUPS 21185 WITH SCORE 21216.799
AT ITER 4331 NEW BEST:: SOT 144857 SOS 31863 HAS SOPS 31863 HAS SOUS 21172 HAS SOUPS 21172 WITH SCORE 21203.863
AT ITER 4335 NEW BEST:: SOT 144856 SOS 31862 HAS SOPS 31862 HAS SOUS 21172 HAS SOUPS 21172 WITH SCORE 21203.862
AT ITER 4369 NEW BEST:: SOT 144835 SOS 31833 HAS SOPS 31833 HAS SOUS 21156 HAS SOUPS 21156 WITH SCORE 21187.833
AT ITER 4381 NEW BEST:: SOT 144827 SOS 31825 HAS SOPS 31825 HAS SOUS 21148 HAS SOUPS 21148 WITH SCORE 21179.825
AT ITER 4383 NEW BEST:: SOT 144817 SOS 31812 HAS SOPS 31812 HAS SOUS 21135 HAS SOUPS 21135 WITH SCORE 21166.812
AT ITER 4402 NEW BEST:: SOT 144778 SOS 31742 HAS SOPS 31742 HAS SOUS 21124 HAS SOUPS 21124 WITH SCORE 21155.742
AT ITER 4403 NEW BEST:: SOT 144663 SOS 31698 HAS SOPS 31698 HAS SOUS 21080 HAS SOUPS 21080 WITH SCORE 21111.698
AT ITER 4411 NEW BEST:: SOT 144658 SOS 31693 HAS SOPS 31693 HAS SOUS 21075 HAS SOUPS 21075 WITH SCORE 21106.693
AT ITER 4425 NEW BEST:: SOT 144640 SOS 31599 HAS SOPS 31599 HAS SOUS 21023 HAS SOUPS 21023 WITH SCORE 21054.599
AT ITER 4426 NEW BEST:: SOT 144640 SOS 31582 HAS SOPS 31582 HAS SOUS 21006 HAS SOUPS 21006 WITH SCORE 21037.582
AT ITER 4433 NEW BEST:: SOT 144621 SOS 31556 HAS SOPS 31556 HAS SOUS 20975 HAS SOUPS 20975 WITH SCORE 21006.556
AT ITER 4440 NEW BEST:: SOT 144604 SOS 31522 HAS SOPS 31522 HAS SOUS 20934 HAS SOUPS 20934 WITH SCORE 20965.522
AT ITER 4452 NEW BEST:: SOT 144577 SOS 31597 HAS SOPS 31597 HAS SOUS 20931 HAS SOUPS 20931 WITH SCORE 20962.597
AT ITER 4458 NEW BEST:: SOT 144562 SOS 31582 HAS SOPS 31582 HAS SOUS 20931 HAS SOUPS 20931 WITH SCORE 20962.582
AT ITER 4482 NEW BEST:: SOT 144404 SOS 31430 HAS SOPS 31430 HAS SOUS 20928 HAS SOUPS 20928 WITH SCORE 20959.43
AT ITER 4483 NEW BEST:: SOT 144379 SOS 31399 HAS SOPS 31399 HAS SOUS 20923 HAS SOUPS 20923 WITH SCORE 20954.399
AT ITER 4518 NEW BEST:: SOT 144364 SOS 31369 HAS SOPS 31369 HAS SOUS 20923 HAS SOUPS 20923 WITH SCORE 20954.369
AT ITER 4537 NEW BEST:: SOT 144393 SOS 31375 HAS SOPS 31375 HAS SOUS 20900 HAS SOUPS 20900 WITH SCORE 20931.375
AT ITER 4544 NEW BEST:: SOT 144393 SOS 31369 HAS SOPS 31369 HAS SOUS 20896 HAS SOUPS 20896 WITH SCORE 20927.369
AT ITER 4550 NEW BEST:: SOT 144379 SOS 31355 HAS SOPS 31355 HAS SOUS 20896 HAS SOUPS 20896 WITH SCORE 20927.355
AT ITER 4555 NEW BEST:: SOT 144377 SOS 31353 HAS SOPS 31353 HAS SOUS 20896 HAS SOUPS 20896 WITH SCORE 20927.353
AT ITER 4560 NEW BEST:: SOT 144395 SOS 31371 HAS SOPS 31371 HAS SOUS 20895 HAS SOUPS 20895 WITH SCORE 20926.371
AT ITER 4566 NEW BEST:: SOT 144396 SOS 31329 HAS SOPS 31329 HAS SOUS 20835 HAS SOUPS 20835 WITH SCORE 20866.329
AT ITER 4567 NEW BEST:: SOT 144239 SOS 32107 HAS SOPS 32107 HAS SOUS 20786 HAS SOUPS 20786 WITH SCORE 20818.107
AT ITER 4578 NEW BEST:: SOT 144244 SOS 32112 HAS SOPS 32112 HAS SOUS 20774 HAS SOUPS 20774 WITH SCORE 20806.112
AT ITER 4622 NEW BEST:: SOT 144244 SOS 32022 HAS SOPS 32022 HAS SOUS 20747 HAS SOUPS 20747 WITH SCORE 20779.022
AT ITER 4665 NEW BEST:: SOT 144181 SOS 31896 HAS SOPS 31896 HAS SOUS 20704 HAS SOUPS 20704 WITH SCORE 20735.896
AT ITER 4677 NEW BEST:: SOT 144045 SOS 32265 HAS SOPS 32265 HAS SOUS 20619 HAS SOUPS 20619 WITH SCORE 20651.265
AT ITER 4690 NEW BEST:: SOT 144024 SOS 32265 HAS SOPS 32265 HAS SOUS 20598 HAS SOUPS 20598 WITH SCORE 20630.265
AT ITER 4700 NEW BEST:: SOT 143996 SOS 32237 HAS SOPS 32237 HAS SOUS 20562 HAS SOUPS 20562 WITH SCORE 20594.237
AT ITER 4713 NEW BEST:: SOT 143968 SOS 32192 HAS SOPS 32192 HAS SOUS 20531 HAS SOUPS 20531 WITH SCORE 20563.192
AT ITER 4719 NEW BEST:: SOT 143946 SOS 32172 HAS SOPS 32172 HAS SOUS 20487 HAS SOUPS 20487 WITH SCORE 20519.172
AT ITER 4729 NEW BEST:: SOT 143915 SOS 32110 HAS SOPS 32110 HAS SOUS 20425 HAS SOUPS 20425 WITH SCORE 20457.11
AT ITER 4734 NEW BEST:: SOT 144067 SOS 32346 HAS SOPS 32346 HAS SOUS 20370 HAS SOUPS 20370 WITH SCORE 20402.346
AT ITER 4742 NEW BEST:: SOT 144064 SOS 32327 HAS SOPS 32327 HAS SOUS 20364 HAS SOUPS 20364 WITH SCORE 20396.327
AT ITER 4743 NEW BEST:: SOT 144044 SOS 32287 HAS SOPS 32287 HAS SOUS 20349 HAS SOUPS 20349 WITH SCORE 20381.287
AT ITER 4745 NEW BEST:: SOT 144036 SOS 32271 HAS SOPS 32271 HAS SOUS 20349 HAS SOUPS 20349 WITH SCORE 20381.271
AT ITER 4754 NEW BEST:: SOT 144036 SOS 32265 HAS SOPS 32265 HAS SOUS 20343 HAS SOUPS 20343 WITH SCORE 20375.265
AT ITER 4807 NEW BEST:: SOT 144053 SOS 32257 HAS SOPS 32257 HAS SOUS 20335 HAS SOUPS 20335 WITH SCORE 20367.257
AT ITER 4865 NEW BEST:: SOT 144055 SOS 32261 HAS SOPS 32261 HAS SOUS 20326 HAS SOUPS 20326 WITH SCORE 20358.261
AT ITER 4879 NEW BEST:: SOT 144049 SOS 32249 HAS SOPS 32249 HAS SOUS 20320 HAS SOUPS 20320 WITH SCORE 20352.249
AT ITER 4894 NEW BEST:: SOT 144049 SOS 32249 HAS SOPS 32249 HAS SOUS 20277 HAS SOUPS 20277 WITH SCORE 20309.249
AT ITER 4900 NEW BEST:: SOT 144038 SOS 32242 HAS SOPS 32242 HAS SOUS 20263 HAS SOUPS 20263 WITH SCORE 20295.242
AT ITER 4926 NEW BEST:: SOT 144035 SOS 32190 HAS SOPS 32190 HAS SOUS 20250 HAS SOUPS 20250 WITH SCORE 20282.19
AT ITER 4927 NEW BEST:: SOT 144012 SOS 32184 HAS SOPS 32184 HAS SOUS 20244 HAS SOUPS 20244 WITH SCORE 20276.184
AT ITER 4935 NEW BEST:: SOT 143996 SOS 32168 HAS SOPS 32168 HAS SOUS 20238 HAS SOUPS 20238 WITH SCORE 20270.168
AT ITER 4964 NEW BEST:: SOT 143916 SOS 32052 HAS SOPS 32052 HAS SOUS 20122 HAS SOUPS 20122 WITH SCORE 20154.052
Bounds file is: CTLFireability.xml
PROPERTY: SmartHome-PT-16-CTLFireability-00 (AG( (EF( ((potential((tk(P177)>=1))))))))
PROPERTY: SmartHome-PT-16-CTLFireability-01 (EF( (! (! ( ((potential((tk(P126)>=1)))) & ((potential((tk(P83)>=1)))) )))))
PROPERTY: SmartHome-PT-16-CTLFireability-02 (! (AG( (AX( (! ((potential((tk(P134)>=1))))))))))
PROPERTY: SmartHome-PT-16-CTLFireability-03 (AG( (! (! (! ((potential((tk(P399)>=1)))))))))
PROPERTY: SmartHome-PT-16-CTLFireability-04 (! (EF( (AF( ( ((potential((tk(P305)>=1)))) & ((potential((tk(P338)>=1)))) ))))))
PROPERTY: SmartHome-PT-16-CTLFireability-05 (EF( (AG( ((potential((tk(P346)>=1))))))))
PROPERTY: SmartHome-PT-16-CTLFireability-06 ( (EF( ( (AG( ((potential((tk(P208)>=1)))))) & (! ((potential((tk(P51)>=1))))) ))) & (AU( ( (! ((potential((tk(P398)>=1))))) & ((potential((tk(P139)>=1)))) ) , ( ( ((potential((tk(P67)>=1)))) & ((potential((tk(P100)>=1)))) ) | (! ((potential((tk(P233)>=1))))) ) )) )
PROPERTY: SmartHome-PT-16-CTLFireability-07 (EF( (AU( ( ((potential((tk(P382)>=1)))) & ((potential((tk(P146)>=1)))) ) , ( ((potential((tk(P250)>=1)))) | ((potential((tk(P24)>=1)))) ) ))))
PROPERTY: SmartHome-PT-16-CTLFireability-08 ( ((potential((tk(P385)>=1) & (tk(P390)>=1)))) | ( (EF( ((potential((tk(P11)>=1)))))) | ((potential((tk(P356)>=1)))) ) )
PROPERTY: SmartHome-PT-16-CTLFireability-09 (EF( (AG( ( (! ((potential((tk(P199)>=1))))) | ( ((potential((tk(P72)>=1)))) | ((potential((tk(P186)>=1)))) ) )))))
PROPERTY: SmartHome-PT-16-CTLFireability-10 (! (EF( (AG( (! ((potential((tk(P184)>=1))))))))))
PROPERTY: SmartHome-PT-16-CTLFireability-11 ( ( (! ( ( (! ((potential((tk(P139)>=1))))) | ( ((potential((tk(P254)>=1)))) & ((potential((tk(P305)>=1) & (tk(P476)>=1)))) ) ) & (AX( ((potential((tk(P95)>=1)))))) )) | ( ((potential((tk(P399)>=1)))) | (AU( ((potential((tk(P105)>=1)))) , ((potential((tk(P140)>=1)))) )) ) ) & (EU( (! ((potential((tk(P239)>=1))))) , ((potential((tk(P331)>=1)))) )) )
PROPERTY: SmartHome-PT-16-CTLFireability-12 ( ( ( (! ( ((potential((tk(P325)>=1)))) & (! ((potential((tk(P363)>=1))))) )) & (EX( ((potential((tk(P60)>=1)))))) ) | (EF( ((potential((tk(P349)>=1)))))) ) & (! (AF( (AF( ((potential((tk(P305)>=1) & (tk(P432)>=1))))))))) )
PROPERTY: SmartHome-PT-16-CTLFireability-13 (AG( (! ( ( ( ((potential((tk(P286)>=1)))) | ((potential((tk(P117)>=1)))) ) & ( ((potential((tk(P479)>=1)))) | ((potential((tk(P200)>=1)))) ) ) & (! ( ((potential((tk(P3)>=1) & (tk(P165)>=1)))) & ((potential((tk(P70)>=1)))) )) ))))
PROPERTY: SmartHome-PT-16-CTLFireability-14 (EF( ((potential((tk(P72)>=1) & (tk(P447)>=1))))))
PROPERTY: SmartHome-PT-16-CTLFireability-15 (! ( (! ( (! ( ((potential((tk(P385)>=1)))) & ((potential((tk(P325)>=1)))) )) & (EF( ((potential((tk(P353)>=1) & (tk(P493)>=1)))))) )) & ( (! ((potential((tk(P210)>=1))))) | (EU( ((potential((tk(P49)>=1)))) , ((potential((tk(P33)>=1)))) )) ) ))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="SmartHome-PT-16"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is SmartHome-PT-16, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r224-oct2-159033538400124"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/SmartHome-PT-16.tgz
mv SmartHome-PT-16 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;