Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r153-oct2-158972910000267.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 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 RwMutex-PT-r0010w0100, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r153-oct2-158972910000267
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 344K
-rw-r--r-- 1 mcc users 3.7K Apr 12 11:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 12 11:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 11 12:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 11 12:09 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 14 12:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 14 12:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Apr 10 16:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 10 16:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 9 23:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 9 23:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 11 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 172K Mar 24 05:38 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 RwMutex-PT-r0010w0100-CTLCardinality-00
FORMULA_NAME RwMutex-PT-r0010w0100-CTLCardinality-01
FORMULA_NAME RwMutex-PT-r0010w0100-CTLCardinality-02
FORMULA_NAME RwMutex-PT-r0010w0100-CTLCardinality-03
FORMULA_NAME RwMutex-PT-r0010w0100-CTLCardinality-04
FORMULA_NAME RwMutex-PT-r0010w0100-CTLCardinality-05
FORMULA_NAME RwMutex-PT-r0010w0100-CTLCardinality-06
FORMULA_NAME RwMutex-PT-r0010w0100-CTLCardinality-07
FORMULA_NAME RwMutex-PT-r0010w0100-CTLCardinality-08
FORMULA_NAME RwMutex-PT-r0010w0100-CTLCardinality-09
FORMULA_NAME RwMutex-PT-r0010w0100-CTLCardinality-10
FORMULA_NAME RwMutex-PT-r0010w0100-CTLCardinality-11
FORMULA_NAME RwMutex-PT-r0010w0100-CTLCardinality-12
FORMULA_NAME RwMutex-PT-r0010w0100-CTLCardinality-13
FORMULA_NAME RwMutex-PT-r0010w0100-CTLCardinality-14
FORMULA_NAME RwMutex-PT-r0010w0100-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589742657936

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RwMutex (PT), instance r0010w0100
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: 230 places, 220 transitions, 2460 arcs.
AT ITER 0 NEW BEST:: SOT 50074 SOS 37866 HAS SOPS 37866 HAS SOUS 37866 HAS SOUPS 37866 WITH SCORE 37903.866
AT ITER 4 NEW BEST:: SOT 50074 SOS 37784 HAS SOPS 37784 HAS SOUS 37784 HAS SOUPS 37784 WITH SCORE 37821.784
AT ITER 7 NEW BEST:: SOT 50074 SOS 37620 HAS SOPS 37620 HAS SOUS 37620 HAS SOUPS 37620 WITH SCORE 37657.62
AT ITER 9 NEW BEST:: SOT 50074 SOS 37452 HAS SOPS 37452 HAS SOUS 37452 HAS SOUPS 37452 WITH SCORE 37489.452
AT ITER 10 NEW BEST:: SOT 50074 SOS 37280 HAS SOPS 37280 HAS SOUS 37280 HAS SOUPS 37280 WITH SCORE 37317.28
AT ITER 13 NEW BEST:: SOT 50074 SOS 37064 HAS SOPS 37064 HAS SOUS 37064 HAS SOUPS 37064 WITH SCORE 37101.064
AT ITER 16 NEW BEST:: SOT 50074 SOS 36872 HAS SOPS 36872 HAS SOUS 36872 HAS SOUPS 36872 WITH SCORE 36908.872
AT ITER 21 NEW BEST:: SOT 50074 SOS 36652 HAS SOPS 36652 HAS SOUS 36652 HAS SOUPS 36652 WITH SCORE 36688.652
AT ITER 22 NEW BEST:: SOT 50074 SOS 36444 HAS SOPS 36444 HAS SOUS 36444 HAS SOUPS 36444 WITH SCORE 36480.444
AT ITER 24 NEW BEST:: SOT 50074 SOS 36226 HAS SOPS 36226 HAS SOUS 36226 HAS SOUPS 36226 WITH SCORE 36262.226
AT ITER 30 NEW BEST:: SOT 50074 SOS 36002 HAS SOPS 36002 HAS SOUS 36002 HAS SOUPS 36002 WITH SCORE 36038.002
AT ITER 32 NEW BEST:: SOT 50074 SOS 35786 HAS SOPS 35786 HAS SOUS 35786 HAS SOUPS 35786 WITH SCORE 35821.786
AT ITER 33 NEW BEST:: SOT 50074 SOS 35762 HAS SOPS 35762 HAS SOUS 35762 HAS SOUPS 35762 WITH SCORE 35797.762
AT ITER 34 NEW BEST:: SOT 50074 SOS 35738 HAS SOPS 35738 HAS SOUS 35738 HAS SOUPS 35738 WITH SCORE 35773.738
AT ITER 35 NEW BEST:: SOT 50074 SOS 35710 HAS SOPS 35710 HAS SOUS 35710 HAS SOUPS 35710 WITH SCORE 35745.71
AT ITER 36 NEW BEST:: SOT 49858 SOS 35742 HAS SOPS 35742 HAS SOUS 35626 HAS SOUPS 35626 WITH SCORE 35661.742
AT ITER 38 NEW BEST:: SOT 49858 SOS 35544 HAS SOPS 35544 HAS SOUS 35428 HAS SOUPS 35428 WITH SCORE 35463.544
AT ITER 40 NEW BEST:: SOT 49858 SOS 35424 HAS SOPS 35424 HAS SOUS 35254 HAS SOUPS 35254 WITH SCORE 35289.424
AT ITER 45 NEW BEST:: SOT 49858 SOS 35298 HAS SOPS 35298 HAS SOUS 35122 HAS SOUPS 35122 WITH SCORE 35157.298
AT ITER 46 NEW BEST:: SOT 49728 SOS 35090 HAS SOPS 35090 HAS SOUS 34914 HAS SOUPS 34914 WITH SCORE 34949.09
AT ITER 47 NEW BEST:: SOT 49728 SOS 35114 HAS SOPS 35114 HAS SOUS 34836 HAS SOUPS 34836 WITH SCORE 34871.114
AT ITER 51 NEW BEST:: SOT 49728 SOS 35020 HAS SOPS 35020 HAS SOUS 34742 HAS SOUPS 34742 WITH SCORE 34777.02
AT ITER 56 NEW BEST:: SOT 49728 SOS 35008 HAS SOPS 35008 HAS SOUS 34730 HAS SOUPS 34730 WITH SCORE 34765.008
AT ITER 57 NEW BEST:: SOT 49728 SOS 34772 HAS SOPS 34772 HAS SOUS 34494 HAS SOUPS 34494 WITH SCORE 34528.772
AT ITER 59 NEW BEST:: SOT 49728 SOS 34766 HAS SOPS 34766 HAS SOUS 34488 HAS SOUPS 34488 WITH SCORE 34522.766
AT ITER 62 NEW BEST:: SOT 49728 SOS 34742 HAS SOPS 34742 HAS SOUS 34464 HAS SOUPS 34464 WITH SCORE 34498.742
AT ITER 64 NEW BEST:: SOT 49728 SOS 34716 HAS SOPS 34716 HAS SOUS 34438 HAS SOUPS 34438 WITH SCORE 34472.716
AT ITER 67 NEW BEST:: SOT 49728 SOS 34592 HAS SOPS 34592 HAS SOUS 34230 HAS SOUPS 34230 WITH SCORE 34264.592
AT ITER 68 NEW BEST:: SOT 49728 SOS 34540 HAS SOPS 34540 HAS SOUS 34084 HAS SOUPS 34084 WITH SCORE 34118.54
AT ITER 71 NEW BEST:: SOT 49728 SOS 34352 HAS SOPS 34352 HAS SOUS 33896 HAS SOUPS 33896 WITH SCORE 33930.352
AT ITER 72 NEW BEST:: SOT 49728 SOS 34222 HAS SOPS 34222 HAS SOUS 33766 HAS SOUPS 33766 WITH SCORE 33800.222
AT ITER 74 NEW BEST:: SOT 49728 SOS 34006 HAS SOPS 34006 HAS SOUS 33550 HAS SOUPS 33550 WITH SCORE 33584.006
AT ITER 75 NEW BEST:: SOT 49728 SOS 33950 HAS SOPS 33950 HAS SOUS 33480 HAS SOUPS 33480 WITH SCORE 33513.95
AT ITER 76 NEW BEST:: SOT 49728 SOS 33816 HAS SOPS 33816 HAS SOUS 33276 HAS SOUPS 33276 WITH SCORE 33309.816
AT ITER 79 NEW BEST:: SOT 49708 SOS 38128 HAS SOPS 38128 HAS SOUS 33216 HAS SOUPS 33216 WITH SCORE 33254.128
AT ITER 83 NEW BEST:: SOT 49708 SOS 38204 HAS SOPS 38204 HAS SOUS 33192 HAS SOUPS 33192 WITH SCORE 33230.204
AT ITER 84 NEW BEST:: SOT 49708 SOS 38204 HAS SOPS 38204 HAS SOUS 33102 HAS SOUPS 33102 WITH SCORE 33140.204
AT ITER 87 NEW BEST:: SOT 49708 SOS 38194 HAS SOPS 38194 HAS SOUS 33092 HAS SOUPS 33092 WITH SCORE 33130.194
AT ITER 91 NEW BEST:: SOT 49708 SOS 38190 HAS SOPS 38190 HAS SOUS 32874 HAS SOUPS 32874 WITH SCORE 32912.19
AT ITER 93 NEW BEST:: SOT 49590 SOS 38072 HAS SOPS 38072 HAS SOUS 32756 HAS SOUPS 32756 WITH SCORE 32794.072
AT ITER 97 NEW BEST:: SOT 49590 SOS 38072 HAS SOPS 38072 HAS SOUS 32726 HAS SOUPS 32726 WITH SCORE 32764.072
AT ITER 100 NEW BEST:: SOT 49590 SOS 38066 HAS SOPS 38066 HAS SOUS 32602 HAS SOUPS 32602 WITH SCORE 32640.066
AT ITER 102 NEW BEST:: SOT 49590 SOS 38046 HAS SOPS 38046 HAS SOUS 32420 HAS SOUPS 32420 WITH SCORE 32458.046
AT ITER 104 NEW BEST:: SOT 49590 SOS 38046 HAS SOPS 38046 HAS SOUS 32416 HAS SOUPS 32416 WITH SCORE 32454.046
AT ITER 105 NEW BEST:: SOT 49590 SOS 37980 HAS SOPS 37980 HAS SOUS 32314 HAS SOUPS 32314 WITH SCORE 32351.98
AT ITER 110 NEW BEST:: SOT 49590 SOS 37980 HAS SOPS 37980 HAS SOUS 32246 HAS SOUPS 32246 WITH SCORE 32283.98
AT ITER 114 NEW BEST:: SOT 49348 SOS 37738 HAS SOPS 37738 HAS SOUS 32078 HAS SOUPS 32078 WITH SCORE 32115.738
AT ITER 118 NEW BEST:: SOT 49348 SOS 37724 HAS SOPS 37724 HAS SOUS 32064 HAS SOUPS 32064 WITH SCORE 32101.724
AT ITER 120 NEW BEST:: SOT 49348 SOS 37702 HAS SOPS 37702 HAS SOUS 32042 HAS SOUPS 32042 WITH SCORE 32079.702
AT ITER 129 NEW BEST:: SOT 49348 SOS 37702 HAS SOPS 37702 HAS SOUS 31946 HAS SOUPS 31946 WITH SCORE 31983.702
AT ITER 131 NEW BEST:: SOT 49348 SOS 37668 HAS SOPS 37668 HAS SOUS 31840 HAS SOUPS 31840 WITH SCORE 31877.668
AT ITER 132 NEW BEST:: SOT 49348 SOS 37614 HAS SOPS 37614 HAS SOUS 31786 HAS SOUPS 31786 WITH SCORE 31823.614
AT ITER 133 NEW BEST:: SOT 49348 SOS 37614 HAS SOPS 37614 HAS SOUS 31686 HAS SOUPS 31686 WITH SCORE 31723.614
AT ITER 135 NEW BEST:: SOT 49348 SOS 37654 HAS SOPS 37654 HAS SOUS 31502 HAS SOUPS 31502 WITH SCORE 31539.654
AT ITER 136 NEW BEST:: SOT 49348 SOS 37654 HAS SOPS 37654 HAS SOUS 31404 HAS SOUPS 31404 WITH SCORE 31441.654
AT ITER 140 NEW BEST:: SOT 49348 SOS 37654 HAS SOPS 37654 HAS SOUS 31372 HAS SOUPS 31372 WITH SCORE 31409.654
AT ITER 144 NEW BEST:: SOT 49348 SOS 37604 HAS SOPS 37604 HAS SOUS 31308 HAS SOUPS 31308 WITH SCORE 31345.604
AT ITER 146 NEW BEST:: SOT 49348 SOS 37604 HAS SOPS 37604 HAS SOUS 31212 HAS SOUPS 31212 WITH SCORE 31249.604
AT ITER 148 NEW BEST:: SOT 49348 SOS 37472 HAS SOPS 37472 HAS SOUS 30976 HAS SOUPS 30976 WITH SCORE 31013.472
AT ITER 153 NEW BEST:: SOT 49348 SOS 37472 HAS SOPS 37472 HAS SOUS 30858 HAS SOUPS 30858 WITH SCORE 30895.472
AT ITER 154 NEW BEST:: SOT 49286 SOS 37410 HAS SOPS 37410 HAS SOUS 30734 HAS SOUPS 30734 WITH SCORE 30771.41
AT ITER 164 NEW BEST:: SOT 49286 SOS 37398 HAS SOPS 37398 HAS SOUS 30722 HAS SOUPS 30722 WITH SCORE 30759.398
AT ITER 165 NEW BEST:: SOT 49286 SOS 37398 HAS SOPS 37398 HAS SOUS 30678 HAS SOUPS 30678 WITH SCORE 30715.398
AT ITER 166 NEW BEST:: SOT 49286 SOS 37398 HAS SOPS 37398 HAS SOUS 30654 HAS SOUPS 30654 WITH SCORE 30691.398
AT ITER 169 NEW BEST:: SOT 49286 SOS 37386 HAS SOPS 37386 HAS SOUS 30642 HAS SOUPS 30642 WITH SCORE 30679.386
AT ITER 171 NEW BEST:: SOT 49286 SOS 37360 HAS SOPS 37360 HAS SOUS 30616 HAS SOUPS 30616 WITH SCORE 30653.36
AT ITER 190 NEW BEST:: SOT 49234 SOS 37308 HAS SOPS 37308 HAS SOUS 30580 HAS SOUPS 30580 WITH SCORE 30617.308
AT ITER 191 NEW BEST:: SOT 48922 SOS 37552 HAS SOPS 37552 HAS SOUS 30098 HAS SOUPS 30098 WITH SCORE 30135.552
AT ITER 192 NEW BEST:: SOT 48708 SOS 46742 HAS SOPS 46742 HAS SOUS 30026 HAS SOUPS 30026 WITH SCORE 30072.742
AT ITER 200 NEW BEST:: SOT 48708 SOS 46742 HAS SOPS 46742 HAS SOUS 29944 HAS SOUPS 29944 WITH SCORE 29990.742
AT ITER 201 NEW BEST:: SOT 48708 SOS 46742 HAS SOPS 46742 HAS SOUS 29892 HAS SOUPS 29892 WITH SCORE 29938.742
AT ITER 205 NEW BEST:: SOT 48708 SOS 46742 HAS SOPS 46742 HAS SOUS 29836 HAS SOUPS 29836 WITH SCORE 29882.742
AT ITER 206 NEW BEST:: SOT 48708 SOS 46724 HAS SOPS 46724 HAS SOUS 29836 HAS SOUPS 29836 WITH SCORE 29882.724
AT ITER 219 NEW BEST:: SOT 48708 SOS 46724 HAS SOPS 46724 HAS SOUS 29722 HAS SOUPS 29722 WITH SCORE 29768.724
AT ITER 228 NEW BEST:: SOT 48708 SOS 46724 HAS SOPS 46724 HAS SOUS 29622 HAS SOUPS 29622 WITH SCORE 29668.724
AT ITER 230 NEW BEST:: SOT 48704 SOS 46720 HAS SOPS 46720 HAS SOUS 29614 HAS SOUPS 29614 WITH SCORE 29660.72
AT ITER 232 NEW BEST:: SOT 48704 SOS 46720 HAS SOPS 46720 HAS SOUS 29576 HAS SOUPS 29576 WITH SCORE 29622.72
AT ITER 238 NEW BEST:: SOT 48704 SOS 46444 HAS SOPS 46444 HAS SOUS 29576 HAS SOUPS 29576 WITH SCORE 29622.444
AT ITER 249 NEW BEST:: SOT 48704 SOS 46444 HAS SOPS 46444 HAS SOUS 29546 HAS SOUPS 29546 WITH SCORE 29592.444
AT ITER 251 NEW BEST:: SOT 48704 SOS 46444 HAS SOPS 46444 HAS SOUS 29524 HAS SOUPS 29524 WITH SCORE 29570.444
AT ITER 255 NEW BEST:: SOT 48704 SOS 46444 HAS SOPS 46444 HAS SOUS 29324 HAS SOUPS 29324 WITH SCORE 29370.444
AT ITER 258 NEW BEST:: SOT 48704 SOS 46444 HAS SOPS 46444 HAS SOUS 29282 HAS SOUPS 29282 WITH SCORE 29328.444
AT ITER 264 NEW BEST:: SOT 48704 SOS 46444 HAS SOPS 46444 HAS SOUS 29218 HAS SOUPS 29218 WITH SCORE 29264.444
AT ITER 280 NEW BEST:: SOT 48704 SOS 46444 HAS SOPS 46444 HAS SOUS 29116 HAS SOUPS 29116 WITH SCORE 29162.444
AT ITER 281 NEW BEST:: SOT 48704 SOS 46444 HAS SOPS 46444 HAS SOUS 29104 HAS SOUPS 29104 WITH SCORE 29150.444
AT ITER 296 NEW BEST:: SOT 48704 SOS 46444 HAS SOPS 46444 HAS SOUS 29068 HAS SOUPS 29068 WITH SCORE 29114.444
AT ITER 298 NEW BEST:: SOT 48440 SOS 46180 HAS SOPS 46180 HAS SOUS 28796 HAS SOUPS 28796 WITH SCORE 28842.18
AT ITER 302 NEW BEST:: SOT 48440 SOS 46180 HAS SOPS 46180 HAS SOUS 28638 HAS SOUPS 28638 WITH SCORE 28684.18
AT ITER 306 NEW BEST:: SOT 48440 SOS 46180 HAS SOPS 46180 HAS SOUS 28546 HAS SOUPS 28546 WITH SCORE 28592.18
AT ITER 309 NEW BEST:: SOT 48160 SOS 45900 HAS SOPS 45900 HAS SOUS 28134 HAS SOUPS 28134 WITH SCORE 28179.9
AT ITER 312 NEW BEST:: SOT 48160 SOS 45808 HAS SOPS 45808 HAS SOUS 28102 HAS SOUPS 28102 WITH SCORE 28147.808
AT ITER 321 NEW BEST:: SOT 48160 SOS 45808 HAS SOPS 45808 HAS SOUS 28048 HAS SOUPS 28048 WITH SCORE 28093.808
AT ITER 324 NEW BEST:: SOT 48144 SOS 45792 HAS SOPS 45792 HAS SOUS 28032 HAS SOUPS 28032 WITH SCORE 28077.792
AT ITER 326 NEW BEST:: SOT 48058 SOS 45706 HAS SOPS 45706 HAS SOUS 28008 HAS SOUPS 28008 WITH SCORE 28053.706
AT ITER 328 NEW BEST:: SOT 48058 SOS 45706 HAS SOPS 45706 HAS SOUS 27964 HAS SOUPS 27964 WITH SCORE 28009.706
AT ITER 333 NEW BEST:: SOT 48058 SOS 45706 HAS SOPS 45706 HAS SOUS 27942 HAS SOUPS 27942 WITH SCORE 27987.706
AT ITER 336 NEW BEST:: SOT 47982 SOS 45630 HAS SOPS 45630 HAS SOUS 27866 HAS SOUPS 27866 WITH SCORE 27911.63
AT ITER 337 NEW BEST:: SOT 47982 SOS 45630 HAS SOPS 45630 HAS SOUS 27752 HAS SOUPS 27752 WITH SCORE 27797.63
AT ITER 343 NEW BEST:: SOT 47914 SOS 45562 HAS SOPS 45562 HAS SOUS 27710 HAS SOUPS 27710 WITH SCORE 27755.562
AT ITER 379 NEW BEST:: SOT 47914 SOS 45562 HAS SOPS 45562 HAS SOUS 27678 HAS SOUPS 27678 WITH SCORE 27723.562
AT ITER 388 NEW BEST:: SOT 47914 SOS 45562 HAS SOPS 45562 HAS SOUS 27666 HAS SOUPS 27666 WITH SCORE 27711.562
AT ITER 391 NEW BEST:: SOT 47914 SOS 45562 HAS SOPS 45562 HAS SOUS 27658 HAS SOUPS 27658 WITH SCORE 27703.562
AT ITER 392 NEW BEST:: SOT 47894 SOS 45580 HAS SOPS 45580 HAS SOUS 27654 HAS SOUPS 27654 WITH SCORE 27699.58
AT ITER 398 NEW BEST:: SOT 47894 SOS 45580 HAS SOPS 45580 HAS SOUS 27640 HAS SOUPS 27640 WITH SCORE 27685.58
AT ITER 403 NEW BEST:: SOT 47894 SOS 45580 HAS SOPS 45580 HAS SOUS 27616 HAS SOUPS 27616 WITH SCORE 27661.58
AT ITER 415 NEW BEST:: SOT 47894 SOS 45580 HAS SOPS 45580 HAS SOUS 27596 HAS SOUPS 27596 WITH SCORE 27641.58
AT ITER 435 NEW BEST:: SOT 47894 SOS 45580 HAS SOPS 45580 HAS SOUS 27588 HAS SOUPS 27588 WITH SCORE 27633.58
AT ITER 439 NEW BEST:: SOT 47894 SOS 45580 HAS SOPS 45580 HAS SOUS 27502 HAS SOUPS 27502 WITH SCORE 27547.58
AT ITER 441 NEW BEST:: SOT 47894 SOS 45580 HAS SOPS 45580 HAS SOUS 27496 HAS SOUPS 27496 WITH SCORE 27541.58
AT ITER 447 NEW BEST:: SOT 47894 SOS 45580 HAS SOPS 45580 HAS SOUS 27436 HAS SOUPS 27436 WITH SCORE 27481.58
AT ITER 477 NEW BEST:: SOT 47894 SOS 45580 HAS SOPS 45580 HAS SOUS 27348 HAS SOUPS 27348 WITH SCORE 27393.58
AT ITER 480 NEW BEST:: SOT 47894 SOS 45580 HAS SOPS 45580 HAS SOUS 27320 HAS SOUPS 27320 WITH SCORE 27365.58
AT ITER 488 NEW BEST:: SOT 47894 SOS 45580 HAS SOPS 45580 HAS SOUS 27254 HAS SOUPS 27254 WITH SCORE 27299.58
AT ITER 492 NEW BEST:: SOT 47894 SOS 45580 HAS SOPS 45580 HAS SOUS 27252 HAS SOUPS 27252 WITH SCORE 27297.58
AT ITER 499 NEW BEST:: SOT 47894 SOS 45580 HAS SOPS 45580 HAS SOUS 27246 HAS SOUPS 27246 WITH SCORE 27291.58
AT ITER 508 NEW BEST:: SOT 47894 SOS 45580 HAS SOPS 45580 HAS SOUS 27226 HAS SOUPS 27226 WITH SCORE 27271.58
AT ITER 511 NEW BEST:: SOT 47894 SOS 45580 HAS SOPS 45580 HAS SOUS 27110 HAS SOUPS 27110 WITH SCORE 27155.58
AT ITER 520 NEW BEST:: SOT 47894 SOS 45580 HAS SOPS 45580 HAS SOUS 27098 HAS SOUPS 27098 WITH SCORE 27143.58
AT ITER 521 NEW BEST:: SOT 47894 SOS 45580 HAS SOPS 45580 HAS SOUS 27088 HAS SOUPS 27088 WITH SCORE 27133.58
AT ITER 523 NEW BEST:: SOT 47894 SOS 45580 HAS SOPS 45580 HAS SOUS 27044 HAS SOUPS 27044 WITH SCORE 27089.58
AT ITER 526 NEW BEST:: SOT 47894 SOS 45580 HAS SOPS 45580 HAS SOUS 27020 HAS SOUPS 27020 WITH SCORE 27065.58
AT ITER 539 NEW BEST:: SOT 47894 SOS 45580 HAS SOPS 45580 HAS SOUS 26992 HAS SOUPS 26992 WITH SCORE 27037.58
AT ITER 540 NEW BEST:: SOT 47894 SOS 45580 HAS SOPS 45580 HAS SOUS 26924 HAS SOUPS 26924 WITH SCORE 26969.58
AT ITER 549 NEW BEST:: SOT 47894 SOS 45580 HAS SOPS 45580 HAS SOUS 26894 HAS SOUPS 26894 WITH SCORE 26939.58
AT ITER 559 NEW BEST:: SOT 47894 SOS 45580 HAS SOPS 45580 HAS SOUS 26862 HAS SOUPS 26862 WITH SCORE 26907.58
AT ITER 569 NEW BEST:: SOT 47894 SOS 45580 HAS SOPS 45580 HAS SOUS 26838 HAS SOUPS 26838 WITH SCORE 26883.58
AT ITER 570 NEW BEST:: SOT 47894 SOS 45580 HAS SOPS 45580 HAS SOUS 26808 HAS SOUPS 26808 WITH SCORE 26853.58
AT ITER 573 NEW BEST:: SOT 47912 SOS 45438 HAS SOPS 45438 HAS SOUS 26748 HAS SOUPS 26748 WITH SCORE 26793.438
AT ITER 576 NEW BEST:: SOT 47912 SOS 45438 HAS SOPS 45438 HAS SOUS 26738 HAS SOUPS 26738 WITH SCORE 26783.438
AT ITER 578 NEW BEST:: SOT 47912 SOS 45438 HAS SOPS 45438 HAS SOUS 26728 HAS SOUPS 26728 WITH SCORE 26773.438
AT ITER 588 NEW BEST:: SOT 47912 SOS 45438 HAS SOPS 45438 HAS SOUS 26712 HAS SOUPS 26712 WITH SCORE 26757.438
AT ITER 591 NEW BEST:: SOT 46776 SOS 44302 HAS SOPS 44302 HAS SOUS 25576 HAS SOUPS 25576 WITH SCORE 25620.302
AT ITER 602 NEW BEST:: SOT 46776 SOS 44302 HAS SOPS 44302 HAS SOUS 25536 HAS SOUPS 25536 WITH SCORE 25580.302
AT ITER 604 NEW BEST:: SOT 46650 SOS 44184 HAS SOPS 44184 HAS SOUS 25350 HAS SOUPS 25350 WITH SCORE 25394.184
AT ITER 629 NEW BEST:: SOT 46650 SOS 44184 HAS SOPS 44184 HAS SOUS 25336 HAS SOUPS 25336 WITH SCORE 25380.184
AT ITER 640 NEW BEST:: SOT 46650 SOS 44184 HAS SOPS 44184 HAS SOUS 25298 HAS SOUPS 25298 WITH SCORE 25342.184
AT ITER 648 NEW BEST:: SOT 46650 SOS 44184 HAS SOPS 44184 HAS SOUS 25284 HAS SOUPS 25284 WITH SCORE 25328.184
AT ITER 653 NEW BEST:: SOT 46650 SOS 44184 HAS SOPS 44184 HAS SOUS 25268 HAS SOUPS 25268 WITH SCORE 25312.184
AT ITER 668 NEW BEST:: SOT 46650 SOS 44184 HAS SOPS 44184 HAS SOUS 25250 HAS SOUPS 25250 WITH SCORE 25294.184
AT ITER 676 NEW BEST:: SOT 46650 SOS 44184 HAS SOPS 44184 HAS SOUS 25242 HAS SOUPS 25242 WITH SCORE 25286.184
AT ITER 679 NEW BEST:: SOT 46650 SOS 44184 HAS SOPS 44184 HAS SOUS 25136 HAS SOUPS 25136 WITH SCORE 25180.184
AT ITER 688 NEW BEST:: SOT 46656 SOS 44056 HAS SOPS 44056 HAS SOUS 25132 HAS SOUPS 25132 WITH SCORE 25176.056
AT ITER 689 NEW BEST:: SOT 46656 SOS 44056 HAS SOPS 44056 HAS SOUS 25126 HAS SOUPS 25126 WITH SCORE 25170.056
AT ITER 707 NEW BEST:: SOT 46656 SOS 44056 HAS SOPS 44056 HAS SOUS 24998 HAS SOUPS 24998 WITH SCORE 25042.056
AT ITER 710 NEW BEST:: SOT 46656 SOS 44056 HAS SOPS 44056 HAS SOUS 24938 HAS SOUPS 24938 WITH SCORE 24982.056
AT ITER 729 NEW BEST:: SOT 46656 SOS 44056 HAS SOPS 44056 HAS SOUS 24910 HAS SOUPS 24910 WITH SCORE 24954.056
AT ITER 731 NEW BEST:: SOT 46656 SOS 44056 HAS SOPS 44056 HAS SOUS 24908 HAS SOUPS 24908 WITH SCORE 24952.056
AT ITER 732 NEW BEST:: SOT 46656 SOS 44056 HAS SOPS 44056 HAS SOUS 24850 HAS SOUPS 24850 WITH SCORE 24894.056
AT ITER 735 NEW BEST:: SOT 46656 SOS 44056 HAS SOPS 44056 HAS SOUS 24808 HAS SOUPS 24808 WITH SCORE 24852.056
AT ITER 738 NEW BEST:: SOT 46656 SOS 44056 HAS SOPS 44056 HAS SOUS 24788 HAS SOUPS 24788 WITH SCORE 24832.056
AT ITER 753 NEW BEST:: SOT 46656 SOS 44056 HAS SOPS 44056 HAS SOUS 24750 HAS SOUPS 24750 WITH SCORE 24794.056
AT ITER 754 NEW BEST:: SOT 46656 SOS 44056 HAS SOPS 44056 HAS SOUS 24728 HAS SOUPS 24728 WITH SCORE 24772.056
AT ITER 761 NEW BEST:: SOT 46656 SOS 44044 HAS SOPS 44044 HAS SOUS 24728 HAS SOUPS 24728 WITH SCORE 24772.044
AT ITER 762 NEW BEST:: SOT 46656 SOS 44044 HAS SOPS 44044 HAS SOUS 24724 HAS SOUPS 24724 WITH SCORE 24768.044
AT ITER 764 NEW BEST:: SOT 46656 SOS 44042 HAS SOPS 44042 HAS SOUS 24724 HAS SOUPS 24724 WITH SCORE 24768.042
AT ITER 768 NEW BEST:: SOT 46510 SOS 43976 HAS SOPS 43976 HAS SOUS 24656 HAS SOUPS 24656 WITH SCORE 24699.976
AT ITER 777 NEW BEST:: SOT 46510 SOS 43954 HAS SOPS 43954 HAS SOUS 24634 HAS SOUPS 24634 WITH SCORE 24677.954
AT ITER 783 NEW BEST:: SOT 46510 SOS 43954 HAS SOPS 43954 HAS SOUS 24612 HAS SOUPS 24612 WITH SCORE 24655.954
AT ITER 785 NEW BEST:: SOT 41164 SOS 38856 HAS SOPS 38856 HAS SOUS 19514 HAS SOUPS 19514 WITH SCORE 19552.856
AT ITER 793 NEW BEST:: SOT 41164 SOS 38856 HAS SOPS 38856 HAS SOUS 19502 HAS SOUPS 19502 WITH SCORE 19540.856
AT ITER 801 NEW BEST:: SOT 41114 SOS 38806 HAS SOPS 38806 HAS SOUS 19452 HAS SOUPS 19452 WITH SCORE 19490.806
AT ITER 803 NEW BEST:: SOT 41114 SOS 38806 HAS SOPS 38806 HAS SOUS 19450 HAS SOUPS 19450 WITH SCORE 19488.806
AT ITER 804 NEW BEST:: SOT 39266 SOS 37042 HAS SOPS 37042 HAS SOUS 17620 HAS SOUPS 17620 WITH SCORE 17657.042
AT ITER 807 NEW BEST:: SOT 39266 SOS 37042 HAS SOPS 37042 HAS SOUS 17572 HAS SOUPS 17572 WITH SCORE 17609.042
AT ITER 809 NEW BEST:: SOT 39266 SOS 36664 HAS SOPS 36664 HAS SOUS 17572 HAS SOUPS 17572 WITH SCORE 17608.664
AT ITER 812 NEW BEST:: SOT 39222 SOS 36620 HAS SOPS 36620 HAS SOUS 17484 HAS SOUPS 17484 WITH SCORE 17520.62
AT ITER 823 NEW BEST:: SOT 39304 SOS 36702 HAS SOPS 36702 HAS SOUS 17480 HAS SOUPS 17480 WITH SCORE 17516.702
AT ITER 832 NEW BEST:: SOT 39298 SOS 36696 HAS SOPS 36696 HAS SOUS 17468 HAS SOUPS 17468 WITH SCORE 17504.696
AT ITER 846 NEW BEST:: SOT 39298 SOS 36696 HAS SOPS 36696 HAS SOUS 17394 HAS SOUPS 17394 WITH SCORE 17430.696
AT ITER 849 NEW BEST:: SOT 39298 SOS 36696 HAS SOPS 36696 HAS SOUS 17392 HAS SOUPS 17392 WITH SCORE 17428.696
AT ITER 855 NEW BEST:: SOT 39178 SOS 36576 HAS SOPS 36576 HAS SOUS 17264 HAS SOUPS 17264 WITH SCORE 17300.576
AT ITER 894 NEW BEST:: SOT 39178 SOS 36576 HAS SOPS 36576 HAS SOUS 17240 HAS SOUPS 17240 WITH SCORE 17276.576
AT ITER 905 NEW BEST:: SOT 39178 SOS 36576 HAS SOPS 36576 HAS SOUS 17238 HAS SOUPS 17238 WITH SCORE 17274.576
AT ITER 908 NEW BEST:: SOT 39174 SOS 36572 HAS SOPS 36572 HAS SOUS 17234 HAS SOUPS 17234 WITH SCORE 17270.572
AT ITER 910 NEW BEST:: SOT 39174 SOS 36572 HAS SOPS 36572 HAS SOUS 17232 HAS SOUPS 17232 WITH SCORE 17268.572
AT ITER 920 NEW BEST:: SOT 39174 SOS 36572 HAS SOPS 36572 HAS SOUS 17188 HAS SOUPS 17188 WITH SCORE 17224.572
AT ITER 928 NEW BEST:: SOT 39174 SOS 36572 HAS SOPS 36572 HAS SOUS 17140 HAS SOUPS 17140 WITH SCORE 17176.572
AT ITER 933 NEW BEST:: SOT 35680 SOS 33150 HAS SOPS 33150 HAS SOUS 13718 HAS SOUPS 13718 WITH SCORE 13751.15
AT ITER 935 NEW BEST:: SOT 35680 SOS 33150 HAS SOPS 33150 HAS SOUS 13716 HAS SOUPS 13716 WITH SCORE 13749.15
AT ITER 941 NEW BEST:: SOT 35680 SOS 33156 HAS SOPS 33156 HAS SOUS 13638 HAS SOUPS 13638 WITH SCORE 13671.156
AT ITER 960 NEW BEST:: SOT 35576 SOS 33146 HAS SOPS 33146 HAS SOUS 13612 HAS SOUPS 13612 WITH SCORE 13645.146
AT ITER 962 NEW BEST:: SOT 35552 SOS 33122 HAS SOPS 33122 HAS SOUS 13588 HAS SOUPS 13588 WITH SCORE 13621.122
AT ITER 978 NEW BEST:: SOT 35480 SOS 33050 HAS SOPS 33050 HAS SOUS 13326 HAS SOUPS 13326 WITH SCORE 13359.05
AT ITER 980 NEW BEST:: SOT 35470 SOS 33040 HAS SOPS 33040 HAS SOUS 13306 HAS SOUPS 13306 WITH SCORE 13339.04
AT ITER 986 NEW BEST:: SOT 35474 SOS 33044 HAS SOPS 33044 HAS SOUS 13282 HAS SOUPS 13282 WITH SCORE 13315.044
AT ITER 999 NEW BEST:: SOT 35474 SOS 33044 HAS SOPS 33044 HAS SOUS 13260 HAS SOUPS 13260 WITH SCORE 13293.044
AT ITER 1010 NEW BEST:: SOT 35470 SOS 33040 HAS SOPS 33040 HAS SOUS 13256 HAS SOUPS 13256 WITH SCORE 13289.04
AT ITER 1025 NEW BEST:: SOT 35414 SOS 32984 HAS SOPS 32984 HAS SOUS 13144 HAS SOUPS 13144 WITH SCORE 13176.984
AT ITER 1043 NEW BEST:: SOT 35414 SOS 32984 HAS SOPS 32984 HAS SOUS 13128 HAS SOUPS 13128 WITH SCORE 13160.984
AT ITER 1063 NEW BEST:: SOT 35408 SOS 32978 HAS SOPS 32978 HAS SOUS 13116 HAS SOUPS 13116 WITH SCORE 13148.978
AT ITER 1074 NEW BEST:: SOT 35408 SOS 32978 HAS SOPS 32978 HAS SOUS 13110 HAS SOUPS 13110 WITH SCORE 13142.978
AT ITER 1101 NEW BEST:: SOT 35408 SOS 32978 HAS SOPS 32978 HAS SOUS 13006 HAS SOUPS 13006 WITH SCORE 13038.978
AT ITER 1111 NEW BEST:: SOT 35404 SOS 32974 HAS SOPS 32974 HAS SOUS 12998 HAS SOUPS 12998 WITH SCORE 13030.974
AT ITER 1126 NEW BEST:: SOT 35404 SOS 32980 HAS SOPS 32980 HAS SOUS 12986 HAS SOUPS 12986 WITH SCORE 13018.98
AT ITER 1128 NEW BEST:: SOT 35404 SOS 32998 HAS SOPS 32998 HAS SOUS 12936 HAS SOUPS 12936 WITH SCORE 12968.998
AT ITER 1135 NEW BEST:: SOT 35368 SOS 32962 HAS SOPS 32962 HAS SOUS 12864 HAS SOUPS 12864 WITH SCORE 12896.962
AT ITER 1138 NEW BEST:: SOT 35366 SOS 32960 HAS SOPS 32960 HAS SOUS 12860 HAS SOUPS 12860 WITH SCORE 12892.96
AT ITER 1142 NEW BEST:: SOT 35360 SOS 32954 HAS SOPS 32954 HAS SOUS 12848 HAS SOUPS 12848 WITH SCORE 12880.954
AT ITER 1143 NEW BEST:: SOT 35350 SOS 32944 HAS SOPS 32944 HAS SOUS 12816 HAS SOUPS 12816 WITH SCORE 12848.944
AT ITER 1156 NEW BEST:: SOT 35350 SOS 32944 HAS SOPS 32944 HAS SOUS 12802 HAS SOUPS 12802 WITH SCORE 12834.944
AT ITER 1166 NEW BEST:: SOT 35350 SOS 32944 HAS SOPS 32944 HAS SOUS 12798 HAS SOUPS 12798 WITH SCORE 12830.944
AT ITER 1169 NEW BEST:: SOT 35350 SOS 32944 HAS SOPS 32944 HAS SOUS 12796 HAS SOUPS 12796 WITH SCORE 12828.944
AT ITER 1173 NEW BEST:: SOT 35238 SOS 32940 HAS SOPS 32940 HAS SOUS 12792 HAS SOUPS 12792 WITH SCORE 12824.94
AT ITER 1175 NEW BEST:: SOT 35238 SOS 32936 HAS SOPS 32936 HAS SOUS 12788 HAS SOUPS 12788 WITH SCORE 12820.936
AT ITER 1176 NEW BEST:: SOT 35230 SOS 32928 HAS SOPS 32928 HAS SOUS 12772 HAS SOUPS 12772 WITH SCORE 12804.928
AT ITER 1193 NEW BEST:: SOT 35230 SOS 32928 HAS SOPS 32928 HAS SOUS 12764 HAS SOUPS 12764 WITH SCORE 12796.928
AT ITER 1199 NEW BEST:: SOT 35230 SOS 32886 HAS SOPS 32886 HAS SOUS 12764 HAS SOUPS 12764 WITH SCORE 12796.886
AT ITER 1234 NEW BEST:: SOT 35230 SOS 32886 HAS SOPS 32886 HAS SOUS 12762 HAS SOUPS 12762 WITH SCORE 12794.886
AT ITER 1235 NEW BEST:: SOT 35214 SOS 32870 HAS SOPS 32870 HAS SOUS 12730 HAS SOUPS 12730 WITH SCORE 12762.87
AT ITER 1252 NEW BEST:: SOT 35214 SOS 32870 HAS SOPS 32870 HAS SOUS 12722 HAS SOUPS 12722 WITH SCORE 12754.87
AT ITER 1268 NEW BEST:: SOT 35236 SOS 32904 HAS SOPS 32904 HAS SOUS 12694 HAS SOUPS 12694 WITH SCORE 12726.904
AT ITER 1275 NEW BEST:: SOT 35216 SOS 32884 HAS SOPS 32884 HAS SOUS 12654 HAS SOUPS 12654 WITH SCORE 12686.884
AT ITER 1278 NEW BEST:: SOT 35216 SOS 32884 HAS SOPS 32884 HAS SOUS 12646 HAS SOUPS 12646 WITH SCORE 12678.884
AT ITER 1279 NEW BEST:: SOT 35216 SOS 32884 HAS SOPS 32884 HAS SOUS 12624 HAS SOUPS 12624 WITH SCORE 12656.884
AT ITER 1292 NEW BEST:: SOT 35194 SOS 32862 HAS SOPS 32862 HAS SOUS 12580 HAS SOUPS 12580 WITH SCORE 12612.862
AT ITER 1298 NEW BEST:: SOT 35194 SOS 32862 HAS SOPS 32862 HAS SOUS 12570 HAS SOUPS 12570 WITH SCORE 12602.862
AT ITER 1300 NEW BEST:: SOT 35194 SOS 32862 HAS SOPS 32862 HAS SOUS 12564 HAS SOUPS 12564 WITH SCORE 12596.862
AT ITER 1308 NEW BEST:: SOT 33376 SOS 31140 HAS SOPS 31140 HAS SOUS 10842 HAS SOUPS 10842 WITH SCORE 10873.14
AT ITER 1312 NEW BEST:: SOT 33256 SOS 31026 HAS SOPS 31026 HAS SOUS 10728 HAS SOUPS 10728 WITH SCORE 10759.026
AT ITER 1313 NEW BEST:: SOT 33256 SOS 31026 HAS SOPS 31026 HAS SOUS 10692 HAS SOUPS 10692 WITH SCORE 10723.026
AT ITER 1344 NEW BEST:: SOT 33250 SOS 31020 HAS SOPS 31020 HAS SOUS 10680 HAS SOUPS 10680 WITH SCORE 10711.02
AT ITER 1351 NEW BEST:: SOT 33204 SOS 30976 HAS SOPS 30976 HAS SOUS 10576 HAS SOUPS 10576 WITH SCORE 10606.976
AT ITER 1357 NEW BEST:: SOT 30934 SOS 28808 HAS SOPS 28808 HAS SOUS 8394 HAS SOUPS 8394 WITH SCORE 8422.808
AT ITER 1360 NEW BEST:: SOT 30932 SOS 28806 HAS SOPS 28806 HAS SOUS 8390 HAS SOUPS 8390 WITH SCORE 8418.806
AT ITER 1385 NEW BEST:: SOT 30932 SOS 28806 HAS SOPS 28806 HAS SOUS 8360 HAS SOUPS 8360 WITH SCORE 8388.806
AT ITER 1394 NEW BEST:: SOT 30926 SOS 28800 HAS SOPS 28800 HAS SOUS 8348 HAS SOUPS 8348 WITH SCORE 8376.8
AT ITER 1404 NEW BEST:: SOT 30926 SOS 28800 HAS SOPS 28800 HAS SOUS 8332 HAS SOUPS 8332 WITH SCORE 8360.8
AT ITER 1405 NEW BEST:: SOT 30926 SOS 28782 HAS SOPS 28782 HAS SOUS 8314 HAS SOUPS 8314 WITH SCORE 8342.782
AT ITER 1412 NEW BEST:: SOT 30926 SOS 28782 HAS SOPS 28782 HAS SOUS 8302 HAS SOUPS 8302 WITH SCORE 8330.782
AT ITER 1423 NEW BEST:: SOT 30878 SOS 28734 HAS SOPS 28734 HAS SOUS 8206 HAS SOUPS 8206 WITH SCORE 8234.734
AT ITER 1427 NEW BEST:: SOT 30872 SOS 28728 HAS SOPS 28728 HAS SOUS 8194 HAS SOUPS 8194 WITH SCORE 8222.728
AT ITER 1432 NEW BEST:: SOT 30828 SOS 28684 HAS SOPS 28684 HAS SOUS 8106 HAS SOUPS 8106 WITH SCORE 8134.684
AT ITER 1434 NEW BEST:: SOT 30764 SOS 28620 HAS SOPS 28620 HAS SOUS 7978 HAS SOUPS 7978 WITH SCORE 8006.62
AT ITER 1438 NEW BEST:: SOT 30764 SOS 28620 HAS SOPS 28620 HAS SOUS 7938 HAS SOUPS 7938 WITH SCORE 7966.62
AT ITER 1452 NEW BEST:: SOT 30742 SOS 28606 HAS SOPS 28606 HAS SOUS 7924 HAS SOUPS 7924 WITH SCORE 7952.606
AT ITER 1460 NEW BEST:: SOT 30706 SOS 28570 HAS SOPS 28570 HAS SOUS 7844 HAS SOUPS 7844 WITH SCORE 7872.57
AT ITER 1476 NEW BEST:: SOT 30706 SOS 28570 HAS SOPS 28570 HAS SOUS 7838 HAS SOUPS 7838 WITH SCORE 7866.57
AT ITER 1482 NEW BEST:: SOT 30698 SOS 28562 HAS SOPS 28562 HAS SOUS 7822 HAS SOUPS 7822 WITH SCORE 7850.562
AT ITER 1484 NEW BEST:: SOT 30680 SOS 28544 HAS SOPS 28544 HAS SOUS 7786 HAS SOUPS 7786 WITH SCORE 7814.544
AT ITER 1485 NEW BEST:: SOT 30670 SOS 28534 HAS SOPS 28534 HAS SOUS 7766 HAS SOUPS 7766 WITH SCORE 7794.534
AT ITER 1486 NEW BEST:: SOT 30604 SOS 28468 HAS SOPS 28468 HAS SOUS 7634 HAS SOUPS 7634 WITH SCORE 7662.468
AT ITER 1500 NEW BEST:: SOT 30604 SOS 28470 HAS SOPS 28470 HAS SOUS 7626 HAS SOUPS 7626 WITH SCORE 7654.47
AT ITER 1506 NEW BEST:: SOT 30604 SOS 28464 HAS SOPS 28464 HAS SOUS 7614 HAS SOUPS 7614 WITH SCORE 7642.464
AT ITER 1521 NEW BEST:: SOT 30544 SOS 28404 HAS SOPS 28404 HAS SOUS 7490 HAS SOUPS 7490 WITH SCORE 7518.404
AT ITER 1526 NEW BEST:: SOT 30544 SOS 28404 HAS SOPS 28404 HAS SOUS 7470 HAS SOUPS 7470 WITH SCORE 7498.404
AT ITER 1527 NEW BEST:: SOT 30506 SOS 28366 HAS SOPS 28366 HAS SOUS 7394 HAS SOUPS 7394 WITH SCORE 7422.366
AT ITER 1529 NEW BEST:: SOT 30338 SOS 28306 HAS SOPS 28306 HAS SOUS 7288 HAS SOUPS 7288 WITH SCORE 7316.306
AT ITER 1534 NEW BEST:: SOT 30338 SOS 28306 HAS SOPS 28306 HAS SOUS 7282 HAS SOUPS 7282 WITH SCORE 7310.306
AT ITER 1537 NEW BEST:: SOT 30318 SOS 28286 HAS SOPS 28286 HAS SOUS 7242 HAS SOUPS 7242 WITH SCORE 7270.286
AT ITER 1554 NEW BEST:: SOT 30302 SOS 28270 HAS SOPS 28270 HAS SOUS 7210 HAS SOUPS 7210 WITH SCORE 7238.27
AT ITER 1562 NEW BEST:: SOT 30300 SOS 28268 HAS SOPS 28268 HAS SOUS 7206 HAS SOUPS 7206 WITH SCORE 7234.268
AT ITER 1563 NEW BEST:: SOT 30300 SOS 28268 HAS SOPS 28268 HAS SOUS 7200 HAS SOUPS 7200 WITH SCORE 7228.268
AT ITER 1600 NEW BEST:: SOT 30208 SOS 28176 HAS SOPS 28176 HAS SOUS 7016 HAS SOUPS 7016 WITH SCORE 7044.176
AT ITER 1606 NEW BEST:: SOT 30188 SOS 28156 HAS SOPS 28156 HAS SOUS 6976 HAS SOUPS 6976 WITH SCORE 7004.156
AT ITER 1624 NEW BEST:: SOT 30182 SOS 28152 HAS SOPS 28152 HAS SOUS 6972 HAS SOUPS 6972 WITH SCORE 7000.152
AT ITER 1630 NEW BEST:: SOT 30182 SOS 28152 HAS SOPS 28152 HAS SOUS 6948 HAS SOUPS 6948 WITH SCORE 6976.152
AT ITER 1632 NEW BEST:: SOT 30176 SOS 28138 HAS SOPS 28138 HAS SOUS 6934 HAS SOUPS 6934 WITH SCORE 6962.138
AT ITER 1646 NEW BEST:: SOT 30170 SOS 28132 HAS SOPS 28132 HAS SOUS 6866 HAS SOUPS 6866 WITH SCORE 6894.132
AT ITER 1663 NEW BEST:: SOT 30126 SOS 28088 HAS SOPS 28088 HAS SOUS 6778 HAS SOUPS 6778 WITH SCORE 6806.088
AT ITER 1712 NEW BEST:: SOT 30114 SOS 28076 HAS SOPS 28076 HAS SOUS 6740 HAS SOUPS 6740 WITH SCORE 6768.076
AT ITER 1727 NEW BEST:: SOT 30100 SOS 28062 HAS SOPS 28062 HAS SOUS 6594 HAS SOUPS 6594 WITH SCORE 6622.062
AT ITER 1732 NEW BEST:: SOT 30098 SOS 28060 HAS SOPS 28060 HAS SOUS 6590 HAS SOUPS 6590 WITH SCORE 6618.06
AT ITER 1742 NEW BEST:: SOT 30086 SOS 28048 HAS SOPS 28048 HAS SOUS 6566 HAS SOUPS 6566 WITH SCORE 6594.048
AT ITER 1751 NEW BEST:: SOT 30078 SOS 28040 HAS SOPS 28040 HAS SOUS 6550 HAS SOUPS 6550 WITH SCORE 6578.04
AT ITER 1755 NEW BEST:: SOT 30076 SOS 28038 HAS SOPS 28038 HAS SOUS 6506 HAS SOUPS 6506 WITH SCORE 6534.038
AT ITER 1775 NEW BEST:: SOT 30076 SOS 28054 HAS SOPS 28054 HAS SOUS 6454 HAS SOUPS 6454 WITH SCORE 6482.054
AT ITER 1776 NEW BEST:: SOT 30076 SOS 28036 HAS SOPS 28036 HAS SOUS 6452 HAS SOUPS 6452 WITH SCORE 6480.036
AT ITER 1816 NEW BEST:: SOT 30072 SOS 28032 HAS SOPS 28032 HAS SOUS 6444 HAS SOUPS 6444 WITH SCORE 6472.032
AT ITER 1830 NEW BEST:: SOT 30072 SOS 28030 HAS SOPS 28030 HAS SOUS 6442 HAS SOUPS 6442 WITH SCORE 6470.03
AT ITER 1861 NEW BEST:: SOT 30032 SOS 27990 HAS SOPS 27990 HAS SOUS 6426 HAS SOUPS 6426 WITH SCORE 6453.99
AT ITER 1868 NEW BEST:: SOT 30028 SOS 27986 HAS SOPS 27986 HAS SOUS 6418 HAS SOUPS 6418 WITH SCORE 6445.986
AT ITER 1882 NEW BEST:: SOT 30028 SOS 27986 HAS SOPS 27986 HAS SOUS 6396 HAS SOUPS 6396 WITH SCORE 6423.986
AT ITER 1901 NEW BEST:: SOT 30020 SOS 27978 HAS SOPS 27978 HAS SOUS 6380 HAS SOUPS 6380 WITH SCORE 6407.978
AT ITER 1904 NEW BEST:: SOT 30000 SOS 27958 HAS SOPS 27958 HAS SOUS 6340 HAS SOUPS 6340 WITH SCORE 6367.958
AT ITER 1918 NEW BEST:: SOT 29996 SOS 27954 HAS SOPS 27954 HAS SOUS 6332 HAS SOUPS 6332 WITH SCORE 6359.954
AT ITER 1929 NEW BEST:: SOT 29984 SOS 27942 HAS SOPS 27942 HAS SOUS 6308 HAS SOUPS 6308 WITH SCORE 6335.942
AT ITER 1952 NEW BEST:: SOT 29984 SOS 27848 HAS SOPS 27848 HAS SOUS 6284 HAS SOUPS 6284 WITH SCORE 6311.848
AT ITER 1981 NEW BEST:: SOT 29964 SOS 27828 HAS SOPS 27828 HAS SOUS 6244 HAS SOUPS 6244 WITH SCORE 6271.828
AT ITER 2001 NEW BEST:: SOT 29876 SOS 27788 HAS SOPS 27788 HAS SOUS 6184 HAS SOUPS 6184 WITH SCORE 6211.788
AT ITER 2060 NEW BEST:: SOT 29874 SOS 27786 HAS SOPS 27786 HAS SOUS 6180 HAS SOUPS 6180 WITH SCORE 6207.786
AT ITER 2075 NEW BEST:: SOT 29870 SOS 27782 HAS SOPS 27782 HAS SOUS 6172 HAS SOUPS 6172 WITH SCORE 6199.782
AT ITER 2094 NEW BEST:: SOT 29862 SOS 27774 HAS SOPS 27774 HAS SOUS 6156 HAS SOUPS 6156 WITH SCORE 6183.774
AT ITER 2118 NEW BEST:: SOT 29864 SOS 27770 HAS SOPS 27770 HAS SOUS 6152 HAS SOUPS 6152 WITH SCORE 6179.77
AT ITER 2119 NEW BEST:: SOT 29830 SOS 27750 HAS SOPS 27750 HAS SOUS 6132 HAS SOUPS 6132 WITH SCORE 6159.75
AT ITER 2130 NEW BEST:: SOT 29826 SOS 27752 HAS SOPS 27752 HAS SOUS 6112 HAS SOUPS 6112 WITH SCORE 6139.752
AT ITER 2138 NEW BEST:: SOT 29816 SOS 27742 HAS SOPS 27742 HAS SOUS 6092 HAS SOUPS 6092 WITH SCORE 6119.742
AT ITER 2148 NEW BEST:: SOT 29816 SOS 27742 HAS SOPS 27742 HAS SOUS 6078 HAS SOUPS 6078 WITH SCORE 6105.742
AT ITER 2183 NEW BEST:: SOT 29810 SOS 27736 HAS SOPS 27736 HAS SOUS 6054 HAS SOUPS 6054 WITH SCORE 6081.736
AT ITER 2215 NEW BEST:: SOT 29802 SOS 27728 HAS SOPS 27728 HAS SOUS 6038 HAS SOUPS 6038 WITH SCORE 6065.728
AT ITER 2224 NEW BEST:: SOT 29802 SOS 27728 HAS SOPS 27728 HAS SOUS 6028 HAS SOUPS 6028 WITH SCORE 6055.728
AT ITER 2246 NEW BEST:: SOT 29804 SOS 27682 HAS SOPS 27682 HAS SOUS 5982 HAS SOUPS 5982 WITH SCORE 6009.682
AT ITER 2248 NEW BEST:: SOT 29532 SOS 28066 HAS SOPS 28066 HAS SOUS 5790 HAS SOUPS 5790 WITH SCORE 5818.066
AT ITER 2249 NEW BEST:: SOT 29524 SOS 28058 HAS SOPS 28058 HAS SOUS 5774 HAS SOUPS 5774 WITH SCORE 5802.058
AT ITER 2265 NEW BEST:: SOT 29520 SOS 28054 HAS SOPS 28054 HAS SOUS 5766 HAS SOUPS 5766 WITH SCORE 5794.054
AT ITER 2268 NEW BEST:: SOT 29506 SOS 28040 HAS SOPS 28040 HAS SOUS 5738 HAS SOUPS 5738 WITH SCORE 5766.04
AT ITER 2286 NEW BEST:: SOT 29502 SOS 28036 HAS SOPS 28036 HAS SOUS 5730 HAS SOUPS 5730 WITH SCORE 5758.036
AT ITER 2299 NEW BEST:: SOT 29494 SOS 28028 HAS SOPS 28028 HAS SOUS 5714 HAS SOUPS 5714 WITH SCORE 5742.028
AT ITER 2322 NEW BEST:: SOT 29478 SOS 28012 HAS SOPS 28012 HAS SOUS 5682 HAS SOUPS 5682 WITH SCORE 5710.012
AT ITER 2357 NEW BEST:: SOT 29464 SOS 27998 HAS SOPS 27998 HAS SOUS 5654 HAS SOUPS 5654 WITH SCORE 5681.998
AT ITER 2360 NEW BEST:: SOT 29424 SOS 27958 HAS SOPS 27958 HAS SOUS 5564 HAS SOUPS 5564 WITH SCORE 5591.958
AT ITER 2363 NEW BEST:: SOT 29366 SOS 27900 HAS SOPS 27900 HAS SOUS 5504 HAS SOUPS 5504 WITH SCORE 5531.9
AT ITER 2372 NEW BEST:: SOT 29366 SOS 27900 HAS SOPS 27900 HAS SOUS 5498 HAS SOUPS 5498 WITH SCORE 5525.9
AT ITER 2382 NEW BEST:: SOT 29366 SOS 27900 HAS SOPS 27900 HAS SOUS 5484 HAS SOUPS 5484 WITH SCORE 5511.9
AT ITER 2394 NEW BEST:: SOT 29366 SOS 27900 HAS SOPS 27900 HAS SOUS 5482 HAS SOUPS 5482 WITH SCORE 5509.9
AT ITER 2427 NEW BEST:: SOT 29362 SOS 27896 HAS SOPS 27896 HAS SOUS 5474 HAS SOUPS 5474 WITH SCORE 5501.896
AT ITER 2458 NEW BEST:: SOT 29362 SOS 27896 HAS SOPS 27896 HAS SOUS 5464 HAS SOUPS 5464 WITH SCORE 5491.896
AT ITER 2462 NEW BEST:: SOT 29358 SOS 27892 HAS SOPS 27892 HAS SOUS 5456 HAS SOUPS 5456 WITH SCORE 5483.892
AT ITER 2486 NEW BEST:: SOT 29352 SOS 27886 HAS SOPS 27886 HAS SOUS 5444 HAS SOUPS 5444 WITH SCORE 5471.886
AT ITER 2490 NEW BEST:: SOT 29352 SOS 27886 HAS SOPS 27886 HAS SOUS 5394 HAS SOUPS 5394 WITH SCORE 5421.886
AT ITER 2501 NEW BEST:: SOT 29340 SOS 27874 HAS SOPS 27874 HAS SOUS 5382 HAS SOUPS 5382 WITH SCORE 5409.874
AT ITER 2502 NEW BEST:: SOT 29340 SOS 27874 HAS SOPS 27874 HAS SOUS 5376 HAS SOUPS 5376 WITH SCORE 5403.874
AT ITER 2547 NEW BEST:: SOT 29340 SOS 27874 HAS SOPS 27874 HAS SOUS 5374 HAS SOUPS 5374 WITH SCORE 5401.874
AT ITER 2571 NEW BEST:: SOT 29334 SOS 27868 HAS SOPS 27868 HAS SOUS 5362 HAS SOUPS 5362 WITH SCORE 5389.868
AT ITER 2579 NEW BEST:: SOT 29334 SOS 27868 HAS SOPS 27868 HAS SOUS 5360 HAS SOUPS 5360 WITH SCORE 5387.868
AT ITER 2638 NEW BEST:: SOT 29332 SOS 27866 HAS SOPS 27866 HAS SOUS 5356 HAS SOUPS 5356 WITH SCORE 5383.866
AT ITER 2700 NEW BEST:: SOT 29332 SOS 27866 HAS SOPS 27866 HAS SOUS 5354 HAS SOUPS 5354 WITH SCORE 5381.866
AT ITER 2701 NEW BEST:: SOT 29318 SOS 27852 HAS SOPS 27852 HAS SOUS 5326 HAS SOUPS 5326 WITH SCORE 5353.852
AT ITER 2707 NEW BEST:: SOT 29304 SOS 27838 HAS SOPS 27838 HAS SOUS 5298 HAS SOUPS 5298 WITH SCORE 5325.838
AT ITER 2712 NEW BEST:: SOT 29286 SOS 27820 HAS SOPS 27820 HAS SOUS 5262 HAS SOUPS 5262 WITH SCORE 5289.82
AT ITER 2780 NEW BEST:: SOT 29286 SOS 27820 HAS SOPS 27820 HAS SOUS 5210 HAS SOUPS 5210 WITH SCORE 5237.82
AT ITER 2782 NEW BEST:: SOT 29284 SOS 27818 HAS SOPS 27818 HAS SOUS 5206 HAS SOUPS 5206 WITH SCORE 5233.818
AT ITER 2789 NEW BEST:: SOT 28794 SOS 27384 HAS SOPS 27384 HAS SOUS 4772 HAS SOUPS 4772 WITH SCORE 4799.384
AT ITER 2822 NEW BEST:: SOT 28794 SOS 27384 HAS SOPS 27384 HAS SOUS 4730 HAS SOUPS 4730 WITH SCORE 4757.384
AT ITER 2836 NEW BEST:: SOT 28794 SOS 27384 HAS SOPS 27384 HAS SOUS 4712 HAS SOUPS 4712 WITH SCORE 4739.384
AT ITER 2868 NEW BEST:: SOT 28782 SOS 27372 HAS SOPS 27372 HAS SOUS 4688 HAS SOUPS 4688 WITH SCORE 4715.372
AT ITER 2900 NEW BEST:: SOT 28770 SOS 27360 HAS SOPS 27360 HAS SOUS 4664 HAS SOUPS 4664 WITH SCORE 4691.36
AT ITER 2901 NEW BEST:: SOT 28770 SOS 27360 HAS SOPS 27360 HAS SOUS 4608 HAS SOUPS 4608 WITH SCORE 4635.36
AT ITER 2913 NEW BEST:: SOT 28770 SOS 27360 HAS SOPS 27360 HAS SOUS 4598 HAS SOUPS 4598 WITH SCORE 4625.36
AT ITER 2941 NEW BEST:: SOT 28474 SOS 27078 HAS SOPS 27078 HAS SOUS 4316 HAS SOUPS 4316 WITH SCORE 4343.078
AT ITER 2945 NEW BEST:: SOT 28474 SOS 25344 HAS SOPS 25344 HAS SOUS 4306 HAS SOUPS 4306 WITH SCORE 4331.344
AT ITER 2988 NEW BEST:: SOT 28472 SOS 25342 HAS SOPS 25342 HAS SOUS 4302 HAS SOUPS 4302 WITH SCORE 4327.342
AT ITER 2998 NEW BEST:: SOT 28462 SOS 25332 HAS SOPS 25332 HAS SOUS 4282 HAS SOUPS 4282 WITH SCORE 4307.332
AT ITER 3068 NEW BEST:: SOT 28454 SOS 25324 HAS SOPS 25324 HAS SOUS 4266 HAS SOUPS 4266 WITH SCORE 4291.324
AT ITER 3094 NEW BEST:: SOT 28442 SOS 25312 HAS SOPS 25312 HAS SOUS 4242 HAS SOUPS 4242 WITH SCORE 4267.312
AT ITER 3153 NEW BEST:: SOT 28438 SOS 25308 HAS SOPS 25308 HAS SOUS 4234 HAS SOUPS 4234 WITH SCORE 4259.308
AT ITER 3159 NEW BEST:: SOT 28148 SOS 25044 HAS SOPS 25044 HAS SOUS 3948 HAS SOUPS 3948 WITH SCORE 3973.044
AT ITER 3228 NEW BEST:: SOT 28146 SOS 25042 HAS SOPS 25042 HAS SOUS 3944 HAS SOUPS 3944 WITH SCORE 3969.042
AT ITER 3232 NEW BEST:: SOT 28126 SOS 25022 HAS SOPS 25022 HAS SOUS 3904 HAS SOUPS 3904 WITH SCORE 3929.022
AT ITER 3300 NEW BEST:: SOT 28120 SOS 25016 HAS SOPS 25016 HAS SOUS 3892 HAS SOUPS 3892 WITH SCORE 3917.016
AT ITER 3359 NEW BEST:: SOT 28110 SOS 25006 HAS SOPS 25006 HAS SOUS 3872 HAS SOUPS 3872 WITH SCORE 3897.006
AT ITER 3372 NEW BEST:: SOT 28108 SOS 25004 HAS SOPS 25004 HAS SOUS 3870 HAS SOUPS 3870 WITH SCORE 3895.004
AT ITER 3377 NEW BEST:: SOT 28106 SOS 25002 HAS SOPS 25002 HAS SOUS 3866 HAS SOUPS 3866 WITH SCORE 3891.002
AT ITER 3389 NEW BEST:: SOT 28080 SOS 24976 HAS SOPS 24976 HAS SOUS 3812 HAS SOUPS 3812 WITH SCORE 3836.976
AT ITER 3412 NEW BEST:: SOT 28076 SOS 24972 HAS SOPS 24972 HAS SOUS 3804 HAS SOUPS 3804 WITH SCORE 3828.972
AT ITER 3424 NEW BEST:: SOT 28072 SOS 24968 HAS SOPS 24968 HAS SOUS 3796 HAS SOUPS 3796 WITH SCORE 3820.968
AT ITER 3431 NEW BEST:: SOT 28070 SOS 24980 HAS SOPS 24980 HAS SOUS 3790 HAS SOUPS 3790 WITH SCORE 3814.98
AT ITER 3468 NEW BEST:: SOT 28060 SOS 24970 HAS SOPS 24970 HAS SOUS 3770 HAS SOUPS 3770 WITH SCORE 3794.97
AT ITER 3480 NEW BEST:: SOT 28056 SOS 24966 HAS SOPS 24966 HAS SOUS 3762 HAS SOUPS 3762 WITH SCORE 3786.966
AT ITER 3485 NEW BEST:: SOT 28046 SOS 24956 HAS SOPS 24956 HAS SOUS 3742 HAS SOUPS 3742 WITH SCORE 3766.956
AT ITER 3546 NEW BEST:: SOT 28046 SOS 24956 HAS SOPS 24956 HAS SOUS 3740 HAS SOUPS 3740 WITH SCORE 3764.956
AT ITER 3577 NEW BEST:: SOT 27932 SOS 24884 HAS SOPS 24884 HAS SOUS 3668 HAS SOUPS 3668 WITH SCORE 3692.884
AT ITER 3602 NEW BEST:: SOT 27930 SOS 24882 HAS SOPS 24882 HAS SOUS 3666 HAS SOUPS 3666 WITH SCORE 3690.882
AT ITER 3664 NEW BEST:: SOT 27916 SOS 24870 HAS SOPS 24870 HAS SOUS 3636 HAS SOUPS 3636 WITH SCORE 3660.87
AT ITER 3677 NEW BEST:: SOT 27916 SOS 24870 HAS SOPS 24870 HAS SOUS 3634 HAS SOUPS 3634 WITH SCORE 3658.87
AT ITER 3709 NEW BEST:: SOT 27910 SOS 24864 HAS SOPS 24864 HAS SOUS 3622 HAS SOUPS 3622 WITH SCORE 3646.864
AT ITER 3715 NEW BEST:: SOT 27902 SOS 24856 HAS SOPS 24856 HAS SOUS 3606 HAS SOUPS 3606 WITH SCORE 3630.856
AT ITER 3735 NEW BEST:: SOT 27920 SOS 24874 HAS SOPS 24874 HAS SOUS 3602 HAS SOUPS 3602 WITH SCORE 3626.874
AT ITER 3772 NEW BEST:: SOT 27806 SOS 24802 HAS SOPS 24802 HAS SOUS 3502 HAS SOUPS 3502 WITH SCORE 3526.802
AT ITER 3780 NEW BEST:: SOT 27788 SOS 24784 HAS SOPS 24784 HAS SOUS 3466 HAS SOUPS 3466 WITH SCORE 3490.784
AT ITER 3796 NEW BEST:: SOT 27788 SOS 24806 HAS SOPS 24806 HAS SOUS 3452 HAS SOUPS 3452 WITH SCORE 3476.806
AT ITER 3817 NEW BEST:: SOT 27514 SOS 24594 HAS SOPS 24594 HAS SOUS 3240 HAS SOUPS 3240 WITH SCORE 3264.594
AT ITER 3835 NEW BEST:: SOT 27504 SOS 24584 HAS SOPS 24584 HAS SOUS 3220 HAS SOUPS 3220 WITH SCORE 3244.584
AT ITER 3874 NEW BEST:: SOT 27500 SOS 24580 HAS SOPS 24580 HAS SOUS 3212 HAS SOUPS 3212 WITH SCORE 3236.58
AT ITER 3885 NEW BEST:: SOT 27500 SOS 24576 HAS SOPS 24576 HAS SOUS 3208 HAS SOUPS 3208 WITH SCORE 3232.576
AT ITER 3896 NEW BEST:: SOT 27498 SOS 24574 HAS SOPS 24574 HAS SOUS 3204 HAS SOUPS 3204 WITH SCORE 3228.574
AT ITER 3924 NEW BEST:: SOT 27496 SOS 24572 HAS SOPS 24572 HAS SOUS 3200 HAS SOUPS 3200 WITH SCORE 3224.572
AT ITER 3941 NEW BEST:: SOT 27480 SOS 24556 HAS SOPS 24556 HAS SOUS 3158 HAS SOUPS 3158 WITH SCORE 3182.556
AT ITER 3987 NEW BEST:: SOT 27472 SOS 24548 HAS SOPS 24548 HAS SOUS 3142 HAS SOUPS 3142 WITH SCORE 3166.548
AT ITER 4061 NEW BEST:: SOT 27472 SOS 24548 HAS SOPS 24548 HAS SOUS 3138 HAS SOUPS 3138 WITH SCORE 3162.548
AT ITER 4065 NEW BEST:: SOT 27472 SOS 24548 HAS SOPS 24548 HAS SOUS 3136 HAS SOUPS 3136 WITH SCORE 3160.548
AT ITER 4086 NEW BEST:: SOT 27462 SOS 24538 HAS SOPS 24538 HAS SOUS 3126 HAS SOUPS 3126 WITH SCORE 3150.538
AT ITER 4114 NEW BEST:: SOT 27460 SOS 24536 HAS SOPS 24536 HAS SOUS 3122 HAS SOUPS 3122 WITH SCORE 3146.536
AT ITER 4234 NEW BEST:: SOT 27454 SOS 24530 HAS SOPS 24530 HAS SOUS 3116 HAS SOUPS 3116 WITH SCORE 3140.53
AT ITER 4385 NEW BEST:: SOT 27446 SOS 24522 HAS SOPS 24522 HAS SOUS 3100 HAS SOUPS 3100 WITH SCORE 3124.522
AT ITER 4396 NEW BEST:: SOT 27440 SOS 24516 HAS SOPS 24516 HAS SOUS 3088 HAS SOUPS 3088 WITH SCORE 3112.516
AT ITER 4397 NEW BEST:: SOT 27426 SOS 24502 HAS SOPS 24502 HAS SOUS 3060 HAS SOUPS 3060 WITH SCORE 3084.502
AT ITER 4427 NEW BEST:: SOT 27412 SOS 24488 HAS SOPS 24488 HAS SOUS 3046 HAS SOUPS 3046 WITH SCORE 3070.488
AT ITER 4443 NEW BEST:: SOT 27408 SOS 24484 HAS SOPS 24484 HAS SOUS 3038 HAS SOUPS 3038 WITH SCORE 3062.484
AT ITER 4444 NEW BEST:: SOT 27406 SOS 24482 HAS SOPS 24482 HAS SOUS 3034 HAS SOUPS 3034 WITH SCORE 3058.482
AT ITER 4558 NEW BEST:: SOT 27398 SOS 24474 HAS SOPS 24474 HAS SOUS 3018 HAS SOUPS 3018 WITH SCORE 3042.474
AT ITER 4565 NEW BEST:: SOT 27396 SOS 24472 HAS SOPS 24472 HAS SOUS 3014 HAS SOUPS 3014 WITH SCORE 3038.472
AT ITER 4603 NEW BEST:: SOT 27368 SOS 24444 HAS SOPS 24444 HAS SOUS 2986 HAS SOUPS 2986 WITH SCORE 3010.444
AT ITER 4668 NEW BEST:: SOT 27366 SOS 24442 HAS SOPS 24442 HAS SOUS 2982 HAS SOUPS 2982 WITH SCORE 3006.442
AT ITER 4679 NEW BEST:: SOT 27362 SOS 24438 HAS SOPS 24438 HAS SOUS 2974 HAS SOUPS 2974 WITH SCORE 2998.438
AT ITER 4680 NEW BEST:: SOT 27346 SOS 26788 HAS SOPS 26788 HAS SOUS 2958 HAS SOUPS 2958 WITH SCORE 2984.788
AT ITER 4681 NEW BEST:: SOT 27340 SOS 26782 HAS SOPS 26782 HAS SOUS 2946 HAS SOUPS 2946 WITH SCORE 2972.782
AT ITER 4682 NEW BEST:: SOT 27338 SOS 26780 HAS SOPS 26780 HAS SOUS 2942 HAS SOUPS 2942 WITH SCORE 2968.78
AT ITER 4690 NEW BEST:: SOT 27334 SOS 26776 HAS SOPS 26776 HAS SOUS 2928 HAS SOUPS 2928 WITH SCORE 2954.776
AT ITER 4732 NEW BEST:: SOT 27338 SOS 26780 HAS SOPS 26780 HAS SOUS 2922 HAS SOUPS 2922 WITH SCORE 2948.78
AT ITER 4754 NEW BEST:: SOT 27320 SOS 26762 HAS SOPS 26762 HAS SOUS 2886 HAS SOUPS 2886 WITH SCORE 2912.762
AT ITER 4769 NEW BEST:: SOT 27302 SOS 26744 HAS SOPS 26744 HAS SOUS 2850 HAS SOUPS 2850 WITH SCORE 2876.744
AT ITER 4837 NEW BEST:: SOT 27298 SOS 26740 HAS SOPS 26740 HAS SOUS 2842 HAS SOUPS 2842 WITH SCORE 2868.74
AT ITER 4949 NEW BEST:: SOT 27292 SOS 26734 HAS SOPS 26734 HAS SOUS 2830 HAS SOUPS 2830 WITH SCORE 2856.734
AT ITER 4953 NEW BEST:: SOT 27306 SOS 26748 HAS SOPS 26748 HAS SOUS 2800 HAS SOUPS 2800 WITH SCORE 2826.748
AT ITER 4973 NEW BEST:: SOT 27298 SOS 26740 HAS SOPS 26740 HAS SOUS 2784 HAS SOUPS 2784 WITH SCORE 2810.74
AT ITER 4986 NEW BEST:: SOT 27296 SOS 26738 HAS SOPS 26738 HAS SOUS 2780 HAS SOUPS 2780 WITH SCORE 2806.738
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: RwMutex-PT-r0010w0100-CTLCardinality-00 (AF((EU( potential( ( 3 ) <= (tk(P64)) ),potential( ( 3 ) <= (tk(P218)) ) ))))
PROPERTY: RwMutex-PT-r0010w0100-CTLCardinality-01 (! potential( ( 3 ) <= (tk(P92)) ))
PROPERTY: RwMutex-PT-r0010w0100-CTLCardinality-02 (EU( (EF(potential( ( 2 ) <= (tk(P125)) ))),( potential( (tk(P108)) <= (tk(P23)) ) | ( potential( ( 2 ) <= (tk(P212)) ) & potential( ( 2 ) <= (tk(P43)) ) ) ) ))
PROPERTY: RwMutex-PT-r0010w0100-CTLCardinality-03 ( (AG( ( (! potential( (tk(P154)) <= (tk(P100)) )) & ( potential( (tk(P207)) <= (tk(P118)) ) & potential( ( 2 ) <= (tk(P72)) ) ) ))) & ( ( potential( (tk(P63)) <= (tk(P71)) ) & (! (! potential( ( 2 ) <= (tk(P105)) ))) ) | (! potential( (tk(P49)) <= (tk(P64)) )) ) )
PROPERTY: RwMutex-PT-r0010w0100-CTLCardinality-04 (AX( potential( (tk(P216)) <= (tk(P79)) )))
PROPERTY: RwMutex-PT-r0010w0100-CTLCardinality-05 ( (EU( (! potential( ( 3 ) <= (tk(P225)) )),( potential( ( 2 ) <= (tk(P151)) ) & potential( (tk(P128)) <= (tk(P152)) ) ) )) & potential( (tk(P42)) <= (tk(P205)) ) )
PROPERTY: RwMutex-PT-r0010w0100-CTLCardinality-06 (AF((! (EX( potential( (tk(P152)) <= (tk(P178)) ))))))
PROPERTY: RwMutex-PT-r0010w0100-CTLCardinality-07 (AX( ( ( ( potential( (tk(P150)) <= (tk(P82)) ) | potential( ( 1 ) <= (tk(P56)) ) ) & (! potential( ( 2 ) <= (tk(P182)) )) ) | (! (! potential( (tk(P176)) <= (tk(P138)) ))) )))
PROPERTY: RwMutex-PT-r0010w0100-CTLCardinality-08 (AG( ( ( ( potential( ( 2 ) <= (tk(P170)) ) & potential( (tk(P55)) <= (tk(P144)) ) ) & potential( ( 3 ) <= (tk(P51)) ) ) & (! ( potential( ( 2 ) <= (tk(P204)) ) | potential( (tk(P82)) <= (tk(P208)) ) )) )))
PROPERTY: RwMutex-PT-r0010w0100-CTLCardinality-09 (! (EU( ( potential( ( 3 ) <= (tk(P142)) ) | potential( (tk(P79)) <= (tk(P120)) ) ),(! potential( (tk(P87)) <= (tk(P17)) )) )))
PROPERTY: RwMutex-PT-r0010w0100-CTLCardinality-10 potential( ( 1 ) <= (tk(P71)) )
PROPERTY: RwMutex-PT-r0010w0100-CTLCardinality-11 potential( (tk(P84)) <= (tk(P52)) )
PROPERTY: RwMutex-PT-r0010w0100-CTLCardinality-12 (! potential( ( 3 ) <= (tk(P117)) ))
PROPERTY: RwMutex-PT-r0010w0100-CTLCardinality-13 ( ( (! potential( ( 1 ) <= (tk(P31)) )) & ( ( ( potential( (tk(P97)) <= (tk(P165)) ) | potential( ( 3 ) <= (tk(P150)) ) ) & ( potential( ( 3 ) <= (tk(P213)) ) | potential( ( 1 ) <= (tk(P181)) ) ) ) | (AX( potential( (tk(P204)) <= (tk(P166)) ))) ) ) & (EX( potential( (tk(P221)) <= (tk(P45)) ))) )
PROPERTY: RwMutex-PT-r0010w0100-CTLCardinality-14 (EX( (AX( ( potential( (tk(P59)) <= (tk(P200)) ) | potential( ( 2 ) <= (tk(P84)) ) )))))
PROPERTY: RwMutex-PT-r0010w0100-CTLCardinality-15 ( ( ( ( ( potential( (tk(P121)) <= (tk(P120)) ) | potential( (tk(P151)) <= (tk(P52)) ) ) | (! potential( (tk(P47)) <= (tk(P158)) )) ) & (EX( potential( ( 3 ) <= (tk(P201)) ))) ) | ( (! ( potential( (tk(P49)) <= (tk(P183)) ) & potential( ( 1 ) <= (tk(P43)) ) )) & (! ( potential( (tk(P76)) <= (tk(P140)) ) | potential( ( 2 ) <= (tk(P230)) ) )) ) ) & ( ( ( potential( ( 2 ) <= (tk(P112)) ) & (! potential( ( 2 ) <= (tk(P98)) )) ) & (EG( potential( ( 3 ) <= (tk(P188)) ))) ) & (! (EX( potential( (tk(P36)) <= (tk(P57)) )))) ) )
FORMULA RwMutex-PT-r0010w0100-CTLCardinality-00 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0010w0100-CTLCardinality-01 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0010w0100-CTLCardinality-02 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0010w0100-CTLCardinality-03 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0010w0100-CTLCardinality-04 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0010w0100-CTLCardinality-05 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0010w0100-CTLCardinality-06 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0010w0100-CTLCardinality-07 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0010w0100-CTLCardinality-08 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0010w0100-CTLCardinality-09 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0010w0100-CTLCardinality-10 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0010w0100-CTLCardinality-11 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0010w0100-CTLCardinality-12 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0010w0100-CTLCardinality-13 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS

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="RwMutex-PT-r0010w0100"
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 RwMutex-PT-r0010w0100, 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 r153-oct2-158972910000267"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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