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.r123-tajo-158961355000651.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 PolyORBNT-PT-S05J40, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r123-tajo-158961355000651
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.8M
-rw-r--r-- 1 mcc users 19K Apr 12 06:00 CTLCardinality.txt
-rw-r--r-- 1 mcc users 60K Apr 12 06:00 CTLCardinality.xml
-rw-r--r-- 1 mcc users 68K Apr 11 05:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 214K Apr 11 05:46 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 14K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 46K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 69K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 215K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 18K Apr 10 12:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 53K Apr 10 12:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 23K Apr 9 18:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 72K Apr 9 18:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 5.5K Apr 10 22:23 UpperBounds.txt
-rw-r--r-- 1 mcc users 9.9K Apr 10 22:23 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.9M 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 PolyORBNT-PT-S05J40-CTLCardinality-00
FORMULA_NAME PolyORBNT-PT-S05J40-CTLCardinality-01
FORMULA_NAME PolyORBNT-PT-S05J40-CTLCardinality-02
FORMULA_NAME PolyORBNT-PT-S05J40-CTLCardinality-03
FORMULA_NAME PolyORBNT-PT-S05J40-CTLCardinality-04
FORMULA_NAME PolyORBNT-PT-S05J40-CTLCardinality-05
FORMULA_NAME PolyORBNT-PT-S05J40-CTLCardinality-06
FORMULA_NAME PolyORBNT-PT-S05J40-CTLCardinality-07
FORMULA_NAME PolyORBNT-PT-S05J40-CTLCardinality-08
FORMULA_NAME PolyORBNT-PT-S05J40-CTLCardinality-09
FORMULA_NAME PolyORBNT-PT-S05J40-CTLCardinality-10
FORMULA_NAME PolyORBNT-PT-S05J40-CTLCardinality-11
FORMULA_NAME PolyORBNT-PT-S05J40-CTLCardinality-12
FORMULA_NAME PolyORBNT-PT-S05J40-CTLCardinality-13
FORMULA_NAME PolyORBNT-PT-S05J40-CTLCardinality-14
FORMULA_NAME PolyORBNT-PT-S05J40-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589646272158

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBNT (PT), instance S05J40
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: 629 places, 1590 transitions, 10704 arcs.
AT ITER 0 NEW BEST:: SOT 704204 SOS 339233 HAS SOPS 339233 HAS SOUS 185175 HAS SOUPS 185175 WITH SCORE 185514.233
AT ITER 9 NEW BEST:: SOT 704204 SOS 339233 HAS SOPS 339233 HAS SOUS 184953 HAS SOUPS 184953 WITH SCORE 185292.233
AT ITER 12 NEW BEST:: SOT 704130 SOS 339048 HAS SOPS 339048 HAS SOUS 184879 HAS SOUPS 184879 WITH SCORE 185218.048
AT ITER 15 NEW BEST:: SOT 704138 SOS 339377 HAS SOPS 339377 HAS SOUS 184794 HAS SOUPS 184794 WITH SCORE 185133.377
AT ITER 22 NEW BEST:: SOT 704090 SOS 339329 HAS SOPS 339329 HAS SOUS 184746 HAS SOUPS 184746 WITH SCORE 185085.329
AT ITER 30 NEW BEST:: SOT 704090 SOS 339327 HAS SOPS 339327 HAS SOUS 184744 HAS SOUPS 184744 WITH SCORE 185083.327
AT ITER 36 NEW BEST:: SOT 704173 SOS 339288 HAS SOPS 339288 HAS SOUS 184231 HAS SOUPS 184231 WITH SCORE 184570.288
AT ITER 38 NEW BEST:: SOT 704173 SOS 339288 HAS SOPS 339288 HAS SOUS 184096 HAS SOUPS 184096 WITH SCORE 184435.288
AT ITER 50 NEW BEST:: SOT 704181 SOS 339521 HAS SOPS 339521 HAS SOUS 183979 HAS SOUPS 183979 WITH SCORE 184318.521
AT ITER 53 NEW BEST:: SOT 704167 SOS 339521 HAS SOPS 339521 HAS SOUS 183975 HAS SOUPS 183975 WITH SCORE 184314.521
AT ITER 59 NEW BEST:: SOT 704167 SOS 339399 HAS SOPS 339399 HAS SOUS 183365 HAS SOUPS 183365 WITH SCORE 183704.399
AT ITER 62 NEW BEST:: SOT 704175 SOS 339590 HAS SOPS 339590 HAS SOUS 183234 HAS SOUPS 183234 WITH SCORE 183573.59
AT ITER 69 NEW BEST:: SOT 704153 SOS 339568 HAS SOPS 339568 HAS SOUS 183212 HAS SOUPS 183212 WITH SCORE 183551.568
AT ITER 73 NEW BEST:: SOT 704120 SOS 339535 HAS SOPS 339535 HAS SOUS 183179 HAS SOUPS 183179 WITH SCORE 183518.535
AT ITER 76 NEW BEST:: SOT 704070 SOS 339363 HAS SOPS 339363 HAS SOUS 182519 HAS SOUPS 182519 WITH SCORE 182858.363
AT ITER 82 NEW BEST:: SOT 704209 SOS 339380 HAS SOPS 339380 HAS SOUS 182078 HAS SOUPS 182078 WITH SCORE 182417.38
AT ITER 85 NEW BEST:: SOT 704262 SOS 339392 HAS SOPS 339392 HAS SOUS 181926 HAS SOUPS 181926 WITH SCORE 182265.392
AT ITER 118 NEW BEST:: SOT 704262 SOS 339392 HAS SOPS 339392 HAS SOUS 181854 HAS SOUPS 181854 WITH SCORE 182193.392
AT ITER 120 NEW BEST:: SOT 704215 SOS 339417 HAS SOPS 339417 HAS SOUS 181849 HAS SOUPS 181849 WITH SCORE 182188.417
AT ITER 122 NEW BEST:: SOT 704178 SOS 339306 HAS SOPS 339306 HAS SOUS 181442 HAS SOUPS 181442 WITH SCORE 181781.306
AT ITER 123 NEW BEST:: SOT 704176 SOS 339182 HAS SOPS 339182 HAS SOUS 180952 HAS SOUPS 180952 WITH SCORE 181291.182
AT ITER 128 NEW BEST:: SOT 704176 SOS 339182 HAS SOPS 339182 HAS SOUS 180764 HAS SOUPS 180764 WITH SCORE 181103.182
AT ITER 131 NEW BEST:: SOT 704115 SOS 338999 HAS SOPS 338999 HAS SOUS 180093 HAS SOUPS 180093 WITH SCORE 180431.999
AT ITER 136 NEW BEST:: SOT 704202 SOS 339749 HAS SOPS 339749 HAS SOUS 180072 HAS SOUPS 180072 WITH SCORE 180411.749
AT ITER 137 NEW BEST:: SOT 704078 SOS 339503 HAS SOPS 339503 HAS SOUS 179338 HAS SOUPS 179338 WITH SCORE 179677.503
AT ITER 141 NEW BEST:: SOT 704025 SOS 339450 HAS SOPS 339450 HAS SOUS 179119 HAS SOUPS 179119 WITH SCORE 179458.45
AT ITER 145 NEW BEST:: SOT 704018 SOS 339328 HAS SOPS 339328 HAS SOUS 179026 HAS SOUPS 179026 WITH SCORE 179365.328
AT ITER 151 NEW BEST:: SOT 703930 SOS 339576 HAS SOPS 339576 HAS SOUS 178909 HAS SOUPS 178909 WITH SCORE 179248.576
AT ITER 153 NEW BEST:: SOT 703875 SOS 339521 HAS SOPS 339521 HAS SOUS 178854 HAS SOUPS 178854 WITH SCORE 179193.521
AT ITER 154 NEW BEST:: SOT 703875 SOS 339521 HAS SOPS 339521 HAS SOUS 178734 HAS SOUPS 178734 WITH SCORE 179073.521
AT ITER 155 NEW BEST:: SOT 704006 SOS 339604 HAS SOPS 339604 HAS SOUS 178625 HAS SOUPS 178625 WITH SCORE 178964.604
AT ITER 161 NEW BEST:: SOT 704003 SOS 339601 HAS SOPS 339601 HAS SOUS 178622 HAS SOUPS 178622 WITH SCORE 178961.601
AT ITER 163 NEW BEST:: SOT 703896 SOS 339549 HAS SOPS 339549 HAS SOUS 178570 HAS SOUPS 178570 WITH SCORE 178909.549
AT ITER 164 NEW BEST:: SOT 703886 SOS 339539 HAS SOPS 339539 HAS SOUS 178560 HAS SOUPS 178560 WITH SCORE 178899.539
AT ITER 165 NEW BEST:: SOT 704420 SOS 339951 HAS SOPS 339951 HAS SOUS 178554 HAS SOUPS 178554 WITH SCORE 178893.951
AT ITER 176 NEW BEST:: SOT 704362 SOS 339893 HAS SOPS 339893 HAS SOUS 178496 HAS SOUPS 178496 WITH SCORE 178835.893
AT ITER 177 NEW BEST:: SOT 704292 SOS 339741 HAS SOPS 339741 HAS SOUS 178016 HAS SOUPS 178016 WITH SCORE 178355.741
AT ITER 188 NEW BEST:: SOT 704276 SOS 339725 HAS SOPS 339725 HAS SOUS 178000 HAS SOUPS 178000 WITH SCORE 178339.725
AT ITER 199 NEW BEST:: SOT 704228 SOS 339632 HAS SOPS 339632 HAS SOUS 177727 HAS SOUPS 177727 WITH SCORE 178066.632
AT ITER 206 NEW BEST:: SOT 704228 SOS 339632 HAS SOPS 339632 HAS SOUS 177491 HAS SOUPS 177491 WITH SCORE 177830.632
AT ITER 212 NEW BEST:: SOT 704228 SOS 339632 HAS SOPS 339632 HAS SOUS 177469 HAS SOUPS 177469 WITH SCORE 177808.632
AT ITER 216 NEW BEST:: SOT 704615 SOS 339897 HAS SOPS 339897 HAS SOUS 177402 HAS SOUPS 177402 WITH SCORE 177741.897
AT ITER 225 NEW BEST:: SOT 704563 SOS 339801 HAS SOPS 339801 HAS SOUS 176818 HAS SOUPS 176818 WITH SCORE 177157.801
AT ITER 239 NEW BEST:: SOT 704563 SOS 339545 HAS SOPS 339545 HAS SOUS 176754 HAS SOUPS 176754 WITH SCORE 177093.545
AT ITER 240 NEW BEST:: SOT 704621 SOS 339488 HAS SOPS 339488 HAS SOUS 176254 HAS SOUPS 176254 WITH SCORE 176593.488
AT ITER 244 NEW BEST:: SOT 704539 SOS 339326 HAS SOPS 339326 HAS SOUS 175772 HAS SOUPS 175772 WITH SCORE 176111.326
AT ITER 256 NEW BEST:: SOT 704522 SOS 339309 HAS SOPS 339309 HAS SOUS 175738 HAS SOUPS 175738 WITH SCORE 176077.309
AT ITER 257 NEW BEST:: SOT 704463 SOS 339150 HAS SOPS 339150 HAS SOUS 175253 HAS SOUPS 175253 WITH SCORE 175592.15
AT ITER 259 NEW BEST:: SOT 704431 SOS 339165 HAS SOPS 339165 HAS SOUS 175246 HAS SOUPS 175246 WITH SCORE 175585.165
AT ITER 260 NEW BEST:: SOT 704387 SOS 339121 HAS SOPS 339121 HAS SOUS 175202 HAS SOUPS 175202 WITH SCORE 175541.121
AT ITER 262 NEW BEST:: SOT 704111 SOS 338845 HAS SOPS 338845 HAS SOUS 174926 HAS SOUPS 174926 WITH SCORE 175264.845
AT ITER 266 NEW BEST:: SOT 704074 SOS 338808 HAS SOPS 338808 HAS SOUS 174889 HAS SOUPS 174889 WITH SCORE 175227.808
AT ITER 274 NEW BEST:: SOT 703996 SOS 338730 HAS SOPS 338730 HAS SOUS 174811 HAS SOUPS 174811 WITH SCORE 175149.73
AT ITER 275 NEW BEST:: SOT 703896 SOS 338508 HAS SOPS 338508 HAS SOUS 174101 HAS SOUPS 174101 WITH SCORE 174439.508
AT ITER 277 NEW BEST:: SOT 703896 SOS 338493 HAS SOPS 338493 HAS SOUS 174101 HAS SOUPS 174101 WITH SCORE 174439.493
AT ITER 296 NEW BEST:: SOT 703945 SOS 338420 HAS SOPS 338420 HAS SOUS 173805 HAS SOUPS 173805 WITH SCORE 174143.42
AT ITER 297 NEW BEST:: SOT 703990 SOS 338269 HAS SOPS 338269 HAS SOUS 173298 HAS SOUPS 173298 WITH SCORE 173636.269
AT ITER 307 NEW BEST:: SOT 703990 SOS 338269 HAS SOPS 338269 HAS SOUS 173251 HAS SOUPS 173251 WITH SCORE 173589.269
AT ITER 315 NEW BEST:: SOT 703985 SOS 338242 HAS SOPS 338242 HAS SOUS 173158 HAS SOUPS 173158 WITH SCORE 173496.242
AT ITER 317 NEW BEST:: SOT 703993 SOS 338367 HAS SOPS 338367 HAS SOUS 172997 HAS SOUPS 172997 WITH SCORE 173335.367
AT ITER 319 NEW BEST:: SOT 703987 SOS 338361 HAS SOPS 338361 HAS SOUS 172991 HAS SOUPS 172991 WITH SCORE 173329.361
AT ITER 322 NEW BEST:: SOT 704053 SOS 338271 HAS SOPS 338271 HAS SOUS 172625 HAS SOUPS 172625 WITH SCORE 172963.271
AT ITER 326 NEW BEST:: SOT 703985 SOS 348493 HAS SOPS 348493 HAS SOUS 172526 HAS SOUPS 172526 WITH SCORE 172874.493
AT ITER 327 NEW BEST:: SOT 703970 SOS 348356 HAS SOPS 348356 HAS SOUS 172122 HAS SOUPS 172122 WITH SCORE 172470.356
AT ITER 330 NEW BEST:: SOT 704140 SOS 348420 HAS SOPS 348420 HAS SOUS 171739 HAS SOUPS 171739 WITH SCORE 172087.42
AT ITER 331 NEW BEST:: SOT 704082 SOS 348362 HAS SOPS 348362 HAS SOUS 171681 HAS SOUPS 171681 WITH SCORE 172029.362
AT ITER 334 NEW BEST:: SOT 703999 SOS 348159 HAS SOPS 348159 HAS SOUS 170998 HAS SOUPS 170998 WITH SCORE 171346.159
AT ITER 335 NEW BEST:: SOT 703940 SOS 348059 HAS SOPS 348059 HAS SOUS 170828 HAS SOUPS 170828 WITH SCORE 171176.059
AT ITER 350 NEW BEST:: SOT 704020 SOS 348052 HAS SOPS 348052 HAS SOUS 170508 HAS SOUPS 170508 WITH SCORE 170856.052
AT ITER 356 NEW BEST:: SOT 704158 SOS 348074 HAS SOPS 348074 HAS SOUS 170270 HAS SOUPS 170270 WITH SCORE 170618.074
AT ITER 358 NEW BEST:: SOT 704018 SOS 347934 HAS SOPS 347934 HAS SOUS 170130 HAS SOUPS 170130 WITH SCORE 170477.934
AT ITER 364 NEW BEST:: SOT 704026 SOS 347942 HAS SOPS 347942 HAS SOUS 170010 HAS SOUPS 170010 WITH SCORE 170357.942
AT ITER 366 NEW BEST:: SOT 703984 SOS 347949 HAS SOPS 347949 HAS SOUS 169968 HAS SOUPS 169968 WITH SCORE 170315.949
AT ITER 369 NEW BEST:: SOT 703984 SOS 347949 HAS SOPS 347949 HAS SOUS 169963 HAS SOUPS 169963 WITH SCORE 170310.949
AT ITER 370 NEW BEST:: SOT 704024 SOS 347960 HAS SOPS 347960 HAS SOUS 169916 HAS SOUPS 169916 WITH SCORE 170263.96
AT ITER 373 NEW BEST:: SOT 704058 SOS 347994 HAS SOPS 347994 HAS SOUS 169892 HAS SOUPS 169892 WITH SCORE 170239.994
AT ITER 377 NEW BEST:: SOT 704042 SOS 347978 HAS SOPS 347978 HAS SOUS 169860 HAS SOUPS 169860 WITH SCORE 170207.978
AT ITER 378 NEW BEST:: SOT 704252 SOS 348066 HAS SOPS 348066 HAS SOUS 169460 HAS SOUPS 169460 WITH SCORE 169808.066
AT ITER 380 NEW BEST:: SOT 704160 SOS 347974 HAS SOPS 347974 HAS SOUS 169368 HAS SOUPS 169368 WITH SCORE 169715.974
AT ITER 384 NEW BEST:: SOT 704070 SOS 347884 HAS SOPS 347884 HAS SOUS 169190 HAS SOUPS 169190 WITH SCORE 169537.884
AT ITER 385 NEW BEST:: SOT 704070 SOS 347884 HAS SOPS 347884 HAS SOUS 169186 HAS SOUPS 169186 WITH SCORE 169533.884
AT ITER 390 NEW BEST:: SOT 703885 SOS 347699 HAS SOPS 347699 HAS SOUS 168827 HAS SOUPS 168827 WITH SCORE 169174.699
AT ITER 394 NEW BEST:: SOT 703654 SOS 347462 HAS SOPS 347462 HAS SOUS 168710 HAS SOUPS 168710 WITH SCORE 169057.462
AT ITER 396 NEW BEST:: SOT 703662 SOS 347470 HAS SOPS 347470 HAS SOUS 168619 HAS SOUPS 168619 WITH SCORE 168966.47
AT ITER 402 NEW BEST:: SOT 703660 SOS 347468 HAS SOPS 347468 HAS SOUS 168617 HAS SOUPS 168617 WITH SCORE 168964.468
AT ITER 405 NEW BEST:: SOT 703802 SOS 347644 HAS SOPS 347644 HAS SOUS 168572 HAS SOUPS 168572 WITH SCORE 168919.644
AT ITER 412 NEW BEST:: SOT 703707 SOS 347493 HAS SOPS 347493 HAS SOUS 167989 HAS SOUPS 167989 WITH SCORE 168336.493
AT ITER 418 NEW BEST:: SOT 703650 SOS 347379 HAS SOPS 347379 HAS SOUS 167771 HAS SOUPS 167771 WITH SCORE 168118.379
AT ITER 425 NEW BEST:: SOT 703512 SOS 347207 HAS SOPS 347207 HAS SOUS 167607 HAS SOUPS 167607 WITH SCORE 167954.207
AT ITER 426 NEW BEST:: SOT 703459 SOS 347154 HAS SOPS 347154 HAS SOUS 167554 HAS SOUPS 167554 WITH SCORE 167901.154
AT ITER 427 NEW BEST:: SOT 703459 SOS 347032 HAS SOPS 347032 HAS SOUS 167126 HAS SOUPS 167126 WITH SCORE 167473.032
AT ITER 429 NEW BEST:: SOT 703459 SOS 346971 HAS SOPS 346971 HAS SOUS 166970 HAS SOUPS 166970 WITH SCORE 167316.971
AT ITER 434 NEW BEST:: SOT 703391 SOS 346903 HAS SOPS 346903 HAS SOUS 166902 HAS SOUPS 166902 WITH SCORE 167248.903
AT ITER 439 NEW BEST:: SOT 624035 SOS 267831 HAS SOPS 267831 HAS SOUS 154151 HAS SOUPS 154151 WITH SCORE 154418.831
AT ITER 446 NEW BEST:: SOT 623959 SOS 267755 HAS SOPS 267755 HAS SOUS 154075 HAS SOUPS 154075 WITH SCORE 154342.755
AT ITER 447 NEW BEST:: SOT 623777 SOS 267571 HAS SOPS 267571 HAS SOUS 153839 HAS SOUPS 153839 WITH SCORE 154106.571
AT ITER 448 NEW BEST:: SOT 623735 SOS 267556 HAS SOPS 267556 HAS SOUS 153809 HAS SOUPS 153809 WITH SCORE 154076.556
AT ITER 452 NEW BEST:: SOT 623693 SOS 267514 HAS SOPS 267514 HAS SOUS 153655 HAS SOUPS 153655 WITH SCORE 153922.514
AT ITER 457 NEW BEST:: SOT 623647 SOS 267468 HAS SOPS 267468 HAS SOUS 153609 HAS SOUPS 153609 WITH SCORE 153876.468
AT ITER 460 NEW BEST:: SOT 623938 SOS 267715 HAS SOPS 267715 HAS SOUS 153335 HAS SOUPS 153335 WITH SCORE 153602.715
AT ITER 461 NEW BEST:: SOT 623894 SOS 267627 HAS SOPS 267627 HAS SOUS 153247 HAS SOUPS 153247 WITH SCORE 153514.627
AT ITER 463 NEW BEST:: SOT 623850 SOS 267635 HAS SOPS 267635 HAS SOUS 153203 HAS SOUPS 153203 WITH SCORE 153470.635
AT ITER 466 NEW BEST:: SOT 623850 SOS 267627 HAS SOPS 267627 HAS SOUS 153187 HAS SOUPS 153187 WITH SCORE 153454.627
AT ITER 478 NEW BEST:: SOT 623970 SOS 267691 HAS SOPS 267691 HAS SOUS 153061 HAS SOUPS 153061 WITH SCORE 153328.691
AT ITER 482 NEW BEST:: SOT 624092 SOS 267810 HAS SOPS 267810 HAS SOUS 153058 HAS SOUPS 153058 WITH SCORE 153325.81
AT ITER 497 NEW BEST:: SOT 624019 SOS 267696 HAS SOPS 267696 HAS SOUS 152872 HAS SOUPS 152872 WITH SCORE 153139.696
AT ITER 510 NEW BEST:: SOT 624019 SOS 267696 HAS SOPS 267696 HAS SOUS 152861 HAS SOUPS 152861 WITH SCORE 153128.696
AT ITER 528 NEW BEST:: SOT 624010 SOS 267687 HAS SOPS 267687 HAS SOUS 152852 HAS SOUPS 152852 WITH SCORE 153119.687
AT ITER 533 NEW BEST:: SOT 624013 SOS 267690 HAS SOPS 267690 HAS SOUS 152615 HAS SOUPS 152615 WITH SCORE 152882.69
AT ITER 534 NEW BEST:: SOT 623936 SOS 267788 HAS SOPS 267788 HAS SOUS 152516 HAS SOUPS 152516 WITH SCORE 152783.788
AT ITER 537 NEW BEST:: SOT 623926 SOS 267778 HAS SOPS 267778 HAS SOUS 152506 HAS SOUPS 152506 WITH SCORE 152773.778
AT ITER 546 NEW BEST:: SOT 623931 SOS 267661 HAS SOPS 267661 HAS SOUS 151946 HAS SOUPS 151946 WITH SCORE 152213.661
AT ITER 571 NEW BEST:: SOT 623931 SOS 267641 HAS SOPS 267641 HAS SOUS 151942 HAS SOUPS 151942 WITH SCORE 152209.641
AT ITER 581 NEW BEST:: SOT 623909 SOS 267617 HAS SOPS 267617 HAS SOUS 151910 HAS SOUPS 151910 WITH SCORE 152177.617
AT ITER 589 NEW BEST:: SOT 623890 SOS 267746 HAS SOPS 267746 HAS SOUS 151872 HAS SOUPS 151872 WITH SCORE 152139.746
AT ITER 602 NEW BEST:: SOT 623883 SOS 267739 HAS SOPS 267739 HAS SOUS 151865 HAS SOUPS 151865 WITH SCORE 152132.739
AT ITER 603 NEW BEST:: SOT 550427 SOS 234634 HAS SOPS 234634 HAS SOUS 143770 HAS SOUPS 143770 WITH SCORE 144004.634
AT ITER 611 NEW BEST:: SOT 550345 SOS 234552 HAS SOPS 234552 HAS SOUS 143688 HAS SOUPS 143688 WITH SCORE 143922.552
AT ITER 623 NEW BEST:: SOT 550344 SOS 234512 HAS SOPS 234512 HAS SOUS 143219 HAS SOUPS 143219 WITH SCORE 143453.512
AT ITER 628 NEW BEST:: SOT 550344 SOS 234512 HAS SOPS 234512 HAS SOUS 143074 HAS SOUPS 143074 WITH SCORE 143308.512
AT ITER 629 NEW BEST:: SOT 550333 SOS 234469 HAS SOPS 234469 HAS SOUS 143019 HAS SOUPS 143019 WITH SCORE 143253.469
AT ITER 640 NEW BEST:: SOT 550333 SOS 234469 HAS SOPS 234469 HAS SOUS 142905 HAS SOUPS 142905 WITH SCORE 143139.469
AT ITER 661 NEW BEST:: SOT 550357 SOS 234503 HAS SOPS 234503 HAS SOUS 142829 HAS SOUPS 142829 WITH SCORE 143063.503
AT ITER 665 NEW BEST:: SOT 550802 SOS 234914 HAS SOPS 234914 HAS SOUS 142824 HAS SOUPS 142824 WITH SCORE 143058.914
AT ITER 679 NEW BEST:: SOT 550929 SOS 235057 HAS SOPS 235057 HAS SOUS 142663 HAS SOUPS 142663 WITH SCORE 142898.057
AT ITER 697 NEW BEST:: SOT 550919 SOS 235176 HAS SOPS 235176 HAS SOUS 142642 HAS SOUPS 142642 WITH SCORE 142877.176
AT ITER 698 NEW BEST:: SOT 550919 SOS 235157 HAS SOPS 235157 HAS SOUS 142524 HAS SOUPS 142524 WITH SCORE 142759.157
AT ITER 700 NEW BEST:: SOT 550826 SOS 235064 HAS SOPS 235064 HAS SOUS 142051 HAS SOUPS 142051 WITH SCORE 142286.064
AT ITER 702 NEW BEST:: SOT 551109 SOS 235347 HAS SOPS 235347 HAS SOUS 141766 HAS SOUPS 141766 WITH SCORE 142001.347
AT ITER 707 NEW BEST:: SOT 551109 SOS 235339 HAS SOPS 235339 HAS SOUS 141766 HAS SOUPS 141766 WITH SCORE 142001.339
AT ITER 719 NEW BEST:: SOT 551217 SOS 235294 HAS SOPS 235294 HAS SOUS 141161 HAS SOUPS 141161 WITH SCORE 141396.294
AT ITER 725 NEW BEST:: SOT 551231 SOS 235308 HAS SOPS 235308 HAS SOUS 141051 HAS SOUPS 141051 WITH SCORE 141286.308
AT ITER 732 NEW BEST:: SOT 551229 SOS 235306 HAS SOPS 235306 HAS SOUS 141043 HAS SOUPS 141043 WITH SCORE 141278.306
AT ITER 734 NEW BEST:: SOT 551359 SOS 235295 HAS SOPS 235295 HAS SOUS 140857 HAS SOUPS 140857 WITH SCORE 141092.295
AT ITER 740 NEW BEST:: SOT 551357 SOS 235276 HAS SOPS 235276 HAS SOUS 140853 HAS SOUPS 140853 WITH SCORE 141088.276
AT ITER 758 NEW BEST:: SOT 551277 SOS 235196 HAS SOPS 235196 HAS SOUS 140773 HAS SOUPS 140773 WITH SCORE 141008.196
AT ITER 775 NEW BEST:: SOT 551173 SOS 235092 HAS SOPS 235092 HAS SOUS 140587 HAS SOUPS 140587 WITH SCORE 140822.092
AT ITER 789 NEW BEST:: SOT 551252 SOS 235060 HAS SOPS 235060 HAS SOUS 140111 HAS SOUPS 140111 WITH SCORE 140346.06
AT ITER 801 NEW BEST:: SOT 551252 SOS 234965 HAS SOPS 234965 HAS SOUS 139911 HAS SOUPS 139911 WITH SCORE 140145.965
AT ITER 820 NEW BEST:: SOT 551339 SOS 234965 HAS SOPS 234965 HAS SOUS 139711 HAS SOUPS 139711 WITH SCORE 139945.965
AT ITER 821 NEW BEST:: SOT 547477 SOS 231103 HAS SOPS 231103 HAS SOUS 135735 HAS SOUPS 135735 WITH SCORE 135966.103
AT ITER 827 NEW BEST:: SOT 547430 SOS 230915 HAS SOPS 230915 HAS SOUS 135568 HAS SOUPS 135568 WITH SCORE 135798.915
AT ITER 829 NEW BEST:: SOT 547391 SOS 230981 HAS SOPS 230981 HAS SOUS 135558 HAS SOUPS 135558 WITH SCORE 135788.981
AT ITER 839 NEW BEST:: SOT 547391 SOS 230945 HAS SOPS 230945 HAS SOUS 135552 HAS SOUPS 135552 WITH SCORE 135782.945
AT ITER 850 NEW BEST:: SOT 547391 SOS 230904 HAS SOPS 230904 HAS SOUS 135497 HAS SOUPS 135497 WITH SCORE 135727.904
AT ITER 863 NEW BEST:: SOT 547430 SOS 230902 HAS SOPS 230902 HAS SOUS 135190 HAS SOUPS 135190 WITH SCORE 135420.902
AT ITER 883 NEW BEST:: SOT 547430 SOS 226584 HAS SOPS 226584 HAS SOUS 135151 HAS SOUPS 135151 WITH SCORE 135377.584
AT ITER 886 NEW BEST:: SOT 547430 SOS 226584 HAS SOPS 226584 HAS SOUS 135147 HAS SOUPS 135147 WITH SCORE 135373.584
AT ITER 901 NEW BEST:: SOT 547429 SOS 226583 HAS SOPS 226583 HAS SOUS 135146 HAS SOUPS 135146 WITH SCORE 135372.583
AT ITER 902 NEW BEST:: SOT 547443 SOS 226523 HAS SOPS 226523 HAS SOUS 135040 HAS SOUPS 135040 WITH SCORE 135266.523
AT ITER 924 NEW BEST:: SOT 547497 SOS 226520 HAS SOPS 226520 HAS SOUS 134865 HAS SOUPS 134865 WITH SCORE 135091.52
AT ITER 932 NEW BEST:: SOT 547451 SOS 226474 HAS SOPS 226474 HAS SOUS 134734 HAS SOUPS 134734 WITH SCORE 134960.474
AT ITER 934 NEW BEST:: SOT 547498 SOS 226521 HAS SOPS 226521 HAS SOUS 134621 HAS SOUPS 134621 WITH SCORE 134847.521
AT ITER 944 NEW BEST:: SOT 547542 SOS 226521 HAS SOPS 226521 HAS SOUS 134489 HAS SOUPS 134489 WITH SCORE 134715.521
AT ITER 945 NEW BEST:: SOT 547532 SOS 226495 HAS SOPS 226495 HAS SOUS 134405 HAS SOUPS 134405 WITH SCORE 134631.495
AT ITER 946 NEW BEST:: SOT 547473 SOS 226436 HAS SOPS 226436 HAS SOUS 134218 HAS SOUPS 134218 WITH SCORE 134444.436
AT ITER 952 NEW BEST:: SOT 547547 SOS 226594 HAS SOPS 226594 HAS SOUS 134172 HAS SOUPS 134172 WITH SCORE 134398.594
AT ITER 953 NEW BEST:: SOT 547563 SOS 226610 HAS SOPS 226610 HAS SOUS 134120 HAS SOUPS 134120 WITH SCORE 134346.61
AT ITER 957 NEW BEST:: SOT 547534 SOS 226630 HAS SOPS 226630 HAS SOUS 134042 HAS SOUPS 134042 WITH SCORE 134268.63
AT ITER 959 NEW BEST:: SOT 547602 SOS 226678 HAS SOPS 226678 HAS SOUS 134019 HAS SOUPS 134019 WITH SCORE 134245.678
AT ITER 965 NEW BEST:: SOT 547512 SOS 226588 HAS SOPS 226588 HAS SOUS 133929 HAS SOUPS 133929 WITH SCORE 134155.588
AT ITER 966 NEW BEST:: SOT 547509 SOS 226596 HAS SOPS 226596 HAS SOUS 133923 HAS SOUPS 133923 WITH SCORE 134149.596
AT ITER 969 NEW BEST:: SOT 547497 SOS 226785 HAS SOPS 226785 HAS SOUS 133899 HAS SOUPS 133899 WITH SCORE 134125.785
AT ITER 970 NEW BEST:: SOT 547497 SOS 226785 HAS SOPS 226785 HAS SOUS 133832 HAS SOUPS 133832 WITH SCORE 134058.785
AT ITER 971 NEW BEST:: SOT 547497 SOS 226785 HAS SOPS 226785 HAS SOUS 133689 HAS SOUPS 133689 WITH SCORE 133915.785
AT ITER 978 NEW BEST:: SOT 547337 SOS 226625 HAS SOPS 226625 HAS SOUS 133507 HAS SOUPS 133507 WITH SCORE 133733.625
AT ITER 988 NEW BEST:: SOT 547399 SOS 226596 HAS SOPS 226596 HAS SOUS 133306 HAS SOUPS 133306 WITH SCORE 133532.596
AT ITER 989 NEW BEST:: SOT 547393 SOS 226590 HAS SOPS 226590 HAS SOUS 133294 HAS SOUPS 133294 WITH SCORE 133520.59
AT ITER 992 NEW BEST:: SOT 547393 SOS 226590 HAS SOPS 226590 HAS SOUS 133283 HAS SOUPS 133283 WITH SCORE 133509.59
AT ITER 993 NEW BEST:: SOT 547324 SOS 226521 HAS SOPS 226521 HAS SOUS 133145 HAS SOUPS 133145 WITH SCORE 133371.521
AT ITER 994 NEW BEST:: SOT 547324 SOS 226521 HAS SOPS 226521 HAS SOUS 133065 HAS SOUPS 133065 WITH SCORE 133291.521
AT ITER 998 NEW BEST:: SOT 547300 SOS 226579 HAS SOPS 226579 HAS SOUS 133037 HAS SOUPS 133037 WITH SCORE 133263.579
AT ITER 1006 NEW BEST:: SOT 547300 SOS 226534 HAS SOPS 226534 HAS SOUS 132812 HAS SOUPS 132812 WITH SCORE 133038.534
AT ITER 1010 NEW BEST:: SOT 547410 SOS 226649 HAS SOPS 226649 HAS SOUS 132658 HAS SOUPS 132658 WITH SCORE 132884.649
AT ITER 1012 NEW BEST:: SOT 547410 SOS 226649 HAS SOPS 226649 HAS SOUS 132572 HAS SOUPS 132572 WITH SCORE 132798.649
AT ITER 1014 NEW BEST:: SOT 547410 SOS 226649 HAS SOPS 226649 HAS SOUS 132536 HAS SOUPS 132536 WITH SCORE 132762.649
AT ITER 1015 NEW BEST:: SOT 547375 SOS 226655 HAS SOPS 226655 HAS SOUS 132523 HAS SOUPS 132523 WITH SCORE 132749.655
AT ITER 1017 NEW BEST:: SOT 547375 SOS 226648 HAS SOPS 226648 HAS SOUS 132523 HAS SOUPS 132523 WITH SCORE 132749.648
AT ITER 1018 NEW BEST:: SOT 547213 SOS 226432 HAS SOPS 226432 HAS SOUS 132302 HAS SOUPS 132302 WITH SCORE 132528.432
AT ITER 1034 NEW BEST:: SOT 547195 SOS 226414 HAS SOPS 226414 HAS SOUS 132275 HAS SOUPS 132275 WITH SCORE 132501.414
AT ITER 1039 NEW BEST:: SOT 547070 SOS 226289 HAS SOPS 226289 HAS SOUS 132144 HAS SOUPS 132144 WITH SCORE 132370.289
AT ITER 1041 NEW BEST:: SOT 547070 SOS 226289 HAS SOPS 226289 HAS SOUS 132112 HAS SOUPS 132112 WITH SCORE 132338.289
AT ITER 1060 NEW BEST:: SOT 546980 SOS 226156 HAS SOPS 226156 HAS SOUS 131949 HAS SOUPS 131949 WITH SCORE 132175.156
AT ITER 1062 NEW BEST:: SOT 546969 SOS 226145 HAS SOPS 226145 HAS SOUS 131927 HAS SOUPS 131927 WITH SCORE 132153.145
AT ITER 1066 NEW BEST:: SOT 546953 SOS 226129 HAS SOPS 226129 HAS SOUS 131895 HAS SOUPS 131895 WITH SCORE 132121.129
AT ITER 1094 NEW BEST:: SOT 546953 SOS 226115 HAS SOPS 226115 HAS SOUS 131825 HAS SOUPS 131825 WITH SCORE 132051.115
AT ITER 1096 NEW BEST:: SOT 547122 SOS 226151 HAS SOPS 226151 HAS SOUS 131512 HAS SOUPS 131512 WITH SCORE 131738.151
AT ITER 1100 NEW BEST:: SOT 547112 SOS 226325 HAS SOPS 226325 HAS SOUS 131497 HAS SOUPS 131497 WITH SCORE 131723.325
AT ITER 1109 NEW BEST:: SOT 547166 SOS 226288 HAS SOPS 226288 HAS SOUS 131096 HAS SOUPS 131096 WITH SCORE 131322.288
AT ITER 1121 NEW BEST:: SOT 547085 SOS 226207 HAS SOPS 226207 HAS SOUS 130851 HAS SOUPS 130851 WITH SCORE 131077.207
AT ITER 1127 NEW BEST:: SOT 547076 SOS 226198 HAS SOPS 226198 HAS SOUS 130818 HAS SOUPS 130818 WITH SCORE 131044.198
AT ITER 1128 NEW BEST:: SOT 547017 SOS 226067 HAS SOPS 226067 HAS SOUS 130702 HAS SOUPS 130702 WITH SCORE 130928.067
AT ITER 1129 NEW BEST:: SOT 546998 SOS 226201 HAS SOPS 226201 HAS SOUS 130664 HAS SOUPS 130664 WITH SCORE 130890.201
AT ITER 1133 NEW BEST:: SOT 546971 SOS 226174 HAS SOPS 226174 HAS SOUS 130637 HAS SOUPS 130637 WITH SCORE 130863.174
AT ITER 1140 NEW BEST:: SOT 546968 SOS 226168 HAS SOPS 226168 HAS SOUS 130628 HAS SOUPS 130628 WITH SCORE 130854.168
AT ITER 1141 NEW BEST:: SOT 546741 SOS 225993 HAS SOPS 225993 HAS SOUS 130589 HAS SOUPS 130589 WITH SCORE 130814.993
AT ITER 1148 NEW BEST:: SOT 546685 SOS 225950 HAS SOPS 225950 HAS SOUS 130542 HAS SOUPS 130542 WITH SCORE 130767.95
AT ITER 1149 NEW BEST:: SOT 546752 SOS 225976 HAS SOPS 225976 HAS SOUS 130427 HAS SOUPS 130427 WITH SCORE 130652.976
AT ITER 1151 NEW BEST:: SOT 546743 SOS 225967 HAS SOPS 225967 HAS SOUS 130350 HAS SOUPS 130350 WITH SCORE 130575.967
AT ITER 1152 NEW BEST:: SOT 546696 SOS 225920 HAS SOPS 225920 HAS SOUS 130256 HAS SOUPS 130256 WITH SCORE 130481.92
AT ITER 1155 NEW BEST:: SOT 546763 SOS 225987 HAS SOPS 225987 HAS SOUS 130122 HAS SOUPS 130122 WITH SCORE 130347.987
AT ITER 1164 NEW BEST:: SOT 546763 SOS 225935 HAS SOPS 225935 HAS SOUS 130036 HAS SOUPS 130036 WITH SCORE 130261.935
AT ITER 1172 NEW BEST:: SOT 546721 SOS 225893 HAS SOPS 225893 HAS SOUS 129947 HAS SOUPS 129947 WITH SCORE 130172.893
AT ITER 1174 NEW BEST:: SOT 546569 SOS 225741 HAS SOPS 225741 HAS SOUS 129789 HAS SOUPS 129789 WITH SCORE 130014.741
AT ITER 1182 NEW BEST:: SOT 546675 SOS 225915 HAS SOPS 225915 HAS SOUS 129481 HAS SOUPS 129481 WITH SCORE 129706.915
AT ITER 1186 NEW BEST:: SOT 546675 SOS 225911 HAS SOPS 225911 HAS SOUS 129439 HAS SOUPS 129439 WITH SCORE 129664.911
AT ITER 1197 NEW BEST:: SOT 546649 SOS 225885 HAS SOPS 225885 HAS SOUS 129400 HAS SOUPS 129400 WITH SCORE 129625.885
AT ITER 1205 NEW BEST:: SOT 546629 SOS 225845 HAS SOPS 225845 HAS SOUS 129230 HAS SOUPS 129230 WITH SCORE 129455.845
AT ITER 1209 NEW BEST:: SOT 546664 SOS 225880 HAS SOPS 225880 HAS SOUS 128885 HAS SOUPS 128885 WITH SCORE 129110.88
AT ITER 1212 NEW BEST:: SOT 546753 SOS 226065 HAS SOPS 226065 HAS SOUS 128811 HAS SOUPS 128811 WITH SCORE 129037.065
AT ITER 1223 NEW BEST:: SOT 546721 SOS 226033 HAS SOPS 226033 HAS SOUS 128779 HAS SOUPS 128779 WITH SCORE 129005.033
AT ITER 1230 NEW BEST:: SOT 546731 SOS 226043 HAS SOPS 226043 HAS SOUS 128769 HAS SOUPS 128769 WITH SCORE 128995.043
AT ITER 1249 NEW BEST:: SOT 546771 SOS 226031 HAS SOPS 226031 HAS SOUS 128560 HAS SOUPS 128560 WITH SCORE 128786.031
AT ITER 1250 NEW BEST:: SOT 546745 SOS 226023 HAS SOPS 226023 HAS SOUS 128536 HAS SOUPS 128536 WITH SCORE 128762.023
AT ITER 1265 NEW BEST:: SOT 546768 SOS 225962 HAS SOPS 225962 HAS SOUS 128390 HAS SOUPS 128390 WITH SCORE 128615.962
AT ITER 1267 NEW BEST:: SOT 546741 SOS 225935 HAS SOPS 225935 HAS SOUS 128360 HAS SOUPS 128360 WITH SCORE 128585.935
AT ITER 1287 NEW BEST:: SOT 546940 SOS 226134 HAS SOPS 226134 HAS SOUS 127958 HAS SOUPS 127958 WITH SCORE 128184.134
AT ITER 1303 NEW BEST:: SOT 546895 SOS 226129 HAS SOPS 226129 HAS SOUS 127944 HAS SOUPS 127944 WITH SCORE 128170.129
AT ITER 1308 NEW BEST:: SOT 546895 SOS 226072 HAS SOPS 226072 HAS SOUS 127494 HAS SOUPS 127494 WITH SCORE 127720.072
AT ITER 1316 NEW BEST:: SOT 546882 SOS 226059 HAS SOPS 226059 HAS SOUS 127468 HAS SOUPS 127468 WITH SCORE 127694.059
AT ITER 1318 NEW BEST:: SOT 546882 SOS 226059 HAS SOPS 226059 HAS SOUS 127444 HAS SOUPS 127444 WITH SCORE 127670.059
AT ITER 1319 NEW BEST:: SOT 546851 SOS 225987 HAS SOPS 225987 HAS SOUS 126824 HAS SOUPS 126824 WITH SCORE 127049.987
AT ITER 1324 NEW BEST:: SOT 546851 SOS 225987 HAS SOPS 225987 HAS SOUS 126819 HAS SOUPS 126819 WITH SCORE 127044.987
AT ITER 1331 NEW BEST:: SOT 530804 SOS 244382 HAS SOPS 244382 HAS SOUS 111318 HAS SOUPS 111318 WITH SCORE 111562.382
AT ITER 1333 NEW BEST:: SOT 530763 SOS 244174 HAS SOPS 244174 HAS SOUS 111168 HAS SOUPS 111168 WITH SCORE 111412.174
AT ITER 1336 NEW BEST:: SOT 530759 SOS 244369 HAS SOPS 244369 HAS SOUS 111160 HAS SOUPS 111160 WITH SCORE 111404.369
AT ITER 1343 NEW BEST:: SOT 530744 SOS 244354 HAS SOPS 244354 HAS SOUS 110930 HAS SOUPS 110930 WITH SCORE 111174.354
AT ITER 1354 NEW BEST:: SOT 530782 SOS 244293 HAS SOPS 244293 HAS SOUS 110877 HAS SOUPS 110877 WITH SCORE 111121.293
AT ITER 1358 NEW BEST:: SOT 530758 SOS 244269 HAS SOPS 244269 HAS SOUS 110829 HAS SOUPS 110829 WITH SCORE 111073.269
AT ITER 1364 NEW BEST:: SOT 530758 SOS 244269 HAS SOPS 244269 HAS SOUS 110803 HAS SOUPS 110803 WITH SCORE 111047.269
AT ITER 1378 NEW BEST:: SOT 530722 SOS 244233 HAS SOPS 244233 HAS SOUS 110767 HAS SOUPS 110767 WITH SCORE 111011.233
AT ITER 1379 NEW BEST:: SOT 530674 SOS 244185 HAS SOPS 244185 HAS SOUS 110719 HAS SOUPS 110719 WITH SCORE 110963.185
AT ITER 1390 NEW BEST:: SOT 530623 SOS 244134 HAS SOPS 244134 HAS SOUS 110668 HAS SOUPS 110668 WITH SCORE 110912.134
AT ITER 1409 NEW BEST:: SOT 530513 SOS 244024 HAS SOPS 244024 HAS SOUS 110512 HAS SOUPS 110512 WITH SCORE 110756.024
AT ITER 1412 NEW BEST:: SOT 530408 SOS 243919 HAS SOPS 243919 HAS SOUS 110407 HAS SOUPS 110407 WITH SCORE 110650.919
AT ITER 1419 NEW BEST:: SOT 530396 SOS 243907 HAS SOPS 243907 HAS SOUS 110330 HAS SOUPS 110330 WITH SCORE 110573.907
AT ITER 1428 NEW BEST:: SOT 530377 SOS 243888 HAS SOPS 243888 HAS SOUS 110218 HAS SOUPS 110218 WITH SCORE 110461.888
AT ITER 1432 NEW BEST:: SOT 530466 SOS 243977 HAS SOPS 243977 HAS SOUS 110174 HAS SOUPS 110174 WITH SCORE 110417.977
AT ITER 1443 NEW BEST:: SOT 530372 SOS 243883 HAS SOPS 243883 HAS SOUS 110033 HAS SOUPS 110033 WITH SCORE 110276.883
AT ITER 1454 NEW BEST:: SOT 530108 SOS 243619 HAS SOPS 243619 HAS SOUS 109613 HAS SOUPS 109613 WITH SCORE 109856.619
AT ITER 1469 NEW BEST:: SOT 530002 SOS 243513 HAS SOPS 243513 HAS SOUS 109507 HAS SOUPS 109507 WITH SCORE 109750.513
AT ITER 1477 NEW BEST:: SOT 529968 SOS 243521 HAS SOPS 243521 HAS SOUS 109499 HAS SOUPS 109499 WITH SCORE 109742.521
AT ITER 1484 NEW BEST:: SOT 529972 SOS 243449 HAS SOPS 243449 HAS SOUS 109299 HAS SOUPS 109299 WITH SCORE 109542.449
AT ITER 1487 NEW BEST:: SOT 529899 SOS 243376 HAS SOPS 243376 HAS SOUS 109085 HAS SOUPS 109085 WITH SCORE 109328.376
AT ITER 1491 NEW BEST:: SOT 529909 SOS 243386 HAS SOPS 243386 HAS SOUS 108977 HAS SOUPS 108977 WITH SCORE 109220.386
AT ITER 1498 NEW BEST:: SOT 529909 SOS 243316 HAS SOPS 243316 HAS SOUS 108977 HAS SOUPS 108977 WITH SCORE 109220.316
AT ITER 1505 NEW BEST:: SOT 529906 SOS 243313 HAS SOPS 243313 HAS SOUS 108971 HAS SOUPS 108971 WITH SCORE 109214.313
AT ITER 1507 NEW BEST:: SOT 529866 SOS 243273 HAS SOPS 243273 HAS SOUS 108927 HAS SOUPS 108927 WITH SCORE 109170.273
AT ITER 1508 NEW BEST:: SOT 529866 SOS 243273 HAS SOPS 243273 HAS SOUS 108401 HAS SOUPS 108401 WITH SCORE 108644.273
AT ITER 1510 NEW BEST:: SOT 529927 SOS 243334 HAS SOPS 243334 HAS SOUS 108018 HAS SOUPS 108018 WITH SCORE 108261.334
AT ITER 1512 NEW BEST:: SOT 529919 SOS 243440 HAS SOPS 243440 HAS SOUS 108002 HAS SOUPS 108002 WITH SCORE 108245.44
AT ITER 1514 NEW BEST:: SOT 529920 SOS 243428 HAS SOPS 243428 HAS SOUS 107978 HAS SOUPS 107978 WITH SCORE 108221.428
AT ITER 1520 NEW BEST:: SOT 529836 SOS 243422 HAS SOPS 243422 HAS SOUS 107966 HAS SOUPS 107966 WITH SCORE 108209.422
AT ITER 1525 NEW BEST:: SOT 529826 SOS 243412 HAS SOPS 243412 HAS SOUS 107928 HAS SOUPS 107928 WITH SCORE 108171.412
AT ITER 1549 NEW BEST:: SOT 529826 SOS 243370 HAS SOPS 243370 HAS SOUS 107928 HAS SOUPS 107928 WITH SCORE 108171.37
AT ITER 1559 NEW BEST:: SOT 529826 SOS 243320 HAS SOPS 243320 HAS SOUS 107850 HAS SOUPS 107850 WITH SCORE 108093.32
AT ITER 1566 NEW BEST:: SOT 529826 SOS 243362 HAS SOPS 243362 HAS SOUS 107726 HAS SOUPS 107726 WITH SCORE 107969.362
AT ITER 1567 NEW BEST:: SOT 529825 SOS 243368 HAS SOPS 243368 HAS SOUS 107724 HAS SOUPS 107724 WITH SCORE 107967.368
AT ITER 1590 NEW BEST:: SOT 529772 SOS 243315 HAS SOPS 243315 HAS SOUS 107634 HAS SOUPS 107634 WITH SCORE 107877.315
AT ITER 1603 NEW BEST:: SOT 529658 SOS 243201 HAS SOPS 243201 HAS SOUS 107520 HAS SOUPS 107520 WITH SCORE 107763.201
AT ITER 1605 NEW BEST:: SOT 529648 SOS 243191 HAS SOPS 243191 HAS SOUS 107510 HAS SOUPS 107510 WITH SCORE 107753.191
AT ITER 1606 NEW BEST:: SOT 529544 SOS 243087 HAS SOPS 243087 HAS SOUS 107221 HAS SOUPS 107221 WITH SCORE 107464.087
AT ITER 1608 NEW BEST:: SOT 529310 SOS 242853 HAS SOPS 242853 HAS SOUS 106853 HAS SOUPS 106853 WITH SCORE 107095.853
AT ITER 1614 NEW BEST:: SOT 529306 SOS 242845 HAS SOPS 242845 HAS SOUS 106845 HAS SOUPS 106845 WITH SCORE 107087.845
AT ITER 1646 NEW BEST:: SOT 529302 SOS 242841 HAS SOPS 242841 HAS SOUS 106821 HAS SOUPS 106821 WITH SCORE 107063.841
AT ITER 1649 NEW BEST:: SOT 529137 SOS 242676 HAS SOPS 242676 HAS SOUS 106594 HAS SOUPS 106594 WITH SCORE 106836.676
AT ITER 1659 NEW BEST:: SOT 529107 SOS 242646 HAS SOPS 242646 HAS SOUS 106564 HAS SOUPS 106564 WITH SCORE 106806.646
AT ITER 1675 NEW BEST:: SOT 529112 SOS 242651 HAS SOPS 242651 HAS SOUS 106446 HAS SOUPS 106446 WITH SCORE 106688.651
AT ITER 1693 NEW BEST:: SOT 529112 SOS 242651 HAS SOPS 242651 HAS SOUS 106406 HAS SOUPS 106406 WITH SCORE 106648.651
AT ITER 1703 NEW BEST:: SOT 529112 SOS 242647 HAS SOPS 242647 HAS SOUS 106398 HAS SOUPS 106398 WITH SCORE 106640.647
AT ITER 1746 NEW BEST:: SOT 529112 SOS 242528 HAS SOPS 242528 HAS SOUS 106358 HAS SOUPS 106358 WITH SCORE 106600.528
AT ITER 1751 NEW BEST:: SOT 529076 SOS 242492 HAS SOPS 242492 HAS SOUS 106159 HAS SOUPS 106159 WITH SCORE 106401.492
AT ITER 1762 NEW BEST:: SOT 529107 SOS 242523 HAS SOPS 242523 HAS SOUS 106131 HAS SOUPS 106131 WITH SCORE 106373.523
AT ITER 1777 NEW BEST:: SOT 529043 SOS 242459 HAS SOPS 242459 HAS SOUS 105950 HAS SOUPS 105950 WITH SCORE 106192.459
AT ITER 1781 NEW BEST:: SOT 529032 SOS 242448 HAS SOPS 242448 HAS SOUS 105928 HAS SOUPS 105928 WITH SCORE 106170.448
AT ITER 1785 NEW BEST:: SOT 529093 SOS 242509 HAS SOPS 242509 HAS SOUS 105735 HAS SOUPS 105735 WITH SCORE 105977.509
AT ITER 1799 NEW BEST:: SOT 529269 SOS 242488 HAS SOPS 242488 HAS SOUS 105648 HAS SOUPS 105648 WITH SCORE 105890.488
AT ITER 1802 NEW BEST:: SOT 529193 SOS 242435 HAS SOPS 242435 HAS SOUS 105647 HAS SOUPS 105647 WITH SCORE 105889.435
AT ITER 1852 NEW BEST:: SOT 529110 SOS 242352 HAS SOPS 242352 HAS SOUS 105588 HAS SOUPS 105588 WITH SCORE 105830.352
AT ITER 1878 NEW BEST:: SOT 529087 SOS 237591 HAS SOPS 237591 HAS SOUS 105542 HAS SOUPS 105542 WITH SCORE 105779.591
AT ITER 1880 NEW BEST:: SOT 529007 SOS 221111 HAS SOPS 221111 HAS SOUS 105382 HAS SOUPS 105382 WITH SCORE 105603.111
AT ITER 1887 NEW BEST:: SOT 528935 SOS 221039 HAS SOPS 221039 HAS SOUS 105351 HAS SOUPS 105351 WITH SCORE 105572.039
AT ITER 1889 NEW BEST:: SOT 528928 SOS 221032 HAS SOPS 221032 HAS SOUS 105344 HAS SOUPS 105344 WITH SCORE 105565.032
AT ITER 1894 NEW BEST:: SOT 528877 SOS 220981 HAS SOPS 220981 HAS SOUS 105216 HAS SOUPS 105216 WITH SCORE 105436.981
AT ITER 1923 NEW BEST:: SOT 528807 SOS 220911 HAS SOPS 220911 HAS SOUS 105146 HAS SOUPS 105146 WITH SCORE 105366.911
AT ITER 1925 NEW BEST:: SOT 528599 SOS 220703 HAS SOPS 220703 HAS SOUS 104760 HAS SOUPS 104760 WITH SCORE 104980.703
AT ITER 1927 NEW BEST:: SOT 528511 SOS 220615 HAS SOPS 220615 HAS SOUS 104672 HAS SOUPS 104672 WITH SCORE 104892.615
AT ITER 1933 NEW BEST:: SOT 528511 SOS 220615 HAS SOPS 220615 HAS SOUS 104671 HAS SOUPS 104671 WITH SCORE 104891.615
AT ITER 1936 NEW BEST:: SOT 528511 SOS 220615 HAS SOPS 220615 HAS SOUS 104547 HAS SOUPS 104547 WITH SCORE 104767.615
AT ITER 1944 NEW BEST:: SOT 528592 SOS 220696 HAS SOPS 220696 HAS SOUS 104300 HAS SOUPS 104300 WITH SCORE 104520.696
AT ITER 1946 NEW BEST:: SOT 528733 SOS 220552 HAS SOPS 220552 HAS SOUS 104300 HAS SOUPS 104300 WITH SCORE 104520.552
AT ITER 1949 NEW BEST:: SOT 528733 SOS 220552 HAS SOPS 220552 HAS SOUS 104284 HAS SOUPS 104284 WITH SCORE 104504.552
AT ITER 1951 NEW BEST:: SOT 528727 SOS 220546 HAS SOPS 220546 HAS SOUS 104280 HAS SOUPS 104280 WITH SCORE 104500.546
AT ITER 1953 NEW BEST:: SOT 529010 SOS 220829 HAS SOPS 220829 HAS SOUS 104070 HAS SOUPS 104070 WITH SCORE 104290.829
AT ITER 1961 NEW BEST:: SOT 529043 SOS 220862 HAS SOPS 220862 HAS SOUS 103969 HAS SOUPS 103969 WITH SCORE 104189.862
AT ITER 1966 NEW BEST:: SOT 529042 SOS 220861 HAS SOPS 220861 HAS SOUS 103968 HAS SOUPS 103968 WITH SCORE 104188.861
AT ITER 1968 NEW BEST:: SOT 529074 SOS 220893 HAS SOPS 220893 HAS SOUS 103932 HAS SOUPS 103932 WITH SCORE 104152.893
AT ITER 1976 NEW BEST:: SOT 529056 SOS 220875 HAS SOPS 220875 HAS SOUS 103914 HAS SOUPS 103914 WITH SCORE 104134.875
AT ITER 1981 NEW BEST:: SOT 529069 SOS 220854 HAS SOPS 220854 HAS SOUS 103890 HAS SOUPS 103890 WITH SCORE 104110.854
AT ITER 1987 NEW BEST:: SOT 529046 SOS 220898 HAS SOPS 220898 HAS SOUS 103844 HAS SOUPS 103844 WITH SCORE 104064.898
AT ITER 1997 NEW BEST:: SOT 528987 SOS 220839 HAS SOPS 220839 HAS SOUS 103754 HAS SOUPS 103754 WITH SCORE 103974.839
AT ITER 2001 NEW BEST:: SOT 528877 SOS 220729 HAS SOPS 220729 HAS SOUS 103493 HAS SOUPS 103493 WITH SCORE 103713.729
AT ITER 2004 NEW BEST:: SOT 528787 SOS 220639 HAS SOPS 220639 HAS SOUS 103403 HAS SOUPS 103403 WITH SCORE 103623.639
AT ITER 2006 NEW BEST:: SOT 528778 SOS 220630 HAS SOPS 220630 HAS SOUS 103394 HAS SOUPS 103394 WITH SCORE 103614.63
AT ITER 2013 NEW BEST:: SOT 528727 SOS 220911 HAS SOPS 220911 HAS SOUS 103360 HAS SOUPS 103360 WITH SCORE 103580.911
AT ITER 2027 NEW BEST:: SOT 527219 SOS 222478 HAS SOPS 222478 HAS SOUS 101699 HAS SOUPS 101699 WITH SCORE 101921.478
AT ITER 2030 NEW BEST:: SOT 527213 SOS 222502 HAS SOPS 222502 HAS SOUS 101693 HAS SOUPS 101693 WITH SCORE 101915.502
AT ITER 2048 NEW BEST:: SOT 527149 SOS 222438 HAS SOPS 222438 HAS SOUS 101635 HAS SOUPS 101635 WITH SCORE 101857.438
AT ITER 2056 NEW BEST:: SOT 527139 SOS 222418 HAS SOPS 222418 HAS SOUS 101615 HAS SOUPS 101615 WITH SCORE 101837.418
AT ITER 2061 NEW BEST:: SOT 527226 SOS 222505 HAS SOPS 222505 HAS SOUS 101511 HAS SOUPS 101511 WITH SCORE 101733.505
AT ITER 2065 NEW BEST:: SOT 527220 SOS 222499 HAS SOPS 222499 HAS SOUS 101499 HAS SOUPS 101499 WITH SCORE 101721.499
AT ITER 2101 NEW BEST:: SOT 527133 SOS 222511 HAS SOPS 222511 HAS SOUS 101351 HAS SOUPS 101351 WITH SCORE 101573.511
AT ITER 2102 NEW BEST:: SOT 527097 SOS 222484 HAS SOPS 222484 HAS SOUS 101324 HAS SOUPS 101324 WITH SCORE 101546.484
AT ITER 2106 NEW BEST:: SOT 526769 SOS 222156 HAS SOPS 222156 HAS SOUS 100993 HAS SOUPS 100993 WITH SCORE 101215.156
AT ITER 2167 NEW BEST:: SOT 526753 SOS 222140 HAS SOPS 222140 HAS SOUS 100934 HAS SOUPS 100934 WITH SCORE 101156.14
AT ITER 2168 NEW BEST:: SOT 526702 SOS 222089 HAS SOPS 222089 HAS SOUS 100884 HAS SOUPS 100884 WITH SCORE 101106.089
AT ITER 2170 NEW BEST:: SOT 526628 SOS 222015 HAS SOPS 222015 HAS SOUS 100810 HAS SOUPS 100810 WITH SCORE 101032.015
AT ITER 2173 NEW BEST:: SOT 526618 SOS 222015 HAS SOPS 222015 HAS SOUS 100790 HAS SOUPS 100790 WITH SCORE 101012.015
AT ITER 2192 NEW BEST:: SOT 526639 SOS 221991 HAS SOPS 221991 HAS SOUS 100787 HAS SOUPS 100787 WITH SCORE 101008.991
AT ITER 2195 NEW BEST:: SOT 526639 SOS 221991 HAS SOPS 221991 HAS SOUS 100758 HAS SOUPS 100758 WITH SCORE 100979.991
AT ITER 2200 NEW BEST:: SOT 526401 SOS 221753 HAS SOPS 221753 HAS SOUS 100630 HAS SOUPS 100630 WITH SCORE 100851.753
AT ITER 2225 NEW BEST:: SOT 526269 SOS 221621 HAS SOPS 221621 HAS SOUS 100351 HAS SOUPS 100351 WITH SCORE 100572.621
AT ITER 2248 NEW BEST:: SOT 526269 SOS 221627 HAS SOPS 221627 HAS SOUS 100339 HAS SOUPS 100339 WITH SCORE 100560.627
AT ITER 2250 NEW BEST:: SOT 526306 SOS 221664 HAS SOPS 221664 HAS SOUS 100302 HAS SOUPS 100302 WITH SCORE 100523.664
AT ITER 2254 NEW BEST:: SOT 525976 SOS 221446 HAS SOPS 221446 HAS SOUS 100097 HAS SOUPS 100097 WITH SCORE 100318.446
AT ITER 2266 NEW BEST:: SOT 525976 SOS 221446 HAS SOPS 221446 HAS SOUS 100015 HAS SOUPS 100015 WITH SCORE 100236.446
AT ITER 2267 NEW BEST:: SOT 525976 SOS 221446 HAS SOPS 221446 HAS SOUS 100012 HAS SOUPS 100012 WITH SCORE 100233.446
AT ITER 2268 NEW BEST:: SOT 525976 SOS 221446 HAS SOPS 221446 HAS SOUS 99862 HAS SOUPS 99862 WITH SCORE 100083.446
AT ITER 2270 NEW BEST:: SOT 525977 SOS 221397 HAS SOPS 221397 HAS SOUS 99764 HAS SOUPS 99764 WITH SCORE 99985.397
AT ITER 2279 NEW BEST:: SOT 525977 SOS 221370 HAS SOPS 221370 HAS SOUS 99764 HAS SOUPS 99764 WITH SCORE 99985.37
AT ITER 2297 NEW BEST:: SOT 525977 SOS 221370 HAS SOPS 221370 HAS SOUS 99759 HAS SOUPS 99759 WITH SCORE 99980.37
AT ITER 2306 NEW BEST:: SOT 525975 SOS 221368 HAS SOPS 221368 HAS SOUS 99757 HAS SOUPS 99757 WITH SCORE 99978.368
AT ITER 2309 NEW BEST:: SOT 525997 SOS 221366 HAS SOPS 221366 HAS SOUS 99714 HAS SOUPS 99714 WITH SCORE 99935.366
AT ITER 2314 NEW BEST:: SOT 525985 SOS 221354 HAS SOPS 221354 HAS SOUS 99690 HAS SOUPS 99690 WITH SCORE 99911.354
AT ITER 2322 NEW BEST:: SOT 525946 SOS 221380 HAS SOPS 221380 HAS SOUS 99615 HAS SOUPS 99615 WITH SCORE 99836.38
AT ITER 2336 NEW BEST:: SOT 525938 SOS 221372 HAS SOPS 221372 HAS SOUS 99603 HAS SOUPS 99603 WITH SCORE 99824.372
AT ITER 2352 NEW BEST:: SOT 525900 SOS 221116 HAS SOPS 221116 HAS SOUS 99394 HAS SOUPS 99394 WITH SCORE 99615.116
AT ITER 2354 NEW BEST:: SOT 525444 SOS 220660 HAS SOPS 220660 HAS SOUS 98791 HAS SOUPS 98791 WITH SCORE 99011.66
AT ITER 2371 NEW BEST:: SOT 525401 SOS 220617 HAS SOPS 220617 HAS SOUS 98748 HAS SOUPS 98748 WITH SCORE 98968.617
AT ITER 2393 NEW BEST:: SOT 525383 SOS 220599 HAS SOPS 220599 HAS SOUS 98675 HAS SOUPS 98675 WITH SCORE 98895.599
AT ITER 2432 NEW BEST:: SOT 525382 SOS 220598 HAS SOPS 220598 HAS SOUS 98674 HAS SOUPS 98674 WITH SCORE 98894.598
AT ITER 2434 NEW BEST:: SOT 525432 SOS 220648 HAS SOPS 220648 HAS SOUS 98372 HAS SOUPS 98372 WITH SCORE 98592.648
AT ITER 2466 NEW BEST:: SOT 525403 SOS 220619 HAS SOPS 220619 HAS SOUS 98311 HAS SOUPS 98311 WITH SCORE 98531.619
AT ITER 2478 NEW BEST:: SOT 525403 SOS 220613 HAS SOPS 220613 HAS SOUS 98311 HAS SOUPS 98311 WITH SCORE 98531.613
AT ITER 2480 NEW BEST:: SOT 525311 SOS 220763 HAS SOPS 220763 HAS SOUS 98127 HAS SOUPS 98127 WITH SCORE 98347.763
AT ITER 2485 NEW BEST:: SOT 525017 SOS 220469 HAS SOPS 220469 HAS SOUS 97519 HAS SOUPS 97519 WITH SCORE 97739.469
AT ITER 2487 NEW BEST:: SOT 524861 SOS 220313 HAS SOPS 220313 HAS SOUS 97405 HAS SOUPS 97405 WITH SCORE 97625.313
AT ITER 2493 NEW BEST:: SOT 524911 SOS 220285 HAS SOPS 220285 HAS SOUS 97321 HAS SOUPS 97321 WITH SCORE 97541.285
AT ITER 2495 NEW BEST:: SOT 524031 SOS 219405 HAS SOPS 219405 HAS SOUS 96375 HAS SOUPS 96375 WITH SCORE 96594.405
AT ITER 2527 NEW BEST:: SOT 524025 SOS 219399 HAS SOPS 219399 HAS SOUS 96347 HAS SOUPS 96347 WITH SCORE 96566.399
AT ITER 2536 NEW BEST:: SOT 524016 SOS 219390 HAS SOPS 219390 HAS SOUS 96338 HAS SOUPS 96338 WITH SCORE 96557.39
AT ITER 2547 NEW BEST:: SOT 523888 SOS 219262 HAS SOPS 219262 HAS SOUS 96210 HAS SOUPS 96210 WITH SCORE 96429.262
AT ITER 2554 NEW BEST:: SOT 523876 SOS 219250 HAS SOPS 219250 HAS SOUS 96186 HAS SOUPS 96186 WITH SCORE 96405.25
AT ITER 2573 NEW BEST:: SOT 523840 SOS 219214 HAS SOPS 219214 HAS SOUS 96150 HAS SOUPS 96150 WITH SCORE 96369.214
AT ITER 2583 NEW BEST:: SOT 523889 SOS 219288 HAS SOPS 219288 HAS SOUS 96149 HAS SOUPS 96149 WITH SCORE 96368.288
AT ITER 2588 NEW BEST:: SOT 523796 SOS 219298 HAS SOPS 219298 HAS SOUS 96100 HAS SOUPS 96100 WITH SCORE 96319.298
AT ITER 2590 NEW BEST:: SOT 523788 SOS 219290 HAS SOPS 219290 HAS SOUS 96084 HAS SOUPS 96084 WITH SCORE 96303.29
AT ITER 2591 NEW BEST:: SOT 523805 SOS 219307 HAS SOPS 219307 HAS SOUS 96038 HAS SOUPS 96038 WITH SCORE 96257.307
AT ITER 2609 NEW BEST:: SOT 523801 SOS 219303 HAS SOPS 219303 HAS SOUS 96034 HAS SOUPS 96034 WITH SCORE 96253.303
AT ITER 2611 NEW BEST:: SOT 523801 SOS 219303 HAS SOPS 219303 HAS SOUS 96030 HAS SOUPS 96030 WITH SCORE 96249.303
AT ITER 2614 NEW BEST:: SOT 523789 SOS 219279 HAS SOPS 219279 HAS SOUS 96006 HAS SOUPS 96006 WITH SCORE 96225.279
AT ITER 2665 NEW BEST:: SOT 523733 SOS 219223 HAS SOPS 219223 HAS SOUS 95950 HAS SOUPS 95950 WITH SCORE 96169.223
AT ITER 2689 NEW BEST:: SOT 523738 SOS 219228 HAS SOPS 219228 HAS SOUS 95945 HAS SOUPS 95945 WITH SCORE 96164.228
AT ITER 2695 NEW BEST:: SOT 523739 SOS 219229 HAS SOPS 219229 HAS SOUS 95943 HAS SOUPS 95943 WITH SCORE 96162.229
AT ITER 2725 NEW BEST:: SOT 523691 SOS 219117 HAS SOPS 219117 HAS SOUS 95879 HAS SOUPS 95879 WITH SCORE 96098.117
AT ITER 2732 NEW BEST:: SOT 523822 SOS 219248 HAS SOPS 219248 HAS SOUS 95799 HAS SOUPS 95799 WITH SCORE 96018.248
AT ITER 2750 NEW BEST:: SOT 523650 SOS 219187 HAS SOPS 219187 HAS SOUS 95677 HAS SOUPS 95677 WITH SCORE 95896.187
AT ITER 2751 NEW BEST:: SOT 523609 SOS 219183 HAS SOPS 219183 HAS SOUS 95669 HAS SOUPS 95669 WITH SCORE 95888.183
AT ITER 2752 NEW BEST:: SOT 523545 SOS 219171 HAS SOPS 219171 HAS SOUS 95655 HAS SOUPS 95655 WITH SCORE 95874.171
AT ITER 2763 NEW BEST:: SOT 523521 SOS 219171 HAS SOPS 219171 HAS SOUS 95625 HAS SOUPS 95625 WITH SCORE 95844.171
AT ITER 2783 NEW BEST:: SOT 523488 SOS 219329 HAS SOPS 219329 HAS SOUS 95559 HAS SOUPS 95559 WITH SCORE 95778.329
AT ITER 2795 NEW BEST:: SOT 523487 SOS 219328 HAS SOPS 219328 HAS SOUS 95559 HAS SOUPS 95559 WITH SCORE 95778.328
AT ITER 2808 NEW BEST:: SOT 523438 SOS 219294 HAS SOPS 219294 HAS SOUS 95552 HAS SOUPS 95552 WITH SCORE 95771.294
AT ITER 2811 NEW BEST:: SOT 523414 SOS 219125 HAS SOPS 219125 HAS SOUS 95481 HAS SOUPS 95481 WITH SCORE 95700.125
AT ITER 2820 NEW BEST:: SOT 523339 SOS 219108 HAS SOPS 219108 HAS SOUS 95447 HAS SOUPS 95447 WITH SCORE 95666.108
AT ITER 2838 NEW BEST:: SOT 523408 SOS 219177 HAS SOPS 219177 HAS SOUS 95239 HAS SOUPS 95239 WITH SCORE 95458.177
AT ITER 2840 NEW BEST:: SOT 523408 SOS 219177 HAS SOPS 219177 HAS SOUS 95229 HAS SOUPS 95229 WITH SCORE 95448.177
AT ITER 2854 NEW BEST:: SOT 523393 SOS 219162 HAS SOPS 219162 HAS SOUS 95216 HAS SOUPS 95216 WITH SCORE 95435.162
AT ITER 2857 NEW BEST:: SOT 523349 SOS 219118 HAS SOPS 219118 HAS SOUS 95053 HAS SOUPS 95053 WITH SCORE 95272.118
AT ITER 2865 NEW BEST:: SOT 523309 SOS 219038 HAS SOPS 219038 HAS SOUS 94973 HAS SOUPS 94973 WITH SCORE 95192.038
AT ITER 2875 NEW BEST:: SOT 523261 SOS 218990 HAS SOPS 218990 HAS SOUS 94925 HAS SOUPS 94925 WITH SCORE 95143.99
AT ITER 2898 NEW BEST:: SOT 523197 SOS 218926 HAS SOPS 218926 HAS SOUS 94745 HAS SOUPS 94745 WITH SCORE 94963.926
AT ITER 2922 NEW BEST:: SOT 523265 SOS 218939 HAS SOPS 218939 HAS SOUS 94703 HAS SOUPS 94703 WITH SCORE 94921.939
AT ITER 2923 NEW BEST:: SOT 523267 SOS 219255 HAS SOPS 219255 HAS SOUS 94676 HAS SOUPS 94676 WITH SCORE 94895.255
AT ITER 2928 NEW BEST:: SOT 523201 SOS 219189 HAS SOPS 219189 HAS SOUS 94627 HAS SOUPS 94627 WITH SCORE 94846.189
AT ITER 2929 NEW BEST:: SOT 523166 SOS 219207 HAS SOPS 219207 HAS SOUS 94610 HAS SOUPS 94610 WITH SCORE 94829.207
AT ITER 2937 NEW BEST:: SOT 523100 SOS 219141 HAS SOPS 219141 HAS SOUS 94528 HAS SOUPS 94528 WITH SCORE 94747.141
AT ITER 2941 NEW BEST:: SOT 523044 SOS 219085 HAS SOPS 219085 HAS SOUS 94472 HAS SOUPS 94472 WITH SCORE 94691.085
AT ITER 2947 NEW BEST:: SOT 522983 SOS 219024 HAS SOPS 219024 HAS SOUS 94414 HAS SOUPS 94414 WITH SCORE 94633.024
AT ITER 2951 NEW BEST:: SOT 522917 SOS 218986 HAS SOPS 218986 HAS SOUS 94338 HAS SOUPS 94338 WITH SCORE 94556.986
AT ITER 2965 NEW BEST:: SOT 522853 SOS 218922 HAS SOPS 218922 HAS SOUS 94146 HAS SOUPS 94146 WITH SCORE 94364.922
AT ITER 2985 NEW BEST:: SOT 522885 SOS 218904 HAS SOPS 218904 HAS SOUS 94088 HAS SOUPS 94088 WITH SCORE 94306.904
AT ITER 3002 NEW BEST:: SOT 522879 SOS 218898 HAS SOPS 218898 HAS SOUS 94087 HAS SOUPS 94087 WITH SCORE 94305.898
AT ITER 3008 NEW BEST:: SOT 522879 SOS 218898 HAS SOPS 218898 HAS SOUS 94071 HAS SOUPS 94071 WITH SCORE 94289.898
AT ITER 3009 NEW BEST:: SOT 522788 SOS 218807 HAS SOPS 218807 HAS SOUS 93975 HAS SOUPS 93975 WITH SCORE 94193.807
AT ITER 3022 NEW BEST:: SOT 522613 SOS 218632 HAS SOPS 218632 HAS SOUS 93675 HAS SOUPS 93675 WITH SCORE 93893.632
AT ITER 3024 NEW BEST:: SOT 522579 SOS 218598 HAS SOPS 218598 HAS SOUS 93505 HAS SOUPS 93505 WITH SCORE 93723.598
AT ITER 3027 NEW BEST:: SOT 522534 SOS 218553 HAS SOPS 218553 HAS SOUS 93460 HAS SOUPS 93460 WITH SCORE 93678.553
AT ITER 3029 NEW BEST:: SOT 522472 SOS 218491 HAS SOPS 218491 HAS SOUS 93336 HAS SOUPS 93336 WITH SCORE 93554.491
AT ITER 3034 NEW BEST:: SOT 522336 SOS 218491 HAS SOPS 218491 HAS SOUS 93064 HAS SOUPS 93064 WITH SCORE 93282.491
AT ITER 3052 NEW BEST:: SOT 522319 SOS 218435 HAS SOPS 218435 HAS SOUS 93030 HAS SOUPS 93030 WITH SCORE 93248.435
AT ITER 3071 NEW BEST:: SOT 522262 SOS 218378 HAS SOPS 218378 HAS SOUS 92946 HAS SOUPS 92946 WITH SCORE 93164.378
AT ITER 3085 NEW BEST:: SOT 522220 SOS 218336 HAS SOPS 218336 HAS SOUS 92839 HAS SOUPS 92839 WITH SCORE 93057.336
AT ITER 3100 NEW BEST:: SOT 522216 SOS 218478 HAS SOPS 218478 HAS SOUS 92831 HAS SOUPS 92831 WITH SCORE 93049.478
AT ITER 3107 NEW BEST:: SOT 522021 SOS 218283 HAS SOPS 218283 HAS SOUS 92620 HAS SOUPS 92620 WITH SCORE 92838.283
AT ITER 3141 NEW BEST:: SOT 522006 SOS 218356 HAS SOPS 218356 HAS SOUS 92590 HAS SOUPS 92590 WITH SCORE 92808.356
AT ITER 3148 NEW BEST:: SOT 521921 SOS 218271 HAS SOPS 218271 HAS SOUS 92505 HAS SOUPS 92505 WITH SCORE 92723.271
AT ITER 3154 NEW BEST:: SOT 521887 SOS 218271 HAS SOPS 218271 HAS SOUS 92437 HAS SOUPS 92437 WITH SCORE 92655.271
AT ITER 3157 NEW BEST:: SOT 521893 SOS 218238 HAS SOPS 218238 HAS SOUS 92371 HAS SOUPS 92371 WITH SCORE 92589.238
AT ITER 3168 NEW BEST:: SOT 521904 SOS 218249 HAS SOPS 218249 HAS SOUS 92349 HAS SOUPS 92349 WITH SCORE 92567.249
AT ITER 3179 NEW BEST:: SOT 521915 SOS 218260 HAS SOPS 218260 HAS SOUS 92104 HAS SOUPS 92104 WITH SCORE 92322.26
AT ITER 3182 NEW BEST:: SOT 522018 SOS 218363 HAS SOPS 218363 HAS SOUS 92070 HAS SOUPS 92070 WITH SCORE 92288.363
AT ITER 3225 NEW BEST:: SOT 522068 SOS 218413 HAS SOPS 218413 HAS SOUS 92035 HAS SOUPS 92035 WITH SCORE 92253.413
AT ITER 3231 NEW BEST:: SOT 522062 SOS 218410 HAS SOPS 218410 HAS SOUS 92029 HAS SOUPS 92029 WITH SCORE 92247.41
AT ITER 3271 NEW BEST:: SOT 522026 SOS 218392 HAS SOPS 218392 HAS SOUS 91993 HAS SOUPS 91993 WITH SCORE 92211.392
AT ITER 3275 NEW BEST:: SOT 522003 SOS 218256 HAS SOPS 218256 HAS SOUS 91947 HAS SOUPS 91947 WITH SCORE 92165.256
AT ITER 3298 NEW BEST:: SOT 521995 SOS 218248 HAS SOPS 218248 HAS SOUS 91907 HAS SOUPS 91907 WITH SCORE 92125.248
AT ITER 3299 NEW BEST:: SOT 521991 SOS 218244 HAS SOPS 218244 HAS SOUS 91903 HAS SOUPS 91903 WITH SCORE 92121.244
AT ITER 3315 NEW BEST:: SOT 521943 SOS 218335 HAS SOPS 218335 HAS SOUS 91899 HAS SOUPS 91899 WITH SCORE 92117.335
AT ITER 3322 NEW BEST:: SOT 521861 SOS 218253 HAS SOPS 218253 HAS SOUS 91772 HAS SOUPS 91772 WITH SCORE 91990.253
AT ITER 3324 NEW BEST:: SOT 521833 SOS 218225 HAS SOPS 218225 HAS SOUS 91744 HAS SOUPS 91744 WITH SCORE 91962.225
AT ITER 3338 NEW BEST:: SOT 521829 SOS 218225 HAS SOPS 218225 HAS SOUS 91736 HAS SOUPS 91736 WITH SCORE 91954.225
AT ITER 3342 NEW BEST:: SOT 521735 SOS 218131 HAS SOPS 218131 HAS SOUS 91642 HAS SOUPS 91642 WITH SCORE 91860.131
AT ITER 3374 NEW BEST:: SOT 521735 SOS 218131 HAS SOPS 218131 HAS SOUS 91600 HAS SOUPS 91600 WITH SCORE 91818.131
AT ITER 3377 NEW BEST:: SOT 521724 SOS 218120 HAS SOPS 218120 HAS SOUS 91578 HAS SOUPS 91578 WITH SCORE 91796.12
AT ITER 3392 NEW BEST:: SOT 521699 SOS 218045 HAS SOPS 218045 HAS SOUS 91528 HAS SOUPS 91528 WITH SCORE 91746.045
AT ITER 3402 NEW BEST:: SOT 521699 SOS 218045 HAS SOPS 218045 HAS SOUS 91488 HAS SOUPS 91488 WITH SCORE 91706.045
AT ITER 3414 NEW BEST:: SOT 521676 SOS 218022 HAS SOPS 218022 HAS SOUS 91439 HAS SOUPS 91439 WITH SCORE 91657.022
AT ITER 3425 NEW BEST:: SOT 521696 SOS 218004 HAS SOPS 218004 HAS SOUS 91403 HAS SOUPS 91403 WITH SCORE 91621.004
AT ITER 3467 NEW BEST:: SOT 521751 SOS 218059 HAS SOPS 218059 HAS SOUS 91376 HAS SOUPS 91376 WITH SCORE 91594.059
AT ITER 3494 NEW BEST:: SOT 521739 SOS 218047 HAS SOPS 218047 HAS SOUS 91262 HAS SOUPS 91262 WITH SCORE 91480.047
AT ITER 3503 NEW BEST:: SOT 521706 SOS 218014 HAS SOPS 218014 HAS SOUS 91173 HAS SOUPS 91173 WITH SCORE 91391.014
AT ITER 3523 NEW BEST:: SOT 521667 SOS 217984 HAS SOPS 217984 HAS SOUS 91125 HAS SOUPS 91125 WITH SCORE 91342.984
AT ITER 3552 NEW BEST:: SOT 521682 SOS 217999 HAS SOPS 217999 HAS SOUS 91110 HAS SOUPS 91110 WITH SCORE 91327.999
AT ITER 3555 NEW BEST:: SOT 521639 SOS 217956 HAS SOPS 217956 HAS SOUS 90992 HAS SOUPS 90992 WITH SCORE 91209.956
AT ITER 3566 NEW BEST:: SOT 521458 SOS 217775 HAS SOPS 217775 HAS SOUS 90811 HAS SOUPS 90811 WITH SCORE 91028.775
AT ITER 3578 NEW BEST:: SOT 521199 SOS 217516 HAS SOPS 217516 HAS SOUS 90315 HAS SOUPS 90315 WITH SCORE 90532.516
AT ITER 3586 NEW BEST:: SOT 521180 SOS 217497 HAS SOPS 217497 HAS SOUS 90296 HAS SOUPS 90296 WITH SCORE 90513.497
AT ITER 3589 NEW BEST:: SOT 521133 SOS 217450 HAS SOPS 217450 HAS SOUS 90230 HAS SOUPS 90230 WITH SCORE 90447.45
AT ITER 3599 NEW BEST:: SOT 521136 SOS 217389 HAS SOPS 217389 HAS SOUS 90158 HAS SOUPS 90158 WITH SCORE 90375.389
AT ITER 3603 NEW BEST:: SOT 521089 SOS 217354 HAS SOPS 217354 HAS SOUS 90136 HAS SOUPS 90136 WITH SCORE 90353.354
AT ITER 3606 NEW BEST:: SOT 521124 SOS 217389 HAS SOPS 217389 HAS SOUS 90083 HAS SOUPS 90083 WITH SCORE 90300.389
AT ITER 3631 NEW BEST:: SOT 521106 SOS 217371 HAS SOPS 217371 HAS SOUS 90065 HAS SOUPS 90065 WITH SCORE 90282.371
AT ITER 3644 NEW BEST:: SOT 521102 SOS 217367 HAS SOPS 217367 HAS SOUS 90061 HAS SOUPS 90061 WITH SCORE 90278.367
AT ITER 3653 NEW BEST:: SOT 521085 SOS 217350 HAS SOPS 217350 HAS SOUS 89999 HAS SOUPS 89999 WITH SCORE 90216.35
AT ITER 3659 NEW BEST:: SOT 521077 SOS 217365 HAS SOPS 217365 HAS SOUS 89983 HAS SOUPS 89983 WITH SCORE 90200.365
AT ITER 3679 NEW BEST:: SOT 521076 SOS 217364 HAS SOPS 217364 HAS SOUS 89946 HAS SOUPS 89946 WITH SCORE 90163.364
AT ITER 3702 NEW BEST:: SOT 521173 SOS 217461 HAS SOPS 217461 HAS SOUS 89925 HAS SOUPS 89925 WITH SCORE 90142.461
AT ITER 3704 NEW BEST:: SOT 521139 SOS 217427 HAS SOPS 217427 HAS SOUS 89903 HAS SOUPS 89903 WITH SCORE 90120.427
AT ITER 3753 NEW BEST:: SOT 521218 SOS 217756 HAS SOPS 217446 HAS SOUS 89933 HAS SOUPS 89871 WITH SCORE 90088.756
AT ITER 3768 NEW BEST:: SOT 521218 SOS 217756 HAS SOPS 217446 HAS SOUS 89883 HAS SOUPS 89821 WITH SCORE 90038.756
AT ITER 3787 NEW BEST:: SOT 521206 SOS 217744 HAS SOPS 217434 HAS SOUS 89843 HAS SOUPS 89781 WITH SCORE 89998.744
AT ITER 3788 NEW BEST:: SOT 521165 SOS 217703 HAS SOPS 217393 HAS SOUS 89729 HAS SOUPS 89667 WITH SCORE 89884.703
AT ITER 3798 NEW BEST:: SOT 521155 SOS 217693 HAS SOPS 217383 HAS SOUS 89709 HAS SOUPS 89647 WITH SCORE 89864.693
AT ITER 3802 NEW BEST:: SOT 521150 SOS 217688 HAS SOPS 217378 HAS SOUS 89570 HAS SOUPS 89508 WITH SCORE 89725.688
AT ITER 3820 NEW BEST:: SOT 521171 SOS 217709 HAS SOPS 217399 HAS SOUS 89292 HAS SOUPS 89230 WITH SCORE 89447.709
AT ITER 3847 NEW BEST:: SOT 521171 SOS 218061 HAS SOPS 217751 HAS SOUS 89289 HAS SOUPS 89227 WITH SCORE 89445.061
AT ITER 3870 NEW BEST:: SOT 521180 SOS 218070 HAS SOPS 217760 HAS SOUS 89257 HAS SOUPS 89195 WITH SCORE 89413.07
AT ITER 3878 NEW BEST:: SOT 520943 SOS 211578 HAS SOPS 211268 HAS SOUS 89232 HAS SOUPS 89170 WITH SCORE 89381.578
AT ITER 3898 NEW BEST:: SOT 520944 SOS 211579 HAS SOPS 211269 HAS SOUS 89230 HAS SOUPS 89168 WITH SCORE 89379.579
AT ITER 3922 NEW BEST:: SOT 520943 SOS 211578 HAS SOPS 211268 HAS SOUS 89213 HAS SOUPS 89151 WITH SCORE 89362.578
AT ITER 3928 NEW BEST:: SOT 520834 SOS 211433 HAS SOPS 211123 HAS SOUS 89068 HAS SOUPS 89006 WITH SCORE 89217.433
AT ITER 3930 NEW BEST:: SOT 520738 SOS 211337 HAS SOPS 211027 HAS SOUS 88972 HAS SOUPS 88910 WITH SCORE 89121.337
AT ITER 3952 NEW BEST:: SOT 520683 SOS 211174 HAS SOPS 210864 HAS SOUS 88760 HAS SOUPS 88698 WITH SCORE 88909.174
AT ITER 3963 NEW BEST:: SOT 520666 SOS 211140 HAS SOPS 210830 HAS SOUS 88726 HAS SOUPS 88664 WITH SCORE 88875.14
AT ITER 3985 NEW BEST:: SOT 520590 SOS 211064 HAS SOPS 210754 HAS SOUS 88684 HAS SOUPS 88622 WITH SCORE 88833.064
AT ITER 3990 NEW BEST:: SOT 520057 SOS 210531 HAS SOPS 210221 HAS SOUS 87990 HAS SOUPS 87928 WITH SCORE 88138.531
AT ITER 4004 NEW BEST:: SOT 520049 SOS 210523 HAS SOPS 210213 HAS SOUS 87974 HAS SOUPS 87912 WITH SCORE 88122.523
AT ITER 4009 NEW BEST:: SOT 519815 SOS 210289 HAS SOPS 209979 HAS SOUS 87485 HAS SOUPS 87423 WITH SCORE 87633.289
AT ITER 4015 NEW BEST:: SOT 519810 SOS 210284 HAS SOPS 209974 HAS SOUS 87477 HAS SOUPS 87415 WITH SCORE 87625.284
AT ITER 4017 NEW BEST:: SOT 519755 SOS 210009 HAS SOPS 209974 HAS SOUS 87422 HAS SOUPS 87415 WITH SCORE 87625.009
AT ITER 4027 NEW BEST:: SOT 519677 SOS 209931 HAS SOPS 209896 HAS SOUS 87266 HAS SOUPS 87259 WITH SCORE 87468.931
AT ITER 4035 NEW BEST:: SOT 519675 SOS 209929 HAS SOPS 209894 HAS SOUS 87253 HAS SOUPS 87246 WITH SCORE 87455.929
AT ITER 4041 NEW BEST:: SOT 519663 SOS 209917 HAS SOPS 209882 HAS SOUS 87229 HAS SOUPS 87222 WITH SCORE 87431.917
AT ITER 4046 NEW BEST:: SOT 519663 SOS 209917 HAS SOPS 209882 HAS SOUS 86937 HAS SOUPS 86930 WITH SCORE 87139.917
AT ITER 4047 NEW BEST:: SOT 519644 SOS 209898 HAS SOPS 209863 HAS SOUS 86918 HAS SOUPS 86911 WITH SCORE 87120.898
AT ITER 4074 NEW BEST:: SOT 519551 SOS 209844 HAS SOPS 209809 HAS SOUS 86741 HAS SOUPS 86734 WITH SCORE 86943.844
AT ITER 4075 NEW BEST:: SOT 519299 SOS 209592 HAS SOPS 209557 HAS SOUS 86405 HAS SOUPS 86398 WITH SCORE 86607.592
AT ITER 4089 NEW BEST:: SOT 519282 SOS 209599 HAS SOPS 209564 HAS SOUS 86390 HAS SOUPS 86383 WITH SCORE 86592.599
AT ITER 4095 NEW BEST:: SOT 519258 SOS 209575 HAS SOPS 209540 HAS SOUS 86203 HAS SOUPS 86196 WITH SCORE 86405.575
AT ITER 4145 NEW BEST:: SOT 519254 SOS 209571 HAS SOPS 209536 HAS SOUS 86199 HAS SOUPS 86192 WITH SCORE 86401.571
AT ITER 4164 NEW BEST:: SOT 519252 SOS 209569 HAS SOPS 209534 HAS SOUS 86191 HAS SOUPS 86184 WITH SCORE 86393.569
AT ITER 4178 NEW BEST:: SOT 519036 SOS 209247 HAS SOPS 209212 HAS SOUS 85886 HAS SOUPS 85879 WITH SCORE 86088.247
AT ITER 4180 NEW BEST:: SOT 519034 SOS 209235 HAS SOPS 209210 HAS SOUS 85882 HAS SOUPS 85877 WITH SCORE 86086.235
AT ITER 4231 NEW BEST:: SOT 518858 SOS 209059 HAS SOPS 209034 HAS SOUS 85735 HAS SOUPS 85730 WITH SCORE 85939.059
AT ITER 4240 NEW BEST:: SOT 518896 SOS 209097 HAS SOPS 209072 HAS SOUS 85644 HAS SOUPS 85639 WITH SCORE 85848.097
AT ITER 4247 NEW BEST:: SOT 518946 SOS 209147 HAS SOPS 209122 HAS SOUS 85349 HAS SOUPS 85344 WITH SCORE 85553.147
AT ITER 4252 NEW BEST:: SOT 518935 SOS 209125 HAS SOPS 209100 HAS SOUS 85327 HAS SOUPS 85322 WITH SCORE 85531.125
AT ITER 4271 NEW BEST:: SOT 518931 SOS 209123 HAS SOPS 209098 HAS SOUS 85323 HAS SOUPS 85318 WITH SCORE 85527.123
AT ITER 4293 NEW BEST:: SOT 518931 SOS 209123 HAS SOPS 209098 HAS SOUS 85278 HAS SOUPS 85273 WITH SCORE 85482.123
AT ITER 4301 NEW BEST:: SOT 518980 SOS 209172 HAS SOPS 209147 HAS SOUS 85250 HAS SOUPS 85245 WITH SCORE 85454.172
AT ITER 4302 NEW BEST:: SOT 518991 SOS 209183 HAS SOPS 209158 HAS SOUS 85212 HAS SOUPS 85207 WITH SCORE 85416.183
AT ITER 4312 NEW BEST:: SOT 518983 SOS 209175 HAS SOPS 209150 HAS SOUS 85204 HAS SOUPS 85199 WITH SCORE 85408.175
AT ITER 4338 NEW BEST:: SOT 518965 SOS 209157 HAS SOPS 209132 HAS SOUS 85168 HAS SOUPS 85163 WITH SCORE 85372.157
AT ITER 4360 NEW BEST:: SOT 518972 SOS 209153 HAS SOPS 209128 HAS SOUS 85160 HAS SOUPS 85155 WITH SCORE 85364.153
AT ITER 4372 NEW BEST:: SOT 518968 SOS 209149 HAS SOPS 209124 HAS SOUS 85156 HAS SOUPS 85151 WITH SCORE 85360.149
AT ITER 4407 NEW BEST:: SOT 518989 SOS 209170 HAS SOPS 209145 HAS SOUS 85114 HAS SOUPS 85109 WITH SCORE 85318.17
AT ITER 4436 NEW BEST:: SOT 518963 SOS 209144 HAS SOPS 209119 HAS SOUS 85062 HAS SOUPS 85057 WITH SCORE 85266.144
AT ITER 4485 NEW BEST:: SOT 518939 SOS 209120 HAS SOPS 209095 HAS SOUS 84988 HAS SOUPS 84983 WITH SCORE 85192.12
AT ITER 4497 NEW BEST:: SOT 518847 SOS 209028 HAS SOPS 209003 HAS SOUS 84896 HAS SOUPS 84891 WITH SCORE 85100.028
AT ITER 4504 NEW BEST:: SOT 518805 SOS 208986 HAS SOPS 208961 HAS SOUS 84854 HAS SOUPS 84849 WITH SCORE 85057.986
AT ITER 4543 NEW BEST:: SOT 518801 SOS 208982 HAS SOPS 208957 HAS SOUS 84846 HAS SOUPS 84841 WITH SCORE 85049.982
AT ITER 4559 NEW BEST:: SOT 518801 SOS 208969 HAS SOPS 208944 HAS SOUS 84820 HAS SOUPS 84815 WITH SCORE 85023.969
AT ITER 4588 NEW BEST:: SOT 518787 SOS 208955 HAS SOPS 208930 HAS SOUS 84804 HAS SOUPS 84799 WITH SCORE 85007.955
AT ITER 4589 NEW BEST:: SOT 518721 SOS 208889 HAS SOPS 208864 HAS SOUS 84739 HAS SOUPS 84734 WITH SCORE 84942.889
AT ITER 4617 NEW BEST:: SOT 518716 SOS 208884 HAS SOPS 208859 HAS SOUS 84729 HAS SOUPS 84724 WITH SCORE 84932.884
AT ITER 4662 NEW BEST:: SOT 518716 SOS 208884 HAS SOPS 208859 HAS SOUS 84711 HAS SOUPS 84706 WITH SCORE 84914.884
AT ITER 4686 NEW BEST:: SOT 518716 SOS 208862 HAS SOPS 208837 HAS SOUS 84711 HAS SOUPS 84706 WITH SCORE 84914.862
AT ITER 4732 NEW BEST:: SOT 518706 SOS 208944 HAS SOPS 208919 HAS SOUS 84691 HAS SOUPS 84686 WITH SCORE 84894.944
AT ITER 4737 NEW BEST:: SOT 518647 SOS 208826 HAS SOPS 208801 HAS SOUS 84573 HAS SOUPS 84568 WITH SCORE 84776.826
AT ITER 4740 NEW BEST:: SOT 518618 SOS 208797 HAS SOPS 208772 HAS SOUS 84549 HAS SOUPS 84544 WITH SCORE 84752.797
AT ITER 4770 NEW BEST:: SOT 518624 SOS 208803 HAS SOPS 208778 HAS SOUS 84523 HAS SOUPS 84518 WITH SCORE 84726.803
AT ITER 4776 NEW BEST:: SOT 518609 SOS 208788 HAS SOPS 208763 HAS SOUS 84500 HAS SOUPS 84495 WITH SCORE 84703.788
AT ITER 4791 NEW BEST:: SOT 518604 SOS 208783 HAS SOPS 208758 HAS SOUS 84490 HAS SOUPS 84485 WITH SCORE 84693.783
AT ITER 4793 NEW BEST:: SOT 518301 SOS 208480 HAS SOPS 208455 HAS SOUS 84159 HAS SOUPS 84154 WITH SCORE 84362.48
AT ITER 4831 NEW BEST:: SOT 518312 SOS 208491 HAS SOPS 208466 HAS SOUS 84069 HAS SOUPS 84064 WITH SCORE 84272.491
AT ITER 4844 NEW BEST:: SOT 518318 SOS 208497 HAS SOPS 208472 HAS SOUS 84040 HAS SOUPS 84035 WITH SCORE 84243.497
AT ITER 4849 NEW BEST:: SOT 518168 SOS 208347 HAS SOPS 208322 HAS SOUS 83856 HAS SOUPS 83851 WITH SCORE 84059.347
AT ITER 4857 NEW BEST:: SOT 518168 SOS 208347 HAS SOPS 208322 HAS SOUS 83835 HAS SOUPS 83830 WITH SCORE 84038.347
AT ITER 4864 NEW BEST:: SOT 518168 SOS 208347 HAS SOPS 208322 HAS SOUS 83827 HAS SOUPS 83822 WITH SCORE 84030.347
AT ITER 4869 NEW BEST:: SOT 518153 SOS 208332 HAS SOPS 208307 HAS SOUS 83812 HAS SOUPS 83807 WITH SCORE 84015.332
AT ITER 4872 NEW BEST:: SOT 518135 SOS 208323 HAS SOPS 208298 HAS SOUS 83794 HAS SOUPS 83789 WITH SCORE 83997.323
AT ITER 4895 NEW BEST:: SOT 518097 SOS 208285 HAS SOPS 208260 HAS SOUS 83756 HAS SOUPS 83751 WITH SCORE 83959.285
AT ITER 4923 NEW BEST:: SOT 518076 SOS 208243 HAS SOPS 208218 HAS SOUS 83714 HAS SOUPS 83709 WITH SCORE 83917.243
AT ITER 4937 NEW BEST:: SOT 518091 SOS 208243 HAS SOPS 208218 HAS SOUS 83698 HAS SOUPS 83693 WITH SCORE 83901.243
AT ITER 4961 NEW BEST:: SOT 518091 SOS 208233 HAS SOPS 208208 HAS SOUS 83698 HAS SOUPS 83693 WITH SCORE 83901.233
AT ITER 4973 NEW BEST:: SOT 518091 SOS 208233 HAS SOPS 208208 HAS SOUS 83668 HAS SOUPS 83663 WITH SCORE 83871.233
AT ITER 4977 NEW BEST:: SOT 518114 SOS 208256 HAS SOPS 208231 HAS SOUS 83612 HAS SOUPS 83607 WITH SCORE 83815.256
AT ITER 4985 NEW BEST:: SOT 518093 SOS 208235 HAS SOPS 208210 HAS SOUS 83588 HAS SOUPS 83583 WITH SCORE 83791.235
AT ITER 4989 NEW BEST:: SOT 518092 SOS 208234 HAS SOPS 208209 HAS SOUS 83586 HAS SOUPS 83581 WITH SCORE 83789.234
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: PolyORBNT-PT-S05J40-CTLCardinality-00 (AG( (EG( ( potential( (tk(P555)) <= (tk(P220)) ) | potential( (tk(P294) + tk(P474) + tk(P487) + tk(P568) + tk(P617)) <= (tk(P182) + tk(P247) + tk(P326) + tk(P357) + tk(P510)) ) )))))
PROPERTY: PolyORBNT-PT-S05J40-CTLCardinality-01 (EU( potential( (tk(P566)) <= (tk(P502)) ),(AG( potential( ( 1 ) <= (tk(P4) + tk(P9) + tk(P24) + tk(P31) + tk(P67) + tk(P86) + tk(P92) + tk(P112) + tk(P128) + tk(P130) + tk(P134) + tk(P156) + tk(P160) + tk(P193) + tk(P202) + tk(P221) + tk(P231) + tk(P267) + tk(P289) + tk(P290) + tk(P315) + tk(P327) + tk(P329) + tk(P364) + tk(P373) + tk(P383) + tk(P428) + tk(P433) + tk(P478) + tk(P486) + tk(P488) + tk(P493) + tk(P514) + tk(P532) + tk(P547) + tk(P562) + tk(P563) + tk(P577) + tk(P580) + tk(P584) + tk(P612)) ))) ))
PROPERTY: PolyORBNT-PT-S05J40-CTLCardinality-02 ( (EF(( (! potential( (tk(P45)) <= (tk(P4) + tk(P9) + tk(P24) + tk(P31) + tk(P67) + tk(P86) + tk(P92) + tk(P112) + tk(P128) + tk(P130) + tk(P134) + tk(P156) + tk(P160) + tk(P193) + tk(P202) + tk(P221) + tk(P231) + tk(P267) + tk(P289) + tk(P290) + tk(P315) + tk(P327) + tk(P329) + tk(P364) + tk(P373) + tk(P383) + tk(P428) + tk(P433) + tk(P478) + tk(P486) + tk(P488) + tk(P493) + tk(P514) + tk(P532) + tk(P547) + tk(P562) + tk(P563) + tk(P577) + tk(P580) + tk(P584) + tk(P612)) )) & ( potential( (tk(P203)) <= (tk(P3) + tk(P17) + tk(P21) + tk(P22) + tk(P48) + tk(P96) + tk(P111) + tk(P117) + tk(P136) + tk(P157) + tk(P165) + tk(P183) + tk(P186) + tk(P215) + tk(P227) + tk(P236) + tk(P254) + tk(P256) + tk(P262) + tk(P266) + tk(P276) + tk(P278) + tk(P296) + tk(P307) + tk(P321) + tk(P323) + tk(P345) + tk(P348) + tk(P362) + tk(P375) + tk(P472) + tk(P503) + tk(P507) + tk(P508) + tk(P515) + tk(P519) + tk(P571) + tk(P573) + tk(P575) + tk(P600) + tk(P627)) ) & potential( ( 3 ) <= (tk(P2) + tk(P5) + tk(P11) + tk(P15) + tk(P18) + tk(P19) + tk(P39) + tk(P95) + tk(P100) + tk(P119) + tk(P194) + tk(P207) + tk(P230) + tk(P255) + tk(P269) + tk(P273) + tk(P297) + tk(P306) + tk(P355) + tk(P369) + tk(P380) + tk(P386) + tk(P388) + tk(P391) + tk(P414) + tk(P445) + tk(P457) + tk(P465) + tk(P466) + tk(P473) + tk(P482) + tk(P483) + tk(P485) + tk(P512) + tk(P548) + tk(P552) + tk(P576) + tk(P578) + tk(P590) + tk(P605) + tk(P616)) ) ) ))) & (AU( ( potential( (tk(P30) + tk(P53) + tk(P61) + tk(P76) + tk(P78) + tk(P98) + tk(P142) + tk(P146) + tk(P150) + tk(P174) + tk(P212) + tk(P228) + tk(P232) + tk(P242) + tk(P250) + tk(P261) + tk(P270) + tk(P288) + tk(P317) + tk(P338) + tk(P343) + tk(P350) + tk(P351) + tk(P365) + tk(P392) + tk(P397) + tk(P407) + tk(P413) + tk(P425) + tk(P447) + tk(P449) + tk(P505) + tk(P529) + tk(P538) + tk(P539) + tk(P586) + tk(P596) + tk(P597) + tk(P602) + tk(P619) + tk(P620)) <= (tk(P310)) ) | potential( (tk(P218)) <= (tk(P310)) ) ),( potential( ( 1 ) <= (tk(P3) + tk(P17) + tk(P21) + tk(P22) + tk(P48) + tk(P96) + tk(P111) + tk(P117) + tk(P136) + tk(P157) + tk(P165) + tk(P183) + tk(P186) + tk(P215) + tk(P227) + tk(P236) + tk(P254) + tk(P256) + tk(P262) + tk(P266) + tk(P276) + tk(P278) + tk(P296) + tk(P307) + tk(P321) + tk(P323) + tk(P345) + tk(P348) + tk(P362) + tk(P375) + tk(P472) + tk(P503) + tk(P507) + tk(P508) + tk(P515) + tk(P519) + tk(P571) + tk(P573) + tk(P575) + tk(P600) + tk(P627)) ) | potential( (tk(P581)) <= (tk(P452)) ) ) )) )
PROPERTY: PolyORBNT-PT-S05J40-CTLCardinality-03 (EG( ( potential( ( 1 ) <= (tk(P123)) ) & ( ( potential( ( 2 ) <= (tk(P129)) ) | potential( (tk(P8) + tk(P25) + tk(P49) + tk(P55) + tk(P64) + tk(P83) + tk(P97) + tk(P108) + tk(P110) + tk(P140) + tk(P168) + tk(P172) + tk(P200) + tk(P213) + tk(P229) + tk(P239) + tk(P252) + tk(P258) + tk(P272) + tk(P304) + tk(P328) + tk(P353) + tk(P361) + tk(P390) + tk(P405) + tk(P408) + tk(P420) + tk(P430) + tk(P440) + tk(P455) + tk(P463) + tk(P471) + tk(P492) + tk(P520) + tk(P521) + tk(P533) + tk(P535) + tk(P570) + tk(P592) + tk(P624) + tk(P628)) <= (tk(P429)) ) ) & potential( (tk(P555)) <= (tk(P480)) ) ) )))
PROPERTY: PolyORBNT-PT-S05J40-CTLCardinality-04 (EF((AG( ( potential( ( 1 ) <= (tk(P423)) ) | potential( (tk(P8) + tk(P25) + tk(P49) + tk(P55) + tk(P64) + tk(P83) + tk(P97) + tk(P108) + tk(P110) + tk(P140) + tk(P168) + tk(P172) + tk(P200) + tk(P213) + tk(P229) + tk(P239) + tk(P252) + tk(P258) + tk(P272) + tk(P304) + tk(P328) + tk(P353) + tk(P361) + tk(P390) + tk(P405) + tk(P408) + tk(P420) + tk(P430) + tk(P440) + tk(P455) + tk(P463) + tk(P471) + tk(P492) + tk(P520) + tk(P521) + tk(P533) + tk(P535) + tk(P570) + tk(P592) + tk(P624) + tk(P628)) <= (tk(P7) + tk(P10) + tk(P12) + tk(P16) + tk(P20) + tk(P23) + tk(P26) + tk(P28) + tk(P29) + tk(P33) + tk(P37) + tk(P40) + tk(P51) + tk(P58) + tk(P60) + tk(P65) + tk(P66) + tk(P71) + tk(P81) + tk(P82) + tk(P88) + tk(P89) + tk(P90) + tk(P94) + tk(P99) + tk(P101) + tk(P102) + tk(P105) + tk(P113) + tk(P114) + tk(P115) + tk(P118) + tk(P120) + tk(P122) + tk(P124) + tk(P125) + tk(P126) + tk(P127) + tk(P131) + tk(P132) + tk(P138) + tk(P139) + tk(P141) + tk(P143) + tk(P144) + tk(P145) + tk(P147) + tk(P155) + tk(P158) + tk(P159) + tk(P169) + tk(P171) + tk(P173) + tk(P176) + tk(P177) + tk(P180) + tk(P181) + tk(P184) + tk(P185) + tk(P188) + tk(P190) + tk(P191) + tk(P197) + tk(P198) + tk(P204) + tk(P205) + tk(P209) + tk(P210) + tk(P224) + tk(P225) + tk(P226) + tk(P233) + tk(P235) + tk(P237) + tk(P238) + tk(P240) + tk(P241) + tk(P245) + tk(P246) + tk(P260) + tk(P265) + tk(P274) + tk(P275) + tk(P279) + tk(P280) + tk(P281) + tk(P282) + tk(P283) + tk(P286) + tk(P287) + tk(P295) + tk(P298) + tk(P299) + tk(P300) + tk(P305) + tk(P312) + tk(P313) + tk(P314) + tk(P316) + tk(P319) + tk(P332) + tk(P333) + tk(P334) + tk(P335) + tk(P336) + tk(P337) + tk(P339) + tk(P340) + tk(P342) + tk(P346) + tk(P347) + tk(P352) + tk(P354) + tk(P356) + tk(P359) + tk(P360) + tk(P366) + tk(P367) + tk(P368) + tk(P372) + tk(P374) + tk(P376) + tk(P377) + tk(P379) + tk(P389) + tk(P393) + tk(P394) + tk(P398) + tk(P400) + tk(P402) + tk(P403) + tk(P404) + tk(P406) + tk(P410) + tk(P416) + tk(P419) + tk(P422) + tk(P427) + tk(P431) + tk(P432) + tk(P436) + tk(P437) + tk(P439) + tk(P441) + tk(P442) + tk(P451) + tk(P454) + tk(P459) + tk(P462) + tk(P464) + tk(P470) + tk(P475) + tk(P476) + tk(P477) + tk(P481) + tk(P484) + tk(P489) + tk(P490) + tk(P494) + tk(P496) + tk(P497) + tk(P498) + tk(P501) + tk(P509) + tk(P513) + tk(P517) + tk(P518) + tk(P524) + tk(P526) + tk(P527) + tk(P528) + tk(P531) + tk(P534) + tk(P542) + tk(P544) + tk(P546) + tk(P551) + tk(P553) + tk(P554) + tk(P556) + tk(P559) + tk(P560) + tk(P561) + tk(P564) + tk(P567) + tk(P572) + tk(P574) + tk(P579) + tk(P582) + tk(P583) + tk(P587) + tk(P588) + tk(P594) + tk(P595) + tk(P599) + tk(P601) + tk(P603) + tk(P604) + tk(P607) + tk(P609) + tk(P611) + tk(P614) + tk(P615) + tk(P623) + tk(P626)) ) )))))
PROPERTY: PolyORBNT-PT-S05J40-CTLCardinality-05 ( (EX( (AG( potential( ( 3 ) <= (tk(P581)) ))))) | (AG( ( (! potential( ( 1 ) <= (tk(P294) + tk(P474) + tk(P487) + tk(P568) + tk(P617)) )) & (! potential( ( 1 ) <= (tk(P129)) )) ))) )
PROPERTY: PolyORBNT-PT-S05J40-CTLCardinality-06 ( ( (! ( potential( (tk(P302)) <= (tk(P57)) ) | ( potential( ( 3 ) <= (tk(P452)) ) & potential( ( 1 ) <= (tk(P47)) ) ) )) & (! ( ( potential( ( 1 ) <= (tk(P293)) ) | potential( ( 3 ) <= (tk(P222)) ) ) & (! potential( (tk(P34) + tk(P35) + tk(P38) + tk(P44) + tk(P46) + tk(P69) + tk(P72) + tk(P73) + tk(P74) + tk(P84) + tk(P148) + tk(P149) + tk(P153) + tk(P154) + tk(P192) + tk(P206) + tk(P211) + tk(P217) + tk(P234) + tk(P248) + tk(P251) + tk(P257) + tk(P264) + tk(P284) + tk(P291) + tk(P308) + tk(P322) + tk(P325) + tk(P417) + tk(P467) + tk(P468) + tk(P469) + tk(P479) + tk(P504) + tk(P536) + tk(P537) + tk(P569) + tk(P585) + tk(P618) + tk(P621) + tk(P629)) <= (tk(P103)) )) )) ) | (AX( (EG( potential( (tk(P6) + tk(P43) + tk(P56) + tk(P63) + tk(P77) + tk(P87) + tk(P93) + tk(P116) + tk(P135) + tk(P162) + tk(P178) + tk(P179) + tk(P187) + tk(P201) + tk(P214) + tk(P223) + tk(P243) + tk(P253) + tk(P318) + tk(P320) + tk(P330) + tk(P331) + tk(P358) + tk(P363) + tk(P371) + tk(P399) + tk(P409) + tk(P411) + tk(P426) + tk(P444) + tk(P450) + tk(P461) + tk(P491) + tk(P506) + tk(P541) + tk(P545) + tk(P557) + tk(P593) + tk(P606) + tk(P610) + tk(P625)) <= (tk(P8) + tk(P25) + tk(P49) + tk(P55) + tk(P64) + tk(P83) + tk(P97) + tk(P108) + tk(P110) + tk(P140) + tk(P168) + tk(P172) + tk(P200) + tk(P213) + tk(P229) + tk(P239) + tk(P252) + tk(P258) + tk(P272) + tk(P304) + tk(P328) + tk(P353) + tk(P361) + tk(P390) + tk(P405) + tk(P408) + tk(P420) + tk(P430) + tk(P440) + tk(P455) + tk(P463) + tk(P471) + tk(P492) + tk(P520) + tk(P521) + tk(P533) + tk(P535) + tk(P570) + tk(P592) + tk(P624) + tk(P628)) ))))) )
PROPERTY: PolyORBNT-PT-S05J40-CTLCardinality-07 (AU( (AG( potential( ( 1 ) <= (tk(P480)) ))),(EG( potential( (tk(P45)) <= (tk(P3) + tk(P17) + tk(P21) + tk(P22) + tk(P48) + tk(P96) + tk(P111) + tk(P117) + tk(P136) + tk(P157) + tk(P165) + tk(P183) + tk(P186) + tk(P215) + tk(P227) + tk(P236) + tk(P254) + tk(P256) + tk(P262) + tk(P266) + tk(P276) + tk(P278) + tk(P296) + tk(P307) + tk(P321) + tk(P323) + tk(P345) + tk(P348) + tk(P362) + tk(P375) + tk(P472) + tk(P503) + tk(P507) + tk(P508) + tk(P515) + tk(P519) + tk(P571) + tk(P573) + tk(P575) + tk(P600) + tk(P627)) ))) ))
PROPERTY: PolyORBNT-PT-S05J40-CTLCardinality-08 ( (EF(( ( potential( ( 1 ) <= (tk(P269)) ) & potential( ( 3 ) <= (tk(P520)) ) ) | ( potential( (tk(P71)) <= (tk(P149)) ) & potential( ( 3 ) <= (tk(P145)) ) ) ))) | ( (EX( ( potential( ( 2 ) <= (tk(P341)) ) & potential( (tk(P507)) <= (tk(P353)) ) ))) | ( ( ( potential( (tk(P479)) <= (tk(P458)) ) & potential( (tk(P329)) <= (tk(P331)) ) ) & ( potential( ( 2 ) <= (tk(P347)) ) & potential( (tk(P344)) <= (tk(P394)) ) ) ) & (AX( potential( ( 1 ) <= (tk(P589)) ))) ) ) )
PROPERTY: PolyORBNT-PT-S05J40-CTLCardinality-09 (EG( ( (EF(potential( ( 3 ) <= (tk(P427)) ))) & (EF(potential( (tk(P523)) <= (tk(P268)) ))) )))
PROPERTY: PolyORBNT-PT-S05J40-CTLCardinality-10 (EG( ( potential( (tk(P229)) <= (tk(P67)) ) | potential( ( 3 ) <= (tk(P17)) ) )))
PROPERTY: PolyORBNT-PT-S05J40-CTLCardinality-11 (! (EG( (! ( potential( ( 3 ) <= (tk(P131)) ) | potential( ( 1 ) <= (tk(P436)) ) )))))
PROPERTY: PolyORBNT-PT-S05J40-CTLCardinality-12 (EU( (EX( potential( (tk(P107)) <= (tk(P212)) ))),potential( ( 2 ) <= (tk(P280)) ) ))
PROPERTY: PolyORBNT-PT-S05J40-CTLCardinality-13 (AG( ( (EX( potential( (tk(P603)) <= (tk(P157)) ))) | ( (! potential( (tk(P37)) <= (tk(P94)) )) | potential( ( 2 ) <= (tk(P592)) ) ) )))
PROPERTY: PolyORBNT-PT-S05J40-CTLCardinality-14 (EF(( (EX( potential( ( 2 ) <= (tk(P337)) ))) & (EF(potential( (tk(P122)) <= (tk(P337)) ))) )))
PROPERTY: PolyORBNT-PT-S05J40-CTLCardinality-15 ( (! (EG( ( potential( ( 2 ) <= (tk(P440)) ) & potential( (tk(P426)) <= (tk(P24)) ) )))) & ( ( (EF(potential( ( 2 ) <= (tk(P603)) ))) & ( (! potential( (tk(P532)) <= (tk(P224)) )) | ( potential( (tk(P480)) <= (tk(P239)) ) | potential( (tk(P97)) <= (tk(P190)) ) ) ) ) | ( potential( ( 1 ) <= (tk(P204)) ) | (AX( potential( ( 3 ) <= (tk(P144)) ))) ) ) )

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="PolyORBNT-PT-S05J40"
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 PolyORBNT-PT-S05J40, 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 r123-tajo-158961355000651"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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