Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250400332.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is NoC3x3-PT-1A, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250400332
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 260K
-rw-r--r-- 1 mcc users 3.0K Apr 8 15:00 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 8 15:00 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 7 18:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 7 18:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 14 12:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Apr 6 20:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 6 20:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 6 03:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 6 03:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 6 20:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 81K 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 NoC3x3-PT-1A-CTLFireability-00
FORMULA_NAME NoC3x3-PT-1A-CTLFireability-01
FORMULA_NAME NoC3x3-PT-1A-CTLFireability-02
FORMULA_NAME NoC3x3-PT-1A-CTLFireability-03
FORMULA_NAME NoC3x3-PT-1A-CTLFireability-04
FORMULA_NAME NoC3x3-PT-1A-CTLFireability-05
FORMULA_NAME NoC3x3-PT-1A-CTLFireability-06
FORMULA_NAME NoC3x3-PT-1A-CTLFireability-07
FORMULA_NAME NoC3x3-PT-1A-CTLFireability-08
FORMULA_NAME NoC3x3-PT-1A-CTLFireability-09
FORMULA_NAME NoC3x3-PT-1A-CTLFireability-10
FORMULA_NAME NoC3x3-PT-1A-CTLFireability-11
FORMULA_NAME NoC3x3-PT-1A-CTLFireability-12
FORMULA_NAME NoC3x3-PT-1A-CTLFireability-13
FORMULA_NAME NoC3x3-PT-1A-CTLFireability-14
FORMULA_NAME NoC3x3-PT-1A-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589641455479

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 1A
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 165 places, 355 transitions, 1069 arcs.
AT ITER 0 NEW BEST:: SOT 39460 SOS 33632 HAS SOPS 33632 HAS SOUS 16750 HAS SOUPS 16750 WITH SCORE 16783.632
AT ITER 5 NEW BEST:: SOT 39365 SOS 33606 HAS SOPS 33606 HAS SOUS 16730 HAS SOUPS 16730 WITH SCORE 16763.606
AT ITER 6 NEW BEST:: SOT 39110 SOS 33027 HAS SOPS 33027 HAS SOUS 16412 HAS SOUPS 16412 WITH SCORE 16445.027
AT ITER 7 NEW BEST:: SOT 38749 SOS 32666 HAS SOPS 32666 HAS SOUS 16312 HAS SOUPS 16312 WITH SCORE 16344.666
AT ITER 8 NEW BEST:: SOT 38655 SOS 32194 HAS SOPS 32194 HAS SOUS 16060 HAS SOUPS 16060 WITH SCORE 16092.194
AT ITER 10 NEW BEST:: SOT 38637 SOS 32176 HAS SOPS 32176 HAS SOUS 16042 HAS SOUPS 16042 WITH SCORE 16074.176
AT ITER 13 NEW BEST:: SOT 38601 SOS 32073 HAS SOPS 32073 HAS SOUS 16042 HAS SOUPS 16042 WITH SCORE 16074.073
AT ITER 14 NEW BEST:: SOT 38892 SOS 31701 HAS SOPS 31701 HAS SOUS 15875 HAS SOUPS 15875 WITH SCORE 15906.701
AT ITER 15 NEW BEST:: SOT 38186 SOS 30995 HAS SOPS 30995 HAS SOUS 15570 HAS SOUPS 15570 WITH SCORE 15600.995
AT ITER 17 NEW BEST:: SOT 38074 SOS 30882 HAS SOPS 30882 HAS SOUS 15505 HAS SOUPS 15505 WITH SCORE 15535.882
AT ITER 18 NEW BEST:: SOT 38390 SOS 30677 HAS SOPS 30677 HAS SOUS 15443 HAS SOUPS 15443 WITH SCORE 15473.677
AT ITER 19 NEW BEST:: SOT 38391 SOS 30678 HAS SOPS 30678 HAS SOUS 15442 HAS SOUPS 15442 WITH SCORE 15472.678
AT ITER 21 NEW BEST:: SOT 38538 SOS 30685 HAS SOPS 30685 HAS SOUS 15440 HAS SOUPS 15440 WITH SCORE 15470.685
AT ITER 24 NEW BEST:: SOT 38181 SOS 30328 HAS SOPS 30328 HAS SOUS 15325 HAS SOUPS 15325 WITH SCORE 15355.328
AT ITER 25 NEW BEST:: SOT 37925 SOS 30072 HAS SOPS 30072 HAS SOUS 15146 HAS SOUPS 15146 WITH SCORE 15176.072
AT ITER 26 NEW BEST:: SOT 37817 SOS 29964 HAS SOPS 29964 HAS SOUS 15110 HAS SOUPS 15110 WITH SCORE 15139.964
AT ITER 33 NEW BEST:: SOT 37641 SOS 29788 HAS SOPS 29788 HAS SOUS 14926 HAS SOUPS 14926 WITH SCORE 14955.788
AT ITER 34 NEW BEST:: SOT 37617 SOS 29764 HAS SOPS 29764 HAS SOUS 14878 HAS SOUPS 14878 WITH SCORE 14907.764
AT ITER 38 NEW BEST:: SOT 37327 SOS 29618 HAS SOPS 29618 HAS SOUS 14820 HAS SOUPS 14820 WITH SCORE 14849.618
AT ITER 39 NEW BEST:: SOT 37515 SOS 29577 HAS SOPS 29577 HAS SOUS 14820 HAS SOUPS 14820 WITH SCORE 14849.577
AT ITER 41 NEW BEST:: SOT 37609 SOS 29638 HAS SOPS 29638 HAS SOUS 14809 HAS SOUPS 14809 WITH SCORE 14838.638
AT ITER 45 NEW BEST:: SOT 37586 SOS 29615 HAS SOPS 29615 HAS SOUS 14804 HAS SOUPS 14804 WITH SCORE 14833.615
AT ITER 49 NEW BEST:: SOT 36910 SOS 28939 HAS SOPS 28939 HAS SOUS 14482 HAS SOUPS 14482 WITH SCORE 14510.939
AT ITER 50 NEW BEST:: SOT 37140 SOS 28961 HAS SOPS 28961 HAS SOUS 14434 HAS SOUPS 14434 WITH SCORE 14462.961
AT ITER 51 NEW BEST:: SOT 37147 SOS 28709 HAS SOPS 28709 HAS SOUS 14426 HAS SOUPS 14426 WITH SCORE 14454.709
AT ITER 52 NEW BEST:: SOT 36899 SOS 28509 HAS SOPS 28509 HAS SOUS 14296 HAS SOUPS 14296 WITH SCORE 14324.509
AT ITER 54 NEW BEST:: SOT 36899 SOS 28353 HAS SOPS 28353 HAS SOUS 14296 HAS SOUPS 14296 WITH SCORE 14324.353
AT ITER 57 NEW BEST:: SOT 36862 SOS 28316 HAS SOPS 28316 HAS SOUS 14229 HAS SOUPS 14229 WITH SCORE 14257.316
AT ITER 59 NEW BEST:: SOT 36540 SOS 27146 HAS SOPS 27146 HAS SOUS 13671 HAS SOUPS 13671 WITH SCORE 13698.146
AT ITER 61 NEW BEST:: SOT 36528 SOS 27087 HAS SOPS 27087 HAS SOUS 13600 HAS SOUPS 13600 WITH SCORE 13627.087
AT ITER 62 NEW BEST:: SOT 36438 SOS 26997 HAS SOPS 26997 HAS SOUS 13550 HAS SOUPS 13550 WITH SCORE 13576.997
AT ITER 63 NEW BEST:: SOT 36492 SOS 27005 HAS SOPS 27005 HAS SOUS 13537 HAS SOUPS 13537 WITH SCORE 13564.005
AT ITER 66 NEW BEST:: SOT 36516 SOS 26993 HAS SOPS 26993 HAS SOUS 13537 HAS SOUPS 13537 WITH SCORE 13563.993
AT ITER 67 NEW BEST:: SOT 36489 SOS 26677 HAS SOPS 26677 HAS SOUS 13537 HAS SOUPS 13537 WITH SCORE 13563.677
AT ITER 68 NEW BEST:: SOT 36466 SOS 26678 HAS SOPS 26678 HAS SOUS 13534 HAS SOUPS 13534 WITH SCORE 13560.678
AT ITER 72 NEW BEST:: SOT 36405 SOS 26497 HAS SOPS 26497 HAS SOUS 13462 HAS SOUPS 13462 WITH SCORE 13488.497
AT ITER 73 NEW BEST:: SOT 36378 SOS 26470 HAS SOPS 26470 HAS SOUS 13409 HAS SOUPS 13409 WITH SCORE 13435.47
AT ITER 74 NEW BEST:: SOT 36378 SOS 26026 HAS SOPS 26026 HAS SOUS 13409 HAS SOUPS 13409 WITH SCORE 13435.026
AT ITER 76 NEW BEST:: SOT 36573 SOS 25879 HAS SOPS 25879 HAS SOUS 13408 HAS SOUPS 13408 WITH SCORE 13433.879
AT ITER 80 NEW BEST:: SOT 36548 SOS 25854 HAS SOPS 25854 HAS SOUS 13381 HAS SOUPS 13381 WITH SCORE 13406.854
AT ITER 81 NEW BEST:: SOT 36489 SOS 25795 HAS SOPS 25795 HAS SOUS 13325 HAS SOUPS 13325 WITH SCORE 13350.795
AT ITER 83 NEW BEST:: SOT 36512 SOS 25809 HAS SOPS 25802 HAS SOUS 13313 HAS SOUPS 13306 WITH SCORE 13331.809
AT ITER 86 NEW BEST:: SOT 36355 SOS 25652 HAS SOPS 25645 HAS SOUS 13264 HAS SOUPS 13257 WITH SCORE 13282.652
AT ITER 88 NEW BEST:: SOT 36285 SOS 25582 HAS SOPS 25575 HAS SOUS 13222 HAS SOUPS 13215 WITH SCORE 13240.582
AT ITER 90 NEW BEST:: SOT 36170 SOS 25467 HAS SOPS 25460 HAS SOUS 13169 HAS SOUPS 13162 WITH SCORE 13187.467
AT ITER 98 NEW BEST:: SOT 36170 SOS 25164 HAS SOPS 25157 HAS SOUS 13169 HAS SOUPS 13162 WITH SCORE 13187.164
AT ITER 100 NEW BEST:: SOT 36114 SOS 25108 HAS SOPS 25101 HAS SOUS 13130 HAS SOUPS 13123 WITH SCORE 13148.108
AT ITER 101 NEW BEST:: SOT 36092 SOS 25087 HAS SOPS 25080 HAS SOUS 13125 HAS SOUPS 13118 WITH SCORE 13143.087
AT ITER 103 NEW BEST:: SOT 36135 SOS 25130 HAS SOPS 25123 HAS SOUS 13083 HAS SOUPS 13076 WITH SCORE 13101.13
AT ITER 104 NEW BEST:: SOT 36151 SOS 25130 HAS SOPS 25123 HAS SOUS 13079 HAS SOUPS 13072 WITH SCORE 13097.13
AT ITER 108 NEW BEST:: SOT 36098 SOS 25077 HAS SOPS 25070 HAS SOUS 13026 HAS SOUPS 13019 WITH SCORE 13044.077
AT ITER 109 NEW BEST:: SOT 36098 SOS 25077 HAS SOPS 25070 HAS SOUS 13021 HAS SOUPS 13014 WITH SCORE 13039.077
AT ITER 113 NEW BEST:: SOT 35949 SOS 24928 HAS SOPS 24921 HAS SOUS 12855 HAS SOUPS 12848 WITH SCORE 12872.928
AT ITER 117 NEW BEST:: SOT 35525 SOS 24584 HAS SOPS 24577 HAS SOUS 12675 HAS SOUPS 12668 WITH SCORE 12692.584
AT ITER 118 NEW BEST:: SOT 35076 SOS 24135 HAS SOPS 24128 HAS SOUS 12457 HAS SOUPS 12450 WITH SCORE 12474.135
AT ITER 120 NEW BEST:: SOT 34841 SOS 24129 HAS SOPS 24122 HAS SOUS 12346 HAS SOUPS 12339 WITH SCORE 12363.129
AT ITER 121 NEW BEST:: SOT 34881 SOS 23260 HAS SOPS 23253 HAS SOUS 12324 HAS SOUPS 12317 WITH SCORE 12340.26
AT ITER 125 NEW BEST:: SOT 34846 SOS 23225 HAS SOPS 23218 HAS SOUS 12310 HAS SOUPS 12303 WITH SCORE 12326.225
AT ITER 126 NEW BEST:: SOT 34755 SOS 23112 HAS SOPS 23097 HAS SOUS 12194 HAS SOUPS 12179 WITH SCORE 12202.112
AT ITER 131 NEW BEST:: SOT 34705 SOS 23062 HAS SOPS 23047 HAS SOUS 12133 HAS SOUPS 12118 WITH SCORE 12141.062
AT ITER 132 NEW BEST:: SOT 34677 SOS 23034 HAS SOPS 23019 HAS SOUS 12071 HAS SOUPS 12056 WITH SCORE 12079.034
AT ITER 134 NEW BEST:: SOT 34675 SOS 22405 HAS SOPS 22390 HAS SOUS 11977 HAS SOUPS 11962 WITH SCORE 11984.405
AT ITER 136 NEW BEST:: SOT 34627 SOS 22344 HAS SOPS 22329 HAS SOUS 11907 HAS SOUPS 11892 WITH SCORE 11914.344
AT ITER 144 NEW BEST:: SOT 34235 SOS 21952 HAS SOPS 21937 HAS SOUS 11667 HAS SOUPS 11652 WITH SCORE 11673.952
AT ITER 147 NEW BEST:: SOT 34355 SOS 21944 HAS SOPS 21929 HAS SOUS 11667 HAS SOUPS 11652 WITH SCORE 11673.944
AT ITER 149 NEW BEST:: SOT 34355 SOS 21937 HAS SOPS 21922 HAS SOUS 11660 HAS SOUPS 11645 WITH SCORE 11666.937
AT ITER 150 NEW BEST:: SOT 34247 SOS 21667 HAS SOPS 21652 HAS SOUS 11588 HAS SOUPS 11573 WITH SCORE 11594.667
AT ITER 151 NEW BEST:: SOT 34218 SOS 21650 HAS SOPS 21635 HAS SOUS 11563 HAS SOUPS 11548 WITH SCORE 11569.65
AT ITER 157 NEW BEST:: SOT 33929 SOS 20918 HAS SOPS 20903 HAS SOUS 11419 HAS SOUPS 11404 WITH SCORE 11424.918
AT ITER 160 NEW BEST:: SOT 33882 SOS 20464 HAS SOPS 20449 HAS SOUS 11395 HAS SOUPS 11380 WITH SCORE 11400.464
AT ITER 169 NEW BEST:: SOT 33879 SOS 20461 HAS SOPS 20446 HAS SOUS 11392 HAS SOUPS 11377 WITH SCORE 11397.461
AT ITER 174 NEW BEST:: SOT 33871 SOS 20461 HAS SOPS 20446 HAS SOUS 11382 HAS SOUPS 11367 WITH SCORE 11387.461
AT ITER 176 NEW BEST:: SOT 33904 SOS 20428 HAS SOPS 20413 HAS SOUS 11382 HAS SOUPS 11367 WITH SCORE 11387.428
AT ITER 183 NEW BEST:: SOT 33854 SOS 20350 HAS SOPS 20335 HAS SOUS 11298 HAS SOUPS 11283 WITH SCORE 11303.35
AT ITER 184 NEW BEST:: SOT 33808 SOS 20304 HAS SOPS 20289 HAS SOUS 11252 HAS SOUPS 11237 WITH SCORE 11257.304
AT ITER 188 NEW BEST:: SOT 33731 SOS 19942 HAS SOPS 19927 HAS SOUS 11150 HAS SOUPS 11135 WITH SCORE 11154.942
AT ITER 189 NEW BEST:: SOT 33726 SOS 19940 HAS SOPS 19925 HAS SOUS 11150 HAS SOUPS 11135 WITH SCORE 11154.94
AT ITER 194 NEW BEST:: SOT 33478 SOS 19692 HAS SOPS 19677 HAS SOUS 10983 HAS SOUPS 10968 WITH SCORE 10987.692
AT ITER 195 NEW BEST:: SOT 33358 SOS 19398 HAS SOPS 19383 HAS SOUS 10893 HAS SOUPS 10878 WITH SCORE 10897.398
AT ITER 199 NEW BEST:: SOT 33485 SOS 19368 HAS SOPS 19353 HAS SOUS 10741 HAS SOUPS 10726 WITH SCORE 10745.368
AT ITER 202 NEW BEST:: SOT 33361 SOS 19281 HAS SOPS 19266 HAS SOUS 10714 HAS SOUPS 10699 WITH SCORE 10718.281
AT ITER 204 NEW BEST:: SOT 33489 SOS 19565 HAS SOPS 19505 HAS SOUS 10681 HAS SOUPS 10628 WITH SCORE 10647.565
AT ITER 205 NEW BEST:: SOT 33488 SOS 19564 HAS SOPS 19504 HAS SOUS 10679 HAS SOUPS 10626 WITH SCORE 10645.564
AT ITER 210 NEW BEST:: SOT 33443 SOS 19683 HAS SOPS 19623 HAS SOUS 10667 HAS SOUPS 10614 WITH SCORE 10633.683
AT ITER 213 NEW BEST:: SOT 33457 SOS 19669 HAS SOPS 19609 HAS SOUS 10646 HAS SOUPS 10593 WITH SCORE 10612.669
AT ITER 215 NEW BEST:: SOT 33403 SOS 19646 HAS SOPS 19586 HAS SOUS 10632 HAS SOUPS 10579 WITH SCORE 10598.646
AT ITER 219 NEW BEST:: SOT 33399 SOS 19639 HAS SOPS 19579 HAS SOUS 10622 HAS SOUPS 10569 WITH SCORE 10588.639
AT ITER 220 NEW BEST:: SOT 33031 SOS 19271 HAS SOPS 19211 HAS SOUS 10376 HAS SOUPS 10323 WITH SCORE 10342.271
AT ITER 222 NEW BEST:: SOT 33016 SOS 19256 HAS SOPS 19196 HAS SOUS 10351 HAS SOUPS 10298 WITH SCORE 10317.256
AT ITER 236 NEW BEST:: SOT 32998 SOS 19238 HAS SOPS 19178 HAS SOUS 10315 HAS SOUPS 10262 WITH SCORE 10281.238
AT ITER 249 NEW BEST:: SOT 32959 SOS 18740 HAS SOPS 18680 HAS SOUS 10189 HAS SOUPS 10136 WITH SCORE 10154.74
AT ITER 250 NEW BEST:: SOT 32945 SOS 18726 HAS SOPS 18666 HAS SOUS 10169 HAS SOUPS 10116 WITH SCORE 10134.726
AT ITER 256 NEW BEST:: SOT 32693 SOS 18586 HAS SOPS 18534 HAS SOUS 10137 HAS SOUPS 10092 WITH SCORE 10110.586
AT ITER 266 NEW BEST:: SOT 32693 SOS 18586 HAS SOPS 18534 HAS SOUS 10127 HAS SOUPS 10082 WITH SCORE 10100.586
AT ITER 271 NEW BEST:: SOT 32717 SOS 18586 HAS SOPS 18534 HAS SOUS 10111 HAS SOUPS 10066 WITH SCORE 10084.586
AT ITER 273 NEW BEST:: SOT 32777 SOS 18544 HAS SOPS 18492 HAS SOUS 10075 HAS SOUPS 10030 WITH SCORE 10048.544
AT ITER 285 NEW BEST:: SOT 32796 SOS 18563 HAS SOPS 18511 HAS SOUS 10034 HAS SOUPS 9989 WITH SCORE 10007.563
AT ITER 299 NEW BEST:: SOT 32689 SOS 18464 HAS SOPS 18412 HAS SOUS 9988 HAS SOUPS 9943 WITH SCORE 9961.464
AT ITER 300 NEW BEST:: SOT 32721 SOS 18486 HAS SOPS 18434 HAS SOUS 9987 HAS SOUPS 9942 WITH SCORE 9960.486
AT ITER 313 NEW BEST:: SOT 32746 SOS 18491 HAS SOPS 18439 HAS SOUS 9982 HAS SOUPS 9937 WITH SCORE 9955.491
AT ITER 315 NEW BEST:: SOT 32746 SOS 18491 HAS SOPS 18439 HAS SOUS 9981 HAS SOUPS 9936 WITH SCORE 9954.491
AT ITER 318 NEW BEST:: SOT 32724 SOS 18469 HAS SOPS 18417 HAS SOUS 9973 HAS SOUPS 9928 WITH SCORE 9946.469
AT ITER 324 NEW BEST:: SOT 32592 SOS 18333 HAS SOPS 18281 HAS SOUS 9850 HAS SOUPS 9805 WITH SCORE 9823.333
AT ITER 329 NEW BEST:: SOT 32642 SOS 18315 HAS SOPS 18263 HAS SOUS 9840 HAS SOUPS 9795 WITH SCORE 9813.315
AT ITER 332 NEW BEST:: SOT 32647 SOS 18300 HAS SOPS 18300 HAS SOUS 9789 HAS SOUPS 9789 WITH SCORE 9807.3
AT ITER 334 NEW BEST:: SOT 32608 SOS 18277 HAS SOPS 18277 HAS SOUS 9782 HAS SOUPS 9782 WITH SCORE 9800.277
AT ITER 335 NEW BEST:: SOT 32608 SOS 18237 HAS SOPS 18237 HAS SOUS 9742 HAS SOUPS 9742 WITH SCORE 9760.237
AT ITER 337 NEW BEST:: SOT 32535 SOS 18292 HAS SOPS 18292 HAS SOUS 9649 HAS SOUPS 9649 WITH SCORE 9667.292
AT ITER 342 NEW BEST:: SOT 32540 SOS 18287 HAS SOPS 18287 HAS SOUS 9608 HAS SOUPS 9608 WITH SCORE 9626.287
AT ITER 346 NEW BEST:: SOT 32338 SOS 18111 HAS SOPS 18111 HAS SOUS 9582 HAS SOUPS 9582 WITH SCORE 9600.111
AT ITER 348 NEW BEST:: SOT 32333 SOS 18107 HAS SOPS 18107 HAS SOUS 9577 HAS SOUPS 9577 WITH SCORE 9595.107
AT ITER 352 NEW BEST:: SOT 32228 SOS 18218 HAS SOPS 18218 HAS SOUS 9576 HAS SOUPS 9576 WITH SCORE 9594.218
AT ITER 357 NEW BEST:: SOT 32165 SOS 18163 HAS SOPS 18163 HAS SOUS 9544 HAS SOUPS 9544 WITH SCORE 9562.163
AT ITER 362 NEW BEST:: SOT 32157 SOS 18156 HAS SOPS 18156 HAS SOUS 9544 HAS SOUPS 9544 WITH SCORE 9562.156
AT ITER 365 NEW BEST:: SOT 32185 SOS 18142 HAS SOPS 18142 HAS SOUS 9544 HAS SOUPS 9544 WITH SCORE 9562.142
AT ITER 366 NEW BEST:: SOT 32123 SOS 17994 HAS SOPS 17994 HAS SOUS 9459 HAS SOUPS 9459 WITH SCORE 9476.994
AT ITER 367 NEW BEST:: SOT 32130 SOS 18001 HAS SOPS 18001 HAS SOUS 9452 HAS SOUPS 9452 WITH SCORE 9470.001
AT ITER 372 NEW BEST:: SOT 32050 SOS 17921 HAS SOPS 17921 HAS SOUS 9390 HAS SOUPS 9390 WITH SCORE 9407.921
AT ITER 385 NEW BEST:: SOT 32026 SOS 17897 HAS SOPS 17897 HAS SOUS 9358 HAS SOUPS 9358 WITH SCORE 9375.897
AT ITER 392 NEW BEST:: SOT 32014 SOS 17885 HAS SOPS 17885 HAS SOUS 9346 HAS SOUPS 9346 WITH SCORE 9363.885
AT ITER 393 NEW BEST:: SOT 31724 SOS 17619 HAS SOPS 17619 HAS SOUS 9276 HAS SOUPS 9276 WITH SCORE 9293.619
AT ITER 394 NEW BEST:: SOT 31708 SOS 17603 HAS SOPS 17603 HAS SOUS 9270 HAS SOUPS 9270 WITH SCORE 9287.603
AT ITER 401 NEW BEST:: SOT 31573 SOS 17244 HAS SOPS 17244 HAS SOUS 9180 HAS SOUPS 9180 WITH SCORE 9197.244
AT ITER 404 NEW BEST:: SOT 31573 SOS 17242 HAS SOPS 17242 HAS SOUS 9179 HAS SOUPS 9179 WITH SCORE 9196.242
AT ITER 409 NEW BEST:: SOT 31637 SOS 17266 HAS SOPS 17266 HAS SOUS 9168 HAS SOUPS 9168 WITH SCORE 9185.266
AT ITER 413 NEW BEST:: SOT 31636 SOS 17263 HAS SOPS 17263 HAS SOUS 9165 HAS SOUPS 9165 WITH SCORE 9182.263
AT ITER 417 NEW BEST:: SOT 31500 SOS 17127 HAS SOPS 17127 HAS SOUS 9117 HAS SOUPS 9117 WITH SCORE 9134.127
AT ITER 420 NEW BEST:: SOT 31498 SOS 17124 HAS SOPS 17124 HAS SOUS 9115 HAS SOUPS 9115 WITH SCORE 9132.124
AT ITER 425 NEW BEST:: SOT 31519 SOS 17145 HAS SOPS 17145 HAS SOUS 9111 HAS SOUPS 9111 WITH SCORE 9128.145
AT ITER 430 NEW BEST:: SOT 31311 SOS 16937 HAS SOPS 16937 HAS SOUS 8904 HAS SOUPS 8904 WITH SCORE 8920.937
AT ITER 432 NEW BEST:: SOT 31274 SOS 16957 HAS SOPS 16957 HAS SOUS 8878 HAS SOUPS 8878 WITH SCORE 8894.957
AT ITER 435 NEW BEST:: SOT 31325 SOS 16860 HAS SOPS 16860 HAS SOUS 8850 HAS SOUPS 8850 WITH SCORE 8866.86
AT ITER 442 NEW BEST:: SOT 31269 SOS 16804 HAS SOPS 16804 HAS SOUS 8766 HAS SOUPS 8766 WITH SCORE 8782.804
AT ITER 447 NEW BEST:: SOT 31310 SOS 16850 HAS SOPS 16850 HAS SOUS 8751 HAS SOUPS 8751 WITH SCORE 8767.85
AT ITER 450 NEW BEST:: SOT 31335 SOS 16741 HAS SOPS 16741 HAS SOUS 8713 HAS SOUPS 8713 WITH SCORE 8729.741
AT ITER 452 NEW BEST:: SOT 31303 SOS 16677 HAS SOPS 16677 HAS SOUS 8665 HAS SOUPS 8665 WITH SCORE 8681.677
AT ITER 477 NEW BEST:: SOT 31213 SOS 16578 HAS SOPS 16578 HAS SOUS 8652 HAS SOUPS 8652 WITH SCORE 8668.578
AT ITER 490 NEW BEST:: SOT 31211 SOS 16213 HAS SOPS 16213 HAS SOUS 8650 HAS SOUPS 8650 WITH SCORE 8666.213
AT ITER 491 NEW BEST:: SOT 31201 SOS 16203 HAS SOPS 16203 HAS SOUS 8646 HAS SOUPS 8646 WITH SCORE 8662.203
AT ITER 496 NEW BEST:: SOT 31209 SOS 16211 HAS SOPS 16211 HAS SOUS 8635 HAS SOUPS 8635 WITH SCORE 8651.211
AT ITER 498 NEW BEST:: SOT 31202 SOS 16204 HAS SOPS 16204 HAS SOUS 8621 HAS SOUPS 8621 WITH SCORE 8637.204
AT ITER 501 NEW BEST:: SOT 31148 SOS 16150 HAS SOPS 16150 HAS SOUS 8531 HAS SOUPS 8531 WITH SCORE 8547.15
AT ITER 505 NEW BEST:: SOT 31119 SOS 16121 HAS SOPS 16121 HAS SOUS 8514 HAS SOUPS 8514 WITH SCORE 8530.121
AT ITER 507 NEW BEST:: SOT 31119 SOS 16107 HAS SOPS 16107 HAS SOUS 8514 HAS SOUPS 8514 WITH SCORE 8530.107
AT ITER 529 NEW BEST:: SOT 31167 SOS 16081 HAS SOPS 16081 HAS SOUS 8502 HAS SOUPS 8502 WITH SCORE 8518.081
AT ITER 535 NEW BEST:: SOT 31162 SOS 16076 HAS SOPS 16076 HAS SOUS 8501 HAS SOUPS 8501 WITH SCORE 8517.076
AT ITER 539 NEW BEST:: SOT 30994 SOS 15900 HAS SOPS 15900 HAS SOUS 8385 HAS SOUPS 8385 WITH SCORE 8400.9
AT ITER 551 NEW BEST:: SOT 30979 SOS 15690 HAS SOPS 15690 HAS SOUS 8385 HAS SOUPS 8385 WITH SCORE 8400.69
AT ITER 557 NEW BEST:: SOT 31064 SOS 15588 HAS SOPS 15588 HAS SOUS 8344 HAS SOUPS 8344 WITH SCORE 8359.588
AT ITER 562 NEW BEST:: SOT 31030 SOS 15554 HAS SOPS 15554 HAS SOUS 8331 HAS SOUPS 8331 WITH SCORE 8346.554
AT ITER 565 NEW BEST:: SOT 31008 SOS 15532 HAS SOPS 15532 HAS SOUS 8302 HAS SOUPS 8302 WITH SCORE 8317.532
AT ITER 568 NEW BEST:: SOT 30990 SOS 15514 HAS SOPS 15514 HAS SOUS 8283 HAS SOUPS 8283 WITH SCORE 8298.514
AT ITER 570 NEW BEST:: SOT 30895 SOS 15353 HAS SOPS 15353 HAS SOUS 8122 HAS SOUPS 8122 WITH SCORE 8137.353
AT ITER 571 NEW BEST:: SOT 30893 SOS 15351 HAS SOPS 15351 HAS SOUS 8121 HAS SOUPS 8121 WITH SCORE 8136.351
AT ITER 575 NEW BEST:: SOT 30940 SOS 15238 HAS SOPS 15238 HAS SOUS 8087 HAS SOUPS 8087 WITH SCORE 8102.238
AT ITER 577 NEW BEST:: SOT 30974 SOS 15250 HAS SOPS 15250 HAS SOUS 8082 HAS SOUPS 8082 WITH SCORE 8097.25
AT ITER 578 NEW BEST:: SOT 30846 SOS 15371 HAS SOPS 15371 HAS SOUS 8053 HAS SOUPS 8053 WITH SCORE 8068.371
AT ITER 584 NEW BEST:: SOT 30820 SOS 15345 HAS SOPS 15345 HAS SOUS 8019 HAS SOUPS 8019 WITH SCORE 8034.345
AT ITER 588 NEW BEST:: SOT 30819 SOS 15299 HAS SOPS 15299 HAS SOUS 8000 HAS SOUPS 8000 WITH SCORE 8015.299
AT ITER 598 NEW BEST:: SOT 30808 SOS 15282 HAS SOPS 15282 HAS SOUS 8000 HAS SOUPS 8000 WITH SCORE 8015.282
AT ITER 608 NEW BEST:: SOT 30759 SOS 15233 HAS SOPS 15233 HAS SOUS 7951 HAS SOUPS 7951 WITH SCORE 7966.233
AT ITER 610 NEW BEST:: SOT 30759 SOS 15087 HAS SOPS 15080 HAS SOUS 7949 HAS SOUPS 7942 WITH SCORE 7957.087
AT ITER 633 NEW BEST:: SOT 30717 SOS 14938 HAS SOPS 14931 HAS SOUS 7907 HAS SOUPS 7900 WITH SCORE 7914.938
AT ITER 651 NEW BEST:: SOT 30715 SOS 14922 HAS SOPS 14915 HAS SOUS 7901 HAS SOUPS 7894 WITH SCORE 7908.922
AT ITER 653 NEW BEST:: SOT 30699 SOS 14906 HAS SOPS 14899 HAS SOUS 7885 HAS SOUPS 7878 WITH SCORE 7892.906
AT ITER 655 NEW BEST:: SOT 30664 SOS 14871 HAS SOPS 14864 HAS SOUS 7846 HAS SOUPS 7839 WITH SCORE 7853.871
AT ITER 660 NEW BEST:: SOT 30678 SOS 14857 HAS SOPS 14850 HAS SOUS 7832 HAS SOUPS 7825 WITH SCORE 7839.857
AT ITER 661 NEW BEST:: SOT 30659 SOS 14812 HAS SOPS 14805 HAS SOUS 7810 HAS SOUPS 7803 WITH SCORE 7817.812
AT ITER 664 NEW BEST:: SOT 30646 SOS 14803 HAS SOPS 14796 HAS SOUS 7797 HAS SOUPS 7790 WITH SCORE 7804.803
AT ITER 684 NEW BEST:: SOT 30584 SOS 14729 HAS SOPS 14722 HAS SOUS 7759 HAS SOUPS 7752 WITH SCORE 7766.729
AT ITER 689 NEW BEST:: SOT 30643 SOS 14788 HAS SOPS 14781 HAS SOUS 7754 HAS SOUPS 7747 WITH SCORE 7761.788
AT ITER 706 NEW BEST:: SOT 30653 SOS 14773 HAS SOPS 14766 HAS SOUS 7744 HAS SOUPS 7737 WITH SCORE 7751.773
AT ITER 708 NEW BEST:: SOT 30539 SOS 14647 HAS SOPS 14640 HAS SOUS 7669 HAS SOUPS 7662 WITH SCORE 7676.647
AT ITER 730 NEW BEST:: SOT 30542 SOS 14536 HAS SOPS 14529 HAS SOUS 7665 HAS SOUPS 7658 WITH SCORE 7672.536
AT ITER 735 NEW BEST:: SOT 30535 SOS 14527 HAS SOPS 14521 HAS SOUS 7661 HAS SOUPS 7655 WITH SCORE 7669.527
AT ITER 745 NEW BEST:: SOT 30533 SOS 14515 HAS SOPS 14509 HAS SOUS 7661 HAS SOUPS 7655 WITH SCORE 7669.515
AT ITER 761 NEW BEST:: SOT 30533 SOS 14456 HAS SOPS 14450 HAS SOUS 7661 HAS SOUPS 7655 WITH SCORE 7669.456
AT ITER 766 NEW BEST:: SOT 30643 SOS 14537 HAS SOPS 14531 HAS SOUS 7652 HAS SOUPS 7646 WITH SCORE 7660.537
AT ITER 769 NEW BEST:: SOT 30552 SOS 14429 HAS SOPS 14423 HAS SOUS 7611 HAS SOUPS 7605 WITH SCORE 7619.429
AT ITER 774 NEW BEST:: SOT 30567 SOS 14373 HAS SOPS 14360 HAS SOUS 7611 HAS SOUPS 7598 WITH SCORE 7612.373
AT ITER 778 NEW BEST:: SOT 30703 SOS 14418 HAS SOPS 14405 HAS SOUS 7441 HAS SOUPS 7428 WITH SCORE 7442.418
AT ITER 779 NEW BEST:: SOT 30950 SOS 13892 HAS SOPS 13817 HAS SOUS 7450 HAS SOUPS 7382 WITH SCORE 7395.892
AT ITER 780 NEW BEST:: SOT 30954 SOS 13494 HAS SOPS 13419 HAS SOUS 7435 HAS SOUPS 7367 WITH SCORE 7380.494
AT ITER 782 NEW BEST:: SOT 30977 SOS 13495 HAS SOPS 13420 HAS SOUS 7434 HAS SOUPS 7366 WITH SCORE 7379.495
AT ITER 783 NEW BEST:: SOT 30930 SOS 13448 HAS SOPS 13373 HAS SOUS 7412 HAS SOUPS 7344 WITH SCORE 7357.448
AT ITER 800 NEW BEST:: SOT 30942 SOS 13380 HAS SOPS 13305 HAS SOUS 7398 HAS SOUPS 7330 WITH SCORE 7343.38
AT ITER 810 NEW BEST:: SOT 30930 SOS 13368 HAS SOPS 13293 HAS SOUS 7392 HAS SOUPS 7324 WITH SCORE 7337.368
AT ITER 812 NEW BEST:: SOT 30982 SOS 13416 HAS SOPS 13341 HAS SOUS 7386 HAS SOUPS 7318 WITH SCORE 7331.416
AT ITER 821 NEW BEST:: SOT 30962 SOS 13396 HAS SOPS 13321 HAS SOUS 7366 HAS SOUPS 7298 WITH SCORE 7311.396
AT ITER 837 NEW BEST:: SOT 30946 SOS 13380 HAS SOPS 13305 HAS SOUS 7340 HAS SOUPS 7272 WITH SCORE 7285.38
AT ITER 844 NEW BEST:: SOT 30760 SOS 13379 HAS SOPS 13304 HAS SOUS 7332 HAS SOUPS 7264 WITH SCORE 7277.379
AT ITER 848 NEW BEST:: SOT 30774 SOS 13198 HAS SOPS 13123 HAS SOUS 7290 HAS SOUPS 7222 WITH SCORE 7235.198
AT ITER 857 NEW BEST:: SOT 30751 SOS 13176 HAS SOPS 13101 HAS SOUS 7274 HAS SOUPS 7206 WITH SCORE 7219.176
AT ITER 865 NEW BEST:: SOT 30695 SOS 13021 HAS SOPS 12946 HAS SOUS 7257 HAS SOUPS 7189 WITH SCORE 7202.021
AT ITER 886 NEW BEST:: SOT 30801 SOS 13430 HAS SOPS 13355 HAS SOUS 7225 HAS SOUPS 7157 WITH SCORE 7170.43
AT ITER 889 NEW BEST:: SOT 30817 SOS 13322 HAS SOPS 13247 HAS SOUS 7189 HAS SOUPS 7121 WITH SCORE 7134.322
AT ITER 891 NEW BEST:: SOT 30809 SOS 13214 HAS SOPS 13139 HAS SOUS 7172 HAS SOUPS 7104 WITH SCORE 7117.214
AT ITER 894 NEW BEST:: SOT 30933 SOS 13196 HAS SOPS 13121 HAS SOUS 7155 HAS SOUPS 7087 WITH SCORE 7100.196
AT ITER 897 NEW BEST:: SOT 30933 SOS 13194 HAS SOPS 13117 HAS SOUS 7155 HAS SOUPS 7085 WITH SCORE 7098.194
AT ITER 899 NEW BEST:: SOT 30963 SOS 13184 HAS SOPS 13107 HAS SOUS 7146 HAS SOUPS 7076 WITH SCORE 7089.184
AT ITER 908 NEW BEST:: SOT 30963 SOS 13216 HAS SOPS 13139 HAS SOUS 7114 HAS SOUPS 7044 WITH SCORE 7057.216
AT ITER 909 NEW BEST:: SOT 30959 SOS 13072 HAS SOPS 12995 HAS SOUS 7099 HAS SOUPS 7029 WITH SCORE 7042.072
AT ITER 910 NEW BEST:: SOT 30969 SOS 13046 HAS SOPS 12974 HAS SOUS 7026 HAS SOUPS 6961 WITH SCORE 6974.046
AT ITER 911 NEW BEST:: SOT 30911 SOS 12993 HAS SOPS 12921 HAS SOUS 7006 HAS SOUPS 6941 WITH SCORE 6953.993
AT ITER 915 NEW BEST:: SOT 30709 SOS 13025 HAS SOPS 12984 HAS SOUS 6948 HAS SOUPS 6914 WITH SCORE 6927.025
AT ITER 928 NEW BEST:: SOT 30855 SOS 13171 HAS SOPS 13130 HAS SOUS 6920 HAS SOUPS 6886 WITH SCORE 6899.171
AT ITER 929 NEW BEST:: SOT 30851 SOS 13145 HAS SOPS 13104 HAS SOUS 6912 HAS SOUPS 6878 WITH SCORE 6891.145
AT ITER 940 NEW BEST:: SOT 30806 SOS 13116 HAS SOPS 13075 HAS SOUS 6867 HAS SOUPS 6833 WITH SCORE 6846.116
AT ITER 942 NEW BEST:: SOT 30806 SOS 13109 HAS SOPS 13068 HAS SOUS 6857 HAS SOUPS 6823 WITH SCORE 6836.109
AT ITER 953 NEW BEST:: SOT 30766 SOS 13068 HAS SOPS 13027 HAS SOUS 6823 HAS SOUPS 6789 WITH SCORE 6802.068
AT ITER 955 NEW BEST:: SOT 30763 SOS 13067 HAS SOPS 13028 HAS SOUS 6820 HAS SOUPS 6788 WITH SCORE 6801.067
AT ITER 962 NEW BEST:: SOT 30770 SOS 13074 HAS SOPS 13035 HAS SOUS 6819 HAS SOUPS 6787 WITH SCORE 6800.074
AT ITER 980 NEW BEST:: SOT 30756 SOS 13060 HAS SOPS 13021 HAS SOUS 6816 HAS SOUPS 6784 WITH SCORE 6797.06
AT ITER 981 NEW BEST:: SOT 30756 SOS 13121 HAS SOPS 13082 HAS SOUS 6784 HAS SOUPS 6752 WITH SCORE 6765.121
AT ITER 998 NEW BEST:: SOT 30744 SOS 13104 HAS SOPS 13065 HAS SOUS 6775 HAS SOUPS 6743 WITH SCORE 6756.104
AT ITER 1003 NEW BEST:: SOT 30593 SOS 13103 HAS SOPS 13064 HAS SOUS 6741 HAS SOUPS 6709 WITH SCORE 6722.103
AT ITER 1006 NEW BEST:: SOT 30577 SOS 13055 HAS SOPS 13014 HAS SOUS 6731 HAS SOUPS 6697 WITH SCORE 6710.055
AT ITER 1015 NEW BEST:: SOT 30596 SOS 13020 HAS SOPS 12979 HAS SOUS 6728 HAS SOUPS 6694 WITH SCORE 6707.02
AT ITER 1016 NEW BEST:: SOT 30596 SOS 13029 HAS SOPS 12988 HAS SOUS 6719 HAS SOUPS 6685 WITH SCORE 6698.029
AT ITER 1018 NEW BEST:: SOT 30598 SOS 13031 HAS SOPS 12990 HAS SOUS 6713 HAS SOUPS 6679 WITH SCORE 6692.031
AT ITER 1049 NEW BEST:: SOT 30628 SOS 12850 HAS SOPS 12809 HAS SOUS 6693 HAS SOUPS 6659 WITH SCORE 6671.85
AT ITER 1070 NEW BEST:: SOT 30611 SOS 12833 HAS SOPS 12792 HAS SOUS 6685 HAS SOUPS 6651 WITH SCORE 6663.833
AT ITER 1071 NEW BEST:: SOT 30565 SOS 12695 HAS SOPS 12654 HAS SOUS 6654 HAS SOUPS 6620 WITH SCORE 6632.695
AT ITER 1084 NEW BEST:: SOT 30555 SOS 12685 HAS SOPS 12644 HAS SOUS 6644 HAS SOUPS 6610 WITH SCORE 6622.685
AT ITER 1095 NEW BEST:: SOT 30546 SOS 12676 HAS SOPS 12635 HAS SOUS 6626 HAS SOUPS 6592 WITH SCORE 6604.676
AT ITER 1109 NEW BEST:: SOT 30526 SOS 12661 HAS SOPS 12620 HAS SOUS 6615 HAS SOUPS 6581 WITH SCORE 6593.661
AT ITER 1117 NEW BEST:: SOT 30522 SOS 12657 HAS SOPS 12616 HAS SOUS 6614 HAS SOUPS 6580 WITH SCORE 6592.657
AT ITER 1130 NEW BEST:: SOT 30533 SOS 12668 HAS SOPS 12627 HAS SOUS 6611 HAS SOUPS 6577 WITH SCORE 6589.668
AT ITER 1146 NEW BEST:: SOT 30593 SOS 12525 HAS SOPS 12484 HAS SOUS 6595 HAS SOUPS 6561 WITH SCORE 6573.525
AT ITER 1162 NEW BEST:: SOT 30584 SOS 12516 HAS SOPS 12475 HAS SOUS 6592 HAS SOUPS 6558 WITH SCORE 6570.516
AT ITER 1166 NEW BEST:: SOT 30549 SOS 12501 HAS SOPS 12460 HAS SOUS 6570 HAS SOUPS 6536 WITH SCORE 6548.501
AT ITER 1179 NEW BEST:: SOT 30499 SOS 12451 HAS SOPS 12410 HAS SOUS 6540 HAS SOUPS 6506 WITH SCORE 6518.451
AT ITER 1215 NEW BEST:: SOT 30418 SOS 12333 HAS SOPS 12292 HAS SOUS 6535 HAS SOUPS 6501 WITH SCORE 6513.333
AT ITER 1224 NEW BEST:: SOT 30378 SOS 12303 HAS SOPS 12252 HAS SOUS 6522 HAS SOUPS 6478 WITH SCORE 6490.303
AT ITER 1228 NEW BEST:: SOT 30368 SOS 12193 HAS SOPS 12142 HAS SOUS 6502 HAS SOUPS 6458 WITH SCORE 6470.193
AT ITER 1234 NEW BEST:: SOT 30364 SOS 12151 HAS SOPS 12100 HAS SOUS 6500 HAS SOUPS 6456 WITH SCORE 6468.151
AT ITER 1235 NEW BEST:: SOT 30364 SOS 12151 HAS SOPS 12100 HAS SOUS 6444 HAS SOUPS 6400 WITH SCORE 6412.151
AT ITER 1244 NEW BEST:: SOT 30392 SOS 12179 HAS SOPS 12128 HAS SOUS 6396 HAS SOUPS 6352 WITH SCORE 6364.179
AT ITER 1257 NEW BEST:: SOT 30378 SOS 12165 HAS SOPS 12114 HAS SOUS 6382 HAS SOUPS 6338 WITH SCORE 6350.165
AT ITER 1273 NEW BEST:: SOT 30225 SOS 11993 HAS SOPS 11977 HAS SOUS 6217 HAS SOUPS 6201 WITH SCORE 6212.993
AT ITER 1282 NEW BEST:: SOT 30210 SOS 11974 HAS SOPS 11958 HAS SOUS 6187 HAS SOUPS 6171 WITH SCORE 6182.974
AT ITER 1291 NEW BEST:: SOT 30194 SOS 11958 HAS SOPS 11942 HAS SOUS 6158 HAS SOUPS 6142 WITH SCORE 6153.958
AT ITER 1316 NEW BEST:: SOT 30174 SOS 11934 HAS SOPS 11921 HAS SOUS 6144 HAS SOUPS 6131 WITH SCORE 6142.934
AT ITER 1321 NEW BEST:: SOT 30173 SOS 11933 HAS SOPS 11920 HAS SOUS 6143 HAS SOUPS 6130 WITH SCORE 6141.933
AT ITER 1327 NEW BEST:: SOT 30177 SOS 11937 HAS SOPS 11924 HAS SOUS 6137 HAS SOUPS 6124 WITH SCORE 6135.937
AT ITER 1351 NEW BEST:: SOT 30175 SOS 11887 HAS SOPS 11874 HAS SOUS 6117 HAS SOUPS 6104 WITH SCORE 6115.887
AT ITER 1353 NEW BEST:: SOT 30307 SOS 11983 HAS SOPS 11970 HAS SOUS 6114 HAS SOUPS 6101 WITH SCORE 6112.983
AT ITER 1354 NEW BEST:: SOT 30307 SOS 11971 HAS SOPS 11958 HAS SOUS 6108 HAS SOUPS 6095 WITH SCORE 6106.971
AT ITER 1377 NEW BEST:: SOT 30272 SOS 12078 HAS SOPS 12065 HAS SOUS 6099 HAS SOUPS 6086 WITH SCORE 6098.078
AT ITER 1389 NEW BEST:: SOT 30284 SOS 12134 HAS SOPS 12121 HAS SOUS 6095 HAS SOUPS 6082 WITH SCORE 6094.134
AT ITER 1404 NEW BEST:: SOT 30282 SOS 12132 HAS SOPS 12119 HAS SOUS 6095 HAS SOUPS 6082 WITH SCORE 6094.132
AT ITER 1408 NEW BEST:: SOT 30293 SOS 12147 HAS SOPS 12134 HAS SOUS 6055 HAS SOUPS 6042 WITH SCORE 6054.147
AT ITER 1412 NEW BEST:: SOT 30249 SOS 12103 HAS SOPS 12090 HAS SOUS 6027 HAS SOUPS 6014 WITH SCORE 6026.103
AT ITER 1424 NEW BEST:: SOT 30268 SOS 11974 HAS SOPS 11961 HAS SOUS 6008 HAS SOUPS 5995 WITH SCORE 6006.974
AT ITER 1480 NEW BEST:: SOT 30260 SOS 11973 HAS SOPS 11953 HAS SOUS 6008 HAS SOUPS 5988 WITH SCORE 5999.973
AT ITER 1499 NEW BEST:: SOT 30256 SOS 11969 HAS SOPS 11949 HAS SOUS 6008 HAS SOUPS 5988 WITH SCORE 5999.969
AT ITER 1514 NEW BEST:: SOT 30223 SOS 11990 HAS SOPS 11970 HAS SOUS 6006 HAS SOUPS 5986 WITH SCORE 5997.99
AT ITER 1515 NEW BEST:: SOT 30180 SOS 11947 HAS SOPS 11927 HAS SOUS 5997 HAS SOUPS 5977 WITH SCORE 5988.947
AT ITER 1529 NEW BEST:: SOT 30244 SOS 11985 HAS SOPS 11965 HAS SOUS 5992 HAS SOUPS 5972 WITH SCORE 5983.985
AT ITER 1530 NEW BEST:: SOT 30236 SOS 11977 HAS SOPS 11957 HAS SOUS 5971 HAS SOUPS 5951 WITH SCORE 5962.977
AT ITER 1545 NEW BEST:: SOT 30236 SOS 11973 HAS SOPS 11953 HAS SOUS 5971 HAS SOUPS 5951 WITH SCORE 5962.973
AT ITER 1561 NEW BEST:: SOT 30185 SOS 11952 HAS SOPS 11932 HAS SOUS 5955 HAS SOUPS 5935 WITH SCORE 5946.952
AT ITER 1567 NEW BEST:: SOT 30181 SOS 11948 HAS SOPS 11928 HAS SOUS 5951 HAS SOUPS 5931 WITH SCORE 5942.948
AT ITER 1590 NEW BEST:: SOT 30139 SOS 11738 HAS SOPS 11718 HAS SOUS 5888 HAS SOUPS 5868 WITH SCORE 5879.738
AT ITER 1617 NEW BEST:: SOT 30138 SOS 11729 HAS SOPS 11709 HAS SOUS 5886 HAS SOUPS 5866 WITH SCORE 5877.729
AT ITER 1622 NEW BEST:: SOT 30136 SOS 11714 HAS SOPS 11694 HAS SOUS 5868 HAS SOUPS 5848 WITH SCORE 5859.714
AT ITER 1644 NEW BEST:: SOT 30134 SOS 11701 HAS SOPS 11681 HAS SOUS 5854 HAS SOUPS 5834 WITH SCORE 5845.701
AT ITER 1668 NEW BEST:: SOT 30119 SOS 11686 HAS SOPS 11666 HAS SOUS 5847 HAS SOUPS 5827 WITH SCORE 5838.686
AT ITER 1689 NEW BEST:: SOT 30109 SOS 11663 HAS SOPS 11643 HAS SOUS 5843 HAS SOUPS 5823 WITH SCORE 5834.663
AT ITER 1722 NEW BEST:: SOT 30103 SOS 11657 HAS SOPS 11637 HAS SOUS 5843 HAS SOUPS 5823 WITH SCORE 5834.657
AT ITER 1726 NEW BEST:: SOT 30074 SOS 11806 HAS SOPS 11786 HAS SOUS 5841 HAS SOUPS 5821 WITH SCORE 5832.806
AT ITER 1729 NEW BEST:: SOT 30074 SOS 11806 HAS SOPS 11786 HAS SOUS 5837 HAS SOUPS 5817 WITH SCORE 5828.806
AT ITER 1732 NEW BEST:: SOT 30074 SOS 11806 HAS SOPS 11786 HAS SOUS 5806 HAS SOUPS 5786 WITH SCORE 5797.806
AT ITER 1755 NEW BEST:: SOT 30064 SOS 11796 HAS SOPS 11776 HAS SOUS 5796 HAS SOUPS 5776 WITH SCORE 5787.796
AT ITER 1758 NEW BEST:: SOT 29879 SOS 11618 HAS SOPS 11598 HAS SOUS 5779 HAS SOUPS 5759 WITH SCORE 5770.618
AT ITER 1760 NEW BEST:: SOT 29916 SOS 11631 HAS SOPS 11611 HAS SOUS 5768 HAS SOUPS 5748 WITH SCORE 5759.631
AT ITER 1772 NEW BEST:: SOT 29885 SOS 11595 HAS SOPS 11575 HAS SOUS 5700 HAS SOUPS 5680 WITH SCORE 5691.595
AT ITER 1794 NEW BEST:: SOT 29849 SOS 11559 HAS SOPS 11539 HAS SOUS 5674 HAS SOUPS 5654 WITH SCORE 5665.559
AT ITER 1818 NEW BEST:: SOT 29844 SOS 11554 HAS SOPS 11534 HAS SOUS 5669 HAS SOUPS 5649 WITH SCORE 5660.554
AT ITER 1836 NEW BEST:: SOT 29843 SOS 11553 HAS SOPS 11533 HAS SOUS 5668 HAS SOUPS 5648 WITH SCORE 5659.553
AT ITER 1873 NEW BEST:: SOT 29813 SOS 11518 HAS SOPS 11498 HAS SOUS 5663 HAS SOUPS 5643 WITH SCORE 5654.518
AT ITER 1884 NEW BEST:: SOT 29811 SOS 11515 HAS SOPS 11495 HAS SOUS 5660 HAS SOUPS 5640 WITH SCORE 5651.515
AT ITER 1885 NEW BEST:: SOT 29805 SOS 11509 HAS SOPS 11489 HAS SOUS 5660 HAS SOUPS 5640 WITH SCORE 5651.509
AT ITER 1891 NEW BEST:: SOT 29815 SOS 11518 HAS SOPS 11499 HAS SOUS 5658 HAS SOUPS 5639 WITH SCORE 5650.518
AT ITER 1903 NEW BEST:: SOT 29809 SOS 11512 HAS SOPS 11493 HAS SOUS 5653 HAS SOUPS 5634 WITH SCORE 5645.512
AT ITER 1907 NEW BEST:: SOT 29803 SOS 11496 HAS SOPS 11477 HAS SOUS 5637 HAS SOUPS 5618 WITH SCORE 5629.496
AT ITER 1911 NEW BEST:: SOT 29803 SOS 11496 HAS SOPS 11477 HAS SOUS 5636 HAS SOUPS 5617 WITH SCORE 5628.496
AT ITER 1920 NEW BEST:: SOT 29808 SOS 11425 HAS SOPS 11406 HAS SOUS 5612 HAS SOUPS 5593 WITH SCORE 5604.425
AT ITER 1922 NEW BEST:: SOT 29752 SOS 11277 HAS SOPS 11258 HAS SOUS 5586 HAS SOUPS 5567 WITH SCORE 5578.277
AT ITER 1948 NEW BEST:: SOT 29712 SOS 11234 HAS SOPS 11215 HAS SOUS 5543 HAS SOUPS 5524 WITH SCORE 5535.234
AT ITER 1953 NEW BEST:: SOT 29708 SOS 11202 HAS SOPS 11183 HAS SOUS 5539 HAS SOUPS 5520 WITH SCORE 5531.202
AT ITER 1955 NEW BEST:: SOT 29698 SOS 11187 HAS SOPS 11168 HAS SOUS 5516 HAS SOUPS 5497 WITH SCORE 5508.187
AT ITER 1975 NEW BEST:: SOT 29689 SOS 11177 HAS SOPS 11158 HAS SOUS 5508 HAS SOUPS 5489 WITH SCORE 5500.177
AT ITER 1989 NEW BEST:: SOT 29680 SOS 11168 HAS SOPS 11149 HAS SOUS 5503 HAS SOUPS 5484 WITH SCORE 5495.168
AT ITER 1996 NEW BEST:: SOT 29678 SOS 11159 HAS SOPS 11139 HAS SOUS 5500 HAS SOUPS 5480 WITH SCORE 5491.159
AT ITER 2008 NEW BEST:: SOT 29674 SOS 11124 HAS SOPS 11104 HAS SOUS 5492 HAS SOUPS 5472 WITH SCORE 5483.124
AT ITER 2009 NEW BEST:: SOT 29613 SOS 11032 HAS SOPS 11012 HAS SOUS 5488 HAS SOUPS 5468 WITH SCORE 5479.032
AT ITER 2045 NEW BEST:: SOT 29613 SOS 11030 HAS SOPS 11010 HAS SOUS 5488 HAS SOUPS 5468 WITH SCORE 5479.03
AT ITER 2048 NEW BEST:: SOT 29595 SOS 10958 HAS SOPS 10938 HAS SOUS 5452 HAS SOUPS 5432 WITH SCORE 5442.958
AT ITER 2065 NEW BEST:: SOT 29592 SOS 10955 HAS SOPS 10935 HAS SOUS 5449 HAS SOUPS 5429 WITH SCORE 5439.955
AT ITER 2080 NEW BEST:: SOT 29554 SOS 11051 HAS SOPS 11031 HAS SOUS 5433 HAS SOUPS 5413 WITH SCORE 5424.051
AT ITER 2105 NEW BEST:: SOT 29558 SOS 11032 HAS SOPS 11012 HAS SOUS 5433 HAS SOUPS 5413 WITH SCORE 5424.032
AT ITER 2150 NEW BEST:: SOT 29589 SOS 10831 HAS SOPS 10811 HAS SOUS 5375 HAS SOUPS 5355 WITH SCORE 5365.831
AT ITER 2168 NEW BEST:: SOT 29596 SOS 10811 HAS SOPS 10786 HAS SOUS 5372 HAS SOUPS 5347 WITH SCORE 5357.811
AT ITER 2226 NEW BEST:: SOT 29603 SOS 10633 HAS SOPS 10608 HAS SOUS 5342 HAS SOUPS 5317 WITH SCORE 5327.633
AT ITER 2231 NEW BEST:: SOT 29645 SOS 10644 HAS SOPS 10606 HAS SOUS 5344 HAS SOUPS 5306 WITH SCORE 5316.644
AT ITER 2243 NEW BEST:: SOT 29681 SOS 10648 HAS SOPS 10610 HAS SOUS 5336 HAS SOUPS 5298 WITH SCORE 5308.648
AT ITER 2253 NEW BEST:: SOT 29678 SOS 10645 HAS SOPS 10607 HAS SOUS 5329 HAS SOUPS 5291 WITH SCORE 5301.645
AT ITER 2295 NEW BEST:: SOT 29678 SOS 10645 HAS SOPS 10607 HAS SOUS 5325 HAS SOUPS 5287 WITH SCORE 5297.645
AT ITER 2302 NEW BEST:: SOT 29673 SOS 10640 HAS SOPS 10602 HAS SOUS 5298 HAS SOUPS 5260 WITH SCORE 5270.64
AT ITER 2323 NEW BEST:: SOT 29674 SOS 10641 HAS SOPS 10603 HAS SOUS 5288 HAS SOUPS 5250 WITH SCORE 5260.641
AT ITER 2325 NEW BEST:: SOT 29674 SOS 10663 HAS SOPS 10625 HAS SOUS 5286 HAS SOUPS 5248 WITH SCORE 5258.663
AT ITER 2327 NEW BEST:: SOT 29695 SOS 10684 HAS SOPS 10646 HAS SOUS 5275 HAS SOUPS 5237 WITH SCORE 5247.684
AT ITER 2380 NEW BEST:: SOT 29688 SOS 10677 HAS SOPS 10639 HAS SOUS 5263 HAS SOUPS 5225 WITH SCORE 5235.677
AT ITER 2389 NEW BEST:: SOT 29676 SOS 10617 HAS SOPS 10579 HAS SOUS 5241 HAS SOUPS 5203 WITH SCORE 5213.617
AT ITER 2404 NEW BEST:: SOT 29664 SOS 10425 HAS SOPS 10387 HAS SOUS 5236 HAS SOUPS 5198 WITH SCORE 5208.425
AT ITER 2419 NEW BEST:: SOT 29650 SOS 10411 HAS SOPS 10373 HAS SOUS 5222 HAS SOUPS 5184 WITH SCORE 5194.411
AT ITER 2420 NEW BEST:: SOT 29645 SOS 10406 HAS SOPS 10368 HAS SOUS 5217 HAS SOUPS 5179 WITH SCORE 5189.406
AT ITER 2430 NEW BEST:: SOT 29637 SOS 10398 HAS SOPS 10360 HAS SOUS 5217 HAS SOUPS 5179 WITH SCORE 5189.398
AT ITER 2441 NEW BEST:: SOT 29637 SOS 10388 HAS SOPS 10360 HAS SOUS 5205 HAS SOUPS 5177 WITH SCORE 5187.388
AT ITER 2447 NEW BEST:: SOT 29629 SOS 10348 HAS SOPS 10320 HAS SOUS 5193 HAS SOUPS 5165 WITH SCORE 5175.348
AT ITER 2468 NEW BEST:: SOT 29592 SOS 10293 HAS SOPS 10265 HAS SOUS 5178 HAS SOUPS 5150 WITH SCORE 5160.293
AT ITER 2470 NEW BEST:: SOT 29585 SOS 10292 HAS SOPS 10258 HAS SOUS 5175 HAS SOUPS 5141 WITH SCORE 5151.292
AT ITER 2476 NEW BEST:: SOT 29573 SOS 10222 HAS SOPS 10188 HAS SOUS 5165 HAS SOUPS 5131 WITH SCORE 5141.222
AT ITER 2477 NEW BEST:: SOT 29570 SOS 10219 HAS SOPS 10185 HAS SOUS 5159 HAS SOUPS 5125 WITH SCORE 5135.219
AT ITER 2495 NEW BEST:: SOT 29570 SOS 10218 HAS SOPS 10184 HAS SOUS 5158 HAS SOUPS 5124 WITH SCORE 5134.218
AT ITER 2505 NEW BEST:: SOT 29569 SOS 10217 HAS SOPS 10183 HAS SOUS 5155 HAS SOUPS 5121 WITH SCORE 5131.217
AT ITER 2522 NEW BEST:: SOT 29556 SOS 10204 HAS SOPS 10170 HAS SOUS 5129 HAS SOUPS 5095 WITH SCORE 5105.204
AT ITER 2525 NEW BEST:: SOT 29559 SOS 10207 HAS SOPS 10173 HAS SOUS 5126 HAS SOUPS 5092 WITH SCORE 5102.207
AT ITER 2540 NEW BEST:: SOT 29555 SOS 10203 HAS SOPS 10169 HAS SOUS 5119 HAS SOUPS 5085 WITH SCORE 5095.203
AT ITER 2559 NEW BEST:: SOT 29532 SOS 10167 HAS SOPS 10133 HAS SOUS 5111 HAS SOUPS 5077 WITH SCORE 5087.167
AT ITER 2586 NEW BEST:: SOT 29531 SOS 10166 HAS SOPS 10132 HAS SOUS 5110 HAS SOUPS 5076 WITH SCORE 5086.166
AT ITER 2624 NEW BEST:: SOT 29534 SOS 10169 HAS SOPS 10135 HAS SOUS 5106 HAS SOUPS 5072 WITH SCORE 5082.169
AT ITER 2625 NEW BEST:: SOT 29526 SOS 10151 HAS SOPS 10116 HAS SOUS 5101 HAS SOUPS 5066 WITH SCORE 5076.151
AT ITER 2633 NEW BEST:: SOT 29522 SOS 10115 HAS SOPS 10080 HAS SOUS 5097 HAS SOUPS 5062 WITH SCORE 5072.115
AT ITER 2689 NEW BEST:: SOT 29521 SOS 10097 HAS SOPS 10062 HAS SOUS 5096 HAS SOUPS 5061 WITH SCORE 5071.097
AT ITER 2694 NEW BEST:: SOT 29505 SOS 10070 HAS SOPS 9987 HAS SOUS 5115 HAS SOUPS 5032 WITH SCORE 5042.07
AT ITER 2699 NEW BEST:: SOT 29495 SOS 10060 HAS SOPS 9977 HAS SOUS 5100 HAS SOUPS 5017 WITH SCORE 5027.06
AT ITER 2701 NEW BEST:: SOT 29493 SOS 10058 HAS SOPS 9975 HAS SOUS 5096 HAS SOUPS 5013 WITH SCORE 5023.058
AT ITER 2732 NEW BEST:: SOT 29533 SOS 10033 HAS SOPS 9943 HAS SOUS 5096 HAS SOUPS 5006 WITH SCORE 5016.033
AT ITER 2733 NEW BEST:: SOT 29518 SOS 9978 HAS SOPS 9880 HAS SOUS 5081 HAS SOUPS 4983 WITH SCORE 4992.978
AT ITER 2742 NEW BEST:: SOT 29517 SOS 9976 HAS SOPS 9878 HAS SOUS 5079 HAS SOUPS 4981 WITH SCORE 4990.976
AT ITER 2745 NEW BEST:: SOT 29511 SOS 9970 HAS SOPS 9872 HAS SOUS 5070 HAS SOUPS 4972 WITH SCORE 4981.97
AT ITER 2752 NEW BEST:: SOT 29508 SOS 9967 HAS SOPS 9869 HAS SOUS 5070 HAS SOUPS 4972 WITH SCORE 4981.967
AT ITER 2755 NEW BEST:: SOT 29501 SOS 9958 HAS SOPS 9860 HAS SOUS 5068 HAS SOUPS 4970 WITH SCORE 4979.958
AT ITER 2766 NEW BEST:: SOT 29485 SOS 9924 HAS SOPS 9826 HAS SOUS 5061 HAS SOUPS 4963 WITH SCORE 4972.924
AT ITER 2783 NEW BEST:: SOT 29485 SOS 9906 HAS SOPS 9808 HAS SOUS 5061 HAS SOUPS 4963 WITH SCORE 4972.906
AT ITER 2815 NEW BEST:: SOT 29479 SOS 9900 HAS SOPS 9802 HAS SOUS 5055 HAS SOUPS 4957 WITH SCORE 4966.9
AT ITER 2821 NEW BEST:: SOT 29471 SOS 9942 HAS SOPS 9846 HAS SOUS 5050 HAS SOUPS 4954 WITH SCORE 4963.942
AT ITER 2832 NEW BEST:: SOT 29465 SOS 9936 HAS SOPS 9840 HAS SOUS 5047 HAS SOUPS 4951 WITH SCORE 4960.936
AT ITER 2846 NEW BEST:: SOT 29455 SOS 9921 HAS SOPS 9825 HAS SOUS 5027 HAS SOUPS 4931 WITH SCORE 4940.921
AT ITER 2853 NEW BEST:: SOT 29449 SOS 9917 HAS SOPS 9821 HAS SOUS 5025 HAS SOUPS 4929 WITH SCORE 4938.917
AT ITER 2858 NEW BEST:: SOT 29447 SOS 9708 HAS SOPS 9612 HAS SOUS 4975 HAS SOUPS 4879 WITH SCORE 4888.708
AT ITER 2866 NEW BEST:: SOT 29455 SOS 9716 HAS SOPS 9620 HAS SOUS 4973 HAS SOUPS 4877 WITH SCORE 4886.716
AT ITER 2873 NEW BEST:: SOT 29457 SOS 9715 HAS SOPS 9619 HAS SOUS 4973 HAS SOUPS 4877 WITH SCORE 4886.715
AT ITER 2883 NEW BEST:: SOT 29457 SOS 9715 HAS SOPS 9619 HAS SOUS 4966 HAS SOUPS 4870 WITH SCORE 4879.715
AT ITER 2932 NEW BEST:: SOT 29442 SOS 9620 HAS SOPS 9524 HAS SOUS 4943 HAS SOUPS 4847 WITH SCORE 4856.62
AT ITER 2939 NEW BEST:: SOT 29447 SOS 9605 HAS SOPS 9505 HAS SOUS 4924 HAS SOUPS 4824 WITH SCORE 4833.605
AT ITER 2978 NEW BEST:: SOT 29396 SOS 9532 HAS SOPS 9454 HAS SOUS 4880 HAS SOUPS 4802 WITH SCORE 4811.532
AT ITER 3001 NEW BEST:: SOT 29400 SOS 9536 HAS SOPS 9458 HAS SOUS 4855 HAS SOUPS 4777 WITH SCORE 4786.536
AT ITER 3052 NEW BEST:: SOT 29401 SOS 9532 HAS SOPS 9453 HAS SOUS 4854 HAS SOUPS 4775 WITH SCORE 4784.532
AT ITER 3105 NEW BEST:: SOT 29432 SOS 9531 HAS SOPS 9452 HAS SOUS 4853 HAS SOUPS 4774 WITH SCORE 4783.531
AT ITER 3117 NEW BEST:: SOT 29434 SOS 9505 HAS SOPS 9426 HAS SOUS 4847 HAS SOUPS 4768 WITH SCORE 4777.505
AT ITER 3118 NEW BEST:: SOT 29434 SOS 9401 HAS SOPS 9322 HAS SOUS 4842 HAS SOUPS 4763 WITH SCORE 4772.401
AT ITER 3124 NEW BEST:: SOT 29426 SOS 9393 HAS SOPS 9314 HAS SOUS 4838 HAS SOUPS 4759 WITH SCORE 4768.393
AT ITER 3153 NEW BEST:: SOT 29426 SOS 9393 HAS SOPS 9312 HAS SOUS 4836 HAS SOUPS 4755 WITH SCORE 4764.393
AT ITER 3176 NEW BEST:: SOT 29434 SOS 9377 HAS SOPS 9296 HAS SOUS 4832 HAS SOUPS 4751 WITH SCORE 4760.377
AT ITER 3242 NEW BEST:: SOT 29434 SOS 9377 HAS SOPS 9296 HAS SOUS 4818 HAS SOUPS 4737 WITH SCORE 4746.377
AT ITER 3246 NEW BEST:: SOT 29443 SOS 9371 HAS SOPS 9290 HAS SOUS 4818 HAS SOUPS 4737 WITH SCORE 4746.371
AT ITER 3250 NEW BEST:: SOT 29436 SOS 9364 HAS SOPS 9283 HAS SOUS 4817 HAS SOUPS 4736 WITH SCORE 4745.364
AT ITER 3270 NEW BEST:: SOT 29430 SOS 9344 HAS SOPS 9263 HAS SOUS 4808 HAS SOUPS 4727 WITH SCORE 4736.344
AT ITER 3303 NEW BEST:: SOT 29430 SOS 9342 HAS SOPS 9261 HAS SOUS 4808 HAS SOUPS 4727 WITH SCORE 4736.342
AT ITER 3334 NEW BEST:: SOT 29444 SOS 9338 HAS SOPS 9257 HAS SOUS 4795 HAS SOUPS 4714 WITH SCORE 4723.338
AT ITER 3421 NEW BEST:: SOT 29422 SOS 9276 HAS SOPS 9195 HAS SOUS 4781 HAS SOUPS 4700 WITH SCORE 4709.276
AT ITER 3444 NEW BEST:: SOT 29443 SOS 9283 HAS SOPS 9202 HAS SOUS 4777 HAS SOUPS 4696 WITH SCORE 4705.283
AT ITER 3451 NEW BEST:: SOT 29434 SOS 9253 HAS SOPS 9172 HAS SOUS 4774 HAS SOUPS 4693 WITH SCORE 4702.253
AT ITER 3455 NEW BEST:: SOT 29440 SOS 9244 HAS SOPS 9163 HAS SOUS 4772 HAS SOUPS 4691 WITH SCORE 4700.244
AT ITER 3460 NEW BEST:: SOT 29440 SOS 9244 HAS SOPS 9163 HAS SOUS 4765 HAS SOUPS 4684 WITH SCORE 4693.244
AT ITER 3469 NEW BEST:: SOT 29433 SOS 9235 HAS SOPS 9154 HAS SOUS 4761 HAS SOUPS 4680 WITH SCORE 4689.235
AT ITER 3480 NEW BEST:: SOT 29463 SOS 9246 HAS SOPS 9165 HAS SOUS 4749 HAS SOUPS 4668 WITH SCORE 4677.246
AT ITER 3536 NEW BEST:: SOT 29436 SOS 9227 HAS SOPS 9146 HAS SOUS 4738 HAS SOUPS 4657 WITH SCORE 4666.227
AT ITER 3545 NEW BEST:: SOT 29455 SOS 9145 HAS SOPS 9064 HAS SOUS 4731 HAS SOUPS 4650 WITH SCORE 4659.145
AT ITER 3559 NEW BEST:: SOT 29455 SOS 9145 HAS SOPS 9064 HAS SOUS 4730 HAS SOUPS 4649 WITH SCORE 4658.145
AT ITER 3576 NEW BEST:: SOT 29456 SOS 9139 HAS SOPS 9065 HAS SOUS 4715 HAS SOUPS 4641 WITH SCORE 4650.139
AT ITER 3654 NEW BEST:: SOT 29449 SOS 9132 HAS SOPS 9058 HAS SOUS 4714 HAS SOUPS 4640 WITH SCORE 4649.132
AT ITER 3721 NEW BEST:: SOT 29458 SOS 9129 HAS SOPS 9055 HAS SOUS 4714 HAS SOUPS 4640 WITH SCORE 4649.129
AT ITER 3829 NEW BEST:: SOT 29421 SOS 9092 HAS SOPS 9018 HAS SOUS 4705 HAS SOUPS 4631 WITH SCORE 4640.092
AT ITER 3839 NEW BEST:: SOT 29260 SOS 8915 HAS SOPS 8841 HAS SOUS 4635 HAS SOUPS 4561 WITH SCORE 4569.915
AT ITER 3858 NEW BEST:: SOT 29260 SOS 8915 HAS SOPS 8841 HAS SOUS 4634 HAS SOUPS 4560 WITH SCORE 4568.915
AT ITER 3877 NEW BEST:: SOT 29260 SOS 8911 HAS SOPS 8837 HAS SOUS 4633 HAS SOUPS 4559 WITH SCORE 4567.911
AT ITER 3891 NEW BEST:: SOT 29253 SOS 8909 HAS SOPS 8835 HAS SOUS 4621 HAS SOUPS 4547 WITH SCORE 4555.909
AT ITER 3926 NEW BEST:: SOT 29257 SOS 8904 HAS SOPS 8830 HAS SOUS 4611 HAS SOUPS 4537 WITH SCORE 4545.904
AT ITER 3963 NEW BEST:: SOT 29254 SOS 8901 HAS SOPS 8827 HAS SOUS 4605 HAS SOUPS 4531 WITH SCORE 4539.901
AT ITER 3967 NEW BEST:: SOT 29229 SOS 8794 HAS SOPS 8720 HAS SOUS 4583 HAS SOUPS 4509 WITH SCORE 4517.794
AT ITER 4028 NEW BEST:: SOT 29227 SOS 8781 HAS SOPS 8707 HAS SOUS 4571 HAS SOUPS 4497 WITH SCORE 4505.781
AT ITER 4187 NEW BEST:: SOT 29223 SOS 8777 HAS SOPS 8703 HAS SOUS 4567 HAS SOUPS 4493 WITH SCORE 4501.777
AT ITER 4215 NEW BEST:: SOT 29221 SOS 8776 HAS SOPS 8702 HAS SOUS 4564 HAS SOUPS 4490 WITH SCORE 4498.776
AT ITER 4251 NEW BEST:: SOT 29221 SOS 8776 HAS SOPS 8702 HAS SOUS 4536 HAS SOUPS 4462 WITH SCORE 4470.776
AT ITER 4270 NEW BEST:: SOT 29221 SOS 8762 HAS SOPS 8703 HAS SOUS 4520 HAS SOUPS 4461 WITH SCORE 4469.762
AT ITER 4287 NEW BEST:: SOT 29218 SOS 8735 HAS SOPS 8676 HAS SOUS 4513 HAS SOUPS 4454 WITH SCORE 4462.735
AT ITER 4302 NEW BEST:: SOT 29218 SOS 8735 HAS SOPS 8676 HAS SOUS 4511 HAS SOUPS 4452 WITH SCORE 4460.735
AT ITER 4331 NEW BEST:: SOT 29207 SOS 8720 HAS SOPS 8661 HAS SOUS 4500 HAS SOUPS 4441 WITH SCORE 4449.72
AT ITER 4372 NEW BEST:: SOT 29202 SOS 8699 HAS SOPS 8640 HAS SOUS 4495 HAS SOUPS 4436 WITH SCORE 4444.699
AT ITER 4375 NEW BEST:: SOT 29200 SOS 8689 HAS SOPS 8630 HAS SOUS 4492 HAS SOUPS 4433 WITH SCORE 4441.689
AT ITER 4456 NEW BEST:: SOT 29196 SOS 8665 HAS SOPS 8606 HAS SOUS 4488 HAS SOUPS 4429 WITH SCORE 4437.665
AT ITER 4479 NEW BEST:: SOT 29208 SOS 8663 HAS SOPS 8604 HAS SOUS 4487 HAS SOUPS 4428 WITH SCORE 4436.663
AT ITER 4487 NEW BEST:: SOT 29178 SOS 8660 HAS SOPS 8601 HAS SOUS 4479 HAS SOUPS 4420 WITH SCORE 4428.66
AT ITER 4610 NEW BEST:: SOT 29178 SOS 8621 HAS SOPS 8562 HAS SOUS 4401 HAS SOUPS 4342 WITH SCORE 4350.621
AT ITER 4681 NEW BEST:: SOT 29173 SOS 8616 HAS SOPS 8557 HAS SOUS 4396 HAS SOUPS 4337 WITH SCORE 4345.616
AT ITER 4702 NEW BEST:: SOT 29173 SOS 8616 HAS SOPS 8557 HAS SOUS 4394 HAS SOUPS 4335 WITH SCORE 4343.616
AT ITER 4726 NEW BEST:: SOT 29167 SOS 8616 HAS SOPS 8557 HAS SOUS 4378 HAS SOUPS 4319 WITH SCORE 4327.616
AT ITER 4728 NEW BEST:: SOT 29160 SOS 8587 HAS SOPS 8528 HAS SOUS 4366 HAS SOUPS 4307 WITH SCORE 4315.587
AT ITER 4804 NEW BEST:: SOT 29150 SOS 8581 HAS SOPS 8522 HAS SOUS 4362 HAS SOUPS 4303 WITH SCORE 4311.581
AT ITER 4829 NEW BEST:: SOT 29145 SOS 8560 HAS SOPS 8501 HAS SOUS 4352 HAS SOUPS 4293 WITH SCORE 4301.56
AT ITER 4923 NEW BEST:: SOT 29135 SOS 8550 HAS SOPS 8491 HAS SOUS 4352 HAS SOUPS 4293 WITH SCORE 4301.55
Bounds file is: CTLFireability.xml
PROPERTY: NoC3x3-PT-1A-CTLFireability-00 (EG( (EF( ( ( ((potential((tk(P137)>=1)))) | ((potential((tk(P109)>=1)))) ) & ((potential((tk(P113)>=1)))) )))))
PROPERTY: NoC3x3-PT-1A-CTLFireability-01 (EF( (EG( ((potential((tk(P76)>=1))))))))
PROPERTY: NoC3x3-PT-1A-CTLFireability-02 (AG( (EF( (EF( ((potential((tk(P123)>=1) & (tk(P159)>=1))))))))))
PROPERTY: NoC3x3-PT-1A-CTLFireability-03 (EF( ( ((potential((tk(P105)>=1) & (tk(P109)>=1)))) & (! ((potential((tk(P31)>=1) & (tk(P46)>=1))))) )))
PROPERTY: NoC3x3-PT-1A-CTLFireability-04 (! ( (EU( (! ((potential((tk(P98)>=1) & (tk(P110)>=1))))) , ((potential((tk(P108)>=1) & (tk(P152)>=1)))) )) | ( (AU( ((potential((tk(P164)>=1)))) , ((potential((tk(P48)>=1) & (tk(P77)>=1)))) )) & (! (EX( ((potential((tk(P107)>=1))))))) ) ))
PROPERTY: NoC3x3-PT-1A-CTLFireability-05 (EU( (! ( ( ((potential((tk(P31)>=1) & (tk(P46)>=1)))) | ((potential((tk(P16)>=1)))) ) | ( ((potential((tk(P110)>=1)))) & ((potential((tk(P98)>=1) & (tk(P110)>=1)))) ) )) , (! (! ( ((potential((tk(P17)>=1) & (tk(P63)>=1)))) & ((potential((tk(P40)>=1)))) ))) ))
PROPERTY: NoC3x3-PT-1A-CTLFireability-06 ( ((potential((tk(P112)>=1)))) | (AU( ( (! ((potential((tk(P80)>=1))))) | (! ((potential((tk(P41)>=1) & (tk(P103)>=1))))) ) , (EF( ((potential((tk(P42)>=1)))))) )) )
PROPERTY: NoC3x3-PT-1A-CTLFireability-07 (EF( ((potential((tk(P53)>=1) & (tk(P74)>=1))))))
PROPERTY: NoC3x3-PT-1A-CTLFireability-08 (EX( ( ( (EF( ((potential((tk(P12)>=1) & (tk(P16)>=1)))))) | (AG( ((potential((tk(P140)>=1)))))) ) | ((potential((tk(P64)>=1) & (tk(P70)>=1)))) )))
PROPERTY: NoC3x3-PT-1A-CTLFireability-09 ( (AX( (! (! (! ((potential((tk(P121)>=1) & (tk(P134)>=1))))))))) & (EG( (EF( ((potential((tk(P72)>=1) & (tk(P128)>=1)))))))) )
PROPERTY: NoC3x3-PT-1A-CTLFireability-10 (EF( ( ((potential((tk(P3)>=1) & (tk(P19)>=1)))) & ( (EX( ((potential((tk(P160)>=1)))))) | ( ( ((potential((tk(P42)>=1)))) | ((potential((tk(P142)>=1) & (tk(P158)>=1)))) ) | ( ((potential((tk(P7)>=1) & (tk(P19)>=1)))) & ((potential((tk(P106)>=1)))) ) ) ) )))
PROPERTY: NoC3x3-PT-1A-CTLFireability-11 (AG( ( (! (EX( ((potential((tk(P51)>=1) & (tk(P138)>=1))))))) | (! (AG( ((potential((tk(P121)>=1) & (tk(P134)>=1))))))) )))
PROPERTY: NoC3x3-PT-1A-CTLFireability-12 ( (EX( (EF( ( ((potential((tk(P164)>=1)))) & ((potential((tk(P7)>=1) & (tk(P19)>=1)))) ))))) | (AU( (EF( ((potential((tk(P163)>=1)))))) , ( ( ((potential((tk(P51)>=1) & (tk(P138)>=1)))) & ((potential((tk(P52)>=1) & (tk(P76)>=1)))) ) | ( ((potential((tk(P19)>=1)))) | ((potential((tk(P135)>=1) & (tk(P143)>=1)))) ) ) )) )
PROPERTY: NoC3x3-PT-1A-CTLFireability-13 (EG( ( (! ( (! ((potential((tk(P148)>=1) & (tk(P163)>=1))))) & ( ((potential((tk(P139)>=1)))) & ((potential((tk(P116)>=1)))) ) )) & (EF( ((potential((tk(P106)>=1)))))) )))
PROPERTY: NoC3x3-PT-1A-CTLFireability-14 ( ( ( (AX( ( ((potential((tk(P43)>=1)))) & ((potential((tk(P31)>=1) & (tk(P40)>=1)))) ))) & ( ( ( ((potential((tk(P62)>=1) & (tk(P80)>=1)))) & ((potential((tk(P82)>=1) & (tk(P113)>=1)))) ) & (! ((potential((tk(P113)>=1))))) ) & (! (! ((potential((tk(P153)>=1) & (tk(P160)>=1)))))) ) ) & ((potential((tk(P45)>=1)))) ) | (EF( (EF( ((potential((tk(P109)>=1)))))))) )
PROPERTY: NoC3x3-PT-1A-CTLFireability-15 ( (EF( ( (EX( ((potential((tk(P125)>=1) & (tk(P134)>=1)))))) & (! (! ((potential((tk(P134)>=1)))))) ))) | (AU( (EG( ((potential((tk(P10)>=1) & (tk(P16)>=1)))))) , (AF( ((potential((tk(P74)>=1)))))) )) )

BK_STOP 1589643872429

--------------------
content from stderr:

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 371 Aborted ${SMART} ${INPUT_SM}

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="NoC3x3-PT-1A"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is NoC3x3-PT-1A, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r108-csrt-158961250400332"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-1A.tgz
mv NoC3x3-PT-1A execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;