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-167814472700672.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 DLCround-PT-06a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472700672
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 788K
-rw-r--r-- 1 mcc users 6.8K Feb 25 18:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 25 18:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 25 18:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 18:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 15:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:52 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:52 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 19:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 127K Feb 25 19:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.5K Feb 25 18:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 73K Feb 25 18:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:52 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:52 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 325K 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 1678256870592

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=DLCround-PT-06a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 06a
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: 197 places, 1313 transitions, 5002 arcs.
AT ITER 0 NEW BEST:: SOT 169047 SOS 136160 HAS SOPS 81619 HAS SOUS 20673 HAS SOUPS 13448 WITH SCORE 13584.16
AT ITER 2 NEW BEST:: SOT 169200 SOS 136364 HAS SOPS 81517 HAS SOUS 20356 HAS SOUPS 13087 WITH SCORE 13223.364
AT ITER 4 NEW BEST:: SOT 169403 SOS 136700 HAS SOPS 81853 HAS SOUS 19804 HAS SOUPS 12535 WITH SCORE 12671.7
AT ITER 5 NEW BEST:: SOT 169385 SOS 136502 HAS SOPS 81655 HAS SOUS 19786 HAS SOUPS 12517 WITH SCORE 12653.502
AT ITER 6 NEW BEST:: SOT 169333 SOS 134310 HAS SOPS 79783 HAS SOUS 19751 HAS SOUPS 12514 WITH SCORE 12648.31
AT ITER 18 NEW BEST:: SOT 169380 SOS 133790 HAS SOPS 79683 HAS SOUS 19648 HAS SOUPS 12453 WITH SCORE 12586.79
AT ITER 23 NEW BEST:: SOT 169640 SOS 134121 HAS SOPS 79588 HAS SOUS 19421 HAS SOUPS 12074 WITH SCORE 12208.121
AT ITER 27 NEW BEST:: SOT 169502 SOS 132811 HAS SOPS 79363 HAS SOUS 19746 HAS SOUPS 12020 WITH SCORE 12152.811
AT ITER 28 NEW BEST:: SOT 169418 SOS 133244 HAS SOPS 79439 HAS SOUS 19728 HAS SOUPS 11985 WITH SCORE 12118.244
AT ITER 44 NEW BEST:: SOT 169972 SOS 133872 HAS SOPS 79623 HAS SOUS 19465 HAS SOUPS 11702 WITH SCORE 11835.872
AT ITER 47 NEW BEST:: SOT 169972 SOS 133760 HAS SOPS 79581 HAS SOUS 19409 HAS SOUPS 11660 WITH SCORE 11793.76
AT ITER 49 NEW BEST:: SOT 170121 SOS 130433 HAS SOPS 76904 HAS SOUS 19322 HAS SOUPS 11638 WITH SCORE 11768.433
AT ITER 50 NEW BEST:: SOT 170093 SOS 130405 HAS SOPS 76862 HAS SOUS 19308 HAS SOUPS 11624 WITH SCORE 11754.405
AT ITER 57 NEW BEST:: SOT 170093 SOS 130229 HAS SOPS 76840 HAS SOUS 19264 HAS SOUPS 11602 WITH SCORE 11732.229
AT ITER 58 NEW BEST:: SOT 170057 SOS 130079 HAS SOPS 76820 HAS SOUS 19206 HAS SOUPS 11570 WITH SCORE 11700.079
AT ITER 60 NEW BEST:: SOT 170253 SOS 129379 HAS SOPS 76640 HAS SOUS 19835 HAS SOUPS 11559 WITH SCORE 11688.379
AT ITER 73 NEW BEST:: SOT 170252 SOS 129142 HAS SOPS 76403 HAS SOUS 19831 HAS SOUPS 11555 WITH SCORE 11684.142
AT ITER 76 NEW BEST:: SOT 170260 SOS 129150 HAS SOPS 76395 HAS SOUS 19823 HAS SOUPS 11547 WITH SCORE 11676.15
AT ITER 79 NEW BEST:: SOT 170269 SOS 129159 HAS SOPS 76410 HAS SOUS 19814 HAS SOUPS 11542 WITH SCORE 11671.159
AT ITER 86 NEW BEST:: SOT 170175 SOS 129018 HAS SOPS 76363 HAS SOUS 19574 HAS SOUPS 11377 WITH SCORE 11506.018
AT ITER 93 NEW BEST:: SOT 170156 SOS 128980 HAS SOPS 76363 HAS SOUS 19574 HAS SOUPS 11377 WITH SCORE 11505.98
AT ITER 105 NEW BEST:: SOT 170146 SOS 128960 HAS SOPS 76353 HAS SOUS 19554 HAS SOUPS 11367 WITH SCORE 11495.96
AT ITER 106 NEW BEST:: SOT 170152 SOS 128892 HAS SOPS 76353 HAS SOUS 19554 HAS SOUPS 11367 WITH SCORE 11495.892
AT ITER 125 NEW BEST:: SOT 170183 SOS 128541 HAS SOPS 76732 HAS SOUS 19398 HAS SOUPS 11296 WITH SCORE 11424.541
AT ITER 126 NEW BEST:: SOT 170164 SOS 128269 HAS SOPS 76460 HAS SOUS 19386 HAS SOUPS 11284 WITH SCORE 11412.269
AT ITER 127 NEW BEST:: SOT 170099 SOS 127489 HAS SOPS 76150 HAS SOUS 19339 HAS SOUPS 11284 WITH SCORE 11411.489
AT ITER 128 NEW BEST:: SOT 170086 SOS 127388 HAS SOPS 76132 HAS SOUS 19310 HAS SOUPS 11263 WITH SCORE 11390.388
AT ITER 133 NEW BEST:: SOT 170752 SOS 128202 HAS SOPS 76502 HAS SOUS 19259 HAS SOUPS 11208 WITH SCORE 11336.202
AT ITER 134 NEW BEST:: SOT 170714 SOS 128126 HAS SOPS 76426 HAS SOUS 19201 HAS SOUPS 11150 WITH SCORE 11278.126
AT ITER 137 NEW BEST:: SOT 170781 SOS 125357 HAS SOPS 74147 HAS SOUS 19138 HAS SOUPS 11136 WITH SCORE 11261.357
AT ITER 147 NEW BEST:: SOT 170817 SOS 125381 HAS SOPS 74171 HAS SOUS 19130 HAS SOUPS 11128 WITH SCORE 11253.381
AT ITER 150 NEW BEST:: SOT 170744 SOS 125251 HAS SOPS 74114 HAS SOUS 19095 HAS SOUPS 11107 WITH SCORE 11232.251
AT ITER 162 NEW BEST:: SOT 170717 SOS 124568 HAS SOPS 73771 HAS SOUS 19055 HAS SOUPS 11101 WITH SCORE 11225.568
AT ITER 165 NEW BEST:: SOT 170604 SOS 125432 HAS SOPS 74284 HAS SOUS 19007 HAS SOUPS 11071 WITH SCORE 11196.432
AT ITER 166 NEW BEST:: SOT 170492 SOS 126307 HAS SOPS 74669 HAS SOUS 18952 HAS SOUPS 11016 WITH SCORE 11142.307
AT ITER 171 NEW BEST:: SOT 170474 SOS 126091 HAS SOPS 74633 HAS SOUS 18902 HAS SOUPS 10984 WITH SCORE 11110.091
AT ITER 180 NEW BEST:: SOT 170464 SOS 126085 HAS SOPS 74617 HAS SOUS 18882 HAS SOUPS 10964 WITH SCORE 11090.085
AT ITER 187 NEW BEST:: SOT 170490 SOS 126275 HAS SOPS 74807 HAS SOUS 18863 HAS SOUPS 10945 WITH SCORE 11071.275
AT ITER 190 NEW BEST:: SOT 170464 SOS 126241 HAS SOPS 74789 HAS SOUS 18845 HAS SOUPS 10927 WITH SCORE 11053.241
AT ITER 194 NEW BEST:: SOT 169899 SOS 124828 HAS SOPS 73465 HAS SOUS 18874 HAS SOUPS 10915 WITH SCORE 11039.828
AT ITER 210 NEW BEST:: SOT 169857 SOS 124786 HAS SOPS 73423 HAS SOUS 18872 HAS SOUPS 10913 WITH SCORE 11037.786
AT ITER 217 NEW BEST:: SOT 169435 SOS 124329 HAS SOPS 73141 HAS SOUS 18870 HAS SOUPS 10911 WITH SCORE 11035.329
AT ITER 220 NEW BEST:: SOT 169482 SOS 124376 HAS SOPS 73188 HAS SOUS 18783 HAS SOUPS 10824 WITH SCORE 10948.376
AT ITER 223 NEW BEST:: SOT 169415 SOS 124257 HAS SOPS 73140 HAS SOUS 18710 HAS SOUPS 10780 WITH SCORE 10904.257
AT ITER 224 NEW BEST:: SOT 169348 SOS 124190 HAS SOPS 73140 HAS SOUS 18634 HAS SOUPS 10704 WITH SCORE 10828.19
AT ITER 229 NEW BEST:: SOT 169356 SOS 124321 HAS SOPS 73294 HAS SOUS 18594 HAS SOUPS 10664 WITH SCORE 10788.321
AT ITER 252 NEW BEST:: SOT 169350 SOS 124312 HAS SOPS 73291 HAS SOUS 18588 HAS SOUPS 10661 WITH SCORE 10785.312
AT ITER 256 NEW BEST:: SOT 169252 SOS 123972 HAS SOPS 73203 HAS SOUS 18480 HAS SOUPS 10601 WITH SCORE 10724.972
AT ITER 262 NEW BEST:: SOT 169249 SOS 123966 HAS SOPS 73197 HAS SOUS 18477 HAS SOUPS 10598 WITH SCORE 10721.966
AT ITER 267 NEW BEST:: SOT 169247 SOS 124042 HAS SOPS 73173 HAS SOUS 18475 HAS SOUPS 10596 WITH SCORE 10720.042
AT ITER 289 NEW BEST:: SOT 169483 SOS 124297 HAS SOPS 73314 HAS SOUS 18466 HAS SOUPS 10587 WITH SCORE 10711.297
AT ITER 291 NEW BEST:: SOT 169472 SOS 124286 HAS SOPS 73270 HAS SOUS 18439 HAS SOUPS 10565 WITH SCORE 10689.286
AT ITER 302 NEW BEST:: SOT 169384 SOS 124190 HAS SOPS 73150 HAS SOUS 18335 HAS SOUPS 10469 WITH SCORE 10593.19
AT ITER 321 NEW BEST:: SOT 169575 SOS 124426 HAS SOPS 73116 HAS SOUS 18301 HAS SOUPS 10407 WITH SCORE 10531.426
AT ITER 344 NEW BEST:: SOT 169546 SOS 124049 HAS SOPS 73029 HAS SOUS 18272 HAS SOUPS 10407 WITH SCORE 10531.049
AT ITER 346 NEW BEST:: SOT 169545 SOS 122993 HAS SOPS 72021 HAS SOUS 18270 HAS SOUPS 10405 WITH SCORE 10527.993
AT ITER 351 NEW BEST:: SOT 169438 SOS 122814 HAS SOPS 71953 HAS SOUS 18265 HAS SOUPS 10380 WITH SCORE 10502.814
AT ITER 369 NEW BEST:: SOT 169438 SOS 122884 HAS SOPS 72048 HAS SOUS 18255 HAS SOUPS 10375 WITH SCORE 10497.884
AT ITER 375 NEW BEST:: SOT 169369 SOS 122789 HAS SOPS 72028 HAS SOUS 18217 HAS SOUPS 10356 WITH SCORE 10478.789
AT ITER 380 NEW BEST:: SOT 169360 SOS 122814 HAS SOPS 71968 HAS SOUS 18088 HAS SOUPS 10203 WITH SCORE 10325.814
AT ITER 383 NEW BEST:: SOT 169313 SOS 122457 HAS SOPS 71675 HAS SOUS 18061 HAS SOUPS 10176 WITH SCORE 10298.457
AT ITER 395 NEW BEST:: SOT 169282 SOS 122505 HAS SOPS 71653 HAS SOUS 18047 HAS SOUPS 10162 WITH SCORE 10284.505
AT ITER 399 NEW BEST:: SOT 169229 SOS 122464 HAS SOPS 71612 HAS SOUS 18042 HAS SOUPS 10157 WITH SCORE 10279.464
AT ITER 409 NEW BEST:: SOT 168771 SOS 121754 HAS SOPS 71308 HAS SOUS 18007 HAS SOUPS 10138 WITH SCORE 10259.754
AT ITER 419 NEW BEST:: SOT 168707 SOS 121690 HAS SOPS 71189 HAS SOUS 17898 HAS SOUPS 10029 WITH SCORE 10150.69
AT ITER 437 NEW BEST:: SOT 168677 SOS 121645 HAS SOPS 71174 HAS SOUS 17875 HAS SOUPS 10018 WITH SCORE 10139.645
AT ITER 441 NEW BEST:: SOT 168666 SOS 121630 HAS SOPS 71159 HAS SOUS 17874 HAS SOUPS 10017 WITH SCORE 10138.63
AT ITER 445 NEW BEST:: SOT 168541 SOS 120205 HAS SOPS 70484 HAS SOUS 17627 HAS SOUPS 9845 WITH SCORE 9965.205
AT ITER 448 NEW BEST:: SOT 168526 SOS 120355 HAS SOPS 70484 HAS SOUS 17641 HAS SOUPS 9844 WITH SCORE 9964.355
AT ITER 453 NEW BEST:: SOT 168526 SOS 120319 HAS SOPS 70484 HAS SOUS 17596 HAS SOUPS 9839 WITH SCORE 9959.319
AT ITER 465 NEW BEST:: SOT 168436 SOS 119239 HAS SOPS 69854 HAS SOUS 17506 HAS SOUPS 9794 WITH SCORE 9913.239
AT ITER 478 NEW BEST:: SOT 168434 SOS 119236 HAS SOPS 69853 HAS SOUS 17504 HAS SOUPS 9793 WITH SCORE 9912.236
AT ITER 482 NEW BEST:: SOT 168418 SOS 119268 HAS SOPS 69805 HAS SOUS 17508 HAS SOUPS 9789 WITH SCORE 9908.268
AT ITER 498 NEW BEST:: SOT 168418 SOS 119268 HAS SOPS 69805 HAS SOUS 17506 HAS SOUPS 9787 WITH SCORE 9906.268
AT ITER 515 NEW BEST:: SOT 168431 SOS 119383 HAS SOPS 69795 HAS SOUS 17487 HAS SOUPS 9768 WITH SCORE 9887.383
AT ITER 530 NEW BEST:: SOT 168399 SOS 118164 HAS SOPS 68576 HAS SOUS 17465 HAS SOUPS 9746 WITH SCORE 9864.164
AT ITER 531 NEW BEST:: SOT 168385 SOS 118185 HAS SOPS 68527 HAS SOUS 17465 HAS SOUPS 9739 WITH SCORE 9857.185
AT ITER 547 NEW BEST:: SOT 168380 SOS 118175 HAS SOPS 68527 HAS SOUS 17460 HAS SOUPS 9739 WITH SCORE 9857.175
AT ITER 551 NEW BEST:: SOT 167984 SOS 117359 HAS SOPS 68271 HAS SOUS 17406 HAS SOUPS 9720 WITH SCORE 9837.359
AT ITER 575 NEW BEST:: SOT 167975 SOS 117691 HAS SOPS 68603 HAS SOUS 17389 HAS SOUPS 9703 WITH SCORE 9820.691
AT ITER 577 NEW BEST:: SOT 167947 SOS 117161 HAS SOPS 68371 HAS SOUS 17381 HAS SOUPS 9697 WITH SCORE 9814.161
AT ITER 589 NEW BEST:: SOT 167845 SOS 117151 HAS SOPS 68361 HAS SOUS 17368 HAS SOUPS 9684 WITH SCORE 9801.151
AT ITER 594 NEW BEST:: SOT 167849 SOS 117129 HAS SOPS 68356 HAS SOUS 17365 HAS SOUPS 9679 WITH SCORE 9796.129
AT ITER 614 NEW BEST:: SOT 167866 SOS 117033 HAS SOPS 68320 HAS SOUS 17362 HAS SOUPS 9676 WITH SCORE 9793.033
AT ITER 621 NEW BEST:: SOT 167854 SOS 116895 HAS SOPS 68242 HAS SOUS 17340 HAS SOUPS 9660 WITH SCORE 9776.895
AT ITER 638 NEW BEST:: SOT 167775 SOS 116744 HAS SOPS 68180 HAS SOUS 17303 HAS SOUPS 9646 WITH SCORE 9762.744
AT ITER 643 NEW BEST:: SOT 167551 SOS 116098 HAS SOPS 67975 HAS SOUS 17215 HAS SOUPS 9621 WITH SCORE 9737.098
AT ITER 649 NEW BEST:: SOT 167603 SOS 116167 HAS SOPS 67993 HAS SOUS 17097 HAS SOUPS 9520 WITH SCORE 9636.167
AT ITER 658 NEW BEST:: SOT 167559 SOS 116099 HAS SOPS 67969 HAS SOUS 17073 HAS SOUPS 9508 WITH SCORE 9624.099
AT ITER 664 NEW BEST:: SOT 168241 SOS 117215 HAS SOPS 68341 HAS SOUS 17016 HAS SOUPS 9389 WITH SCORE 9506.215
AT ITER 668 NEW BEST:: SOT 168259 SOS 117191 HAS SOPS 68205 HAS SOUS 17020 HAS SOUPS 9377 WITH SCORE 9494.191
AT ITER 694 NEW BEST:: SOT 168257 SOS 117189 HAS SOPS 68203 HAS SOUS 17018 HAS SOUPS 9375 WITH SCORE 9492.189
AT ITER 700 NEW BEST:: SOT 168278 SOS 117314 HAS SOPS 68209 HAS SOUS 16995 HAS SOUPS 9345 WITH SCORE 9462.314
AT ITER 709 NEW BEST:: SOT 168265 SOS 116202 HAS SOPS 67747 HAS SOUS 16865 HAS SOUPS 9280 WITH SCORE 9396.202
AT ITER 723 NEW BEST:: SOT 168244 SOS 116181 HAS SOPS 67747 HAS SOUS 16865 HAS SOUPS 9280 WITH SCORE 9396.181
AT ITER 727 NEW BEST:: SOT 168244 SOS 116181 HAS SOPS 67747 HAS SOUS 16856 HAS SOUPS 9275 WITH SCORE 9391.181
AT ITER 728 NEW BEST:: SOT 168242 SOS 116067 HAS SOPS 67633 HAS SOUS 16856 HAS SOUPS 9275 WITH SCORE 9391.067
AT ITER 744 NEW BEST:: SOT 168245 SOS 116193 HAS SOPS 67759 HAS SOUS 16844 HAS SOUPS 9263 WITH SCORE 9379.193
AT ITER 775 NEW BEST:: SOT 168233 SOS 116151 HAS SOPS 67699 HAS SOUS 16844 HAS SOUPS 9257 WITH SCORE 9373.151
AT ITER 786 NEW BEST:: SOT 168280 SOS 116245 HAS SOPS 67699 HAS SOUS 16883 HAS SOUPS 9252 WITH SCORE 9368.245
AT ITER 797 NEW BEST:: SOT 168280 SOS 116245 HAS SOPS 67699 HAS SOUS 16874 HAS SOUPS 9247 WITH SCORE 9363.245
AT ITER 801 NEW BEST:: SOT 168281 SOS 116202 HAS SOPS 67666 HAS SOUS 16871 HAS SOUPS 9245 WITH SCORE 9361.202
AT ITER 828 NEW BEST:: SOT 168275 SOS 116190 HAS SOPS 67666 HAS SOUS 16865 HAS SOUPS 9245 WITH SCORE 9361.19
AT ITER 843 NEW BEST:: SOT 168275 SOS 116188 HAS SOPS 67666 HAS SOUS 16845 HAS SOUPS 9235 WITH SCORE 9351.188
AT ITER 848 NEW BEST:: SOT 168239 SOS 115996 HAS SOPS 67474 HAS SOUS 16833 HAS SOUPS 9223 WITH SCORE 9338.996
AT ITER 854 NEW BEST:: SOT 168224 SOS 115966 HAS SOPS 67474 HAS SOUS 16818 HAS SOUPS 9223 WITH SCORE 9338.966
AT ITER 863 NEW BEST:: SOT 168522 SOS 116296 HAS SOPS 67778 HAS SOUS 16763 HAS SOUPS 9209 WITH SCORE 9325.296
AT ITER 868 NEW BEST:: SOT 168246 SOS 115968 HAS SOPS 67580 HAS SOUS 16747 HAS SOUPS 9193 WITH SCORE 9308.968
AT ITER 873 NEW BEST:: SOT 168243 SOS 115962 HAS SOPS 67574 HAS SOUS 16744 HAS SOUPS 9190 WITH SCORE 9305.962
AT ITER 887 NEW BEST:: SOT 168234 SOS 115949 HAS SOPS 67573 HAS SOUS 16737 HAS SOUPS 9187 WITH SCORE 9302.949
AT ITER 911 NEW BEST:: SOT 168037 SOS 115257 HAS SOPS 67128 HAS SOUS 16700 HAS SOUPS 9150 WITH SCORE 9265.257
AT ITER 938 NEW BEST:: SOT 167836 SOS 114873 HAS SOPS 66837 HAS SOUS 16693 HAS SOUPS 9142 WITH SCORE 9256.873
AT ITER 949 NEW BEST:: SOT 167826 SOS 114908 HAS SOPS 66817 HAS SOUS 16688 HAS SOUPS 9133 WITH SCORE 9247.908
AT ITER 967 NEW BEST:: SOT 167790 SOS 114546 HAS SOPS 66455 HAS SOUS 16676 HAS SOUPS 9121 WITH SCORE 9235.546
AT ITER 1024 NEW BEST:: SOT 167764 SOS 114270 HAS SOPS 66179 HAS SOUS 16660 HAS SOUPS 9105 WITH SCORE 9219.27
AT ITER 1032 NEW BEST:: SOT 167331 SOS 113393 HAS SOPS 65894 HAS SOUS 16597 HAS SOUPS 9079 WITH SCORE 9192.393
AT ITER 1037 NEW BEST:: SOT 167330 SOS 113392 HAS SOPS 65894 HAS SOUS 16595 HAS SOUPS 9077 WITH SCORE 9190.392
AT ITER 1065 NEW BEST:: SOT 166740 SOS 112131 HAS SOPS 65482 HAS SOUS 16532 HAS SOUPS 9053 WITH SCORE 9165.131
AT ITER 1070 NEW BEST:: SOT 166733 SOS 112036 HAS SOPS 65475 HAS SOUS 16518 HAS SOUPS 9047 WITH SCORE 9159.036
AT ITER 1074 NEW BEST:: SOT 166732 SOS 112177 HAS SOPS 65496 HAS SOUS 16513 HAS SOUPS 9029 WITH SCORE 9141.177
AT ITER 1076 NEW BEST:: SOT 166732 SOS 112177 HAS SOPS 65496 HAS SOUS 16477 HAS SOUPS 9009 WITH SCORE 9121.177
AT ITER 1091 NEW BEST:: SOT 167561 SOS 113132 HAS SOPS 66177 HAS SOUS 16479 HAS SOUPS 8978 WITH SCORE 9091.132
AT ITER 1124 NEW BEST:: SOT 167559 SOS 113129 HAS SOPS 66176 HAS SOUS 16477 HAS SOUPS 8977 WITH SCORE 9090.129
AT ITER 1171 NEW BEST:: SOT 167415 SOS 112049 HAS SOPS 65288 HAS SOUS 16453 HAS SOUPS 8965 WITH SCORE 9077.049
AT ITER 1179 NEW BEST:: SOT 167441 SOS 112075 HAS SOPS 65288 HAS SOUS 16444 HAS SOUPS 8960 WITH SCORE 9072.075
AT ITER 1187 NEW BEST:: SOT 167294 SOS 111914 HAS SOPS 65197 HAS SOUS 16429 HAS SOUPS 8945 WITH SCORE 9056.914
AT ITER 1218 NEW BEST:: SOT 167290 SOS 111870 HAS SOPS 65153 HAS SOUS 16425 HAS SOUPS 8941 WITH SCORE 9052.87
AT ITER 1219 NEW BEST:: SOT 167233 SOS 112322 HAS SOPS 65158 HAS SOUS 16439 HAS SOUPS 8932 WITH SCORE 9044.322
AT ITER 1227 NEW BEST:: SOT 167233 SOS 112314 HAS SOPS 65158 HAS SOUS 16431 HAS SOUPS 8932 WITH SCORE 9044.314
AT ITER 1252 NEW BEST:: SOT 167296 SOS 112545 HAS SOPS 65389 HAS SOUS 16385 HAS SOUPS 8886 WITH SCORE 8998.545
AT ITER 1266 NEW BEST:: SOT 167278 SOS 112361 HAS SOPS 65565 HAS SOUS 16345 HAS SOUPS 8882 WITH SCORE 8994.361
AT ITER 1316 NEW BEST:: SOT 167234 SOS 112408 HAS SOPS 65612 HAS SOUS 16329 HAS SOUPS 8866 WITH SCORE 8978.408
AT ITER 1331 NEW BEST:: SOT 167261 SOS 112259 HAS SOPS 65477 HAS SOUS 16330 HAS SOUPS 8864 WITH SCORE 8976.259
AT ITER 1362 NEW BEST:: SOT 167259 SOS 112237 HAS SOPS 65475 HAS SOUS 16328 HAS SOUPS 8864 WITH SCORE 8976.237
AT ITER 1392 NEW BEST:: SOT 167253 SOS 112208 HAS SOPS 65446 HAS SOUS 16256 HAS SOUPS 8792 WITH SCORE 8904.208
AT ITER 1420 NEW BEST:: SOT 167269 SOS 112112 HAS SOPS 65314 HAS SOUS 16237 HAS SOUPS 8773 WITH SCORE 8885.112
AT ITER 1424 NEW BEST:: SOT 167263 SOS 112106 HAS SOPS 65314 HAS SOUS 16237 HAS SOUPS 8773 WITH SCORE 8885.106
AT ITER 1432 NEW BEST:: SOT 167267 SOS 111965 HAS SOPS 65354 HAS SOUS 16219 HAS SOUPS 8764 WITH SCORE 8875.965
AT ITER 1435 NEW BEST:: SOT 167291 SOS 112121 HAS SOPS 65360 HAS SOUS 16198 HAS SOUPS 8740 WITH SCORE 8852.121
AT ITER 1441 NEW BEST:: SOT 167276 SOS 111956 HAS SOPS 65345 HAS SOUS 16170 HAS SOUPS 8727 WITH SCORE 8838.956
AT ITER 1473 NEW BEST:: SOT 167267 SOS 111933 HAS SOPS 65336 HAS SOUS 16153 HAS SOUPS 8724 WITH SCORE 8835.933
AT ITER 1484 NEW BEST:: SOT 167267 SOS 111933 HAS SOPS 65336 HAS SOUS 16144 HAS SOUPS 8719 WITH SCORE 8830.933
AT ITER 1518 NEW BEST:: SOT 167244 SOS 111906 HAS SOPS 65321 HAS SOUS 16143 HAS SOUPS 8718 WITH SCORE 8829.906
AT ITER 1520 NEW BEST:: SOT 167162 SOS 111769 HAS SOPS 65210 HAS SOUS 16141 HAS SOUPS 8712 WITH SCORE 8823.769
AT ITER 1585 NEW BEST:: SOT 167160 SOS 111767 HAS SOPS 65210 HAS SOUS 16141 HAS SOUPS 8712 WITH SCORE 8823.767
AT ITER 1596 NEW BEST:: SOT 167143 SOS 111748 HAS SOPS 65199 HAS SOUS 16142 HAS SOUPS 8711 WITH SCORE 8822.748
AT ITER 1606 NEW BEST:: SOT 167142 SOS 111746 HAS SOPS 65199 HAS SOUS 16141 HAS SOUPS 8711 WITH SCORE 8822.746
AT ITER 1612 NEW BEST:: SOT 167171 SOS 111039 HAS SOPS 65202 HAS SOUS 16026 HAS SOUPS 8667 WITH SCORE 8778.039
AT ITER 1642 NEW BEST:: SOT 167297 SOS 111294 HAS SOPS 65283 HAS SOUS 16023 HAS SOUPS 8655 WITH SCORE 8766.294
AT ITER 1679 NEW BEST:: SOT 166983 SOS 108989 HAS SOPS 63455 HAS SOUS 16000 HAS SOUPS 8640 WITH SCORE 8748.989
AT ITER 1689 NEW BEST:: SOT 167181 SOS 109193 HAS SOPS 63569 HAS SOUS 15994 HAS SOUPS 8634 WITH SCORE 8743.193
AT ITER 1752 NEW BEST:: SOT 167191 SOS 109288 HAS SOPS 63553 HAS SOUS 15973 HAS SOUPS 8613 WITH SCORE 8722.288
AT ITER 1822 NEW BEST:: SOT 167218 SOS 108718 HAS SOPS 63140 HAS SOUS 15950 HAS SOUPS 8606 WITH SCORE 8714.718
AT ITER 1830 NEW BEST:: SOT 167187 SOS 109286 HAS SOPS 63568 HAS SOUS 15960 HAS SOUPS 8602 WITH SCORE 8711.286
AT ITER 1834 NEW BEST:: SOT 167198 SOS 109308 HAS SOPS 63575 HAS SOUS 15960 HAS SOUPS 8601 WITH SCORE 8710.308
AT ITER 1897 NEW BEST:: SOT 167170 SOS 109428 HAS SOPS 63505 HAS SOUS 15962 HAS SOUPS 8584 WITH SCORE 8693.428
AT ITER 1914 NEW BEST:: SOT 167165 SOS 109423 HAS SOPS 63505 HAS SOUS 15962 HAS SOUPS 8584 WITH SCORE 8693.423
AT ITER 1954 NEW BEST:: SOT 167164 SOS 109422 HAS SOPS 63505 HAS SOUS 15962 HAS SOUPS 8584 WITH SCORE 8693.422
AT ITER 1995 NEW BEST:: SOT 167103 SOS 109335 HAS SOPS 63453 HAS SOUS 15950 HAS SOUPS 8572 WITH SCORE 8681.335
AT ITER 1999 NEW BEST:: SOT 167107 SOS 109296 HAS SOPS 63421 HAS SOUS 15949 HAS SOUPS 8572 WITH SCORE 8681.296
AT ITER 2000 NEW BEST:: SOT 166704 SOS 108952 HAS SOPS 63254 HAS SOUS 15964 HAS SOUPS 8570 WITH SCORE 8678.952
AT ITER 2025 NEW BEST:: SOT 166672 SOS 108919 HAS SOPS 63235 HAS SOUS 15965 HAS SOUPS 8569 WITH SCORE 8677.919
AT ITER 2030 NEW BEST:: SOT 166673 SOS 108953 HAS SOPS 63212 HAS SOUS 15973 HAS SOUPS 8568 WITH SCORE 8676.953
AT ITER 2078 NEW BEST:: SOT 166673 SOS 108865 HAS SOPS 63124 HAS SOUS 15973 HAS SOUPS 8568 WITH SCORE 8676.865
AT ITER 2092 NEW BEST:: SOT 166660 SOS 108604 HAS SOPS 62863 HAS SOUS 15955 HAS SOUPS 8550 WITH SCORE 8658.604
AT ITER 2102 NEW BEST:: SOT 166660 SOS 108604 HAS SOPS 62830 HAS SOUS 15955 HAS SOUPS 8547 WITH SCORE 8655.604
AT ITER 2105 NEW BEST:: SOT 166795 SOS 108789 HAS SOPS 62898 HAS SOUS 15945 HAS SOUPS 8537 WITH SCORE 8645.789
AT ITER 2109 NEW BEST:: SOT 166115 SOS 107147 HAS SOPS 61464 HAS SOUS 15960 HAS SOUPS 8516 WITH SCORE 8623.147
AT ITER 2110 NEW BEST:: SOT 166114 SOS 107134 HAS SOPS 61451 HAS SOUS 15958 HAS SOUPS 8514 WITH SCORE 8621.134
AT ITER 2138 NEW BEST:: SOT 166117 SOS 105068 HAS SOPS 59756 HAS SOUS 15910 HAS SOUPS 8502 WITH SCORE 8607.068
AT ITER 2141 NEW BEST:: SOT 166120 SOS 105034 HAS SOPS 59722 HAS SOUS 15909 HAS SOUPS 8501 WITH SCORE 8606.034
AT ITER 2154 NEW BEST:: SOT 166131 SOS 105056 HAS SOPS 59722 HAS SOUS 15912 HAS SOUPS 8496 WITH SCORE 8601.056
AT ITER 2169 NEW BEST:: SOT 166093 SOS 104560 HAS SOPS 59456 HAS SOUS 15846 HAS SOUPS 8453 WITH SCORE 8557.56
AT ITER 2183 NEW BEST:: SOT 166048 SOS 104190 HAS SOPS 59161 HAS SOUS 15841 HAS SOUPS 8453 WITH SCORE 8557.19
AT ITER 2186 NEW BEST:: SOT 166042 SOS 104218 HAS SOPS 59164 HAS SOUS 15841 HAS SOUPS 8451 WITH SCORE 8555.218
AT ITER 2195 NEW BEST:: SOT 165934 SOS 104001 HAS SOPS 59095 HAS SOUS 15822 HAS SOUPS 8442 WITH SCORE 8546.001
AT ITER 2201 NEW BEST:: SOT 165453 SOS 102553 HAS SOPS 58311 HAS SOUS 15795 HAS SOUPS 8424 WITH SCORE 8526.553
AT ITER 2254 NEW BEST:: SOT 165452 SOS 102559 HAS SOPS 58253 HAS SOUS 15787 HAS SOUPS 8408 WITH SCORE 8510.559
AT ITER 2308 NEW BEST:: SOT 165241 SOS 102126 HAS SOPS 58117 HAS SOUS 15765 HAS SOUPS 8398 WITH SCORE 8500.126
AT ITER 2315 NEW BEST:: SOT 165106 SOS 101669 HAS SOPS 57830 HAS SOUS 15765 HAS SOUPS 8398 WITH SCORE 8499.669
AT ITER 2323 NEW BEST:: SOT 165121 SOS 101512 HAS SOPS 57596 HAS SOUS 15773 HAS SOUPS 8395 WITH SCORE 8496.512
AT ITER 2327 NEW BEST:: SOT 165121 SOS 101512 HAS SOPS 57596 HAS SOUS 15770 HAS SOUPS 8393 WITH SCORE 8494.512
AT ITER 2352 NEW BEST:: SOT 165035 SOS 101585 HAS SOPS 57547 HAS SOUS 15722 HAS SOUPS 8356 WITH SCORE 8457.585
AT ITER 2374 NEW BEST:: SOT 164976 SOS 99363 HAS SOPS 55713 HAS SOUS 15665 HAS SOUPS 8336 WITH SCORE 8435.363
AT ITER 2394 NEW BEST:: SOT 164734 SOS 96552 HAS SOPS 53346 HAS SOUS 15646 HAS SOUPS 8329 WITH SCORE 8425.552
AT ITER 2407 NEW BEST:: SOT 164710 SOS 96501 HAS SOPS 53275 HAS SOUS 15594 HAS SOUPS 8277 WITH SCORE 8373.501
AT ITER 2409 NEW BEST:: SOT 164709 SOS 96494 HAS SOPS 53262 HAS SOUS 15589 HAS SOUPS 8272 WITH SCORE 8368.494
AT ITER 2411 NEW BEST:: SOT 164712 SOS 96408 HAS SOPS 53134 HAS SOUS 15592 HAS SOUPS 8269 WITH SCORE 8365.408
AT ITER 2439 NEW BEST:: SOT 164632 SOS 96256 HAS SOPS 53090 HAS SOUS 15587 HAS SOUPS 8264 WITH SCORE 8360.256
AT ITER 2440 NEW BEST:: SOT 164443 SOS 95958 HAS SOPS 52968 HAS SOUS 15570 HAS SOUPS 8259 WITH SCORE 8354.958
AT ITER 2471 NEW BEST:: SOT 163843 SOS 95326 HAS SOPS 52464 HAS SOUS 15546 HAS SOUPS 8251 WITH SCORE 8346.326
AT ITER 2476 NEW BEST:: SOT 163843 SOS 95326 HAS SOPS 52464 HAS SOUS 15544 HAS SOUPS 8249 WITH SCORE 8344.326
AT ITER 2497 NEW BEST:: SOT 163844 SOS 95314 HAS SOPS 52455 HAS SOUS 15544 HAS SOUPS 8249 WITH SCORE 8344.314
AT ITER 2504 NEW BEST:: SOT 163753 SOS 95540 HAS SOPS 52492 HAS SOUS 15518 HAS SOUPS 8225 WITH SCORE 8320.54
AT ITER 2514 NEW BEST:: SOT 163355 SOS 94739 HAS SOPS 52191 HAS SOUS 15460 HAS SOUPS 8196 WITH SCORE 8290.739
AT ITER 2515 NEW BEST:: SOT 163355 SOS 94739 HAS SOPS 52191 HAS SOUS 15457 HAS SOUPS 8194 WITH SCORE 8288.739
AT ITER 2574 NEW BEST:: SOT 163238 SOS 94282 HAS SOPS 51921 HAS SOUS 15454 HAS SOUPS 8191 WITH SCORE 8285.282
AT ITER 2612 NEW BEST:: SOT 163255 SOS 95170 HAS SOPS 52767 HAS SOUS 15447 HAS SOUPS 8184 WITH SCORE 8279.17
AT ITER 2659 NEW BEST:: SOT 163115 SOS 95337 HAS SOPS 52809 HAS SOUS 15399 HAS SOUPS 8143 WITH SCORE 8238.337
AT ITER 2679 NEW BEST:: SOT 162977 SOS 95222 HAS SOPS 52671 HAS SOUS 15422 HAS SOUPS 8143 WITH SCORE 8238.222
AT ITER 2694 NEW BEST:: SOT 162987 SOS 95374 HAS SOPS 52669 HAS SOUS 15432 HAS SOUPS 8131 WITH SCORE 8226.374
AT ITER 2708 NEW BEST:: SOT 162987 SOS 95374 HAS SOPS 52669 HAS SOUS 15429 HAS SOUPS 8129 WITH SCORE 8224.374
AT ITER 2709 NEW BEST:: SOT 162978 SOS 95341 HAS SOPS 52657 HAS SOUS 15423 HAS SOUPS 8126 WITH SCORE 8221.341
AT ITER 2713 NEW BEST:: SOT 162978 SOS 95347 HAS SOPS 52658 HAS SOUS 15421 HAS SOUPS 8124 WITH SCORE 8219.347
AT ITER 2716 NEW BEST:: SOT 162990 SOS 95451 HAS SOPS 52762 HAS SOUS 15419 HAS SOUPS 8122 WITH SCORE 8217.451
AT ITER 2732 NEW BEST:: SOT 162977 SOS 95438 HAS SOPS 52762 HAS SOUS 15403 HAS SOUPS 8106 WITH SCORE 8201.438
AT ITER 2733 NEW BEST:: SOT 162953 SOS 95414 HAS SOPS 52738 HAS SOUS 15403 HAS SOUPS 8106 WITH SCORE 8201.414
AT ITER 2734 NEW BEST:: SOT 162955 SOS 95412 HAS SOPS 52718 HAS SOUS 15401 HAS SOUPS 8102 WITH SCORE 8197.412
AT ITER 2740 NEW BEST:: SOT 162659 SOS 94580 HAS SOPS 52006 HAS SOUS 15369 HAS SOUPS 8070 WITH SCORE 8164.58
AT ITER 2741 NEW BEST:: SOT 162663 SOS 94503 HAS SOPS 51810 HAS SOUS 15373 HAS SOUPS 8057 WITH SCORE 8151.503
AT ITER 2745 NEW BEST:: SOT 162663 SOS 94503 HAS SOPS 51810 HAS SOUS 15357 HAS SOUPS 8047 WITH SCORE 8141.503
AT ITER 2746 NEW BEST:: SOT 162647 SOS 94466 HAS SOPS 51773 HAS SOUS 15354 HAS SOUPS 8044 WITH SCORE 8138.466
AT ITER 2751 NEW BEST:: SOT 162645 SOS 94417 HAS SOPS 51726 HAS SOUS 15353 HAS SOUPS 8043 WITH SCORE 8137.417
AT ITER 2781 NEW BEST:: SOT 162571 SOS 94408 HAS SOPS 51628 HAS SOUS 15354 HAS SOUPS 8031 WITH SCORE 8125.408
AT ITER 2827 NEW BEST:: SOT 162580 SOS 93928 HAS SOPS 51198 HAS SOUS 15338 HAS SOUPS 8023 WITH SCORE 8116.928
AT ITER 2847 NEW BEST:: SOT 162612 SOS 93945 HAS SOPS 51221 HAS SOUS 15311 HAS SOUPS 8006 WITH SCORE 8099.945
AT ITER 2858 NEW BEST:: SOT 162610 SOS 93942 HAS SOPS 51221 HAS SOUS 15310 HAS SOUPS 8006 WITH SCORE 8099.942
AT ITER 2866 NEW BEST:: SOT 162625 SOS 93896 HAS SOPS 51209 HAS SOUS 15302 HAS SOUPS 8001 WITH SCORE 8094.896
AT ITER 2884 NEW BEST:: SOT 162657 SOS 93952 HAS SOPS 51221 HAS SOUS 15286 HAS SOUPS 7985 WITH SCORE 8078.952
AT ITER 2918 NEW BEST:: SOT 162360 SOS 93082 HAS SOPS 50769 HAS SOUS 15257 HAS SOUPS 7972 WITH SCORE 8065.082
AT ITER 2920 NEW BEST:: SOT 162353 SOS 93075 HAS SOPS 50769 HAS SOUS 15257 HAS SOUPS 7972 WITH SCORE 8065.075
AT ITER 2934 NEW BEST:: SOT 162101 SOS 92580 HAS SOPS 50601 HAS SOUS 15210 HAS SOUPS 7953 WITH SCORE 8045.58
AT ITER 2953 NEW BEST:: SOT 161993 SOS 92403 HAS SOPS 50480 HAS SOUS 15203 HAS SOUPS 7946 WITH SCORE 8038.403
AT ITER 2957 NEW BEST:: SOT 161956 SOS 92344 HAS SOPS 50454 HAS SOUS 15196 HAS SOUPS 7942 WITH SCORE 8034.344
AT ITER 2966 NEW BEST:: SOT 162309 SOS 93091 HAS SOPS 50671 HAS SOUS 15193 HAS SOUPS 7899 WITH SCORE 7992.091
AT ITER 2973 NEW BEST:: SOT 162267 SOS 93049 HAS SOPS 50635 HAS SOUS 15181 HAS SOUPS 7887 WITH SCORE 7980.049
AT ITER 2976 NEW BEST:: SOT 162215 SOS 92945 HAS SOPS 50609 HAS SOUS 15168 HAS SOUPS 7887 WITH SCORE 7979.945
AT ITER 3041 NEW BEST:: SOT 162113 SOS 92820 HAS SOPS 50512 HAS SOUS 15174 HAS SOUPS 7885 WITH SCORE 7977.82
AT ITER 3087 NEW BEST:: SOT 161919 SOS 92522 HAS SOPS 50299 HAS SOUS 15158 HAS SOUPS 7869 WITH SCORE 7961.522
AT ITER 3096 NEW BEST:: SOT 161906 SOS 92497 HAS SOPS 50298 HAS SOUS 15145 HAS SOUPS 7868 WITH SCORE 7960.497
AT ITER 3111 NEW BEST:: SOT 161893 SOS 92488 HAS SOPS 50289 HAS SOUS 15145 HAS SOUPS 7868 WITH SCORE 7960.488
AT ITER 3175 NEW BEST:: SOT 161893 SOS 92488 HAS SOPS 50289 HAS SOUS 15143 HAS SOUPS 7866 WITH SCORE 7958.488
AT ITER 3188 NEW BEST:: SOT 161893 SOS 92488 HAS SOPS 50289 HAS SOUS 15121 HAS SOUPS 7844 WITH SCORE 7936.488
AT ITER 3192 NEW BEST:: SOT 161867 SOS 92364 HAS SOPS 50408 HAS SOUS 15070 HAS SOUPS 7817 WITH SCORE 7909.364
AT ITER 3223 NEW BEST:: SOT 161764 SOS 92141 HAS SOPS 50323 HAS SOUS 15055 HAS SOUPS 7812 WITH SCORE 7904.141
AT ITER 3232 NEW BEST:: SOT 161758 SOS 92150 HAS SOPS 50302 HAS SOUS 15055 HAS SOUPS 7809 WITH SCORE 7901.15
AT ITER 3301 NEW BEST:: SOT 161776 SOS 91878 HAS SOPS 50230 HAS SOUS 15032 HAS SOUPS 7806 WITH SCORE 7897.878
AT ITER 3305 NEW BEST:: SOT 161892 SOS 92009 HAS SOPS 50351 HAS SOUS 15015 HAS SOUPS 7805 WITH SCORE 7897.009
AT ITER 3333 NEW BEST:: SOT 161939 SOS 91975 HAS SOPS 50392 HAS SOUS 14981 HAS SOUPS 7796 WITH SCORE 7887.975
AT ITER 3336 NEW BEST:: SOT 161939 SOS 91963 HAS SOPS 50380 HAS SOUS 14964 HAS SOUPS 7779 WITH SCORE 7870.963
AT ITER 3394 NEW BEST:: SOT 161945 SOS 91945 HAS SOPS 50362 HAS SOUS 14964 HAS SOUPS 7779 WITH SCORE 7870.945
AT ITER 3405 NEW BEST:: SOT 161949 SOS 91953 HAS SOPS 50370 HAS SOUS 14956 HAS SOUPS 7771 WITH SCORE 7862.953
AT ITER 3415 NEW BEST:: SOT 161868 SOS 91683 HAS SOPS 50019 HAS SOUS 14929 HAS SOUPS 7717 WITH SCORE 7808.683
AT ITER 3462 NEW BEST:: SOT 161866 SOS 91681 HAS SOPS 50019 HAS SOUS 14925 HAS SOUPS 7713 WITH SCORE 7804.681
AT ITER 3468 NEW BEST:: SOT 161839 SOS 91965 HAS SOPS 50009 HAS SOUS 14926 HAS SOUPS 7700 WITH SCORE 7791.965
AT ITER 3478 NEW BEST:: SOT 161721 SOS 91733 HAS SOPS 49941 HAS SOUS 14912 HAS SOUPS 7694 WITH SCORE 7785.733
AT ITER 3490 NEW BEST:: SOT 161613 SOS 90871 HAS SOPS 49220 HAS SOUS 14902 HAS SOUPS 7687 WITH SCORE 7777.871
AT ITER 3510 NEW BEST:: SOT 161601 SOS 90861 HAS SOPS 49220 HAS SOUS 14878 HAS SOUPS 7683 WITH SCORE 7773.861
AT ITER 3519 NEW BEST:: SOT 161599 SOS 90851 HAS SOPS 49215 HAS SOUS 14872 HAS SOUPS 7678 WITH SCORE 7768.851
AT ITER 3538 NEW BEST:: SOT 161598 SOS 90843 HAS SOPS 49214 HAS SOUS 14870 HAS SOUPS 7677 WITH SCORE 7767.843
AT ITER 3566 NEW BEST:: SOT 161488 SOS 90629 HAS SOPS 49138 HAS SOUS 14857 HAS SOUPS 7673 WITH SCORE 7763.629
AT ITER 3586 NEW BEST:: SOT 161488 SOS 90629 HAS SOPS 49138 HAS SOUS 14851 HAS SOUPS 7667 WITH SCORE 7757.629
AT ITER 3599 NEW BEST:: SOT 161488 SOS 90619 HAS SOPS 49128 HAS SOUS 14851 HAS SOUPS 7667 WITH SCORE 7757.619
AT ITER 3689 NEW BEST:: SOT 161479 SOS 90581 HAS SOPS 48993 HAS SOUS 14859 HAS SOUPS 7662 WITH SCORE 7752.581
AT ITER 3696 NEW BEST:: SOT 161490 SOS 90515 HAS SOPS 49004 HAS SOUS 14848 HAS SOUPS 7662 WITH SCORE 7752.515
AT ITER 3726 NEW BEST:: SOT 161482 SOS 89899 HAS SOPS 48108 HAS SOUS 14875 HAS SOUPS 7649 WITH SCORE 7738.899
AT ITER 3735 NEW BEST:: SOT 161478 SOS 89803 HAS SOPS 48016 HAS SOUS 14873 HAS SOUPS 7647 WITH SCORE 7736.803
AT ITER 3740 NEW BEST:: SOT 161388 SOS 89728 HAS SOPS 48016 HAS SOUS 14729 HAS SOUPS 7641 WITH SCORE 7730.728
AT ITER 3746 NEW BEST:: SOT 161370 SOS 89732 HAS SOPS 48187 HAS SOUS 14676 HAS SOUPS 7611 WITH SCORE 7700.732
AT ITER 3795 NEW BEST:: SOT 161364 SOS 89726 HAS SOPS 48187 HAS SOUS 14676 HAS SOUPS 7611 WITH SCORE 7700.726
AT ITER 3833 NEW BEST:: SOT 161049 SOS 89459 HAS SOPS 48048 HAS SOUS 14679 HAS SOUPS 7606 WITH SCORE 7695.459
AT ITER 3874 NEW BEST:: SOT 160979 SOS 89348 HAS SOPS 48005 HAS SOUS 14658 HAS SOUPS 7599 WITH SCORE 7688.348
AT ITER 3881 NEW BEST:: SOT 160975 SOS 89307 HAS SOPS 47735 HAS SOUS 14674 HAS SOUPS 7584 WITH SCORE 7673.307
AT ITER 3882 NEW BEST:: SOT 160705 SOS 88767 HAS SOPS 47573 HAS SOUS 14647 HAS SOUPS 7584 WITH SCORE 7672.767
AT ITER 3892 NEW BEST:: SOT 160693 SOS 88757 HAS SOPS 47573 HAS SOUS 14623 HAS SOUPS 7580 WITH SCORE 7668.757
AT ITER 3906 NEW BEST:: SOT 160688 SOS 88747 HAS SOPS 47573 HAS SOUS 14618 HAS SOUPS 7580 WITH SCORE 7668.747
AT ITER 3936 NEW BEST:: SOT 160670 SOS 88462 HAS SOPS 47435 HAS SOUS 14618 HAS SOUPS 7580 WITH SCORE 7668.462
AT ITER 3937 NEW BEST:: SOT 160659 SOS 88440 HAS SOPS 47435 HAS SOUS 14607 HAS SOUPS 7580 WITH SCORE 7668.44
AT ITER 3975 NEW BEST:: SOT 160578 SOS 87792 HAS SOPS 46904 HAS SOUS 14598 HAS SOUPS 7571 WITH SCORE 7658.792
AT ITER 3999 NEW BEST:: SOT 160578 SOS 87796 HAS SOPS 46903 HAS SOUS 14597 HAS SOUPS 7569 WITH SCORE 7656.796
AT ITER 4007 NEW BEST:: SOT 160482 SOS 87605 HAS SOPS 46839 HAS SOUS 14596 HAS SOUPS 7568 WITH SCORE 7655.605
AT ITER 4021 NEW BEST:: SOT 160480 SOS 87565 HAS SOPS 46797 HAS SOUS 14587 HAS SOUPS 7559 WITH SCORE 7646.565
AT ITER 4057 NEW BEST:: SOT 160444 SOS 87535 HAS SOPS 46797 HAS SOUS 14530 HAS SOUPS 7557 WITH SCORE 7644.535
AT ITER 4096 NEW BEST:: SOT 160440 SOS 87438 HAS SOPS 46700 HAS SOUS 14526 HAS SOUPS 7553 WITH SCORE 7640.438
AT ITER 4106 NEW BEST:: SOT 160452 SOS 87199 HAS SOPS 46720 HAS SOUS 14494 HAS SOUPS 7545 WITH SCORE 7632.199
AT ITER 4143 NEW BEST:: SOT 160438 SOS 87046 HAS SOPS 46707 HAS SOUS 14468 HAS SOUPS 7533 WITH SCORE 7620.046
AT ITER 4159 NEW BEST:: SOT 160438 SOS 87045 HAS SOPS 46701 HAS SOUS 14471 HAS SOUPS 7530 WITH SCORE 7617.045
AT ITER 4180 NEW BEST:: SOT 160053 SOS 86530 HAS SOPS 46373 HAS SOUS 14471 HAS SOUPS 7529 WITH SCORE 7615.53
AT ITER 4182 NEW BEST:: SOT 160069 SOS 86562 HAS SOPS 46373 HAS SOUS 14479 HAS SOUPS 7524 WITH SCORE 7610.562
AT ITER 4185 NEW BEST:: SOT 160056 SOS 86053 HAS SOPS 45899 HAS SOUS 14473 HAS SOUPS 7518 WITH SCORE 7604.053
AT ITER 4242 NEW BEST:: SOT 160042 SOS 86058 HAS SOPS 45916 HAS SOUS 14445 HAS SOUPS 7503 WITH SCORE 7589.058
AT ITER 4252 NEW BEST:: SOT 159970 SOS 86196 HAS SOPS 45596 HAS SOUS 14474 HAS SOUPS 7486 WITH SCORE 7572.196
AT ITER 4261 NEW BEST:: SOT 160062 SOS 86351 HAS SOPS 45710 HAS SOUS 14463 HAS SOUPS 7479 WITH SCORE 7565.351
AT ITER 4302 NEW BEST:: SOT 160087 SOS 86010 HAS SOPS 45419 HAS SOUS 14452 HAS SOUPS 7475 WITH SCORE 7561.01
AT ITER 4306 NEW BEST:: SOT 160081 SOS 86004 HAS SOPS 45419 HAS SOUS 14452 HAS SOUPS 7475 WITH SCORE 7561.004
AT ITER 4343 NEW BEST:: SOT 160077 SOS 86000 HAS SOPS 45419 HAS SOUS 14452 HAS SOUPS 7475 WITH SCORE 7561.0
AT ITER 4364 NEW BEST:: SOT 160031 SOS 85936 HAS SOPS 45402 HAS SOUS 14419 HAS SOUPS 7454 WITH SCORE 7539.936
AT ITER 4369 NEW BEST:: SOT 159597 SOS 84705 HAS SOPS 44200 HAS SOUS 14402 HAS SOUPS 7389 WITH SCORE 7473.705
AT ITER 4380 NEW BEST:: SOT 159597 SOS 84705 HAS SOPS 44200 HAS SOUS 14387 HAS SOUPS 7379 WITH SCORE 7463.705
AT ITER 4399 NEW BEST:: SOT 159593 SOS 84665 HAS SOPS 44174 HAS SOUS 14383 HAS SOUPS 7375 WITH SCORE 7459.665
AT ITER 4403 NEW BEST:: SOT 159611 SOS 84685 HAS SOPS 44186 HAS SOUS 14379 HAS SOUPS 7373 WITH SCORE 7457.685
AT ITER 4409 NEW BEST:: SOT 159510 SOS 84579 HAS SOPS 44135 HAS SOUS 14369 HAS SOUPS 7363 WITH SCORE 7447.579
AT ITER 4445 NEW BEST:: SOT 159418 SOS 84184 HAS SOPS 43885 HAS SOUS 14356 HAS SOUPS 7350 WITH SCORE 7434.184
AT ITER 4447 NEW BEST:: SOT 159555 SOS 84974 HAS SOPS 43925 HAS SOUS 14371 HAS SOUPS 7343 WITH SCORE 7427.974
AT ITER 4457 NEW BEST:: SOT 159631 SOS 85012 HAS SOPS 43967 HAS SOUS 14356 HAS SOUPS 7338 WITH SCORE 7423.012
AT ITER 4472 NEW BEST:: SOT 159631 SOS 84984 HAS SOPS 43945 HAS SOUS 14352 HAS SOUPS 7334 WITH SCORE 7418.984
AT ITER 4521 NEW BEST:: SOT 159491 SOS 84780 HAS SOPS 43833 HAS SOUS 14348 HAS SOUPS 7330 WITH SCORE 7414.78
AT ITER 4524 NEW BEST:: SOT 159459 SOS 84727 HAS SOPS 43817 HAS SOUS 14337 HAS SOUPS 7327 WITH SCORE 7411.727
AT ITER 4570 NEW BEST:: SOT 159435 SOS 84663 HAS SOPS 43779 HAS SOUS 14329 HAS SOUPS 7321 WITH SCORE 7405.663
AT ITER 4623 NEW BEST:: SOT 159424 SOS 84668 HAS SOPS 43694 HAS SOUS 14336 HAS SOUPS 7319 WITH SCORE 7403.668
AT ITER 4640 NEW BEST:: SOT 159388 SOS 84605 HAS SOPS 43643 HAS SOUS 14333 HAS SOUPS 7316 WITH SCORE 7400.605
AT ITER 4649 NEW BEST:: SOT 159202 SOS 84419 HAS SOPS 43457 HAS SOUS 14333 HAS SOUPS 7316 WITH SCORE 7400.419
AT ITER 4653 NEW BEST:: SOT 159244 SOS 84461 HAS SOPS 43457 HAS SOUS 14315 HAS SOUPS 7306 WITH SCORE 7390.461
AT ITER 4683 NEW BEST:: SOT 159247 SOS 84464 HAS SOPS 43453 HAS SOUS 14313 HAS SOUPS 7304 WITH SCORE 7388.464
AT ITER 4797 NEW BEST:: SOT 159237 SOS 84479 HAS SOPS 43419 HAS SOUS 14310 HAS SOUPS 7294 WITH SCORE 7378.479
AT ITER 4798 NEW BEST:: SOT 159234 SOS 84461 HAS SOPS 43416 HAS SOUS 14306 HAS SOUPS 7293 WITH SCORE 7377.461
AT ITER 4802 NEW BEST:: SOT 159225 SOS 84433 HAS SOPS 43399 HAS SOUS 14304 HAS SOUPS 7291 WITH SCORE 7375.433
AT ITER 4848 NEW BEST:: SOT 159203 SOS 84395 HAS SOPS 43385 HAS SOUS 14296 HAS SOUPS 7287 WITH SCORE 7371.395
AT ITER 4849 NEW BEST:: SOT 159188 SOS 84310 HAS SOPS 43275 HAS SOUS 14295 HAS SOUPS 7287 WITH SCORE 7371.31
AT ITER 4898 NEW BEST:: SOT 159158 SOS 84260 HAS SOPS 43195 HAS SOUS 14271 HAS SOUPS 7262 WITH SCORE 7346.26
AT ITER 4921 NEW BEST:: SOT 159092 SOS 84099 HAS SOPS 43123 HAS SOUS 14264 HAS SOUPS 7262 WITH SCORE 7346.099
AT ITER 4962 NEW BEST:: SOT 159436 SOS 84610 HAS SOPS 43458 HAS SOUS 14248 HAS SOUPS 7249 WITH SCORE 7333.61
AT ITER 4975 NEW BEST:: SOT 159297 SOS 84394 HAS SOPS 43374 HAS SOUS 14190 HAS SOUPS 7223 WITH SCORE 7307.394
AT ITER 4977 NEW BEST:: SOT 159295 SOS 84389 HAS SOPS 43373 HAS SOUS 14189 HAS SOUPS 7222 WITH SCORE 7306.389
AT ITER 4994 NEW BEST:: SOT 159203 SOS 84106 HAS SOPS 43200 HAS SOUS 14174 HAS SOUPS 7207 WITH SCORE 7291.106
AT ITER 5007 NEW BEST:: SOT 158814 SOS 83562 HAS SOPS 42966 HAS SOUS 14135 HAS SOUPS 7207 WITH SCORE 7290.562
AT ITER 5013 NEW BEST:: SOT 158792 SOS 83518 HAS SOPS 42966 HAS SOUS 14124 HAS SOUPS 7207 WITH SCORE 7290.518
AT ITER 5118 NEW BEST:: SOT 158791 SOS 83517 HAS SOPS 42965 HAS SOUS 14120 HAS SOUPS 7203 WITH SCORE 7286.517
AT ITER 5146 NEW BEST:: SOT 158916 SOS 83733 HAS SOPS 43054 HAS SOUS 14116 HAS SOUPS 7180 WITH SCORE 7263.733
AT ITER 5153 NEW BEST:: SOT 158567 SOS 82866 HAS SOPS 42663 HAS SOUS 14052 HAS SOUPS 7148 WITH SCORE 7230.866
AT ITER 5182 NEW BEST:: SOT 158517 SOS 82800 HAS SOPS 42486 HAS SOUS 14034 HAS SOUPS 7116 WITH SCORE 7198.8
AT ITER 5210 NEW BEST:: SOT 158517 SOS 82800 HAS SOPS 42486 HAS SOUS 14030 HAS SOUPS 7112 WITH SCORE 7194.8
AT ITER 5247 NEW BEST:: SOT 158505 SOS 82776 HAS SOPS 42478 HAS SOUS 14028 HAS SOUPS 7111 WITH SCORE 7193.776
AT ITER 5268 NEW BEST:: SOT 158349 SOS 82618 HAS SOPS 42388 HAS SOUS 14028 HAS SOUPS 7109 WITH SCORE 7191.618
AT ITER 5309 NEW BEST:: SOT 158262 SOS 82471 HAS SOPS 42327 HAS SOUS 14024 HAS SOUPS 7107 WITH SCORE 7189.471
AT ITER 5434 NEW BEST:: SOT 158152 SOS 82251 HAS SOPS 42261 HAS SOUS 14013 HAS SOUPS 7107 WITH SCORE 7189.251
AT ITER 5451 NEW BEST:: SOT 158151 SOS 82249 HAS SOPS 42261 HAS SOUS 14012 HAS SOUPS 7107 WITH SCORE 7189.249
AT ITER 5478 NEW BEST:: SOT 158100 SOS 82294 HAS SOPS 42261 HAS SOUS 13984 HAS SOUPS 7080 WITH SCORE 7162.294
AT ITER 5486 NEW BEST:: SOT 158076 SOS 82270 HAS SOPS 42237 HAS SOUS 13984 HAS SOUPS 7080 WITH SCORE 7162.27
AT ITER 5590 NEW BEST:: SOT 158034 SOS 82235 HAS SOPS 42237 HAS SOUS 13900 HAS SOUPS 7066 WITH SCORE 7148.235
AT ITER 5611 NEW BEST:: SOT 158072 SOS 81951 HAS SOPS 42163 HAS SOUS 13889 HAS SOUPS 7065 WITH SCORE 7146.951
AT ITER 5633 NEW BEST:: SOT 158671 SOS 83212 HAS SOPS 42552 HAS SOUS 13937 HAS SOUPS 7060 WITH SCORE 7143.212
AT ITER 5646 NEW BEST:: SOT 158559 SOS 82952 HAS SOPS 42331 HAS SOUS 13942 HAS SOUPS 7058 WITH SCORE 7140.952
AT ITER 5661 NEW BEST:: SOT 158493 SOS 82820 HAS SOPS 42283 HAS SOUS 13936 HAS SOUPS 7058 WITH SCORE 7140.82
AT ITER 5685 NEW BEST:: SOT 158497 SOS 82830 HAS SOPS 42277 HAS SOUS 13932 HAS SOUPS 7054 WITH SCORE 7136.83
AT ITER 5694 NEW BEST:: SOT 158506 SOS 82838 HAS SOPS 42281 HAS SOUS 13930 HAS SOUPS 7053 WITH SCORE 7135.838
AT ITER 5699 NEW BEST:: SOT 158794 SOS 83422 HAS SOPS 42471 HAS SOUS 13937 HAS SOUPS 7032 WITH SCORE 7115.422
AT ITER 5768 NEW BEST:: SOT 158792 SOS 83421 HAS SOPS 42470 HAS SOUS 13930 HAS SOUPS 7025 WITH SCORE 7108.421
AT ITER 5810 NEW BEST:: SOT 158752 SOS 83341 HAS SOPS 42450 HAS SOUS 13920 HAS SOUPS 7025 WITH SCORE 7108.341
AT ITER 5851 NEW BEST:: SOT 158736 SOS 83305 HAS SOPS 42438 HAS SOUS 13920 HAS SOUPS 7025 WITH SCORE 7108.305
AT ITER 5856 NEW BEST:: SOT 158624 SOS 83078 HAS SOPS 42285 HAS SOUS 13888 HAS SOUPS 6993 WITH SCORE 7076.078
AT ITER 5860 NEW BEST:: SOT 158638 SOS 83091 HAS SOPS 42290 HAS SOUS 13884 HAS SOUPS 6990 WITH SCORE 7073.091
AT ITER 5890 NEW BEST:: SOT 158641 SOS 83119 HAS SOPS 42316 HAS SOUS 13883 HAS SOUPS 6989 WITH SCORE 7072.119
AT ITER 5947 NEW BEST:: SOT 158618 SOS 83273 HAS SOPS 42344 HAS SOUS 13879 HAS SOUPS 6979 WITH SCORE 7062.273
AT ITER 5985 NEW BEST:: SOT 158608 SOS 83258 HAS SOPS 42339 HAS SOUS 13877 HAS SOUPS 6977 WITH SCORE 7060.258
AT ITER 6020 NEW BEST:: SOT 158186 SOS 80224 HAS SOPS 39840 HAS SOUS 13791 HAS SOUPS 6935 WITH SCORE 7015.224
AT ITER 6072 NEW BEST:: SOT 158200 SOS 80289 HAS SOPS 39859 HAS SOUS 13791 HAS SOUPS 6932 WITH SCORE 7012.289
AT ITER 6079 NEW BEST:: SOT 158252 SOS 80417 HAS SOPS 39679 HAS SOUS 13804 HAS SOUPS 6923 WITH SCORE 7003.417
AT ITER 6085 NEW BEST:: SOT 158259 SOS 80387 HAS SOPS 39643 HAS SOUS 13800 HAS SOUPS 6919 WITH SCORE 6999.387
AT ITER 6088 NEW BEST:: SOT 158286 SOS 80495 HAS SOPS 39583 HAS SOUS 13820 HAS SOUPS 6915 WITH SCORE 6995.495
AT ITER 6098 NEW BEST:: SOT 157950 SOS 80159 HAS SOPS 39247 HAS SOUS 13820 HAS SOUPS 6915 WITH SCORE 6995.159
AT ITER 6106 NEW BEST:: SOT 157950 SOS 80071 HAS SOPS 39159 HAS SOUS 13816 HAS SOUPS 6911 WITH SCORE 6991.071
AT ITER 6139 NEW BEST:: SOT 157925 SOS 80053 HAS SOPS 39141 HAS SOUS 13805 HAS SOUPS 6900 WITH SCORE 6980.053
AT ITER 6170 NEW BEST:: SOT 157770 SOS 79632 HAS SOPS 38953 HAS SOUS 13780 HAS SOUPS 6898 WITH SCORE 6977.632
AT ITER 6199 NEW BEST:: SOT 157760 SOS 79878 HAS SOPS 39019 HAS SOUS 13795 HAS SOUPS 6895 WITH SCORE 6974.878
AT ITER 6215 NEW BEST:: SOT 157748 SOS 79902 HAS SOPS 38988 HAS SOUS 13789 HAS SOUPS 6882 WITH SCORE 6961.902
AT ITER 6221 NEW BEST:: SOT 157746 SOS 79880 HAS SOPS 38986 HAS SOUS 13787 HAS SOUPS 6882 WITH SCORE 6961.88
AT ITER 6266 NEW BEST:: SOT 157843 SOS 80058 HAS SOPS 39056 HAS SOUS 13652 HAS SOUPS 6796 WITH SCORE 6876.058
AT ITER 6340 NEW BEST:: SOT 157835 SOS 80007 HAS SOPS 39055 HAS SOUS 13644 HAS SOUPS 6793 WITH SCORE 6873.007
AT ITER 6398 NEW BEST:: SOT 157833 SOS 79995 HAS SOPS 39042 HAS SOUS 13641 HAS SOUPS 6790 WITH SCORE 6869.995
AT ITER 6418 NEW BEST:: SOT 157779 SOS 79878 HAS SOPS 39006 HAS SOUS 13641 HAS SOUPS 6790 WITH SCORE 6869.878
AT ITER 6422 NEW BEST:: SOT 157621 SOS 79690 HAS SOPS 38896 HAS SOUS 13639 HAS SOUPS 6788 WITH SCORE 6867.69
AT ITER 6463 NEW BEST:: SOT 157494 SOS 79531 HAS SOPS 38802 HAS SOUS 13618 HAS SOUPS 6775 WITH SCORE 6854.531
AT ITER 6504 NEW BEST:: SOT 157507 SOS 79520 HAS SOPS 38784 HAS SOUS 13608 HAS SOUPS 6771 WITH SCORE 6850.52
AT ITER 6526 NEW BEST:: SOT 157508 SOS 79522 HAS SOPS 38784 HAS SOUS 13601 HAS SOUPS 6766 WITH SCORE 6845.522
AT ITER 6539 NEW BEST:: SOT 157494 SOS 79478 HAS SOPS 38732 HAS SOUS 13600 HAS SOUPS 6763 WITH SCORE 6842.478
AT ITER 6551 NEW BEST:: SOT 157489 SOS 79413 HAS SOPS 38617 HAS SOUS 13595 HAS SOUPS 6753 WITH SCORE 6832.413
AT ITER 6566 NEW BEST:: SOT 157464 SOS 79292 HAS SOPS 38519 HAS SOUS 13595 HAS SOUPS 6753 WITH SCORE 6832.292
AT ITER 6575 NEW BEST:: SOT 157457 SOS 79276 HAS SOPS 38515 HAS SOUS 13592 HAS SOUPS 6751 WITH SCORE 6830.276
AT ITER 6618 NEW BEST:: SOT 157410 SOS 79238 HAS SOPS 38482 HAS SOUS 13555 HAS SOUPS 6732 WITH SCORE 6811.238
AT ITER 6661 NEW BEST:: SOT 157370 SOS 79149 HAS SOPS 38372 HAS SOUS 13554 HAS SOUPS 6722 WITH SCORE 6801.149
AT ITER 6676 NEW BEST:: SOT 157346 SOS 79133 HAS SOPS 38360 HAS SOUS 13535 HAS SOUPS 6711 WITH SCORE 6790.133
AT ITER 6677 NEW BEST:: SOT 157376 SOS 79162 HAS SOPS 38389 HAS SOUS 13534 HAS SOUPS 6710 WITH SCORE 6789.162
AT ITER 6757 NEW BEST:: SOT 157376 SOS 79158 HAS SOPS 38389 HAS SOUS 13530 HAS SOUPS 6710 WITH SCORE 6789.158
AT ITER 6765 NEW BEST:: SOT 157292 SOS 79074 HAS SOPS 38389 HAS SOUS 13530 HAS SOUPS 6710 WITH SCORE 6789.074
AT ITER 6796 NEW BEST:: SOT 157292 SOS 79074 HAS SOPS 38389 HAS SOUS 13503 HAS SOUPS 6695 WITH SCORE 6774.074
AT ITER 6802 NEW BEST:: SOT 156718 SOS 78500 HAS SOPS 37897 HAS SOUS 13491 HAS SOUPS 6683 WITH SCORE 6761.5
AT ITER 6816 NEW BEST:: SOT 156640 SOS 78435 HAS SOPS 37897 HAS SOUS 13335 HAS SOUPS 6657 WITH SCORE 6735.435
AT ITER 6817 NEW BEST:: SOT 156616 SOS 78393 HAS SOPS 37885 HAS SOUS 13329 HAS SOUPS 6657 WITH SCORE 6735.393
AT ITER 6835 NEW BEST:: SOT 156616 SOS 78393 HAS SOPS 37885 HAS SOUS 13293 HAS SOUPS 6637 WITH SCORE 6715.393
AT ITER 6997 NEW BEST:: SOT 156604 SOS 78381 HAS SOPS 37885 HAS SOUS 13293 HAS SOUPS 6637 WITH SCORE 6715.381
AT ITER 7151 NEW BEST:: SOT 156598 SOS 78375 HAS SOPS 37879 HAS SOUS 13284 HAS SOUPS 6632 WITH SCORE 6710.375
AT ITER 7163 NEW BEST:: SOT 156594 SOS 78333 HAS SOPS 37851 HAS SOUS 13274 HAS SOUPS 6624 WITH SCORE 6702.333
AT ITER 7181 NEW BEST:: SOT 156591 SOS 78299 HAS SOPS 37827 HAS SOUS 13274 HAS SOUPS 6622 WITH SCORE 6700.299
AT ITER 7217 NEW BEST:: SOT 156668 SOS 78394 HAS SOPS 37889 HAS SOUS 13264 HAS SOUPS 6612 WITH SCORE 6690.394
AT ITER 7277 NEW BEST:: SOT 156659 SOS 78223 HAS SOPS 37682 HAS SOUS 13243 HAS SOUPS 6585 WITH SCORE 6663.223
AT ITER 7299 NEW BEST:: SOT 156933 SOS 78688 HAS SOPS 37819 HAS SOUS 13154 HAS SOUPS 6504 WITH SCORE 6582.688
AT ITER 7340 NEW BEST:: SOT 156946 SOS 78634 HAS SOPS 37813 HAS SOUS 13153 HAS SOUPS 6503 WITH SCORE 6581.634
AT ITER 7396 NEW BEST:: SOT 156885 SOS 78572 HAS SOPS 37791 HAS SOUS 13105 HAS SOUPS 6487 WITH SCORE 6565.572
AT ITER 7416 NEW BEST:: SOT 156921 SOS 78614 HAS SOPS 37820 HAS SOUS 13093 HAS SOUPS 6480 WITH SCORE 6558.614
AT ITER 7440 NEW BEST:: SOT 156919 SOS 78589 HAS SOPS 37795 HAS SOUS 13091 HAS SOUPS 6478 WITH SCORE 6556.589
AT ITER 7529 NEW BEST:: SOT 156882 SOS 78522 HAS SOPS 37768 HAS SOUS 13076 HAS SOUPS 6473 WITH SCORE 6551.522
AT ITER 7608 NEW BEST:: SOT 156875 SOS 78519 HAS SOPS 37765 HAS SOUS 13076 HAS SOUPS 6472 WITH SCORE 6550.519
AT ITER 7627 NEW BEST:: SOT 157114 SOS 78997 HAS SOPS 37997 HAS SOUS 12927 HAS SOUPS 6454 WITH SCORE 6532.997
AT ITER 7665 NEW BEST:: SOT 157049 SOS 79041 HAS SOPS 38015 HAS SOUS 12892 HAS SOUPS 6425 WITH SCORE 6504.041
AT ITER 7675 NEW BEST:: SOT 157028 SOS 79020 HAS SOPS 37997 HAS SOUS 12868 HAS SOUPS 6409 WITH SCORE 6488.02
AT ITER 7699 NEW BEST:: SOT 157023 SOS 79010 HAS SOPS 37997 HAS SOUS 12863 HAS SOUPS 6409 WITH SCORE 6488.01
AT ITER 7714 NEW BEST:: SOT 157023 SOS 79010 HAS SOPS 37997 HAS SOUS 12860 HAS SOUPS 6407 WITH SCORE 6486.01
AT ITER 7739 NEW BEST:: SOT 157029 SOS 78965 HAS SOPS 38030 HAS SOUS 12836 HAS SOUPS 6395 WITH SCORE 6473.965
AT ITER 7788 NEW BEST:: SOT 157012 SOS 78948 HAS SOPS 38030 HAS SOUS 12836 HAS SOUPS 6395 WITH SCORE 6473.948
AT ITER 7830 NEW BEST:: SOT 157029 SOS 78842 HAS SOPS 37995 HAS SOUS 12813 HAS SOUPS 6382 WITH SCORE 6460.842
AT ITER 7927 NEW BEST:: SOT 157029 SOS 78842 HAS SOPS 37995 HAS SOUS 12810 HAS SOUPS 6380 WITH SCORE 6458.842
AT ITER 7937 NEW BEST:: SOT 157036 SOS 78884 HAS SOPS 37981 HAS SOUS 12812 HAS SOUPS 6378 WITH SCORE 6456.884
AT ITER 7942 NEW BEST:: SOT 157031 SOS 78883 HAS SOPS 37980 HAS SOUS 12807 HAS SOUPS 6373 WITH SCORE 6451.883
AT ITER 8061 NEW BEST:: SOT 157033 SOS 78887 HAS SOPS 37984 HAS SOUS 12798 HAS SOUPS 6364 WITH SCORE 6442.887
AT ITER 8140 NEW BEST:: SOT 157001 SOS 78862 HAS SOPS 37891 HAS SOUS 12786 HAS SOUPS 6344 WITH SCORE 6422.862
AT ITER 8264 NEW BEST:: SOT 156966 SOS 78782 HAS SOPS 37857 HAS SOUS 12773 HAS SOUPS 6335 WITH SCORE 6413.782
AT ITER 8279 NEW BEST:: SOT 156955 SOS 78769 HAS SOPS 37849 HAS SOUS 12771 HAS SOUPS 6333 WITH SCORE 6411.769
AT ITER 8293 NEW BEST:: SOT 156938 SOS 78807 HAS SOPS 37848 HAS SOUS 12763 HAS SOUPS 6325 WITH SCORE 6403.807
AT ITER 8302 NEW BEST:: SOT 156924 SOS 78778 HAS SOPS 37831 HAS SOUS 12745 HAS SOUPS 6307 WITH SCORE 6385.778
AT ITER 8307 NEW BEST:: SOT 156788 SOS 78490 HAS SOPS 37559 HAS SOUS 12739 HAS SOUPS 6285 WITH SCORE 6363.49
AT ITER 8350 NEW BEST:: SOT 156788 SOS 78493 HAS SOPS 37577 HAS SOUS 12703 HAS SOUPS 6279 WITH SCORE 6357.493
AT ITER 8357 NEW BEST:: SOT 156785 SOS 78492 HAS SOPS 37583 HAS SOUS 12701 HAS SOUPS 6278 WITH SCORE 6356.492
AT ITER 8358 NEW BEST:: SOT 156740 SOS 78397 HAS SOPS 37553 HAS SOUS 12696 HAS SOUPS 6278 WITH SCORE 6356.397
AT ITER 8398 NEW BEST:: SOT 156737 SOS 78372 HAS SOPS 37528 HAS SOUS 12693 HAS SOUPS 6275 WITH SCORE 6353.372
AT ITER 8448 NEW BEST:: SOT 156737 SOS 78372 HAS SOPS 37528 HAS SOUS 12687 HAS SOUPS 6271 WITH SCORE 6349.372
AT ITER 8524 NEW BEST:: SOT 156740 SOS 78366 HAS SOPS 37528 HAS SOUS 12686 HAS SOUPS 6271 WITH SCORE 6349.366
AT ITER 8634 NEW BEST:: SOT 156725 SOS 78336 HAS SOPS 37438 HAS SOUS 12836 HAS SOUPS 6271 WITH SCORE 6349.336
AT ITER 8636 NEW BEST:: SOT 156724 SOS 78318 HAS SOPS 37418 HAS SOUS 12833 HAS SOUPS 6268 WITH SCORE 6346.318
AT ITER 8647 NEW BEST:: SOT 156816 SOS 78470 HAS SOPS 37474 HAS SOUS 12840 HAS SOUPS 6267 WITH SCORE 6345.47
AT ITER 8748 NEW BEST:: SOT 156811 SOS 78465 HAS SOPS 37474 HAS SOUS 12838 HAS SOUPS 6265 WITH SCORE 6343.465
AT ITER 8786 NEW BEST:: SOT 156811 SOS 78465 HAS SOPS 37474 HAS SOUS 12835 HAS SOUPS 6263 WITH SCORE 6341.465
AT ITER 8870 NEW BEST:: SOT 156795 SOS 78484 HAS SOPS 37474 HAS SOUS 12831 HAS SOUPS 6259 WITH SCORE 6337.484
AT ITER 8901 NEW BEST:: SOT 156799 SOS 78396 HAS SOPS 37386 HAS SOUS 12827 HAS SOUPS 6255 WITH SCORE 6333.396
AT ITER 8916 NEW BEST:: SOT 156799 SOS 78340 HAS SOPS 37330 HAS SOUS 12827 HAS SOUPS 6255 WITH SCORE 6333.34
AT ITER 8964 NEW BEST:: SOT 156781 SOS 78302 HAS SOPS 37318 HAS SOUS 12825 HAS SOUPS 6255 WITH SCORE 6333.302
AT ITER 8980 NEW BEST:: SOT 156781 SOS 78302 HAS SOPS 37318 HAS SOUS 12822 HAS SOUPS 6253 WITH SCORE 6331.302
AT ITER 8982 NEW BEST:: SOT 156765 SOS 78252 HAS SOPS 37310 HAS SOUS 12816 HAS SOUPS 6253 WITH SCORE 6331.252
AT ITER 9003 NEW BEST:: SOT 156772 SOS 78098 HAS SOPS 37236 HAS SOUS 12807 HAS SOUPS 6252 WITH SCORE 6330.098
AT ITER 9058 NEW BEST:: SOT 156758 SOS 78075 HAS SOPS 37226 HAS SOUS 12804 HAS SOUPS 6250 WITH SCORE 6328.075
AT ITER 9074 NEW BEST:: SOT 156757 SOS 78043 HAS SOPS 37194 HAS SOUS 12799 HAS SOUPS 6245 WITH SCORE 6323.043
AT ITER 9172 NEW BEST:: SOT 156758 SOS 78001 HAS SOPS 37152 HAS SOUS 12799 HAS SOUPS 6245 WITH SCORE 6323.001
AT ITER 9406 NEW BEST:: SOT 156758 SOS 78001 HAS SOPS 37152 HAS SOUS 12795 HAS SOUPS 6241 WITH SCORE 6319.001
AT ITER 9477 NEW BEST:: SOT 156758 SOS 77937 HAS SOPS 37108 HAS SOUS 12793 HAS SOUPS 6241 WITH SCORE 6318.937
AT ITER 9483 NEW BEST:: SOT 156744 SOS 77914 HAS SOPS 37089 HAS SOUS 12787 HAS SOUPS 6235 WITH SCORE 6312.914
AT ITER 9513 NEW BEST:: SOT 156741 SOS 77888 HAS SOPS 37035 HAS SOUS 12781 HAS SOUPS 6225 WITH SCORE 6302.888
AT ITER 9589 NEW BEST:: SOT 156741 SOS 77888 HAS SOPS 37035 HAS SOUS 12773 HAS SOUPS 6217 WITH SCORE 6294.888
AT ITER 9593 NEW BEST:: SOT 156476 SOS 77323 HAS SOPS 36806 HAS SOUS 12766 HAS SOUPS 6216 WITH SCORE 6293.323
AT ITER 9602 NEW BEST:: SOT 156448 SOS 77267 HAS SOPS 36792 HAS SOUS 12759 HAS SOUPS 6216 WITH SCORE 6293.267
AT ITER 9698 NEW BEST:: SOT 156445 SOS 77264 HAS SOPS 36792 HAS SOUS 12759 HAS SOUPS 6216 WITH SCORE 6293.264
AT ITER 9702 NEW BEST:: SOT 156429 SOS 77196 HAS SOPS 36712 HAS SOUS 12746 HAS SOUPS 6203 WITH SCORE 6280.196
AT ITER 9712 NEW BEST:: SOT 156473 SOS 77240 HAS SOPS 36726 HAS SOUS 12726 HAS SOUPS 6183 WITH SCORE 6260.24
AT ITER 9785 NEW BEST:: SOT 156554 SOS 77397 HAS SOPS 36769 HAS SOUS 12740 HAS SOUPS 6178 WITH SCORE 6255.397
AT ITER 9861 NEW BEST:: SOT 156553 SOS 77395 HAS SOPS 36767 HAS SOUS 12740 HAS SOUPS 6178 WITH SCORE 6255.395
AT ITER 9927 NEW BEST:: SOT 156542 SOS 77376 HAS SOPS 36748 HAS SOUS 12729 HAS SOUPS 6167 WITH SCORE 6244.376
AT ITER 9972 NEW BEST:: SOT 156524 SOS 77350 HAS SOPS 36734 HAS SOUS 12715 HAS SOUPS 6157 WITH SCORE 6234.35
STATE_SPACE STATES 24010000001 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 109 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 3434116000001 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678258338504

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCround-PT-06a"
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 DLCround-PT-06a, 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-167814472700672"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-06a.tgz
mv DLCround-PT-06a 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 ;