About the Execution of Smart+red for DLCflexbar-PT-2a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16219.044 | 1283439.00 | 1309071.00 | 12682.00 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r107-tall-167814484300512.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is DLCflexbar-PT-2a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484300512
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 940K
-rw-r--r-- 1 mcc users 6.2K Feb 25 15:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 25 15:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 25 15:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 25 15:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.9K Feb 25 16:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 78K Feb 25 16:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.1K Feb 25 16:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 79K Feb 25 16:18 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:51 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 545K Mar 5 18:22 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 1678382037130
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCflexbar-PT-2a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 17:13:58] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 17:13:58] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 17:13:58] [INFO ] Load time of PNML (sax parser for PT used): 101 ms
[2023-03-09 17:13:58] [INFO ] Transformed 353 places.
[2023-03-09 17:13:58] [INFO ] Transformed 2169 transitions.
[2023-03-09 17:13:58] [INFO ] Found NUPN structural information;
[2023-03-09 17:13:58] [INFO ] Parsed PT model containing 353 places and 2169 transitions and 8205 arcs in 178 ms.
[2023-03-09 17:13:58] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 353 places, 2169 transitions and 8205 arcs took 37 ms.
Total runtime 241 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 2a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart
Filename model.pnml
Petri model created: 353 places, 2169 transitions, 8205 arcs.
AT ITER 0 NEW BEST:: SOT 507319 SOS 396791 HAS SOPS 211881 HAS SOUS 56559 HAS SOUPS 30267 WITH SCORE 30663.791
AT ITER 5 NEW BEST:: SOT 507077 SOS 396579 HAS SOPS 211489 HAS SOUS 55947 HAS SOUPS 29655 WITH SCORE 30051.579
AT ITER 7 NEW BEST:: SOT 506500 SOS 397373 HAS SOPS 211571 HAS SOUS 55513 HAS SOUPS 29221 WITH SCORE 29618.373
AT ITER 9 NEW BEST:: SOT 505978 SOS 399794 HAS SOPS 212444 HAS SOUS 55616 HAS SOUPS 29195 WITH SCORE 29594.794
AT ITER 13 NEW BEST:: SOT 505955 SOS 397307 HAS SOPS 210371 HAS SOUS 55597 HAS SOUPS 29194 WITH SCORE 29591.307
AT ITER 25 NEW BEST:: SOT 505955 SOS 397307 HAS SOPS 210371 HAS SOUS 55557 HAS SOUPS 29154 WITH SCORE 29551.307
AT ITER 27 NEW BEST:: SOT 505907 SOS 397211 HAS SOPS 210371 HAS SOUS 55461 HAS SOUPS 29082 WITH SCORE 29479.211
AT ITER 38 NEW BEST:: SOT 505604 SOS 397293 HAS SOPS 209937 HAS SOUS 55287 HAS SOUPS 28865 WITH SCORE 29262.293
AT ITER 71 NEW BEST:: SOT 504970 SOS 397681 HAS SOPS 209637 HAS SOUS 54797 HAS SOUPS 28375 WITH SCORE 28772.681
AT ITER 75 NEW BEST:: SOT 504903 SOS 398227 HAS SOPS 209739 HAS SOUS 54757 HAS SOUPS 28298 WITH SCORE 28696.227
AT ITER 76 NEW BEST:: SOT 503198 SOS 395811 HAS SOPS 208063 HAS SOUS 52899 HAS SOUPS 26625 WITH SCORE 27020.811
AT ITER 102 NEW BEST:: SOT 503131 SOS 395677 HAS SOPS 208233 HAS SOUS 52773 HAS SOUPS 26575 WITH SCORE 26970.677
AT ITER 111 NEW BEST:: SOT 502999 SOS 395645 HAS SOPS 208201 HAS SOUS 52741 HAS SOUPS 26543 WITH SCORE 26938.645
AT ITER 115 NEW BEST:: SOT 503017 SOS 395663 HAS SOPS 208219 HAS SOUS 52723 HAS SOUPS 26525 WITH SCORE 26920.663
AT ITER 128 NEW BEST:: SOT 503017 SOS 395663 HAS SOPS 208219 HAS SOUS 52719 HAS SOUPS 26521 WITH SCORE 26916.663
AT ITER 133 NEW BEST:: SOT 502963 SOS 395555 HAS SOPS 208111 HAS SOUS 52665 HAS SOUPS 26467 WITH SCORE 26862.555
AT ITER 151 NEW BEST:: SOT 502941 SOS 395533 HAS SOPS 208089 HAS SOUS 52643 HAS SOUPS 26445 WITH SCORE 26840.533
AT ITER 153 NEW BEST:: SOT 501361 SOS 393498 HAS SOPS 207021 HAS SOUS 52597 HAS SOUPS 26445 WITH SCORE 26838.498
AT ITER 179 NEW BEST:: SOT 500907 SOS 394646 HAS SOPS 207377 HAS SOUS 52362 HAS SOUPS 26210 WITH SCORE 26604.646
AT ITER 185 NEW BEST:: SOT 499671 SOS 392401 HAS SOPS 206907 HAS SOUS 52169 HAS SOUPS 26209 WITH SCORE 26601.401
AT ITER 194 NEW BEST:: SOT 499669 SOS 388981 HAS SOPS 204177 HAS SOUS 52138 HAS SOUPS 26208 WITH SCORE 26596.981
AT ITER 196 NEW BEST:: SOT 499648 SOS 388960 HAS SOPS 204156 HAS SOUS 52117 HAS SOUPS 26187 WITH SCORE 26575.96
AT ITER 198 NEW BEST:: SOT 499903 SOS 389303 HAS SOPS 204279 HAS SOUS 52139 HAS SOUPS 26183 WITH SCORE 26572.303
AT ITER 202 NEW BEST:: SOT 499000 SOS 388520 HAS SOPS 203496 HAS SOUS 51356 HAS SOUPS 25400 WITH SCORE 25788.52
AT ITER 205 NEW BEST:: SOT 498968 SOS 388440 HAS SOPS 203416 HAS SOUS 51308 HAS SOUPS 25352 WITH SCORE 25740.44
AT ITER 217 NEW BEST:: SOT 498948 SOS 388400 HAS SOPS 203568 HAS SOUS 51240 HAS SOUPS 25332 WITH SCORE 25720.4
AT ITER 220 NEW BEST:: SOT 498620 SOS 387681 HAS SOPS 204642 HAS SOUS 51131 HAS SOUPS 25223 WITH SCORE 25610.681
AT ITER 227 NEW BEST:: SOT 499883 SOS 383707 HAS SOPS 204170 HAS SOUS 53313 HAS SOUPS 25174 WITH SCORE 25557.707
AT ITER 231 NEW BEST:: SOT 499829 SOS 383641 HAS SOPS 204128 HAS SOUS 53307 HAS SOUPS 25168 WITH SCORE 25551.641
AT ITER 240 NEW BEST:: SOT 499585 SOS 384729 HAS SOPS 204364 HAS SOUS 53278 HAS SOUPS 25068 WITH SCORE 25452.729
AT ITER 241 NEW BEST:: SOT 499555 SOS 384840 HAS SOPS 205102 HAS SOUS 53260 HAS SOUPS 25050 WITH SCORE 25434.84
AT ITER 251 NEW BEST:: SOT 500167 SOS 385656 HAS SOPS 205408 HAS SOUS 53235 HAS SOUPS 24974 WITH SCORE 25359.656
AT ITER 263 NEW BEST:: SOT 499652 SOS 386386 HAS SOPS 205394 HAS SOUS 52911 HAS SOUPS 24650 WITH SCORE 25036.386
AT ITER 284 NEW BEST:: SOT 499708 SOS 386442 HAS SOPS 205408 HAS SOUS 52883 HAS SOUPS 24622 WITH SCORE 25008.442
AT ITER 288 NEW BEST:: SOT 499715 SOS 386442 HAS SOPS 205408 HAS SOUS 52870 HAS SOUPS 24609 WITH SCORE 24995.442
AT ITER 298 NEW BEST:: SOT 499328 SOS 387940 HAS SOPS 206090 HAS SOUS 52627 HAS SOUPS 24366 WITH SCORE 24753.94
AT ITER 309 NEW BEST:: SOT 499399 SOS 388082 HAS SOPS 206090 HAS SOUS 52684 HAS SOUPS 24352 WITH SCORE 24740.082
AT ITER 316 NEW BEST:: SOT 499061 SOS 387614 HAS SOPS 205882 HAS SOUS 52658 HAS SOUPS 24352 WITH SCORE 24739.614
AT ITER 319 NEW BEST:: SOT 499059 SOS 387614 HAS SOPS 205882 HAS SOUS 52655 HAS SOUPS 24349 WITH SCORE 24736.614
AT ITER 325 NEW BEST:: SOT 499041 SOS 387587 HAS SOPS 205873 HAS SOUS 52619 HAS SOUPS 24322 WITH SCORE 24709.587
AT ITER 335 NEW BEST:: SOT 498442 SOS 386372 HAS SOPS 205466 HAS SOUS 52212 HAS SOUPS 24117 WITH SCORE 24503.372
AT ITER 352 NEW BEST:: SOT 498374 SOS 386140 HAS SOPS 205426 HAS SOUS 52096 HAS SOUPS 24049 WITH SCORE 24435.14
AT ITER 359 NEW BEST:: SOT 498343 SOS 386078 HAS SOPS 205364 HAS SOUS 52065 HAS SOUPS 24018 WITH SCORE 24404.078
AT ITER 365 NEW BEST:: SOT 497891 SOS 387226 HAS SOPS 206053 HAS SOUS 51873 HAS SOUPS 23925 WITH SCORE 24312.226
AT ITER 379 NEW BEST:: SOT 498320 SOS 387665 HAS SOPS 206270 HAS SOUS 51794 HAS SOUPS 23846 WITH SCORE 24233.665
AT ITER 381 NEW BEST:: SOT 498370 SOS 387765 HAS SOPS 206270 HAS SOUS 51804 HAS SOUPS 23806 WITH SCORE 24193.765
AT ITER 383 NEW BEST:: SOT 498340 SOS 388065 HAS SOPS 206450 HAS SOUS 51789 HAS SOUPS 23791 WITH SCORE 24179.065
AT ITER 385 NEW BEST:: SOT 498306 SOS 387997 HAS SOPS 206202 HAS SOUS 51800 HAS SOUPS 23757 WITH SCORE 24144.997
AT ITER 390 NEW BEST:: SOT 498304 SOS 387993 HAS SOPS 206198 HAS SOUS 51796 HAS SOUPS 23753 WITH SCORE 24140.993
AT ITER 392 NEW BEST:: SOT 498302 SOS 387989 HAS SOPS 206266 HAS SOUS 51776 HAS SOUPS 23751 WITH SCORE 24138.989
AT ITER 394 NEW BEST:: SOT 496393 SOS 385709 HAS SOPS 204964 HAS SOUS 51736 HAS SOUPS 23711 WITH SCORE 24096.709
AT ITER 399 NEW BEST:: SOT 496431 SOS 385785 HAS SOPS 205128 HAS SOUS 51683 HAS SOUPS 23661 WITH SCORE 24046.785
AT ITER 410 NEW BEST:: SOT 496404 SOS 385887 HAS SOPS 205122 HAS SOUS 51668 HAS SOUPS 23637 WITH SCORE 24022.887
AT ITER 412 NEW BEST:: SOT 496061 SOS 385234 HAS SOPS 205815 HAS SOUS 51430 HAS SOUPS 23399 WITH SCORE 23784.234
AT ITER 413 NEW BEST:: SOT 496061 SOS 385236 HAS SOPS 205813 HAS SOUS 51430 HAS SOUPS 23397 WITH SCORE 23782.236
AT ITER 422 NEW BEST:: SOT 494042 SOS 382481 HAS SOPS 204374 HAS SOUS 51360 HAS SOUPS 23369 WITH SCORE 23751.481
AT ITER 436 NEW BEST:: SOT 493742 SOS 383617 HAS SOPS 204838 HAS SOUS 51282 HAS SOUPS 23291 WITH SCORE 23674.617
AT ITER 446 NEW BEST:: SOT 493647 SOS 383527 HAS SOPS 204838 HAS SOUS 51177 HAS SOUPS 23281 WITH SCORE 23664.527
AT ITER 448 NEW BEST:: SOT 493672 SOS 382977 HAS SOPS 204488 HAS SOUS 51177 HAS SOUPS 23281 WITH SCORE 23663.977
AT ITER 464 NEW BEST:: SOT 493604 SOS 382841 HAS SOPS 204352 HAS SOUS 51068 HAS SOUPS 23172 WITH SCORE 23554.841
AT ITER 465 NEW BEST:: SOT 493466 SOS 382473 HAS SOPS 204168 HAS SOUS 50884 HAS SOUPS 23034 WITH SCORE 23416.473
AT ITER 477 NEW BEST:: SOT 493230 SOS 382001 HAS SOPS 203936 HAS SOUS 50757 HAS SOUPS 22967 WITH SCORE 23349.001
AT ITER 489 NEW BEST:: SOT 493221 SOS 381527 HAS SOPS 203614 HAS SOUS 50729 HAS SOUPS 22939 WITH SCORE 23320.527
AT ITER 491 NEW BEST:: SOT 493232 SOS 381538 HAS SOPS 203625 HAS SOUS 50718 HAS SOUPS 22928 WITH SCORE 23309.538
AT ITER 493 NEW BEST:: SOT 493273 SOS 381620 HAS SOPS 203625 HAS SOUS 50721 HAS SOUPS 22890 WITH SCORE 23271.62
AT ITER 503 NEW BEST:: SOT 493273 SOS 381669 HAS SOPS 203576 HAS SOUS 50733 HAS SOUPS 22853 WITH SCORE 23234.669
AT ITER 513 NEW BEST:: SOT 493102 SOS 381231 HAS SOPS 203138 HAS SOUS 50575 HAS SOUPS 22695 WITH SCORE 23076.231
AT ITER 520 NEW BEST:: SOT 493550 SOS 381719 HAS SOPS 203386 HAS SOUS 50503 HAS SOUPS 22623 WITH SCORE 23004.719
AT ITER 538 NEW BEST:: SOT 493478 SOS 382310 HAS SOPS 203242 HAS SOUS 50534 HAS SOUPS 22619 WITH SCORE 23001.31
AT ITER 547 NEW BEST:: SOT 493402 SOS 381342 HAS SOPS 202682 HAS SOUS 50492 HAS SOUPS 22611 WITH SCORE 22992.342
AT ITER 561 NEW BEST:: SOT 493623 SOS 381736 HAS SOPS 203076 HAS SOUS 50477 HAS SOUPS 22596 WITH SCORE 22977.736
AT ITER 567 NEW BEST:: SOT 493592 SOS 381674 HAS SOPS 203178 HAS SOUS 50390 HAS SOUPS 22550 WITH SCORE 22931.674
AT ITER 570 NEW BEST:: SOT 493047 SOS 382560 HAS SOPS 203352 HAS SOUS 49984 HAS SOUPS 22144 WITH SCORE 22526.56
AT ITER 586 NEW BEST:: SOT 493056 SOS 382554 HAS SOPS 203358 HAS SOUS 49972 HAS SOUPS 22135 WITH SCORE 22517.554
AT ITER 611 NEW BEST:: SOT 493056 SOS 382414 HAS SOPS 203358 HAS SOUS 49900 HAS SOUPS 22098 WITH SCORE 22480.414
AT ITER 625 NEW BEST:: SOT 493041 SOS 382404 HAS SOPS 203348 HAS SOUS 49890 HAS SOUPS 22088 WITH SCORE 22470.404
AT ITER 635 NEW BEST:: SOT 492997 SOS 382196 HAS SOPS 203140 HAS SOUS 49846 HAS SOUPS 22044 WITH SCORE 22426.196
AT ITER 636 NEW BEST:: SOT 492767 SOS 382568 HAS SOPS 203042 HAS SOUS 49823 HAS SOUPS 21974 WITH SCORE 22356.568
AT ITER 647 NEW BEST:: SOT 492763 SOS 382584 HAS SOPS 203048 HAS SOUS 49822 HAS SOUPS 21972 WITH SCORE 22354.584
AT ITER 660 NEW BEST:: SOT 492719 SOS 382408 HAS SOPS 202960 HAS SOUS 49732 HAS SOUPS 21904 WITH SCORE 22286.408
AT ITER 671 NEW BEST:: SOT 492717 SOS 383940 HAS SOPS 203020 HAS SOUS 49794 HAS SOUPS 21902 WITH SCORE 22285.94
AT ITER 682 NEW BEST:: SOT 492682 SOS 384761 HAS SOPS 203445 HAS SOUS 49789 HAS SOUPS 21864 WITH SCORE 22248.761
AT ITER 705 NEW BEST:: SOT 492680 SOS 384669 HAS SOPS 203353 HAS SOUS 49765 HAS SOUPS 21840 WITH SCORE 22224.669
AT ITER 726 NEW BEST:: SOT 492680 SOS 384669 HAS SOPS 203353 HAS SOUS 49757 HAS SOUPS 21832 WITH SCORE 22216.669
AT ITER 757 NEW BEST:: SOT 492659 SOS 384492 HAS SOPS 203176 HAS SOUS 49642 HAS SOUPS 21717 WITH SCORE 22101.492
AT ITER 765 NEW BEST:: SOT 492662 SOS 384476 HAS SOPS 203162 HAS SOUS 49642 HAS SOUPS 21716 WITH SCORE 22100.476
AT ITER 774 NEW BEST:: SOT 493012 SOS 384754 HAS SOPS 203435 HAS SOUS 49590 HAS SOUPS 21664 WITH SCORE 22048.754
AT ITER 799 NEW BEST:: SOT 492944 SOS 384482 HAS SOPS 203299 HAS SOUS 49488 HAS SOUPS 21596 WITH SCORE 21980.482
AT ITER 800 NEW BEST:: SOT 492910 SOS 384474 HAS SOPS 203291 HAS SOUS 49484 HAS SOUPS 21592 WITH SCORE 21976.474
AT ITER 801 NEW BEST:: SOT 492896 SOS 384446 HAS SOPS 203291 HAS SOUS 49470 HAS SOUPS 21592 WITH SCORE 21976.446
AT ITER 802 NEW BEST:: SOT 492906 SOS 384494 HAS SOPS 203299 HAS SOUS 49464 HAS SOUPS 21586 WITH SCORE 21970.494
AT ITER 804 NEW BEST:: SOT 492999 SOS 384588 HAS SOPS 203393 HAS SOUS 49452 HAS SOUPS 21574 WITH SCORE 21958.588
AT ITER 823 NEW BEST:: SOT 492978 SOS 384495 HAS SOPS 203336 HAS SOUS 49452 HAS SOUPS 21574 WITH SCORE 21958.495
AT ITER 832 NEW BEST:: SOT 492783 SOS 385845 HAS SOPS 203858 HAS SOUS 49438 HAS SOUPS 21491 WITH SCORE 21876.845
AT ITER 833 NEW BEST:: SOT 492783 SOS 385837 HAS SOPS 203858 HAS SOUS 49434 HAS SOUPS 21489 WITH SCORE 21874.837
AT ITER 852 NEW BEST:: SOT 492837 SOS 385139 HAS SOPS 203346 HAS SOUS 49331 HAS SOUPS 21386 WITH SCORE 21771.139
AT ITER 856 NEW BEST:: SOT 492841 SOS 385147 HAS SOPS 203346 HAS SOUS 49331 HAS SOUPS 21382 WITH SCORE 21767.147
AT ITER 865 NEW BEST:: SOT 491669 SOS 383038 HAS SOPS 202856 HAS SOUS 49085 HAS SOUPS 21287 WITH SCORE 21670.038
AT ITER 879 NEW BEST:: SOT 491629 SOS 382998 HAS SOPS 202816 HAS SOUS 49073 HAS SOUPS 21275 WITH SCORE 21657.998
AT ITER 898 NEW BEST:: SOT 491565 SOS 382870 HAS SOPS 202750 HAS SOUS 49009 HAS SOUPS 21242 WITH SCORE 21624.87
AT ITER 924 NEW BEST:: SOT 491607 SOS 382954 HAS SOPS 202750 HAS SOUS 49011 HAS SOUPS 21202 WITH SCORE 21584.954
AT ITER 925 NEW BEST:: SOT 491979 SOS 383450 HAS SOPS 202936 HAS SOUS 48980 HAS SOUPS 21140 WITH SCORE 21523.45
AT ITER 939 NEW BEST:: SOT 492051 SOS 383594 HAS SOPS 202936 HAS SOUS 49048 HAS SOUPS 21136 WITH SCORE 21519.594
AT ITER 942 NEW BEST:: SOT 492001 SOS 383494 HAS SOPS 202936 HAS SOUS 48998 HAS SOUPS 21136 WITH SCORE 21519.494
AT ITER 950 NEW BEST:: SOT 493531 SOS 385424 HAS SOPS 203935 HAS SOUS 48910 HAS SOUPS 21048 WITH SCORE 21433.424
AT ITER 983 NEW BEST:: SOT 493429 SOS 385220 HAS SOPS 203803 HAS SOUS 48844 HAS SOUPS 20982 WITH SCORE 21367.22
AT ITER 987 NEW BEST:: SOT 493321 SOS 385148 HAS SOPS 203659 HAS SOUS 48808 HAS SOUPS 20910 WITH SCORE 21295.148
AT ITER 1013 NEW BEST:: SOT 492350 SOS 383907 HAS SOPS 202880 HAS SOUS 48735 HAS SOUPS 20837 WITH SCORE 21220.907
AT ITER 1022 NEW BEST:: SOT 492384 SOS 382561 HAS SOPS 201857 HAS SOUS 48735 HAS SOUPS 20837 WITH SCORE 21219.561
AT ITER 1023 NEW BEST:: SOT 492193 SOS 382383 HAS SOPS 201747 HAS SOUS 48748 HAS SOUPS 20833 WITH SCORE 21215.383
AT ITER 1024 NEW BEST:: SOT 492186 SOS 382362 HAS SOPS 201565 HAS SOUS 48755 HAS SOUPS 20833 WITH SCORE 21215.362
AT ITER 1026 NEW BEST:: SOT 492176 SOS 382342 HAS SOPS 201545 HAS SOUS 48730 HAS SOUPS 20808 WITH SCORE 21190.342
AT ITER 1038 NEW BEST:: SOT 491339 SOS 379446 HAS SOPS 200179 HAS SOUS 48636 HAS SOUPS 20799 WITH SCORE 21178.446
AT ITER 1039 NEW BEST:: SOT 491339 SOS 379230 HAS SOPS 200053 HAS SOUS 48627 HAS SOUPS 20799 WITH SCORE 21178.23
AT ITER 1040 NEW BEST:: SOT 491229 SOS 379098 HAS SOPS 199987 HAS SOUS 48616 HAS SOUPS 20788 WITH SCORE 21167.098
AT ITER 1051 NEW BEST:: SOT 491228 SOS 378150 HAS SOPS 198951 HAS SOUS 48637 HAS SOUPS 20787 WITH SCORE 21165.15
AT ITER 1073 NEW BEST:: SOT 491205 SOS 378104 HAS SOPS 198905 HAS SOUS 48614 HAS SOUPS 20764 WITH SCORE 21142.104
AT ITER 1077 NEW BEST:: SOT 491949 SOS 379096 HAS SOPS 199277 HAS SOUS 48654 HAS SOUPS 20734 WITH SCORE 21113.096
AT ITER 1087 NEW BEST:: SOT 491950 SOS 379097 HAS SOPS 199278 HAS SOUS 48651 HAS SOUPS 20731 WITH SCORE 21110.097
AT ITER 1101 NEW BEST:: SOT 491956 SOS 379109 HAS SOPS 199278 HAS SOUS 48645 HAS SOUPS 20719 WITH SCORE 21098.109
AT ITER 1118 NEW BEST:: SOT 491942 SOS 379095 HAS SOPS 199264 HAS SOUS 48631 HAS SOUPS 20705 WITH SCORE 21084.095
AT ITER 1124 NEW BEST:: SOT 491914 SOS 378964 HAS SOPS 199433 HAS SOUS 48553 HAS SOUPS 20652 WITH SCORE 21030.964
AT ITER 1130 NEW BEST:: SOT 491141 SOS 377893 HAS SOPS 198874 HAS SOUS 48533 HAS SOUPS 20632 WITH SCORE 21009.893
AT ITER 1138 NEW BEST:: SOT 491141 SOS 377998 HAS SOPS 198874 HAS SOUS 48533 HAS SOUPS 20627 WITH SCORE 21004.998
AT ITER 1140 NEW BEST:: SOT 491089 SOS 377816 HAS SOPS 198796 HAS SOUS 48507 HAS SOUPS 20627 WITH SCORE 21004.816
AT ITER 1147 NEW BEST:: SOT 491038 SOS 377714 HAS SOPS 198748 HAS SOUS 48486 HAS SOUPS 20606 WITH SCORE 20983.714
AT ITER 1155 NEW BEST:: SOT 491002 SOS 377657 HAS SOPS 198691 HAS SOUS 48428 HAS SOUPS 20548 WITH SCORE 20925.657
AT ITER 1176 NEW BEST:: SOT 489863 SOS 376336 HAS SOPS 198004 HAS SOUS 48400 HAS SOUPS 20517 WITH SCORE 20893.336
AT ITER 1177 NEW BEST:: SOT 489873 SOS 376148 HAS SOPS 197944 HAS SOUS 48252 HAS SOUPS 20429 WITH SCORE 20805.148
AT ITER 1217 NEW BEST:: SOT 489873 SOS 376148 HAS SOPS 197944 HAS SOUS 48242 HAS SOUPS 20419 WITH SCORE 20795.148
AT ITER 1221 NEW BEST:: SOT 489892 SOS 376186 HAS SOPS 197944 HAS SOUS 48223 HAS SOUPS 20381 WITH SCORE 20757.186
AT ITER 1229 NEW BEST:: SOT 489852 SOS 376106 HAS SOPS 197864 HAS SOUS 48200 HAS SOUPS 20358 WITH SCORE 20734.106
AT ITER 1232 NEW BEST:: SOT 489844 SOS 376098 HAS SOPS 197856 HAS SOUS 48192 HAS SOUPS 20350 WITH SCORE 20726.098
AT ITER 1241 NEW BEST:: SOT 489912 SOS 375414 HAS SOPS 197556 HAS SOUS 48113 HAS SOUPS 20303 WITH SCORE 20678.414
AT ITER 1257 NEW BEST:: SOT 489887 SOS 375264 HAS SOPS 197506 HAS SOUS 48055 HAS SOUPS 20270 WITH SCORE 20645.264
AT ITER 1264 NEW BEST:: SOT 489843 SOS 376056 HAS SOPS 197462 HAS SOUS 48011 HAS SOUPS 20226 WITH SCORE 20602.056
AT ITER 1282 NEW BEST:: SOT 489820 SOS 375918 HAS SOPS 197416 HAS SOUS 47957 HAS SOUPS 20195 WITH SCORE 20570.918
AT ITER 1292 NEW BEST:: SOT 489815 SOS 375765 HAS SOPS 197347 HAS SOUS 47950 HAS SOUPS 20195 WITH SCORE 20570.765
AT ITER 1294 NEW BEST:: SOT 489813 SOS 375739 HAS SOPS 197321 HAS SOUS 47944 HAS SOUPS 20189 WITH SCORE 20564.739
AT ITER 1332 NEW BEST:: SOT 488674 SOS 374186 HAS SOPS 196678 HAS SOUS 47817 HAS SOUPS 20153 WITH SCORE 20527.186
AT ITER 1336 NEW BEST:: SOT 488411 SOS 373809 HAS SOPS 196497 HAS SOUS 47786 HAS SOUPS 20138 WITH SCORE 20511.809
AT ITER 1341 NEW BEST:: SOT 488402 SOS 373791 HAS SOPS 196479 HAS SOUS 47774 HAS SOUPS 20126 WITH SCORE 20499.791
AT ITER 1387 NEW BEST:: SOT 488460 SOS 373147 HAS SOPS 196099 HAS SOUS 47697 HAS SOUPS 20049 WITH SCORE 20422.147
AT ITER 1396 NEW BEST:: SOT 488693 SOS 373398 HAS SOPS 196242 HAS SOUS 47696 HAS SOUPS 20048 WITH SCORE 20421.398
AT ITER 1444 NEW BEST:: SOT 488235 SOS 372735 HAS SOPS 195907 HAS SOUS 47641 HAS SOUPS 20034 WITH SCORE 20406.735
AT ITER 1449 NEW BEST:: SOT 488218 SOS 372701 HAS SOPS 195907 HAS SOUS 47624 HAS SOUPS 20034 WITH SCORE 20406.701
AT ITER 1450 NEW BEST:: SOT 488464 SOS 373252 HAS SOPS 195989 HAS SOUS 47640 HAS SOUPS 19970 WITH SCORE 20343.252
AT ITER 1461 NEW BEST:: SOT 488431 SOS 373186 HAS SOPS 195989 HAS SOUS 47607 HAS SOUPS 19970 WITH SCORE 20343.186
AT ITER 1469 NEW BEST:: SOT 488431 SOS 373186 HAS SOPS 195989 HAS SOUS 47603 HAS SOUPS 19966 WITH SCORE 20339.186
AT ITER 1474 NEW BEST:: SOT 487018 SOS 371490 HAS SOPS 195017 HAS SOUS 47620 HAS SOUPS 19948 WITH SCORE 20319.49
AT ITER 1476 NEW BEST:: SOT 487269 SOS 371747 HAS SOPS 195134 HAS SOUS 47591 HAS SOUPS 19919 WITH SCORE 20290.747
AT ITER 1503 NEW BEST:: SOT 487267 SOS 371743 HAS SOPS 195130 HAS SOUS 47542 HAS SOUPS 19870 WITH SCORE 20241.743
AT ITER 1510 NEW BEST:: SOT 487260 SOS 371729 HAS SOPS 195088 HAS SOUS 47535 HAS SOUPS 19856 WITH SCORE 20227.729
AT ITER 1517 NEW BEST:: SOT 487308 SOS 370845 HAS SOPS 194624 HAS SOUS 47478 HAS SOUPS 19834 WITH SCORE 20204.845
AT ITER 1526 NEW BEST:: SOT 487236 SOS 370701 HAS SOPS 194564 HAS SOUS 47406 HAS SOUPS 19804 WITH SCORE 20174.701
AT ITER 1556 NEW BEST:: SOT 487049 SOS 370463 HAS SOPS 194462 HAS SOUS 47389 HAS SOUPS 19804 WITH SCORE 20174.463
AT ITER 1557 NEW BEST:: SOT 487028 SOS 370309 HAS SOPS 194308 HAS SOUS 47368 HAS SOUPS 19783 WITH SCORE 20153.309
AT ITER 1603 NEW BEST:: SOT 487532 SOS 370821 HAS SOPS 194658 HAS SOUS 47293 HAS SOUPS 19754 WITH SCORE 20124.821
AT ITER 1633 NEW BEST:: SOT 487531 SOS 370967 HAS SOPS 194804 HAS SOUS 47280 HAS SOUPS 19741 WITH SCORE 20111.967
AT ITER 1641 NEW BEST:: SOT 487470 SOS 370845 HAS SOPS 194682 HAS SOUS 47238 HAS SOUPS 19699 WITH SCORE 20069.845
AT ITER 1680 NEW BEST:: SOT 487463 SOS 370670 HAS SOPS 194507 HAS SOUS 47231 HAS SOUPS 19692 WITH SCORE 20062.67
AT ITER 1694 NEW BEST:: SOT 487222 SOS 371020 HAS SOPS 194337 HAS SOUS 47178 HAS SOUPS 19639 WITH SCORE 20010.02
AT ITER 1699 NEW BEST:: SOT 487222 SOS 371020 HAS SOPS 194337 HAS SOUS 47128 HAS SOUPS 19589 WITH SCORE 19960.02
AT ITER 1703 NEW BEST:: SOT 486189 SOS 369821 HAS SOPS 193636 HAS SOUS 47065 HAS SOUPS 19526 WITH SCORE 19895.821
AT ITER 1717 NEW BEST:: SOT 486920 SOS 370574 HAS SOPS 194054 HAS SOUS 46997 HAS SOUPS 19458 WITH SCORE 19828.574
AT ITER 1720 NEW BEST:: SOT 486903 SOS 370608 HAS SOPS 194020 HAS SOUS 46997 HAS SOUPS 19441 WITH SCORE 19811.608
AT ITER 1736 NEW BEST:: SOT 487095 SOS 370864 HAS SOPS 194116 HAS SOUS 47002 HAS SOUPS 19430 WITH SCORE 19800.864
AT ITER 1765 NEW BEST:: SOT 487111 SOS 370832 HAS SOPS 194084 HAS SOUS 46993 HAS SOUPS 19421 WITH SCORE 19791.832
AT ITER 1811 NEW BEST:: SOT 487109 SOS 370852 HAS SOPS 194096 HAS SOUS 46992 HAS SOUPS 19420 WITH SCORE 19790.852
AT ITER 1840 NEW BEST:: SOT 487077 SOS 370788 HAS SOPS 194032 HAS SOUS 46925 HAS SOUPS 19353 WITH SCORE 19723.788
AT ITER 1880 NEW BEST:: SOT 485785 SOS 369564 HAS SOPS 194032 HAS SOUS 45413 HAS SOUPS 19321 WITH SCORE 19690.564
AT ITER 1912 NEW BEST:: SOT 485714 SOS 369422 HAS SOPS 193890 HAS SOUS 45306 HAS SOUPS 19214 WITH SCORE 19583.422
AT ITER 1916 NEW BEST:: SOT 484564 SOS 369621 HAS SOPS 193890 HAS SOUS 44256 HAS SOUPS 19198 WITH SCORE 19567.621
AT ITER 1921 NEW BEST:: SOT 484779 SOS 370572 HAS SOPS 194373 HAS SOUS 44219 HAS SOUPS 19147 WITH SCORE 19517.572
AT ITER 1942 NEW BEST:: SOT 484752 SOS 370430 HAS SOPS 194403 HAS SOUS 44149 HAS SOUPS 19120 WITH SCORE 19490.43
AT ITER 1957 NEW BEST:: SOT 484752 SOS 370430 HAS SOPS 194403 HAS SOUS 44135 HAS SOUPS 19106 WITH SCORE 19476.43
AT ITER 1985 NEW BEST:: SOT 484752 SOS 370430 HAS SOPS 194403 HAS SOUS 44133 HAS SOUPS 19104 WITH SCORE 19474.43
AT ITER 1988 NEW BEST:: SOT 484742 SOS 370494 HAS SOPS 194403 HAS SOUS 44119 HAS SOUPS 19096 WITH SCORE 19466.494
AT ITER 2000 NEW BEST:: SOT 484612 SOS 370070 HAS SOPS 194307 HAS SOUS 43901 HAS SOUPS 18960 WITH SCORE 19330.07
AT ITER 2039 NEW BEST:: SOT 484823 SOS 370492 HAS SOPS 194379 HAS SOUS 43885 HAS SOUPS 18888 WITH SCORE 19258.492
AT ITER 2061 NEW BEST:: SOT 484333 SOS 369800 HAS SOPS 193903 HAS SOUS 43807 HAS SOUPS 18810 WITH SCORE 19179.8
AT ITER 2068 NEW BEST:: SOT 484261 SOS 369704 HAS SOPS 193867 HAS SOUS 43801 HAS SOUPS 18810 WITH SCORE 19179.704
AT ITER 2078 NEW BEST:: SOT 484257 SOS 369656 HAS SOPS 193843 HAS SOUS 43797 HAS SOUPS 18808 WITH SCORE 19177.656
AT ITER 2082 NEW BEST:: SOT 484171 SOS 369637 HAS SOPS 193738 HAS SOUS 43840 HAS SOUPS 18808 WITH SCORE 19177.637
AT ITER 2120 NEW BEST:: SOT 483200 SOS 368494 HAS SOPS 193000 HAS SOUS 43782 HAS SOUPS 18750 WITH SCORE 19118.494
AT ITER 2146 NEW BEST:: SOT 483230 SOS 368524 HAS SOPS 192981 HAS SOUS 43781 HAS SOUPS 18749 WITH SCORE 19117.524
AT ITER 2147 NEW BEST:: SOT 482278 SOS 367355 HAS SOPS 192262 HAS SOUS 43764 HAS SOUPS 18732 WITH SCORE 19099.355
AT ITER 2170 NEW BEST:: SOT 482277 SOS 367268 HAS SOPS 192175 HAS SOUS 43764 HAS SOUPS 18732 WITH SCORE 19099.268
AT ITER 2173 NEW BEST:: SOT 482237 SOS 367096 HAS SOPS 192095 HAS SOUS 43678 HAS SOUPS 18669 WITH SCORE 19036.096
AT ITER 2197 NEW BEST:: SOT 481793 SOS 366620 HAS SOPS 191841 HAS SOUS 43678 HAS SOUPS 18669 WITH SCORE 19035.62
AT ITER 2204 NEW BEST:: SOT 481793 SOS 366488 HAS SOPS 191841 HAS SOUS 43645 HAS SOUPS 18669 WITH SCORE 19035.488
AT ITER 2213 NEW BEST:: SOT 481640 SOS 366259 HAS SOPS 191726 HAS SOUS 43569 HAS SOUPS 18593 WITH SCORE 18959.259
AT ITER 2222 NEW BEST:: SOT 481635 SOS 366234 HAS SOPS 191721 HAS SOUS 43564 HAS SOUPS 18593 WITH SCORE 18959.234
AT ITER 2223 NEW BEST:: SOT 481635 SOS 366230 HAS SOPS 191721 HAS SOUS 43563 HAS SOUPS 18593 WITH SCORE 18959.23
AT ITER 2240 NEW BEST:: SOT 482256 SOS 367064 HAS SOPS 192045 HAS SOUS 43620 HAS SOUPS 18567 WITH SCORE 18934.064
AT ITER 2261 NEW BEST:: SOT 482247 SOS 367098 HAS SOPS 192079 HAS SOUS 43619 HAS SOUPS 18566 WITH SCORE 18933.098
AT ITER 2297 NEW BEST:: SOT 482264 SOS 366916 HAS SOPS 191951 HAS SOUS 43609 HAS SOUPS 18556 WITH SCORE 18922.916
AT ITER 2322 NEW BEST:: SOT 482261 SOS 366982 HAS SOPS 191987 HAS SOUS 43606 HAS SOUPS 18553 WITH SCORE 18919.982
AT ITER 2365 NEW BEST:: SOT 482066 SOS 366712 HAS SOPS 191867 HAS SOUS 43547 HAS SOUPS 18509 WITH SCORE 18875.712
AT ITER 2374 NEW BEST:: SOT 482066 SOS 366712 HAS SOPS 191867 HAS SOUS 43543 HAS SOUPS 18505 WITH SCORE 18871.712
AT ITER 2376 NEW BEST:: SOT 481916 SOS 366532 HAS SOPS 191777 HAS SOUS 43543 HAS SOUPS 18505 WITH SCORE 18871.532
AT ITER 2419 NEW BEST:: SOT 481831 SOS 367632 HAS SOPS 191700 HAS SOUS 43527 HAS SOUPS 18489 WITH SCORE 18856.632
AT ITER 2457 NEW BEST:: SOT 481858 SOS 366962 HAS SOPS 191421 HAS SOUS 43507 HAS SOUPS 18486 WITH SCORE 18852.962
AT ITER 2524 NEW BEST:: SOT 481417 SOS 366400 HAS SOPS 191179 HAS SOUS 43466 HAS SOUPS 18485 WITH SCORE 18851.4
AT ITER 2566 NEW BEST:: SOT 481404 SOS 366374 HAS SOPS 191153 HAS SOUS 43445 HAS SOUPS 18464 WITH SCORE 18830.374
AT ITER 2569 NEW BEST:: SOT 481378 SOS 366348 HAS SOPS 191153 HAS SOUS 43445 HAS SOUPS 18464 WITH SCORE 18830.348
AT ITER 2575 NEW BEST:: SOT 481111 SOS 366075 HAS SOPS 190812 HAS SOUS 43450 HAS SOUPS 18435 WITH SCORE 18801.075
AT ITER 2579 NEW BEST:: SOT 481156 SOS 366111 HAS SOPS 190839 HAS SOUS 43441 HAS SOUPS 18426 WITH SCORE 18792.111
AT ITER 2592 NEW BEST:: SOT 481154 SOS 366127 HAS SOPS 190836 HAS SOUS 43440 HAS SOUPS 18425 WITH SCORE 18791.127
AT ITER 2593 NEW BEST:: SOT 481151 SOS 366121 HAS SOPS 190830 HAS SOUS 43434 HAS SOUPS 18419 WITH SCORE 18785.121
AT ITER 2610 NEW BEST:: SOT 481104 SOS 366027 HAS SOPS 190788 HAS SOUS 43404 HAS SOUPS 18402 WITH SCORE 18768.027
AT ITER 2612 NEW BEST:: SOT 481102 SOS 366023 HAS SOPS 190784 HAS SOUS 43402 HAS SOUPS 18400 WITH SCORE 18766.023
AT ITER 2621 NEW BEST:: SOT 481084 SOS 366005 HAS SOPS 190766 HAS SOUS 43384 HAS SOUPS 18382 WITH SCORE 18748.005
AT ITER 2626 NEW BEST:: SOT 480983 SOS 365838 HAS SOPS 190709 HAS SOUS 43336 HAS SOUPS 18339 WITH SCORE 18704.838
AT ITER 2677 NEW BEST:: SOT 480872 SOS 366891 HAS SOPS 190709 HAS SOUS 43264 HAS SOUPS 18276 WITH SCORE 18642.891
AT ITER 2683 NEW BEST:: SOT 480836 SOS 366855 HAS SOPS 190673 HAS SOUS 43228 HAS SOUPS 18240 WITH SCORE 18606.855
AT ITER 2684 NEW BEST:: SOT 480836 SOS 366855 HAS SOPS 190673 HAS SOUS 43198 HAS SOUPS 18210 WITH SCORE 18576.855
AT ITER 2693 NEW BEST:: SOT 480836 SOS 366855 HAS SOPS 190673 HAS SOUS 43192 HAS SOUPS 18204 WITH SCORE 18570.855
AT ITER 2702 NEW BEST:: SOT 480655 SOS 366157 HAS SOPS 190353 HAS SOUS 43158 HAS SOUPS 18191 WITH SCORE 18557.157
AT ITER 2733 NEW BEST:: SOT 480605 SOS 366657 HAS SOPS 190653 HAS SOUS 43133 HAS SOUPS 18166 WITH SCORE 18532.657
AT ITER 2745 NEW BEST:: SOT 480605 SOS 366657 HAS SOPS 190653 HAS SOUS 43095 HAS SOUPS 18162 WITH SCORE 18528.657
AT ITER 2757 NEW BEST:: SOT 481277 SOS 367513 HAS SOPS 191021 HAS SOUS 43134 HAS SOUPS 18161 WITH SCORE 18528.513
AT ITER 2784 NEW BEST:: SOT 481235 SOS 367429 HAS SOPS 190937 HAS SOUS 43047 HAS SOUPS 18074 WITH SCORE 18441.429
AT ITER 2799 NEW BEST:: SOT 480795 SOS 366549 HAS SOPS 190509 HAS SOUS 42880 HAS SOUPS 18020 WITH SCORE 18386.549
AT ITER 2819 NEW BEST:: SOT 480795 SOS 366549 HAS SOPS 190509 HAS SOUS 42878 HAS SOUPS 18018 WITH SCORE 18384.549
AT ITER 2841 NEW BEST:: SOT 480815 SOS 366621 HAS SOPS 190509 HAS SOUS 42862 HAS SOUPS 17998 WITH SCORE 18364.621
AT ITER 2867 NEW BEST:: SOT 480929 SOS 366849 HAS SOPS 190513 HAS SOUS 42797 HAS SOUPS 17917 WITH SCORE 18283.849
AT ITER 2883 NEW BEST:: SOT 480928 SOS 366850 HAS SOPS 190510 HAS SOUS 42796 HAS SOUPS 17914 WITH SCORE 18280.85
AT ITER 2897 NEW BEST:: SOT 480512 SOS 366254 HAS SOPS 190094 HAS SOUS 42740 HAS SOUPS 17858 WITH SCORE 18224.254
AT ITER 2919 NEW BEST:: SOT 480568 SOS 365582 HAS SOPS 189702 HAS SOUS 42684 HAS SOUPS 17830 WITH SCORE 18195.582
AT ITER 2940 NEW BEST:: SOT 479693 SOS 364364 HAS SOPS 189136 HAS SOUS 42619 HAS SOUPS 17799 WITH SCORE 18163.364
AT ITER 2953 NEW BEST:: SOT 479689 SOS 364360 HAS SOPS 189132 HAS SOUS 42615 HAS SOUPS 17795 WITH SCORE 18159.36
AT ITER 2970 NEW BEST:: SOT 479681 SOS 364311 HAS SOPS 189127 HAS SOUS 42598 HAS SOUPS 17789 WITH SCORE 18153.311
AT ITER 2986 NEW BEST:: SOT 479657 SOS 364263 HAS SOPS 189103 HAS SOUS 42593 HAS SOUPS 17784 WITH SCORE 18148.263
AT ITER 3009 NEW BEST:: SOT 479566 SOS 364137 HAS SOPS 189047 HAS SOUS 42585 HAS SOUPS 17783 WITH SCORE 18147.137
AT ITER 3039 NEW BEST:: SOT 479766 SOS 364010 HAS SOPS 189193 HAS SOUS 42458 HAS SOUPS 17747 WITH SCORE 18111.01
AT ITER 3044 NEW BEST:: SOT 479766 SOS 364178 HAS SOPS 189193 HAS SOUS 42442 HAS SOUPS 17723 WITH SCORE 18087.178
AT ITER 3081 NEW BEST:: SOT 479752 SOS 364117 HAS SOPS 189176 HAS SOUS 42431 HAS SOUPS 17723 WITH SCORE 18087.117
AT ITER 3095 NEW BEST:: SOT 479046 SOS 363357 HAS SOPS 188770 HAS SOUS 42415 HAS SOUPS 17707 WITH SCORE 18070.357
AT ITER 3113 NEW BEST:: SOT 478948 SOS 363225 HAS SOPS 188718 HAS SOUS 42397 HAS SOUPS 17697 WITH SCORE 18060.225
AT ITER 3141 NEW BEST:: SOT 478371 SOS 361099 HAS SOPS 187819 HAS SOUS 42255 HAS SOUPS 17631 WITH SCORE 17992.099
AT ITER 3166 NEW BEST:: SOT 478375 SOS 361051 HAS SOPS 187827 HAS SOUS 42231 HAS SOUPS 17621 WITH SCORE 17982.051
AT ITER 3183 NEW BEST:: SOT 478359 SOS 361019 HAS SOPS 187939 HAS SOUS 42193 HAS SOUPS 17619 WITH SCORE 17980.019
AT ITER 3200 NEW BEST:: SOT 478337 SOS 361151 HAS SOPS 187895 HAS SOUS 42194 HAS SOUPS 17576 WITH SCORE 17937.151
AT ITER 3254 NEW BEST:: SOT 478274 SOS 361025 HAS SOPS 187833 HAS SOUS 42087 HAS SOUPS 17501 WITH SCORE 17862.025
AT ITER 3259 NEW BEST:: SOT 478257 SOS 360991 HAS SOPS 187799 HAS SOUS 42060 HAS SOUPS 17474 WITH SCORE 17834.991
AT ITER 3262 NEW BEST:: SOT 478103 SOS 360771 HAS SOPS 187645 HAS SOUS 42038 HAS SOUPS 17452 WITH SCORE 17812.771
AT ITER 3278 NEW BEST:: SOT 478115 SOS 360783 HAS SOPS 187651 HAS SOUS 42037 HAS SOUPS 17451 WITH SCORE 17811.783
AT ITER 3315 NEW BEST:: SOT 478099 SOS 360751 HAS SOPS 187619 HAS SOUS 42021 HAS SOUPS 17435 WITH SCORE 17795.751
AT ITER 3340 NEW BEST:: SOT 478070 SOS 360722 HAS SOPS 187590 HAS SOUS 42005 HAS SOUPS 17419 WITH SCORE 17779.722
AT ITER 3388 NEW BEST:: SOT 477630 SOS 360130 HAS SOPS 187358 HAS SOUS 41961 HAS SOUPS 17411 WITH SCORE 17771.13
AT ITER 3449 NEW BEST:: SOT 477300 SOS 359710 HAS SOPS 187178 HAS SOUS 41961 HAS SOUPS 17411 WITH SCORE 17770.71
AT ITER 3464 NEW BEST:: SOT 477290 SOS 359690 HAS SOPS 187158 HAS SOUS 41941 HAS SOUPS 17391 WITH SCORE 17750.69
AT ITER 3471 NEW BEST:: SOT 477280 SOS 359646 HAS SOPS 187136 HAS SOUS 41939 HAS SOUPS 17389 WITH SCORE 17748.646
AT ITER 3483 NEW BEST:: SOT 477272 SOS 359646 HAS SOPS 187120 HAS SOUS 41935 HAS SOUPS 17381 WITH SCORE 17740.646
AT ITER 3505 NEW BEST:: SOT 477272 SOS 359646 HAS SOPS 187120 HAS SOUS 41919 HAS SOUPS 17365 WITH SCORE 17724.646
AT ITER 3513 NEW BEST:: SOT 476700 SOS 358958 HAS SOPS 186774 HAS SOUS 41832 HAS SOUPS 17278 WITH SCORE 17636.958
AT ITER 3544 NEW BEST:: SOT 476685 SOS 358913 HAS SOPS 186749 HAS SOUS 41817 HAS SOUPS 17268 WITH SCORE 17626.913
AT ITER 3559 NEW BEST:: SOT 476686 SOS 358915 HAS SOPS 186751 HAS SOUS 41816 HAS SOUPS 17267 WITH SCORE 17625.915
AT ITER 3596 NEW BEST:: SOT 476657 SOS 358505 HAS SOPS 186709 HAS SOUS 41722 HAS SOUPS 17265 WITH SCORE 17623.505
AT ITER 3605 NEW BEST:: SOT 476417 SOS 359657 HAS SOPS 187045 HAS SOUS 41755 HAS SOUPS 17230 WITH SCORE 17589.657
AT ITER 3625 NEW BEST:: SOT 476417 SOS 359657 HAS SOPS 187045 HAS SOUS 41749 HAS SOUPS 17224 WITH SCORE 17583.657
AT ITER 3642 NEW BEST:: SOT 476443 SOS 359000 HAS SOPS 186871 HAS SOUS 41717 HAS SOUPS 17213 WITH SCORE 17572.0
AT ITER 3648 NEW BEST:: SOT 476443 SOS 359064 HAS SOPS 186871 HAS SOUS 41707 HAS SOUPS 17187 WITH SCORE 17546.064
AT ITER 3658 NEW BEST:: SOT 476470 SOS 359118 HAS SOPS 186861 HAS SOUS 41695 HAS SOUPS 17175 WITH SCORE 17534.118
AT ITER 3695 NEW BEST:: SOT 476301 SOS 358518 HAS SOPS 186603 HAS SOUS 41659 HAS SOUPS 17158 WITH SCORE 17516.518
AT ITER 3696 NEW BEST:: SOT 476301 SOS 358518 HAS SOPS 186603 HAS SOUS 41611 HAS SOUPS 17126 WITH SCORE 17484.518
AT ITER 3706 NEW BEST:: SOT 475781 SOS 358130 HAS SOPS 186299 HAS SOUS 41646 HAS SOUPS 17117 WITH SCORE 17475.13
AT ITER 3719 NEW BEST:: SOT 475865 SOS 358214 HAS SOPS 186341 HAS SOUS 41640 HAS SOUPS 17111 WITH SCORE 17469.214
AT ITER 3760 NEW BEST:: SOT 476263 SOS 358640 HAS SOPS 186561 HAS SOUS 41621 HAS SOUPS 17089 WITH SCORE 17447.64
AT ITER 3773 NEW BEST:: SOT 476258 SOS 358630 HAS SOPS 186551 HAS SOUS 41620 HAS SOUPS 17088 WITH SCORE 17446.63
AT ITER 3795 NEW BEST:: SOT 476242 SOS 358598 HAS SOPS 186679 HAS SOUS 41576 HAS SOUPS 17084 WITH SCORE 17442.598
AT ITER 3817 NEW BEST:: SOT 475867 SOS 358120 HAS SOPS 186473 HAS SOUS 41541 HAS SOUPS 17083 WITH SCORE 17441.12
AT ITER 3842 NEW BEST:: SOT 475830 SOS 359566 HAS SOPS 187159 HAS SOUS 41504 HAS SOUPS 17046 WITH SCORE 17405.566
AT ITER 3856 NEW BEST:: SOT 475690 SOS 360315 HAS SOPS 187059 HAS SOUS 41344 HAS SOUPS 16927 WITH SCORE 17287.315
AT ITER 3879 NEW BEST:: SOT 475667 SOS 360125 HAS SOPS 187013 HAS SOUS 41276 HAS SOUPS 16895 WITH SCORE 17255.125
AT ITER 3880 NEW BEST:: SOT 475675 SOS 359481 HAS SOPS 186996 HAS SOUS 41251 HAS SOUPS 16870 WITH SCORE 17229.481
AT ITER 3889 NEW BEST:: SOT 476336 SOS 360258 HAS SOPS 187365 HAS SOUS 41234 HAS SOUPS 16862 WITH SCORE 17222.258
AT ITER 3908 NEW BEST:: SOT 476348 SOS 360270 HAS SOPS 187365 HAS SOUS 41225 HAS SOUPS 16857 WITH SCORE 17217.27
AT ITER 3917 NEW BEST:: SOT 476283 SOS 360205 HAS SOPS 187300 HAS SOUS 41175 HAS SOUPS 16807 WITH SCORE 17167.205
AT ITER 3919 NEW BEST:: SOT 476013 SOS 359905 HAS SOPS 187180 HAS SOUS 41175 HAS SOUPS 16807 WITH SCORE 17166.905
AT ITER 3923 NEW BEST:: SOT 476013 SOS 359837 HAS SOPS 187163 HAS SOUS 41141 HAS SOUPS 16790 WITH SCORE 17149.837
AT ITER 3949 NEW BEST:: SOT 475991 SOS 359695 HAS SOPS 187157 HAS SOUS 41101 HAS SOUPS 16784 WITH SCORE 17143.695
AT ITER 3955 NEW BEST:: SOT 475736 SOS 359353 HAS SOPS 187025 HAS SOUS 41067 HAS SOUPS 16771 WITH SCORE 17130.353
AT ITER 3991 NEW BEST:: SOT 475625 SOS 359187 HAS SOPS 186859 HAS SOUS 41024 HAS SOUPS 16728 WITH SCORE 17087.187
AT ITER 4019 NEW BEST:: SOT 475625 SOS 359187 HAS SOPS 186835 HAS SOUS 41018 HAS SOUPS 16716 WITH SCORE 17075.187
AT ITER 4048 NEW BEST:: SOT 475127 SOS 358191 HAS SOPS 186835 HAS SOUS 40844 HAS SOUPS 16716 WITH SCORE 17074.191
AT ITER 4054 NEW BEST:: SOT 474767 SOS 357787 HAS SOPS 186611 HAS SOUS 40844 HAS SOUPS 16716 WITH SCORE 17073.787
AT ITER 4073 NEW BEST:: SOT 474724 SOS 357701 HAS SOPS 186611 HAS SOUS 40801 HAS SOUPS 16716 WITH SCORE 17073.701
AT ITER 4078 NEW BEST:: SOT 474730 SOS 357719 HAS SOPS 186605 HAS SOUS 40801 HAS SOUPS 16710 WITH SCORE 17067.719
AT ITER 4082 NEW BEST:: SOT 474790 SOS 357839 HAS SOPS 186513 HAS SOUS 40777 HAS SOUPS 16633 WITH SCORE 16990.839
AT ITER 4097 NEW BEST:: SOT 474314 SOS 357363 HAS SOPS 186105 HAS SOUS 40777 HAS SOUPS 16633 WITH SCORE 16990.363
AT ITER 4117 NEW BEST:: SOT 474314 SOS 357363 HAS SOPS 186105 HAS SOUS 40773 HAS SOUPS 16629 WITH SCORE 16986.363
AT ITER 4216 NEW BEST:: SOT 474306 SOS 357239 HAS SOPS 186029 HAS SOUS 40763 HAS SOUPS 16623 WITH SCORE 16980.239
AT ITER 4242 NEW BEST:: SOT 474015 SOS 356864 HAS SOPS 185738 HAS SOUS 40751 HAS SOUPS 16593 WITH SCORE 16949.864
AT ITER 4294 NEW BEST:: SOT 473811 SOS 356592 HAS SOPS 185636 HAS SOUS 40726 HAS SOUPS 16585 WITH SCORE 16941.592
AT ITER 4302 NEW BEST:: SOT 473811 SOS 356592 HAS SOPS 185636 HAS SOUS 40708 HAS SOUPS 16567 WITH SCORE 16923.592
AT ITER 4311 NEW BEST:: SOT 473790 SOS 356517 HAS SOPS 185561 HAS SOUS 40691 HAS SOUPS 16550 WITH SCORE 16906.517
AT ITER 4353 NEW BEST:: SOT 474129 SOS 356955 HAS SOPS 185735 HAS SOUS 40711 HAS SOUPS 16537 WITH SCORE 16893.955
AT ITER 4356 NEW BEST:: SOT 474129 SOS 356955 HAS SOPS 185735 HAS SOUS 40695 HAS SOUPS 16521 WITH SCORE 16877.955
AT ITER 4366 NEW BEST:: SOT 473949 SOS 356715 HAS SOPS 185645 HAS SOUS 40680 HAS SOUPS 16521 WITH SCORE 16877.715
AT ITER 4373 NEW BEST:: SOT 472908 SOS 355369 HAS SOPS 184806 HAS SOUS 40658 HAS SOUPS 16499 WITH SCORE 16854.369
AT ITER 4420 NEW BEST:: SOT 472320 SOS 354535 HAS SOPS 184242 HAS SOUS 40590 HAS SOUPS 16431 WITH SCORE 16785.535
AT ITER 4422 NEW BEST:: SOT 472293 SOS 354401 HAS SOPS 184188 HAS SOUS 40523 HAS SOUPS 16384 WITH SCORE 16738.401
AT ITER 4435 NEW BEST:: SOT 471619 SOS 353970 HAS SOPS 183664 HAS SOUS 40556 HAS SOUPS 16384 WITH SCORE 16737.97
AT ITER 4494 NEW BEST:: SOT 471614 SOS 353965 HAS SOPS 183664 HAS SOUS 40556 HAS SOUPS 16384 WITH SCORE 16737.965
AT ITER 4512 NEW BEST:: SOT 471600 SOS 353769 HAS SOPS 183538 HAS SOUS 40535 HAS SOUPS 16370 WITH SCORE 16723.769
AT ITER 4521 NEW BEST:: SOT 470990 SOS 352713 HAS SOPS 183302 HAS SOUS 40491 HAS SOUPS 16326 WITH SCORE 16678.713
AT ITER 4559 NEW BEST:: SOT 470994 SOS 352625 HAS SOPS 183262 HAS SOUS 40487 HAS SOUPS 16326 WITH SCORE 16678.625
AT ITER 4560 NEW BEST:: SOT 471033 SOS 352547 HAS SOPS 183262 HAS SOUS 40411 HAS SOUPS 16289 WITH SCORE 16641.547
AT ITER 4568 NEW BEST:: SOT 471017 SOS 352515 HAS SOPS 183230 HAS SOUS 40386 HAS SOUPS 16264 WITH SCORE 16616.515
AT ITER 4590 NEW BEST:: SOT 471007 SOS 352505 HAS SOPS 183220 HAS SOUS 40378 HAS SOUPS 16256 WITH SCORE 16608.505
AT ITER 4605 NEW BEST:: SOT 470977 SOS 352325 HAS SOPS 183160 HAS SOUS 40319 HAS SOUPS 16227 WITH SCORE 16579.325
AT ITER 4663 NEW BEST:: SOT 470977 SOS 352325 HAS SOPS 183160 HAS SOUS 40313 HAS SOUPS 16223 WITH SCORE 16575.325
AT ITER 4694 NEW BEST:: SOT 470937 SOS 351789 HAS SOPS 182814 HAS SOUS 40273 HAS SOUPS 16202 WITH SCORE 16553.789
AT ITER 4771 NEW BEST:: SOT 470603 SOS 350673 HAS SOPS 182146 HAS SOUS 40191 HAS SOUPS 16148 WITH SCORE 16498.673
AT ITER 4794 NEW BEST:: SOT 470582 SOS 350547 HAS SOPS 182104 HAS SOUS 40128 HAS SOUPS 16106 WITH SCORE 16456.547
AT ITER 4797 NEW BEST:: SOT 470916 SOS 351014 HAS SOPS 182291 HAS SOUS 40133 HAS SOUPS 16083 WITH SCORE 16434.014
AT ITER 4803 NEW BEST:: SOT 471120 SOS 351403 HAS SOPS 182393 HAS SOUS 40153 HAS SOUPS 16052 WITH SCORE 16403.403
AT ITER 4850 NEW BEST:: SOT 471083 SOS 351113 HAS SOPS 182339 HAS SOUS 40053 HAS SOUPS 16011 WITH SCORE 16362.113
AT ITER 4856 NEW BEST:: SOT 471054 SOS 351327 HAS SOPS 182409 HAS SOUS 40048 HAS SOUPS 15994 WITH SCORE 16345.327
AT ITER 4876 NEW BEST:: SOT 471042 SOS 351303 HAS SOPS 182361 HAS SOUS 40036 HAS SOUPS 15976 WITH SCORE 16327.303
AT ITER 4932 NEW BEST:: SOT 471043 SOS 351281 HAS SOPS 182347 HAS SOUS 40036 HAS SOUPS 15976 WITH SCORE 16327.281
AT ITER 4981 NEW BEST:: SOT 471193 SOS 351437 HAS SOPS 182395 HAS SOUS 40024 HAS SOUPS 15964 WITH SCORE 16315.437
AT ITER 5011 NEW BEST:: SOT 471174 SOS 351363 HAS SOPS 182321 HAS SOUS 39992 HAS SOUPS 15932 WITH SCORE 16283.363
AT ITER 5030 NEW BEST:: SOT 471156 SOS 351327 HAS SOPS 182309 HAS SOUS 39986 HAS SOUPS 15932 WITH SCORE 16283.327
AT ITER 5077 NEW BEST:: SOT 471171 SOS 351237 HAS SOPS 182279 HAS SOUS 39976 HAS SOUPS 15927 WITH SCORE 16278.237
AT ITER 5108 NEW BEST:: SOT 471315 SOS 351429 HAS SOPS 182351 HAS SOUS 39986 HAS SOUPS 15925 WITH SCORE 16276.429
AT ITER 5120 NEW BEST:: SOT 470991 SOS 351069 HAS SOPS 182207 HAS SOUS 39979 HAS SOUPS 15918 WITH SCORE 16269.069
AT ITER 5140 NEW BEST:: SOT 470925 SOS 350985 HAS SOPS 182171 HAS SOUS 39967 HAS SOUPS 15910 WITH SCORE 16260.985
AT ITER 5161 NEW BEST:: SOT 470733 SOS 350729 HAS SOPS 182075 HAS SOUS 39935 HAS SOUPS 15898 WITH SCORE 16248.729
AT ITER 5163 NEW BEST:: SOT 470643 SOS 350405 HAS SOPS 181895 HAS SOUS 39926 HAS SOUPS 15898 WITH SCORE 16248.405
AT ITER 5192 NEW BEST:: SOT 470667 SOS 350429 HAS SOPS 181901 HAS SOUS 39923 HAS SOUPS 15895 WITH SCORE 16245.429
AT ITER 5235 NEW BEST:: SOT 470174 SOS 349787 HAS SOPS 181603 HAS SOUS 39877 HAS SOUPS 15892 WITH SCORE 16241.787
AT ITER 5241 NEW BEST:: SOT 470132 SOS 349703 HAS SOPS 181575 HAS SOUS 39861 HAS SOUPS 15890 WITH SCORE 16239.703
AT ITER 5266 NEW BEST:: SOT 470133 SOS 349705 HAS SOPS 181577 HAS SOUS 39843 HAS SOUPS 15872 WITH SCORE 16221.705
AT ITER 5279 NEW BEST:: SOT 470129 SOS 349217 HAS SOPS 181089 HAS SOUS 39843 HAS SOUPS 15872 WITH SCORE 16221.217
AT ITER 5281 NEW BEST:: SOT 469353 SOS 348539 HAS SOPS 180389 HAS SOUS 39864 HAS SOUPS 15868 WITH SCORE 16216.539
AT ITER 5288 NEW BEST:: SOT 469972 SOS 349385 HAS SOPS 180745 HAS SOUS 39909 HAS SOUPS 15864 WITH SCORE 16213.385
AT ITER 5301 NEW BEST:: SOT 469966 SOS 349375 HAS SOPS 180717 HAS SOUS 39901 HAS SOUPS 15856 WITH SCORE 16205.375
AT ITER 5329 NEW BEST:: SOT 469962 SOS 349359 HAS SOPS 180709 HAS SOUS 39893 HAS SOUPS 15850 WITH SCORE 16199.359
AT ITER 5370 NEW BEST:: SOT 469960 SOS 349357 HAS SOPS 180707 HAS SOUS 39891 HAS SOUPS 15848 WITH SCORE 16197.357
AT ITER 5380 NEW BEST:: SOT 469840 SOS 349117 HAS SOPS 180647 HAS SOUS 39861 HAS SOUPS 15848 WITH SCORE 16197.117
AT ITER 5422 NEW BEST:: SOT 469840 SOS 349117 HAS SOPS 180647 HAS SOUS 39855 HAS SOUPS 15842 WITH SCORE 16191.117
AT ITER 5473 NEW BEST:: SOT 470122 SOS 349497 HAS SOPS 180797 HAS SOUS 39862 HAS SOUPS 15826 WITH SCORE 16175.497
AT ITER 5485 NEW BEST:: SOT 470118 SOS 349489 HAS SOPS 180795 HAS SOUS 39861 HAS SOUPS 15826 WITH SCORE 16175.489
AT ITER 5506 NEW BEST:: SOT 470111 SOS 349314 HAS SOPS 180781 HAS SOUS 39852 HAS SOUPS 15824 WITH SCORE 16173.314
AT ITER 5572 NEW BEST:: SOT 469793 SOS 349016 HAS SOPS 180501 HAS SOUS 39846 HAS SOUPS 15791 WITH SCORE 16140.016
AT ITER 5573 NEW BEST:: SOT 469793 SOS 349016 HAS SOPS 180501 HAS SOUS 39838 HAS SOUPS 15783 WITH SCORE 16132.016
AT ITER 5594 NEW BEST:: SOT 469166 SOS 348280 HAS SOPS 180126 HAS SOUS 39808 HAS SOUPS 15768 WITH SCORE 16116.28
AT ITER 5617 NEW BEST:: SOT 469162 SOS 348272 HAS SOPS 180118 HAS SOUS 39796 HAS SOUPS 15756 WITH SCORE 16104.272
AT ITER 5641 NEW BEST:: SOT 468930 SOS 347952 HAS SOPS 179978 HAS SOUS 39766 HAS SOUPS 15744 WITH SCORE 16091.952
AT ITER 5690 NEW BEST:: SOT 468931 SOS 347954 HAS SOPS 179980 HAS SOUS 39762 HAS SOUPS 15740 WITH SCORE 16087.954
AT ITER 5725 NEW BEST:: SOT 468927 SOS 347946 HAS SOPS 179972 HAS SOUS 39758 HAS SOUPS 15736 WITH SCORE 16083.946
AT ITER 5734 NEW BEST:: SOT 468901 SOS 347910 HAS SOPS 179956 HAS SOUS 39754 HAS SOUPS 15734 WITH SCORE 16081.91
AT ITER 5737 NEW BEST:: SOT 469140 SOS 348277 HAS SOPS 179768 HAS SOUS 39692 HAS SOUPS 15672 WITH SCORE 16020.277
AT ITER 5790 NEW BEST:: SOT 469180 SOS 347785 HAS SOPS 179782 HAS SOUS 39665 HAS SOUPS 15667 WITH SCORE 16014.785
AT ITER 5801 NEW BEST:: SOT 469133 SOS 347691 HAS SOPS 179782 HAS SOUS 39652 HAS SOUPS 15667 WITH SCORE 16014.691
AT ITER 5845 NEW BEST:: SOT 469133 SOS 347691 HAS SOPS 179782 HAS SOUS 39654 HAS SOUPS 15663 WITH SCORE 16010.691
AT ITER 5872 NEW BEST:: SOT 469131 SOS 347679 HAS SOPS 179778 HAS SOUS 39650 HAS SOUPS 15661 WITH SCORE 16008.679
AT ITER 5876 NEW BEST:: SOT 469171 SOS 347699 HAS SOPS 179798 HAS SOUS 39640 HAS SOUPS 15656 WITH SCORE 16003.699
AT ITER 5917 NEW BEST:: SOT 469109 SOS 347625 HAS SOPS 179756 HAS SOUS 39633 HAS SOUPS 15652 WITH SCORE 15999.625
AT ITER 5970 NEW BEST:: SOT 468995 SOS 347405 HAS SOPS 179696 HAS SOUS 39598 HAS SOUPS 15644 WITH SCORE 15991.405
AT ITER 6003 NEW BEST:: SOT 468967 SOS 347349 HAS SOPS 179676 HAS SOUS 39588 HAS SOUPS 15643 WITH SCORE 15990.349
AT ITER 6029 NEW BEST:: SOT 468967 SOS 347349 HAS SOPS 179676 HAS SOUS 39586 HAS SOUPS 15641 WITH SCORE 15988.349
AT ITER 6067 NEW BEST:: SOT 468984 SOS 347363 HAS SOPS 179690 HAS SOUS 39583 HAS SOUPS 15638 WITH SCORE 15985.363
AT ITER 6093 NEW BEST:: SOT 468994 SOS 347377 HAS SOPS 179694 HAS SOUS 39581 HAS SOUPS 15635 WITH SCORE 15982.377
AT ITER 6142 NEW BEST:: SOT 468668 SOS 347045 HAS SOPS 179602 HAS SOUS 39569 HAS SOUPS 15623 WITH SCORE 15970.045
AT ITER 6203 NEW BEST:: SOT 468656 SOS 347029 HAS SOPS 179594 HAS SOUS 39565 HAS SOUPS 15620 WITH SCORE 15967.029
AT ITER 6208 NEW BEST:: SOT 468761 SOS 347128 HAS SOPS 179639 HAS SOUS 39552 HAS SOUPS 15610 WITH SCORE 15957.128
AT ITER 6277 NEW BEST:: SOT 468597 SOS 346516 HAS SOPS 179351 HAS SOUS 39511 HAS SOUPS 15587 WITH SCORE 15933.516
AT ITER 6278 NEW BEST:: SOT 468609 SOS 346540 HAS SOPS 179351 HAS SOUS 39505 HAS SOUPS 15575 WITH SCORE 15921.54
AT ITER 6282 NEW BEST:: SOT 468693 SOS 346652 HAS SOPS 179393 HAS SOUS 39508 HAS SOUPS 15571 WITH SCORE 15917.652
AT ITER 6295 NEW BEST:: SOT 468652 SOS 346605 HAS SOPS 179364 HAS SOUS 39503 HAS SOUPS 15566 WITH SCORE 15912.605
AT ITER 6311 NEW BEST:: SOT 468573 SOS 346469 HAS SOPS 179315 HAS SOUS 39474 HAS SOUPS 15552 WITH SCORE 15898.469
AT ITER 6315 NEW BEST:: SOT 468473 SOS 346349 HAS SOPS 179255 HAS SOUS 39474 HAS SOUPS 15552 WITH SCORE 15898.349
AT ITER 6332 NEW BEST:: SOT 468468 SOS 346298 HAS SOPS 179319 HAS SOUS 39467 HAS SOUPS 15550 WITH SCORE 15896.298
AT ITER 6345 NEW BEST:: SOT 468829 SOS 346454 HAS SOPS 179700 HAS SOUS 39401 HAS SOUPS 15536 WITH SCORE 15882.454
AT ITER 6357 NEW BEST:: SOT 468829 SOS 346454 HAS SOPS 179700 HAS SOUS 39408 HAS SOUPS 15522 WITH SCORE 15868.454
AT ITER 6359 NEW BEST:: SOT 468920 SOS 346565 HAS SOPS 179781 HAS SOUS 39386 HAS SOUPS 15495 WITH SCORE 15841.565
AT ITER 6426 NEW BEST:: SOT 468900 SOS 346525 HAS SOPS 179765 HAS SOUS 39372 HAS SOUPS 15487 WITH SCORE 15833.525
AT ITER 6458 NEW BEST:: SOT 468888 SOS 346501 HAS SOPS 179753 HAS SOUS 39366 HAS SOUPS 15484 WITH SCORE 15830.501
AT ITER 6461 NEW BEST:: SOT 468890 SOS 346461 HAS SOPS 179717 HAS SOUS 39360 HAS SOUPS 15476 WITH SCORE 15822.461
AT ITER 6494 NEW BEST:: SOT 468885 SOS 346331 HAS SOPS 179587 HAS SOUS 39350 HAS SOUPS 15466 WITH SCORE 15812.331
AT ITER 6502 NEW BEST:: SOT 468886 SOS 346334 HAS SOPS 179586 HAS SOUS 39350 HAS SOUPS 15465 WITH SCORE 15811.334
AT ITER 6505 NEW BEST:: SOT 468780 SOS 346130 HAS SOPS 179530 HAS SOUS 39301 HAS SOUPS 15441 WITH SCORE 15787.13
AT ITER 6518 NEW BEST:: SOT 468312 SOS 345506 HAS SOPS 179296 HAS SOUS 39261 HAS SOUPS 15440 WITH SCORE 15785.506
AT ITER 6534 NEW BEST:: SOT 468302 SOS 345486 HAS SOPS 179256 HAS SOUS 39256 HAS SOUPS 15430 WITH SCORE 15775.486
AT ITER 6546 NEW BEST:: SOT 467330 SOS 344514 HAS SOPS 178284 HAS SOUS 39256 HAS SOUPS 15430 WITH SCORE 15774.514
AT ITER 6587 NEW BEST:: SOT 467349 SOS 344272 HAS SOPS 178170 HAS SOUS 39239 HAS SOUPS 15413 WITH SCORE 15757.272
AT ITER 6603 NEW BEST:: SOT 466799 SOS 343620 HAS SOPS 177854 HAS SOUS 39195 HAS SOUPS 15369 WITH SCORE 15712.62
AT ITER 6640 NEW BEST:: SOT 466687 SOS 343508 HAS SOPS 177822 HAS SOUS 39130 HAS SOUPS 15340 WITH SCORE 15683.508
AT ITER 6642 NEW BEST:: SOT 466671 SOS 343476 HAS SOPS 177790 HAS SOUS 39094 HAS SOUPS 15304 WITH SCORE 15647.476
AT ITER 6670 NEW BEST:: SOT 467115 SOS 344068 HAS SOPS 178012 HAS SOUS 39113 HAS SOUPS 15286 WITH SCORE 15630.068
AT ITER 6700 NEW BEST:: SOT 466911 SOS 343796 HAS SOPS 177910 HAS SOUS 39096 HAS SOUPS 15286 WITH SCORE 15629.796
AT ITER 6728 NEW BEST:: SOT 467377 SOS 344424 HAS SOPS 178158 HAS SOUS 39126 HAS SOUPS 15278 WITH SCORE 15622.424
AT ITER 6780 NEW BEST:: SOT 467373 SOS 344543 HAS SOPS 178277 HAS SOUS 39123 HAS SOUPS 15275 WITH SCORE 15619.543
AT ITER 6797 NEW BEST:: SOT 466721 SOS 343643 HAS SOPS 177887 HAS SOUS 39055 HAS SOUPS 15258 WITH SCORE 15601.643
AT ITER 6808 NEW BEST:: SOT 466717 SOS 343359 HAS SOPS 177764 HAS SOUS 39045 HAS SOUPS 15255 WITH SCORE 15598.359
AT ITER 6815 NEW BEST:: SOT 466710 SOS 343605 HAS SOPS 177763 HAS SOUS 39041 HAS SOUPS 15251 WITH SCORE 15594.605
AT ITER 6846 NEW BEST:: SOT 466709 SOS 343579 HAS SOPS 177760 HAS SOUS 39039 HAS SOUPS 15250 WITH SCORE 15593.579
AT ITER 6853 NEW BEST:: SOT 466709 SOS 343579 HAS SOPS 177760 HAS SOUS 38987 HAS SOUPS 15198 WITH SCORE 15541.579
AT ITER 6888 NEW BEST:: SOT 466708 SOS 343578 HAS SOPS 177759 HAS SOUS 38984 HAS SOUPS 15195 WITH SCORE 15538.578
AT ITER 6946 NEW BEST:: SOT 466711 SOS 343592 HAS SOPS 177773 HAS SOUS 38969 HAS SOUPS 15180 WITH SCORE 15523.592
AT ITER 7002 NEW BEST:: SOT 466695 SOS 343560 HAS SOPS 177693 HAS SOUS 38953 HAS SOUPS 15152 WITH SCORE 15495.56
AT ITER 7009 NEW BEST:: SOT 466481 SOS 343340 HAS SOPS 177629 HAS SOUS 38947 HAS SOUPS 15146 WITH SCORE 15489.34
AT ITER 7035 NEW BEST:: SOT 466488 SOS 343306 HAS SOPS 177647 HAS SOUS 38930 HAS SOUPS 15142 WITH SCORE 15485.306
AT ITER 7079 NEW BEST:: SOT 466480 SOS 343374 HAS SOPS 177647 HAS SOUS 38926 HAS SOUPS 15138 WITH SCORE 15481.374
AT ITER 7090 NEW BEST:: SOT 466566 SOS 343472 HAS SOPS 177687 HAS SOUS 38926 HAS SOUPS 15135 WITH SCORE 15478.472
AT ITER 7113 NEW BEST:: SOT 466556 SOS 343462 HAS SOPS 177687 HAS SOUS 38918 HAS SOUPS 15127 WITH SCORE 15470.462
AT ITER 7136 NEW BEST:: SOT 466538 SOS 343426 HAS SOPS 177675 HAS SOUS 38906 HAS SOUPS 15121 WITH SCORE 15464.426
AT ITER 7141 NEW BEST:: SOT 466499 SOS 343387 HAS SOPS 177636 HAS SOUS 38886 HAS SOUPS 15101 WITH SCORE 15444.387
AT ITER 7151 NEW BEST:: SOT 466488 SOS 343204 HAS SOPS 177591 HAS SOUS 38875 HAS SOUPS 15096 WITH SCORE 15439.204
AT ITER 7295 NEW BEST:: SOT 466488 SOS 343180 HAS SOPS 177575 HAS SOUS 38874 HAS SOUPS 15095 WITH SCORE 15438.18
AT ITER 7375 NEW BEST:: SOT 466135 SOS 342714 HAS SOPS 177349 HAS SOUS 38857 HAS SOUPS 15085 WITH SCORE 15427.714
AT ITER 7497 NEW BEST:: SOT 466094 SOS 342667 HAS SOPS 177320 HAS SOUS 38855 HAS SOUPS 15083 WITH SCORE 15425.667
AT ITER 7512 NEW BEST:: SOT 466068 SOS 342615 HAS SOPS 177268 HAS SOUS 38847 HAS SOUPS 15075 WITH SCORE 15417.615
AT ITER 7533 NEW BEST:: SOT 466064 SOS 342601 HAS SOPS 177252 HAS SOUS 38839 HAS SOUPS 15067 WITH SCORE 15409.601
AT ITER 7537 NEW BEST:: SOT 466064 SOS 342601 HAS SOPS 177252 HAS SOUS 38833 HAS SOUPS 15061 WITH SCORE 15403.601
AT ITER 7538 NEW BEST:: SOT 466028 SOS 342537 HAS SOPS 177188 HAS SOUS 38815 HAS SOUPS 15043 WITH SCORE 15385.537
AT ITER 7551 NEW BEST:: SOT 466023 SOS 341907 HAS SOPS 176738 HAS SOUS 38772 HAS SOUPS 15002 WITH SCORE 15343.907
AT ITER 7566 NEW BEST:: SOT 465640 SOS 340531 HAS SOPS 175954 HAS SOUS 38718 HAS SOUPS 14985 WITH SCORE 15325.531
AT ITER 7610 NEW BEST:: SOT 465649 SOS 340583 HAS SOPS 175957 HAS SOUS 38727 HAS SOUPS 14982 WITH SCORE 15322.583
AT ITER 7632 NEW BEST:: SOT 465806 SOS 341153 HAS SOPS 176271 HAS SOUS 38740 HAS SOUPS 14979 WITH SCORE 15320.153
AT ITER 7677 NEW BEST:: SOT 465815 SOS 340955 HAS SOPS 176145 HAS SOUS 38740 HAS SOUPS 14979 WITH SCORE 15319.955
AT ITER 7691 NEW BEST:: SOT 465814 SOS 340941 HAS SOPS 176147 HAS SOUS 38736 HAS SOUPS 14979 WITH SCORE 15319.941
AT ITER 7695 NEW BEST:: SOT 465842 SOS 341057 HAS SOPS 176191 HAS SOUS 38736 HAS SOUPS 14975 WITH SCORE 15316.057
AT ITER 7720 NEW BEST:: SOT 465836 SOS 341028 HAS SOPS 176162 HAS SOUS 38731 HAS SOUPS 14970 WITH SCORE 15311.028
AT ITER 7855 NEW BEST:: SOT 465813 SOS 340946 HAS SOPS 176128 HAS SOUS 38684 HAS SOUPS 14935 WITH SCORE 15275.946
AT ITER 7869 NEW BEST:: SOT 465765 SOS 340882 HAS SOPS 176064 HAS SOUS 38678 HAS SOUPS 14929 WITH SCORE 15269.882
AT ITER 7908 NEW BEST:: SOT 465719 SOS 340790 HAS SOPS 176016 HAS SOUS 38654 HAS SOUPS 14916 WITH SCORE 15256.79
AT ITER 7923 NEW BEST:: SOT 465709 SOS 340778 HAS SOPS 176010 HAS SOUS 38654 HAS SOUPS 14916 WITH SCORE 15256.778
AT ITER 7945 NEW BEST:: SOT 465709 SOS 340778 HAS SOPS 176010 HAS SOUS 38652 HAS SOUPS 14914 WITH SCORE 15254.778
AT ITER 8015 NEW BEST:: SOT 465059 SOS 340070 HAS SOPS 175620 HAS SOUS 38634 HAS SOUPS 14896 WITH SCORE 15236.07
AT ITER 8022 NEW BEST:: SOT 464918 SOS 339876 HAS SOPS 175536 HAS SOUS 38606 HAS SOUPS 14879 WITH SCORE 15218.876
AT ITER 8065 NEW BEST:: SOT 464912 SOS 339864 HAS SOPS 175524 HAS SOUS 38595 HAS SOUPS 14868 WITH SCORE 15207.864
AT ITER 8102 NEW BEST:: SOT 464912 SOS 339870 HAS SOPS 175522 HAS SOUS 38595 HAS SOUPS 14866 WITH SCORE 15205.87
AT ITER 8182 NEW BEST:: SOT 464912 SOS 339870 HAS SOPS 175522 HAS SOUS 38587 HAS SOUPS 14858 WITH SCORE 15197.87
AT ITER 8192 NEW BEST:: SOT 464912 SOS 339870 HAS SOPS 175522 HAS SOUS 38573 HAS SOUPS 14844 WITH SCORE 15183.87
AT ITER 8272 NEW BEST:: SOT 465024 SOS 339982 HAS SOPS 175550 HAS SOUS 38559 HAS SOUPS 14830 WITH SCORE 15169.982
AT ITER 8276 NEW BEST:: SOT 465024 SOS 339982 HAS SOPS 175550 HAS SOUS 38545 HAS SOUPS 14816 WITH SCORE 15155.982
AT ITER 8291 NEW BEST:: SOT 465018 SOS 339976 HAS SOPS 175544 HAS SOUS 38521 HAS SOUPS 14792 WITH SCORE 15131.976
AT ITER 8299 NEW BEST:: SOT 465018 SOS 339976 HAS SOPS 175383 HAS SOUS 38521 HAS SOUPS 14785 WITH SCORE 15124.976
AT ITER 8362 NEW BEST:: SOT 464964 SOS 339910 HAS SOPS 175347 HAS SOUS 38521 HAS SOUPS 14785 WITH SCORE 15124.91
AT ITER 8443 NEW BEST:: SOT 464964 SOS 339910 HAS SOPS 175347 HAS SOUS 38517 HAS SOUPS 14781 WITH SCORE 15120.91
AT ITER 8451 NEW BEST:: SOT 465030 SOS 340124 HAS SOPS 175428 HAS SOUS 38543 HAS SOUPS 14770 WITH SCORE 15110.124
AT ITER 8505 NEW BEST:: SOT 465072 SOS 339968 HAS SOPS 175368 HAS SOUS 38520 HAS SOUPS 14747 WITH SCORE 15086.968
AT ITER 8573 NEW BEST:: SOT 465132 SOS 340076 HAS SOPS 175368 HAS SOUS 38509 HAS SOUPS 14724 WITH SCORE 15064.076000000001
AT ITER 8644 NEW BEST:: SOT 465132 SOS 340064 HAS SOPS 175372 HAS SOUS 38493 HAS SOUPS 14716 WITH SCORE 15056.064
AT ITER 8662 NEW BEST:: SOT 465124 SOS 340056 HAS SOPS 175364 HAS SOUS 38477 HAS SOUPS 14700 WITH SCORE 15040.056
AT ITER 8750 NEW BEST:: SOT 465166 SOS 339712 HAS SOPS 175180 HAS SOUS 38454 HAS SOUPS 14677 WITH SCORE 15016.712
AT ITER 8777 NEW BEST:: SOT 465157 SOS 339658 HAS SOPS 175162 HAS SOUS 38442 HAS SOUPS 14674 WITH SCORE 15013.658
AT ITER 8926 NEW BEST:: SOT 465153 SOS 339654 HAS SOPS 175158 HAS SOUS 38438 HAS SOUPS 14670 WITH SCORE 15009.654
AT ITER 8989 NEW BEST:: SOT 465512 SOS 340013 HAS SOPS 175352 HAS SOUS 38424 HAS SOUPS 14656 WITH SCORE 14996.013
AT ITER 9003 NEW BEST:: SOT 464794 SOS 338577 HAS SOPS 175352 HAS SOUS 38230 HAS SOUPS 14656 WITH SCORE 14994.577
AT ITER 9015 NEW BEST:: SOT 464794 SOS 338577 HAS SOPS 175352 HAS SOUS 38224 HAS SOUPS 14650 WITH SCORE 14988.577
AT ITER 9050 NEW BEST:: SOT 464720 SOS 338333 HAS SOPS 175216 HAS SOUS 38210 HAS SOUPS 14642 WITH SCORE 14980.333
AT ITER 9260 NEW BEST:: SOT 464720 SOS 338353 HAS SOPS 175217 HAS SOUS 38209 HAS SOUPS 14641 WITH SCORE 14979.353
AT ITER 9410 NEW BEST:: SOT 464708 SOS 338331 HAS SOPS 175211 HAS SOUS 38204 HAS SOUPS 14639 WITH SCORE 14977.331
AT ITER 9427 NEW BEST:: SOT 464695 SOS 338310 HAS SOPS 175190 HAS SOUS 38196 HAS SOUPS 14631 WITH SCORE 14969.31
AT ITER 9470 NEW BEST:: SOT 464529 SOS 338194 HAS SOPS 175074 HAS SOUS 38192 HAS SOUPS 14609 WITH SCORE 14947.194
AT ITER 9545 NEW BEST:: SOT 464529 SOS 338190 HAS SOPS 175074 HAS SOUS 38191 HAS SOUPS 14609 WITH SCORE 14947.19
AT ITER 9673 NEW BEST:: SOT 464531 SOS 338192 HAS SOPS 175076 HAS SOUS 38190 HAS SOUPS 14608 WITH SCORE 14946.192
AT ITER 9756 NEW BEST:: SOT 464517 SOS 338096 HAS SOPS 175048 HAS SOUS 38163 HAS SOUPS 14598 WITH SCORE 14936.096
AT ITER 9797 NEW BEST:: SOT 464437 SOS 338016 HAS SOPS 175008 HAS SOUS 38163 HAS SOUPS 14598 WITH SCORE 14936.016
AT ITER 9892 NEW BEST:: SOT 464401 SOS 337944 HAS SOPS 174972 HAS SOUS 38154 HAS SOUPS 14598 WITH SCORE 14935.944
AT ITER 9896 NEW BEST:: SOT 464401 SOS 336761 HAS SOPS 173973 HAS SOUS 38145 HAS SOUPS 14597 WITH SCORE 14933.761
AT ITER 9974 NEW BEST:: SOT 464473 SOS 336857 HAS SOPS 174009 HAS SOUS 38139 HAS SOUPS 14585 WITH SCORE 14921.857
BK_STOP 1678383320569
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 482 Killed ${SMART}/smart ${INPUT_SM}
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCflexbar-PT-2a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# 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-5348"
echo " Executing tool smartxred"
echo " Input is DLCflexbar-PT-2a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r107-tall-167814484300512"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCflexbar-PT-2a.tgz
mv DLCflexbar-PT-2a 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 '
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 ;