Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r419-tajo-167905973900536.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is SimpleLoadBal-PT-20, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r419-tajo-167905973900536
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.5M
-rw-r--r-- 1 mcc users 8.5K Feb 26 03:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 26 03:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Feb 26 03:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 03:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 17:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Feb 25 17:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 20K Feb 26 03:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 172K Feb 26 03:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 03:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 26 03:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 17:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 17:07 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 2.0M Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679092295151

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=SimpleLoadBal-PT-20
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SimpleLoadBal (PT), instance 20
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 194 places, 2205 transitions, 15678 arcs.
AT ITER 0 NEW BEST:: SOT 413187 SOS 262429 HAS SOPS 250665 HAS SOUS 169355 HAS SOUPS 169025 WITH SCORE 169287.429
AT ITER 6 NEW BEST:: SOT 413179 SOS 262413 HAS SOPS 250649 HAS SOUS 169339 HAS SOUPS 169009 WITH SCORE 169271.413
AT ITER 7 NEW BEST:: SOT 413162 SOS 262379 HAS SOPS 250615 HAS SOUS 169305 HAS SOUPS 168975 WITH SCORE 169237.379
AT ITER 8 NEW BEST:: SOT 413162 SOS 262379 HAS SOPS 250615 HAS SOUS 169285 HAS SOUPS 168955 WITH SCORE 169217.379
AT ITER 10 NEW BEST:: SOT 413084 SOS 262349 HAS SOPS 250544 HAS SOUS 169249 HAS SOUPS 168918 WITH SCORE 169180.349
AT ITER 13 NEW BEST:: SOT 413090 SOS 262375 HAS SOPS 250570 HAS SOUS 169175 HAS SOUPS 168844 WITH SCORE 169106.375
AT ITER 32 NEW BEST:: SOT 413090 SOS 262398 HAS SOPS 250593 HAS SOUS 169152 HAS SOUPS 168821 WITH SCORE 169083.398
AT ITER 33 NEW BEST:: SOT 412995 SOS 261303 HAS SOPS 250278 HAS SOUS 168925 HAS SOUPS 168602 WITH SCORE 168863.303
AT ITER 35 NEW BEST:: SOT 412919 SOS 261286 HAS SOPS 248961 HAS SOUS 168667 HAS SOUPS 168262 WITH SCORE 168523.286
AT ITER 36 NEW BEST:: SOT 412919 SOS 261286 HAS SOPS 248919 HAS SOUS 168593 HAS SOUPS 168176 WITH SCORE 168437.286
AT ITER 48 NEW BEST:: SOT 412906 SOS 251960 HAS SOPS 234401 HAS SOUS 164004 HAS SOUPS 159132 WITH SCORE 159383.96
AT ITER 51 NEW BEST:: SOT 412856 SOS 251872 HAS SOPS 234313 HAS SOUS 163536 HAS SOUPS 158664 WITH SCORE 158915.872
AT ITER 55 NEW BEST:: SOT 412844 SOS 251848 HAS SOPS 234289 HAS SOUS 163512 HAS SOUPS 158640 WITH SCORE 158891.848
AT ITER 60 NEW BEST:: SOT 412831 SOS 251822 HAS SOPS 234263 HAS SOUS 163266 HAS SOUPS 158394 WITH SCORE 158645.822
AT ITER 62 NEW BEST:: SOT 412779 SOS 251734 HAS SOPS 234175 HAS SOUS 162798 HAS SOUPS 157926 WITH SCORE 158177.734
AT ITER 64 NEW BEST:: SOT 412765 SOS 251056 HAS SOPS 234099 HAS SOUS 162742 HAS SOUPS 157884 WITH SCORE 158135.056
AT ITER 68 NEW BEST:: SOT 412765 SOS 251056 HAS SOPS 234057 HAS SOUS 161158 HAS SOUPS 156300 WITH SCORE 156551.056
AT ITER 73 NEW BEST:: SOT 412765 SOS 251017 HAS SOPS 234018 HAS SOUS 161119 HAS SOUPS 156261 WITH SCORE 156512.017
AT ITER 74 NEW BEST:: SOT 358695 SOS 197356 HAS SOPS 183410 HAS SOUS 107430 HAS SOUPS 105463 WITH SCORE 105660.356
AT ITER 75 NEW BEST:: SOT 358681 SOS 197345 HAS SOPS 183399 HAS SOUS 107419 HAS SOUPS 105452 WITH SCORE 105649.345
AT ITER 76 NEW BEST:: SOT 358625 SOS 197289 HAS SOPS 183343 HAS SOUS 107321 HAS SOUPS 105354 WITH SCORE 105551.289
AT ITER 82 NEW BEST:: SOT 358561 SOS 197225 HAS SOPS 183279 HAS SOUS 107253 HAS SOUPS 105286 WITH SCORE 105483.225
AT ITER 102 NEW BEST:: SOT 358543 SOS 197218 HAS SOPS 183272 HAS SOUS 107134 HAS SOUPS 105167 WITH SCORE 105364.218
AT ITER 115 NEW BEST:: SOT 358383 SOS 197058 HAS SOPS 183112 HAS SOUS 107069 HAS SOUPS 105102 WITH SCORE 105299.058
AT ITER 116 NEW BEST:: SOT 358372 SOS 197067 HAS SOPS 183121 HAS SOUS 106978 HAS SOUPS 105011 WITH SCORE 105208.067
AT ITER 133 NEW BEST:: SOT 353204 SOS 191899 HAS SOPS 177953 HAS SOUS 101810 HAS SOUPS 99843 WITH SCORE 100034.899
AT ITER 136 NEW BEST:: SOT 353204 SOS 191896 HAS SOPS 177950 HAS SOUS 101807 HAS SOUPS 99840 WITH SCORE 100031.896
AT ITER 142 NEW BEST:: SOT 352966 SOS 191658 HAS SOPS 177712 HAS SOUS 101275 HAS SOUPS 99308 WITH SCORE 99499.658
AT ITER 143 NEW BEST:: SOT 352258 SOS 190950 HAS SOPS 177004 HAS SOUS 100263 HAS SOUPS 98296 WITH SCORE 98486.95
AT ITER 145 NEW BEST:: SOT 352482 SOS 191174 HAS SOPS 177220 HAS SOUS 99001 HAS SOUPS 97034 WITH SCORE 97225.174
AT ITER 146 NEW BEST:: SOT 352482 SOS 191170 HAS SOPS 177216 HAS SOUS 98997 HAS SOUPS 97030 WITH SCORE 97221.17
AT ITER 149 NEW BEST:: SOT 351260 SOS 189494 HAS SOPS 178540 HAS SOUS 98386 HAS SOUPS 96334 WITH SCORE 96523.494
AT ITER 153 NEW BEST:: SOT 350253 SOS 188487 HAS SOPS 177533 HAS SOUS 95882 HAS SOUPS 93830 WITH SCORE 94018.487
AT ITER 154 NEW BEST:: SOT 350355 SOS 188599 HAS SOPS 177645 HAS SOUS 94256 HAS SOUPS 92204 WITH SCORE 92392.599
AT ITER 155 NEW BEST:: SOT 350017 SOS 188261 HAS SOPS 177307 HAS SOUS 92718 HAS SOUPS 90666 WITH SCORE 90854.261
AT ITER 157 NEW BEST:: SOT 350010 SOS 188251 HAS SOPS 177297 HAS SOUS 92708 HAS SOUPS 90656 WITH SCORE 90844.251
AT ITER 159 NEW BEST:: SOT 350010 SOS 188239 HAS SOPS 177285 HAS SOUS 92696 HAS SOUPS 90644 WITH SCORE 90832.239
AT ITER 180 NEW BEST:: SOT 350016 SOS 188287 HAS SOPS 177333 HAS SOUS 92680 HAS SOUPS 90628 WITH SCORE 90816.287
AT ITER 187 NEW BEST:: SOT 349970 SOS 187081 HAS SOPS 176559 HAS SOUS 92520 HAS SOUPS 90545 WITH SCORE 90732.081
AT ITER 198 NEW BEST:: SOT 349878 SOS 186989 HAS SOPS 176467 HAS SOUS 92318 HAS SOUPS 90343 WITH SCORE 90529.989
AT ITER 202 NEW BEST:: SOT 349860 SOS 186937 HAS SOPS 176415 HAS SOUS 92266 HAS SOUPS 90291 WITH SCORE 90477.937
AT ITER 207 NEW BEST:: SOT 349233 SOS 186109 HAS SOPS 175229 HAS SOUS 91730 HAS SOUPS 89816 WITH SCORE 90002.109
AT ITER 210 NEW BEST:: SOT 348488 SOS 185364 HAS SOPS 174484 HAS SOUS 90989 HAS SOUPS 89075 WITH SCORE 89260.364
AT ITER 230 NEW BEST:: SOT 348486 SOS 185362 HAS SOPS 174482 HAS SOUS 90905 HAS SOUPS 88991 WITH SCORE 89176.362
AT ITER 233 NEW BEST:: SOT 348018 SOS 184894 HAS SOPS 174014 HAS SOUS 90275 HAS SOUPS 88361 WITH SCORE 88545.894
AT ITER 242 NEW BEST:: SOT 348034 SOS 184881 HAS SOPS 174001 HAS SOUS 90262 HAS SOUPS 88348 WITH SCORE 88532.881
AT ITER 261 NEW BEST:: SOT 348516 SOS 185363 HAS SOPS 174497 HAS SOUS 89239 HAS SOUPS 87325 WITH SCORE 87510.363
AT ITER 266 NEW BEST:: SOT 348276 SOS 185348 HAS SOPS 174482 HAS SOUS 88981 HAS SOUPS 87067 WITH SCORE 87252.348
AT ITER 267 NEW BEST:: SOT 349142 SOS 186207 HAS SOPS 175305 HAS SOUS 88958 HAS SOUPS 87012 WITH SCORE 87198.207
AT ITER 268 NEW BEST:: SOT 349142 SOS 186213 HAS SOPS 175311 HAS SOUS 88920 HAS SOUPS 86974 WITH SCORE 87160.213
AT ITER 271 NEW BEST:: SOT 346044 SOS 183115 HAS SOPS 172213 HAS SOUS 85861 HAS SOUPS 83915 WITH SCORE 84098.115
AT ITER 275 NEW BEST:: SOT 346656 SOS 183729 HAS SOPS 172827 HAS SOUS 83479 HAS SOUPS 81533 WITH SCORE 81716.729
AT ITER 276 NEW BEST:: SOT 346656 SOS 183729 HAS SOPS 172839 HAS SOUS 82533 HAS SOUPS 80587 WITH SCORE 80770.729
AT ITER 280 NEW BEST:: SOT 346656 SOS 183667 HAS SOPS 172777 HAS SOUS 82533 HAS SOUPS 80587 WITH SCORE 80770.667
AT ITER 289 NEW BEST:: SOT 344123 SOS 182294 HAS SOPS 171829 HAS SOUS 82443 HAS SOUPS 80497 WITH SCORE 80679.294
AT ITER 291 NEW BEST:: SOT 344129 SOS 182311 HAS SOPS 171846 HAS SOUS 82396 HAS SOUPS 80450 WITH SCORE 80632.311
AT ITER 301 NEW BEST:: SOT 345885 SOS 184067 HAS SOPS 173602 HAS SOUS 81834 HAS SOUPS 79888 WITH SCORE 80072.067
AT ITER 324 NEW BEST:: SOT 345884 SOS 184064 HAS SOPS 173599 HAS SOUS 81831 HAS SOUPS 79885 WITH SCORE 80069.064
AT ITER 325 NEW BEST:: SOT 345541 SOS 183721 HAS SOPS 173256 HAS SOUS 81496 HAS SOUPS 79550 WITH SCORE 79733.721
AT ITER 344 NEW BEST:: SOT 345541 SOS 183720 HAS SOPS 173255 HAS SOUS 81495 HAS SOUPS 79549 WITH SCORE 79732.72
AT ITER 348 NEW BEST:: SOT 345541 SOS 183727 HAS SOPS 173217 HAS SOUS 81500 HAS SOUPS 79543 WITH SCORE 79726.727
AT ITER 359 NEW BEST:: SOT 345540 SOS 183659 HAS SOPS 173149 HAS SOUS 81456 HAS SOUPS 79499 WITH SCORE 79682.659
AT ITER 365 NEW BEST:: SOT 345540 SOS 183704 HAS SOPS 173194 HAS SOUS 81431 HAS SOUPS 79474 WITH SCORE 79657.704
AT ITER 376 NEW BEST:: SOT 345562 SOS 183802 HAS SOPS 173292 HAS SOUS 81400 HAS SOUPS 79443 WITH SCORE 79626.802
AT ITER 383 NEW BEST:: SOT 345528 SOS 183768 HAS SOPS 173258 HAS SOUS 81366 HAS SOUPS 79409 WITH SCORE 79592.768
AT ITER 385 NEW BEST:: SOT 345227 SOS 183467 HAS SOPS 172957 HAS SOUS 81080 HAS SOUPS 79123 WITH SCORE 79306.467
AT ITER 386 NEW BEST:: SOT 344942 SOS 183182 HAS SOPS 172672 HAS SOUS 80795 HAS SOUPS 78838 WITH SCORE 79021.182
AT ITER 391 NEW BEST:: SOT 344942 SOS 182752 HAS SOPS 172242 HAS SOUS 80779 HAS SOUPS 78822 WITH SCORE 79004.752
AT ITER 392 NEW BEST:: SOT 344940 SOS 182772 HAS SOPS 172262 HAS SOUS 80726 HAS SOUPS 78769 WITH SCORE 78951.772
AT ITER 395 NEW BEST:: SOT 344746 SOS 182605 HAS SOPS 172181 HAS SOUS 78833 HAS SOUPS 76864 WITH SCORE 77046.605
AT ITER 402 NEW BEST:: SOT 344729 SOS 182570 HAS SOPS 172146 HAS SOUS 78738 HAS SOUPS 76769 WITH SCORE 76951.57
AT ITER 407 NEW BEST:: SOT 333887 SOS 171731 HAS SOPS 161487 HAS SOUS 65699 HAS SOUPS 63910 WITH SCORE 64081.731
AT ITER 419 NEW BEST:: SOT 333887 SOS 171731 HAS SOPS 161487 HAS SOUS 65688 HAS SOUPS 63899 WITH SCORE 64070.731
AT ITER 423 NEW BEST:: SOT 333871 SOS 171715 HAS SOPS 161471 HAS SOUS 64181 HAS SOUPS 62392 WITH SCORE 62563.715
AT ITER 429 NEW BEST:: SOT 333647 SOS 171491 HAS SOPS 161247 HAS SOUS 63558 HAS SOUPS 61769 WITH SCORE 61940.491
AT ITER 433 NEW BEST:: SOT 332977 SOS 170821 HAS SOPS 160577 HAS SOUS 62142 HAS SOUPS 60353 WITH SCORE 60523.821
AT ITER 434 NEW BEST:: SOT 332971 SOS 170815 HAS SOPS 160571 HAS SOUS 61422 HAS SOUPS 59633 WITH SCORE 59803.815
AT ITER 436 NEW BEST:: SOT 332734 SOS 170578 HAS SOPS 160334 HAS SOUS 61225 HAS SOUPS 59436 WITH SCORE 59606.578
AT ITER 444 NEW BEST:: SOT 332726 SOS 170189 HAS SOPS 160273 HAS SOUS 61204 HAS SOUPS 59423 WITH SCORE 59593.189
AT ITER 450 NEW BEST:: SOT 332156 SOS 169707 HAS SOPS 159968 HAS SOUS 60704 HAS SOUPS 59100 WITH SCORE 59269.707
AT ITER 453 NEW BEST:: SOT 331718 SOS 169269 HAS SOPS 159530 HAS SOUS 59687 HAS SOUPS 58083 WITH SCORE 58252.269
AT ITER 477 NEW BEST:: SOT 331718 SOS 169271 HAS SOPS 159532 HAS SOUS 59589 HAS SOUPS 57985 WITH SCORE 58154.271
AT ITER 489 NEW BEST:: SOT 331713 SOS 169266 HAS SOPS 159527 HAS SOUS 59584 HAS SOUPS 57980 WITH SCORE 58149.266
AT ITER 498 NEW BEST:: SOT 331705 SOS 169236 HAS SOPS 159497 HAS SOUS 59554 HAS SOUPS 57950 WITH SCORE 58119.236
AT ITER 509 NEW BEST:: SOT 331732 SOS 169341 HAS SOPS 159602 HAS SOUS 59491 HAS SOUPS 57887 WITH SCORE 58056.341
AT ITER 527 NEW BEST:: SOT 330303 SOS 170858 HAS SOPS 161119 HAS SOUS 59437 HAS SOUPS 57833 WITH SCORE 58003.858
AT ITER 546 NEW BEST:: SOT 330286 SOS 170804 HAS SOPS 161065 HAS SOUS 59158 HAS SOUPS 57554 WITH SCORE 57724.804
AT ITER 547 NEW BEST:: SOT 330263 SOS 170804 HAS SOPS 161065 HAS SOUS 59063 HAS SOUPS 57459 WITH SCORE 57629.804
AT ITER 548 NEW BEST:: SOT 330255 SOS 170788 HAS SOPS 161049 HAS SOUS 59063 HAS SOUPS 57459 WITH SCORE 57629.788
AT ITER 563 NEW BEST:: SOT 328908 SOS 169441 HAS SOPS 159702 HAS SOUS 57281 HAS SOUPS 55677 WITH SCORE 55846.441
AT ITER 568 NEW BEST:: SOT 328610 SOS 169143 HAS SOPS 159404 HAS SOUS 56669 HAS SOUPS 55065 WITH SCORE 55234.143
AT ITER 569 NEW BEST:: SOT 328606 SOS 169127 HAS SOPS 159317 HAS SOUS 56649 HAS SOUPS 55053 WITH SCORE 55222.127
AT ITER 579 NEW BEST:: SOT 328664 SOS 169263 HAS SOPS 159453 HAS SOUS 56623 HAS SOUPS 55027 WITH SCORE 55196.263
AT ITER 587 NEW BEST:: SOT 328498 SOS 169097 HAS SOPS 159287 HAS SOUS 56457 HAS SOUPS 54861 WITH SCORE 55030.097
AT ITER 596 NEW BEST:: SOT 328498 SOS 169094 HAS SOPS 159284 HAS SOUS 56454 HAS SOUPS 54858 WITH SCORE 55027.094
AT ITER 600 NEW BEST:: SOT 328830 SOS 169426 HAS SOPS 159616 HAS SOUS 55438 HAS SOUPS 53842 WITH SCORE 54011.426
AT ITER 633 NEW BEST:: SOT 328819 SOS 169402 HAS SOPS 159592 HAS SOUS 55414 HAS SOUPS 53818 WITH SCORE 53987.402
AT ITER 640 NEW BEST:: SOT 328131 SOS 168714 HAS SOPS 158904 HAS SOUS 55092 HAS SOUPS 53496 WITH SCORE 53664.714
AT ITER 645 NEW BEST:: SOT 326182 SOS 166765 HAS SOPS 156955 HAS SOUS 51103 HAS SOUPS 49507 WITH SCORE 49673.765
AT ITER 646 NEW BEST:: SOT 326160 SOS 167423 HAS SOPS 157613 HAS SOUS 51098 HAS SOUPS 49502 WITH SCORE 49669.423
AT ITER 659 NEW BEST:: SOT 325852 SOS 167115 HAS SOPS 157305 HAS SOUS 50790 HAS SOUPS 49194 WITH SCORE 49361.115
AT ITER 661 NEW BEST:: SOT 325852 SOS 167040 HAS SOPS 157305 HAS SOUS 50790 HAS SOUPS 49185 WITH SCORE 49352.04
AT ITER 673 NEW BEST:: SOT 325911 SOS 167099 HAS SOPS 157364 HAS SOUS 50670 HAS SOUPS 49065 WITH SCORE 49232.099
AT ITER 685 NEW BEST:: SOT 325781 SOS 166969 HAS SOPS 157234 HAS SOUS 50068 HAS SOUPS 48463 WITH SCORE 48629.969
AT ITER 688 NEW BEST:: SOT 325761 SOS 166949 HAS SOPS 157214 HAS SOUS 50026 HAS SOUPS 48421 WITH SCORE 48587.949
AT ITER 709 NEW BEST:: SOT 325767 SOS 166955 HAS SOPS 157220 HAS SOUS 50020 HAS SOUPS 48415 WITH SCORE 48581.955
AT ITER 710 NEW BEST:: SOT 325767 SOS 166896 HAS SOPS 157161 HAS SOUS 50015 HAS SOUPS 48410 WITH SCORE 48576.896
AT ITER 739 NEW BEST:: SOT 325752 SOS 166881 HAS SOPS 157146 HAS SOUS 50000 HAS SOUPS 48395 WITH SCORE 48561.881
AT ITER 742 NEW BEST:: SOT 325394 SOS 166523 HAS SOPS 156788 HAS SOUS 49262 HAS SOUPS 47657 WITH SCORE 47823.523
AT ITER 751 NEW BEST:: SOT 324954 SOS 167586 HAS SOPS 157854 HAS SOUS 49153 HAS SOUPS 47551 WITH SCORE 47718.586
AT ITER 752 NEW BEST:: SOT 324954 SOS 167590 HAS SOPS 157778 HAS SOUS 49145 HAS SOUPS 47543 WITH SCORE 47710.59
AT ITER 759 NEW BEST:: SOT 324801 SOS 167498 HAS SOPS 157686 HAS SOUS 49061 HAS SOUPS 47459 WITH SCORE 47626.498
AT ITER 764 NEW BEST:: SOT 324808 SOS 167545 HAS SOPS 157733 HAS SOUS 49031 HAS SOUPS 47429 WITH SCORE 47596.545
AT ITER 766 NEW BEST:: SOT 324602 SOS 167339 HAS SOPS 157527 HAS SOUS 48925 HAS SOUPS 47323 WITH SCORE 47490.339
AT ITER 788 NEW BEST:: SOT 324423 SOS 167160 HAS SOPS 157348 HAS SOUS 47838 HAS SOUPS 46236 WITH SCORE 46403.16
AT ITER 790 NEW BEST:: SOT 324417 SOS 167977 HAS SOPS 158165 HAS SOUS 47811 HAS SOUPS 46209 WITH SCORE 46376.977
AT ITER 794 NEW BEST:: SOT 323718 SOS 167276 HAS SOPS 157464 HAS SOUS 47110 HAS SOUPS 45508 WITH SCORE 45675.276
AT ITER 806 NEW BEST:: SOT 323717 SOS 167275 HAS SOPS 157463 HAS SOUS 47109 HAS SOUPS 45507 WITH SCORE 45674.275
AT ITER 814 NEW BEST:: SOT 323715 SOS 167273 HAS SOPS 157461 HAS SOUS 47105 HAS SOUPS 45503 WITH SCORE 45670.273
AT ITER 823 NEW BEST:: SOT 323807 SOS 173031 HAS SOPS 160842 HAS SOUS 46229 HAS SOUPS 44535 WITH SCORE 44708.031
AT ITER 827 NEW BEST:: SOT 323774 SOS 172998 HAS SOPS 160809 HAS SOUS 46187 HAS SOUPS 44493 WITH SCORE 44665.998
AT ITER 844 NEW BEST:: SOT 323774 SOS 173003 HAS SOPS 160814 HAS SOUS 46161 HAS SOUPS 44467 WITH SCORE 44640.003
AT ITER 848 NEW BEST:: SOT 323770 SOS 172999 HAS SOPS 160810 HAS SOUS 46157 HAS SOUPS 44463 WITH SCORE 44635.999
AT ITER 858 NEW BEST:: SOT 323010 SOS 172248 HAS SOPS 160529 HAS SOUS 45117 HAS SOUPS 43876 WITH SCORE 44048.248
AT ITER 868 NEW BEST:: SOT 323004 SOS 172235 HAS SOPS 160516 HAS SOUS 45104 HAS SOUPS 43863 WITH SCORE 44035.235
AT ITER 870 NEW BEST:: SOT 323103 SOS 172330 HAS SOPS 160436 HAS SOUS 45248 HAS SOUPS 43839 WITH SCORE 44011.33
AT ITER 877 NEW BEST:: SOT 323098 SOS 172298 HAS SOPS 160404 HAS SOUS 45216 HAS SOUPS 43807 WITH SCORE 43979.298
AT ITER 901 NEW BEST:: SOT 323094 SOS 172286 HAS SOPS 160392 HAS SOUS 45204 HAS SOUPS 43795 WITH SCORE 43967.286
AT ITER 917 NEW BEST:: SOT 323125 SOS 170854 HAS SOPS 159423 HAS SOUS 45156 HAS SOUPS 43782 WITH SCORE 43952.854
AT ITER 918 NEW BEST:: SOT 323314 SOS 171046 HAS SOPS 159765 HAS SOUS 44480 HAS SOUPS 43102 WITH SCORE 43273.046
AT ITER 926 NEW BEST:: SOT 323305 SOS 171015 HAS SOPS 159734 HAS SOUS 44449 HAS SOUPS 43071 WITH SCORE 43242.015
AT ITER 932 NEW BEST:: SOT 323294 SOS 171703 HAS SOPS 160422 HAS SOUS 44441 HAS SOUPS 43063 WITH SCORE 43234.703
AT ITER 943 NEW BEST:: SOT 323294 SOS 171702 HAS SOPS 160421 HAS SOUS 44440 HAS SOUPS 43062 WITH SCORE 43233.702
AT ITER 986 NEW BEST:: SOT 323286 SOS 171681 HAS SOPS 160400 HAS SOUS 44419 HAS SOUPS 43041 WITH SCORE 43212.681
AT ITER 998 NEW BEST:: SOT 323281 SOS 171677 HAS SOPS 160396 HAS SOUS 44415 HAS SOUPS 43037 WITH SCORE 43208.677
AT ITER 1007 NEW BEST:: SOT 323281 SOS 171736 HAS SOPS 160455 HAS SOUS 44405 HAS SOUPS 43027 WITH SCORE 43198.736
AT ITER 1009 NEW BEST:: SOT 323268 SOS 171711 HAS SOPS 160430 HAS SOUS 44380 HAS SOUPS 43002 WITH SCORE 43173.711
AT ITER 1010 NEW BEST:: SOT 323268 SOS 171731 HAS SOPS 160450 HAS SOUS 44360 HAS SOUPS 42982 WITH SCORE 43153.731
AT ITER 1021 NEW BEST:: SOT 323038 SOS 171501 HAS SOPS 160220 HAS SOUS 43900 HAS SOUPS 42522 WITH SCORE 42693.501
AT ITER 1030 NEW BEST:: SOT 323038 SOS 171493 HAS SOPS 160212 HAS SOUS 43892 HAS SOUPS 42514 WITH SCORE 42685.493
AT ITER 1047 NEW BEST:: SOT 323038 SOS 171504 HAS SOPS 160223 HAS SOUS 43860 HAS SOUPS 42482 WITH SCORE 42653.504
AT ITER 1048 NEW BEST:: SOT 323032 SOS 171472 HAS SOPS 160191 HAS SOUS 43828 HAS SOUPS 42450 WITH SCORE 42621.472
AT ITER 1049 NEW BEST:: SOT 321656 SOS 170096 HAS SOPS 158815 HAS SOUS 42870 HAS SOUPS 41492 WITH SCORE 41662.096
AT ITER 1053 NEW BEST:: SOT 321656 SOS 170110 HAS SOPS 158829 HAS SOUS 42856 HAS SOUPS 41478 WITH SCORE 41648.11
AT ITER 1062 NEW BEST:: SOT 321656 SOS 170106 HAS SOPS 158825 HAS SOUS 42852 HAS SOUPS 41474 WITH SCORE 41644.106
AT ITER 1068 NEW BEST:: SOT 319790 SOS 168240 HAS SOPS 156959 HAS SOUS 41045 HAS SOUPS 39667 WITH SCORE 39835.24
AT ITER 1071 NEW BEST:: SOT 319788 SOS 160217 HAS SOPS 151091 HAS SOUS 40752 HAS SOUPS 39432 WITH SCORE 39592.217
AT ITER 1077 NEW BEST:: SOT 319765 SOS 160183 HAS SOPS 151057 HAS SOUS 40695 HAS SOUPS 39375 WITH SCORE 39535.183
AT ITER 1091 NEW BEST:: SOT 319763 SOS 160181 HAS SOPS 151055 HAS SOUS 40693 HAS SOUPS 39373 WITH SCORE 39533.181
AT ITER 1096 NEW BEST:: SOT 319757 SOS 160175 HAS SOPS 151049 HAS SOUS 40687 HAS SOUPS 39367 WITH SCORE 39527.175
AT ITER 1130 NEW BEST:: SOT 319648 SOS 159933 HAS SOPS 150807 HAS SOUS 40632 HAS SOUPS 39312 WITH SCORE 39471.933
AT ITER 1141 NEW BEST:: SOT 319649 SOS 159922 HAS SOPS 150796 HAS SOUS 40621 HAS SOUPS 39301 WITH SCORE 39460.922
AT ITER 1154 NEW BEST:: SOT 319640 SOS 159894 HAS SOPS 150768 HAS SOUS 40593 HAS SOUPS 39273 WITH SCORE 39432.894
AT ITER 1156 NEW BEST:: SOT 319630 SOS 159867 HAS SOPS 150741 HAS SOUS 40566 HAS SOUPS 39246 WITH SCORE 39405.867
AT ITER 1164 NEW BEST:: SOT 319616 SOS 159806 HAS SOPS 150680 HAS SOUS 40505 HAS SOUPS 39185 WITH SCORE 39344.806
AT ITER 1167 NEW BEST:: SOT 319498 SOS 159688 HAS SOPS 150562 HAS SOUS 40387 HAS SOUPS 39067 WITH SCORE 39226.688
AT ITER 1230 NEW BEST:: SOT 319617 SOS 159773 HAS SOPS 150647 HAS SOUS 40297 HAS SOUPS 38977 WITH SCORE 39136.773
AT ITER 1253 NEW BEST:: SOT 319617 SOS 159734 HAS SOPS 150608 HAS SOUS 40297 HAS SOUPS 38977 WITH SCORE 39136.734
AT ITER 1254 NEW BEST:: SOT 319636 SOS 159731 HAS SOPS 150605 HAS SOUS 40294 HAS SOUPS 38974 WITH SCORE 39133.731
AT ITER 1290 NEW BEST:: SOT 319176 SOS 159271 HAS SOPS 150145 HAS SOUS 39374 HAS SOUPS 38054 WITH SCORE 38213.271
AT ITER 1291 NEW BEST:: SOT 319161 SOS 159256 HAS SOPS 150130 HAS SOUS 39359 HAS SOUPS 38039 WITH SCORE 38198.256
AT ITER 1297 NEW BEST:: SOT 319158 SOS 159244 HAS SOPS 150118 HAS SOUS 39347 HAS SOUPS 38027 WITH SCORE 38186.244
AT ITER 1315 NEW BEST:: SOT 318914 SOS 159000 HAS SOPS 149874 HAS SOUS 38843 HAS SOUPS 37523 WITH SCORE 37682.0
AT ITER 1345 NEW BEST:: SOT 318914 SOS 162095 HAS SOPS 152633 HAS SOUS 38416 HAS SOUPS 37050 WITH SCORE 37212.095
AT ITER 1359 NEW BEST:: SOT 318853 SOS 162034 HAS SOPS 152572 HAS SOUS 38335 HAS SOUPS 36969 WITH SCORE 37131.034
AT ITER 1373 NEW BEST:: SOT 318865 SOS 162058 HAS SOPS 152596 HAS SOUS 37664 HAS SOUPS 36298 WITH SCORE 36460.058
AT ITER 1414 NEW BEST:: SOT 318861 SOS 162047 HAS SOPS 152585 HAS SOUS 37663 HAS SOUPS 36297 WITH SCORE 36459.047
AT ITER 1415 NEW BEST:: SOT 318652 SOS 161838 HAS SOPS 152376 HAS SOUS 37244 HAS SOUPS 35878 WITH SCORE 36039.838
AT ITER 1452 NEW BEST:: SOT 318652 SOS 163927 HAS SOPS 152296 HAS SOUS 37133 HAS SOUPS 35821 WITH SCORE 35984.927
AT ITER 1474 NEW BEST:: SOT 318693 SOS 166461 HAS SOPS 153647 HAS SOUS 37172 HAS SOUPS 35802 WITH SCORE 35968.461
AT ITER 1499 NEW BEST:: SOT 318686 SOS 166453 HAS SOPS 153639 HAS SOUS 37164 HAS SOUPS 35794 WITH SCORE 35960.453
AT ITER 1508 NEW BEST:: SOT 318683 SOS 166450 HAS SOPS 153636 HAS SOUS 37161 HAS SOUPS 35791 WITH SCORE 35957.45
AT ITER 1526 NEW BEST:: SOT 318685 SOS 166451 HAS SOPS 153637 HAS SOUS 37156 HAS SOUPS 35786 WITH SCORE 35952.451
AT ITER 1585 NEW BEST:: SOT 318671 SOS 166437 HAS SOPS 153623 HAS SOUS 37131 HAS SOUPS 35766 WITH SCORE 35932.437
AT ITER 1588 NEW BEST:: SOT 318958 SOS 166724 HAS SOPS 153910 HAS SOUS 36814 HAS SOUPS 35449 WITH SCORE 35615.724
AT ITER 1628 NEW BEST:: SOT 318958 SOS 166722 HAS SOPS 153908 HAS SOUS 36812 HAS SOUPS 35447 WITH SCORE 35613.722
AT ITER 1631 NEW BEST:: SOT 319001 SOS 166840 HAS SOPS 154026 HAS SOUS 36753 HAS SOUPS 35388 WITH SCORE 35554.84
AT ITER 1643 NEW BEST:: SOT 319001 SOS 168884 HAS SOPS 154412 HAS SOUS 36646 HAS SOUPS 35315 WITH SCORE 35483.884
AT ITER 1649 NEW BEST:: SOT 318983 SOS 168848 HAS SOPS 154376 HAS SOUS 36610 HAS SOUPS 35279 WITH SCORE 35447.848
AT ITER 1665 NEW BEST:: SOT 318982 SOS 168841 HAS SOPS 154369 HAS SOUS 36581 HAS SOUPS 35250 WITH SCORE 35418.841
AT ITER 1670 NEW BEST:: SOT 318941 SOS 168758 HAS SOPS 154286 HAS SOUS 36498 HAS SOUPS 35167 WITH SCORE 35335.758
AT ITER 1697 NEW BEST:: SOT 318735 SOS 168552 HAS SOPS 154080 HAS SOUS 36098 HAS SOUPS 34767 WITH SCORE 34935.552
AT ITER 1707 NEW BEST:: SOT 318737 SOS 166669 HAS SOPS 153602 HAS SOUS 36064 HAS SOUPS 34730 WITH SCORE 34896.669
AT ITER 1716 NEW BEST:: SOT 318357 SOS 166289 HAS SOPS 153222 HAS SOUS 35308 HAS SOUPS 33974 WITH SCORE 34140.289
AT ITER 1721 NEW BEST:: SOT 318352 SOS 166284 HAS SOPS 153217 HAS SOUS 35298 HAS SOUPS 33964 WITH SCORE 34130.284
AT ITER 1728 NEW BEST:: SOT 318324 SOS 165038 HAS SOPS 152783 HAS SOUS 35231 HAS SOUPS 33921 WITH SCORE 34086.038
AT ITER 1733 NEW BEST:: SOT 318362 SOS 165076 HAS SOPS 152821 HAS SOUS 35153 HAS SOUPS 33843 WITH SCORE 34008.076
AT ITER 1748 NEW BEST:: SOT 318362 SOS 165070 HAS SOPS 152815 HAS SOUS 35147 HAS SOUPS 33837 WITH SCORE 34002.07
AT ITER 1756 NEW BEST:: SOT 318362 SOS 165070 HAS SOPS 152815 HAS SOUS 35075 HAS SOUPS 33765 WITH SCORE 33930.07
AT ITER 1799 NEW BEST:: SOT 318362 SOS 165278 HAS SOPS 152695 HAS SOUS 35054 HAS SOUPS 33752 WITH SCORE 33917.278
AT ITER 1830 NEW BEST:: SOT 318394 SOS 165339 HAS SOPS 152756 HAS SOUS 35044 HAS SOUPS 33742 WITH SCORE 33907.339
AT ITER 1845 NEW BEST:: SOT 318385 SOS 165236 HAS SOPS 152653 HAS SOUS 35037 HAS SOUPS 33735 WITH SCORE 33900.236
AT ITER 1847 NEW BEST:: SOT 318831 SOS 165682 HAS SOPS 153099 HAS SOUS 34851 HAS SOUPS 33549 WITH SCORE 33714.682
AT ITER 1898 NEW BEST:: SOT 318831 SOS 165682 HAS SOPS 152909 HAS SOUS 34784 HAS SOUPS 33492 WITH SCORE 33657.682
AT ITER 1914 NEW BEST:: SOT 318708 SOS 165635 HAS SOPS 152862 HAS SOUS 34766 HAS SOUPS 33474 WITH SCORE 33639.635
AT ITER 1924 NEW BEST:: SOT 318588 SOS 165515 HAS SOPS 152742 HAS SOUS 34526 HAS SOUPS 33234 WITH SCORE 33399.515
AT ITER 1938 NEW BEST:: SOT 318588 SOS 163953 HAS SOPS 151882 HAS SOUS 34481 HAS SOUPS 33189 WITH SCORE 33352.953
AT ITER 1949 NEW BEST:: SOT 318020 SOS 163385 HAS SOPS 151314 HAS SOUS 34067 HAS SOUPS 32775 WITH SCORE 32938.385
AT ITER 1978 NEW BEST:: SOT 318001 SOS 163346 HAS SOPS 151275 HAS SOUS 34028 HAS SOUPS 32736 WITH SCORE 32899.346
AT ITER 1986 NEW BEST:: SOT 318003 SOS 163345 HAS SOPS 151274 HAS SOUS 34027 HAS SOUPS 32735 WITH SCORE 32898.345
AT ITER 2009 NEW BEST:: SOT 318006 SOS 163344 HAS SOPS 151273 HAS SOUS 34026 HAS SOUPS 32734 WITH SCORE 32897.344
AT ITER 2012 NEW BEST:: SOT 317934 SOS 163272 HAS SOPS 151201 HAS SOUS 33762 HAS SOUPS 32470 WITH SCORE 32633.272
AT ITER 2027 NEW BEST:: SOT 317836 SOS 163174 HAS SOPS 151103 HAS SOUS 33664 HAS SOUPS 32372 WITH SCORE 32535.174
AT ITER 2070 NEW BEST:: SOT 317813 SOS 163105 HAS SOPS 151034 HAS SOUS 33641 HAS SOUPS 32349 WITH SCORE 32512.105
AT ITER 2116 NEW BEST:: SOT 317813 SOS 163865 HAS SOPS 151298 HAS SOUS 33644 HAS SOUPS 32334 WITH SCORE 32497.865
AT ITER 2133 NEW BEST:: SOT 317811 SOS 163863 HAS SOPS 151296 HAS SOUS 33642 HAS SOUPS 32332 WITH SCORE 32495.863
AT ITER 2136 NEW BEST:: SOT 317774 SOS 163826 HAS SOPS 151259 HAS SOUS 33568 HAS SOUPS 32258 WITH SCORE 32421.826
AT ITER 2174 NEW BEST:: SOT 317791 SOS 163893 HAS SOPS 151326 HAS SOUS 33496 HAS SOUPS 32186 WITH SCORE 32349.893
AT ITER 2191 NEW BEST:: SOT 317791 SOS 163903 HAS SOPS 151336 HAS SOUS 33486 HAS SOUPS 32176 WITH SCORE 32339.903
AT ITER 2312 NEW BEST:: SOT 317755 SOS 163867 HAS SOPS 151154 HAS SOUS 33379 HAS SOUPS 32075 WITH SCORE 32238.867
AT ITER 2344 NEW BEST:: SOT 317743 SOS 163782 HAS SOPS 151069 HAS SOUS 33350 HAS SOUPS 32046 WITH SCORE 32209.782
AT ITER 2349 NEW BEST:: SOT 317713 SOS 162374 HAS SOPS 150619 HAS SOUS 33327 HAS SOUPS 32047 WITH SCORE 32209.374
AT ITER 2364 NEW BEST:: SOT 317712 SOS 162373 HAS SOPS 150618 HAS SOUS 33325 HAS SOUPS 32045 WITH SCORE 32207.373
AT ITER 2374 NEW BEST:: SOT 317482 SOS 162143 HAS SOPS 150388 HAS SOUS 32845 HAS SOUPS 31565 WITH SCORE 31727.143
AT ITER 2377 NEW BEST:: SOT 317442 SOS 162103 HAS SOPS 150348 HAS SOUS 32765 HAS SOUPS 31485 WITH SCORE 31647.103
AT ITER 2410 NEW BEST:: SOT 317186 SOS 162039 HAS SOPS 151314 HAS SOUS 32775 HAS SOUPS 31387 WITH SCORE 31549.039
AT ITER 2414 NEW BEST:: SOT 317186 SOS 162039 HAS SOPS 151105 HAS SOUS 32755 HAS SOUPS 31370 WITH SCORE 31532.039
AT ITER 2427 NEW BEST:: SOT 317168 SOS 162021 HAS SOPS 151087 HAS SOUS 32737 HAS SOUPS 31352 WITH SCORE 31514.021
AT ITER 2443 NEW BEST:: SOT 317278 SOS 162207 HAS SOPS 151273 HAS SOUS 32697 HAS SOUPS 31312 WITH SCORE 31474.207
AT ITER 2452 NEW BEST:: SOT 317093 SOS 162022 HAS SOPS 151088 HAS SOUS 32327 HAS SOUPS 30942 WITH SCORE 31104.022
AT ITER 2466 NEW BEST:: SOT 317045 SOS 161974 HAS SOPS 151040 HAS SOUS 32241 HAS SOUPS 30856 WITH SCORE 31017.974
AT ITER 2467 NEW BEST:: SOT 317044 SOS 161970 HAS SOPS 151036 HAS SOUS 32237 HAS SOUPS 30852 WITH SCORE 31013.97
AT ITER 2475 NEW BEST:: SOT 317014 SOS 161940 HAS SOPS 151007 HAS SOUS 32095 HAS SOUPS 30710 WITH SCORE 30871.94
AT ITER 2493 NEW BEST:: SOT 317012 SOS 161938 HAS SOPS 151005 HAS SOUS 32093 HAS SOUPS 30708 WITH SCORE 30869.938
AT ITER 2504 NEW BEST:: SOT 317004 SOS 161930 HAS SOPS 150997 HAS SOUS 32085 HAS SOUPS 30700 WITH SCORE 30861.93
AT ITER 2506 NEW BEST:: SOT 317004 SOS 161911 HAS SOPS 150959 HAS SOUS 32081 HAS SOUPS 30697 WITH SCORE 30858.911
AT ITER 2513 NEW BEST:: SOT 317004 SOS 162353 HAS SOPS 150225 HAS SOUS 31974 HAS SOUPS 30616 WITH SCORE 30778.353
AT ITER 2516 NEW BEST:: SOT 317004 SOS 162914 HAS SOPS 150089 HAS SOUS 31936 HAS SOUPS 30589 WITH SCORE 30751.914
AT ITER 2521 NEW BEST:: SOT 317000 SOS 162378 HAS SOPS 149725 HAS SOUS 31918 HAS SOUPS 30575 WITH SCORE 30737.378
AT ITER 2534 NEW BEST:: SOT 317236 SOS 162646 HAS SOPS 150266 HAS SOUS 31460 HAS SOUPS 30069 WITH SCORE 30231.646
AT ITER 2538 NEW BEST:: SOT 317215 SOS 162394 HAS SOPS 149606 HAS SOUS 31334 HAS SOUPS 29985 WITH SCORE 30147.394
AT ITER 2548 NEW BEST:: SOT 317197 SOS 162376 HAS SOPS 149588 HAS SOUS 31316 HAS SOUPS 29967 WITH SCORE 30129.376
AT ITER 2561 NEW BEST:: SOT 317206 SOS 162431 HAS SOPS 149643 HAS SOUS 31226 HAS SOUPS 29877 WITH SCORE 30039.431
AT ITER 2649 NEW BEST:: SOT 317205 SOS 162430 HAS SOPS 149642 HAS SOUS 31224 HAS SOUPS 29875 WITH SCORE 30037.43
AT ITER 2657 NEW BEST:: SOT 317132 SOS 162379 HAS SOPS 149591 HAS SOUS 31216 HAS SOUPS 29867 WITH SCORE 30029.379
AT ITER 2673 NEW BEST:: SOT 317045 SOS 162292 HAS SOPS 149504 HAS SOUS 31056 HAS SOUPS 29707 WITH SCORE 29869.292
AT ITER 2701 NEW BEST:: SOT 317045 SOS 163311 HAS SOPS 149964 HAS SOUS 31028 HAS SOUPS 29692 WITH SCORE 29855.311
AT ITER 2719 NEW BEST:: SOT 317045 SOS 163311 HAS SOPS 150004 HAS SOUS 31024 HAS SOUPS 29688 WITH SCORE 29851.311
AT ITER 2725 NEW BEST:: SOT 317045 SOS 163309 HAS SOPS 150002 HAS SOUS 31022 HAS SOUPS 29686 WITH SCORE 29849.309
AT ITER 2805 NEW BEST:: SOT 317100 SOS 163427 HAS SOPS 150120 HAS SOUS 30997 HAS SOUPS 29661 WITH SCORE 29824.427
AT ITER 2831 NEW BEST:: SOT 317100 SOS 163427 HAS SOPS 150260 HAS SOUS 30994 HAS SOUPS 29658 WITH SCORE 29821.427
AT ITER 2870 NEW BEST:: SOT 317099 SOS 163420 HAS SOPS 150253 HAS SOUS 30987 HAS SOUPS 29651 WITH SCORE 29814.42
AT ITER 2871 NEW BEST:: SOT 317078 SOS 163399 HAS SOPS 150232 HAS SOUS 30945 HAS SOUPS 29609 WITH SCORE 29772.399
AT ITER 2903 NEW BEST:: SOT 317075 SOS 163356 HAS SOPS 150152 HAS SOUS 30922 HAS SOUPS 29594 WITH SCORE 29757.356
AT ITER 2905 NEW BEST:: SOT 317027 SOS 163308 HAS SOPS 150104 HAS SOUS 30814 HAS SOUPS 29486 WITH SCORE 29649.308
AT ITER 2919 NEW BEST:: SOT 317011 SOS 163300 HAS SOPS 150096 HAS SOUS 30806 HAS SOUPS 29478 WITH SCORE 29641.3
AT ITER 2936 NEW BEST:: SOT 316979 SOS 163268 HAS SOPS 150064 HAS SOUS 30788 HAS SOUPS 29460 WITH SCORE 29623.268
AT ITER 2974 NEW BEST:: SOT 316881 SOS 163170 HAS SOPS 149966 HAS SOUS 30552 HAS SOUPS 29224 WITH SCORE 29387.17
AT ITER 2975 NEW BEST:: SOT 316881 SOS 162930 HAS SOPS 149726 HAS SOUS 30538 HAS SOUPS 29210 WITH SCORE 29372.93
AT ITER 2995 NEW BEST:: SOT 316915 SOS 162964 HAS SOPS 149760 HAS SOUS 30534 HAS SOUPS 29206 WITH SCORE 29368.964
AT ITER 3016 NEW BEST:: SOT 316913 SOS 162962 HAS SOPS 149685 HAS SOUS 30515 HAS SOUPS 29187 WITH SCORE 29349.962
AT ITER 3045 NEW BEST:: SOT 316913 SOS 162182 HAS SOPS 149325 HAS SOUS 30491 HAS SOUPS 29163 WITH SCORE 29325.182
AT ITER 3098 NEW BEST:: SOT 316913 SOS 162182 HAS SOPS 149325 HAS SOUS 30487 HAS SOUPS 29159 WITH SCORE 29321.182
AT ITER 3128 NEW BEST:: SOT 316913 SOS 162182 HAS SOPS 149225 HAS SOUS 30483 HAS SOUPS 29151 WITH SCORE 29313.182
AT ITER 3169 NEW BEST:: SOT 316941 SOS 162308 HAS SOPS 149351 HAS SOUS 30381 HAS SOUPS 29049 WITH SCORE 29211.308
AT ITER 3170 NEW BEST:: SOT 316883 SOS 162250 HAS SOPS 149293 HAS SOUS 30265 HAS SOUPS 28933 WITH SCORE 29095.25
AT ITER 3188 NEW BEST:: SOT 316978 SOS 162345 HAS SOPS 149388 HAS SOUS 30175 HAS SOUPS 28843 WITH SCORE 29005.345
AT ITER 3216 NEW BEST:: SOT 317060 SOS 162427 HAS SOPS 149470 HAS SOUS 29979 HAS SOUPS 28647 WITH SCORE 28809.427
AT ITER 3252 NEW BEST:: SOT 317061 SOS 162428 HAS SOPS 149470 HAS SOUS 29959 HAS SOUPS 28627 WITH SCORE 28789.428
AT ITER 3257 NEW BEST:: SOT 316987 SOS 162354 HAS SOPS 149396 HAS SOUS 29811 HAS SOUPS 28479 WITH SCORE 28641.354
AT ITER 3297 NEW BEST:: SOT 317572 SOS 162939 HAS SOPS 149978 HAS SOUS 29245 HAS SOUPS 27913 WITH SCORE 28075.939
AT ITER 3301 NEW BEST:: SOT 317560 SOS 162927 HAS SOPS 149966 HAS SOUS 29233 HAS SOUPS 27901 WITH SCORE 28063.927
AT ITER 3313 NEW BEST:: SOT 317560 SOS 162909 HAS SOPS 149948 HAS SOUS 29232 HAS SOUPS 27900 WITH SCORE 28062.909
AT ITER 3342 NEW BEST:: SOT 317532 SOS 162881 HAS SOPS 149920 HAS SOUS 29184 HAS SOUPS 27852 WITH SCORE 28014.881
AT ITER 3365 NEW BEST:: SOT 317652 SOS 163001 HAS SOPS 150040 HAS SOUS 29164 HAS SOUPS 27832 WITH SCORE 27995.001
AT ITER 3385 NEW BEST:: SOT 317219 SOS 162568 HAS SOPS 149607 HAS SOUS 28732 HAS SOUPS 27400 WITH SCORE 27562.568
AT ITER 3410 NEW BEST:: SOT 317216 SOS 162525 HAS SOPS 149547 HAS SOUS 28721 HAS SOUPS 27396 WITH SCORE 27558.525
AT ITER 3467 NEW BEST:: SOT 317213 SOS 162522 HAS SOPS 149544 HAS SOUS 28718 HAS SOUPS 27393 WITH SCORE 27555.522
AT ITER 3489 NEW BEST:: SOT 317210 SOS 162210 HAS SOPS 149301 HAS SOUS 28709 HAS SOUPS 27387 WITH SCORE 27549.21
AT ITER 3503 NEW BEST:: SOT 317072 SOS 161911 HAS SOPS 149002 HAS SOUS 28462 HAS SOUPS 27140 WITH SCORE 27301.911
AT ITER 3557 NEW BEST:: SOT 317072 SOS 161979 HAS SOPS 148982 HAS SOUS 28453 HAS SOUPS 27136 WITH SCORE 27297.979
AT ITER 3630 NEW BEST:: SOT 317070 SOS 161977 HAS SOPS 148980 HAS SOUS 28451 HAS SOUPS 27134 WITH SCORE 27295.977
AT ITER 3649 NEW BEST:: SOT 317070 SOS 162457 HAS SOPS 149460 HAS SOUS 28445 HAS SOUPS 27128 WITH SCORE 27290.457
AT ITER 3670 NEW BEST:: SOT 317051 SOS 160161 HAS SOPS 147960 HAS SOUS 28367 HAS SOUPS 27069 WITH SCORE 27229.161
AT ITER 3714 NEW BEST:: SOT 317123 SOS 160233 HAS SOPS 147948 HAS SOUS 28367 HAS SOUPS 26949 WITH SCORE 27109.233
AT ITER 3761 NEW BEST:: SOT 317123 SOS 160231 HAS SOPS 147946 HAS SOUS 28365 HAS SOUPS 26947 WITH SCORE 27107.231
AT ITER 3763 NEW BEST:: SOT 316830 SOS 159938 HAS SOPS 147653 HAS SOUS 28300 HAS SOUPS 26882 WITH SCORE 27041.938
AT ITER 3771 NEW BEST:: SOT 316830 SOS 159938 HAS SOPS 147215 HAS SOUS 28246 HAS SOUPS 26842 WITH SCORE 27001.938
AT ITER 3811 NEW BEST:: SOT 316805 SOS 158957 HAS SOPS 146284 HAS SOUS 28206 HAS SOUPS 26827 WITH SCORE 26985.957
AT ITER 3818 NEW BEST:: SOT 316691 SOS 158843 HAS SOPS 146170 HAS SOUS 27968 HAS SOUPS 26589 WITH SCORE 26747.843
AT ITER 3823 NEW BEST:: SOT 316691 SOS 158843 HAS SOPS 146210 HAS SOUS 27958 HAS SOUPS 26581 WITH SCORE 26739.843
AT ITER 3887 NEW BEST:: SOT 316688 SOS 158840 HAS SOPS 146207 HAS SOUS 27955 HAS SOUPS 26578 WITH SCORE 26736.84
AT ITER 3927 NEW BEST:: SOT 316680 SOS 158829 HAS SOPS 146196 HAS SOUS 27944 HAS SOUPS 26567 WITH SCORE 26725.829
AT ITER 3931 NEW BEST:: SOT 316680 SOS 158829 HAS SOPS 145922 HAS SOUS 27942 HAS SOUPS 26565 WITH SCORE 26723.829
AT ITER 3986 NEW BEST:: SOT 316579 SOS 158672 HAS SOPS 145765 HAS SOUS 27865 HAS SOUPS 26488 WITH SCORE 26646.672
AT ITER 3987 NEW BEST:: SOT 316579 SOS 158654 HAS SOPS 145747 HAS SOUS 27847 HAS SOUPS 26470 WITH SCORE 26628.654
AT ITER 3994 NEW BEST:: SOT 316428 SOS 158503 HAS SOPS 145596 HAS SOUS 27599 HAS SOUPS 26222 WITH SCORE 26380.503
AT ITER 4004 NEW BEST:: SOT 316421 SOS 158718 HAS SOPS 145811 HAS SOUS 27580 HAS SOUPS 26203 WITH SCORE 26361.718
AT ITER 4072 NEW BEST:: SOT 316420 SOS 158717 HAS SOPS 145810 HAS SOUS 27579 HAS SOUPS 26202 WITH SCORE 26360.717
AT ITER 4112 NEW BEST:: SOT 316418 SOS 158982 HAS SOPS 146075 HAS SOUS 27571 HAS SOUPS 26194 WITH SCORE 26352.982
AT ITER 4115 NEW BEST:: SOT 316373 SOS 158976 HAS SOPS 146069 HAS SOUS 27565 HAS SOUPS 26188 WITH SCORE 26346.976
AT ITER 4149 NEW BEST:: SOT 316369 SOS 158971 HAS SOPS 146064 HAS SOUS 27560 HAS SOUPS 26183 WITH SCORE 26341.971
AT ITER 4157 NEW BEST:: SOT 316307 SOS 158863 HAS SOPS 145956 HAS SOUS 27539 HAS SOUPS 26162 WITH SCORE 26320.863
AT ITER 4164 NEW BEST:: SOT 316298 SOS 157387 HAS SOPS 144687 HAS SOUS 27503 HAS SOUPS 26135 WITH SCORE 26292.387
AT ITER 4218 NEW BEST:: SOT 316289 SOS 157361 HAS SOPS 144661 HAS SOUS 27497 HAS SOUPS 26129 WITH SCORE 26286.361
AT ITER 4230 NEW BEST:: SOT 316289 SOS 157361 HAS SOPS 144063 HAS SOUS 27409 HAS SOUPS 26072 WITH SCORE 26229.361
AT ITER 4273 NEW BEST:: SOT 316288 SOS 157257 HAS SOPS 143982 HAS SOUS 27406 HAS SOUPS 26070 WITH SCORE 26227.257
AT ITER 4316 NEW BEST:: SOT 316288 SOS 157257 HAS SOPS 143902 HAS SOUS 27394 HAS SOUPS 26062 WITH SCORE 26219.257
AT ITER 4329 NEW BEST:: SOT 316273 SOS 157227 HAS SOPS 143872 HAS SOUS 27364 HAS SOUPS 26032 WITH SCORE 26189.227
AT ITER 4398 NEW BEST:: SOT 316191 SOS 157145 HAS SOPS 143790 HAS SOUS 27200 HAS SOUPS 25868 WITH SCORE 26025.145
AT ITER 4402 NEW BEST:: SOT 316179 SOS 157133 HAS SOPS 143778 HAS SOUS 27068 HAS SOUPS 25736 WITH SCORE 25893.133
AT ITER 4448 NEW BEST:: SOT 316027 SOS 156981 HAS SOPS 143626 HAS SOUS 26916 HAS SOUPS 25584 WITH SCORE 25740.981
AT ITER 4497 NEW BEST:: SOT 316149 SOS 157103 HAS SOPS 143748 HAS SOUS 26812 HAS SOUPS 25480 WITH SCORE 25637.103
AT ITER 4618 NEW BEST:: SOT 316149 SOS 156983 HAS SOPS 143628 HAS SOUS 26812 HAS SOUPS 25480 WITH SCORE 25636.983
AT ITER 4652 NEW BEST:: SOT 316148 SOS 156982 HAS SOPS 143627 HAS SOUS 26811 HAS SOUPS 25479 WITH SCORE 25635.982
AT ITER 4663 NEW BEST:: SOT 316148 SOS 156980 HAS SOPS 143625 HAS SOUS 26809 HAS SOUPS 25477 WITH SCORE 25633.98
AT ITER 4666 NEW BEST:: SOT 316146 SOS 156975 HAS SOPS 143620 HAS SOUS 26804 HAS SOUPS 25472 WITH SCORE 25628.975
AT ITER 4686 NEW BEST:: SOT 316146 SOS 156719 HAS SOPS 143240 HAS SOUS 26786 HAS SOUPS 25457 WITH SCORE 25613.719
AT ITER 4755 NEW BEST:: SOT 316146 SOS 156798 HAS SOPS 143180 HAS SOUS 26774 HAS SOUPS 25445 WITH SCORE 25601.798
AT ITER 4763 NEW BEST:: SOT 316027 SOS 156679 HAS SOPS 143061 HAS SOUS 26481 HAS SOUPS 25152 WITH SCORE 25308.679
AT ITER 4812 NEW BEST:: SOT 316027 SOS 156826 HAS SOPS 142581 HAS SOUS 26447 HAS SOUPS 25125 WITH SCORE 25281.826
AT ITER 4887 NEW BEST:: SOT 315785 SOS 156584 HAS SOPS 142339 HAS SOUS 26123 HAS SOUPS 24801 WITH SCORE 24957.584
AT ITER 4926 NEW BEST:: SOT 315785 SOS 156545 HAS SOPS 142300 HAS SOUS 26123 HAS SOUPS 24801 WITH SCORE 24957.545
AT ITER 4967 NEW BEST:: SOT 315823 SOS 156583 HAS SOPS 142277 HAS SOUS 26121 HAS SOUPS 24738 WITH SCORE 24894.583
AT ITER 5132 NEW BEST:: SOT 315645 SOS 156405 HAS SOPS 142099 HAS SOUS 26061 HAS SOUPS 24678 WITH SCORE 24834.405
AT ITER 5158 NEW BEST:: SOT 315623 SOS 156374 HAS SOPS 142068 HAS SOUS 26017 HAS SOUPS 24634 WITH SCORE 24790.374
AT ITER 5218 NEW BEST:: SOT 315621 SOS 156370 HAS SOPS 142064 HAS SOUS 26013 HAS SOUPS 24630 WITH SCORE 24786.37
AT ITER 5322 NEW BEST:: SOT 315581 SOS 156330 HAS SOPS 142024 HAS SOUS 26013 HAS SOUPS 24630 WITH SCORE 24786.33
AT ITER 5392 NEW BEST:: SOT 315581 SOS 156252 HAS SOPS 141946 HAS SOUS 26013 HAS SOUPS 24630 WITH SCORE 24786.252
AT ITER 5400 NEW BEST:: SOT 315522 SOS 156193 HAS SOPS 141887 HAS SOUS 25895 HAS SOUPS 24512 WITH SCORE 24668.193
AT ITER 5438 NEW BEST:: SOT 315512 SOS 156183 HAS SOPS 141877 HAS SOUS 25889 HAS SOUPS 24506 WITH SCORE 24662.183
AT ITER 5444 NEW BEST:: SOT 315511 SOS 156182 HAS SOPS 141876 HAS SOUS 25888 HAS SOUPS 24505 WITH SCORE 24661.182
AT ITER 5587 NEW BEST:: SOT 315489 SOS 156132 HAS SOPS 141826 HAS SOUS 25866 HAS SOUPS 24483 WITH SCORE 24639.132
AT ITER 5591 NEW BEST:: SOT 315476 SOS 156109 HAS SOPS 141803 HAS SOUS 25843 HAS SOUPS 24460 WITH SCORE 24616.109
AT ITER 5670 NEW BEST:: SOT 315453 SOS 156086 HAS SOPS 141780 HAS SOUS 25797 HAS SOUPS 24414 WITH SCORE 24570.086
AT ITER 5762 NEW BEST:: SOT 315375 SOS 156008 HAS SOPS 141702 HAS SOUS 25641 HAS SOUPS 24258 WITH SCORE 24414.008
AT ITER 5773 NEW BEST:: SOT 315371 SOS 156004 HAS SOPS 141698 HAS SOUS 25637 HAS SOUPS 24254 WITH SCORE 24410.004
AT ITER 5849 NEW BEST:: SOT 315403 SOS 156132 HAS SOPS 141826 HAS SOUS 25537 HAS SOUPS 24154 WITH SCORE 24310.132
AT ITER 5857 NEW BEST:: SOT 315403 SOS 156128 HAS SOPS 141822 HAS SOUS 25533 HAS SOUPS 24150 WITH SCORE 24306.128
AT ITER 5915 NEW BEST:: SOT 315406 SOS 156131 HAS SOPS 141825 HAS SOUS 25530 HAS SOUPS 24147 WITH SCORE 24303.131
AT ITER 5969 NEW BEST:: SOT 315394 SOS 156119 HAS SOPS 141259 HAS SOUS 25457 HAS SOUPS 24102 WITH SCORE 24258.119
AT ITER 5978 NEW BEST:: SOT 315394 SOS 156118 HAS SOPS 141258 HAS SOUS 25456 HAS SOUPS 24101 WITH SCORE 24257.118
AT ITER 6054 NEW BEST:: SOT 315395 SOS 156119 HAS SOPS 141297 HAS SOUS 25443 HAS SOUPS 24086 WITH SCORE 24242.119
AT ITER 6165 NEW BEST:: SOT 315387 SOS 156111 HAS SOPS 141289 HAS SOUS 25439 HAS SOUPS 24082 WITH SCORE 24238.111
AT ITER 6266 NEW BEST:: SOT 315386 SOS 156126 HAS SOPS 141304 HAS SOUS 25437 HAS SOUPS 24080 WITH SCORE 24236.126
AT ITER 6304 NEW BEST:: SOT 315385 SOS 156125 HAS SOPS 141303 HAS SOUS 25435 HAS SOUPS 24078 WITH SCORE 24234.125
AT ITER 6348 NEW BEST:: SOT 315389 SOS 156129 HAS SOPS 141307 HAS SOUS 25434 HAS SOUPS 24077 WITH SCORE 24233.129
AT ITER 6379 NEW BEST:: SOT 315386 SOS 156119 HAS SOPS 141297 HAS SOUS 25424 HAS SOUPS 24067 WITH SCORE 24223.119
AT ITER 6504 NEW BEST:: SOT 315381 SOS 156114 HAS SOPS 141292 HAS SOUS 25414 HAS SOUPS 24057 WITH SCORE 24213.114
AT ITER 6510 NEW BEST:: SOT 315341 SOS 156074 HAS SOPS 141252 HAS SOUS 25334 HAS SOUPS 23977 WITH SCORE 24133.074
AT ITER 6539 NEW BEST:: SOT 315571 SOS 156304 HAS SOPS 141482 HAS SOUS 25290 HAS SOUPS 23933 WITH SCORE 24089.304
AT ITER 6672 NEW BEST:: SOT 315571 SOS 156298 HAS SOPS 141476 HAS SOUS 25284 HAS SOUPS 23927 WITH SCORE 24083.298
AT ITER 6674 NEW BEST:: SOT 315573 SOS 156300 HAS SOPS 141516 HAS SOUS 25253 HAS SOUPS 23892 WITH SCORE 24048.3
AT ITER 6738 NEW BEST:: SOT 315572 SOS 156299 HAS SOPS 141515 HAS SOUS 25252 HAS SOUPS 23891 WITH SCORE 24047.299
AT ITER 6745 NEW BEST:: SOT 315573 SOS 156302 HAS SOPS 141518 HAS SOUS 25251 HAS SOUPS 23890 WITH SCORE 24046.302
AT ITER 6877 NEW BEST:: SOT 315563 SOS 156287 HAS SOPS 141503 HAS SOUS 25236 HAS SOUPS 23875 WITH SCORE 24031.287
AT ITER 6894 NEW BEST:: SOT 315562 SOS 156286 HAS SOPS 141502 HAS SOUS 25235 HAS SOUPS 23874 WITH SCORE 24030.286
AT ITER 6925 NEW BEST:: SOT 315562 SOS 156106 HAS SOPS 141322 HAS SOUS 25232 HAS SOUPS 23871 WITH SCORE 24027.106
AT ITER 6958 NEW BEST:: SOT 315559 SOS 156100 HAS SOPS 141316 HAS SOUS 25226 HAS SOUPS 23865 WITH SCORE 24021.1
AT ITER 7020 NEW BEST:: SOT 315559 SOS 156166 HAS SOPS 141382 HAS SOUS 25223 HAS SOUPS 23862 WITH SCORE 24018.166
AT ITER 7048 NEW BEST:: SOT 315559 SOS 156162 HAS SOPS 141378 HAS SOUS 25219 HAS SOUPS 23858 WITH SCORE 24014.162
AT ITER 7093 NEW BEST:: SOT 315545 SOS 156136 HAS SOPS 141352 HAS SOUS 25192 HAS SOUPS 23831 WITH SCORE 23987.136
AT ITER 7123 NEW BEST:: SOT 315523 SOS 156114 HAS SOPS 141330 HAS SOUS 25148 HAS SOUPS 23787 WITH SCORE 23943.114
AT ITER 7156 NEW BEST:: SOT 315464 SOS 156055 HAS SOPS 141271 HAS SOUS 25088 HAS SOUPS 23727 WITH SCORE 23883.055
AT ITER 7243 NEW BEST:: SOT 315464 SOS 156115 HAS SOPS 141331 HAS SOUS 25085 HAS SOUPS 23724 WITH SCORE 23880.115
AT ITER 7266 NEW BEST:: SOT 315461 SOS 155623 HAS SOPS 140968 HAS SOUS 25073 HAS SOUPS 23715 WITH SCORE 23870.623
AT ITER 7334 NEW BEST:: SOT 315461 SOS 155383 HAS SOPS 140728 HAS SOUS 25073 HAS SOUPS 23715 WITH SCORE 23870.383
AT ITER 7426 NEW BEST:: SOT 315461 SOS 155323 HAS SOPS 140688 HAS SOUS 25072 HAS SOUPS 23714 WITH SCORE 23869.323
AT ITER 7468 NEW BEST:: SOT 315461 SOS 155591 HAS SOPS 140848 HAS SOUS 25062 HAS SOUPS 23710 WITH SCORE 23865.591
AT ITER 7558 NEW BEST:: SOT 315459 SOS 155587 HAS SOPS 140844 HAS SOUS 25058 HAS SOUPS 23706 WITH SCORE 23861.587
AT ITER 7586 NEW BEST:: SOT 315455 SOS 155583 HAS SOPS 140840 HAS SOUS 25057 HAS SOUPS 23705 WITH SCORE 23860.583
AT ITER 7731 NEW BEST:: SOT 315455 SOS 155585 HAS SOPS 140842 HAS SOUS 25047 HAS SOUPS 23695 WITH SCORE 23850.585
AT ITER 7765 NEW BEST:: SOT 315323 SOS 155453 HAS SOPS 140710 HAS SOUS 24895 HAS SOUPS 23543 WITH SCORE 23698.453
AT ITER 7875 NEW BEST:: SOT 315322 SOS 155451 HAS SOPS 140708 HAS SOUS 24893 HAS SOUPS 23541 WITH SCORE 23696.451
AT ITER 7946 NEW BEST:: SOT 315319 SOS 155450 HAS SOPS 140707 HAS SOUS 24892 HAS SOUPS 23540 WITH SCORE 23695.45
AT ITER 8204 NEW BEST:: SOT 315319 SOS 154961 HAS SOPS 140407 HAS SOUS 24892 HAS SOUPS 23537 WITH SCORE 23691.961
AT ITER 8279 NEW BEST:: SOT 315319 SOS 155047 HAS SOPS 140307 HAS SOUS 24883 HAS SOUPS 23529 WITH SCORE 23684.047
AT ITER 8463 NEW BEST:: SOT 315317 SOS 155043 HAS SOPS 140303 HAS SOUS 24879 HAS SOUPS 23525 WITH SCORE 23680.043
AT ITER 8477 NEW BEST:: SOT 315317 SOS 154942 HAS SOPS 140283 HAS SOUS 24880 HAS SOUPS 23525 WITH SCORE 23679.942
AT ITER 8502 NEW BEST:: SOT 315313 SOS 154941 HAS SOPS 140282 HAS SOUS 24879 HAS SOUPS 23524 WITH SCORE 23678.941
AT ITER 8520 NEW BEST:: SOT 315321 SOS 154949 HAS SOPS 140290 HAS SOUS 24797 HAS SOUPS 23442 WITH SCORE 23596.949
AT ITER 8608 NEW BEST:: SOT 314983 SOS 154636 HAS SOPS 140160 HAS SOUS 24584 HAS SOUPS 23412 WITH SCORE 23566.636
AT ITER 8662 NEW BEST:: SOT 314983 SOS 154634 HAS SOPS 140158 HAS SOUS 24582 HAS SOUPS 23410 WITH SCORE 23564.634
AT ITER 8885 NEW BEST:: SOT 314946 SOS 154597 HAS SOPS 140121 HAS SOUS 24508 HAS SOUPS 23336 WITH SCORE 23490.597
AT ITER 8901 NEW BEST:: SOT 314547 SOS 154191 HAS SOPS 139715 HAS SOUS 24109 HAS SOUPS 22937 WITH SCORE 23091.191
AT ITER 8903 NEW BEST:: SOT 314546 SOS 154190 HAS SOPS 139714 HAS SOUS 24108 HAS SOUPS 22936 WITH SCORE 23090.19
AT ITER 9012 NEW BEST:: SOT 314541 SOS 154180 HAS SOPS 139589 HAS SOUS 24088 HAS SOUPS 22929 WITH SCORE 23083.18
AT ITER 9135 NEW BEST:: SOT 314539 SOS 154179 HAS SOPS 139588 HAS SOUS 24087 HAS SOUPS 22928 WITH SCORE 23082.179
AT ITER 9206 NEW BEST:: SOT 314521 SOS 154161 HAS SOPS 139570 HAS SOUS 24031 HAS SOUPS 22872 WITH SCORE 23026.161
AT ITER 9246 NEW BEST:: SOT 314521 SOS 154041 HAS SOPS 139450 HAS SOUS 24027 HAS SOUPS 22868 WITH SCORE 23022.041
AT ITER 9422 NEW BEST:: SOT 314500 SOS 154020 HAS SOPS 139429 HAS SOUS 23987 HAS SOUPS 22828 WITH SCORE 22982.02
AT ITER 9622 NEW BEST:: SOT 314479 SOS 153999 HAS SOPS 138988 HAS SOUS 23903 HAS SOUPS 22786 WITH SCORE 22939.999
AT ITER 9652 NEW BEST:: SOT 314456 SOS 153966 HAS SOPS 138955 HAS SOUS 23864 HAS SOUPS 22747 WITH SCORE 22900.966
AT ITER 9656 NEW BEST:: SOT 314408 SOS 153918 HAS SOPS 138907 HAS SOUS 23816 HAS SOUPS 22699 WITH SCORE 22852.918
AT ITER 9668 NEW BEST:: SOT 313939 SOS 153449 HAS SOPS 138431 HAS SOUS 23441 HAS SOUPS 22488 WITH SCORE 22641.449
AT ITER 9786 NEW BEST:: SOT 313939 SOS 153209 HAS SOPS 138471 HAS SOUS 23440 HAS SOUPS 22487 WITH SCORE 22640.209
AT ITER 9798 NEW BEST:: SOT 313936 SOS 153205 HAS SOPS 138467 HAS SOUS 23436 HAS SOUPS 22483 WITH SCORE 22636.205
AT ITER 9913 NEW BEST:: SOT 313933 SOS 153199 HAS SOPS 138461 HAS SOUS 23430 HAS SOUPS 22477 WITH SCORE 22630.199
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 155276 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16301176 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

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="SimpleLoadBal-PT-20"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
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 smart"
echo " Input is SimpleLoadBal-PT-20, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r419-tajo-167905973900536"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/SimpleLoadBal-PT-20.tgz
mv SimpleLoadBal-PT-20 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;