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-158922807800675.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-11b, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922807800675
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 260K
-rw-r--r-- 1 mcc users 3.4K Mar 31 07:10 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 31 07:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 29 23:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 29 23:50 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 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 28 14:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 28 14:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 27 07:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 27 07:39 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 82K 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-11b-CTLCardinality-00
FORMULA_NAME DiscoveryGPU-PT-11b-CTLCardinality-01
FORMULA_NAME DiscoveryGPU-PT-11b-CTLCardinality-02
FORMULA_NAME DiscoveryGPU-PT-11b-CTLCardinality-03
FORMULA_NAME DiscoveryGPU-PT-11b-CTLCardinality-04
FORMULA_NAME DiscoveryGPU-PT-11b-CTLCardinality-05
FORMULA_NAME DiscoveryGPU-PT-11b-CTLCardinality-06
FORMULA_NAME DiscoveryGPU-PT-11b-CTLCardinality-07
FORMULA_NAME DiscoveryGPU-PT-11b-CTLCardinality-08
FORMULA_NAME DiscoveryGPU-PT-11b-CTLCardinality-09
FORMULA_NAME DiscoveryGPU-PT-11b-CTLCardinality-10
FORMULA_NAME DiscoveryGPU-PT-11b-CTLCardinality-11
FORMULA_NAME DiscoveryGPU-PT-11b-CTLCardinality-12
FORMULA_NAME DiscoveryGPU-PT-11b-CTLCardinality-13
FORMULA_NAME DiscoveryGPU-PT-11b-CTLCardinality-14
FORMULA_NAME DiscoveryGPU-PT-11b-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589363676166

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 11b
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: 324 places, 344 transitions, 898 arcs.
AT ITER 0 NEW BEST:: SOT 77803 SOS 37258 HAS SOPS 37258 HAS SOUS 33065 HAS SOUPS 33065 WITH SCORE 33102.258
AT ITER 2 NEW BEST:: SOT 77793 SOS 37228 HAS SOPS 37228 HAS SOUS 33045 HAS SOUPS 33045 WITH SCORE 33082.228
AT ITER 4 NEW BEST:: SOT 77765 SOS 37273 HAS SOPS 37273 HAS SOUS 33033 HAS SOUPS 33033 WITH SCORE 33070.273
AT ITER 12 NEW BEST:: SOT 77733 SOS 37241 HAS SOPS 37241 HAS SOUS 32969 HAS SOUPS 32969 WITH SCORE 33006.241
AT ITER 13 NEW BEST:: SOT 77661 SOS 37128 HAS SOPS 37128 HAS SOUS 32896 HAS SOUPS 32896 WITH SCORE 32933.128
AT ITER 15 NEW BEST:: SOT 77503 SOS 36831 HAS SOPS 36831 HAS SOUS 32658 HAS SOUPS 32658 WITH SCORE 32694.831
AT ITER 18 NEW BEST:: SOT 77428 SOS 36699 HAS SOPS 36699 HAS SOUS 32582 HAS SOUPS 32582 WITH SCORE 32618.699
AT ITER 20 NEW BEST:: SOT 77327 SOS 36506 HAS SOPS 36506 HAS SOUS 32481 HAS SOUPS 32481 WITH SCORE 32517.506
AT ITER 21 NEW BEST:: SOT 77327 SOS 36475 HAS SOPS 36475 HAS SOUS 32481 HAS SOUPS 32481 WITH SCORE 32517.475
AT ITER 27 NEW BEST:: SOT 77144 SOS 36165 HAS SOPS 36165 HAS SOUS 32233 HAS SOUPS 32233 WITH SCORE 32269.165
AT ITER 33 NEW BEST:: SOT 77058 SOS 36121 HAS SOPS 36121 HAS SOUS 32149 HAS SOUPS 32149 WITH SCORE 32185.121
AT ITER 37 NEW BEST:: SOT 77020 SOS 36083 HAS SOPS 36083 HAS SOUS 32111 HAS SOUPS 32111 WITH SCORE 32147.083
AT ITER 38 NEW BEST:: SOT 76994 SOS 36057 HAS SOPS 36057 HAS SOUS 32084 HAS SOUPS 32084 WITH SCORE 32120.057
AT ITER 51 NEW BEST:: SOT 76981 SOS 36031 HAS SOPS 36031 HAS SOUS 32069 HAS SOUPS 32069 WITH SCORE 32105.031
AT ITER 58 NEW BEST:: SOT 76981 SOS 35991 HAS SOPS 35991 HAS SOUS 32029 HAS SOUPS 32029 WITH SCORE 32064.991
AT ITER 60 NEW BEST:: SOT 76807 SOS 35930 HAS SOPS 35930 HAS SOUS 31945 HAS SOUPS 31945 WITH SCORE 31980.93
AT ITER 65 NEW BEST:: SOT 76807 SOS 35824 HAS SOPS 35824 HAS SOUS 31945 HAS SOUPS 31945 WITH SCORE 31980.824
AT ITER 77 NEW BEST:: SOT 76793 SOS 35909 HAS SOPS 35909 HAS SOUS 31927 HAS SOUPS 31927 WITH SCORE 31962.909
AT ITER 78 NEW BEST:: SOT 76793 SOS 35882 HAS SOPS 35882 HAS SOUS 31927 HAS SOUPS 31927 WITH SCORE 31962.882
AT ITER 85 NEW BEST:: SOT 76696 SOS 35785 HAS SOPS 35785 HAS SOUS 31830 HAS SOUPS 31830 WITH SCORE 31865.785
AT ITER 98 NEW BEST:: SOT 76691 SOS 35698 HAS SOPS 35698 HAS SOUS 31743 HAS SOUPS 31743 WITH SCORE 31778.698
AT ITER 100 NEW BEST:: SOT 76637 SOS 35718 HAS SOPS 35718 HAS SOUS 31682 HAS SOUPS 31682 WITH SCORE 31717.718
AT ITER 104 NEW BEST:: SOT 76637 SOS 35718 HAS SOPS 35718 HAS SOUS 31680 HAS SOUPS 31680 WITH SCORE 31715.718
AT ITER 111 NEW BEST:: SOT 76564 SOS 35572 HAS SOPS 35572 HAS SOUS 31607 HAS SOUPS 31607 WITH SCORE 31642.572
AT ITER 114 NEW BEST:: SOT 76533 SOS 35389 HAS SOPS 35389 HAS SOUS 31578 HAS SOUPS 31578 WITH SCORE 31613.389
AT ITER 121 NEW BEST:: SOT 76286 SOS 35173 HAS SOPS 35173 HAS SOUS 31350 HAS SOUPS 31350 WITH SCORE 31385.173
AT ITER 123 NEW BEST:: SOT 76264 SOS 35145 HAS SOPS 35145 HAS SOUS 31322 HAS SOUPS 31322 WITH SCORE 31357.145
AT ITER 130 NEW BEST:: SOT 76264 SOS 35119 HAS SOPS 35119 HAS SOUS 31296 HAS SOUPS 31296 WITH SCORE 31331.119
AT ITER 138 NEW BEST:: SOT 76203 SOS 34997 HAS SOPS 34997 HAS SOUS 31119 HAS SOUPS 31119 WITH SCORE 31153.997
AT ITER 143 NEW BEST:: SOT 76131 SOS 34928 HAS SOPS 34928 HAS SOUS 31064 HAS SOUPS 31064 WITH SCORE 31098.928
AT ITER 151 NEW BEST:: SOT 76110 SOS 34814 HAS SOPS 34814 HAS SOUS 31021 HAS SOUPS 31021 WITH SCORE 31055.814
AT ITER 154 NEW BEST:: SOT 76057 SOS 33807 HAS SOPS 33807 HAS SOUS 30968 HAS SOUPS 30968 WITH SCORE 31001.807
AT ITER 155 NEW BEST:: SOT 76034 SOS 33399 HAS SOPS 33399 HAS SOUS 30968 HAS SOUPS 30968 WITH SCORE 31001.399
AT ITER 163 NEW BEST:: SOT 75944 SOS 33323 HAS SOPS 33323 HAS SOUS 30892 HAS SOUPS 30892 WITH SCORE 30925.323
AT ITER 167 NEW BEST:: SOT 75942 SOS 33206 HAS SOPS 33206 HAS SOUS 30745 HAS SOUPS 30745 WITH SCORE 30778.206
AT ITER 171 NEW BEST:: SOT 75828 SOS 33136 HAS SOPS 33136 HAS SOUS 30631 HAS SOUPS 30631 WITH SCORE 30664.136
AT ITER 172 NEW BEST:: SOT 75803 SOS 33086 HAS SOPS 33086 HAS SOUS 30581 HAS SOUPS 30581 WITH SCORE 30614.086
AT ITER 176 NEW BEST:: SOT 75804 SOS 33017 HAS SOPS 33017 HAS SOUS 30512 HAS SOUPS 30512 WITH SCORE 30545.017
AT ITER 179 NEW BEST:: SOT 75795 SOS 32999 HAS SOPS 32999 HAS SOUS 30503 HAS SOUPS 30503 WITH SCORE 30535.999
AT ITER 182 NEW BEST:: SOT 75791 SOS 32991 HAS SOPS 32991 HAS SOUS 30498 HAS SOUPS 30498 WITH SCORE 30530.991
AT ITER 184 NEW BEST:: SOT 75765 SOS 32964 HAS SOPS 32964 HAS SOUS 30471 HAS SOUPS 30471 WITH SCORE 30503.964
AT ITER 188 NEW BEST:: SOT 75765 SOS 32868 HAS SOPS 32868 HAS SOUS 30470 HAS SOUPS 30470 WITH SCORE 30502.868
AT ITER 189 NEW BEST:: SOT 75588 SOS 32615 HAS SOPS 32615 HAS SOUS 30205 HAS SOUPS 30205 WITH SCORE 30237.615
AT ITER 191 NEW BEST:: SOT 75588 SOS 32615 HAS SOPS 32615 HAS SOUS 30204 HAS SOUPS 30204 WITH SCORE 30236.615
AT ITER 193 NEW BEST:: SOT 75571 SOS 32499 HAS SOPS 32499 HAS SOUS 30143 HAS SOUPS 30143 WITH SCORE 30175.499
AT ITER 197 NEW BEST:: SOT 75509 SOS 32437 HAS SOPS 32437 HAS SOUS 30143 HAS SOUPS 30143 WITH SCORE 30175.437
AT ITER 198 NEW BEST:: SOT 75459 SOS 32386 HAS SOPS 32386 HAS SOUS 30092 HAS SOUPS 30092 WITH SCORE 30124.386
AT ITER 204 NEW BEST:: SOT 75441 SOS 32350 HAS SOPS 32350 HAS SOUS 30073 HAS SOUPS 30073 WITH SCORE 30105.35
AT ITER 212 NEW BEST:: SOT 75359 SOS 32186 HAS SOPS 32186 HAS SOUS 29909 HAS SOUPS 29909 WITH SCORE 29941.186
AT ITER 236 NEW BEST:: SOT 75302 SOS 32072 HAS SOPS 32072 HAS SOUS 29756 HAS SOUPS 29756 WITH SCORE 29788.072
AT ITER 239 NEW BEST:: SOT 75349 SOS 32064 HAS SOPS 32064 HAS SOUS 29679 HAS SOUPS 29679 WITH SCORE 29711.064
AT ITER 244 NEW BEST:: SOT 75349 SOS 32015 HAS SOPS 32015 HAS SOUS 29630 HAS SOUPS 29630 WITH SCORE 29662.015
AT ITER 249 NEW BEST:: SOT 75348 SOS 31991 HAS SOPS 31991 HAS SOUS 29630 HAS SOUPS 29630 WITH SCORE 29661.991
AT ITER 255 NEW BEST:: SOT 75333 SOS 31960 HAS SOPS 31960 HAS SOUS 29599 HAS SOUPS 29599 WITH SCORE 29630.96
AT ITER 264 NEW BEST:: SOT 74089 SOS 37246 HAS SOPS 37246 HAS SOUS 28626 HAS SOUPS 28626 WITH SCORE 28663.246
AT ITER 265 NEW BEST:: SOT 74088 SOS 37244 HAS SOPS 37244 HAS SOUS 28624 HAS SOUPS 28624 WITH SCORE 28661.244
AT ITER 266 NEW BEST:: SOT 72440 SOS 36177 HAS SOPS 36177 HAS SOUS 27216 HAS SOUPS 27216 WITH SCORE 27252.177
AT ITER 275 NEW BEST:: SOT 72439 SOS 36176 HAS SOPS 36176 HAS SOUS 27215 HAS SOUPS 27215 WITH SCORE 27251.176
AT ITER 277 NEW BEST:: SOT 72337 SOS 35972 HAS SOPS 35972 HAS SOUS 27113 HAS SOUPS 27113 WITH SCORE 27148.972
AT ITER 282 NEW BEST:: SOT 72234 SOS 35785 HAS SOPS 35785 HAS SOUS 26955 HAS SOUPS 26955 WITH SCORE 26990.785
AT ITER 286 NEW BEST:: SOT 72233 SOS 35784 HAS SOPS 35784 HAS SOUS 26955 HAS SOUPS 26955 WITH SCORE 26990.784
AT ITER 288 NEW BEST:: SOT 72216 SOS 35733 HAS SOPS 35733 HAS SOUS 26921 HAS SOUPS 26921 WITH SCORE 26956.733
AT ITER 292 NEW BEST:: SOT 71502 SOS 35019 HAS SOPS 35019 HAS SOUS 26207 HAS SOUPS 26207 WITH SCORE 26242.019
AT ITER 297 NEW BEST:: SOT 71478 SOS 34971 HAS SOPS 34971 HAS SOUS 26181 HAS SOUPS 26181 WITH SCORE 26215.971
AT ITER 299 NEW BEST:: SOT 71478 SOS 34971 HAS SOPS 34971 HAS SOUS 26179 HAS SOUPS 26179 WITH SCORE 26213.971
AT ITER 300 NEW BEST:: SOT 71477 SOS 34873 HAS SOPS 34873 HAS SOUS 26177 HAS SOUPS 26177 WITH SCORE 26211.873
AT ITER 302 NEW BEST:: SOT 71512 SOS 34872 HAS SOPS 34872 HAS SOUS 26176 HAS SOUPS 26176 WITH SCORE 26210.872
AT ITER 304 NEW BEST:: SOT 71233 SOS 34689 HAS SOPS 34689 HAS SOUS 25927 HAS SOUPS 25927 WITH SCORE 25961.689
AT ITER 305 NEW BEST:: SOT 71232 SOS 34687 HAS SOPS 34687 HAS SOUS 25925 HAS SOUPS 25925 WITH SCORE 25959.687
AT ITER 307 NEW BEST:: SOT 71231 SOS 34665 HAS SOPS 34665 HAS SOUS 25923 HAS SOUPS 25923 WITH SCORE 25957.665
AT ITER 311 NEW BEST:: SOT 71135 SOS 34539 HAS SOPS 34539 HAS SOUS 25799 HAS SOUPS 25799 WITH SCORE 25833.539
AT ITER 312 NEW BEST:: SOT 71133 SOS 34535 HAS SOPS 34535 HAS SOUS 25795 HAS SOUPS 25795 WITH SCORE 25829.535
AT ITER 317 NEW BEST:: SOT 70864 SOS 34291 HAS SOPS 34291 HAS SOUS 25536 HAS SOUPS 25536 WITH SCORE 25570.291
AT ITER 320 NEW BEST:: SOT 70864 SOS 34262 HAS SOPS 34262 HAS SOUS 25536 HAS SOUPS 25536 WITH SCORE 25570.262
AT ITER 323 NEW BEST:: SOT 70844 SOS 34222 HAS SOPS 34222 HAS SOUS 25509 HAS SOUPS 25509 WITH SCORE 25543.222
AT ITER 341 NEW BEST:: SOT 70779 SOS 33951 HAS SOPS 33951 HAS SOUS 25379 HAS SOUPS 25379 WITH SCORE 25412.951
AT ITER 342 NEW BEST:: SOT 70763 SOS 33919 HAS SOPS 33919 HAS SOUS 25331 HAS SOUPS 25331 WITH SCORE 25364.919
AT ITER 348 NEW BEST:: SOT 70817 SOS 33876 HAS SOPS 33876 HAS SOUS 25290 HAS SOUPS 25290 WITH SCORE 25323.876
AT ITER 359 NEW BEST:: SOT 70817 SOS 33870 HAS SOPS 33870 HAS SOUS 25290 HAS SOUPS 25290 WITH SCORE 25323.87
AT ITER 364 NEW BEST:: SOT 70797 SOS 33830 HAS SOPS 33830 HAS SOUS 25270 HAS SOUPS 25270 WITH SCORE 25303.83
AT ITER 369 NEW BEST:: SOT 70830 SOS 33708 HAS SOPS 33708 HAS SOUS 25270 HAS SOUPS 25270 WITH SCORE 25303.708
AT ITER 373 NEW BEST:: SOT 70754 SOS 33632 HAS SOPS 33632 HAS SOUS 25194 HAS SOUPS 25194 WITH SCORE 25227.632
AT ITER 376 NEW BEST:: SOT 70720 SOS 33572 HAS SOPS 33572 HAS SOUS 25134 HAS SOUPS 25134 WITH SCORE 25167.572
AT ITER 384 NEW BEST:: SOT 70669 SOS 33572 HAS SOPS 33572 HAS SOUS 25083 HAS SOUPS 25083 WITH SCORE 25116.572
AT ITER 395 NEW BEST:: SOT 70460 SOS 33155 HAS SOPS 33155 HAS SOUS 24774 HAS SOUPS 24774 WITH SCORE 24807.155
AT ITER 396 NEW BEST:: SOT 70364 SOS 32991 HAS SOPS 32991 HAS SOUS 24645 HAS SOUPS 24645 WITH SCORE 24677.991
AT ITER 398 NEW BEST:: SOT 70363 SOS 32990 HAS SOPS 32990 HAS SOUS 24644 HAS SOUPS 24644 WITH SCORE 24676.99
AT ITER 401 NEW BEST:: SOT 70361 SOS 32988 HAS SOPS 32988 HAS SOUS 24642 HAS SOUPS 24642 WITH SCORE 24674.988
AT ITER 408 NEW BEST:: SOT 70343 SOS 32973 HAS SOPS 32973 HAS SOUS 24606 HAS SOUPS 24606 WITH SCORE 24638.973
AT ITER 409 NEW BEST:: SOT 70341 SOS 32967 HAS SOPS 32967 HAS SOUS 24602 HAS SOUPS 24602 WITH SCORE 24634.967
AT ITER 416 NEW BEST:: SOT 70314 SOS 32940 HAS SOPS 32940 HAS SOUS 24592 HAS SOUPS 24592 WITH SCORE 24624.94
AT ITER 418 NEW BEST:: SOT 70354 SOS 32919 HAS SOPS 32919 HAS SOUS 24569 HAS SOUPS 24569 WITH SCORE 24601.919
AT ITER 421 NEW BEST:: SOT 70251 SOS 32786 HAS SOPS 32786 HAS SOUS 24509 HAS SOUPS 24509 WITH SCORE 24541.786
AT ITER 422 NEW BEST:: SOT 70314 SOS 32778 HAS SOPS 32778 HAS SOUS 24459 HAS SOUPS 24459 WITH SCORE 24491.778
AT ITER 426 NEW BEST:: SOT 70292 SOS 32734 HAS SOPS 32734 HAS SOUS 24415 HAS SOUPS 24415 WITH SCORE 24447.734
AT ITER 433 NEW BEST:: SOT 70225 SOS 32717 HAS SOPS 32717 HAS SOUS 24398 HAS SOUPS 24398 WITH SCORE 24430.717
AT ITER 440 NEW BEST:: SOT 70224 SOS 32687 HAS SOPS 32687 HAS SOUS 24396 HAS SOUPS 24396 WITH SCORE 24428.687
AT ITER 443 NEW BEST:: SOT 70208 SOS 32655 HAS SOPS 32655 HAS SOUS 24381 HAS SOUPS 24381 WITH SCORE 24413.655
AT ITER 451 NEW BEST:: SOT 70132 SOS 32622 HAS SOPS 32622 HAS SOUS 24348 HAS SOUPS 24348 WITH SCORE 24380.622
AT ITER 459 NEW BEST:: SOT 70139 SOS 32442 HAS SOPS 32442 HAS SOUS 24248 HAS SOUPS 24248 WITH SCORE 24280.442
AT ITER 463 NEW BEST:: SOT 70156 SOS 32454 HAS SOPS 32454 HAS SOUS 24243 HAS SOUPS 24243 WITH SCORE 24275.454
AT ITER 466 NEW BEST:: SOT 69868 SOS 33346 HAS SOPS 33346 HAS SOUS 24126 HAS SOUPS 24126 WITH SCORE 24159.346
AT ITER 481 NEW BEST:: SOT 69786 SOS 33279 HAS SOPS 33279 HAS SOUS 24059 HAS SOUPS 24059 WITH SCORE 24092.279
AT ITER 482 NEW BEST:: SOT 69746 SOS 33215 HAS SOPS 33215 HAS SOUS 24020 HAS SOUPS 24020 WITH SCORE 24053.215
AT ITER 490 NEW BEST:: SOT 69695 SOS 33113 HAS SOPS 33113 HAS SOUS 23918 HAS SOUPS 23918 WITH SCORE 23951.113
AT ITER 498 NEW BEST:: SOT 69684 SOS 33076 HAS SOPS 33076 HAS SOUS 23912 HAS SOUPS 23912 WITH SCORE 23945.076
AT ITER 507 NEW BEST:: SOT 69603 SOS 32988 HAS SOPS 32988 HAS SOUS 23849 HAS SOUPS 23849 WITH SCORE 23881.988
AT ITER 514 NEW BEST:: SOT 69527 SOS 32936 HAS SOPS 32936 HAS SOUS 23797 HAS SOUPS 23797 WITH SCORE 23829.936
AT ITER 517 NEW BEST:: SOT 69461 SOS 32830 HAS SOPS 32830 HAS SOUS 23772 HAS SOUPS 23772 WITH SCORE 23804.83
AT ITER 525 NEW BEST:: SOT 69430 SOS 32768 HAS SOPS 32768 HAS SOUS 23741 HAS SOUPS 23741 WITH SCORE 23773.768
AT ITER 531 NEW BEST:: SOT 69430 SOS 32768 HAS SOPS 32768 HAS SOUS 23738 HAS SOUPS 23738 WITH SCORE 23770.768
AT ITER 536 NEW BEST:: SOT 69415 SOS 32753 HAS SOPS 32753 HAS SOUS 23702 HAS SOUPS 23702 WITH SCORE 23734.753
AT ITER 539 NEW BEST:: SOT 69389 SOS 32701 HAS SOPS 32701 HAS SOUS 23676 HAS SOUPS 23676 WITH SCORE 23708.701
AT ITER 543 NEW BEST:: SOT 69385 SOS 32693 HAS SOPS 32693 HAS SOUS 23667 HAS SOUPS 23667 WITH SCORE 23699.693
AT ITER 548 NEW BEST:: SOT 69362 SOS 32648 HAS SOPS 32648 HAS SOUS 23651 HAS SOUPS 23651 WITH SCORE 23683.648
AT ITER 551 NEW BEST:: SOT 69353 SOS 32630 HAS SOPS 32630 HAS SOUS 23642 HAS SOUPS 23642 WITH SCORE 23674.63
AT ITER 552 NEW BEST:: SOT 69353 SOS 32616 HAS SOPS 32616 HAS SOUS 23642 HAS SOUPS 23642 WITH SCORE 23674.616
AT ITER 554 NEW BEST:: SOT 68903 SOS 32438 HAS SOPS 32438 HAS SOUS 23253 HAS SOUPS 23253 WITH SCORE 23285.438
AT ITER 555 NEW BEST:: SOT 68903 SOS 32437 HAS SOPS 32437 HAS SOUS 23252 HAS SOUPS 23252 WITH SCORE 23284.437
AT ITER 562 NEW BEST:: SOT 68753 SOS 32021 HAS SOPS 32021 HAS SOUS 22952 HAS SOUPS 22952 WITH SCORE 22984.021
AT ITER 563 NEW BEST:: SOT 68766 SOS 31991 HAS SOPS 31991 HAS SOUS 22900 HAS SOUPS 22900 WITH SCORE 22931.991
AT ITER 571 NEW BEST:: SOT 68768 SOS 31964 HAS SOPS 31964 HAS SOUS 22871 HAS SOUPS 22871 WITH SCORE 22902.964
AT ITER 572 NEW BEST:: SOT 68721 SOS 31800 HAS SOPS 31800 HAS SOUS 22766 HAS SOUPS 22766 WITH SCORE 22797.8
AT ITER 573 NEW BEST:: SOT 68605 SOS 31739 HAS SOPS 31739 HAS SOUS 22609 HAS SOUPS 22609 WITH SCORE 22640.739
AT ITER 576 NEW BEST:: SOT 68599 SOS 31733 HAS SOPS 31733 HAS SOUS 22609 HAS SOUPS 22609 WITH SCORE 22640.733
AT ITER 595 NEW BEST:: SOT 68729 SOS 31722 HAS SOPS 31722 HAS SOUS 22538 HAS SOUPS 22538 WITH SCORE 22569.722
AT ITER 601 NEW BEST:: SOT 68655 SOS 31610 HAS SOPS 31610 HAS SOUS 22428 HAS SOUPS 22428 WITH SCORE 22459.61
AT ITER 615 NEW BEST:: SOT 68632 SOS 31127 HAS SOPS 31127 HAS SOUS 22382 HAS SOUPS 22382 WITH SCORE 22413.127
AT ITER 623 NEW BEST:: SOT 68503 SOS 30896 HAS SOPS 30896 HAS SOUS 22184 HAS SOUPS 22184 WITH SCORE 22214.896
AT ITER 628 NEW BEST:: SOT 68481 SOS 30894 HAS SOPS 30894 HAS SOUS 22182 HAS SOUPS 22182 WITH SCORE 22212.894
AT ITER 635 NEW BEST:: SOT 68392 SOS 30674 HAS SOPS 30674 HAS SOUS 21984 HAS SOUPS 21984 WITH SCORE 22014.674
AT ITER 645 NEW BEST:: SOT 68370 SOS 30671 HAS SOPS 30671 HAS SOUS 21962 HAS SOUPS 21962 WITH SCORE 21992.671
AT ITER 662 NEW BEST:: SOT 68360 SOS 30651 HAS SOPS 30651 HAS SOUS 21937 HAS SOUPS 21937 WITH SCORE 21967.651
AT ITER 663 NEW BEST:: SOT 68360 SOS 30549 HAS SOPS 30549 HAS SOUS 21835 HAS SOUPS 21835 WITH SCORE 21865.549
AT ITER 670 NEW BEST:: SOT 68270 SOS 30414 HAS SOPS 30414 HAS SOUS 21745 HAS SOUPS 21745 WITH SCORE 21775.414
AT ITER 680 NEW BEST:: SOT 68250 SOS 30450 HAS SOPS 30450 HAS SOUS 21725 HAS SOUPS 21725 WITH SCORE 21755.45
AT ITER 702 NEW BEST:: SOT 68245 SOS 30443 HAS SOPS 30443 HAS SOUS 21717 HAS SOUPS 21717 WITH SCORE 21747.443
AT ITER 708 NEW BEST:: SOT 68244 SOS 30440 HAS SOPS 30440 HAS SOUS 21715 HAS SOUPS 21715 WITH SCORE 21745.44
AT ITER 709 NEW BEST:: SOT 68103 SOS 30370 HAS SOPS 30370 HAS SOUS 21661 HAS SOUPS 21661 WITH SCORE 21691.37
AT ITER 713 NEW BEST:: SOT 67978 SOS 30195 HAS SOPS 30195 HAS SOUS 21520 HAS SOUPS 21520 WITH SCORE 21550.195
AT ITER 722 NEW BEST:: SOT 68063 SOS 30280 HAS SOPS 30280 HAS SOUS 21492 HAS SOUPS 21492 WITH SCORE 21522.28
AT ITER 738 NEW BEST:: SOT 68063 SOS 30262 HAS SOPS 30262 HAS SOUS 21474 HAS SOUPS 21474 WITH SCORE 21504.262
AT ITER 749 NEW BEST:: SOT 68009 SOS 30227 HAS SOPS 30227 HAS SOUS 21366 HAS SOUPS 21366 WITH SCORE 21396.227
AT ITER 756 NEW BEST:: SOT 67929 SOS 30314 HAS SOPS 30314 HAS SOUS 21319 HAS SOUPS 21319 WITH SCORE 21349.314
AT ITER 757 NEW BEST:: SOT 67908 SOS 30301 HAS SOPS 30301 HAS SOUS 21295 HAS SOUPS 21295 WITH SCORE 21325.301
AT ITER 761 NEW BEST:: SOT 67867 SOS 30205 HAS SOPS 30205 HAS SOUS 21213 HAS SOUPS 21213 WITH SCORE 21243.205
AT ITER 771 NEW BEST:: SOT 67797 SOS 30065 HAS SOPS 30065 HAS SOUS 21143 HAS SOUPS 21143 WITH SCORE 21173.065
AT ITER 786 NEW BEST:: SOT 67651 SOS 29959 HAS SOPS 29959 HAS SOUS 21114 HAS SOUPS 21114 WITH SCORE 21143.959
AT ITER 794 NEW BEST:: SOT 67651 SOS 29943 HAS SOPS 29943 HAS SOUS 21114 HAS SOUPS 21114 WITH SCORE 21143.943
AT ITER 803 NEW BEST:: SOT 67632 SOS 29906 HAS SOPS 29906 HAS SOUS 21110 HAS SOUPS 21110 WITH SCORE 21139.906
AT ITER 815 NEW BEST:: SOT 67516 SOS 29738 HAS SOPS 29738 HAS SOUS 20942 HAS SOUPS 20942 WITH SCORE 20971.738
AT ITER 821 NEW BEST:: SOT 67514 SOS 29736 HAS SOPS 29736 HAS SOUS 20939 HAS SOUPS 20939 WITH SCORE 20968.736
AT ITER 826 NEW BEST:: SOT 67467 SOS 29642 HAS SOPS 29642 HAS SOUS 20875 HAS SOUPS 20875 WITH SCORE 20904.642
AT ITER 858 NEW BEST:: SOT 67506 SOS 29396 HAS SOPS 29396 HAS SOUS 20770 HAS SOUPS 20770 WITH SCORE 20799.396
AT ITER 863 NEW BEST:: SOT 67506 SOS 29396 HAS SOPS 29396 HAS SOUS 20735 HAS SOUPS 20735 WITH SCORE 20764.396
AT ITER 874 NEW BEST:: SOT 67490 SOS 29372 HAS SOPS 29372 HAS SOUS 20703 HAS SOUPS 20703 WITH SCORE 20732.372
AT ITER 883 NEW BEST:: SOT 67432 SOS 29256 HAS SOPS 29256 HAS SOUS 20573 HAS SOUPS 20573 WITH SCORE 20602.256
AT ITER 888 NEW BEST:: SOT 67339 SOS 29202 HAS SOPS 29202 HAS SOUS 20559 HAS SOUPS 20559 WITH SCORE 20588.202
AT ITER 889 NEW BEST:: SOT 67248 SOS 29082 HAS SOPS 29082 HAS SOUS 20384 HAS SOUPS 20384 WITH SCORE 20413.082
AT ITER 895 NEW BEST:: SOT 67220 SOS 29054 HAS SOPS 29054 HAS SOUS 20314 HAS SOUPS 20314 WITH SCORE 20343.054
AT ITER 897 NEW BEST:: SOT 67213 SOS 29040 HAS SOPS 29040 HAS SOUS 20300 HAS SOUPS 20300 WITH SCORE 20329.04
AT ITER 908 NEW BEST:: SOT 67163 SOS 28889 HAS SOPS 28889 HAS SOUS 20200 HAS SOUPS 20200 WITH SCORE 20228.889
AT ITER 917 NEW BEST:: SOT 67182 SOS 28888 HAS SOPS 28888 HAS SOUS 20180 HAS SOUPS 20180 WITH SCORE 20208.888
AT ITER 918 NEW BEST:: SOT 67178 SOS 28922 HAS SOPS 28922 HAS SOUS 20177 HAS SOUPS 20177 WITH SCORE 20205.922
AT ITER 923 NEW BEST:: SOT 67164 SOS 28917 HAS SOPS 28917 HAS SOUS 20140 HAS SOUPS 20140 WITH SCORE 20168.917
AT ITER 929 NEW BEST:: SOT 67140 SOS 28888 HAS SOPS 28888 HAS SOUS 20053 HAS SOUPS 20053 WITH SCORE 20081.888
AT ITER 942 NEW BEST:: SOT 67113 SOS 28861 HAS SOPS 28861 HAS SOUS 20038 HAS SOUPS 20038 WITH SCORE 20066.861
AT ITER 947 NEW BEST:: SOT 67060 SOS 28676 HAS SOPS 28676 HAS SOUS 19974 HAS SOUPS 19974 WITH SCORE 20002.676
AT ITER 957 NEW BEST:: SOT 66960 SOS 28565 HAS SOPS 28565 HAS SOUS 19806 HAS SOUPS 19806 WITH SCORE 19834.565
AT ITER 966 NEW BEST:: SOT 66906 SOS 28457 HAS SOPS 28457 HAS SOUS 19645 HAS SOUPS 19645 WITH SCORE 19673.457
AT ITER 969 NEW BEST:: SOT 66890 SOS 28453 HAS SOPS 28453 HAS SOUS 19643 HAS SOUPS 19643 WITH SCORE 19671.453
AT ITER 972 NEW BEST:: SOT 66889 SOS 28408 HAS SOPS 28408 HAS SOUS 19597 HAS SOUPS 19597 WITH SCORE 19625.408
AT ITER 974 NEW BEST:: SOT 66887 SOS 28427 HAS SOPS 28427 HAS SOUS 19593 HAS SOUPS 19593 WITH SCORE 19621.427
AT ITER 975 NEW BEST:: SOT 66887 SOS 28427 HAS SOPS 28427 HAS SOUS 19547 HAS SOUPS 19547 WITH SCORE 19575.427
AT ITER 979 NEW BEST:: SOT 66878 SOS 28400 HAS SOPS 28400 HAS SOUS 19529 HAS SOUPS 19529 WITH SCORE 19557.4
AT ITER 981 NEW BEST:: SOT 66824 SOS 28219 HAS SOPS 28219 HAS SOUS 19421 HAS SOUPS 19421 WITH SCORE 19449.219
AT ITER 982 NEW BEST:: SOT 66792 SOS 28022 HAS SOPS 28022 HAS SOUS 19357 HAS SOUPS 19357 WITH SCORE 19385.022
AT ITER 985 NEW BEST:: SOT 66777 SOS 28007 HAS SOPS 28007 HAS SOUS 19346 HAS SOUPS 19346 WITH SCORE 19374.007
AT ITER 992 NEW BEST:: SOT 66748 SOS 27951 HAS SOPS 27951 HAS SOUS 19330 HAS SOUPS 19330 WITH SCORE 19357.951
AT ITER 993 NEW BEST:: SOT 66749 SOS 27941 HAS SOPS 27941 HAS SOUS 19319 HAS SOUPS 19319 WITH SCORE 19346.941
AT ITER 996 NEW BEST:: SOT 66748 SOS 27950 HAS SOPS 27950 HAS SOUS 19317 HAS SOUPS 19317 WITH SCORE 19344.95
AT ITER 1002 NEW BEST:: SOT 66720 SOS 27900 HAS SOPS 27900 HAS SOUS 19267 HAS SOUPS 19267 WITH SCORE 19294.9
AT ITER 1007 NEW BEST:: SOT 66650 SOS 27781 HAS SOPS 27781 HAS SOUS 19185 HAS SOUPS 19185 WITH SCORE 19212.781
AT ITER 1012 NEW BEST:: SOT 66650 SOS 27754 HAS SOPS 27754 HAS SOUS 19151 HAS SOUPS 19151 WITH SCORE 19178.754
AT ITER 1022 NEW BEST:: SOT 66636 SOS 27719 HAS SOPS 27719 HAS SOUS 19033 HAS SOUPS 19033 WITH SCORE 19060.719
AT ITER 1023 NEW BEST:: SOT 66635 SOS 27717 HAS SOPS 27717 HAS SOUS 19032 HAS SOUPS 19032 WITH SCORE 19059.717
AT ITER 1027 NEW BEST:: SOT 66635 SOS 27686 HAS SOPS 27686 HAS SOUS 19032 HAS SOUPS 19032 WITH SCORE 19059.686
AT ITER 1028 NEW BEST:: SOT 66602 SOS 27620 HAS SOPS 27620 HAS SOUS 18966 HAS SOUPS 18966 WITH SCORE 18993.62
AT ITER 1030 NEW BEST:: SOT 66602 SOS 27619 HAS SOPS 27619 HAS SOUS 18965 HAS SOUPS 18965 WITH SCORE 18992.619
AT ITER 1054 NEW BEST:: SOT 66591 SOS 27583 HAS SOPS 27583 HAS SOUS 18942 HAS SOUPS 18942 WITH SCORE 18969.583
AT ITER 1056 NEW BEST:: SOT 66591 SOS 27583 HAS SOPS 27583 HAS SOUS 18906 HAS SOUPS 18906 WITH SCORE 18933.583
AT ITER 1069 NEW BEST:: SOT 66567 SOS 27535 HAS SOPS 27535 HAS SOUS 18877 HAS SOUPS 18877 WITH SCORE 18904.535
AT ITER 1070 NEW BEST:: SOT 66545 SOS 27502 HAS SOPS 27502 HAS SOUS 18855 HAS SOUPS 18855 WITH SCORE 18882.502
AT ITER 1071 NEW BEST:: SOT 66541 SOS 27416 HAS SOPS 27416 HAS SOUS 18781 HAS SOUPS 18781 WITH SCORE 18808.416
AT ITER 1072 NEW BEST:: SOT 66525 SOS 27384 HAS SOPS 27384 HAS SOUS 18749 HAS SOUPS 18749 WITH SCORE 18776.384
AT ITER 1076 NEW BEST:: SOT 66514 SOS 27362 HAS SOPS 27362 HAS SOUS 18738 HAS SOUPS 18738 WITH SCORE 18765.362
AT ITER 1085 NEW BEST:: SOT 66514 SOS 27320 HAS SOPS 27320 HAS SOUS 18738 HAS SOUPS 18738 WITH SCORE 18765.32
AT ITER 1093 NEW BEST:: SOT 66444 SOS 27182 HAS SOPS 27182 HAS SOUS 18673 HAS SOUPS 18673 WITH SCORE 18700.182
AT ITER 1097 NEW BEST:: SOT 66434 SOS 27139 HAS SOPS 27139 HAS SOUS 18653 HAS SOUPS 18653 WITH SCORE 18680.139
AT ITER 1115 NEW BEST:: SOT 66411 SOS 27093 HAS SOPS 27093 HAS SOUS 18653 HAS SOUPS 18653 WITH SCORE 18680.093
AT ITER 1120 NEW BEST:: SOT 66406 SOS 27088 HAS SOPS 27088 HAS SOUS 18648 HAS SOUPS 18648 WITH SCORE 18675.088
AT ITER 1121 NEW BEST:: SOT 66401 SOS 27083 HAS SOPS 27083 HAS SOUS 18643 HAS SOUPS 18643 WITH SCORE 18670.083
AT ITER 1124 NEW BEST:: SOT 66439 SOS 27159 HAS SOPS 27159 HAS SOUS 18602 HAS SOUPS 18602 WITH SCORE 18629.159
AT ITER 1160 NEW BEST:: SOT 66428 SOS 27129 HAS SOPS 27129 HAS SOUS 18539 HAS SOUPS 18539 WITH SCORE 18566.129
AT ITER 1161 NEW BEST:: SOT 66424 SOS 27121 HAS SOPS 27121 HAS SOUS 18531 HAS SOUPS 18531 WITH SCORE 18558.121
AT ITER 1163 NEW BEST:: SOT 66248 SOS 26783 HAS SOPS 26783 HAS SOUS 18237 HAS SOUPS 18237 WITH SCORE 18263.783
AT ITER 1164 NEW BEST:: SOT 66230 SOS 26731 HAS SOPS 26731 HAS SOUS 18201 HAS SOUPS 18201 WITH SCORE 18227.731
AT ITER 1180 NEW BEST:: SOT 66168 SOS 26634 HAS SOPS 26634 HAS SOUS 18114 HAS SOUPS 18114 WITH SCORE 18140.634
AT ITER 1181 NEW BEST:: SOT 66142 SOS 26627 HAS SOPS 26627 HAS SOUS 18107 HAS SOUPS 18107 WITH SCORE 18133.627
AT ITER 1183 NEW BEST:: SOT 66145 SOS 26630 HAS SOPS 26630 HAS SOUS 18102 HAS SOUPS 18102 WITH SCORE 18128.63
AT ITER 1185 NEW BEST:: SOT 66095 SOS 26530 HAS SOPS 26530 HAS SOUS 18059 HAS SOUPS 18059 WITH SCORE 18085.53
AT ITER 1191 NEW BEST:: SOT 66077 SOS 26403 HAS SOPS 26403 HAS SOUS 18038 HAS SOUPS 18038 WITH SCORE 18064.403
AT ITER 1195 NEW BEST:: SOT 66083 SOS 26369 HAS SOPS 26369 HAS SOUS 17922 HAS SOUPS 17922 WITH SCORE 17948.369
AT ITER 1211 NEW BEST:: SOT 66083 SOS 26337 HAS SOPS 26337 HAS SOUS 17922 HAS SOUPS 17922 WITH SCORE 17948.337
AT ITER 1224 NEW BEST:: SOT 66083 SOS 26306 HAS SOPS 26306 HAS SOUS 17922 HAS SOUPS 17922 WITH SCORE 17948.306
AT ITER 1230 NEW BEST:: SOT 66083 SOS 26304 HAS SOPS 26304 HAS SOUS 17922 HAS SOUPS 17922 WITH SCORE 17948.304
AT ITER 1236 NEW BEST:: SOT 66083 SOS 26299 HAS SOPS 26299 HAS SOUS 17912 HAS SOUPS 17912 WITH SCORE 17938.299
AT ITER 1243 NEW BEST:: SOT 66049 SOS 26231 HAS SOPS 26231 HAS SOUS 17793 HAS SOUPS 17793 WITH SCORE 17819.231
AT ITER 1250 NEW BEST:: SOT 66013 SOS 26209 HAS SOPS 26209 HAS SOUS 17742 HAS SOUPS 17742 WITH SCORE 17768.209
AT ITER 1265 NEW BEST:: SOT 65978 SOS 26139 HAS SOPS 26139 HAS SOUS 17672 HAS SOUPS 17672 WITH SCORE 17698.139
AT ITER 1295 NEW BEST:: SOT 65965 SOS 26107 HAS SOPS 26107 HAS SOUS 17659 HAS SOUPS 17659 WITH SCORE 17685.107
AT ITER 1317 NEW BEST:: SOT 65957 SOS 26091 HAS SOPS 26091 HAS SOUS 17643 HAS SOUPS 17643 WITH SCORE 17669.091
AT ITER 1318 NEW BEST:: SOT 65908 SOS 25994 HAS SOPS 25994 HAS SOUS 17593 HAS SOUPS 17593 WITH SCORE 17618.994
AT ITER 1319 NEW BEST:: SOT 65900 SOS 25967 HAS SOPS 25967 HAS SOUS 17577 HAS SOUPS 17577 WITH SCORE 17602.967
AT ITER 1334 NEW BEST:: SOT 65883 SOS 25904 HAS SOPS 25904 HAS SOUS 17518 HAS SOUPS 17518 WITH SCORE 17543.904
AT ITER 1341 NEW BEST:: SOT 65889 SOS 25883 HAS SOPS 25883 HAS SOUS 17514 HAS SOUPS 17514 WITH SCORE 17539.883
AT ITER 1342 NEW BEST:: SOT 65885 SOS 25875 HAS SOPS 25875 HAS SOUS 17506 HAS SOUPS 17506 WITH SCORE 17531.875
AT ITER 1344 NEW BEST:: SOT 65885 SOS 25855 HAS SOPS 25855 HAS SOUS 17506 HAS SOUPS 17506 WITH SCORE 17531.855
AT ITER 1350 NEW BEST:: SOT 65883 SOS 25851 HAS SOPS 25851 HAS SOUS 17504 HAS SOUPS 17504 WITH SCORE 17529.851
AT ITER 1353 NEW BEST:: SOT 65871 SOS 25811 HAS SOPS 25811 HAS SOUS 17476 HAS SOUPS 17476 WITH SCORE 17501.811
AT ITER 1359 NEW BEST:: SOT 65797 SOS 25789 HAS SOPS 25789 HAS SOUS 17419 HAS SOUPS 17419 WITH SCORE 17444.789
AT ITER 1372 NEW BEST:: SOT 65735 SOS 25665 HAS SOPS 25665 HAS SOUS 17373 HAS SOUPS 17373 WITH SCORE 17398.665
AT ITER 1407 NEW BEST:: SOT 65588 SOS 25479 HAS SOPS 25479 HAS SOUS 17195 HAS SOUPS 17195 WITH SCORE 17220.479
AT ITER 1419 NEW BEST:: SOT 65520 SOS 25411 HAS SOPS 25411 HAS SOUS 17127 HAS SOUPS 17127 WITH SCORE 17152.411
AT ITER 1422 NEW BEST:: SOT 65506 SOS 25419 HAS SOPS 25419 HAS SOUS 17099 HAS SOUPS 17099 WITH SCORE 17124.419
AT ITER 1425 NEW BEST:: SOT 65473 SOS 25370 HAS SOPS 25370 HAS SOUS 17066 HAS SOUPS 17066 WITH SCORE 17091.37
AT ITER 1426 NEW BEST:: SOT 65460 SOS 25357 HAS SOPS 25357 HAS SOUS 17053 HAS SOUPS 17053 WITH SCORE 17078.357
AT ITER 1438 NEW BEST:: SOT 65468 SOS 25343 HAS SOPS 25343 HAS SOUS 17036 HAS SOUPS 17036 WITH SCORE 17061.343
AT ITER 1447 NEW BEST:: SOT 65445 SOS 25297 HAS SOPS 25297 HAS SOUS 16990 HAS SOUPS 16990 WITH SCORE 17015.297
AT ITER 1460 NEW BEST:: SOT 65458 SOS 25281 HAS SOPS 25281 HAS SOUS 16947 HAS SOUPS 16947 WITH SCORE 16972.281
AT ITER 1466 NEW BEST:: SOT 65458 SOS 25274 HAS SOPS 25274 HAS SOUS 16940 HAS SOUPS 16940 WITH SCORE 16965.274
AT ITER 1468 NEW BEST:: SOT 65406 SOS 25300 HAS SOPS 25300 HAS SOUS 16876 HAS SOUPS 16876 WITH SCORE 16901.3
AT ITER 1471 NEW BEST:: SOT 65397 SOS 25299 HAS SOPS 25299 HAS SOUS 16875 HAS SOUPS 16875 WITH SCORE 16900.299
AT ITER 1499 NEW BEST:: SOT 65362 SOS 25269 HAS SOPS 25269 HAS SOUS 16875 HAS SOUPS 16875 WITH SCORE 16900.269
AT ITER 1500 NEW BEST:: SOT 65361 SOS 25267 HAS SOPS 25267 HAS SOUS 16873 HAS SOUPS 16873 WITH SCORE 16898.267
AT ITER 1506 NEW BEST:: SOT 65297 SOS 25208 HAS SOPS 25208 HAS SOUS 16814 HAS SOUPS 16814 WITH SCORE 16839.208
AT ITER 1507 NEW BEST:: SOT 65276 SOS 25187 HAS SOPS 25187 HAS SOUS 16803 HAS SOUPS 16803 WITH SCORE 16828.187
AT ITER 1508 NEW BEST:: SOT 65335 SOS 25226 HAS SOPS 25226 HAS SOUS 16800 HAS SOUPS 16800 WITH SCORE 16825.226
AT ITER 1529 NEW BEST:: SOT 65333 SOS 25222 HAS SOPS 25222 HAS SOUS 16796 HAS SOUPS 16796 WITH SCORE 16821.222
AT ITER 1531 NEW BEST:: SOT 65308 SOS 25075 HAS SOPS 25075 HAS SOUS 16764 HAS SOUPS 16764 WITH SCORE 16789.075
AT ITER 1537 NEW BEST:: SOT 65308 SOS 25065 HAS SOPS 25065 HAS SOUS 16764 HAS SOUPS 16764 WITH SCORE 16789.065
AT ITER 1550 NEW BEST:: SOT 65307 SOS 25064 HAS SOPS 25064 HAS SOUS 16763 HAS SOUPS 16763 WITH SCORE 16788.064
AT ITER 1559 NEW BEST:: SOT 65282 SOS 25044 HAS SOPS 25044 HAS SOUS 16743 HAS SOUPS 16743 WITH SCORE 16768.044
AT ITER 1580 NEW BEST:: SOT 65282 SOS 25028 HAS SOPS 25028 HAS SOUS 16743 HAS SOUPS 16743 WITH SCORE 16768.028
AT ITER 1590 NEW BEST:: SOT 65281 SOS 25026 HAS SOPS 25026 HAS SOUS 16742 HAS SOUPS 16742 WITH SCORE 16767.026
AT ITER 1603 NEW BEST:: SOT 65267 SOS 25012 HAS SOPS 25012 HAS SOUS 16742 HAS SOUPS 16742 WITH SCORE 16767.012
AT ITER 1612 NEW BEST:: SOT 65234 SOS 24946 HAS SOPS 24946 HAS SOUS 16725 HAS SOUPS 16725 WITH SCORE 16749.946
AT ITER 1628 NEW BEST:: SOT 65253 SOS 24928 HAS SOPS 24928 HAS SOUS 16698 HAS SOUPS 16698 WITH SCORE 16722.928
AT ITER 1629 NEW BEST:: SOT 65253 SOS 24928 HAS SOPS 24928 HAS SOUS 16690 HAS SOUPS 16690 WITH SCORE 16714.928
AT ITER 1631 NEW BEST:: SOT 65253 SOS 24928 HAS SOPS 24928 HAS SOUS 16683 HAS SOUPS 16683 WITH SCORE 16707.928
AT ITER 1665 NEW BEST:: SOT 65272 SOS 24966 HAS SOPS 24966 HAS SOUS 16675 HAS SOUPS 16675 WITH SCORE 16699.966
AT ITER 1708 NEW BEST:: SOT 65246 SOS 24940 HAS SOPS 24940 HAS SOUS 16649 HAS SOUPS 16649 WITH SCORE 16673.94
AT ITER 1713 NEW BEST:: SOT 65193 SOS 24879 HAS SOPS 24879 HAS SOUS 16588 HAS SOUPS 16588 WITH SCORE 16612.879
AT ITER 1723 NEW BEST:: SOT 65181 SOS 24867 HAS SOPS 24867 HAS SOUS 16570 HAS SOUPS 16570 WITH SCORE 16594.867
AT ITER 1726 NEW BEST:: SOT 65180 SOS 24865 HAS SOPS 24865 HAS SOUS 16568 HAS SOUPS 16568 WITH SCORE 16592.865
AT ITER 1729 NEW BEST:: SOT 65180 SOS 24865 HAS SOPS 24865 HAS SOUS 16551 HAS SOUPS 16551 WITH SCORE 16575.865
AT ITER 1731 NEW BEST:: SOT 65140 SOS 24785 HAS SOPS 24785 HAS SOUS 16527 HAS SOUPS 16527 WITH SCORE 16551.785
AT ITER 1737 NEW BEST:: SOT 65116 SOS 24737 HAS SOPS 24737 HAS SOUS 16479 HAS SOUPS 16479 WITH SCORE 16503.737
AT ITER 1738 NEW BEST:: SOT 65114 SOS 24733 HAS SOPS 24733 HAS SOUS 16477 HAS SOUPS 16477 WITH SCORE 16501.733
AT ITER 1750 NEW BEST:: SOT 65046 SOS 24665 HAS SOPS 24665 HAS SOUS 16409 HAS SOUPS 16409 WITH SCORE 16433.665
AT ITER 1754 NEW BEST:: SOT 65036 SOS 24655 HAS SOPS 24655 HAS SOUS 16399 HAS SOUPS 16399 WITH SCORE 16423.655
AT ITER 1758 NEW BEST:: SOT 65015 SOS 24645 HAS SOPS 24645 HAS SOUS 16389 HAS SOUPS 16389 WITH SCORE 16413.645
AT ITER 1761 NEW BEST:: SOT 65026 SOS 24651 HAS SOPS 24651 HAS SOUS 16372 HAS SOUPS 16372 WITH SCORE 16396.651
AT ITER 1769 NEW BEST:: SOT 64974 SOS 24599 HAS SOPS 24599 HAS SOUS 16313 HAS SOUPS 16313 WITH SCORE 16337.599
AT ITER 1771 NEW BEST:: SOT 64963 SOS 24597 HAS SOPS 24597 HAS SOUS 16311 HAS SOUPS 16311 WITH SCORE 16335.597
AT ITER 1783 NEW BEST:: SOT 64957 SOS 24585 HAS SOPS 24585 HAS SOUS 16292 HAS SOUPS 16292 WITH SCORE 16316.585
AT ITER 1787 NEW BEST:: SOT 64947 SOS 24565 HAS SOPS 24565 HAS SOUS 16282 HAS SOUPS 16282 WITH SCORE 16306.565
AT ITER 1788 NEW BEST:: SOT 64935 SOS 24541 HAS SOPS 24541 HAS SOUS 16258 HAS SOUPS 16258 WITH SCORE 16282.541
AT ITER 1793 NEW BEST:: SOT 64962 SOS 24548 HAS SOPS 24548 HAS SOUS 16240 HAS SOUPS 16240 WITH SCORE 16264.548
AT ITER 1800 NEW BEST:: SOT 64961 SOS 24606 HAS SOPS 24606 HAS SOUS 16238 HAS SOUPS 16238 WITH SCORE 16262.606
AT ITER 1809 NEW BEST:: SOT 64957 SOS 24598 HAS SOPS 24598 HAS SOUS 16231 HAS SOUPS 16231 WITH SCORE 16255.598
AT ITER 1812 NEW BEST:: SOT 64950 SOS 24596 HAS SOPS 24596 HAS SOUS 16229 HAS SOUPS 16229 WITH SCORE 16253.596
AT ITER 1848 NEW BEST:: SOT 64912 SOS 24596 HAS SOPS 24596 HAS SOUS 16191 HAS SOUPS 16191 WITH SCORE 16215.596
AT ITER 1852 NEW BEST:: SOT 64901 SOS 24574 HAS SOPS 24574 HAS SOUS 16169 HAS SOUPS 16169 WITH SCORE 16193.574
AT ITER 1855 NEW BEST:: SOT 64941 SOS 24559 HAS SOPS 24559 HAS SOUS 16144 HAS SOUPS 16144 WITH SCORE 16168.559
AT ITER 1864 NEW BEST:: SOT 64910 SOS 25042 HAS SOPS 25042 HAS SOUS 16126 HAS SOUPS 16126 WITH SCORE 16151.042
AT ITER 1875 NEW BEST:: SOT 64888 SOS 25035 HAS SOPS 25035 HAS SOUS 16119 HAS SOUPS 16119 WITH SCORE 16144.035
AT ITER 1915 NEW BEST:: SOT 64879 SOS 25026 HAS SOPS 25026 HAS SOUS 16109 HAS SOUPS 16109 WITH SCORE 16134.026
AT ITER 1961 NEW BEST:: SOT 64883 SOS 25008 HAS SOPS 25008 HAS SOUS 16095 HAS SOUPS 16095 WITH SCORE 16120.008
AT ITER 1995 NEW BEST:: SOT 64878 SOS 24955 HAS SOPS 24955 HAS SOUS 16058 HAS SOUPS 16058 WITH SCORE 16082.955
AT ITER 1999 NEW BEST:: SOT 64853 SOS 24930 HAS SOPS 24930 HAS SOUS 16033 HAS SOUPS 16033 WITH SCORE 16057.93
AT ITER 2000 NEW BEST:: SOT 64816 SOS 24893 HAS SOPS 24893 HAS SOUS 15998 HAS SOUPS 15998 WITH SCORE 16022.893
AT ITER 2003 NEW BEST:: SOT 64785 SOS 24886 HAS SOPS 24886 HAS SOUS 15974 HAS SOUPS 15974 WITH SCORE 15998.886
AT ITER 2014 NEW BEST:: SOT 64768 SOS 24956 HAS SOPS 24956 HAS SOUS 15923 HAS SOUPS 15923 WITH SCORE 15947.956
AT ITER 2044 NEW BEST:: SOT 64729 SOS 24878 HAS SOPS 24878 HAS SOUS 15845 HAS SOUPS 15845 WITH SCORE 15869.878
AT ITER 2056 NEW BEST:: SOT 64723 SOS 24866 HAS SOPS 24866 HAS SOUS 15833 HAS SOUPS 15833 WITH SCORE 15857.866
AT ITER 2070 NEW BEST:: SOT 64680 SOS 24838 HAS SOPS 24838 HAS SOUS 15819 HAS SOUPS 15819 WITH SCORE 15843.838
AT ITER 2071 NEW BEST:: SOT 64680 SOS 24807 HAS SOPS 24807 HAS SOUS 15757 HAS SOUPS 15757 WITH SCORE 15781.807
AT ITER 2080 NEW BEST:: SOT 64696 SOS 24847 HAS SOPS 24847 HAS SOUS 15756 HAS SOUPS 15756 WITH SCORE 15780.847
AT ITER 2125 NEW BEST:: SOT 64685 SOS 24761 HAS SOPS 24761 HAS SOUS 15730 HAS SOUPS 15730 WITH SCORE 15754.761
AT ITER 2142 NEW BEST:: SOT 64626 SOS 24755 HAS SOPS 24755 HAS SOUS 15715 HAS SOUPS 15715 WITH SCORE 15739.755
AT ITER 2159 NEW BEST:: SOT 64624 SOS 24751 HAS SOPS 24751 HAS SOUS 15711 HAS SOUPS 15711 WITH SCORE 15735.751
AT ITER 2181 NEW BEST:: SOT 64601 SOS 24743 HAS SOPS 24743 HAS SOUS 15703 HAS SOUPS 15703 WITH SCORE 15727.743
AT ITER 2184 NEW BEST:: SOT 64589 SOS 24731 HAS SOPS 24731 HAS SOUS 15703 HAS SOUPS 15703 WITH SCORE 15727.731
AT ITER 2205 NEW BEST:: SOT 64619 SOS 24695 HAS SOPS 24695 HAS SOUS 15689 HAS SOUPS 15689 WITH SCORE 15713.695
AT ITER 2210 NEW BEST:: SOT 64600 SOS 24657 HAS SOPS 24657 HAS SOUS 15635 HAS SOUPS 15635 WITH SCORE 15659.657
AT ITER 2212 NEW BEST:: SOT 64608 SOS 24651 HAS SOPS 24651 HAS SOUS 15629 HAS SOUPS 15629 WITH SCORE 15653.651
AT ITER 2216 NEW BEST:: SOT 64595 SOS 24573 HAS SOPS 24573 HAS SOUS 15583 HAS SOUPS 15583 WITH SCORE 15607.573
AT ITER 2222 NEW BEST:: SOT 64538 SOS 24519 HAS SOPS 24519 HAS SOUS 15529 HAS SOUPS 15529 WITH SCORE 15553.519
AT ITER 2234 NEW BEST:: SOT 64534 SOS 24511 HAS SOPS 24511 HAS SOUS 15525 HAS SOUPS 15525 WITH SCORE 15549.511
AT ITER 2236 NEW BEST:: SOT 64519 SOS 24481 HAS SOPS 24481 HAS SOUS 15495 HAS SOUPS 15495 WITH SCORE 15519.481
AT ITER 2246 NEW BEST:: SOT 64519 SOS 24456 HAS SOPS 24456 HAS SOUS 15495 HAS SOUPS 15495 WITH SCORE 15519.456
AT ITER 2260 NEW BEST:: SOT 64519 SOS 24452 HAS SOPS 24452 HAS SOUS 15495 HAS SOUPS 15495 WITH SCORE 15519.452
AT ITER 2266 NEW BEST:: SOT 64519 SOS 24430 HAS SOPS 24430 HAS SOUS 15495 HAS SOUPS 15495 WITH SCORE 15519.43
AT ITER 2268 NEW BEST:: SOT 64519 SOS 24429 HAS SOPS 24429 HAS SOUS 15494 HAS SOUPS 15494 WITH SCORE 15518.429
AT ITER 2273 NEW BEST:: SOT 64505 SOS 24408 HAS SOPS 24408 HAS SOUS 15473 HAS SOUPS 15473 WITH SCORE 15497.408
AT ITER 2285 NEW BEST:: SOT 64502 SOS 24402 HAS SOPS 24402 HAS SOUS 15470 HAS SOUPS 15470 WITH SCORE 15494.402
AT ITER 2310 NEW BEST:: SOT 64521 SOS 24336 HAS SOPS 24336 HAS SOUS 15410 HAS SOUPS 15410 WITH SCORE 15434.336
AT ITER 2332 NEW BEST:: SOT 64503 SOS 24300 HAS SOPS 24300 HAS SOUS 15358 HAS SOUPS 15358 WITH SCORE 15382.3
AT ITER 2361 NEW BEST:: SOT 64503 SOS 24251 HAS SOPS 24251 HAS SOUS 15358 HAS SOUPS 15358 WITH SCORE 15382.251
AT ITER 2365 NEW BEST:: SOT 64548 SOS 24394 HAS SOPS 24394 HAS SOUS 15350 HAS SOUPS 15350 WITH SCORE 15374.394
AT ITER 2373 NEW BEST:: SOT 64541 SOS 24374 HAS SOPS 24374 HAS SOUS 15336 HAS SOUPS 15336 WITH SCORE 15360.374
AT ITER 2386 NEW BEST:: SOT 64540 SOS 24374 HAS SOPS 24374 HAS SOUS 15335 HAS SOUPS 15335 WITH SCORE 15359.374
AT ITER 2446 NEW BEST:: SOT 64527 SOS 24348 HAS SOPS 24348 HAS SOUS 15310 HAS SOUPS 15310 WITH SCORE 15334.348
AT ITER 2449 NEW BEST:: SOT 64506 SOS 24322 HAS SOPS 24322 HAS SOUS 15299 HAS SOUPS 15299 WITH SCORE 15323.322
AT ITER 2475 NEW BEST:: SOT 64491 SOS 24309 HAS SOPS 24309 HAS SOUS 15286 HAS SOUPS 15286 WITH SCORE 15310.309
AT ITER 2497 NEW BEST:: SOT 64491 SOS 24262 HAS SOPS 24262 HAS SOUS 15286 HAS SOUPS 15286 WITH SCORE 15310.262
AT ITER 2509 NEW BEST:: SOT 64499 SOS 24257 HAS SOPS 24257 HAS SOUS 15283 HAS SOUPS 15283 WITH SCORE 15307.257
AT ITER 2516 NEW BEST:: SOT 64472 SOS 24237 HAS SOPS 24237 HAS SOUS 15256 HAS SOUPS 15256 WITH SCORE 15280.237
AT ITER 2520 NEW BEST:: SOT 64468 SOS 24231 HAS SOPS 24231 HAS SOUS 15248 HAS SOUPS 15248 WITH SCORE 15272.231
AT ITER 2528 NEW BEST:: SOT 64466 SOS 24225 HAS SOPS 24225 HAS SOUS 15248 HAS SOUPS 15248 WITH SCORE 15272.225
AT ITER 2532 NEW BEST:: SOT 64443 SOS 24202 HAS SOPS 24202 HAS SOUS 15225 HAS SOUPS 15225 WITH SCORE 15249.202
AT ITER 2553 NEW BEST:: SOT 64439 SOS 24198 HAS SOPS 24198 HAS SOUS 15219 HAS SOUPS 15219 WITH SCORE 15243.198
AT ITER 2572 NEW BEST:: SOT 64439 SOS 24198 HAS SOPS 24198 HAS SOUS 15217 HAS SOUPS 15217 WITH SCORE 15241.198
AT ITER 2582 NEW BEST:: SOT 64447 SOS 24194 HAS SOPS 24194 HAS SOUS 15213 HAS SOUPS 15213 WITH SCORE 15237.194
AT ITER 2593 NEW BEST:: SOT 64426 SOS 24126 HAS SOPS 24126 HAS SOUS 15171 HAS SOUPS 15171 WITH SCORE 15195.126
AT ITER 2605 NEW BEST:: SOT 64426 SOS 24126 HAS SOPS 24126 HAS SOUS 15158 HAS SOUPS 15158 WITH SCORE 15182.126
AT ITER 2612 NEW BEST:: SOT 64425 SOS 24124 HAS SOPS 24124 HAS SOUS 15155 HAS SOUPS 15155 WITH SCORE 15179.124
AT ITER 2622 NEW BEST:: SOT 64431 SOS 24130 HAS SOPS 24130 HAS SOUS 15148 HAS SOUPS 15148 WITH SCORE 15172.13
AT ITER 2625 NEW BEST:: SOT 64395 SOS 24085 HAS SOPS 24085 HAS SOUS 15105 HAS SOUPS 15105 WITH SCORE 15129.085
AT ITER 2633 NEW BEST:: SOT 64389 SOS 24073 HAS SOPS 24073 HAS SOUS 15089 HAS SOUPS 15089 WITH SCORE 15113.073
AT ITER 2665 NEW BEST:: SOT 64377 SOS 24061 HAS SOPS 24061 HAS SOUS 15089 HAS SOUPS 15089 WITH SCORE 15113.061
AT ITER 2707 NEW BEST:: SOT 64377 SOS 24057 HAS SOPS 24057 HAS SOUS 15085 HAS SOUPS 15085 WITH SCORE 15109.057
AT ITER 2710 NEW BEST:: SOT 64377 SOS 24052 HAS SOPS 24052 HAS SOUS 15080 HAS SOUPS 15080 WITH SCORE 15104.052
AT ITER 2717 NEW BEST:: SOT 64377 SOS 24052 HAS SOPS 24052 HAS SOUS 15078 HAS SOUPS 15078 WITH SCORE 15102.052
AT ITER 2721 NEW BEST:: SOT 64367 SOS 24052 HAS SOPS 24052 HAS SOUS 15068 HAS SOUPS 15068 WITH SCORE 15092.052
AT ITER 2734 NEW BEST:: SOT 64342 SOS 24002 HAS SOPS 24002 HAS SOUS 15037 HAS SOUPS 15037 WITH SCORE 15061.002
AT ITER 2742 NEW BEST:: SOT 64336 SOS 23996 HAS SOPS 23996 HAS SOUS 15025 HAS SOUPS 15025 WITH SCORE 15048.996
AT ITER 2758 NEW BEST:: SOT 64285 SOS 23985 HAS SOPS 23985 HAS SOUS 15013 HAS SOUPS 15013 WITH SCORE 15036.985
AT ITER 2767 NEW BEST:: SOT 64285 SOS 23985 HAS SOPS 23985 HAS SOUS 14987 HAS SOUPS 14987 WITH SCORE 15010.985
AT ITER 2802 NEW BEST:: SOT 64271 SOS 23935 HAS SOPS 23935 HAS SOUS 14974 HAS SOUPS 14974 WITH SCORE 14997.935
AT ITER 2806 NEW BEST:: SOT 64272 SOS 23930 HAS SOPS 23930 HAS SOUS 14974 HAS SOUPS 14974 WITH SCORE 14997.93
AT ITER 2810 NEW BEST:: SOT 64252 SOS 23862 HAS SOPS 23862 HAS SOUS 14935 HAS SOUPS 14935 WITH SCORE 14958.862
AT ITER 2829 NEW BEST:: SOT 64256 SOS 23883 HAS SOPS 23883 HAS SOUS 14925 HAS SOUPS 14925 WITH SCORE 14948.883
AT ITER 2855 NEW BEST:: SOT 64248 SOS 23867 HAS SOPS 23867 HAS SOUS 14909 HAS SOUPS 14909 WITH SCORE 14932.867
AT ITER 2872 NEW BEST:: SOT 64248 SOS 23909 HAS SOPS 23909 HAS SOUS 14895 HAS SOUPS 14895 WITH SCORE 14918.909
AT ITER 2878 NEW BEST:: SOT 64242 SOS 23897 HAS SOPS 23897 HAS SOUS 14883 HAS SOUPS 14883 WITH SCORE 14906.897
AT ITER 2892 NEW BEST:: SOT 64242 SOS 23669 HAS SOPS 23669 HAS SOUS 14879 HAS SOUPS 14879 WITH SCORE 14902.669
AT ITER 2902 NEW BEST:: SOT 64224 SOS 23633 HAS SOPS 23633 HAS SOUS 14844 HAS SOUPS 14844 WITH SCORE 14867.633
AT ITER 2907 NEW BEST:: SOT 64198 SOS 23600 HAS SOPS 23600 HAS SOUS 14806 HAS SOUPS 14806 WITH SCORE 14829.6
AT ITER 2929 NEW BEST:: SOT 64188 SOS 23610 HAS SOPS 23610 HAS SOUS 14790 HAS SOUPS 14790 WITH SCORE 14813.61
AT ITER 2930 NEW BEST:: SOT 64183 SOS 23662 HAS SOPS 23662 HAS SOUS 14780 HAS SOUPS 14780 WITH SCORE 14803.662
AT ITER 2976 NEW BEST:: SOT 64183 SOS 23662 HAS SOPS 23662 HAS SOUS 14761 HAS SOUPS 14761 WITH SCORE 14784.662
AT ITER 2991 NEW BEST:: SOT 64175 SOS 23632 HAS SOPS 23632 HAS SOUS 14745 HAS SOUPS 14745 WITH SCORE 14768.632
AT ITER 3011 NEW BEST:: SOT 64167 SOS 23601 HAS SOPS 23601 HAS SOUS 14729 HAS SOUPS 14729 WITH SCORE 14752.601
AT ITER 3015 NEW BEST:: SOT 64135 SOS 23579 HAS SOPS 23579 HAS SOUS 14726 HAS SOUPS 14726 WITH SCORE 14749.579
AT ITER 3016 NEW BEST:: SOT 64123 SOS 23567 HAS SOPS 23567 HAS SOUS 14714 HAS SOUPS 14714 WITH SCORE 14737.567
AT ITER 3017 NEW BEST:: SOT 64115 SOS 23559 HAS SOPS 23559 HAS SOUS 14698 HAS SOUPS 14698 WITH SCORE 14721.559
AT ITER 3024 NEW BEST:: SOT 64101 SOS 23531 HAS SOPS 23531 HAS SOUS 14670 HAS SOUPS 14670 WITH SCORE 14693.531
AT ITER 3050 NEW BEST:: SOT 64122 SOS 23519 HAS SOPS 23519 HAS SOUS 14658 HAS SOUPS 14658 WITH SCORE 14681.519
AT ITER 3054 NEW BEST:: SOT 64121 SOS 23515 HAS SOPS 23515 HAS SOUS 14656 HAS SOUPS 14656 WITH SCORE 14679.515
AT ITER 3060 NEW BEST:: SOT 64110 SOS 23539 HAS SOPS 23539 HAS SOUS 14634 HAS SOUPS 14634 WITH SCORE 14657.539
AT ITER 3080 NEW BEST:: SOT 64100 SOS 23591 HAS SOPS 23591 HAS SOUS 14624 HAS SOUPS 14624 WITH SCORE 14647.591
AT ITER 3093 NEW BEST:: SOT 64081 SOS 23568 HAS SOPS 23568 HAS SOUS 14596 HAS SOUPS 14596 WITH SCORE 14619.568
AT ITER 3131 NEW BEST:: SOT 63994 SOS 23461 HAS SOPS 23461 HAS SOUS 14509 HAS SOUPS 14509 WITH SCORE 14532.461
AT ITER 3142 NEW BEST:: SOT 63948 SOS 23406 HAS SOPS 23406 HAS SOUS 14479 HAS SOUPS 14479 WITH SCORE 14502.406
AT ITER 3149 NEW BEST:: SOT 63954 SOS 23418 HAS SOPS 23418 HAS SOUS 14466 HAS SOUPS 14466 WITH SCORE 14489.418
AT ITER 3152 NEW BEST:: SOT 63930 SOS 23299 HAS SOPS 23299 HAS SOUS 14402 HAS SOUPS 14402 WITH SCORE 14425.299
AT ITER 3160 NEW BEST:: SOT 63912 SOS 23263 HAS SOPS 23263 HAS SOUS 14380 HAS SOUPS 14380 WITH SCORE 14403.263
AT ITER 3169 NEW BEST:: SOT 63896 SOS 23237 HAS SOPS 23237 HAS SOUS 14354 HAS SOUPS 14354 WITH SCORE 14377.237
AT ITER 3172 NEW BEST:: SOT 63884 SOS 23201 HAS SOPS 23201 HAS SOUS 14342 HAS SOUPS 14342 WITH SCORE 14365.201
AT ITER 3188 NEW BEST:: SOT 63883 SOS 23199 HAS SOPS 23199 HAS SOUS 14340 HAS SOUPS 14340 WITH SCORE 14363.199
AT ITER 3195 NEW BEST:: SOT 63883 SOS 23199 HAS SOPS 23199 HAS SOUS 14327 HAS SOUPS 14327 WITH SCORE 14350.199
AT ITER 3206 NEW BEST:: SOT 63864 SOS 23198 HAS SOPS 23198 HAS SOUS 14306 HAS SOUPS 14306 WITH SCORE 14329.198
AT ITER 3219 NEW BEST:: SOT 63856 SOS 23174 HAS SOPS 23174 HAS SOUS 14290 HAS SOUPS 14290 WITH SCORE 14313.174
AT ITER 3226 NEW BEST:: SOT 63856 SOS 23152 HAS SOPS 23152 HAS SOUS 14290 HAS SOUPS 14290 WITH SCORE 14313.152
AT ITER 3235 NEW BEST:: SOT 63856 SOS 23141 HAS SOPS 23141 HAS SOUS 14290 HAS SOUPS 14290 WITH SCORE 14313.141
AT ITER 3243 NEW BEST:: SOT 63856 SOS 23138 HAS SOPS 23138 HAS SOUS 14287 HAS SOUPS 14287 WITH SCORE 14310.138
AT ITER 3263 NEW BEST:: SOT 63823 SOS 23105 HAS SOPS 23105 HAS SOUS 14284 HAS SOUPS 14284 WITH SCORE 14307.105
AT ITER 3279 NEW BEST:: SOT 63822 SOS 23091 HAS SOPS 23091 HAS SOUS 14282 HAS SOUPS 14282 WITH SCORE 14305.091
AT ITER 3307 NEW BEST:: SOT 63829 SOS 23041 HAS SOPS 23041 HAS SOUS 14232 HAS SOUPS 14232 WITH SCORE 14255.041
AT ITER 3314 NEW BEST:: SOT 63825 SOS 23033 HAS SOPS 23033 HAS SOUS 14203 HAS SOUPS 14203 WITH SCORE 14226.033
AT ITER 3337 NEW BEST:: SOT 63825 SOS 23026 HAS SOPS 23026 HAS SOUS 14203 HAS SOUPS 14203 WITH SCORE 14226.026
AT ITER 3349 NEW BEST:: SOT 63806 SOS 22988 HAS SOPS 22988 HAS SOUS 14164 HAS SOUPS 14164 WITH SCORE 14186.988
AT ITER 3354 NEW BEST:: SOT 63758 SOS 22903 HAS SOPS 22903 HAS SOUS 14131 HAS SOUPS 14131 WITH SCORE 14153.903
AT ITER 3370 NEW BEST:: SOT 63752 SOS 22897 HAS SOPS 22897 HAS SOUS 14125 HAS SOUPS 14125 WITH SCORE 14147.897
AT ITER 3372 NEW BEST:: SOT 63732 SOS 22874 HAS SOPS 22874 HAS SOUS 14099 HAS SOUPS 14099 WITH SCORE 14121.874
AT ITER 3380 NEW BEST:: SOT 63717 SOS 22859 HAS SOPS 22859 HAS SOUS 14084 HAS SOUPS 14084 WITH SCORE 14106.859
AT ITER 3395 NEW BEST:: SOT 63669 SOS 22763 HAS SOPS 22763 HAS SOUS 14036 HAS SOUPS 14036 WITH SCORE 14058.763
AT ITER 3398 NEW BEST:: SOT 63614 SOS 22660 HAS SOPS 22660 HAS SOUS 13974 HAS SOUPS 13974 WITH SCORE 13996.66
AT ITER 3399 NEW BEST:: SOT 63598 SOS 22646 HAS SOPS 22646 HAS SOUS 13951 HAS SOUPS 13951 WITH SCORE 13973.646
AT ITER 3421 NEW BEST:: SOT 63551 SOS 22599 HAS SOPS 22599 HAS SOUS 13928 HAS SOUPS 13928 WITH SCORE 13950.599
AT ITER 3461 NEW BEST:: SOT 63545 SOS 22593 HAS SOPS 22593 HAS SOUS 13919 HAS SOUPS 13919 WITH SCORE 13941.593
AT ITER 3476 NEW BEST:: SOT 63537 SOS 22577 HAS SOPS 22577 HAS SOUS 13919 HAS SOUPS 13919 WITH SCORE 13941.577
AT ITER 3488 NEW BEST:: SOT 63539 SOS 22566 HAS SOPS 22566 HAS SOUS 13900 HAS SOUPS 13900 WITH SCORE 13922.566
AT ITER 3497 NEW BEST:: SOT 63540 SOS 22546 HAS SOPS 22546 HAS SOUS 13880 HAS SOUPS 13880 WITH SCORE 13902.546
AT ITER 3509 NEW BEST:: SOT 63527 SOS 22533 HAS SOPS 22533 HAS SOUS 13867 HAS SOUPS 13867 WITH SCORE 13889.533
AT ITER 3569 NEW BEST:: SOT 63500 SOS 22459 HAS SOPS 22459 HAS SOUS 13813 HAS SOUPS 13813 WITH SCORE 13835.459
AT ITER 3592 NEW BEST:: SOT 63500 SOS 22445 HAS SOPS 22445 HAS SOUS 13799 HAS SOUPS 13799 WITH SCORE 13821.445
AT ITER 3612 NEW BEST:: SOT 63497 SOS 22439 HAS SOPS 22439 HAS SOUS 13788 HAS SOUPS 13788 WITH SCORE 13810.439
AT ITER 3627 NEW BEST:: SOT 63474 SOS 22416 HAS SOPS 22416 HAS SOUS 13742 HAS SOUPS 13742 WITH SCORE 13764.416
AT ITER 3629 NEW BEST:: SOT 63474 SOS 22416 HAS SOPS 22416 HAS SOUS 13735 HAS SOUPS 13735 WITH SCORE 13757.416
AT ITER 3658 NEW BEST:: SOT 63469 SOS 22406 HAS SOPS 22406 HAS SOUS 13725 HAS SOUPS 13725 WITH SCORE 13747.406
AT ITER 3668 NEW BEST:: SOT 63465 SOS 22389 HAS SOPS 22389 HAS SOUS 13717 HAS SOUPS 13717 WITH SCORE 13739.389
AT ITER 3686 NEW BEST:: SOT 63458 SOS 22375 HAS SOPS 22375 HAS SOUS 13703 HAS SOUPS 13703 WITH SCORE 13725.375
AT ITER 3696 NEW BEST:: SOT 63457 SOS 22374 HAS SOPS 22374 HAS SOUS 13702 HAS SOUPS 13702 WITH SCORE 13724.374
AT ITER 3703 NEW BEST:: SOT 63442 SOS 22359 HAS SOPS 22359 HAS SOUS 13672 HAS SOUPS 13672 WITH SCORE 13694.359
AT ITER 3719 NEW BEST:: SOT 63428 SOS 22359 HAS SOPS 22359 HAS SOUS 13658 HAS SOUPS 13658 WITH SCORE 13680.359
AT ITER 3727 NEW BEST:: SOT 63416 SOS 22347 HAS SOPS 22347 HAS SOUS 13647 HAS SOUPS 13647 WITH SCORE 13669.347
AT ITER 3728 NEW BEST:: SOT 63408 SOS 22330 HAS SOPS 22330 HAS SOUS 13634 HAS SOUPS 13634 WITH SCORE 13656.33
AT ITER 3740 NEW BEST:: SOT 63383 SOS 22323 HAS SOPS 22323 HAS SOUS 13627 HAS SOUPS 13627 WITH SCORE 13649.323
AT ITER 3748 NEW BEST:: SOT 63330 SOS 22174 HAS SOPS 22174 HAS SOUS 13617 HAS SOUPS 13617 WITH SCORE 13639.174
AT ITER 3783 NEW BEST:: SOT 63307 SOS 22151 HAS SOPS 22151 HAS SOUS 13611 HAS SOUPS 13611 WITH SCORE 13633.151
AT ITER 3791 NEW BEST:: SOT 63217 SOS 21993 HAS SOPS 21993 HAS SOUS 13610 HAS SOUPS 13610 WITH SCORE 13631.993
AT ITER 3829 NEW BEST:: SOT 63217 SOS 21993 HAS SOPS 21993 HAS SOUS 13609 HAS SOUPS 13609 WITH SCORE 13630.993
AT ITER 3848 NEW BEST:: SOT 63181 SOS 21983 HAS SOPS 21983 HAS SOUS 13599 HAS SOUPS 13599 WITH SCORE 13620.983
AT ITER 3852 NEW BEST:: SOT 63181 SOS 21975 HAS SOPS 21975 HAS SOUS 13599 HAS SOUPS 13599 WITH SCORE 13620.975
AT ITER 3861 NEW BEST:: SOT 63178 SOS 21969 HAS SOPS 21969 HAS SOUS 13593 HAS SOUPS 13593 WITH SCORE 13614.969
AT ITER 3943 NEW BEST:: SOT 63175 SOS 21964 HAS SOPS 21964 HAS SOUS 13591 HAS SOUPS 13591 WITH SCORE 13612.964
AT ITER 3968 NEW BEST:: SOT 63173 SOS 21960 HAS SOPS 21960 HAS SOUS 13585 HAS SOUPS 13585 WITH SCORE 13606.96
AT ITER 3974 NEW BEST:: SOT 63126 SOS 21867 HAS SOPS 21867 HAS SOUS 13547 HAS SOUPS 13547 WITH SCORE 13568.867
AT ITER 3983 NEW BEST:: SOT 63118 SOS 21851 HAS SOPS 21851 HAS SOUS 13531 HAS SOUPS 13531 WITH SCORE 13552.851
AT ITER 3989 NEW BEST:: SOT 63098 SOS 21811 HAS SOPS 21811 HAS SOUS 13491 HAS SOUPS 13491 WITH SCORE 13512.811
AT ITER 4004 NEW BEST:: SOT 63090 SOS 21804 HAS SOPS 21804 HAS SOUS 13484 HAS SOUPS 13484 WITH SCORE 13505.804
AT ITER 4017 NEW BEST:: SOT 63087 SOS 21785 HAS SOPS 21785 HAS SOUS 13474 HAS SOUPS 13474 WITH SCORE 13495.785
AT ITER 4032 NEW BEST:: SOT 63079 SOS 21779 HAS SOPS 21779 HAS SOUS 13458 HAS SOUPS 13458 WITH SCORE 13479.779
AT ITER 4047 NEW BEST:: SOT 63077 SOS 21775 HAS SOPS 21775 HAS SOUS 13454 HAS SOUPS 13454 WITH SCORE 13475.775
AT ITER 4058 NEW BEST:: SOT 63061 SOS 21743 HAS SOPS 21743 HAS SOUS 13422 HAS SOUPS 13422 WITH SCORE 13443.743
AT ITER 4059 NEW BEST:: SOT 63044 SOS 21727 HAS SOPS 21727 HAS SOUS 13406 HAS SOUPS 13406 WITH SCORE 13427.727
AT ITER 4066 NEW BEST:: SOT 63042 SOS 21701 HAS SOPS 21701 HAS SOUS 13402 HAS SOUPS 13402 WITH SCORE 13423.701
AT ITER 4102 NEW BEST:: SOT 63034 SOS 21677 HAS SOPS 21677 HAS SOUS 13386 HAS SOUPS 13386 WITH SCORE 13407.677
AT ITER 4103 NEW BEST:: SOT 63001 SOS 21642 HAS SOPS 21642 HAS SOUS 13318 HAS SOUPS 13318 WITH SCORE 13339.642
AT ITER 4119 NEW BEST:: SOT 62985 SOS 21689 HAS SOPS 21689 HAS SOUS 13286 HAS SOUPS 13286 WITH SCORE 13307.689
AT ITER 4139 NEW BEST:: SOT 62966 SOS 21670 HAS SOPS 21670 HAS SOUS 13248 HAS SOUPS 13248 WITH SCORE 13269.67
AT ITER 4159 NEW BEST:: SOT 62952 SOS 21651 HAS SOPS 21651 HAS SOUS 13238 HAS SOUPS 13238 WITH SCORE 13259.651
AT ITER 4183 NEW BEST:: SOT 62948 SOS 21643 HAS SOPS 21643 HAS SOUS 13230 HAS SOUPS 13230 WITH SCORE 13251.643
AT ITER 4187 NEW BEST:: SOT 62942 SOS 21637 HAS SOPS 21637 HAS SOUS 13221 HAS SOUPS 13221 WITH SCORE 13242.637
AT ITER 4202 NEW BEST:: SOT 62942 SOS 21621 HAS SOPS 21621 HAS SOUS 13221 HAS SOUPS 13221 WITH SCORE 13242.621
AT ITER 4207 NEW BEST:: SOT 62942 SOS 21616 HAS SOPS 21616 HAS SOUS 13221 HAS SOUPS 13221 WITH SCORE 13242.616
AT ITER 4232 NEW BEST:: SOT 62915 SOS 21601 HAS SOPS 21601 HAS SOUS 13189 HAS SOUPS 13189 WITH SCORE 13210.601
AT ITER 4235 NEW BEST:: SOT 62900 SOS 21600 HAS SOPS 21600 HAS SOUS 13176 HAS SOUPS 13176 WITH SCORE 13197.6
AT ITER 4273 NEW BEST:: SOT 62893 SOS 21586 HAS SOPS 21586 HAS SOUS 13162 HAS SOUPS 13162 WITH SCORE 13183.586
AT ITER 4320 NEW BEST:: SOT 62893 SOS 21586 HAS SOPS 21586 HAS SOUS 13161 HAS SOUPS 13161 WITH SCORE 13182.586
AT ITER 4324 NEW BEST:: SOT 62893 SOS 21560 HAS SOPS 21560 HAS SOUS 13161 HAS SOUPS 13161 WITH SCORE 13182.56
AT ITER 4377 NEW BEST:: SOT 62877 SOS 21528 HAS SOPS 21528 HAS SOUS 13129 HAS SOUPS 13129 WITH SCORE 13150.528
AT ITER 4385 NEW BEST:: SOT 62877 SOS 21452 HAS SOPS 21452 HAS SOUS 13129 HAS SOUPS 13129 WITH SCORE 13150.452
AT ITER 4392 NEW BEST:: SOT 62865 SOS 21428 HAS SOPS 21428 HAS SOUS 13117 HAS SOUPS 13117 WITH SCORE 13138.428
AT ITER 4401 NEW BEST:: SOT 62845 SOS 21408 HAS SOPS 21408 HAS SOUS 13077 HAS SOUPS 13077 WITH SCORE 13098.408
AT ITER 4408 NEW BEST:: SOT 62842 SOS 21405 HAS SOPS 21405 HAS SOUS 13071 HAS SOUPS 13071 WITH SCORE 13092.405
AT ITER 4417 NEW BEST:: SOT 62842 SOS 21396 HAS SOPS 21396 HAS SOUS 13062 HAS SOUPS 13062 WITH SCORE 13083.396
AT ITER 4423 NEW BEST:: SOT 62902 SOS 21414 HAS SOPS 21414 HAS SOUS 13054 HAS SOUPS 13054 WITH SCORE 13075.414
AT ITER 4424 NEW BEST:: SOT 62896 SOS 21401 HAS SOPS 21401 HAS SOUS 13043 HAS SOUPS 13043 WITH SCORE 13064.401
AT ITER 4440 NEW BEST:: SOT 62896 SOS 21396 HAS SOPS 21396 HAS SOUS 13043 HAS SOUPS 13043 WITH SCORE 13064.396
AT ITER 4477 NEW BEST:: SOT 62877 SOS 21390 HAS SOPS 21390 HAS SOUS 13037 HAS SOUPS 13037 WITH SCORE 13058.39
AT ITER 4484 NEW BEST:: SOT 62853 SOS 21374 HAS SOPS 21374 HAS SOUS 13032 HAS SOUPS 13032 WITH SCORE 13053.374
AT ITER 4493 NEW BEST:: SOT 62840 SOS 21339 HAS SOPS 21339 HAS SOUS 12998 HAS SOUPS 12998 WITH SCORE 13019.339
AT ITER 4504 NEW BEST:: SOT 62838 SOS 21337 HAS SOPS 21337 HAS SOUS 12996 HAS SOUPS 12996 WITH SCORE 13017.337
AT ITER 4514 NEW BEST:: SOT 62835 SOS 21331 HAS SOPS 21331 HAS SOUS 12990 HAS SOUPS 12990 WITH SCORE 13011.331
AT ITER 4530 NEW BEST:: SOT 62829 SOS 21319 HAS SOPS 21319 HAS SOUS 12983 HAS SOUPS 12983 WITH SCORE 13004.319
AT ITER 4535 NEW BEST:: SOT 62829 SOS 21315 HAS SOPS 21315 HAS SOUS 12983 HAS SOUPS 12983 WITH SCORE 13004.315
AT ITER 4602 NEW BEST:: SOT 62824 SOS 21326 HAS SOPS 21326 HAS SOUS 12981 HAS SOUPS 12981 WITH SCORE 13002.326
AT ITER 4610 NEW BEST:: SOT 62822 SOS 21322 HAS SOPS 21322 HAS SOUS 12977 HAS SOUPS 12977 WITH SCORE 12998.322
AT ITER 4650 NEW BEST:: SOT 62820 SOS 21316 HAS SOPS 21316 HAS SOUS 12966 HAS SOUPS 12966 WITH SCORE 12987.316
AT ITER 4663 NEW BEST:: SOT 62809 SOS 21305 HAS SOPS 21305 HAS SOUS 12944 HAS SOUPS 12944 WITH SCORE 12965.305
AT ITER 4686 NEW BEST:: SOT 62809 SOS 21305 HAS SOPS 21305 HAS SOUS 12914 HAS SOUPS 12914 WITH SCORE 12935.305
AT ITER 4689 NEW BEST:: SOT 62804 SOS 21296 HAS SOPS 21296 HAS SOUS 12905 HAS SOUPS 12905 WITH SCORE 12926.296
AT ITER 4787 NEW BEST:: SOT 62839 SOS 21438 HAS SOPS 21438 HAS SOUS 12896 HAS SOUPS 12896 WITH SCORE 12917.438
AT ITER 4789 NEW BEST:: SOT 62824 SOS 21376 HAS SOPS 21376 HAS SOUS 12891 HAS SOUPS 12891 WITH SCORE 12912.376
AT ITER 4802 NEW BEST:: SOT 62822 SOS 21372 HAS SOPS 21372 HAS SOUS 12887 HAS SOUPS 12887 WITH SCORE 12908.372
AT ITER 4839 NEW BEST:: SOT 62825 SOS 21365 HAS SOPS 21365 HAS SOUS 12880 HAS SOUPS 12880 WITH SCORE 12901.365
AT ITER 4894 NEW BEST:: SOT 62816 SOS 21347 HAS SOPS 21347 HAS SOUS 12862 HAS SOUPS 12862 WITH SCORE 12883.347
AT ITER 4897 NEW BEST:: SOT 62812 SOS 21343 HAS SOPS 21343 HAS SOUS 12854 HAS SOUPS 12854 WITH SCORE 12875.343
AT ITER 4914 NEW BEST:: SOT 62789 SOS 21297 HAS SOPS 21297 HAS SOUS 12809 HAS SOUPS 12809 WITH SCORE 12830.297
AT ITER 4952 NEW BEST:: SOT 62773 SOS 21273 HAS SOPS 21273 HAS SOUS 12785 HAS SOUPS 12785 WITH SCORE 12806.273
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DiscoveryGPU-PT-11b-CTLCardinality-00 ( (AG( (! ( potential( ( 1 ) <= (tk(P176)) ) | potential( ( 3 ) <= (tk(P226)) ) )))) & (AF((EG( potential( ( 1 ) <= (tk(P77)) ))))) )
PROPERTY: DiscoveryGPU-PT-11b-CTLCardinality-01 ( ( (AG( (! potential( ( 3 ) <= (tk(P236)) )))) & potential( (tk(P293)) <= (tk(P279)) ) ) | (EG( potential( ( 1 ) <= (tk(P113)) ))) )
PROPERTY: DiscoveryGPU-PT-11b-CTLCardinality-02 (AF((! (! (! potential( (tk(P160)) <= (tk(P288)) ))))))
PROPERTY: DiscoveryGPU-PT-11b-CTLCardinality-03 (EF(( (EG( potential( (tk(P199)) <= (tk(P92)) ))) | ( ( potential( (tk(P210)) <= (tk(P41)) ) | potential( ( 3 ) <= (tk(P320)) ) ) & ( potential( ( 3 ) <= (tk(P277)) ) | potential( ( 1 ) <= (tk(P55)) ) ) ) )))
PROPERTY: DiscoveryGPU-PT-11b-CTLCardinality-04 (AF((EF(( potential( (tk(P61)) <= (tk(P196)) ) & potential( ( 2 ) <= (tk(P293)) ) )))))
PROPERTY: DiscoveryGPU-PT-11b-CTLCardinality-05 (EU( (AX( potential( (tk(P279)) <= (tk(P299)) ))),( ( potential( ( 3 ) <= (tk(P198)) ) | potential( ( 3 ) <= (tk(P233)) ) ) & potential( (tk(P4)) <= (tk(P139)) ) ) ))
PROPERTY: DiscoveryGPU-PT-11b-CTLCardinality-06 (EU( (! ( potential( ( 1 ) <= (tk(P254)) ) | potential( ( 2 ) <= (tk(P284)) ) )),(EG( potential( (tk(P234)) <= (tk(P33)) ))) ))
PROPERTY: DiscoveryGPU-PT-11b-CTLCardinality-07 (EU( ( ( potential( (tk(P189)) <= (tk(P175)) ) & potential( ( 1 ) <= (tk(P25)) ) ) | (! potential( ( 3 ) <= (tk(P140)) )) ),( ( potential( ( 3 ) <= (tk(P225)) ) | potential( (tk(P242)) <= (tk(P205)) ) ) & potential( ( 2 ) <= (tk(P222)) ) ) ))
PROPERTY: DiscoveryGPU-PT-11b-CTLCardinality-08 (! (EU( ( potential( (tk(P52)) <= (tk(P311)) ) | potential( ( 3 ) <= (tk(P68)) ) ),potential( ( 1 ) <= (tk(P17)) ) )))
PROPERTY: DiscoveryGPU-PT-11b-CTLCardinality-09 (AG( (EX( potential( (tk(P37)) <= (tk(P67)) )))))
PROPERTY: DiscoveryGPU-PT-11b-CTLCardinality-10 (AU( (EF(potential( ( 2 ) <= (tk(P35)) ))),( (! potential( (tk(P107)) <= (tk(P10)) )) & ( potential( ( 3 ) <= (tk(P265)) ) | potential( (tk(P38)) <= (tk(P305)) ) ) ) ))
PROPERTY: DiscoveryGPU-PT-11b-CTLCardinality-11 (EG( (EX( ( potential( (tk(P218)) <= (tk(P260)) ) | potential( (tk(P218)) <= (tk(P169)) ) )))))
PROPERTY: DiscoveryGPU-PT-11b-CTLCardinality-12 ( (! potential( ( 1 ) <= (tk(P116)) )) & (EG( (EX( potential( (tk(P270)) <= (tk(P198)) ))))) )
PROPERTY: DiscoveryGPU-PT-11b-CTLCardinality-13 ( (! ( (AF(potential( ( 3 ) <= (tk(P64)) ))) & (AF(potential( ( 2 ) <= (tk(P32)) ))) )) | ( potential( ( 1 ) <= (tk(P44)) ) & potential( ( 2 ) <= (tk(P211)) ) ) )
PROPERTY: DiscoveryGPU-PT-11b-CTLCardinality-14 ( (AG( ( ( potential( (tk(P318)) <= (tk(P244)) ) | potential( (tk(P189)) <= (tk(P147)) ) ) | potential( (tk(P33)) <= (tk(P41)) ) ))) | (EX( (AG( potential( (tk(P202)) <= (tk(P292)) ))))) )
PROPERTY: DiscoveryGPU-PT-11b-CTLCardinality-15 (AF(potential( ( 1 ) <= (tk(P230)) )))

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-11b"
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-11b, 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-158922807800675"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DiscoveryGPU-PT-11b.tgz
mv DiscoveryGPU-PT-11b 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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;