About the Execution of Smart+red for ViralEpidemic-PT-S03D1C1A04
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 0.000 | 2369284.00 | 0.00 | 0.00 | [undef] | Cannot compute |
Execution Chart
Sorry, for this execution, no execution chart could be reported.
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r491-tall-167912711601272.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 ViralEpidemic-PT-S03D1C1A04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912711601272
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 852K
-rw-r--r-- 1 mcc users 8.2K Feb 25 20:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 25 20:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.9K Feb 25 20:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 25 20:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 17:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 25 17:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 25 20:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 138K Feb 25 20:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 25 20:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 105K Feb 25 20:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 17:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 17:26 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 11 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 325K Mar 5 18:23 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 1679326167272
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=ViralEpidemic-PT-S03D1C1A04
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 15:29:29] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 15:29:29] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 15:29:29] [INFO ] Load time of PNML (sax parser for PT used): 130 ms
[2023-03-20 15:29:29] [INFO ] Transformed 606 places.
[2023-03-20 15:29:29] [INFO ] Transformed 847 transitions.
[2023-03-20 15:29:29] [INFO ] Parsed PT model containing 606 places and 847 transitions and 1936 arcs in 348 ms.
[2023-03-20 15:29:29] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 606 places, 847 transitions and 1936 arcs took 10 ms.
Total runtime 395 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ViralEpidemic (PT), instance S03D1C1A04
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: 606 places, 847 transitions, 1936 arcs.
AT ITER 0 NEW BEST:: SOT 354234 SOS 192726 HAS SOPS 192726 HAS SOUS 75640 HAS SOUPS 75640 WITH SCORE 75832.726
AT ITER 7 NEW BEST:: SOT 353706 SOS 191668 HAS SOPS 191668 HAS SOUS 75636 HAS SOUPS 75636 WITH SCORE 75827.668
AT ITER 12 NEW BEST:: SOT 353246 SOS 190747 HAS SOPS 190747 HAS SOUS 75635 HAS SOUPS 75635 WITH SCORE 75825.747
AT ITER 17 NEW BEST:: SOT 352816 SOS 189886 HAS SOPS 189886 HAS SOUS 75634 HAS SOUPS 75634 WITH SCORE 75823.886
AT ITER 18 NEW BEST:: SOT 352372 SOS 188998 HAS SOPS 188998 HAS SOUS 75634 HAS SOUPS 75634 WITH SCORE 75822.998
AT ITER 24 NEW BEST:: SOT 351918 SOS 188090 HAS SOPS 188090 HAS SOUS 75634 HAS SOUPS 75634 WITH SCORE 75822.09
AT ITER 29 NEW BEST:: SOT 351460 SOS 187174 HAS SOPS 187174 HAS SOUS 75634 HAS SOUPS 75634 WITH SCORE 75821.174
AT ITER 33 NEW BEST:: SOT 351004 SOS 186260 HAS SOPS 186260 HAS SOUS 75630 HAS SOUPS 75630 WITH SCORE 75816.26
AT ITER 34 NEW BEST:: SOT 350580 SOS 185411 HAS SOPS 185411 HAS SOUS 75629 HAS SOUPS 75629 WITH SCORE 75814.411
AT ITER 36 NEW BEST:: SOT 349798 SOS 184155 HAS SOPS 184155 HAS SOUS 75542 HAS SOUPS 75542 WITH SCORE 75726.155
AT ITER 43 NEW BEST:: SOT 349049 SOS 182825 HAS SOPS 182825 HAS SOUS 75372 HAS SOUPS 75372 WITH SCORE 75554.825
AT ITER 49 NEW BEST:: SOT 348585 SOS 181895 HAS SOPS 181895 HAS SOUS 75368 HAS SOUPS 75368 WITH SCORE 75549.895
AT ITER 55 NEW BEST:: SOT 348512 SOS 181714 HAS SOPS 181714 HAS SOUS 75329 HAS SOUPS 75329 WITH SCORE 75510.714
AT ITER 57 NEW BEST:: SOT 348148 SOS 180984 HAS SOPS 180984 HAS SOUS 75325 HAS SOUPS 75325 WITH SCORE 75505.984
AT ITER 60 NEW BEST:: SOT 347976 SOS 180638 HAS SOPS 180638 HAS SOUS 75321 HAS SOUPS 75321 WITH SCORE 75501.638
AT ITER 61 NEW BEST:: SOT 347165 SOS 179288 HAS SOPS 179288 HAS SOUS 75129 HAS SOUPS 75129 WITH SCORE 75308.288
AT ITER 77 NEW BEST:: SOT 347165 SOS 179287 HAS SOPS 179287 HAS SOUS 75128 HAS SOUPS 75128 WITH SCORE 75307.287
AT ITER 79 NEW BEST:: SOT 346773 SOS 178503 HAS SOPS 178503 HAS SOUS 75128 HAS SOUPS 75128 WITH SCORE 75306.503
AT ITER 90 NEW BEST:: SOT 346007 SOS 176981 HAS SOPS 176981 HAS SOUS 74803 HAS SOUPS 74803 WITH SCORE 74979.981
AT ITER 91 NEW BEST:: SOT 345455 SOS 175875 HAS SOPS 175875 HAS SOUS 74799 HAS SOUPS 74799 WITH SCORE 74974.875
AT ITER 97 NEW BEST:: SOT 345131 SOS 175224 HAS SOPS 175224 HAS SOUS 74792 HAS SOUPS 74792 WITH SCORE 74967.224
AT ITER 98 NEW BEST:: SOT 344731 SOS 174423 HAS SOPS 174423 HAS SOUS 74791 HAS SOUPS 74791 WITH SCORE 74965.423
AT ITER 100 NEW BEST:: SOT 344360 SOS 173454 HAS SOPS 173454 HAS SOUS 74701 HAS SOUPS 74701 WITH SCORE 74874.454
AT ITER 108 NEW BEST:: SOT 343834 SOS 172203 HAS SOPS 172203 HAS SOUS 74502 HAS SOUPS 74502 WITH SCORE 74674.203
AT ITER 111 NEW BEST:: SOT 343406 SOS 171347 HAS SOPS 171347 HAS SOUS 74502 HAS SOUPS 74502 WITH SCORE 74673.347
AT ITER 135 NEW BEST:: SOT 343162 SOS 170859 HAS SOPS 170859 HAS SOUS 74502 HAS SOUPS 74502 WITH SCORE 74672.859
AT ITER 141 NEW BEST:: SOT 342670 SOS 169751 HAS SOPS 169751 HAS SOUS 74376 HAS SOUPS 74376 WITH SCORE 74545.751
AT ITER 142 NEW BEST:: SOT 341886 SOS 168121 HAS SOPS 168121 HAS SOUS 73872 HAS SOUPS 73872 WITH SCORE 74040.121
AT ITER 144 NEW BEST:: SOT 341520 SOS 167261 HAS SOPS 167261 HAS SOUS 73744 HAS SOUPS 73744 WITH SCORE 73911.261
AT ITER 148 NEW BEST:: SOT 341428 SOS 167077 HAS SOPS 167077 HAS SOUS 73744 HAS SOUPS 73744 WITH SCORE 73911.077
AT ITER 154 NEW BEST:: SOT 341026 SOS 166270 HAS SOPS 166270 HAS SOUS 73737 HAS SOUPS 73737 WITH SCORE 73903.27
AT ITER 161 NEW BEST:: SOT 340642 SOS 165502 HAS SOPS 165502 HAS SOUS 73737 HAS SOUPS 73737 WITH SCORE 73902.502
AT ITER 172 NEW BEST:: SOT 340620 SOS 165456 HAS SOPS 165456 HAS SOUS 73733 HAS SOUPS 73733 WITH SCORE 73898.456
AT ITER 174 NEW BEST:: SOT 340276 SOS 164767 HAS SOPS 164767 HAS SOUS 73732 HAS SOUPS 73732 WITH SCORE 73896.767
AT ITER 190 NEW BEST:: SOT 339888 SOS 163797 HAS SOPS 163797 HAS SOUS 73536 HAS SOUPS 73536 WITH SCORE 73699.797
AT ITER 192 NEW BEST:: SOT 339846 SOS 163713 HAS SOPS 163713 HAS SOUS 73481 HAS SOUPS 73481 WITH SCORE 73644.713
AT ITER 202 NEW BEST:: SOT 339624 SOS 163269 HAS SOPS 163269 HAS SOUS 73481 HAS SOUPS 73481 WITH SCORE 73644.269
AT ITER 208 NEW BEST:: SOT 339348 SOS 162579 HAS SOPS 162579 HAS SOUS 73341 HAS SOUPS 73341 WITH SCORE 73503.579
AT ITER 211 NEW BEST:: SOT 338940 SOS 161905 HAS SOPS 161905 HAS SOUS 73335 HAS SOUPS 73335 WITH SCORE 73496.905
AT ITER 227 NEW BEST:: SOT 338515 SOS 160942 HAS SOPS 160942 HAS SOUS 73322 HAS SOUPS 73322 WITH SCORE 73482.942
AT ITER 229 NEW BEST:: SOT 338093 SOS 160096 HAS SOPS 160096 HAS SOUS 73318 HAS SOUPS 73318 WITH SCORE 73478.096
AT ITER 232 NEW BEST:: SOT 338063 SOS 160217 HAS SOPS 160217 HAS SOUS 72877 HAS SOUPS 72877 WITH SCORE 73037.217
AT ITER 235 NEW BEST:: SOT 337677 SOS 159443 HAS SOPS 159443 HAS SOUS 72873 HAS SOUPS 72873 WITH SCORE 73032.443
AT ITER 244 NEW BEST:: SOT 337250 SOS 158377 HAS SOPS 158377 HAS SOUS 72657 HAS SOUPS 72657 WITH SCORE 72815.377
AT ITER 246 NEW BEST:: SOT 337001 SOS 157756 HAS SOPS 157756 HAS SOUS 72530 HAS SOUPS 72530 WITH SCORE 72687.756
AT ITER 251 NEW BEST:: SOT 336261 SOS 156565 HAS SOPS 156565 HAS SOUS 72503 HAS SOUPS 72503 WITH SCORE 72659.565
AT ITER 258 NEW BEST:: SOT 336029 SOS 155985 HAS SOPS 155985 HAS SOUS 72385 HAS SOUPS 72385 WITH SCORE 72540.985
AT ITER 259 NEW BEST:: SOT 335839 SOS 155522 HAS SOPS 155522 HAS SOUS 72313 HAS SOUPS 72313 WITH SCORE 72468.522
AT ITER 270 NEW BEST:: SOT 335497 SOS 154667 HAS SOPS 154667 HAS SOUS 71896 HAS SOUPS 71896 WITH SCORE 72050.667
AT ITER 285 NEW BEST:: SOT 334923 SOS 153458 HAS SOPS 153458 HAS SOUS 71426 HAS SOUPS 71426 WITH SCORE 71579.458
AT ITER 286 NEW BEST:: SOT 334815 SOS 153188 HAS SOPS 153188 HAS SOUS 71276 HAS SOUPS 71276 WITH SCORE 71429.188
AT ITER 290 NEW BEST:: SOT 334653 SOS 152662 HAS SOPS 152662 HAS SOUS 71236 HAS SOUPS 71236 WITH SCORE 71388.662
AT ITER 303 NEW BEST:: SOT 333999 SOS 151602 HAS SOPS 151602 HAS SOUS 71184 HAS SOUPS 71184 WITH SCORE 71335.602
AT ITER 307 NEW BEST:: SOT 333581 SOS 150569 HAS SOPS 150569 HAS SOUS 70713 HAS SOUPS 70713 WITH SCORE 70863.569
AT ITER 311 NEW BEST:: SOT 333474 SOS 150355 HAS SOPS 150355 HAS SOUS 70707 HAS SOUPS 70707 WITH SCORE 70857.355
AT ITER 317 NEW BEST:: SOT 333373 SOS 150254 HAS SOPS 150254 HAS SOUS 70606 HAS SOUPS 70606 WITH SCORE 70756.254
AT ITER 320 NEW BEST:: SOT 333017 SOS 149542 HAS SOPS 149542 HAS SOUS 70606 HAS SOUPS 70606 WITH SCORE 70755.542
AT ITER 331 NEW BEST:: SOT 332947 SOS 149402 HAS SOPS 149402 HAS SOUS 70518 HAS SOUPS 70518 WITH SCORE 70667.402
AT ITER 340 NEW BEST:: SOT 332419 SOS 148136 HAS SOPS 148136 HAS SOUS 70306 HAS SOUPS 70306 WITH SCORE 70454.136
AT ITER 353 NEW BEST:: SOT 332267 SOS 147831 HAS SOPS 147831 HAS SOUS 70305 HAS SOUPS 70305 WITH SCORE 70452.831
AT ITER 360 NEW BEST:: SOT 332031 SOS 147413 HAS SOPS 147413 HAS SOUS 69995 HAS SOUPS 69995 WITH SCORE 70142.413
AT ITER 387 NEW BEST:: SOT 331745 SOS 146839 HAS SOPS 146839 HAS SOUS 69993 HAS SOUPS 69993 WITH SCORE 70139.839
AT ITER 388 NEW BEST:: SOT 331427 SOS 146044 HAS SOPS 146044 HAS SOUS 69832 HAS SOUPS 69832 WITH SCORE 69978.044
AT ITER 398 NEW BEST:: SOT 331427 SOS 146042 HAS SOPS 146042 HAS SOUS 69828 HAS SOUPS 69828 WITH SCORE 69974.042
AT ITER 401 NEW BEST:: SOT 331065 SOS 145316 HAS SOPS 145316 HAS SOUS 69824 HAS SOUPS 69824 WITH SCORE 69969.316
AT ITER 405 NEW BEST:: SOT 330308 SOS 144063 HAS SOPS 144063 HAS SOUS 69623 HAS SOUPS 69623 WITH SCORE 69767.063
AT ITER 411 NEW BEST:: SOT 330096 SOS 143447 HAS SOPS 143447 HAS SOUS 69472 HAS SOUPS 69472 WITH SCORE 69615.447
AT ITER 425 NEW BEST:: SOT 330216 SOS 143567 HAS SOPS 143567 HAS SOUS 69352 HAS SOUPS 69352 WITH SCORE 69495.567
AT ITER 434 NEW BEST:: SOT 329437 SOS 142316 HAS SOPS 142316 HAS SOUS 69310 HAS SOUPS 69310 WITH SCORE 69452.316
AT ITER 437 NEW BEST:: SOT 329109 SOS 141596 HAS SOPS 141596 HAS SOUS 69246 HAS SOUPS 69246 WITH SCORE 69387.596
AT ITER 443 NEW BEST:: SOT 328896 SOS 141383 HAS SOPS 141383 HAS SOUS 69031 HAS SOUPS 69031 WITH SCORE 69172.383
AT ITER 444 NEW BEST:: SOT 328592 SOS 140623 HAS SOPS 140623 HAS SOUS 68879 HAS SOUPS 68879 WITH SCORE 69019.623
AT ITER 456 NEW BEST:: SOT 328580 SOS 140593 HAS SOPS 140593 HAS SOUS 68873 HAS SOUPS 68873 WITH SCORE 69013.593
AT ITER 462 NEW BEST:: SOT 328410 SOS 140181 HAS SOPS 140181 HAS SOUS 68681 HAS SOUPS 68681 WITH SCORE 68821.181
AT ITER 493 NEW BEST:: SOT 328410 SOS 140180 HAS SOPS 140180 HAS SOUS 68680 HAS SOUPS 68680 WITH SCORE 68820.18
AT ITER 495 NEW BEST:: SOT 327616 SOS 138831 HAS SOPS 138831 HAS SOUS 68494 HAS SOUPS 68494 WITH SCORE 68632.831
AT ITER 502 NEW BEST:: SOT 327769 SOS 139210 HAS SOPS 139210 HAS SOUS 68470 HAS SOUPS 68470 WITH SCORE 68609.21
AT ITER 509 NEW BEST:: SOT 327383 SOS 138363 HAS SOPS 138363 HAS SOUS 68395 HAS SOUPS 68395 WITH SCORE 68533.363
AT ITER 516 NEW BEST:: SOT 326977 SOS 137391 HAS SOPS 137391 HAS SOUS 68282 HAS SOUPS 68282 WITH SCORE 68419.391
AT ITER 525 NEW BEST:: SOT 326977 SOS 137391 HAS SOPS 137391 HAS SOUS 68280 HAS SOUPS 68280 WITH SCORE 68417.391
AT ITER 526 NEW BEST:: SOT 326677 SOS 136730 HAS SOPS 136730 HAS SOUS 68219 HAS SOUPS 68219 WITH SCORE 68355.73
AT ITER 528 NEW BEST:: SOT 326266 SOS 135731 HAS SOPS 135731 HAS SOUS 67708 HAS SOUPS 67708 WITH SCORE 67843.731
AT ITER 565 NEW BEST:: SOT 326076 SOS 135349 HAS SOPS 135349 HAS SOUS 67704 HAS SOUPS 67704 WITH SCORE 67839.349
AT ITER 568 NEW BEST:: SOT 325966 SOS 135107 HAS SOPS 135107 HAS SOUS 67550 HAS SOUPS 67550 WITH SCORE 67685.107
AT ITER 577 NEW BEST:: SOT 325865 SOS 134822 HAS SOPS 134822 HAS SOUS 67530 HAS SOUPS 67530 WITH SCORE 67664.822
AT ITER 581 NEW BEST:: SOT 325629 SOS 134350 HAS SOPS 134350 HAS SOUS 67530 HAS SOUPS 67530 WITH SCORE 67664.35
AT ITER 586 NEW BEST:: SOT 325293 SOS 133510 HAS SOPS 133510 HAS SOUS 67056 HAS SOUPS 67056 WITH SCORE 67189.51
AT ITER 593 NEW BEST:: SOT 324893 SOS 132510 HAS SOPS 132510 HAS SOUS 66856 HAS SOUPS 66856 WITH SCORE 66988.51
AT ITER 596 NEW BEST:: SOT 324938 SOS 132600 HAS SOPS 132600 HAS SOUS 66855 HAS SOUPS 66855 WITH SCORE 66987.6
AT ITER 606 NEW BEST:: SOT 324580 SOS 131765 HAS SOPS 131765 HAS SOUS 66736 HAS SOUPS 66736 WITH SCORE 66867.765
AT ITER 618 NEW BEST:: SOT 324584 SOS 131750 HAS SOPS 131750 HAS SOUS 66661 HAS SOUPS 66661 WITH SCORE 66792.75
AT ITER 649 NEW BEST:: SOT 324438 SOS 131458 HAS SOPS 131458 HAS SOUS 66661 HAS SOUPS 66661 WITH SCORE 66792.458
AT ITER 699 NEW BEST:: SOT 324134 SOS 130850 HAS SOPS 130850 HAS SOUS 66661 HAS SOUPS 66661 WITH SCORE 66791.85
AT ITER 711 NEW BEST:: SOT 324060 SOS 130702 HAS SOPS 130702 HAS SOUS 66661 HAS SOUPS 66661 WITH SCORE 66791.702
AT ITER 735 NEW BEST:: SOT 324037 SOS 130656 HAS SOPS 130656 HAS SOUS 66649 HAS SOUPS 66649 WITH SCORE 66779.656
AT ITER 750 NEW BEST:: SOT 324011 SOS 130604 HAS SOPS 130604 HAS SOUS 66649 HAS SOUPS 66649 WITH SCORE 66779.604
AT ITER 757 NEW BEST:: SOT 323983 SOS 130520 HAS SOPS 130520 HAS SOUS 66649 HAS SOUPS 66649 WITH SCORE 66779.52
AT ITER 759 NEW BEST:: SOT 323976 SOS 130506 HAS SOPS 130506 HAS SOUS 66642 HAS SOUPS 66642 WITH SCORE 66772.506
AT ITER 771 NEW BEST:: SOT 323973 SOS 130500 HAS SOPS 130500 HAS SOUS 66642 HAS SOUPS 66642 WITH SCORE 66772.5
AT ITER 783 NEW BEST:: SOT 323931 SOS 130395 HAS SOPS 130395 HAS SOUS 66621 HAS SOUPS 66621 WITH SCORE 66751.395
AT ITER 785 NEW BEST:: SOT 323835 SOS 130117 HAS SOPS 130117 HAS SOUS 66611 HAS SOUPS 66611 WITH SCORE 66741.117
AT ITER 829 NEW BEST:: SOT 323835 SOS 130106 HAS SOPS 130106 HAS SOUS 66600 HAS SOUPS 66600 WITH SCORE 66730.106
AT ITER 831 NEW BEST:: SOT 323711 SOS 129825 HAS SOPS 129825 HAS SOUS 66567 HAS SOUPS 66567 WITH SCORE 66696.825
AT ITER 833 NEW BEST:: SOT 323563 SOS 129458 HAS SOPS 129458 HAS SOUS 66488 HAS SOUPS 66488 WITH SCORE 66617.458
AT ITER 864 NEW BEST:: SOT 323541 SOS 129403 HAS SOPS 129403 HAS SOUS 66455 HAS SOUPS 66455 WITH SCORE 66584.403
AT ITER 871 NEW BEST:: SOT 323242 SOS 128805 HAS SOPS 128805 HAS SOUS 66125 HAS SOUPS 66125 WITH SCORE 66253.805
AT ITER 880 NEW BEST:: SOT 322881 SOS 128081 HAS SOPS 128081 HAS SOUS 65942 HAS SOUPS 65942 WITH SCORE 66070.081
AT ITER 884 NEW BEST:: SOT 322825 SOS 127896 HAS SOPS 127896 HAS SOUS 65917 HAS SOUPS 65917 WITH SCORE 66044.896
AT ITER 889 NEW BEST:: SOT 322391 SOS 126811 HAS SOPS 126811 HAS SOUS 65700 HAS SOUPS 65700 WITH SCORE 65826.811
AT ITER 904 NEW BEST:: SOT 322320 SOS 126809 HAS SOPS 126809 HAS SOUS 65694 HAS SOUPS 65694 WITH SCORE 65820.809
AT ITER 912 NEW BEST:: SOT 321870 SOS 125907 HAS SOPS 125907 HAS SOUS 65690 HAS SOUPS 65690 WITH SCORE 65815.907
AT ITER 916 NEW BEST:: SOT 321646 SOS 125459 HAS SOPS 125459 HAS SOUS 65418 HAS SOUPS 65418 WITH SCORE 65543.459
AT ITER 929 NEW BEST:: SOT 321646 SOS 125449 HAS SOPS 125449 HAS SOUS 65406 HAS SOUPS 65406 WITH SCORE 65531.449
AT ITER 946 NEW BEST:: SOT 321165 SOS 124724 HAS SOPS 124724 HAS SOUS 65403 HAS SOUPS 65403 WITH SCORE 65527.724
AT ITER 968 NEW BEST:: SOT 321153 SOS 124700 HAS SOPS 124700 HAS SOUS 65403 HAS SOUPS 65403 WITH SCORE 65527.7
AT ITER 977 NEW BEST:: SOT 321153 SOS 124700 HAS SOPS 124700 HAS SOUS 65397 HAS SOUPS 65397 WITH SCORE 65521.7
AT ITER 979 NEW BEST:: SOT 321077 SOS 124619 HAS SOPS 124619 HAS SOUS 65164 HAS SOUPS 65164 WITH SCORE 65288.619
AT ITER 981 NEW BEST:: SOT 321001 SOS 124467 HAS SOPS 124467 HAS SOUS 65164 HAS SOUPS 65164 WITH SCORE 65288.467
AT ITER 1024 NEW BEST:: SOT 320945 SOS 124327 HAS SOPS 124327 HAS SOUS 65136 HAS SOUPS 65136 WITH SCORE 65260.327
AT ITER 1038 NEW BEST:: SOT 320228 SOS 122855 HAS SOPS 122855 HAS SOUS 64799 HAS SOUPS 64799 WITH SCORE 64921.855
AT ITER 1046 NEW BEST:: SOT 320228 SOS 122828 HAS SOPS 122828 HAS SOUS 64742 HAS SOUPS 64742 WITH SCORE 64864.828
AT ITER 1049 NEW BEST:: SOT 320183 SOS 122752 HAS SOPS 122752 HAS SOUS 64726 HAS SOUPS 64726 WITH SCORE 64848.752
AT ITER 1074 NEW BEST:: SOT 320099 SOS 122600 HAS SOPS 122600 HAS SOUS 64546 HAS SOUPS 64546 WITH SCORE 64668.6
AT ITER 1083 NEW BEST:: SOT 320060 SOS 122492 HAS SOPS 122492 HAS SOUS 64541 HAS SOUPS 64541 WITH SCORE 64663.492
AT ITER 1086 NEW BEST:: SOT 320012 SOS 122396 HAS SOPS 122396 HAS SOUS 64512 HAS SOUPS 64512 WITH SCORE 64634.396
AT ITER 1088 NEW BEST:: SOT 319865 SOS 122128 HAS SOPS 122128 HAS SOUS 64434 HAS SOUPS 64434 WITH SCORE 64556.128
AT ITER 1098 NEW BEST:: SOT 319849 SOS 122088 HAS SOPS 122088 HAS SOUS 64426 HAS SOUPS 64426 WITH SCORE 64548.088
AT ITER 1103 NEW BEST:: SOT 319791 SOS 121964 HAS SOPS 121964 HAS SOUS 64160 HAS SOUPS 64160 WITH SCORE 64281.964
AT ITER 1116 NEW BEST:: SOT 319767 SOS 121916 HAS SOPS 121916 HAS SOUS 64160 HAS SOUPS 64160 WITH SCORE 64281.916
AT ITER 1166 NEW BEST:: SOT 319751 SOS 121882 HAS SOPS 121882 HAS SOUS 64156 HAS SOUPS 64156 WITH SCORE 64277.882
AT ITER 1167 NEW BEST:: SOT 319669 SOS 121716 HAS SOPS 121716 HAS SOUS 64152 HAS SOUPS 64152 WITH SCORE 64273.716
AT ITER 1169 NEW BEST:: SOT 319627 SOS 121643 HAS SOPS 121643 HAS SOUS 64131 HAS SOUPS 64131 WITH SCORE 64252.643
AT ITER 1190 NEW BEST:: SOT 319431 SOS 121347 HAS SOPS 121347 HAS SOUS 64127 HAS SOUPS 64127 WITH SCORE 64248.347
AT ITER 1218 NEW BEST:: SOT 319321 SOS 121115 HAS SOPS 121115 HAS SOUS 64126 HAS SOUPS 64126 WITH SCORE 64247.115
AT ITER 1231 NEW BEST:: SOT 319278 SOS 121071 HAS SOPS 121071 HAS SOUS 64078 HAS SOUPS 64078 WITH SCORE 64199.071
AT ITER 1241 NEW BEST:: SOT 319189 SOS 120827 HAS SOPS 120827 HAS SOUS 64046 HAS SOUPS 64046 WITH SCORE 64166.827
AT ITER 1270 NEW BEST:: SOT 319083 SOS 120615 HAS SOPS 120615 HAS SOUS 64046 HAS SOUPS 64046 WITH SCORE 64166.615
AT ITER 1274 NEW BEST:: SOT 319095 SOS 120639 HAS SOPS 120639 HAS SOUS 64029 HAS SOUPS 64029 WITH SCORE 64149.639
AT ITER 1278 NEW BEST:: SOT 319088 SOS 120625 HAS SOPS 120625 HAS SOUS 64029 HAS SOUPS 64029 WITH SCORE 64149.625
AT ITER 1289 NEW BEST:: SOT 319029 SOS 120530 HAS SOPS 120530 HAS SOUS 63884 HAS SOUPS 63884 WITH SCORE 64004.53
AT ITER 1293 NEW BEST:: SOT 318848 SOS 120153 HAS SOPS 120153 HAS SOUS 63582 HAS SOUPS 63582 WITH SCORE 63702.153
AT ITER 1298 NEW BEST:: SOT 318826 SOS 120036 HAS SOPS 120036 HAS SOUS 63567 HAS SOUPS 63567 WITH SCORE 63687.036
AT ITER 1323 NEW BEST:: SOT 318804 SOS 119992 HAS SOPS 119992 HAS SOUS 63534 HAS SOUPS 63534 WITH SCORE 63653.992
AT ITER 1339 NEW BEST:: SOT 318555 SOS 119494 HAS SOPS 119494 HAS SOUS 63201 HAS SOUPS 63201 WITH SCORE 63320.494
AT ITER 1341 NEW BEST:: SOT 318555 SOS 119472 HAS SOPS 119472 HAS SOUS 63179 HAS SOUPS 63179 WITH SCORE 63298.472
AT ITER 1343 NEW BEST:: SOT 318436 SOS 119255 HAS SOPS 119255 HAS SOUS 63166 HAS SOUPS 63166 WITH SCORE 63285.255
AT ITER 1348 NEW BEST:: SOT 318358 SOS 119073 HAS SOPS 119073 HAS SOUS 63140 HAS SOUPS 63140 WITH SCORE 63259.073
AT ITER 1355 NEW BEST:: SOT 317945 SOS 118553 HAS SOPS 118553 HAS SOUS 63127 HAS SOUPS 63127 WITH SCORE 63245.553
AT ITER 1372 NEW BEST:: SOT 317935 SOS 118533 HAS SOPS 118533 HAS SOUS 63127 HAS SOUPS 63127 WITH SCORE 63245.533
AT ITER 1388 NEW BEST:: SOT 317849 SOS 118446 HAS SOPS 118446 HAS SOUS 63126 HAS SOUPS 63126 WITH SCORE 63244.446
AT ITER 1396 NEW BEST:: SOT 317693 SOS 118056 HAS SOPS 118056 HAS SOUS 63046 HAS SOUPS 63046 WITH SCORE 63164.056
AT ITER 1412 NEW BEST:: SOT 317670 SOS 118018 HAS SOPS 118018 HAS SOUS 63039 HAS SOUPS 63039 WITH SCORE 63157.018
AT ITER 1458 NEW BEST:: SOT 317433 SOS 117401 HAS SOPS 117401 HAS SOUS 62965 HAS SOUPS 62965 WITH SCORE 63082.401
AT ITER 1460 NEW BEST:: SOT 317414 SOS 117363 HAS SOPS 117363 HAS SOUS 62946 HAS SOUPS 62946 WITH SCORE 63063.363
AT ITER 1462 NEW BEST:: SOT 317401 SOS 117343 HAS SOPS 117343 HAS SOUS 62946 HAS SOUPS 62946 WITH SCORE 63063.343
AT ITER 1469 NEW BEST:: SOT 317401 SOS 117261 HAS SOPS 117261 HAS SOUS 62864 HAS SOUPS 62864 WITH SCORE 62981.261
AT ITER 1480 NEW BEST:: SOT 317327 SOS 117076 HAS SOPS 117076 HAS SOUS 62753 HAS SOUPS 62753 WITH SCORE 62870.076
AT ITER 1481 NEW BEST:: SOT 317289 SOS 117000 HAS SOPS 117000 HAS SOUS 62753 HAS SOUPS 62753 WITH SCORE 62870.0
AT ITER 1494 NEW BEST:: SOT 317382 SOS 117211 HAS SOPS 117211 HAS SOUS 62713 HAS SOUPS 62713 WITH SCORE 62830.211
AT ITER 1504 NEW BEST:: SOT 317368 SOS 117098 HAS SOPS 117098 HAS SOUS 62696 HAS SOUPS 62696 WITH SCORE 62813.098
AT ITER 1508 NEW BEST:: SOT 317361 SOS 117086 HAS SOPS 117086 HAS SOUS 62691 HAS SOUPS 62691 WITH SCORE 62808.086
AT ITER 1519 NEW BEST:: SOT 317031 SOS 116425 HAS SOPS 116425 HAS SOUS 62690 HAS SOUPS 62690 WITH SCORE 62806.425
AT ITER 1522 NEW BEST:: SOT 316901 SOS 116295 HAS SOPS 116295 HAS SOUS 62558 HAS SOUPS 62558 WITH SCORE 62674.295
AT ITER 1589 NEW BEST:: SOT 316859 SOS 116209 HAS SOPS 116209 HAS SOUS 62556 HAS SOUPS 62556 WITH SCORE 62672.209
AT ITER 1597 NEW BEST:: SOT 316609 SOS 115691 HAS SOPS 115691 HAS SOUS 62257 HAS SOUPS 62257 WITH SCORE 62372.691
AT ITER 1598 NEW BEST:: SOT 316609 SOS 115750 HAS SOPS 115750 HAS SOUS 62250 HAS SOUPS 62250 WITH SCORE 62365.75
AT ITER 1607 NEW BEST:: SOT 316539 SOS 115610 HAS SOPS 115610 HAS SOUS 62250 HAS SOUPS 62250 WITH SCORE 62365.61
AT ITER 1617 NEW BEST:: SOT 316339 SOS 115110 HAS SOPS 115110 HAS SOUS 61950 HAS SOUPS 61950 WITH SCORE 62065.11
AT ITER 1659 NEW BEST:: SOT 316315 SOS 115062 HAS SOPS 115062 HAS SOUS 61919 HAS SOUPS 61919 WITH SCORE 62034.062
AT ITER 1662 NEW BEST:: SOT 316222 SOS 114800 HAS SOPS 114800 HAS SOUS 61843 HAS SOUPS 61843 WITH SCORE 61957.8
AT ITER 1667 NEW BEST:: SOT 316222 SOS 114800 HAS SOPS 114800 HAS SOUS 61835 HAS SOUPS 61835 WITH SCORE 61949.8
AT ITER 1683 NEW BEST:: SOT 316208 SOS 114772 HAS SOPS 114772 HAS SOUS 61835 HAS SOUPS 61835 WITH SCORE 61949.772
AT ITER 1710 NEW BEST:: SOT 316181 SOS 114726 HAS SOPS 114726 HAS SOUS 61825 HAS SOUPS 61825 WITH SCORE 61939.726
AT ITER 1717 NEW BEST:: SOT 316175 SOS 114709 HAS SOPS 114709 HAS SOUS 61786 HAS SOUPS 61786 WITH SCORE 61900.709
AT ITER 1720 NEW BEST:: SOT 315984 SOS 114209 HAS SOPS 114209 HAS SOUS 61595 HAS SOUPS 61595 WITH SCORE 61709.209
AT ITER 1725 NEW BEST:: SOT 315832 SOS 113850 HAS SOPS 113850 HAS SOUS 61538 HAS SOUPS 61538 WITH SCORE 61651.85
AT ITER 1728 NEW BEST:: SOT 315679 SOS 113543 HAS SOPS 113543 HAS SOUS 61537 HAS SOUPS 61537 WITH SCORE 61650.543
AT ITER 1729 NEW BEST:: SOT 315553 SOS 113212 HAS SOPS 113212 HAS SOUS 61482 HAS SOUPS 61482 WITH SCORE 61595.212
AT ITER 1751 NEW BEST:: SOT 315502 SOS 113126 HAS SOPS 113126 HAS SOUS 61464 HAS SOUPS 61464 WITH SCORE 61577.126
AT ITER 1769 NEW BEST:: SOT 315491 SOS 113100 HAS SOPS 113100 HAS SOUS 61456 HAS SOUPS 61456 WITH SCORE 61569.1
AT ITER 1791 NEW BEST:: SOT 315315 SOS 112660 HAS SOPS 112660 HAS SOUS 61192 HAS SOUPS 61192 WITH SCORE 61304.66
AT ITER 1797 NEW BEST:: SOT 315239 SOS 112470 HAS SOPS 112470 HAS SOUS 61154 HAS SOUPS 61154 WITH SCORE 61266.47
AT ITER 1809 NEW BEST:: SOT 315103 SOS 112187 HAS SOPS 112187 HAS SOUS 61143 HAS SOUPS 61143 WITH SCORE 61255.187
AT ITER 1812 NEW BEST:: SOT 315095 SOS 112171 HAS SOPS 112171 HAS SOUS 61135 HAS SOUPS 61135 WITH SCORE 61247.171
AT ITER 1816 NEW BEST:: SOT 315095 SOS 112137 HAS SOPS 112137 HAS SOUS 61135 HAS SOUPS 61135 WITH SCORE 61247.137
AT ITER 1817 NEW BEST:: SOT 315109 SOS 112138 HAS SOPS 112138 HAS SOUS 61105 HAS SOUPS 61105 WITH SCORE 61217.138
AT ITER 1837 NEW BEST:: SOT 315124 SOS 112172 HAS SOPS 112172 HAS SOUS 61089 HAS SOUPS 61089 WITH SCORE 61201.172
AT ITER 1841 NEW BEST:: SOT 315124 SOS 112152 HAS SOPS 112152 HAS SOUS 61069 HAS SOUPS 61069 WITH SCORE 61181.152
AT ITER 1844 NEW BEST:: SOT 314910 SOS 111724 HAS SOPS 111724 HAS SOUS 61038 HAS SOUPS 61038 WITH SCORE 61149.724
AT ITER 1846 NEW BEST:: SOT 314331 SOS 110436 HAS SOPS 110436 HAS SOUS 60960 HAS SOUPS 60960 WITH SCORE 61070.436
AT ITER 1850 NEW BEST:: SOT 314239 SOS 110252 HAS SOPS 110252 HAS SOUS 60954 HAS SOUPS 60954 WITH SCORE 61064.252
AT ITER 1891 NEW BEST:: SOT 314090 SOS 109918 HAS SOPS 109918 HAS SOUS 60942 HAS SOUPS 60942 WITH SCORE 61051.918
AT ITER 1895 NEW BEST:: SOT 314100 SOS 109938 HAS SOPS 109938 HAS SOUS 60732 HAS SOUPS 60732 WITH SCORE 60841.938
AT ITER 1940 NEW BEST:: SOT 314100 SOS 109932 HAS SOPS 109932 HAS SOUS 60726 HAS SOUPS 60726 WITH SCORE 60835.932
AT ITER 1969 NEW BEST:: SOT 314099 SOS 109930 HAS SOPS 109930 HAS SOUS 60725 HAS SOUPS 60725 WITH SCORE 60834.93
AT ITER 1973 NEW BEST:: SOT 314085 SOS 109909 HAS SOPS 109909 HAS SOUS 60725 HAS SOUPS 60725 WITH SCORE 60834.909
AT ITER 1982 NEW BEST:: SOT 314045 SOS 109845 HAS SOPS 109845 HAS SOUS 60719 HAS SOUPS 60719 WITH SCORE 60828.845
AT ITER 1987 NEW BEST:: SOT 313997 SOS 109749 HAS SOPS 109749 HAS SOUS 60575 HAS SOUPS 60575 WITH SCORE 60684.749
AT ITER 1988 NEW BEST:: SOT 313971 SOS 109720 HAS SOPS 109720 HAS SOUS 60504 HAS SOUPS 60504 WITH SCORE 60613.72
AT ITER 1990 NEW BEST:: SOT 313971 SOS 109721 HAS SOPS 109721 HAS SOUS 60343 HAS SOUPS 60343 WITH SCORE 60452.721
AT ITER 1992 NEW BEST:: SOT 313971 SOS 109602 HAS SOPS 109602 HAS SOUS 60032 HAS SOUPS 60032 WITH SCORE 60141.602
AT ITER 1994 NEW BEST:: SOT 313805 SOS 109131 HAS SOPS 109131 HAS SOUS 59936 HAS SOUPS 59936 WITH SCORE 60045.131
AT ITER 1995 NEW BEST:: SOT 313602 SOS 108582 HAS SOPS 108582 HAS SOUS 59636 HAS SOUPS 59636 WITH SCORE 59744.582
AT ITER 2005 NEW BEST:: SOT 313556 SOS 108490 HAS SOPS 108490 HAS SOUS 59567 HAS SOUPS 59567 WITH SCORE 59675.49
AT ITER 2010 NEW BEST:: SOT 313573 SOS 108402 HAS SOPS 108402 HAS SOUS 59499 HAS SOUPS 59499 WITH SCORE 59607.402
AT ITER 2036 NEW BEST:: SOT 313479 SOS 108307 HAS SOPS 108307 HAS SOUS 59498 HAS SOUPS 59498 WITH SCORE 59606.307
AT ITER 2053 NEW BEST:: SOT 313368 SOS 108079 HAS SOPS 108079 HAS SOUS 59348 HAS SOUPS 59348 WITH SCORE 59456.079
AT ITER 2084 NEW BEST:: SOT 313331 SOS 108017 HAS SOPS 108017 HAS SOUS 59342 HAS SOUPS 59342 WITH SCORE 59450.017
AT ITER 2102 NEW BEST:: SOT 313141 SOS 107542 HAS SOPS 107542 HAS SOUS 59245 HAS SOUPS 59245 WITH SCORE 59352.542
AT ITER 2113 NEW BEST:: SOT 313138 SOS 107485 HAS SOPS 107485 HAS SOUS 58828 HAS SOUPS 58828 WITH SCORE 58935.485
AT ITER 2117 NEW BEST:: SOT 313138 SOS 107485 HAS SOPS 107485 HAS SOUS 58826 HAS SOUPS 58826 WITH SCORE 58933.485
AT ITER 2166 NEW BEST:: SOT 313108 SOS 107410 HAS SOPS 107410 HAS SOUS 58811 HAS SOUPS 58811 WITH SCORE 58918.41
AT ITER 2167 NEW BEST:: SOT 313148 SOS 107290 HAS SOPS 107290 HAS SOUS 58756 HAS SOUPS 58756 WITH SCORE 58863.29
AT ITER 2176 NEW BEST:: SOT 313148 SOS 107288 HAS SOPS 107288 HAS SOUS 58754 HAS SOUPS 58754 WITH SCORE 58861.288
AT ITER 2179 NEW BEST:: SOT 312794 SOS 106403 HAS SOPS 106403 HAS SOUS 58397 HAS SOUPS 58397 WITH SCORE 58503.403
AT ITER 2202 NEW BEST:: SOT 312860 SOS 106535 HAS SOPS 106535 HAS SOUS 58319 HAS SOUPS 58319 WITH SCORE 58425.535
AT ITER 2211 NEW BEST:: SOT 312859 SOS 106478 HAS SOPS 106478 HAS SOUS 58227 HAS SOUPS 58227 WITH SCORE 58333.478
AT ITER 2215 NEW BEST:: SOT 313005 SOS 106888 HAS SOPS 106888 HAS SOUS 58192 HAS SOUPS 58192 WITH SCORE 58298.888
AT ITER 2235 NEW BEST:: SOT 313030 SOS 106948 HAS SOPS 106948 HAS SOUS 58177 HAS SOUPS 58177 WITH SCORE 58283.948
AT ITER 2246 NEW BEST:: SOT 313030 SOS 106939 HAS SOPS 106939 HAS SOUS 58177 HAS SOUPS 58177 WITH SCORE 58283.939
AT ITER 2253 NEW BEST:: SOT 313030 SOS 106929 HAS SOPS 106929 HAS SOUS 58111 HAS SOUPS 58111 WITH SCORE 58217.929
AT ITER 2283 NEW BEST:: SOT 313007 SOS 106910 HAS SOPS 106910 HAS SOUS 58099 HAS SOUPS 58099 WITH SCORE 58205.91
AT ITER 2290 NEW BEST:: SOT 313021 SOS 106884 HAS SOPS 106884 HAS SOUS 58094 HAS SOUPS 58094 WITH SCORE 58200.884
AT ITER 2311 NEW BEST:: SOT 312853 SOS 106464 HAS SOPS 106464 HAS SOUS 58010 HAS SOUPS 58010 WITH SCORE 58116.464
AT ITER 2328 NEW BEST:: SOT 312731 SOS 106220 HAS SOPS 106220 HAS SOUS 57997 HAS SOUPS 57997 WITH SCORE 58103.22
AT ITER 2329 NEW BEST:: SOT 312507 SOS 105772 HAS SOPS 105772 HAS SOUS 57642 HAS SOUPS 57642 WITH SCORE 57747.772
AT ITER 2354 NEW BEST:: SOT 312478 SOS 105714 HAS SOPS 105714 HAS SOUS 57634 HAS SOUPS 57634 WITH SCORE 57739.714
AT ITER 2356 NEW BEST:: SOT 312408 SOS 105574 HAS SOPS 105574 HAS SOUS 57564 HAS SOUPS 57564 WITH SCORE 57669.574
AT ITER 2362 NEW BEST:: SOT 311986 SOS 104586 HAS SOPS 104586 HAS SOUS 57501 HAS SOUPS 57501 WITH SCORE 57605.586
AT ITER 2389 NEW BEST:: SOT 311925 SOS 104525 HAS SOPS 104525 HAS SOUS 57438 HAS SOUPS 57438 WITH SCORE 57542.525
AT ITER 2397 NEW BEST:: SOT 312059 SOS 104659 HAS SOPS 104659 HAS SOUS 57431 HAS SOUPS 57431 WITH SCORE 57535.659
AT ITER 2410 NEW BEST:: SOT 312059 SOS 104664 HAS SOPS 104664 HAS SOUS 57426 HAS SOUPS 57426 WITH SCORE 57530.664
AT ITER 2421 NEW BEST:: SOT 312118 SOS 104759 HAS SOPS 104759 HAS SOUS 57413 HAS SOUPS 57413 WITH SCORE 57517.759
AT ITER 2427 NEW BEST:: SOT 312060 SOS 104614 HAS SOPS 104614 HAS SOUS 57403 HAS SOUPS 57403 WITH SCORE 57507.614
AT ITER 2432 NEW BEST:: SOT 311632 SOS 103758 HAS SOPS 103758 HAS SOUS 57403 HAS SOUPS 57403 WITH SCORE 57506.758
AT ITER 2451 NEW BEST:: SOT 311632 SOS 103758 HAS SOPS 103758 HAS SOUS 57297 HAS SOUPS 57297 WITH SCORE 57400.758
AT ITER 2452 NEW BEST:: SOT 311622 SOS 103738 HAS SOPS 103738 HAS SOUS 57297 HAS SOUPS 57297 WITH SCORE 57400.738
AT ITER 2455 NEW BEST:: SOT 311534 SOS 103533 HAS SOPS 103533 HAS SOUS 57292 HAS SOUPS 57292 WITH SCORE 57395.533
AT ITER 2467 NEW BEST:: SOT 311128 SOS 102721 HAS SOPS 102721 HAS SOUS 56937 HAS SOUPS 56937 WITH SCORE 57039.721
AT ITER 2475 NEW BEST:: SOT 311163 SOS 102714 HAS SOPS 102714 HAS SOUS 56895 HAS SOUPS 56895 WITH SCORE 56997.714
AT ITER 2489 NEW BEST:: SOT 311143 SOS 102689 HAS SOPS 102689 HAS SOUS 56890 HAS SOUPS 56890 WITH SCORE 56992.689
AT ITER 2500 NEW BEST:: SOT 311010 SOS 102347 HAS SOPS 102347 HAS SOUS 56755 HAS SOUPS 56755 WITH SCORE 56857.347
AT ITER 2508 NEW BEST:: SOT 310561 SOS 101562 HAS SOPS 101562 HAS SOUS 56730 HAS SOUPS 56730 WITH SCORE 56831.562
AT ITER 2521 NEW BEST:: SOT 310493 SOS 101348 HAS SOPS 101348 HAS SOUS 56585 HAS SOUPS 56585 WITH SCORE 56686.348
AT ITER 2536 NEW BEST:: SOT 310223 SOS 100897 HAS SOPS 100897 HAS SOUS 56494 HAS SOUPS 56494 WITH SCORE 56594.897
AT ITER 2551 NEW BEST:: SOT 310199 SOS 100872 HAS SOPS 100872 HAS SOUS 56493 HAS SOUPS 56493 WITH SCORE 56593.872
AT ITER 2553 NEW BEST:: SOT 309549 SOS 99510 HAS SOPS 99510 HAS SOUS 55714 HAS SOUPS 55714 WITH SCORE 55813.51
AT ITER 2577 NEW BEST:: SOT 309040 SOS 98440 HAS SOPS 98440 HAS SOUS 55668 HAS SOUPS 55668 WITH SCORE 55766.44
AT ITER 2578 NEW BEST:: SOT 309077 SOS 98398 HAS SOPS 98398 HAS SOUS 55659 HAS SOUPS 55659 WITH SCORE 55757.398
AT ITER 2582 NEW BEST:: SOT 309140 SOS 98481 HAS SOPS 98481 HAS SOUS 55619 HAS SOUPS 55619 WITH SCORE 55717.481
AT ITER 2585 NEW BEST:: SOT 309122 SOS 98436 HAS SOPS 98436 HAS SOUS 55592 HAS SOUPS 55592 WITH SCORE 55690.436
AT ITER 2587 NEW BEST:: SOT 309343 SOS 98899 HAS SOPS 98899 HAS SOUS 55566 HAS SOUPS 55566 WITH SCORE 55664.899
AT ITER 2604 NEW BEST:: SOT 309399 SOS 99030 HAS SOPS 99030 HAS SOUS 55563 HAS SOUPS 55563 WITH SCORE 55662.03
AT ITER 2613 NEW BEST:: SOT 309428 SOS 99040 HAS SOPS 99040 HAS SOUS 55496 HAS SOUPS 55496 WITH SCORE 55595.04
AT ITER 2614 NEW BEST:: SOT 309450 SOS 99055 HAS SOPS 99055 HAS SOUS 55494 HAS SOUPS 55494 WITH SCORE 55593.055
AT ITER 2618 NEW BEST:: SOT 309408 SOS 98950 HAS SOPS 98950 HAS SOUS 55439 HAS SOUPS 55439 WITH SCORE 55537.95
AT ITER 2659 NEW BEST:: SOT 309306 SOS 98746 HAS SOPS 98746 HAS SOUS 55337 HAS SOUPS 55337 WITH SCORE 55435.746
AT ITER 2660 NEW BEST:: SOT 309273 SOS 98680 HAS SOPS 98680 HAS SOUS 55304 HAS SOUPS 55304 WITH SCORE 55402.68
AT ITER 2693 NEW BEST:: SOT 309245 SOS 98576 HAS SOPS 98576 HAS SOUS 55275 HAS SOUPS 55275 WITH SCORE 55373.576
AT ITER 2701 NEW BEST:: SOT 309170 SOS 98396 HAS SOPS 98396 HAS SOUS 55239 HAS SOUPS 55239 WITH SCORE 55337.396
AT ITER 2714 NEW BEST:: SOT 309013 SOS 98080 HAS SOPS 98080 HAS SOUS 55233 HAS SOUPS 55233 WITH SCORE 55331.08
AT ITER 2719 NEW BEST:: SOT 309013 SOS 98060 HAS SOPS 98060 HAS SOUS 55209 HAS SOUPS 55209 WITH SCORE 55307.06
AT ITER 2720 NEW BEST:: SOT 308900 SOS 97891 HAS SOPS 97891 HAS SOUS 55208 HAS SOUPS 55208 WITH SCORE 55305.891
AT ITER 2723 NEW BEST:: SOT 308897 SOS 97885 HAS SOPS 97885 HAS SOUS 55208 HAS SOUPS 55208 WITH SCORE 55305.885
AT ITER 2728 NEW BEST:: SOT 308874 SOS 97787 HAS SOPS 97787 HAS SOUS 55052 HAS SOUPS 55052 WITH SCORE 55149.787
AT ITER 2740 NEW BEST:: SOT 308628 SOS 97268 HAS SOPS 97268 HAS SOUS 54865 HAS SOUPS 54865 WITH SCORE 54962.268
AT ITER 2751 NEW BEST:: SOT 308592 SOS 97195 HAS SOPS 97195 HAS SOUS 54864 HAS SOUPS 54864 WITH SCORE 54961.195
AT ITER 2815 NEW BEST:: SOT 308268 SOS 96429 HAS SOPS 96429 HAS SOUS 54746 HAS SOUPS 54746 WITH SCORE 54842.429
AT ITER 2820 NEW BEST:: SOT 308266 SOS 96425 HAS SOPS 96425 HAS SOUS 54745 HAS SOUPS 54745 WITH SCORE 54841.425
AT ITER 2836 NEW BEST:: SOT 308251 SOS 96395 HAS SOPS 96395 HAS SOUS 54725 HAS SOUPS 54725 WITH SCORE 54821.395
AT ITER 2837 NEW BEST:: SOT 307792 SOS 95561 HAS SOPS 95561 HAS SOUS 54612 HAS SOUPS 54612 WITH SCORE 54707.561
AT ITER 2901 NEW BEST:: SOT 307778 SOS 95526 HAS SOPS 95526 HAS SOUS 54591 HAS SOUPS 54591 WITH SCORE 54686.526
AT ITER 2909 NEW BEST:: SOT 307692 SOS 95415 HAS SOPS 95415 HAS SOUS 54591 HAS SOUPS 54591 WITH SCORE 54686.415
AT ITER 2932 NEW BEST:: SOT 307690 SOS 95373 HAS SOPS 95373 HAS SOUS 54591 HAS SOUPS 54591 WITH SCORE 54686.373
AT ITER 2957 NEW BEST:: SOT 307726 SOS 95387 HAS SOPS 95387 HAS SOUS 54579 HAS SOUPS 54579 WITH SCORE 54674.387
AT ITER 2975 NEW BEST:: SOT 307792 SOS 95538 HAS SOPS 95538 HAS SOUS 54532 HAS SOUPS 54532 WITH SCORE 54627.538
AT ITER 2978 NEW BEST:: SOT 307753 SOS 95415 HAS SOPS 95415 HAS SOUS 54511 HAS SOUPS 54511 WITH SCORE 54606.415
AT ITER 2998 NEW BEST:: SOT 307704 SOS 95317 HAS SOPS 95317 HAS SOUS 54412 HAS SOUPS 54412 WITH SCORE 54507.317
AT ITER 3019 NEW BEST:: SOT 307664 SOS 95237 HAS SOPS 95237 HAS SOUS 54372 HAS SOUPS 54372 WITH SCORE 54467.237
AT ITER 3042 NEW BEST:: SOT 307564 SOS 94987 HAS SOPS 94987 HAS SOUS 54322 HAS SOUPS 54322 WITH SCORE 54416.987
AT ITER 3046 NEW BEST:: SOT 307521 SOS 94926 HAS SOPS 94926 HAS SOUS 54280 HAS SOUPS 54280 WITH SCORE 54374.926
AT ITER 3068 NEW BEST:: SOT 307518 SOS 94917 HAS SOPS 94917 HAS SOUS 54280 HAS SOUPS 54280 WITH SCORE 54374.917
AT ITER 3080 NEW BEST:: SOT 307488 SOS 94857 HAS SOPS 94857 HAS SOUS 54205 HAS SOUPS 54205 WITH SCORE 54299.857
AT ITER 3090 NEW BEST:: SOT 307274 SOS 94411 HAS SOPS 94411 HAS SOUS 54187 HAS SOUPS 54187 WITH SCORE 54281.411
AT ITER 3091 NEW BEST:: SOT 307208 SOS 94279 HAS SOPS 94279 HAS SOUS 54187 HAS SOUPS 54187 WITH SCORE 54281.279
AT ITER 3100 NEW BEST:: SOT 307194 SOS 94218 HAS SOPS 94218 HAS SOUS 54103 HAS SOUPS 54103 WITH SCORE 54197.218
AT ITER 3107 NEW BEST:: SOT 306912 SOS 93654 HAS SOPS 93654 HAS SOUS 53913 HAS SOUPS 53913 WITH SCORE 54006.654
AT ITER 3110 NEW BEST:: SOT 306912 SOS 93654 HAS SOPS 93654 HAS SOUS 53870 HAS SOUPS 53870 WITH SCORE 53963.654
AT ITER 3138 NEW BEST:: SOT 306792 SOS 93357 HAS SOPS 93357 HAS SOUS 53805 HAS SOUPS 53805 WITH SCORE 53898.357
AT ITER 3141 NEW BEST:: SOT 306766 SOS 93305 HAS SOPS 93305 HAS SOUS 53803 HAS SOUPS 53803 WITH SCORE 53896.305
AT ITER 3142 NEW BEST:: SOT 306710 SOS 93247 HAS SOPS 93247 HAS SOUS 53745 HAS SOUPS 53745 WITH SCORE 53838.247
AT ITER 3143 NEW BEST:: SOT 306404 SOS 92413 HAS SOPS 92413 HAS SOUS 53320 HAS SOUPS 53320 WITH SCORE 53412.413
AT ITER 3150 NEW BEST:: SOT 306387 SOS 92383 HAS SOPS 92383 HAS SOUS 53314 HAS SOUPS 53314 WITH SCORE 53406.383
AT ITER 3170 NEW BEST:: SOT 306220 SOS 92043 HAS SOPS 92043 HAS SOUS 53143 HAS SOUPS 53143 WITH SCORE 53235.043
AT ITER 3182 NEW BEST:: SOT 306120 SOS 91856 HAS SOPS 91856 HAS SOUS 52770 HAS SOUPS 52770 WITH SCORE 52861.856
AT ITER 3198 NEW BEST:: SOT 306104 SOS 91824 HAS SOPS 91824 HAS SOUS 52706 HAS SOUPS 52706 WITH SCORE 52797.824
AT ITER 3207 NEW BEST:: SOT 306063 SOS 91681 HAS SOPS 91681 HAS SOUS 52609 HAS SOUPS 52609 WITH SCORE 52700.681
AT ITER 3224 NEW BEST:: SOT 306037 SOS 91605 HAS SOPS 91605 HAS SOUS 52608 HAS SOUPS 52608 WITH SCORE 52699.605
AT ITER 3225 NEW BEST:: SOT 305862 SOS 91168 HAS SOPS 91168 HAS SOUS 52390 HAS SOUPS 52390 WITH SCORE 52481.168
AT ITER 3244 NEW BEST:: SOT 305853 SOS 91150 HAS SOPS 91150 HAS SOUS 52378 HAS SOUPS 52378 WITH SCORE 52469.15
AT ITER 3245 NEW BEST:: SOT 305793 SOS 91030 HAS SOPS 91030 HAS SOUS 52378 HAS SOUPS 52378 WITH SCORE 52469.03
AT ITER 3253 NEW BEST:: SOT 305775 SOS 91012 HAS SOPS 91012 HAS SOUS 52360 HAS SOUPS 52360 WITH SCORE 52451.012
AT ITER 3265 NEW BEST:: SOT 305677 SOS 90816 HAS SOPS 90816 HAS SOUS 52262 HAS SOUPS 52262 WITH SCORE 52352.816
AT ITER 3280 NEW BEST:: SOT 305677 SOS 90815 HAS SOPS 90815 HAS SOUS 52261 HAS SOUPS 52261 WITH SCORE 52351.815
AT ITER 3291 NEW BEST:: SOT 305677 SOS 90850 HAS SOPS 90850 HAS SOUS 52260 HAS SOUPS 52260 WITH SCORE 52350.85
AT ITER 3296 NEW BEST:: SOT 305532 SOS 90448 HAS SOPS 90448 HAS SOUS 52151 HAS SOUPS 52151 WITH SCORE 52241.448
AT ITER 3298 NEW BEST:: SOT 305436 SOS 90256 HAS SOPS 90256 HAS SOUS 52024 HAS SOUPS 52024 WITH SCORE 52114.256
AT ITER 3308 NEW BEST:: SOT 305115 SOS 89539 HAS SOPS 89539 HAS SOUS 51721 HAS SOUPS 51721 WITH SCORE 51810.539
AT ITER 3310 NEW BEST:: SOT 304776 SOS 88767 HAS SOPS 88767 HAS SOUS 51382 HAS SOUPS 51382 WITH SCORE 51470.767
AT ITER 3327 NEW BEST:: SOT 304764 SOS 88743 HAS SOPS 88743 HAS SOUS 51382 HAS SOUPS 51382 WITH SCORE 51470.743
AT ITER 3361 NEW BEST:: SOT 304680 SOS 88533 HAS SOPS 88533 HAS SOUS 51256 HAS SOUPS 51256 WITH SCORE 51344.533
AT ITER 3374 NEW BEST:: SOT 304628 SOS 88415 HAS SOPS 88415 HAS SOUS 51232 HAS SOUPS 51232 WITH SCORE 51320.415
AT ITER 3384 NEW BEST:: SOT 304514 SOS 88130 HAS SOPS 88130 HAS SOUS 51175 HAS SOUPS 51175 WITH SCORE 51263.13
AT ITER 3389 NEW BEST:: SOT 304538 SOS 88154 HAS SOPS 88154 HAS SOUS 51171 HAS SOUPS 51171 WITH SCORE 51259.154
AT ITER 3427 NEW BEST:: SOT 304456 SOS 88017 HAS SOPS 88017 HAS SOUS 51168 HAS SOUPS 51168 WITH SCORE 51256.017
AT ITER 3440 NEW BEST:: SOT 304296 SOS 87697 HAS SOPS 87697 HAS SOUS 51168 HAS SOUPS 51168 WITH SCORE 51255.697
AT ITER 3452 NEW BEST:: SOT 303958 SOS 86900 HAS SOPS 86900 HAS SOUS 51060 HAS SOUPS 51060 WITH SCORE 51146.9
AT ITER 3463 NEW BEST:: SOT 303958 SOS 86894 HAS SOPS 86894 HAS SOUS 51060 HAS SOUPS 51060 WITH SCORE 51146.894
AT ITER 3482 NEW BEST:: SOT 303892 SOS 86762 HAS SOPS 86762 HAS SOUS 51038 HAS SOUPS 51038 WITH SCORE 51124.762
AT ITER 3487 NEW BEST:: SOT 303880 SOS 86808 HAS SOPS 86808 HAS SOUS 50998 HAS SOUPS 50998 WITH SCORE 51084.808
AT ITER 3516 NEW BEST:: SOT 303785 SOS 86713 HAS SOPS 86713 HAS SOUS 50713 HAS SOUPS 50713 WITH SCORE 50799.713
AT ITER 3542 NEW BEST:: SOT 303730 SOS 86603 HAS SOPS 86603 HAS SOUS 50658 HAS SOUPS 50658 WITH SCORE 50744.603
AT ITER 3545 NEW BEST:: SOT 303730 SOS 86559 HAS SOPS 86559 HAS SOUS 50614 HAS SOUPS 50614 WITH SCORE 50700.559
AT ITER 3579 NEW BEST:: SOT 303697 SOS 86460 HAS SOPS 86460 HAS SOUS 50482 HAS SOUPS 50482 WITH SCORE 50568.46
AT ITER 3583 NEW BEST:: SOT 303653 SOS 86375 HAS SOPS 86375 HAS SOUS 50384 HAS SOUPS 50384 WITH SCORE 50470.375
AT ITER 3586 NEW BEST:: SOT 303438 SOS 85854 HAS SOPS 85854 HAS SOUS 50293 HAS SOUPS 50293 WITH SCORE 50378.854
AT ITER 3589 NEW BEST:: SOT 303408 SOS 85809 HAS SOPS 85809 HAS SOUS 50233 HAS SOUPS 50233 WITH SCORE 50318.809
AT ITER 3595 NEW BEST:: SOT 303376 SOS 85745 HAS SOPS 85745 HAS SOUS 50195 HAS SOUPS 50195 WITH SCORE 50280.745
AT ITER 3604 NEW BEST:: SOT 303370 SOS 85734 HAS SOPS 85734 HAS SOUS 50193 HAS SOUPS 50193 WITH SCORE 50278.734
AT ITER 3612 NEW BEST:: SOT 303363 SOS 85706 HAS SOPS 85706 HAS SOUS 50172 HAS SOUPS 50172 WITH SCORE 50257.706
AT ITER 3645 NEW BEST:: SOT 303097 SOS 85241 HAS SOPS 85241 HAS SOUS 50145 HAS SOUPS 50145 WITH SCORE 50230.241
AT ITER 3650 NEW BEST:: SOT 303096 SOS 85238 HAS SOPS 85238 HAS SOUS 50144 HAS SOUPS 50144 WITH SCORE 50229.238
AT ITER 3666 NEW BEST:: SOT 303062 SOS 85170 HAS SOPS 85170 HAS SOUS 50110 HAS SOUPS 50110 WITH SCORE 50195.17
AT ITER 3693 NEW BEST:: SOT 302856 SOS 84597 HAS SOPS 84597 HAS SOUS 49762 HAS SOUPS 49762 WITH SCORE 49846.597
AT ITER 3696 NEW BEST:: SOT 302780 SOS 84445 HAS SOPS 84445 HAS SOUS 49712 HAS SOUPS 49712 WITH SCORE 49796.445
AT ITER 3704 NEW BEST:: SOT 302851 SOS 84587 HAS SOPS 84587 HAS SOUS 49695 HAS SOUPS 49695 WITH SCORE 49779.587
AT ITER 3707 NEW BEST:: SOT 302716 SOS 84317 HAS SOPS 84317 HAS SOUS 49695 HAS SOUPS 49695 WITH SCORE 49779.317
AT ITER 3708 NEW BEST:: SOT 302657 SOS 84152 HAS SOPS 84152 HAS SOUS 49627 HAS SOUPS 49627 WITH SCORE 49711.152
AT ITER 3709 NEW BEST:: SOT 302657 SOS 84150 HAS SOPS 84150 HAS SOUS 49621 HAS SOUPS 49621 WITH SCORE 49705.15
AT ITER 3721 NEW BEST:: SOT 302150 SOS 83136 HAS SOPS 83136 HAS SOUS 49061 HAS SOUPS 49061 WITH SCORE 49144.136
AT ITER 3818 NEW BEST:: SOT 302150 SOS 83136 HAS SOPS 83136 HAS SOUS 49045 HAS SOUPS 49045 WITH SCORE 49128.136
AT ITER 3819 NEW BEST:: SOT 302152 SOS 83138 HAS SOPS 83138 HAS SOUS 49043 HAS SOUPS 49043 WITH SCORE 49126.138
AT ITER 3834 NEW BEST:: SOT 302155 SOS 83138 HAS SOPS 83138 HAS SOUS 49037 HAS SOUPS 49037 WITH SCORE 49120.138
AT ITER 3836 NEW BEST:: SOT 302071 SOS 83006 HAS SOPS 83006 HAS SOUS 49017 HAS SOUPS 49017 WITH SCORE 49100.006
AT ITER 3838 NEW BEST:: SOT 302035 SOS 82934 HAS SOPS 82934 HAS SOUS 48981 HAS SOUPS 48981 WITH SCORE 49063.934
AT ITER 3856 NEW BEST:: SOT 301980 SOS 82824 HAS SOPS 82824 HAS SOUS 48926 HAS SOUPS 48926 WITH SCORE 49008.824
AT ITER 3875 NEW BEST:: SOT 301965 SOS 82779 HAS SOPS 82779 HAS SOUS 48896 HAS SOUPS 48896 WITH SCORE 48978.779
AT ITER 3876 NEW BEST:: SOT 301927 SOS 82719 HAS SOPS 82719 HAS SOUS 48891 HAS SOUPS 48891 WITH SCORE 48973.719
AT ITER 3897 NEW BEST:: SOT 301813 SOS 82434 HAS SOPS 82434 HAS SOUS 48720 HAS SOUPS 48720 WITH SCORE 48802.434
AT ITER 3902 NEW BEST:: SOT 301814 SOS 82440 HAS SOPS 82440 HAS SOUS 48711 HAS SOUPS 48711 WITH SCORE 48793.44
AT ITER 3929 NEW BEST:: SOT 301803 SOS 82418 HAS SOPS 82418 HAS SOUS 48689 HAS SOUPS 48689 WITH SCORE 48771.418
AT ITER 3940 NEW BEST:: SOT 301678 SOS 82168 HAS SOPS 82168 HAS SOUS 48666 HAS SOUPS 48666 WITH SCORE 48748.168
AT ITER 3945 NEW BEST:: SOT 301665 SOS 82139 HAS SOPS 82139 HAS SOUS 48663 HAS SOUPS 48663 WITH SCORE 48745.139
AT ITER 3946 NEW BEST:: SOT 301522 SOS 81853 HAS SOPS 81853 HAS SOUS 48486 HAS SOUPS 48486 WITH SCORE 48567.853
AT ITER 3960 NEW BEST:: SOT 301436 SOS 81681 HAS SOPS 81681 HAS SOUS 48391 HAS SOUPS 48391 WITH SCORE 48472.681
AT ITER 3980 NEW BEST:: SOT 301355 SOS 81456 HAS SOPS 81456 HAS SOUS 48302 HAS SOUPS 48302 WITH SCORE 48383.456
AT ITER 3981 NEW BEST:: SOT 301359 SOS 81464 HAS SOPS 81464 HAS SOUS 48280 HAS SOUPS 48280 WITH SCORE 48361.464
AT ITER 3990 NEW BEST:: SOT 301326 SOS 81380 HAS SOPS 81380 HAS SOUS 48244 HAS SOUPS 48244 WITH SCORE 48325.38
AT ITER 3997 NEW BEST:: SOT 301326 SOS 81374 HAS SOPS 81374 HAS SOUS 48240 HAS SOUPS 48240 WITH SCORE 48321.374
AT ITER 4000 NEW BEST:: SOT 301008 SOS 80938 HAS SOPS 80938 HAS SOUS 48215 HAS SOUPS 48215 WITH SCORE 48295.938
AT ITER 4007 NEW BEST:: SOT 300493 SOS 80211 HAS SOPS 80211 HAS SOUS 48201 HAS SOUPS 48201 WITH SCORE 48281.211
AT ITER 4033 NEW BEST:: SOT 300491 SOS 80207 HAS SOPS 80207 HAS SOUS 48200 HAS SOUPS 48200 WITH SCORE 48280.207
AT ITER 4043 NEW BEST:: SOT 300483 SOS 80190 HAS SOPS 80190 HAS SOUS 48199 HAS SOUPS 48199 WITH SCORE 48279.19
AT ITER 4047 NEW BEST:: SOT 300378 SOS 79599 HAS SOPS 79599 HAS SOUS 48018 HAS SOUPS 48018 WITH SCORE 48097.599
AT ITER 4048 NEW BEST:: SOT 300312 SOS 79532 HAS SOPS 79532 HAS SOUS 48017 HAS SOUPS 48017 WITH SCORE 48096.532
AT ITER 4054 NEW BEST:: SOT 300300 SOS 79498 HAS SOPS 79498 HAS SOUS 47980 HAS SOUPS 47980 WITH SCORE 48059.498
AT ITER 4061 NEW BEST:: SOT 300156 SOS 79210 HAS SOPS 79210 HAS SOUS 47884 HAS SOUPS 47884 WITH SCORE 47963.21
AT ITER 4073 NEW BEST:: SOT 300004 SOS 78906 HAS SOPS 78906 HAS SOUS 47884 HAS SOUPS 47884 WITH SCORE 47962.906
AT ITER 4097 NEW BEST:: SOT 299886 SOS 78442 HAS SOPS 78442 HAS SOUS 47864 HAS SOUPS 47864 WITH SCORE 47942.442
AT ITER 4100 NEW BEST:: SOT 299867 SOS 78404 HAS SOPS 78404 HAS SOUS 47842 HAS SOUPS 47842 WITH SCORE 47920.404
AT ITER 4105 NEW BEST:: SOT 299867 SOS 78401 HAS SOPS 78401 HAS SOUS 47833 HAS SOUPS 47833 WITH SCORE 47911.401
AT ITER 4109 NEW BEST:: SOT 299857 SOS 78376 HAS SOPS 78376 HAS SOUS 47828 HAS SOUPS 47828 WITH SCORE 47906.376
AT ITER 4115 NEW BEST:: SOT 299841 SOS 78344 HAS SOPS 78344 HAS SOUS 47828 HAS SOUPS 47828 WITH SCORE 47906.344
AT ITER 4123 NEW BEST:: SOT 300085 SOS 78832 HAS SOPS 78832 HAS SOUS 47814 HAS SOUPS 47814 WITH SCORE 47892.832
AT ITER 4142 NEW BEST:: SOT 299918 SOS 78520 HAS SOPS 78520 HAS SOUS 47771 HAS SOUPS 47771 WITH SCORE 47849.52
AT ITER 4146 NEW BEST:: SOT 299864 SOS 78412 HAS SOPS 78412 HAS SOUS 47700 HAS SOUPS 47700 WITH SCORE 47778.412
AT ITER 4150 NEW BEST:: SOT 299674 SOS 77925 HAS SOPS 77925 HAS SOUS 47429 HAS SOUPS 47429 WITH SCORE 47506.925
AT ITER 4159 NEW BEST:: SOT 299718 SOS 77997 HAS SOPS 77997 HAS SOUS 47393 HAS SOUPS 47393 WITH SCORE 47470.997
AT ITER 4166 NEW BEST:: SOT 299674 SOS 77906 HAS SOPS 77906 HAS SOUS 47357 HAS SOUPS 47357 WITH SCORE 47434.906
AT ITER 4176 NEW BEST:: SOT 299654 SOS 77856 HAS SOPS 77856 HAS SOUS 47347 HAS SOUPS 47347 WITH SCORE 47424.856
AT ITER 4189 NEW BEST:: SOT 299945 SOS 78227 HAS SOPS 78227 HAS SOUS 47335 HAS SOUPS 47335 WITH SCORE 47413.227
AT ITER 4213 NEW BEST:: SOT 299547 SOS 77464 HAS SOPS 77464 HAS SOUS 46994 HAS SOUPS 46994 WITH SCORE 47071.464
AT ITER 4217 NEW BEST:: SOT 299547 SOS 77404 HAS SOPS 77404 HAS SOUS 46903 HAS SOUPS 46903 WITH SCORE 46980.404
AT ITER 4224 NEW BEST:: SOT 299423 SOS 77156 HAS SOPS 77156 HAS SOUS 46903 HAS SOUPS 46903 WITH SCORE 46980.156
AT ITER 4263 NEW BEST:: SOT 299122 SOS 76495 HAS SOPS 76495 HAS SOUS 46804 HAS SOUPS 46804 WITH SCORE 46880.495
AT ITER 4265 NEW BEST:: SOT 299139 SOS 76563 HAS SOPS 76563 HAS SOUS 46798 HAS SOUPS 46798 WITH SCORE 46874.563
AT ITER 4266 NEW BEST:: SOT 299138 SOS 76561 HAS SOPS 76561 HAS SOUS 46797 HAS SOUPS 46797 WITH SCORE 46873.561
AT ITER 4271 NEW BEST:: SOT 299134 SOS 76549 HAS SOPS 76549 HAS SOUS 46797 HAS SOUPS 46797 WITH SCORE 46873.549
AT ITER 4274 NEW BEST:: SOT 299076 SOS 76433 HAS SOPS 76433 HAS SOUS 46685 HAS SOUPS 46685 WITH SCORE 46761.433
AT ITER 4312 NEW BEST:: SOT 299045 SOS 76402 HAS SOPS 76402 HAS SOUS 46654 HAS SOUPS 46654 WITH SCORE 46730.402
AT ITER 4323 NEW BEST:: SOT 299038 SOS 76388 HAS SOPS 76388 HAS SOUS 46647 HAS SOUPS 46647 WITH SCORE 46723.388
AT ITER 4358 NEW BEST:: SOT 298976 SOS 76338 HAS SOPS 76338 HAS SOUS 46576 HAS SOUPS 46576 WITH SCORE 46652.338
AT ITER 4376 NEW BEST:: SOT 298854 SOS 76033 HAS SOPS 76033 HAS SOUS 46393 HAS SOUPS 46393 WITH SCORE 46469.033
AT ITER 4377 NEW BEST:: SOT 298802 SOS 75897 HAS SOPS 75897 HAS SOUS 46297 HAS SOUPS 46297 WITH SCORE 46372.897
AT ITER 4402 NEW BEST:: SOT 298787 SOS 75868 HAS SOPS 75868 HAS SOUS 46268 HAS SOUPS 46268 WITH SCORE 46343.868
AT ITER 4420 NEW BEST:: SOT 298780 SOS 75854 HAS SOPS 75854 HAS SOUS 46268 HAS SOUPS 46268 WITH SCORE 46343.854
AT ITER 4425 NEW BEST:: SOT 298820 SOS 75911 HAS SOPS 75911 HAS SOUS 46251 HAS SOUPS 46251 WITH SCORE 46326.911
AT ITER 4428 NEW BEST:: SOT 298814 SOS 75905 HAS SOPS 75905 HAS SOUS 46251 HAS SOUPS 46251 WITH SCORE 46326.905
AT ITER 4451 NEW BEST:: SOT 298759 SOS 75800 HAS SOPS 75800 HAS SOUS 46216 HAS SOUPS 46216 WITH SCORE 46291.8
AT ITER 4472 NEW BEST:: SOT 298681 SOS 75605 HAS SOPS 75605 HAS SOUS 46178 HAS SOUPS 46178 WITH SCORE 46253.605
AT ITER 4480 NEW BEST:: SOT 298636 SOS 75515 HAS SOPS 75515 HAS SOUS 46178 HAS SOUPS 46178 WITH SCORE 46253.515
AT ITER 4513 NEW BEST:: SOT 298256 SOS 74803 HAS SOPS 74803 HAS SOUS 46087 HAS SOUPS 46087 WITH SCORE 46161.803
AT ITER 4518 NEW BEST:: SOT 298257 SOS 74801 HAS SOPS 74801 HAS SOUS 46080 HAS SOUPS 46080 WITH SCORE 46154.801
AT ITER 4530 NEW BEST:: SOT 298184 SOS 74655 HAS SOPS 74655 HAS SOUS 45961 HAS SOUPS 45961 WITH SCORE 46035.655
AT ITER 4543 NEW BEST:: SOT 298178 SOS 74643 HAS SOPS 74643 HAS SOUS 45961 HAS SOUPS 45961 WITH SCORE 46035.643
AT ITER 4571 NEW BEST:: SOT 298093 SOS 74354 HAS SOPS 74354 HAS SOUS 45924 HAS SOUPS 45924 WITH SCORE 45998.354
AT ITER 4578 NEW BEST:: SOT 297935 SOS 74038 HAS SOPS 74038 HAS SOUS 45747 HAS SOUPS 45747 WITH SCORE 45821.038
AT ITER 4582 NEW BEST:: SOT 297899 SOS 73984 HAS SOPS 73984 HAS SOUS 45675 HAS SOUPS 45675 WITH SCORE 45748.984
AT ITER 4583 NEW BEST:: SOT 297866 SOS 73857 HAS SOPS 73857 HAS SOUS 45628 HAS SOUPS 45628 WITH SCORE 45701.857
AT ITER 4585 NEW BEST:: SOT 297857 SOS 73767 HAS SOPS 73767 HAS SOUS 45526 HAS SOUPS 45526 WITH SCORE 45599.767
AT ITER 4601 NEW BEST:: SOT 297827 SOS 73737 HAS SOPS 73737 HAS SOUS 45524 HAS SOUPS 45524 WITH SCORE 45597.737
AT ITER 4633 NEW BEST:: SOT 297821 SOS 73722 HAS SOPS 73722 HAS SOUS 45515 HAS SOUPS 45515 WITH SCORE 45588.722
AT ITER 4635 NEW BEST:: SOT 297777 SOS 73617 HAS SOPS 73617 HAS SOUS 45474 HAS SOUPS 45474 WITH SCORE 45547.617
AT ITER 4636 NEW BEST:: SOT 297721 SOS 73505 HAS SOPS 73505 HAS SOUS 45464 HAS SOUPS 45464 WITH SCORE 45537.505
AT ITER 4656 NEW BEST:: SOT 297685 SOS 73469 HAS SOPS 73469 HAS SOUS 45428 HAS SOUPS 45428 WITH SCORE 45501.469
AT ITER 4657 NEW BEST:: SOT 297665 SOS 73359 HAS SOPS 73359 HAS SOUS 45359 HAS SOUPS 45359 WITH SCORE 45432.359
AT ITER 4659 NEW BEST:: SOT 297546 SOS 73086 HAS SOPS 73086 HAS SOUS 45130 HAS SOUPS 45130 WITH SCORE 45203.086
AT ITER 4663 NEW BEST:: SOT 297538 SOS 73070 HAS SOPS 73070 HAS SOUS 45130 HAS SOUPS 45130 WITH SCORE 45203.07
AT ITER 4679 NEW BEST:: SOT 297558 SOS 73115 HAS SOPS 73115 HAS SOUS 45109 HAS SOUPS 45109 WITH SCORE 45182.115
AT ITER 4745 NEW BEST:: SOT 297506 SOS 73052 HAS SOPS 73052 HAS SOUS 45051 HAS SOUPS 45051 WITH SCORE 45124.052
AT ITER 4759 NEW BEST:: SOT 297412 SOS 72826 HAS SOPS 72826 HAS SOUS 45049 HAS SOUPS 45049 WITH SCORE 45121.826
AT ITER 4774 NEW BEST:: SOT 297421 SOS 72844 HAS SOPS 72844 HAS SOUS 45040 HAS SOUPS 45040 WITH SCORE 45112.844
AT ITER 4799 NEW BEST:: SOT 297347 SOS 72696 HAS SOPS 72696 HAS SOUS 45040 HAS SOUPS 45040 WITH SCORE 45112.696
AT ITER 4816 NEW BEST:: SOT 297341 SOS 72684 HAS SOPS 72684 HAS SOUS 45032 HAS SOUPS 45032 WITH SCORE 45104.684
AT ITER 4820 NEW BEST:: SOT 297201 SOS 72402 HAS SOPS 72402 HAS SOUS 45028 HAS SOUPS 45028 WITH SCORE 45100.402
AT ITER 4830 NEW BEST:: SOT 297201 SOS 72387 HAS SOPS 72387 HAS SOUS 45013 HAS SOUPS 45013 WITH SCORE 45085.387
AT ITER 4855 NEW BEST:: SOT 297143 SOS 72271 HAS SOPS 72271 HAS SOUS 44943 HAS SOUPS 44943 WITH SCORE 45015.271
AT ITER 4864 NEW BEST:: SOT 297107 SOS 72163 HAS SOPS 72163 HAS SOUS 44841 HAS SOUPS 44841 WITH SCORE 44913.163
AT ITER 4909 NEW BEST:: SOT 297105 SOS 72159 HAS SOPS 72159 HAS SOUS 44833 HAS SOUPS 44833 WITH SCORE 44905.159
AT ITER 4918 NEW BEST:: SOT 297116 SOS 72160 HAS SOPS 72160 HAS SOUS 44818 HAS SOUPS 44818 WITH SCORE 44890.16
AT ITER 4927 NEW BEST:: SOT 296892 SOS 71644 HAS SOPS 71644 HAS SOUS 44750 HAS SOUPS 44750 WITH SCORE 44821.644
AT ITER 4958 NEW BEST:: SOT 296875 SOS 71614 HAS SOPS 71614 HAS SOUS 44746 HAS SOUPS 44746 WITH SCORE 44817.614
AT ITER 4968 NEW BEST:: SOT 296743 SOS 71323 HAS SOPS 71323 HAS SOUS 44746 HAS SOUPS 44746 WITH SCORE 44817.323
AT ITER 4969 NEW BEST:: SOT 296717 SOS 71191 HAS SOPS 71191 HAS SOUS 44476 HAS SOUPS 44476 WITH SCORE 44547.191
AT ITER 4987 NEW BEST:: SOT 296717 SOS 71183 HAS SOPS 71183 HAS SOUS 44426 HAS SOUPS 44426 WITH SCORE 44497.183
AT ITER 4995 NEW BEST:: SOT 296708 SOS 71156 HAS SOPS 71156 HAS SOUS 44426 HAS SOUPS 44426 WITH SCORE 44497.156
AT ITER 5017 NEW BEST:: SOT 296702 SOS 71144 HAS SOPS 71144 HAS SOUS 44420 HAS SOUPS 44420 WITH SCORE 44491.144
AT ITER 5025 NEW BEST:: SOT 296702 SOS 71144 HAS SOPS 71144 HAS SOUS 44396 HAS SOUPS 44396 WITH SCORE 44467.144
AT ITER 5032 NEW BEST:: SOT 296680 SOS 71093 HAS SOPS 71093 HAS SOUS 44378 HAS SOUPS 44378 WITH SCORE 44449.093
AT ITER 5033 NEW BEST:: SOT 296670 SOS 71068 HAS SOPS 71068 HAS SOUS 44373 HAS SOUPS 44373 WITH SCORE 44444.068
AT ITER 5039 NEW BEST:: SOT 296414 SOS 70493 HAS SOPS 70493 HAS SOUS 44228 HAS SOUPS 44228 WITH SCORE 44298.493
AT ITER 5047 NEW BEST:: SOT 296353 SOS 70371 HAS SOPS 70371 HAS SOUS 44179 HAS SOUPS 44179 WITH SCORE 44249.371
AT ITER 5053 NEW BEST:: SOT 296361 SOS 70344 HAS SOPS 70344 HAS SOUS 44178 HAS SOUPS 44178 WITH SCORE 44248.344
AT ITER 5059 NEW BEST:: SOT 296341 SOS 70339 HAS SOPS 70339 HAS SOUS 44167 HAS SOUPS 44167 WITH SCORE 44237.339
AT ITER 5070 NEW BEST:: SOT 296237 SOS 70116 HAS SOPS 70116 HAS SOUS 44152 HAS SOUPS 44152 WITH SCORE 44222.116
AT ITER 5077 NEW BEST:: SOT 296237 SOS 70116 HAS SOPS 70116 HAS SOUS 44124 HAS SOUPS 44124 WITH SCORE 44194.116
AT ITER 5087 NEW BEST:: SOT 296229 SOS 70100 HAS SOPS 70100 HAS SOUS 44096 HAS SOUPS 44096 WITH SCORE 44166.1
AT ITER 5091 NEW BEST:: SOT 296248 SOS 70116 HAS SOPS 70116 HAS SOUS 44056 HAS SOUPS 44056 WITH SCORE 44126.116
AT ITER 5098 NEW BEST:: SOT 296252 SOS 70128 HAS SOPS 70128 HAS SOUS 43994 HAS SOUPS 43994 WITH SCORE 44064.128
AT ITER 5103 NEW BEST:: SOT 296180 SOS 69983 HAS SOPS 69983 HAS SOUS 43993 HAS SOUPS 43993 WITH SCORE 44062.983
AT ITER 5104 NEW BEST:: SOT 296125 SOS 69820 HAS SOPS 69820 HAS SOUS 43973 HAS SOUPS 43973 WITH SCORE 44042.82
AT ITER 5105 NEW BEST:: SOT 296095 SOS 69745 HAS SOPS 69745 HAS SOUS 43954 HAS SOUPS 43954 WITH SCORE 44023.745
AT ITER 5130 NEW BEST:: SOT 296073 SOS 69723 HAS SOPS 69723 HAS SOUS 43930 HAS SOUPS 43930 WITH SCORE 43999.723
AT ITER 5158 NEW BEST:: SOT 296072 SOS 69721 HAS SOPS 69721 HAS SOUS 43929 HAS SOUPS 43929 WITH SCORE 43998.721
AT ITER 5159 NEW BEST:: SOT 296010 SOS 69597 HAS SOPS 69597 HAS SOUS 43892 HAS SOUPS 43892 WITH SCORE 43961.597
AT ITER 5171 NEW BEST:: SOT 296046 SOS 69400 HAS SOPS 69400 HAS SOUS 43674 HAS SOUPS 43674 WITH SCORE 43743.4
AT ITER 5181 NEW BEST:: SOT 296046 SOS 69400 HAS SOPS 69400 HAS SOUS 43670 HAS SOUPS 43670 WITH SCORE 43739.4
AT ITER 5214 NEW BEST:: SOT 295903 SOS 69016 HAS SOPS 69016 HAS SOUS 43463 HAS SOUPS 43463 WITH SCORE 43532.016
AT ITER 5217 NEW BEST:: SOT 295830 SOS 68943 HAS SOPS 68943 HAS SOUS 43394 HAS SOUPS 43394 WITH SCORE 43462.943
AT ITER 5225 NEW BEST:: SOT 295750 SOS 68623 HAS SOPS 68623 HAS SOUS 43133 HAS SOUPS 43133 WITH SCORE 43201.623
AT ITER 5228 NEW BEST:: SOT 295688 SOS 68530 HAS SOPS 68530 HAS SOUS 43077 HAS SOUPS 43077 WITH SCORE 43145.53
AT ITER 5250 NEW BEST:: SOT 295674 SOS 68502 HAS SOPS 68502 HAS SOUS 43077 HAS SOUPS 43077 WITH SCORE 43145.502
AT ITER 5258 NEW BEST:: SOT 295631 SOS 68389 HAS SOPS 68389 HAS SOUS 43012 HAS SOUPS 43012 WITH SCORE 43080.389
AT ITER 5274 NEW BEST:: SOT 295625 SOS 68377 HAS SOPS 68377 HAS SOUS 43012 HAS SOUPS 43012 WITH SCORE 43080.377
AT ITER 5296 NEW BEST:: SOT 295625 SOS 68366 HAS SOPS 68366 HAS SOUS 43001 HAS SOUPS 43001 WITH SCORE 43069.366
AT ITER 5311 NEW BEST:: SOT 295538 SOS 68192 HAS SOPS 68192 HAS SOUS 42922 HAS SOUPS 42922 WITH SCORE 42990.192
AT ITER 5330 NEW BEST:: SOT 295526 SOS 68156 HAS SOPS 68156 HAS SOUS 42919 HAS SOUPS 42919 WITH SCORE 42987.156
AT ITER 5348 NEW BEST:: SOT 295493 SOS 68123 HAS SOPS 68123 HAS SOUS 42872 HAS SOUPS 42872 WITH SCORE 42940.123
AT ITER 5363 NEW BEST:: SOT 295495 SOS 68127 HAS SOPS 68127 HAS SOUS 42868 HAS SOUPS 42868 WITH SCORE 42936.127
AT ITER 5378 NEW BEST:: SOT 295459 SOS 68073 HAS SOPS 68073 HAS SOUS 42796 HAS SOUPS 42796 WITH SCORE 42864.073
AT ITER 5388 NEW BEST:: SOT 295441 SOS 68049 HAS SOPS 68049 HAS SOUS 42786 HAS SOUPS 42786 WITH SCORE 42854.049
AT ITER 5401 NEW BEST:: SOT 295437 SOS 68039 HAS SOPS 68039 HAS SOUS 42775 HAS SOUPS 42775 WITH SCORE 42843.039
AT ITER 5406 NEW BEST:: SOT 295255 SOS 67584 HAS SOPS 67584 HAS SOUS 42502 HAS SOUPS 42502 WITH SCORE 42569.584
AT ITER 5418 NEW BEST:: SOT 295255 SOS 67582 HAS SOPS 67582 HAS SOUS 42502 HAS SOUPS 42502 WITH SCORE 42569.582
AT ITER 5432 NEW BEST:: SOT 295276 SOS 67629 HAS SOPS 67629 HAS SOUS 42498 HAS SOUPS 42498 WITH SCORE 42565.629
AT ITER 5460 NEW BEST:: SOT 295276 SOS 67630 HAS SOPS 67630 HAS SOUS 42497 HAS SOUPS 42497 WITH SCORE 42564.63
AT ITER 5468 NEW BEST:: SOT 295276 SOS 67637 HAS SOPS 67637 HAS SOUS 42493 HAS SOUPS 42493 WITH SCORE 42560.637
AT ITER 5487 NEW BEST:: SOT 295264 SOS 67625 HAS SOPS 67625 HAS SOUS 42481 HAS SOUPS 42481 WITH SCORE 42548.625
AT ITER 5508 NEW BEST:: SOT 295237 SOS 67606 HAS SOPS 67606 HAS SOUS 42462 HAS SOUPS 42462 WITH SCORE 42529.606
AT ITER 5519 NEW BEST:: SOT 295237 SOS 67606 HAS SOPS 67606 HAS SOUS 42406 HAS SOUPS 42406 WITH SCORE 42473.606
AT ITER 5537 NEW BEST:: SOT 295259 SOS 67622 HAS SOPS 67622 HAS SOUS 42378 HAS SOUPS 42378 WITH SCORE 42445.622
AT ITER 5539 NEW BEST:: SOT 295207 SOS 67492 HAS SOPS 67492 HAS SOUS 42352 HAS SOUPS 42352 WITH SCORE 42419.492
AT ITER 5540 NEW BEST:: SOT 295051 SOS 67156 HAS SOPS 67156 HAS SOUS 42291 HAS SOUPS 42291 WITH SCORE 42358.156
AT ITER 5542 NEW BEST:: SOT 295028 SOS 67110 HAS SOPS 67110 HAS SOUS 42268 HAS SOUPS 42268 WITH SCORE 42335.11
AT ITER 5558 NEW BEST:: SOT 295076 SOS 67321 HAS SOPS 67321 HAS SOUS 42267 HAS SOUPS 42267 WITH SCORE 42334.321
AT ITER 5560 NEW BEST:: SOT 295029 SOS 67131 HAS SOPS 67131 HAS SOUS 42208 HAS SOUPS 42208 WITH SCORE 42275.131
AT ITER 5582 NEW BEST:: SOT 294770 SOS 66613 HAS SOPS 66613 HAS SOUS 41856 HAS SOUPS 41856 WITH SCORE 41922.613
AT ITER 5595 NEW BEST:: SOT 294758 SOS 66589 HAS SOPS 66589 HAS SOUS 41844 HAS SOUPS 41844 WITH SCORE 41910.589
AT ITER 5617 NEW BEST:: SOT 294748 SOS 66559 HAS SOPS 66559 HAS SOUS 41844 HAS SOUPS 41844 WITH SCORE 41910.559
AT ITER 5624 NEW BEST:: SOT 294828 SOS 66758 HAS SOPS 66758 HAS SOUS 41817 HAS SOUPS 41817 WITH SCORE 41883.758
AT ITER 5636 NEW BEST:: SOT 294810 SOS 66722 HAS SOPS 66722 HAS SOUS 41800 HAS SOUPS 41800 WITH SCORE 41866.722
AT ITER 5652 NEW BEST:: SOT 294574 SOS 66192 HAS SOPS 66192 HAS SOUS 41758 HAS SOUPS 41758 WITH SCORE 41824.192
AT ITER 5668 NEW BEST:: SOT 294461 SOS 65979 HAS SOPS 65979 HAS SOUS 41698 HAS SOUPS 41698 WITH SCORE 41763.979
AT ITER 5698 NEW BEST:: SOT 294363 SOS 65692 HAS SOPS 65692 HAS SOUS 41486 HAS SOUPS 41486 WITH SCORE 41551.692
AT ITER 5714 NEW BEST:: SOT 294223 SOS 65552 HAS SOPS 65552 HAS SOUS 41358 HAS SOUPS 41358 WITH SCORE 41423.552
AT ITER 5718 NEW BEST:: SOT 294217 SOS 65526 HAS SOPS 65526 HAS SOUS 41306 HAS SOUPS 41306 WITH SCORE 41371.526
AT ITER 5743 NEW BEST:: SOT 294157 SOS 65387 HAS SOPS 65387 HAS SOUS 41287 HAS SOUPS 41287 WITH SCORE 41352.387
AT ITER 5756 NEW BEST:: SOT 294121 SOS 65312 HAS SOPS 65312 HAS SOUS 41281 HAS SOUPS 41281 WITH SCORE 41346.312
AT ITER 5760 NEW BEST:: SOT 294000 SOS 65070 HAS SOPS 65070 HAS SOUS 41206 HAS SOUPS 41206 WITH SCORE 41271.07
AT ITER 5768 NEW BEST:: SOT 293993 SOS 65058 HAS SOPS 65058 HAS SOUS 41202 HAS SOUPS 41202 WITH SCORE 41267.058
AT ITER 5771 NEW BEST:: SOT 293998 SOS 65068 HAS SOPS 65068 HAS SOUS 41192 HAS SOUPS 41192 WITH SCORE 41257.068
AT ITER 5782 NEW BEST:: SOT 293906 SOS 64884 HAS SOPS 64884 HAS SOUS 41179 HAS SOUPS 41179 WITH SCORE 41243.884
AT ITER 5792 NEW BEST:: SOT 293848 SOS 64758 HAS SOPS 64758 HAS SOUS 41179 HAS SOUPS 41179 WITH SCORE 41243.758
AT ITER 5804 NEW BEST:: SOT 293844 SOS 64745 HAS SOPS 64745 HAS SOUS 41174 HAS SOUPS 41174 WITH SCORE 41238.745
AT ITER 5820 NEW BEST:: SOT 293873 SOS 64820 HAS SOPS 64820 HAS SOUS 41111 HAS SOUPS 41111 WITH SCORE 41175.82
AT ITER 5839 NEW BEST:: SOT 293925 SOS 64877 HAS SOPS 64877 HAS SOUS 41064 HAS SOUPS 41064 WITH SCORE 41128.877
AT ITER 5854 NEW BEST:: SOT 293747 SOS 64699 HAS SOPS 64699 HAS SOUS 41016 HAS SOUPS 41016 WITH SCORE 41080.699
AT ITER 5891 NEW BEST:: SOT 293842 SOS 64942 HAS SOPS 64942 HAS SOUS 41008 HAS SOUPS 41008 WITH SCORE 41072.942
AT ITER 5908 NEW BEST:: SOT 293819 SOS 64880 HAS SOPS 64880 HAS SOUS 41001 HAS SOUPS 41001 WITH SCORE 41065.88
AT ITER 5926 NEW BEST:: SOT 293819 SOS 64877 HAS SOPS 64877 HAS SOUS 40996 HAS SOUPS 40996 WITH SCORE 41060.877
AT ITER 5927 NEW BEST:: SOT 293826 SOS 64885 HAS SOPS 64885 HAS SOUS 40990 HAS SOUPS 40990 WITH SCORE 41054.885
AT ITER 5977 NEW BEST:: SOT 293765 SOS 64713 HAS SOPS 64713 HAS SOUS 40979 HAS SOUPS 40979 WITH SCORE 41043.713
AT ITER 5985 NEW BEST:: SOT 293738 SOS 64686 HAS SOPS 64686 HAS SOUS 40952 HAS SOUPS 40952 WITH SCORE 41016.686
AT ITER 6005 NEW BEST:: SOT 293743 SOS 64652 HAS SOPS 64652 HAS SOUS 40932 HAS SOUPS 40932 WITH SCORE 40996.652
AT ITER 6007 NEW BEST:: SOT 293643 SOS 64452 HAS SOPS 64452 HAS SOUS 40932 HAS SOUPS 40932 WITH SCORE 40996.452
AT ITER 6009 NEW BEST:: SOT 293684 SOS 64534 HAS SOPS 64534 HAS SOUS 40931 HAS SOUPS 40931 WITH SCORE 40995.534
AT ITER 6031 NEW BEST:: SOT 293669 SOS 64498 HAS SOPS 64498 HAS SOUS 40906 HAS SOUPS 40906 WITH SCORE 40970.498
AT ITER 6076 NEW BEST:: SOT 293771 SOS 64480 HAS SOPS 64480 HAS SOUS 40838 HAS SOUPS 40838 WITH SCORE 40902.48
AT ITER 6094 NEW BEST:: SOT 293795 SOS 64528 HAS SOPS 64528 HAS SOUS 40814 HAS SOUPS 40814 WITH SCORE 40878.528
AT ITER 6098 NEW BEST:: SOT 293791 SOS 64518 HAS SOPS 64518 HAS SOUS 40812 HAS SOUPS 40812 WITH SCORE 40876.518
AT ITER 6105 NEW BEST:: SOT 293781 SOS 64493 HAS SOPS 64493 HAS SOUS 40807 HAS SOUPS 40807 WITH SCORE 40871.493
AT ITER 6126 NEW BEST:: SOT 293766 SOS 64495 HAS SOPS 64495 HAS SOUS 40788 HAS SOUPS 40788 WITH SCORE 40852.495
AT ITER 6176 NEW BEST:: SOT 293692 SOS 64347 HAS SOPS 64347 HAS SOUS 40788 HAS SOUPS 40788 WITH SCORE 40852.347
AT ITER 6185 NEW BEST:: SOT 293707 SOS 64425 HAS SOPS 64425 HAS SOUS 40762 HAS SOUPS 40762 WITH SCORE 40826.425
AT ITER 6191 NEW BEST:: SOT 293663 SOS 64337 HAS SOPS 64337 HAS SOUS 40689 HAS SOUPS 40689 WITH SCORE 40753.337
AT ITER 6214 NEW BEST:: SOT 293660 SOS 64331 HAS SOPS 64331 HAS SOUS 40689 HAS SOUPS 40689 WITH SCORE 40753.331
AT ITER 6223 NEW BEST:: SOT 293635 SOS 64281 HAS SOPS 64281 HAS SOUS 40689 HAS SOUPS 40689 WITH SCORE 40753.281
AT ITER 6225 NEW BEST:: SOT 293586 SOS 64166 HAS SOPS 64166 HAS SOUS 40644 HAS SOUPS 40644 WITH SCORE 40708.166
AT ITER 6261 NEW BEST:: SOT 293614 SOS 64228 HAS SOPS 64228 HAS SOUS 40600 HAS SOUPS 40600 WITH SCORE 40664.228
AT ITER 6277 NEW BEST:: SOT 293525 SOS 63993 HAS SOPS 63993 HAS SOUS 40560 HAS SOUPS 40560 WITH SCORE 40623.993
AT ITER 6296 NEW BEST:: SOT 293523 SOS 63987 HAS SOPS 63987 HAS SOUS 40556 HAS SOUPS 40556 WITH SCORE 40619.987
AT ITER 6350 NEW BEST:: SOT 293468 SOS 63959 HAS SOPS 63959 HAS SOUS 40503 HAS SOUPS 40503 WITH SCORE 40566.959
AT ITER 6358 NEW BEST:: SOT 293459 SOS 63941 HAS SOPS 63941 HAS SOUS 40494 HAS SOUPS 40494 WITH SCORE 40557.941
AT ITER 6363 NEW BEST:: SOT 293437 SOS 63875 HAS SOPS 63875 HAS SOUS 40448 HAS SOUPS 40448 WITH SCORE 40511.875
AT ITER 6381 NEW BEST:: SOT 293496 SOS 64011 HAS SOPS 64011 HAS SOUS 40389 HAS SOUPS 40389 WITH SCORE 40453.011
AT ITER 6428 NEW BEST:: SOT 293362 SOS 63879 HAS SOPS 63879 HAS SOUS 40283 HAS SOUPS 40283 WITH SCORE 40346.879
AT ITER 6437 NEW BEST:: SOT 293241 SOS 63634 HAS SOPS 63634 HAS SOUS 40234 HAS SOUPS 40234 WITH SCORE 40297.634
AT ITER 6457 NEW BEST:: SOT 293199 SOS 63593 HAS SOPS 63593 HAS SOUS 40182 HAS SOUPS 40182 WITH SCORE 40245.593
AT ITER 6481 NEW BEST:: SOT 293110 SOS 63415 HAS SOPS 63415 HAS SOUS 40085 HAS SOUPS 40085 WITH SCORE 40148.415
AT ITER 6486 NEW BEST:: SOT 293043 SOS 63331 HAS SOPS 63331 HAS SOUS 40085 HAS SOUPS 40085 WITH SCORE 40148.331
AT ITER 6501 NEW BEST:: SOT 293037 SOS 63262 HAS SOPS 63262 HAS SOUS 40071 HAS SOUPS 40071 WITH SCORE 40134.262
AT ITER 6519 NEW BEST:: SOT 293072 SOS 63316 HAS SOPS 63316 HAS SOUS 40054 HAS SOUPS 40054 WITH SCORE 40117.316
AT ITER 6520 NEW BEST:: SOT 293072 SOS 63316 HAS SOPS 63316 HAS SOUS 40024 HAS SOUPS 40024 WITH SCORE 40087.316
AT ITER 6524 NEW BEST:: SOT 293071 SOS 63314 HAS SOPS 63314 HAS SOUS 40023 HAS SOUPS 40023 WITH SCORE 40086.314
AT ITER 6547 NEW BEST:: SOT 293069 SOS 63309 HAS SOPS 63309 HAS SOUS 40020 HAS SOUPS 40020 WITH SCORE 40083.309
AT ITER 6562 NEW BEST:: SOT 293065 SOS 63299 HAS SOPS 63299 HAS SOUS 40014 HAS SOUPS 40014 WITH SCORE 40077.299
AT ITER 6576 NEW BEST:: SOT 292981 SOS 63154 HAS SOPS 63154 HAS SOUS 40012 HAS SOUPS 40012 WITH SCORE 40075.154
AT ITER 6580 NEW BEST:: SOT 292994 SOS 63154 HAS SOPS 63154 HAS SOUS 39986 HAS SOUPS 39986 WITH SCORE 40049.154
AT ITER 6608 NEW BEST:: SOT 292993 SOS 63152 HAS SOPS 63152 HAS SOUS 39968 HAS SOUPS 39968 WITH SCORE 40031.152
AT ITER 6631 NEW BEST:: SOT 292943 SOS 63080 HAS SOPS 63080 HAS SOUS 39913 HAS SOUPS 39913 WITH SCORE 39976.08
AT ITER 6632 NEW BEST:: SOT 292945 SOS 63080 HAS SOPS 63080 HAS SOUS 39909 HAS SOUPS 39909 WITH SCORE 39972.08
AT ITER 6649 NEW BEST:: SOT 292938 SOS 63066 HAS SOPS 63066 HAS SOUS 39899 HAS SOUPS 39899 WITH SCORE 39962.066
AT ITER 6663 NEW BEST:: SOT 292930 SOS 63046 HAS SOPS 63046 HAS SOUS 39887 HAS SOUPS 39887 WITH SCORE 39950.046
AT ITER 6670 NEW BEST:: SOT 292924 SOS 63040 HAS SOPS 63040 HAS SOUS 39887 HAS SOUPS 39887 WITH SCORE 39950.04
AT ITER 6756 NEW BEST:: SOT 292914 SOS 63040 HAS SOPS 63040 HAS SOUS 39876 HAS SOUPS 39876 WITH SCORE 39939.04
AT ITER 6765 NEW BEST:: SOT 292906 SOS 63032 HAS SOPS 63032 HAS SOUS 39798 HAS SOUPS 39798 WITH SCORE 39861.032
AT ITER 6770 NEW BEST:: SOT 292847 SOS 62887 HAS SOPS 62887 HAS SOUS 39738 HAS SOUPS 39738 WITH SCORE 39800.887
AT ITER 6833 NEW BEST:: SOT 292812 SOS 62852 HAS SOPS 62852 HAS SOUS 39736 HAS SOUPS 39736 WITH SCORE 39798.852
AT ITER 6856 NEW BEST:: SOT 292790 SOS 62823 HAS SOPS 62823 HAS SOUS 39690 HAS SOUPS 39690 WITH SCORE 39752.823
AT ITER 6864 NEW BEST:: SOT 292766 SOS 62779 HAS SOPS 62779 HAS SOUS 39669 HAS SOUPS 39669 WITH SCORE 39731.779
AT ITER 6868 NEW BEST:: SOT 292594 SOS 62377 HAS SOPS 62377 HAS SOUS 39577 HAS SOUPS 39577 WITH SCORE 39639.377
AT ITER 6869 NEW BEST:: SOT 292585 SOS 62359 HAS SOPS 62359 HAS SOUS 39568 HAS SOUPS 39568 WITH SCORE 39630.359
AT ITER 6888 NEW BEST:: SOT 292499 SOS 62162 HAS SOPS 62162 HAS SOUS 39567 HAS SOUPS 39567 WITH SCORE 39629.162
AT ITER 6920 NEW BEST:: SOT 292455 SOS 62074 HAS SOPS 62074 HAS SOUS 39522 HAS SOUPS 39522 WITH SCORE 39584.074
AT ITER 6939 NEW BEST:: SOT 292455 SOS 62056 HAS SOPS 62056 HAS SOUS 39522 HAS SOUPS 39522 WITH SCORE 39584.056
AT ITER 6952 NEW BEST:: SOT 292441 SOS 62058 HAS SOPS 62058 HAS SOUS 39464 HAS SOUPS 39464 WITH SCORE 39526.058
AT ITER 6977 NEW BEST:: SOT 292339 SOS 61801 HAS SOPS 61801 HAS SOUS 39390 HAS SOUPS 39390 WITH SCORE 39451.801
AT ITER 6986 NEW BEST:: SOT 292274 SOS 61659 HAS SOPS 61659 HAS SOUS 39290 HAS SOUPS 39290 WITH SCORE 39351.659
AT ITER 7001 NEW BEST:: SOT 292249 SOS 61629 HAS SOPS 61629 HAS SOUS 39290 HAS SOUPS 39290 WITH SCORE 39351.629
AT ITER 7015 NEW BEST:: SOT 292225 SOS 61581 HAS SOPS 61581 HAS SOUS 39290 HAS SOUPS 39290 WITH SCORE 39351.581
AT ITER 7034 NEW BEST:: SOT 292147 SOS 61396 HAS SOPS 61396 HAS SOUS 39201 HAS SOUPS 39201 WITH SCORE 39262.396
AT ITER 7042 NEW BEST:: SOT 292147 SOS 61396 HAS SOPS 61396 HAS SOUS 39185 HAS SOUPS 39185 WITH SCORE 39246.396
AT ITER 7062 NEW BEST:: SOT 292224 SOS 61624 HAS SOPS 61624 HAS SOUS 39174 HAS SOUPS 39174 WITH SCORE 39235.624
AT ITER 7092 NEW BEST:: SOT 292084 SOS 61294 HAS SOPS 61294 HAS SOUS 39041 HAS SOUPS 39041 WITH SCORE 39102.294
AT ITER 7124 NEW BEST:: SOT 292089 SOS 61304 HAS SOPS 61304 HAS SOUS 39018 HAS SOUPS 39018 WITH SCORE 39079.304
AT ITER 7127 NEW BEST:: SOT 292095 SOS 61323 HAS SOPS 61323 HAS SOUS 39017 HAS SOUPS 39017 WITH SCORE 39078.323
AT ITER 7144 NEW BEST:: SOT 292071 SOS 61255 HAS SOPS 61255 HAS SOUS 39013 HAS SOUPS 39013 WITH SCORE 39074.255
AT ITER 7149 NEW BEST:: SOT 291957 SOS 60970 HAS SOPS 60970 HAS SOUS 38942 HAS SOUPS 38942 WITH SCORE 39002.97
AT ITER 7196 NEW BEST:: SOT 291930 SOS 60925 HAS SOPS 60925 HAS SOUS 38908 HAS SOUPS 38908 WITH SCORE 38968.925
AT ITER 7216 NEW BEST:: SOT 291754 SOS 60522 HAS SOPS 60522 HAS SOUS 38869 HAS SOUPS 38869 WITH SCORE 38929.522
AT ITER 7250 NEW BEST:: SOT 291749 SOS 60512 HAS SOPS 60512 HAS SOUS 38869 HAS SOUPS 38869 WITH SCORE 38929.512
AT ITER 7253 NEW BEST:: SOT 291739 SOS 60478 HAS SOPS 60478 HAS SOUS 38817 HAS SOUPS 38817 WITH SCORE 38877.478
AT ITER 7269 NEW BEST:: SOT 291690 SOS 60370 HAS SOPS 60370 HAS SOUS 38790 HAS SOUPS 38790 WITH SCORE 38850.37
AT ITER 7274 NEW BEST:: SOT 291690 SOS 60370 HAS SOPS 60370 HAS SOUS 38772 HAS SOUPS 38772 WITH SCORE 38832.37
AT ITER 7277 NEW BEST:: SOT 291532 SOS 59995 HAS SOPS 59995 HAS SOUS 38674 HAS SOUPS 38674 WITH SCORE 38733.995
AT ITER 7303 NEW BEST:: SOT 291489 SOS 59879 HAS SOPS 59879 HAS SOUS 38628 HAS SOUPS 38628 WITH SCORE 38687.879
AT ITER 7327 NEW BEST:: SOT 291471 SOS 59861 HAS SOPS 59861 HAS SOUS 38574 HAS SOUPS 38574 WITH SCORE 38633.861
AT ITER 7383 NEW BEST:: SOT 291486 SOS 59843 HAS SOPS 59843 HAS SOUS 38574 HAS SOUPS 38574 WITH SCORE 38633.843
AT ITER 7391 NEW BEST:: SOT 291470 SOS 59811 HAS SOPS 59811 HAS SOUS 38566 HAS SOUPS 38566 WITH SCORE 38625.811
AT ITER 7398 NEW BEST:: SOT 291446 SOS 59763 HAS SOPS 59763 HAS SOUS 38534 HAS SOUPS 38534 WITH SCORE 38593.763
AT ITER 7467 NEW BEST:: SOT 291413 SOS 59685 HAS SOPS 59685 HAS SOUS 38511 HAS SOUPS 38511 WITH SCORE 38570.685
AT ITER 7474 NEW BEST:: SOT 291431 SOS 59702 HAS SOPS 59702 HAS SOUS 38491 HAS SOUPS 38491 WITH SCORE 38550.702
AT ITER 7500 NEW BEST:: SOT 291371 SOS 59582 HAS SOPS 59582 HAS SOUS 38431 HAS SOUPS 38431 WITH SCORE 38490.582
AT ITER 7528 NEW BEST:: SOT 291291 SOS 59386 HAS SOPS 59386 HAS SOUS 38370 HAS SOUPS 38370 WITH SCORE 38429.386
AT ITER 7545 NEW BEST:: SOT 291285 SOS 59371 HAS SOPS 59371 HAS SOUS 38361 HAS SOUPS 38361 WITH SCORE 38420.371
AT ITER 7552 NEW BEST:: SOT 291234 SOS 59285 HAS SOPS 59285 HAS SOUS 38280 HAS SOUPS 38280 WITH SCORE 38339.285
AT ITER 7556 NEW BEST:: SOT 291186 SOS 59189 HAS SOPS 59189 HAS SOUS 38232 HAS SOUPS 38232 WITH SCORE 38291.189
AT ITER 7582 NEW BEST:: SOT 291145 SOS 59107 HAS SOPS 59107 HAS SOUS 38232 HAS SOUPS 38232 WITH SCORE 38291.107
AT ITER 7591 NEW BEST:: SOT 291149 SOS 59139 HAS SOPS 59139 HAS SOUS 38228 HAS SOUPS 38228 WITH SCORE 38287.139
AT ITER 7620 NEW BEST:: SOT 291145 SOS 59131 HAS SOPS 59131 HAS SOUS 38228 HAS SOUPS 38228 WITH SCORE 38287.131
AT ITER 7649 NEW BEST:: SOT 291145 SOS 59148 HAS SOPS 59148 HAS SOUS 38227 HAS SOUPS 38227 WITH SCORE 38286.148
AT ITER 7657 NEW BEST:: SOT 291135 SOS 59137 HAS SOPS 59137 HAS SOUS 38212 HAS SOUPS 38212 WITH SCORE 38271.137
AT ITER 7663 NEW BEST:: SOT 291123 SOS 59113 HAS SOPS 59113 HAS SOUS 38200 HAS SOUPS 38200 WITH SCORE 38259.113
AT ITER 7731 NEW BEST:: SOT 291002 SOS 58789 HAS SOPS 58789 HAS SOUS 38003 HAS SOUPS 38003 WITH SCORE 38061.789
AT ITER 7780 NEW BEST:: SOT 290838 SOS 58433 HAS SOPS 58433 HAS SOUS 37985 HAS SOUPS 37985 WITH SCORE 38043.433
AT ITER 7786 NEW BEST:: SOT 290814 SOS 58358 HAS SOPS 58358 HAS SOUS 37976 HAS SOUPS 37976 WITH SCORE 38034.358
AT ITER 7799 NEW BEST:: SOT 290769 SOS 58268 HAS SOPS 58268 HAS SOUS 37914 HAS SOUPS 37914 WITH SCORE 37972.268
AT ITER 7807 NEW BEST:: SOT 290747 SOS 58223 HAS SOPS 58223 HAS SOUS 37898 HAS SOUPS 37898 WITH SCORE 37956.223
AT ITER 7827 NEW BEST:: SOT 290662 SOS 58053 HAS SOPS 58053 HAS SOUS 37890 HAS SOUPS 37890 WITH SCORE 37948.053
AT ITER 7830 NEW BEST:: SOT 290661 SOS 58051 HAS SOPS 58051 HAS SOUS 37889 HAS SOUPS 37889 WITH SCORE 37947.051
AT ITER 7849 NEW BEST:: SOT 290661 SOS 58052 HAS SOPS 58052 HAS SOUS 37883 HAS SOUPS 37883 WITH SCORE 37941.052
AT ITER 7852 NEW BEST:: SOT 290621 SOS 57994 HAS SOPS 57994 HAS SOUS 37882 HAS SOUPS 37882 WITH SCORE 37939.994
AT ITER 7862 NEW BEST:: SOT 290431 SOS 57501 HAS SOPS 57501 HAS SOUS 37861 HAS SOUPS 37861 WITH SCORE 37918.501
AT ITER 7867 NEW BEST:: SOT 290430 SOS 57499 HAS SOPS 57499 HAS SOUS 37859 HAS SOUPS 37859 WITH SCORE 37916.499
AT ITER 7913 NEW BEST:: SOT 290416 SOS 57427 HAS SOPS 57427 HAS SOUS 37788 HAS SOUPS 37788 WITH SCORE 37845.427
AT ITER 7950 NEW BEST:: SOT 290441 SOS 57467 HAS SOPS 57467 HAS SOUS 37773 HAS SOUPS 37773 WITH SCORE 37830.467
AT ITER 7978 NEW BEST:: SOT 290418 SOS 57405 HAS SOPS 57405 HAS SOUS 37765 HAS SOUPS 37765 WITH SCORE 37822.405
AT ITER 8042 NEW BEST:: SOT 290402 SOS 57373 HAS SOPS 57373 HAS SOUS 37757 HAS SOUPS 37757 WITH SCORE 37814.373
AT ITER 8084 NEW BEST:: SOT 289993 SOS 56382 HAS SOPS 56382 HAS SOUS 37621 HAS SOUPS 37621 WITH SCORE 37677.382
AT ITER 8090 NEW BEST:: SOT 289852 SOS 56056 HAS SOPS 56056 HAS SOUS 37567 HAS SOUPS 37567 WITH SCORE 37623.056
AT ITER 8144 NEW BEST:: SOT 289914 SOS 56246 HAS SOPS 56246 HAS SOUS 37534 HAS SOUPS 37534 WITH SCORE 37590.246
AT ITER 8210 NEW BEST:: SOT 289884 SOS 56176 HAS SOPS 56176 HAS SOUS 37526 HAS SOUPS 37526 WITH SCORE 37582.176
AT ITER 8262 NEW BEST:: SOT 289888 SOS 56180 HAS SOPS 56180 HAS SOUS 37522 HAS SOUPS 37522 WITH SCORE 37578.18
AT ITER 8327 NEW BEST:: SOT 289857 SOS 56110 HAS SOPS 56110 HAS SOUS 37441 HAS SOUPS 37441 WITH SCORE 37497.11
AT ITER 8356 NEW BEST:: SOT 289887 SOS 56170 HAS SOPS 56170 HAS SOUS 37398 HAS SOUPS 37398 WITH SCORE 37454.17
AT ITER 8377 NEW BEST:: SOT 289879 SOS 56154 HAS SOPS 56154 HAS SOUS 37398 HAS SOUPS 37398 WITH SCORE 37454.154
AT ITER 8380 NEW BEST:: SOT 289873 SOS 56142 HAS SOPS 56142 HAS SOUS 37392 HAS SOUPS 37392 WITH SCORE 37448.142
AT ITER 8401 NEW BEST:: SOT 289857 SOS 56102 HAS SOPS 56102 HAS SOUS 37384 HAS SOUPS 37384 WITH SCORE 37440.102
AT ITER 8432 NEW BEST:: SOT 289816 SOS 55955 HAS SOPS 55955 HAS SOUS 37270 HAS SOUPS 37270 WITH SCORE 37325.955
AT ITER 8438 NEW BEST:: SOT 289512 SOS 55419 HAS SOPS 55419 HAS SOUS 37242 HAS SOUPS 37242 WITH SCORE 37297.419
AT ITER 8477 NEW BEST:: SOT 289416 SOS 55227 HAS SOPS 55227 HAS SOUS 37113 HAS SOUPS 37113 WITH SCORE 37168.227
AT ITER 8479 NEW BEST:: SOT 289416 SOS 55216 HAS SOPS 55216 HAS SOUS 37000 HAS SOUPS 37000 WITH SCORE 37055.216
AT ITER 8480 NEW BEST:: SOT 289331 SOS 55059 HAS SOPS 55059 HAS SOUS 36978 HAS SOUPS 36978 WITH SCORE 37033.059
AT ITER 8486 NEW BEST:: SOT 289321 SOS 55034 HAS SOPS 55034 HAS SOUS 36963 HAS SOUPS 36963 WITH SCORE 37018.034
AT ITER 8499 NEW BEST:: SOT 289333 SOS 55058 HAS SOPS 55058 HAS SOUS 36951 HAS SOUPS 36951 WITH SCORE 37006.058
AT ITER 8566 NEW BEST:: SOT 289224 SOS 54752 HAS SOPS 54752 HAS SOUS 36930 HAS SOUPS 36930 WITH SCORE 36984.752
AT ITER 8570 NEW BEST:: SOT 289114 SOS 54477 HAS SOPS 54477 HAS SOUS 36867 HAS SOUPS 36867 WITH SCORE 36921.477
AT ITER 8571 NEW BEST:: SOT 289106 SOS 54461 HAS SOPS 54461 HAS SOUS 36859 HAS SOUPS 36859 WITH SCORE 36913.461
AT ITER 8641 NEW BEST:: SOT 289074 SOS 54397 HAS SOPS 54397 HAS SOUS 36816 HAS SOUPS 36816 WITH SCORE 36870.397
AT ITER 8692 NEW BEST:: SOT 288994 SOS 54226 HAS SOPS 54226 HAS SOUS 36727 HAS SOUPS 36727 WITH SCORE 36781.226
AT ITER 8693 NEW BEST:: SOT 288871 SOS 53979 HAS SOPS 53979 HAS SOUS 36535 HAS SOUPS 36535 WITH SCORE 36588.979
AT ITER 8719 NEW BEST:: SOT 288853 SOS 53920 HAS SOPS 53920 HAS SOUS 36526 HAS SOUPS 36526 WITH SCORE 36579.92
AT ITER 8749 NEW BEST:: SOT 288874 SOS 53962 HAS SOPS 53962 HAS SOUS 36473 HAS SOUPS 36473 WITH SCORE 36526.962
AT ITER 8762 NEW BEST:: SOT 288897 SOS 54028 HAS SOPS 54028 HAS SOUS 36461 HAS SOUPS 36461 WITH SCORE 36515.028
AT ITER 8791 NEW BEST:: SOT 288895 SOS 54023 HAS SOPS 54023 HAS SOUS 36460 HAS SOUPS 36460 WITH SCORE 36514.023
AT ITER 8809 NEW BEST:: SOT 288926 SOS 54102 HAS SOPS 54102 HAS SOUS 36459 HAS SOUPS 36459 WITH SCORE 36513.102
AT ITER 8834 NEW BEST:: SOT 288877 SOS 54023 HAS SOPS 54023 HAS SOUS 36433 HAS SOUPS 36433 WITH SCORE 36487.023
AT ITER 8858 NEW BEST:: SOT 288863 SOS 53994 HAS SOPS 53994 HAS SOUS 36424 HAS SOUPS 36424 WITH SCORE 36477.994
AT ITER 8871 NEW BEST:: SOT 288863 SOS 53994 HAS SOPS 53994 HAS SOUS 36360 HAS SOUPS 36360 WITH SCORE 36413.994
AT ITER 8891 NEW BEST:: SOT 288864 SOS 53996 HAS SOPS 53996 HAS SOUS 36344 HAS SOUPS 36344 WITH SCORE 36397.996
AT ITER 8926 NEW BEST:: SOT 288858 SOS 53956 HAS SOPS 53956 HAS SOUS 36302 HAS SOUPS 36302 WITH SCORE 36355.956
AT ITER 9023 NEW BEST:: SOT 288845 SOS 53922 HAS SOPS 53922 HAS SOUS 36281 HAS SOUPS 36281 WITH SCORE 36334.922
AT ITER 9065 NEW BEST:: SOT 288837 SOS 53902 HAS SOPS 53902 HAS SOUS 36269 HAS SOUPS 36269 WITH SCORE 36322.902
AT ITER 9076 NEW BEST:: SOT 288858 SOS 53944 HAS SOPS 53944 HAS SOUS 36248 HAS SOUPS 36248 WITH SCORE 36301.944
AT ITER 9151 NEW BEST:: SOT 288911 SOS 53952 HAS SOPS 53952 HAS SOUS 36211 HAS SOUPS 36211 WITH SCORE 36264.952
AT ITER 9170 NEW BEST:: SOT 288727 SOS 53492 HAS SOPS 53492 HAS SOUS 36047 HAS SOUPS 36047 WITH SCORE 36100.492
AT ITER 9172 NEW BEST:: SOT 288740 SOS 53518 HAS SOPS 53518 HAS SOUS 36030 HAS SOUPS 36030 WITH SCORE 36083.518
AT ITER 9182 NEW BEST:: SOT 288697 SOS 53475 HAS SOPS 53475 HAS SOUS 35985 HAS SOUPS 35985 WITH SCORE 36038.475
AT ITER 9195 NEW BEST:: SOT 288688 SOS 53457 HAS SOPS 53457 HAS SOUS 35958 HAS SOUPS 35958 WITH SCORE 36011.457
AT ITER 9223 NEW BEST:: SOT 288714 SOS 53509 HAS SOPS 53509 HAS SOUS 35955 HAS SOUPS 35955 WITH SCORE 36008.509
AT ITER 9224 NEW BEST:: SOT 288638 SOS 53309 HAS SOPS 53309 HAS SOUS 35955 HAS SOUPS 35955 WITH SCORE 36008.309
AT ITER 9230 NEW BEST:: SOT 288640 SOS 53313 HAS SOPS 53313 HAS SOUS 35939 HAS SOUPS 35939 WITH SCORE 35992.313
AT ITER 9303 NEW BEST:: SOT 288556 SOS 53145 HAS SOPS 53145 HAS SOUS 35939 HAS SOUPS 35939 WITH SCORE 35992.145
AT ITER 9329 NEW BEST:: SOT 288540 SOS 53098 HAS SOPS 53098 HAS SOUS 35938 HAS SOUPS 35938 WITH SCORE 35991.098
AT ITER 9361 NEW BEST:: SOT 288472 SOS 52949 HAS SOPS 52949 HAS SOUS 35937 HAS SOUPS 35937 WITH SCORE 35989.949
AT ITER 9362 NEW BEST:: SOT 288415 SOS 52792 HAS SOPS 52792 HAS SOUS 35886 HAS SOUPS 35886 WITH SCORE 35938.792
AT ITER 9367 NEW BEST:: SOT 288415 SOS 52812 HAS SOPS 52812 HAS SOUS 35864 HAS SOUPS 35864 WITH SCORE 35916.812
AT ITER 9406 NEW BEST:: SOT 288411 SOS 52804 HAS SOPS 52804 HAS SOUS 35860 HAS SOUPS 35860 WITH SCORE 35912.804
AT ITER 9415 NEW BEST:: SOT 288411 SOS 52792 HAS SOPS 52792 HAS SOUS 35806 HAS SOUPS 35806 WITH SCORE 35858.792
AT ITER 9420 NEW BEST:: SOT 288403 SOS 52772 HAS SOPS 52772 HAS SOUS 35802 HAS SOUPS 35802 WITH SCORE 35854.772
AT ITER 9425 NEW BEST:: SOT 288403 SOS 52772 HAS SOPS 52772 HAS SOUS 35798 HAS SOUPS 35798 WITH SCORE 35850.772
AT ITER 9429 NEW BEST:: SOT 288392 SOS 52750 HAS SOPS 52750 HAS SOUS 35798 HAS SOUPS 35798 WITH SCORE 35850.75
AT ITER 9439 NEW BEST:: SOT 288412 SOS 52797 HAS SOPS 52797 HAS SOUS 35776 HAS SOUPS 35776 WITH SCORE 35828.797
AT ITER 9443 NEW BEST:: SOT 288509 SOS 52930 HAS SOPS 52930 HAS SOUS 35745 HAS SOUPS 35745 WITH SCORE 35797.93
AT ITER 9470 NEW BEST:: SOT 288509 SOS 52922 HAS SOPS 52922 HAS SOUS 35721 HAS SOUPS 35721 WITH SCORE 35773.922
AT ITER 9536 NEW BEST:: SOT 288621 SOS 52978 HAS SOPS 52978 HAS SOUS 35691 HAS SOUPS 35691 WITH SCORE 35743.978
AT ITER 9549 NEW BEST:: SOT 288618 SOS 52970 HAS SOPS 52970 HAS SOUS 35687 HAS SOUPS 35687 WITH SCORE 35739.97
AT ITER 9561 NEW BEST:: SOT 288617 SOS 52968 HAS SOPS 52968 HAS SOUS 35669 HAS SOUPS 35669 WITH SCORE 35721.968
AT ITER 9565 NEW BEST:: SOT 288625 SOS 53003 HAS SOPS 53003 HAS SOUS 35658 HAS SOUPS 35658 WITH SCORE 35711.003
AT ITER 9588 NEW BEST:: SOT 288579 SOS 52957 HAS SOPS 52957 HAS SOUS 35612 HAS SOUPS 35612 WITH SCORE 35664.957
AT ITER 9592 NEW BEST:: SOT 288576 SOS 52951 HAS SOPS 52951 HAS SOUS 35610 HAS SOUPS 35610 WITH SCORE 35662.951
AT ITER 9617 NEW BEST:: SOT 288527 SOS 52853 HAS SOPS 52853 HAS SOUS 35575 HAS SOUPS 35575 WITH SCORE 35627.853
AT ITER 9634 NEW BEST:: SOT 288527 SOS 52853 HAS SOPS 52853 HAS SOUS 35553 HAS SOUPS 35553 WITH SCORE 35605.853
AT ITER 9661 NEW BEST:: SOT 288429 SOS 52606 HAS SOPS 52606 HAS SOUS 35518 HAS SOUPS 35518 WITH SCORE 35570.606
AT ITER 9667 NEW BEST:: SOT 288421 SOS 52598 HAS SOPS 52598 HAS SOUS 35494 HAS SOUPS 35494 WITH SCORE 35546.598
AT ITER 9696 NEW BEST:: SOT 288183 SOS 52122 HAS SOPS 52122 HAS SOUS 35182 HAS SOUPS 35182 WITH SCORE 35234.122
AT ITER 9735 NEW BEST:: SOT 288162 SOS 52059 HAS SOPS 52059 HAS SOUS 35119 HAS SOUPS 35119 WITH SCORE 35171.059
AT ITER 9802 NEW BEST:: SOT 288112 SOS 51930 HAS SOPS 51930 HAS SOUS 35032 HAS SOUPS 35032 WITH SCORE 35083.93
AT ITER 9807 NEW BEST:: SOT 288116 SOS 51938 HAS SOPS 51938 HAS SOUS 35028 HAS SOUPS 35028 WITH SCORE 35079.938
AT ITER 9816 NEW BEST:: SOT 288105 SOS 51927 HAS SOPS 51927 HAS SOUS 35027 HAS SOUPS 35027 WITH SCORE 35078.927
AT ITER 9830 NEW BEST:: SOT 288101 SOS 51931 HAS SOPS 51931 HAS SOUS 35026 HAS SOUPS 35026 WITH SCORE 35077.931
AT ITER 9835 NEW BEST:: SOT 288127 SOS 51988 HAS SOPS 51988 HAS SOUS 35005 HAS SOUPS 35005 WITH SCORE 35056.988
AT ITER 9842 NEW BEST:: SOT 288124 SOS 51982 HAS SOPS 51982 HAS SOUS 34996 HAS SOUPS 34996 WITH SCORE 35047.982
AT ITER 9848 NEW BEST:: SOT 288157 SOS 52048 HAS SOPS 52048 HAS SOUS 34963 HAS SOUPS 34963 WITH SCORE 35015.048
AT ITER 9852 NEW BEST:: SOT 288068 SOS 51851 HAS SOPS 51851 HAS SOUS 34907 HAS SOUPS 34907 WITH SCORE 34958.851
AT ITER 9863 NEW BEST:: SOT 288101 SOS 51930 HAS SOPS 51930 HAS SOUS 34898 HAS SOUPS 34898 WITH SCORE 34949.93
AT ITER 9866 NEW BEST:: SOT 288085 SOS 51950 HAS SOPS 51950 HAS SOUS 34890 HAS SOUPS 34890 WITH SCORE 34941.95
AT ITER 9874 NEW BEST:: SOT 288078 SOS 51931 HAS SOPS 51931 HAS SOUS 34888 HAS SOUPS 34888 WITH SCORE 34939.931
AT ITER 9881 NEW BEST:: SOT 288072 SOS 51919 HAS SOPS 51919 HAS SOUS 34880 HAS SOUPS 34880 WITH SCORE 34931.919
AT ITER 9885 NEW BEST:: SOT 288066 SOS 51907 HAS SOPS 51907 HAS SOUS 34877 HAS SOUPS 34877 WITH SCORE 34928.907
AT ITER 9931 NEW BEST:: SOT 288061 SOS 51897 HAS SOPS 51897 HAS SOUS 34876 HAS SOUPS 34876 WITH SCORE 34927.897
AT ITER 9990 NEW BEST:: SOT 288003 SOS 51829 HAS SOPS 51829 HAS SOUS 34876 HAS SOUPS 34876 WITH SCORE 34927.829
AT ITER 9992 NEW BEST:: SOT 287958 SOS 51775 HAS SOPS 51775 HAS SOUS 34867 HAS SOUPS 34867 WITH SCORE 34918.775
BK_STOP 1679328536556
--------------------
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: 484 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="ViralEpidemic-PT-S03D1C1A04"
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 ViralEpidemic-PT-S03D1C1A04, 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 r491-tall-167912711601272"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ViralEpidemic-PT-S03D1C1A04.tgz
mv ViralEpidemic-PT-S03D1C1A04 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 ;