About the Execution of Smart+red for DLCround-PT-09a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 10313.531 | 3600000.00 | 3662282.00 | 11495.30 | 2.4010E+0013 5.7658E+0015 1 184 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r107-tall-167814484600720.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 DLCround-PT-09a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484600720
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 960K
-rw-r--r-- 1 mcc users 6.1K Feb 25 19:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 25 19:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 25 19:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 19:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 15:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:53 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 20:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 110K Feb 25 20:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 20:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 25 20:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 566K Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678418035022
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=DLCround-PT-09a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 03:13:56] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 03:13:56] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 03:13:56] [INFO ] Load time of PNML (sax parser for PT used): 117 ms
[2023-03-10 03:13:56] [INFO ] Transformed 299 places.
[2023-03-10 03:13:56] [INFO ] Transformed 2243 transitions.
[2023-03-10 03:13:56] [INFO ] Found NUPN structural information;
[2023-03-10 03:13:56] [INFO ] Parsed PT model containing 299 places and 2243 transitions and 8689 arcs in 188 ms.
[2023-03-10 03:13:56] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 299 places, 2243 transitions and 8689 arcs took 23 ms.
Total runtime 237 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 09a
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: 299 places, 2243 transitions, 8689 arcs.
AT ITER 0 NEW BEST:: SOT 425059 SOS 356202 HAS SOPS 215063 HAS SOUS 44558 HAS SOUPS 30558 WITH SCORE 30914.202
AT ITER 1 NEW BEST:: SOT 425022 SOS 356175 HAS SOPS 214986 HAS SOUS 44491 HAS SOUPS 30451 WITH SCORE 30807.175
AT ITER 7 NEW BEST:: SOT 425503 SOS 355152 HAS SOPS 214677 HAS SOUS 45743 HAS SOUPS 30427 WITH SCORE 30782.152
AT ITER 26 NEW BEST:: SOT 425429 SOS 354042 HAS SOPS 214243 HAS SOUS 45677 HAS SOUPS 30413 WITH SCORE 30767.042
AT ITER 53 NEW BEST:: SOT 425410 SOS 353776 HAS SOPS 213977 HAS SOUS 45658 HAS SOUPS 30394 WITH SCORE 30747.776
AT ITER 63 NEW BEST:: SOT 425437 SOS 354181 HAS SOPS 214382 HAS SOUS 45655 HAS SOUPS 30391 WITH SCORE 30745.181
AT ITER 96 NEW BEST:: SOT 425338 SOS 356865 HAS SOPS 215842 HAS SOUS 45553 HAS SOUPS 30289 WITH SCORE 30645.865
AT ITER 103 NEW BEST:: SOT 426040 SOS 357567 HAS SOPS 216016 HAS SOUS 45292 HAS SOUPS 29923 WITH SCORE 30280.567
AT ITER 109 NEW BEST:: SOT 426507 SOS 355803 HAS SOPS 215670 HAS SOUS 46623 HAS SOUPS 29918 WITH SCORE 30273.803
AT ITER 120 NEW BEST:: SOT 426149 SOS 354847 HAS SOPS 215334 HAS SOUS 46697 HAS SOUPS 29918 WITH SCORE 30272.847
AT ITER 124 NEW BEST:: SOT 426100 SOS 354749 HAS SOPS 215334 HAS SOUS 46648 HAS SOUPS 29918 WITH SCORE 30272.749
AT ITER 133 NEW BEST:: SOT 426460 SOS 355198 HAS SOPS 215133 HAS SOUS 46184 HAS SOUPS 29251 WITH SCORE 29606.198
AT ITER 136 NEW BEST:: SOT 426448 SOS 354334 HAS SOPS 214269 HAS SOUS 46184 HAS SOUPS 29251 WITH SCORE 29605.334
AT ITER 143 NEW BEST:: SOT 426427 SOS 354061 HAS SOPS 214206 HAS SOUS 46100 HAS SOUPS 29188 WITH SCORE 29542.061
AT ITER 150 NEW BEST:: SOT 427229 SOS 354831 HAS SOPS 214904 HAS SOUS 46109 HAS SOUPS 29169 WITH SCORE 29523.831
AT ITER 151 NEW BEST:: SOT 427602 SOS 355338 HAS SOPS 214751 HAS SOUS 45433 HAS SOUPS 28345 WITH SCORE 28700.338
AT ITER 152 NEW BEST:: SOT 427646 SOS 355426 HAS SOPS 214839 HAS SOUS 45389 HAS SOUPS 28301 WITH SCORE 28656.426
AT ITER 153 NEW BEST:: SOT 427610 SOS 355390 HAS SOPS 214803 HAS SOUS 45353 HAS SOUPS 28265 WITH SCORE 28620.39
AT ITER 155 NEW BEST:: SOT 427610 SOS 355390 HAS SOPS 214709 HAS SOUS 45358 HAS SOUPS 28226 WITH SCORE 28581.39
AT ITER 176 NEW BEST:: SOT 427599 SOS 355379 HAS SOPS 214698 HAS SOUS 45347 HAS SOUPS 28215 WITH SCORE 28570.379
AT ITER 188 NEW BEST:: SOT 427680 SOS 354248 HAS SOPS 214451 HAS SOUS 45239 HAS SOUPS 28175 WITH SCORE 28529.248
AT ITER 193 NEW BEST:: SOT 427678 SOS 354245 HAS SOPS 214450 HAS SOUS 45237 HAS SOUPS 28174 WITH SCORE 28528.245
AT ITER 201 NEW BEST:: SOT 427691 SOS 354560 HAS SOPS 214430 HAS SOUS 45191 HAS SOUPS 28128 WITH SCORE 28482.56
AT ITER 210 NEW BEST:: SOT 427604 SOS 352774 HAS SOPS 213450 HAS SOUS 45119 HAS SOUPS 28118 WITH SCORE 28470.774
AT ITER 213 NEW BEST:: SOT 428030 SOS 353200 HAS SOPS 213876 HAS SOUS 45116 HAS SOUPS 28116 WITH SCORE 28469.2
AT ITER 227 NEW BEST:: SOT 428257 SOS 351091 HAS SOPS 213623 HAS SOUS 44969 HAS SOUPS 27643 WITH SCORE 27994.091
AT ITER 232 NEW BEST:: SOT 428159 SOS 351045 HAS SOPS 213577 HAS SOUS 44938 HAS SOUPS 27612 WITH SCORE 27963.045
AT ITER 235 NEW BEST:: SOT 428068 SOS 351885 HAS SOPS 213941 HAS SOUS 44872 HAS SOUPS 27546 WITH SCORE 27897.885
AT ITER 237 NEW BEST:: SOT 428467 SOS 352859 HAS SOPS 214201 HAS SOUS 44783 HAS SOUPS 27474 WITH SCORE 27826.859
AT ITER 238 NEW BEST:: SOT 428460 SOS 352852 HAS SOPS 214194 HAS SOUS 44776 HAS SOUPS 27467 WITH SCORE 27819.852
AT ITER 242 NEW BEST:: SOT 428435 SOS 352971 HAS SOPS 213953 HAS SOUS 44569 HAS SOUPS 27000 WITH SCORE 27352.971
AT ITER 243 NEW BEST:: SOT 428426 SOS 352323 HAS SOPS 213305 HAS SOUS 44569 HAS SOUPS 27000 WITH SCORE 27352.323
AT ITER 250 NEW BEST:: SOT 428426 SOS 352323 HAS SOPS 213236 HAS SOUS 44500 HAS SOUPS 26931 WITH SCORE 27283.323
AT ITER 252 NEW BEST:: SOT 428421 SOS 352318 HAS SOPS 213231 HAS SOUS 44495 HAS SOUPS 26926 WITH SCORE 27278.318
AT ITER 264 NEW BEST:: SOT 428381 SOS 352258 HAS SOPS 213211 HAS SOUS 44455 HAS SOUPS 26906 WITH SCORE 27258.258
AT ITER 270 NEW BEST:: SOT 428366 SOS 352243 HAS SOPS 213196 HAS SOUS 44440 HAS SOUPS 26891 WITH SCORE 27243.243
AT ITER 273 NEW BEST:: SOT 428358 SOS 352235 HAS SOPS 213188 HAS SOUS 44441 HAS SOUPS 26888 WITH SCORE 27240.235
AT ITER 280 NEW BEST:: SOT 428311 SOS 350893 HAS SOPS 212600 HAS SOUS 44354 HAS SOUPS 26859 WITH SCORE 27209.893
AT ITER 282 NEW BEST:: SOT 428272 SOS 350021 HAS SOPS 212222 HAS SOUS 44279 HAS SOUPS 26822 WITH SCORE 27172.021
AT ITER 284 NEW BEST:: SOT 428246 SOS 349709 HAS SOPS 212170 HAS SOUS 44248 HAS SOUPS 26817 WITH SCORE 27166.709
AT ITER 290 NEW BEST:: SOT 428228 SOS 349309 HAS SOPS 212030 HAS SOUS 44224 HAS SOUPS 26813 WITH SCORE 27162.309
AT ITER 291 NEW BEST:: SOT 428238 SOS 349329 HAS SOPS 212040 HAS SOUS 44183 HAS SOUPS 26788 WITH SCORE 27137.329
AT ITER 311 NEW BEST:: SOT 427754 SOS 348940 HAS SOPS 211639 HAS SOUS 44167 HAS SOUPS 26772 WITH SCORE 27120.94
AT ITER 334 NEW BEST:: SOT 427754 SOS 348940 HAS SOPS 211639 HAS SOUS 44159 HAS SOUPS 26764 WITH SCORE 27112.94
AT ITER 341 NEW BEST:: SOT 427747 SOS 348926 HAS SOPS 211639 HAS SOUS 44152 HAS SOUPS 26764 WITH SCORE 27112.926
AT ITER 342 NEW BEST:: SOT 427805 SOS 349492 HAS SOPS 212205 HAS SOUS 44088 HAS SOUPS 26700 WITH SCORE 27049.492
AT ITER 345 NEW BEST:: SOT 427805 SOS 349492 HAS SOPS 212127 HAS SOUS 44010 HAS SOUPS 26622 WITH SCORE 26971.492
AT ITER 351 NEW BEST:: SOT 427779 SOS 349170 HAS SOPS 212104 HAS SOUS 43975 HAS SOUPS 26610 WITH SCORE 26959.17
AT ITER 352 NEW BEST:: SOT 427704 SOS 348251 HAS SOPS 211666 HAS SOUS 43863 HAS SOUPS 26535 WITH SCORE 26883.251
AT ITER 360 NEW BEST:: SOT 427615 SOS 348073 HAS SOPS 211666 HAS SOUS 43774 HAS SOUPS 26535 WITH SCORE 26883.073
AT ITER 361 NEW BEST:: SOT 427615 SOS 348096 HAS SOPS 211643 HAS SOUS 43766 HAS SOUPS 26507 WITH SCORE 26855.096
AT ITER 370 NEW BEST:: SOT 427532 SOS 346430 HAS SOPS 210757 HAS SOUS 43596 HAS SOUPS 26397 WITH SCORE 26743.43
AT ITER 373 NEW BEST:: SOT 427515 SOS 346413 HAS SOPS 210757 HAS SOUS 43596 HAS SOUPS 26397 WITH SCORE 26743.413
AT ITER 396 NEW BEST:: SOT 426922 SOS 344287 HAS SOPS 210081 HAS SOUS 43033 HAS SOUPS 25880 WITH SCORE 26224.287
AT ITER 404 NEW BEST:: SOT 426874 SOS 340255 HAS SOPS 206049 HAS SOUS 43033 HAS SOUPS 25880 WITH SCORE 26220.255
AT ITER 410 NEW BEST:: SOT 426870 SOS 340325 HAS SOPS 206119 HAS SOUS 43025 HAS SOUPS 25872 WITH SCORE 26212.325
AT ITER 414 NEW BEST:: SOT 426750 SOS 340205 HAS SOPS 205858 HAS SOUS 42709 HAS SOUPS 25465 WITH SCORE 25805.205
AT ITER 424 NEW BEST:: SOT 426740 SOS 340195 HAS SOPS 205858 HAS SOUS 42701 HAS SOUPS 25457 WITH SCORE 25797.195
AT ITER 440 NEW BEST:: SOT 426602 SOS 339988 HAS SOPS 205789 HAS SOUS 42563 HAS SOUPS 25388 WITH SCORE 25727.988
AT ITER 442 NEW BEST:: SOT 426602 SOS 339898 HAS SOPS 205777 HAS SOUS 42545 HAS SOUPS 25376 WITH SCORE 25715.898
AT ITER 445 NEW BEST:: SOT 426489 SOS 340264 HAS SOPS 205815 HAS SOUS 41718 HAS SOUPS 24910 WITH SCORE 25250.264
AT ITER 453 NEW BEST:: SOT 426729 SOS 340840 HAS SOPS 205959 HAS SOUS 41702 HAS SOUPS 24870 WITH SCORE 25210.84
AT ITER 456 NEW BEST:: SOT 427185 SOS 341395 HAS SOPS 205920 HAS SOUS 40871 HAS SOUPS 24039 WITH SCORE 24380.395
AT ITER 462 NEW BEST:: SOT 427151 SOS 339314 HAS SOPS 204255 HAS SOUS 40783 HAS SOUPS 23983 WITH SCORE 24322.314
AT ITER 473 NEW BEST:: SOT 427105 SOS 339268 HAS SOPS 204255 HAS SOUS 40744 HAS SOUPS 23932 WITH SCORE 24271.268
AT ITER 479 NEW BEST:: SOT 427102 SOS 339262 HAS SOPS 204249 HAS SOUS 40741 HAS SOUPS 23929 WITH SCORE 24268.262
AT ITER 482 NEW BEST:: SOT 427142 SOS 338514 HAS SOPS 204203 HAS SOUS 40587 HAS SOUPS 23829 WITH SCORE 24167.514
AT ITER 490 NEW BEST:: SOT 427109 SOS 338481 HAS SOPS 204170 HAS SOUS 40599 HAS SOUPS 23821 WITH SCORE 24159.481
AT ITER 496 NEW BEST:: SOT 427214 SOS 337152 HAS SOPS 204210 HAS SOUS 40488 HAS SOUPS 23729 WITH SCORE 24066.152
AT ITER 501 NEW BEST:: SOT 427181 SOS 336626 HAS SOPS 203918 HAS SOUS 40446 HAS SOUPS 23705 WITH SCORE 24041.626
AT ITER 503 NEW BEST:: SOT 427165 SOS 334724 HAS SOPS 202302 HAS SOUS 40402 HAS SOUPS 23683 WITH SCORE 24017.724
AT ITER 507 NEW BEST:: SOT 427513 SOS 335039 HAS SOPS 202614 HAS SOUS 40438 HAS SOUPS 23676 WITH SCORE 24011.039
AT ITER 517 NEW BEST:: SOT 427588 SOS 333481 HAS SOPS 201849 HAS SOUS 40344 HAS SOUPS 23643 WITH SCORE 23976.481
AT ITER 529 NEW BEST:: SOT 427583 SOS 333491 HAS SOPS 201794 HAS SOUS 40344 HAS SOUPS 23638 WITH SCORE 23971.491
AT ITER 533 NEW BEST:: SOT 427229 SOS 333137 HAS SOPS 201440 HAS SOUS 40344 HAS SOUPS 23638 WITH SCORE 23971.137
AT ITER 542 NEW BEST:: SOT 427067 SOS 330599 HAS SOPS 200597 HAS SOUS 40207 HAS SOUPS 23628 WITH SCORE 23958.599
AT ITER 550 NEW BEST:: SOT 427105 SOS 330637 HAS SOPS 200597 HAS SOUS 40198 HAS SOUPS 23623 WITH SCORE 23953.637
AT ITER 558 NEW BEST:: SOT 427095 SOS 326515 HAS SOPS 197203 HAS SOUS 40124 HAS SOUPS 23605 WITH SCORE 23931.515
AT ITER 566 NEW BEST:: SOT 427081 SOS 326501 HAS SOPS 197189 HAS SOUS 40110 HAS SOUPS 23591 WITH SCORE 23917.501
AT ITER 568 NEW BEST:: SOT 427081 SOS 326490 HAS SOPS 197178 HAS SOUS 40110 HAS SOUPS 23591 WITH SCORE 23917.49
AT ITER 598 NEW BEST:: SOT 427039 SOS 326434 HAS SOPS 197164 HAS SOUS 40082 HAS SOUPS 23577 WITH SCORE 23903.434
AT ITER 604 NEW BEST:: SOT 426795 SOS 326190 HAS SOPS 196737 HAS SOUS 39170 HAS SOUPS 22702 WITH SCORE 23028.19
AT ITER 611 NEW BEST:: SOT 426780 SOS 326175 HAS SOPS 196722 HAS SOUS 39155 HAS SOUPS 22687 WITH SCORE 23013.175
AT ITER 619 NEW BEST:: SOT 426788 SOS 326187 HAS SOPS 196662 HAS SOUS 39099 HAS SOUPS 22627 WITH SCORE 22953.187
AT ITER 620 NEW BEST:: SOT 426716 SOS 327462 HAS SOPS 197181 HAS SOUS 39115 HAS SOUPS 22616 WITH SCORE 22943.462
AT ITER 628 NEW BEST:: SOT 426687 SOS 327433 HAS SOPS 197152 HAS SOUS 39086 HAS SOUPS 22587 WITH SCORE 22914.433
AT ITER 636 NEW BEST:: SOT 426519 SOS 327265 HAS SOPS 196984 HAS SOUS 39086 HAS SOUPS 22587 WITH SCORE 22914.265
AT ITER 637 NEW BEST:: SOT 426519 SOS 326873 HAS SOPS 196774 HAS SOUS 39030 HAS SOUPS 22545 WITH SCORE 22871.873
AT ITER 651 NEW BEST:: SOT 426469 SOS 326823 HAS SOPS 196724 HAS SOUS 39030 HAS SOUPS 22545 WITH SCORE 22871.823
AT ITER 653 NEW BEST:: SOT 425770 SOS 325611 HAS SOPS 195728 HAS SOUS 39052 HAS SOUPS 22529 WITH SCORE 22854.611
AT ITER 654 NEW BEST:: SOT 425766 SOS 325616 HAS SOPS 195715 HAS SOUS 39048 HAS SOUPS 22516 WITH SCORE 22841.616
AT ITER 661 NEW BEST:: SOT 425764 SOS 325612 HAS SOPS 195711 HAS SOUS 39045 HAS SOUPS 22513 WITH SCORE 22838.612
AT ITER 666 NEW BEST:: SOT 425756 SOS 325600 HAS SOPS 195707 HAS SOUS 39037 HAS SOUPS 22509 WITH SCORE 22834.6
AT ITER 673 NEW BEST:: SOT 425728 SOS 325649 HAS SOPS 195693 HAS SOUS 39030 HAS SOUPS 22502 WITH SCORE 22827.649
AT ITER 689 NEW BEST:: SOT 425758 SOS 325165 HAS SOPS 195209 HAS SOUS 38947 HAS SOUPS 22419 WITH SCORE 22744.165
AT ITER 690 NEW BEST:: SOT 425701 SOS 324872 HAS SOPS 195156 HAS SOUS 38889 HAS SOUPS 22385 WITH SCORE 22709.872
AT ITER 703 NEW BEST:: SOT 425714 SOS 327273 HAS SOPS 197232 HAS SOUS 38890 HAS SOUPS 22361 WITH SCORE 22688.273
AT ITER 717 NEW BEST:: SOT 424905 SOS 325289 HAS SOPS 196615 HAS SOUS 38776 HAS SOUPS 22295 WITH SCORE 22620.289
AT ITER 718 NEW BEST:: SOT 424852 SOS 324494 HAS SOPS 196509 HAS SOUS 38719 HAS SOUPS 22291 WITH SCORE 22615.494
AT ITER 731 NEW BEST:: SOT 424887 SOS 324536 HAS SOPS 196530 HAS SOUS 38684 HAS SOUPS 22263 WITH SCORE 22587.536
AT ITER 732 NEW BEST:: SOT 424887 SOS 324158 HAS SOPS 196334 HAS SOUS 38650 HAS SOUPS 22243 WITH SCORE 22567.158
AT ITER 766 NEW BEST:: SOT 424874 SOS 323963 HAS SOPS 196308 HAS SOUS 38630 HAS SOUPS 22236 WITH SCORE 22559.963
AT ITER 768 NEW BEST:: SOT 424156 SOS 323293 HAS SOPS 196016 HAS SOUS 38643 HAS SOUPS 22229 WITH SCORE 22552.293
AT ITER 789 NEW BEST:: SOT 425317 SOS 325486 HAS SOPS 196661 HAS SOUS 38321 HAS SOUPS 22036 WITH SCORE 22361.486
AT ITER 791 NEW BEST:: SOT 425235 SOS 325363 HAS SOPS 196620 HAS SOUS 38239 HAS SOUPS 21995 WITH SCORE 22320.363
AT ITER 800 NEW BEST:: SOT 425211 SOS 325339 HAS SOPS 196596 HAS SOUS 38206 HAS SOUPS 21966 WITH SCORE 22291.339
AT ITER 807 NEW BEST:: SOT 424663 SOS 324807 HAS SOPS 196364 HAS SOUS 38176 HAS SOUPS 21932 WITH SCORE 22256.807
AT ITER 813 NEW BEST:: SOT 424633 SOS 324675 HAS SOPS 196334 HAS SOUS 38044 HAS SOUPS 21902 WITH SCORE 22226.675
AT ITER 826 NEW BEST:: SOT 424675 SOS 324727 HAS SOPS 196386 HAS SOUS 38003 HAS SOUPS 21861 WITH SCORE 22185.727
AT ITER 840 NEW BEST:: SOT 424655 SOS 324721 HAS SOPS 196338 HAS SOUS 37857 HAS SOUPS 21723 WITH SCORE 22047.721
AT ITER 861 NEW BEST:: SOT 424641 SOS 324693 HAS SOPS 196338 HAS SOUS 37843 HAS SOUPS 21723 WITH SCORE 22047.693
AT ITER 866 NEW BEST:: SOT 424536 SOS 324098 HAS SOPS 195743 HAS SOUS 37808 HAS SOUPS 21688 WITH SCORE 22012.098
AT ITER 880 NEW BEST:: SOT 424524 SOS 324074 HAS SOPS 195743 HAS SOUS 37796 HAS SOUPS 21688 WITH SCORE 22012.074
AT ITER 891 NEW BEST:: SOT 424223 SOS 323691 HAS SOPS 195360 HAS SOUS 37775 HAS SOUPS 21667 WITH SCORE 21990.691
AT ITER 893 NEW BEST:: SOT 424169 SOS 323583 HAS SOPS 195360 HAS SOUS 37721 HAS SOUPS 21667 WITH SCORE 21990.583
AT ITER 896 NEW BEST:: SOT 424089 SOS 323503 HAS SOPS 195360 HAS SOUS 37721 HAS SOUPS 21667 WITH SCORE 21990.503
AT ITER 899 NEW BEST:: SOT 424087 SOS 323501 HAS SOPS 195358 HAS SOUS 37719 HAS SOUPS 21665 WITH SCORE 21988.501
AT ITER 913 NEW BEST:: SOT 424069 SOS 323474 HAS SOPS 195349 HAS SOUS 37701 HAS SOUPS 21656 WITH SCORE 21979.474
AT ITER 919 NEW BEST:: SOT 424059 SOS 323464 HAS SOPS 195339 HAS SOUS 37693 HAS SOUPS 21648 WITH SCORE 21971.464
AT ITER 952 NEW BEST:: SOT 423983 SOS 323388 HAS SOPS 195339 HAS SOUS 37663 HAS SOUPS 21618 WITH SCORE 21941.388
AT ITER 953 NEW BEST:: SOT 423930 SOS 322975 HAS SOPS 194921 HAS SOUS 37600 HAS SOUPS 21555 WITH SCORE 21877.975
AT ITER 958 NEW BEST:: SOT 423956 SOS 323012 HAS SOPS 194903 HAS SOUS 37494 HAS SOUPS 21449 WITH SCORE 21772.012
AT ITER 962 NEW BEST:: SOT 423976 SOS 323012 HAS SOPS 194903 HAS SOUS 37442 HAS SOUPS 21397 WITH SCORE 21720.012
AT ITER 979 NEW BEST:: SOT 423976 SOS 322988 HAS SOPS 194905 HAS SOUS 37440 HAS SOUPS 21397 WITH SCORE 21719.988
AT ITER 980 NEW BEST:: SOT 423931 SOS 322196 HAS SOPS 194464 HAS SOUS 37377 HAS SOUPS 21361 WITH SCORE 21683.196
AT ITER 1007 NEW BEST:: SOT 423926 SOS 322191 HAS SOPS 194464 HAS SOUS 37377 HAS SOUPS 21361 WITH SCORE 21683.191
AT ITER 1011 NEW BEST:: SOT 423905 SOS 313153 HAS SOPS 186778 HAS SOUS 37228 HAS SOUPS 21316 WITH SCORE 21629.153
AT ITER 1020 NEW BEST:: SOT 423949 SOS 312842 HAS SOPS 186621 HAS SOUS 37225 HAS SOUPS 21313 WITH SCORE 21625.842
AT ITER 1026 NEW BEST:: SOT 423863 SOS 312707 HAS SOPS 186584 HAS SOUS 37139 HAS SOUPS 21276 WITH SCORE 21588.707
AT ITER 1036 NEW BEST:: SOT 423901 SOS 312749 HAS SOPS 186626 HAS SOUS 37097 HAS SOUPS 21234 WITH SCORE 21546.749
AT ITER 1041 NEW BEST:: SOT 423829 SOS 312641 HAS SOPS 186590 HAS SOUS 37025 HAS SOUPS 21198 WITH SCORE 21510.641
AT ITER 1046 NEW BEST:: SOT 423418 SOS 310967 HAS SOPS 186296 HAS SOUS 36814 HAS SOUPS 21040 WITH SCORE 21350.967
AT ITER 1051 NEW BEST:: SOT 423357 SOS 310906 HAS SOPS 186296 HAS SOUS 36814 HAS SOUPS 21040 WITH SCORE 21350.906
AT ITER 1057 NEW BEST:: SOT 423215 SOS 310358 HAS SOPS 185748 HAS SOUS 36799 HAS SOUPS 21025 WITH SCORE 21335.358
AT ITER 1061 NEW BEST:: SOT 422346 SOS 307438 HAS SOPS 184220 HAS SOUS 36760 HAS SOUPS 20986 WITH SCORE 21293.438
AT ITER 1079 NEW BEST:: SOT 422238 SOS 307330 HAS SOPS 184112 HAS SOUS 36760 HAS SOUPS 20986 WITH SCORE 21293.33
AT ITER 1082 NEW BEST:: SOT 422250 SOS 307433 HAS SOPS 184133 HAS SOUS 36662 HAS SOUPS 20927 WITH SCORE 21234.433
AT ITER 1099 NEW BEST:: SOT 422250 SOS 307433 HAS SOPS 184133 HAS SOUS 36635 HAS SOUPS 20912 WITH SCORE 21219.433
AT ITER 1102 NEW BEST:: SOT 422249 SOS 307431 HAS SOPS 184133 HAS SOUS 36634 HAS SOUPS 20912 WITH SCORE 21219.431
AT ITER 1105 NEW BEST:: SOT 422212 SOS 307357 HAS SOPS 184133 HAS SOUS 36597 HAS SOUPS 20912 WITH SCORE 21219.357
AT ITER 1126 NEW BEST:: SOT 422163 SOS 307010 HAS SOPS 183786 HAS SOUS 36569 HAS SOUPS 20884 WITH SCORE 21191.01
AT ITER 1128 NEW BEST:: SOT 422308 SOS 307238 HAS SOPS 183765 HAS SOUS 36615 HAS SOUPS 20853 WITH SCORE 21160.238
AT ITER 1131 NEW BEST:: SOT 422308 SOS 307000 HAS SOPS 183569 HAS SOUS 36615 HAS SOUPS 20853 WITH SCORE 21160.0
AT ITER 1151 NEW BEST:: SOT 422287 SOS 306958 HAS SOPS 183569 HAS SOUS 36558 HAS SOUPS 20833 WITH SCORE 21139.958
AT ITER 1175 NEW BEST:: SOT 422256 SOS 306896 HAS SOPS 183569 HAS SOUS 36527 HAS SOUPS 20833 WITH SCORE 21139.896
AT ITER 1184 NEW BEST:: SOT 422868 SOS 308052 HAS SOPS 183977 HAS SOUS 36323 HAS SOUPS 20697 WITH SCORE 21005.052
AT ITER 1185 NEW BEST:: SOT 422200 SOS 307500 HAS SOPS 183309 HAS SOUS 36345 HAS SOUPS 20603 WITH SCORE 20910.5
AT ITER 1194 NEW BEST:: SOT 422219 SOS 306445 HAS SOPS 182449 HAS SOUS 36305 HAS SOUPS 20578 WITH SCORE 20884.445
AT ITER 1204 NEW BEST:: SOT 422183 SOS 306340 HAS SOPS 182413 HAS SOUS 36200 HAS SOUPS 20542 WITH SCORE 20848.34
AT ITER 1212 NEW BEST:: SOT 422208 SOS 301695 HAS SOPS 178483 HAS SOUS 36112 HAS SOUPS 20509 WITH SCORE 20810.695
AT ITER 1215 NEW BEST:: SOT 422170 SOS 301657 HAS SOPS 178445 HAS SOUS 36074 HAS SOUPS 20471 WITH SCORE 20772.657
AT ITER 1220 NEW BEST:: SOT 421438 SOS 298859 HAS SOPS 176726 HAS SOUS 36234 HAS SOUPS 20415 WITH SCORE 20713.859
AT ITER 1236 NEW BEST:: SOT 421464 SOS 298805 HAS SOPS 176651 HAS SOUS 36205 HAS SOUPS 20406 WITH SCORE 20704.805
AT ITER 1241 NEW BEST:: SOT 421444 SOS 298765 HAS SOPS 176631 HAS SOUS 36175 HAS SOUPS 20376 WITH SCORE 20674.765
AT ITER 1265 NEW BEST:: SOT 421512 SOS 300089 HAS SOPS 177955 HAS SOUS 36155 HAS SOUPS 20356 WITH SCORE 20656.089
AT ITER 1268 NEW BEST:: SOT 421512 SOS 300089 HAS SOPS 177951 HAS SOUS 36151 HAS SOUPS 20352 WITH SCORE 20652.089
AT ITER 1275 NEW BEST:: SOT 421285 SOS 299796 HAS SOPS 177768 HAS SOUS 36107 HAS SOUPS 20308 WITH SCORE 20607.796
AT ITER 1280 NEW BEST:: SOT 421437 SOS 299929 HAS SOPS 177825 HAS SOUS 36069 HAS SOUPS 20289 WITH SCORE 20588.929
AT ITER 1281 NEW BEST:: SOT 421413 SOS 299470 HAS SOPS 178445 HAS SOUS 35964 HAS SOUPS 20267 WITH SCORE 20566.47
AT ITER 1291 NEW BEST:: SOT 421429 SOS 299598 HAS SOPS 178457 HAS SOUS 35888 HAS SOUPS 20191 WITH SCORE 20490.598
AT ITER 1359 NEW BEST:: SOT 421426 SOS 299595 HAS SOPS 178454 HAS SOUS 35885 HAS SOUPS 20188 WITH SCORE 20487.595
AT ITER 1372 NEW BEST:: SOT 421400 SOS 299517 HAS SOPS 178662 HAS SOUS 35859 HAS SOUPS 20188 WITH SCORE 20487.517
AT ITER 1382 NEW BEST:: SOT 420958 SOS 298710 HAS SOPS 178042 HAS SOUS 35802 HAS SOUPS 20131 WITH SCORE 20429.71
AT ITER 1388 NEW BEST:: SOT 420545 SOS 298063 HAS SOPS 177436 HAS SOUS 35828 HAS SOUPS 20114 WITH SCORE 20412.063
AT ITER 1394 NEW BEST:: SOT 420547 SOS 298093 HAS SOPS 177440 HAS SOUS 35828 HAS SOUPS 20112 WITH SCORE 20410.093
AT ITER 1402 NEW BEST:: SOT 420578 SOS 298160 HAS SOPS 177435 HAS SOUS 35859 HAS SOUPS 20107 WITH SCORE 20405.16
AT ITER 1403 NEW BEST:: SOT 420780 SOS 298884 HAS SOPS 177915 HAS SOUS 35382 HAS SOUPS 20062 WITH SCORE 20360.884
AT ITER 1417 NEW BEST:: SOT 420766 SOS 298800 HAS SOPS 177901 HAS SOUS 35375 HAS SOUPS 20062 WITH SCORE 20360.8
AT ITER 1424 NEW BEST:: SOT 420824 SOS 298925 HAS SOPS 177892 HAS SOUS 35433 HAS SOUPS 20053 WITH SCORE 20351.925
AT ITER 1432 NEW BEST:: SOT 420846 SOS 298011 HAS SOPS 176978 HAS SOUS 35429 HAS SOUPS 20049 WITH SCORE 20347.011
AT ITER 1465 NEW BEST:: SOT 420862 SOS 298056 HAS SOPS 177023 HAS SOUS 35415 HAS SOUPS 20035 WITH SCORE 20333.056
AT ITER 1473 NEW BEST:: SOT 420741 SOS 297781 HAS SOPS 176792 HAS SOUS 35404 HAS SOUPS 20013 WITH SCORE 20310.781
AT ITER 1495 NEW BEST:: SOT 420731 SOS 297749 HAS SOPS 176760 HAS SOUS 35396 HAS SOUPS 20005 WITH SCORE 20302.749
AT ITER 1508 NEW BEST:: SOT 420699 SOS 297685 HAS SOPS 176728 HAS SOUS 35362 HAS SOUPS 20003 WITH SCORE 20300.685
AT ITER 1512 NEW BEST:: SOT 420742 SOS 297728 HAS SOPS 176728 HAS SOUS 35344 HAS SOUPS 19993 WITH SCORE 20290.728
AT ITER 1541 NEW BEST:: SOT 420614 SOS 297536 HAS SOPS 176728 HAS SOUS 35262 HAS SOUPS 19983 WITH SCORE 20280.536
AT ITER 1545 NEW BEST:: SOT 420554 SOS 294971 HAS SOPS 174553 HAS SOUS 35202 HAS SOUPS 19953 WITH SCORE 20247.971
AT ITER 1553 NEW BEST:: SOT 420584 SOS 295040 HAS SOPS 174571 HAS SOUS 35199 HAS SOUPS 19950 WITH SCORE 20245.04
AT ITER 1557 NEW BEST:: SOT 420708 SOS 295362 HAS SOPS 174650 HAS SOUS 35149 HAS SOUPS 19919 WITH SCORE 20214.362
AT ITER 1578 NEW BEST:: SOT 420691 SOS 295319 HAS SOPS 174490 HAS SOUS 35150 HAS SOUPS 19911 WITH SCORE 20206.319
AT ITER 1580 NEW BEST:: SOT 420709 SOS 295027 HAS SOPS 174276 HAS SOUS 35140 HAS SOUPS 19907 WITH SCORE 20202.027
AT ITER 1597 NEW BEST:: SOT 420725 SOS 294749 HAS SOPS 174564 HAS SOUS 35082 HAS SOUPS 19890 WITH SCORE 20184.749
AT ITER 1641 NEW BEST:: SOT 420346 SOS 294379 HAS SOPS 174332 HAS SOUS 35086 HAS SOUPS 19860 WITH SCORE 20154.379
AT ITER 1646 NEW BEST:: SOT 420302 SOS 294328 HAS SOPS 174325 HAS SOUS 35072 HAS SOUPS 19853 WITH SCORE 20147.328
AT ITER 1650 NEW BEST:: SOT 420436 SOS 294652 HAS SOPS 174411 HAS SOUS 35070 HAS SOUPS 19841 WITH SCORE 20135.652
AT ITER 1661 NEW BEST:: SOT 420688 SOS 294958 HAS SOPS 174582 HAS SOUS 35052 HAS SOUPS 19823 WITH SCORE 20117.958
AT ITER 1675 NEW BEST:: SOT 420661 SOS 294947 HAS SOPS 174761 HAS SOUS 35025 HAS SOUPS 19815 WITH SCORE 20109.947
AT ITER 1676 NEW BEST:: SOT 420624 SOS 294855 HAS SOPS 174706 HAS SOUS 34969 HAS SOUPS 19814 WITH SCORE 20108.855
AT ITER 1677 NEW BEST:: SOT 420652 SOS 294883 HAS SOPS 174734 HAS SOUS 34814 HAS SOUPS 19735 WITH SCORE 20029.883
AT ITER 1679 NEW BEST:: SOT 420647 SOS 294878 HAS SOPS 174734 HAS SOUS 34804 HAS SOUPS 19725 WITH SCORE 20019.878
AT ITER 1729 NEW BEST:: SOT 420670 SOS 294867 HAS SOPS 174767 HAS SOUS 34745 HAS SOUPS 19683 WITH SCORE 19977.867
AT ITER 1743 NEW BEST:: SOT 420735 SOS 294912 HAS SOPS 174809 HAS SOUS 34732 HAS SOUPS 19679 WITH SCORE 19973.912
AT ITER 1748 NEW BEST:: SOT 420735 SOS 294912 HAS SOPS 174802 HAS SOUS 34725 HAS SOUPS 19672 WITH SCORE 19966.912
AT ITER 1770 NEW BEST:: SOT 420564 SOS 294754 HAS SOPS 174643 HAS SOUS 34729 HAS SOUPS 19663 WITH SCORE 19957.754
AT ITER 1802 NEW BEST:: SOT 420563 SOS 294752 HAS SOPS 174643 HAS SOUS 34728 HAS SOUPS 19663 WITH SCORE 19957.752
AT ITER 1809 NEW BEST:: SOT 420552 SOS 294570 HAS SOPS 174660 HAS SOUS 34685 HAS SOUPS 19644 WITH SCORE 19938.57
AT ITER 1815 NEW BEST:: SOT 420552 SOS 294489 HAS SOPS 174579 HAS SOUS 34682 HAS SOUPS 19641 WITH SCORE 19935.489
AT ITER 1824 NEW BEST:: SOT 420692 SOS 294649 HAS SOPS 174639 HAS SOUS 34582 HAS SOUPS 19541 WITH SCORE 19835.649
AT ITER 1830 NEW BEST:: SOT 420546 SOS 294503 HAS SOPS 174631 HAS SOUS 34574 HAS SOUPS 19533 WITH SCORE 19827.503
AT ITER 1836 NEW BEST:: SOT 420620 SOS 294614 HAS SOPS 174630 HAS SOUS 34610 HAS SOUPS 19532 WITH SCORE 19826.614
AT ITER 1844 NEW BEST:: SOT 420800 SOS 294956 HAS SOPS 174738 HAS SOUS 34574 HAS SOUPS 19496 WITH SCORE 19790.956
AT ITER 1855 NEW BEST:: SOT 420735 SOS 294904 HAS SOPS 174660 HAS SOUS 34587 HAS SOUPS 19496 WITH SCORE 19790.904
AT ITER 1867 NEW BEST:: SOT 420721 SOS 292364 HAS SOPS 172601 HAS SOUS 34536 HAS SOUPS 19482 WITH SCORE 19774.364
AT ITER 1884 NEW BEST:: SOT 420713 SOS 292348 HAS SOPS 172601 HAS SOUS 34528 HAS SOUPS 19482 WITH SCORE 19774.348
AT ITER 1893 NEW BEST:: SOT 420884 SOS 292537 HAS SOPS 172682 HAS SOUS 34465 HAS SOUPS 19419 WITH SCORE 19711.537
AT ITER 1910 NEW BEST:: SOT 420962 SOS 292654 HAS SOPS 172669 HAS SOUS 34491 HAS SOUPS 19406 WITH SCORE 19698.654
AT ITER 1927 NEW BEST:: SOT 420728 SOS 292446 HAS SOPS 172669 HAS SOUS 34170 HAS SOUPS 19400 WITH SCORE 19692.446
AT ITER 1929 NEW BEST:: SOT 420719 SOS 292429 HAS SOPS 172655 HAS SOUS 34159 HAS SOUPS 19389 WITH SCORE 19681.429
AT ITER 1951 NEW BEST:: SOT 420859 SOS 292584 HAS SOPS 172735 HAS SOUS 34119 HAS SOUPS 19349 WITH SCORE 19641.584
AT ITER 1959 NEW BEST:: SOT 420451 SOS 292176 HAS SOPS 172327 HAS SOUS 34119 HAS SOUPS 19349 WITH SCORE 19641.176
AT ITER 1965 NEW BEST:: SOT 420132 SOS 291596 HAS SOPS 172153 HAS SOUS 34090 HAS SOUPS 19349 WITH SCORE 19640.596
AT ITER 1975 NEW BEST:: SOT 420077 SOS 291449 HAS SOPS 172098 HAS SOUS 34017 HAS SOUPS 19331 WITH SCORE 19622.449
AT ITER 1992 NEW BEST:: SOT 420061 SOS 291313 HAS SOPS 171962 HAS SOUS 34017 HAS SOUPS 19331 WITH SCORE 19622.313
AT ITER 2029 NEW BEST:: SOT 420060 SOS 291299 HAS SOPS 171935 HAS SOUS 34018 HAS SOUPS 19331 WITH SCORE 19622.299
AT ITER 2031 NEW BEST:: SOT 419980 SOS 291219 HAS SOPS 171935 HAS SOUS 34008 HAS SOUPS 19321 WITH SCORE 19612.219
AT ITER 2053 NEW BEST:: SOT 419973 SOS 291335 HAS SOPS 171141 HAS SOUS 34059 HAS SOUPS 19302 WITH SCORE 19593.335
AT ITER 2054 NEW BEST:: SOT 420252 SOS 292164 HAS SOPS 171671 HAS SOUS 33562 HAS SOUPS 19292 WITH SCORE 19584.164
AT ITER 2058 NEW BEST:: SOT 420252 SOS 292164 HAS SOPS 171671 HAS SOUS 33499 HAS SOUPS 19257 WITH SCORE 19549.164
AT ITER 2059 NEW BEST:: SOT 420796 SOS 293148 HAS SOPS 171981 HAS SOUS 33451 HAS SOUPS 19204 WITH SCORE 19497.148
AT ITER 2062 NEW BEST:: SOT 420778 SOS 293130 HAS SOPS 171981 HAS SOUS 33433 HAS SOUPS 19194 WITH SCORE 19487.13
AT ITER 2063 NEW BEST:: SOT 420410 SOS 293353 HAS SOPS 171549 HAS SOUS 33002 HAS SOUPS 18954 WITH SCORE 19247.353
AT ITER 2074 NEW BEST:: SOT 420398 SOS 293335 HAS SOPS 171531 HAS SOUS 32996 HAS SOUPS 18948 WITH SCORE 19241.335
AT ITER 2086 NEW BEST:: SOT 420278 SOS 293125 HAS SOPS 171331 HAS SOUS 32956 HAS SOUPS 18908 WITH SCORE 19201.125
AT ITER 2111 NEW BEST:: SOT 420272 SOS 293948 HAS SOPS 172011 HAS SOUS 32961 HAS SOUPS 18902 WITH SCORE 19195.948
AT ITER 2112 NEW BEST:: SOT 420170 SOS 293683 HAS SOPS 171957 HAS SOUS 32907 HAS SOUPS 18896 WITH SCORE 19189.683
AT ITER 2132 NEW BEST:: SOT 420138 SOS 293253 HAS SOPS 172027 HAS SOUS 32813 HAS SOUPS 18840 WITH SCORE 19133.253
AT ITER 2134 NEW BEST:: SOT 420110 SOS 293197 HAS SOPS 171999 HAS SOUS 32757 HAS SOUPS 18812 WITH SCORE 19105.197
AT ITER 2145 NEW BEST:: SOT 420022 SOS 293021 HAS SOPS 171955 HAS SOUS 32713 HAS SOUPS 18812 WITH SCORE 19105.021
AT ITER 2183 NEW BEST:: SOT 419980 SOS 292979 HAS SOPS 171913 HAS SOUS 32650 HAS SOUPS 18777 WITH SCORE 19069.979
AT ITER 2189 NEW BEST:: SOT 419954 SOS 292589 HAS SOPS 171692 HAS SOUS 32624 HAS SOUPS 18764 WITH SCORE 19056.589
AT ITER 2196 NEW BEST:: SOT 419871 SOS 293073 HAS SOPS 171720 HAS SOUS 32571 HAS SOUPS 18701 WITH SCORE 18994.073
AT ITER 2213 NEW BEST:: SOT 419837 SOS 293039 HAS SOPS 171720 HAS SOUS 32571 HAS SOUPS 18701 WITH SCORE 18994.039
AT ITER 2228 NEW BEST:: SOT 419813 SOS 292991 HAS SOPS 171708 HAS SOUS 32559 HAS SOUPS 18701 WITH SCORE 18993.991
AT ITER 2242 NEW BEST:: SOT 419821 SOS 292941 HAS SOPS 171709 HAS SOUS 32552 HAS SOUPS 18692 WITH SCORE 18984.941
AT ITER 2259 NEW BEST:: SOT 419822 SOS 292893 HAS SOPS 171561 HAS SOUS 32541 HAS SOUPS 18671 WITH SCORE 18963.893
AT ITER 2272 NEW BEST:: SOT 419771 SOS 292842 HAS SOPS 171561 HAS SOUS 32541 HAS SOUPS 18671 WITH SCORE 18963.842
AT ITER 2283 NEW BEST:: SOT 419910 SOS 292981 HAS SOPS 171557 HAS SOUS 32537 HAS SOUPS 18667 WITH SCORE 18959.981
AT ITER 2284 NEW BEST:: SOT 419890 SOS 292957 HAS SOPS 171541 HAS SOUS 32523 HAS SOUPS 18657 WITH SCORE 18949.957
AT ITER 2288 NEW BEST:: SOT 419890 SOS 292952 HAS SOPS 171536 HAS SOUS 32518 HAS SOUPS 18652 WITH SCORE 18944.952
AT ITER 2291 NEW BEST:: SOT 419866 SOS 292928 HAS SOPS 171536 HAS SOUS 32518 HAS SOUPS 18652 WITH SCORE 18944.928
AT ITER 2311 NEW BEST:: SOT 419778 SOS 292824 HAS SOPS 171480 HAS SOUS 32518 HAS SOUPS 18652 WITH SCORE 18944.824
AT ITER 2314 NEW BEST:: SOT 419778 SOS 292780 HAS SOPS 171476 HAS SOUS 32510 HAS SOUPS 18648 WITH SCORE 18940.78
AT ITER 2319 NEW BEST:: SOT 419787 SOS 292770 HAS SOPS 171476 HAS SOUS 32491 HAS SOUPS 18648 WITH SCORE 18940.77
AT ITER 2322 NEW BEST:: SOT 419781 SOS 292803 HAS SOPS 171470 HAS SOUS 32491 HAS SOUPS 18645 WITH SCORE 18937.803
AT ITER 2328 NEW BEST:: SOT 420320 SOS 293342 HAS SOPS 171703 HAS SOUS 32468 HAS SOUPS 18622 WITH SCORE 18915.342
AT ITER 2350 NEW BEST:: SOT 420334 SOS 293356 HAS SOPS 171702 HAS SOUS 32454 HAS SOUPS 18608 WITH SCORE 18901.356
AT ITER 2352 NEW BEST:: SOT 420336 SOS 293399 HAS SOPS 171784 HAS SOUS 32450 HAS SOUPS 18607 WITH SCORE 18900.399
AT ITER 2388 NEW BEST:: SOT 420479 SOS 293659 HAS SOPS 171862 HAS SOUS 32451 HAS SOUPS 18599 WITH SCORE 18892.659
AT ITER 2394 NEW BEST:: SOT 420399 SOS 293569 HAS SOPS 171814 HAS SOUS 32449 HAS SOUPS 18597 WITH SCORE 18890.569
AT ITER 2395 NEW BEST:: SOT 420393 SOS 293560 HAS SOPS 171811 HAS SOUS 32443 HAS SOUPS 18594 WITH SCORE 18887.56
AT ITER 2435 NEW BEST:: SOT 420389 SOS 293556 HAS SOPS 171811 HAS SOUS 32443 HAS SOUPS 18594 WITH SCORE 18887.556
AT ITER 2439 NEW BEST:: SOT 420396 SOS 293542 HAS SOPS 171816 HAS SOUS 32420 HAS SOUPS 18592 WITH SCORE 18885.542
AT ITER 2462 NEW BEST:: SOT 420391 SOS 293536 HAS SOPS 171813 HAS SOUS 32417 HAS SOUPS 18590 WITH SCORE 18883.536
AT ITER 2471 NEW BEST:: SOT 420391 SOS 293536 HAS SOPS 171813 HAS SOUS 32408 HAS SOUPS 18585 WITH SCORE 18878.536
AT ITER 2476 NEW BEST:: SOT 420404 SOS 290595 HAS SOPS 168872 HAS SOUS 32399 HAS SOUPS 18576 WITH SCORE 18866.595
AT ITER 2492 NEW BEST:: SOT 420388 SOS 289251 HAS SOPS 167528 HAS SOUS 32399 HAS SOUPS 18576 WITH SCORE 18865.251
AT ITER 2499 NEW BEST:: SOT 420386 SOS 289248 HAS SOPS 167525 HAS SOUS 32398 HAS SOUPS 18575 WITH SCORE 18864.248
AT ITER 2506 NEW BEST:: SOT 420385 SOS 289233 HAS SOPS 167493 HAS SOUS 32396 HAS SOUPS 18573 WITH SCORE 18862.233
AT ITER 2508 NEW BEST:: SOT 420631 SOS 289599 HAS SOPS 167715 HAS SOUS 32385 HAS SOUPS 18562 WITH SCORE 18851.599
AT ITER 2511 NEW BEST:: SOT 420631 SOS 289599 HAS SOPS 167715 HAS SOUS 32259 HAS SOUPS 18492 WITH SCORE 18781.599
AT ITER 2513 NEW BEST:: SOT 420634 SOS 289602 HAS SOPS 167715 HAS SOUS 32250 HAS SOUPS 18487 WITH SCORE 18776.602
AT ITER 2527 NEW BEST:: SOT 420638 SOS 289606 HAS SOPS 167719 HAS SOUS 32191 HAS SOUPS 18456 WITH SCORE 18745.606
AT ITER 2535 NEW BEST:: SOT 420638 SOS 289606 HAS SOPS 167719 HAS SOUS 32128 HAS SOUPS 18421 WITH SCORE 18710.606
AT ITER 2552 NEW BEST:: SOT 420638 SOS 289606 HAS SOPS 167719 HAS SOUS 32065 HAS SOUPS 18386 WITH SCORE 18675.606
AT ITER 2566 NEW BEST:: SOT 420806 SOS 290196 HAS SOPS 168053 HAS SOUS 31966 HAS SOUPS 18370 WITH SCORE 18660.196
AT ITER 2623 NEW BEST:: SOT 420968 SOS 290391 HAS SOPS 168164 HAS SOUS 31903 HAS SOUPS 18307 WITH SCORE 18597.391
AT ITER 2652 NEW BEST:: SOT 420906 SOS 290281 HAS SOPS 168110 HAS SOUS 31890 HAS SOUPS 18294 WITH SCORE 18584.281
AT ITER 2665 NEW BEST:: SOT 420853 SOS 289002 HAS SOPS 167528 HAS SOUS 31805 HAS SOUPS 18244 WITH SCORE 18533.002
AT ITER 2680 NEW BEST:: SOT 420860 SOS 289003 HAS SOPS 168322 HAS SOUS 31721 HAS SOUPS 18221 WITH SCORE 18510.003
AT ITER 2706 NEW BEST:: SOT 420829 SOS 288972 HAS SOPS 168322 HAS SOUS 31719 HAS SOUPS 18219 WITH SCORE 18507.972
AT ITER 2732 NEW BEST:: SOT 420826 SOS 288966 HAS SOPS 168121 HAS SOUS 31726 HAS SOUPS 18211 WITH SCORE 18499.966
AT ITER 2733 NEW BEST:: SOT 420744 SOS 288884 HAS SOPS 168121 HAS SOUS 31549 HAS SOUPS 18110 WITH SCORE 18398.884
AT ITER 2734 NEW BEST:: SOT 420744 SOS 288884 HAS SOPS 168121 HAS SOUS 31538 HAS SOUPS 18099 WITH SCORE 18387.884
AT ITER 2746 NEW BEST:: SOT 420744 SOS 288884 HAS SOPS 168121 HAS SOUS 31454 HAS SOUPS 18053 WITH SCORE 18341.884
AT ITER 2760 NEW BEST:: SOT 420732 SOS 288872 HAS SOPS 168109 HAS SOUS 31436 HAS SOUPS 18043 WITH SCORE 18331.872
AT ITER 2762 NEW BEST:: SOT 420422 SOS 287888 HAS SOPS 167597 HAS SOUS 31386 HAS SOUPS 17998 WITH SCORE 18285.888
AT ITER 2793 NEW BEST:: SOT 420395 SOS 287861 HAS SOPS 167597 HAS SOUS 31386 HAS SOUPS 17998 WITH SCORE 18285.861
AT ITER 2800 NEW BEST:: SOT 420318 SOS 287616 HAS SOPS 167376 HAS SOUS 31381 HAS SOUPS 17987 WITH SCORE 18274.616
AT ITER 2892 NEW BEST:: SOT 420326 SOS 287528 HAS SOPS 167392 HAS SOUS 31373 HAS SOUPS 17987 WITH SCORE 18274.528
AT ITER 2898 NEW BEST:: SOT 420329 SOS 287532 HAS SOPS 167394 HAS SOUS 31313 HAS SOUPS 17954 WITH SCORE 18241.532
AT ITER 2957 NEW BEST:: SOT 420315 SOS 287518 HAS SOPS 167394 HAS SOUS 31313 HAS SOUPS 17954 WITH SCORE 18241.518
AT ITER 2962 NEW BEST:: SOT 420410 SOS 287738 HAS SOPS 167454 HAS SOUS 31288 HAS SOUPS 17934 WITH SCORE 18221.738
AT ITER 3055 NEW BEST:: SOT 420398 SOS 287726 HAS SOPS 167454 HAS SOUS 31288 HAS SOUPS 17934 WITH SCORE 18221.726
AT ITER 3060 NEW BEST:: SOT 420356 SOS 287642 HAS SOPS 167433 HAS SOUS 31267 HAS SOUPS 17934 WITH SCORE 18221.642
AT ITER 3063 NEW BEST:: SOT 420328 SOS 287702 HAS SOPS 167428 HAS SOUS 31259 HAS SOUPS 17921 WITH SCORE 18208.702
AT ITER 3068 NEW BEST:: SOT 420330 SOS 287711 HAS SOPS 167671 HAS SOUS 31240 HAS SOUPS 17920 WITH SCORE 18207.711
AT ITER 3084 NEW BEST:: SOT 419845 SOS 286921 HAS SOPS 166937 HAS SOUS 31252 HAS SOUPS 17898 WITH SCORE 18184.921
AT ITER 3089 NEW BEST:: SOT 419845 SOS 286921 HAS SOPS 166937 HAS SOUS 31225 HAS SOUPS 17883 WITH SCORE 18169.921
AT ITER 3137 NEW BEST:: SOT 419836 SOS 286492 HAS SOPS 166648 HAS SOUS 31221 HAS SOUPS 17879 WITH SCORE 18165.492
AT ITER 3154 NEW BEST:: SOT 419916 SOS 286668 HAS SOPS 166695 HAS SOUS 31217 HAS SOUPS 17870 WITH SCORE 18156.668
AT ITER 3163 NEW BEST:: SOT 420004 SOS 286877 HAS SOPS 166904 HAS SOUS 31195 HAS SOUPS 17859 WITH SCORE 18145.877
AT ITER 3182 NEW BEST:: SOT 419959 SOS 286818 HAS SOPS 166615 HAS SOUS 31198 HAS SOUPS 17843 WITH SCORE 18129.818
AT ITER 3187 NEW BEST:: SOT 419261 SOS 285490 HAS SOPS 166134 HAS SOUS 31134 HAS SOUPS 17831 WITH SCORE 18116.49
AT ITER 3215 NEW BEST:: SOT 419413 SOS 285787 HAS SOPS 166212 HAS SOUS 31212 HAS SOUPS 17823 WITH SCORE 18108.787
AT ITER 3246 NEW BEST:: SOT 419366 SOS 285712 HAS SOPS 166169 HAS SOUS 31194 HAS SOUPS 17805 WITH SCORE 18090.712
AT ITER 3303 NEW BEST:: SOT 419402 SOS 285352 HAS SOPS 165836 HAS SOUS 31194 HAS SOUPS 17805 WITH SCORE 18090.352
AT ITER 3309 NEW BEST:: SOT 419382 SOS 285335 HAS SOPS 165825 HAS SOUS 31195 HAS SOUPS 17803 WITH SCORE 18088.335
AT ITER 3310 NEW BEST:: SOT 419262 SOS 285098 HAS SOPS 165765 HAS SOUS 31132 HAS SOUPS 17800 WITH SCORE 18085.098
AT ITER 3313 NEW BEST:: SOT 419256 SOS 285092 HAS SOPS 165765 HAS SOUS 31132 HAS SOUPS 17800 WITH SCORE 18085.092
AT ITER 3326 NEW BEST:: SOT 419256 SOS 285078 HAS SOPS 165907 HAS SOUS 31120 HAS SOUPS 17800 WITH SCORE 18085.078
AT ITER 3359 NEW BEST:: SOT 417724 SOS 283310 HAS SOPS 164798 HAS SOUS 30955 HAS SOUPS 17714 WITH SCORE 17997.31
AT ITER 3365 NEW BEST:: SOT 417724 SOS 283180 HAS SOPS 164668 HAS SOUS 30953 HAS SOUPS 17712 WITH SCORE 17995.18
AT ITER 3407 NEW BEST:: SOT 417743 SOS 283197 HAS SOPS 164681 HAS SOUS 30950 HAS SOUPS 17711 WITH SCORE 17994.197
AT ITER 3423 NEW BEST:: SOT 417713 SOS 283361 HAS SOPS 164663 HAS SOUS 30960 HAS SOUPS 17707 WITH SCORE 17990.361
AT ITER 3444 NEW BEST:: SOT 417713 SOS 283361 HAS SOPS 164663 HAS SOUS 30957 HAS SOUPS 17705 WITH SCORE 17988.361
AT ITER 3461 NEW BEST:: SOT 417727 SOS 282085 HAS SOPS 163387 HAS SOUS 30941 HAS SOUPS 17689 WITH SCORE 17971.085
AT ITER 3479 NEW BEST:: SOT 417631 SOS 281989 HAS SOPS 163291 HAS SOUS 30941 HAS SOUPS 17689 WITH SCORE 17970.989
AT ITER 3508 NEW BEST:: SOT 417624 SOS 281981 HAS SOPS 163285 HAS SOUS 30934 HAS SOUPS 17683 WITH SCORE 17964.981
AT ITER 3510 NEW BEST:: SOT 417686 SOS 281987 HAS SOPS 163252 HAS SOUS 30913 HAS SOUPS 17675 WITH SCORE 17956.987
AT ITER 3511 NEW BEST:: SOT 417581 SOS 281493 HAS SOPS 162979 HAS SOUS 30909 HAS SOUPS 17671 WITH SCORE 17952.493
AT ITER 3520 NEW BEST:: SOT 417569 SOS 281471 HAS SOPS 162973 HAS SOUS 30908 HAS SOUPS 17671 WITH SCORE 17952.471
AT ITER 3543 NEW BEST:: SOT 417355 SOS 281061 HAS SOPS 162861 HAS SOUS 30851 HAS SOUPS 17652 WITH SCORE 17933.061
AT ITER 3589 NEW BEST:: SOT 417355 SOS 280996 HAS SOPS 162796 HAS SOUS 30851 HAS SOUPS 17652 WITH SCORE 17932.996
AT ITER 3603 NEW BEST:: SOT 417349 SOS 280940 HAS SOPS 162630 HAS SOUS 30856 HAS SOUPS 17646 WITH SCORE 17926.94
AT ITER 3670 NEW BEST:: SOT 417349 SOS 280940 HAS SOPS 162630 HAS SOUS 30850 HAS SOUPS 17640 WITH SCORE 17920.94
AT ITER 3816 NEW BEST:: SOT 417349 SOS 280940 HAS SOPS 162630 HAS SOUS 30832 HAS SOUPS 17630 WITH SCORE 17910.94
AT ITER 3854 NEW BEST:: SOT 417000 SOS 279839 HAS SOPS 162087 HAS SOUS 30798 HAS SOUPS 17615 WITH SCORE 17894.839
AT ITER 3861 NEW BEST:: SOT 417024 SOS 279911 HAS SOPS 162105 HAS SOUS 30768 HAS SOUPS 17597 WITH SCORE 17876.911
AT ITER 3872 NEW BEST:: SOT 417015 SOS 279841 HAS SOPS 162035 HAS SOUS 30757 HAS SOUPS 17586 WITH SCORE 17865.841
AT ITER 3876 NEW BEST:: SOT 416931 SOS 279677 HAS SOPS 161991 HAS SOUS 30715 HAS SOUPS 17584 WITH SCORE 17863.677
AT ITER 3886 NEW BEST:: SOT 416928 SOS 279645 HAS SOPS 161894 HAS SOUS 30720 HAS SOUPS 17584 WITH SCORE 17863.645
AT ITER 3903 NEW BEST:: SOT 416928 SOS 279645 HAS SOPS 161894 HAS SOUS 30711 HAS SOUPS 17579 WITH SCORE 17858.645
AT ITER 3941 NEW BEST:: SOT 416910 SOS 279627 HAS SOPS 161894 HAS SOUS 30711 HAS SOUPS 17579 WITH SCORE 17858.627
AT ITER 3994 NEW BEST:: SOT 416910 SOS 279627 HAS SOPS 161894 HAS SOUS 30708 HAS SOUPS 17577 WITH SCORE 17856.627
AT ITER 4020 NEW BEST:: SOT 416954 SOS 279744 HAS SOPS 162002 HAS SOUS 30698 HAS SOUPS 17574 WITH SCORE 17853.744
AT ITER 4030 NEW BEST:: SOT 416926 SOS 279688 HAS SOPS 161988 HAS SOUS 30684 HAS SOUPS 17574 WITH SCORE 17853.688
AT ITER 4203 NEW BEST:: SOT 416714 SOS 275055 HAS SOPS 157977 HAS SOUS 30675 HAS SOUPS 17563 WITH SCORE 17838.055
AT ITER 4289 NEW BEST:: SOT 416717 SOS 275028 HAS SOPS 157848 HAS SOUS 30657 HAS SOUPS 17536 WITH SCORE 17811.028
AT ITER 4315 NEW BEST:: SOT 416639 SOS 275158 HAS SOPS 157328 HAS SOUS 30673 HAS SOUPS 17502 WITH SCORE 17777.158
AT ITER 4339 NEW BEST:: SOT 416366 SOS 274872 HAS SOPS 157172 HAS SOUS 30665 HAS SOUPS 17494 WITH SCORE 17768.872
AT ITER 4389 NEW BEST:: SOT 416381 SOS 274929 HAS SOPS 157099 HAS SOUS 30652 HAS SOUPS 17468 WITH SCORE 17742.929
AT ITER 4396 NEW BEST:: SOT 416323 SOS 274814 HAS SOPS 157070 HAS SOUS 30622 HAS SOUPS 17467 WITH SCORE 17741.814
AT ITER 4530 NEW BEST:: SOT 416323 SOS 274814 HAS SOPS 157070 HAS SOUS 30616 HAS SOUPS 17463 WITH SCORE 17737.814
AT ITER 4586 NEW BEST:: SOT 416323 SOS 274814 HAS SOPS 157070 HAS SOUS 30607 HAS SOUPS 17458 WITH SCORE 17732.814
AT ITER 4605 NEW BEST:: SOT 416311 SOS 274760 HAS SOPS 157055 HAS SOUS 30595 HAS SOUPS 17449 WITH SCORE 17723.76
AT ITER 4623 NEW BEST:: SOT 416313 SOS 274515 HAS SOPS 156810 HAS SOUS 30594 HAS SOUPS 17448 WITH SCORE 17722.515
AT ITER 4628 NEW BEST:: SOT 416321 SOS 274405 HAS SOPS 156777 HAS SOUS 30583 HAS SOUPS 17446 WITH SCORE 17720.405
AT ITER 4693 NEW BEST:: SOT 416313 SOS 274360 HAS SOPS 156757 HAS SOUS 30560 HAS SOUPS 17443 WITH SCORE 17717.36
AT ITER 4708 NEW BEST:: SOT 416313 SOS 274360 HAS SOPS 156757 HAS SOUS 30542 HAS SOUPS 17433 WITH SCORE 17707.36
AT ITER 4743 NEW BEST:: SOT 416268 SOS 274315 HAS SOPS 156757 HAS SOUS 30542 HAS SOUPS 17433 WITH SCORE 17707.315
AT ITER 4810 NEW BEST:: SOT 416276 SOS 274328 HAS SOPS 156761 HAS SOUS 30522 HAS SOUPS 17421 WITH SCORE 17695.328
AT ITER 4832 NEW BEST:: SOT 416239 SOS 274291 HAS SOPS 156761 HAS SOUS 30522 HAS SOUPS 17421 WITH SCORE 17695.291
AT ITER 4866 NEW BEST:: SOT 416217 SOS 274252 HAS SOPS 156750 HAS SOUS 30518 HAS SOUPS 17421 WITH SCORE 17695.252
AT ITER 4868 NEW BEST:: SOT 416070 SOS 273309 HAS SOPS 156251 HAS SOUS 30509 HAS SOUPS 17413 WITH SCORE 17686.309
AT ITER 4872 NEW BEST:: SOT 416056 SOS 273302 HAS SOPS 156342 HAS SOUS 30502 HAS SOUPS 17413 WITH SCORE 17686.302
AT ITER 4882 NEW BEST:: SOT 416046 SOS 273292 HAS SOPS 156342 HAS SOUS 30502 HAS SOUPS 17413 WITH SCORE 17686.292
AT ITER 4904 NEW BEST:: SOT 416038 SOS 273278 HAS SOPS 156338 HAS SOUS 30496 HAS SOUPS 17411 WITH SCORE 17684.278
AT ITER 4906 NEW BEST:: SOT 416023 SOS 273044 HAS SOPS 156104 HAS SOUS 30483 HAS SOUPS 17398 WITH SCORE 17671.044
AT ITER 4932 NEW BEST:: SOT 416023 SOS 273175 HAS SOPS 156123 HAS SOUS 30490 HAS SOUPS 17397 WITH SCORE 17670.175
AT ITER 4937 NEW BEST:: SOT 416023 SOS 273175 HAS SOPS 156123 HAS SOUS 30472 HAS SOUPS 17387 WITH SCORE 17660.175
AT ITER 4949 NEW BEST:: SOT 416038 SOS 273204 HAS SOPS 156054 HAS SOUS 30476 HAS SOUPS 17384 WITH SCORE 17657.204
AT ITER 5035 NEW BEST:: SOT 415973 SOS 272936 HAS SOPS 156016 HAS SOUS 30445 HAS SOUPS 17376 WITH SCORE 17648.936
AT ITER 5083 NEW BEST:: SOT 415313 SOS 272157 HAS SOPS 155355 HAS SOUS 30482 HAS SOUPS 17368 WITH SCORE 17640.157
AT ITER 5113 NEW BEST:: SOT 416600 SOS 273608 HAS SOPS 156535 HAS SOUS 30499 HAS SOUPS 17362 WITH SCORE 17635.608
AT ITER 5151 NEW BEST:: SOT 416637 SOS 273483 HAS SOPS 155949 HAS SOUS 30538 HAS SOUPS 17358 WITH SCORE 17631.483
AT ITER 5153 NEW BEST:: SOT 416637 SOS 273483 HAS SOPS 155949 HAS SOUS 30529 HAS SOUPS 17353 WITH SCORE 17626.483
AT ITER 5159 NEW BEST:: SOT 416626 SOS 273472 HAS SOPS 155949 HAS SOUS 30511 HAS SOUPS 17343 WITH SCORE 17616.472
AT ITER 5162 NEW BEST:: SOT 416626 SOS 273472 HAS SOPS 155949 HAS SOUS 30502 HAS SOUPS 17338 WITH SCORE 17611.472
AT ITER 5165 NEW BEST:: SOT 416626 SOS 273217 HAS SOPS 155684 HAS SOUS 30497 HAS SOUPS 17333 WITH SCORE 17606.217
AT ITER 5184 NEW BEST:: SOT 416373 SOS 272642 HAS SOPS 155523 HAS SOUS 30474 HAS SOUPS 17333 WITH SCORE 17605.642
AT ITER 5192 NEW BEST:: SOT 416375 SOS 272604 HAS SOPS 155524 HAS SOUS 30470 HAS SOUPS 17332 WITH SCORE 17604.604
AT ITER 5222 NEW BEST:: SOT 416375 SOS 272603 HAS SOPS 155521 HAS SOUS 30469 HAS SOUPS 17331 WITH SCORE 17603.603
AT ITER 5235 NEW BEST:: SOT 416379 SOS 272543 HAS SOPS 155465 HAS SOUS 30465 HAS SOUPS 17327 WITH SCORE 17599.543
AT ITER 5345 NEW BEST:: SOT 416379 SOS 272543 HAS SOPS 155465 HAS SOUS 30462 HAS SOUPS 17325 WITH SCORE 17597.543
AT ITER 5358 NEW BEST:: SOT 416379 SOS 272543 HAS SOPS 155465 HAS SOUS 30453 HAS SOUPS 17320 WITH SCORE 17592.543
AT ITER 5379 NEW BEST:: SOT 416370 SOS 272534 HAS SOPS 155465 HAS SOUS 30447 HAS SOUPS 17314 WITH SCORE 17586.534
AT ITER 5386 NEW BEST:: SOT 416358 SOS 272510 HAS SOPS 155363 HAS SOUS 30444 HAS SOUPS 17305 WITH SCORE 17577.51
AT ITER 5408 NEW BEST:: SOT 416360 SOS 272729 HAS SOPS 155388 HAS SOUS 30446 HAS SOUPS 17298 WITH SCORE 17570.729
AT ITER 5442 NEW BEST:: SOT 416421 SOS 270740 HAS SOPS 153379 HAS SOUS 30438 HAS SOUPS 17259 WITH SCORE 17529.74
AT ITER 5458 NEW BEST:: SOT 416413 SOS 270727 HAS SOPS 153375 HAS SOUS 30404 HAS SOUPS 17241 WITH SCORE 17511.727
AT ITER 5476 NEW BEST:: SOT 416301 SOS 270503 HAS SOPS 153198 HAS SOUS 30384 HAS SOUPS 17221 WITH SCORE 17491.503
AT ITER 5520 NEW BEST:: SOT 416294 SOS 270496 HAS SOPS 153198 HAS SOUS 30384 HAS SOUPS 17221 WITH SCORE 17491.496
AT ITER 5524 NEW BEST:: SOT 416326 SOS 270509 HAS SOPS 152973 HAS SOUS 30397 HAS SOUPS 17217 WITH SCORE 17487.509
AT ITER 5615 NEW BEST:: SOT 416335 SOS 270531 HAS SOPS 152979 HAS SOUS 30395 HAS SOUPS 17215 WITH SCORE 17485.531
AT ITER 5624 NEW BEST:: SOT 416291 SOS 270203 HAS SOPS 152723 HAS SOUS 30383 HAS SOUPS 17207 WITH SCORE 17477.203
AT ITER 5675 NEW BEST:: SOT 416275 SOS 270347 HAS SOPS 152867 HAS SOUS 30379 HAS SOUPS 17203 WITH SCORE 17473.347
AT ITER 5703 NEW BEST:: SOT 416315 SOS 270139 HAS SOPS 152731 HAS SOUS 30365 HAS SOUPS 17177 WITH SCORE 17447.139
AT ITER 5804 NEW BEST:: SOT 416325 SOS 270077 HAS SOPS 152677 HAS SOUS 30334 HAS SOUPS 17164 WITH SCORE 17434.077
AT ITER 5814 NEW BEST:: SOT 416310 SOS 270062 HAS SOPS 152677 HAS SOUS 30289 HAS SOUPS 17139 WITH SCORE 17409.062
AT ITER 5845 NEW BEST:: SOT 416295 SOS 270088 HAS SOPS 152675 HAS SOUS 30291 HAS SOUPS 17137 WITH SCORE 17407.088
AT ITER 5890 NEW BEST:: SOT 416268 SOS 270020 HAS SOPS 152761 HAS SOUS 30251 HAS SOUPS 17111 WITH SCORE 17381.02
AT ITER 5897 NEW BEST:: SOT 416299 SOS 270051 HAS SOPS 152761 HAS SOUS 30187 HAS SOUPS 17079 WITH SCORE 17349.051
AT ITER 5958 NEW BEST:: SOT 416277 SOS 270059 HAS SOPS 152750 HAS SOUS 30175 HAS SOUPS 17067 WITH SCORE 17337.059
AT ITER 5997 NEW BEST:: SOT 416271 SOS 270053 HAS SOPS 152744 HAS SOUS 30175 HAS SOUPS 17067 WITH SCORE 17337.053
AT ITER 6000 NEW BEST:: SOT 416269 SOS 270064 HAS SOPS 152742 HAS SOUS 30175 HAS SOUPS 17066 WITH SCORE 17336.064
AT ITER 6003 NEW BEST:: SOT 416221 SOS 270016 HAS SOPS 152742 HAS SOUS 30175 HAS SOUPS 17066 WITH SCORE 17336.016
AT ITER 6035 NEW BEST:: SOT 416221 SOS 270705 HAS SOPS 152742 HAS SOUS 30183 HAS SOUPS 17021 WITH SCORE 17291.705
AT ITER 6046 NEW BEST:: SOT 416218 SOS 270492 HAS SOPS 152654 HAS SOUS 30164 HAS SOUPS 17002 WITH SCORE 17272.492
AT ITER 6051 NEW BEST:: SOT 416237 SOS 270509 HAS SOPS 152663 HAS SOUS 30161 HAS SOUPS 17001 WITH SCORE 17271.509
AT ITER 6078 NEW BEST:: SOT 416237 SOS 270538 HAS SOPS 152653 HAS SOUS 30163 HAS SOUPS 17000 WITH SCORE 17270.538
AT ITER 6099 NEW BEST:: SOT 416107 SOS 270320 HAS SOPS 152556 HAS SOUS 30088 HAS SOUPS 16958 WITH SCORE 17228.32
AT ITER 6116 NEW BEST:: SOT 416098 SOS 270311 HAS SOPS 152547 HAS SOUS 30088 HAS SOUPS 16958 WITH SCORE 17228.311
AT ITER 6180 NEW BEST:: SOT 416083 SOS 270064 HAS SOPS 152300 HAS SOUS 30073 HAS SOUPS 16943 WITH SCORE 17213.064
AT ITER 6224 NEW BEST:: SOT 416039 SOS 269530 HAS SOPS 151883 HAS SOUS 30050 HAS SOUPS 16929 WITH SCORE 17198.53
AT ITER 6239 NEW BEST:: SOT 416003 SOS 269494 HAS SOPS 151847 HAS SOUS 30050 HAS SOUPS 16929 WITH SCORE 17198.494
AT ITER 6277 NEW BEST:: SOT 415995 SOS 269618 HAS SOPS 151971 HAS SOUS 30042 HAS SOUPS 16921 WITH SCORE 17190.618
AT ITER 6357 NEW BEST:: SOT 415993 SOS 269647 HAS SOPS 152024 HAS SOUS 30039 HAS SOUPS 16920 WITH SCORE 17189.647
AT ITER 6442 NEW BEST:: SOT 415988 SOS 269642 HAS SOPS 152024 HAS SOUS 30029 HAS SOUPS 16910 WITH SCORE 17179.642
AT ITER 6457 NEW BEST:: SOT 415988 SOS 269642 HAS SOPS 152024 HAS SOUS 30002 HAS SOUPS 16895 WITH SCORE 17164.642
AT ITER 6467 NEW BEST:: SOT 415933 SOS 270497 HAS SOPS 152632 HAS SOUS 30008 HAS SOUPS 16882 WITH SCORE 17152.497
AT ITER 6473 NEW BEST:: SOT 415921 SOS 270485 HAS SOPS 152620 HAS SOUS 29990 HAS SOUPS 16872 WITH SCORE 17142.485
AT ITER 6505 NEW BEST:: SOT 415890 SOS 270454 HAS SOPS 152620 HAS SOUS 29954 HAS SOUPS 16836 WITH SCORE 17106.454
AT ITER 6519 NEW BEST:: SOT 415890 SOS 270454 HAS SOPS 152620 HAS SOUS 29945 HAS SOUPS 16831 WITH SCORE 17101.454
AT ITER 6592 NEW BEST:: SOT 415895 SOS 270529 HAS SOPS 152630 HAS SOUS 29945 HAS SOUPS 16826 WITH SCORE 17096.529
AT ITER 6679 NEW BEST:: SOT 415833 SOS 270467 HAS SOPS 152630 HAS SOUS 29873 HAS SOUPS 16786 WITH SCORE 17056.467
AT ITER 6763 NEW BEST:: SOT 415612 SOS 269318 HAS SOPS 150914 HAS SOUS 29851 HAS SOUPS 16685 WITH SCORE 16954.318
AT ITER 6810 NEW BEST:: SOT 415469 SOS 269175 HAS SOPS 150849 HAS SOUS 29838 HAS SOUPS 16672 WITH SCORE 16941.175
AT ITER 6847 NEW BEST:: SOT 415479 SOS 268957 HAS SOPS 150655 HAS SOUS 29836 HAS SOUPS 16670 WITH SCORE 16938.957
AT ITER 6886 NEW BEST:: SOT 415485 SOS 268823 HAS SOPS 150521 HAS SOUS 29832 HAS SOUPS 16666 WITH SCORE 16934.823
AT ITER 6889 NEW BEST:: SOT 415459 SOS 268537 HAS SOPS 150470 HAS SOUS 29806 HAS SOUPS 16653 WITH SCORE 16921.537
AT ITER 6895 NEW BEST:: SOT 415452 SOS 268496 HAS SOPS 150459 HAS SOUS 29797 HAS SOUPS 16647 WITH SCORE 16915.496
AT ITER 6900 NEW BEST:: SOT 415446 SOS 268466 HAS SOPS 150425 HAS SOUS 29791 HAS SOUPS 16641 WITH SCORE 16909.466
AT ITER 6920 NEW BEST:: SOT 415436 SOS 268448 HAS SOPS 150264 HAS SOUS 29793 HAS SOUPS 16632 WITH SCORE 16900.448
AT ITER 6930 NEW BEST:: SOT 415475 SOS 267750 HAS SOPS 149708 HAS SOUS 29775 HAS SOUPS 16628 WITH SCORE 16895.75
AT ITER 6974 NEW BEST:: SOT 415504 SOS 267460 HAS SOPS 149795 HAS SOUS 29746 HAS SOUPS 16628 WITH SCORE 16895.46
AT ITER 7031 NEW BEST:: SOT 415498 SOS 267483 HAS SOPS 149860 HAS SOUS 29742 HAS SOUPS 16627 WITH SCORE 16894.483
AT ITER 7034 NEW BEST:: SOT 415554 SOS 267685 HAS SOPS 149776 HAS SOUS 29759 HAS SOUPS 16622 WITH SCORE 16889.685
AT ITER 7049 NEW BEST:: SOT 415553 SOS 267631 HAS SOPS 149800 HAS SOUS 29751 HAS SOUPS 16620 WITH SCORE 16887.631
AT ITER 7069 NEW BEST:: SOT 415552 SOS 267493 HAS SOPS 149702 HAS SOUS 29750 HAS SOUPS 16619 WITH SCORE 16886.493
AT ITER 7096 NEW BEST:: SOT 415544 SOS 267925 HAS SOPS 150134 HAS SOUS 29742 HAS SOUPS 16611 WITH SCORE 16878.925
AT ITER 7116 NEW BEST:: SOT 414460 SOS 266446 HAS SOPS 149101 HAS SOUS 29763 HAS SOUPS 16585 WITH SCORE 16851.446
AT ITER 7127 NEW BEST:: SOT 414459 SOS 266393 HAS SOPS 149018 HAS SOUS 29765 HAS SOUPS 16584 WITH SCORE 16850.393
AT ITER 7163 NEW BEST:: SOT 414456 SOS 266390 HAS SOPS 149018 HAS SOUS 29759 HAS SOUPS 16578 WITH SCORE 16844.39
AT ITER 7208 NEW BEST:: SOT 414481 SOS 266205 HAS SOPS 148918 HAS SOUS 29754 HAS SOUPS 16573 WITH SCORE 16839.205
AT ITER 7229 NEW BEST:: SOT 414483 SOS 266153 HAS SOPS 148892 HAS SOUS 29750 HAS SOUPS 16571 WITH SCORE 16837.153
AT ITER 7270 NEW BEST:: SOT 412772 SOS 261977 HAS SOPS 147512 HAS SOUS 29747 HAS SOUPS 16543 WITH SCORE 16804.977
AT ITER 7274 NEW BEST:: SOT 412872 SOS 261916 HAS SOPS 147661 HAS SOUS 29748 HAS SOUPS 16533 WITH SCORE 16794.916
AT ITER 7336 NEW BEST:: SOT 412872 SOS 261916 HAS SOPS 147661 HAS SOUS 29739 HAS SOUPS 16528 WITH SCORE 16789.916
AT ITER 7338 NEW BEST:: SOT 412892 SOS 261936 HAS SOPS 147671 HAS SOUS 29738 HAS SOUPS 16527 WITH SCORE 16788.936
AT ITER 7435 NEW BEST:: SOT 412852 SOS 261896 HAS SOPS 147651 HAS SOUS 29734 HAS SOUPS 16523 WITH SCORE 16784.896
AT ITER 7461 NEW BEST:: SOT 412840 SOS 261878 HAS SOPS 147645 HAS SOUS 29722 HAS SOUPS 16517 WITH SCORE 16778.878
AT ITER 7507 NEW BEST:: SOT 412840 SOS 261878 HAS SOPS 147645 HAS SOUS 29677 HAS SOUPS 16492 WITH SCORE 16753.878
AT ITER 7614 NEW BEST:: SOT 412845 SOS 261910 HAS SOPS 147650 HAS SOUS 29666 HAS SOUPS 16470 WITH SCORE 16731.91
AT ITER 7620 NEW BEST:: SOT 412845 SOS 261886 HAS SOPS 147666 HAS SOUS 29662 HAS SOUPS 16470 WITH SCORE 16731.886
AT ITER 7701 NEW BEST:: SOT 412828 SOS 261852 HAS SOPS 147666 HAS SOUS 29645 HAS SOUPS 16470 WITH SCORE 16731.852
AT ITER 7709 NEW BEST:: SOT 412329 SOS 261353 HAS SOPS 147437 HAS SOUS 29640 HAS SOUPS 16465 WITH SCORE 16726.353
AT ITER 7737 NEW BEST:: SOT 413231 SOS 263326 HAS SOPS 148059 HAS SOUS 29679 HAS SOUPS 16450 WITH SCORE 16713.326
AT ITER 7743 NEW BEST:: SOT 413550 SOS 263935 HAS SOPS 148233 HAS SOUS 29692 HAS SOUPS 16434 WITH SCORE 16697.935
AT ITER 7747 NEW BEST:: SOT 413397 SOS 263772 HAS SOPS 148142 HAS SOUS 29669 HAS SOUPS 16408 WITH SCORE 16671.772
AT ITER 7806 NEW BEST:: SOT 413482 SOS 263966 HAS SOPS 148190 HAS SOUS 29658 HAS SOUPS 16392 WITH SCORE 16655.966
AT ITER 7817 NEW BEST:: SOT 413471 SOS 263941 HAS SOPS 148183 HAS SOUS 29656 HAS SOUPS 16391 WITH SCORE 16654.941
AT ITER 7825 NEW BEST:: SOT 413489 SOS 263920 HAS SOPS 148298 HAS SOUS 29637 HAS SOUPS 16389 WITH SCORE 16652.92
AT ITER 7874 NEW BEST:: SOT 413293 SOS 263744 HAS SOPS 148082 HAS SOUS 29657 HAS SOUPS 16389 WITH SCORE 16652.744
AT ITER 7901 NEW BEST:: SOT 413256 SOS 263592 HAS SOPS 147978 HAS SOUS 29630 HAS SOUPS 16363 WITH SCORE 16626.592
AT ITER 7914 NEW BEST:: SOT 413091 SOS 263217 HAS SOPS 147873 HAS SOUS 29600 HAS SOUPS 16348 WITH SCORE 16611.217
AT ITER 8005 NEW BEST:: SOT 413091 SOS 263215 HAS SOPS 147845 HAS SOUS 29601 HAS SOUPS 16347 WITH SCORE 16610.215
AT ITER 8009 NEW BEST:: SOT 413060 SOS 263307 HAS SOPS 147888 HAS SOUS 29559 HAS SOUPS 16308 WITH SCORE 16571.307
AT ITER 8036 NEW BEST:: SOT 413058 SOS 263305 HAS SOPS 147886 HAS SOUS 29558 HAS SOUPS 16307 WITH SCORE 16570.305
AT ITER 8107 NEW BEST:: SOT 413051 SOS 263298 HAS SOPS 147879 HAS SOUS 29551 HAS SOUPS 16300 WITH SCORE 16563.298
AT ITER 8129 NEW BEST:: SOT 413037 SOS 263273 HAS SOPS 147872 HAS SOUS 29542 HAS SOUPS 16297 WITH SCORE 16560.273
AT ITER 8190 NEW BEST:: SOT 413043 SOS 263171 HAS SOPS 147830 HAS SOUS 29538 HAS SOUPS 16295 WITH SCORE 16558.171
AT ITER 8213 NEW BEST:: SOT 412978 SOS 263106 HAS SOPS 147830 HAS SOUS 29538 HAS SOUPS 16295 WITH SCORE 16558.106
AT ITER 8244 NEW BEST:: SOT 413062 SOS 263288 HAS SOPS 147879 HAS SOUS 29538 HAS SOUPS 16288 WITH SCORE 16551.288
AT ITER 8254 NEW BEST:: SOT 413065 SOS 264006 HAS SOPS 148486 HAS SOUS 29541 HAS SOUPS 16283 WITH SCORE 16547.006
AT ITER 8283 NEW BEST:: SOT 412920 SOS 263980 HAS SOPS 148370 HAS SOUS 29561 HAS SOUPS 16278 WITH SCORE 16541.98
AT ITER 8309 NEW BEST:: SOT 412919 SOS 263979 HAS SOPS 148370 HAS SOUS 29561 HAS SOUPS 16278 WITH SCORE 16541.979
AT ITER 8350 NEW BEST:: SOT 412915 SOS 264017 HAS SOPS 148383 HAS SOUS 29560 HAS SOUPS 16276 WITH SCORE 16540.017
AT ITER 8369 NEW BEST:: SOT 412675 SOS 263564 HAS SOPS 148223 HAS SOUS 29533 HAS SOUPS 16249 WITH SCORE 16512.564
AT ITER 8372 NEW BEST:: SOT 412571 SOS 263413 HAS SOPS 148138 HAS SOUS 29520 HAS SOUPS 16236 WITH SCORE 16499.413
AT ITER 8441 NEW BEST:: SOT 412595 SOS 263437 HAS SOPS 148162 HAS SOUS 29516 HAS SOUPS 16232 WITH SCORE 16495.437
AT ITER 8457 NEW BEST:: SOT 412595 SOS 263436 HAS SOPS 148162 HAS SOUS 29515 HAS SOUPS 16232 WITH SCORE 16495.436
AT ITER 8496 NEW BEST:: SOT 412599 SOS 263412 HAS SOPS 148138 HAS SOUS 29515 HAS SOUPS 16232 WITH SCORE 16495.412
AT ITER 8531 NEW BEST:: SOT 412599 SOS 263412 HAS SOPS 148138 HAS SOUS 29506 HAS SOUPS 16227 WITH SCORE 16490.412
AT ITER 8545 NEW BEST:: SOT 412434 SOS 263037 HAS SOPS 148033 HAS SOUS 29476 HAS SOUPS 16212 WITH SCORE 16475.037
AT ITER 8582 NEW BEST:: SOT 412375 SOS 262840 HAS SOPS 147923 HAS SOUS 29460 HAS SOUPS 16201 WITH SCORE 16463.84
AT ITER 8613 NEW BEST:: SOT 412375 SOS 262840 HAS SOPS 147923 HAS SOUS 29433 HAS SOUPS 16186 WITH SCORE 16448.84
AT ITER 8677 NEW BEST:: SOT 412387 SOS 262862 HAS SOPS 147929 HAS SOUS 29432 HAS SOUPS 16184 WITH SCORE 16446.862
AT ITER 8698 NEW BEST:: SOT 412381 SOS 262934 HAS SOPS 147935 HAS SOUS 29426 HAS SOUPS 16178 WITH SCORE 16440.934
AT ITER 8706 NEW BEST:: SOT 412381 SOS 262934 HAS SOPS 147935 HAS SOUS 29372 HAS SOUPS 16148 WITH SCORE 16410.934
AT ITER 8734 NEW BEST:: SOT 412380 SOS 262716 HAS SOPS 147951 HAS SOUS 29335 HAS SOUPS 16129 WITH SCORE 16391.716
AT ITER 8737 NEW BEST:: SOT 412376 SOS 262786 HAS SOPS 147878 HAS SOUS 29339 HAS SOUPS 16122 WITH SCORE 16384.786
AT ITER 8758 NEW BEST:: SOT 412352 SOS 262710 HAS SOPS 147834 HAS SOUS 29331 HAS SOUPS 16116 WITH SCORE 16378.71
AT ITER 8762 NEW BEST:: SOT 412323 SOS 262275 HAS SOPS 147399 HAS SOUS 29296 HAS SOUPS 16081 WITH SCORE 16343.275
AT ITER 8782 NEW BEST:: SOT 412311 SOS 262263 HAS SOPS 147399 HAS SOUS 29296 HAS SOUPS 16081 WITH SCORE 16343.263
AT ITER 8791 NEW BEST:: SOT 411814 SOS 254282 HAS SOPS 140214 HAS SOUS 29182 HAS SOUPS 15984 WITH SCORE 16238.282
AT ITER 8814 NEW BEST:: SOT 411822 SOS 254291 HAS SOPS 140217 HAS SOUS 29181 HAS SOUPS 15983 WITH SCORE 16237.291
AT ITER 8839 NEW BEST:: SOT 411181 SOS 252563 HAS SOPS 139506 HAS SOUS 29091 HAS SOUPS 15950 WITH SCORE 16202.563
AT ITER 8904 NEW BEST:: SOT 411167 SOS 252533 HAS SOPS 139482 HAS SOUS 29089 HAS SOUPS 15948 WITH SCORE 16200.533
AT ITER 8905 NEW BEST:: SOT 411157 SOS 252428 HAS SOPS 139332 HAS SOUS 29084 HAS SOUPS 15938 WITH SCORE 16190.428
AT ITER 8959 NEW BEST:: SOT 410897 SOS 251559 HAS SOPS 138574 HAS SOUS 29070 HAS SOUPS 15921 WITH SCORE 16172.559
AT ITER 8999 NEW BEST:: SOT 411477 SOS 252638 HAS SOPS 138916 HAS SOUS 29112 HAS SOUPS 15919 WITH SCORE 16171.638
AT ITER 9084 NEW BEST:: SOT 411141 SOS 251910 HAS SOPS 138720 HAS SOUS 29084 HAS SOUPS 15919 WITH SCORE 16170.91
AT ITER 9099 NEW BEST:: SOT 411291 SOS 252060 HAS SOPS 138795 HAS SOUS 29073 HAS SOUPS 15908 WITH SCORE 16160.06
AT ITER 9314 NEW BEST:: SOT 411248 SOS 252491 HAS SOPS 138951 HAS SOUS 29083 HAS SOUPS 15907 WITH SCORE 16159.491
AT ITER 9324 NEW BEST:: SOT 411187 SOS 251770 HAS SOPS 138340 HAS SOUS 29082 HAS SOUPS 15906 WITH SCORE 16157.77
AT ITER 9343 NEW BEST:: SOT 411119 SOS 252271 HAS SOPS 138470 HAS SOUS 29094 HAS SOUPS 15903 WITH SCORE 16155.271
AT ITER 9378 NEW BEST:: SOT 411231 SOS 252367 HAS SOPS 138638 HAS SOUS 29063 HAS SOUPS 15894 WITH SCORE 16146.367
AT ITER 9394 NEW BEST:: SOT 411247 SOS 252193 HAS SOPS 138506 HAS SOUS 29055 HAS SOUPS 15886 WITH SCORE 16138.193
AT ITER 9487 NEW BEST:: SOT 411247 SOS 252193 HAS SOPS 138496 HAS SOUS 29050 HAS SOUPS 15881 WITH SCORE 16133.193
AT ITER 9533 NEW BEST:: SOT 411328 SOS 252259 HAS SOPS 138588 HAS SOUS 29028 HAS SOUPS 15872 WITH SCORE 16124.259
AT ITER 9539 NEW BEST:: SOT 411320 SOS 252207 HAS SOPS 138536 HAS SOUS 29016 HAS SOUPS 15860 WITH SCORE 16112.207
AT ITER 9544 NEW BEST:: SOT 411271 SOS 252158 HAS SOPS 138536 HAS SOUS 29016 HAS SOUPS 15860 WITH SCORE 16112.158
AT ITER 9558 NEW BEST:: SOT 411267 SOS 252154 HAS SOPS 138536 HAS SOUS 29008 HAS SOUPS 15852 WITH SCORE 16104.154
AT ITER 9568 NEW BEST:: SOT 410620 SOS 251344 HAS SOPS 138079 HAS SOUS 28991 HAS SOUPS 15844 WITH SCORE 16095.344
AT ITER 9716 NEW BEST:: SOT 410613 SOS 251330 HAS SOPS 138079 HAS SOUS 28975 HAS SOUPS 15839 WITH SCORE 16090.33
AT ITER 9748 NEW BEST:: SOT 410329 SOS 250927 HAS SOPS 137803 HAS SOUS 28954 HAS SOUPS 15816 WITH SCORE 16066.927
AT ITER 9754 NEW BEST:: SOT 410710 SOS 251576 HAS SOPS 137966 HAS SOUS 29019 HAS SOUPS 15815 WITH SCORE 16066.576
AT ITER 9818 NEW BEST:: SOT 410717 SOS 251163 HAS SOPS 137574 HAS SOUS 29017 HAS SOUPS 15813 WITH SCORE 16064.163
AT ITER 9845 NEW BEST:: SOT 410690 SOS 251136 HAS SOPS 137547 HAS SOUS 29014 HAS SOUPS 15810 WITH SCORE 16061.136
AT ITER 9893 NEW BEST:: SOT 410690 SOS 251136 HAS SOPS 137547 HAS SOUS 28924 HAS SOUPS 15760 WITH SCORE 16011.136
AT ITER 9901 NEW BEST:: SOT 410395 SOS 250331 HAS SOPS 136880 HAS SOUS 28909 HAS SOUPS 15745 WITH SCORE 15995.331
AT ITER 9944 NEW BEST:: SOT 410393 SOS 250325 HAS SOPS 136848 HAS SOUS 28911 HAS SOUPS 15745 WITH SCORE 15995.325
STATE_SPACE STATES 24010000000001 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 184 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 5765830000000001 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 5859152 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16123780 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
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
Caught signal 15, terminating.
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="DLCround-PT-09a"
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 DLCround-PT-09a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r107-tall-167814484600720"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-09a.tgz
mv DLCround-PT-09a 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 ;