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.r099-tall-167814472500512.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 smart
Input is DLCflexbar-PT-2a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472500512
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 940K
-rw-r--r-- 1 mcc users 6.2K Feb 25 15:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 25 15:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 25 15:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 25 15:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.9K Feb 25 16:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 78K Feb 25 16:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.1K Feb 25 16:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 79K Feb 25 16:18 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:51 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 545K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678248131514

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=DLCflexbar-PT-2a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 2a
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: 353 places, 2169 transitions, 8205 arcs.
AT ITER 0 NEW BEST:: SOT 507319 SOS 396791 HAS SOPS 211881 HAS SOUS 56559 HAS SOUPS 30267 WITH SCORE 30663.791
AT ITER 2 NEW BEST:: SOT 507229 SOS 396611 HAS SOPS 211881 HAS SOUS 56379 HAS SOUPS 30132 WITH SCORE 30528.611
AT ITER 10 NEW BEST:: SOT 507229 SOS 396611 HAS SOPS 211881 HAS SOUS 56353 HAS SOUPS 30106 WITH SCORE 30502.611
AT ITER 14 NEW BEST:: SOT 507108 SOS 396369 HAS SOPS 212087 HAS SOUS 56060 HAS SOUPS 29925 WITH SCORE 30321.369
AT ITER 20 NEW BEST:: SOT 507101 SOS 396194 HAS SOPS 211912 HAS SOUS 56053 HAS SOUPS 29918 WITH SCORE 30314.194
AT ITER 21 NEW BEST:: SOT 507101 SOS 396194 HAS SOPS 211912 HAS SOUS 56025 HAS SOUPS 29890 WITH SCORE 30286.194
AT ITER 30 NEW BEST:: SOT 506905 SOS 396269 HAS SOPS 211651 HAS SOUS 55960 HAS SOUPS 29797 WITH SCORE 30193.269
AT ITER 39 NEW BEST:: SOT 506303 SOS 396794 HAS SOPS 211488 HAS SOUS 55549 HAS SOUPS 29386 WITH SCORE 29782.794
AT ITER 57 NEW BEST:: SOT 505707 SOS 398312 HAS SOPS 211998 HAS SOUS 55279 HAS SOUPS 29116 WITH SCORE 29514.312
AT ITER 58 NEW BEST:: SOT 505705 SOS 398308 HAS SOPS 212242 HAS SOUS 55215 HAS SOUPS 29114 WITH SCORE 29512.308
AT ITER 61 NEW BEST:: SOT 505503 SOS 392674 HAS SOPS 211790 HAS SOUS 55829 HAS SOUPS 28988 WITH SCORE 29380.674
AT ITER 78 NEW BEST:: SOT 505468 SOS 392684 HAS SOPS 211740 HAS SOUS 55814 HAS SOUPS 28968 WITH SCORE 29360.684
AT ITER 83 NEW BEST:: SOT 505433 SOS 392614 HAS SOPS 211670 HAS SOUS 55779 HAS SOUPS 28933 WITH SCORE 29325.614
AT ITER 86 NEW BEST:: SOT 503971 SOS 391373 HAS SOPS 210429 HAS SOUS 54538 HAS SOUPS 27692 WITH SCORE 28083.373
AT ITER 87 NEW BEST:: SOT 503969 SOS 391369 HAS SOPS 210637 HAS SOUS 54483 HAS SOUPS 27690 WITH SCORE 28081.369
AT ITER 88 NEW BEST:: SOT 503439 SOS 392793 HAS SOPS 210693 HAS SOUS 54233 HAS SOUPS 27326 WITH SCORE 27718.793
AT ITER 99 NEW BEST:: SOT 503245 SOS 392405 HAS SOPS 210497 HAS SOUS 54087 HAS SOUPS 27228 WITH SCORE 27620.405
AT ITER 105 NEW BEST:: SOT 502459 SOS 393065 HAS SOPS 210261 HAS SOUS 53473 HAS SOUPS 26614 WITH SCORE 27007.065
AT ITER 112 NEW BEST:: SOT 501985 SOS 393929 HAS SOPS 210413 HAS SOUS 53250 HAS SOUPS 26391 WITH SCORE 26784.929
AT ITER 115 NEW BEST:: SOT 501388 SOS 394279 HAS SOPS 210155 HAS SOUS 52934 HAS SOUPS 26075 WITH SCORE 26469.279
AT ITER 119 NEW BEST:: SOT 501352 SOS 394207 HAS SOPS 210083 HAS SOUS 52930 HAS SOUPS 26071 WITH SCORE 26465.207
AT ITER 126 NEW BEST:: SOT 501260 SOS 393863 HAS SOPS 209923 HAS SOUS 52792 HAS SOUPS 25979 WITH SCORE 26372.863
AT ITER 135 NEW BEST:: SOT 501160 SOS 393927 HAS SOPS 209819 HAS SOUS 52756 HAS SOUPS 25929 WITH SCORE 26322.927
AT ITER 137 NEW BEST:: SOT 500498 SOS 393361 HAS SOPS 209253 HAS SOUS 52190 HAS SOUPS 25363 WITH SCORE 25756.361
AT ITER 153 NEW BEST:: SOT 500435 SOS 393235 HAS SOPS 209169 HAS SOUS 52148 HAS SOUPS 25321 WITH SCORE 25714.235
AT ITER 155 NEW BEST:: SOT 500414 SOS 393193 HAS SOPS 209407 HAS SOUS 52037 HAS SOUPS 25280 WITH SCORE 25673.193
AT ITER 171 NEW BEST:: SOT 500254 SOS 393521 HAS SOPS 209315 HAS SOUS 51984 HAS SOUPS 25192 WITH SCORE 25585.521
AT ITER 175 NEW BEST:: SOT 499974 SOS 394481 HAS SOPS 209643 HAS SOUS 51823 HAS SOUPS 25031 WITH SCORE 25425.481
AT ITER 182 NEW BEST:: SOT 498491 SOS 392366 HAS SOPS 208698 HAS SOUS 51662 HAS SOUPS 24987 WITH SCORE 25379.366
AT ITER 199 NEW BEST:: SOT 496694 SOS 390087 HAS SOPS 207458 HAS SOUS 51593 HAS SOUPS 24964 WITH SCORE 25354.087
AT ITER 206 NEW BEST:: SOT 496628 SOS 390615 HAS SOPS 207590 HAS SOUS 51623 HAS SOUPS 24961 WITH SCORE 25351.615
AT ITER 208 NEW BEST:: SOT 496168 SOS 389695 HAS SOPS 207090 HAS SOUS 51322 HAS SOUPS 24765 WITH SCORE 25154.695
AT ITER 215 NEW BEST:: SOT 496172 SOS 389703 HAS SOPS 206706 HAS SOUS 51354 HAS SOUPS 24699 WITH SCORE 25088.703
AT ITER 223 NEW BEST:: SOT 495591 SOS 388540 HAS SOPS 206311 HAS SOUS 50959 HAS SOUPS 24496 WITH SCORE 24884.54
AT ITER 239 NEW BEST:: SOT 496364 SOS 389544 HAS SOPS 206699 HAS SOUS 50791 HAS SOUPS 24328 WITH SCORE 24717.544
AT ITER 247 NEW BEST:: SOT 496243 SOS 389574 HAS SOPS 206525 HAS SOUS 50721 HAS SOUPS 24241 WITH SCORE 24630.574
AT ITER 252 NEW BEST:: SOT 497213 SOS 386089 HAS SOPS 206062 HAS SOUS 52241 HAS SOUPS 24082 WITH SCORE 24468.089
AT ITER 261 NEW BEST:: SOT 497127 SOS 385917 HAS SOPS 205974 HAS SOUS 52176 HAS SOUPS 24038 WITH SCORE 24423.917
AT ITER 280 NEW BEST:: SOT 497125 SOS 385913 HAS SOPS 205970 HAS SOUS 52174 HAS SOUPS 24036 WITH SCORE 24421.913
AT ITER 291 NEW BEST:: SOT 495352 SOS 383402 HAS SOPS 204859 HAS SOUS 52027 HAS SOUPS 24029 WITH SCORE 24412.402
AT ITER 296 NEW BEST:: SOT 494746 SOS 382592 HAS SOPS 204319 HAS SOUS 51973 HAS SOUPS 23975 WITH SCORE 24357.592
AT ITER 301 NEW BEST:: SOT 494739 SOS 382578 HAS SOPS 204561 HAS SOUS 51853 HAS SOUPS 23919 WITH SCORE 24301.578
AT ITER 302 NEW BEST:: SOT 494715 SOS 382542 HAS SOPS 204549 HAS SOUS 51829 HAS SOUPS 23907 WITH SCORE 24289.542
AT ITER 322 NEW BEST:: SOT 494683 SOS 382438 HAS SOPS 204573 HAS SOUS 51755 HAS SOUPS 23865 WITH SCORE 24247.438
AT ITER 330 NEW BEST:: SOT 494683 SOS 382438 HAS SOPS 204573 HAS SOUS 51751 HAS SOUPS 23861 WITH SCORE 24243.438
AT ITER 345 NEW BEST:: SOT 494695 SOS 382382 HAS SOPS 204557 HAS SOUS 51750 HAS SOUPS 23861 WITH SCORE 24243.382
AT ITER 351 NEW BEST:: SOT 494643 SOS 382304 HAS SOPS 204531 HAS SOUS 51698 HAS SOUPS 23835 WITH SCORE 24217.304
AT ITER 353 NEW BEST:: SOT 494026 SOS 383558 HAS SOPS 204321 HAS SOUS 51451 HAS SOUPS 23466 WITH SCORE 23849.558
AT ITER 359 NEW BEST:: SOT 493960 SOS 383426 HAS SOPS 204189 HAS SOUS 51376 HAS SOUPS 23391 WITH SCORE 23774.426
AT ITER 364 NEW BEST:: SOT 493578 SOS 383910 HAS SOPS 204121 HAS SOUS 51208 HAS SOUPS 23223 WITH SCORE 23606.91
AT ITER 367 NEW BEST:: SOT 492179 SOS 382759 HAS SOPS 203264 HAS SOUS 51336 HAS SOUPS 23212 WITH SCORE 23594.759
AT ITER 368 NEW BEST:: SOT 493099 SOS 366154 HAS SOPS 192501 HAS SOUS 51062 HAS SOUPS 23192 WITH SCORE 23558.154
AT ITER 374 NEW BEST:: SOT 492643 SOS 366466 HAS SOPS 192277 HAS SOUS 50784 HAS SOUPS 22914 WITH SCORE 23280.466
AT ITER 377 NEW BEST:: SOT 490974 SOS 357004 HAS SOPS 187351 HAS SOUS 50574 HAS SOUPS 22802 WITH SCORE 23159.004
AT ITER 384 NEW BEST:: SOT 490904 SOS 356864 HAS SOPS 187507 HAS SOUS 50434 HAS SOUPS 22736 WITH SCORE 23092.864
AT ITER 392 NEW BEST:: SOT 491190 SOS 357228 HAS SOPS 187663 HAS SOUS 50382 HAS SOUPS 22684 WITH SCORE 23041.228
AT ITER 422 NEW BEST:: SOT 491181 SOS 357216 HAS SOPS 187651 HAS SOUS 50370 HAS SOUPS 22672 WITH SCORE 23029.216
AT ITER 425 NEW BEST:: SOT 491192 SOS 357205 HAS SOPS 187640 HAS SOUS 50344 HAS SOUPS 22646 WITH SCORE 23003.205
AT ITER 435 NEW BEST:: SOT 491164 SOS 357149 HAS SOPS 187728 HAS SOUS 50284 HAS SOUPS 22622 WITH SCORE 22979.149
AT ITER 442 NEW BEST:: SOT 491150 SOS 357268 HAS SOPS 187875 HAS SOUS 50263 HAS SOUPS 22608 WITH SCORE 22965.268
AT ITER 471 NEW BEST:: SOT 491044 SOS 356898 HAS SOPS 187681 HAS SOUS 50083 HAS SOUPS 22472 WITH SCORE 22828.898
AT ITER 477 NEW BEST:: SOT 491514 SOS 357314 HAS SOPS 188097 HAS SOUS 49780 HAS SOUPS 22169 WITH SCORE 22526.314
AT ITER 480 NEW BEST:: SOT 491384 SOS 357626 HAS SOPS 188305 HAS SOUS 49728 HAS SOUPS 22117 WITH SCORE 22474.626
AT ITER 497 NEW BEST:: SOT 491374 SOS 357646 HAS SOPS 188325 HAS SOUS 49718 HAS SOUPS 22107 WITH SCORE 22464.646
AT ITER 500 NEW BEST:: SOT 491439 SOS 357776 HAS SOPS 188325 HAS SOUS 49781 HAS SOUPS 22105 WITH SCORE 22462.776
AT ITER 513 NEW BEST:: SOT 491397 SOS 357602 HAS SOPS 188271 HAS SOUS 49679 HAS SOUPS 22033 WITH SCORE 22390.602
AT ITER 516 NEW BEST:: SOT 490823 SOS 355083 HAS SOPS 185934 HAS SOUS 49565 HAS SOUPS 21919 WITH SCORE 22274.083
AT ITER 525 NEW BEST:: SOT 490726 SOS 354921 HAS SOPS 185388 HAS SOUS 49550 HAS SOUPS 21872 WITH SCORE 22226.921
AT ITER 544 NEW BEST:: SOT 490646 SOS 344181 HAS SOPS 179440 HAS SOUS 49085 HAS SOUPS 21480 WITH SCORE 21824.181
AT ITER 548 NEW BEST:: SOT 490646 SOS 344181 HAS SOPS 179440 HAS SOUS 49071 HAS SOUPS 21466 WITH SCORE 21810.181
AT ITER 556 NEW BEST:: SOT 489578 SOS 343027 HAS SOPS 178630 HAS SOUS 49109 HAS SOUPS 21418 WITH SCORE 21761.027
AT ITER 562 NEW BEST:: SOT 489591 SOS 342988 HAS SOPS 178599 HAS SOUS 49062 HAS SOUPS 21383 WITH SCORE 21725.988
AT ITER 564 NEW BEST:: SOT 489775 SOS 343172 HAS SOPS 178645 HAS SOUS 49022 HAS SOUPS 21343 WITH SCORE 21686.172
AT ITER 570 NEW BEST:: SOT 489741 SOS 342960 HAS SOPS 178505 HAS SOUS 48880 HAS SOUPS 21237 WITH SCORE 21579.96
AT ITER 583 NEW BEST:: SOT 489665 SOS 342808 HAS SOPS 178453 HAS SOUS 48834 HAS SOUPS 21216 WITH SCORE 21558.808
AT ITER 594 NEW BEST:: SOT 489549 SOS 342576 HAS SOPS 178381 HAS SOUS 48771 HAS SOUPS 21193 WITH SCORE 21535.576
AT ITER 596 NEW BEST:: SOT 488531 SOS 341152 HAS SOPS 177777 HAS SOUS 48686 HAS SOUPS 21190 WITH SCORE 21531.152
AT ITER 607 NEW BEST:: SOT 488528 SOS 341146 HAS SOPS 177771 HAS SOUS 48683 HAS SOUPS 21187 WITH SCORE 21528.146
AT ITER 608 NEW BEST:: SOT 486865 SOS 338795 HAS SOPS 176730 HAS SOUS 48532 HAS SOUPS 21167 WITH SCORE 21505.795
AT ITER 643 NEW BEST:: SOT 486848 SOS 337122 HAS SOPS 175057 HAS SOUS 48530 HAS SOUPS 21165 WITH SCORE 21502.122
AT ITER 653 NEW BEST:: SOT 486765 SOS 337148 HAS SOPS 174987 HAS SOUS 48484 HAS SOUPS 21119 WITH SCORE 21456.148
AT ITER 659 NEW BEST:: SOT 486866 SOS 336700 HAS SOPS 174756 HAS SOUS 48430 HAS SOUPS 21067 WITH SCORE 21403.7
AT ITER 686 NEW BEST:: SOT 486768 SOS 336784 HAS SOPS 174672 HAS SOUS 48388 HAS SOUPS 21011 WITH SCORE 21347.784
AT ITER 687 NEW BEST:: SOT 486773 SOS 336806 HAS SOPS 174562 HAS SOUS 48411 HAS SOUPS 21001 WITH SCORE 21337.806
AT ITER 697 NEW BEST:: SOT 486744 SOS 336759 HAS SOPS 174540 HAS SOUS 48404 HAS SOUPS 21001 WITH SCORE 21337.759
AT ITER 706 NEW BEST:: SOT 486743 SOS 336758 HAS SOPS 174539 HAS SOUS 48403 HAS SOUPS 21000 WITH SCORE 21336.758
AT ITER 746 NEW BEST:: SOT 486719 SOS 336734 HAS SOPS 174515 HAS SOUS 48379 HAS SOUPS 20976 WITH SCORE 21312.734
AT ITER 747 NEW BEST:: SOT 486683 SOS 336626 HAS SOPS 174515 HAS SOUS 48307 HAS SOUPS 20940 WITH SCORE 21276.626
AT ITER 750 NEW BEST:: SOT 486660 SOS 336603 HAS SOPS 174492 HAS SOUS 48290 HAS SOUPS 20923 WITH SCORE 21259.603
AT ITER 764 NEW BEST:: SOT 486369 SOS 336127 HAS SOPS 174201 HAS SOUS 48237 HAS SOUPS 20870 WITH SCORE 21206.127
AT ITER 770 NEW BEST:: SOT 486282 SOS 335866 HAS SOPS 174056 HAS SOUS 48121 HAS SOUPS 20783 WITH SCORE 21118.866
AT ITER 781 NEW BEST:: SOT 486279 SOS 335794 HAS SOPS 173984 HAS SOUS 48118 HAS SOUPS 20780 WITH SCORE 21115.794
AT ITER 816 NEW BEST:: SOT 486270 SOS 335699 HAS SOPS 174015 HAS SOUS 48139 HAS SOUPS 20754 WITH SCORE 21089.699
AT ITER 829 NEW BEST:: SOT 486414 SOS 335828 HAS SOPS 174144 HAS SOUS 48106 HAS SOUPS 20721 WITH SCORE 21056.828
AT ITER 843 NEW BEST:: SOT 487742 SOS 337057 HAS SOPS 174974 HAS SOUS 47911 HAS SOUPS 20661 WITH SCORE 20998.057
AT ITER 858 NEW BEST:: SOT 487600 SOS 336533 HAS SOPS 174790 HAS SOUS 47684 HAS SOUPS 20519 WITH SCORE 20855.533
AT ITER 871 NEW BEST:: SOT 487566 SOS 336585 HAS SOPS 174770 HAS SOUS 47677 HAS SOUPS 20506 WITH SCORE 20842.585
AT ITER 894 NEW BEST:: SOT 487549 SOS 336483 HAS SOPS 174736 HAS SOUS 47656 HAS SOUPS 20502 WITH SCORE 20838.483
AT ITER 942 NEW BEST:: SOT 487541 SOS 336473 HAS SOPS 174726 HAS SOUS 47652 HAS SOUPS 20498 WITH SCORE 20834.473
AT ITER 952 NEW BEST:: SOT 487535 SOS 336467 HAS SOPS 174720 HAS SOUS 47646 HAS SOUPS 20492 WITH SCORE 20828.467
AT ITER 954 NEW BEST:: SOT 487508 SOS 336342 HAS SOPS 174711 HAS SOUS 47561 HAS SOUPS 20436 WITH SCORE 20772.342
AT ITER 958 NEW BEST:: SOT 487507 SOS 336340 HAS SOPS 174710 HAS SOUS 47554 HAS SOUPS 20432 WITH SCORE 20768.34
AT ITER 962 NEW BEST:: SOT 487491 SOS 336308 HAS SOPS 174742 HAS SOUS 47522 HAS SOUPS 20416 WITH SCORE 20752.308
AT ITER 969 NEW BEST:: SOT 487382 SOS 336105 HAS SOPS 174609 HAS SOUS 47413 HAS SOUPS 20307 WITH SCORE 20643.105
AT ITER 983 NEW BEST:: SOT 487372 SOS 336085 HAS SOPS 174589 HAS SOUS 47349 HAS SOUPS 20243 WITH SCORE 20579.085
AT ITER 987 NEW BEST:: SOT 487333 SOS 336119 HAS SOPS 174539 HAS SOUS 47348 HAS SOUPS 20235 WITH SCORE 20571.119
AT ITER 996 NEW BEST:: SOT 487358 SOS 336103 HAS SOPS 174556 HAS SOUS 47332 HAS SOUPS 20230 WITH SCORE 20566.103
AT ITER 1005 NEW BEST:: SOT 487260 SOS 335907 HAS SOPS 174440 HAS SOUS 47254 HAS SOUPS 20172 WITH SCORE 20507.907
AT ITER 1047 NEW BEST:: SOT 487045 SOS 341196 HAS SOPS 177202 HAS SOUS 47218 HAS SOUPS 20136 WITH SCORE 20477.196
AT ITER 1060 NEW BEST:: SOT 487039 SOS 341184 HAS SOPS 177190 HAS SOUS 47212 HAS SOUPS 20130 WITH SCORE 20471.184
AT ITER 1065 NEW BEST:: SOT 487039 SOS 341180 HAS SOPS 177188 HAS SOUS 47210 HAS SOUPS 20129 WITH SCORE 20470.18
AT ITER 1067 NEW BEST:: SOT 487004 SOS 340276 HAS SOPS 176859 HAS SOUS 47151 HAS SOUPS 20095 WITH SCORE 20435.276
AT ITER 1082 NEW BEST:: SOT 487209 SOS 340556 HAS SOPS 177108 HAS SOUS 47118 HAS SOUPS 20085 WITH SCORE 20425.556
AT ITER 1096 NEW BEST:: SOT 487205 SOS 340548 HAS SOPS 177108 HAS SOUS 47114 HAS SOUPS 20085 WITH SCORE 20425.548
AT ITER 1126 NEW BEST:: SOT 487201 SOS 340540 HAS SOPS 176968 HAS SOUS 47143 HAS SOUPS 20081 WITH SCORE 20421.54
AT ITER 1134 NEW BEST:: SOT 486100 SOS 339200 HAS SOPS 176113 HAS SOUS 47139 HAS SOUPS 20072 WITH SCORE 20411.2
AT ITER 1164 NEW BEST:: SOT 486074 SOS 338964 HAS SOPS 175877 HAS SOUS 47113 HAS SOUPS 20046 WITH SCORE 20384.964
AT ITER 1245 NEW BEST:: SOT 486069 SOS 338954 HAS SOPS 175877 HAS SOUS 47108 HAS SOUPS 20046 WITH SCORE 20384.954
AT ITER 1253 NEW BEST:: SOT 485646 SOS 338419 HAS SOPS 175490 HAS SOUS 47122 HAS SOUPS 20023 WITH SCORE 20361.419
AT ITER 1261 NEW BEST:: SOT 486339 SOS 339301 HAS SOPS 175868 HAS SOUS 46996 HAS SOUPS 19897 WITH SCORE 20236.301
AT ITER 1281 NEW BEST:: SOT 486372 SOS 339343 HAS SOPS 175886 HAS SOUS 46996 HAS SOUPS 19894 WITH SCORE 20233.343
AT ITER 1283 NEW BEST:: SOT 486306 SOS 339229 HAS SOPS 175868 HAS SOUS 46937 HAS SOUPS 19883 WITH SCORE 20222.229
AT ITER 1285 NEW BEST:: SOT 486427 SOS 339394 HAS SOPS 175923 HAS SOUS 46937 HAS SOUPS 19872 WITH SCORE 20211.394
AT ITER 1293 NEW BEST:: SOT 486504 SOS 339492 HAS SOPS 175965 HAS SOUS 46923 HAS SOUPS 19858 WITH SCORE 20197.492
AT ITER 1309 NEW BEST:: SOT 486444 SOS 339372 HAS SOPS 175965 HAS SOUS 46916 HAS SOUPS 19858 WITH SCORE 20197.372
AT ITER 1339 NEW BEST:: SOT 488017 SOS 341125 HAS SOPS 177058 HAS SOUS 46703 HAS SOUPS 19702 WITH SCORE 20043.125
AT ITER 1390 NEW BEST:: SOT 488010 SOS 341111 HAS SOPS 177058 HAS SOUS 46696 HAS SOUPS 19702 WITH SCORE 20043.111
AT ITER 1402 NEW BEST:: SOT 488060 SOS 341181 HAS SOPS 177078 HAS SOUS 46696 HAS SOUPS 19697 WITH SCORE 20038.181
AT ITER 1406 NEW BEST:: SOT 488189 SOS 347583 HAS SOPS 181367 HAS SOUS 46704 HAS SOUPS 19625 WITH SCORE 19972.583
AT ITER 1415 NEW BEST:: SOT 488100 SOS 346861 HAS SOPS 181189 HAS SOUS 46560 HAS SOUPS 19617 WITH SCORE 19963.861
AT ITER 1420 NEW BEST:: SOT 487591 SOS 341033 HAS SOPS 176900 HAS SOUS 46448 HAS SOUPS 19505 WITH SCORE 19846.033
AT ITER 1423 NEW BEST:: SOT 487589 SOS 341029 HAS SOPS 176944 HAS SOUS 46434 HAS SOUPS 19503 WITH SCORE 19844.029
AT ITER 1440 NEW BEST:: SOT 487304 SOS 340759 HAS SOPS 176815 HAS SOUS 46280 HAS SOUPS 19344 WITH SCORE 19684.759
AT ITER 1444 NEW BEST:: SOT 487077 SOS 340545 HAS SOPS 176815 HAS SOUS 45981 HAS SOUPS 19320 WITH SCORE 19660.545
AT ITER 1480 NEW BEST:: SOT 487077 SOS 340545 HAS SOPS 176815 HAS SOUS 45971 HAS SOUPS 19310 WITH SCORE 19650.545
AT ITER 1491 NEW BEST:: SOT 487092 SOS 340575 HAS SOPS 176601 HAS SOUS 46012 HAS SOUPS 19290 WITH SCORE 19630.575
AT ITER 1511 NEW BEST:: SOT 487082 SOS 340555 HAS SOPS 176627 HAS SOUS 45989 HAS SOUPS 19290 WITH SCORE 19630.555
AT ITER 1514 NEW BEST:: SOT 487471 SOS 341379 HAS SOPS 176798 HAS SOUS 46058 HAS SOUPS 19250 WITH SCORE 19591.379
AT ITER 1521 NEW BEST:: SOT 487466 SOS 341348 HAS SOPS 176767 HAS SOUS 46046 HAS SOUPS 19238 WITH SCORE 19579.348
AT ITER 1524 NEW BEST:: SOT 487491 SOS 341372 HAS SOPS 176755 HAS SOUS 46077 HAS SOUPS 19228 WITH SCORE 19569.372
AT ITER 1525 NEW BEST:: SOT 487470 SOS 341771 HAS SOPS 177238 HAS SOUS 46035 HAS SOUPS 19207 WITH SCORE 19548.771
AT ITER 1546 NEW BEST:: SOT 487565 SOS 341932 HAS SOPS 177311 HAS SOUS 46022 HAS SOUPS 19194 WITH SCORE 19535.932
AT ITER 1558 NEW BEST:: SOT 487563 SOS 341931 HAS SOPS 177307 HAS SOUS 46017 HAS SOUPS 19189 WITH SCORE 19530.931
AT ITER 1571 NEW BEST:: SOT 487527 SOS 342011 HAS SOPS 177327 HAS SOUS 46016 HAS SOUPS 19182 WITH SCORE 19524.011
AT ITER 1585 NEW BEST:: SOT 486741 SOS 340973 HAS SOPS 176749 HAS SOUS 45927 HAS SOUPS 19093 WITH SCORE 19433.973
AT ITER 1613 NEW BEST:: SOT 486683 SOS 340886 HAS SOPS 176749 HAS SOUS 45898 HAS SOUPS 19093 WITH SCORE 19433.886
AT ITER 1620 NEW BEST:: SOT 486675 SOS 340879 HAS SOPS 176750 HAS SOUS 45863 HAS SOUPS 19064 WITH SCORE 19404.879
AT ITER 1631 NEW BEST:: SOT 486818 SOS 341119 HAS SOPS 176861 HAS SOUS 45843 HAS SOUPS 19044 WITH SCORE 19385.119
AT ITER 1665 NEW BEST:: SOT 485034 SOS 343735 HAS SOPS 177352 HAS SOUS 44173 HAS SOUPS 19013 WITH SCORE 19356.735
AT ITER 1674 NEW BEST:: SOT 485021 SOS 343662 HAS SOPS 177279 HAS SOUS 44151 HAS SOUPS 18991 WITH SCORE 19334.662
AT ITER 1690 NEW BEST:: SOT 484810 SOS 343369 HAS SOPS 177088 HAS SOUS 44129 HAS SOUPS 18969 WITH SCORE 19312.369
AT ITER 1719 NEW BEST:: SOT 484721 SOS 343191 HAS SOPS 177040 HAS SOUS 44102 HAS SOUPS 18969 WITH SCORE 19312.191
AT ITER 1727 NEW BEST:: SOT 484722 SOS 342997 HAS SOPS 176930 HAS SOUS 44089 HAS SOUPS 18963 WITH SCORE 19305.997
AT ITER 1732 NEW BEST:: SOT 484818 SOS 343125 HAS SOPS 176978 HAS SOUS 44081 HAS SOUPS 18947 WITH SCORE 19290.125
AT ITER 1737 NEW BEST:: SOT 484793 SOS 343195 HAS SOPS 177008 HAS SOUS 44076 HAS SOUPS 18942 WITH SCORE 19285.195
AT ITER 1747 NEW BEST:: SOT 484784 SOS 343186 HAS SOPS 176999 HAS SOUS 44067 HAS SOUPS 18933 WITH SCORE 19276.186
AT ITER 1758 NEW BEST:: SOT 484784 SOS 343209 HAS SOPS 176999 HAS SOUS 44067 HAS SOUPS 18932 WITH SCORE 19275.209
AT ITER 1775 NEW BEST:: SOT 484746 SOS 343133 HAS SOPS 176791 HAS SOUS 43996 HAS SOUPS 18828 WITH SCORE 19171.133
AT ITER 1801 NEW BEST:: SOT 484737 SOS 343172 HAS SOPS 176615 HAS SOUS 44037 HAS SOUPS 18816 WITH SCORE 19159.172
AT ITER 1847 NEW BEST:: SOT 484730 SOS 343158 HAS SOPS 176601 HAS SOUS 44014 HAS SOUPS 18793 WITH SCORE 19136.158
AT ITER 1854 NEW BEST:: SOT 484706 SOS 341703 HAS SOPS 176525 HAS SOUS 43911 HAS SOUPS 18719 WITH SCORE 19060.703
AT ITER 1883 NEW BEST:: SOT 484703 SOS 341685 HAS SOPS 176507 HAS SOUS 43908 HAS SOUPS 18716 WITH SCORE 19057.685
AT ITER 1890 NEW BEST:: SOT 484173 SOS 341073 HAS SOPS 176159 HAS SOUS 43906 HAS SOUPS 18714 WITH SCORE 19055.073
AT ITER 1894 NEW BEST:: SOT 484174 SOS 341075 HAS SOPS 176161 HAS SOUS 43904 HAS SOUPS 18712 WITH SCORE 19053.075
AT ITER 1896 NEW BEST:: SOT 484174 SOS 341063 HAS SOPS 176149 HAS SOUS 43904 HAS SOUPS 18712 WITH SCORE 19053.063
AT ITER 1941 NEW BEST:: SOT 484296 SOS 339619 HAS SOPS 176285 HAS SOUS 43876 HAS SOUPS 18684 WITH SCORE 19023.619
AT ITER 1959 NEW BEST:: SOT 484331 SOS 339708 HAS SOPS 176288 HAS SOUS 43885 HAS SOUPS 18677 WITH SCORE 19016.708
AT ITER 1987 NEW BEST:: SOT 484331 SOS 339219 HAS SOPS 175868 HAS SOUS 43882 HAS SOUPS 18677 WITH SCORE 19016.219
AT ITER 2006 NEW BEST:: SOT 482436 SOS 334100 HAS SOPS 171529 HAS SOUS 43640 HAS SOUPS 18435 WITH SCORE 18769.1
AT ITER 2034 NEW BEST:: SOT 482422 SOS 334072 HAS SOPS 171529 HAS SOUS 43640 HAS SOUPS 18435 WITH SCORE 18769.072
AT ITER 2078 NEW BEST:: SOT 482474 SOS 332706 HAS SOPS 171465 HAS SOUS 43608 HAS SOUPS 18403 WITH SCORE 18735.706
AT ITER 2089 NEW BEST:: SOT 482623 SOS 333262 HAS SOPS 171613 HAS SOUS 43684 HAS SOUPS 18379 WITH SCORE 18712.262
AT ITER 2149 NEW BEST:: SOT 482576 SOS 333185 HAS SOPS 171576 HAS SOUS 43637 HAS SOUPS 18342 WITH SCORE 18675.185
AT ITER 2160 NEW BEST:: SOT 482592 SOS 331646 HAS SOPS 170231 HAS SOUS 43635 HAS SOUPS 18340 WITH SCORE 18671.646
AT ITER 2167 NEW BEST:: SOT 482661 SOS 331763 HAS SOPS 170266 HAS SOUS 43637 HAS SOUPS 18325 WITH SCORE 18656.763
AT ITER 2169 NEW BEST:: SOT 482599 SOS 332368 HAS SOPS 170367 HAS SOUS 43673 HAS SOUPS 18319 WITH SCORE 18651.368
AT ITER 2190 NEW BEST:: SOT 482396 SOS 332116 HAS SOPS 170194 HAS SOUS 43559 HAS SOUPS 18209 WITH SCORE 18541.116
AT ITER 2192 NEW BEST:: SOT 482235 SOS 331906 HAS SOPS 170055 HAS SOUS 43556 HAS SOUPS 18201 WITH SCORE 18532.906
AT ITER 2207 NEW BEST:: SOT 482134 SOS 331583 HAS SOPS 170008 HAS SOUS 43449 HAS SOUPS 18163 WITH SCORE 18494.583
AT ITER 2221 NEW BEST:: SOT 482132 SOS 331607 HAS SOPS 169980 HAS SOUS 43452 HAS SOUPS 18150 WITH SCORE 18481.607
AT ITER 2281 NEW BEST:: SOT 482130 SOS 331603 HAS SOPS 169920 HAS SOUS 43448 HAS SOUPS 18132 WITH SCORE 18463.603
AT ITER 2282 NEW BEST:: SOT 482131 SOS 327371 HAS SOPS 165688 HAS SOUS 43437 HAS SOUPS 18121 WITH SCORE 18448.371
AT ITER 2284 NEW BEST:: SOT 482134 SOS 327293 HAS SOPS 165694 HAS SOUS 43389 HAS SOUPS 18094 WITH SCORE 18421.293
AT ITER 2289 NEW BEST:: SOT 482134 SOS 327309 HAS SOPS 165648 HAS SOUS 43377 HAS SOUPS 18070 WITH SCORE 18397.309
AT ITER 2295 NEW BEST:: SOT 482112 SOS 327279 HAS SOPS 165630 HAS SOUS 43375 HAS SOUPS 18068 WITH SCORE 18395.279
AT ITER 2304 NEW BEST:: SOT 481944 SOS 326579 HAS SOPS 165518 HAS SOUS 43397 HAS SOUPS 18068 WITH SCORE 18394.579
AT ITER 2309 NEW BEST:: SOT 481938 SOS 326567 HAS SOPS 165506 HAS SOUS 43391 HAS SOUPS 18062 WITH SCORE 18388.567
AT ITER 2323 NEW BEST:: SOT 482056 SOS 326715 HAS SOPS 165654 HAS SOUS 43385 HAS SOUPS 18056 WITH SCORE 18382.715
AT ITER 2345 NEW BEST:: SOT 482032 SOS 326691 HAS SOPS 165630 HAS SOUS 43361 HAS SOUPS 18032 WITH SCORE 18358.691
AT ITER 2346 NEW BEST:: SOT 482120 SOS 327032 HAS SOPS 165685 HAS SOUS 43350 HAS SOUPS 18021 WITH SCORE 18348.032
AT ITER 2360 NEW BEST:: SOT 482018 SOS 327617 HAS SOPS 165922 HAS SOUS 43373 HAS SOUPS 18015 WITH SCORE 18342.617
AT ITER 2364 NEW BEST:: SOT 482088 SOS 324710 HAS SOPS 164607 HAS SOUS 43285 HAS SOUPS 17996 WITH SCORE 18320.71
AT ITER 2406 NEW BEST:: SOT 482056 SOS 324646 HAS SOPS 164583 HAS SOUS 43226 HAS SOUPS 17957 WITH SCORE 18281.646
AT ITER 2411 NEW BEST:: SOT 482036 SOS 324622 HAS SOPS 164567 HAS SOUS 43222 HAS SOUPS 17953 WITH SCORE 18277.622
AT ITER 2422 NEW BEST:: SOT 482003 SOS 324556 HAS SOPS 164501 HAS SOUS 43204 HAS SOUPS 17935 WITH SCORE 18259.556
AT ITER 2425 NEW BEST:: SOT 482069 SOS 324208 HAS SOPS 164381 HAS SOUS 43182 HAS SOUPS 17932 WITH SCORE 18256.208
AT ITER 2426 NEW BEST:: SOT 482083 SOS 323541 HAS SOPS 164265 HAS SOUS 43163 HAS SOUPS 17913 WITH SCORE 18236.541
AT ITER 2446 NEW BEST:: SOT 482039 SOS 322403 HAS SOPS 163292 HAS SOUS 43127 HAS SOUPS 17877 WITH SCORE 18199.403
AT ITER 2468 NEW BEST:: SOT 483254 SOS 323724 HAS SOPS 164037 HAS SOUS 43116 HAS SOUPS 17869 WITH SCORE 18192.724
AT ITER 2473 NEW BEST:: SOT 483254 SOS 323661 HAS SOPS 163962 HAS SOUS 43119 HAS SOUPS 17869 WITH SCORE 18192.661
AT ITER 2477 NEW BEST:: SOT 482906 SOS 323151 HAS SOPS 163722 HAS SOUS 43068 HAS SOUPS 17845 WITH SCORE 18168.151
AT ITER 2491 NEW BEST:: SOT 482229 SOS 322318 HAS SOPS 163275 HAS SOUS 43038 HAS SOUPS 17813 WITH SCORE 18135.318
AT ITER 2553 NEW BEST:: SOT 482252 SOS 322362 HAS SOPS 163277 HAS SOUS 43052 HAS SOUPS 17811 WITH SCORE 18133.362
AT ITER 2561 NEW BEST:: SOT 482232 SOS 322322 HAS SOPS 162993 HAS SOUS 43093 HAS SOUPS 17791 WITH SCORE 18113.322
AT ITER 2562 NEW BEST:: SOT 482064 SOS 322238 HAS SOPS 162909 HAS SOUS 43114 HAS SOUPS 17791 WITH SCORE 18113.238
AT ITER 2564 NEW BEST:: SOT 480537 SOS 320094 HAS SOPS 161945 HAS SOUS 42930 HAS SOUPS 17725 WITH SCORE 18045.094
AT ITER 2567 NEW BEST:: SOT 480520 SOS 320320 HAS SOPS 162015 HAS SOUS 42936 HAS SOUPS 17718 WITH SCORE 18038.32
AT ITER 2603 NEW BEST:: SOT 480547 SOS 317976 HAS SOPS 160342 HAS SOUS 42875 HAS SOUPS 17687 WITH SCORE 18004.976
AT ITER 2611 NEW BEST:: SOT 480524 SOS 318019 HAS SOPS 160273 HAS SOUS 42875 HAS SOUPS 17659 WITH SCORE 17977.019
AT ITER 2619 NEW BEST:: SOT 480462 SOS 317933 HAS SOPS 160232 HAS SOUS 42830 HAS SOUPS 17630 WITH SCORE 17947.933
AT ITER 2640 NEW BEST:: SOT 480459 SOS 317930 HAS SOPS 160229 HAS SOUS 42827 HAS SOUPS 17627 WITH SCORE 17944.93
AT ITER 2644 NEW BEST:: SOT 480458 SOS 317924 HAS SOPS 160227 HAS SOUS 42825 HAS SOUPS 17626 WITH SCORE 17943.924
AT ITER 2662 NEW BEST:: SOT 480446 SOS 317904 HAS SOPS 160223 HAS SOUS 42815 HAS SOUPS 17620 WITH SCORE 17937.904
AT ITER 2667 NEW BEST:: SOT 480518 SOS 318031 HAS SOPS 160269 HAS SOUS 42817 HAS SOUPS 17609 WITH SCORE 17927.031
AT ITER 2721 NEW BEST:: SOT 479744 SOS 316971 HAS SOPS 159819 HAS SOUS 42736 HAS SOUPS 17589 WITH SCORE 17905.971
AT ITER 2726 NEW BEST:: SOT 478218 SOS 311882 HAS SOPS 155059 HAS SOUS 42812 HAS SOUPS 17564 WITH SCORE 17875.882
AT ITER 2748 NEW BEST:: SOT 478278 SOS 311962 HAS SOPS 155089 HAS SOUS 42815 HAS SOUPS 17562 WITH SCORE 17873.962
AT ITER 2756 NEW BEST:: SOT 478266 SOS 311938 HAS SOPS 155065 HAS SOUS 42813 HAS SOUPS 17560 WITH SCORE 17871.938
AT ITER 2761 NEW BEST:: SOT 477892 SOS 311692 HAS SOPS 154905 HAS SOUS 42581 HAS SOUPS 17328 WITH SCORE 17639.692
AT ITER 2809 NEW BEST:: SOT 477652 SOS 311372 HAS SOPS 154785 HAS SOUS 42561 HAS SOUPS 17328 WITH SCORE 17639.372
AT ITER 2853 NEW BEST:: SOT 477258 SOS 310782 HAS SOPS 154492 HAS SOUS 42497 HAS SOUPS 17297 WITH SCORE 17607.782
AT ITER 2884 NEW BEST:: SOT 477242 SOS 311254 HAS SOPS 155060 HAS SOUS 42467 HAS SOUPS 17291 WITH SCORE 17602.254
AT ITER 2895 NEW BEST:: SOT 477278 SOS 311302 HAS SOPS 155078 HAS SOUS 42467 HAS SOUPS 17288 WITH SCORE 17599.302
AT ITER 2920 NEW BEST:: SOT 477282 SOS 311302 HAS SOPS 155078 HAS SOUS 42463 HAS SOUPS 17284 WITH SCORE 17595.302
AT ITER 2923 NEW BEST:: SOT 477283 SOS 311304 HAS SOPS 155080 HAS SOUS 42448 HAS SOUPS 17269 WITH SCORE 17580.304
AT ITER 2956 NEW BEST:: SOT 477266 SOS 311270 HAS SOPS 155012 HAS SOUS 42392 HAS SOUPS 17213 WITH SCORE 17524.27
AT ITER 2968 NEW BEST:: SOT 477259 SOS 311263 HAS SOPS 155005 HAS SOUS 42392 HAS SOUPS 17213 WITH SCORE 17524.263
AT ITER 2981 NEW BEST:: SOT 477211 SOS 310819 HAS SOPS 154401 HAS SOUS 42392 HAS SOUPS 17197 WITH SCORE 17507.819
AT ITER 2992 NEW BEST:: SOT 477164 SOS 310825 HAS SOPS 154402 HAS SOUS 42379 HAS SOUPS 17191 WITH SCORE 17501.825
AT ITER 2993 NEW BEST:: SOT 477170 SOS 310837 HAS SOPS 154402 HAS SOUS 42379 HAS SOUPS 17185 WITH SCORE 17495.837
AT ITER 2996 NEW BEST:: SOT 477149 SOS 310819 HAS SOPS 154384 HAS SOUS 42371 HAS SOUPS 17177 WITH SCORE 17487.819
AT ITER 3031 NEW BEST:: SOT 476539 SOS 310055 HAS SOPS 153962 HAS SOUS 42370 HAS SOUPS 17176 WITH SCORE 17486.055
AT ITER 3045 NEW BEST:: SOT 476384 SOS 309857 HAS SOPS 153764 HAS SOUS 42290 HAS SOUPS 17096 WITH SCORE 17405.857
AT ITER 3049 NEW BEST:: SOT 476242 SOS 309706 HAS SOPS 153685 HAS SOUS 42284 HAS SOUPS 17090 WITH SCORE 17399.706
AT ITER 3064 NEW BEST:: SOT 475968 SOS 309158 HAS SOPS 153685 HAS SOUS 42256 HAS SOUPS 17090 WITH SCORE 17399.158
AT ITER 3107 NEW BEST:: SOT 475969 SOS 309164 HAS SOPS 153659 HAS SOUS 42260 HAS SOUPS 17087 WITH SCORE 17396.164
AT ITER 3119 NEW BEST:: SOT 476041 SOS 309260 HAS SOPS 153695 HAS SOUS 42254 HAS SOUPS 17075 WITH SCORE 17384.26
AT ITER 3184 NEW BEST:: SOT 475511 SOS 307436 HAS SOPS 152803 HAS SOUS 42188 HAS SOUPS 17051 WITH SCORE 17358.436
AT ITER 3197 NEW BEST:: SOT 475741 SOS 307639 HAS SOPS 152940 HAS SOUS 42141 HAS SOUPS 17023 WITH SCORE 17330.639
AT ITER 3202 NEW BEST:: SOT 475732 SOS 307726 HAS SOPS 152932 HAS SOUS 42137 HAS SOUPS 17019 WITH SCORE 17326.726
AT ITER 3218 NEW BEST:: SOT 476353 SOS 308555 HAS SOPS 153321 HAS SOUS 42106 HAS SOUPS 16981 WITH SCORE 17289.555
AT ITER 3226 NEW BEST:: SOT 476351 SOS 308535 HAS SOPS 153317 HAS SOUS 42102 HAS SOUPS 16981 WITH SCORE 17289.535
AT ITER 3249 NEW BEST:: SOT 477523 SOS 309707 HAS SOPS 153811 HAS SOUS 42146 HAS SOUPS 16961 WITH SCORE 17270.707
AT ITER 3321 NEW BEST:: SOT 477443 SOS 309635 HAS SOPS 153739 HAS SOUS 42146 HAS SOUPS 16961 WITH SCORE 17270.635
AT ITER 3382 NEW BEST:: SOT 477443 SOS 308742 HAS SOPS 153283 HAS SOUS 42108 HAS SOUPS 16942 WITH SCORE 17250.742
AT ITER 3397 NEW BEST:: SOT 477433 SOS 308732 HAS SOPS 153283 HAS SOUS 42088 HAS SOUPS 16922 WITH SCORE 17230.732
AT ITER 3400 NEW BEST:: SOT 477393 SOS 308844 HAS SOPS 153251 HAS SOUS 42075 HAS SOUPS 16897 WITH SCORE 17205.844
AT ITER 3404 NEW BEST:: SOT 477414 SOS 308611 HAS SOPS 153229 HAS SOUS 42063 HAS SOUPS 16875 WITH SCORE 17183.611
AT ITER 3414 NEW BEST:: SOT 477436 SOS 308647 HAS SOPS 153237 HAS SOUS 42064 HAS SOUPS 16869 WITH SCORE 17177.647
AT ITER 3418 NEW BEST:: SOT 477416 SOS 309271 HAS SOPS 153525 HAS SOUS 42082 HAS SOUPS 16859 WITH SCORE 17168.271
AT ITER 3443 NEW BEST:: SOT 477213 SOS 309041 HAS SOPS 153391 HAS SOUS 42077 HAS SOUPS 16854 WITH SCORE 17163.041
AT ITER 3450 NEW BEST:: SOT 476568 SOS 308338 HAS SOPS 153000 HAS SOUS 42070 HAS SOUPS 16847 WITH SCORE 17155.338
AT ITER 3451 NEW BEST:: SOT 476561 SOS 308331 HAS SOPS 152993 HAS SOUS 42063 HAS SOUPS 16840 WITH SCORE 17148.331
AT ITER 3457 NEW BEST:: SOT 476471 SOS 308069 HAS SOPS 152931 HAS SOUS 41895 HAS SOUPS 16735 WITH SCORE 17043.069
AT ITER 3487 NEW BEST:: SOT 476523 SOS 307713 HAS SOPS 152759 HAS SOUS 41890 HAS SOUPS 16730 WITH SCORE 17037.713
AT ITER 3502 NEW BEST:: SOT 476445 SOS 307605 HAS SOPS 152711 HAS SOUS 41878 HAS SOUPS 16724 WITH SCORE 17031.605
AT ITER 3546 NEW BEST:: SOT 476466 SOS 307143 HAS SOPS 152417 HAS SOUS 41878 HAS SOUPS 16724 WITH SCORE 17031.143
AT ITER 3587 NEW BEST:: SOT 476530 SOS 307333 HAS SOPS 151989 HAS SOUS 41818 HAS SOUPS 16696 WITH SCORE 17003.333
AT ITER 3590 NEW BEST:: SOT 476040 SOS 306761 HAS SOPS 151723 HAS SOUS 41811 HAS SOUPS 16689 WITH SCORE 16995.761
AT ITER 3607 NEW BEST:: SOT 476070 SOS 305415 HAS SOPS 151095 HAS SOUS 41812 HAS SOUPS 16690 WITH SCORE 16995.415
AT ITER 3651 NEW BEST:: SOT 475144 SOS 299963 HAS SOPS 148253 HAS SOUS 41770 HAS SOUPS 16690 WITH SCORE 16989.963
AT ITER 3743 NEW BEST:: SOT 475102 SOS 300019 HAS SOPS 148239 HAS SOUS 41749 HAS SOUPS 16669 WITH SCORE 16969.019
AT ITER 3774 NEW BEST:: SOT 474986 SOS 300367 HAS SOPS 148355 HAS SOUS 41674 HAS SOUPS 16594 WITH SCORE 16894.367
AT ITER 3831 NEW BEST:: SOT 473827 SOS 299215 HAS SOPS 147378 HAS SOUS 41750 HAS SOUPS 16583 WITH SCORE 16882.215
AT ITER 3866 NEW BEST:: SOT 473185 SOS 298314 HAS SOPS 146977 HAS SOUS 41691 HAS SOUPS 16574 WITH SCORE 16872.314
AT ITER 3903 NEW BEST:: SOT 471274 SOS 291671 HAS SOPS 140838 HAS SOUS 41728 HAS SOUPS 16502 WITH SCORE 16793.671
AT ITER 3919 NEW BEST:: SOT 471269 SOS 291643 HAS SOPS 140822 HAS SOUS 41720 HAS SOUPS 16500 WITH SCORE 16791.643
AT ITER 3946 NEW BEST:: SOT 471048 SOS 291229 HAS SOPS 140686 HAS SOUS 41682 HAS SOUPS 16499 WITH SCORE 16790.229
AT ITER 3963 NEW BEST:: SOT 470967 SOS 291394 HAS SOPS 140643 HAS SOUS 41623 HAS SOUPS 16462 WITH SCORE 16753.394
AT ITER 3973 NEW BEST:: SOT 471039 SOS 285948 HAS SOPS 137667 HAS SOUS 41565 HAS SOUPS 16404 WITH SCORE 16689.948
AT ITER 3984 NEW BEST:: SOT 470871 SOS 285708 HAS SOPS 137547 HAS SOUS 41529 HAS SOUPS 16380 WITH SCORE 16665.708
AT ITER 3993 NEW BEST:: SOT 471180 SOS 286050 HAS SOPS 137745 HAS SOUS 41526 HAS SOUPS 16377 WITH SCORE 16663.05
AT ITER 4026 NEW BEST:: SOT 470855 SOS 285600 HAS SOPS 137495 HAS SOUS 41451 HAS SOUPS 16327 WITH SCORE 16612.6
AT ITER 4029 NEW BEST:: SOT 470614 SOS 284227 HAS SOPS 136745 HAS SOUS 41401 HAS SOUPS 16285 WITH SCORE 16569.227
AT ITER 4069 NEW BEST:: SOT 470614 SOS 284227 HAS SOPS 136745 HAS SOUS 41387 HAS SOUPS 16271 WITH SCORE 16555.227
AT ITER 4091 NEW BEST:: SOT 470502 SOS 284067 HAS SOPS 136665 HAS SOUS 41363 HAS SOUPS 16255 WITH SCORE 16539.067
AT ITER 4099 NEW BEST:: SOT 469848 SOS 283131 HAS SOPS 136213 HAS SOUS 41249 HAS SOUPS 16186 WITH SCORE 16469.131
AT ITER 4114 NEW BEST:: SOT 469903 SOS 283373 HAS SOPS 136323 HAS SOUS 41227 HAS SOUPS 16164 WITH SCORE 16447.373
AT ITER 4126 NEW BEST:: SOT 469873 SOS 283257 HAS SOPS 136289 HAS SOUS 41184 HAS SOUPS 16141 WITH SCORE 16424.257
AT ITER 4154 NEW BEST:: SOT 469790 SOS 282158 HAS SOPS 135580 HAS SOUS 41112 HAS SOUPS 16069 WITH SCORE 16351.158
AT ITER 4180 NEW BEST:: SOT 469487 SOS 282651 HAS SOPS 135369 HAS SOUS 41044 HAS SOUPS 16001 WITH SCORE 16283.651
AT ITER 4186 NEW BEST:: SOT 469668 SOS 282988 HAS SOPS 135479 HAS SOUS 41060 HAS SOUPS 15988 WITH SCORE 16270.988
AT ITER 4190 NEW BEST:: SOT 469816 SOS 283140 HAS SOPS 135545 HAS SOUS 41019 HAS SOUPS 15952 WITH SCORE 16235.14
AT ITER 4197 NEW BEST:: SOT 469825 SOS 283107 HAS SOPS 135542 HAS SOUS 40992 HAS SOUPS 15931 WITH SCORE 16214.107
AT ITER 4211 NEW BEST:: SOT 469825 SOS 283102 HAS SOPS 135542 HAS SOUS 40987 HAS SOUPS 15931 WITH SCORE 16214.102
AT ITER 4221 NEW BEST:: SOT 470431 SOS 284181 HAS SOPS 135889 HAS SOUS 41060 HAS SOUPS 15913 WITH SCORE 16197.181
AT ITER 4273 NEW BEST:: SOT 470760 SOS 284858 HAS SOPS 136044 HAS SOUS 41120 HAS SOUPS 15896 WITH SCORE 16180.858
AT ITER 4302 NEW BEST:: SOT 471009 SOS 285109 HAS SOPS 136154 HAS SOUS 41057 HAS SOUPS 15851 WITH SCORE 16136.109
AT ITER 4308 NEW BEST:: SOT 470853 SOS 284893 HAS SOPS 136058 HAS SOUS 41034 HAS SOUPS 15840 WITH SCORE 16124.893
AT ITER 4315 NEW BEST:: SOT 470750 SOS 284522 HAS SOPS 135907 HAS SOUS 40920 HAS SOUPS 15781 WITH SCORE 16065.522
AT ITER 4319 NEW BEST:: SOT 470761 SOS 284533 HAS SOPS 135912 HAS SOUS 40918 HAS SOUPS 15779 WITH SCORE 16063.533
AT ITER 4320 NEW BEST:: SOT 469928 SOS 284505 HAS SOPS 135393 HAS SOUS 40825 HAS SOUPS 15686 WITH SCORE 15970.505
AT ITER 4332 NEW BEST:: SOT 470284 SOS 285043 HAS SOPS 135739 HAS SOUS 40800 HAS SOUPS 15661 WITH SCORE 15946.043
AT ITER 4368 NEW BEST:: SOT 469997 SOS 284137 HAS SOPS 135355 HAS SOUS 40768 HAS SOUPS 15658 WITH SCORE 15942.137
AT ITER 4385 NEW BEST:: SOT 469493 SOS 283591 HAS SOPS 135061 HAS SOUS 40766 HAS SOUPS 15656 WITH SCORE 15939.591
AT ITER 4395 NEW BEST:: SOT 469501 SOS 283607 HAS SOPS 135033 HAS SOUS 40757 HAS SOUPS 15636 WITH SCORE 15919.607
AT ITER 4412 NEW BEST:: SOT 471090 SOS 286818 HAS SOPS 135996 HAS SOUS 40763 HAS SOUPS 15566 WITH SCORE 15852.818
AT ITER 4413 NEW BEST:: SOT 470852 SOS 286510 HAS SOPS 135814 HAS SOUS 40753 HAS SOUPS 15556 WITH SCORE 15842.51
AT ITER 4461 NEW BEST:: SOT 470852 SOS 285498 HAS SOPS 135860 HAS SOUS 40672 HAS SOUPS 15521 WITH SCORE 15806.498
AT ITER 4467 NEW BEST:: SOT 470848 SOS 285454 HAS SOPS 135812 HAS SOUS 40672 HAS SOUPS 15521 WITH SCORE 15806.454
AT ITER 4472 NEW BEST:: SOT 470927 SOS 285612 HAS SOPS 135884 HAS SOUS 40675 HAS SOUPS 15513 WITH SCORE 15798.612
AT ITER 4476 NEW BEST:: SOT 470739 SOS 284864 HAS SOPS 135332 HAS SOUS 40636 HAS SOUPS 15474 WITH SCORE 15758.864
AT ITER 4482 NEW BEST:: SOT 470030 SOS 283863 HAS SOPS 134850 HAS SOUS 40513 HAS SOUPS 15400 WITH SCORE 15683.863
AT ITER 4489 NEW BEST:: SOT 469517 SOS 283141 HAS SOPS 134356 HAS SOUS 40456 HAS SOUPS 15343 WITH SCORE 15626.141
AT ITER 4491 NEW BEST:: SOT 469413 SOS 282597 HAS SOPS 134032 HAS SOUS 40430 HAS SOUPS 15317 WITH SCORE 15599.597
AT ITER 4523 NEW BEST:: SOT 469462 SOS 282791 HAS SOPS 134023 HAS SOUS 40474 HAS SOUPS 15315 WITH SCORE 15597.791
AT ITER 4524 NEW BEST:: SOT 469456 SOS 282671 HAS SOPS 133903 HAS SOUS 40474 HAS SOUPS 15315 WITH SCORE 15597.671
AT ITER 4527 NEW BEST:: SOT 468948 SOS 281969 HAS SOPS 133423 HAS SOUS 40410 HAS SOUPS 15251 WITH SCORE 15532.969
AT ITER 4583 NEW BEST:: SOT 469278 SOS 282299 HAS SOPS 133585 HAS SOUS 40348 HAS SOUPS 15189 WITH SCORE 15471.298999999999
AT ITER 4618 NEW BEST:: SOT 469259 SOS 282280 HAS SOPS 133585 HAS SOUS 40348 HAS SOUPS 15189 WITH SCORE 15471.28
AT ITER 4657 NEW BEST:: SOT 469252 SOS 282422 HAS SOPS 133657 HAS SOUS 40341 HAS SOUPS 15182 WITH SCORE 15464.422
AT ITER 4676 NEW BEST:: SOT 469244 SOS 282286 HAS SOPS 133529 HAS SOUS 40341 HAS SOUPS 15174 WITH SCORE 15456.286
AT ITER 4711 NEW BEST:: SOT 469160 SOS 282118 HAS SOPS 133417 HAS SOUS 40271 HAS SOUPS 15118 WITH SCORE 15400.118
AT ITER 4716 NEW BEST:: SOT 468706 SOS 281522 HAS SOPS 133133 HAS SOUS 40159 HAS SOUPS 15035 WITH SCORE 15316.522
AT ITER 4786 NEW BEST:: SOT 468575 SOS 281078 HAS SOPS 132887 HAS SOUS 40138 HAS SOUPS 15025 WITH SCORE 15306.078
AT ITER 4792 NEW BEST:: SOT 468587 SOS 281102 HAS SOPS 132903 HAS SOUS 40137 HAS SOUPS 15023 WITH SCORE 15304.102
AT ITER 4833 NEW BEST:: SOT 468517 SOS 280979 HAS SOPS 132862 HAS SOUS 40122 HAS SOUPS 15014 WITH SCORE 15294.979
AT ITER 4855 NEW BEST:: SOT 468608 SOS 281029 HAS SOPS 132912 HAS SOUS 40095 HAS SOUPS 14998 WITH SCORE 15279.029
AT ITER 4868 NEW BEST:: SOT 466662 SOS 279067 HAS SOPS 131928 HAS SOUS 40081 HAS SOUPS 14984 WITH SCORE 15263.067
AT ITER 4885 NEW BEST:: SOT 466961 SOS 279657 HAS SOPS 132079 HAS SOUS 40123 HAS SOUPS 14952 WITH SCORE 15231.657
AT ITER 4904 NEW BEST:: SOT 466963 SOS 279418 HAS SOPS 131774 HAS SOUS 40116 HAS SOUPS 14933 WITH SCORE 15212.418
AT ITER 4935 NEW BEST:: SOT 466951 SOS 279406 HAS SOPS 131762 HAS SOUS 40116 HAS SOUPS 14933 WITH SCORE 15212.406
AT ITER 4940 NEW BEST:: SOT 466958 SOS 279238 HAS SOPS 131664 HAS SOUS 40109 HAS SOUPS 14933 WITH SCORE 15212.238
AT ITER 4957 NEW BEST:: SOT 466761 SOS 278992 HAS SOPS 131546 HAS SOUS 40092 HAS SOUPS 14924 WITH SCORE 15202.992
AT ITER 4962 NEW BEST:: SOT 466945 SOS 279112 HAS SOPS 131666 HAS SOUS 40059 HAS SOUPS 14922 WITH SCORE 15201.112
AT ITER 5011 NEW BEST:: SOT 466989 SOS 278646 HAS SOPS 131443 HAS SOUS 40041 HAS SOUPS 14904 WITH SCORE 15182.646
AT ITER 5049 NEW BEST:: SOT 467000 SOS 278710 HAS SOPS 131507 HAS SOUS 40039 HAS SOUPS 14902 WITH SCORE 15180.71
AT ITER 5085 NEW BEST:: SOT 467000 SOS 278518 HAS SOPS 131379 HAS SOUS 40022 HAS SOUPS 14885 WITH SCORE 15163.518
AT ITER 5112 NEW BEST:: SOT 466986 SOS 278153 HAS SOPS 130960 HAS SOUS 40015 HAS SOUPS 14860 WITH SCORE 15138.153
AT ITER 5121 NEW BEST:: SOT 466593 SOS 277599 HAS SOPS 130696 HAS SOUS 39942 HAS SOUPS 14816 WITH SCORE 15093.599
AT ITER 5138 NEW BEST:: SOT 466542 SOS 278232 HAS SOPS 130524 HAS SOUS 39945 HAS SOUPS 14784 WITH SCORE 15062.232
AT ITER 5167 NEW BEST:: SOT 466817 SOS 278584 HAS SOPS 130678 HAS SOUS 39950 HAS SOUPS 14774 WITH SCORE 15052.584
AT ITER 5187 NEW BEST:: SOT 465827 SOS 277322 HAS SOPS 130062 HAS SOUS 39843 HAS SOUPS 14712 WITH SCORE 14989.322
AT ITER 5197 NEW BEST:: SOT 465899 SOS 277394 HAS SOPS 130098 HAS SOUS 39837 HAS SOUPS 14706 WITH SCORE 14983.394
AT ITER 5212 NEW BEST:: SOT 465929 SOS 277478 HAS SOPS 130128 HAS SOUS 39834 HAS SOUPS 14700 WITH SCORE 14977.478
AT ITER 5235 NEW BEST:: SOT 465843 SOS 277834 HAS SOPS 130219 HAS SOUS 39887 HAS SOUPS 14681 WITH SCORE 14958.834
AT ITER 5283 NEW BEST:: SOT 466075 SOS 278106 HAS SOPS 130347 HAS SOUS 39886 HAS SOUPS 14680 WITH SCORE 14958.106
AT ITER 5305 NEW BEST:: SOT 466024 SOS 278360 HAS SOPS 130447 HAS SOUS 39879 HAS SOUPS 14666 WITH SCORE 14944.36
AT ITER 5310 NEW BEST:: SOT 465990 SOS 278313 HAS SOPS 130400 HAS SOUS 39845 HAS SOUPS 14632 WITH SCORE 14910.313
AT ITER 5345 NEW BEST:: SOT 465498 SOS 277657 HAS SOPS 130154 HAS SOUS 39783 HAS SOUPS 14611 WITH SCORE 14888.657
AT ITER 5351 NEW BEST:: SOT 465511 SOS 277615 HAS SOPS 130146 HAS SOUS 39775 HAS SOUPS 14610 WITH SCORE 14887.615
AT ITER 5374 NEW BEST:: SOT 465475 SOS 277493 HAS SOPS 130024 HAS SOUS 39728 HAS SOUPS 14563 WITH SCORE 14840.493
AT ITER 5428 NEW BEST:: SOT 465801 SOS 278155 HAS SOPS 130206 HAS SOUS 39742 HAS SOUPS 14553 WITH SCORE 14831.155
AT ITER 5449 NEW BEST:: SOT 467312 SOS 281192 HAS SOPS 131118 HAS SOUS 39803 HAS SOUPS 14548 WITH SCORE 14829.192
AT ITER 5450 NEW BEST:: SOT 467430 SOS 282688 HAS SOPS 131944 HAS SOUS 39799 HAS SOUPS 14544 WITH SCORE 14826.688
AT ITER 5505 NEW BEST:: SOT 467305 SOS 283142 HAS SOPS 132150 HAS SOUS 39777 HAS SOUPS 14522 WITH SCORE 14805.142
AT ITER 5510 NEW BEST:: SOT 467522 SOS 283573 HAS SOPS 132283 HAS SOUS 39769 HAS SOUPS 14483 WITH SCORE 14766.573
AT ITER 5515 NEW BEST:: SOT 467521 SOS 283573 HAS SOPS 132282 HAS SOUS 39767 HAS SOUPS 14480 WITH SCORE 14763.573
AT ITER 5521 NEW BEST:: SOT 467523 SOS 283150 HAS SOPS 132068 HAS SOUS 39747 HAS SOUPS 14460 WITH SCORE 14743.15
AT ITER 5551 NEW BEST:: SOT 467593 SOS 282968 HAS SOPS 131892 HAS SOUS 39719 HAS SOUPS 14418 WITH SCORE 14700.968
AT ITER 5614 NEW BEST:: SOT 467392 SOS 282686 HAS SOPS 131760 HAS SOUS 39683 HAS SOUPS 14397 WITH SCORE 14679.686
AT ITER 5640 NEW BEST:: SOT 467416 SOS 282718 HAS SOPS 131772 HAS SOUS 39681 HAS SOUPS 14393 WITH SCORE 14675.718
AT ITER 5673 NEW BEST:: SOT 467287 SOS 282417 HAS SOPS 131686 HAS SOUS 39638 HAS SOUPS 14393 WITH SCORE 14675.417
AT ITER 5675 NEW BEST:: SOT 467026 SOS 281907 HAS SOPS 131551 HAS SOUS 39523 HAS SOUPS 14341 WITH SCORE 14622.907
AT ITER 5692 NEW BEST:: SOT 466998 SOS 281879 HAS SOPS 131551 HAS SOUS 39523 HAS SOUPS 14341 WITH SCORE 14622.879
AT ITER 5778 NEW BEST:: SOT 467556 SOS 282960 HAS SOPS 131891 HAS SOUS 39586 HAS SOUPS 14328 WITH SCORE 14610.96
AT ITER 5834 NEW BEST:: SOT 467555 SOS 282958 HAS SOPS 131891 HAS SOUS 39586 HAS SOUPS 14328 WITH SCORE 14610.958
AT ITER 5941 NEW BEST:: SOT 467553 SOS 282954 HAS SOPS 131887 HAS SOUS 39584 HAS SOUPS 14326 WITH SCORE 14608.954
AT ITER 5961 NEW BEST:: SOT 467553 SOS 282954 HAS SOPS 131887 HAS SOUS 39574 HAS SOUPS 14316 WITH SCORE 14598.954
AT ITER 6010 NEW BEST:: SOT 467522 SOS 282892 HAS SOPS 131825 HAS SOUS 39512 HAS SOUPS 14254 WITH SCORE 14536.892
AT ITER 6022 NEW BEST:: SOT 467468 SOS 282790 HAS SOPS 131789 HAS SOUS 39500 HAS SOUPS 14248 WITH SCORE 14530.79
AT ITER 6047 NEW BEST:: SOT 467508 SOS 282830 HAS SOPS 131809 HAS SOUS 39490 HAS SOUPS 14238 WITH SCORE 14520.83
AT ITER 6075 NEW BEST:: SOT 467306 SOS 282426 HAS SOPS 131809 HAS SOUS 39446 HAS SOUPS 14238 WITH SCORE 14520.426
AT ITER 6094 NEW BEST:: SOT 467655 SOS 283111 HAS SOPS 132028 HAS SOUS 39483 HAS SOUPS 14237 WITH SCORE 14520.111
AT ITER 6110 NEW BEST:: SOT 467652 SOS 283128 HAS SOPS 132045 HAS SOUS 39480 HAS SOUPS 14234 WITH SCORE 14517.128
AT ITER 6197 NEW BEST:: SOT 467644 SOS 283088 HAS SOPS 132021 HAS SOUS 39465 HAS SOUPS 14225 WITH SCORE 14508.088
AT ITER 6216 NEW BEST:: SOT 467992 SOS 283552 HAS SOPS 132195 HAS SOUS 39454 HAS SOUPS 14185 WITH SCORE 14468.552
AT ITER 6307 NEW BEST:: SOT 467989 SOS 283546 HAS SOPS 132189 HAS SOUS 39444 HAS SOUPS 14175 WITH SCORE 14458.546
AT ITER 6314 NEW BEST:: SOT 467973 SOS 283170 HAS SOPS 131997 HAS SOUS 39430 HAS SOUPS 14169 WITH SCORE 14452.17
AT ITER 6330 NEW BEST:: SOT 468005 SOS 283046 HAS SOPS 131969 HAS SOUS 39422 HAS SOUPS 14169 WITH SCORE 14452.046
AT ITER 6525 NEW BEST:: SOT 467981 SOS 283014 HAS SOPS 131957 HAS SOUS 39420 HAS SOUPS 14169 WITH SCORE 14452.014
AT ITER 6588 NEW BEST:: SOT 467841 SOS 282850 HAS SOPS 131845 HAS SOUS 39388 HAS SOUPS 14137 WITH SCORE 14419.85
AT ITER 6612 NEW BEST:: SOT 467750 SOS 282745 HAS SOPS 131782 HAS SOUS 39388 HAS SOUPS 14137 WITH SCORE 14419.745
AT ITER 6621 NEW BEST:: SOT 467440 SOS 282125 HAS SOPS 131596 HAS SOUS 39388 HAS SOUPS 14137 WITH SCORE 14419.125
AT ITER 6682 NEW BEST:: SOT 467440 SOS 282125 HAS SOPS 131596 HAS SOUS 39384 HAS SOUPS 14133 WITH SCORE 14415.125
AT ITER 6718 NEW BEST:: SOT 467460 SOS 282162 HAS SOPS 131606 HAS SOUS 39370 HAS SOUPS 14114 WITH SCORE 14396.162
AT ITER 6744 NEW BEST:: SOT 468611 SOS 284448 HAS SOPS 132278 HAS SOUS 39452 HAS SOUPS 14106 WITH SCORE 14390.448
AT ITER 6786 NEW BEST:: SOT 468455 SOS 284136 HAS SOPS 132200 HAS SOUS 39413 HAS SOUPS 14106 WITH SCORE 14390.136
AT ITER 6803 NEW BEST:: SOT 468407 SOS 284040 HAS SOPS 132260 HAS SOUS 39359 HAS SOUPS 14091 WITH SCORE 14375.04
AT ITER 6917 NEW BEST:: SOT 467875 SOS 282352 HAS SOPS 131364 HAS SOUS 39173 HAS SOUPS 13949 WITH SCORE 14231.352
AT ITER 6943 NEW BEST:: SOT 467487 SOS 281602 HAS SOPS 131108 HAS SOUS 39147 HAS SOUPS 13923 WITH SCORE 14204.602
AT ITER 6995 NEW BEST:: SOT 467462 SOS 281417 HAS SOPS 130948 HAS SOUS 39082 HAS SOUPS 13863 WITH SCORE 14144.417
AT ITER 7002 NEW BEST:: SOT 467467 SOS 281392 HAS SOPS 130951 HAS SOUS 39073 HAS SOUPS 13861 WITH SCORE 14142.392
AT ITER 7008 NEW BEST:: SOT 467619 SOS 281544 HAS SOPS 130989 HAS SOUS 39051 HAS SOUPS 13839 WITH SCORE 14120.544
AT ITER 7016 NEW BEST:: SOT 467618 SOS 281542 HAS SOPS 130985 HAS SOUS 39047 HAS SOUPS 13835 WITH SCORE 14116.542
AT ITER 7038 NEW BEST:: SOT 467617 SOS 281540 HAS SOPS 130981 HAS SOUS 39045 HAS SOUPS 13833 WITH SCORE 14114.54
AT ITER 7070 NEW BEST:: SOT 467615 SOS 281542 HAS SOPS 130975 HAS SOUS 39043 HAS SOUPS 13829 WITH SCORE 14110.542
AT ITER 7090 NEW BEST:: SOT 467615 SOS 281534 HAS SOPS 130967 HAS SOUS 39041 HAS SOUPS 13827 WITH SCORE 14108.534
AT ITER 7115 NEW BEST:: SOT 467612 SOS 281531 HAS SOPS 130964 HAS SOUS 39038 HAS SOUPS 13824 WITH SCORE 14105.531
AT ITER 7136 NEW BEST:: SOT 467608 SOS 281527 HAS SOPS 130964 HAS SOUS 39038 HAS SOUPS 13824 WITH SCORE 14105.527
AT ITER 7180 NEW BEST:: SOT 467594 SOS 278787 HAS SOPS 128618 HAS SOUS 39039 HAS SOUPS 13825 WITH SCORE 14103.787
AT ITER 7220 NEW BEST:: SOT 467545 SOS 278689 HAS SOPS 128460 HAS SOUS 39044 HAS SOUPS 13800 WITH SCORE 14078.689
AT ITER 7247 NEW BEST:: SOT 467555 SOS 278677 HAS SOPS 128434 HAS SOUS 39031 HAS SOUPS 13787 WITH SCORE 14065.677
AT ITER 7289 NEW BEST:: SOT 467555 SOS 278677 HAS SOPS 128434 HAS SOUS 39015 HAS SOUPS 13771 WITH SCORE 14049.677
AT ITER 7422 NEW BEST:: SOT 467758 SOS 279618 HAS SOPS 128569 HAS SOUS 39012 HAS SOUPS 13768 WITH SCORE 14047.618
AT ITER 7424 NEW BEST:: SOT 467756 SOS 279592 HAS SOPS 128566 HAS SOUS 39009 HAS SOUPS 13766 WITH SCORE 14045.592
AT ITER 7442 NEW BEST:: SOT 467727 SOS 279563 HAS SOPS 128566 HAS SOUS 39050 HAS SOUPS 13763 WITH SCORE 14042.563
AT ITER 7446 NEW BEST:: SOT 467697 SOS 278358 HAS SOPS 127961 HAS SOUS 39025 HAS SOUPS 13738 WITH SCORE 14016.358
AT ITER 7454 NEW BEST:: SOT 467697 SOS 278358 HAS SOPS 127961 HAS SOUS 38971 HAS SOUPS 13708 WITH SCORE 13986.358
AT ITER 7457 NEW BEST:: SOT 467677 SOS 278362 HAS SOPS 127921 HAS SOUS 38973 HAS SOUPS 13699 WITH SCORE 13977.362
AT ITER 7570 NEW BEST:: SOT 467657 SOS 278572 HAS SOPS 127915 HAS SOUS 38971 HAS SOUPS 13691 WITH SCORE 13969.572
AT ITER 7589 NEW BEST:: SOT 467600 SOS 278530 HAS SOPS 127873 HAS SOUS 38968 HAS SOUPS 13682 WITH SCORE 13960.53
AT ITER 7628 NEW BEST:: SOT 467598 SOS 278526 HAS SOPS 127869 HAS SOUS 38966 HAS SOUPS 13680 WITH SCORE 13958.526
AT ITER 7629 NEW BEST:: SOT 467486 SOS 278388 HAS SOPS 127781 HAS SOUS 38964 HAS SOUPS 13678 WITH SCORE 13956.388
AT ITER 7682 NEW BEST:: SOT 467477 SOS 278370 HAS SOPS 127763 HAS SOUS 38955 HAS SOUPS 13669 WITH SCORE 13947.37
AT ITER 7691 NEW BEST:: SOT 467321 SOS 278702 HAS SOPS 127615 HAS SOUS 39001 HAS SOUPS 13655 WITH SCORE 13933.702
AT ITER 7697 NEW BEST:: SOT 467188 SOS 278225 HAS SOPS 127321 HAS SOUS 38974 HAS SOUPS 13632 WITH SCORE 13910.225
AT ITER 7781 NEW BEST:: SOT 467188 SOS 278225 HAS SOPS 127321 HAS SOUS 38972 HAS SOUPS 13630 WITH SCORE 13908.225
AT ITER 7797 NEW BEST:: SOT 467188 SOS 278129 HAS SOPS 127321 HAS SOUS 38927 HAS SOUPS 13609 WITH SCORE 13887.129
AT ITER 7799 NEW BEST:: SOT 467194 SOS 278141 HAS SOPS 127301 HAS SOUS 38931 HAS SOUPS 13606 WITH SCORE 13884.141
AT ITER 7814 NEW BEST:: SOT 467194 SOS 278141 HAS SOPS 127301 HAS SOUS 38919 HAS SOUPS 13594 WITH SCORE 13872.141
AT ITER 7815 NEW BEST:: SOT 467122 SOS 278045 HAS SOPS 127241 HAS SOUS 38919 HAS SOUPS 13594 WITH SCORE 13872.045
AT ITER 7830 NEW BEST:: SOT 466282 SOS 276365 HAS SOPS 126761 HAS SOUS 38859 HAS SOUPS 13594 WITH SCORE 13870.365
AT ITER 7927 NEW BEST:: SOT 466318 SOS 276377 HAS SOPS 126731 HAS SOUS 38862 HAS SOUPS 13591 WITH SCORE 13867.377
AT ITER 7939 NEW BEST:: SOT 466290 SOS 276337 HAS SOPS 126711 HAS SOUS 38856 HAS SOUPS 13587 WITH SCORE 13863.337
AT ITER 8054 NEW BEST:: SOT 466315 SOS 276464 HAS SOPS 126728 HAS SOUS 38870 HAS SOUPS 13574 WITH SCORE 13850.464
AT ITER 8095 NEW BEST:: SOT 466310 SOS 276454 HAS SOPS 126728 HAS SOUS 38865 HAS SOUPS 13574 WITH SCORE 13850.454
AT ITER 8126 NEW BEST:: SOT 466358 SOS 276518 HAS SOPS 126752 HAS SOUS 38865 HAS SOUPS 13570 WITH SCORE 13846.518
AT ITER 8136 NEW BEST:: SOT 465679 SOS 275594 HAS SOPS 126380 HAS SOUS 38705 HAS SOUPS 13557 WITH SCORE 13832.594
AT ITER 8146 NEW BEST:: SOT 465679 SOS 275594 HAS SOPS 126380 HAS SOUS 38685 HAS SOUPS 13537 WITH SCORE 13812.594
AT ITER 8191 NEW BEST:: SOT 465678 SOS 275549 HAS SOPS 126356 HAS SOUS 38683 HAS SOUPS 13535 WITH SCORE 13810.548999999999
AT ITER 8214 NEW BEST:: SOT 465214 SOS 274997 HAS SOPS 126086 HAS SOUS 38648 HAS SOUPS 13500 WITH SCORE 13774.997
AT ITER 8215 NEW BEST:: SOT 465183 SOS 275028 HAS SOPS 126069 HAS SOUS 38647 HAS SOUPS 13490 WITH SCORE 13765.028
AT ITER 8297 NEW BEST:: SOT 466011 SOS 275856 HAS SOPS 126483 HAS SOUS 38634 HAS SOUPS 13477 WITH SCORE 13752.856
AT ITER 8309 NEW BEST:: SOT 465966 SOS 275121 HAS SOPS 126093 HAS SOUS 38589 HAS SOUPS 13447 WITH SCORE 13722.121
AT ITER 8332 NEW BEST:: SOT 466707 SOS 276602 HAS SOPS 126538 HAS SOUS 38566 HAS SOUPS 13350 WITH SCORE 13626.602
AT ITER 8349 NEW BEST:: SOT 466375 SOS 276250 HAS SOPS 126342 HAS SOUS 38560 HAS SOUPS 13344 WITH SCORE 13620.25
AT ITER 8380 NEW BEST:: SOT 465567 SOS 275202 HAS SOPS 125862 HAS SOUS 38499 HAS SOUPS 13323 WITH SCORE 13598.202
AT ITER 8413 NEW BEST:: SOT 465555 SOS 275178 HAS SOPS 125854 HAS SOUS 38499 HAS SOUPS 13323 WITH SCORE 13598.178
AT ITER 8424 NEW BEST:: SOT 465558 SOS 274839 HAS SOPS 125929 HAS SOUS 38470 HAS SOUPS 13312 WITH SCORE 13586.839
AT ITER 8451 NEW BEST:: SOT 465566 SOS 274823 HAS SOPS 125929 HAS SOUS 38464 HAS SOUPS 13306 WITH SCORE 13580.823
AT ITER 8521 NEW BEST:: SOT 465300 SOS 274555 HAS SOPS 125859 HAS SOUS 38429 HAS SOUPS 13271 WITH SCORE 13545.555
AT ITER 8563 NEW BEST:: SOT 465360 SOS 274667 HAS SOPS 125898 HAS SOUS 38426 HAS SOUPS 13259 WITH SCORE 13533.667
AT ITER 8618 NEW BEST:: SOT 465318 SOS 274563 HAS SOPS 125784 HAS SOUS 38373 HAS SOUPS 13206 WITH SCORE 13480.563
AT ITER 8726 NEW BEST:: SOT 465305 SOS 274502 HAS SOPS 125693 HAS SOUS 38347 HAS SOUPS 13180 WITH SCORE 13454.502
AT ITER 8734 NEW BEST:: SOT 465257 SOS 274666 HAS SOPS 125779 HAS SOUS 38314 HAS SOUPS 13158 WITH SCORE 13432.666
AT ITER 8740 NEW BEST:: SOT 465168 SOS 274688 HAS SOPS 125701 HAS SOUS 38279 HAS SOUPS 13123 WITH SCORE 13397.688
AT ITER 8763 NEW BEST:: SOT 465223 SOS 274758 HAS SOPS 125731 HAS SOUS 38271 HAS SOUPS 13115 WITH SCORE 13389.758
AT ITER 8813 NEW BEST:: SOT 465225 SOS 274240 HAS SOPS 125679 HAS SOUS 38239 HAS SOUPS 13083 WITH SCORE 13357.24
AT ITER 8956 NEW BEST:: SOT 465788 SOS 276594 HAS SOPS 126000 HAS SOUS 38250 HAS SOUPS 13080 WITH SCORE 13356.594
AT ITER 8962 NEW BEST:: SOT 465908 SOS 276654 HAS SOPS 126060 HAS SOUS 38220 HAS SOUPS 13065 WITH SCORE 13341.654
AT ITER 9024 NEW BEST:: SOT 465832 SOS 274400 HAS SOPS 123038 HAS SOUS 38215 HAS SOUPS 12988 WITH SCORE 13262.4
AT ITER 9048 NEW BEST:: SOT 465772 SOS 274280 HAS SOPS 123008 HAS SOUS 38200 HAS SOUPS 12988 WITH SCORE 13262.28
AT ITER 9118 NEW BEST:: SOT 466115 SOS 275445 HAS SOPS 123117 HAS SOUS 38220 HAS SOUPS 12985 WITH SCORE 13260.445
AT ITER 9233 NEW BEST:: SOT 466067 SOS 275381 HAS SOPS 123077 HAS SOUS 38216 HAS SOUPS 12981 WITH SCORE 13256.381
AT ITER 9262 NEW BEST:: SOT 465977 SOS 275081 HAS SOPS 122957 HAS SOUS 38196 HAS SOUPS 12971 WITH SCORE 13246.081
AT ITER 9331 NEW BEST:: SOT 465781 SOS 274230 HAS SOPS 122445 HAS SOUS 38161 HAS SOUPS 12936 WITH SCORE 13210.23
AT ITER 9575 NEW BEST:: SOT 465853 SOS 274302 HAS SOPS 122477 HAS SOUS 38153 HAS SOUPS 12928 WITH SCORE 13202.302
AT ITER 9621 NEW BEST:: SOT 465877 SOS 274352 HAS SOPS 122525 HAS SOUS 38149 HAS SOUPS 12926 WITH SCORE 13200.352
AT ITER 9625 NEW BEST:: SOT 465872 SOS 274457 HAS SOPS 122515 HAS SOUS 38144 HAS SOUPS 12916 WITH SCORE 13190.457
AT ITER 9639 NEW BEST:: SOT 465840 SOS 274393 HAS SOPS 122499 HAS SOUS 38136 HAS SOUPS 12916 WITH SCORE 13190.393
AT ITER 9652 NEW BEST:: SOT 465687 SOS 274087 HAS SOPS 122499 HAS SOUS 38078 HAS SOUPS 12916 WITH SCORE 13190.087
AT ITER 9717 NEW BEST:: SOT 465684 SOS 274081 HAS SOPS 122499 HAS SOUS 38075 HAS SOUPS 12916 WITH SCORE 13190.081
AT ITER 9788 NEW BEST:: SOT 465625 SOS 274051 HAS SOPS 122437 HAS SOUS 38073 HAS SOUPS 12906 WITH SCORE 13180.051
AT ITER 9791 NEW BEST:: SOT 465625 SOS 274051 HAS SOPS 122437 HAS SOUS 38069 HAS SOUPS 12902 WITH SCORE 13176.051
AT ITER 9795 NEW BEST:: SOT 465538 SOS 273973 HAS SOPS 122383 HAS SOUS 38066 HAS SOUPS 12899 WITH SCORE 13172.973
AT ITER 9874 NEW BEST:: SOT 465430 SOS 273829 HAS SOPS 122329 HAS SOUS 38057 HAS SOUPS 12899 WITH SCORE 13172.829
STATE_SPACE STATES 797922662976120010001 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 196 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 203766650333730304268001 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 180128 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16244692 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="DLCflexbar-PT-2a"
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 DLCflexbar-PT-2a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r099-tall-167814472500512"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' 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 ;