About the Execution of smart for SmartHome-PT-19
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15768.430 | 3600000.00 | 3599030.00 | 0.00 | [undef] | Time out reached |
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-159033538400148.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-19, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538400148
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 360K
-rw-r--r-- 1 mcc users 4.0K May 14 03:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 03:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 21:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 21:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 14 10:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K 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.7K May 13 10:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K 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 181K 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-19-CTLFireability-00
FORMULA_NAME SmartHome-PT-19-CTLFireability-01
FORMULA_NAME SmartHome-PT-19-CTLFireability-02
FORMULA_NAME SmartHome-PT-19-CTLFireability-03
FORMULA_NAME SmartHome-PT-19-CTLFireability-04
FORMULA_NAME SmartHome-PT-19-CTLFireability-05
FORMULA_NAME SmartHome-PT-19-CTLFireability-06
FORMULA_NAME SmartHome-PT-19-CTLFireability-07
FORMULA_NAME SmartHome-PT-19-CTLFireability-08
FORMULA_NAME SmartHome-PT-19-CTLFireability-09
FORMULA_NAME SmartHome-PT-19-CTLFireability-10
FORMULA_NAME SmartHome-PT-19-CTLFireability-11
FORMULA_NAME SmartHome-PT-19-CTLFireability-12
FORMULA_NAME SmartHome-PT-19-CTLFireability-13
FORMULA_NAME SmartHome-PT-19-CTLFireability-14
FORMULA_NAME SmartHome-PT-19-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1590469808104
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 19
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: 741 places, 809 transitions, 1844 arcs.
AT ITER 0 NEW BEST:: SOT 353547 SOS 78692 HAS SOPS 78692 HAS SOUS 77052 HAS SOUPS 77052 WITH SCORE 77130.692
AT ITER 35 NEW BEST:: SOT 353535 SOS 78664 HAS SOPS 78664 HAS SOUS 77024 HAS SOUPS 77024 WITH SCORE 77102.664
AT ITER 39 NEW BEST:: SOT 353534 SOS 78662 HAS SOPS 78662 HAS SOUS 77022 HAS SOUPS 77022 WITH SCORE 77100.662
AT ITER 82 NEW BEST:: SOT 353457 SOS 78584 HAS SOPS 78584 HAS SOUS 76944 HAS SOUPS 76944 WITH SCORE 77022.584
AT ITER 86 NEW BEST:: SOT 353407 SOS 78484 HAS SOPS 78484 HAS SOUS 76844 HAS SOUPS 76844 WITH SCORE 76922.484
AT ITER 117 NEW BEST:: SOT 353380 SOS 78430 HAS SOPS 78430 HAS SOUS 76790 HAS SOUPS 76790 WITH SCORE 76868.43
AT ITER 120 NEW BEST:: SOT 353118 SOS 78710 HAS SOPS 78710 HAS SOUS 76595 HAS SOUPS 76595 WITH SCORE 76673.71
AT ITER 123 NEW BEST:: SOT 353117 SOS 78708 HAS SOPS 78708 HAS SOUS 76593 HAS SOUPS 76593 WITH SCORE 76671.708
AT ITER 133 NEW BEST:: SOT 353120 SOS 78574 HAS SOPS 78574 HAS SOUS 76459 HAS SOUPS 76459 WITH SCORE 76537.574
AT ITER 153 NEW BEST:: SOT 353060 SOS 78514 HAS SOPS 78514 HAS SOUS 76399 HAS SOUPS 76399 WITH SCORE 76477.514
AT ITER 169 NEW BEST:: SOT 352980 SOS 78374 HAS SOPS 78374 HAS SOUS 76239 HAS SOUPS 76239 WITH SCORE 76317.374
AT ITER 175 NEW BEST:: SOT 352772 SOS 78091 HAS SOPS 78091 HAS SOUS 75924 HAS SOUPS 75924 WITH SCORE 76002.091
AT ITER 185 NEW BEST:: SOT 352772 SOS 78084 HAS SOPS 78084 HAS SOUS 75917 HAS SOUPS 75917 WITH SCORE 75995.084
AT ITER 196 NEW BEST:: SOT 351479 SOS 82554 HAS SOPS 82554 HAS SOUS 75470 HAS SOUPS 75470 WITH SCORE 75552.554
AT ITER 197 NEW BEST:: SOT 350426 SOS 84746 HAS SOPS 84746 HAS SOUS 74670 HAS SOUPS 74670 WITH SCORE 74754.746
AT ITER 254 NEW BEST:: SOT 350056 SOS 86202 HAS SOPS 86202 HAS SOUS 74558 HAS SOUPS 74558 WITH SCORE 74644.202
AT ITER 259 NEW BEST:: SOT 350046 SOS 86184 HAS SOPS 86184 HAS SOUS 74540 HAS SOUPS 74540 WITH SCORE 74626.184
AT ITER 279 NEW BEST:: SOT 350060 SOS 86136 HAS SOPS 86136 HAS SOUS 74492 HAS SOUPS 74492 WITH SCORE 74578.136
AT ITER 282 NEW BEST:: SOT 350045 SOS 86121 HAS SOPS 86121 HAS SOUS 74449 HAS SOUPS 74449 WITH SCORE 74535.121
AT ITER 302 NEW BEST:: SOT 350000 SOS 86031 HAS SOPS 86031 HAS SOUS 74421 HAS SOUPS 74421 WITH SCORE 74507.031
AT ITER 305 NEW BEST:: SOT 350000 SOS 85950 HAS SOPS 85950 HAS SOUS 74340 HAS SOUPS 74340 WITH SCORE 74425.95
AT ITER 314 NEW BEST:: SOT 350000 SOS 85947 HAS SOPS 85947 HAS SOUS 74340 HAS SOUPS 74340 WITH SCORE 74425.947
AT ITER 319 NEW BEST:: SOT 349995 SOS 85937 HAS SOPS 85937 HAS SOUS 74266 HAS SOUPS 74266 WITH SCORE 74351.937
AT ITER 322 NEW BEST:: SOT 349892 SOS 85680 HAS SOPS 85680 HAS SOUS 74090 HAS SOUPS 74090 WITH SCORE 74175.68
AT ITER 325 NEW BEST:: SOT 349710 SOS 85498 HAS SOPS 85498 HAS SOUS 74088 HAS SOUPS 74088 WITH SCORE 74173.498
AT ITER 327 NEW BEST:: SOT 349593 SOS 85264 HAS SOPS 85264 HAS SOUS 73971 HAS SOUPS 73971 WITH SCORE 74056.264
AT ITER 351 NEW BEST:: SOT 349479 SOS 84987 HAS SOPS 84987 HAS SOUS 73774 HAS SOUPS 73774 WITH SCORE 73858.987
AT ITER 369 NEW BEST:: SOT 349129 SOS 85629 HAS SOPS 85629 HAS SOUS 73424 HAS SOUPS 73424 WITH SCORE 73509.629
AT ITER 401 NEW BEST:: SOT 349058 SOS 85574 HAS SOPS 85574 HAS SOUS 73353 HAS SOUPS 73353 WITH SCORE 73438.574
AT ITER 421 NEW BEST:: SOT 348988 SOS 85434 HAS SOPS 85434 HAS SOUS 73353 HAS SOUPS 73353 WITH SCORE 73438.434
AT ITER 433 NEW BEST:: SOT 348978 SOS 85255 HAS SOPS 85255 HAS SOUS 73208 HAS SOUPS 73208 WITH SCORE 73293.255
AT ITER 434 NEW BEST:: SOT 348978 SOS 85255 HAS SOPS 85255 HAS SOUS 73194 HAS SOUPS 73194 WITH SCORE 73279.255
AT ITER 446 NEW BEST:: SOT 348972 SOS 85087 HAS SOPS 85087 HAS SOUS 73030 HAS SOUPS 73030 WITH SCORE 73115.087
AT ITER 475 NEW BEST:: SOT 348914 SOS 85045 HAS SOPS 85045 HAS SOUS 72984 HAS SOUPS 72984 WITH SCORE 73069.045
AT ITER 480 NEW BEST:: SOT 348760 SOS 84814 HAS SOPS 84814 HAS SOUS 72830 HAS SOUPS 72830 WITH SCORE 72914.814
AT ITER 484 NEW BEST:: SOT 348707 SOS 84818 HAS SOPS 84818 HAS SOUS 72777 HAS SOUPS 72777 WITH SCORE 72861.818
AT ITER 505 NEW BEST:: SOT 348556 SOS 84589 HAS SOPS 84589 HAS SOUS 72545 HAS SOUPS 72545 WITH SCORE 72629.589
AT ITER 523 NEW BEST:: SOT 348497 SOS 84530 HAS SOPS 84530 HAS SOUS 72486 HAS SOUPS 72486 WITH SCORE 72570.53
AT ITER 558 NEW BEST:: SOT 347925 SOS 88908 HAS SOPS 88908 HAS SOUS 72243 HAS SOUPS 72243 WITH SCORE 72331.908
AT ITER 569 NEW BEST:: SOT 347889 SOS 88872 HAS SOPS 88872 HAS SOUS 72207 HAS SOUPS 72207 WITH SCORE 72295.872
AT ITER 571 NEW BEST:: SOT 347889 SOS 88841 HAS SOPS 88841 HAS SOUS 72176 HAS SOUPS 72176 WITH SCORE 72264.841
AT ITER 581 NEW BEST:: SOT 347912 SOS 88823 HAS SOPS 88823 HAS SOUS 72132 HAS SOUPS 72132 WITH SCORE 72220.823
AT ITER 598 NEW BEST:: SOT 347824 SOS 86761 HAS SOPS 86761 HAS SOUS 71932 HAS SOUPS 71932 WITH SCORE 72018.761
AT ITER 606 NEW BEST:: SOT 346294 SOS 85373 HAS SOPS 85373 HAS SOUS 70402 HAS SOUPS 70402 WITH SCORE 70487.373
AT ITER 618 NEW BEST:: SOT 346348 SOS 85317 HAS SOPS 85317 HAS SOUS 70389 HAS SOUPS 70389 WITH SCORE 70474.317
AT ITER 620 NEW BEST:: SOT 346331 SOS 85283 HAS SOPS 85283 HAS SOUS 70355 HAS SOUPS 70355 WITH SCORE 70440.283
AT ITER 624 NEW BEST:: SOT 346331 SOS 85262 HAS SOPS 85262 HAS SOUS 70334 HAS SOUPS 70334 WITH SCORE 70419.262
AT ITER 639 NEW BEST:: SOT 346317 SOS 85315 HAS SOPS 85315 HAS SOUS 70320 HAS SOUPS 70320 WITH SCORE 70405.315
AT ITER 668 NEW BEST:: SOT 345723 SOS 84909 HAS SOPS 84909 HAS SOUS 69654 HAS SOUPS 69654 WITH SCORE 69738.909
AT ITER 686 NEW BEST:: SOT 345308 SOS 86028 HAS SOPS 86028 HAS SOUS 69510 HAS SOUPS 69510 WITH SCORE 69596.028
AT ITER 696 NEW BEST:: SOT 345238 SOS 85959 HAS SOPS 85959 HAS SOUS 69441 HAS SOUPS 69441 WITH SCORE 69526.959
AT ITER 753 NEW BEST:: SOT 345253 SOS 85946 HAS SOPS 85946 HAS SOUS 69428 HAS SOUPS 69428 WITH SCORE 69513.946
AT ITER 756 NEW BEST:: SOT 345199 SOS 85752 HAS SOPS 85752 HAS SOUS 69264 HAS SOUPS 69264 WITH SCORE 69349.752
AT ITER 763 NEW BEST:: SOT 345108 SOS 85570 HAS SOPS 85570 HAS SOUS 69115 HAS SOUPS 69115 WITH SCORE 69200.57
AT ITER 769 NEW BEST:: SOT 345090 SOS 85534 HAS SOPS 85534 HAS SOUS 69079 HAS SOUPS 69079 WITH SCORE 69164.534
AT ITER 779 NEW BEST:: SOT 345056 SOS 85466 HAS SOPS 85466 HAS SOUS 69044 HAS SOUPS 69044 WITH SCORE 69129.466
AT ITER 786 NEW BEST:: SOT 345056 SOS 85465 HAS SOPS 85465 HAS SOUS 69043 HAS SOUPS 69043 WITH SCORE 69128.465
AT ITER 794 NEW BEST:: SOT 344566 SOS 85145 HAS SOPS 85145 HAS SOUS 68608 HAS SOUPS 68608 WITH SCORE 68693.145
AT ITER 820 NEW BEST:: SOT 344540 SOS 85059 HAS SOPS 85059 HAS SOUS 68548 HAS SOUPS 68548 WITH SCORE 68633.059
AT ITER 834 NEW BEST:: SOT 344509 SOS 85028 HAS SOPS 85028 HAS SOUS 68517 HAS SOUPS 68517 WITH SCORE 68602.028
AT ITER 835 NEW BEST:: SOT 344513 SOS 85036 HAS SOPS 85036 HAS SOUS 68472 HAS SOUPS 68472 WITH SCORE 68557.036
AT ITER 836 NEW BEST:: SOT 344492 SOS 85034 HAS SOPS 85034 HAS SOUS 68451 HAS SOUPS 68451 WITH SCORE 68536.034
AT ITER 838 NEW BEST:: SOT 344450 SOS 84919 HAS SOPS 84919 HAS SOUS 68435 HAS SOUPS 68435 WITH SCORE 68519.919
AT ITER 839 NEW BEST:: SOT 344450 SOS 84916 HAS SOPS 84916 HAS SOUS 68432 HAS SOUPS 68432 WITH SCORE 68516.916
AT ITER 855 NEW BEST:: SOT 344420 SOS 84831 HAS SOPS 84831 HAS SOUS 68365 HAS SOUPS 68365 WITH SCORE 68449.831
AT ITER 878 NEW BEST:: SOT 344347 SOS 84785 HAS SOPS 84785 HAS SOUS 68306 HAS SOUPS 68306 WITH SCORE 68390.785
AT ITER 895 NEW BEST:: SOT 344342 SOS 84785 HAS SOPS 84785 HAS SOUS 68301 HAS SOUPS 68301 WITH SCORE 68385.785
AT ITER 903 NEW BEST:: SOT 344416 SOS 84687 HAS SOPS 84687 HAS SOUS 68251 HAS SOUPS 68251 WITH SCORE 68335.687
AT ITER 907 NEW BEST:: SOT 344409 SOS 84673 HAS SOPS 84673 HAS SOUS 68245 HAS SOUPS 68245 WITH SCORE 68329.673
AT ITER 908 NEW BEST:: SOT 344409 SOS 84630 HAS SOPS 84630 HAS SOUS 68202 HAS SOUPS 68202 WITH SCORE 68286.63
AT ITER 915 NEW BEST:: SOT 344396 SOS 84659 HAS SOPS 84659 HAS SOUS 68189 HAS SOUPS 68189 WITH SCORE 68273.659
AT ITER 921 NEW BEST:: SOT 344304 SOS 84475 HAS SOPS 84475 HAS SOUS 68031 HAS SOUPS 68031 WITH SCORE 68115.475
AT ITER 930 NEW BEST:: SOT 344179 SOS 84225 HAS SOPS 84225 HAS SOUS 67906 HAS SOUPS 67906 WITH SCORE 67990.225
AT ITER 958 NEW BEST:: SOT 344179 SOS 84197 HAS SOPS 84197 HAS SOUS 67906 HAS SOUPS 67906 WITH SCORE 67990.197
AT ITER 972 NEW BEST:: SOT 344154 SOS 84147 HAS SOPS 84147 HAS SOUS 67852 HAS SOUPS 67852 WITH SCORE 67936.147
AT ITER 975 NEW BEST:: SOT 344154 SOS 84132 HAS SOPS 84132 HAS SOUS 67837 HAS SOUPS 67837 WITH SCORE 67921.132
AT ITER 984 NEW BEST:: SOT 344104 SOS 84053 HAS SOPS 84053 HAS SOUS 67772 HAS SOUPS 67772 WITH SCORE 67856.053
AT ITER 1029 NEW BEST:: SOT 343936 SOS 83549 HAS SOPS 83549 HAS SOUS 67436 HAS SOUPS 67436 WITH SCORE 67519.549
AT ITER 1032 NEW BEST:: SOT 343799 SOS 83404 HAS SOPS 83404 HAS SOUS 67340 HAS SOUPS 67340 WITH SCORE 67423.404
AT ITER 1040 NEW BEST:: SOT 343781 SOS 83402 HAS SOPS 83402 HAS SOUS 67338 HAS SOUPS 67338 WITH SCORE 67421.402
AT ITER 1051 NEW BEST:: SOT 343732 SOS 83304 HAS SOPS 83304 HAS SOUS 67240 HAS SOUPS 67240 WITH SCORE 67323.304
AT ITER 1069 NEW BEST:: SOT 343677 SOS 83194 HAS SOPS 83194 HAS SOUS 67185 HAS SOUPS 67185 WITH SCORE 67268.194
AT ITER 1085 NEW BEST:: SOT 343423 SOS 82942 HAS SOPS 82942 HAS SOUS 67168 HAS SOUPS 67168 WITH SCORE 67250.942
AT ITER 1086 NEW BEST:: SOT 343419 SOS 82934 HAS SOPS 82934 HAS SOUS 67160 HAS SOUPS 67160 WITH SCORE 67242.934
AT ITER 1091 NEW BEST:: SOT 343272 SOS 82640 HAS SOPS 82640 HAS SOUS 66708 HAS SOUPS 66708 WITH SCORE 66790.64
AT ITER 1097 NEW BEST:: SOT 343194 SOS 82562 HAS SOPS 82562 HAS SOUS 66630 HAS SOUPS 66630 WITH SCORE 66712.562
AT ITER 1110 NEW BEST:: SOT 343129 SOS 82432 HAS SOPS 82432 HAS SOUS 66565 HAS SOUPS 66565 WITH SCORE 66647.432
AT ITER 1115 NEW BEST:: SOT 343090 SOS 82354 HAS SOPS 82354 HAS SOUS 66525 HAS SOUPS 66525 WITH SCORE 66607.354
AT ITER 1116 NEW BEST:: SOT 342751 SOS 81821 HAS SOPS 81821 HAS SOUS 66267 HAS SOUPS 66267 WITH SCORE 66348.821
AT ITER 1124 NEW BEST:: SOT 342751 SOS 81679 HAS SOPS 81679 HAS SOUS 66196 HAS SOUPS 66196 WITH SCORE 66277.679
AT ITER 1135 NEW BEST:: SOT 342745 SOS 81667 HAS SOPS 81667 HAS SOUS 66190 HAS SOUPS 66190 WITH SCORE 66271.667
AT ITER 1141 NEW BEST:: SOT 342148 SOS 84618 HAS SOPS 84618 HAS SOUS 65890 HAS SOUPS 65890 WITH SCORE 65974.618
AT ITER 1172 NEW BEST:: SOT 342124 SOS 84586 HAS SOPS 84586 HAS SOUS 65858 HAS SOUPS 65858 WITH SCORE 65942.586
AT ITER 1251 NEW BEST:: SOT 342074 SOS 84451 HAS SOPS 84451 HAS SOUS 65775 HAS SOUPS 65775 WITH SCORE 65859.451
AT ITER 1259 NEW BEST:: SOT 342069 SOS 84441 HAS SOPS 84441 HAS SOUS 65774 HAS SOUPS 65774 WITH SCORE 65858.441
AT ITER 1262 NEW BEST:: SOT 341972 SOS 84249 HAS SOPS 84249 HAS SOUS 65743 HAS SOUPS 65743 WITH SCORE 65827.249
AT ITER 1265 NEW BEST:: SOT 341929 SOS 84006 HAS SOPS 84006 HAS SOUS 65500 HAS SOUPS 65500 WITH SCORE 65584.006
AT ITER 1279 NEW BEST:: SOT 341849 SOS 83846 HAS SOPS 83846 HAS SOUS 65340 HAS SOUPS 65340 WITH SCORE 65423.846
AT ITER 1286 NEW BEST:: SOT 341587 SOS 83322 HAS SOPS 83322 HAS SOUS 65230 HAS SOUPS 65230 WITH SCORE 65313.322
AT ITER 1298 NEW BEST:: SOT 341549 SOS 83284 HAS SOPS 83284 HAS SOUS 65192 HAS SOUPS 65192 WITH SCORE 65275.284
AT ITER 1300 NEW BEST:: SOT 340971 SOS 82772 HAS SOPS 82772 HAS SOUS 64619 HAS SOUPS 64619 WITH SCORE 64701.772
AT ITER 1310 NEW BEST:: SOT 340863 SOS 82501 HAS SOPS 82501 HAS SOUS 64511 HAS SOUPS 64511 WITH SCORE 64593.501
AT ITER 1314 NEW BEST:: SOT 340868 SOS 82489 HAS SOPS 82489 HAS SOUS 64499 HAS SOUPS 64499 WITH SCORE 64581.489
AT ITER 1317 NEW BEST:: SOT 340772 SOS 82297 HAS SOPS 82297 HAS SOUS 64403 HAS SOUPS 64403 WITH SCORE 64485.297
AT ITER 1318 NEW BEST:: SOT 340772 SOS 82290 HAS SOPS 82290 HAS SOUS 64396 HAS SOUPS 64396 WITH SCORE 64478.29
AT ITER 1324 NEW BEST:: SOT 340844 SOS 82283 HAS SOPS 82283 HAS SOUS 64369 HAS SOUPS 64369 WITH SCORE 64451.283
AT ITER 1335 NEW BEST:: SOT 340703 SOS 82142 HAS SOPS 82142 HAS SOUS 64369 HAS SOUPS 64369 WITH SCORE 64451.142
AT ITER 1344 NEW BEST:: SOT 340680 SOS 82119 HAS SOPS 82119 HAS SOUS 64346 HAS SOUPS 64346 WITH SCORE 64428.119
AT ITER 1346 NEW BEST:: SOT 340663 SOS 82068 HAS SOPS 82068 HAS SOUS 64312 HAS SOUPS 64312 WITH SCORE 64394.068
AT ITER 1349 NEW BEST:: SOT 340651 SOS 82044 HAS SOPS 82044 HAS SOUS 64288 HAS SOUPS 64288 WITH SCORE 64370.044
AT ITER 1354 NEW BEST:: SOT 340636 SOS 82029 HAS SOPS 82029 HAS SOUS 64258 HAS SOUPS 64258 WITH SCORE 64340.029
AT ITER 1355 NEW BEST:: SOT 340631 SOS 82097 HAS SOPS 82097 HAS SOUS 64253 HAS SOUPS 64253 WITH SCORE 64335.097
AT ITER 1368 NEW BEST:: SOT 340639 SOS 82092 HAS SOPS 82092 HAS SOUS 64247 HAS SOUPS 64247 WITH SCORE 64329.092
AT ITER 1387 NEW BEST:: SOT 340639 SOS 81979 HAS SOPS 81979 HAS SOUS 64134 HAS SOUPS 64134 WITH SCORE 64215.979
AT ITER 1388 NEW BEST:: SOT 340680 SOS 82053 HAS SOPS 82053 HAS SOUS 64098 HAS SOUPS 64098 WITH SCORE 64180.053
AT ITER 1439 NEW BEST:: SOT 340678 SOS 82049 HAS SOPS 82049 HAS SOUS 64094 HAS SOUPS 64094 WITH SCORE 64176.049
AT ITER 1457 NEW BEST:: SOT 340678 SOS 82005 HAS SOPS 82005 HAS SOUS 64050 HAS SOUPS 64050 WITH SCORE 64132.005
AT ITER 1458 NEW BEST:: SOT 340600 SOS 81849 HAS SOPS 81849 HAS SOUS 63894 HAS SOUPS 63894 WITH SCORE 63975.849
AT ITER 1468 NEW BEST:: SOT 340500 SOS 81749 HAS SOPS 81749 HAS SOUS 63794 HAS SOUPS 63794 WITH SCORE 63875.749
AT ITER 1470 NEW BEST:: SOT 340498 SOS 81739 HAS SOPS 81739 HAS SOUS 63784 HAS SOUPS 63784 WITH SCORE 63865.739
AT ITER 1478 NEW BEST:: SOT 340448 SOS 81639 HAS SOPS 81639 HAS SOUS 63684 HAS SOUPS 63684 WITH SCORE 63765.639
AT ITER 1480 NEW BEST:: SOT 340120 SOS 82630 HAS SOPS 82630 HAS SOUS 63641 HAS SOUPS 63641 WITH SCORE 63723.63
AT ITER 1483 NEW BEST:: SOT 339874 SOS 82281 HAS SOPS 82281 HAS SOUS 63395 HAS SOUPS 63395 WITH SCORE 63477.281
AT ITER 1493 NEW BEST:: SOT 339134 SOS 85627 HAS SOPS 85627 HAS SOUS 63270 HAS SOUPS 63270 WITH SCORE 63355.627
AT ITER 1506 NEW BEST:: SOT 339134 SOS 85620 HAS SOPS 85620 HAS SOUS 63263 HAS SOUPS 63263 WITH SCORE 63348.62
AT ITER 1509 NEW BEST:: SOT 339141 SOS 85619 HAS SOPS 85619 HAS SOUS 63261 HAS SOUPS 63261 WITH SCORE 63346.619
AT ITER 1514 NEW BEST:: SOT 339136 SOS 85609 HAS SOPS 85609 HAS SOUS 63251 HAS SOUPS 63251 WITH SCORE 63336.609
AT ITER 1517 NEW BEST:: SOT 339091 SOS 85564 HAS SOPS 85564 HAS SOUS 63161 HAS SOUPS 63161 WITH SCORE 63246.564
AT ITER 1519 NEW BEST:: SOT 339073 SOS 85549 HAS SOPS 85549 HAS SOUS 63090 HAS SOUPS 63090 WITH SCORE 63175.549
AT ITER 1527 NEW BEST:: SOT 339010 SOS 85486 HAS SOPS 85486 HAS SOUS 63027 HAS SOUPS 63027 WITH SCORE 63112.486
AT ITER 1530 NEW BEST:: SOT 338999 SOS 85605 HAS SOPS 85605 HAS SOUS 63023 HAS SOUPS 63023 WITH SCORE 63108.605
AT ITER 1536 NEW BEST:: SOT 338999 SOS 85605 HAS SOPS 85605 HAS SOUS 63017 HAS SOUPS 63017 WITH SCORE 63102.605
AT ITER 1540 NEW BEST:: SOT 338905 SOS 85511 HAS SOPS 85511 HAS SOUS 62923 HAS SOUPS 62923 WITH SCORE 63008.511
AT ITER 1547 NEW BEST:: SOT 338852 SOS 85405 HAS SOPS 85405 HAS SOUS 62817 HAS SOUPS 62817 WITH SCORE 62902.405
AT ITER 1574 NEW BEST:: SOT 338364 SOS 86259 HAS SOPS 86259 HAS SOUS 62616 HAS SOUPS 62616 WITH SCORE 62702.259
AT ITER 1588 NEW BEST:: SOT 338320 SOS 86171 HAS SOPS 86171 HAS SOUS 62591 HAS SOUPS 62591 WITH SCORE 62677.171
AT ITER 1589 NEW BEST:: SOT 338318 SOS 86167 HAS SOPS 86167 HAS SOUS 62511 HAS SOUPS 62511 WITH SCORE 62597.167
AT ITER 1593 NEW BEST:: SOT 338296 SOS 86422 HAS SOPS 86422 HAS SOUS 62489 HAS SOUPS 62489 WITH SCORE 62575.422
AT ITER 1608 NEW BEST:: SOT 338113 SOS 86268 HAS SOPS 86268 HAS SOUS 62434 HAS SOUPS 62434 WITH SCORE 62520.268
AT ITER 1621 NEW BEST:: SOT 338014 SOS 86070 HAS SOPS 86070 HAS SOUS 62236 HAS SOUPS 62236 WITH SCORE 62322.07
AT ITER 1622 NEW BEST:: SOT 337967 SOS 86000 HAS SOPS 86000 HAS SOUS 62213 HAS SOUPS 62213 WITH SCORE 62299.0
AT ITER 1623 NEW BEST:: SOT 338026 SOS 86020 HAS SOPS 86020 HAS SOUS 62174 HAS SOUPS 62174 WITH SCORE 62260.02
AT ITER 1628 NEW BEST:: SOT 338017 SOS 85974 HAS SOPS 85974 HAS SOUS 62156 HAS SOUPS 62156 WITH SCORE 62241.974
AT ITER 1634 NEW BEST:: SOT 338000 SOS 85957 HAS SOPS 85957 HAS SOUS 62139 HAS SOUPS 62139 WITH SCORE 62224.957
AT ITER 1640 NEW BEST:: SOT 337997 SOS 85951 HAS SOPS 85951 HAS SOUS 62133 HAS SOUPS 62133 WITH SCORE 62218.951
AT ITER 1641 NEW BEST:: SOT 337996 SOS 85949 HAS SOPS 85949 HAS SOUS 62132 HAS SOUPS 62132 WITH SCORE 62217.949
AT ITER 1658 NEW BEST:: SOT 337966 SOS 85919 HAS SOPS 85919 HAS SOUS 62102 HAS SOUPS 62102 WITH SCORE 62187.919
AT ITER 1660 NEW BEST:: SOT 337969 SOS 85802 HAS SOPS 85802 HAS SOUS 61985 HAS SOUPS 61985 WITH SCORE 62070.802
AT ITER 1686 NEW BEST:: SOT 337960 SOS 85797 HAS SOPS 85797 HAS SOUS 61976 HAS SOUPS 61976 WITH SCORE 62061.797
AT ITER 1693 NEW BEST:: SOT 337941 SOS 85759 HAS SOPS 85759 HAS SOUS 61957 HAS SOUPS 61957 WITH SCORE 62042.759
AT ITER 1722 NEW BEST:: SOT 337809 SOS 85627 HAS SOPS 85627 HAS SOUS 61825 HAS SOUPS 61825 WITH SCORE 61910.627
AT ITER 1726 NEW BEST:: SOT 337814 SOS 85531 HAS SOPS 85531 HAS SOUS 61765 HAS SOUPS 61765 WITH SCORE 61850.531
AT ITER 1736 NEW BEST:: SOT 337846 SOS 85509 HAS SOPS 85509 HAS SOUS 61743 HAS SOUPS 61743 WITH SCORE 61828.509
AT ITER 1738 NEW BEST:: SOT 337821 SOS 85109 HAS SOPS 85109 HAS SOUS 61693 HAS SOUPS 61693 WITH SCORE 61778.109
AT ITER 1746 NEW BEST:: SOT 337761 SOS 84987 HAS SOPS 84987 HAS SOUS 61571 HAS SOUPS 61571 WITH SCORE 61655.987
AT ITER 1753 NEW BEST:: SOT 337634 SOS 84986 HAS SOPS 84986 HAS SOUS 61570 HAS SOUPS 61570 WITH SCORE 61654.986
AT ITER 1764 NEW BEST:: SOT 337497 SOS 84712 HAS SOPS 84712 HAS SOUS 61570 HAS SOUPS 61570 WITH SCORE 61654.712
AT ITER 1796 NEW BEST:: SOT 337229 SOS 84755 HAS SOPS 84755 HAS SOUS 61302 HAS SOUPS 61302 WITH SCORE 61386.755
AT ITER 1809 NEW BEST:: SOT 337172 SOS 84698 HAS SOPS 84698 HAS SOUS 61301 HAS SOUPS 61301 WITH SCORE 61385.698
AT ITER 1847 NEW BEST:: SOT 337172 SOS 84688 HAS SOPS 84688 HAS SOUS 61291 HAS SOUPS 61291 WITH SCORE 61375.688
AT ITER 1853 NEW BEST:: SOT 337116 SOS 84420 HAS SOPS 84420 HAS SOUS 61191 HAS SOUPS 61191 WITH SCORE 61275.42
AT ITER 1868 NEW BEST:: SOT 337096 SOS 84400 HAS SOPS 84400 HAS SOUS 61171 HAS SOUPS 61171 WITH SCORE 61255.4
AT ITER 1894 NEW BEST:: SOT 337099 SOS 84403 HAS SOPS 84403 HAS SOUS 61050 HAS SOUPS 61050 WITH SCORE 61134.403
AT ITER 1914 NEW BEST:: SOT 337095 SOS 84395 HAS SOPS 84395 HAS SOUS 61039 HAS SOUPS 61039 WITH SCORE 61123.395
AT ITER 1919 NEW BEST:: SOT 337095 SOS 84342 HAS SOPS 84342 HAS SOUS 61024 HAS SOUPS 61024 WITH SCORE 61108.342
AT ITER 1927 NEW BEST:: SOT 336526 SOS 84749 HAS SOPS 84749 HAS SOUS 60536 HAS SOUPS 60536 WITH SCORE 60620.749
AT ITER 1933 NEW BEST:: SOT 336464 SOS 84687 HAS SOPS 84687 HAS SOUS 60474 HAS SOUPS 60474 WITH SCORE 60558.687
AT ITER 1946 NEW BEST:: SOT 336364 SOS 83000 HAS SOPS 83000 HAS SOUS 60177 HAS SOUPS 60177 WITH SCORE 60260.0
AT ITER 1959 NEW BEST:: SOT 336373 SOS 82961 HAS SOPS 82961 HAS SOUS 60138 HAS SOUPS 60138 WITH SCORE 60220.961
AT ITER 1961 NEW BEST:: SOT 336373 SOS 82805 HAS SOPS 82805 HAS SOUS 60058 HAS SOUPS 60058 WITH SCORE 60140.805
AT ITER 1962 NEW BEST:: SOT 336261 SOS 82525 HAS SOPS 82525 HAS SOUS 59778 HAS SOUPS 59778 WITH SCORE 59860.525
AT ITER 1963 NEW BEST:: SOT 336261 SOS 82525 HAS SOPS 82525 HAS SOUS 59771 HAS SOUPS 59771 WITH SCORE 59853.525
AT ITER 1997 NEW BEST:: SOT 336215 SOS 82479 HAS SOPS 82479 HAS SOUS 59725 HAS SOUPS 59725 WITH SCORE 59807.479
AT ITER 2019 NEW BEST:: SOT 336265 SOS 82579 HAS SOPS 82579 HAS SOUS 59718 HAS SOUPS 59718 WITH SCORE 59800.579
AT ITER 2022 NEW BEST:: SOT 336235 SOS 82519 HAS SOPS 82519 HAS SOUS 59688 HAS SOUPS 59688 WITH SCORE 59770.519
AT ITER 2031 NEW BEST:: SOT 336204 SOS 82507 HAS SOPS 82507 HAS SOUS 59625 HAS SOUPS 59625 WITH SCORE 59707.507
AT ITER 2054 NEW BEST:: SOT 336182 SOS 82485 HAS SOPS 82485 HAS SOUS 59616 HAS SOUPS 59616 WITH SCORE 59698.485
AT ITER 2071 NEW BEST:: SOT 336169 SOS 82485 HAS SOPS 82485 HAS SOUS 59603 HAS SOUPS 59603 WITH SCORE 59685.485
AT ITER 2073 NEW BEST:: SOT 336136 SOS 82419 HAS SOPS 82419 HAS SOUS 59537 HAS SOUPS 59537 WITH SCORE 59619.419
AT ITER 2074 NEW BEST:: SOT 336098 SOS 82309 HAS SOPS 82309 HAS SOUS 59499 HAS SOUPS 59499 WITH SCORE 59581.309
AT ITER 2093 NEW BEST:: SOT 336043 SOS 82254 HAS SOPS 82254 HAS SOUS 59444 HAS SOUPS 59444 WITH SCORE 59526.254
AT ITER 2098 NEW BEST:: SOT 335994 SOS 82384 HAS SOPS 82384 HAS SOUS 59414 HAS SOUPS 59414 WITH SCORE 59496.384
AT ITER 2105 NEW BEST:: SOT 335872 SOS 82262 HAS SOPS 82262 HAS SOUS 59282 HAS SOUPS 59282 WITH SCORE 59364.262
AT ITER 2113 NEW BEST:: SOT 335858 SOS 82141 HAS SOPS 82141 HAS SOUS 59187 HAS SOUPS 59187 WITH SCORE 59269.141
AT ITER 2131 NEW BEST:: SOT 335849 SOS 82123 HAS SOPS 82123 HAS SOUS 59169 HAS SOUPS 59169 WITH SCORE 59251.123
AT ITER 2152 NEW BEST:: SOT 335732 SOS 82063 HAS SOPS 82063 HAS SOUS 59081 HAS SOUPS 59081 WITH SCORE 59163.063
AT ITER 2180 NEW BEST:: SOT 335678 SOS 81924 HAS SOPS 81924 HAS SOUS 59010 HAS SOUPS 59010 WITH SCORE 59091.924
AT ITER 2204 NEW BEST:: SOT 335678 SOS 81830 HAS SOPS 81830 HAS SOUS 59010 HAS SOUPS 59010 WITH SCORE 59091.83
AT ITER 2219 NEW BEST:: SOT 335602 SOS 81734 HAS SOPS 81734 HAS SOUS 58860 HAS SOUPS 58860 WITH SCORE 58941.734
AT ITER 2241 NEW BEST:: SOT 335599 SOS 81728 HAS SOPS 81728 HAS SOUS 58860 HAS SOUPS 58860 WITH SCORE 58941.728
AT ITER 2265 NEW BEST:: SOT 335598 SOS 81726 HAS SOPS 81726 HAS SOUS 58858 HAS SOUPS 58858 WITH SCORE 58939.726
AT ITER 2281 NEW BEST:: SOT 335546 SOS 81623 HAS SOPS 81623 HAS SOUS 58795 HAS SOUPS 58795 WITH SCORE 58876.623
AT ITER 2310 NEW BEST:: SOT 335516 SOS 81587 HAS SOPS 81587 HAS SOUS 58759 HAS SOUPS 58759 WITH SCORE 58840.587
AT ITER 2319 NEW BEST:: SOT 335516 SOS 81567 HAS SOPS 81567 HAS SOUS 58739 HAS SOUPS 58739 WITH SCORE 58820.567
AT ITER 2325 NEW BEST:: SOT 335444 SOS 81189 HAS SOPS 81189 HAS SOUS 58519 HAS SOUPS 58519 WITH SCORE 58600.189
AT ITER 2343 NEW BEST:: SOT 335366 SOS 81183 HAS SOPS 81183 HAS SOUS 58513 HAS SOUPS 58513 WITH SCORE 58594.183
AT ITER 2349 NEW BEST:: SOT 335366 SOS 81109 HAS SOPS 81109 HAS SOUS 58513 HAS SOUPS 58513 WITH SCORE 58594.109
AT ITER 2359 NEW BEST:: SOT 335366 SOS 81050 HAS SOPS 81050 HAS SOUS 58513 HAS SOUPS 58513 WITH SCORE 58594.05
AT ITER 2360 NEW BEST:: SOT 335359 SOS 81036 HAS SOPS 81036 HAS SOUS 58499 HAS SOUPS 58499 WITH SCORE 58580.036
AT ITER 2367 NEW BEST:: SOT 335340 SOS 80899 HAS SOPS 80899 HAS SOUS 58498 HAS SOUPS 58498 WITH SCORE 58578.899
AT ITER 2378 NEW BEST:: SOT 335185 SOS 80589 HAS SOPS 80589 HAS SOUS 58344 HAS SOUPS 58344 WITH SCORE 58424.589
AT ITER 2390 NEW BEST:: SOT 334686 SOS 81166 HAS SOPS 81166 HAS SOUS 58087 HAS SOUPS 58087 WITH SCORE 58168.166
AT ITER 2398 NEW BEST:: SOT 334619 SOS 81085 HAS SOPS 81085 HAS SOUS 57986 HAS SOUPS 57986 WITH SCORE 58067.085
AT ITER 2405 NEW BEST:: SOT 334612 SOS 81071 HAS SOPS 81071 HAS SOUS 57986 HAS SOUPS 57986 WITH SCORE 58067.071
AT ITER 2412 NEW BEST:: SOT 334521 SOS 80970 HAS SOPS 80970 HAS SOUS 57968 HAS SOUPS 57968 WITH SCORE 58048.97
AT ITER 2428 NEW BEST:: SOT 334528 SOS 80984 HAS SOPS 80984 HAS SOUS 57956 HAS SOUPS 57956 WITH SCORE 58036.984
AT ITER 2436 NEW BEST:: SOT 334517 SOS 80962 HAS SOPS 80962 HAS SOUS 57934 HAS SOUPS 57934 WITH SCORE 58014.962
AT ITER 2437 NEW BEST:: SOT 334517 SOS 80925 HAS SOPS 80925 HAS SOUS 57934 HAS SOUPS 57934 WITH SCORE 58014.925
AT ITER 2438 NEW BEST:: SOT 334491 SOS 80841 HAS SOPS 80841 HAS SOUS 57876 HAS SOUPS 57876 WITH SCORE 57956.841
AT ITER 2445 NEW BEST:: SOT 334399 SOS 80765 HAS SOPS 80765 HAS SOUS 57857 HAS SOUPS 57857 WITH SCORE 57937.765
AT ITER 2460 NEW BEST:: SOT 334582 SOS 81053 HAS SOPS 81053 HAS SOUS 57762 HAS SOUPS 57762 WITH SCORE 57843.053
AT ITER 2461 NEW BEST:: SOT 334458 SOS 80805 HAS SOPS 80805 HAS SOUS 57653 HAS SOUPS 57653 WITH SCORE 57733.805
AT ITER 2483 NEW BEST:: SOT 334436 SOS 80794 HAS SOPS 80794 HAS SOUS 57634 HAS SOUPS 57634 WITH SCORE 57714.794
AT ITER 2512 NEW BEST:: SOT 334372 SOS 80020 HAS SOPS 80020 HAS SOUS 57506 HAS SOUPS 57506 WITH SCORE 57586.02
AT ITER 2516 NEW BEST:: SOT 334364 SOS 79320 HAS SOPS 79320 HAS SOUS 57445 HAS SOUPS 57445 WITH SCORE 57524.32
AT ITER 2521 NEW BEST:: SOT 334370 SOS 79332 HAS SOPS 79332 HAS SOUS 57437 HAS SOUPS 57437 WITH SCORE 57516.332
AT ITER 2536 NEW BEST:: SOT 334357 SOS 79319 HAS SOPS 79319 HAS SOUS 57424 HAS SOUPS 57424 WITH SCORE 57503.319
AT ITER 2537 NEW BEST:: SOT 334316 SOS 80125 HAS SOPS 80125 HAS SOUS 57386 HAS SOUPS 57386 WITH SCORE 57466.125
AT ITER 2545 NEW BEST:: SOT 334334 SOS 80256 HAS SOPS 80256 HAS SOUS 57370 HAS SOUPS 57370 WITH SCORE 57450.256
AT ITER 2562 NEW BEST:: SOT 334309 SOS 80206 HAS SOPS 80206 HAS SOUS 57320 HAS SOUPS 57320 WITH SCORE 57400.206
AT ITER 2586 NEW BEST:: SOT 333979 SOS 79876 HAS SOPS 79876 HAS SOUS 57090 HAS SOUPS 57090 WITH SCORE 57169.876
AT ITER 2592 NEW BEST:: SOT 333484 SOS 82456 HAS SOPS 82456 HAS SOUS 56918 HAS SOUPS 56918 WITH SCORE 57000.456
AT ITER 2594 NEW BEST:: SOT 333547 SOS 82485 HAS SOPS 82485 HAS SOUS 56914 HAS SOUPS 56914 WITH SCORE 56996.485
AT ITER 2596 NEW BEST:: SOT 333476 SOS 82427 HAS SOPS 82427 HAS SOUS 56856 HAS SOUPS 56856 WITH SCORE 56938.427
AT ITER 2612 NEW BEST:: SOT 333476 SOS 82427 HAS SOPS 82427 HAS SOUS 56804 HAS SOUPS 56804 WITH SCORE 56886.427
AT ITER 2617 NEW BEST:: SOT 333343 SOS 82242 HAS SOPS 82242 HAS SOUS 56671 HAS SOUPS 56671 WITH SCORE 56753.242
AT ITER 2622 NEW BEST:: SOT 333265 SOS 82164 HAS SOPS 82164 HAS SOUS 56593 HAS SOUPS 56593 WITH SCORE 56675.164
AT ITER 2631 NEW BEST:: SOT 333242 SOS 82141 HAS SOPS 82141 HAS SOUS 56593 HAS SOUPS 56593 WITH SCORE 56675.141
AT ITER 2651 NEW BEST:: SOT 333289 SOS 82176 HAS SOPS 82176 HAS SOUS 56590 HAS SOUPS 56590 WITH SCORE 56672.176
AT ITER 2658 NEW BEST:: SOT 333304 SOS 82142 HAS SOPS 82142 HAS SOUS 56556 HAS SOUPS 56556 WITH SCORE 56638.142
AT ITER 2730 NEW BEST:: SOT 333269 SOS 82037 HAS SOPS 82037 HAS SOUS 56535 HAS SOUPS 56535 WITH SCORE 56617.037
AT ITER 2736 NEW BEST:: SOT 333233 SOS 81992 HAS SOPS 81992 HAS SOUS 56504 HAS SOUPS 56504 WITH SCORE 56585.992
AT ITER 2777 NEW BEST:: SOT 333141 SOS 81900 HAS SOPS 81900 HAS SOUS 56462 HAS SOUPS 56462 WITH SCORE 56543.9
AT ITER 2786 NEW BEST:: SOT 333141 SOS 81862 HAS SOPS 81862 HAS SOUS 56462 HAS SOUPS 56462 WITH SCORE 56543.862
AT ITER 2812 NEW BEST:: SOT 333141 SOS 81862 HAS SOPS 81862 HAS SOUS 56455 HAS SOUPS 56455 WITH SCORE 56536.862
AT ITER 2824 NEW BEST:: SOT 333038 SOS 81759 HAS SOPS 81759 HAS SOUS 56455 HAS SOUPS 56455 WITH SCORE 56536.759
AT ITER 2832 NEW BEST:: SOT 333075 SOS 81851 HAS SOPS 81851 HAS SOUS 56437 HAS SOUPS 56437 WITH SCORE 56518.851
AT ITER 2839 NEW BEST:: SOT 332985 SOS 81761 HAS SOPS 81761 HAS SOUS 56437 HAS SOUPS 56437 WITH SCORE 56518.761
AT ITER 2843 NEW BEST:: SOT 332906 SOS 81603 HAS SOPS 81603 HAS SOUS 56426 HAS SOUPS 56426 WITH SCORE 56507.603
AT ITER 2844 NEW BEST:: SOT 332809 SOS 81409 HAS SOPS 81409 HAS SOUS 56329 HAS SOUPS 56329 WITH SCORE 56410.409
AT ITER 2852 NEW BEST:: SOT 332809 SOS 81281 HAS SOPS 81281 HAS SOUS 56329 HAS SOUPS 56329 WITH SCORE 56410.281
AT ITER 2864 NEW BEST:: SOT 332829 SOS 81278 HAS SOPS 81278 HAS SOUS 56319 HAS SOUPS 56319 WITH SCORE 56400.278
AT ITER 2890 NEW BEST:: SOT 332790 SOS 81200 HAS SOPS 81200 HAS SOUS 56312 HAS SOUPS 56312 WITH SCORE 56393.2
AT ITER 2896 NEW BEST:: SOT 332754 SOS 81128 HAS SOPS 81128 HAS SOUS 56240 HAS SOUPS 56240 WITH SCORE 56321.128
AT ITER 2919 NEW BEST:: SOT 332744 SOS 81118 HAS SOPS 81118 HAS SOUS 56232 HAS SOUPS 56232 WITH SCORE 56313.118
AT ITER 2936 NEW BEST:: SOT 332709 SOS 81083 HAS SOPS 81083 HAS SOUS 56197 HAS SOUPS 56197 WITH SCORE 56278.083
AT ITER 2945 NEW BEST:: SOT 332694 SOS 81053 HAS SOPS 81053 HAS SOUS 56197 HAS SOUPS 56197 WITH SCORE 56278.053
AT ITER 2958 NEW BEST:: SOT 332670 SOS 81369 HAS SOPS 81369 HAS SOUS 56183 HAS SOUPS 56183 WITH SCORE 56264.369
AT ITER 2985 NEW BEST:: SOT 332654 SOS 81336 HAS SOPS 81336 HAS SOUS 56091 HAS SOUPS 56091 WITH SCORE 56172.336
AT ITER 2992 NEW BEST:: SOT 332779 SOS 81314 HAS SOPS 81314 HAS SOUS 56080 HAS SOUPS 56080 WITH SCORE 56161.314
AT ITER 3008 NEW BEST:: SOT 332771 SOS 81298 HAS SOPS 81298 HAS SOUS 56072 HAS SOUPS 56072 WITH SCORE 56153.298
AT ITER 3012 NEW BEST:: SOT 332762 SOS 81289 HAS SOPS 81289 HAS SOUS 56063 HAS SOUPS 56063 WITH SCORE 56144.289
AT ITER 3022 NEW BEST:: SOT 332741 SOS 81247 HAS SOPS 81247 HAS SOUS 55992 HAS SOUPS 55992 WITH SCORE 56073.247
AT ITER 3024 NEW BEST:: SOT 332738 SOS 81221 HAS SOPS 81221 HAS SOUS 55943 HAS SOUPS 55943 WITH SCORE 56024.221
AT ITER 3034 NEW BEST:: SOT 332666 SOS 81089 HAS SOPS 81089 HAS SOUS 55895 HAS SOUPS 55895 WITH SCORE 55976.089
AT ITER 3037 NEW BEST:: SOT 332674 SOS 81075 HAS SOPS 81075 HAS SOUS 55877 HAS SOUPS 55877 WITH SCORE 55958.075
AT ITER 3039 NEW BEST:: SOT 332668 SOS 81108 HAS SOPS 81108 HAS SOUS 55874 HAS SOUPS 55874 WITH SCORE 55955.108
AT ITER 3043 NEW BEST:: SOT 332665 SOS 80927 HAS SOPS 80927 HAS SOUS 55750 HAS SOUPS 55750 WITH SCORE 55830.927
AT ITER 3045 NEW BEST:: SOT 332656 SOS 80918 HAS SOPS 80918 HAS SOUS 55750 HAS SOUPS 55750 WITH SCORE 55830.918
AT ITER 3061 NEW BEST:: SOT 332633 SOS 80895 HAS SOPS 80895 HAS SOUS 55750 HAS SOUPS 55750 WITH SCORE 55830.895
AT ITER 3066 NEW BEST:: SOT 332574 SOS 80777 HAS SOPS 80777 HAS SOUS 55750 HAS SOUPS 55750 WITH SCORE 55830.777
AT ITER 3077 NEW BEST:: SOT 332573 SOS 80781 HAS SOPS 80781 HAS SOUS 55749 HAS SOUPS 55749 WITH SCORE 55829.781
AT ITER 3081 NEW BEST:: SOT 332507 SOS 80649 HAS SOPS 80649 HAS SOUS 55617 HAS SOUPS 55617 WITH SCORE 55697.649
AT ITER 3118 NEW BEST:: SOT 332322 SOS 80464 HAS SOPS 80464 HAS SOUS 55560 HAS SOUPS 55560 WITH SCORE 55640.464
AT ITER 3126 NEW BEST:: SOT 332322 SOS 80400 HAS SOPS 80400 HAS SOUS 55496 HAS SOUPS 55496 WITH SCORE 55576.4
AT ITER 3131 NEW BEST:: SOT 332309 SOS 80374 HAS SOPS 80374 HAS SOUS 55470 HAS SOUPS 55470 WITH SCORE 55550.374
AT ITER 3142 NEW BEST:: SOT 332294 SOS 80344 HAS SOPS 80344 HAS SOUS 55440 HAS SOUPS 55440 WITH SCORE 55520.344
AT ITER 3154 NEW BEST:: SOT 332291 SOS 80341 HAS SOPS 80341 HAS SOUS 55440 HAS SOUPS 55440 WITH SCORE 55520.341
AT ITER 3171 NEW BEST:: SOT 332284 SOS 80327 HAS SOPS 80327 HAS SOUS 55426 HAS SOUPS 55426 WITH SCORE 55506.327
AT ITER 3187 NEW BEST:: SOT 332264 SOS 80287 HAS SOPS 80287 HAS SOUS 55396 HAS SOUPS 55396 WITH SCORE 55476.287
AT ITER 3194 NEW BEST:: SOT 332235 SOS 80229 HAS SOPS 80229 HAS SOUS 55338 HAS SOUPS 55338 WITH SCORE 55418.229
AT ITER 3195 NEW BEST:: SOT 332242 SOS 80236 HAS SOPS 80236 HAS SOUS 55307 HAS SOUPS 55307 WITH SCORE 55387.236
AT ITER 3196 NEW BEST:: SOT 332088 SOS 79928 HAS SOPS 79928 HAS SOUS 55247 HAS SOUPS 55247 WITH SCORE 55326.928
AT ITER 3198 NEW BEST:: SOT 332064 SOS 79729 HAS SOPS 79729 HAS SOUS 55199 HAS SOUPS 55199 WITH SCORE 55278.729
AT ITER 3199 NEW BEST:: SOT 331925 SOS 79694 HAS SOPS 79694 HAS SOUS 55164 HAS SOUPS 55164 WITH SCORE 55243.694
AT ITER 3205 NEW BEST:: SOT 331925 SOS 79685 HAS SOPS 79685 HAS SOUS 55155 HAS SOUPS 55155 WITH SCORE 55234.685
AT ITER 3213 NEW BEST:: SOT 331939 SOS 79699 HAS SOPS 79699 HAS SOUS 55135 HAS SOUPS 55135 WITH SCORE 55214.699
AT ITER 3215 NEW BEST:: SOT 331939 SOS 79536 HAS SOPS 79536 HAS SOUS 54972 HAS SOUPS 54972 WITH SCORE 55051.536
AT ITER 3236 NEW BEST:: SOT 331731 SOS 79328 HAS SOPS 79328 HAS SOUS 54868 HAS SOUPS 54868 WITH SCORE 54947.328
AT ITER 3251 NEW BEST:: SOT 331731 SOS 79305 HAS SOPS 79305 HAS SOUS 54868 HAS SOUPS 54868 WITH SCORE 54947.305
AT ITER 3255 NEW BEST:: SOT 331671 SOS 79432 HAS SOPS 79432 HAS SOUS 54825 HAS SOUPS 54825 WITH SCORE 54904.432
AT ITER 3256 NEW BEST:: SOT 331611 SOS 79389 HAS SOPS 79389 HAS SOUS 54782 HAS SOUPS 54782 WITH SCORE 54861.389
AT ITER 3258 NEW BEST:: SOT 331590 SOS 79377 HAS SOPS 79377 HAS SOUS 54765 HAS SOUPS 54765 WITH SCORE 54844.377
AT ITER 3259 NEW BEST:: SOT 331589 SOS 79376 HAS SOPS 79376 HAS SOUS 54765 HAS SOUPS 54765 WITH SCORE 54844.376
AT ITER 3285 NEW BEST:: SOT 331554 SOS 79306 HAS SOPS 79306 HAS SOUS 54695 HAS SOUPS 54695 WITH SCORE 54774.306
AT ITER 3288 NEW BEST:: SOT 331520 SOS 79278 HAS SOPS 79278 HAS SOUS 54627 HAS SOUPS 54627 WITH SCORE 54706.278
AT ITER 3310 NEW BEST:: SOT 331508 SOS 79266 HAS SOPS 79266 HAS SOUS 54615 HAS SOUPS 54615 WITH SCORE 54694.266
AT ITER 3325 NEW BEST:: SOT 331522 SOS 79241 HAS SOPS 79241 HAS SOUS 54610 HAS SOUPS 54610 WITH SCORE 54689.241
AT ITER 3334 NEW BEST:: SOT 331522 SOS 79249 HAS SOPS 79249 HAS SOUS 54598 HAS SOUPS 54598 WITH SCORE 54677.249
AT ITER 3351 NEW BEST:: SOT 331451 SOS 79107 HAS SOPS 79107 HAS SOUS 54501 HAS SOUPS 54501 WITH SCORE 54580.107
AT ITER 3356 NEW BEST:: SOT 331460 SOS 79100 HAS SOPS 79100 HAS SOUS 54494 HAS SOUPS 54494 WITH SCORE 54573.1
AT ITER 3378 NEW BEST:: SOT 331458 SOS 79098 HAS SOPS 79098 HAS SOUS 54494 HAS SOUPS 54494 WITH SCORE 54573.098
AT ITER 3384 NEW BEST:: SOT 331456 SOS 79094 HAS SOPS 79094 HAS SOUS 54491 HAS SOUPS 54491 WITH SCORE 54570.094
AT ITER 3387 NEW BEST:: SOT 331437 SOS 79061 HAS SOPS 79061 HAS SOUS 54439 HAS SOUPS 54439 WITH SCORE 54518.061
AT ITER 3390 NEW BEST:: SOT 331438 SOS 79020 HAS SOPS 79020 HAS SOUS 54398 HAS SOUPS 54398 WITH SCORE 54477.02
AT ITER 3394 NEW BEST:: SOT 331438 SOS 78940 HAS SOPS 78940 HAS SOUS 54398 HAS SOUPS 54398 WITH SCORE 54476.94
AT ITER 3395 NEW BEST:: SOT 331438 SOS 78932 HAS SOPS 78932 HAS SOUS 54390 HAS SOUPS 54390 WITH SCORE 54468.932
AT ITER 3396 NEW BEST:: SOT 331433 SOS 78927 HAS SOPS 78927 HAS SOUS 54385 HAS SOUPS 54385 WITH SCORE 54463.927
AT ITER 3410 NEW BEST:: SOT 331340 SOS 79003 HAS SOPS 79003 HAS SOUS 54342 HAS SOUPS 54342 WITH SCORE 54421.003
AT ITER 3445 NEW BEST:: SOT 331280 SOS 78943 HAS SOPS 78943 HAS SOUS 54342 HAS SOUPS 54342 WITH SCORE 54420.943
AT ITER 3453 NEW BEST:: SOT 331232 SOS 79606 HAS SOPS 79606 HAS SOUS 54294 HAS SOUPS 54294 WITH SCORE 54373.606
AT ITER 3479 NEW BEST:: SOT 331195 SOS 79532 HAS SOPS 79532 HAS SOUS 54286 HAS SOUPS 54286 WITH SCORE 54365.532
AT ITER 3481 NEW BEST:: SOT 331073 SOS 80089 HAS SOPS 80089 HAS SOUS 54278 HAS SOUPS 54278 WITH SCORE 54358.089
AT ITER 3509 NEW BEST:: SOT 331071 SOS 80085 HAS SOPS 80085 HAS SOUS 54276 HAS SOUPS 54276 WITH SCORE 54356.085
AT ITER 3523 NEW BEST:: SOT 331071 SOS 79997 HAS SOPS 79997 HAS SOUS 54188 HAS SOUPS 54188 WITH SCORE 54267.997
AT ITER 3602 NEW BEST:: SOT 331034 SOS 79923 HAS SOPS 79923 HAS SOUS 54114 HAS SOUPS 54114 WITH SCORE 54193.923
AT ITER 3605 NEW BEST:: SOT 330785 SOS 81151 HAS SOPS 81151 HAS SOUS 53928 HAS SOUPS 53928 WITH SCORE 54009.151
AT ITER 3613 NEW BEST:: SOT 330704 SOS 80809 HAS SOPS 80809 HAS SOUS 53751 HAS SOUPS 53751 WITH SCORE 53831.809
AT ITER 3658 NEW BEST:: SOT 330698 SOS 80803 HAS SOPS 80803 HAS SOUS 53739 HAS SOUPS 53739 WITH SCORE 53819.803
AT ITER 3664 NEW BEST:: SOT 330645 SOS 80697 HAS SOPS 80697 HAS SOUS 53686 HAS SOUPS 53686 WITH SCORE 53766.697
AT ITER 3680 NEW BEST:: SOT 330645 SOS 80696 HAS SOPS 80696 HAS SOUS 53684 HAS SOUPS 53684 WITH SCORE 53764.696
AT ITER 3699 NEW BEST:: SOT 330617 SOS 80682 HAS SOPS 80682 HAS SOUS 53670 HAS SOUPS 53670 WITH SCORE 53750.682
AT ITER 3716 NEW BEST:: SOT 330537 SOS 80545 HAS SOPS 80545 HAS SOUS 53613 HAS SOUPS 53613 WITH SCORE 53693.545
AT ITER 3717 NEW BEST:: SOT 330542 SOS 80547 HAS SOPS 80547 HAS SOUS 53610 HAS SOUPS 53610 WITH SCORE 53690.547
AT ITER 3740 NEW BEST:: SOT 330528 SOS 80295 HAS SOPS 80295 HAS SOUS 53596 HAS SOUPS 53596 WITH SCORE 53676.295
AT ITER 3742 NEW BEST:: SOT 330530 SOS 80285 HAS SOPS 80285 HAS SOUS 53586 HAS SOUPS 53586 WITH SCORE 53666.285
AT ITER 3758 NEW BEST:: SOT 330518 SOS 80273 HAS SOPS 80273 HAS SOUS 53574 HAS SOUPS 53574 WITH SCORE 53654.273
AT ITER 3806 NEW BEST:: SOT 330518 SOS 80251 HAS SOPS 80251 HAS SOUS 53574 HAS SOUPS 53574 WITH SCORE 53654.251
AT ITER 3816 NEW BEST:: SOT 330471 SOS 80241 HAS SOPS 80241 HAS SOUS 53522 HAS SOUPS 53522 WITH SCORE 53602.241
AT ITER 3818 NEW BEST:: SOT 330472 SOS 80239 HAS SOPS 80239 HAS SOUS 53520 HAS SOUPS 53520 WITH SCORE 53600.239
AT ITER 3833 NEW BEST:: SOT 330473 SOS 80153 HAS SOPS 80153 HAS SOUS 53478 HAS SOUPS 53478 WITH SCORE 53558.153
AT ITER 3838 NEW BEST:: SOT 330464 SOS 80144 HAS SOPS 80144 HAS SOUS 53478 HAS SOUPS 53478 WITH SCORE 53558.144
AT ITER 3841 NEW BEST:: SOT 330418 SOS 78369 HAS SOPS 78369 HAS SOUS 53432 HAS SOUPS 53432 WITH SCORE 53510.369
AT ITER 3887 NEW BEST:: SOT 330473 SOS 78066 HAS SOPS 78066 HAS SOUS 53430 HAS SOUPS 53430 WITH SCORE 53508.066
AT ITER 3899 NEW BEST:: SOT 330473 SOS 77956 HAS SOPS 77956 HAS SOUS 53375 HAS SOUPS 53375 WITH SCORE 53452.956
AT ITER 3931 NEW BEST:: SOT 330453 SOS 77916 HAS SOPS 77916 HAS SOUS 53355 HAS SOUPS 53355 WITH SCORE 53432.916
AT ITER 3935 NEW BEST:: SOT 330418 SOS 77846 HAS SOPS 77846 HAS SOUS 53314 HAS SOUPS 53314 WITH SCORE 53391.846
AT ITER 3946 NEW BEST:: SOT 330412 SOS 77819 HAS SOPS 77819 HAS SOUS 53278 HAS SOUPS 53278 WITH SCORE 53355.819
AT ITER 3952 NEW BEST:: SOT 330389 SOS 77796 HAS SOPS 77796 HAS SOUS 53255 HAS SOUPS 53255 WITH SCORE 53332.796
AT ITER 3955 NEW BEST:: SOT 330389 SOS 77803 HAS SOPS 77803 HAS SOUS 53248 HAS SOUPS 53248 WITH SCORE 53325.803
AT ITER 3959 NEW BEST:: SOT 330328 SOS 77742 HAS SOPS 77742 HAS SOUS 53237 HAS SOUPS 53237 WITH SCORE 53314.742
AT ITER 3962 NEW BEST:: SOT 330287 SOS 77713 HAS SOPS 77713 HAS SOUS 53208 HAS SOUPS 53208 WITH SCORE 53285.713
AT ITER 3966 NEW BEST:: SOT 330287 SOS 77713 HAS SOPS 77713 HAS SOUS 53156 HAS SOUPS 53156 WITH SCORE 53233.713
AT ITER 3973 NEW BEST:: SOT 330278 SOS 77695 HAS SOPS 77695 HAS SOUS 53138 HAS SOUPS 53138 WITH SCORE 53215.695
AT ITER 4016 NEW BEST:: SOT 330089 SOS 77370 HAS SOPS 77370 HAS SOUS 53136 HAS SOUPS 53136 WITH SCORE 53213.37
AT ITER 4029 NEW BEST:: SOT 330044 SOS 77280 HAS SOPS 77280 HAS SOUS 53088 HAS SOUPS 53088 WITH SCORE 53165.28
AT ITER 4044 NEW BEST:: SOT 330015 SOS 77222 HAS SOPS 77222 HAS SOUS 53030 HAS SOUPS 53030 WITH SCORE 53107.222
AT ITER 4045 NEW BEST:: SOT 330005 SOS 77202 HAS SOPS 77202 HAS SOUS 52964 HAS SOUPS 52964 WITH SCORE 53041.202
AT ITER 4069 NEW BEST:: SOT 329890 SOS 76972 HAS SOPS 76972 HAS SOUS 52833 HAS SOUPS 52833 WITH SCORE 52909.972
AT ITER 4071 NEW BEST:: SOT 329805 SOS 76802 HAS SOPS 76802 HAS SOUS 52748 HAS SOUPS 52748 WITH SCORE 52824.802
AT ITER 4089 NEW BEST:: SOT 329805 SOS 76757 HAS SOPS 76757 HAS SOUS 52703 HAS SOUPS 52703 WITH SCORE 52779.757
AT ITER 4104 NEW BEST:: SOT 329803 SOS 76753 HAS SOPS 76753 HAS SOUS 52699 HAS SOUPS 52699 WITH SCORE 52775.753
AT ITER 4164 NEW BEST:: SOT 329768 SOS 76683 HAS SOPS 76683 HAS SOUS 52664 HAS SOUPS 52664 WITH SCORE 52740.683
AT ITER 4204 NEW BEST:: SOT 329683 SOS 76513 HAS SOPS 76513 HAS SOUS 52579 HAS SOUPS 52579 WITH SCORE 52655.513
AT ITER 4220 NEW BEST:: SOT 329681 SOS 76509 HAS SOPS 76509 HAS SOUS 52575 HAS SOUPS 52575 WITH SCORE 52651.509
AT ITER 4233 NEW BEST:: SOT 329628 SOS 76456 HAS SOPS 76456 HAS SOUS 52522 HAS SOUPS 52522 WITH SCORE 52598.456
AT ITER 4291 NEW BEST:: SOT 329616 SOS 76432 HAS SOPS 76432 HAS SOUS 52498 HAS SOUPS 52498 WITH SCORE 52574.432
AT ITER 4317 NEW BEST:: SOT 329616 SOS 76342 HAS SOPS 76342 HAS SOUS 52486 HAS SOUPS 52486 WITH SCORE 52562.342
AT ITER 4352 NEW BEST:: SOT 329534 SOS 76238 HAS SOPS 76238 HAS SOUS 52434 HAS SOUPS 52434 WITH SCORE 52510.238
AT ITER 4356 NEW BEST:: SOT 329469 SOS 76173 HAS SOPS 76173 HAS SOUS 52369 HAS SOUPS 52369 WITH SCORE 52445.173
AT ITER 4363 NEW BEST:: SOT 329469 SOS 76173 HAS SOPS 76173 HAS SOUS 52365 HAS SOUPS 52365 WITH SCORE 52441.173
AT ITER 4373 NEW BEST:: SOT 329664 SOS 76368 HAS SOPS 76368 HAS SOUS 52204 HAS SOUPS 52204 WITH SCORE 52280.368
AT ITER 4392 NEW BEST:: SOT 329558 SOS 76209 HAS SOPS 76209 HAS SOUS 52098 HAS SOUPS 52098 WITH SCORE 52174.209
AT ITER 4398 NEW BEST:: SOT 329553 SOS 76204 HAS SOPS 76204 HAS SOUS 52093 HAS SOUPS 52093 WITH SCORE 52169.204
AT ITER 4415 NEW BEST:: SOT 329623 SOS 75092 HAS SOPS 75092 HAS SOUS 51942 HAS SOUPS 51942 WITH SCORE 52017.092
AT ITER 4424 NEW BEST:: SOT 329623 SOS 75092 HAS SOPS 75092 HAS SOUS 51941 HAS SOUPS 51941 WITH SCORE 52016.092
AT ITER 4439 NEW BEST:: SOT 329606 SOS 75058 HAS SOPS 75058 HAS SOUS 51924 HAS SOUPS 51924 WITH SCORE 51999.058
AT ITER 4445 NEW BEST:: SOT 329591 SOS 75005 HAS SOPS 75005 HAS SOUS 51871 HAS SOUPS 51871 WITH SCORE 51946.005
AT ITER 4450 NEW BEST:: SOT 329610 SOS 75024 HAS SOPS 75024 HAS SOUS 51859 HAS SOUPS 51859 WITH SCORE 51934.024
AT ITER 4453 NEW BEST:: SOT 329598 SOS 75012 HAS SOPS 75012 HAS SOUS 51859 HAS SOUPS 51859 WITH SCORE 51934.012
AT ITER 4479 NEW BEST:: SOT 329546 SOS 75092 HAS SOPS 75092 HAS SOUS 51793 HAS SOUPS 51793 WITH SCORE 51868.092
AT ITER 4521 NEW BEST:: SOT 329546 SOS 75056 HAS SOPS 75056 HAS SOUS 51757 HAS SOUPS 51757 WITH SCORE 51832.056
AT ITER 4526 NEW BEST:: SOT 329546 SOS 75024 HAS SOPS 75024 HAS SOUS 51757 HAS SOUPS 51757 WITH SCORE 51832.024
AT ITER 4555 NEW BEST:: SOT 329533 SOS 74998 HAS SOPS 74998 HAS SOUS 51731 HAS SOUPS 51731 WITH SCORE 51805.998
AT ITER 4556 NEW BEST:: SOT 329520 SOS 74972 HAS SOPS 74972 HAS SOUS 51718 HAS SOUPS 51718 WITH SCORE 51792.972
AT ITER 4561 NEW BEST:: SOT 329517 SOS 75071 HAS SOPS 75071 HAS SOUS 51696 HAS SOUPS 51696 WITH SCORE 51771.071
AT ITER 4573 NEW BEST:: SOT 329494 SOS 75016 HAS SOPS 75016 HAS SOUS 51641 HAS SOUPS 51641 WITH SCORE 51716.016
AT ITER 4580 NEW BEST:: SOT 329450 SOS 74967 HAS SOPS 74967 HAS SOUS 51631 HAS SOUPS 51631 WITH SCORE 51705.967
AT ITER 4582 NEW BEST:: SOT 329382 SOS 74831 HAS SOPS 74831 HAS SOUS 51568 HAS SOUPS 51568 WITH SCORE 51642.831
AT ITER 4592 NEW BEST:: SOT 329382 SOS 74825 HAS SOPS 74825 HAS SOUS 51562 HAS SOUPS 51562 WITH SCORE 51636.825
AT ITER 4603 NEW BEST:: SOT 329346 SOS 74753 HAS SOPS 74753 HAS SOUS 51490 HAS SOUPS 51490 WITH SCORE 51564.753
AT ITER 4650 NEW BEST:: SOT 329346 SOS 74737 HAS SOPS 74737 HAS SOUS 51473 HAS SOUPS 51473 WITH SCORE 51547.737
AT ITER 4664 NEW BEST:: SOT 329334 SOS 74713 HAS SOPS 74713 HAS SOUS 51461 HAS SOUPS 51461 WITH SCORE 51535.713
AT ITER 4737 NEW BEST:: SOT 329274 SOS 74593 HAS SOPS 74593 HAS SOUS 51373 HAS SOUPS 51373 WITH SCORE 51447.593
AT ITER 4762 NEW BEST:: SOT 329255 SOS 74555 HAS SOPS 74555 HAS SOUS 51335 HAS SOUPS 51335 WITH SCORE 51409.555
AT ITER 4783 NEW BEST:: SOT 329252 SOS 74506 HAS SOPS 74506 HAS SOUS 51306 HAS SOUPS 51306 WITH SCORE 51380.506
AT ITER 4806 NEW BEST:: SOT 329245 SOS 74492 HAS SOPS 74492 HAS SOUS 51299 HAS SOUPS 51299 WITH SCORE 51373.492
AT ITER 4821 NEW BEST:: SOT 329230 SOS 74462 HAS SOPS 74462 HAS SOUS 51269 HAS SOUPS 51269 WITH SCORE 51343.462
AT ITER 4835 NEW BEST:: SOT 329227 SOS 74417 HAS SOPS 74417 HAS SOUS 51260 HAS SOUPS 51260 WITH SCORE 51334.417
AT ITER 4857 NEW BEST:: SOT 329227 SOS 74371 HAS SOPS 74371 HAS SOUS 51168 HAS SOUPS 51168 WITH SCORE 51242.371
AT ITER 4860 NEW BEST:: SOT 329199 SOS 74297 HAS SOPS 74297 HAS SOUS 51152 HAS SOUPS 51152 WITH SCORE 51226.297
AT ITER 4862 NEW BEST:: SOT 329199 SOS 74291 HAS SOPS 74291 HAS SOUS 51152 HAS SOUPS 51152 WITH SCORE 51226.291
AT ITER 4865 NEW BEST:: SOT 329175 SOS 74399 HAS SOPS 74399 HAS SOUS 51128 HAS SOUPS 51128 WITH SCORE 51202.399
AT ITER 4900 NEW BEST:: SOT 329218 SOS 74485 HAS SOPS 74485 HAS SOUS 51125 HAS SOUPS 51125 WITH SCORE 51199.485
AT ITER 4937 NEW BEST:: SOT 328948 SOS 74224 HAS SOPS 74224 HAS SOUS 50957 HAS SOUPS 50957 WITH SCORE 51031.224
AT ITER 4964 NEW BEST:: SOT 328942 SOS 74212 HAS SOPS 74212 HAS SOUS 50951 HAS SOUPS 50951 WITH SCORE 51025.212
AT ITER 4970 NEW BEST:: SOT 328865 SOS 72792 HAS SOPS 72792 HAS SOUS 50751 HAS SOUPS 50751 WITH SCORE 50823.792
AT ITER 4986 NEW BEST:: SOT 328864 SOS 72790 HAS SOPS 72790 HAS SOUS 50750 HAS SOUPS 50750 WITH SCORE 50822.79
AT ITER 4988 NEW BEST:: SOT 328821 SOS 72728 HAS SOPS 72728 HAS SOUS 50736 HAS SOUPS 50736 WITH SCORE 50808.728
AT ITER 4992 NEW BEST:: SOT 328821 SOS 72728 HAS SOPS 72728 HAS SOUS 50732 HAS SOUPS 50732 WITH SCORE 50804.728
Bounds file is: CTLFireability.xml
PROPERTY: SmartHome-PT-19-CTLFireability-00 ( ( (AG( (EF( ((potential((tk(P484)>=1)))))))) | ( (AG( (! ((potential((tk(P488)>=1))))))) & ( ( ( ((potential((tk(P234)>=1)))) & ((potential((tk(P574)>=1)))) ) & ((potential((tk(P163)>=1) & (tk(P667)>=1)))) ) & (! ( ((potential((tk(P585)>=1)))) | ((potential((tk(P580)>=1)))) )) ) ) ) | (! (EF( (EX( ((potential((tk(P88)>=1))))))))) )
PROPERTY: SmartHome-PT-19-CTLFireability-01 (EU( ( (! ((potential((tk(P543)>=1))))) & (AG( ((potential((tk(P552)>=1)))))) ) , ( (AG( ((potential((tk(P287)>=1) & (tk(P680)>=1)))))) | (EF( ((potential((tk(P276)>=1)))))) ) ))
PROPERTY: SmartHome-PT-19-CTLFireability-02 ( ( ( ( ( (! ((potential((tk(P655)>=1))))) & (! ((potential((tk(P513)>=1))))) ) | (! (! ((potential((tk(P380)>=1)))))) ) & (EF( ( ((potential((tk(P541)>=1)))) | ((potential((tk(P345)>=1)))) ))) ) | (AX( (! (! ((potential((tk(P3)>=1) & (tk(P568)>=1)))))))) ) & (! ( (AG( ((potential((tk(P599)>=1)))))) & ( (EF( ((potential((tk(P568)>=1)))))) | (! (! ((potential((tk(P411)>=1) & (tk(P728)>=1)))))) ) )) )
PROPERTY: SmartHome-PT-19-CTLFireability-03 ( (EX( (AG( (! ((potential((tk(P273)>=1))))))))) | ((potential((tk(P405)>=1)))) )
PROPERTY: SmartHome-PT-19-CTLFireability-04 ( (! (EU( (! ((potential((tk(P612)>=1))))) , ((potential((tk(P204)>=1)))) ))) | (EU( (EF( ((potential((tk(P394)>=1)))))) , (EG( ((potential((tk(P411)>=1)))))) )) )
PROPERTY: SmartHome-PT-19-CTLFireability-05 (EF( ( (EF( ((potential((tk(P123)>=1)))))) & (EG( ((potential((tk(P563)>=1)))))) )))
PROPERTY: SmartHome-PT-19-CTLFireability-06 (AF( (AG( (EF( ((potential((tk(P568)>=1) & (tk(P658)>=1))))))))))
PROPERTY: SmartHome-PT-19-CTLFireability-07 (EU( (! (EG( ((potential((tk(P67)>=1))))))) , ( ( ((potential((tk(P524)>=1)))) | ( ((potential((tk(P125)>=1)))) & ((potential((tk(P279)>=1)))) ) ) & ((potential((tk(P212)>=1)))) ) ))
PROPERTY: SmartHome-PT-19-CTLFireability-08 (EF( (AU( (! ((potential((tk(P597)>=1))))) , ((potential((tk(P274)>=1)))) ))))
PROPERTY: SmartHome-PT-19-CTLFireability-09 (AG( (AG( (EF( ((potential((tk(P403)>=1))))))))))
PROPERTY: SmartHome-PT-19-CTLFireability-10 (EF( ( ( (! (! ((potential((tk(P142)>=1)))))) & ((potential((tk(P532)>=1)))) ) | ((potential((tk(P251)>=1)))) )))
PROPERTY: SmartHome-PT-19-CTLFireability-11 (EF( ((potential((tk(P206)>=1))))))
PROPERTY: SmartHome-PT-19-CTLFireability-12 ( ((potential((tk(P194)>=1)))) | (EF( ((potential((tk(P180)>=1)))))) )
PROPERTY: SmartHome-PT-19-CTLFireability-13 (AG( (! (AX( ( ((potential((tk(P185)>=1)))) & ((potential((tk(P3)>=1) & (tk(P194)>=1)))) ))))))
PROPERTY: SmartHome-PT-19-CTLFireability-14 ( ( ( (! (AX( ((potential((tk(P443)>=1))))))) & (AG( (! ((potential((tk(P473)>=1) & (tk(P737)>=1))))))) ) | (! ( ( ( ((potential((tk(P106)>=1)))) | ((potential((tk(P132)>=1) & (tk(P714)>=1)))) ) & (! ((potential((tk(P614)>=1))))) ) | ( ( ((potential((tk(P568)>=1) & (tk(P633)>=1)))) | ((potential((tk(P562)>=1)))) ) | (! ((potential((tk(P150)>=1))))) ) )) ) & (EU( (EF( ((potential((tk(P91)>=1)))))) , (! ( ((potential((tk(P189)>=1)))) & ((potential((tk(P669)>=1) & (tk(P665)>=1)))) )) )) )
PROPERTY: SmartHome-PT-19-CTLFireability-15 (EU( (AU( ((potential((tk(P439)>=1)))) , ((potential((tk(P16)>=1)))) )) , (EF( ((potential((tk(P175)>=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-19"
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-19, 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-159033538400148"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SmartHome-PT-19.tgz
mv SmartHome-PT-19 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 '
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 ;