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-158961250200216.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 StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250200216
=====================================================================

--------------------
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 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)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589638734549

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NeighborGrid (PT), instance d5n4m1t35
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
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 131862430 SOS 62398268 HAS SOPS 62398268 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266918.268
AT ITER 6 NEW BEST:: SOT 131860906 SOS 62395220 HAS SOPS 62395220 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266915.22
AT ITER 9 NEW BEST:: SOT 131856410 SOS 62386228 HAS SOPS 62386228 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266906.2280000001
AT ITER 13 NEW BEST:: SOT 131853558 SOS 62380524 HAS SOPS 62380524 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266900.524
AT ITER 20 NEW BEST:: SOT 131845222 SOS 62363852 HAS SOPS 62363852 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266883.852
AT ITER 24 NEW BEST:: SOT 131841368 SOS 62356144 HAS SOPS 62356144 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266876.144
AT ITER 43 NEW BEST:: SOT 131836548 SOS 62346504 HAS SOPS 62346504 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266866.504
AT ITER 45 NEW BEST:: SOT 131829320 SOS 62332048 HAS SOPS 62332048 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266852.048
AT ITER 47 NEW BEST:: SOT 131825626 SOS 62324660 HAS SOPS 62324660 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266844.66
AT ITER 52 NEW BEST:: SOT 131817300 SOS 62308008 HAS SOPS 62308008 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266828.008
AT ITER 59 NEW BEST:: SOT 131817106 SOS 62307620 HAS SOPS 62307620 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266827.62
AT ITER 60 NEW BEST:: SOT 131816826 SOS 62307060 HAS SOPS 62307060 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266827.06
AT ITER 62 NEW BEST:: SOT 131816048 SOS 62305504 HAS SOPS 62305504 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266825.504
AT ITER 64 NEW BEST:: SOT 131800550 SOS 62274508 HAS SOPS 62274508 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266794.508
AT ITER 67 NEW BEST:: SOT 131791646 SOS 62256700 HAS SOPS 62256700 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266776.7
AT ITER 68 NEW BEST:: SOT 131789138 SOS 62251684 HAS SOPS 62251684 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266771.684
AT ITER 69 NEW BEST:: SOT 131789102 SOS 62251612 HAS SOPS 62251612 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266771.612
AT ITER 70 NEW BEST:: SOT 131784716 SOS 62242840 HAS SOPS 62242840 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266762.84
AT ITER 71 NEW BEST:: SOT 131781142 SOS 62235692 HAS SOPS 62235692 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266755.692
AT ITER 73 NEW BEST:: SOT 131780504 SOS 62234416 HAS SOPS 62234416 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266754.416
AT ITER 75 NEW BEST:: SOT 131772840 SOS 62219088 HAS SOPS 62219088 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266739.088
AT ITER 80 NEW BEST:: SOT 131762542 SOS 62198492 HAS SOPS 62198492 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266718.492
AT ITER 85 NEW BEST:: SOT 131761238 SOS 62195884 HAS SOPS 62195884 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266715.884
AT ITER 86 NEW BEST:: SOT 131925310 SOS 62524028 HAS SOPS 62524028 HAS SOUS 1201992 HAS SOUPS 1201992 WITH SCORE 1264516.028
AT ITER 88 NEW BEST:: SOT 131923484 SOS 62520376 HAS SOPS 62520376 HAS SOUS 1201992 HAS SOUPS 1201992 WITH SCORE 1264512.376
AT ITER 91 NEW BEST:: SOT 131923374 SOS 62520156 HAS SOPS 62520156 HAS SOUS 1201992 HAS SOUPS 1201992 WITH SCORE 1264512.156
AT ITER 92 NEW BEST:: SOT 131923040 SOS 62519488 HAS SOPS 62519488 HAS SOUS 1201992 HAS SOUPS 1201992 WITH SCORE 1264511.488
AT ITER 95 NEW BEST:: SOT 131922824 SOS 62519056 HAS SOPS 62519056 HAS SOUS 1201992 HAS SOUPS 1201992 WITH SCORE 1264511.056
AT ITER 97 NEW BEST:: SOT 131922798 SOS 62519004 HAS SOPS 62519004 HAS SOUS 1201992 HAS SOUPS 1201992 WITH SCORE 1264511.004
AT ITER 101 NEW BEST:: SOT 131921766 SOS 62516940 HAS SOPS 62516940 HAS SOUS 1201992 HAS SOUPS 1201992 WITH SCORE 1264508.94
AT ITER 102 NEW BEST:: SOT 131921588 SOS 62516584 HAS SOPS 62516584 HAS SOUS 1201992 HAS SOUPS 1201992 WITH SCORE 1264508.584
AT ITER 103 NEW BEST:: SOT 131921288 SOS 62515984 HAS SOPS 62515984 HAS SOUS 1201992 HAS SOUPS 1201992 WITH SCORE 1264507.984
AT ITER 105 NEW BEST:: SOT 131917638 SOS 62508684 HAS SOPS 62508684 HAS SOUS 1201992 HAS SOUPS 1201992 WITH SCORE 1264500.684
AT ITER 106 NEW BEST:: SOT 131911926 SOS 62497260 HAS SOPS 62497260 HAS SOUS 1201992 HAS SOUPS 1201992 WITH SCORE 1264489.26
AT ITER 108 NEW BEST:: SOT 131911762 SOS 62496932 HAS SOPS 62496932 HAS SOUS 1201992 HAS SOUPS 1201992 WITH SCORE 1264488.932
AT ITER 123 NEW BEST:: SOT 131911326 SOS 62496060 HAS SOPS 62496060 HAS SOUS 1201992 HAS SOUPS 1201992 WITH SCORE 1264488.06
AT ITER 124 NEW BEST:: SOT 131911312 SOS 62496032 HAS SOPS 62496032 HAS SOUS 1201992 HAS SOUPS 1201992 WITH SCORE 1264488.032
AT ITER 128 NEW BEST:: SOT 131900714 SOS 62474836 HAS SOPS 62474836 HAS SOUS 1201992 HAS SOUPS 1201992 WITH SCORE 1264466.836
AT ITER 130 NEW BEST:: SOT 131893830 SOS 62461068 HAS SOPS 62461068 HAS SOUS 1201992 HAS SOUPS 1201992 WITH SCORE 1264453.068
AT ITER 133 NEW BEST:: SOT 131886428 SOS 62446264 HAS SOPS 62446264 HAS SOUS 1201992 HAS SOUPS 1201992 WITH SCORE 1264438.264
AT ITER 135 NEW BEST:: SOT 131884148 SOS 62441704 HAS SOPS 62441704 HAS SOUS 1201992 HAS SOUPS 1201992 WITH SCORE 1264433.704
AT ITER 137 NEW BEST:: SOT 131880830 SOS 62435068 HAS SOPS 62435068 HAS SOUS 1201992 HAS SOUPS 1201992 WITH SCORE 1264427.068
AT ITER 143 NEW BEST:: SOT 131880234 SOS 62433876 HAS SOPS 62433876 HAS SOUS 1201992 HAS SOUPS 1201992 WITH SCORE 1264425.876
AT ITER 144 NEW BEST:: SOT 131872180 SOS 62417768 HAS SOPS 62417768 HAS SOUS 1201992 HAS SOUPS 1201992 WITH SCORE 1264409.768
AT ITER 147 NEW BEST:: SOT 131869040 SOS 62411488 HAS SOPS 62411488 HAS SOUS 1201992 HAS SOUPS 1201992 WITH SCORE 1264403.488
AT ITER 149 NEW BEST:: SOT 131870802 SOS 62415012 HAS SOPS 62415012 HAS SOUS 1201964 HAS SOUPS 1201964 WITH SCORE 1264379.012
AT ITER 156 NEW BEST:: SOT 131867436 SOS 62408280 HAS SOPS 62408280 HAS SOUS 1201964 HAS SOUPS 1201964 WITH SCORE 1264372.28
AT ITER 159 NEW BEST:: SOT 131864516 SOS 62402440 HAS SOPS 62402440 HAS SOUS 1201964 HAS SOUPS 1201964 WITH SCORE 1264366.44
AT ITER 160 NEW BEST:: SOT 131862610 SOS 62398628 HAS SOPS 62398628 HAS SOUS 1201964 HAS SOUPS 1201964 WITH SCORE 1264362.628
AT ITER 171 NEW BEST:: SOT 131861162 SOS 62395732 HAS SOPS 62395732 HAS SOUS 1201964 HAS SOUPS 1201964 WITH SCORE 1264359.732
AT ITER 173 NEW BEST:: SOT 131857190 SOS 62387788 HAS SOPS 62387788 HAS SOUS 1201964 HAS SOUPS 1201964 WITH SCORE 1264351.788
AT ITER 180 NEW BEST:: SOT 131849186 SOS 62371780 HAS SOPS 62371780 HAS SOUS 1201964 HAS SOUPS 1201964 WITH SCORE 1264335.78
AT ITER 181 NEW BEST:: SOT 131846842 SOS 62367092 HAS SOPS 62367092 HAS SOUS 1201964 HAS SOUPS 1201964 WITH SCORE 1264331.092
AT ITER 184 NEW BEST:: SOT 131846334 SOS 62366076 HAS SOPS 62366076 HAS SOUS 1201964 HAS SOUPS 1201964 WITH SCORE 1264330.076
AT ITER 185 NEW BEST:: SOT 131833740 SOS 62340888 HAS SOPS 62340888 HAS SOUS 1201964 HAS SOUPS 1201964 WITH SCORE 1264304.888
AT ITER 187 NEW BEST:: SOT 131832012 SOS 62337432 HAS SOPS 62337432 HAS SOUS 1201964 HAS SOUPS 1201964 WITH SCORE 1264301.432
AT ITER 188 NEW BEST:: SOT 131827698 SOS 62328804 HAS SOPS 62328804 HAS SOUS 1201536 HAS SOUPS 1201536 WITH SCORE 1263864.804
AT ITER 191 NEW BEST:: SOT 131816404 SOS 62306216 HAS SOPS 62306216 HAS SOUS 1201536 HAS SOUPS 1201536 WITH SCORE 1263842.216
AT ITER 202 NEW BEST:: SOT 131816352 SOS 62306112 HAS SOPS 62306112 HAS SOUS 1201536 HAS SOUPS 1201536 WITH SCORE 1263842.112
AT ITER 203 NEW BEST:: SOT 131809918 SOS 62293244 HAS SOPS 62293244 HAS SOUS 1201536 HAS SOUPS 1201536 WITH SCORE 1263829.244
AT ITER 205 NEW BEST:: SOT 131807992 SOS 62289392 HAS SOPS 62289392 HAS SOUS 1201536 HAS SOUPS 1201536 WITH SCORE 1263825.392
AT ITER 211 NEW BEST:: SOT 131803824 SOS 62281056 HAS SOPS 62281056 HAS SOUS 1201536 HAS SOUPS 1201536 WITH SCORE 1263817.056
AT ITER 214 NEW BEST:: SOT 131799820 SOS 62273048 HAS SOPS 62273048 HAS SOUS 1201536 HAS SOUPS 1201536 WITH SCORE 1263809.048
AT ITER 219 NEW BEST:: SOT 131799476 SOS 62272360 HAS SOPS 62272360 HAS SOUS 1201536 HAS SOUPS 1201536 WITH SCORE 1263808.36
AT ITER 221 NEW BEST:: SOT 131799220 SOS 62271848 HAS SOPS 62271848 HAS SOUS 1201536 HAS SOUPS 1201536 WITH SCORE 1263807.848
AT ITER 227 NEW BEST:: SOT 131798268 SOS 62269944 HAS SOPS 62269944 HAS SOUS 1201536 HAS SOUPS 1201536 WITH SCORE 1263805.944
AT ITER 228 NEW BEST:: SOT 131787420 SOS 62248248 HAS SOPS 62248248 HAS SOUS 1201536 HAS SOUPS 1201536 WITH SCORE 1263784.248
AT ITER 229 NEW BEST:: SOT 131783246 SOS 62239900 HAS SOPS 62239900 HAS SOUS 1201536 HAS SOUPS 1201536 WITH SCORE 1263775.9
AT ITER 239 NEW BEST:: SOT 131779482 SOS 62232372 HAS SOPS 62232372 HAS SOUS 1201536 HAS SOUPS 1201536 WITH SCORE 1263768.372
AT ITER 243 NEW BEST:: SOT 131779452 SOS 62232312 HAS SOPS 62232312 HAS SOUS 1201536 HAS SOUPS 1201536 WITH SCORE 1263768.312
AT ITER 246 NEW BEST:: SOT 131775216 SOS 62223840 HAS SOPS 62223840 HAS SOUS 1201536 HAS SOUPS 1201536 WITH SCORE 1263759.84
AT ITER 250 NEW BEST:: SOT 131762246 SOS 62197900 HAS SOPS 62197900 HAS SOUS 1201560 HAS SOUPS 1201560 WITH SCORE 1263757.9
AT ITER 265 NEW BEST:: SOT 131750350 SOS 62174108 HAS SOPS 62174108 HAS SOUS 1201560 HAS SOUPS 1201560 WITH SCORE 1263734.108
AT ITER 267 NEW BEST:: SOT 131747634 SOS 62168676 HAS SOPS 62168676 HAS SOUS 1201560 HAS SOUPS 1201560 WITH SCORE 1263728.676
AT ITER 277 NEW BEST:: SOT 131745328 SOS 62164064 HAS SOPS 62164064 HAS SOUS 1201560 HAS SOUPS 1201560 WITH SCORE 1263724.064
AT ITER 282 NEW BEST:: SOT 131739330 SOS 62152068 HAS SOPS 62152068 HAS SOUS 1201560 HAS SOUPS 1201560 WITH SCORE 1263712.068
AT ITER 283 NEW BEST:: SOT 131734254 SOS 62141916 HAS SOPS 62141916 HAS SOUS 1201560 HAS SOUPS 1201560 WITH SCORE 1263701.916
AT ITER 285 NEW BEST:: SOT 131734252 SOS 62141912 HAS SOPS 62141912 HAS SOUS 1201560 HAS SOUPS 1201560 WITH SCORE 1263701.912
AT ITER 302 NEW BEST:: SOT 131774954 SOS 62223316 HAS SOPS 62223316 HAS SOUS 1201458 HAS SOUPS 1201458 WITH SCORE 1263681.316
AT ITER 308 NEW BEST:: SOT 131773832 SOS 62221072 HAS SOPS 62221072 HAS SOUS 1201458 HAS SOUPS 1201458 WITH SCORE 1263679.072
AT ITER 310 NEW BEST:: SOT 131783408 SOS 62240224 HAS SOPS 62240224 HAS SOUS 1201438 HAS SOUPS 1201438 WITH SCORE 1263678.224
AT ITER 314 NEW BEST:: SOT 131665240 SOS 62003888 HAS SOPS 62003888 HAS SOUS 1201552 HAS SOUPS 1201552 WITH SCORE 1263555.888
AT ITER 316 NEW BEST:: SOT 131663698 SOS 62000804 HAS SOPS 62000804 HAS SOUS 1201552 HAS SOUPS 1201552 WITH SCORE 1263552.804
AT ITER 324 NEW BEST:: SOT 131663434 SOS 62000276 HAS SOPS 62000276 HAS SOUS 1201552 HAS SOUPS 1201552 WITH SCORE 1263552.276
AT ITER 326 NEW BEST:: SOT 131683396 SOS 62040200 HAS SOPS 62040200 HAS SOUS 1201480 HAS SOUPS 1201480 WITH SCORE 1263520.2
AT ITER 329 NEW BEST:: SOT 131683378 SOS 62040164 HAS SOPS 62040164 HAS SOUS 1201480 HAS SOUPS 1201480 WITH SCORE 1263520.164
AT ITER 341 NEW BEST:: SOT 131670400 SOS 62014208 HAS SOPS 62014208 HAS SOUS 1201480 HAS SOUPS 1201480 WITH SCORE 1263494.208
AT ITER 342 NEW BEST:: SOT 131668394 SOS 62010196 HAS SOPS 62010196 HAS SOUS 1201480 HAS SOUPS 1201480 WITH SCORE 1263490.196
AT ITER 351 NEW BEST:: SOT 131660902 SOS 61995212 HAS SOPS 61995212 HAS SOUS 1201480 HAS SOUPS 1201480 WITH SCORE 1263475.212
AT ITER 358 NEW BEST:: SOT 131656566 SOS 61986540 HAS SOPS 61986540 HAS SOUS 1201480 HAS SOUPS 1201480 WITH SCORE 1263466.54
AT ITER 365 NEW BEST:: SOT 131653760 SOS 61980928 HAS SOPS 61980928 HAS SOUS 1201480 HAS SOUPS 1201480 WITH SCORE 1263460.928
AT ITER 366 NEW BEST:: SOT 131648540 SOS 61970488 HAS SOPS 61970488 HAS SOUS 1201480 HAS SOUPS 1201480 WITH SCORE 1263450.488
AT ITER 370 NEW BEST:: SOT 131638680 SOS 61950768 HAS SOPS 61950768 HAS SOUS 1201480 HAS SOUPS 1201480 WITH SCORE 1263430.768
AT ITER 378 NEW BEST:: SOT 131638320 SOS 61950048 HAS SOPS 61950048 HAS SOUS 1201480 HAS SOUPS 1201480 WITH SCORE 1263430.048
AT ITER 384 NEW BEST:: SOT 131635922 SOS 61945252 HAS SOPS 61945252 HAS SOUS 1201480 HAS SOUPS 1201480 WITH SCORE 1263425.252
AT ITER 392 NEW BEST:: SOT 131635392 SOS 61944192 HAS SOPS 61944192 HAS SOUS 1201480 HAS SOUPS 1201480 WITH SCORE 1263424.192
AT ITER 400 NEW BEST:: SOT 131624648 SOS 61922704 HAS SOPS 61922704 HAS SOUS 1201480 HAS SOUPS 1201480 WITH SCORE 1263402.704
AT ITER 411 NEW BEST:: SOT 131603192 SOS 61879792 HAS SOPS 61879792 HAS SOUS 1201480 HAS SOUPS 1201480 WITH SCORE 1263359.792
AT ITER 420 NEW BEST:: SOT 131603170 SOS 61879748 HAS SOPS 61879748 HAS SOUS 1201480 HAS SOUPS 1201480 WITH SCORE 1263359.748
AT ITER 423 NEW BEST:: SOT 131603164 SOS 61879736 HAS SOPS 61879736 HAS SOUS 1201480 HAS SOUPS 1201480 WITH SCORE 1263359.736
AT ITER 430 NEW BEST:: SOT 131599484 SOS 61872376 HAS SOPS 61872376 HAS SOUS 1201480 HAS SOUPS 1201480 WITH SCORE 1263352.376
AT ITER 446 NEW BEST:: SOT 131596302 SOS 61866012 HAS SOPS 61866012 HAS SOUS 1201480 HAS SOUPS 1201480 WITH SCORE 1263346.012
AT ITER 454 NEW BEST:: SOT 131592398 SOS 61858204 HAS SOPS 61858204 HAS SOUS 1201480 HAS SOUPS 1201480 WITH SCORE 1263338.204
AT ITER 460 NEW BEST:: SOT 131592092 SOS 61857592 HAS SOPS 61857592 HAS SOUS 1201480 HAS SOUPS 1201480 WITH SCORE 1263337.592
AT ITER 464 NEW BEST:: SOT 131579762 SOS 61832932 HAS SOPS 61832932 HAS SOUS 1201480 HAS SOUPS 1201480 WITH SCORE 1263312.932
AT ITER 472 NEW BEST:: SOT 131576752 SOS 61826912 HAS SOPS 61826912 HAS SOUS 1201480 HAS SOUPS 1201480 WITH SCORE 1263306.912
AT ITER 475 NEW BEST:: SOT 131574368 SOS 61822144 HAS SOPS 61822144 HAS SOUS 1201480 HAS SOUPS 1201480 WITH SCORE 1263302.144
AT ITER 481 NEW BEST:: SOT 131572084 SOS 61817576 HAS SOPS 61817576 HAS SOUS 1201480 HAS SOUPS 1201480 WITH SCORE 1263297.576
AT ITER 485 NEW BEST:: SOT 131571912 SOS 61817232 HAS SOPS 61817232 HAS SOUS 1201480 HAS SOUPS 1201480 WITH SCORE 1263297.232
AT ITER 486 NEW BEST:: SOT 131571552 SOS 61816512 HAS SOPS 61816512 HAS SOUS 1201480 HAS SOUPS 1201480 WITH SCORE 1263296.512
AT ITER 488 NEW BEST:: SOT 131567922 SOS 61809252 HAS SOPS 61809252 HAS SOUS 1201480 HAS SOUPS 1201480 WITH SCORE 1263289.252
AT ITER 489 NEW BEST:: SOT 131566926 SOS 61807260 HAS SOPS 61807260 HAS SOUS 1201480 HAS SOUPS 1201480 WITH SCORE 1263287.26
AT ITER 497 NEW BEST:: SOT 131565930 SOS 61805268 HAS SOPS 61805268 HAS SOUS 1201480 HAS SOUPS 1201480 WITH SCORE 1263285.268
AT ITER 501 NEW BEST:: SOT 131565928 SOS 61805264 HAS SOPS 61805264 HAS SOUS 1201480 HAS SOUPS 1201480 WITH SCORE 1263285.264
AT ITER 505 NEW BEST:: SOT 131563804 SOS 61801016 HAS SOPS 61801016 HAS SOUS 1201480 HAS SOUPS 1201480 WITH SCORE 1263281.016
AT ITER 512 NEW BEST:: SOT 131557188 SOS 61787784 HAS SOPS 61787784 HAS SOUS 1201480 HAS SOUPS 1201480 WITH SCORE 1263267.784
AT ITER 514 NEW BEST:: SOT 131549992 SOS 61773392 HAS SOPS 61773392 HAS SOUS 1201480 HAS SOUPS 1201480 WITH SCORE 1263253.392
AT ITER 515 NEW BEST:: SOT 131538030 SOS 61749468 HAS SOPS 61749468 HAS SOUS 1201496 HAS SOUPS 1201496 WITH SCORE 1263245.468
AT ITER 519 NEW BEST:: SOT 131535450 SOS 61744308 HAS SOPS 61744308 HAS SOUS 1201496 HAS SOUPS 1201496 WITH SCORE 1263240.308
AT ITER 520 NEW BEST:: SOT 131535220 SOS 61743848 HAS SOPS 61743848 HAS SOUS 1201496 HAS SOUPS 1201496 WITH SCORE 1263239.848
AT ITER 522 NEW BEST:: SOT 131529006 SOS 61731420 HAS SOPS 61731420 HAS SOUS 1201496 HAS SOUPS 1201496 WITH SCORE 1263227.42
AT ITER 523 NEW BEST:: SOT 131528068 SOS 61729544 HAS SOPS 61729544 HAS SOUS 1201496 HAS SOUPS 1201496 WITH SCORE 1263225.544
AT ITER 541 NEW BEST:: SOT 131522364 SOS 61718136 HAS SOPS 61718136 HAS SOUS 1201496 HAS SOUPS 1201496 WITH SCORE 1263214.136
AT ITER 544 NEW BEST:: SOT 131515672 SOS 61704752 HAS SOPS 61704752 HAS SOUS 1201496 HAS SOUPS 1201496 WITH SCORE 1263200.752
AT ITER 556 NEW BEST:: SOT 131515244 SOS 61703896 HAS SOPS 61703896 HAS SOUS 1201496 HAS SOUPS 1201496 WITH SCORE 1263199.896
AT ITER 557 NEW BEST:: SOT 131512000 SOS 61697408 HAS SOPS 61697408 HAS SOUS 1201496 HAS SOUPS 1201496 WITH SCORE 1263193.408
AT ITER 562 NEW BEST:: SOT 131506588 SOS 61686584 HAS SOPS 61686584 HAS SOUS 1201496 HAS SOUPS 1201496 WITH SCORE 1263182.584
AT ITER 568 NEW BEST:: SOT 131503874 SOS 61681156 HAS SOPS 61681156 HAS SOUS 1201496 HAS SOUPS 1201496 WITH SCORE 1263177.156
AT ITER 570 NEW BEST:: SOT 131497276 SOS 61667960 HAS SOPS 61667960 HAS SOUS 1201496 HAS SOUPS 1201496 WITH SCORE 1263163.96
AT ITER 579 NEW BEST:: SOT 131496580 SOS 61666568 HAS SOPS 61666568 HAS SOUS 1201496 HAS SOUPS 1201496 WITH SCORE 1263162.568
AT ITER 594 NEW BEST:: SOT 131495254 SOS 61663916 HAS SOPS 61663916 HAS SOUS 1201496 HAS SOUPS 1201496 WITH SCORE 1263159.916
AT ITER 605 NEW BEST:: SOT 131494862 SOS 61663132 HAS SOPS 61663132 HAS SOUS 1201496 HAS SOUPS 1201496 WITH SCORE 1263159.132
AT ITER 612 NEW BEST:: SOT 131481520 SOS 61636448 HAS SOPS 61636448 HAS SOUS 1201500 HAS SOUPS 1201500 WITH SCORE 1263136.448
AT ITER 613 NEW BEST:: SOT 131475634 SOS 61624676 HAS SOPS 61624676 HAS SOUS 1201500 HAS SOUPS 1201500 WITH SCORE 1263124.676
AT ITER 617 NEW BEST:: SOT 131468936 SOS 61611280 HAS SOPS 61611280 HAS SOUS 1201500 HAS SOUPS 1201500 WITH SCORE 1263111.28
AT ITER 618 NEW BEST:: SOT 131465040 SOS 61603488 HAS SOPS 61603488 HAS SOUS 1201500 HAS SOUPS 1201500 WITH SCORE 1263103.488
AT ITER 620 NEW BEST:: SOT 131457064 SOS 61587536 HAS SOPS 61587536 HAS SOUS 1201476 HAS SOUPS 1201476 WITH SCORE 1263063.536
AT ITER 621 NEW BEST:: SOT 131456988 SOS 61587384 HAS SOPS 61587384 HAS SOUS 1201476 HAS SOUPS 1201476 WITH SCORE 1263063.384
AT ITER 623 NEW BEST:: SOT 131460420 SOS 61594248 HAS SOPS 61594248 HAS SOUS 1201464 HAS SOUPS 1201464 WITH SCORE 1263058.248
AT ITER 626 NEW BEST:: SOT 131452074 SOS 61577556 HAS SOPS 61577556 HAS SOUS 1201464 HAS SOUPS 1201464 WITH SCORE 1263041.556
AT ITER 628 NEW BEST:: SOT 131452034 SOS 61577476 HAS SOPS 61577476 HAS SOUS 1201464 HAS SOUPS 1201464 WITH SCORE 1263041.476
AT ITER 636 NEW BEST:: SOT 131451976 SOS 61577360 HAS SOPS 61577360 HAS SOUS 1201464 HAS SOUPS 1201464 WITH SCORE 1263041.36
AT ITER 640 NEW BEST:: SOT 131450866 SOS 61575140 HAS SOPS 61575140 HAS SOUS 1201464 HAS SOUPS 1201464 WITH SCORE 1263039.14
AT ITER 654 NEW BEST:: SOT 131438752 SOS 61550912 HAS SOPS 61550912 HAS SOUS 1201464 HAS SOUPS 1201464 WITH SCORE 1263014.912
AT ITER 655 NEW BEST:: SOT 131436330 SOS 61546068 HAS SOPS 61546068 HAS SOUS 1201464 HAS SOUPS 1201464 WITH SCORE 1263010.068
AT ITER 657 NEW BEST:: SOT 131435762 SOS 61544932 HAS SOPS 61544932 HAS SOUS 1201464 HAS SOUPS 1201464 WITH SCORE 1263008.932
AT ITER 659 NEW BEST:: SOT 131430536 SOS 61534480 HAS SOPS 61534480 HAS SOUS 1201464 HAS SOUPS 1201464 WITH SCORE 1262998.48
AT ITER 663 NEW BEST:: SOT 131430046 SOS 61533500 HAS SOPS 61533500 HAS SOUS 1201464 HAS SOUPS 1201464 WITH SCORE 1262997.5
AT ITER 667 NEW BEST:: SOT 131426002 SOS 61525412 HAS SOPS 61525412 HAS SOUS 1201464 HAS SOUPS 1201464 WITH SCORE 1262989.412
AT ITER 671 NEW BEST:: SOT 131423946 SOS 61521300 HAS SOPS 61521300 HAS SOUS 1201464 HAS SOUPS 1201464 WITH SCORE 1262985.3
AT ITER 675 NEW BEST:: SOT 131423596 SOS 61520600 HAS SOPS 61520600 HAS SOUS 1201464 HAS SOUPS 1201464 WITH SCORE 1262984.6
AT ITER 680 NEW BEST:: SOT 131422210 SOS 61517828 HAS SOPS 61517828 HAS SOUS 1201464 HAS SOUPS 1201464 WITH SCORE 1262981.828
AT ITER 687 NEW BEST:: SOT 131421902 SOS 61517212 HAS SOPS 61517212 HAS SOUS 1201464 HAS SOUPS 1201464 WITH SCORE 1262981.212
AT ITER 689 NEW BEST:: SOT 131416434 SOS 61506276 HAS SOPS 61506276 HAS SOUS 1201464 HAS SOUPS 1201464 WITH SCORE 1262970.276
AT ITER 690 NEW BEST:: SOT 131412018 SOS 61497444 HAS SOPS 61497444 HAS SOUS 1201464 HAS SOUPS 1201464 WITH SCORE 1262961.444
AT ITER 698 NEW BEST:: SOT 131411526 SOS 61496460 HAS SOPS 61496460 HAS SOUS 1201464 HAS SOUPS 1201464 WITH SCORE 1262960.46
AT ITER 705 NEW BEST:: SOT 131407426 SOS 61488260 HAS SOPS 61488260 HAS SOUS 1201464 HAS SOUPS 1201464 WITH SCORE 1262952.26
AT ITER 708 NEW BEST:: SOT 131406246 SOS 61485900 HAS SOPS 61485900 HAS SOUS 1201458 HAS SOUPS 1201458 WITH SCORE 1262943.9
AT ITER 713 NEW BEST:: SOT 131405058 SOS 61483524 HAS SOPS 61483524 HAS SOUS 1201458 HAS SOUPS 1201458 WITH SCORE 1262941.524
AT ITER 717 NEW BEST:: SOT 131404116 SOS 61481640 HAS SOPS 61481640 HAS SOUS 1201458 HAS SOUPS 1201458 WITH SCORE 1262939.64
AT ITER 719 NEW BEST:: SOT 131401422 SOS 61476252 HAS SOPS 61476252 HAS SOUS 1201458 HAS SOUPS 1201458 WITH SCORE 1262934.252
AT ITER 733 NEW BEST:: SOT 131396216 SOS 61465840 HAS SOPS 61465840 HAS SOUS 1201458 HAS SOUPS 1201458 WITH SCORE 1262923.84
AT ITER 740 NEW BEST:: SOT 131381724 SOS 61436856 HAS SOPS 61436856 HAS SOUS 1201458 HAS SOUPS 1201458 WITH SCORE 1262894.856
AT ITER 742 NEW BEST:: SOT 131377888 SOS 61429184 HAS SOPS 61429184 HAS SOUS 1201458 HAS SOUPS 1201458 WITH SCORE 1262887.184
AT ITER 744 NEW BEST:: SOT 131377534 SOS 61428476 HAS SOPS 61428476 HAS SOUS 1201458 HAS SOUPS 1201458 WITH SCORE 1262886.476
AT ITER 747 NEW BEST:: SOT 131376010 SOS 61425428 HAS SOPS 61425428 HAS SOUS 1201458 HAS SOUPS 1201458 WITH SCORE 1262883.428
AT ITER 748 NEW BEST:: SOT 131374608 SOS 61422624 HAS SOPS 61422624 HAS SOUS 1201458 HAS SOUPS 1201458 WITH SCORE 1262880.624
AT ITER 749 NEW BEST:: SOT 131358294 SOS 61389996 HAS SOPS 61389996 HAS SOUS 1201458 HAS SOUPS 1201458 WITH SCORE 1262847.996
AT ITER 750 NEW BEST:: SOT 131357684 SOS 61388776 HAS SOPS 61388776 HAS SOUS 1201458 HAS SOUPS 1201458 WITH SCORE 1262846.776
AT ITER 763 NEW BEST:: SOT 131355604 SOS 61384616 HAS SOPS 61384616 HAS SOUS 1201458 HAS SOUPS 1201458 WITH SCORE 1262842.616
AT ITER 770 NEW BEST:: SOT 131354742 SOS 61382892 HAS SOPS 61382892 HAS SOUS 1201364 HAS SOUPS 1201364 WITH SCORE 1262746.892
AT ITER 777 NEW BEST:: SOT 131348236 SOS 61369880 HAS SOPS 61369880 HAS SOUS 1201376 HAS SOUPS 1201376 WITH SCORE 1262745.88
AT ITER 795 NEW BEST:: SOT 131345462 SOS 61364332 HAS SOPS 61364332 HAS SOUS 1201376 HAS SOUPS 1201376 WITH SCORE 1262740.332
AT ITER 800 NEW BEST:: SOT 131344520 SOS 61362448 HAS SOPS 61362448 HAS SOUS 1201376 HAS SOUPS 1201376 WITH SCORE 1262738.448
AT ITER 801 NEW BEST:: SOT 131334922 SOS 61343252 HAS SOPS 61343252 HAS SOUS 1201376 HAS SOUPS 1201376 WITH SCORE 1262719.252
AT ITER 811 NEW BEST:: SOT 131330832 SOS 61335072 HAS SOPS 61335072 HAS SOUS 1201376 HAS SOUPS 1201376 WITH SCORE 1262711.072
AT ITER 814 NEW BEST:: SOT 131330280 SOS 61333968 HAS SOPS 61333968 HAS SOUS 1201376 HAS SOUPS 1201376 WITH SCORE 1262709.968
AT ITER 828 NEW BEST:: SOT 131320508 SOS 61314424 HAS SOPS 61314424 HAS SOUS 1201376 HAS SOUPS 1201376 WITH SCORE 1262690.424
AT ITER 831 NEW BEST:: SOT 131318244 SOS 61309896 HAS SOPS 61309896 HAS SOUS 1201376 HAS SOUPS 1201376 WITH SCORE 1262685.896
AT ITER 834 NEW BEST:: SOT 131319042 SOS 61311492 HAS SOPS 61311492 HAS SOUS 1201328 HAS SOUPS 1201328 WITH SCORE 1262639.492
AT ITER 841 NEW BEST:: SOT 131314998 SOS 61303404 HAS SOPS 61303404 HAS SOUS 1201328 HAS SOUPS 1201328 WITH SCORE 1262631.404
AT ITER 842 NEW BEST:: SOT 131318190 SOS 61309788 HAS SOPS 61309788 HAS SOUS 1201264 HAS SOUPS 1201264 WITH SCORE 1262573.788
AT ITER 847 NEW BEST:: SOT 131306834 SOS 61287076 HAS SOPS 61287076 HAS SOUS 1201264 HAS SOUPS 1201264 WITH SCORE 1262551.076
AT ITER 855 NEW BEST:: SOT 131306782 SOS 61286972 HAS SOPS 61286972 HAS SOUS 1201264 HAS SOUPS 1201264 WITH SCORE 1262550.972
AT ITER 857 NEW BEST:: SOT 131303368 SOS 61280144 HAS SOPS 61280144 HAS SOUS 1201264 HAS SOUPS 1201264 WITH SCORE 1262544.144
AT ITER 864 NEW BEST:: SOT 131301318 SOS 61276044 HAS SOPS 61276044 HAS SOUS 1201264 HAS SOUPS 1201264 WITH SCORE 1262540.044
AT ITER 867 NEW BEST:: SOT 131301126 SOS 61275660 HAS SOPS 61275660 HAS SOUS 1201264 HAS SOUPS 1201264 WITH SCORE 1262539.66
AT ITER 869 NEW BEST:: SOT 131300454 SOS 61274316 HAS SOPS 61274316 HAS SOUS 1201264 HAS SOUPS 1201264 WITH SCORE 1262538.316
AT ITER 871 NEW BEST:: SOT 131290494 SOS 61254396 HAS SOPS 61254396 HAS SOUS 1201264 HAS SOUPS 1201264 WITH SCORE 1262518.396
AT ITER 875 NEW BEST:: SOT 131290038 SOS 61253484 HAS SOPS 61253484 HAS SOUS 1201264 HAS SOUPS 1201264 WITH SCORE 1262517.484
AT ITER 885 NEW BEST:: SOT 131285222 SOS 61243852 HAS SOPS 61243852 HAS SOUS 1201264 HAS SOUPS 1201264 WITH SCORE 1262507.852
AT ITER 892 NEW BEST:: SOT 131281060 SOS 61235528 HAS SOPS 61235528 HAS SOUS 1201264 HAS SOUPS 1201264 WITH SCORE 1262499.528
AT ITER 893 NEW BEST:: SOT 131275204 SOS 61223816 HAS SOPS 61223816 HAS SOUS 1201264 HAS SOUPS 1201264 WITH SCORE 1262487.816
AT ITER 900 NEW BEST:: SOT 131273290 SOS 61219988 HAS SOPS 61219988 HAS SOUS 1201264 HAS SOUPS 1201264 WITH SCORE 1262483.988
AT ITER 903 NEW BEST:: SOT 131273024 SOS 61219456 HAS SOPS 61219456 HAS SOUS 1201264 HAS SOUPS 1201264 WITH SCORE 1262483.456
AT ITER 905 NEW BEST:: SOT 131261752 SOS 61196912 HAS SOPS 61196912 HAS SOUS 1200960 HAS SOUPS 1200960 WITH SCORE 1262156.912
AT ITER 906 NEW BEST:: SOT 131261610 SOS 61196628 HAS SOPS 61196628 HAS SOUS 1200960 HAS SOUPS 1200960 WITH SCORE 1262156.628
AT ITER 907 NEW BEST:: SOT 131253690 SOS 61180788 HAS SOPS 61180788 HAS SOUS 1200960 HAS SOUPS 1200960 WITH SCORE 1262140.788
AT ITER 909 NEW BEST:: SOT 131252604 SOS 61178616 HAS SOPS 61178616 HAS SOUS 1200960 HAS SOUPS 1200960 WITH SCORE 1262138.616
AT ITER 913 NEW BEST:: SOT 131247052 SOS 61167512 HAS SOPS 61167512 HAS SOUS 1200960 HAS SOUPS 1200960 WITH SCORE 1262127.512
AT ITER 918 NEW BEST:: SOT 131245890 SOS 61165188 HAS SOPS 61165188 HAS SOUS 1200960 HAS SOUPS 1200960 WITH SCORE 1262125.188
AT ITER 920 NEW BEST:: SOT 131245558 SOS 61164524 HAS SOPS 61164524 HAS SOUS 1200960 HAS SOUPS 1200960 WITH SCORE 1262124.524
AT ITER 922 NEW BEST:: SOT 131236966 SOS 61147340 HAS SOPS 61147340 HAS SOUS 1200960 HAS SOUPS 1200960 WITH SCORE 1262107.34
AT ITER 925 NEW BEST:: SOT 131234440 SOS 61142288 HAS SOPS 61142288 HAS SOUS 1200960 HAS SOUPS 1200960 WITH SCORE 1262102.288
AT ITER 927 NEW BEST:: SOT 131234388 SOS 61142184 HAS SOPS 61142184 HAS SOUS 1200960 HAS SOUPS 1200960 WITH SCORE 1262102.184
AT ITER 929 NEW BEST:: SOT 131223756 SOS 61120920 HAS SOPS 61120920 HAS SOUS 1200960 HAS SOUPS 1200960 WITH SCORE 1262080.92
AT ITER 945 NEW BEST:: SOT 131219772 SOS 61112952 HAS SOPS 61112952 HAS SOUS 1200960 HAS SOUPS 1200960 WITH SCORE 1262072.952
AT ITER 952 NEW BEST:: SOT 131219528 SOS 61112464 HAS SOPS 61112464 HAS SOUS 1200960 HAS SOUPS 1200960 WITH SCORE 1262072.464
AT ITER 963 NEW BEST:: SOT 131210502 SOS 61094412 HAS SOPS 61094412 HAS SOUS 1200960 HAS SOUPS 1200960 WITH SCORE 1262054.412
AT ITER 971 NEW BEST:: SOT 131210476 SOS 61094360 HAS SOPS 61094360 HAS SOUS 1200960 HAS SOUPS 1200960 WITH SCORE 1262054.36
AT ITER 988 NEW BEST:: SOT 131199346 SOS 61072100 HAS SOPS 61072100 HAS SOUS 1200960 HAS SOUPS 1200960 WITH SCORE 1262032.1
AT ITER 1000 NEW BEST:: SOT 131188322 SOS 61050052 HAS SOPS 61050052 HAS SOUS 1200960 HAS SOUPS 1200960 WITH SCORE 1262010.052
AT ITER 1002 NEW BEST:: SOT 131187972 SOS 61049352 HAS SOPS 61049352 HAS SOUS 1200960 HAS SOUPS 1200960 WITH SCORE 1262009.352
AT ITER 1005 NEW BEST:: SOT 131187904 SOS 61049216 HAS SOPS 61049216 HAS SOUS 1200960 HAS SOUPS 1200960 WITH SCORE 1262009.216
AT ITER 1010 NEW BEST:: SOT 131184154 SOS 61041716 HAS SOPS 61041716 HAS SOUS 1200960 HAS SOUPS 1200960 WITH SCORE 1262001.716
AT ITER 1014 NEW BEST:: SOT 131183486 SOS 61040380 HAS SOPS 61040380 HAS SOUS 1200960 HAS SOUPS 1200960 WITH SCORE 1262000.38
AT ITER 1015 NEW BEST:: SOT 131182036 SOS 61037480 HAS SOPS 61037480 HAS SOUS 1200960 HAS SOUPS 1200960 WITH SCORE 1261997.48
AT ITER 1016 NEW BEST:: SOT 131181674 SOS 61036756 HAS SOPS 61036756 HAS SOUS 1200960 HAS SOUPS 1200960 WITH SCORE 1261996.756
AT ITER 1017 NEW BEST:: SOT 131180834 SOS 61035076 HAS SOPS 61035076 HAS SOUS 1200960 HAS SOUPS 1200960 WITH SCORE 1261995.076
AT ITER 1020 NEW BEST:: SOT 131176830 SOS 61027068 HAS SOPS 61027068 HAS SOUS 1200960 HAS SOUPS 1200960 WITH SCORE 1261987.068
AT ITER 1028 NEW BEST:: SOT 131176582 SOS 61026572 HAS SOPS 61026572 HAS SOUS 1200960 HAS SOUPS 1200960 WITH SCORE 1261986.572
AT ITER 1035 NEW BEST:: SOT 131202138 SOS 61077684 HAS SOPS 61077684 HAS SOUS 1200908 HAS SOUPS 1200908 WITH SCORE 1261985.684
AT ITER 1042 NEW BEST:: SOT 131199616 SOS 61072640 HAS SOPS 61072640 HAS SOUS 1200908 HAS SOUPS 1200908 WITH SCORE 1261980.64
AT ITER 1045 NEW BEST:: SOT 131198920 SOS 61071248 HAS SOPS 61071248 HAS SOUS 1200908 HAS SOUPS 1200908 WITH SCORE 1261979.248
AT ITER 1050 NEW BEST:: SOT 131194424 SOS 61062256 HAS SOPS 61062256 HAS SOUS 1200908 HAS SOUPS 1200908 WITH SCORE 1261970.256
AT ITER 1051 NEW BEST:: SOT 131194270 SOS 61061948 HAS SOPS 61061948 HAS SOUS 1200908 HAS SOUPS 1200908 WITH SCORE 1261969.948
AT ITER 1056 NEW BEST:: SOT 131191564 SOS 61056536 HAS SOPS 61056536 HAS SOUS 1200908 HAS SOUPS 1200908 WITH SCORE 1261964.536
AT ITER 1059 NEW BEST:: SOT 131185010 SOS 61043428 HAS SOPS 61043428 HAS SOUS 1200908 HAS SOUPS 1200908 WITH SCORE 1261951.428
AT ITER 1075 NEW BEST:: SOT 131177390 SOS 61028188 HAS SOPS 61028188 HAS SOUS 1200908 HAS SOUPS 1200908 WITH SCORE 1261936.188
AT ITER 1078 NEW BEST:: SOT 131153274 SOS 60979956 HAS SOPS 60979956 HAS SOUS 1200908 HAS SOUPS 1200908 WITH SCORE 1261887.956
AT ITER 1081 NEW BEST:: SOT 131138696 SOS 60950800 HAS SOPS 60950800 HAS SOUS 1200908 HAS SOUPS 1200908 WITH SCORE 1261858.8
AT ITER 1091 NEW BEST:: SOT 131125362 SOS 60924132 HAS SOPS 60924132 HAS SOUS 1200908 HAS SOUPS 1200908 WITH SCORE 1261832.132
AT ITER 1097 NEW BEST:: SOT 131124684 SOS 60922776 HAS SOPS 60922776 HAS SOUS 1200908 HAS SOUPS 1200908 WITH SCORE 1261830.776
AT ITER 1100 NEW BEST:: SOT 131122710 SOS 60918828 HAS SOPS 60918828 HAS SOUS 1200908 HAS SOUPS 1200908 WITH SCORE 1261826.828
AT ITER 1105 NEW BEST:: SOT 131116484 SOS 60906376 HAS SOPS 60906376 HAS SOUS 1200908 HAS SOUPS 1200908 WITH SCORE 1261814.376
AT ITER 1111 NEW BEST:: SOT 131115120 SOS 60903648 HAS SOPS 60903648 HAS SOUS 1200908 HAS SOUPS 1200908 WITH SCORE 1261811.648
AT ITER 1121 NEW BEST:: SOT 131113798 SOS 60901004 HAS SOPS 60901004 HAS SOUS 1200908 HAS SOUPS 1200908 WITH SCORE 1261809.004
AT ITER 1131 NEW BEST:: SOT 131113760 SOS 60900928 HAS SOPS 60900928 HAS SOUS 1200908 HAS SOUPS 1200908 WITH SCORE 1261808.928
AT ITER 1136 NEW BEST:: SOT 131111888 SOS 60897184 HAS SOPS 60897184 HAS SOUS 1200908 HAS SOUPS 1200908 WITH SCORE 1261805.184
AT ITER 1140 NEW BEST:: SOT 131106718 SOS 60886844 HAS SOPS 60886844 HAS SOUS 1200908 HAS SOUPS 1200908 WITH SCORE 1261794.844
AT ITER 1155 NEW BEST:: SOT 131106656 SOS 60886720 HAS SOPS 60886720 HAS SOUS 1200908 HAS SOUPS 1200908 WITH SCORE 1261794.72
AT ITER 1164 NEW BEST:: SOT 131105142 SOS 60883692 HAS SOPS 60883692 HAS SOUS 1200908 HAS SOUPS 1200908 WITH SCORE 1261791.692
AT ITER 1167 NEW BEST:: SOT 131104940 SOS 60883288 HAS SOPS 60883288 HAS SOUS 1200908 HAS SOUPS 1200908 WITH SCORE 1261791.288
AT ITER 1171 NEW BEST:: SOT 131104864 SOS 60883136 HAS SOPS 60883136 HAS SOUS 1200908 HAS SOUPS 1200908 WITH SCORE 1261791.136
AT ITER 1178 NEW BEST:: SOT 131101276 SOS 60875960 HAS SOPS 60875960 HAS SOUS 1200908 HAS SOUPS 1200908 WITH SCORE 1261783.96
AT ITER 1180 NEW BEST:: SOT 131099358 SOS 60872124 HAS SOPS 60872124 HAS SOUS 1200908 HAS SOUPS 1200908 WITH SCORE 1261780.124
AT ITER 1184 NEW BEST:: SOT 131098926 SOS 60871260 HAS SOPS 60871260 HAS SOUS 1200908 HAS SOUPS 1200908 WITH SCORE 1261779.26
AT ITER 1192 NEW BEST:: SOT 131093956 SOS 60861320 HAS SOPS 60861320 HAS SOUS 1200908 HAS SOUPS 1200908 WITH SCORE 1261769.32
AT ITER 1194 NEW BEST:: SOT 131091258 SOS 60855924 HAS SOPS 60855924 HAS SOUS 1200908 HAS SOUPS 1200908 WITH SCORE 1261763.924
AT ITER 1196 NEW BEST:: SOT 131091206 SOS 60855820 HAS SOPS 60855820 HAS SOUS 1200908 HAS SOUPS 1200908 WITH SCORE 1261763.82
AT ITER 1211 NEW BEST:: SOT 131090730 SOS 60854868 HAS SOPS 60854868 HAS SOUS 1200908 HAS SOUPS 1200908 WITH SCORE 1261762.868
AT ITER 1227 NEW BEST:: SOT 131090434 SOS 60854276 HAS SOPS 60854276 HAS SOUS 1200908 HAS SOUPS 1200908 WITH SCORE 1261762.276
AT ITER 1237 NEW BEST:: SOT 131089990 SOS 60853388 HAS SOPS 60853388 HAS SOUS 1200908 HAS SOUPS 1200908 WITH SCORE 1261761.388
AT ITER 1257 NEW BEST:: SOT 131081880 SOS 60837168 HAS SOPS 60837168 HAS SOUS 1200908 HAS SOUPS 1200908 WITH SCORE 1261745.168
AT ITER 1259 NEW BEST:: SOT 131080564 SOS 60834536 HAS SOPS 60834536 HAS SOUS 1200908 HAS SOUPS 1200908 WITH SCORE 1261742.536
AT ITER 1262 NEW BEST:: SOT 131078866 SOS 60831140 HAS SOPS 60831140 HAS SOUS 1200908 HAS SOUPS 1200908 WITH SCORE 1261739.14
AT ITER 1271 NEW BEST:: SOT 131078714 SOS 60830836 HAS SOPS 60830836 HAS SOUS 1200908 HAS SOUPS 1200908 WITH SCORE 1261738.836
AT ITER 1287 NEW BEST:: SOT 131077426 SOS 60828260 HAS SOPS 60828260 HAS SOUS 1200908 HAS SOUPS 1200908 WITH SCORE 1261736.26
AT ITER 1298 NEW BEST:: SOT 131077070 SOS 60827548 HAS SOPS 60827548 HAS SOUS 1200908 HAS SOUPS 1200908 WITH SCORE 1261735.548
AT ITER 1303 NEW BEST:: SOT 131076880 SOS 60827168 HAS SOPS 60827168 HAS SOUS 1200908 HAS SOUPS 1200908 WITH SCORE 1261735.168
AT ITER 1310 NEW BEST:: SOT 131075494 SOS 60824396 HAS SOPS 60824396 HAS SOUS 1200908 HAS SOUPS 1200908 WITH SCORE 1261732.396
AT ITER 1311 NEW BEST:: SOT 131075386 SOS 60824180 HAS SOPS 60824180 HAS SOUS 1200908 HAS SOUPS 1200908 WITH SCORE 1261732.18
AT ITER 1318 NEW BEST:: SOT 131073134 SOS 60819676 HAS SOPS 60819676 HAS SOUS 1200908 HAS SOUPS 1200908 WITH SCORE 1261727.676
AT ITER 1327 NEW BEST:: SOT 131066310 SOS 60806028 HAS SOPS 60806028 HAS SOUS 1200908 HAS SOUPS 1200908 WITH SCORE 1261714.028
AT ITER 1328 NEW BEST:: SOT 131065944 SOS 60805296 HAS SOPS 60805296 HAS SOUS 1200908 HAS SOUPS 1200908 WITH SCORE 1261713.296
AT ITER 1333 NEW BEST:: SOT 131067304 SOS 60808016 HAS SOPS 60808016 HAS SOUS 1200892 HAS SOUPS 1200892 WITH SCORE 1261700.016
AT ITER 1343 NEW BEST:: SOT 131067212 SOS 60807832 HAS SOPS 60807832 HAS SOUS 1200892 HAS SOUPS 1200892 WITH SCORE 1261699.832
AT ITER 1344 NEW BEST:: SOT 131064436 SOS 60802280 HAS SOPS 60802280 HAS SOUS 1200892 HAS SOUPS 1200892 WITH SCORE 1261694.28
AT ITER 1350 NEW BEST:: SOT 131064190 SOS 60801788 HAS SOPS 60801788 HAS SOUS 1200892 HAS SOUPS 1200892 WITH SCORE 1261693.788
AT ITER 1361 NEW BEST:: SOT 131063246 SOS 60799900 HAS SOPS 60799900 HAS SOUS 1200892 HAS SOUPS 1200892 WITH SCORE 1261691.9
AT ITER 1369 NEW BEST:: SOT 131062474 SOS 60798356 HAS SOPS 60798356 HAS SOUS 1200892 HAS SOUPS 1200892 WITH SCORE 1261690.356
AT ITER 1374 NEW BEST:: SOT 131061206 SOS 60795820 HAS SOPS 60795820 HAS SOUS 1200892 HAS SOUPS 1200892 WITH SCORE 1261687.82
AT ITER 1380 NEW BEST:: SOT 131046276 SOS 60765960 HAS SOPS 60765960 HAS SOUS 1200892 HAS SOUPS 1200892 WITH SCORE 1261657.96
AT ITER 1385 NEW BEST:: SOT 131044490 SOS 60762388 HAS SOPS 60762388 HAS SOUS 1200892 HAS SOUPS 1200892 WITH SCORE 1261654.388
AT ITER 1390 NEW BEST:: SOT 131041210 SOS 60755828 HAS SOPS 60755828 HAS SOUS 1200892 HAS SOUPS 1200892 WITH SCORE 1261647.828
AT ITER 1393 NEW BEST:: SOT 131029252 SOS 60731912 HAS SOPS 60731912 HAS SOUS 1200892 HAS SOUPS 1200892 WITH SCORE 1261623.912
AT ITER 1404 NEW BEST:: SOT 131027950 SOS 60729308 HAS SOPS 60729308 HAS SOUS 1200892 HAS SOUPS 1200892 WITH SCORE 1261621.308
AT ITER 1409 NEW BEST:: SOT 131027796 SOS 60729000 HAS SOPS 60729000 HAS SOUS 1200892 HAS SOUPS 1200892 WITH SCORE 1261621.0
AT ITER 1414 NEW BEST:: SOT 131025326 SOS 60724060 HAS SOPS 60724060 HAS SOUS 1200892 HAS SOUPS 1200892 WITH SCORE 1261616.06
AT ITER 1418 NEW BEST:: SOT 131024210 SOS 60721828 HAS SOPS 60721828 HAS SOUS 1200892 HAS SOUPS 1200892 WITH SCORE 1261613.828
AT ITER 1420 NEW BEST:: SOT 131022116 SOS 60717640 HAS SOPS 60717640 HAS SOUS 1200892 HAS SOUPS 1200892 WITH SCORE 1261609.64
AT ITER 1423 NEW BEST:: SOT 131022062 SOS 60717532 HAS SOPS 60717532 HAS SOUS 1200892 HAS SOUPS 1200892 WITH SCORE 1261609.532
AT ITER 1436 NEW BEST:: SOT 131020200 SOS 60713808 HAS SOPS 60713808 HAS SOUS 1200892 HAS SOUPS 1200892 WITH SCORE 1261605.808
AT ITER 1438 NEW BEST:: SOT 131013074 SOS 60699556 HAS SOPS 60699556 HAS SOUS 1200892 HAS SOUPS 1200892 WITH SCORE 1261591.556
AT ITER 1443 NEW BEST:: SOT 131009862 SOS 60693132 HAS SOPS 60693132 HAS SOUS 1200892 HAS SOUPS 1200892 WITH SCORE 1261585.132
AT ITER 1449 NEW BEST:: SOT 131007854 SOS 60689116 HAS SOPS 60689116 HAS SOUS 1200892 HAS SOUPS 1200892 WITH SCORE 1261581.116
AT ITER 1450 NEW BEST:: SOT 131007496 SOS 60688400 HAS SOPS 60688400 HAS SOUS 1200892 HAS SOUPS 1200892 WITH SCORE 1261580.4
AT ITER 1452 NEW BEST:: SOT 130996000 SOS 60665408 HAS SOPS 60665408 HAS SOUS 1200892 HAS SOUPS 1200892 WITH SCORE 1261557.408
AT ITER 1470 NEW BEST:: SOT 130993556 SOS 60660520 HAS SOPS 60660520 HAS SOUS 1200892 HAS SOUPS 1200892 WITH SCORE 1261552.52
AT ITER 1471 NEW BEST:: SOT 130993384 SOS 60660176 HAS SOPS 60660176 HAS SOUS 1200892 HAS SOUPS 1200892 WITH SCORE 1261552.176
AT ITER 1474 NEW BEST:: SOT 130991914 SOS 60657236 HAS SOPS 60657236 HAS SOUS 1200892 HAS SOUPS 1200892 WITH SCORE 1261549.236
AT ITER 1487 NEW BEST:: SOT 130991480 SOS 60656368 HAS SOPS 60656368 HAS SOUS 1200892 HAS SOUPS 1200892 WITH SCORE 1261548.368
AT ITER 1488 NEW BEST:: SOT 130991458 SOS 60656324 HAS SOPS 60656324 HAS SOUS 1200892 HAS SOUPS 1200892 WITH SCORE 1261548.324
AT ITER 1492 NEW BEST:: SOT 130991452 SOS 60656312 HAS SOPS 60656312 HAS SOUS 1200892 HAS SOUPS 1200892 WITH SCORE 1261548.312
AT ITER 1494 NEW BEST:: SOT 130982978 SOS 60639364 HAS SOPS 60639364 HAS SOUS 1200892 HAS SOUPS 1200892 WITH SCORE 1261531.364
AT ITER 1499 NEW BEST:: SOT 130982628 SOS 60638664 HAS SOPS 60638664 HAS SOUS 1200892 HAS SOUPS 1200892 WITH SCORE 1261530.664
AT ITER 1505 NEW BEST:: SOT 130976218 SOS 60625844 HAS SOPS 60625844 HAS SOUS 1200892 HAS SOUPS 1200892 WITH SCORE 1261517.844
AT ITER 1510 NEW BEST:: SOT 130974728 SOS 60622864 HAS SOPS 60622864 HAS SOUS 1200892 HAS SOUPS 1200892 WITH SCORE 1261514.864
AT ITER 1513 NEW BEST:: SOT 130972620 SOS 60618648 HAS SOPS 60618648 HAS SOUS 1200892 HAS SOUPS 1200892 WITH SCORE 1261510.648
AT ITER 1516 NEW BEST:: SOT 130964940 SOS 60603288 HAS SOPS 60603288 HAS SOUS 1200892 HAS SOUPS 1200892 WITH SCORE 1261495.288
AT ITER 1519 NEW BEST:: SOT 130967678 SOS 60608764 HAS SOPS 60608764 HAS SOUS 1200878 HAS SOUPS 1200878 WITH SCORE 1261486.764
AT ITER 1523 NEW BEST:: SOT 130964748 SOS 60602904 HAS SOPS 60602904 HAS SOUS 1200878 HAS SOUPS 1200878 WITH SCORE 1261480.904
AT ITER 1551 NEW BEST:: SOT 130959502 SOS 60592412 HAS SOPS 60592412 HAS SOUS 1200878 HAS SOUPS 1200878 WITH SCORE 1261470.412
AT ITER 1552 NEW BEST:: SOT 130959376 SOS 60592160 HAS SOPS 60592160 HAS SOUS 1200878 HAS SOUPS 1200878 WITH SCORE 1261470.16
AT ITER 1579 NEW BEST:: SOT 130956078 SOS 60585564 HAS SOPS 60585564 HAS SOUS 1200878 HAS SOUPS 1200878 WITH SCORE 1261463.564
AT ITER 1586 NEW BEST:: SOT 130951998 SOS 60577404 HAS SOPS 60577404 HAS SOUS 1200878 HAS SOUPS 1200878 WITH SCORE 1261455.404
AT ITER 1587 NEW BEST:: SOT 130951656 SOS 60576720 HAS SOPS 60576720 HAS SOUS 1200878 HAS SOUPS 1200878 WITH SCORE 1261454.72
AT ITER 1591 NEW BEST:: SOT 130950156 SOS 60573720 HAS SOPS 60573720 HAS SOUS 1200878 HAS SOUPS 1200878 WITH SCORE 1261451.72
AT ITER 1613 NEW BEST:: SOT 130948792 SOS 60570992 HAS SOPS 60570992 HAS SOUS 1200878 HAS SOUPS 1200878 WITH SCORE 1261448.992
AT ITER 1625 NEW BEST:: SOT 130945208 SOS 60563824 HAS SOPS 60563824 HAS SOUS 1200884 HAS SOUPS 1200884 WITH SCORE 1261447.824
AT ITER 1637 NEW BEST:: SOT 130942856 SOS 60559120 HAS SOPS 60559120 HAS SOUS 1200884 HAS SOUPS 1200884 WITH SCORE 1261443.12
AT ITER 1642 NEW BEST:: SOT 130940432 SOS 60554272 HAS SOPS 60554272 HAS SOUS 1200884 HAS SOUPS 1200884 WITH SCORE 1261438.272
AT ITER 1645 NEW BEST:: SOT 130936488 SOS 60546384 HAS SOPS 60546384 HAS SOUS 1200884 HAS SOUPS 1200884 WITH SCORE 1261430.384
AT ITER 1660 NEW BEST:: SOT 130935330 SOS 60544068 HAS SOPS 60544068 HAS SOUS 1200884 HAS SOUPS 1200884 WITH SCORE 1261428.068
AT ITER 1662 NEW BEST:: SOT 130935210 SOS 60543828 HAS SOPS 60543828 HAS SOUS 1200884 HAS SOUPS 1200884 WITH SCORE 1261427.828
AT ITER 1666 NEW BEST:: SOT 130932782 SOS 60538972 HAS SOPS 60538972 HAS SOUS 1200884 HAS SOUPS 1200884 WITH SCORE 1261422.972
AT ITER 1670 NEW BEST:: SOT 130929844 SOS 60533096 HAS SOPS 60533096 HAS SOUS 1200884 HAS SOUPS 1200884 WITH SCORE 1261417.096
AT ITER 1671 NEW BEST:: SOT 130929562 SOS 60532532 HAS SOPS 60532532 HAS SOUS 1200884 HAS SOUPS 1200884 WITH SCORE 1261416.532
AT ITER 1676 NEW BEST:: SOT 130926150 SOS 60525708 HAS SOPS 60525708 HAS SOUS 1200884 HAS SOUPS 1200884 WITH SCORE 1261409.708
AT ITER 1678 NEW BEST:: SOT 130923104 SOS 60519616 HAS SOPS 60519616 HAS SOUS 1200884 HAS SOUPS 1200884 WITH SCORE 1261403.616
AT ITER 1681 NEW BEST:: SOT 130918426 SOS 60510260 HAS SOPS 60510260 HAS SOUS 1200884 HAS SOUPS 1200884 WITH SCORE 1261394.26
AT ITER 1687 NEW BEST:: SOT 130917458 SOS 60508324 HAS SOPS 60508324 HAS SOUS 1200884 HAS SOUPS 1200884 WITH SCORE 1261392.324
AT ITER 1694 NEW BEST:: SOT 130897648 SOS 60468704 HAS SOPS 60468704 HAS SOUS 1198626 HAS SOUPS 1198626 WITH SCORE 1259094.704
AT ITER 1704 NEW BEST:: SOT 130889444 SOS 60452296 HAS SOPS 60452296 HAS SOUS 1198626 HAS SOUPS 1198626 WITH SCORE 1259078.296
AT ITER 1705 NEW BEST:: SOT 130888048 SOS 60449504 HAS SOPS 60449504 HAS SOUS 1198626 HAS SOUPS 1198626 WITH SCORE 1259075.504
AT ITER 1712 NEW BEST:: SOT 130884612 SOS 60442632 HAS SOPS 60442632 HAS SOUS 1198626 HAS SOUPS 1198626 WITH SCORE 1259068.632
AT ITER 1715 NEW BEST:: SOT 130884828 SOS 60443064 HAS SOPS 60443064 HAS SOUS 1198600 HAS SOUPS 1198600 WITH SCORE 1259043.064
AT ITER 1718 NEW BEST:: SOT 130883888 SOS 60441184 HAS SOPS 60441184 HAS SOUS 1198600 HAS SOUPS 1198600 WITH SCORE 1259041.184
AT ITER 1726 NEW BEST:: SOT 130883854 SOS 60441116 HAS SOPS 60441116 HAS SOUS 1198600 HAS SOUPS 1198600 WITH SCORE 1259041.116
AT ITER 1730 NEW BEST:: SOT 130883774 SOS 60440956 HAS SOPS 60440956 HAS SOUS 1198600 HAS SOUPS 1198600 WITH SCORE 1259040.956
AT ITER 1733 NEW BEST:: SOT 130880996 SOS 60435400 HAS SOPS 60435400 HAS SOUS 1198600 HAS SOUPS 1198600 WITH SCORE 1259035.4
AT ITER 1747 NEW BEST:: SOT 130878594 SOS 60430596 HAS SOPS 60430596 HAS SOUS 1198600 HAS SOUPS 1198600 WITH SCORE 1259030.596
AT ITER 1748 NEW BEST:: SOT 130877424 SOS 60428256 HAS SOPS 60428256 HAS SOUS 1198600 HAS SOUPS 1198600 WITH SCORE 1259028.256
AT ITER 1749 NEW BEST:: SOT 130877126 SOS 60427660 HAS SOPS 60427660 HAS SOUS 1198600 HAS SOUPS 1198600 WITH SCORE 1259027.66
AT ITER 1750 NEW BEST:: SOT 130875544 SOS 60424496 HAS SOPS 60424496 HAS SOUS 1198600 HAS SOUPS 1198600 WITH SCORE 1259024.496
AT ITER 1757 NEW BEST:: SOT 130874902 SOS 60423212 HAS SOPS 60423212 HAS SOUS 1198600 HAS SOUPS 1198600 WITH SCORE 1259023.212
AT ITER 1758 NEW BEST:: SOT 130874316 SOS 60422040 HAS SOPS 60422040 HAS SOUS 1198600 HAS SOUPS 1198600 WITH SCORE 1259022.04
AT ITER 1761 NEW BEST:: SOT 130873688 SOS 60420784 HAS SOPS 60420784 HAS SOUS 1198600 HAS SOUPS 1198600 WITH SCORE 1259020.784
AT ITER 1763 NEW BEST:: SOT 130871104 SOS 60415616 HAS SOPS 60415616 HAS SOUS 1198600 HAS SOUPS 1198600 WITH SCORE 1259015.616
AT ITER 1764 NEW BEST:: SOT 130870570 SOS 60414548 HAS SOPS 60414548 HAS SOUS 1198600 HAS SOUPS 1198600 WITH SCORE 1259014.548
AT ITER 1767 NEW BEST:: SOT 130864138 SOS 60401684 HAS SOPS 60401684 HAS SOUS 1198600 HAS SOUPS 1198600 WITH SCORE 1259001.684
AT ITER 1768 NEW BEST:: SOT 130861946 SOS 60397300 HAS SOPS 60397300 HAS SOUS 1198600 HAS SOUPS 1198600 WITH SCORE 1258997.3
AT ITER 1781 NEW BEST:: SOT 130861398 SOS 60396204 HAS SOPS 60396204 HAS SOUS 1198600 HAS SOUPS 1198600 WITH SCORE 1258996.204
AT ITER 1785 NEW BEST:: SOT 130860288 SOS 60393984 HAS SOPS 60393984 HAS SOUS 1198600 HAS SOUPS 1198600 WITH SCORE 1258993.984
AT ITER 1792 NEW BEST:: SOT 130847732 SOS 60368872 HAS SOPS 60368872 HAS SOUS 1198600 HAS SOUPS 1198600 WITH SCORE 1258968.872
AT ITER 1803 NEW BEST:: SOT 130846278 SOS 60365964 HAS SOPS 60365964 HAS SOUS 1198600 HAS SOUPS 1198600 WITH SCORE 1258965.964
AT ITER 1805 NEW BEST:: SOT 130845796 SOS 60365000 HAS SOPS 60365000 HAS SOUS 1198600 HAS SOUPS 1198600 WITH SCORE 1258965.0
AT ITER 1821 NEW BEST:: SOT 130844340 SOS 60362088 HAS SOPS 60362088 HAS SOUS 1198594 HAS SOUPS 1198594 WITH SCORE 1258956.088
AT ITER 1827 NEW BEST:: SOT 130842400 SOS 60358208 HAS SOPS 60358208 HAS SOUS 1198594 HAS SOUPS 1198594 WITH SCORE 1258952.208
AT ITER 1837 NEW BEST:: SOT 130846488 SOS 60366384 HAS SOPS 60366384 HAS SOUS 1198572 HAS SOUPS 1198572 WITH SCORE 1258938.384
AT ITER 1841 NEW BEST:: SOT 130846418 SOS 60366244 HAS SOPS 60366244 HAS SOUS 1198572 HAS SOUPS 1198572 WITH SCORE 1258938.244
AT ITER 1842 NEW BEST:: SOT 130846024 SOS 60365456 HAS SOPS 60365456 HAS SOUS 1198572 HAS SOUPS 1198572 WITH SCORE 1258937.456
AT ITER 1845 NEW BEST:: SOT 130844942 SOS 60363292 HAS SOPS 60363292 HAS SOUS 1198572 HAS SOUPS 1198572 WITH SCORE 1258935.292
AT ITER 1850 NEW BEST:: SOT 130837442 SOS 60348292 HAS SOPS 60348292 HAS SOUS 1198572 HAS SOUPS 1198572 WITH SCORE 1258920.292
AT ITER 1855 NEW BEST:: SOT 130837202 SOS 60347812 HAS SOPS 60347812 HAS SOUS 1198572 HAS SOUPS 1198572 WITH SCORE 1258919.812
AT ITER 1857 NEW BEST:: SOT 130834862 SOS 60343132 HAS SOPS 60343132 HAS SOUS 1198572 HAS SOUPS 1198572 WITH SCORE 1258915.132
AT ITER 1862 NEW BEST:: SOT 130834430 SOS 60342268 HAS SOPS 60342268 HAS SOUS 1198572 HAS SOUPS 1198572 WITH SCORE 1258914.268
AT ITER 1863 NEW BEST:: SOT 130832494 SOS 60338396 HAS SOPS 60338396 HAS SOUS 1198572 HAS SOUPS 1198572 WITH SCORE 1258910.396
AT ITER 1869 NEW BEST:: SOT 130832400 SOS 60338208 HAS SOPS 60338208 HAS SOUS 1198572 HAS SOUPS 1198572 WITH SCORE 1258910.208
AT ITER 1875 NEW BEST:: SOT 130831138 SOS 60335684 HAS SOPS 60335684 HAS SOUS 1198572 HAS SOUPS 1198572 WITH SCORE 1258907.684
AT ITER 1881 NEW BEST:: SOT 130827774 SOS 60328956 HAS SOPS 60328956 HAS SOUS 1198572 HAS SOUPS 1198572 WITH SCORE 1258900.956
AT ITER 1886 NEW BEST:: SOT 130827628 SOS 60328664 HAS SOPS 60328664 HAS SOUS 1198572 HAS SOUPS 1198572 WITH SCORE 1258900.664
AT ITER 1901 NEW BEST:: SOT 130827506 SOS 60328420 HAS SOPS 60328420 HAS SOUS 1198572 HAS SOUPS 1198572 WITH SCORE 1258900.42
AT ITER 1903 NEW BEST:: SOT 130837118 SOS 60347644 HAS SOPS 60347644 HAS SOUS 1198268 HAS SOUPS 1198268 WITH SCORE 1258615.644
AT ITER 1905 NEW BEST:: SOT 130836358 SOS 60346124 HAS SOPS 60346124 HAS SOUS 1198268 HAS SOUPS 1198268 WITH SCORE 1258614.124
AT ITER 1913 NEW BEST:: SOT 130835324 SOS 60344056 HAS SOPS 60344056 HAS SOUS 1198268 HAS SOUPS 1198268 WITH SCORE 1258612.056
AT ITER 1921 NEW BEST:: SOT 130833434 SOS 60340276 HAS SOPS 60340276 HAS SOUS 1198268 HAS SOUPS 1198268 WITH SCORE 1258608.276
AT ITER 1940 NEW BEST:: SOT 130832184 SOS 60337776 HAS SOPS 60337776 HAS SOUS 1198268 HAS SOUPS 1198268 WITH SCORE 1258605.776
AT ITER 1949 NEW BEST:: SOT 130832232 SOS 60337872 HAS SOPS 60337872 HAS SOUS 1197678 HAS SOUPS 1197678 WITH SCORE 1258015.872
AT ITER 1954 NEW BEST:: SOT 130832222 SOS 60337852 HAS SOPS 60337852 HAS SOUS 1197678 HAS SOUPS 1197678 WITH SCORE 1258015.852
AT ITER 1961 NEW BEST:: SOT 130830980 SOS 60335368 HAS SOPS 60335368 HAS SOUS 1197678 HAS SOUPS 1197678 WITH SCORE 1258013.368
AT ITER 1969 NEW BEST:: SOT 130829084 SOS 60331576 HAS SOPS 60331576 HAS SOUS 1197678 HAS SOUPS 1197678 WITH SCORE 1258009.576
AT ITER 1976 NEW BEST:: SOT 130825974 SOS 60325356 HAS SOPS 60325356 HAS SOUS 1197678 HAS SOUPS 1197678 WITH SCORE 1258003.356
AT ITER 1977 NEW BEST:: SOT 130825750 SOS 60324908 HAS SOPS 60324908 HAS SOUS 1197678 HAS SOUPS 1197678 WITH SCORE 1258002.908
AT ITER 1983 NEW BEST:: SOT 130822020 SOS 60317448 HAS SOPS 60317448 HAS SOUS 1197678 HAS SOUPS 1197678 WITH SCORE 1257995.448
AT ITER 1984 NEW BEST:: SOT 130821462 SOS 60316332 HAS SOPS 60316332 HAS SOUS 1197678 HAS SOUPS 1197678 WITH SCORE 1257994.332
AT ITER 1990 NEW BEST:: SOT 130819792 SOS 60312992 HAS SOPS 60312992 HAS SOUS 1197678 HAS SOUPS 1197678 WITH SCORE 1257990.992
AT ITER 1991 NEW BEST:: SOT 130816356 SOS 60306120 HAS SOPS 60306120 HAS SOUS 1197678 HAS SOUPS 1197678 WITH SCORE 1257984.12
AT ITER 1992 NEW BEST:: SOT 130815854 SOS 60305116 HAS SOPS 60305116 HAS SOUS 1197678 HAS SOUPS 1197678 WITH SCORE 1257983.116
AT ITER 2001 NEW BEST:: SOT 130813784 SOS 60300976 HAS SOPS 60300976 HAS SOUS 1197678 HAS SOUPS 1197678 WITH SCORE 1257978.976
AT ITER 2005 NEW BEST:: SOT 130812272 SOS 60297952 HAS SOPS 60297952 HAS SOUS 1197678 HAS SOUPS 1197678 WITH SCORE 1257975.952
AT ITER 2011 NEW BEST:: SOT 130811930 SOS 60297268 HAS SOPS 60297268 HAS SOUS 1197678 HAS SOUPS 1197678 WITH SCORE 1257975.268
AT ITER 2030 NEW BEST:: SOT 130811808 SOS 60297024 HAS SOPS 60297024 HAS SOUS 1197678 HAS SOUPS 1197678 WITH SCORE 1257975.024
AT ITER 2038 NEW BEST:: SOT 130810484 SOS 60294376 HAS SOPS 60294376 HAS SOUS 1197678 HAS SOUPS 1197678 WITH SCORE 1257972.376
AT ITER 2039 NEW BEST:: SOT 130808638 SOS 60290684 HAS SOPS 60290684 HAS SOUS 1197678 HAS SOUPS 1197678 WITH SCORE 1257968.684
AT ITER 2046 NEW BEST:: SOT 130804420 SOS 60282248 HAS SOPS 60282248 HAS SOUS 1197678 HAS SOUPS 1197678 WITH SCORE 1257960.248
AT ITER 2048 NEW BEST:: SOT 130799094 SOS 60271596 HAS SOPS 60271596 HAS SOUS 1197678 HAS SOUPS 1197678 WITH SCORE 1257949.596
AT ITER 2053 NEW BEST:: SOT 130798014 SOS 60269436 HAS SOPS 60269436 HAS SOUS 1197678 HAS SOUPS 1197678 WITH SCORE 1257947.436
AT ITER 2076 NEW BEST:: SOT 130793780 SOS 60260968 HAS SOPS 60260968 HAS SOUS 1197678 HAS SOUPS 1197678 WITH SCORE 1257938.968
AT ITER 2119 NEW BEST:: SOT 130792202 SOS 60257812 HAS SOPS 60257812 HAS SOUS 1197678 HAS SOUPS 1197678 WITH SCORE 1257935.812
AT ITER 2120 NEW BEST:: SOT 130787804 SOS 60249016 HAS SOPS 60249016 HAS SOUS 1197678 HAS SOUPS 1197678 WITH SCORE 1257927.016
AT ITER 2125 NEW BEST:: SOT 130787446 SOS 60248300 HAS SOPS 60248300 HAS SOUS 1197678 HAS SOUPS 1197678 WITH SCORE 1257926.3
AT ITER 2135 NEW BEST:: SOT 130787418 SOS 60248244 HAS SOPS 60248244 HAS SOUS 1197678 HAS SOUPS 1197678 WITH SCORE 1257926.244
AT ITER 2136 NEW BEST:: SOT 130787404 SOS 60248216 HAS SOPS 60248216 HAS SOUS 1197678 HAS SOUPS 1197678 WITH SCORE 1257926.216
AT ITER 2139 NEW BEST:: SOT 130787242 SOS 60247892 HAS SOPS 60247892 HAS SOUS 1197678 HAS SOUPS 1197678 WITH SCORE 1257925.892
AT ITER 2141 NEW BEST:: SOT 130786936 SOS 60247280 HAS SOPS 60247280 HAS SOUS 1197678 HAS SOUPS 1197678 WITH SCORE 1257925.28
AT ITER 2144 NEW BEST:: SOT 130786580 SOS 60246568 HAS SOPS 60246568 HAS SOUS 1197678 HAS SOUPS 1197678 WITH SCORE 1257924.568
AT ITER 2147 NEW BEST:: SOT 130786162 SOS 60245732 HAS SOPS 60245732 HAS SOUS 1197678 HAS SOUPS 1197678 WITH SCORE 1257923.732
AT ITER 2161 NEW BEST:: SOT 130783826 SOS 60241060 HAS SOPS 60241060 HAS SOUS 1197678 HAS SOUPS 1197678 WITH SCORE 1257919.06
AT ITER 2167 NEW BEST:: SOT 130781480 SOS 60236368 HAS SOPS 60236368 HAS SOUS 1197678 HAS SOUPS 1197678 WITH SCORE 1257914.368
AT ITER 2176 NEW BEST:: SOT 130775346 SOS 60224100 HAS SOPS 60224100 HAS SOUS 1197678 HAS SOUPS 1197678 WITH SCORE 1257902.1
AT ITER 2180 NEW BEST:: SOT 130773394 SOS 60220196 HAS SOPS 60220196 HAS SOUS 1197678 HAS SOUPS 1197678 WITH SCORE 1257898.196
AT ITER 2183 NEW BEST:: SOT 130763932 SOS 60201272 HAS SOPS 60201272 HAS SOUS 1197678 HAS SOUPS 1197678 WITH SCORE 1257879.272
AT ITER 2185 NEW BEST:: SOT 130763518 SOS 60200444 HAS SOPS 60200444 HAS SOUS 1197678 HAS SOUPS 1197678 WITH SCORE 1257878.444
AT ITER 2193 NEW BEST:: SOT 130757580 SOS 60188568 HAS SOPS 60188568 HAS SOUS 1197678 HAS SOUPS 1197678 WITH SCORE 1257866.568
AT ITER 2196 NEW BEST:: SOT 130756922 SOS 60187252 HAS SOPS 60187252 HAS SOUS 1197678 HAS SOUPS 1197678 WITH SCORE 1257865.252
AT ITER 2203 NEW BEST:: SOT 130756632 SOS 60186672 HAS SOPS 60186672 HAS SOUS 1197678 HAS SOUPS 1197678 WITH SCORE 1257864.672
AT ITER 2217 NEW BEST:: SOT 130756284 SOS 60185976 HAS SOPS 60185976 HAS SOUS 1197678 HAS SOUPS 1197678 WITH SCORE 1257863.976
AT ITER 2232 NEW BEST:: SOT 130755414 SOS 60184236 HAS SOPS 60184236 HAS SOUS 1197670 HAS SOUPS 1197670 WITH SCORE 1257854.236
AT ITER 2233 NEW BEST:: SOT 130752448 SOS 60178304 HAS SOPS 60178304 HAS SOUS 1197670 HAS SOUPS 1197670 WITH SCORE 1257848.304
AT ITER 2244 NEW BEST:: SOT 130743384 SOS 60160176 HAS SOPS 60160176 HAS SOUS 1197670 HAS SOUPS 1197670 WITH SCORE 1257830.176
AT ITER 2247 NEW BEST:: SOT 130742450 SOS 60158308 HAS SOPS 60158308 HAS SOUS 1197670 HAS SOUPS 1197670 WITH SCORE 1257828.308
AT ITER 2259 NEW BEST:: SOT 130741866 SOS 60157140 HAS SOPS 60157140 HAS SOUS 1197670 HAS SOUPS 1197670 WITH SCORE 1257827.14
AT ITER 2269 NEW BEST:: SOT 130741388 SOS 60156184 HAS SOPS 60156184 HAS SOUS 1197670 HAS SOUPS 1197670 WITH SCORE 1257826.184
AT ITER 2270 NEW BEST:: SOT 130737544 SOS 60148496 HAS SOPS 60148496 HAS SOUS 1197670 HAS SOUPS 1197670 WITH SCORE 1257818.496
AT ITER 2276 NEW BEST:: SOT 130734200 SOS 60141808 HAS SOPS 60141808 HAS SOUS 1197670 HAS SOUPS 1197670 WITH SCORE 1257811.808
AT ITER 2288 NEW BEST:: SOT 130731216 SOS 60135840 HAS SOPS 60135840 HAS SOUS 1197660 HAS SOUPS 1197660 WITH SCORE 1257795.84
AT ITER 2289 NEW BEST:: SOT 130725328 SOS 60124064 HAS SOPS 60124064 HAS SOUS 1197660 HAS SOUPS 1197660 WITH SCORE 1257784.064
AT ITER 2293 NEW BEST:: SOT 130723570 SOS 60120548 HAS SOPS 60120548 HAS SOUS 1197660 HAS SOUPS 1197660 WITH SCORE 1257780.548
AT ITER 2296 NEW BEST:: SOT 130722674 SOS 60118756 HAS SOPS 60118756 HAS SOUS 1197660 HAS SOUPS 1197660 WITH SCORE 1257778.756
AT ITER 2306 NEW BEST:: SOT 130710206 SOS 60093820 HAS SOPS 60093820 HAS SOUS 1197660 HAS SOUPS 1197660 WITH SCORE 1257753.82
AT ITER 2309 NEW BEST:: SOT 130710126 SOS 60093660 HAS SOPS 60093660 HAS SOUS 1197660 HAS SOUPS 1197660 WITH SCORE 1257753.66
AT ITER 2315 NEW BEST:: SOT 130702320 SOS 60078048 HAS SOPS 60078048 HAS SOUS 1197640 HAS SOUPS 1197640 WITH SCORE 1257718.048
AT ITER 2331 NEW BEST:: SOT 130699928 SOS 60073264 HAS SOPS 60073264 HAS SOUS 1197640 HAS SOUPS 1197640 WITH SCORE 1257713.264
AT ITER 2333 NEW BEST:: SOT 130695776 SOS 60064960 HAS SOPS 60064960 HAS SOUS 1197640 HAS SOUPS 1197640 WITH SCORE 1257704.96
AT ITER 2334 NEW BEST:: SOT 130695742 SOS 60064892 HAS SOPS 60064892 HAS SOUS 1197640 HAS SOUPS 1197640 WITH SCORE 1257704.892
AT ITER 2335 NEW BEST:: SOT 130695062 SOS 60063532 HAS SOPS 60063532 HAS SOUS 1197640 HAS SOUPS 1197640 WITH SCORE 1257703.532
AT ITER 2336 NEW BEST:: SOT 130695020 SOS 60063448 HAS SOPS 60063448 HAS SOUS 1197640 HAS SOUPS 1197640 WITH SCORE 1257703.448

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="StateSpace"
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 StateSpace"
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-158961250200216"
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 [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "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 [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "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 "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.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 '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
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 ;