Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 244K
-rw-r--r-- 1 mcc users 3.6K Mar 31 07:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 31 07:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 29 23:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 29 23:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 28 14:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 28 14:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 27 07:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 27 07:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 75K Mar 24 05:37 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 DiscoveryGPU-PT-10b-CTLFireability-00
FORMULA_NAME DiscoveryGPU-PT-10b-CTLFireability-01
FORMULA_NAME DiscoveryGPU-PT-10b-CTLFireability-02
FORMULA_NAME DiscoveryGPU-PT-10b-CTLFireability-03
FORMULA_NAME DiscoveryGPU-PT-10b-CTLFireability-04
FORMULA_NAME DiscoveryGPU-PT-10b-CTLFireability-05
FORMULA_NAME DiscoveryGPU-PT-10b-CTLFireability-06
FORMULA_NAME DiscoveryGPU-PT-10b-CTLFireability-07
FORMULA_NAME DiscoveryGPU-PT-10b-CTLFireability-08
FORMULA_NAME DiscoveryGPU-PT-10b-CTLFireability-09
FORMULA_NAME DiscoveryGPU-PT-10b-CTLFireability-10
FORMULA_NAME DiscoveryGPU-PT-10b-CTLFireability-11
FORMULA_NAME DiscoveryGPU-PT-10b-CTLFireability-12
FORMULA_NAME DiscoveryGPU-PT-10b-CTLFireability-13
FORMULA_NAME DiscoveryGPU-PT-10b-CTLFireability-14
FORMULA_NAME DiscoveryGPU-PT-10b-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589363479066

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 10b
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: 296 places, 314 transitions, 819 arcs.
AT ITER 0 NEW BEST:: SOT 64743 SOS 30735 HAS SOPS 30735 HAS SOUS 27286 HAS SOUPS 27286 WITH SCORE 27316.735
AT ITER 3 NEW BEST:: SOT 64641 SOS 30633 HAS SOPS 30633 HAS SOUS 27184 HAS SOUPS 27184 WITH SCORE 27214.633
AT ITER 6 NEW BEST:: SOT 64614 SOS 30552 HAS SOPS 30552 HAS SOUS 27157 HAS SOUPS 27157 WITH SCORE 27187.552
AT ITER 8 NEW BEST:: SOT 64614 SOS 30484 HAS SOPS 30484 HAS SOUS 27089 HAS SOUPS 27089 WITH SCORE 27119.484
AT ITER 12 NEW BEST:: SOT 64614 SOS 30421 HAS SOPS 30421 HAS SOUS 27089 HAS SOUPS 27089 WITH SCORE 27119.421
AT ITER 14 NEW BEST:: SOT 64528 SOS 30307 HAS SOPS 30307 HAS SOUS 27001 HAS SOUPS 27001 WITH SCORE 27031.307
AT ITER 16 NEW BEST:: SOT 64525 SOS 30304 HAS SOPS 30304 HAS SOUS 26998 HAS SOUPS 26998 WITH SCORE 27028.304
AT ITER 28 NEW BEST:: SOT 64500 SOS 30254 HAS SOPS 30254 HAS SOUS 26948 HAS SOUPS 26948 WITH SCORE 26978.254
AT ITER 33 NEW BEST:: SOT 64418 SOS 30172 HAS SOPS 30172 HAS SOUS 26866 HAS SOUPS 26866 WITH SCORE 26896.172
AT ITER 49 NEW BEST:: SOT 64418 SOS 30128 HAS SOPS 30128 HAS SOUS 26865 HAS SOUPS 26865 WITH SCORE 26895.128
AT ITER 50 NEW BEST:: SOT 64362 SOS 30148 HAS SOPS 30148 HAS SOUS 26860 HAS SOUPS 26860 WITH SCORE 26890.148
AT ITER 56 NEW BEST:: SOT 64310 SOS 30145 HAS SOPS 30145 HAS SOUS 26838 HAS SOUPS 26838 WITH SCORE 26868.145
AT ITER 62 NEW BEST:: SOT 64178 SOS 29916 HAS SOPS 29916 HAS SOUS 26639 HAS SOUPS 26639 WITH SCORE 26668.916
AT ITER 69 NEW BEST:: SOT 64238 SOS 29972 HAS SOPS 29972 HAS SOUS 26635 HAS SOUPS 26635 WITH SCORE 26664.972
AT ITER 76 NEW BEST:: SOT 64187 SOS 29922 HAS SOPS 29922 HAS SOUS 26610 HAS SOUPS 26610 WITH SCORE 26639.922
AT ITER 79 NEW BEST:: SOT 61691 SOS 29445 HAS SOPS 29445 HAS SOUS 24283 HAS SOUPS 24283 WITH SCORE 24312.445
AT ITER 80 NEW BEST:: SOT 61672 SOS 29407 HAS SOPS 29407 HAS SOUS 24264 HAS SOUPS 24264 WITH SCORE 24293.407
AT ITER 81 NEW BEST:: SOT 61679 SOS 29404 HAS SOPS 29404 HAS SOUS 24260 HAS SOUPS 24260 WITH SCORE 24289.404
AT ITER 88 NEW BEST:: SOT 61591 SOS 29341 HAS SOPS 29341 HAS SOUS 24199 HAS SOUPS 24199 WITH SCORE 24228.341
AT ITER 89 NEW BEST:: SOT 61575 SOS 29325 HAS SOPS 29325 HAS SOUS 24199 HAS SOUPS 24199 WITH SCORE 24228.325
AT ITER 93 NEW BEST:: SOT 61506 SOS 29223 HAS SOPS 29223 HAS SOUS 24130 HAS SOUPS 24130 WITH SCORE 24159.223
AT ITER 95 NEW BEST:: SOT 61502 SOS 29219 HAS SOPS 29219 HAS SOUS 24126 HAS SOUPS 24126 WITH SCORE 24155.219
AT ITER 99 NEW BEST:: SOT 61364 SOS 28955 HAS SOPS 28955 HAS SOUS 23922 HAS SOUPS 23922 WITH SCORE 23950.955
AT ITER 112 NEW BEST:: SOT 61357 SOS 28936 HAS SOPS 28936 HAS SOUS 23914 HAS SOUPS 23914 WITH SCORE 23942.936
AT ITER 113 NEW BEST:: SOT 61210 SOS 28745 HAS SOPS 28745 HAS SOUS 23766 HAS SOUPS 23766 WITH SCORE 23794.745
AT ITER 118 NEW BEST:: SOT 61257 SOS 28720 HAS SOPS 28720 HAS SOUS 23762 HAS SOUPS 23762 WITH SCORE 23790.72
AT ITER 129 NEW BEST:: SOT 61088 SOS 28472 HAS SOPS 28472 HAS SOUS 23539 HAS SOUPS 23539 WITH SCORE 23567.472
AT ITER 133 NEW BEST:: SOT 61087 SOS 28415 HAS SOPS 28415 HAS SOUS 23482 HAS SOUPS 23482 WITH SCORE 23510.415
AT ITER 134 NEW BEST:: SOT 61028 SOS 28285 HAS SOPS 28285 HAS SOUS 23454 HAS SOUPS 23454 WITH SCORE 23482.285
AT ITER 142 NEW BEST:: SOT 60937 SOS 28120 HAS SOPS 28120 HAS SOUS 23346 HAS SOUPS 23346 WITH SCORE 23374.12
AT ITER 150 NEW BEST:: SOT 60831 SOS 27940 HAS SOPS 27940 HAS SOUS 23225 HAS SOUPS 23225 WITH SCORE 23252.94
AT ITER 154 NEW BEST:: SOT 60712 SOS 27719 HAS SOPS 27719 HAS SOUS 23001 HAS SOUPS 23001 WITH SCORE 23028.719
AT ITER 163 NEW BEST:: SOT 60712 SOS 27631 HAS SOPS 27631 HAS SOUS 23001 HAS SOUPS 23001 WITH SCORE 23028.631
AT ITER 165 NEW BEST:: SOT 60273 SOS 27192 HAS SOPS 27192 HAS SOUS 22561 HAS SOUPS 22561 WITH SCORE 22588.192
AT ITER 166 NEW BEST:: SOT 60273 SOS 27184 HAS SOPS 27184 HAS SOUS 22553 HAS SOUPS 22553 WITH SCORE 22580.184
AT ITER 168 NEW BEST:: SOT 60173 SOS 27084 HAS SOPS 27084 HAS SOUS 22410 HAS SOUPS 22410 WITH SCORE 22437.084
AT ITER 169 NEW BEST:: SOT 60212 SOS 27086 HAS SOPS 27086 HAS SOUS 22371 HAS SOUPS 22371 WITH SCORE 22398.086
AT ITER 189 NEW BEST:: SOT 60227 SOS 27005 HAS SOPS 27005 HAS SOUS 22351 HAS SOUPS 22351 WITH SCORE 22378.005
AT ITER 190 NEW BEST:: SOT 60226 SOS 26895 HAS SOPS 26895 HAS SOUS 22349 HAS SOUPS 22349 WITH SCORE 22375.895
AT ITER 197 NEW BEST:: SOT 60146 SOS 26740 HAS SOPS 26740 HAS SOUS 22194 HAS SOUPS 22194 WITH SCORE 22220.74
AT ITER 198 NEW BEST:: SOT 60079 SOS 26606 HAS SOPS 26606 HAS SOUS 22141 HAS SOUPS 22141 WITH SCORE 22167.606
AT ITER 213 NEW BEST:: SOT 60079 SOS 26599 HAS SOPS 26599 HAS SOUS 22141 HAS SOUPS 22141 WITH SCORE 22167.599
AT ITER 214 NEW BEST:: SOT 60090 SOS 26583 HAS SOPS 26583 HAS SOUS 22125 HAS SOUPS 22125 WITH SCORE 22151.583
AT ITER 223 NEW BEST:: SOT 60035 SOS 26489 HAS SOPS 26489 HAS SOUS 22070 HAS SOUPS 22070 WITH SCORE 22096.489
AT ITER 226 NEW BEST:: SOT 59978 SOS 26215 HAS SOPS 26215 HAS SOUS 21777 HAS SOUPS 21777 WITH SCORE 21803.215
AT ITER 240 NEW BEST:: SOT 59956 SOS 26175 HAS SOPS 26175 HAS SOUS 21759 HAS SOUPS 21759 WITH SCORE 21785.175
AT ITER 241 NEW BEST:: SOT 59988 SOS 26069 HAS SOPS 26069 HAS SOUS 21653 HAS SOUPS 21653 WITH SCORE 21679.069
AT ITER 242 NEW BEST:: SOT 59988 SOS 26051 HAS SOPS 26051 HAS SOUS 21635 HAS SOUPS 21635 WITH SCORE 21661.051
AT ITER 246 NEW BEST:: SOT 59979 SOS 25974 HAS SOPS 25974 HAS SOUS 21558 HAS SOUPS 21558 WITH SCORE 21583.974
AT ITER 257 NEW BEST:: SOT 59956 SOS 25951 HAS SOPS 25951 HAS SOUS 21535 HAS SOUPS 21535 WITH SCORE 21560.951
AT ITER 260 NEW BEST:: SOT 59902 SOS 25921 HAS SOPS 25921 HAS SOUS 21481 HAS SOUPS 21481 WITH SCORE 21506.921
AT ITER 261 NEW BEST:: SOT 59875 SOS 25908 HAS SOPS 25908 HAS SOUS 21465 HAS SOUPS 21465 WITH SCORE 21490.908
AT ITER 273 NEW BEST:: SOT 59759 SOS 25676 HAS SOPS 25676 HAS SOUS 21349 HAS SOUPS 21349 WITH SCORE 21374.676
AT ITER 282 NEW BEST:: SOT 59756 SOS 25670 HAS SOPS 25670 HAS SOUS 21299 HAS SOUPS 21299 WITH SCORE 21324.67
AT ITER 283 NEW BEST:: SOT 59748 SOS 25655 HAS SOPS 25655 HAS SOUS 21283 HAS SOUPS 21283 WITH SCORE 21308.655
AT ITER 287 NEW BEST:: SOT 59748 SOS 25644 HAS SOPS 25644 HAS SOUS 21272 HAS SOUPS 21272 WITH SCORE 21297.644
AT ITER 290 NEW BEST:: SOT 59747 SOS 25615 HAS SOPS 25615 HAS SOUS 21270 HAS SOUPS 21270 WITH SCORE 21295.615
AT ITER 296 NEW BEST:: SOT 59747 SOS 25554 HAS SOPS 25554 HAS SOUS 21209 HAS SOUPS 21209 WITH SCORE 21234.554
AT ITER 297 NEW BEST:: SOT 59712 SOS 25484 HAS SOPS 25484 HAS SOUS 21180 HAS SOUPS 21180 WITH SCORE 21205.484
AT ITER 299 NEW BEST:: SOT 59690 SOS 25344 HAS SOPS 25344 HAS SOUS 21103 HAS SOUPS 21103 WITH SCORE 21128.344
AT ITER 310 NEW BEST:: SOT 59663 SOS 25290 HAS SOPS 25290 HAS SOUS 21076 HAS SOUPS 21076 WITH SCORE 21101.29
AT ITER 311 NEW BEST:: SOT 59230 SOS 25305 HAS SOPS 25305 HAS SOUS 20774 HAS SOUPS 20774 WITH SCORE 20799.305
AT ITER 314 NEW BEST:: SOT 59216 SOS 25270 HAS SOPS 25270 HAS SOUS 20746 HAS SOUPS 20746 WITH SCORE 20771.27
AT ITER 318 NEW BEST:: SOT 59351 SOS 25366 HAS SOPS 25366 HAS SOUS 20728 HAS SOUPS 20728 WITH SCORE 20753.366
AT ITER 321 NEW BEST:: SOT 59351 SOS 25351 HAS SOPS 25351 HAS SOUS 20723 HAS SOUPS 20723 WITH SCORE 20748.351
AT ITER 328 NEW BEST:: SOT 59338 SOS 25339 HAS SOPS 25339 HAS SOUS 20713 HAS SOUPS 20713 WITH SCORE 20738.339
AT ITER 330 NEW BEST:: SOT 59368 SOS 25321 HAS SOPS 25321 HAS SOUS 20695 HAS SOUPS 20695 WITH SCORE 20720.321
AT ITER 332 NEW BEST:: SOT 59248 SOS 25090 HAS SOPS 25090 HAS SOUS 20467 HAS SOUPS 20467 WITH SCORE 20492.09
AT ITER 333 NEW BEST:: SOT 59219 SOS 25047 HAS SOPS 25047 HAS SOUS 20363 HAS SOUPS 20363 WITH SCORE 20388.047
AT ITER 346 NEW BEST:: SOT 59217 SOS 25043 HAS SOPS 25043 HAS SOUS 20359 HAS SOUPS 20359 WITH SCORE 20384.043
AT ITER 347 NEW BEST:: SOT 59172 SOS 24998 HAS SOPS 24998 HAS SOUS 20314 HAS SOUPS 20314 WITH SCORE 20338.998
AT ITER 349 NEW BEST:: SOT 59157 SOS 24983 HAS SOPS 24983 HAS SOUS 20299 HAS SOUPS 20299 WITH SCORE 20323.983
AT ITER 350 NEW BEST:: SOT 59123 SOS 24982 HAS SOPS 24982 HAS SOUS 20298 HAS SOUPS 20298 WITH SCORE 20322.982
AT ITER 351 NEW BEST:: SOT 59095 SOS 24954 HAS SOPS 24954 HAS SOUS 20298 HAS SOUPS 20298 WITH SCORE 20322.954
AT ITER 357 NEW BEST:: SOT 59087 SOS 24938 HAS SOPS 24938 HAS SOUS 20282 HAS SOUPS 20282 WITH SCORE 20306.938
AT ITER 362 NEW BEST:: SOT 59017 SOS 24863 HAS SOPS 24863 HAS SOUS 20270 HAS SOUPS 20270 WITH SCORE 20294.863
AT ITER 365 NEW BEST:: SOT 59020 SOS 24869 HAS SOPS 24869 HAS SOUS 20260 HAS SOUPS 20260 WITH SCORE 20284.869
AT ITER 368 NEW BEST:: SOT 58932 SOS 24706 HAS SOPS 24706 HAS SOUS 20172 HAS SOUPS 20172 WITH SCORE 20196.706
AT ITER 372 NEW BEST:: SOT 58844 SOS 24638 HAS SOPS 24638 HAS SOUS 19996 HAS SOUPS 19996 WITH SCORE 20020.638
AT ITER 373 NEW BEST:: SOT 58802 SOS 24478 HAS SOPS 24478 HAS SOUS 19942 HAS SOUPS 19942 WITH SCORE 19966.478
AT ITER 379 NEW BEST:: SOT 58776 SOS 24461 HAS SOPS 24461 HAS SOUS 19890 HAS SOUPS 19890 WITH SCORE 19914.461
AT ITER 383 NEW BEST:: SOT 58776 SOS 24456 HAS SOPS 24456 HAS SOUS 19885 HAS SOUPS 19885 WITH SCORE 19909.456
AT ITER 391 NEW BEST:: SOT 58537 SOS 24090 HAS SOPS 24090 HAS SOUS 19529 HAS SOUPS 19529 WITH SCORE 19553.09
AT ITER 410 NEW BEST:: SOT 58573 SOS 24049 HAS SOPS 24049 HAS SOUS 19493 HAS SOUPS 19493 WITH SCORE 19517.049
AT ITER 424 NEW BEST:: SOT 58566 SOS 23909 HAS SOPS 23909 HAS SOUS 19480 HAS SOUPS 19480 WITH SCORE 19503.909
AT ITER 429 NEW BEST:: SOT 58566 SOS 23896 HAS SOPS 23896 HAS SOUS 19479 HAS SOUPS 19479 WITH SCORE 19502.896
AT ITER 430 NEW BEST:: SOT 58557 SOS 23878 HAS SOPS 23878 HAS SOUS 19461 HAS SOUPS 19461 WITH SCORE 19484.878
AT ITER 441 NEW BEST:: SOT 58429 SOS 23622 HAS SOPS 23622 HAS SOUS 19205 HAS SOUPS 19205 WITH SCORE 19228.622
AT ITER 452 NEW BEST:: SOT 58422 SOS 23581 HAS SOPS 23581 HAS SOUS 19173 HAS SOUPS 19173 WITH SCORE 19196.581
AT ITER 457 NEW BEST:: SOT 58412 SOS 23549 HAS SOPS 23549 HAS SOUS 19170 HAS SOUPS 19170 WITH SCORE 19193.549
AT ITER 464 NEW BEST:: SOT 58405 SOS 23542 HAS SOPS 23542 HAS SOUS 19163 HAS SOUPS 19163 WITH SCORE 19186.542
AT ITER 471 NEW BEST:: SOT 58347 SOS 23512 HAS SOPS 23512 HAS SOUS 19097 HAS SOUPS 19097 WITH SCORE 19120.512
AT ITER 472 NEW BEST:: SOT 58310 SOS 23401 HAS SOPS 23401 HAS SOUS 18991 HAS SOUPS 18991 WITH SCORE 19014.401
AT ITER 476 NEW BEST:: SOT 58285 SOS 23361 HAS SOPS 23361 HAS SOUS 18965 HAS SOUPS 18965 WITH SCORE 18988.361
AT ITER 485 NEW BEST:: SOT 58268 SOS 23320 HAS SOPS 23320 HAS SOUS 18960 HAS SOUPS 18960 WITH SCORE 18983.32
AT ITER 497 NEW BEST:: SOT 58260 SOS 23318 HAS SOPS 23318 HAS SOUS 18958 HAS SOUPS 18958 WITH SCORE 18981.318
AT ITER 503 NEW BEST:: SOT 58283 SOS 23278 HAS SOPS 23278 HAS SOUS 18918 HAS SOUPS 18918 WITH SCORE 18941.278
AT ITER 508 NEW BEST:: SOT 58272 SOS 23267 HAS SOPS 23267 HAS SOUS 18918 HAS SOUPS 18918 WITH SCORE 18941.267
AT ITER 509 NEW BEST:: SOT 58272 SOS 23276 HAS SOPS 23276 HAS SOUS 18888 HAS SOUPS 18888 WITH SCORE 18911.276
AT ITER 510 NEW BEST:: SOT 58105 SOS 23059 HAS SOPS 23059 HAS SOUS 18721 HAS SOUPS 18721 WITH SCORE 18744.059
AT ITER 524 NEW BEST:: SOT 58113 SOS 22078 HAS SOPS 22078 HAS SOUS 18703 HAS SOUPS 18703 WITH SCORE 18725.078
AT ITER 525 NEW BEST:: SOT 58072 SOS 22007 HAS SOPS 22007 HAS SOUS 18671 HAS SOUPS 18671 WITH SCORE 18693.007
AT ITER 535 NEW BEST:: SOT 58127 SOS 22004 HAS SOPS 22004 HAS SOUS 18667 HAS SOUPS 18667 WITH SCORE 18689.004
AT ITER 545 NEW BEST:: SOT 58127 SOS 22004 HAS SOPS 22004 HAS SOUS 18665 HAS SOUPS 18665 WITH SCORE 18687.004
AT ITER 553 NEW BEST:: SOT 58083 SOS 21951 HAS SOPS 21951 HAS SOUS 18612 HAS SOUPS 18612 WITH SCORE 18633.951
AT ITER 554 NEW BEST:: SOT 57454 SOS 22359 HAS SOPS 22359 HAS SOUS 18226 HAS SOUPS 18226 WITH SCORE 18248.359
AT ITER 556 NEW BEST:: SOT 57454 SOS 22358 HAS SOPS 22358 HAS SOUS 18226 HAS SOUPS 18226 WITH SCORE 18248.358
AT ITER 560 NEW BEST:: SOT 57453 SOS 22305 HAS SOPS 22305 HAS SOUS 18172 HAS SOUPS 18172 WITH SCORE 18194.305
AT ITER 568 NEW BEST:: SOT 57385 SOS 22282 HAS SOPS 22282 HAS SOUS 18105 HAS SOUPS 18105 WITH SCORE 18127.282
AT ITER 571 NEW BEST:: SOT 57357 SOS 22226 HAS SOPS 22226 HAS SOUS 18029 HAS SOUPS 18029 WITH SCORE 18051.226
AT ITER 574 NEW BEST:: SOT 57325 SOS 22181 HAS SOPS 22181 HAS SOUS 17984 HAS SOUPS 17984 WITH SCORE 18006.181
AT ITER 576 NEW BEST:: SOT 57368 SOS 22179 HAS SOPS 22179 HAS SOUS 17954 HAS SOUPS 17954 WITH SCORE 17976.179
AT ITER 596 NEW BEST:: SOT 57382 SOS 22193 HAS SOPS 22193 HAS SOUS 17917 HAS SOUPS 17917 WITH SCORE 17939.193
AT ITER 599 NEW BEST:: SOT 57377 SOS 22188 HAS SOPS 22188 HAS SOUS 17912 HAS SOUPS 17912 WITH SCORE 17934.188
AT ITER 608 NEW BEST:: SOT 57377 SOS 22124 HAS SOPS 22124 HAS SOUS 17912 HAS SOUPS 17912 WITH SCORE 17934.124
AT ITER 609 NEW BEST:: SOT 57360 SOS 22090 HAS SOPS 22090 HAS SOUS 17893 HAS SOUPS 17893 WITH SCORE 17915.09
AT ITER 625 NEW BEST:: SOT 57359 SOS 22074 HAS SOPS 22074 HAS SOUS 17872 HAS SOUPS 17872 WITH SCORE 17894.074
AT ITER 626 NEW BEST:: SOT 57290 SOS 21936 HAS SOPS 21936 HAS SOUS 17803 HAS SOUPS 17803 WITH SCORE 17824.936
AT ITER 631 NEW BEST:: SOT 57306 SOS 21870 HAS SOPS 21870 HAS SOUS 17734 HAS SOUPS 17734 WITH SCORE 17755.87
AT ITER 633 NEW BEST:: SOT 57297 SOS 21852 HAS SOPS 21852 HAS SOUS 17725 HAS SOUPS 17725 WITH SCORE 17746.852
AT ITER 634 NEW BEST:: SOT 57261 SOS 21823 HAS SOPS 21823 HAS SOUS 17696 HAS SOUPS 17696 WITH SCORE 17717.823
AT ITER 638 NEW BEST:: SOT 56601 SOS 22528 HAS SOPS 22528 HAS SOUS 17190 HAS SOUPS 17190 WITH SCORE 17212.528
AT ITER 644 NEW BEST:: SOT 56597 SOS 22556 HAS SOPS 22556 HAS SOUS 17182 HAS SOUPS 17182 WITH SCORE 17204.556
AT ITER 645 NEW BEST:: SOT 56516 SOS 22394 HAS SOPS 22394 HAS SOUS 17020 HAS SOUPS 17020 WITH SCORE 17042.394
AT ITER 662 NEW BEST:: SOT 56496 SOS 22342 HAS SOPS 22342 HAS SOUS 16968 HAS SOUPS 16968 WITH SCORE 16990.342
AT ITER 666 NEW BEST:: SOT 56465 SOS 22259 HAS SOPS 22259 HAS SOUS 16885 HAS SOUPS 16885 WITH SCORE 16907.259
AT ITER 670 NEW BEST:: SOT 56464 SOS 22196 HAS SOPS 22196 HAS SOUS 16883 HAS SOUPS 16883 WITH SCORE 16905.196
AT ITER 691 NEW BEST:: SOT 56462 SOS 22230 HAS SOPS 22230 HAS SOUS 16879 HAS SOUPS 16879 WITH SCORE 16901.23
AT ITER 695 NEW BEST:: SOT 56434 SOS 22174 HAS SOPS 22174 HAS SOUS 16823 HAS SOUPS 16823 WITH SCORE 16845.174
AT ITER 697 NEW BEST:: SOT 56420 SOS 22112 HAS SOPS 22112 HAS SOUS 16761 HAS SOUPS 16761 WITH SCORE 16783.112
AT ITER 699 NEW BEST:: SOT 56403 SOS 22095 HAS SOPS 22095 HAS SOUS 16727 HAS SOUPS 16727 WITH SCORE 16749.095
AT ITER 700 NEW BEST:: SOT 56403 SOS 22095 HAS SOPS 22095 HAS SOUS 16713 HAS SOUPS 16713 WITH SCORE 16735.095
AT ITER 702 NEW BEST:: SOT 56444 SOS 22064 HAS SOPS 22064 HAS SOUS 16682 HAS SOUPS 16682 WITH SCORE 16704.064
AT ITER 712 NEW BEST:: SOT 56413 SOS 22028 HAS SOPS 22028 HAS SOUS 16646 HAS SOUPS 16646 WITH SCORE 16668.028
AT ITER 713 NEW BEST:: SOT 56413 SOS 21994 HAS SOPS 21994 HAS SOUS 16646 HAS SOUPS 16646 WITH SCORE 16667.994
AT ITER 714 NEW BEST:: SOT 56381 SOS 21962 HAS SOPS 21962 HAS SOUS 16614 HAS SOUPS 16614 WITH SCORE 16635.962
AT ITER 725 NEW BEST:: SOT 56389 SOS 21961 HAS SOPS 21961 HAS SOUS 16613 HAS SOUPS 16613 WITH SCORE 16634.961
AT ITER 742 NEW BEST:: SOT 56331 SOS 21779 HAS SOPS 21779 HAS SOUS 16497 HAS SOUPS 16497 WITH SCORE 16518.779
AT ITER 747 NEW BEST:: SOT 56329 SOS 21777 HAS SOPS 21777 HAS SOUS 16495 HAS SOUPS 16495 WITH SCORE 16516.777
AT ITER 759 NEW BEST:: SOT 56292 SOS 21767 HAS SOPS 21767 HAS SOUS 16485 HAS SOUPS 16485 WITH SCORE 16506.767
AT ITER 763 NEW BEST:: SOT 56349 SOS 21809 HAS SOPS 21809 HAS SOUS 16479 HAS SOUPS 16479 WITH SCORE 16500.809
AT ITER 769 NEW BEST:: SOT 56326 SOS 21763 HAS SOPS 21763 HAS SOUS 16422 HAS SOUPS 16422 WITH SCORE 16443.763
AT ITER 774 NEW BEST:: SOT 56326 SOS 21720 HAS SOPS 21720 HAS SOUS 16422 HAS SOUPS 16422 WITH SCORE 16443.72
AT ITER 776 NEW BEST:: SOT 56325 SOS 21657 HAS SOPS 21657 HAS SOUS 16389 HAS SOUPS 16389 WITH SCORE 16410.657
AT ITER 779 NEW BEST:: SOT 56295 SOS 21649 HAS SOPS 21649 HAS SOUS 16378 HAS SOUPS 16378 WITH SCORE 16399.649
AT ITER 815 NEW BEST:: SOT 56212 SOS 21549 HAS SOPS 21549 HAS SOUS 16289 HAS SOUPS 16289 WITH SCORE 16310.549
AT ITER 827 NEW BEST:: SOT 56203 SOS 21531 HAS SOPS 21531 HAS SOUS 16271 HAS SOUPS 16271 WITH SCORE 16292.531
AT ITER 828 NEW BEST:: SOT 56195 SOS 21556 HAS SOPS 21556 HAS SOUS 16260 HAS SOUPS 16260 WITH SCORE 16281.556
AT ITER 832 NEW BEST:: SOT 56139 SOS 21489 HAS SOPS 21489 HAS SOUS 16243 HAS SOUPS 16243 WITH SCORE 16264.489
AT ITER 841 NEW BEST:: SOT 56131 SOS 21470 HAS SOPS 21470 HAS SOUS 16232 HAS SOUPS 16232 WITH SCORE 16253.47
AT ITER 846 NEW BEST:: SOT 56136 SOS 21480 HAS SOPS 21480 HAS SOUS 16214 HAS SOUPS 16214 WITH SCORE 16235.48
AT ITER 859 NEW BEST:: SOT 56151 SOS 21444 HAS SOPS 21444 HAS SOUS 16190 HAS SOUPS 16190 WITH SCORE 16211.444
AT ITER 869 NEW BEST:: SOT 56134 SOS 21438 HAS SOPS 21438 HAS SOUS 16182 HAS SOUPS 16182 WITH SCORE 16203.438
AT ITER 871 NEW BEST:: SOT 56134 SOS 20426 HAS SOPS 20426 HAS SOUS 16182 HAS SOUPS 16182 WITH SCORE 16202.426
AT ITER 885 NEW BEST:: SOT 56120 SOS 20384 HAS SOPS 20384 HAS SOUS 16154 HAS SOUPS 16154 WITH SCORE 16174.384
AT ITER 890 NEW BEST:: SOT 56119 SOS 20377 HAS SOPS 20377 HAS SOUS 16152 HAS SOUPS 16152 WITH SCORE 16172.377
AT ITER 891 NEW BEST:: SOT 55844 SOS 21329 HAS SOPS 21329 HAS SOUS 15980 HAS SOUPS 15980 WITH SCORE 16001.329
AT ITER 894 NEW BEST:: SOT 55843 SOS 21328 HAS SOPS 21328 HAS SOUS 15978 HAS SOUPS 15978 WITH SCORE 15999.328
AT ITER 895 NEW BEST:: SOT 55795 SOS 21232 HAS SOPS 21232 HAS SOUS 15930 HAS SOUPS 15930 WITH SCORE 15951.232
AT ITER 906 NEW BEST:: SOT 55891 SOS 21245 HAS SOPS 21245 HAS SOUS 15919 HAS SOUPS 15919 WITH SCORE 15940.245
AT ITER 908 NEW BEST:: SOT 55886 SOS 21235 HAS SOPS 21235 HAS SOUS 15909 HAS SOUPS 15909 WITH SCORE 15930.235
AT ITER 920 NEW BEST:: SOT 55886 SOS 21160 HAS SOPS 21160 HAS SOUS 15759 HAS SOUPS 15759 WITH SCORE 15780.16
AT ITER 935 NEW BEST:: SOT 55875 SOS 21138 HAS SOPS 21138 HAS SOUS 15748 HAS SOUPS 15748 WITH SCORE 15769.138
AT ITER 941 NEW BEST:: SOT 55780 SOS 21019 HAS SOPS 21019 HAS SOUS 15614 HAS SOUPS 15614 WITH SCORE 15635.019
AT ITER 951 NEW BEST:: SOT 55780 SOS 21012 HAS SOPS 21012 HAS SOUS 15607 HAS SOUPS 15607 WITH SCORE 15628.012
AT ITER 962 NEW BEST:: SOT 55780 SOS 21012 HAS SOPS 21012 HAS SOUS 15602 HAS SOUPS 15602 WITH SCORE 15623.012
AT ITER 976 NEW BEST:: SOT 55772 SOS 21004 HAS SOPS 21004 HAS SOUS 15586 HAS SOUPS 15586 WITH SCORE 15607.004
AT ITER 987 NEW BEST:: SOT 55723 SOS 20894 HAS SOPS 20894 HAS SOUS 15515 HAS SOUPS 15515 WITH SCORE 15535.894
AT ITER 991 NEW BEST:: SOT 55723 SOS 20851 HAS SOPS 20851 HAS SOUS 15472 HAS SOUPS 15472 WITH SCORE 15492.851
AT ITER 996 NEW BEST:: SOT 55723 SOS 20851 HAS SOPS 20851 HAS SOUS 15453 HAS SOUPS 15453 WITH SCORE 15473.851
AT ITER 1018 NEW BEST:: SOT 55723 SOS 20851 HAS SOPS 20851 HAS SOUS 15443 HAS SOUPS 15443 WITH SCORE 15463.851
AT ITER 1023 NEW BEST:: SOT 55723 SOS 20848 HAS SOPS 20848 HAS SOUS 15402 HAS SOUPS 15402 WITH SCORE 15422.848
AT ITER 1024 NEW BEST:: SOT 55720 SOS 20842 HAS SOPS 20842 HAS SOUS 15399 HAS SOUPS 15399 WITH SCORE 15419.842
AT ITER 1034 NEW BEST:: SOT 55720 SOS 20821 HAS SOPS 20821 HAS SOUS 15399 HAS SOUPS 15399 WITH SCORE 15419.821
AT ITER 1042 NEW BEST:: SOT 55705 SOS 20806 HAS SOPS 20806 HAS SOUS 15377 HAS SOUPS 15377 WITH SCORE 15397.806
AT ITER 1044 NEW BEST:: SOT 55644 SOS 20684 HAS SOPS 20684 HAS SOUS 15255 HAS SOUPS 15255 WITH SCORE 15275.684
AT ITER 1046 NEW BEST:: SOT 55574 SOS 20636 HAS SOPS 20636 HAS SOUS 15211 HAS SOUPS 15211 WITH SCORE 15231.636
AT ITER 1075 NEW BEST:: SOT 55574 SOS 20636 HAS SOPS 20636 HAS SOUS 15209 HAS SOUPS 15209 WITH SCORE 15229.636
AT ITER 1077 NEW BEST:: SOT 55574 SOS 20636 HAS SOPS 20636 HAS SOUS 15208 HAS SOUPS 15208 WITH SCORE 15228.636
AT ITER 1079 NEW BEST:: SOT 55525 SOS 20587 HAS SOPS 20587 HAS SOUS 15110 HAS SOUPS 15110 WITH SCORE 15130.587
AT ITER 1088 NEW BEST:: SOT 55388 SOS 20502 HAS SOPS 20502 HAS SOUS 15010 HAS SOUPS 15010 WITH SCORE 15030.502
AT ITER 1095 NEW BEST:: SOT 55377 SOS 20476 HAS SOPS 20476 HAS SOUS 14984 HAS SOUPS 14984 WITH SCORE 15004.476
AT ITER 1104 NEW BEST:: SOT 55319 SOS 20360 HAS SOPS 20360 HAS SOUS 14942 HAS SOUPS 14942 WITH SCORE 14962.36
AT ITER 1109 NEW BEST:: SOT 55318 SOS 20358 HAS SOPS 20358 HAS SOUS 14941 HAS SOUPS 14941 WITH SCORE 14961.358
AT ITER 1120 NEW BEST:: SOT 55298 SOS 20318 HAS SOPS 20318 HAS SOUS 14901 HAS SOUPS 14901 WITH SCORE 14921.318
AT ITER 1125 NEW BEST:: SOT 55298 SOS 20318 HAS SOPS 20318 HAS SOUS 14899 HAS SOUPS 14899 WITH SCORE 14919.318
AT ITER 1128 NEW BEST:: SOT 55298 SOS 20318 HAS SOPS 20318 HAS SOUS 14879 HAS SOUPS 14879 WITH SCORE 14899.318
AT ITER 1148 NEW BEST:: SOT 55287 SOS 20296 HAS SOPS 20296 HAS SOUS 14859 HAS SOUPS 14859 WITH SCORE 14879.296
AT ITER 1154 NEW BEST:: SOT 55258 SOS 20203 HAS SOPS 20203 HAS SOUS 14795 HAS SOUPS 14795 WITH SCORE 14815.203
AT ITER 1158 NEW BEST:: SOT 55238 SOS 20182 HAS SOPS 20182 HAS SOUS 14774 HAS SOUPS 14774 WITH SCORE 14794.182
AT ITER 1176 NEW BEST:: SOT 55227 SOS 20171 HAS SOPS 20171 HAS SOUS 14774 HAS SOUPS 14774 WITH SCORE 14794.171
AT ITER 1179 NEW BEST:: SOT 55227 SOS 20139 HAS SOPS 20139 HAS SOUS 14774 HAS SOUPS 14774 WITH SCORE 14794.139
AT ITER 1183 NEW BEST:: SOT 55205 SOS 20095 HAS SOPS 20095 HAS SOUS 14730 HAS SOUPS 14730 WITH SCORE 14750.095
AT ITER 1208 NEW BEST:: SOT 55174 SOS 20033 HAS SOPS 20033 HAS SOUS 14668 HAS SOUPS 14668 WITH SCORE 14688.033
AT ITER 1209 NEW BEST:: SOT 55066 SOS 19848 HAS SOPS 19848 HAS SOUS 14572 HAS SOUPS 14572 WITH SCORE 14591.848
AT ITER 1212 NEW BEST:: SOT 55067 SOS 19729 HAS SOPS 19729 HAS SOUS 14563 HAS SOUPS 14563 WITH SCORE 14582.729
AT ITER 1240 NEW BEST:: SOT 55042 SOS 19440 HAS SOPS 19440 HAS SOUS 14530 HAS SOUPS 14530 WITH SCORE 14549.44
AT ITER 1253 NEW BEST:: SOT 55108 SOS 19551 HAS SOPS 19551 HAS SOUS 14524 HAS SOUPS 14524 WITH SCORE 14543.551
AT ITER 1259 NEW BEST:: SOT 55108 SOS 19551 HAS SOPS 19551 HAS SOUS 14481 HAS SOUPS 14481 WITH SCORE 14500.551
AT ITER 1273 NEW BEST:: SOT 55108 SOS 19542 HAS SOPS 19542 HAS SOUS 14481 HAS SOUPS 14481 WITH SCORE 14500.542
AT ITER 1275 NEW BEST:: SOT 55105 SOS 19544 HAS SOPS 19544 HAS SOUS 14470 HAS SOUPS 14470 WITH SCORE 14489.544
AT ITER 1290 NEW BEST:: SOT 55105 SOS 19544 HAS SOPS 19544 HAS SOUS 14457 HAS SOUPS 14457 WITH SCORE 14476.544
AT ITER 1294 NEW BEST:: SOT 55081 SOS 19463 HAS SOPS 19463 HAS SOUS 14409 HAS SOUPS 14409 WITH SCORE 14428.463
AT ITER 1300 NEW BEST:: SOT 55077 SOS 19473 HAS SOPS 19473 HAS SOUS 14406 HAS SOUPS 14406 WITH SCORE 14425.473
AT ITER 1320 NEW BEST:: SOT 55058 SOS 19454 HAS SOPS 19454 HAS SOUS 14387 HAS SOUPS 14387 WITH SCORE 14406.454
AT ITER 1323 NEW BEST:: SOT 55058 SOS 19434 HAS SOPS 19434 HAS SOUS 14387 HAS SOUPS 14387 WITH SCORE 14406.434
AT ITER 1328 NEW BEST:: SOT 55027 SOS 19477 HAS SOPS 19477 HAS SOUS 14383 HAS SOUPS 14383 WITH SCORE 14402.477
AT ITER 1330 NEW BEST:: SOT 55007 SOS 19474 HAS SOPS 19474 HAS SOUS 14362 HAS SOUPS 14362 WITH SCORE 14381.474
AT ITER 1335 NEW BEST:: SOT 54954 SOS 19343 HAS SOPS 19343 HAS SOUS 14297 HAS SOUPS 14297 WITH SCORE 14316.343
AT ITER 1359 NEW BEST:: SOT 54940 SOS 19319 HAS SOPS 19319 HAS SOUS 14283 HAS SOUPS 14283 WITH SCORE 14302.319
AT ITER 1394 NEW BEST:: SOT 54937 SOS 19289 HAS SOPS 19289 HAS SOUS 14271 HAS SOUPS 14271 WITH SCORE 14290.289
AT ITER 1400 NEW BEST:: SOT 54944 SOS 19299 HAS SOPS 19299 HAS SOUS 14260 HAS SOUPS 14260 WITH SCORE 14279.299
AT ITER 1416 NEW BEST:: SOT 54950 SOS 19311 HAS SOPS 19311 HAS SOUS 14254 HAS SOUPS 14254 WITH SCORE 14273.311
AT ITER 1426 NEW BEST:: SOT 54945 SOS 19313 HAS SOPS 19313 HAS SOUS 14244 HAS SOUPS 14244 WITH SCORE 14263.313
AT ITER 1427 NEW BEST:: SOT 54927 SOS 19255 HAS SOPS 19255 HAS SOUS 14204 HAS SOUPS 14204 WITH SCORE 14223.255
AT ITER 1439 NEW BEST:: SOT 54940 SOS 19281 HAS SOPS 19281 HAS SOUS 14202 HAS SOUPS 14202 WITH SCORE 14221.281
AT ITER 1448 NEW BEST:: SOT 54930 SOS 19265 HAS SOPS 19265 HAS SOUS 14168 HAS SOUPS 14168 WITH SCORE 14187.265
AT ITER 1451 NEW BEST:: SOT 54929 SOS 19263 HAS SOPS 19263 HAS SOUS 14160 HAS SOUPS 14160 WITH SCORE 14179.263
AT ITER 1460 NEW BEST:: SOT 54926 SOS 19257 HAS SOPS 19257 HAS SOUS 14144 HAS SOUPS 14144 WITH SCORE 14163.257
AT ITER 1474 NEW BEST:: SOT 54915 SOS 19238 HAS SOPS 19238 HAS SOUS 14133 HAS SOUPS 14133 WITH SCORE 14152.238
AT ITER 1483 NEW BEST:: SOT 54892 SOS 19192 HAS SOPS 19192 HAS SOUS 14093 HAS SOUPS 14093 WITH SCORE 14112.192
AT ITER 1524 NEW BEST:: SOT 54891 SOS 19193 HAS SOPS 19193 HAS SOUS 14091 HAS SOUPS 14091 WITH SCORE 14110.193
AT ITER 1541 NEW BEST:: SOT 54891 SOS 19180 HAS SOPS 19180 HAS SOUS 14086 HAS SOUPS 14086 WITH SCORE 14105.18
AT ITER 1585 NEW BEST:: SOT 54891 SOS 19144 HAS SOPS 19144 HAS SOUS 14086 HAS SOUPS 14086 WITH SCORE 14105.144
AT ITER 1586 NEW BEST:: SOT 54890 SOS 19089 HAS SOPS 19089 HAS SOUS 14084 HAS SOUPS 14084 WITH SCORE 14103.089
AT ITER 1596 NEW BEST:: SOT 54853 SOS 19073 HAS SOPS 19073 HAS SOUS 14062 HAS SOUPS 14062 WITH SCORE 14081.073
AT ITER 1632 NEW BEST:: SOT 54836 SOS 19072 HAS SOPS 19072 HAS SOUS 14061 HAS SOUPS 14061 WITH SCORE 14080.072
AT ITER 1636 NEW BEST:: SOT 54824 SOS 19048 HAS SOPS 19048 HAS SOUS 14037 HAS SOUPS 14037 WITH SCORE 14056.048
AT ITER 1639 NEW BEST:: SOT 54797 SOS 19048 HAS SOPS 19048 HAS SOUS 14010 HAS SOUPS 14010 WITH SCORE 14029.048
AT ITER 1662 NEW BEST:: SOT 54795 SOS 19048 HAS SOPS 19048 HAS SOUS 14006 HAS SOUPS 14006 WITH SCORE 14025.048
AT ITER 1676 NEW BEST:: SOT 54790 SOS 18980 HAS SOPS 18980 HAS SOUS 14001 HAS SOUPS 14001 WITH SCORE 14019.98
AT ITER 1693 NEW BEST:: SOT 54790 SOS 18980 HAS SOPS 18980 HAS SOUS 13998 HAS SOUPS 13998 WITH SCORE 14016.98
AT ITER 1701 NEW BEST:: SOT 54777 SOS 18954 HAS SOPS 18954 HAS SOUS 13985 HAS SOUPS 13985 WITH SCORE 14003.954
AT ITER 1705 NEW BEST:: SOT 54786 SOS 18942 HAS SOPS 18942 HAS SOUS 13980 HAS SOUPS 13980 WITH SCORE 13998.942
AT ITER 1733 NEW BEST:: SOT 54748 SOS 18888 HAS SOPS 18888 HAS SOUS 13926 HAS SOUPS 13926 WITH SCORE 13944.888
AT ITER 1734 NEW BEST:: SOT 54692 SOS 18776 HAS SOPS 18776 HAS SOUS 13832 HAS SOUPS 13832 WITH SCORE 13850.776
AT ITER 1749 NEW BEST:: SOT 54681 SOS 18754 HAS SOPS 18754 HAS SOUS 13810 HAS SOUPS 13810 WITH SCORE 13828.754
AT ITER 1769 NEW BEST:: SOT 54667 SOS 18726 HAS SOPS 18726 HAS SOUS 13794 HAS SOUPS 13794 WITH SCORE 13812.726
AT ITER 1784 NEW BEST:: SOT 54667 SOS 18749 HAS SOPS 18749 HAS SOUS 13768 HAS SOUPS 13768 WITH SCORE 13786.749
AT ITER 1795 NEW BEST:: SOT 54652 SOS 18719 HAS SOPS 18719 HAS SOUS 13753 HAS SOUPS 13753 WITH SCORE 13771.719
AT ITER 1801 NEW BEST:: SOT 54649 SOS 18709 HAS SOPS 18709 HAS SOUS 13743 HAS SOUPS 13743 WITH SCORE 13761.709
AT ITER 1807 NEW BEST:: SOT 54646 SOS 18703 HAS SOPS 18703 HAS SOUS 13737 HAS SOUPS 13737 WITH SCORE 13755.703
AT ITER 1828 NEW BEST:: SOT 54637 SOS 18703 HAS SOPS 18703 HAS SOUS 13728 HAS SOUPS 13728 WITH SCORE 13746.703
AT ITER 1829 NEW BEST:: SOT 54636 SOS 18701 HAS SOPS 18701 HAS SOUS 13725 HAS SOUPS 13725 WITH SCORE 13743.701
AT ITER 1837 NEW BEST:: SOT 54636 SOS 18692 HAS SOPS 18692 HAS SOUS 13716 HAS SOUPS 13716 WITH SCORE 13734.692
AT ITER 1845 NEW BEST:: SOT 54662 SOS 18744 HAS SOPS 18744 HAS SOUS 13708 HAS SOUPS 13708 WITH SCORE 13726.744
AT ITER 1855 NEW BEST:: SOT 54638 SOS 18692 HAS SOPS 18692 HAS SOUS 13684 HAS SOUPS 13684 WITH SCORE 13702.692
AT ITER 1879 NEW BEST:: SOT 54637 SOS 18690 HAS SOPS 18690 HAS SOUS 13682 HAS SOUPS 13682 WITH SCORE 13700.69
AT ITER 1886 NEW BEST:: SOT 54452 SOS 19166 HAS SOPS 19166 HAS SOUS 13513 HAS SOUPS 13513 WITH SCORE 13532.166
AT ITER 1889 NEW BEST:: SOT 54451 SOS 19164 HAS SOPS 19164 HAS SOUS 13512 HAS SOUPS 13512 WITH SCORE 13531.164
AT ITER 1891 NEW BEST:: SOT 54480 SOS 19114 HAS SOPS 19114 HAS SOUS 13484 HAS SOUPS 13484 WITH SCORE 13503.114
AT ITER 1894 NEW BEST:: SOT 54486 SOS 19100 HAS SOPS 19100 HAS SOUS 13480 HAS SOUPS 13480 WITH SCORE 13499.1
AT ITER 1902 NEW BEST:: SOT 54468 SOS 19082 HAS SOPS 19082 HAS SOUS 13462 HAS SOUPS 13462 WITH SCORE 13481.082
AT ITER 1983 NEW BEST:: SOT 54468 SOS 19019 HAS SOPS 19019 HAS SOUS 13462 HAS SOUPS 13462 WITH SCORE 13481.019
AT ITER 2004 NEW BEST:: SOT 54463 SOS 19014 HAS SOPS 19014 HAS SOUS 13457 HAS SOUPS 13457 WITH SCORE 13476.014
AT ITER 2007 NEW BEST:: SOT 54452 SOS 19010 HAS SOPS 19010 HAS SOUS 13437 HAS SOUPS 13437 WITH SCORE 13456.01
AT ITER 2020 NEW BEST:: SOT 54358 SOS 18946 HAS SOPS 18946 HAS SOUS 13307 HAS SOUPS 13307 WITH SCORE 13325.946
AT ITER 2044 NEW BEST:: SOT 54333 SOS 18896 HAS SOPS 18896 HAS SOUS 13255 HAS SOUPS 13255 WITH SCORE 13273.896
AT ITER 2048 NEW BEST:: SOT 54342 SOS 18899 HAS SOPS 18899 HAS SOUS 13252 HAS SOUPS 13252 WITH SCORE 13270.899
AT ITER 2053 NEW BEST:: SOT 54342 SOS 18893 HAS SOPS 18893 HAS SOUS 13246 HAS SOUPS 13246 WITH SCORE 13264.893
AT ITER 2060 NEW BEST:: SOT 54326 SOS 18877 HAS SOPS 18877 HAS SOUS 13245 HAS SOUPS 13245 WITH SCORE 13263.877
AT ITER 2132 NEW BEST:: SOT 54300 SOS 18858 HAS SOPS 18858 HAS SOUS 13193 HAS SOUPS 13193 WITH SCORE 13211.858
AT ITER 2137 NEW BEST:: SOT 54296 SOS 18856 HAS SOPS 18856 HAS SOUS 13185 HAS SOUPS 13185 WITH SCORE 13203.856
AT ITER 2141 NEW BEST:: SOT 54288 SOS 18844 HAS SOPS 18844 HAS SOUS 13173 HAS SOUPS 13173 WITH SCORE 13191.844
AT ITER 2181 NEW BEST:: SOT 54282 SOS 18838 HAS SOPS 18838 HAS SOUS 13173 HAS SOUPS 13173 WITH SCORE 13191.838
AT ITER 2204 NEW BEST:: SOT 54311 SOS 18814 HAS SOPS 18814 HAS SOUS 13158 HAS SOUPS 13158 WITH SCORE 13176.814
AT ITER 2208 NEW BEST:: SOT 54299 SOS 18827 HAS SOPS 18827 HAS SOUS 13129 HAS SOUPS 13129 WITH SCORE 13147.827
AT ITER 2233 NEW BEST:: SOT 54292 SOS 18813 HAS SOPS 18813 HAS SOUS 13115 HAS SOUPS 13115 WITH SCORE 13133.813
AT ITER 2240 NEW BEST:: SOT 54275 SOS 18766 HAS SOPS 18766 HAS SOUS 13085 HAS SOUPS 13085 WITH SCORE 13103.766
AT ITER 2258 NEW BEST:: SOT 54273 SOS 18762 HAS SOPS 18762 HAS SOUS 13081 HAS SOUPS 13081 WITH SCORE 13099.762
AT ITER 2261 NEW BEST:: SOT 54259 SOS 18717 HAS SOPS 18717 HAS SOUS 13050 HAS SOUPS 13050 WITH SCORE 13068.717
AT ITER 2273 NEW BEST:: SOT 54254 SOS 18707 HAS SOPS 18707 HAS SOUS 13035 HAS SOUPS 13035 WITH SCORE 13053.707
AT ITER 2297 NEW BEST:: SOT 54254 SOS 18719 HAS SOPS 18719 HAS SOUS 13034 HAS SOUPS 13034 WITH SCORE 13052.719
AT ITER 2313 NEW BEST:: SOT 54251 SOS 18713 HAS SOPS 18713 HAS SOUS 13032 HAS SOUPS 13032 WITH SCORE 13050.713
AT ITER 2329 NEW BEST:: SOT 54223 SOS 18672 HAS SOPS 18672 HAS SOUS 12968 HAS SOUPS 12968 WITH SCORE 12986.672
AT ITER 2384 NEW BEST:: SOT 54222 SOS 18663 HAS SOPS 18663 HAS SOUS 12966 HAS SOUPS 12966 WITH SCORE 12984.663
AT ITER 2389 NEW BEST:: SOT 54222 SOS 18661 HAS SOPS 18661 HAS SOUS 12966 HAS SOUPS 12966 WITH SCORE 12984.661
AT ITER 2390 NEW BEST:: SOT 54200 SOS 18581 HAS SOPS 18581 HAS SOUS 12922 HAS SOUPS 12922 WITH SCORE 12940.581
AT ITER 2392 NEW BEST:: SOT 54156 SOS 18493 HAS SOPS 18493 HAS SOUS 12824 HAS SOUPS 12824 WITH SCORE 12842.493
AT ITER 2406 NEW BEST:: SOT 54141 SOS 18478 HAS SOPS 18478 HAS SOUS 12794 HAS SOUPS 12794 WITH SCORE 12812.478
AT ITER 2407 NEW BEST:: SOT 54133 SOS 18462 HAS SOPS 18462 HAS SOUS 12786 HAS SOUPS 12786 WITH SCORE 12804.462
AT ITER 2409 NEW BEST:: SOT 54132 SOS 18461 HAS SOPS 18461 HAS SOUS 12785 HAS SOUPS 12785 WITH SCORE 12803.461
AT ITER 2491 NEW BEST:: SOT 54132 SOS 18413 HAS SOPS 18413 HAS SOUS 12755 HAS SOUPS 12755 WITH SCORE 12773.413
AT ITER 2509 NEW BEST:: SOT 54098 SOS 18363 HAS SOPS 18363 HAS SOUS 12721 HAS SOUPS 12721 WITH SCORE 12739.363
AT ITER 2532 NEW BEST:: SOT 54098 SOS 18359 HAS SOPS 18359 HAS SOUS 12717 HAS SOUPS 12717 WITH SCORE 12735.359
AT ITER 2556 NEW BEST:: SOT 54088 SOS 18328 HAS SOPS 18328 HAS SOUS 12707 HAS SOUPS 12707 WITH SCORE 12725.328
AT ITER 2569 NEW BEST:: SOT 54086 SOS 18326 HAS SOPS 18326 HAS SOUS 12703 HAS SOUPS 12703 WITH SCORE 12721.326
AT ITER 2584 NEW BEST:: SOT 54063 SOS 18280 HAS SOPS 18280 HAS SOUS 12656 HAS SOUPS 12656 WITH SCORE 12674.28
AT ITER 2634 NEW BEST:: SOT 54033 SOS 18220 HAS SOPS 18220 HAS SOUS 12566 HAS SOUPS 12566 WITH SCORE 12584.22
AT ITER 2662 NEW BEST:: SOT 54032 SOS 18219 HAS SOPS 18219 HAS SOUS 12564 HAS SOUPS 12564 WITH SCORE 12582.219
AT ITER 2680 NEW BEST:: SOT 54021 SOS 18197 HAS SOPS 18197 HAS SOUS 12548 HAS SOUPS 12548 WITH SCORE 12566.197
AT ITER 2683 NEW BEST:: SOT 54012 SOS 18169 HAS SOPS 18169 HAS SOUS 12520 HAS SOUPS 12520 WITH SCORE 12538.169
AT ITER 2685 NEW BEST:: SOT 54054 SOS 18204 HAS SOPS 18204 HAS SOUS 12513 HAS SOUPS 12513 WITH SCORE 12531.204
AT ITER 2702 NEW BEST:: SOT 54054 SOS 18209 HAS SOPS 18209 HAS SOUS 12508 HAS SOUPS 12508 WITH SCORE 12526.209
AT ITER 2705 NEW BEST:: SOT 54047 SOS 18228 HAS SOPS 18228 HAS SOUS 12501 HAS SOUPS 12501 WITH SCORE 12519.228
AT ITER 2771 NEW BEST:: SOT 53999 SOS 18180 HAS SOPS 18180 HAS SOUS 12469 HAS SOUPS 12469 WITH SCORE 12487.18
AT ITER 2784 NEW BEST:: SOT 53989 SOS 18170 HAS SOPS 18170 HAS SOUS 12459 HAS SOUPS 12459 WITH SCORE 12477.17
AT ITER 2814 NEW BEST:: SOT 53993 SOS 18196 HAS SOPS 18196 HAS SOUS 12457 HAS SOUPS 12457 WITH SCORE 12475.196
AT ITER 2816 NEW BEST:: SOT 53988 SOS 18181 HAS SOPS 18181 HAS SOUS 12447 HAS SOUPS 12447 WITH SCORE 12465.181
AT ITER 2819 NEW BEST:: SOT 53985 SOS 18176 HAS SOPS 18176 HAS SOUS 12445 HAS SOUPS 12445 WITH SCORE 12463.176
AT ITER 2851 NEW BEST:: SOT 53964 SOS 18146 HAS SOPS 18146 HAS SOUS 12436 HAS SOUPS 12436 WITH SCORE 12454.146
AT ITER 2863 NEW BEST:: SOT 53962 SOS 18144 HAS SOPS 18144 HAS SOUS 12432 HAS SOUPS 12432 WITH SCORE 12450.144
AT ITER 2869 NEW BEST:: SOT 53962 SOS 18147 HAS SOPS 18147 HAS SOUS 12429 HAS SOUPS 12429 WITH SCORE 12447.147
AT ITER 2875 NEW BEST:: SOT 53982 SOS 18164 HAS SOPS 18164 HAS SOUS 12418 HAS SOUPS 12418 WITH SCORE 12436.164
AT ITER 2910 NEW BEST:: SOT 53985 SOS 18137 HAS SOPS 18137 HAS SOUS 12418 HAS SOUPS 12418 WITH SCORE 12436.137
AT ITER 2918 NEW BEST:: SOT 53981 SOS 18129 HAS SOPS 18129 HAS SOUS 12410 HAS SOUPS 12410 WITH SCORE 12428.129
AT ITER 2983 NEW BEST:: SOT 53975 SOS 18117 HAS SOPS 18117 HAS SOUS 12398 HAS SOUPS 12398 WITH SCORE 12416.117
AT ITER 3002 NEW BEST:: SOT 53969 SOS 17993 HAS SOPS 17993 HAS SOUS 12386 HAS SOUPS 12386 WITH SCORE 12403.993
AT ITER 3029 NEW BEST:: SOT 53943 SOS 17941 HAS SOPS 17941 HAS SOUS 12334 HAS SOUPS 12334 WITH SCORE 12351.941
AT ITER 3044 NEW BEST:: SOT 53926 SOS 17940 HAS SOPS 17940 HAS SOUS 12330 HAS SOUPS 12330 WITH SCORE 12347.94
AT ITER 3050 NEW BEST:: SOT 53926 SOS 17922 HAS SOPS 17922 HAS SOUS 12330 HAS SOUPS 12330 WITH SCORE 12347.922
AT ITER 3055 NEW BEST:: SOT 53918 SOS 17906 HAS SOPS 17906 HAS SOUS 12314 HAS SOUPS 12314 WITH SCORE 12331.906
AT ITER 3069 NEW BEST:: SOT 53902 SOS 17855 HAS SOPS 17855 HAS SOUS 12279 HAS SOUPS 12279 WITH SCORE 12296.855
AT ITER 3073 NEW BEST:: SOT 53900 SOS 17845 HAS SOPS 17845 HAS SOUS 12271 HAS SOUPS 12271 WITH SCORE 12288.845
AT ITER 3080 NEW BEST:: SOT 53895 SOS 17835 HAS SOPS 17835 HAS SOUS 12266 HAS SOUPS 12266 WITH SCORE 12283.835
AT ITER 3100 NEW BEST:: SOT 53884 SOS 17824 HAS SOPS 17824 HAS SOUS 12255 HAS SOUPS 12255 WITH SCORE 12272.824
AT ITER 3108 NEW BEST:: SOT 53851 SOS 17761 HAS SOPS 17761 HAS SOUS 12190 HAS SOUPS 12190 WITH SCORE 12207.761
AT ITER 3124 NEW BEST:: SOT 53862 SOS 17796 HAS SOPS 17796 HAS SOUS 12186 HAS SOUPS 12186 WITH SCORE 12203.796
AT ITER 3125 NEW BEST:: SOT 53860 SOS 17790 HAS SOPS 17790 HAS SOUS 12184 HAS SOUPS 12184 WITH SCORE 12201.79
AT ITER 3146 NEW BEST:: SOT 53860 SOS 17780 HAS SOPS 17780 HAS SOUS 12184 HAS SOUPS 12184 WITH SCORE 12201.78
AT ITER 3154 NEW BEST:: SOT 53857 SOS 17774 HAS SOPS 17774 HAS SOUS 12178 HAS SOUPS 12178 WITH SCORE 12195.774
AT ITER 3161 NEW BEST:: SOT 53805 SOS 19381 HAS SOPS 19381 HAS SOUS 12159 HAS SOUPS 12159 WITH SCORE 12178.381
AT ITER 3164 NEW BEST:: SOT 53788 SOS 19375 HAS SOPS 19375 HAS SOUS 12158 HAS SOUPS 12158 WITH SCORE 12177.375
AT ITER 3195 NEW BEST:: SOT 53772 SOS 19352 HAS SOPS 19352 HAS SOUS 12135 HAS SOUPS 12135 WITH SCORE 12154.352
AT ITER 3202 NEW BEST:: SOT 53768 SOS 19305 HAS SOPS 19305 HAS SOUS 12127 HAS SOUPS 12127 WITH SCORE 12146.305
AT ITER 3206 NEW BEST:: SOT 53764 SOS 19301 HAS SOPS 19301 HAS SOUS 12123 HAS SOUPS 12123 WITH SCORE 12142.301
AT ITER 3221 NEW BEST:: SOT 53762 SOS 19300 HAS SOPS 19300 HAS SOUS 12122 HAS SOUPS 12122 WITH SCORE 12141.3
AT ITER 3238 NEW BEST:: SOT 53752 SOS 19280 HAS SOPS 19280 HAS SOUS 12080 HAS SOUPS 12080 WITH SCORE 12099.28
AT ITER 3272 NEW BEST:: SOT 53748 SOS 19274 HAS SOPS 19274 HAS SOUS 12070 HAS SOUPS 12070 WITH SCORE 12089.274
AT ITER 3278 NEW BEST:: SOT 53741 SOS 19270 HAS SOPS 19270 HAS SOUS 12063 HAS SOUPS 12063 WITH SCORE 12082.27
AT ITER 3318 NEW BEST:: SOT 53736 SOS 19265 HAS SOPS 19265 HAS SOUS 12053 HAS SOUPS 12053 WITH SCORE 12072.265
AT ITER 3330 NEW BEST:: SOT 53732 SOS 19257 HAS SOPS 19257 HAS SOUS 12045 HAS SOUPS 12045 WITH SCORE 12064.257
AT ITER 3350 NEW BEST:: SOT 53732 SOS 19257 HAS SOPS 19257 HAS SOUS 12037 HAS SOUPS 12037 WITH SCORE 12056.257
AT ITER 3352 NEW BEST:: SOT 53730 SOS 19241 HAS SOPS 19241 HAS SOUS 12019 HAS SOUPS 12019 WITH SCORE 12038.241
AT ITER 3362 NEW BEST:: SOT 53730 SOS 19241 HAS SOPS 19241 HAS SOUS 12002 HAS SOUPS 12002 WITH SCORE 12021.241
AT ITER 3369 NEW BEST:: SOT 53724 SOS 19240 HAS SOPS 19240 HAS SOUS 11997 HAS SOUPS 11997 WITH SCORE 12016.24
AT ITER 3388 NEW BEST:: SOT 53718 SOS 19171 HAS SOPS 19171 HAS SOUS 11985 HAS SOUPS 11985 WITH SCORE 12004.171
AT ITER 3395 NEW BEST:: SOT 53676 SOS 19111 HAS SOPS 19111 HAS SOUS 11925 HAS SOUPS 11925 WITH SCORE 11944.111
AT ITER 3426 NEW BEST:: SOT 53457 SOS 19539 HAS SOPS 19539 HAS SOUS 11807 HAS SOUPS 11807 WITH SCORE 11826.539
AT ITER 3483 NEW BEST:: SOT 53490 SOS 19541 HAS SOPS 19541 HAS SOUS 11780 HAS SOUPS 11780 WITH SCORE 11799.541
AT ITER 3494 NEW BEST:: SOT 53481 SOS 19532 HAS SOPS 19532 HAS SOUS 11762 HAS SOUPS 11762 WITH SCORE 11781.532
AT ITER 3595 NEW BEST:: SOT 53477 SOS 19528 HAS SOPS 19528 HAS SOUS 11754 HAS SOUPS 11754 WITH SCORE 11773.528
AT ITER 3652 NEW BEST:: SOT 53476 SOS 19504 HAS SOPS 19504 HAS SOUS 11737 HAS SOUPS 11737 WITH SCORE 11756.504
AT ITER 3724 NEW BEST:: SOT 53476 SOS 19504 HAS SOPS 19504 HAS SOUS 11733 HAS SOUPS 11733 WITH SCORE 11752.504
AT ITER 3745 NEW BEST:: SOT 53484 SOS 19513 HAS SOPS 19513 HAS SOUS 11704 HAS SOUPS 11704 WITH SCORE 11723.513
AT ITER 3759 NEW BEST:: SOT 53460 SOS 19449 HAS SOPS 19449 HAS SOUS 11652 HAS SOUPS 11652 WITH SCORE 11671.449
AT ITER 3761 NEW BEST:: SOT 53449 SOS 19446 HAS SOPS 19446 HAS SOUS 11649 HAS SOUPS 11649 WITH SCORE 11668.446
AT ITER 3774 NEW BEST:: SOT 53441 SOS 19305 HAS SOPS 19305 HAS SOUS 11636 HAS SOUPS 11636 WITH SCORE 11655.305
AT ITER 3776 NEW BEST:: SOT 53437 SOS 19351 HAS SOPS 19351 HAS SOUS 11609 HAS SOUPS 11609 WITH SCORE 11628.351
AT ITER 3819 NEW BEST:: SOT 53442 SOS 19361 HAS SOPS 19361 HAS SOUS 11606 HAS SOUPS 11606 WITH SCORE 11625.361
AT ITER 3820 NEW BEST:: SOT 53398 SOS 19318 HAS SOPS 19318 HAS SOUS 11527 HAS SOUPS 11527 WITH SCORE 11546.318
AT ITER 3856 NEW BEST:: SOT 53305 SOS 21898 HAS SOPS 21898 HAS SOUS 11455 HAS SOUPS 11455 WITH SCORE 11476.898
AT ITER 3858 NEW BEST:: SOT 53300 SOS 21887 HAS SOPS 21887 HAS SOUS 11445 HAS SOUPS 11445 WITH SCORE 11466.887
AT ITER 3875 NEW BEST:: SOT 53300 SOS 21883 HAS SOPS 21883 HAS SOUS 11445 HAS SOUPS 11445 WITH SCORE 11466.883
AT ITER 3881 NEW BEST:: SOT 53296 SOS 21881 HAS SOPS 21881 HAS SOUS 11439 HAS SOUPS 11439 WITH SCORE 11460.881
AT ITER 3904 NEW BEST:: SOT 53296 SOS 20851 HAS SOPS 20851 HAS SOUS 11439 HAS SOUPS 11439 WITH SCORE 11459.851
AT ITER 3915 NEW BEST:: SOT 53287 SOS 20832 HAS SOPS 20832 HAS SOUS 11410 HAS SOUPS 11410 WITH SCORE 11430.832
AT ITER 3923 NEW BEST:: SOT 53287 SOS 20831 HAS SOPS 20831 HAS SOUS 11409 HAS SOUPS 11409 WITH SCORE 11429.831
AT ITER 3932 NEW BEST:: SOT 53246 SOS 20749 HAS SOPS 20749 HAS SOUS 11327 HAS SOUPS 11327 WITH SCORE 11347.749
AT ITER 3936 NEW BEST:: SOT 53246 SOS 20749 HAS SOPS 20749 HAS SOUS 11320 HAS SOUPS 11320 WITH SCORE 11340.749
AT ITER 3940 NEW BEST:: SOT 53246 SOS 20745 HAS SOPS 20745 HAS SOUS 11316 HAS SOUPS 11316 WITH SCORE 11336.745
AT ITER 3949 NEW BEST:: SOT 53246 SOS 20732 HAS SOPS 20732 HAS SOUS 11316 HAS SOUPS 11316 WITH SCORE 11336.732
AT ITER 3962 NEW BEST:: SOT 53251 SOS 20632 HAS SOPS 20632 HAS SOUS 11271 HAS SOUPS 11271 WITH SCORE 11291.632
AT ITER 3987 NEW BEST:: SOT 53251 SOS 20623 HAS SOPS 20623 HAS SOUS 11271 HAS SOUPS 11271 WITH SCORE 11291.623
AT ITER 4036 NEW BEST:: SOT 53224 SOS 20596 HAS SOPS 20596 HAS SOUS 11217 HAS SOUPS 11217 WITH SCORE 11237.596
AT ITER 4055 NEW BEST:: SOT 53224 SOS 20206 HAS SOPS 20206 HAS SOUS 11217 HAS SOUPS 11217 WITH SCORE 11237.206
AT ITER 4088 NEW BEST:: SOT 53224 SOS 20164 HAS SOPS 20164 HAS SOUS 11211 HAS SOUPS 11211 WITH SCORE 11231.164
AT ITER 4094 NEW BEST:: SOT 53220 SOS 20160 HAS SOPS 20160 HAS SOUS 11211 HAS SOUPS 11211 WITH SCORE 11231.16
AT ITER 4146 NEW BEST:: SOT 53208 SOS 20148 HAS SOPS 20148 HAS SOUS 11199 HAS SOUPS 11199 WITH SCORE 11219.148
AT ITER 4152 NEW BEST:: SOT 53208 SOS 20144 HAS SOPS 20144 HAS SOUS 11199 HAS SOUPS 11199 WITH SCORE 11219.144
AT ITER 4200 NEW BEST:: SOT 53200 SOS 20128 HAS SOPS 20128 HAS SOUS 11183 HAS SOUPS 11183 WITH SCORE 11203.128
AT ITER 4203 NEW BEST:: SOT 53179 SOS 20107 HAS SOPS 20107 HAS SOUS 11162 HAS SOUPS 11162 WITH SCORE 11182.107
AT ITER 4204 NEW BEST:: SOT 53173 SOS 20125 HAS SOPS 20125 HAS SOUS 11157 HAS SOUPS 11157 WITH SCORE 11177.125
AT ITER 4226 NEW BEST:: SOT 53161 SOS 20120 HAS SOPS 20120 HAS SOUS 11152 HAS SOUPS 11152 WITH SCORE 11172.12
AT ITER 4271 NEW BEST:: SOT 53081 SOS 20127 HAS SOPS 20127 HAS SOUS 11138 HAS SOUPS 11138 WITH SCORE 11158.127
AT ITER 4274 NEW BEST:: SOT 53074 SOS 20113 HAS SOPS 20113 HAS SOUS 11131 HAS SOUPS 11131 WITH SCORE 11151.113
AT ITER 4287 NEW BEST:: SOT 53074 SOS 20113 HAS SOPS 20113 HAS SOUS 11129 HAS SOUPS 11129 WITH SCORE 11149.113
AT ITER 4300 NEW BEST:: SOT 53073 SOS 20112 HAS SOPS 20112 HAS SOUS 11127 HAS SOUPS 11127 WITH SCORE 11147.112
AT ITER 4308 NEW BEST:: SOT 53068 SOS 20107 HAS SOPS 20107 HAS SOUS 11105 HAS SOUPS 11105 WITH SCORE 11125.107
AT ITER 4320 NEW BEST:: SOT 53068 SOS 20075 HAS SOPS 20075 HAS SOUS 11105 HAS SOUPS 11105 WITH SCORE 11125.075
AT ITER 4337 NEW BEST:: SOT 53068 SOS 20041 HAS SOPS 20041 HAS SOUS 11105 HAS SOUPS 11105 WITH SCORE 11125.041
AT ITER 4382 NEW BEST:: SOT 53060 SOS 20039 HAS SOPS 20039 HAS SOUS 11103 HAS SOUPS 11103 WITH SCORE 11123.039
AT ITER 4394 NEW BEST:: SOT 53057 SOS 20021 HAS SOPS 20021 HAS SOUS 11090 HAS SOUPS 11090 WITH SCORE 11110.021
AT ITER 4441 NEW BEST:: SOT 53046 SOS 20006 HAS SOPS 20006 HAS SOUS 11072 HAS SOUPS 11072 WITH SCORE 11092.006
AT ITER 4473 NEW BEST:: SOT 53022 SOS 19986 HAS SOPS 19986 HAS SOUS 11064 HAS SOUPS 11064 WITH SCORE 11083.986
AT ITER 4476 NEW BEST:: SOT 53021 SOS 19984 HAS SOPS 19984 HAS SOUS 11062 HAS SOUPS 11062 WITH SCORE 11081.984
AT ITER 4528 NEW BEST:: SOT 53014 SOS 19970 HAS SOPS 19970 HAS SOUS 11048 HAS SOUPS 11048 WITH SCORE 11067.97
AT ITER 4530 NEW BEST:: SOT 53016 SOS 19974 HAS SOPS 19974 HAS SOUS 11043 HAS SOUPS 11043 WITH SCORE 11062.974
AT ITER 4600 NEW BEST:: SOT 53000 SOS 19941 HAS SOPS 19941 HAS SOUS 11011 HAS SOUPS 11011 WITH SCORE 11030.941
AT ITER 4660 NEW BEST:: SOT 52991 SOS 19898 HAS SOPS 19898 HAS SOUS 10991 HAS SOUPS 10991 WITH SCORE 11010.898
AT ITER 4681 NEW BEST:: SOT 52987 SOS 19894 HAS SOPS 19894 HAS SOUS 10987 HAS SOUPS 10987 WITH SCORE 11006.894
AT ITER 4694 NEW BEST:: SOT 52985 SOS 19890 HAS SOPS 19890 HAS SOUS 10983 HAS SOUPS 10983 WITH SCORE 11002.89
AT ITER 4729 NEW BEST:: SOT 52983 SOS 19888 HAS SOPS 19888 HAS SOUS 10979 HAS SOUPS 10979 WITH SCORE 10998.888
AT ITER 4787 NEW BEST:: SOT 52983 SOS 19922 HAS SOPS 19922 HAS SOUS 10969 HAS SOUPS 10969 WITH SCORE 10988.922
AT ITER 4806 NEW BEST:: SOT 52974 SOS 19904 HAS SOPS 19904 HAS SOUS 10941 HAS SOUPS 10941 WITH SCORE 10960.904
AT ITER 4807 NEW BEST:: SOT 52963 SOS 19882 HAS SOPS 19882 HAS SOUS 10919 HAS SOUPS 10919 WITH SCORE 10938.882
AT ITER 4812 NEW BEST:: SOT 52963 SOS 19876 HAS SOPS 19876 HAS SOUS 10919 HAS SOUPS 10919 WITH SCORE 10938.876
AT ITER 4814 NEW BEST:: SOT 52959 SOS 19870 HAS SOPS 19870 HAS SOUS 10911 HAS SOUPS 10911 WITH SCORE 10930.87
AT ITER 4817 NEW BEST:: SOT 52959 SOS 19851 HAS SOPS 19851 HAS SOUS 10911 HAS SOUPS 10911 WITH SCORE 10930.851
AT ITER 4832 NEW BEST:: SOT 52953 SOS 19839 HAS SOPS 19839 HAS SOUS 10905 HAS SOUPS 10905 WITH SCORE 10924.839
AT ITER 4866 NEW BEST:: SOT 52927 SOS 19841 HAS SOPS 19841 HAS SOUS 10843 HAS SOUPS 10843 WITH SCORE 10862.841
AT ITER 4886 NEW BEST:: SOT 52927 SOS 19840 HAS SOPS 19840 HAS SOUS 10843 HAS SOUPS 10843 WITH SCORE 10862.84
AT ITER 4903 NEW BEST:: SOT 52899 SOS 19840 HAS SOPS 19840 HAS SOUS 10793 HAS SOUPS 10793 WITH SCORE 10812.84
AT ITER 4908 NEW BEST:: SOT 52898 SOS 19838 HAS SOPS 19838 HAS SOUS 10791 HAS SOUPS 10791 WITH SCORE 10810.838
AT ITER 4910 NEW BEST:: SOT 52898 SOS 19831 HAS SOPS 19831 HAS SOUS 10791 HAS SOUPS 10791 WITH SCORE 10810.831
AT ITER 4920 NEW BEST:: SOT 52861 SOS 19676 HAS SOPS 19676 HAS SOUS 10711 HAS SOUPS 10711 WITH SCORE 10730.676
AT ITER 4949 NEW BEST:: SOT 52815 SOS 19648 HAS SOPS 19648 HAS SOUS 10673 HAS SOUPS 10673 WITH SCORE 10692.648
AT ITER 4976 NEW BEST:: SOT 52820 SOS 19647 HAS SOPS 19647 HAS SOUS 10663 HAS SOUPS 10663 WITH SCORE 10682.647
AT ITER 4978 NEW BEST:: SOT 52816 SOS 19639 HAS SOPS 19639 HAS SOUS 10655 HAS SOUPS 10655 WITH SCORE 10674.639
AT ITER 4988 NEW BEST:: SOT 52815 SOS 19638 HAS SOPS 19638 HAS SOUS 10654 HAS SOUPS 10654 WITH SCORE 10673.638
AT ITER 4994 NEW BEST:: SOT 52813 SOS 19634 HAS SOPS 19634 HAS SOUS 10650 HAS SOUPS 10650 WITH SCORE 10669.634
Bounds file is: CTLFireability.xml
PROPERTY: DiscoveryGPU-PT-10b-CTLFireability-00 (AF( (EG( ((potential((tk(P192)>=1))))))))
PROPERTY: DiscoveryGPU-PT-10b-CTLFireability-01 (! (EF( (! (EF( ((potential((tk(P240)>=1) & (tk(P288)>=1))))))))))
PROPERTY: DiscoveryGPU-PT-10b-CTLFireability-02 (EF( ( ( ( ( ((potential((tk(P112)>=1) & (tk(P288)>=1)))) | ((potential((tk(P108)>=1)))) ) | (! ((potential((tk(P47)>=1))))) ) & (AX( ((potential((tk(P37)>=1) & (tk(P288)>=1)))))) ) & (! (EX( ((potential((tk(P203)>=1))))))) )))
PROPERTY: DiscoveryGPU-PT-10b-CTLFireability-03 ( (! (EF( (! (! ((potential((tk(P207)>=1))))))))) | ((potential((tk(P138)>=1)))) )
PROPERTY: DiscoveryGPU-PT-10b-CTLFireability-04 ( (AF( (! (EG( ((potential((tk(P175)>=1))))))))) & ( (! ((potential((tk(P95)>=1))))) & (EX( (AF( ((potential((tk(P1)>=1)))))))) ) )
PROPERTY: DiscoveryGPU-PT-10b-CTLFireability-05 (EU( (AF( (! ((potential((tk(P255)>=1))))))) , (AF( ( ((potential((tk(P211)>=1)))) & ((potential((tk(P265)>=1)))) ))) ))
PROPERTY: DiscoveryGPU-PT-10b-CTLFireability-06 (AU( (AX( (! ((potential((tk(P20)>=1))))))) , ((potential((tk(P165)>=1)))) ))
PROPERTY: DiscoveryGPU-PT-10b-CTLFireability-07 (EF( ((potential((tk(P193)>=1) & (tk(P288)>=1))))))
PROPERTY: DiscoveryGPU-PT-10b-CTLFireability-08 (AF( ( (EU( ((potential((tk(P84)>=1)))) , ((potential((tk(P225)>=1)))) )) | (! (EF( ((potential((tk(P292)>=1))))))) )))
PROPERTY: DiscoveryGPU-PT-10b-CTLFireability-09 ( (AF( ((potential((tk(P76)>=1)))))) | ((potential((tk(P131)>=1)))) )
PROPERTY: DiscoveryGPU-PT-10b-CTLFireability-10 (AG( (AF( ( (! ((potential((tk(P91)>=1) & (tk(P288)>=1))))) & ( ((potential((tk(P266)>=1)))) & ((potential((tk(P118)>=1) & (tk(P288)>=1)))) ) )))))
PROPERTY: DiscoveryGPU-PT-10b-CTLFireability-11 (EG( ( ( ( (! ((potential((tk(P280)>=1) & (tk(P288)>=1))))) & ( ((potential((tk(P77)>=1)))) | ((potential((tk(P206)>=1) & (tk(P288)>=1)))) ) ) | (EF( ((potential((tk(P52)>=1)))))) ) & (! ((potential((tk(P90)>=1))))) )))
PROPERTY: DiscoveryGPU-PT-10b-CTLFireability-12 (AU( ( (AX( ((potential((tk(P115)>=1)))))) | ( (! ((potential((tk(P169)>=1))))) | ( ((potential((tk(P56)>=1)))) & ((potential((tk(P176)>=1)))) ) ) ) , ((potential((tk(P94)>=1)))) ))
PROPERTY: DiscoveryGPU-PT-10b-CTLFireability-13 ( ( ( (EX( ( ((potential((tk(P16)>=1)))) | ((potential((tk(P280)>=1) & (tk(P288)>=1)))) ))) | (! (AF( ((potential((tk(P184)>=1))))))) ) & (EX( (! ((potential((tk(P250)>=1))))))) ) | ( (AX( ( ( ((potential((tk(P235)>=1) & (tk(P295)>=1)))) & ((potential((tk(P238)>=1)))) ) | ( ((potential((tk(P34)>=1)))) & ((potential((tk(P279)>=1)))) ) ))) & (AU( (! ((potential((tk(P89)>=1) & (tk(P288)>=1))))) , ( ((potential((tk(P237)>=1) & (tk(P295)>=1)))) & ((potential((tk(P121)>=1)))) ) )) ) )
PROPERTY: DiscoveryGPU-PT-10b-CTLFireability-14 (! (AU( (! ( ((potential((tk(P21)>=1) & (tk(P295)>=1)))) | ((potential((tk(P122)>=1)))) )) , (AX( ((potential((tk(P172)>=1) & (tk(P288)>=1)))))) )))
PROPERTY: DiscoveryGPU-PT-10b-CTLFireability-15 ( ( ( ( ( ( ((potential((tk(P21)>=1) & (tk(P295)>=1)))) | ((potential((tk(P221)>=1) & (tk(P295)>=1)))) ) | ((potential((tk(P8)>=1)))) ) | ( (! ((potential((tk(P185)>=1))))) & ((potential((tk(P187)>=1)))) ) ) & ( (AG( ((potential((tk(P237)>=1) & (tk(P295)>=1)))))) & (EF( ((potential((tk(P267)>=1) & (tk(P288)>=1)))))) ) ) | ((potential((tk(P243)>=1)))) ) | (AX( (EG( (! ((potential((tk(P264)>=1) & (tk(P295)>=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="DiscoveryGPU-PT-10b"
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 DiscoveryGPU-PT-10b, 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 r063-tajo-158922807800660"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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