About the Execution of smart for DiscoveryGPU-PT-14b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15765.700 | 3600000.00 | 3600019.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-158922807900723.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-14b, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922807900723
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 276K
-rw-r--r-- 1 mcc users 2.8K Mar 31 07:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 31 07:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 30 00:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 30 00:19 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.2K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 28 14:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 28 14:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 27 07:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 27 07:44 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 104K 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-14b-CTLCardinality-00
FORMULA_NAME DiscoveryGPU-PT-14b-CTLCardinality-01
FORMULA_NAME DiscoveryGPU-PT-14b-CTLCardinality-02
FORMULA_NAME DiscoveryGPU-PT-14b-CTLCardinality-03
FORMULA_NAME DiscoveryGPU-PT-14b-CTLCardinality-04
FORMULA_NAME DiscoveryGPU-PT-14b-CTLCardinality-05
FORMULA_NAME DiscoveryGPU-PT-14b-CTLCardinality-06
FORMULA_NAME DiscoveryGPU-PT-14b-CTLCardinality-07
FORMULA_NAME DiscoveryGPU-PT-14b-CTLCardinality-08
FORMULA_NAME DiscoveryGPU-PT-14b-CTLCardinality-09
FORMULA_NAME DiscoveryGPU-PT-14b-CTLCardinality-10
FORMULA_NAME DiscoveryGPU-PT-14b-CTLCardinality-11
FORMULA_NAME DiscoveryGPU-PT-14b-CTLCardinality-12
FORMULA_NAME DiscoveryGPU-PT-14b-CTLCardinality-13
FORMULA_NAME DiscoveryGPU-PT-14b-CTLCardinality-14
FORMULA_NAME DiscoveryGPU-PT-14b-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1589364394221
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 14b
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: 408 places, 434 transitions, 1135 arcs.
AT ITER 0 NEW BEST:: SOT 123878 SOS 59654 HAS SOPS 59654 HAS SOUS 52666 HAS SOUPS 52666 WITH SCORE 52725.654
AT ITER 4 NEW BEST:: SOT 123762 SOS 59513 HAS SOPS 59513 HAS SOUS 52525 HAS SOUPS 52525 WITH SCORE 52584.513
AT ITER 16 NEW BEST:: SOT 123638 SOS 59141 HAS SOPS 59141 HAS SOUS 52401 HAS SOUPS 52401 WITH SCORE 52460.141
AT ITER 17 NEW BEST:: SOT 123590 SOS 59045 HAS SOPS 59045 HAS SOUS 52351 HAS SOUPS 52351 WITH SCORE 52410.045
AT ITER 22 NEW BEST:: SOT 123436 SOS 58867 HAS SOPS 58867 HAS SOUS 52126 HAS SOUPS 52126 WITH SCORE 52184.867
AT ITER 30 NEW BEST:: SOT 123268 SOS 58583 HAS SOPS 58583 HAS SOUS 51873 HAS SOUPS 51873 WITH SCORE 51931.583
AT ITER 31 NEW BEST:: SOT 123255 SOS 58454 HAS SOPS 58454 HAS SOUS 51842 HAS SOUPS 51842 WITH SCORE 51900.454
AT ITER 32 NEW BEST:: SOT 123038 SOS 58185 HAS SOPS 58185 HAS SOUS 51529 HAS SOUPS 51529 WITH SCORE 51587.185
AT ITER 35 NEW BEST:: SOT 122838 SOS 57850 HAS SOPS 57850 HAS SOUS 51228 HAS SOUPS 51228 WITH SCORE 51285.85
AT ITER 41 NEW BEST:: SOT 122644 SOS 57607 HAS SOPS 57607 HAS SOUS 50981 HAS SOUPS 50981 WITH SCORE 51038.607
AT ITER 44 NEW BEST:: SOT 122494 SOS 57387 HAS SOPS 57387 HAS SOUS 50761 HAS SOUPS 50761 WITH SCORE 50818.387
AT ITER 46 NEW BEST:: SOT 122461 SOS 57377 HAS SOPS 57377 HAS SOUS 50751 HAS SOUPS 50751 WITH SCORE 50808.377
AT ITER 58 NEW BEST:: SOT 122254 SOS 57026 HAS SOPS 57026 HAS SOUS 50512 HAS SOUPS 50512 WITH SCORE 50569.026
AT ITER 61 NEW BEST:: SOT 122033 SOS 56821 HAS SOPS 56821 HAS SOUS 50328 HAS SOUPS 50328 WITH SCORE 50384.821
AT ITER 63 NEW BEST:: SOT 122033 SOS 56725 HAS SOPS 56725 HAS SOUS 50232 HAS SOUPS 50232 WITH SCORE 50288.725
AT ITER 69 NEW BEST:: SOT 120880 SOS 58158 HAS SOPS 58158 HAS SOUS 49506 HAS SOUPS 49506 WITH SCORE 49564.158
AT ITER 70 NEW BEST:: SOT 120880 SOS 58158 HAS SOPS 58158 HAS SOUS 49502 HAS SOUPS 49502 WITH SCORE 49560.158
AT ITER 74 NEW BEST:: SOT 120852 SOS 58102 HAS SOPS 58102 HAS SOUS 49472 HAS SOUPS 49472 WITH SCORE 49530.102
AT ITER 77 NEW BEST:: SOT 120734 SOS 58051 HAS SOPS 58051 HAS SOUS 49342 HAS SOUPS 49342 WITH SCORE 49400.051
AT ITER 79 NEW BEST:: SOT 120618 SOS 57681 HAS SOPS 57681 HAS SOUS 49110 HAS SOUPS 49110 WITH SCORE 49167.681
AT ITER 87 NEW BEST:: SOT 120527 SOS 57499 HAS SOPS 57499 HAS SOUS 49017 HAS SOUPS 49017 WITH SCORE 49074.499
AT ITER 90 NEW BEST:: SOT 120445 SOS 57376 HAS SOPS 57376 HAS SOUS 48894 HAS SOUPS 48894 WITH SCORE 48951.376
AT ITER 109 NEW BEST:: SOT 120431 SOS 57379 HAS SOPS 57379 HAS SOUS 48880 HAS SOUPS 48880 WITH SCORE 48937.379
AT ITER 111 NEW BEST:: SOT 120468 SOS 57291 HAS SOPS 57291 HAS SOUS 48705 HAS SOUPS 48705 WITH SCORE 48762.291
AT ITER 112 NEW BEST:: SOT 120410 SOS 57175 HAS SOPS 57175 HAS SOUS 48616 HAS SOUPS 48616 WITH SCORE 48673.175
AT ITER 116 NEW BEST:: SOT 120308 SOS 56885 HAS SOPS 56885 HAS SOUS 48326 HAS SOUPS 48326 WITH SCORE 48382.885
AT ITER 131 NEW BEST:: SOT 120308 SOS 56884 HAS SOPS 56884 HAS SOUS 48326 HAS SOUPS 48326 WITH SCORE 48382.884
AT ITER 135 NEW BEST:: SOT 120147 SOS 56461 HAS SOPS 56461 HAS SOUS 48004 HAS SOUPS 48004 WITH SCORE 48060.461
AT ITER 142 NEW BEST:: SOT 120058 SOS 56372 HAS SOPS 56372 HAS SOUS 47915 HAS SOUPS 47915 WITH SCORE 47971.372
AT ITER 149 NEW BEST:: SOT 120001 SOS 56364 HAS SOPS 56364 HAS SOUS 47907 HAS SOUPS 47907 WITH SCORE 47963.364
AT ITER 151 NEW BEST:: SOT 119889 SOS 56331 HAS SOPS 56331 HAS SOUS 47842 HAS SOUPS 47842 WITH SCORE 47898.331
AT ITER 154 NEW BEST:: SOT 119899 SOS 56268 HAS SOPS 56268 HAS SOUS 47779 HAS SOUPS 47779 WITH SCORE 47835.268
AT ITER 156 NEW BEST:: SOT 119899 SOS 56238 HAS SOPS 56238 HAS SOUS 47779 HAS SOUPS 47779 WITH SCORE 47835.238
AT ITER 158 NEW BEST:: SOT 119899 SOS 56215 HAS SOPS 56215 HAS SOUS 47778 HAS SOUPS 47778 WITH SCORE 47834.215
AT ITER 167 NEW BEST:: SOT 119577 SOS 55732 HAS SOPS 55732 HAS SOUS 47295 HAS SOUPS 47295 WITH SCORE 47350.732
AT ITER 170 NEW BEST:: SOT 119521 SOS 54278 HAS SOPS 54278 HAS SOUS 47192 HAS SOUPS 47192 WITH SCORE 47246.278
AT ITER 177 NEW BEST:: SOT 119528 SOS 54245 HAS SOPS 54245 HAS SOUS 47159 HAS SOUPS 47159 WITH SCORE 47213.245
AT ITER 178 NEW BEST:: SOT 119476 SOS 54205 HAS SOPS 54205 HAS SOUS 47132 HAS SOUPS 47132 WITH SCORE 47186.205
AT ITER 180 NEW BEST:: SOT 119476 SOS 54095 HAS SOPS 54095 HAS SOUS 47123 HAS SOUPS 47123 WITH SCORE 47177.095
AT ITER 183 NEW BEST:: SOT 119455 SOS 54053 HAS SOPS 54053 HAS SOUS 47081 HAS SOUPS 47081 WITH SCORE 47135.053
AT ITER 192 NEW BEST:: SOT 119421 SOS 53991 HAS SOPS 53991 HAS SOUS 47054 HAS SOUPS 47054 WITH SCORE 47107.991
AT ITER 202 NEW BEST:: SOT 119397 SOS 53913 HAS SOPS 53913 HAS SOUS 46976 HAS SOUPS 46976 WITH SCORE 47029.913
AT ITER 217 NEW BEST:: SOT 114611 SOS 55028 HAS SOPS 55028 HAS SOUS 42463 HAS SOUPS 42463 WITH SCORE 42518.028
AT ITER 228 NEW BEST:: SOT 114528 SOS 54734 HAS SOPS 54734 HAS SOUS 42252 HAS SOUPS 42252 WITH SCORE 42306.734
AT ITER 235 NEW BEST:: SOT 114428 SOS 54500 HAS SOPS 54500 HAS SOUS 42018 HAS SOUPS 42018 WITH SCORE 42072.5
AT ITER 247 NEW BEST:: SOT 114409 SOS 54443 HAS SOPS 54443 HAS SOUS 41999 HAS SOUPS 41999 WITH SCORE 42053.443
AT ITER 248 NEW BEST:: SOT 114405 SOS 54435 HAS SOPS 54435 HAS SOUS 41991 HAS SOUPS 41991 WITH SCORE 42045.435
AT ITER 251 NEW BEST:: SOT 114399 SOS 54419 HAS SOPS 54419 HAS SOUS 41984 HAS SOUPS 41984 WITH SCORE 42038.419
AT ITER 252 NEW BEST:: SOT 114347 SOS 54316 HAS SOPS 54316 HAS SOUS 41880 HAS SOUPS 41880 WITH SCORE 41934.316
AT ITER 254 NEW BEST:: SOT 114322 SOS 54240 HAS SOPS 54240 HAS SOUS 41830 HAS SOUPS 41830 WITH SCORE 41884.24
AT ITER 258 NEW BEST:: SOT 114209 SOS 54014 HAS SOPS 54014 HAS SOUS 41741 HAS SOUPS 41741 WITH SCORE 41795.014
AT ITER 260 NEW BEST:: SOT 114039 SOS 53758 HAS SOPS 53758 HAS SOUS 41546 HAS SOUPS 41546 WITH SCORE 41599.758
AT ITER 261 NEW BEST:: SOT 114060 SOS 53669 HAS SOPS 53669 HAS SOUS 41457 HAS SOUPS 41457 WITH SCORE 41510.669
AT ITER 262 NEW BEST:: SOT 114125 SOS 53512 HAS SOPS 53512 HAS SOUS 41301 HAS SOUPS 41301 WITH SCORE 41354.512
AT ITER 264 NEW BEST:: SOT 114125 SOS 53495 HAS SOPS 53495 HAS SOUS 41301 HAS SOUPS 41301 WITH SCORE 41354.495
AT ITER 268 NEW BEST:: SOT 113946 SOS 53227 HAS SOPS 53227 HAS SOUS 41119 HAS SOUPS 41119 WITH SCORE 41172.227
AT ITER 275 NEW BEST:: SOT 113906 SOS 53187 HAS SOPS 53187 HAS SOUS 41039 HAS SOUPS 41039 WITH SCORE 41092.187
AT ITER 288 NEW BEST:: SOT 113881 SOS 53162 HAS SOPS 53162 HAS SOUS 41013 HAS SOUPS 41013 WITH SCORE 41066.162
AT ITER 289 NEW BEST:: SOT 113720 SOS 52921 HAS SOPS 52921 HAS SOUS 40768 HAS SOUPS 40768 WITH SCORE 40820.921
AT ITER 292 NEW BEST:: SOT 113719 SOS 52920 HAS SOPS 52920 HAS SOUS 40766 HAS SOUPS 40766 WITH SCORE 40818.92
AT ITER 293 NEW BEST:: SOT 113685 SOS 52961 HAS SOPS 52961 HAS SOUS 40699 HAS SOUPS 40699 WITH SCORE 40751.961
AT ITER 300 NEW BEST:: SOT 113630 SOS 52851 HAS SOPS 52851 HAS SOUS 40534 HAS SOUPS 40534 WITH SCORE 40586.851
AT ITER 311 NEW BEST:: SOT 113677 SOS 52767 HAS SOPS 52767 HAS SOUS 40451 HAS SOUPS 40451 WITH SCORE 40503.767
AT ITER 312 NEW BEST:: SOT 113658 SOS 52710 HAS SOPS 52710 HAS SOUS 40413 HAS SOUPS 40413 WITH SCORE 40465.71
AT ITER 321 NEW BEST:: SOT 113721 SOS 52742 HAS SOPS 52742 HAS SOUS 40385 HAS SOUPS 40385 WITH SCORE 40437.742
AT ITER 322 NEW BEST:: SOT 113591 SOS 52642 HAS SOPS 52642 HAS SOUS 40285 HAS SOUPS 40285 WITH SCORE 40337.642
AT ITER 329 NEW BEST:: SOT 113587 SOS 52581 HAS SOPS 52581 HAS SOUS 40170 HAS SOUPS 40170 WITH SCORE 40222.581
AT ITER 330 NEW BEST:: SOT 113607 SOS 52421 HAS SOPS 52421 HAS SOUS 40063 HAS SOUPS 40063 WITH SCORE 40115.421
AT ITER 334 NEW BEST:: SOT 113421 SOS 52142 HAS SOPS 52142 HAS SOUS 39877 HAS SOUPS 39877 WITH SCORE 39929.142
AT ITER 336 NEW BEST:: SOT 113395 SOS 52116 HAS SOPS 52116 HAS SOUS 39825 HAS SOUPS 39825 WITH SCORE 39877.116
AT ITER 338 NEW BEST:: SOT 113381 SOS 52088 HAS SOPS 52088 HAS SOUS 39811 HAS SOUPS 39811 WITH SCORE 39863.088
AT ITER 339 NEW BEST:: SOT 113359 SOS 51875 HAS SOPS 51875 HAS SOUS 39626 HAS SOUPS 39626 WITH SCORE 39677.875
AT ITER 343 NEW BEST:: SOT 113317 SOS 51791 HAS SOPS 51791 HAS SOUS 39541 HAS SOUPS 39541 WITH SCORE 39592.791
AT ITER 344 NEW BEST:: SOT 113308 SOS 51903 HAS SOPS 51903 HAS SOUS 39528 HAS SOUPS 39528 WITH SCORE 39579.903
AT ITER 354 NEW BEST:: SOT 113308 SOS 51844 HAS SOPS 51844 HAS SOUS 39528 HAS SOUPS 39528 WITH SCORE 39579.844
AT ITER 360 NEW BEST:: SOT 113270 SOS 51768 HAS SOPS 51768 HAS SOUS 39452 HAS SOUPS 39452 WITH SCORE 39503.768
AT ITER 361 NEW BEST:: SOT 113267 SOS 51762 HAS SOPS 51762 HAS SOUS 39449 HAS SOUPS 39449 WITH SCORE 39500.762
AT ITER 368 NEW BEST:: SOT 113291 SOS 51810 HAS SOPS 51810 HAS SOUS 39377 HAS SOUPS 39377 WITH SCORE 39428.81
AT ITER 378 NEW BEST:: SOT 113290 SOS 51809 HAS SOPS 51809 HAS SOUS 39375 HAS SOUPS 39375 WITH SCORE 39426.809
AT ITER 381 NEW BEST:: SOT 113278 SOS 51785 HAS SOPS 51785 HAS SOUS 39351 HAS SOUPS 39351 WITH SCORE 39402.785
AT ITER 386 NEW BEST:: SOT 113253 SOS 51745 HAS SOPS 51745 HAS SOUS 39301 HAS SOUPS 39301 WITH SCORE 39352.745
AT ITER 387 NEW BEST:: SOT 113180 SOS 51672 HAS SOPS 51672 HAS SOUS 39228 HAS SOUPS 39228 WITH SCORE 39279.672
AT ITER 393 NEW BEST:: SOT 113180 SOS 51667 HAS SOPS 51667 HAS SOUS 39223 HAS SOUPS 39223 WITH SCORE 39274.667
AT ITER 397 NEW BEST:: SOT 113104 SOS 51591 HAS SOPS 51591 HAS SOUS 39170 HAS SOUPS 39170 WITH SCORE 39221.591
AT ITER 414 NEW BEST:: SOT 113072 SOS 51534 HAS SOPS 51534 HAS SOUS 39094 HAS SOUPS 39094 WITH SCORE 39145.534
AT ITER 418 NEW BEST:: SOT 113040 SOS 51470 HAS SOPS 51470 HAS SOUS 39062 HAS SOUPS 39062 WITH SCORE 39113.47
AT ITER 435 NEW BEST:: SOT 113026 SOS 51442 HAS SOPS 51442 HAS SOUS 39058 HAS SOUPS 39058 WITH SCORE 39109.442
AT ITER 437 NEW BEST:: SOT 113031 SOS 51286 HAS SOPS 51286 HAS SOUS 38947 HAS SOUPS 38947 WITH SCORE 38998.286
AT ITER 439 NEW BEST:: SOT 113026 SOS 51276 HAS SOPS 51276 HAS SOUS 38942 HAS SOUPS 38942 WITH SCORE 38993.276
AT ITER 461 NEW BEST:: SOT 113020 SOS 51265 HAS SOPS 51265 HAS SOUS 38930 HAS SOUPS 38930 WITH SCORE 38981.265
AT ITER 472 NEW BEST:: SOT 112942 SOS 50992 HAS SOPS 50992 HAS SOUS 38754 HAS SOUPS 38754 WITH SCORE 38804.992
AT ITER 482 NEW BEST:: SOT 112851 SOS 50844 HAS SOPS 50844 HAS SOUS 38606 HAS SOUPS 38606 WITH SCORE 38656.844
AT ITER 489 NEW BEST:: SOT 112776 SOS 50830 HAS SOPS 50830 HAS SOUS 38593 HAS SOUPS 38593 WITH SCORE 38643.83
AT ITER 492 NEW BEST:: SOT 112605 SOS 50507 HAS SOPS 50507 HAS SOUS 38270 HAS SOUPS 38270 WITH SCORE 38320.507
AT ITER 507 NEW BEST:: SOT 112604 SOS 50505 HAS SOPS 50505 HAS SOUS 38268 HAS SOUPS 38268 WITH SCORE 38318.505
AT ITER 509 NEW BEST:: SOT 112562 SOS 50463 HAS SOPS 50463 HAS SOUS 38263 HAS SOUPS 38263 WITH SCORE 38313.463
AT ITER 510 NEW BEST:: SOT 112540 SOS 50419 HAS SOPS 50419 HAS SOUS 38241 HAS SOUPS 38241 WITH SCORE 38291.419
AT ITER 515 NEW BEST:: SOT 112372 SOS 50337 HAS SOPS 50337 HAS SOUS 37945 HAS SOUPS 37945 WITH SCORE 37995.337
AT ITER 525 NEW BEST:: SOT 112338 SOS 50235 HAS SOPS 50235 HAS SOUS 37843 HAS SOUPS 37843 WITH SCORE 37893.235
AT ITER 537 NEW BEST:: SOT 112437 SOS 50171 HAS SOPS 50171 HAS SOUS 37753 HAS SOUPS 37753 WITH SCORE 37803.171
AT ITER 542 NEW BEST:: SOT 112342 SOS 49981 HAS SOPS 49981 HAS SOUS 37666 HAS SOUPS 37666 WITH SCORE 37715.981
AT ITER 548 NEW BEST:: SOT 112342 SOS 49938 HAS SOPS 49938 HAS SOUS 37605 HAS SOUPS 37605 WITH SCORE 37654.938
AT ITER 549 NEW BEST:: SOT 112337 SOS 49928 HAS SOPS 49928 HAS SOUS 37595 HAS SOUPS 37595 WITH SCORE 37644.928
AT ITER 554 NEW BEST:: SOT 112329 SOS 49912 HAS SOPS 49912 HAS SOUS 37579 HAS SOUPS 37579 WITH SCORE 37628.912
AT ITER 557 NEW BEST:: SOT 112218 SOS 49698 HAS SOPS 49698 HAS SOUS 37468 HAS SOUPS 37468 WITH SCORE 37517.698
AT ITER 559 NEW BEST:: SOT 112036 SOS 49413 HAS SOPS 49413 HAS SOUS 37183 HAS SOUPS 37183 WITH SCORE 37232.413
AT ITER 563 NEW BEST:: SOT 112001 SOS 49384 HAS SOPS 49384 HAS SOUS 37154 HAS SOUPS 37154 WITH SCORE 37203.384
AT ITER 569 NEW BEST:: SOT 111925 SOS 49136 HAS SOPS 49136 HAS SOUS 36992 HAS SOUPS 36992 WITH SCORE 37041.136
AT ITER 572 NEW BEST:: SOT 111889 SOS 49064 HAS SOPS 49064 HAS SOUS 36987 HAS SOUPS 36987 WITH SCORE 37036.064
AT ITER 574 NEW BEST:: SOT 111889 SOS 49064 HAS SOPS 49064 HAS SOUS 36894 HAS SOUPS 36894 WITH SCORE 36943.064
AT ITER 575 NEW BEST:: SOT 111805 SOS 49004 HAS SOPS 49004 HAS SOUS 36834 HAS SOUPS 36834 WITH SCORE 36883.004
AT ITER 617 NEW BEST:: SOT 111814 SOS 48946 HAS SOPS 48946 HAS SOUS 36776 HAS SOUPS 36776 WITH SCORE 36824.946
AT ITER 618 NEW BEST:: SOT 111732 SOS 48918 HAS SOPS 48918 HAS SOUS 36766 HAS SOUPS 36766 WITH SCORE 36814.918
AT ITER 620 NEW BEST:: SOT 111712 SOS 48722 HAS SOPS 48722 HAS SOUS 36695 HAS SOUPS 36695 WITH SCORE 36743.722
AT ITER 623 NEW BEST:: SOT 111709 SOS 48717 HAS SOPS 48717 HAS SOUS 36691 HAS SOUPS 36691 WITH SCORE 36739.717
AT ITER 630 NEW BEST:: SOT 111749 SOS 48673 HAS SOPS 48673 HAS SOUS 36673 HAS SOUPS 36673 WITH SCORE 36721.673
AT ITER 635 NEW BEST:: SOT 111738 SOS 48652 HAS SOPS 48652 HAS SOUS 36651 HAS SOUPS 36651 WITH SCORE 36699.652
AT ITER 640 NEW BEST:: SOT 111715 SOS 48629 HAS SOPS 48629 HAS SOUS 36605 HAS SOUPS 36605 WITH SCORE 36653.629
AT ITER 643 NEW BEST:: SOT 111697 SOS 48593 HAS SOPS 48593 HAS SOUS 36594 HAS SOUPS 36594 WITH SCORE 36642.593
AT ITER 650 NEW BEST:: SOT 111697 SOS 48588 HAS SOPS 48588 HAS SOUS 36594 HAS SOUPS 36594 WITH SCORE 36642.588
AT ITER 653 NEW BEST:: SOT 111697 SOS 48587 HAS SOPS 48587 HAS SOUS 36593 HAS SOUPS 36593 WITH SCORE 36641.587
AT ITER 665 NEW BEST:: SOT 111697 SOS 48455 HAS SOPS 48455 HAS SOUS 36593 HAS SOUPS 36593 WITH SCORE 36641.455
AT ITER 670 NEW BEST:: SOT 111761 SOS 48454 HAS SOPS 48454 HAS SOUS 36528 HAS SOUPS 36528 WITH SCORE 36576.454
AT ITER 671 NEW BEST:: SOT 111561 SOS 48433 HAS SOPS 48433 HAS SOUS 36517 HAS SOUPS 36517 WITH SCORE 36565.433
AT ITER 675 NEW BEST:: SOT 111552 SOS 48415 HAS SOPS 48415 HAS SOUS 36490 HAS SOUPS 36490 WITH SCORE 36538.415
AT ITER 681 NEW BEST:: SOT 111352 SOS 47959 HAS SOPS 47959 HAS SOUS 36148 HAS SOUPS 36148 WITH SCORE 36195.959
AT ITER 686 NEW BEST:: SOT 111326 SOS 47931 HAS SOPS 47931 HAS SOUS 36081 HAS SOUPS 36081 WITH SCORE 36128.931
AT ITER 691 NEW BEST:: SOT 111324 SOS 47927 HAS SOPS 47927 HAS SOUS 36077 HAS SOUPS 36077 WITH SCORE 36124.927
AT ITER 694 NEW BEST:: SOT 111324 SOS 47927 HAS SOPS 47927 HAS SOUS 36075 HAS SOUPS 36075 WITH SCORE 36122.927
AT ITER 700 NEW BEST:: SOT 111336 SOS 47756 HAS SOPS 47756 HAS SOUS 36039 HAS SOUPS 36039 WITH SCORE 36086.756
AT ITER 733 NEW BEST:: SOT 111331 SOS 47699 HAS SOPS 47699 HAS SOUS 36029 HAS SOUPS 36029 WITH SCORE 36076.699
AT ITER 736 NEW BEST:: SOT 111286 SOS 47566 HAS SOPS 47566 HAS SOUS 35939 HAS SOUPS 35939 WITH SCORE 35986.566
AT ITER 737 NEW BEST:: SOT 111287 SOS 47564 HAS SOPS 47564 HAS SOUS 35937 HAS SOUPS 35937 WITH SCORE 35984.564
AT ITER 742 NEW BEST:: SOT 111237 SOS 47464 HAS SOPS 47464 HAS SOUS 35903 HAS SOUPS 35903 WITH SCORE 35950.464
AT ITER 744 NEW BEST:: SOT 111119 SOS 47410 HAS SOPS 47410 HAS SOUS 35831 HAS SOUPS 35831 WITH SCORE 35878.41
AT ITER 745 NEW BEST:: SOT 111112 SOS 47326 HAS SOPS 47326 HAS SOUS 35801 HAS SOUPS 35801 WITH SCORE 35848.326
AT ITER 769 NEW BEST:: SOT 110093 SOS 46238 HAS SOPS 46238 HAS SOUS 34713 HAS SOUPS 34713 WITH SCORE 34759.238
AT ITER 776 NEW BEST:: SOT 110078 SOS 46159 HAS SOPS 46159 HAS SOUS 34698 HAS SOUPS 34698 WITH SCORE 34744.159
AT ITER 787 NEW BEST:: SOT 109974 SOS 46000 HAS SOPS 46000 HAS SOUS 34469 HAS SOUPS 34469 WITH SCORE 34515.0
AT ITER 791 NEW BEST:: SOT 109960 SOS 45973 HAS SOPS 45973 HAS SOUS 34454 HAS SOUPS 34454 WITH SCORE 34499.973
AT ITER 796 NEW BEST:: SOT 109972 SOS 45959 HAS SOPS 45959 HAS SOUS 34438 HAS SOUPS 34438 WITH SCORE 34483.959
AT ITER 803 NEW BEST:: SOT 109855 SOS 45860 HAS SOPS 45860 HAS SOUS 34394 HAS SOUPS 34394 WITH SCORE 34439.86
AT ITER 814 NEW BEST:: SOT 109782 SOS 45788 HAS SOPS 45788 HAS SOUS 34347 HAS SOUPS 34347 WITH SCORE 34392.788
AT ITER 818 NEW BEST:: SOT 109758 SOS 45764 HAS SOPS 45764 HAS SOUS 34299 HAS SOUPS 34299 WITH SCORE 34344.764
AT ITER 822 NEW BEST:: SOT 109753 SOS 45703 HAS SOPS 45703 HAS SOUS 34238 HAS SOUPS 34238 WITH SCORE 34283.703
AT ITER 830 NEW BEST:: SOT 109740 SOS 45677 HAS SOPS 45677 HAS SOUS 34194 HAS SOUPS 34194 WITH SCORE 34239.677
AT ITER 833 NEW BEST:: SOT 109740 SOS 45620 HAS SOPS 45620 HAS SOUS 34194 HAS SOUPS 34194 WITH SCORE 34239.62
AT ITER 835 NEW BEST:: SOT 109739 SOS 45596 HAS SOPS 45596 HAS SOUS 34178 HAS SOUPS 34178 WITH SCORE 34223.596
AT ITER 846 NEW BEST:: SOT 109739 SOS 45594 HAS SOPS 45594 HAS SOUS 34176 HAS SOUPS 34176 WITH SCORE 34221.594
AT ITER 879 NEW BEST:: SOT 109736 SOS 45604 HAS SOPS 45604 HAS SOUS 34164 HAS SOUPS 34164 WITH SCORE 34209.604
AT ITER 881 NEW BEST:: SOT 109736 SOS 45604 HAS SOPS 45604 HAS SOUS 34160 HAS SOUPS 34160 WITH SCORE 34205.604
AT ITER 907 NEW BEST:: SOT 109732 SOS 45596 HAS SOPS 45596 HAS SOUS 34152 HAS SOUPS 34152 WITH SCORE 34197.596
AT ITER 918 NEW BEST:: SOT 109732 SOS 45594 HAS SOPS 45594 HAS SOUS 34150 HAS SOUPS 34150 WITH SCORE 34195.594
AT ITER 925 NEW BEST:: SOT 109704 SOS 45538 HAS SOPS 45538 HAS SOUS 34108 HAS SOUPS 34108 WITH SCORE 34153.538
AT ITER 946 NEW BEST:: SOT 109703 SOS 45527 HAS SOPS 45527 HAS SOUS 34095 HAS SOUPS 34095 WITH SCORE 34140.527
AT ITER 979 NEW BEST:: SOT 109701 SOS 45504 HAS SOPS 45504 HAS SOUS 34091 HAS SOUPS 34091 WITH SCORE 34136.504
AT ITER 992 NEW BEST:: SOT 109683 SOS 45486 HAS SOPS 45486 HAS SOUS 34073 HAS SOUPS 34073 WITH SCORE 34118.486
AT ITER 993 NEW BEST:: SOT 109666 SOS 45470 HAS SOPS 45470 HAS SOUS 34057 HAS SOUPS 34057 WITH SCORE 34102.47
AT ITER 1002 NEW BEST:: SOT 109503 SOS 45397 HAS SOPS 45397 HAS SOUS 33984 HAS SOUPS 33984 WITH SCORE 34029.397
AT ITER 1011 NEW BEST:: SOT 109276 SOS 45216 HAS SOPS 45216 HAS SOUS 33768 HAS SOUPS 33768 WITH SCORE 33813.216
AT ITER 1013 NEW BEST:: SOT 109261 SOS 45182 HAS SOPS 45182 HAS SOUS 33734 HAS SOUPS 33734 WITH SCORE 33779.182
AT ITER 1017 NEW BEST:: SOT 109220 SOS 45010 HAS SOPS 45010 HAS SOUS 33671 HAS SOUPS 33671 WITH SCORE 33716.01
AT ITER 1030 NEW BEST:: SOT 109150 SOS 44870 HAS SOPS 44870 HAS SOUS 33589 HAS SOUPS 33589 WITH SCORE 33633.87
AT ITER 1035 NEW BEST:: SOT 109030 SOS 44769 HAS SOPS 44769 HAS SOUS 33550 HAS SOUPS 33550 WITH SCORE 33594.769
AT ITER 1037 NEW BEST:: SOT 108904 SOS 44574 HAS SOPS 44574 HAS SOUS 33424 HAS SOUPS 33424 WITH SCORE 33468.574
AT ITER 1053 NEW BEST:: SOT 108793 SOS 44412 HAS SOPS 44412 HAS SOUS 33322 HAS SOUPS 33322 WITH SCORE 33366.412
AT ITER 1057 NEW BEST:: SOT 108838 SOS 44416 HAS SOPS 44416 HAS SOUS 33320 HAS SOUPS 33320 WITH SCORE 33364.416
AT ITER 1065 NEW BEST:: SOT 108784 SOS 44362 HAS SOPS 44362 HAS SOUS 33266 HAS SOUPS 33266 WITH SCORE 33310.362
AT ITER 1068 NEW BEST:: SOT 108760 SOS 44386 HAS SOPS 44386 HAS SOUS 33213 HAS SOUPS 33213 WITH SCORE 33257.386
AT ITER 1084 NEW BEST:: SOT 106767 SOS 45542 HAS SOPS 45542 HAS SOUS 31610 HAS SOUPS 31610 WITH SCORE 31655.542
AT ITER 1087 NEW BEST:: SOT 106766 SOS 45548 HAS SOPS 45548 HAS SOUS 31608 HAS SOUPS 31608 WITH SCORE 31653.548
AT ITER 1104 NEW BEST:: SOT 106760 SOS 45519 HAS SOPS 45519 HAS SOUS 31596 HAS SOUPS 31596 WITH SCORE 31641.519
AT ITER 1117 NEW BEST:: SOT 106760 SOS 45500 HAS SOPS 45500 HAS SOUS 31596 HAS SOUPS 31596 WITH SCORE 31641.5
AT ITER 1130 NEW BEST:: SOT 106718 SOS 45476 HAS SOPS 45476 HAS SOUS 31554 HAS SOUPS 31554 WITH SCORE 31599.476
AT ITER 1131 NEW BEST:: SOT 106710 SOS 45468 HAS SOPS 45468 HAS SOUS 31546 HAS SOUPS 31546 WITH SCORE 31591.468
AT ITER 1140 NEW BEST:: SOT 106710 SOS 45466 HAS SOPS 45466 HAS SOUS 31544 HAS SOUPS 31544 WITH SCORE 31589.466
AT ITER 1153 NEW BEST:: SOT 106710 SOS 45465 HAS SOPS 45465 HAS SOUS 31544 HAS SOUPS 31544 WITH SCORE 31589.465
AT ITER 1156 NEW BEST:: SOT 106618 SOS 45281 HAS SOPS 45281 HAS SOUS 31430 HAS SOUPS 31430 WITH SCORE 31475.281
AT ITER 1167 NEW BEST:: SOT 106586 SOS 45233 HAS SOPS 45233 HAS SOUS 31398 HAS SOUPS 31398 WITH SCORE 31443.233
AT ITER 1169 NEW BEST:: SOT 106555 SOS 45096 HAS SOPS 45096 HAS SOUS 31292 HAS SOUPS 31292 WITH SCORE 31337.096
AT ITER 1179 NEW BEST:: SOT 106487 SOS 45039 HAS SOPS 45039 HAS SOUS 31248 HAS SOUPS 31248 WITH SCORE 31293.039
AT ITER 1180 NEW BEST:: SOT 106486 SOS 45037 HAS SOPS 45037 HAS SOUS 31246 HAS SOUPS 31246 WITH SCORE 31291.037
AT ITER 1192 NEW BEST:: SOT 106484 SOS 45035 HAS SOPS 45035 HAS SOUS 31242 HAS SOUPS 31242 WITH SCORE 31287.035
AT ITER 1193 NEW BEST:: SOT 106517 SOS 44974 HAS SOPS 44974 HAS SOUS 31196 HAS SOUPS 31196 WITH SCORE 31240.974
AT ITER 1195 NEW BEST:: SOT 106549 SOS 45022 HAS SOPS 45022 HAS SOUS 31035 HAS SOUPS 31035 WITH SCORE 31080.022
AT ITER 1208 NEW BEST:: SOT 106546 SOS 45016 HAS SOPS 45016 HAS SOUS 31029 HAS SOUPS 31029 WITH SCORE 31074.016
AT ITER 1218 NEW BEST:: SOT 106451 SOS 44921 HAS SOPS 44921 HAS SOUS 30947 HAS SOUPS 30947 WITH SCORE 30991.921
AT ITER 1224 NEW BEST:: SOT 106403 SOS 44873 HAS SOPS 44873 HAS SOUS 30902 HAS SOUPS 30902 WITH SCORE 30946.873
AT ITER 1226 NEW BEST:: SOT 106403 SOS 44874 HAS SOPS 44874 HAS SOUS 30901 HAS SOUPS 30901 WITH SCORE 30945.874
AT ITER 1230 NEW BEST:: SOT 106364 SOS 44835 HAS SOPS 44835 HAS SOUS 30862 HAS SOUPS 30862 WITH SCORE 30906.835
AT ITER 1232 NEW BEST:: SOT 106358 SOS 44824 HAS SOPS 44824 HAS SOUS 30855 HAS SOUPS 30855 WITH SCORE 30899.824
AT ITER 1237 NEW BEST:: SOT 106332 SOS 44783 HAS SOPS 44783 HAS SOUS 30803 HAS SOUPS 30803 WITH SCORE 30847.783
AT ITER 1243 NEW BEST:: SOT 106302 SOS 44726 HAS SOPS 44726 HAS SOUS 30757 HAS SOUPS 30757 WITH SCORE 30801.726
AT ITER 1248 NEW BEST:: SOT 106301 SOS 44725 HAS SOPS 44725 HAS SOUS 30755 HAS SOUPS 30755 WITH SCORE 30799.725
AT ITER 1259 NEW BEST:: SOT 106297 SOS 44717 HAS SOPS 44717 HAS SOUS 30751 HAS SOUPS 30751 WITH SCORE 30795.717
AT ITER 1272 NEW BEST:: SOT 106264 SOS 44684 HAS SOPS 44684 HAS SOUS 30697 HAS SOUPS 30697 WITH SCORE 30741.684
AT ITER 1273 NEW BEST:: SOT 106204 SOS 44606 HAS SOPS 44606 HAS SOUS 30595 HAS SOUPS 30595 WITH SCORE 30639.606
AT ITER 1283 NEW BEST:: SOT 106200 SOS 44602 HAS SOPS 44602 HAS SOUS 30587 HAS SOUPS 30587 WITH SCORE 30631.602
AT ITER 1284 NEW BEST:: SOT 106215 SOS 44632 HAS SOPS 44632 HAS SOUS 30575 HAS SOUPS 30575 WITH SCORE 30619.632
AT ITER 1285 NEW BEST:: SOT 106226 SOS 44615 HAS SOPS 44615 HAS SOUS 30562 HAS SOUPS 30562 WITH SCORE 30606.615
AT ITER 1298 NEW BEST:: SOT 106208 SOS 44579 HAS SOPS 44579 HAS SOUS 30526 HAS SOUPS 30526 WITH SCORE 30570.579
AT ITER 1300 NEW BEST:: SOT 106208 SOS 44585 HAS SOPS 44585 HAS SOUS 30513 HAS SOUPS 30513 WITH SCORE 30557.585
AT ITER 1316 NEW BEST:: SOT 106207 SOS 44583 HAS SOPS 44583 HAS SOUS 30511 HAS SOUPS 30511 WITH SCORE 30555.583
AT ITER 1318 NEW BEST:: SOT 106228 SOS 44609 HAS SOPS 44609 HAS SOUS 30421 HAS SOUPS 30421 WITH SCORE 30465.609
AT ITER 1321 NEW BEST:: SOT 106222 SOS 44597 HAS SOPS 44597 HAS SOUS 30415 HAS SOUPS 30415 WITH SCORE 30459.597
AT ITER 1334 NEW BEST:: SOT 106214 SOS 44547 HAS SOPS 44547 HAS SOUS 30390 HAS SOUPS 30390 WITH SCORE 30434.547
AT ITER 1339 NEW BEST:: SOT 106209 SOS 44553 HAS SOPS 44553 HAS SOUS 30383 HAS SOUPS 30383 WITH SCORE 30427.553
AT ITER 1349 NEW BEST:: SOT 106210 SOS 44554 HAS SOPS 44554 HAS SOUS 30373 HAS SOUPS 30373 WITH SCORE 30417.554
AT ITER 1364 NEW BEST:: SOT 106183 SOS 44500 HAS SOPS 44500 HAS SOUS 30339 HAS SOUPS 30339 WITH SCORE 30383.5
AT ITER 1374 NEW BEST:: SOT 106017 SOS 44368 HAS SOPS 44368 HAS SOUS 30207 HAS SOUPS 30207 WITH SCORE 30251.368
AT ITER 1375 NEW BEST:: SOT 106010 SOS 44354 HAS SOPS 44354 HAS SOUS 30206 HAS SOUPS 30206 WITH SCORE 30250.354
AT ITER 1376 NEW BEST:: SOT 106030 SOS 44461 HAS SOPS 44461 HAS SOUS 30171 HAS SOUPS 30171 WITH SCORE 30215.461
AT ITER 1383 NEW BEST:: SOT 106020 SOS 44441 HAS SOPS 44441 HAS SOUS 30151 HAS SOUPS 30151 WITH SCORE 30195.441
AT ITER 1404 NEW BEST:: SOT 106020 SOS 44441 HAS SOPS 44441 HAS SOUS 30139 HAS SOUPS 30139 WITH SCORE 30183.441
AT ITER 1410 NEW BEST:: SOT 106013 SOS 44427 HAS SOPS 44427 HAS SOUS 30125 HAS SOUPS 30125 WITH SCORE 30169.427
AT ITER 1413 NEW BEST:: SOT 105997 SOS 44410 HAS SOPS 44410 HAS SOUS 30094 HAS SOUPS 30094 WITH SCORE 30138.41
AT ITER 1414 NEW BEST:: SOT 106156 SOS 44558 HAS SOPS 44558 HAS SOUS 30087 HAS SOUPS 30087 WITH SCORE 30131.558
AT ITER 1453 NEW BEST:: SOT 106137 SOS 44534 HAS SOPS 44534 HAS SOUS 30073 HAS SOUPS 30073 WITH SCORE 30117.534
AT ITER 1461 NEW BEST:: SOT 106125 SOS 44522 HAS SOPS 44522 HAS SOUS 30049 HAS SOUPS 30049 WITH SCORE 30093.522
AT ITER 1494 NEW BEST:: SOT 106125 SOS 44522 HAS SOPS 44522 HAS SOUS 30000 HAS SOUPS 30000 WITH SCORE 30044.522
AT ITER 1506 NEW BEST:: SOT 106156 SOS 44523 HAS SOPS 44523 HAS SOUS 29898 HAS SOUPS 29898 WITH SCORE 29942.523
AT ITER 1511 NEW BEST:: SOT 106136 SOS 44503 HAS SOPS 44503 HAS SOUS 29898 HAS SOUPS 29898 WITH SCORE 29942.503
AT ITER 1517 NEW BEST:: SOT 106098 SOS 44427 HAS SOPS 44427 HAS SOUS 29859 HAS SOUPS 29859 WITH SCORE 29903.427
AT ITER 1524 NEW BEST:: SOT 106028 SOS 44322 HAS SOPS 44322 HAS SOUS 29754 HAS SOUPS 29754 WITH SCORE 29798.322
AT ITER 1527 NEW BEST:: SOT 106018 SOS 44322 HAS SOPS 44322 HAS SOUS 29744 HAS SOUPS 29744 WITH SCORE 29788.322
AT ITER 1539 NEW BEST:: SOT 105976 SOS 44238 HAS SOPS 44238 HAS SOUS 29660 HAS SOUPS 29660 WITH SCORE 29704.238
AT ITER 1551 NEW BEST:: SOT 105914 SOS 44088 HAS SOPS 44088 HAS SOUS 29624 HAS SOUPS 29624 WITH SCORE 29668.088
AT ITER 1567 NEW BEST:: SOT 105893 SOS 44046 HAS SOPS 44046 HAS SOUS 29614 HAS SOUPS 29614 WITH SCORE 29658.046
AT ITER 1570 NEW BEST:: SOT 105859 SOS 44039 HAS SOPS 44039 HAS SOUS 29580 HAS SOUPS 29580 WITH SCORE 29624.039
AT ITER 1573 NEW BEST:: SOT 105851 SOS 44023 HAS SOPS 44023 HAS SOUS 29572 HAS SOUPS 29572 WITH SCORE 29616.023
AT ITER 1576 NEW BEST:: SOT 105846 SOS 44013 HAS SOPS 44013 HAS SOUS 29521 HAS SOUPS 29521 WITH SCORE 29565.013
AT ITER 1597 NEW BEST:: SOT 105843 SOS 44010 HAS SOPS 44010 HAS SOUS 29518 HAS SOUPS 29518 WITH SCORE 29562.01
AT ITER 1599 NEW BEST:: SOT 105842 SOS 44009 HAS SOPS 44009 HAS SOUS 29516 HAS SOUPS 29516 WITH SCORE 29560.009
AT ITER 1608 NEW BEST:: SOT 105769 SOS 43899 HAS SOPS 43899 HAS SOUS 29420 HAS SOUPS 29420 WITH SCORE 29463.899
AT ITER 1611 NEW BEST:: SOT 105766 SOS 43878 HAS SOPS 43878 HAS SOUS 29416 HAS SOUPS 29416 WITH SCORE 29459.878
AT ITER 1616 NEW BEST:: SOT 105820 SOS 43878 HAS SOPS 43878 HAS SOUS 29391 HAS SOUPS 29391 WITH SCORE 29434.878
AT ITER 1633 NEW BEST:: SOT 105736 SOS 43752 HAS SOPS 43752 HAS SOUS 29307 HAS SOUPS 29307 WITH SCORE 29350.752
AT ITER 1638 NEW BEST:: SOT 105675 SOS 40952 HAS SOPS 40952 HAS SOUS 29246 HAS SOUPS 29246 WITH SCORE 29286.952
AT ITER 1657 NEW BEST:: SOT 105656 SOS 40895 HAS SOPS 40895 HAS SOUS 29208 HAS SOUPS 29208 WITH SCORE 29248.895
AT ITER 1660 NEW BEST:: SOT 105647 SOS 40860 HAS SOPS 40860 HAS SOUS 29140 HAS SOUPS 29140 WITH SCORE 29180.86
AT ITER 1666 NEW BEST:: SOT 105626 SOS 40752 HAS SOPS 40752 HAS SOUS 29032 HAS SOUPS 29032 WITH SCORE 29072.752
AT ITER 1689 NEW BEST:: SOT 105610 SOS 40736 HAS SOPS 40736 HAS SOUS 29000 HAS SOUPS 29000 WITH SCORE 29040.736
AT ITER 1699 NEW BEST:: SOT 105528 SOS 40674 HAS SOPS 40674 HAS SOUS 28879 HAS SOUPS 28879 WITH SCORE 28919.674
AT ITER 1702 NEW BEST:: SOT 105528 SOS 40558 HAS SOPS 40558 HAS SOUS 28765 HAS SOUPS 28765 WITH SCORE 28805.558
AT ITER 1706 NEW BEST:: SOT 105514 SOS 40544 HAS SOPS 40544 HAS SOUS 28737 HAS SOUPS 28737 WITH SCORE 28777.544
AT ITER 1757 NEW BEST:: SOT 105495 SOS 40501 HAS SOPS 40501 HAS SOUS 28699 HAS SOUPS 28699 WITH SCORE 28739.501
AT ITER 1759 NEW BEST:: SOT 105390 SOS 40291 HAS SOPS 40291 HAS SOUS 28653 HAS SOUPS 28653 WITH SCORE 28693.291
AT ITER 1765 NEW BEST:: SOT 105374 SOS 40267 HAS SOPS 40267 HAS SOUS 28629 HAS SOUPS 28629 WITH SCORE 28669.267
AT ITER 1772 NEW BEST:: SOT 105365 SOS 40249 HAS SOPS 40249 HAS SOUS 28611 HAS SOUPS 28611 WITH SCORE 28651.249
AT ITER 1785 NEW BEST:: SOT 105357 SOS 40177 HAS SOPS 40177 HAS SOUS 28595 HAS SOUPS 28595 WITH SCORE 28635.177
AT ITER 1790 NEW BEST:: SOT 105253 SOS 40063 HAS SOPS 40063 HAS SOUS 28504 HAS SOUPS 28504 WITH SCORE 28544.063
AT ITER 1820 NEW BEST:: SOT 105194 SOS 39981 HAS SOPS 39981 HAS SOUS 28396 HAS SOUPS 28396 WITH SCORE 28435.981
AT ITER 1821 NEW BEST:: SOT 105157 SOS 39906 HAS SOPS 39906 HAS SOUS 28317 HAS SOUPS 28317 WITH SCORE 28356.906
AT ITER 1824 NEW BEST:: SOT 105115 SOS 39822 HAS SOPS 39822 HAS SOUS 28239 HAS SOUPS 28239 WITH SCORE 28278.822
AT ITER 1825 NEW BEST:: SOT 105105 SOS 39794 HAS SOPS 39794 HAS SOUS 28219 HAS SOUPS 28219 WITH SCORE 28258.794
AT ITER 1843 NEW BEST:: SOT 105077 SOS 39738 HAS SOPS 39738 HAS SOUS 28191 HAS SOUPS 28191 WITH SCORE 28230.738
AT ITER 1861 NEW BEST:: SOT 104495 SOS 39122 HAS SOPS 39122 HAS SOUS 27575 HAS SOUPS 27575 WITH SCORE 27614.122
AT ITER 1870 NEW BEST:: SOT 104466 SOS 39064 HAS SOPS 39064 HAS SOUS 27546 HAS SOUPS 27546 WITH SCORE 27585.064
AT ITER 1879 NEW BEST:: SOT 104457 SOS 39046 HAS SOPS 39046 HAS SOUS 27528 HAS SOUPS 27528 WITH SCORE 27567.046
AT ITER 1880 NEW BEST:: SOT 104449 SOS 39030 HAS SOPS 39030 HAS SOUS 27512 HAS SOUPS 27512 WITH SCORE 27551.03
AT ITER 1884 NEW BEST:: SOT 104431 SOS 39016 HAS SOPS 39016 HAS SOUS 27487 HAS SOUPS 27487 WITH SCORE 27526.016
AT ITER 1902 NEW BEST:: SOT 104433 SOS 38981 HAS SOPS 38981 HAS SOUS 27437 HAS SOUPS 27437 WITH SCORE 27475.981
AT ITER 1903 NEW BEST:: SOT 104416 SOS 38947 HAS SOPS 38947 HAS SOUS 27403 HAS SOUPS 27403 WITH SCORE 27441.947
AT ITER 1912 NEW BEST:: SOT 104397 SOS 38889 HAS SOPS 38889 HAS SOUS 27384 HAS SOUPS 27384 WITH SCORE 27422.889
AT ITER 1917 NEW BEST:: SOT 104396 SOS 38887 HAS SOPS 38887 HAS SOUS 27383 HAS SOUPS 27383 WITH SCORE 27421.887
AT ITER 1937 NEW BEST:: SOT 104402 SOS 38875 HAS SOPS 38875 HAS SOUS 27377 HAS SOUPS 27377 WITH SCORE 27415.875
AT ITER 1940 NEW BEST:: SOT 104402 SOS 38834 HAS SOPS 38834 HAS SOUS 27336 HAS SOUPS 27336 WITH SCORE 27374.834
AT ITER 1952 NEW BEST:: SOT 104334 SOS 38604 HAS SOPS 38604 HAS SOUS 27200 HAS SOUPS 27200 WITH SCORE 27238.604
AT ITER 1954 NEW BEST:: SOT 104334 SOS 38564 HAS SOPS 38564 HAS SOUS 27160 HAS SOUPS 27160 WITH SCORE 27198.564
AT ITER 1955 NEW BEST:: SOT 104329 SOS 38559 HAS SOPS 38559 HAS SOUS 27160 HAS SOUPS 27160 WITH SCORE 27198.559
AT ITER 1959 NEW BEST:: SOT 104320 SOS 38541 HAS SOPS 38541 HAS SOUS 27129 HAS SOUPS 27129 WITH SCORE 27167.541
AT ITER 1974 NEW BEST:: SOT 104320 SOS 38506 HAS SOPS 38506 HAS SOUS 27129 HAS SOUPS 27129 WITH SCORE 27167.506
AT ITER 1975 NEW BEST:: SOT 104319 SOS 38427 HAS SOPS 38427 HAS SOUS 27115 HAS SOUPS 27115 WITH SCORE 27153.427
AT ITER 1982 NEW BEST:: SOT 104314 SOS 38417 HAS SOPS 38417 HAS SOUS 27110 HAS SOUPS 27110 WITH SCORE 27148.417
AT ITER 1988 NEW BEST:: SOT 104289 SOS 38342 HAS SOPS 38342 HAS SOUS 27060 HAS SOUPS 27060 WITH SCORE 27098.342
AT ITER 1989 NEW BEST:: SOT 104289 SOS 38342 HAS SOPS 38342 HAS SOUS 27051 HAS SOUPS 27051 WITH SCORE 27089.342
AT ITER 2011 NEW BEST:: SOT 104255 SOS 38308 HAS SOPS 38308 HAS SOUS 27022 HAS SOUPS 27022 WITH SCORE 27060.308
AT ITER 2045 NEW BEST:: SOT 104255 SOS 38283 HAS SOPS 38283 HAS SOUS 27022 HAS SOUPS 27022 WITH SCORE 27060.283
AT ITER 2050 NEW BEST:: SOT 104255 SOS 38201 HAS SOPS 38201 HAS SOUS 27022 HAS SOUPS 27022 WITH SCORE 27060.201
AT ITER 2058 NEW BEST:: SOT 104217 SOS 38220 HAS SOPS 38220 HAS SOUS 26959 HAS SOUPS 26959 WITH SCORE 26997.22
AT ITER 2065 NEW BEST:: SOT 104196 SOS 38202 HAS SOPS 38202 HAS SOUS 26941 HAS SOUPS 26941 WITH SCORE 26979.202
AT ITER 2075 NEW BEST:: SOT 104169 SOS 38175 HAS SOPS 38175 HAS SOUS 26888 HAS SOUPS 26888 WITH SCORE 26926.175
AT ITER 2088 NEW BEST:: SOT 104155 SOS 38147 HAS SOPS 38147 HAS SOUS 26843 HAS SOUPS 26843 WITH SCORE 26881.147
AT ITER 2097 NEW BEST:: SOT 104122 SOS 38081 HAS SOPS 38081 HAS SOUS 26822 HAS SOUPS 26822 WITH SCORE 26860.081
AT ITER 2098 NEW BEST:: SOT 104109 SOS 38071 HAS SOPS 38071 HAS SOUS 26809 HAS SOUPS 26809 WITH SCORE 26847.071
AT ITER 2106 NEW BEST:: SOT 104106 SOS 38031 HAS SOPS 38031 HAS SOUS 26799 HAS SOUPS 26799 WITH SCORE 26837.031
AT ITER 2124 NEW BEST:: SOT 104101 SOS 38016 HAS SOPS 38016 HAS SOUS 26794 HAS SOUPS 26794 WITH SCORE 26832.016
AT ITER 2125 NEW BEST:: SOT 104087 SOS 37988 HAS SOPS 37988 HAS SOUS 26766 HAS SOUPS 26766 WITH SCORE 26803.988
AT ITER 2128 NEW BEST:: SOT 103839 SOS 37693 HAS SOPS 37693 HAS SOUS 26443 HAS SOUPS 26443 WITH SCORE 26480.693
AT ITER 2139 NEW BEST:: SOT 103831 SOS 37677 HAS SOPS 37677 HAS SOUS 26427 HAS SOUPS 26427 WITH SCORE 26464.677
AT ITER 2165 NEW BEST:: SOT 103826 SOS 37672 HAS SOPS 37672 HAS SOUS 26422 HAS SOUPS 26422 WITH SCORE 26459.672
AT ITER 2166 NEW BEST:: SOT 103821 SOS 37662 HAS SOPS 37662 HAS SOUS 26412 HAS SOUPS 26412 WITH SCORE 26449.662
AT ITER 2189 NEW BEST:: SOT 103825 SOS 37670 HAS SOPS 37670 HAS SOUS 26408 HAS SOUPS 26408 WITH SCORE 26445.67
AT ITER 2212 NEW BEST:: SOT 103825 SOS 37633 HAS SOPS 37633 HAS SOUS 26408 HAS SOUPS 26408 WITH SCORE 26445.633
AT ITER 2215 NEW BEST:: SOT 103812 SOS 37607 HAS SOPS 37607 HAS SOUS 26382 HAS SOUPS 26382 WITH SCORE 26419.607
AT ITER 2221 NEW BEST:: SOT 103812 SOS 37606 HAS SOPS 37606 HAS SOUS 26382 HAS SOUPS 26382 WITH SCORE 26419.606
AT ITER 2225 NEW BEST:: SOT 103807 SOS 37596 HAS SOPS 37596 HAS SOUS 26377 HAS SOUPS 26377 WITH SCORE 26414.596
AT ITER 2228 NEW BEST:: SOT 103801 SOS 37584 HAS SOPS 37584 HAS SOUS 26371 HAS SOUPS 26371 WITH SCORE 26408.584
AT ITER 2230 NEW BEST:: SOT 103760 SOS 37543 HAS SOPS 37543 HAS SOUS 26330 HAS SOUPS 26330 WITH SCORE 26367.543
AT ITER 2238 NEW BEST:: SOT 103760 SOS 37543 HAS SOPS 37543 HAS SOUS 26314 HAS SOUPS 26314 WITH SCORE 26351.543
AT ITER 2246 NEW BEST:: SOT 103743 SOS 37502 HAS SOPS 37502 HAS SOUS 26256 HAS SOUPS 26256 WITH SCORE 26293.502
AT ITER 2263 NEW BEST:: SOT 103718 SOS 37443 HAS SOPS 37443 HAS SOUS 26231 HAS SOUPS 26231 WITH SCORE 26268.443
AT ITER 2283 NEW BEST:: SOT 103718 SOS 37403 HAS SOPS 37403 HAS SOUS 26204 HAS SOUPS 26204 WITH SCORE 26241.403
AT ITER 2287 NEW BEST:: SOT 103635 SOS 37193 HAS SOPS 37193 HAS SOUS 26029 HAS SOUPS 26029 WITH SCORE 26066.193
AT ITER 2288 NEW BEST:: SOT 103635 SOS 37158 HAS SOPS 37158 HAS SOUS 26029 HAS SOUPS 26029 WITH SCORE 26066.158
AT ITER 2298 NEW BEST:: SOT 103649 SOS 37186 HAS SOPS 37186 HAS SOUS 25986 HAS SOUPS 25986 WITH SCORE 26023.186
AT ITER 2299 NEW BEST:: SOT 103669 SOS 37226 HAS SOPS 37226 HAS SOUS 25928 HAS SOUPS 25928 WITH SCORE 25965.226
AT ITER 2319 NEW BEST:: SOT 103525 SOS 37180 HAS SOPS 37180 HAS SOUS 25882 HAS SOUPS 25882 WITH SCORE 25919.18
AT ITER 2323 NEW BEST:: SOT 103485 SOS 37144 HAS SOPS 37144 HAS SOUS 25802 HAS SOUPS 25802 WITH SCORE 25839.144
AT ITER 2338 NEW BEST:: SOT 103484 SOS 37136 HAS SOPS 37136 HAS SOUS 25794 HAS SOUPS 25794 WITH SCORE 25831.136
AT ITER 2343 NEW BEST:: SOT 103463 SOS 37099 HAS SOPS 37099 HAS SOUS 25768 HAS SOUPS 25768 WITH SCORE 25805.099
AT ITER 2373 NEW BEST:: SOT 103444 SOS 37181 HAS SOPS 37181 HAS SOUS 25730 HAS SOUPS 25730 WITH SCORE 25767.181
AT ITER 2375 NEW BEST:: SOT 103452 SOS 37178 HAS SOPS 37178 HAS SOUS 25727 HAS SOUPS 25727 WITH SCORE 25764.178
AT ITER 2377 NEW BEST:: SOT 103505 SOS 37228 HAS SOPS 37228 HAS SOUS 25726 HAS SOUPS 25726 WITH SCORE 25763.228
AT ITER 2389 NEW BEST:: SOT 103505 SOS 37228 HAS SOPS 37228 HAS SOUS 25692 HAS SOUPS 25692 WITH SCORE 25729.228
AT ITER 2411 NEW BEST:: SOT 103505 SOS 37228 HAS SOPS 37228 HAS SOUS 25680 HAS SOUPS 25680 WITH SCORE 25717.228
AT ITER 2412 NEW BEST:: SOT 103496 SOS 37127 HAS SOPS 37127 HAS SOUS 25633 HAS SOUPS 25633 WITH SCORE 25670.127
AT ITER 2418 NEW BEST:: SOT 103467 SOS 37115 HAS SOPS 37115 HAS SOUS 25602 HAS SOUPS 25602 WITH SCORE 25639.115
AT ITER 2439 NEW BEST:: SOT 103467 SOS 37099 HAS SOPS 37099 HAS SOUS 25586 HAS SOUPS 25586 WITH SCORE 25623.099
AT ITER 2450 NEW BEST:: SOT 103456 SOS 37077 HAS SOPS 37077 HAS SOUS 25562 HAS SOUPS 25562 WITH SCORE 25599.077
AT ITER 2470 NEW BEST:: SOT 103398 SOS 36983 HAS SOPS 36983 HAS SOUS 25552 HAS SOUPS 25552 WITH SCORE 25588.983
AT ITER 2478 NEW BEST:: SOT 103355 SOS 36841 HAS SOPS 36841 HAS SOUS 25439 HAS SOUPS 25439 WITH SCORE 25475.841
AT ITER 2489 NEW BEST:: SOT 103355 SOS 36758 HAS SOPS 36758 HAS SOUS 25439 HAS SOUPS 25439 WITH SCORE 25475.758
AT ITER 2494 NEW BEST:: SOT 103341 SOS 36730 HAS SOPS 36730 HAS SOUS 25396 HAS SOUPS 25396 WITH SCORE 25432.73
AT ITER 2498 NEW BEST:: SOT 103323 SOS 36694 HAS SOPS 36694 HAS SOUS 25378 HAS SOUPS 25378 WITH SCORE 25414.694
AT ITER 2551 NEW BEST:: SOT 103325 SOS 36650 HAS SOPS 36650 HAS SOUS 25332 HAS SOUPS 25332 WITH SCORE 25368.65
AT ITER 2556 NEW BEST:: SOT 103320 SOS 36626 HAS SOPS 36626 HAS SOUS 25327 HAS SOUPS 25327 WITH SCORE 25363.626
AT ITER 2559 NEW BEST:: SOT 103263 SOS 36546 HAS SOPS 36546 HAS SOUS 25247 HAS SOUPS 25247 WITH SCORE 25283.546
AT ITER 2561 NEW BEST:: SOT 103240 SOS 36523 HAS SOPS 36523 HAS SOUS 25232 HAS SOUPS 25232 WITH SCORE 25268.523
AT ITER 2584 NEW BEST:: SOT 103220 SOS 36463 HAS SOPS 36463 HAS SOUS 25212 HAS SOUPS 25212 WITH SCORE 25248.463
AT ITER 2592 NEW BEST:: SOT 103204 SOS 36431 HAS SOPS 36431 HAS SOUS 25196 HAS SOUPS 25196 WITH SCORE 25232.431
AT ITER 2595 NEW BEST:: SOT 103199 SOS 36416 HAS SOPS 36416 HAS SOUS 25190 HAS SOUPS 25190 WITH SCORE 25226.416
AT ITER 2616 NEW BEST:: SOT 103198 SOS 36414 HAS SOPS 36414 HAS SOUS 25188 HAS SOUPS 25188 WITH SCORE 25224.414
AT ITER 2623 NEW BEST:: SOT 103196 SOS 36412 HAS SOPS 36412 HAS SOUS 25186 HAS SOUPS 25186 WITH SCORE 25222.412
AT ITER 2636 NEW BEST:: SOT 103162 SOS 36258 HAS SOPS 36258 HAS SOUS 25075 HAS SOUPS 25075 WITH SCORE 25111.258
AT ITER 2637 NEW BEST:: SOT 103162 SOS 36186 HAS SOPS 36186 HAS SOUS 25075 HAS SOUPS 25075 WITH SCORE 25111.186
AT ITER 2658 NEW BEST:: SOT 103162 SOS 36186 HAS SOPS 36186 HAS SOUS 25059 HAS SOUPS 25059 WITH SCORE 25095.186
AT ITER 2670 NEW BEST:: SOT 103135 SOS 36062 HAS SOPS 36062 HAS SOUS 24949 HAS SOUPS 24949 WITH SCORE 24985.062
AT ITER 2674 NEW BEST:: SOT 103135 SOS 36053 HAS SOPS 36053 HAS SOUS 24949 HAS SOUPS 24949 WITH SCORE 24985.053
AT ITER 2688 NEW BEST:: SOT 103121 SOS 36025 HAS SOPS 36025 HAS SOUS 24935 HAS SOUPS 24935 WITH SCORE 24971.025
AT ITER 2694 NEW BEST:: SOT 103068 SOS 35871 HAS SOPS 35871 HAS SOUS 24851 HAS SOUPS 24851 WITH SCORE 24886.871
AT ITER 2699 NEW BEST:: SOT 103056 SOS 35847 HAS SOPS 35847 HAS SOUS 24846 HAS SOUPS 24846 WITH SCORE 24881.847
AT ITER 2728 NEW BEST:: SOT 103049 SOS 35827 HAS SOPS 35827 HAS SOUS 24832 HAS SOUPS 24832 WITH SCORE 24867.827
AT ITER 2755 NEW BEST:: SOT 102903 SOS 35754 HAS SOPS 35754 HAS SOUS 24808 HAS SOUPS 24808 WITH SCORE 24843.754
AT ITER 2768 NEW BEST:: SOT 102873 SOS 35694 HAS SOPS 35694 HAS SOUS 24718 HAS SOUPS 24718 WITH SCORE 24753.694
AT ITER 2778 NEW BEST:: SOT 102869 SOS 35686 HAS SOPS 35686 HAS SOUS 24710 HAS SOUPS 24710 WITH SCORE 24745.686
AT ITER 2796 NEW BEST:: SOT 102860 SOS 35668 HAS SOPS 35668 HAS SOUS 24692 HAS SOUPS 24692 WITH SCORE 24727.668
AT ITER 2816 NEW BEST:: SOT 102860 SOS 35640 HAS SOPS 35640 HAS SOUS 24692 HAS SOUPS 24692 WITH SCORE 24727.64
AT ITER 2823 NEW BEST:: SOT 102860 SOS 35623 HAS SOPS 35623 HAS SOUS 24679 HAS SOUPS 24679 WITH SCORE 24714.623
AT ITER 2833 NEW BEST:: SOT 102859 SOS 35623 HAS SOPS 35623 HAS SOUS 24678 HAS SOUPS 24678 WITH SCORE 24713.623
AT ITER 2838 NEW BEST:: SOT 102852 SOS 35603 HAS SOPS 35603 HAS SOUS 24640 HAS SOUPS 24640 WITH SCORE 24675.603
AT ITER 2849 NEW BEST:: SOT 102848 SOS 35595 HAS SOPS 35595 HAS SOUS 24632 HAS SOUPS 24632 WITH SCORE 24667.595
AT ITER 2851 NEW BEST:: SOT 102814 SOS 35658 HAS SOPS 35658 HAS SOUS 24616 HAS SOUPS 24616 WITH SCORE 24651.658
AT ITER 2869 NEW BEST:: SOT 102813 SOS 35657 HAS SOPS 35657 HAS SOUS 24615 HAS SOUPS 24615 WITH SCORE 24650.657
AT ITER 2898 NEW BEST:: SOT 102813 SOS 35571 HAS SOPS 35571 HAS SOUS 24615 HAS SOUPS 24615 WITH SCORE 24650.571
AT ITER 2914 NEW BEST:: SOT 102785 SOS 35543 HAS SOPS 35543 HAS SOUS 24553 HAS SOUPS 24553 WITH SCORE 24588.543
AT ITER 2932 NEW BEST:: SOT 102784 SOS 35541 HAS SOPS 35541 HAS SOUS 24550 HAS SOUPS 24550 WITH SCORE 24585.541
AT ITER 2947 NEW BEST:: SOT 102744 SOS 35603 HAS SOPS 35603 HAS SOUS 24494 HAS SOUPS 24494 WITH SCORE 24529.603
AT ITER 2957 NEW BEST:: SOT 102736 SOS 35587 HAS SOPS 35587 HAS SOUS 24468 HAS SOUPS 24468 WITH SCORE 24503.587
AT ITER 2958 NEW BEST:: SOT 102736 SOS 35465 HAS SOPS 35465 HAS SOUS 24468 HAS SOUPS 24468 WITH SCORE 24503.465
AT ITER 2961 NEW BEST:: SOT 102667 SOS 35363 HAS SOPS 35363 HAS SOUS 24465 HAS SOUPS 24465 WITH SCORE 24500.363
AT ITER 2968 NEW BEST:: SOT 102667 SOS 35325 HAS SOPS 35325 HAS SOUS 24427 HAS SOUPS 24427 WITH SCORE 24462.325
AT ITER 2969 NEW BEST:: SOT 102692 SOS 35358 HAS SOPS 35358 HAS SOUS 24386 HAS SOUPS 24386 WITH SCORE 24421.358
AT ITER 2983 NEW BEST:: SOT 102692 SOS 35351 HAS SOPS 35351 HAS SOUS 24372 HAS SOUPS 24372 WITH SCORE 24407.351
AT ITER 2986 NEW BEST:: SOT 102681 SOS 36525 HAS SOPS 36525 HAS SOUS 24312 HAS SOUPS 24312 WITH SCORE 24348.525
AT ITER 3015 NEW BEST:: SOT 102681 SOS 36518 HAS SOPS 36518 HAS SOUS 24305 HAS SOUPS 24305 WITH SCORE 24341.518
AT ITER 3028 NEW BEST:: SOT 102671 SOS 36508 HAS SOPS 36508 HAS SOUS 24295 HAS SOUPS 24295 WITH SCORE 24331.508
AT ITER 3043 NEW BEST:: SOT 102637 SOS 36394 HAS SOPS 36394 HAS SOUS 24242 HAS SOUPS 24242 WITH SCORE 24278.394
AT ITER 3062 NEW BEST:: SOT 102637 SOS 36373 HAS SOPS 36373 HAS SOUS 24221 HAS SOUPS 24221 WITH SCORE 24257.373
AT ITER 3082 NEW BEST:: SOT 102507 SOS 36045 HAS SOPS 36045 HAS SOUS 23938 HAS SOUPS 23938 WITH SCORE 23974.045
AT ITER 3108 NEW BEST:: SOT 102504 SOS 36040 HAS SOPS 36040 HAS SOUS 23933 HAS SOUPS 23933 WITH SCORE 23969.04
AT ITER 3112 NEW BEST:: SOT 102480 SOS 35992 HAS SOPS 35992 HAS SOUS 23885 HAS SOUPS 23885 WITH SCORE 23920.992
AT ITER 3126 NEW BEST:: SOT 102452 SOS 35963 HAS SOPS 35963 HAS SOUS 23829 HAS SOUPS 23829 WITH SCORE 23864.963
AT ITER 3127 NEW BEST:: SOT 102444 SOS 35963 HAS SOPS 35963 HAS SOUS 23821 HAS SOUPS 23821 WITH SCORE 23856.963
AT ITER 3136 NEW BEST:: SOT 102442 SOS 35957 HAS SOPS 35957 HAS SOUS 23819 HAS SOUPS 23819 WITH SCORE 23854.957
AT ITER 3148 NEW BEST:: SOT 102441 SOS 35956 HAS SOPS 35956 HAS SOUS 23817 HAS SOUPS 23817 WITH SCORE 23852.956
AT ITER 3169 NEW BEST:: SOT 102345 SOS 35860 HAS SOPS 35860 HAS SOUS 23729 HAS SOUPS 23729 WITH SCORE 23764.86
AT ITER 3170 NEW BEST:: SOT 102343 SOS 35863 HAS SOPS 35863 HAS SOUS 23725 HAS SOUPS 23725 WITH SCORE 23760.863
AT ITER 3175 NEW BEST:: SOT 102334 SOS 35845 HAS SOPS 35845 HAS SOUS 23707 HAS SOUPS 23707 WITH SCORE 23742.845
AT ITER 3215 NEW BEST:: SOT 102322 SOS 35805 HAS SOPS 35805 HAS SOUS 23696 HAS SOUPS 23696 WITH SCORE 23731.805
AT ITER 3224 NEW BEST:: SOT 102295 SOS 35808 HAS SOPS 35808 HAS SOUS 23642 HAS SOUPS 23642 WITH SCORE 23677.808
AT ITER 3251 NEW BEST:: SOT 102289 SOS 35802 HAS SOPS 35802 HAS SOUS 23639 HAS SOUPS 23639 WITH SCORE 23674.802
AT ITER 3252 NEW BEST:: SOT 102269 SOS 35762 HAS SOPS 35762 HAS SOUS 23619 HAS SOUPS 23619 WITH SCORE 23654.762
AT ITER 3255 NEW BEST:: SOT 102150 SOS 35643 HAS SOPS 35643 HAS SOUS 23500 HAS SOUPS 23500 WITH SCORE 23535.643
AT ITER 3261 NEW BEST:: SOT 102152 SOS 35637 HAS SOPS 35637 HAS SOUS 23497 HAS SOUPS 23497 WITH SCORE 23532.637
AT ITER 3289 NEW BEST:: SOT 102151 SOS 35644 HAS SOPS 35644 HAS SOUS 23496 HAS SOUPS 23496 WITH SCORE 23531.644
AT ITER 3294 NEW BEST:: SOT 102134 SOS 35610 HAS SOPS 35610 HAS SOUS 23496 HAS SOUPS 23496 WITH SCORE 23531.61
AT ITER 3332 NEW BEST:: SOT 102131 SOS 35580 HAS SOPS 35580 HAS SOUS 23490 HAS SOUPS 23490 WITH SCORE 23525.58
AT ITER 3341 NEW BEST:: SOT 102131 SOS 35580 HAS SOPS 35580 HAS SOUS 23487 HAS SOUPS 23487 WITH SCORE 23522.58
AT ITER 3383 NEW BEST:: SOT 102131 SOS 35614 HAS SOPS 35614 HAS SOUS 23453 HAS SOUPS 23453 WITH SCORE 23488.614
AT ITER 3393 NEW BEST:: SOT 102175 SOS 35614 HAS SOPS 35614 HAS SOUS 23431 HAS SOUPS 23431 WITH SCORE 23466.614
AT ITER 3403 NEW BEST:: SOT 102070 SOS 35404 HAS SOPS 35404 HAS SOUS 23341 HAS SOUPS 23341 WITH SCORE 23376.404
AT ITER 3413 NEW BEST:: SOT 102069 SOS 35403 HAS SOPS 35403 HAS SOUS 23339 HAS SOUPS 23339 WITH SCORE 23374.403
AT ITER 3419 NEW BEST:: SOT 102073 SOS 35384 HAS SOPS 35384 HAS SOUS 23320 HAS SOUPS 23320 WITH SCORE 23355.384
AT ITER 3433 NEW BEST:: SOT 102052 SOS 35342 HAS SOPS 35342 HAS SOUS 23299 HAS SOUPS 23299 WITH SCORE 23334.342
AT ITER 3439 NEW BEST:: SOT 102046 SOS 35306 HAS SOPS 35306 HAS SOUS 23287 HAS SOUPS 23287 WITH SCORE 23322.306
AT ITER 3444 NEW BEST:: SOT 102009 SOS 35269 HAS SOPS 35269 HAS SOUS 23250 HAS SOUPS 23250 WITH SCORE 23285.269
AT ITER 3486 NEW BEST:: SOT 101999 SOS 35262 HAS SOPS 35262 HAS SOUS 23243 HAS SOUPS 23243 WITH SCORE 23278.262
AT ITER 3521 NEW BEST:: SOT 102023 SOS 35227 HAS SOPS 35227 HAS SOUS 23236 HAS SOUPS 23236 WITH SCORE 23271.227
AT ITER 3528 NEW BEST:: SOT 102019 SOS 35219 HAS SOPS 35219 HAS SOUS 23228 HAS SOUPS 23228 WITH SCORE 23263.219
AT ITER 3543 NEW BEST:: SOT 102019 SOS 35219 HAS SOPS 35219 HAS SOUS 23215 HAS SOUPS 23215 WITH SCORE 23250.219
AT ITER 3573 NEW BEST:: SOT 102018 SOS 35217 HAS SOPS 35217 HAS SOUS 23213 HAS SOUPS 23213 WITH SCORE 23248.217
AT ITER 3605 NEW BEST:: SOT 101997 SOS 35196 HAS SOPS 35196 HAS SOUS 23171 HAS SOUPS 23171 WITH SCORE 23206.196
AT ITER 3674 NEW BEST:: SOT 101997 SOS 35179 HAS SOPS 35179 HAS SOUS 23151 HAS SOUPS 23151 WITH SCORE 23186.179
AT ITER 3675 NEW BEST:: SOT 101966 SOS 35107 HAS SOPS 35107 HAS SOUS 23130 HAS SOUPS 23130 WITH SCORE 23165.107
AT ITER 3688 NEW BEST:: SOT 101954 SOS 35095 HAS SOPS 35095 HAS SOUS 23112 HAS SOUPS 23112 WITH SCORE 23147.095
AT ITER 3698 NEW BEST:: SOT 101953 SOS 35093 HAS SOPS 35093 HAS SOUS 23110 HAS SOUPS 23110 WITH SCORE 23145.093
AT ITER 3710 NEW BEST:: SOT 101929 SOS 35093 HAS SOPS 35093 HAS SOUS 23086 HAS SOUPS 23086 WITH SCORE 23121.093
AT ITER 3740 NEW BEST:: SOT 101910 SOS 35029 HAS SOPS 35029 HAS SOUS 23022 HAS SOUPS 23022 WITH SCORE 23057.029
AT ITER 3749 NEW BEST:: SOT 101910 SOS 34957 HAS SOPS 34957 HAS SOUS 23022 HAS SOUPS 23022 WITH SCORE 23056.957
AT ITER 3765 NEW BEST:: SOT 101891 SOS 34961 HAS SOPS 34961 HAS SOUS 23001 HAS SOUPS 23001 WITH SCORE 23035.961
AT ITER 3766 NEW BEST:: SOT 101886 SOS 34956 HAS SOPS 34956 HAS SOUS 22991 HAS SOUPS 22991 WITH SCORE 23025.956
AT ITER 3786 NEW BEST:: SOT 101869 SOS 34939 HAS SOPS 34939 HAS SOUS 22974 HAS SOUPS 22974 WITH SCORE 23008.939
AT ITER 3787 NEW BEST:: SOT 101861 SOS 34918 HAS SOPS 34918 HAS SOUS 22972 HAS SOUPS 22972 WITH SCORE 23006.918
AT ITER 3798 NEW BEST:: SOT 101849 SOS 34894 HAS SOPS 34894 HAS SOUS 22912 HAS SOUPS 22912 WITH SCORE 22946.894
AT ITER 3801 NEW BEST:: SOT 101836 SOS 34889 HAS SOPS 34889 HAS SOUS 22884 HAS SOUPS 22884 WITH SCORE 22918.889
AT ITER 3802 NEW BEST:: SOT 101827 SOS 34879 HAS SOPS 34879 HAS SOUS 22874 HAS SOUPS 22874 WITH SCORE 22908.879
AT ITER 3813 NEW BEST:: SOT 101824 SOS 34876 HAS SOPS 34876 HAS SOUS 22871 HAS SOUPS 22871 WITH SCORE 22905.876
AT ITER 3815 NEW BEST:: SOT 101824 SOS 34876 HAS SOPS 34876 HAS SOUS 22862 HAS SOUPS 22862 WITH SCORE 22896.876
AT ITER 3816 NEW BEST:: SOT 101809 SOS 34861 HAS SOPS 34861 HAS SOUS 22832 HAS SOUPS 22832 WITH SCORE 22866.861
AT ITER 3823 NEW BEST:: SOT 101838 SOS 34736 HAS SOPS 34736 HAS SOUS 22747 HAS SOUPS 22747 WITH SCORE 22781.736
AT ITER 3829 NEW BEST:: SOT 101757 SOS 34655 HAS SOPS 34655 HAS SOUS 22666 HAS SOUPS 22666 WITH SCORE 22700.655
AT ITER 3831 NEW BEST:: SOT 101756 SOS 34654 HAS SOPS 34654 HAS SOUS 22664 HAS SOUPS 22664 WITH SCORE 22698.654
AT ITER 3835 NEW BEST:: SOT 101737 SOS 34616 HAS SOPS 34616 HAS SOUS 22626 HAS SOUPS 22626 WITH SCORE 22660.616
AT ITER 3867 NEW BEST:: SOT 101726 SOS 34594 HAS SOPS 34594 HAS SOUS 22604 HAS SOUPS 22604 WITH SCORE 22638.594
AT ITER 3870 NEW BEST:: SOT 101713 SOS 34568 HAS SOPS 34568 HAS SOUS 22569 HAS SOUPS 22569 WITH SCORE 22603.568
AT ITER 3873 NEW BEST:: SOT 101694 SOS 34530 HAS SOPS 34530 HAS SOUS 22544 HAS SOUPS 22544 WITH SCORE 22578.53
AT ITER 3876 NEW BEST:: SOT 101694 SOS 34530 HAS SOPS 34530 HAS SOUS 22539 HAS SOUPS 22539 WITH SCORE 22573.53
AT ITER 3889 NEW BEST:: SOT 101684 SOS 34505 HAS SOPS 34505 HAS SOUS 22523 HAS SOUPS 22523 WITH SCORE 22557.505
AT ITER 3911 NEW BEST:: SOT 101641 SOS 34450 HAS SOPS 34450 HAS SOUS 22437 HAS SOUPS 22437 WITH SCORE 22471.45
AT ITER 3914 NEW BEST:: SOT 101603 SOS 34374 HAS SOPS 34374 HAS SOUS 22361 HAS SOUPS 22361 WITH SCORE 22395.374
AT ITER 3923 NEW BEST:: SOT 101565 SOS 34247 HAS SOPS 34247 HAS SOUS 22272 HAS SOUPS 22272 WITH SCORE 22306.247
AT ITER 3986 NEW BEST:: SOT 101522 SOS 34204 HAS SOPS 34204 HAS SOUS 22229 HAS SOUPS 22229 WITH SCORE 22263.204
AT ITER 4003 NEW BEST:: SOT 101504 SOS 34186 HAS SOPS 34186 HAS SOUS 22211 HAS SOUPS 22211 WITH SCORE 22245.186
AT ITER 4039 NEW BEST:: SOT 101441 SOS 34095 HAS SOPS 34095 HAS SOUS 22167 HAS SOUPS 22167 WITH SCORE 22201.095
AT ITER 4043 NEW BEST:: SOT 101458 SOS 34112 HAS SOPS 34112 HAS SOUS 22158 HAS SOUPS 22158 WITH SCORE 22192.112
AT ITER 4062 NEW BEST:: SOT 101458 SOS 34080 HAS SOPS 34080 HAS SOUS 22158 HAS SOUPS 22158 WITH SCORE 22192.08
AT ITER 4076 NEW BEST:: SOT 101455 SOS 34067 HAS SOPS 34067 HAS SOUS 22158 HAS SOUPS 22158 WITH SCORE 22192.067
AT ITER 4120 NEW BEST:: SOT 101464 SOS 34076 HAS SOPS 34076 HAS SOUS 22152 HAS SOUPS 22152 WITH SCORE 22186.076
AT ITER 4141 NEW BEST:: SOT 101456 SOS 34060 HAS SOPS 34060 HAS SOUS 22134 HAS SOUPS 22134 WITH SCORE 22168.06
AT ITER 4164 NEW BEST:: SOT 101452 SOS 34052 HAS SOPS 34052 HAS SOUS 22126 HAS SOUPS 22126 WITH SCORE 22160.052
AT ITER 4175 NEW BEST:: SOT 101465 SOS 34045 HAS SOPS 34045 HAS SOUS 22119 HAS SOUPS 22119 WITH SCORE 22153.045
AT ITER 4188 NEW BEST:: SOT 101465 SOS 34031 HAS SOPS 34031 HAS SOUS 22119 HAS SOUPS 22119 WITH SCORE 22153.031
AT ITER 4251 NEW BEST:: SOT 101456 SOS 34061 HAS SOPS 34061 HAS SOUS 22101 HAS SOUPS 22101 WITH SCORE 22135.061
AT ITER 4258 NEW BEST:: SOT 101421 SOS 34026 HAS SOPS 34026 HAS SOUS 22031 HAS SOUPS 22031 WITH SCORE 22065.026
AT ITER 4259 NEW BEST:: SOT 101424 SOS 33962 HAS SOPS 33962 HAS SOUS 21955 HAS SOUPS 21955 WITH SCORE 21988.962
AT ITER 4277 NEW BEST:: SOT 101398 SOS 33910 HAS SOPS 33910 HAS SOUS 21921 HAS SOUPS 21921 WITH SCORE 21954.91
AT ITER 4283 NEW BEST:: SOT 101387 SOS 33899 HAS SOPS 33899 HAS SOUS 21917 HAS SOUPS 21917 WITH SCORE 21950.899
AT ITER 4284 NEW BEST:: SOT 101374 SOS 33875 HAS SOPS 33875 HAS SOUS 21893 HAS SOUPS 21893 WITH SCORE 21926.875
AT ITER 4290 NEW BEST:: SOT 101289 SOS 33543 HAS SOPS 33543 HAS SOUS 21674 HAS SOUPS 21674 WITH SCORE 21707.543
AT ITER 4293 NEW BEST:: SOT 101289 SOS 33522 HAS SOPS 33522 HAS SOUS 21653 HAS SOUPS 21653 WITH SCORE 21686.522
AT ITER 4300 NEW BEST:: SOT 101265 SOS 33497 HAS SOPS 33497 HAS SOUS 21628 HAS SOUPS 21628 WITH SCORE 21661.497
AT ITER 4309 NEW BEST:: SOT 101254 SOS 33486 HAS SOPS 33486 HAS SOUS 21617 HAS SOUPS 21617 WITH SCORE 21650.486
AT ITER 4326 NEW BEST:: SOT 101216 SOS 33464 HAS SOPS 33464 HAS SOUS 21609 HAS SOUPS 21609 WITH SCORE 21642.464
AT ITER 4336 NEW BEST:: SOT 101232 SOS 33454 HAS SOPS 33454 HAS SOUS 21599 HAS SOUPS 21599 WITH SCORE 21632.454
AT ITER 4369 NEW BEST:: SOT 101228 SOS 33451 HAS SOPS 33451 HAS SOUS 21560 HAS SOUPS 21560 WITH SCORE 21593.451
AT ITER 4390 NEW BEST:: SOT 101218 SOS 33438 HAS SOPS 33438 HAS SOUS 21543 HAS SOUPS 21543 WITH SCORE 21576.438
AT ITER 4408 NEW BEST:: SOT 101218 SOS 33445 HAS SOPS 33445 HAS SOUS 21541 HAS SOUPS 21541 WITH SCORE 21574.445
AT ITER 4414 NEW BEST:: SOT 101196 SOS 33423 HAS SOPS 33423 HAS SOUS 21521 HAS SOUPS 21521 WITH SCORE 21554.423
AT ITER 4443 NEW BEST:: SOT 101207 SOS 33445 HAS SOPS 33445 HAS SOUS 21517 HAS SOUPS 21517 WITH SCORE 21550.445
AT ITER 4444 NEW BEST:: SOT 101219 SOS 33457 HAS SOPS 33457 HAS SOUS 21498 HAS SOUPS 21498 WITH SCORE 21531.457
AT ITER 4474 NEW BEST:: SOT 101214 SOS 33452 HAS SOPS 33452 HAS SOUS 21492 HAS SOUPS 21492 WITH SCORE 21525.452
AT ITER 4504 NEW BEST:: SOT 101173 SOS 33374 HAS SOPS 33374 HAS SOUS 21404 HAS SOUPS 21404 WITH SCORE 21437.374
AT ITER 4509 NEW BEST:: SOT 101173 SOS 33319 HAS SOPS 33319 HAS SOUS 21404 HAS SOUPS 21404 WITH SCORE 21437.319
AT ITER 4522 NEW BEST:: SOT 101172 SOS 33280 HAS SOPS 33280 HAS SOUS 21402 HAS SOUPS 21402 WITH SCORE 21435.28
AT ITER 4550 NEW BEST:: SOT 101171 SOS 33279 HAS SOPS 33279 HAS SOUS 21400 HAS SOUPS 21400 WITH SCORE 21433.279
AT ITER 4560 NEW BEST:: SOT 101171 SOS 33300 HAS SOPS 33300 HAS SOUS 21379 HAS SOUPS 21379 WITH SCORE 21412.3
AT ITER 4567 NEW BEST:: SOT 101171 SOS 33293 HAS SOPS 33293 HAS SOUS 21372 HAS SOUPS 21372 WITH SCORE 21405.293
AT ITER 4606 NEW BEST:: SOT 101171 SOS 33230 HAS SOPS 33230 HAS SOUS 21372 HAS SOUPS 21372 WITH SCORE 21405.23
AT ITER 4618 NEW BEST:: SOT 101169 SOS 33228 HAS SOPS 33228 HAS SOUS 21370 HAS SOUPS 21370 WITH SCORE 21403.228
AT ITER 4642 NEW BEST:: SOT 101169 SOS 33228 HAS SOPS 33228 HAS SOUS 21369 HAS SOUPS 21369 WITH SCORE 21402.228
AT ITER 4666 NEW BEST:: SOT 101152 SOS 33177 HAS SOPS 33177 HAS SOUS 21335 HAS SOUPS 21335 WITH SCORE 21368.177
AT ITER 4689 NEW BEST:: SOT 101074 SOS 33079 HAS SOPS 33079 HAS SOUS 21208 HAS SOUPS 21208 WITH SCORE 21241.079
AT ITER 4739 NEW BEST:: SOT 101065 SOS 33061 HAS SOPS 33061 HAS SOUS 21190 HAS SOUPS 21190 WITH SCORE 21223.061
AT ITER 4815 NEW BEST:: SOT 101061 SOS 33053 HAS SOPS 33053 HAS SOUS 21182 HAS SOUPS 21182 WITH SCORE 21215.053
AT ITER 4871 NEW BEST:: SOT 101061 SOS 33025 HAS SOPS 33025 HAS SOUS 21182 HAS SOUPS 21182 WITH SCORE 21215.025
AT ITER 4890 NEW BEST:: SOT 101052 SOS 33007 HAS SOPS 33007 HAS SOUS 21164 HAS SOUPS 21164 WITH SCORE 21197.007
AT ITER 4894 NEW BEST:: SOT 101051 SOS 32990 HAS SOPS 32990 HAS SOUS 21153 HAS SOUPS 21153 WITH SCORE 21185.99
AT ITER 4902 NEW BEST:: SOT 101038 SOS 32964 HAS SOPS 32964 HAS SOUS 21144 HAS SOUPS 21144 WITH SCORE 21176.964
AT ITER 4933 NEW BEST:: SOT 101029 SOS 32721 HAS SOPS 32721 HAS SOUS 21117 HAS SOUPS 21117 WITH SCORE 21149.721
AT ITER 4938 NEW BEST:: SOT 101032 SOS 32715 HAS SOPS 32715 HAS SOUS 21111 HAS SOUPS 21111 WITH SCORE 21143.715
AT ITER 4949 NEW BEST:: SOT 101011 SOS 32610 HAS SOPS 32610 HAS SOUS 21069 HAS SOUPS 21069 WITH SCORE 21101.61
AT ITER 4986 NEW BEST:: SOT 101010 SOS 32608 HAS SOPS 32608 HAS SOUS 21067 HAS SOUPS 21067 WITH SCORE 21099.608
AT ITER 4994 NEW BEST:: SOT 100989 SOS 32566 HAS SOPS 32566 HAS SOUS 21031 HAS SOUPS 21031 WITH SCORE 21063.566
AT ITER 4996 NEW BEST:: SOT 100988 SOS 32515 HAS SOPS 32515 HAS SOUS 21029 HAS SOUPS 21029 WITH SCORE 21061.515
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DiscoveryGPU-PT-14b-CTLCardinality-00 (EF(potential( ( 1 ) <= (tk(P385)) )))
PROPERTY: DiscoveryGPU-PT-14b-CTLCardinality-01 (EG( potential( (tk(P97)) <= (tk(P381)) )))
PROPERTY: DiscoveryGPU-PT-14b-CTLCardinality-02 (EG( potential( (tk(P306)) <= (tk(P67)) )))
PROPERTY: DiscoveryGPU-PT-14b-CTLCardinality-03 (AG( (EU( potential( (tk(P371)) <= (tk(P173)) ),potential( ( 2 ) <= (tk(P91)) ) ))))
PROPERTY: DiscoveryGPU-PT-14b-CTLCardinality-04 (EG( (AX( ( potential( (tk(P202)) <= (tk(P408)) ) & potential( (tk(P118)) <= (tk(P22)) ) )))))
PROPERTY: DiscoveryGPU-PT-14b-CTLCardinality-05 (EX( (EG( ( potential( (tk(P5)) <= (tk(P223)) ) & potential( (tk(P25)) <= (tk(P216)) ) )))))
PROPERTY: DiscoveryGPU-PT-14b-CTLCardinality-06 (AG( (! (! ( potential( (tk(P282)) <= (tk(P341)) ) | potential( ( 2 ) <= (tk(P271)) ) )))))
PROPERTY: DiscoveryGPU-PT-14b-CTLCardinality-07 (AF(( ( ( potential( (tk(P235)) <= (tk(P315)) ) & potential( ( 2 ) <= (tk(P395)) ) ) & potential( ( 3 ) <= (tk(P262)) ) ) & (! potential( ( 1 ) <= (tk(P105)) )) )))
PROPERTY: DiscoveryGPU-PT-14b-CTLCardinality-08 (! (AG( (EF(potential( ( 3 ) <= (tk(P57)) ))))))
PROPERTY: DiscoveryGPU-PT-14b-CTLCardinality-09 ( (AG( (AX( potential( (tk(P153)) <= (tk(P407)) ))))) | ( ( (! (! potential( ( 2 ) <= (tk(P248)) ))) | (EX( potential( ( 1 ) <= (tk(P239)) ))) ) | (AX( ( potential( (tk(P268)) <= (tk(P332)) ) & potential( ( 1 ) <= (tk(P174)) ) ))) ) )
PROPERTY: DiscoveryGPU-PT-14b-CTLCardinality-10 (EG( ( (EF(potential( ( 3 ) <= (tk(P261)) ))) & ( ( potential( (tk(P312)) <= (tk(P77)) ) | potential( ( 1 ) <= (tk(P131)) ) ) | potential( (tk(P11)) <= (tk(P66)) ) ) )))
PROPERTY: DiscoveryGPU-PT-14b-CTLCardinality-11 (AU( (! ( potential( ( 1 ) <= (tk(P68)) ) & potential( ( 1 ) <= (tk(P125)) ) )),potential( ( 2 ) <= (tk(P368)) ) ))
PROPERTY: DiscoveryGPU-PT-14b-CTLCardinality-12 (EF((AX( ( potential( ( 1 ) <= (tk(P142)) ) & potential( (tk(P184)) <= (tk(P295)) ) )))))
PROPERTY: DiscoveryGPU-PT-14b-CTLCardinality-13 (AF((! potential( (tk(P146)) <= (tk(P60)) ))))
PROPERTY: DiscoveryGPU-PT-14b-CTLCardinality-14 (EF(potential( ( 3 ) <= (tk(P158)) )))
PROPERTY: DiscoveryGPU-PT-14b-CTLCardinality-15 (! (! (EG( (! potential( ( 2 ) <= (tk(P383)) ))))))
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-14b"
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-14b, 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-158922807900723"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DiscoveryGPU-PT-14b.tgz
mv DiscoveryGPU-PT-14b 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 ;