About the Execution of smart for DiscoveryGPU-PT-12b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15765.700 | 3600000.00 | 3600078.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 '/mnt/tpsp/fkordon/mcc2020-input.r063-tajo-158922807900691.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-12b, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922807900691
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 268K
-rw-r--r-- 1 mcc users 2.9K Mar 31 07:18 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 31 07:18 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 30 00:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 30 00:01 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.4K Apr 8 14:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Mar 28 14:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 28 14:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 27 07:41 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 27 07:41 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 89K 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-12b-CTLCardinality-00
FORMULA_NAME DiscoveryGPU-PT-12b-CTLCardinality-01
FORMULA_NAME DiscoveryGPU-PT-12b-CTLCardinality-02
FORMULA_NAME DiscoveryGPU-PT-12b-CTLCardinality-03
FORMULA_NAME DiscoveryGPU-PT-12b-CTLCardinality-04
FORMULA_NAME DiscoveryGPU-PT-12b-CTLCardinality-05
FORMULA_NAME DiscoveryGPU-PT-12b-CTLCardinality-06
FORMULA_NAME DiscoveryGPU-PT-12b-CTLCardinality-07
FORMULA_NAME DiscoveryGPU-PT-12b-CTLCardinality-08
FORMULA_NAME DiscoveryGPU-PT-12b-CTLCardinality-09
FORMULA_NAME DiscoveryGPU-PT-12b-CTLCardinality-10
FORMULA_NAME DiscoveryGPU-PT-12b-CTLCardinality-11
FORMULA_NAME DiscoveryGPU-PT-12b-CTLCardinality-12
FORMULA_NAME DiscoveryGPU-PT-12b-CTLCardinality-13
FORMULA_NAME DiscoveryGPU-PT-12b-CTLCardinality-14
FORMULA_NAME DiscoveryGPU-PT-12b-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1589363795164
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 12b
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 352 places, 374 transitions, 977 arcs.
AT ITER 0 NEW BEST:: SOT 91917 SOS 44107 HAS SOPS 44107 HAS SOUS 38972 HAS SOUPS 38972 WITH SCORE 39016.107
AT ITER 1 NEW BEST:: SOT 91877 SOS 43873 HAS SOPS 43873 HAS SOUS 38738 HAS SOUPS 38738 WITH SCORE 38781.873
AT ITER 10 NEW BEST:: SOT 91764 SOS 43786 HAS SOPS 43786 HAS SOUS 38653 HAS SOUPS 38653 WITH SCORE 38696.786
AT ITER 12 NEW BEST:: SOT 91537 SOS 43403 HAS SOPS 43403 HAS SOUS 38315 HAS SOUPS 38315 WITH SCORE 38358.403
AT ITER 16 NEW BEST:: SOT 91536 SOS 43352 HAS SOPS 43352 HAS SOUS 38264 HAS SOUPS 38264 WITH SCORE 38307.352
AT ITER 25 NEW BEST:: SOT 91417 SOS 43251 HAS SOPS 43251 HAS SOUS 38159 HAS SOUPS 38159 WITH SCORE 38202.251
AT ITER 27 NEW BEST:: SOT 91344 SOS 43108 HAS SOPS 43108 HAS SOUS 38124 HAS SOUPS 38124 WITH SCORE 38167.108
AT ITER 36 NEW BEST:: SOT 91336 SOS 43092 HAS SOPS 43092 HAS SOUS 38108 HAS SOUPS 38108 WITH SCORE 38151.092
AT ITER 41 NEW BEST:: SOT 91284 SOS 43040 HAS SOPS 43040 HAS SOUS 38056 HAS SOUPS 38056 WITH SCORE 38099.04
AT ITER 44 NEW BEST:: SOT 91271 SOS 43014 HAS SOPS 43014 HAS SOUS 38041 HAS SOUPS 38041 WITH SCORE 38084.014
AT ITER 46 NEW BEST:: SOT 91255 SOS 42982 HAS SOPS 42982 HAS SOUS 38025 HAS SOUPS 38025 WITH SCORE 38067.982
AT ITER 48 NEW BEST:: SOT 89039 SOS 40820 HAS SOPS 40820 HAS SOUS 35862 HAS SOUPS 35862 WITH SCORE 35902.82
AT ITER 51 NEW BEST:: SOT 88982 SOS 40706 HAS SOPS 40706 HAS SOUS 35748 HAS SOUPS 35748 WITH SCORE 35788.706
AT ITER 53 NEW BEST:: SOT 88930 SOS 40602 HAS SOPS 40602 HAS SOUS 35695 HAS SOUPS 35695 WITH SCORE 35735.602
AT ITER 56 NEW BEST:: SOT 88919 SOS 40593 HAS SOPS 40593 HAS SOUS 35673 HAS SOUPS 35673 WITH SCORE 35713.593
AT ITER 61 NEW BEST:: SOT 88801 SOS 40400 HAS SOPS 40400 HAS SOUS 35480 HAS SOUPS 35480 WITH SCORE 35520.4
AT ITER 68 NEW BEST:: SOT 88714 SOS 40316 HAS SOPS 40316 HAS SOUS 35392 HAS SOUPS 35392 WITH SCORE 35432.316
AT ITER 82 NEW BEST:: SOT 88714 SOS 40277 HAS SOPS 40277 HAS SOUS 35353 HAS SOUPS 35353 WITH SCORE 35393.277
AT ITER 90 NEW BEST:: SOT 88646 SOS 40244 HAS SOPS 40244 HAS SOUS 35320 HAS SOUPS 35320 WITH SCORE 35360.244
AT ITER 91 NEW BEST:: SOT 88586 SOS 40007 HAS SOPS 40007 HAS SOUS 35083 HAS SOUPS 35083 WITH SCORE 35123.007
AT ITER 92 NEW BEST:: SOT 88586 SOS 39996 HAS SOPS 39996 HAS SOUS 35083 HAS SOUPS 35083 WITH SCORE 35122.996
AT ITER 94 NEW BEST:: SOT 88554 SOS 39964 HAS SOPS 39964 HAS SOUS 35051 HAS SOUPS 35051 WITH SCORE 35090.964
AT ITER 96 NEW BEST:: SOT 88506 SOS 39809 HAS SOPS 39809 HAS SOUS 35003 HAS SOUPS 35003 WITH SCORE 35042.809
AT ITER 101 NEW BEST:: SOT 88396 SOS 39637 HAS SOPS 39637 HAS SOUS 34839 HAS SOUPS 34839 WITH SCORE 34878.637
AT ITER 104 NEW BEST:: SOT 88379 SOS 39636 HAS SOPS 39636 HAS SOUS 34838 HAS SOUPS 34838 WITH SCORE 34877.636
AT ITER 106 NEW BEST:: SOT 88392 SOS 39582 HAS SOPS 39582 HAS SOUS 34783 HAS SOUPS 34783 WITH SCORE 34822.582
AT ITER 107 NEW BEST:: SOT 88367 SOS 39555 HAS SOPS 39555 HAS SOUS 34758 HAS SOUPS 34758 WITH SCORE 34797.555
AT ITER 113 NEW BEST:: SOT 88283 SOS 39570 HAS SOPS 39570 HAS SOUS 34632 HAS SOUPS 34632 WITH SCORE 34671.57
AT ITER 114 NEW BEST:: SOT 88255 SOS 39514 HAS SOPS 39514 HAS SOUS 34597 HAS SOUPS 34597 WITH SCORE 34636.514
AT ITER 115 NEW BEST:: SOT 88235 SOS 39494 HAS SOPS 39494 HAS SOUS 34577 HAS SOUPS 34577 WITH SCORE 34616.494
AT ITER 120 NEW BEST:: SOT 88206 SOS 39365 HAS SOPS 39365 HAS SOUS 34448 HAS SOUPS 34448 WITH SCORE 34487.365
AT ITER 121 NEW BEST:: SOT 88190 SOS 39333 HAS SOPS 39333 HAS SOUS 34430 HAS SOUPS 34430 WITH SCORE 34469.333
AT ITER 129 NEW BEST:: SOT 88188 SOS 39329 HAS SOPS 39329 HAS SOUS 34428 HAS SOUPS 34428 WITH SCORE 34467.329
AT ITER 133 NEW BEST:: SOT 88141 SOS 39314 HAS SOPS 39314 HAS SOUS 34405 HAS SOUPS 34405 WITH SCORE 34444.314
AT ITER 140 NEW BEST:: SOT 88156 SOS 39291 HAS SOPS 39291 HAS SOUS 34399 HAS SOUPS 34399 WITH SCORE 34438.291
AT ITER 143 NEW BEST:: SOT 88069 SOS 39181 HAS SOPS 39181 HAS SOUS 34289 HAS SOUPS 34289 WITH SCORE 34328.181
AT ITER 146 NEW BEST:: SOT 88007 SOS 38982 HAS SOPS 38982 HAS SOUS 34160 HAS SOUPS 34160 WITH SCORE 34198.982
AT ITER 153 NEW BEST:: SOT 88007 SOS 38872 HAS SOPS 38872 HAS SOUS 34160 HAS SOUPS 34160 WITH SCORE 34198.872
AT ITER 165 NEW BEST:: SOT 87928 SOS 38793 HAS SOPS 38793 HAS SOUS 34081 HAS SOUPS 34081 WITH SCORE 34119.793
AT ITER 176 NEW BEST:: SOT 87919 SOS 38677 HAS SOPS 38677 HAS SOUS 34063 HAS SOUPS 34063 WITH SCORE 34101.677
AT ITER 177 NEW BEST:: SOT 87878 SOS 38618 HAS SOPS 38618 HAS SOUS 34041 HAS SOUPS 34041 WITH SCORE 34079.618
AT ITER 181 NEW BEST:: SOT 87762 SOS 38444 HAS SOPS 38444 HAS SOUS 33867 HAS SOUPS 33867 WITH SCORE 33905.444
AT ITER 194 NEW BEST:: SOT 87751 SOS 38304 HAS SOPS 38304 HAS SOUS 33769 HAS SOUPS 33769 WITH SCORE 33807.304
AT ITER 196 NEW BEST:: SOT 86826 SOS 37960 HAS SOPS 37960 HAS SOUS 32959 HAS SOUPS 32959 WITH SCORE 32996.96
AT ITER 204 NEW BEST:: SOT 86736 SOS 37870 HAS SOPS 37870 HAS SOUS 32869 HAS SOUPS 32869 WITH SCORE 32906.87
AT ITER 207 NEW BEST:: SOT 86725 SOS 37848 HAS SOPS 37848 HAS SOUS 32856 HAS SOUPS 32856 WITH SCORE 32893.848
AT ITER 208 NEW BEST:: SOT 86719 SOS 37837 HAS SOPS 37837 HAS SOUS 32854 HAS SOUPS 32854 WITH SCORE 32891.837
AT ITER 211 NEW BEST:: SOT 86204 SOS 40550 HAS SOPS 40550 HAS SOUS 32568 HAS SOUPS 32568 WITH SCORE 32608.55
AT ITER 223 NEW BEST:: SOT 86114 SOS 40379 HAS SOPS 40379 HAS SOUS 32404 HAS SOUPS 32404 WITH SCORE 32444.379
AT ITER 230 NEW BEST:: SOT 86022 SOS 40490 HAS SOPS 40490 HAS SOUS 32312 HAS SOUPS 32312 WITH SCORE 32352.49
AT ITER 231 NEW BEST:: SOT 86022 SOS 40457 HAS SOPS 40457 HAS SOUS 32278 HAS SOUPS 32278 WITH SCORE 32318.457
AT ITER 245 NEW BEST:: SOT 86090 SOS 40256 HAS SOPS 40256 HAS SOUS 32242 HAS SOUPS 32242 WITH SCORE 32282.256
AT ITER 246 NEW BEST:: SOT 86008 SOS 40195 HAS SOPS 40195 HAS SOUS 32207 HAS SOUPS 32207 WITH SCORE 32247.195
AT ITER 260 NEW BEST:: SOT 86008 SOS 40195 HAS SOPS 40195 HAS SOUS 32206 HAS SOUPS 32206 WITH SCORE 32246.195
AT ITER 271 NEW BEST:: SOT 85891 SOS 39980 HAS SOPS 39980 HAS SOUS 32093 HAS SOUPS 32093 WITH SCORE 32132.98
AT ITER 279 NEW BEST:: SOT 85848 SOS 39766 HAS SOPS 39766 HAS SOUS 31997 HAS SOUPS 31997 WITH SCORE 32036.766
AT ITER 287 NEW BEST:: SOT 85830 SOS 39730 HAS SOPS 39730 HAS SOUS 31961 HAS SOUPS 31961 WITH SCORE 32000.73
AT ITER 303 NEW BEST:: SOT 85763 SOS 39619 HAS SOPS 39619 HAS SOUS 31904 HAS SOUPS 31904 WITH SCORE 31943.619
AT ITER 307 NEW BEST:: SOT 85686 SOS 39465 HAS SOPS 39465 HAS SOUS 31833 HAS SOUPS 31833 WITH SCORE 31872.465
AT ITER 308 NEW BEST:: SOT 85614 SOS 39357 HAS SOPS 39357 HAS SOUS 31754 HAS SOUPS 31754 WITH SCORE 31793.357
AT ITER 318 NEW BEST:: SOT 85613 SOS 39338 HAS SOPS 39338 HAS SOUS 31752 HAS SOUPS 31752 WITH SCORE 31791.338
AT ITER 319 NEW BEST:: SOT 85558 SOS 39228 HAS SOPS 39228 HAS SOUS 31697 HAS SOUPS 31697 WITH SCORE 31736.228
AT ITER 321 NEW BEST:: SOT 85339 SOS 38813 HAS SOPS 38813 HAS SOUS 31184 HAS SOUPS 31184 WITH SCORE 31222.813
AT ITER 322 NEW BEST:: SOT 85339 SOS 38791 HAS SOPS 38791 HAS SOUS 31162 HAS SOUPS 31162 WITH SCORE 31200.791
AT ITER 329 NEW BEST:: SOT 85389 SOS 38723 HAS SOPS 38723 HAS SOUS 31144 HAS SOUPS 31144 WITH SCORE 31182.723
AT ITER 332 NEW BEST:: SOT 85385 SOS 38715 HAS SOPS 38715 HAS SOUS 31135 HAS SOUPS 31135 WITH SCORE 31173.715
AT ITER 335 NEW BEST:: SOT 85346 SOS 38637 HAS SOPS 38637 HAS SOUS 31057 HAS SOUPS 31057 WITH SCORE 31095.637
AT ITER 337 NEW BEST:: SOT 85315 SOS 38575 HAS SOPS 38575 HAS SOUS 31026 HAS SOUPS 31026 WITH SCORE 31064.575
AT ITER 338 NEW BEST:: SOT 85315 SOS 38556 HAS SOPS 38556 HAS SOUS 31022 HAS SOUPS 31022 WITH SCORE 31060.556
AT ITER 339 NEW BEST:: SOT 85221 SOS 38368 HAS SOPS 38368 HAS SOUS 30935 HAS SOUPS 30935 WITH SCORE 30973.368
AT ITER 344 NEW BEST:: SOT 85221 SOS 38368 HAS SOPS 38368 HAS SOUS 30925 HAS SOUPS 30925 WITH SCORE 30963.368
AT ITER 360 NEW BEST:: SOT 85213 SOS 38360 HAS SOPS 38360 HAS SOUS 30924 HAS SOUPS 30924 WITH SCORE 30962.36
AT ITER 366 NEW BEST:: SOT 85127 SOS 38188 HAS SOPS 38188 HAS SOUS 30838 HAS SOUPS 30838 WITH SCORE 30876.188
AT ITER 375 NEW BEST:: SOT 85200 SOS 38245 HAS SOPS 38245 HAS SOUS 30723 HAS SOUPS 30723 WITH SCORE 30761.245
AT ITER 379 NEW BEST:: SOT 85200 SOS 38238 HAS SOPS 38238 HAS SOUS 30723 HAS SOUPS 30723 WITH SCORE 30761.238
AT ITER 385 NEW BEST:: SOT 85161 SOS 38121 HAS SOPS 38121 HAS SOUS 30684 HAS SOUPS 30684 WITH SCORE 30722.121
AT ITER 391 NEW BEST:: SOT 85173 SOS 38086 HAS SOPS 38086 HAS SOUS 30648 HAS SOUPS 30648 WITH SCORE 30686.086
AT ITER 392 NEW BEST:: SOT 85151 SOS 38042 HAS SOPS 38042 HAS SOUS 30604 HAS SOUPS 30604 WITH SCORE 30642.042
AT ITER 395 NEW BEST:: SOT 85176 SOS 37962 HAS SOPS 37962 HAS SOUS 30496 HAS SOUPS 30496 WITH SCORE 30533.962
AT ITER 403 NEW BEST:: SOT 85187 SOS 37932 HAS SOPS 37932 HAS SOUS 30466 HAS SOUPS 30466 WITH SCORE 30503.932
AT ITER 417 NEW BEST:: SOT 84886 SOS 37612 HAS SOPS 37612 HAS SOUS 30146 HAS SOUPS 30146 WITH SCORE 30183.612
AT ITER 419 NEW BEST:: SOT 82497 SOS 46082 HAS SOPS 46082 HAS SOUS 28226 HAS SOUPS 28226 WITH SCORE 28272.082
AT ITER 423 NEW BEST:: SOT 82394 SOS 46029 HAS SOPS 46029 HAS SOUS 28173 HAS SOUPS 28173 WITH SCORE 28219.029
AT ITER 425 NEW BEST:: SOT 82316 SOS 45951 HAS SOPS 45951 HAS SOUS 28113 HAS SOUPS 28113 WITH SCORE 28158.951
AT ITER 431 NEW BEST:: SOT 82316 SOS 45881 HAS SOPS 45881 HAS SOUS 28090 HAS SOUPS 28090 WITH SCORE 28135.881
AT ITER 438 NEW BEST:: SOT 82316 SOS 45881 HAS SOPS 45881 HAS SOUS 28057 HAS SOUPS 28057 WITH SCORE 28102.881
AT ITER 451 NEW BEST:: SOT 82314 SOS 45841 HAS SOPS 45841 HAS SOUS 28055 HAS SOUPS 28055 WITH SCORE 28100.841
AT ITER 453 NEW BEST:: SOT 82291 SOS 45795 HAS SOPS 45795 HAS SOUS 28033 HAS SOUPS 28033 WITH SCORE 28078.795
AT ITER 456 NEW BEST:: SOT 82277 SOS 45618 HAS SOPS 45618 HAS SOUS 28005 HAS SOUPS 28005 WITH SCORE 28050.618
AT ITER 466 NEW BEST:: SOT 82286 SOS 45615 HAS SOPS 45615 HAS SOUS 27995 HAS SOUPS 27995 WITH SCORE 28040.615
AT ITER 467 NEW BEST:: SOT 82305 SOS 45632 HAS SOPS 45632 HAS SOUS 27951 HAS SOUPS 27951 WITH SCORE 27996.632
AT ITER 473 NEW BEST:: SOT 82194 SOS 45410 HAS SOPS 45410 HAS SOUS 27729 HAS SOUPS 27729 WITH SCORE 27774.41
AT ITER 476 NEW BEST:: SOT 82158 SOS 45337 HAS SOPS 45337 HAS SOUS 27729 HAS SOUPS 27729 WITH SCORE 27774.337
AT ITER 482 NEW BEST:: SOT 82073 SOS 45250 HAS SOPS 45250 HAS SOUS 27642 HAS SOUPS 27642 WITH SCORE 27687.25
AT ITER 483 NEW BEST:: SOT 82073 SOS 45244 HAS SOPS 45244 HAS SOUS 27642 HAS SOUPS 27642 WITH SCORE 27687.244
AT ITER 494 NEW BEST:: SOT 82094 SOS 45254 HAS SOPS 45254 HAS SOUS 27609 HAS SOUPS 27609 WITH SCORE 27654.254
AT ITER 505 NEW BEST:: SOT 81871 SOS 45027 HAS SOPS 45027 HAS SOUS 27505 HAS SOUPS 27505 WITH SCORE 27550.027
AT ITER 508 NEW BEST:: SOT 81831 SOS 44987 HAS SOPS 44987 HAS SOUS 27465 HAS SOUPS 27465 WITH SCORE 27509.987
AT ITER 513 NEW BEST:: SOT 81809 SOS 44943 HAS SOPS 44943 HAS SOUS 27421 HAS SOUPS 27421 WITH SCORE 27465.943
AT ITER 514 NEW BEST:: SOT 81810 SOS 44881 HAS SOPS 44881 HAS SOUS 27408 HAS SOUPS 27408 WITH SCORE 27452.881
AT ITER 518 NEW BEST:: SOT 81641 SOS 44641 HAS SOPS 44641 HAS SOUS 27391 HAS SOUPS 27391 WITH SCORE 27435.641
AT ITER 526 NEW BEST:: SOT 81643 SOS 44643 HAS SOPS 44643 HAS SOUS 27382 HAS SOUPS 27382 WITH SCORE 27426.643
AT ITER 528 NEW BEST:: SOT 81632 SOS 44572 HAS SOPS 44572 HAS SOUS 27360 HAS SOUPS 27360 WITH SCORE 27404.572
AT ITER 532 NEW BEST:: SOT 81632 SOS 44572 HAS SOPS 44572 HAS SOUS 27351 HAS SOUPS 27351 WITH SCORE 27395.572
AT ITER 533 NEW BEST:: SOT 81628 SOS 44568 HAS SOPS 44568 HAS SOUS 27343 HAS SOUPS 27343 WITH SCORE 27387.568
AT ITER 539 NEW BEST:: SOT 81647 SOS 44403 HAS SOPS 44403 HAS SOUS 27235 HAS SOUPS 27235 WITH SCORE 27279.403
AT ITER 543 NEW BEST:: SOT 81541 SOS 44192 HAS SOPS 44192 HAS SOUS 27128 HAS SOUPS 27128 WITH SCORE 27172.192
AT ITER 554 NEW BEST:: SOT 81431 SOS 44027 HAS SOPS 44027 HAS SOUS 27018 HAS SOUPS 27018 WITH SCORE 27062.027
AT ITER 557 NEW BEST:: SOT 81398 SOS 43894 HAS SOPS 43894 HAS SOUS 26935 HAS SOUPS 26935 WITH SCORE 26978.894
AT ITER 561 NEW BEST:: SOT 81341 SOS 43837 HAS SOPS 43837 HAS SOUS 26878 HAS SOUPS 26878 WITH SCORE 26921.837
AT ITER 569 NEW BEST:: SOT 81327 SOS 43809 HAS SOPS 43809 HAS SOUS 26869 HAS SOUPS 26869 WITH SCORE 26912.809
AT ITER 578 NEW BEST:: SOT 81327 SOS 43809 HAS SOPS 43809 HAS SOUS 26853 HAS SOUPS 26853 WITH SCORE 26896.809
AT ITER 589 NEW BEST:: SOT 81290 SOS 43735 HAS SOPS 43735 HAS SOUS 26821 HAS SOUPS 26821 WITH SCORE 26864.735
AT ITER 596 NEW BEST:: SOT 81110 SOS 43466 HAS SOPS 43466 HAS SOUS 26547 HAS SOUPS 26547 WITH SCORE 26590.466
AT ITER 606 NEW BEST:: SOT 81088 SOS 43396 HAS SOPS 43396 HAS SOUS 26414 HAS SOUPS 26414 WITH SCORE 26457.396
AT ITER 608 NEW BEST:: SOT 81006 SOS 43233 HAS SOPS 43233 HAS SOUS 26391 HAS SOUPS 26391 WITH SCORE 26434.233
AT ITER 627 NEW BEST:: SOT 81005 SOS 43218 HAS SOPS 43218 HAS SOUS 26376 HAS SOUPS 26376 WITH SCORE 26419.218
AT ITER 631 NEW BEST:: SOT 80988 SOS 43164 HAS SOPS 43164 HAS SOUS 26341 HAS SOUPS 26341 WITH SCORE 26384.164
AT ITER 633 NEW BEST:: SOT 80852 SOS 42892 HAS SOPS 42892 HAS SOUS 26088 HAS SOUPS 26088 WITH SCORE 26130.892
AT ITER 652 NEW BEST:: SOT 80821 SOS 42845 HAS SOPS 42845 HAS SOUS 26073 HAS SOUPS 26073 WITH SCORE 26115.845
AT ITER 653 NEW BEST:: SOT 80824 SOS 42815 HAS SOPS 42815 HAS SOUS 26060 HAS SOUPS 26060 WITH SCORE 26102.815
AT ITER 654 NEW BEST:: SOT 80823 SOS 42812 HAS SOPS 42812 HAS SOUS 26057 HAS SOUPS 26057 WITH SCORE 26099.812
AT ITER 655 NEW BEST:: SOT 80823 SOS 42810 HAS SOPS 42810 HAS SOUS 26053 HAS SOUPS 26053 WITH SCORE 26095.81
AT ITER 660 NEW BEST:: SOT 80787 SOS 42738 HAS SOPS 42738 HAS SOUS 25985 HAS SOUPS 25985 WITH SCORE 26027.738
AT ITER 661 NEW BEST:: SOT 80725 SOS 42676 HAS SOPS 42676 HAS SOUS 25982 HAS SOUPS 25982 WITH SCORE 26024.676
AT ITER 662 NEW BEST:: SOT 80725 SOS 42676 HAS SOPS 42676 HAS SOUS 25971 HAS SOUPS 25971 WITH SCORE 26013.676
AT ITER 670 NEW BEST:: SOT 80696 SOS 42618 HAS SOPS 42618 HAS SOUS 25942 HAS SOUPS 25942 WITH SCORE 25984.618
AT ITER 673 NEW BEST:: SOT 80678 SOS 42600 HAS SOPS 42600 HAS SOUS 25924 HAS SOUPS 25924 WITH SCORE 25966.6
AT ITER 678 NEW BEST:: SOT 80662 SOS 42576 HAS SOPS 42576 HAS SOUS 25908 HAS SOUPS 25908 WITH SCORE 25950.576
AT ITER 687 NEW BEST:: SOT 80666 SOS 42505 HAS SOPS 42505 HAS SOUS 25837 HAS SOUPS 25837 WITH SCORE 25879.505
AT ITER 694 NEW BEST:: SOT 80640 SOS 42499 HAS SOPS 42499 HAS SOUS 25785 HAS SOUPS 25785 WITH SCORE 25827.499
AT ITER 705 NEW BEST:: SOT 80665 SOS 42440 HAS SOPS 42440 HAS SOUS 25676 HAS SOUPS 25676 WITH SCORE 25718.44
AT ITER 708 NEW BEST:: SOT 80589 SOS 42212 HAS SOPS 42212 HAS SOUS 25524 HAS SOUPS 25524 WITH SCORE 25566.212
AT ITER 718 NEW BEST:: SOT 80589 SOS 42211 HAS SOPS 42211 HAS SOUS 25523 HAS SOUPS 25523 WITH SCORE 25565.211
AT ITER 719 NEW BEST:: SOT 80576 SOS 42185 HAS SOPS 42185 HAS SOUS 25510 HAS SOUPS 25510 WITH SCORE 25552.185
AT ITER 722 NEW BEST:: SOT 79822 SOS 41472 HAS SOPS 41472 HAS SOUS 24743 HAS SOUPS 24743 WITH SCORE 24784.472
AT ITER 746 NEW BEST:: SOT 79616 SOS 41296 HAS SOPS 41296 HAS SOUS 24725 HAS SOUPS 24725 WITH SCORE 24766.296
AT ITER 748 NEW BEST:: SOT 79513 SOS 41048 HAS SOPS 41048 HAS SOUS 24622 HAS SOUPS 24622 WITH SCORE 24663.048
AT ITER 749 NEW BEST:: SOT 79498 SOS 40964 HAS SOPS 40964 HAS SOUS 24572 HAS SOUPS 24572 WITH SCORE 24612.964
AT ITER 756 NEW BEST:: SOT 79551 SOS 40939 HAS SOPS 40939 HAS SOUS 24492 HAS SOUPS 24492 WITH SCORE 24532.939
AT ITER 759 NEW BEST:: SOT 79532 SOS 40901 HAS SOPS 40901 HAS SOUS 24454 HAS SOUPS 24454 WITH SCORE 24494.901
AT ITER 774 NEW BEST:: SOT 79443 SOS 40813 HAS SOPS 40813 HAS SOUS 24365 HAS SOUPS 24365 WITH SCORE 24405.813
AT ITER 776 NEW BEST:: SOT 79407 SOS 40779 HAS SOPS 40779 HAS SOUS 24309 HAS SOUPS 24309 WITH SCORE 24349.779
AT ITER 777 NEW BEST:: SOT 79400 SOS 40760 HAS SOPS 40760 HAS SOUS 24295 HAS SOUPS 24295 WITH SCORE 24335.76
AT ITER 786 NEW BEST:: SOT 79398 SOS 40756 HAS SOPS 40756 HAS SOUS 24291 HAS SOUPS 24291 WITH SCORE 24331.756
AT ITER 792 NEW BEST:: SOT 79388 SOS 40736 HAS SOPS 40736 HAS SOUS 24271 HAS SOUPS 24271 WITH SCORE 24311.736
AT ITER 803 NEW BEST:: SOT 79297 SOS 40602 HAS SOPS 40602 HAS SOUS 24089 HAS SOUPS 24089 WITH SCORE 24129.602
AT ITER 807 NEW BEST:: SOT 79255 SOS 40560 HAS SOPS 40560 HAS SOUS 24005 HAS SOUPS 24005 WITH SCORE 24045.56
AT ITER 812 NEW BEST:: SOT 79238 SOS 40526 HAS SOPS 40526 HAS SOUS 23971 HAS SOUPS 23971 WITH SCORE 24011.526
AT ITER 819 NEW BEST:: SOT 79210 SOS 40484 HAS SOPS 40484 HAS SOUS 23929 HAS SOUPS 23929 WITH SCORE 23969.484
AT ITER 821 NEW BEST:: SOT 79210 SOS 40462 HAS SOPS 40462 HAS SOUS 23929 HAS SOUPS 23929 WITH SCORE 23969.462
AT ITER 827 NEW BEST:: SOT 79210 SOS 40462 HAS SOPS 40462 HAS SOUS 23922 HAS SOUPS 23922 WITH SCORE 23962.462
AT ITER 829 NEW BEST:: SOT 79199 SOS 40495 HAS SOPS 40495 HAS SOUS 23896 HAS SOUPS 23896 WITH SCORE 23936.495
AT ITER 830 NEW BEST:: SOT 79145 SOS 40384 HAS SOPS 40384 HAS SOUS 23788 HAS SOUPS 23788 WITH SCORE 23828.384
AT ITER 853 NEW BEST:: SOT 79149 SOS 40240 HAS SOPS 40240 HAS SOUS 23644 HAS SOUPS 23644 WITH SCORE 23684.24
AT ITER 860 NEW BEST:: SOT 79103 SOS 40157 HAS SOPS 40157 HAS SOUS 23614 HAS SOUPS 23614 WITH SCORE 23654.157
AT ITER 865 NEW BEST:: SOT 79102 SOS 40097 HAS SOPS 40097 HAS SOUS 23608 HAS SOUPS 23608 WITH SCORE 23648.097
AT ITER 884 NEW BEST:: SOT 79102 SOS 40097 HAS SOPS 40097 HAS SOUS 23568 HAS SOUPS 23568 WITH SCORE 23608.097
AT ITER 887 NEW BEST:: SOT 79065 SOS 40023 HAS SOPS 40023 HAS SOUS 23470 HAS SOUPS 23470 WITH SCORE 23510.023
AT ITER 890 NEW BEST:: SOT 79039 SOS 39984 HAS SOPS 39984 HAS SOUS 23418 HAS SOUPS 23418 WITH SCORE 23457.984
AT ITER 928 NEW BEST:: SOT 78919 SOS 39974 HAS SOPS 39974 HAS SOUS 23408 HAS SOUPS 23408 WITH SCORE 23447.974
AT ITER 931 NEW BEST:: SOT 78846 SOS 39828 HAS SOPS 39828 HAS SOUS 23311 HAS SOUPS 23311 WITH SCORE 23350.828
AT ITER 936 NEW BEST:: SOT 78831 SOS 39853 HAS SOPS 39853 HAS SOUS 23281 HAS SOUPS 23281 WITH SCORE 23320.853
AT ITER 939 NEW BEST:: SOT 78847 SOS 39758 HAS SOPS 39758 HAS SOUS 23177 HAS SOUPS 23177 WITH SCORE 23216.758
AT ITER 963 NEW BEST:: SOT 78846 SOS 39757 HAS SOPS 39757 HAS SOUS 23175 HAS SOUPS 23175 WITH SCORE 23214.757
AT ITER 966 NEW BEST:: SOT 78855 SOS 39775 HAS SOPS 39775 HAS SOUS 23164 HAS SOUPS 23164 WITH SCORE 23203.775
AT ITER 972 NEW BEST:: SOT 78912 SOS 39737 HAS SOPS 39737 HAS SOUS 23146 HAS SOUPS 23146 WITH SCORE 23185.737
AT ITER 975 NEW BEST:: SOT 78909 SOS 39734 HAS SOPS 39734 HAS SOUS 23140 HAS SOUPS 23140 WITH SCORE 23179.734
AT ITER 987 NEW BEST:: SOT 78909 SOS 39704 HAS SOPS 39704 HAS SOUS 23140 HAS SOUPS 23140 WITH SCORE 23179.704
AT ITER 991 NEW BEST:: SOT 78889 SOS 39644 HAS SOPS 39644 HAS SOUS 23100 HAS SOUPS 23100 WITH SCORE 23139.644
AT ITER 994 NEW BEST:: SOT 78888 SOS 39642 HAS SOPS 39642 HAS SOUS 23099 HAS SOUPS 23099 WITH SCORE 23138.642
AT ITER 1010 NEW BEST:: SOT 78870 SOS 39624 HAS SOPS 39624 HAS SOUS 23081 HAS SOUPS 23081 WITH SCORE 23120.624
AT ITER 1012 NEW BEST:: SOT 78885 SOS 39639 HAS SOPS 39639 HAS SOUS 23073 HAS SOUPS 23073 WITH SCORE 23112.639
AT ITER 1026 NEW BEST:: SOT 78841 SOS 39595 HAS SOPS 39595 HAS SOUS 23029 HAS SOUPS 23029 WITH SCORE 23068.595
AT ITER 1032 NEW BEST:: SOT 78825 SOS 39473 HAS SOPS 39473 HAS SOUS 22947 HAS SOUPS 22947 WITH SCORE 22986.473
AT ITER 1041 NEW BEST:: SOT 78720 SOS 39263 HAS SOPS 39263 HAS SOUS 22831 HAS SOUPS 22831 WITH SCORE 22870.263
AT ITER 1054 NEW BEST:: SOT 78708 SOS 39269 HAS SOPS 39269 HAS SOUS 22779 HAS SOUPS 22779 WITH SCORE 22818.269
AT ITER 1063 NEW BEST:: SOT 78708 SOS 39267 HAS SOPS 39267 HAS SOUS 22775 HAS SOUPS 22775 WITH SCORE 22814.267
AT ITER 1078 NEW BEST:: SOT 78542 SOS 39021 HAS SOPS 39021 HAS SOUS 22706 HAS SOUPS 22706 WITH SCORE 22745.021
AT ITER 1089 NEW BEST:: SOT 78538 SOS 39013 HAS SOPS 39013 HAS SOUS 22698 HAS SOUPS 22698 WITH SCORE 22737.013
AT ITER 1098 NEW BEST:: SOT 78497 SOS 35168 HAS SOPS 35168 HAS SOUS 22607 HAS SOUPS 22607 WITH SCORE 22642.168
AT ITER 1102 NEW BEST:: SOT 78448 SOS 35119 HAS SOPS 35119 HAS SOUS 22587 HAS SOUPS 22587 WITH SCORE 22622.119
AT ITER 1106 NEW BEST:: SOT 78378 SOS 35063 HAS SOPS 35063 HAS SOUS 22475 HAS SOUPS 22475 WITH SCORE 22510.063
AT ITER 1107 NEW BEST:: SOT 78370 SOS 35030 HAS SOPS 35030 HAS SOUS 22420 HAS SOUPS 22420 WITH SCORE 22455.03
AT ITER 1110 NEW BEST:: SOT 78358 SOS 35006 HAS SOPS 35006 HAS SOUS 22396 HAS SOUPS 22396 WITH SCORE 22431.006
AT ITER 1119 NEW BEST:: SOT 78307 SOS 34966 HAS SOPS 34966 HAS SOUS 22339 HAS SOUPS 22339 WITH SCORE 22373.966
AT ITER 1123 NEW BEST:: SOT 78196 SOS 34855 HAS SOPS 34855 HAS SOUS 22228 HAS SOUPS 22228 WITH SCORE 22262.855
AT ITER 1130 NEW BEST:: SOT 78137 SOS 28882 HAS SOPS 28882 HAS SOUS 22116 HAS SOUPS 22116 WITH SCORE 22144.882
AT ITER 1131 NEW BEST:: SOT 78127 SOS 28862 HAS SOPS 28862 HAS SOUS 22106 HAS SOUPS 22106 WITH SCORE 22134.862
AT ITER 1135 NEW BEST:: SOT 78116 SOS 28784 HAS SOPS 28784 HAS SOUS 22081 HAS SOUPS 22081 WITH SCORE 22109.784
AT ITER 1164 NEW BEST:: SOT 78142 SOS 28836 HAS SOPS 28836 HAS SOUS 22053 HAS SOUPS 22053 WITH SCORE 22081.836
AT ITER 1190 NEW BEST:: SOT 78126 SOS 28804 HAS SOPS 28804 HAS SOUS 22037 HAS SOUPS 22037 WITH SCORE 22065.804
AT ITER 1197 NEW BEST:: SOT 78032 SOS 28621 HAS SOPS 28621 HAS SOUS 21894 HAS SOUPS 21894 WITH SCORE 21922.621
AT ITER 1212 NEW BEST:: SOT 77975 SOS 28603 HAS SOPS 28603 HAS SOUS 21882 HAS SOUPS 21882 WITH SCORE 21910.603
AT ITER 1233 NEW BEST:: SOT 77967 SOS 28595 HAS SOPS 28595 HAS SOUS 21866 HAS SOUPS 21866 WITH SCORE 21894.595
AT ITER 1250 NEW BEST:: SOT 77946 SOS 28597 HAS SOPS 28597 HAS SOUS 21843 HAS SOUPS 21843 WITH SCORE 21871.597
AT ITER 1251 NEW BEST:: SOT 77946 SOS 28589 HAS SOPS 28589 HAS SOUS 21843 HAS SOUPS 21843 WITH SCORE 21871.589
AT ITER 1264 NEW BEST:: SOT 77892 SOS 28466 HAS SOPS 28466 HAS SOUS 21661 HAS SOUPS 21661 WITH SCORE 21689.466
AT ITER 1265 NEW BEST:: SOT 77799 SOS 28376 HAS SOPS 28376 HAS SOUS 21478 HAS SOUPS 21478 WITH SCORE 21506.376
AT ITER 1276 NEW BEST:: SOT 77788 SOS 28367 HAS SOPS 28367 HAS SOUS 21462 HAS SOUPS 21462 WITH SCORE 21490.367
AT ITER 1277 NEW BEST:: SOT 77796 SOS 28375 HAS SOPS 28375 HAS SOUS 21458 HAS SOUPS 21458 WITH SCORE 21486.375
AT ITER 1285 NEW BEST:: SOT 77809 SOS 28360 HAS SOPS 28360 HAS SOUS 21443 HAS SOUPS 21443 WITH SCORE 21471.36
AT ITER 1293 NEW BEST:: SOT 77774 SOS 28330 HAS SOPS 28330 HAS SOUS 21413 HAS SOUPS 21413 WITH SCORE 21441.33
AT ITER 1297 NEW BEST:: SOT 77764 SOS 28255 HAS SOPS 28255 HAS SOUS 21403 HAS SOUPS 21403 WITH SCORE 21431.255
AT ITER 1299 NEW BEST:: SOT 77754 SOS 28110 HAS SOPS 28110 HAS SOUS 21383 HAS SOUPS 21383 WITH SCORE 21411.11
AT ITER 1302 NEW BEST:: SOT 77747 SOS 28089 HAS SOPS 28089 HAS SOUS 21369 HAS SOUPS 21369 WITH SCORE 21397.089
AT ITER 1318 NEW BEST:: SOT 77704 SOS 27885 HAS SOPS 27885 HAS SOUS 21248 HAS SOUPS 21248 WITH SCORE 21275.885
AT ITER 1320 NEW BEST:: SOT 77764 SOS 27869 HAS SOPS 27869 HAS SOUS 21227 HAS SOUPS 21227 WITH SCORE 21254.869
AT ITER 1331 NEW BEST:: SOT 77764 SOS 27869 HAS SOPS 27869 HAS SOUS 21215 HAS SOUPS 21215 WITH SCORE 21242.869
AT ITER 1332 NEW BEST:: SOT 77704 SOS 27749 HAS SOPS 27749 HAS SOUS 21141 HAS SOUPS 21141 WITH SCORE 21168.749
AT ITER 1342 NEW BEST:: SOT 77678 SOS 27697 HAS SOPS 27697 HAS SOUS 21096 HAS SOUPS 21096 WITH SCORE 21123.697
AT ITER 1352 NEW BEST:: SOT 77661 SOS 27646 HAS SOPS 27646 HAS SOUS 21062 HAS SOUPS 21062 WITH SCORE 21089.646
AT ITER 1354 NEW BEST:: SOT 77660 SOS 27606 HAS SOPS 27606 HAS SOUS 21060 HAS SOUPS 21060 WITH SCORE 21087.606
AT ITER 1355 NEW BEST:: SOT 77657 SOS 27597 HAS SOPS 27597 HAS SOUS 21054 HAS SOUPS 21054 WITH SCORE 21081.597
AT ITER 1358 NEW BEST:: SOT 77660 SOS 27583 HAS SOPS 27583 HAS SOUS 21052 HAS SOUPS 21052 WITH SCORE 21079.583
AT ITER 1368 NEW BEST:: SOT 77660 SOS 27578 HAS SOPS 27578 HAS SOUS 21048 HAS SOUPS 21048 WITH SCORE 21075.578
AT ITER 1387 NEW BEST:: SOT 77642 SOS 27583 HAS SOPS 27583 HAS SOUS 21030 HAS SOUPS 21030 WITH SCORE 21057.583
AT ITER 1398 NEW BEST:: SOT 77649 SOS 27663 HAS SOPS 27663 HAS SOUS 21027 HAS SOUPS 21027 WITH SCORE 21054.663
AT ITER 1404 NEW BEST:: SOT 77649 SOS 27649 HAS SOPS 27649 HAS SOUS 21013 HAS SOUPS 21013 WITH SCORE 21040.649
AT ITER 1406 NEW BEST:: SOT 77623 SOS 27479 HAS SOPS 27479 HAS SOUS 20961 HAS SOUPS 20961 WITH SCORE 20988.479
AT ITER 1430 NEW BEST:: SOT 77599 SOS 27407 HAS SOPS 27407 HAS SOUS 20913 HAS SOUPS 20913 WITH SCORE 20940.407
AT ITER 1433 NEW BEST:: SOT 77599 SOS 27393 HAS SOPS 27393 HAS SOUS 20899 HAS SOUPS 20899 WITH SCORE 20926.393
AT ITER 1461 NEW BEST:: SOT 77585 SOS 27365 HAS SOPS 27365 HAS SOUS 20871 HAS SOUPS 20871 WITH SCORE 20898.365
AT ITER 1467 NEW BEST:: SOT 77585 SOS 27319 HAS SOPS 27319 HAS SOUS 20862 HAS SOUPS 20862 WITH SCORE 20889.319
AT ITER 1480 NEW BEST:: SOT 77637 SOS 27283 HAS SOPS 27283 HAS SOUS 20826 HAS SOUPS 20826 WITH SCORE 20853.283
AT ITER 1483 NEW BEST:: SOT 77638 SOS 27073 HAS SOPS 27073 HAS SOUS 20808 HAS SOUPS 20808 WITH SCORE 20835.073
AT ITER 1486 NEW BEST:: SOT 77622 SOS 27060 HAS SOPS 27060 HAS SOUS 20795 HAS SOUPS 20795 WITH SCORE 20822.06
AT ITER 1500 NEW BEST:: SOT 77592 SOS 27051 HAS SOPS 27051 HAS SOUS 20765 HAS SOUPS 20765 WITH SCORE 20792.051
AT ITER 1501 NEW BEST:: SOT 77592 SOS 27046 HAS SOPS 27046 HAS SOUS 20760 HAS SOUPS 20760 WITH SCORE 20787.046
AT ITER 1545 NEW BEST:: SOT 77538 SOS 27074 HAS SOPS 27074 HAS SOUS 20712 HAS SOUPS 20712 WITH SCORE 20739.074
AT ITER 1559 NEW BEST:: SOT 77518 SOS 27060 HAS SOPS 27060 HAS SOUS 20692 HAS SOUPS 20692 WITH SCORE 20719.06
AT ITER 1560 NEW BEST:: SOT 77478 SOS 26980 HAS SOPS 26980 HAS SOUS 20612 HAS SOUPS 20612 WITH SCORE 20638.98
AT ITER 1581 NEW BEST:: SOT 77476 SOS 26976 HAS SOPS 26976 HAS SOUS 20608 HAS SOUPS 20608 WITH SCORE 20634.976
AT ITER 1587 NEW BEST:: SOT 77440 SOS 27018 HAS SOPS 27018 HAS SOUS 20586 HAS SOUPS 20586 WITH SCORE 20613.018
AT ITER 1589 NEW BEST:: SOT 77392 SOS 26946 HAS SOPS 26946 HAS SOUS 20538 HAS SOUPS 20538 WITH SCORE 20564.946
AT ITER 1593 NEW BEST:: SOT 77416 SOS 26927 HAS SOPS 26927 HAS SOUS 20519 HAS SOUPS 20519 WITH SCORE 20545.927
AT ITER 1608 NEW BEST:: SOT 77404 SOS 26915 HAS SOPS 26915 HAS SOUS 20507 HAS SOUPS 20507 WITH SCORE 20533.915
AT ITER 1612 NEW BEST:: SOT 77387 SOS 26851 HAS SOPS 26851 HAS SOUS 20455 HAS SOUPS 20455 WITH SCORE 20481.851
AT ITER 1621 NEW BEST:: SOT 77387 SOS 26843 HAS SOPS 26843 HAS SOUS 20447 HAS SOUPS 20447 WITH SCORE 20473.843
AT ITER 1628 NEW BEST:: SOT 77387 SOS 26759 HAS SOPS 26759 HAS SOUS 20425 HAS SOUPS 20425 WITH SCORE 20451.759
AT ITER 1634 NEW BEST:: SOT 77365 SOS 26715 HAS SOPS 26715 HAS SOUS 20381 HAS SOUPS 20381 WITH SCORE 20407.715
AT ITER 1635 NEW BEST:: SOT 77395 SOS 26707 HAS SOPS 26707 HAS SOUS 20373 HAS SOUPS 20373 WITH SCORE 20399.707
AT ITER 1636 NEW BEST:: SOT 77319 SOS 26631 HAS SOPS 26631 HAS SOUS 20274 HAS SOUPS 20274 WITH SCORE 20300.631
AT ITER 1640 NEW BEST:: SOT 77318 SOS 26627 HAS SOPS 26627 HAS SOUS 20270 HAS SOUPS 20270 WITH SCORE 20296.627
AT ITER 1650 NEW BEST:: SOT 77319 SOS 26664 HAS SOPS 26664 HAS SOUS 20237 HAS SOUPS 20237 WITH SCORE 20263.664
AT ITER 1655 NEW BEST:: SOT 77321 SOS 26661 HAS SOPS 26661 HAS SOUS 20229 HAS SOUPS 20229 WITH SCORE 20255.661
AT ITER 1663 NEW BEST:: SOT 77195 SOS 26638 HAS SOPS 26638 HAS SOUS 20203 HAS SOUPS 20203 WITH SCORE 20229.638
AT ITER 1690 NEW BEST:: SOT 77173 SOS 26628 HAS SOPS 26628 HAS SOUS 20175 HAS SOUPS 20175 WITH SCORE 20201.628
AT ITER 1698 NEW BEST:: SOT 77147 SOS 26576 HAS SOPS 26576 HAS SOUS 20131 HAS SOUPS 20131 WITH SCORE 20157.576
AT ITER 1704 NEW BEST:: SOT 77146 SOS 26574 HAS SOPS 26574 HAS SOUS 20129 HAS SOUPS 20129 WITH SCORE 20155.574
AT ITER 1714 NEW BEST:: SOT 77115 SOS 26513 HAS SOPS 26513 HAS SOUS 20097 HAS SOUPS 20097 WITH SCORE 20123.513
AT ITER 1725 NEW BEST:: SOT 77111 SOS 26475 HAS SOPS 26475 HAS SOUS 20089 HAS SOUPS 20089 WITH SCORE 20115.475
AT ITER 1726 NEW BEST:: SOT 77083 SOS 26419 HAS SOPS 26419 HAS SOUS 20033 HAS SOUPS 20033 WITH SCORE 20059.419
AT ITER 1729 NEW BEST:: SOT 77085 SOS 26411 HAS SOPS 26411 HAS SOUS 20025 HAS SOUPS 20025 WITH SCORE 20051.411
AT ITER 1754 NEW BEST:: SOT 77083 SOS 26411 HAS SOPS 26411 HAS SOUS 20021 HAS SOUPS 20021 WITH SCORE 20047.411
AT ITER 1756 NEW BEST:: SOT 77079 SOS 26285 HAS SOPS 26285 HAS SOUS 20013 HAS SOUPS 20013 WITH SCORE 20039.285
AT ITER 1781 NEW BEST:: SOT 77079 SOS 26264 HAS SOPS 26264 HAS SOUS 20013 HAS SOUPS 20013 WITH SCORE 20039.264
AT ITER 1782 NEW BEST:: SOT 77094 SOS 26265 HAS SOPS 26265 HAS SOUS 20001 HAS SOUPS 20001 WITH SCORE 20027.265
AT ITER 1802 NEW BEST:: SOT 77056 SOS 26189 HAS SOPS 26189 HAS SOUS 19913 HAS SOUPS 19913 WITH SCORE 19939.189
AT ITER 1804 NEW BEST:: SOT 77044 SOS 26194 HAS SOPS 26194 HAS SOUS 19889 HAS SOUPS 19889 WITH SCORE 19915.194
AT ITER 1805 NEW BEST:: SOT 77043 SOS 26210 HAS SOPS 26210 HAS SOUS 19888 HAS SOUPS 19888 WITH SCORE 19914.21
AT ITER 1816 NEW BEST:: SOT 77041 SOS 26206 HAS SOPS 26206 HAS SOUS 19888 HAS SOUPS 19888 WITH SCORE 19914.206
AT ITER 1829 NEW BEST:: SOT 77037 SOS 26199 HAS SOPS 26199 HAS SOUS 19880 HAS SOUPS 19880 WITH SCORE 19906.199
AT ITER 1837 NEW BEST:: SOT 77025 SOS 26187 HAS SOPS 26187 HAS SOUS 19868 HAS SOUPS 19868 WITH SCORE 19894.187
AT ITER 1849 NEW BEST:: SOT 77020 SOS 26177 HAS SOPS 26177 HAS SOUS 19853 HAS SOUPS 19853 WITH SCORE 19879.177
AT ITER 1863 NEW BEST:: SOT 77019 SOS 26175 HAS SOPS 26175 HAS SOUS 19851 HAS SOUPS 19851 WITH SCORE 19877.175
AT ITER 1866 NEW BEST:: SOT 77013 SOS 26163 HAS SOPS 26163 HAS SOUS 19839 HAS SOUPS 19839 WITH SCORE 19865.163
AT ITER 1889 NEW BEST:: SOT 77011 SOS 26159 HAS SOPS 26159 HAS SOUS 19837 HAS SOUPS 19837 WITH SCORE 19863.159
AT ITER 1890 NEW BEST:: SOT 77009 SOS 26156 HAS SOPS 26156 HAS SOUS 19834 HAS SOUPS 19834 WITH SCORE 19860.156
AT ITER 1910 NEW BEST:: SOT 76957 SOS 26104 HAS SOPS 26104 HAS SOUS 19800 HAS SOUPS 19800 WITH SCORE 19826.104
AT ITER 1926 NEW BEST:: SOT 76915 SOS 26089 HAS SOPS 26089 HAS SOUS 19785 HAS SOUPS 19785 WITH SCORE 19811.089
AT ITER 1930 NEW BEST:: SOT 76848 SOS 26040 HAS SOPS 26040 HAS SOUS 19775 HAS SOUPS 19775 WITH SCORE 19801.04
AT ITER 1958 NEW BEST:: SOT 76774 SOS 26035 HAS SOPS 26035 HAS SOUS 19761 HAS SOUPS 19761 WITH SCORE 19787.035
AT ITER 1964 NEW BEST:: SOT 76779 SOS 26040 HAS SOPS 26040 HAS SOUS 19760 HAS SOUPS 19760 WITH SCORE 19786.04
AT ITER 1982 NEW BEST:: SOT 76769 SOS 26050 HAS SOPS 26050 HAS SOUS 19758 HAS SOUPS 19758 WITH SCORE 19784.05
AT ITER 2003 NEW BEST:: SOT 76723 SOS 26003 HAS SOPS 26003 HAS SOUS 19682 HAS SOUPS 19682 WITH SCORE 19708.003
AT ITER 2024 NEW BEST:: SOT 76708 SOS 25973 HAS SOPS 25973 HAS SOUS 19652 HAS SOUPS 19652 WITH SCORE 19677.973
AT ITER 2033 NEW BEST:: SOT 76700 SOS 25957 HAS SOPS 25957 HAS SOUS 19575 HAS SOUPS 19575 WITH SCORE 19600.957
AT ITER 2051 NEW BEST:: SOT 76699 SOS 25955 HAS SOPS 25955 HAS SOUS 19573 HAS SOUPS 19573 WITH SCORE 19598.955
AT ITER 2062 NEW BEST:: SOT 76699 SOS 25947 HAS SOPS 25947 HAS SOUS 19565 HAS SOUPS 19565 WITH SCORE 19590.947
AT ITER 2064 NEW BEST:: SOT 76691 SOS 25921 HAS SOPS 25921 HAS SOUS 19531 HAS SOUPS 19531 WITH SCORE 19556.921
AT ITER 2070 NEW BEST:: SOT 76660 SOS 25889 HAS SOPS 25889 HAS SOUS 19499 HAS SOUPS 19499 WITH SCORE 19524.889
AT ITER 2084 NEW BEST:: SOT 76636 SOS 25841 HAS SOPS 25841 HAS SOUS 19397 HAS SOUPS 19397 WITH SCORE 19422.841
AT ITER 2090 NEW BEST:: SOT 76666 SOS 25912 HAS SOPS 25912 HAS SOUS 19339 HAS SOUPS 19339 WITH SCORE 19364.912
AT ITER 2112 NEW BEST:: SOT 76491 SOS 25691 HAS SOPS 25691 HAS SOUS 19100 HAS SOUPS 19100 WITH SCORE 19125.691
AT ITER 2138 NEW BEST:: SOT 76528 SOS 25654 HAS SOPS 25654 HAS SOUS 19062 HAS SOUPS 19062 WITH SCORE 19087.654
AT ITER 2148 NEW BEST:: SOT 76523 SOS 25644 HAS SOPS 25644 HAS SOUS 19062 HAS SOUPS 19062 WITH SCORE 19087.644
AT ITER 2167 NEW BEST:: SOT 76472 SOS 25542 HAS SOPS 25542 HAS SOUS 19007 HAS SOUPS 19007 WITH SCORE 19032.542
AT ITER 2169 NEW BEST:: SOT 76455 SOS 25508 HAS SOPS 25508 HAS SOUS 18990 HAS SOUPS 18990 WITH SCORE 19015.508
AT ITER 2176 NEW BEST:: SOT 76451 SOS 25474 HAS SOPS 25474 HAS SOUS 18982 HAS SOUPS 18982 WITH SCORE 19007.474
AT ITER 2177 NEW BEST:: SOT 76379 SOS 28201 HAS SOPS 28201 HAS SOUS 18966 HAS SOUPS 18966 WITH SCORE 18994.201
AT ITER 2182 NEW BEST:: SOT 76373 SOS 28198 HAS SOPS 28198 HAS SOUS 18963 HAS SOUPS 18963 WITH SCORE 18991.198
AT ITER 2185 NEW BEST:: SOT 76362 SOS 28187 HAS SOPS 28187 HAS SOUS 18952 HAS SOUPS 18952 WITH SCORE 18980.187
AT ITER 2186 NEW BEST:: SOT 76345 SOS 28224 HAS SOPS 28224 HAS SOUS 18925 HAS SOUPS 18925 WITH SCORE 18953.224
AT ITER 2190 NEW BEST:: SOT 76330 SOS 28194 HAS SOPS 28194 HAS SOUS 18895 HAS SOUPS 18895 WITH SCORE 18923.194
AT ITER 2228 NEW BEST:: SOT 76273 SOS 28100 HAS SOPS 28100 HAS SOUS 18801 HAS SOUPS 18801 WITH SCORE 18829.1
AT ITER 2237 NEW BEST:: SOT 76327 SOS 28066 HAS SOPS 28066 HAS SOUS 18781 HAS SOUPS 18781 WITH SCORE 18809.066
AT ITER 2244 NEW BEST:: SOT 76348 SOS 28059 HAS SOPS 28059 HAS SOUS 18774 HAS SOUPS 18774 WITH SCORE 18802.059
AT ITER 2256 NEW BEST:: SOT 76345 SOS 28050 HAS SOPS 28050 HAS SOUS 18768 HAS SOUPS 18768 WITH SCORE 18796.05
AT ITER 2259 NEW BEST:: SOT 76297 SOS 27988 HAS SOPS 27988 HAS SOUS 18712 HAS SOUPS 18712 WITH SCORE 18739.988
AT ITER 2264 NEW BEST:: SOT 76078 SOS 27830 HAS SOPS 27830 HAS SOUS 18623 HAS SOUPS 18623 WITH SCORE 18650.83
AT ITER 2266 NEW BEST:: SOT 76064 SOS 27765 HAS SOPS 27765 HAS SOUS 18609 HAS SOUPS 18609 WITH SCORE 18636.765
AT ITER 2277 NEW BEST:: SOT 76064 SOS 27765 HAS SOPS 27765 HAS SOUS 18605 HAS SOUPS 18605 WITH SCORE 18632.765
AT ITER 2285 NEW BEST:: SOT 76051 SOS 27752 HAS SOPS 27752 HAS SOUS 18579 HAS SOUPS 18579 WITH SCORE 18606.752
AT ITER 2292 NEW BEST:: SOT 76051 SOS 27741 HAS SOPS 27741 HAS SOUS 18568 HAS SOUPS 18568 WITH SCORE 18595.741
AT ITER 2302 NEW BEST:: SOT 76029 SOS 27589 HAS SOPS 27589 HAS SOUS 18506 HAS SOUPS 18506 WITH SCORE 18533.589
AT ITER 2336 NEW BEST:: SOT 76021 SOS 27573 HAS SOPS 27573 HAS SOUS 18498 HAS SOUPS 18498 WITH SCORE 18525.573
AT ITER 2337 NEW BEST:: SOT 76012 SOS 27518 HAS SOPS 27518 HAS SOUS 18489 HAS SOUPS 18489 WITH SCORE 18516.518
AT ITER 2350 NEW BEST:: SOT 76020 SOS 27344 HAS SOPS 27344 HAS SOUS 18370 HAS SOUPS 18370 WITH SCORE 18397.344
AT ITER 2356 NEW BEST:: SOT 76020 SOS 27344 HAS SOPS 27344 HAS SOUS 18352 HAS SOUPS 18352 WITH SCORE 18379.344
AT ITER 2360 NEW BEST:: SOT 76001 SOS 27306 HAS SOPS 27306 HAS SOUS 18332 HAS SOUPS 18332 WITH SCORE 18359.306
AT ITER 2364 NEW BEST:: SOT 76020 SOS 27269 HAS SOPS 27269 HAS SOUS 18294 HAS SOUPS 18294 WITH SCORE 18321.269
AT ITER 2397 NEW BEST:: SOT 76014 SOS 27280 HAS SOPS 27280 HAS SOUS 18281 HAS SOUPS 18281 WITH SCORE 18308.28
AT ITER 2400 NEW BEST:: SOT 75986 SOS 27224 HAS SOPS 27224 HAS SOUS 18220 HAS SOUPS 18220 WITH SCORE 18247.224
AT ITER 2411 NEW BEST:: SOT 76052 SOS 27451 HAS SOPS 27451 HAS SOUS 18199 HAS SOUPS 18199 WITH SCORE 18226.451
AT ITER 2419 NEW BEST:: SOT 76036 SOS 27419 HAS SOPS 27419 HAS SOUS 18173 HAS SOUPS 18173 WITH SCORE 18200.419
AT ITER 2428 NEW BEST:: SOT 76036 SOS 27419 HAS SOPS 27419 HAS SOUS 18115 HAS SOUPS 18115 WITH SCORE 18142.419
AT ITER 2430 NEW BEST:: SOT 75996 SOS 27384 HAS SOPS 27384 HAS SOUS 18107 HAS SOUPS 18107 WITH SCORE 18134.384
AT ITER 2458 NEW BEST:: SOT 75981 SOS 27354 HAS SOPS 27354 HAS SOUS 18092 HAS SOUPS 18092 WITH SCORE 18119.354
AT ITER 2474 NEW BEST:: SOT 75978 SOS 27350 HAS SOPS 27350 HAS SOUS 18088 HAS SOUPS 18088 WITH SCORE 18115.35
AT ITER 2487 NEW BEST:: SOT 75976 SOS 27346 HAS SOPS 27346 HAS SOUS 18059 HAS SOUPS 18059 WITH SCORE 18086.346
AT ITER 2490 NEW BEST:: SOT 75975 SOS 27345 HAS SOPS 27345 HAS SOUS 18057 HAS SOUPS 18057 WITH SCORE 18084.345
AT ITER 2499 NEW BEST:: SOT 75951 SOS 27297 HAS SOPS 27297 HAS SOUS 18033 HAS SOUPS 18033 WITH SCORE 18060.297
AT ITER 2505 NEW BEST:: SOT 75950 SOS 27280 HAS SOPS 27280 HAS SOUS 18031 HAS SOUPS 18031 WITH SCORE 18058.28
AT ITER 2507 NEW BEST:: SOT 75948 SOS 27276 HAS SOPS 27276 HAS SOUS 18027 HAS SOUPS 18027 WITH SCORE 18054.276
AT ITER 2514 NEW BEST:: SOT 75788 SOS 27447 HAS SOPS 27447 HAS SOUS 17967 HAS SOUPS 17967 WITH SCORE 17994.447
AT ITER 2520 NEW BEST:: SOT 75787 SOS 27446 HAS SOPS 27446 HAS SOUS 17965 HAS SOUPS 17965 WITH SCORE 17992.446
AT ITER 2533 NEW BEST:: SOT 75773 SOS 27432 HAS SOPS 27432 HAS SOUS 17937 HAS SOUPS 17937 WITH SCORE 17964.432
AT ITER 2546 NEW BEST:: SOT 75768 SOS 27423 HAS SOPS 27423 HAS SOUS 17931 HAS SOUPS 17931 WITH SCORE 17958.423
AT ITER 2558 NEW BEST:: SOT 75759 SOS 27401 HAS SOPS 27401 HAS SOUS 17913 HAS SOUPS 17913 WITH SCORE 17940.401
AT ITER 2565 NEW BEST:: SOT 75743 SOS 27427 HAS SOPS 27427 HAS SOUS 17881 HAS SOUPS 17881 WITH SCORE 17908.427
AT ITER 2576 NEW BEST:: SOT 75739 SOS 27423 HAS SOPS 27423 HAS SOUS 17877 HAS SOUPS 17877 WITH SCORE 17904.423
AT ITER 2586 NEW BEST:: SOT 75735 SOS 27416 HAS SOPS 27416 HAS SOUS 17869 HAS SOUPS 17869 WITH SCORE 17896.416
AT ITER 2608 NEW BEST:: SOT 75735 SOS 27392 HAS SOPS 27392 HAS SOUS 17845 HAS SOUPS 17845 WITH SCORE 17872.392
AT ITER 2626 NEW BEST:: SOT 75723 SOS 27378 HAS SOPS 27378 HAS SOUS 17831 HAS SOUPS 17831 WITH SCORE 17858.378
AT ITER 2649 NEW BEST:: SOT 75752 SOS 27407 HAS SOPS 27407 HAS SOUS 17829 HAS SOUPS 17829 WITH SCORE 17856.407
AT ITER 2657 NEW BEST:: SOT 75748 SOS 27368 HAS SOPS 27368 HAS SOUS 17821 HAS SOUPS 17821 WITH SCORE 17848.368
AT ITER 2670 NEW BEST:: SOT 75638 SOS 27338 HAS SOPS 27338 HAS SOUS 17791 HAS SOUPS 17791 WITH SCORE 17818.338
AT ITER 2681 NEW BEST:: SOT 75616 SOS 27315 HAS SOPS 27315 HAS SOUS 17768 HAS SOUPS 17768 WITH SCORE 17795.315
AT ITER 2690 NEW BEST:: SOT 75556 SOS 27233 HAS SOPS 27233 HAS SOUS 17708 HAS SOUPS 17708 WITH SCORE 17735.233
AT ITER 2714 NEW BEST:: SOT 75529 SOS 27179 HAS SOPS 27179 HAS SOUS 17699 HAS SOUPS 17699 WITH SCORE 17726.179
AT ITER 2721 NEW BEST:: SOT 75475 SOS 27077 HAS SOPS 27077 HAS SOUS 17628 HAS SOUPS 17628 WITH SCORE 17655.077
AT ITER 2732 NEW BEST:: SOT 75441 SOS 27006 HAS SOPS 27006 HAS SOUS 17560 HAS SOUPS 17560 WITH SCORE 17587.006
AT ITER 2777 NEW BEST:: SOT 75437 SOS 27010 HAS SOPS 27010 HAS SOUS 17556 HAS SOUPS 17556 WITH SCORE 17583.01
AT ITER 2793 NEW BEST:: SOT 75467 SOS 27018 HAS SOPS 27018 HAS SOUS 17512 HAS SOUPS 17512 WITH SCORE 17539.018
AT ITER 2826 NEW BEST:: SOT 75430 SOS 26918 HAS SOPS 26918 HAS SOUS 17427 HAS SOUPS 17427 WITH SCORE 17453.918
AT ITER 2831 NEW BEST:: SOT 75587 SOS 26997 HAS SOPS 26997 HAS SOUS 17359 HAS SOUPS 17359 WITH SCORE 17385.997
AT ITER 2864 NEW BEST:: SOT 75572 SOS 26995 HAS SOPS 26995 HAS SOUS 17344 HAS SOUPS 17344 WITH SCORE 17370.995
AT ITER 2884 NEW BEST:: SOT 75567 SOS 26985 HAS SOPS 26985 HAS SOUS 17339 HAS SOUPS 17339 WITH SCORE 17365.985
AT ITER 2953 NEW BEST:: SOT 75553 SOS 26957 HAS SOPS 26957 HAS SOUS 17311 HAS SOUPS 17311 WITH SCORE 17337.957
AT ITER 2973 NEW BEST:: SOT 75552 SOS 26947 HAS SOPS 26947 HAS SOUS 17300 HAS SOUPS 17300 WITH SCORE 17326.947
AT ITER 2987 NEW BEST:: SOT 75546 SOS 26935 HAS SOPS 26935 HAS SOUS 17291 HAS SOUPS 17291 WITH SCORE 17317.935
AT ITER 2998 NEW BEST:: SOT 75546 SOS 26746 HAS SOPS 26746 HAS SOUS 17291 HAS SOUPS 17291 WITH SCORE 17317.746
AT ITER 3022 NEW BEST:: SOT 75571 SOS 26726 HAS SOPS 26726 HAS SOUS 17271 HAS SOUPS 17271 WITH SCORE 17297.726
AT ITER 3047 NEW BEST:: SOT 75550 SOS 26689 HAS SOPS 26689 HAS SOUS 17269 HAS SOUPS 17269 WITH SCORE 17295.689
AT ITER 3057 NEW BEST:: SOT 75540 SOS 26669 HAS SOPS 26669 HAS SOUS 17250 HAS SOUPS 17250 WITH SCORE 17276.669
AT ITER 3076 NEW BEST:: SOT 75515 SOS 26539 HAS SOPS 26539 HAS SOUS 17200 HAS SOUPS 17200 WITH SCORE 17226.539
AT ITER 3090 NEW BEST:: SOT 75515 SOS 26535 HAS SOPS 26535 HAS SOUS 17198 HAS SOUPS 17198 WITH SCORE 17224.535
AT ITER 3113 NEW BEST:: SOT 75515 SOS 26535 HAS SOPS 26535 HAS SOUS 17171 HAS SOUPS 17171 WITH SCORE 17197.535
AT ITER 3127 NEW BEST:: SOT 75513 SOS 26533 HAS SOPS 26533 HAS SOUS 17169 HAS SOUPS 17169 WITH SCORE 17195.533
AT ITER 3147 NEW BEST:: SOT 75476 SOS 26491 HAS SOPS 26491 HAS SOUS 17147 HAS SOUPS 17147 WITH SCORE 17173.491
AT ITER 3151 NEW BEST:: SOT 75435 SOS 26463 HAS SOPS 26463 HAS SOUS 17067 HAS SOUPS 17067 WITH SCORE 17093.463
AT ITER 3159 NEW BEST:: SOT 75428 SOS 26442 HAS SOPS 26442 HAS SOUS 17053 HAS SOUPS 17053 WITH SCORE 17079.442
AT ITER 3168 NEW BEST:: SOT 75404 SOS 26394 HAS SOPS 26394 HAS SOUS 17011 HAS SOUPS 17011 WITH SCORE 17037.394
AT ITER 3190 NEW BEST:: SOT 75396 SOS 26386 HAS SOPS 26386 HAS SOUS 16995 HAS SOUPS 16995 WITH SCORE 17021.386
AT ITER 3212 NEW BEST:: SOT 75349 SOS 26385 HAS SOPS 26385 HAS SOUS 16948 HAS SOUPS 16948 WITH SCORE 16974.385
AT ITER 3216 NEW BEST:: SOT 75398 SOS 26483 HAS SOPS 26483 HAS SOUS 16942 HAS SOUPS 16942 WITH SCORE 16968.483
AT ITER 3270 NEW BEST:: SOT 75379 SOS 26445 HAS SOPS 26445 HAS SOUS 16901 HAS SOUPS 16901 WITH SCORE 16927.445
AT ITER 3281 NEW BEST:: SOT 75378 SOS 26444 HAS SOPS 26444 HAS SOUS 16900 HAS SOUPS 16900 WITH SCORE 16926.444
AT ITER 3293 NEW BEST:: SOT 75378 SOS 26442 HAS SOPS 26442 HAS SOUS 16898 HAS SOUPS 16898 WITH SCORE 16924.442
AT ITER 3296 NEW BEST:: SOT 75374 SOS 26434 HAS SOPS 26434 HAS SOUS 16890 HAS SOUPS 16890 WITH SCORE 16916.434
AT ITER 3302 NEW BEST:: SOT 75342 SOS 26370 HAS SOPS 26370 HAS SOUS 16853 HAS SOUPS 16853 WITH SCORE 16879.37
AT ITER 3316 NEW BEST:: SOT 75383 SOS 26400 HAS SOPS 26400 HAS SOUS 16842 HAS SOUPS 16842 WITH SCORE 16868.4
AT ITER 3320 NEW BEST:: SOT 75391 SOS 26358 HAS SOPS 26358 HAS SOUS 16834 HAS SOUPS 16834 WITH SCORE 16860.358
AT ITER 3335 NEW BEST:: SOT 75326 SOS 26285 HAS SOPS 26285 HAS SOUS 16812 HAS SOUPS 16812 WITH SCORE 16838.285
AT ITER 3348 NEW BEST:: SOT 75325 SOS 26280 HAS SOPS 26280 HAS SOUS 16810 HAS SOUPS 16810 WITH SCORE 16836.28
AT ITER 3356 NEW BEST:: SOT 75318 SOS 26266 HAS SOPS 26266 HAS SOUS 16803 HAS SOUPS 16803 WITH SCORE 16829.266
AT ITER 3370 NEW BEST:: SOT 75289 SOS 26208 HAS SOPS 26208 HAS SOUS 16745 HAS SOUPS 16745 WITH SCORE 16771.208
AT ITER 3411 NEW BEST:: SOT 75289 SOS 26208 HAS SOPS 26208 HAS SOUS 16743 HAS SOUPS 16743 WITH SCORE 16769.208
AT ITER 3425 NEW BEST:: SOT 75252 SOS 26191 HAS SOPS 26191 HAS SOUS 16669 HAS SOUPS 16669 WITH SCORE 16695.191
AT ITER 3446 NEW BEST:: SOT 75212 SOS 26070 HAS SOPS 26070 HAS SOUS 16601 HAS SOUPS 16601 WITH SCORE 16627.07
AT ITER 3483 NEW BEST:: SOT 75231 SOS 26050 HAS SOPS 26050 HAS SOUS 16600 HAS SOUPS 16600 WITH SCORE 16626.05
AT ITER 3489 NEW BEST:: SOT 75223 SOS 26049 HAS SOPS 26049 HAS SOUS 16599 HAS SOUPS 16599 WITH SCORE 16625.049
AT ITER 3513 NEW BEST:: SOT 75219 SOS 26041 HAS SOPS 26041 HAS SOUS 16591 HAS SOUPS 16591 WITH SCORE 16617.041
AT ITER 3520 NEW BEST:: SOT 75154 SOS 25937 HAS SOPS 25937 HAS SOUS 16531 HAS SOUPS 16531 WITH SCORE 16556.937
AT ITER 3521 NEW BEST:: SOT 75152 SOS 25933 HAS SOPS 25933 HAS SOUS 16527 HAS SOUPS 16527 WITH SCORE 16552.933
AT ITER 3529 NEW BEST:: SOT 75152 SOS 25894 HAS SOPS 25894 HAS SOUS 16488 HAS SOUPS 16488 WITH SCORE 16513.894
AT ITER 3530 NEW BEST:: SOT 75121 SOS 25832 HAS SOPS 25832 HAS SOUS 16439 HAS SOUPS 16439 WITH SCORE 16464.832
AT ITER 3543 NEW BEST:: SOT 75088 SOS 25766 HAS SOPS 25766 HAS SOUS 16392 HAS SOUPS 16392 WITH SCORE 16417.766
AT ITER 3561 NEW BEST:: SOT 75070 SOS 25748 HAS SOPS 25748 HAS SOUS 16374 HAS SOUPS 16374 WITH SCORE 16399.748
AT ITER 3572 NEW BEST:: SOT 75105 SOS 25818 HAS SOPS 25818 HAS SOUS 16359 HAS SOUPS 16359 WITH SCORE 16384.818
AT ITER 3586 NEW BEST:: SOT 75082 SOS 25814 HAS SOPS 25814 HAS SOUS 16336 HAS SOUPS 16336 WITH SCORE 16361.814
AT ITER 3597 NEW BEST:: SOT 75048 SOS 25798 HAS SOPS 25798 HAS SOUS 16329 HAS SOUPS 16329 WITH SCORE 16354.798
AT ITER 3708 NEW BEST:: SOT 75038 SOS 25977 HAS SOPS 25977 HAS SOUS 16309 HAS SOUPS 16309 WITH SCORE 16334.977
AT ITER 3729 NEW BEST:: SOT 75021 SOS 25943 HAS SOPS 25943 HAS SOUS 16258 HAS SOUPS 16258 WITH SCORE 16283.943
AT ITER 3738 NEW BEST:: SOT 75013 SOS 25938 HAS SOPS 25938 HAS SOUS 16250 HAS SOUPS 16250 WITH SCORE 16275.938
AT ITER 3786 NEW BEST:: SOT 74998 SOS 25991 HAS SOPS 25991 HAS SOUS 16239 HAS SOUPS 16239 WITH SCORE 16264.991
AT ITER 3822 NEW BEST:: SOT 75005 SOS 25998 HAS SOPS 25998 HAS SOUS 16185 HAS SOUPS 16185 WITH SCORE 16210.998
AT ITER 3827 NEW BEST:: SOT 75003 SOS 25980 HAS SOPS 25980 HAS SOUS 16181 HAS SOUPS 16181 WITH SCORE 16206.98
AT ITER 3838 NEW BEST:: SOT 74995 SOS 25964 HAS SOPS 25964 HAS SOUS 16161 HAS SOUPS 16161 WITH SCORE 16186.964
AT ITER 3870 NEW BEST:: SOT 74951 SOS 25876 HAS SOPS 25876 HAS SOUS 16073 HAS SOUPS 16073 WITH SCORE 16098.876
AT ITER 3881 NEW BEST:: SOT 74949 SOS 25872 HAS SOPS 25872 HAS SOUS 16069 HAS SOUPS 16069 WITH SCORE 16094.872
AT ITER 3909 NEW BEST:: SOT 74946 SOS 25866 HAS SOPS 25866 HAS SOUS 16063 HAS SOUPS 16063 WITH SCORE 16088.866
AT ITER 3925 NEW BEST:: SOT 74945 SOS 25865 HAS SOPS 25865 HAS SOUS 16062 HAS SOUPS 16062 WITH SCORE 16087.865
AT ITER 3932 NEW BEST:: SOT 74924 SOS 25834 HAS SOPS 25834 HAS SOUS 16020 HAS SOUPS 16020 WITH SCORE 16045.834
AT ITER 3961 NEW BEST:: SOT 74917 SOS 25808 HAS SOPS 25808 HAS SOUS 15987 HAS SOUPS 15987 WITH SCORE 16012.808
AT ITER 3974 NEW BEST:: SOT 74904 SOS 25795 HAS SOPS 25795 HAS SOUS 15973 HAS SOUPS 15973 WITH SCORE 15998.795
AT ITER 3984 NEW BEST:: SOT 74897 SOS 25778 HAS SOPS 25778 HAS SOUS 15959 HAS SOUPS 15959 WITH SCORE 15984.778
AT ITER 3985 NEW BEST:: SOT 74897 SOS 25778 HAS SOPS 25778 HAS SOUS 15929 HAS SOUPS 15929 WITH SCORE 15954.778
AT ITER 4027 NEW BEST:: SOT 74881 SOS 25722 HAS SOPS 25722 HAS SOUS 15911 HAS SOUPS 15911 WITH SCORE 15936.722
AT ITER 4035 NEW BEST:: SOT 74859 SOS 25700 HAS SOPS 25700 HAS SOUS 15878 HAS SOUPS 15878 WITH SCORE 15903.7
AT ITER 4045 NEW BEST:: SOT 74856 SOS 25694 HAS SOPS 25694 HAS SOUS 15867 HAS SOUPS 15867 WITH SCORE 15892.694
AT ITER 4046 NEW BEST:: SOT 74815 SOS 25667 HAS SOPS 25667 HAS SOUS 15844 HAS SOUPS 15844 WITH SCORE 15869.667
AT ITER 4055 NEW BEST:: SOT 74827 SOS 25691 HAS SOPS 25691 HAS SOUS 15841 HAS SOUPS 15841 WITH SCORE 15866.691
AT ITER 4069 NEW BEST:: SOT 74843 SOS 25686 HAS SOPS 25686 HAS SOUS 15836 HAS SOUPS 15836 WITH SCORE 15861.686
AT ITER 4090 NEW BEST:: SOT 74860 SOS 25658 HAS SOPS 25658 HAS SOUS 15809 HAS SOUPS 15809 WITH SCORE 15834.658
AT ITER 4117 NEW BEST:: SOT 74859 SOS 25652 HAS SOPS 25652 HAS SOUS 15807 HAS SOUPS 15807 WITH SCORE 15832.652
AT ITER 4140 NEW BEST:: SOT 74854 SOS 25642 HAS SOPS 25642 HAS SOUS 15797 HAS SOUPS 15797 WITH SCORE 15822.642
AT ITER 4227 NEW BEST:: SOT 74853 SOS 25625 HAS SOPS 25625 HAS SOUS 15781 HAS SOUPS 15781 WITH SCORE 15806.625
AT ITER 4233 NEW BEST:: SOT 74853 SOS 25623 HAS SOPS 25623 HAS SOUS 15781 HAS SOUPS 15781 WITH SCORE 15806.623
AT ITER 4270 NEW BEST:: SOT 74848 SOS 25605 HAS SOPS 25605 HAS SOUS 15763 HAS SOUPS 15763 WITH SCORE 15788.605
AT ITER 4272 NEW BEST:: SOT 74847 SOS 25612 HAS SOPS 25612 HAS SOUS 15761 HAS SOUPS 15761 WITH SCORE 15786.612
AT ITER 4275 NEW BEST:: SOT 74854 SOS 25587 HAS SOPS 25587 HAS SOUS 15752 HAS SOUPS 15752 WITH SCORE 15777.587
AT ITER 4281 NEW BEST:: SOT 74840 SOS 25558 HAS SOPS 25558 HAS SOUS 15740 HAS SOUPS 15740 WITH SCORE 15765.558
AT ITER 4311 NEW BEST:: SOT 74838 SOS 25552 HAS SOPS 25552 HAS SOUS 15736 HAS SOUPS 15736 WITH SCORE 15761.552
AT ITER 4341 NEW BEST:: SOT 74826 SOS 25540 HAS SOPS 25540 HAS SOUS 15724 HAS SOUPS 15724 WITH SCORE 15749.54
AT ITER 4347 NEW BEST:: SOT 74815 SOS 25529 HAS SOPS 25529 HAS SOUS 15712 HAS SOUPS 15712 WITH SCORE 15737.529
AT ITER 4388 NEW BEST:: SOT 74815 SOS 25528 HAS SOPS 25528 HAS SOUS 15712 HAS SOUPS 15712 WITH SCORE 15737.528
AT ITER 4392 NEW BEST:: SOT 74815 SOS 25503 HAS SOPS 25503 HAS SOUS 15687 HAS SOUPS 15687 WITH SCORE 15712.503
AT ITER 4448 NEW BEST:: SOT 74815 SOS 25467 HAS SOPS 25467 HAS SOUS 15651 HAS SOUPS 15651 WITH SCORE 15676.467
AT ITER 4450 NEW BEST:: SOT 74815 SOS 25467 HAS SOPS 25467 HAS SOUS 15637 HAS SOUPS 15637 WITH SCORE 15662.467
AT ITER 4474 NEW BEST:: SOT 74803 SOS 25466 HAS SOPS 25466 HAS SOUS 15626 HAS SOUPS 15626 WITH SCORE 15651.466
AT ITER 4475 NEW BEST:: SOT 74747 SOS 25410 HAS SOPS 25410 HAS SOUS 15599 HAS SOUPS 15599 WITH SCORE 15624.41
AT ITER 4491 NEW BEST:: SOT 74731 SOS 25318 HAS SOPS 25318 HAS SOUS 15563 HAS SOUPS 15563 WITH SCORE 15588.318
AT ITER 4499 NEW BEST:: SOT 74729 SOS 25316 HAS SOPS 25316 HAS SOUS 15561 HAS SOUPS 15561 WITH SCORE 15586.316
AT ITER 4502 NEW BEST:: SOT 74726 SOS 25339 HAS SOPS 25339 HAS SOUS 15555 HAS SOUPS 15555 WITH SCORE 15580.339
AT ITER 4511 NEW BEST:: SOT 74726 SOS 25326 HAS SOPS 25326 HAS SOUS 15555 HAS SOUPS 15555 WITH SCORE 15580.326
AT ITER 4566 NEW BEST:: SOT 74726 SOS 25293 HAS SOPS 25293 HAS SOUS 15522 HAS SOUPS 15522 WITH SCORE 15547.293
AT ITER 4573 NEW BEST:: SOT 74724 SOS 25289 HAS SOPS 25289 HAS SOUS 15520 HAS SOUPS 15520 WITH SCORE 15545.289
AT ITER 4606 NEW BEST:: SOT 74719 SOS 25254 HAS SOPS 25254 HAS SOUS 15510 HAS SOUPS 15510 WITH SCORE 15535.254
AT ITER 4617 NEW BEST:: SOT 74703 SOS 25251 HAS SOPS 25251 HAS SOUS 15478 HAS SOUPS 15478 WITH SCORE 15503.251
AT ITER 4620 NEW BEST:: SOT 74724 SOS 25228 HAS SOPS 25228 HAS SOUS 15460 HAS SOUPS 15460 WITH SCORE 15485.228
AT ITER 4638 NEW BEST:: SOT 74724 SOS 25224 HAS SOPS 25224 HAS SOUS 15452 HAS SOUPS 15452 WITH SCORE 15477.224
AT ITER 4646 NEW BEST:: SOT 74682 SOS 25193 HAS SOPS 25193 HAS SOUS 15444 HAS SOUPS 15444 WITH SCORE 15469.193
AT ITER 4671 NEW BEST:: SOT 74678 SOS 25185 HAS SOPS 25185 HAS SOUS 15440 HAS SOUPS 15440 WITH SCORE 15465.185
AT ITER 4733 NEW BEST:: SOT 74659 SOS 25172 HAS SOPS 25172 HAS SOUS 15427 HAS SOUPS 15427 WITH SCORE 15452.172
AT ITER 4760 NEW BEST:: SOT 74627 SOS 25108 HAS SOPS 25108 HAS SOUS 15401 HAS SOUPS 15401 WITH SCORE 15426.108
AT ITER 4761 NEW BEST:: SOT 74623 SOS 25100 HAS SOPS 25100 HAS SOUS 15393 HAS SOUPS 15393 WITH SCORE 15418.1
AT ITER 4762 NEW BEST:: SOT 74613 SOS 25090 HAS SOPS 25090 HAS SOUS 15383 HAS SOUPS 15383 WITH SCORE 15408.09
AT ITER 4820 NEW BEST:: SOT 74609 SOS 25082 HAS SOPS 25082 HAS SOUS 15375 HAS SOUPS 15375 WITH SCORE 15400.082
AT ITER 4849 NEW BEST:: SOT 74594 SOS 25036 HAS SOPS 25036 HAS SOUS 15341 HAS SOUPS 15341 WITH SCORE 15366.036
AT ITER 4882 NEW BEST:: SOT 74560 SOS 25034 HAS SOPS 25034 HAS SOUS 15315 HAS SOUPS 15315 WITH SCORE 15340.034
AT ITER 4918 NEW BEST:: SOT 74559 SOS 25027 HAS SOPS 25027 HAS SOUS 15268 HAS SOUPS 15268 WITH SCORE 15293.027
AT ITER 4924 NEW BEST:: SOT 74550 SOS 24991 HAS SOPS 24991 HAS SOUS 15241 HAS SOUPS 15241 WITH SCORE 15265.991
AT ITER 4933 NEW BEST:: SOT 74553 SOS 24997 HAS SOPS 24997 HAS SOUS 15229 HAS SOUPS 15229 WITH SCORE 15253.997
AT ITER 4941 NEW BEST:: SOT 74540 SOS 24995 HAS SOPS 24995 HAS SOUS 15204 HAS SOUPS 15204 WITH SCORE 15228.995
AT ITER 4961 NEW BEST:: SOT 74540 SOS 24992 HAS SOPS 24992 HAS SOUS 15204 HAS SOUPS 15204 WITH SCORE 15228.992
AT ITER 4983 NEW BEST:: SOT 74540 SOS 24989 HAS SOPS 24989 HAS SOUS 15203 HAS SOUPS 15203 WITH SCORE 15227.989
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DiscoveryGPU-PT-12b-CTLCardinality-00 (AG( ( potential( ( 1 ) <= (tk(P61)) ) | (! ( potential( ( 1 ) <= (tk(P212)) ) | potential( ( 1 ) <= (tk(P113)) ) )) )))
PROPERTY: DiscoveryGPU-PT-12b-CTLCardinality-01 (AG( (! (EX( potential( ( 2 ) <= (tk(P334)) ))))))
PROPERTY: DiscoveryGPU-PT-12b-CTLCardinality-02 (AU( (! ( potential( ( 3 ) <= (tk(P63)) ) | potential( ( 1 ) <= (tk(P83)) ) )),(EF(potential( ( 1 ) <= (tk(P218)) ))) ))
PROPERTY: DiscoveryGPU-PT-12b-CTLCardinality-03 (EF((EU( potential( ( 3 ) <= (tk(P227)) ),potential( ( 2 ) <= (tk(P256)) ) ))))
PROPERTY: DiscoveryGPU-PT-12b-CTLCardinality-04 ( ( potential( ( 2 ) <= (tk(P87)) ) & (! ( ( potential( ( 3 ) <= (tk(P194)) ) & potential( ( 3 ) <= (tk(P30)) ) ) & ( potential( (tk(P172)) <= (tk(P210)) ) | potential( ( 1 ) <= (tk(P95)) ) ) )) ) | (AG( ( (! potential( ( 1 ) <= (tk(P209)) )) | ( potential( (tk(P187)) <= (tk(P173)) ) | potential( ( 3 ) <= (tk(P95)) ) ) ))) )
PROPERTY: DiscoveryGPU-PT-12b-CTLCardinality-05 ( (AG( (! ( potential( ( 3 ) <= (tk(P57)) ) & potential( ( 2 ) <= (tk(P61)) ) )))) | ( potential( (tk(P298)) <= (tk(P292)) ) & (AX( ( potential( ( 3 ) <= (tk(P298)) ) & potential( (tk(P5)) <= (tk(P238)) ) ))) ) )
PROPERTY: DiscoveryGPU-PT-12b-CTLCardinality-06 (AX( ( potential( (tk(P37)) <= (tk(P244)) ) & (EF(potential( ( 1 ) <= (tk(P214)) ))) )))
PROPERTY: DiscoveryGPU-PT-12b-CTLCardinality-07 (! (! (EF((! potential( (tk(P122)) <= (tk(P22)) ))))))
PROPERTY: DiscoveryGPU-PT-12b-CTLCardinality-08 (AG( (EU( potential( ( 2 ) <= (tk(P220)) ),potential( (tk(P102)) <= (tk(P91)) ) ))))
PROPERTY: DiscoveryGPU-PT-12b-CTLCardinality-09 (! (! (AF((! potential( (tk(P92)) <= (tk(P239)) ))))))
PROPERTY: DiscoveryGPU-PT-12b-CTLCardinality-10 (EF((AF(potential( ( 3 ) <= (tk(P297)) )))))
PROPERTY: DiscoveryGPU-PT-12b-CTLCardinality-11 (! (AF((AG( potential( (tk(P344)) <= (tk(P274)) ))))))
PROPERTY: DiscoveryGPU-PT-12b-CTLCardinality-12 (! ( potential( (tk(P217)) <= (tk(P217)) ) & (EU( potential( (tk(P38)) <= (tk(P78)) ),potential( ( 1 ) <= (tk(P30)) ) )) ))
PROPERTY: DiscoveryGPU-PT-12b-CTLCardinality-13 (AF(potential( ( 1 ) <= (tk(P121)) )))
PROPERTY: DiscoveryGPU-PT-12b-CTLCardinality-14 (EG( (EU( potential( (tk(P157)) <= (tk(P262)) ),potential( ( 3 ) <= (tk(P62)) ) ))))
PROPERTY: DiscoveryGPU-PT-12b-CTLCardinality-15 (AF(potential( ( 2 ) <= (tk(P252)) )))
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-12b"
export BK_EXAMINATION="CTLCardinality"
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-12b, examination is CTLCardinality"
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-158922807900691"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DiscoveryGPU-PT-12b.tgz
mv DiscoveryGPU-PT-12b execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;