About the Execution of smart for NeighborGrid-PT-d5n4m1t35
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15768.560 | 3600000.00 | 3600049.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250200212.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 NeighborGrid-PT-d5n4m1t35, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250200212
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 59M
-rw-r--r-- 1 mcc users 3.8K Apr 27 15:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 27 15:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 27 15:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K Apr 27 15:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 15:14 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Apr 27 15:14 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.4K Apr 27 15:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 27 15:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Apr 27 15:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 27 15:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.1K Apr 27 15:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 27 15:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Apr 27 15:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Apr 27 15:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 equiv_col
-rw-r--r-- 1 mcc users 10 Apr 27 15:14 instance
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 iscolored
-rwxr-xr-x 1 mcc users 59M Apr 27 15:14 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 NeighborGrid-PT-d5n4m1t35-CTLFireability-00
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLFireability-01
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLFireability-02
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLFireability-03
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLFireability-04
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLFireability-05
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLFireability-06
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLFireability-07
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLFireability-08
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLFireability-09
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLFireability-10
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLFireability-11
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLFireability-12
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLFireability-13
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLFireability-14
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589638581152
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NeighborGrid (PT), instance d5n4m1t35
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: 1024 places, 196608 transitions, 393216 arcs.
AT ITER 0 NEW BEST:: SOT 131863184 SOS 62399776 HAS SOPS 62399776 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266919.776
AT ITER 3 NEW BEST:: SOT 131860558 SOS 62394524 HAS SOPS 62394524 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266914.524
AT ITER 6 NEW BEST:: SOT 131856132 SOS 62385672 HAS SOPS 62385672 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266905.672
AT ITER 11 NEW BEST:: SOT 131849772 SOS 62372952 HAS SOPS 62372952 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266892.952
AT ITER 13 NEW BEST:: SOT 131837120 SOS 62347648 HAS SOPS 62347648 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266867.648
AT ITER 14 NEW BEST:: SOT 131829598 SOS 62332604 HAS SOPS 62332604 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266852.604
AT ITER 15 NEW BEST:: SOT 131820880 SOS 62315168 HAS SOPS 62315168 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266835.168
AT ITER 20 NEW BEST:: SOT 131801414 SOS 62276236 HAS SOPS 62276236 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266796.236
AT ITER 31 NEW BEST:: SOT 131796042 SOS 62265492 HAS SOPS 62265492 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266785.492
AT ITER 34 NEW BEST:: SOT 131795852 SOS 62265112 HAS SOPS 62265112 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266785.112
AT ITER 36 NEW BEST:: SOT 131793952 SOS 62261312 HAS SOPS 62261312 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266781.312
AT ITER 41 NEW BEST:: SOT 131778050 SOS 62229508 HAS SOPS 62229508 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266749.508
AT ITER 42 NEW BEST:: SOT 131765602 SOS 62204612 HAS SOPS 62204612 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266724.612
AT ITER 45 NEW BEST:: SOT 131747824 SOS 62169056 HAS SOPS 62169056 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266689.056
AT ITER 46 NEW BEST:: SOT 131738408 SOS 62150224 HAS SOPS 62150224 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266670.224
AT ITER 52 NEW BEST:: SOT 131737978 SOS 62149364 HAS SOPS 62149364 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266669.364
AT ITER 54 NEW BEST:: SOT 131736128 SOS 62145664 HAS SOPS 62145664 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266665.664
AT ITER 55 NEW BEST:: SOT 131728990 SOS 62131388 HAS SOPS 62131388 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266651.388
AT ITER 57 NEW BEST:: SOT 131728634 SOS 62130676 HAS SOPS 62130676 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266650.676
AT ITER 58 NEW BEST:: SOT 131727496 SOS 62128400 HAS SOPS 62128400 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266648.4
AT ITER 59 NEW BEST:: SOT 131720542 SOS 62114492 HAS SOPS 62114492 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266634.492
AT ITER 62 NEW BEST:: SOT 131714102 SOS 62101612 HAS SOPS 62101612 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266621.612
AT ITER 65 NEW BEST:: SOT 131712548 SOS 62098504 HAS SOPS 62098504 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266618.504
AT ITER 66 NEW BEST:: SOT 131711278 SOS 62095964 HAS SOPS 62095964 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266615.964
AT ITER 69 NEW BEST:: SOT 131702622 SOS 62078652 HAS SOPS 62078652 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266598.652
AT ITER 70 NEW BEST:: SOT 131697552 SOS 62068512 HAS SOPS 62068512 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266588.512
AT ITER 73 NEW BEST:: SOT 131695174 SOS 62063756 HAS SOPS 62063756 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266583.756
AT ITER 75 NEW BEST:: SOT 131694374 SOS 62062156 HAS SOPS 62062156 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266582.156
AT ITER 79 NEW BEST:: SOT 131686408 SOS 62046224 HAS SOPS 62046224 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266566.224
AT ITER 81 NEW BEST:: SOT 131679076 SOS 62031560 HAS SOPS 62031560 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266551.56
AT ITER 85 NEW BEST:: SOT 131674028 SOS 62021464 HAS SOPS 62021464 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266541.464
AT ITER 86 NEW BEST:: SOT 131672464 SOS 62018336 HAS SOPS 62018336 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266538.336
AT ITER 91 NEW BEST:: SOT 131663404 SOS 62000216 HAS SOPS 62000216 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266520.216
AT ITER 100 NEW BEST:: SOT 131647916 SOS 61969240 HAS SOPS 61969240 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266489.24
AT ITER 102 NEW BEST:: SOT 131642574 SOS 61958556 HAS SOPS 61958556 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266478.556
AT ITER 103 NEW BEST:: SOT 131618660 SOS 61910728 HAS SOPS 61910728 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266430.7280000001
AT ITER 105 NEW BEST:: SOT 131618660 SOS 61910728 HAS SOPS 61910728 HAS SOUS 1204486 HAS SOUPS 1204486 WITH SCORE 1266396.7280000001
AT ITER 106 NEW BEST:: SOT 131617040 SOS 61907488 HAS SOPS 61907488 HAS SOUS 1204486 HAS SOUPS 1204486 WITH SCORE 1266393.488
AT ITER 111 NEW BEST:: SOT 131599644 SOS 61872696 HAS SOPS 61872696 HAS SOUS 1204486 HAS SOUPS 1204486 WITH SCORE 1266358.696
AT ITER 113 NEW BEST:: SOT 131599322 SOS 61872052 HAS SOPS 61872052 HAS SOUS 1204486 HAS SOUPS 1204486 WITH SCORE 1266358.052
AT ITER 114 NEW BEST:: SOT 131594708 SOS 61862824 HAS SOPS 61862824 HAS SOUS 1204486 HAS SOUPS 1204486 WITH SCORE 1266348.824
AT ITER 119 NEW BEST:: SOT 131589954 SOS 61853316 HAS SOPS 61853316 HAS SOUS 1204486 HAS SOUPS 1204486 WITH SCORE 1266339.316
AT ITER 126 NEW BEST:: SOT 131571240 SOS 61815888 HAS SOPS 61815888 HAS SOUS 1204486 HAS SOUPS 1204486 WITH SCORE 1266301.888
AT ITER 131 NEW BEST:: SOT 131566690 SOS 61806788 HAS SOPS 61806788 HAS SOUS 1204486 HAS SOUPS 1204486 WITH SCORE 1266292.788
AT ITER 134 NEW BEST:: SOT 131563362 SOS 61800132 HAS SOPS 61800132 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1266278.132
AT ITER 135 NEW BEST:: SOT 131560372 SOS 61794152 HAS SOPS 61794152 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1266272.152
AT ITER 144 NEW BEST:: SOT 131556866 SOS 61787140 HAS SOPS 61787140 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1266265.14
AT ITER 146 NEW BEST:: SOT 131556672 SOS 61786752 HAS SOPS 61786752 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1266264.752
AT ITER 148 NEW BEST:: SOT 131552590 SOS 61778588 HAS SOPS 61778588 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1266256.588
AT ITER 149 NEW BEST:: SOT 131552350 SOS 61778108 HAS SOPS 61778108 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1266256.108
AT ITER 152 NEW BEST:: SOT 131551086 SOS 61775580 HAS SOPS 61775580 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1266253.58
AT ITER 153 NEW BEST:: SOT 131545854 SOS 61765116 HAS SOPS 61765116 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1266243.116
AT ITER 158 NEW BEST:: SOT 131542388 SOS 61758184 HAS SOPS 61758184 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1266236.184
AT ITER 160 NEW BEST:: SOT 131521874 SOS 61717156 HAS SOPS 61717156 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1266195.156
AT ITER 164 NEW BEST:: SOT 131519134 SOS 61711676 HAS SOPS 61711676 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1266189.676
AT ITER 167 NEW BEST:: SOT 131518478 SOS 61710364 HAS SOPS 61710364 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1266188.364
AT ITER 169 NEW BEST:: SOT 131516170 SOS 61705748 HAS SOPS 61705748 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1266183.748
AT ITER 175 NEW BEST:: SOT 131512994 SOS 61699396 HAS SOPS 61699396 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1266177.396
AT ITER 177 NEW BEST:: SOT 131512604 SOS 61698616 HAS SOPS 61698616 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1266176.616
AT ITER 184 NEW BEST:: SOT 131507310 SOS 61688028 HAS SOPS 61688028 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1266166.028
AT ITER 191 NEW BEST:: SOT 131503750 SOS 61680908 HAS SOPS 61680908 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1266158.908
AT ITER 195 NEW BEST:: SOT 131491578 SOS 61656564 HAS SOPS 61656564 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1266134.564
AT ITER 199 NEW BEST:: SOT 131489882 SOS 61653172 HAS SOPS 61653172 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1266131.172
AT ITER 200 NEW BEST:: SOT 131486390 SOS 61646188 HAS SOPS 61646188 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1266124.188
AT ITER 206 NEW BEST:: SOT 131482190 SOS 61637788 HAS SOPS 61637788 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1266115.788
AT ITER 207 NEW BEST:: SOT 131478594 SOS 61630596 HAS SOPS 61630596 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1266108.596
AT ITER 218 NEW BEST:: SOT 131478170 SOS 61629748 HAS SOPS 61629748 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1266107.748
AT ITER 223 NEW BEST:: SOT 131477812 SOS 61629032 HAS SOPS 61629032 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1266107.032
AT ITER 224 NEW BEST:: SOT 131471742 SOS 61616892 HAS SOPS 61616892 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1266094.892
AT ITER 237 NEW BEST:: SOT 131469772 SOS 61612952 HAS SOPS 61612952 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1266090.952
AT ITER 243 NEW BEST:: SOT 131468720 SOS 61610848 HAS SOPS 61610848 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1266088.848
AT ITER 246 NEW BEST:: SOT 131460448 SOS 61594304 HAS SOPS 61594304 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1266072.304
AT ITER 254 NEW BEST:: SOT 131459892 SOS 61593192 HAS SOPS 61593192 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1266071.192
AT ITER 255 NEW BEST:: SOT 131458302 SOS 61590012 HAS SOPS 61590012 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1266068.012
AT ITER 262 NEW BEST:: SOT 131454384 SOS 61582176 HAS SOPS 61582176 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1266060.176
AT ITER 272 NEW BEST:: SOT 131446966 SOS 61567340 HAS SOPS 61567340 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1266045.34
AT ITER 274 NEW BEST:: SOT 131438194 SOS 61549796 HAS SOPS 61549796 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1266027.796
AT ITER 283 NEW BEST:: SOT 131435042 SOS 61543492 HAS SOPS 61543492 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1266021.492
AT ITER 284 NEW BEST:: SOT 131432190 SOS 61537788 HAS SOPS 61537788 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1266015.788
AT ITER 287 NEW BEST:: SOT 131428512 SOS 61530432 HAS SOPS 61530432 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1266008.432
AT ITER 291 NEW BEST:: SOT 131426268 SOS 61525944 HAS SOPS 61525944 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1266003.944
AT ITER 297 NEW BEST:: SOT 131426212 SOS 61525832 HAS SOPS 61525832 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1266003.832
AT ITER 298 NEW BEST:: SOT 131424610 SOS 61522628 HAS SOPS 61522628 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1266000.628
AT ITER 300 NEW BEST:: SOT 131420772 SOS 61514952 HAS SOPS 61514952 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1265992.952
AT ITER 309 NEW BEST:: SOT 131420336 SOS 61514080 HAS SOPS 61514080 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1265992.08
AT ITER 312 NEW BEST:: SOT 131413168 SOS 61499744 HAS SOPS 61499744 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1265977.744
AT ITER 315 NEW BEST:: SOT 131411408 SOS 61496224 HAS SOPS 61496224 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1265974.224
AT ITER 331 NEW BEST:: SOT 131405098 SOS 61483604 HAS SOPS 61483604 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1265961.604
AT ITER 332 NEW BEST:: SOT 131405072 SOS 61483552 HAS SOPS 61483552 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1265961.552
AT ITER 337 NEW BEST:: SOT 131402412 SOS 61478232 HAS SOPS 61478232 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1265956.232
AT ITER 339 NEW BEST:: SOT 131402336 SOS 61478080 HAS SOPS 61478080 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1265956.08
AT ITER 342 NEW BEST:: SOT 131402038 SOS 61477484 HAS SOPS 61477484 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1265955.484
AT ITER 350 NEW BEST:: SOT 131397476 SOS 61468360 HAS SOPS 61468360 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1265946.36
AT ITER 351 NEW BEST:: SOT 131394408 SOS 61462224 HAS SOPS 61462224 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1265940.224
AT ITER 353 NEW BEST:: SOT 131394346 SOS 61462100 HAS SOPS 61462100 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1265940.1
AT ITER 354 NEW BEST:: SOT 131389674 SOS 61452756 HAS SOPS 61452756 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1265930.756
AT ITER 357 NEW BEST:: SOT 131384256 SOS 61441920 HAS SOPS 61441920 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1265919.92
AT ITER 360 NEW BEST:: SOT 131343730 SOS 61360868 HAS SOPS 61360868 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1265838.868
AT ITER 363 NEW BEST:: SOT 131338772 SOS 61350952 HAS SOPS 61350952 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1265828.952
AT ITER 366 NEW BEST:: SOT 131331610 SOS 61336628 HAS SOPS 61336628 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1265814.628
AT ITER 372 NEW BEST:: SOT 131331020 SOS 61335448 HAS SOPS 61335448 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1265813.448
AT ITER 375 NEW BEST:: SOT 131323044 SOS 61319496 HAS SOPS 61319496 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1265797.496
AT ITER 378 NEW BEST:: SOT 131320620 SOS 61314648 HAS SOPS 61314648 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1265792.648
AT ITER 380 NEW BEST:: SOT 131292064 SOS 61257536 HAS SOPS 61257536 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1265735.536
AT ITER 381 NEW BEST:: SOT 131290722 SOS 61254852 HAS SOPS 61254852 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1265732.852
AT ITER 384 NEW BEST:: SOT 131284514 SOS 61242436 HAS SOPS 61242436 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1265720.436
AT ITER 390 NEW BEST:: SOT 131281296 SOS 61236000 HAS SOPS 61236000 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1265714.0
AT ITER 394 NEW BEST:: SOT 131268554 SOS 61210516 HAS SOPS 61210516 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1265688.516
AT ITER 397 NEW BEST:: SOT 131268550 SOS 61210508 HAS SOPS 61210508 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1265688.508
AT ITER 402 NEW BEST:: SOT 131266168 SOS 61205744 HAS SOPS 61205744 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1265683.744
AT ITER 403 NEW BEST:: SOT 131265424 SOS 61204256 HAS SOPS 61204256 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1265682.256
AT ITER 405 NEW BEST:: SOT 131264898 SOS 61203204 HAS SOPS 61203204 HAS SOUS 1204478 HAS SOUPS 1204478 WITH SCORE 1265681.204
AT ITER 410 NEW BEST:: SOT 131317918 SOS 61309244 HAS SOPS 61309244 HAS SOUS 1201322 HAS SOUPS 1201322 WITH SCORE 1262631.244
AT ITER 415 NEW BEST:: SOT 131312182 SOS 61297772 HAS SOPS 61297772 HAS SOUS 1201322 HAS SOUPS 1201322 WITH SCORE 1262619.772
AT ITER 416 NEW BEST:: SOT 131312108 SOS 61297624 HAS SOPS 61297624 HAS SOUS 1201322 HAS SOUPS 1201322 WITH SCORE 1262619.624
AT ITER 420 NEW BEST:: SOT 131304334 SOS 61282076 HAS SOPS 61282076 HAS SOUS 1201322 HAS SOUPS 1201322 WITH SCORE 1262604.076
AT ITER 424 NEW BEST:: SOT 131293800 SOS 61261008 HAS SOPS 61261008 HAS SOUS 1201322 HAS SOUPS 1201322 WITH SCORE 1262583.008
AT ITER 427 NEW BEST:: SOT 131292192 SOS 61257792 HAS SOPS 61257792 HAS SOUS 1201322 HAS SOUPS 1201322 WITH SCORE 1262579.792
AT ITER 429 NEW BEST:: SOT 131288962 SOS 61251332 HAS SOPS 61251332 HAS SOUS 1201322 HAS SOUPS 1201322 WITH SCORE 1262573.332
AT ITER 436 NEW BEST:: SOT 131284504 SOS 61242416 HAS SOPS 61242416 HAS SOUS 1201322 HAS SOUPS 1201322 WITH SCORE 1262564.416
AT ITER 437 NEW BEST:: SOT 131283530 SOS 61240468 HAS SOPS 61240468 HAS SOUS 1201322 HAS SOUPS 1201322 WITH SCORE 1262562.468
AT ITER 442 NEW BEST:: SOT 131280212 SOS 61233832 HAS SOPS 61233832 HAS SOUS 1201322 HAS SOUPS 1201322 WITH SCORE 1262555.832
AT ITER 447 NEW BEST:: SOT 131278130 SOS 61229668 HAS SOPS 61229668 HAS SOUS 1201322 HAS SOUPS 1201322 WITH SCORE 1262551.668
AT ITER 457 NEW BEST:: SOT 131269660 SOS 61212728 HAS SOPS 61212728 HAS SOUS 1201322 HAS SOUPS 1201322 WITH SCORE 1262534.7280000001
AT ITER 460 NEW BEST:: SOT 131253890 SOS 61181188 HAS SOPS 61181188 HAS SOUS 1201322 HAS SOUPS 1201322 WITH SCORE 1262503.188
AT ITER 461 NEW BEST:: SOT 131252432 SOS 61178272 HAS SOPS 61178272 HAS SOUS 1201322 HAS SOUPS 1201322 WITH SCORE 1262500.272
AT ITER 462 NEW BEST:: SOT 131244678 SOS 61162764 HAS SOPS 61162764 HAS SOUS 1201322 HAS SOUPS 1201322 WITH SCORE 1262484.764
AT ITER 483 NEW BEST:: SOT 131243736 SOS 61160880 HAS SOPS 61160880 HAS SOUS 1201322 HAS SOUPS 1201322 WITH SCORE 1262482.88
AT ITER 484 NEW BEST:: SOT 131237322 SOS 61148052 HAS SOPS 61148052 HAS SOUS 1201322 HAS SOUPS 1201322 WITH SCORE 1262470.052
AT ITER 486 NEW BEST:: SOT 131235226 SOS 61143860 HAS SOPS 61143860 HAS SOUS 1201322 HAS SOUPS 1201322 WITH SCORE 1262465.86
AT ITER 487 NEW BEST:: SOT 131229430 SOS 61132268 HAS SOPS 61132268 HAS SOUS 1201322 HAS SOUPS 1201322 WITH SCORE 1262454.268
AT ITER 501 NEW BEST:: SOT 131229426 SOS 61132260 HAS SOPS 61132260 HAS SOUS 1201322 HAS SOUPS 1201322 WITH SCORE 1262454.26
AT ITER 510 NEW BEST:: SOT 131227594 SOS 61128596 HAS SOPS 61128596 HAS SOUS 1201322 HAS SOUPS 1201322 WITH SCORE 1262450.596
AT ITER 511 NEW BEST:: SOT 131222420 SOS 61118248 HAS SOPS 61118248 HAS SOUS 1201322 HAS SOUPS 1201322 WITH SCORE 1262440.248
AT ITER 516 NEW BEST:: SOT 131217794 SOS 61108996 HAS SOPS 61108996 HAS SOUS 1201322 HAS SOUPS 1201322 WITH SCORE 1262430.996
AT ITER 521 NEW BEST:: SOT 131214490 SOS 61102388 HAS SOPS 61102388 HAS SOUS 1201322 HAS SOUPS 1201322 WITH SCORE 1262424.388
AT ITER 535 NEW BEST:: SOT 131212710 SOS 61098828 HAS SOPS 61098828 HAS SOUS 1201322 HAS SOUPS 1201322 WITH SCORE 1262420.828
AT ITER 538 NEW BEST:: SOT 131207566 SOS 61088540 HAS SOPS 61088540 HAS SOUS 1201322 HAS SOUPS 1201322 WITH SCORE 1262410.54
AT ITER 539 NEW BEST:: SOT 131204488 SOS 61082384 HAS SOPS 61082384 HAS SOUS 1201322 HAS SOUPS 1201322 WITH SCORE 1262404.384
AT ITER 541 NEW BEST:: SOT 131203726 SOS 61080860 HAS SOPS 61080860 HAS SOUS 1201322 HAS SOUPS 1201322 WITH SCORE 1262402.86
AT ITER 542 NEW BEST:: SOT 131197184 SOS 61067776 HAS SOPS 61067776 HAS SOUS 1201322 HAS SOUPS 1201322 WITH SCORE 1262389.776
AT ITER 546 NEW BEST:: SOT 131207484 SOS 61088376 HAS SOPS 61088376 HAS SOUS 1201276 HAS SOUPS 1201276 WITH SCORE 1262364.376
AT ITER 548 NEW BEST:: SOT 131202836 SOS 61079080 HAS SOPS 61079080 HAS SOUS 1201276 HAS SOUPS 1201276 WITH SCORE 1262355.08
AT ITER 552 NEW BEST:: SOT 131198320 SOS 61070048 HAS SOPS 61070048 HAS SOUS 1201276 HAS SOUPS 1201276 WITH SCORE 1262346.048
AT ITER 554 NEW BEST:: SOT 131189112 SOS 61051632 HAS SOPS 61051632 HAS SOUS 1201276 HAS SOUPS 1201276 WITH SCORE 1262327.632
AT ITER 557 NEW BEST:: SOT 131186536 SOS 61046480 HAS SOPS 61046480 HAS SOUS 1201276 HAS SOUPS 1201276 WITH SCORE 1262322.48
AT ITER 560 NEW BEST:: SOT 131171182 SOS 61015772 HAS SOPS 61015772 HAS SOUS 1201276 HAS SOUPS 1201276 WITH SCORE 1262291.772
AT ITER 567 NEW BEST:: SOT 131171100 SOS 61015608 HAS SOPS 61015608 HAS SOUS 1201276 HAS SOUPS 1201276 WITH SCORE 1262291.608
AT ITER 581 NEW BEST:: SOT 131169074 SOS 61011556 HAS SOPS 61011556 HAS SOUS 1201276 HAS SOUPS 1201276 WITH SCORE 1262287.556
AT ITER 586 NEW BEST:: SOT 131168816 SOS 61011040 HAS SOPS 61011040 HAS SOUS 1201276 HAS SOUPS 1201276 WITH SCORE 1262287.04
AT ITER 592 NEW BEST:: SOT 131168748 SOS 61010904 HAS SOPS 61010904 HAS SOUS 1201276 HAS SOUPS 1201276 WITH SCORE 1262286.904
AT ITER 593 NEW BEST:: SOT 131167768 SOS 61008944 HAS SOPS 61008944 HAS SOUS 1201276 HAS SOUPS 1201276 WITH SCORE 1262284.944
AT ITER 596 NEW BEST:: SOT 131166340 SOS 61006088 HAS SOPS 61006088 HAS SOUS 1201276 HAS SOUPS 1201276 WITH SCORE 1262282.088
AT ITER 600 NEW BEST:: SOT 131166320 SOS 61006048 HAS SOPS 61006048 HAS SOUS 1201276 HAS SOUPS 1201276 WITH SCORE 1262282.048
AT ITER 603 NEW BEST:: SOT 131158526 SOS 60990460 HAS SOPS 60990460 HAS SOUS 1201276 HAS SOUPS 1201276 WITH SCORE 1262266.46
AT ITER 609 NEW BEST:: SOT 131155088 SOS 60983584 HAS SOPS 60983584 HAS SOUS 1201276 HAS SOUPS 1201276 WITH SCORE 1262259.584
AT ITER 610 NEW BEST:: SOT 131148148 SOS 60969704 HAS SOPS 60969704 HAS SOUS 1201276 HAS SOUPS 1201276 WITH SCORE 1262245.704
AT ITER 615 NEW BEST:: SOT 131147848 SOS 60969104 HAS SOPS 60969104 HAS SOUS 1201276 HAS SOUPS 1201276 WITH SCORE 1262245.104
AT ITER 617 NEW BEST:: SOT 131145252 SOS 60963912 HAS SOPS 60963912 HAS SOUS 1201276 HAS SOUPS 1201276 WITH SCORE 1262239.912
AT ITER 619 NEW BEST:: SOT 131137434 SOS 60948276 HAS SOPS 60948276 HAS SOUS 1201276 HAS SOUPS 1201276 WITH SCORE 1262224.276
AT ITER 622 NEW BEST:: SOT 131137406 SOS 60948220 HAS SOPS 60948220 HAS SOUS 1201276 HAS SOUPS 1201276 WITH SCORE 1262224.22
AT ITER 623 NEW BEST:: SOT 131128690 SOS 60930788 HAS SOPS 60930788 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1262204.788
AT ITER 627 NEW BEST:: SOT 131121778 SOS 60916964 HAS SOPS 60916964 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1262190.964
AT ITER 628 NEW BEST:: SOT 131121652 SOS 60916712 HAS SOPS 60916712 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1262190.712
AT ITER 633 NEW BEST:: SOT 131113264 SOS 60899936 HAS SOPS 60899936 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1262173.936
AT ITER 634 NEW BEST:: SOT 131109784 SOS 60892976 HAS SOPS 60892976 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1262166.976
AT ITER 636 NEW BEST:: SOT 131106356 SOS 60886120 HAS SOPS 60886120 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1262160.12
AT ITER 639 NEW BEST:: SOT 131106200 SOS 60885808 HAS SOPS 60885808 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1262159.808
AT ITER 646 NEW BEST:: SOT 131103248 SOS 60879904 HAS SOPS 60879904 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1262153.904
AT ITER 654 NEW BEST:: SOT 131102080 SOS 60877568 HAS SOPS 60877568 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1262151.568
AT ITER 658 NEW BEST:: SOT 131099314 SOS 60872036 HAS SOPS 60872036 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1262146.036
AT ITER 663 NEW BEST:: SOT 131099058 SOS 60871524 HAS SOPS 60871524 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1262145.524
AT ITER 673 NEW BEST:: SOT 131098572 SOS 60870552 HAS SOPS 60870552 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1262144.552
AT ITER 677 NEW BEST:: SOT 131095542 SOS 60864492 HAS SOPS 60864492 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1262138.492
AT ITER 683 NEW BEST:: SOT 131094268 SOS 60861944 HAS SOPS 60861944 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1262135.944
AT ITER 684 NEW BEST:: SOT 131087610 SOS 60848628 HAS SOPS 60848628 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1262122.628
AT ITER 688 NEW BEST:: SOT 131085478 SOS 60844364 HAS SOPS 60844364 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1262118.364
AT ITER 689 NEW BEST:: SOT 131080790 SOS 60834988 HAS SOPS 60834988 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1262108.988
AT ITER 706 NEW BEST:: SOT 131078888 SOS 60831184 HAS SOPS 60831184 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1262105.184
AT ITER 708 NEW BEST:: SOT 131077170 SOS 60827748 HAS SOPS 60827748 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1262101.748
AT ITER 715 NEW BEST:: SOT 131071658 SOS 60816724 HAS SOPS 60816724 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1262090.724
AT ITER 720 NEW BEST:: SOT 131067914 SOS 60809236 HAS SOPS 60809236 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1262083.236
AT ITER 722 NEW BEST:: SOT 131066356 SOS 60806120 HAS SOPS 60806120 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1262080.12
AT ITER 725 NEW BEST:: SOT 131065326 SOS 60804060 HAS SOPS 60804060 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1262078.06
AT ITER 736 NEW BEST:: SOT 131062082 SOS 60797572 HAS SOPS 60797572 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1262071.572
AT ITER 738 NEW BEST:: SOT 131061428 SOS 60796264 HAS SOPS 60796264 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1262070.264
AT ITER 740 NEW BEST:: SOT 131061208 SOS 60795824 HAS SOPS 60795824 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1262069.824
AT ITER 756 NEW BEST:: SOT 131060630 SOS 60794668 HAS SOPS 60794668 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1262068.668
AT ITER 764 NEW BEST:: SOT 131059948 SOS 60793304 HAS SOPS 60793304 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1262067.304
AT ITER 774 NEW BEST:: SOT 131059010 SOS 60791428 HAS SOPS 60791428 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1262065.428
AT ITER 785 NEW BEST:: SOT 131056962 SOS 60787332 HAS SOPS 60787332 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1262061.332
AT ITER 789 NEW BEST:: SOT 131049448 SOS 60772304 HAS SOPS 60772304 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1262046.304
AT ITER 805 NEW BEST:: SOT 131049342 SOS 60772092 HAS SOPS 60772092 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1262046.092
AT ITER 807 NEW BEST:: SOT 131042824 SOS 60759056 HAS SOPS 60759056 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1262033.056
AT ITER 812 NEW BEST:: SOT 131041078 SOS 60755564 HAS SOPS 60755564 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1262029.564
AT ITER 823 NEW BEST:: SOT 131041054 SOS 60755516 HAS SOPS 60755516 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1262029.516
AT ITER 829 NEW BEST:: SOT 131036826 SOS 60747060 HAS SOPS 60747060 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1262021.06
AT ITER 832 NEW BEST:: SOT 131034328 SOS 60742064 HAS SOPS 60742064 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1262016.064
AT ITER 834 NEW BEST:: SOT 131032466 SOS 60738340 HAS SOPS 60738340 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1262012.34
AT ITER 838 NEW BEST:: SOT 131031942 SOS 60737292 HAS SOPS 60737292 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1262011.292
AT ITER 840 NEW BEST:: SOT 131027076 SOS 60727560 HAS SOPS 60727560 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1262001.56
AT ITER 841 NEW BEST:: SOT 131027070 SOS 60727548 HAS SOPS 60727548 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1262001.548
AT ITER 844 NEW BEST:: SOT 131027060 SOS 60727528 HAS SOPS 60727528 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1262001.528
AT ITER 849 NEW BEST:: SOT 131025594 SOS 60724596 HAS SOPS 60724596 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1261998.596
AT ITER 851 NEW BEST:: SOT 131025390 SOS 60724188 HAS SOPS 60724188 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1261998.188
AT ITER 873 NEW BEST:: SOT 131022418 SOS 60718244 HAS SOPS 60718244 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1261992.244
AT ITER 877 NEW BEST:: SOT 131017222 SOS 60707852 HAS SOPS 60707852 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1261981.852
AT ITER 882 NEW BEST:: SOT 131012904 SOS 60699216 HAS SOPS 60699216 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1261973.216
AT ITER 883 NEW BEST:: SOT 131011786 SOS 60696980 HAS SOPS 60696980 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1261970.98
AT ITER 887 NEW BEST:: SOT 131010544 SOS 60694496 HAS SOPS 60694496 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1261968.496
AT ITER 893 NEW BEST:: SOT 131010444 SOS 60694296 HAS SOPS 60694296 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1261968.296
AT ITER 900 NEW BEST:: SOT 131006420 SOS 60686248 HAS SOPS 60686248 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1261960.248
AT ITER 901 NEW BEST:: SOT 131004880 SOS 60683168 HAS SOPS 60683168 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1261957.168
AT ITER 908 NEW BEST:: SOT 131003538 SOS 60680484 HAS SOPS 60680484 HAS SOUS 1201274 HAS SOUPS 1201274 WITH SCORE 1261954.484
AT ITER 909 NEW BEST:: SOT 130988384 SOS 60650176 HAS SOPS 60650176 HAS SOUS 1201234 HAS SOUPS 1201234 WITH SCORE 1261884.176
AT ITER 911 NEW BEST:: SOT 130986230 SOS 60645868 HAS SOPS 60645868 HAS SOUS 1201234 HAS SOUPS 1201234 WITH SCORE 1261879.868
AT ITER 913 NEW BEST:: SOT 130986186 SOS 60645780 HAS SOPS 60645780 HAS SOUS 1201234 HAS SOUPS 1201234 WITH SCORE 1261879.78
AT ITER 914 NEW BEST:: SOT 130986148 SOS 60645704 HAS SOPS 60645704 HAS SOUS 1201234 HAS SOUPS 1201234 WITH SCORE 1261879.704
AT ITER 915 NEW BEST:: SOT 130984894 SOS 60643196 HAS SOPS 60643196 HAS SOUS 1201234 HAS SOUPS 1201234 WITH SCORE 1261877.196
AT ITER 917 NEW BEST:: SOT 130983560 SOS 60640528 HAS SOPS 60640528 HAS SOUS 1201234 HAS SOUPS 1201234 WITH SCORE 1261874.528
AT ITER 922 NEW BEST:: SOT 130982594 SOS 60638596 HAS SOPS 60638596 HAS SOUS 1201234 HAS SOUPS 1201234 WITH SCORE 1261872.596
AT ITER 923 NEW BEST:: SOT 130982504 SOS 60638416 HAS SOPS 60638416 HAS SOUS 1201234 HAS SOUPS 1201234 WITH SCORE 1261872.416
AT ITER 931 NEW BEST:: SOT 130981462 SOS 60636332 HAS SOPS 60636332 HAS SOUS 1201234 HAS SOUPS 1201234 WITH SCORE 1261870.332
AT ITER 933 NEW BEST:: SOT 130980678 SOS 60634764 HAS SOPS 60634764 HAS SOUS 1201234 HAS SOUPS 1201234 WITH SCORE 1261868.764
AT ITER 948 NEW BEST:: SOT 130979662 SOS 60632732 HAS SOPS 60632732 HAS SOUS 1201234 HAS SOUPS 1201234 WITH SCORE 1261866.732
AT ITER 951 NEW BEST:: SOT 130976876 SOS 60627160 HAS SOPS 60627160 HAS SOUS 1201234 HAS SOUPS 1201234 WITH SCORE 1261861.16
AT ITER 955 NEW BEST:: SOT 130975560 SOS 60624528 HAS SOPS 60624528 HAS SOUS 1201234 HAS SOUPS 1201234 WITH SCORE 1261858.528
AT ITER 958 NEW BEST:: SOT 130971754 SOS 60616916 HAS SOPS 60616916 HAS SOUS 1201234 HAS SOUPS 1201234 WITH SCORE 1261850.916
AT ITER 963 NEW BEST:: SOT 130969912 SOS 60613232 HAS SOPS 60613232 HAS SOUS 1201234 HAS SOUPS 1201234 WITH SCORE 1261847.232
AT ITER 967 NEW BEST:: SOT 130969214 SOS 60611836 HAS SOPS 60611836 HAS SOUS 1201234 HAS SOUPS 1201234 WITH SCORE 1261845.836
AT ITER 968 NEW BEST:: SOT 130969116 SOS 60611640 HAS SOPS 60611640 HAS SOUS 1201234 HAS SOUPS 1201234 WITH SCORE 1261845.64
AT ITER 969 NEW BEST:: SOT 130971608 SOS 60616624 HAS SOPS 60616624 HAS SOUS 1200950 HAS SOUPS 1200950 WITH SCORE 1261566.624
AT ITER 985 NEW BEST:: SOT 130970894 SOS 60615196 HAS SOPS 60615196 HAS SOUS 1200950 HAS SOUPS 1200950 WITH SCORE 1261565.196
AT ITER 993 NEW BEST:: SOT 130969536 SOS 60612480 HAS SOPS 60612480 HAS SOUS 1200950 HAS SOUPS 1200950 WITH SCORE 1261562.48
AT ITER 996 NEW BEST:: SOT 130962370 SOS 60598148 HAS SOPS 60598148 HAS SOUS 1200950 HAS SOUPS 1200950 WITH SCORE 1261548.148
AT ITER 999 NEW BEST:: SOT 130962302 SOS 60598012 HAS SOPS 60598012 HAS SOUS 1200950 HAS SOUPS 1200950 WITH SCORE 1261548.012
AT ITER 1006 NEW BEST:: SOT 130961882 SOS 60597172 HAS SOPS 60597172 HAS SOUS 1200950 HAS SOUPS 1200950 WITH SCORE 1261547.172
AT ITER 1012 NEW BEST:: SOT 130961542 SOS 60596492 HAS SOPS 60596492 HAS SOUS 1200950 HAS SOUPS 1200950 WITH SCORE 1261546.492
AT ITER 1015 NEW BEST:: SOT 130961462 SOS 60596332 HAS SOPS 60596332 HAS SOUS 1200950 HAS SOUPS 1200950 WITH SCORE 1261546.332
AT ITER 1016 NEW BEST:: SOT 130951836 SOS 60577080 HAS SOPS 60577080 HAS SOUS 1200950 HAS SOUPS 1200950 WITH SCORE 1261527.08
AT ITER 1020 NEW BEST:: SOT 130951230 SOS 60575868 HAS SOPS 60575868 HAS SOUS 1200950 HAS SOUPS 1200950 WITH SCORE 1261525.868
AT ITER 1035 NEW BEST:: SOT 130946036 SOS 60565480 HAS SOPS 60565480 HAS SOUS 1200950 HAS SOUPS 1200950 WITH SCORE 1261515.48
AT ITER 1038 NEW BEST:: SOT 130945914 SOS 60565236 HAS SOPS 60565236 HAS SOUS 1200950 HAS SOUPS 1200950 WITH SCORE 1261515.236
AT ITER 1040 NEW BEST:: SOT 130944984 SOS 60563376 HAS SOPS 60563376 HAS SOUS 1200950 HAS SOUPS 1200950 WITH SCORE 1261513.376
AT ITER 1043 NEW BEST:: SOT 130953880 SOS 60581168 HAS SOPS 60581168 HAS SOUS 1200458 HAS SOUPS 1200458 WITH SCORE 1261039.168
AT ITER 1056 NEW BEST:: SOT 130952238 SOS 60577884 HAS SOPS 60577884 HAS SOUS 1200458 HAS SOUPS 1200458 WITH SCORE 1261035.884
AT ITER 1057 NEW BEST:: SOT 130947874 SOS 60569156 HAS SOPS 60569156 HAS SOUS 1200458 HAS SOUPS 1200458 WITH SCORE 1261027.156
AT ITER 1067 NEW BEST:: SOT 130947632 SOS 60568672 HAS SOPS 60568672 HAS SOUS 1200458 HAS SOUPS 1200458 WITH SCORE 1261026.672
AT ITER 1068 NEW BEST:: SOT 130947200 SOS 60567808 HAS SOPS 60567808 HAS SOUS 1200458 HAS SOUPS 1200458 WITH SCORE 1261025.808
AT ITER 1094 NEW BEST:: SOT 130945752 SOS 60564912 HAS SOPS 60564912 HAS SOUS 1200458 HAS SOUPS 1200458 WITH SCORE 1261022.912
AT ITER 1098 NEW BEST:: SOT 130945328 SOS 60564064 HAS SOPS 60564064 HAS SOUS 1200458 HAS SOUPS 1200458 WITH SCORE 1261022.064
AT ITER 1104 NEW BEST:: SOT 130944470 SOS 60562348 HAS SOPS 60562348 HAS SOUS 1200458 HAS SOUPS 1200458 WITH SCORE 1261020.348
AT ITER 1110 NEW BEST:: SOT 130944190 SOS 60561788 HAS SOPS 60561788 HAS SOUS 1200458 HAS SOUPS 1200458 WITH SCORE 1261019.788
AT ITER 1118 NEW BEST:: SOT 130944172 SOS 60561752 HAS SOPS 60561752 HAS SOUS 1200458 HAS SOUPS 1200458 WITH SCORE 1261019.752
AT ITER 1121 NEW BEST:: SOT 130943064 SOS 60559536 HAS SOPS 60559536 HAS SOUS 1200458 HAS SOUPS 1200458 WITH SCORE 1261017.536
AT ITER 1122 NEW BEST:: SOT 130942752 SOS 60558912 HAS SOPS 60558912 HAS SOUS 1200458 HAS SOUPS 1200458 WITH SCORE 1261016.912
AT ITER 1130 NEW BEST:: SOT 130939954 SOS 60553316 HAS SOPS 60553316 HAS SOUS 1200458 HAS SOUPS 1200458 WITH SCORE 1261011.316
AT ITER 1133 NEW BEST:: SOT 130935110 SOS 60543628 HAS SOPS 60543628 HAS SOUS 1200458 HAS SOUPS 1200458 WITH SCORE 1261001.628
AT ITER 1144 NEW BEST:: SOT 130932924 SOS 60539256 HAS SOPS 60539256 HAS SOUS 1200458 HAS SOUPS 1200458 WITH SCORE 1260997.256
AT ITER 1149 NEW BEST:: SOT 130929146 SOS 60531700 HAS SOPS 60531700 HAS SOUS 1200458 HAS SOUPS 1200458 WITH SCORE 1260989.7
AT ITER 1155 NEW BEST:: SOT 130929032 SOS 60531472 HAS SOPS 60531472 HAS SOUS 1200458 HAS SOUPS 1200458 WITH SCORE 1260989.472
AT ITER 1157 NEW BEST:: SOT 130928424 SOS 60530256 HAS SOPS 60530256 HAS SOUS 1200458 HAS SOUPS 1200458 WITH SCORE 1260988.256
AT ITER 1169 NEW BEST:: SOT 130926042 SOS 60525492 HAS SOPS 60525492 HAS SOUS 1200458 HAS SOUPS 1200458 WITH SCORE 1260983.492
AT ITER 1170 NEW BEST:: SOT 130923450 SOS 60520308 HAS SOPS 60520308 HAS SOUS 1200458 HAS SOUPS 1200458 WITH SCORE 1260978.308
AT ITER 1171 NEW BEST:: SOT 130921676 SOS 60516760 HAS SOPS 60516760 HAS SOUS 1200458 HAS SOUPS 1200458 WITH SCORE 1260974.76
AT ITER 1180 NEW BEST:: SOT 130917492 SOS 60508392 HAS SOPS 60508392 HAS SOUS 1200458 HAS SOUPS 1200458 WITH SCORE 1260966.392
AT ITER 1183 NEW BEST:: SOT 130915472 SOS 60504352 HAS SOPS 60504352 HAS SOUS 1200450 HAS SOUPS 1200450 WITH SCORE 1260954.352
AT ITER 1185 NEW BEST:: SOT 130915038 SOS 60503484 HAS SOPS 60503484 HAS SOUS 1200450 HAS SOUPS 1200450 WITH SCORE 1260953.484
AT ITER 1188 NEW BEST:: SOT 130909006 SOS 60491420 HAS SOPS 60491420 HAS SOUS 1200450 HAS SOUPS 1200450 WITH SCORE 1260941.42
AT ITER 1193 NEW BEST:: SOT 130903234 SOS 60479876 HAS SOPS 60479876 HAS SOUS 1200450 HAS SOUPS 1200450 WITH SCORE 1260929.876
AT ITER 1196 NEW BEST:: SOT 130901680 SOS 60476768 HAS SOPS 60476768 HAS SOUS 1200450 HAS SOUPS 1200450 WITH SCORE 1260926.768
AT ITER 1202 NEW BEST:: SOT 130901678 SOS 60476764 HAS SOPS 60476764 HAS SOUS 1200450 HAS SOUPS 1200450 WITH SCORE 1260926.764
AT ITER 1208 NEW BEST:: SOT 130896062 SOS 60465532 HAS SOPS 60465532 HAS SOUS 1200450 HAS SOUPS 1200450 WITH SCORE 1260915.532
AT ITER 1211 NEW BEST:: SOT 130891150 SOS 60455708 HAS SOPS 60455708 HAS SOUS 1200450 HAS SOUPS 1200450 WITH SCORE 1260905.708
AT ITER 1218 NEW BEST:: SOT 130889150 SOS 60451708 HAS SOPS 60451708 HAS SOUS 1200450 HAS SOUPS 1200450 WITH SCORE 1260901.708
AT ITER 1224 NEW BEST:: SOT 130889000 SOS 60451408 HAS SOPS 60451408 HAS SOUS 1200450 HAS SOUPS 1200450 WITH SCORE 1260901.408
AT ITER 1239 NEW BEST:: SOT 130887854 SOS 60449116 HAS SOPS 60449116 HAS SOUS 1200450 HAS SOUPS 1200450 WITH SCORE 1260899.116
AT ITER 1261 NEW BEST:: SOT 130887184 SOS 60447776 HAS SOPS 60447776 HAS SOUS 1200450 HAS SOUPS 1200450 WITH SCORE 1260897.776
AT ITER 1269 NEW BEST:: SOT 130884144 SOS 60441696 HAS SOPS 60441696 HAS SOUS 1200450 HAS SOUPS 1200450 WITH SCORE 1260891.696
AT ITER 1273 NEW BEST:: SOT 130884042 SOS 60441492 HAS SOPS 60441492 HAS SOUS 1200450 HAS SOUPS 1200450 WITH SCORE 1260891.492
AT ITER 1276 NEW BEST:: SOT 130883666 SOS 60440740 HAS SOPS 60440740 HAS SOUS 1200450 HAS SOUPS 1200450 WITH SCORE 1260890.74
AT ITER 1277 NEW BEST:: SOT 130883502 SOS 60440412 HAS SOPS 60440412 HAS SOUS 1200450 HAS SOUPS 1200450 WITH SCORE 1260890.412
AT ITER 1279 NEW BEST:: SOT 130882802 SOS 60439012 HAS SOPS 60439012 HAS SOUS 1200450 HAS SOUPS 1200450 WITH SCORE 1260889.012
AT ITER 1281 NEW BEST:: SOT 130879906 SOS 60433220 HAS SOPS 60433220 HAS SOUS 1200450 HAS SOUPS 1200450 WITH SCORE 1260883.22
AT ITER 1293 NEW BEST:: SOT 130878174 SOS 60429756 HAS SOPS 60429756 HAS SOUS 1200406 HAS SOUPS 1200406 WITH SCORE 1260835.756
AT ITER 1295 NEW BEST:: SOT 130875294 SOS 60423996 HAS SOPS 60423996 HAS SOUS 1200406 HAS SOUPS 1200406 WITH SCORE 1260829.996
AT ITER 1296 NEW BEST:: SOT 130875064 SOS 60423536 HAS SOPS 60423536 HAS SOUS 1200406 HAS SOUPS 1200406 WITH SCORE 1260829.536
AT ITER 1304 NEW BEST:: SOT 130871960 SOS 60417328 HAS SOPS 60417328 HAS SOUS 1200406 HAS SOUPS 1200406 WITH SCORE 1260823.328
AT ITER 1306 NEW BEST:: SOT 130869066 SOS 60411540 HAS SOPS 60411540 HAS SOUS 1200406 HAS SOUPS 1200406 WITH SCORE 1260817.54
AT ITER 1313 NEW BEST:: SOT 130869058 SOS 60411524 HAS SOPS 60411524 HAS SOUS 1200406 HAS SOUPS 1200406 WITH SCORE 1260817.524
AT ITER 1322 NEW BEST:: SOT 130868242 SOS 60409892 HAS SOPS 60409892 HAS SOUS 1200406 HAS SOUPS 1200406 WITH SCORE 1260815.892
AT ITER 1325 NEW BEST:: SOT 130868220 SOS 60409848 HAS SOPS 60409848 HAS SOUS 1200406 HAS SOUPS 1200406 WITH SCORE 1260815.848
AT ITER 1328 NEW BEST:: SOT 130867546 SOS 60408500 HAS SOPS 60408500 HAS SOUS 1200406 HAS SOUPS 1200406 WITH SCORE 1260814.5
AT ITER 1334 NEW BEST:: SOT 130857296 SOS 60388000 HAS SOPS 60388000 HAS SOUS 1200406 HAS SOUPS 1200406 WITH SCORE 1260794.0
AT ITER 1338 NEW BEST:: SOT 130850894 SOS 60375196 HAS SOPS 60375196 HAS SOUS 1200406 HAS SOUPS 1200406 WITH SCORE 1260781.196
AT ITER 1341 NEW BEST:: SOT 130849994 SOS 60373396 HAS SOPS 60373396 HAS SOUS 1200406 HAS SOUPS 1200406 WITH SCORE 1260779.396
AT ITER 1342 NEW BEST:: SOT 130849080 SOS 60371568 HAS SOPS 60371568 HAS SOUS 1200406 HAS SOUPS 1200406 WITH SCORE 1260777.568
AT ITER 1345 NEW BEST:: SOT 130847732 SOS 60368872 HAS SOPS 60368872 HAS SOUS 1200406 HAS SOUPS 1200406 WITH SCORE 1260774.872
AT ITER 1356 NEW BEST:: SOT 130847666 SOS 60368740 HAS SOPS 60368740 HAS SOUS 1200406 HAS SOUPS 1200406 WITH SCORE 1260774.74
AT ITER 1365 NEW BEST:: SOT 130844802 SOS 60363012 HAS SOPS 60363012 HAS SOUS 1200406 HAS SOUPS 1200406 WITH SCORE 1260769.012
AT ITER 1369 NEW BEST:: SOT 130844488 SOS 60362384 HAS SOPS 60362384 HAS SOUS 1200406 HAS SOUPS 1200406 WITH SCORE 1260768.384
AT ITER 1371 NEW BEST:: SOT 130839960 SOS 60353328 HAS SOPS 60353328 HAS SOUS 1200372 HAS SOUPS 1200372 WITH SCORE 1260725.328
AT ITER 1384 NEW BEST:: SOT 130837786 SOS 60348980 HAS SOPS 60348980 HAS SOUS 1200372 HAS SOUPS 1200372 WITH SCORE 1260720.98
AT ITER 1385 NEW BEST:: SOT 130836292 SOS 60345992 HAS SOPS 60345992 HAS SOUS 1200372 HAS SOUPS 1200372 WITH SCORE 1260717.992
AT ITER 1396 NEW BEST:: SOT 130832258 SOS 60337924 HAS SOPS 60337924 HAS SOUS 1200372 HAS SOUPS 1200372 WITH SCORE 1260709.924
AT ITER 1397 NEW BEST:: SOT 130830808 SOS 60335024 HAS SOPS 60335024 HAS SOUS 1200372 HAS SOUPS 1200372 WITH SCORE 1260707.024
AT ITER 1402 NEW BEST:: SOT 130826068 SOS 60325544 HAS SOPS 60325544 HAS SOUS 1200372 HAS SOUPS 1200372 WITH SCORE 1260697.544
AT ITER 1405 NEW BEST:: SOT 130824618 SOS 60322644 HAS SOPS 60322644 HAS SOUS 1200372 HAS SOUPS 1200372 WITH SCORE 1260694.644
AT ITER 1413 NEW BEST:: SOT 130824556 SOS 60322520 HAS SOPS 60322520 HAS SOUS 1200372 HAS SOUPS 1200372 WITH SCORE 1260694.52
AT ITER 1415 NEW BEST:: SOT 130823040 SOS 60319488 HAS SOPS 60319488 HAS SOUS 1200372 HAS SOUPS 1200372 WITH SCORE 1260691.488
AT ITER 1418 NEW BEST:: SOT 130821074 SOS 60315556 HAS SOPS 60315556 HAS SOUS 1200372 HAS SOUPS 1200372 WITH SCORE 1260687.556
AT ITER 1419 NEW BEST:: SOT 130820086 SOS 60313580 HAS SOPS 60313580 HAS SOUS 1200372 HAS SOUPS 1200372 WITH SCORE 1260685.58
AT ITER 1433 NEW BEST:: SOT 130819628 SOS 60312664 HAS SOPS 60312664 HAS SOUS 1200372 HAS SOUPS 1200372 WITH SCORE 1260684.664
AT ITER 1437 NEW BEST:: SOT 130817888 SOS 60309184 HAS SOPS 60309184 HAS SOUS 1200372 HAS SOUPS 1200372 WITH SCORE 1260681.184
AT ITER 1438 NEW BEST:: SOT 130814144 SOS 60301696 HAS SOPS 60301696 HAS SOUS 1200234 HAS SOUPS 1200234 WITH SCORE 1260535.696
AT ITER 1442 NEW BEST:: SOT 130813402 SOS 60300212 HAS SOPS 60300212 HAS SOUS 1200234 HAS SOUPS 1200234 WITH SCORE 1260534.212
AT ITER 1451 NEW BEST:: SOT 130813282 SOS 60299972 HAS SOPS 60299972 HAS SOUS 1200234 HAS SOUPS 1200234 WITH SCORE 1260533.972
AT ITER 1455 NEW BEST:: SOT 130812476 SOS 60298360 HAS SOPS 60298360 HAS SOUS 1200234 HAS SOUPS 1200234 WITH SCORE 1260532.36
AT ITER 1457 NEW BEST:: SOT 130810174 SOS 60293756 HAS SOPS 60293756 HAS SOUS 1200234 HAS SOUPS 1200234 WITH SCORE 1260527.756
AT ITER 1460 NEW BEST:: SOT 130806394 SOS 60286196 HAS SOPS 60286196 HAS SOUS 1200234 HAS SOUPS 1200234 WITH SCORE 1260520.196
AT ITER 1480 NEW BEST:: SOT 130806392 SOS 60286192 HAS SOPS 60286192 HAS SOUS 1200234 HAS SOUPS 1200234 WITH SCORE 1260520.192
AT ITER 1481 NEW BEST:: SOT 130803958 SOS 60281324 HAS SOPS 60281324 HAS SOUS 1200234 HAS SOUPS 1200234 WITH SCORE 1260515.324
AT ITER 1486 NEW BEST:: SOT 130803910 SOS 60281228 HAS SOPS 60281228 HAS SOUS 1200234 HAS SOUPS 1200234 WITH SCORE 1260515.2280000001
AT ITER 1493 NEW BEST:: SOT 130803574 SOS 60280556 HAS SOPS 60280556 HAS SOUS 1200234 HAS SOUPS 1200234 WITH SCORE 1260514.556
AT ITER 1500 NEW BEST:: SOT 130803294 SOS 60279996 HAS SOPS 60279996 HAS SOUS 1200234 HAS SOUPS 1200234 WITH SCORE 1260513.996
AT ITER 1504 NEW BEST:: SOT 130801814 SOS 60277036 HAS SOPS 60277036 HAS SOUS 1200234 HAS SOUPS 1200234 WITH SCORE 1260511.036
AT ITER 1519 NEW BEST:: SOT 130801614 SOS 60276636 HAS SOPS 60276636 HAS SOUS 1200234 HAS SOUPS 1200234 WITH SCORE 1260510.636
AT ITER 1528 NEW BEST:: SOT 130796984 SOS 60267376 HAS SOPS 60267376 HAS SOUS 1200234 HAS SOUPS 1200234 WITH SCORE 1260501.376
AT ITER 1530 NEW BEST:: SOT 130796976 SOS 60267360 HAS SOPS 60267360 HAS SOUS 1200234 HAS SOUPS 1200234 WITH SCORE 1260501.36
AT ITER 1532 NEW BEST:: SOT 130795958 SOS 60265324 HAS SOPS 60265324 HAS SOUS 1200234 HAS SOUPS 1200234 WITH SCORE 1260499.324
AT ITER 1541 NEW BEST:: SOT 130794162 SOS 60261732 HAS SOPS 60261732 HAS SOUS 1200234 HAS SOUPS 1200234 WITH SCORE 1260495.732
AT ITER 1569 NEW BEST:: SOT 130793426 SOS 60260260 HAS SOPS 60260260 HAS SOUS 1200234 HAS SOUPS 1200234 WITH SCORE 1260494.26
AT ITER 1570 NEW BEST:: SOT 130780024 SOS 60233456 HAS SOPS 60233456 HAS SOUS 1200234 HAS SOUPS 1200234 WITH SCORE 1260467.456
AT ITER 1577 NEW BEST:: SOT 130778804 SOS 60231016 HAS SOPS 60231016 HAS SOUS 1200234 HAS SOUPS 1200234 WITH SCORE 1260465.016
AT ITER 1582 NEW BEST:: SOT 130776460 SOS 60226328 HAS SOPS 60226328 HAS SOUS 1200234 HAS SOUPS 1200234 WITH SCORE 1260460.328
AT ITER 1585 NEW BEST:: SOT 130776064 SOS 60225536 HAS SOPS 60225536 HAS SOUS 1200234 HAS SOUPS 1200234 WITH SCORE 1260459.536
AT ITER 1597 NEW BEST:: SOT 130775496 SOS 60224400 HAS SOPS 60224400 HAS SOUS 1200234 HAS SOUPS 1200234 WITH SCORE 1260458.4
AT ITER 1611 NEW BEST:: SOT 130771100 SOS 60215608 HAS SOPS 60215608 HAS SOUS 1200234 HAS SOUPS 1200234 WITH SCORE 1260449.608
AT ITER 1614 NEW BEST:: SOT 130765868 SOS 60205144 HAS SOPS 60205144 HAS SOUS 1200234 HAS SOUPS 1200234 WITH SCORE 1260439.144
AT ITER 1622 NEW BEST:: SOT 130765724 SOS 60204856 HAS SOPS 60204856 HAS SOUS 1200234 HAS SOUPS 1200234 WITH SCORE 1260438.856
AT ITER 1628 NEW BEST:: SOT 130759378 SOS 60192164 HAS SOPS 60192164 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260416.164
AT ITER 1646 NEW BEST:: SOT 130758028 SOS 60189464 HAS SOPS 60189464 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260413.464
AT ITER 1680 NEW BEST:: SOT 130756650 SOS 60186708 HAS SOPS 60186708 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260410.708
AT ITER 1683 NEW BEST:: SOT 130751122 SOS 60175652 HAS SOPS 60175652 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260399.652
AT ITER 1689 NEW BEST:: SOT 130748894 SOS 60171196 HAS SOPS 60171196 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260395.196
AT ITER 1704 NEW BEST:: SOT 130743996 SOS 60161400 HAS SOPS 60161400 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260385.4
AT ITER 1720 NEW BEST:: SOT 130743150 SOS 60159708 HAS SOPS 60159708 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260383.708
AT ITER 1721 NEW BEST:: SOT 130731764 SOS 60136936 HAS SOPS 60136936 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260360.936
AT ITER 1724 NEW BEST:: SOT 130729434 SOS 60132276 HAS SOPS 60132276 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260356.276
AT ITER 1731 NEW BEST:: SOT 130728250 SOS 60129908 HAS SOPS 60129908 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260353.908
AT ITER 1732 NEW BEST:: SOT 130726924 SOS 60127256 HAS SOPS 60127256 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260351.256
AT ITER 1736 NEW BEST:: SOT 130726550 SOS 60126508 HAS SOPS 60126508 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260350.508
AT ITER 1742 NEW BEST:: SOT 130726372 SOS 60126152 HAS SOPS 60126152 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260350.152
AT ITER 1747 NEW BEST:: SOT 130714836 SOS 60103080 HAS SOPS 60103080 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260327.08
AT ITER 1757 NEW BEST:: SOT 130714630 SOS 60102668 HAS SOPS 60102668 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260326.668
AT ITER 1766 NEW BEST:: SOT 130699250 SOS 60071908 HAS SOPS 60071908 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260295.908
AT ITER 1774 NEW BEST:: SOT 130698698 SOS 60070804 HAS SOPS 60070804 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260294.804
AT ITER 1792 NEW BEST:: SOT 130696076 SOS 60065560 HAS SOPS 60065560 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260289.56
AT ITER 1802 NEW BEST:: SOT 130695184 SOS 60063776 HAS SOPS 60063776 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260287.776
AT ITER 1809 NEW BEST:: SOT 130694640 SOS 60062688 HAS SOPS 60062688 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260286.688
AT ITER 1815 NEW BEST:: SOT 130693952 SOS 60061312 HAS SOPS 60061312 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260285.312
AT ITER 1817 NEW BEST:: SOT 130693662 SOS 60060732 HAS SOPS 60060732 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260284.732
AT ITER 1831 NEW BEST:: SOT 130693606 SOS 60060620 HAS SOPS 60060620 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260284.62
AT ITER 1848 NEW BEST:: SOT 130690266 SOS 60053940 HAS SOPS 60053940 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260277.94
AT ITER 1860 NEW BEST:: SOT 130689832 SOS 60053072 HAS SOPS 60053072 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260277.072
AT ITER 1865 NEW BEST:: SOT 130689248 SOS 60051904 HAS SOPS 60051904 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260275.904
AT ITER 1867 NEW BEST:: SOT 130688472 SOS 60050352 HAS SOPS 60050352 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260274.352
AT ITER 1881 NEW BEST:: SOT 130688460 SOS 60050328 HAS SOPS 60050328 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260274.328
AT ITER 1887 NEW BEST:: SOT 130687722 SOS 60048852 HAS SOPS 60048852 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260272.852
AT ITER 1888 NEW BEST:: SOT 130686692 SOS 60046792 HAS SOPS 60046792 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260270.792
AT ITER 1895 NEW BEST:: SOT 130683712 SOS 60040832 HAS SOPS 60040832 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260264.832
AT ITER 1911 NEW BEST:: SOT 130679968 SOS 60033344 HAS SOPS 60033344 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260257.344
AT ITER 1913 NEW BEST:: SOT 130679776 SOS 60032960 HAS SOPS 60032960 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260256.96
AT ITER 1916 NEW BEST:: SOT 130676660 SOS 60026728 HAS SOPS 60026728 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260250.7280000001
AT ITER 1917 NEW BEST:: SOT 130676512 SOS 60026432 HAS SOPS 60026432 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260250.432
AT ITER 1925 NEW BEST:: SOT 130671280 SOS 60015968 HAS SOPS 60015968 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260239.968
AT ITER 1932 NEW BEST:: SOT 130669284 SOS 60011976 HAS SOPS 60011976 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260235.976
AT ITER 1942 NEW BEST:: SOT 130669244 SOS 60011896 HAS SOPS 60011896 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260235.896
AT ITER 1949 NEW BEST:: SOT 130668888 SOS 60011184 HAS SOPS 60011184 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260235.184
AT ITER 1950 NEW BEST:: SOT 130668754 SOS 60010916 HAS SOPS 60010916 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260234.916
AT ITER 1953 NEW BEST:: SOT 130667298 SOS 60008004 HAS SOPS 60008004 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260232.004
AT ITER 1962 NEW BEST:: SOT 130663598 SOS 60000604 HAS SOPS 60000604 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260224.604
AT ITER 1966 NEW BEST:: SOT 130661610 SOS 59996628 HAS SOPS 59996628 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260220.628
AT ITER 1975 NEW BEST:: SOT 130661164 SOS 59995736 HAS SOPS 59995736 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260219.736
AT ITER 1993 NEW BEST:: SOT 130657574 SOS 59988556 HAS SOPS 59988556 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260212.556
AT ITER 2000 NEW BEST:: SOT 130655782 SOS 59984972 HAS SOPS 59984972 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260208.972
AT ITER 2007 NEW BEST:: SOT 130654182 SOS 59981772 HAS SOPS 59981772 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260205.772
AT ITER 2015 NEW BEST:: SOT 130654064 SOS 59981536 HAS SOPS 59981536 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260205.536
AT ITER 2017 NEW BEST:: SOT 130653800 SOS 59981008 HAS SOPS 59981008 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260205.008
AT ITER 2018 NEW BEST:: SOT 130652730 SOS 59978868 HAS SOPS 59978868 HAS SOUS 1200224 HAS SOUPS 1200224 WITH SCORE 1260202.868
AT ITER 2031 NEW BEST:: SOT 130666746 SOS 60006900 HAS SOPS 60006900 HAS SOUS 1200184 HAS SOUPS 1200184 WITH SCORE 1260190.9
AT ITER 2039 NEW BEST:: SOT 130664196 SOS 60001800 HAS SOPS 60001800 HAS SOUS 1200184 HAS SOUPS 1200184 WITH SCORE 1260185.8
AT ITER 2051 NEW BEST:: SOT 130664182 SOS 60001772 HAS SOPS 60001772 HAS SOUS 1200184 HAS SOUPS 1200184 WITH SCORE 1260185.772
AT ITER 2055 NEW BEST:: SOT 130658362 SOS 59990132 HAS SOPS 59990132 HAS SOUS 1200184 HAS SOUPS 1200184 WITH SCORE 1260174.132
AT ITER 2066 NEW BEST:: SOT 130655736 SOS 59984880 HAS SOPS 59984880 HAS SOUS 1200184 HAS SOUPS 1200184 WITH SCORE 1260168.88
AT ITER 2070 NEW BEST:: SOT 130654654 SOS 59982716 HAS SOPS 59982716 HAS SOUS 1200184 HAS SOUPS 1200184 WITH SCORE 1260166.716
AT ITER 2084 NEW BEST:: SOT 130654436 SOS 59982280 HAS SOPS 59982280 HAS SOUS 1200184 HAS SOUPS 1200184 WITH SCORE 1260166.28
AT ITER 2103 NEW BEST:: SOT 130654408 SOS 59982224 HAS SOPS 59982224 HAS SOUS 1200184 HAS SOUPS 1200184 WITH SCORE 1260166.224
AT ITER 2121 NEW BEST:: SOT 130651188 SOS 59975784 HAS SOPS 59975784 HAS SOUS 1200184 HAS SOUPS 1200184 WITH SCORE 1260159.784
AT ITER 2126 NEW BEST:: SOT 130649756 SOS 59972920 HAS SOPS 59972920 HAS SOUS 1200184 HAS SOUPS 1200184 WITH SCORE 1260156.92
AT ITER 2144 NEW BEST:: SOT 130647684 SOS 59968776 HAS SOPS 59968776 HAS SOUS 1200184 HAS SOUPS 1200184 WITH SCORE 1260152.776
AT ITER 2156 NEW BEST:: SOT 130646700 SOS 59966808 HAS SOPS 59966808 HAS SOUS 1200184 HAS SOUPS 1200184 WITH SCORE 1260150.808
AT ITER 2159 NEW BEST:: SOT 130642968 SOS 59959344 HAS SOPS 59959344 HAS SOUS 1200184 HAS SOUPS 1200184 WITH SCORE 1260143.344
AT ITER 2160 NEW BEST:: SOT 130642932 SOS 59959272 HAS SOPS 59959272 HAS SOUS 1200184 HAS SOUPS 1200184 WITH SCORE 1260143.272
AT ITER 2168 NEW BEST:: SOT 130640288 SOS 59953984 HAS SOPS 59953984 HAS SOUS 1200184 HAS SOUPS 1200184 WITH SCORE 1260137.984
AT ITER 2184 NEW BEST:: SOT 130638804 SOS 59951016 HAS SOPS 59951016 HAS SOUS 1200184 HAS SOUPS 1200184 WITH SCORE 1260135.016
AT ITER 2199 NEW BEST:: SOT 130631742 SOS 59936892 HAS SOPS 59936892 HAS SOUS 1200184 HAS SOUPS 1200184 WITH SCORE 1260120.892
AT ITER 2201 NEW BEST:: SOT 130628300 SOS 59930008 HAS SOPS 59930008 HAS SOUS 1200184 HAS SOUPS 1200184 WITH SCORE 1260114.008
AT ITER 2210 NEW BEST:: SOT 130628286 SOS 59929980 HAS SOPS 59929980 HAS SOUS 1200184 HAS SOUPS 1200184 WITH SCORE 1260113.98
AT ITER 2216 NEW BEST:: SOT 130638728 SOS 59950864 HAS SOPS 59950864 HAS SOUS 1200116 HAS SOUPS 1200116 WITH SCORE 1260066.864
AT ITER 2217 NEW BEST:: SOT 130635218 SOS 59943844 HAS SOPS 59943844 HAS SOUS 1200116 HAS SOUPS 1200116 WITH SCORE 1260059.844
AT ITER 2233 NEW BEST:: SOT 130633168 SOS 59939744 HAS SOPS 59939744 HAS SOUS 1200116 HAS SOUPS 1200116 WITH SCORE 1260055.744
AT ITER 2243 NEW BEST:: SOT 130630636 SOS 59934680 HAS SOPS 59934680 HAS SOUS 1200116 HAS SOUPS 1200116 WITH SCORE 1260050.68
AT ITER 2259 NEW BEST:: SOT 130630620 SOS 59934648 HAS SOPS 59934648 HAS SOUS 1200116 HAS SOUPS 1200116 WITH SCORE 1260050.648
AT ITER 2260 NEW BEST:: SOT 130630552 SOS 59934512 HAS SOPS 59934512 HAS SOUS 1200116 HAS SOUPS 1200116 WITH SCORE 1260050.512
AT ITER 2268 NEW BEST:: SOT 130628588 SOS 59930584 HAS SOPS 59930584 HAS SOUS 1200116 HAS SOUPS 1200116 WITH SCORE 1260046.584
AT ITER 2273 NEW BEST:: SOT 130626882 SOS 59927172 HAS SOPS 59927172 HAS SOUS 1200116 HAS SOUPS 1200116 WITH SCORE 1260043.172
AT ITER 2275 NEW BEST:: SOT 130626372 SOS 59926152 HAS SOPS 59926152 HAS SOUS 1200116 HAS SOUPS 1200116 WITH SCORE 1260042.152
AT ITER 2293 NEW BEST:: SOT 130624718 SOS 59922844 HAS SOPS 59922844 HAS SOUS 1200116 HAS SOUPS 1200116 WITH SCORE 1260038.844
AT ITER 2307 NEW BEST:: SOT 130624212 SOS 59921832 HAS SOPS 59921832 HAS SOUS 1200116 HAS SOUPS 1200116 WITH SCORE 1260037.832
AT ITER 2343 NEW BEST:: SOT 130624190 SOS 59921788 HAS SOPS 59921788 HAS SOUS 1200116 HAS SOUPS 1200116 WITH SCORE 1260037.788
AT ITER 2362 NEW BEST:: SOT 130623904 SOS 59921216 HAS SOPS 59921216 HAS SOUS 1200116 HAS SOUPS 1200116 WITH SCORE 1260037.216
AT ITER 2367 NEW BEST:: SOT 130623496 SOS 59920400 HAS SOPS 59920400 HAS SOUS 1200116 HAS SOUPS 1200116 WITH SCORE 1260036.4
AT ITER 2370 NEW BEST:: SOT 130622140 SOS 59917688 HAS SOPS 59917688 HAS SOUS 1200116 HAS SOUPS 1200116 WITH SCORE 1260033.688
AT ITER 2372 NEW BEST:: SOT 130621510 SOS 59916428 HAS SOPS 59916428 HAS SOUS 1200108 HAS SOUPS 1200108 WITH SCORE 1260024.428
AT ITER 2378 NEW BEST:: SOT 130621276 SOS 59915960 HAS SOPS 59915960 HAS SOUS 1200108 HAS SOUPS 1200108 WITH SCORE 1260023.96
AT ITER 2383 NEW BEST:: SOT 130620850 SOS 59915108 HAS SOPS 59915108 HAS SOUS 1200108 HAS SOUPS 1200108 WITH SCORE 1260023.108
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="NeighborGrid-PT-d5n4m1t35"
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 NeighborGrid-PT-d5n4m1t35, 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-158961250200212"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/NeighborGrid-PT-d5n4m1t35.tgz
mv NeighborGrid-PT-d5n4m1t35 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 '
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 ;