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.r003-oct2-167813590600264.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 AirplaneLD-PT-0050, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813590600264
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.9M
-rw-r--r-- 1 mcc users 44K Feb 26 11:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 196K Feb 26 11:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 38K Feb 26 11:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 248K Feb 26 11:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 23K Feb 25 15:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 25 15:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 9.0K Feb 25 15:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 25 15:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 83K Feb 26 11:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 358K Feb 26 11:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 68K Feb 26 11:27 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 433K Feb 26 11:27 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 219K 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 1678472781491

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=AirplaneLD-PT-0050
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AirplaneLD (PT), instance 0050
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: 369 places, 408 transitions, 1553 arcs.
AT ITER 0 NEW BEST:: SOT 115944 SOS 58177 HAS SOPS 49545 HAS SOUS 41302 HAS SOUPS 32673 WITH SCORE 32731.177
AT ITER 6 NEW BEST:: SOT 115846 SOS 57981 HAS SOPS 49447 HAS SOUS 41106 HAS SOUPS 32575 WITH SCORE 32632.981
AT ITER 9 NEW BEST:: SOT 115802 SOS 57981 HAS SOPS 49447 HAS SOUS 41071 HAS SOUPS 32540 WITH SCORE 32597.981
AT ITER 11 NEW BEST:: SOT 115707 SOS 57791 HAS SOPS 49352 HAS SOUS 40881 HAS SOUPS 32445 WITH SCORE 32502.791
AT ITER 16 NEW BEST:: SOT 108899 SOS 54266 HAS SOPS 45827 HAS SOUS 34250 HAS SOUPS 25814 WITH SCORE 25868.266
AT ITER 20 NEW BEST:: SOT 108710 SOS 54144 HAS SOPS 45705 HAS SOUS 34218 HAS SOUPS 25782 WITH SCORE 25836.144
AT ITER 22 NEW BEST:: SOT 108643 SOS 54144 HAS SOPS 45735 HAS SOUS 34151 HAS SOUPS 25745 WITH SCORE 25799.144
AT ITER 25 NEW BEST:: SOT 108581 SOS 54144 HAS SOPS 45735 HAS SOUS 34089 HAS SOUPS 25683 WITH SCORE 25737.144
AT ITER 32 NEW BEST:: SOT 108396 SOS 54030 HAS SOPS 45621 HAS SOUS 33922 HAS SOUPS 25516 WITH SCORE 25570.03
AT ITER 38 NEW BEST:: SOT 108296 SOS 53870 HAS SOPS 45521 HAS SOUS 33762 HAS SOUPS 25416 WITH SCORE 25469.87
AT ITER 41 NEW BEST:: SOT 108204 SOS 53670 HAS SOPS 45429 HAS SOUS 33578 HAS SOUPS 25340 WITH SCORE 25393.67
AT ITER 51 NEW BEST:: SOT 108039 SOS 53596 HAS SOPS 45355 HAS SOUS 33445 HAS SOUPS 25207 WITH SCORE 25260.596
AT ITER 57 NEW BEST:: SOT 107957 SOS 53632 HAS SOPS 45423 HAS SOUS 33399 HAS SOUPS 25193 WITH SCORE 25246.632
AT ITER 60 NEW BEST:: SOT 107941 SOS 53577 HAS SOPS 45407 HAS SOUS 33328 HAS SOUPS 25161 WITH SCORE 25214.577
AT ITER 63 NEW BEST:: SOT 107873 SOS 53441 HAS SOPS 45339 HAS SOUS 33192 HAS SOUPS 25093 WITH SCORE 25146.441
AT ITER 70 NEW BEST:: SOT 107725 SOS 53387 HAS SOPS 45285 HAS SOUS 33044 HAS SOUPS 24945 WITH SCORE 24998.387
AT ITER 72 NEW BEST:: SOT 107762 SOS 53677 HAS SOPS 45322 HAS SOUS 33133 HAS SOUPS 24910 WITH SCORE 24963.677
AT ITER 74 NEW BEST:: SOT 107719 SOS 53677 HAS SOPS 45322 HAS SOUS 33090 HAS SOUPS 24867 WITH SCORE 24920.677
AT ITER 82 NEW BEST:: SOT 107719 SOS 53852 HAS SOPS 45322 HAS SOUS 33103 HAS SOUPS 24786 WITH SCORE 24839.852
AT ITER 88 NEW BEST:: SOT 107756 SOS 54142 HAS SOPS 45359 HAS SOUS 33200 HAS SOUPS 24751 WITH SCORE 24805.142
AT ITER 101 NEW BEST:: SOT 107741 SOS 54115 HAS SOPS 45344 HAS SOUS 33173 HAS SOUPS 24736 WITH SCORE 24790.115
AT ITER 105 NEW BEST:: SOT 107721 SOS 54079 HAS SOPS 45324 HAS SOUS 33137 HAS SOUPS 24716 WITH SCORE 24770.079
AT ITER 111 NEW BEST:: SOT 107705 SOS 54063 HAS SOPS 45308 HAS SOUS 33105 HAS SOUPS 24684 WITH SCORE 24738.063
AT ITER 117 NEW BEST:: SOT 107624 SOS 53982 HAS SOPS 45227 HAS SOUS 33024 HAS SOUPS 24603 WITH SCORE 24656.982
AT ITER 119 NEW BEST:: SOT 107438 SOS 53628 HAS SOPS 45120 HAS SOUS 32762 HAS SOUPS 24507 WITH SCORE 24560.628
AT ITER 121 NEW BEST:: SOT 107845 SOS 52149 HAS SOPS 39985 HAS SOUS 33169 HAS SOUPS 21258 WITH SCORE 21310.149
AT ITER 128 NEW BEST:: SOT 107845 SOS 52291 HAS SOPS 39985 HAS SOUS 33207 HAS SOUPS 21210 WITH SCORE 21262.291
AT ITER 143 NEW BEST:: SOT 107719 SOS 52211 HAS SOPS 39945 HAS SOUS 33081 HAS SOUPS 21124 WITH SCORE 21176.211
AT ITER 152 NEW BEST:: SOT 107565 SOS 52103 HAS SOPS 39883 HAS SOUS 32927 HAS SOUPS 21016 WITH SCORE 21068.103
AT ITER 156 NEW BEST:: SOT 107639 SOS 52276 HAS SOPS 39865 HAS SOUS 33027 HAS SOUPS 20996 WITH SCORE 21048.276
AT ITER 160 NEW BEST:: SOT 107539 SOS 52162 HAS SOPS 39811 HAS SOUS 32913 HAS SOUPS 20942 WITH SCORE 20994.162
AT ITER 167 NEW BEST:: SOT 103067 SOS 48346 HAS SOPS 36145 HAS SOUS 28348 HAS SOUPS 16527 WITH SCORE 16575.346
AT ITER 173 NEW BEST:: SOT 103022 SOS 48301 HAS SOPS 36100 HAS SOUS 28334 HAS SOUPS 16513 WITH SCORE 16561.301
AT ITER 177 NEW BEST:: SOT 103022 SOS 48228 HAS SOPS 36100 HAS SOUS 28261 HAS SOUPS 16513 WITH SCORE 16561.228
AT ITER 180 NEW BEST:: SOT 102931 SOS 48074 HAS SOPS 36009 HAS SOUS 28142 HAS SOUPS 16457 WITH SCORE 16505.074
AT ITER 181 NEW BEST:: SOT 102900 SOS 48043 HAS SOPS 35978 HAS SOUS 28084 HAS SOUPS 16399 WITH SCORE 16447.043
AT ITER 183 NEW BEST:: SOT 102869 SOS 47965 HAS SOPS 35947 HAS SOUS 28030 HAS SOUPS 16392 WITH SCORE 16439.965
AT ITER 191 NEW BEST:: SOT 102860 SOS 47956 HAS SOPS 35938 HAS SOUS 28013 HAS SOUPS 16375 WITH SCORE 16422.956
AT ITER 202 NEW BEST:: SOT 102883 SOS 46489 HAS SOPS 33468 HAS SOUS 27033 HAS SOUPS 15395 WITH SCORE 15441.489
AT ITER 211 NEW BEST:: SOT 102883 SOS 46627 HAS SOPS 33468 HAS SOUS 27033 HAS SOUPS 15343 WITH SCORE 15389.627
AT ITER 213 NEW BEST:: SOT 102883 SOS 46827 HAS SOPS 33468 HAS SOUS 27033 HAS SOUPS 15261 WITH SCORE 15307.827
AT ITER 233 NEW BEST:: SOT 102712 SOS 46539 HAS SOPS 33318 HAS SOUS 26808 HAS SOUPS 15132 WITH SCORE 15178.539
AT ITER 236 NEW BEST:: SOT 102712 SOS 46517 HAS SOPS 33296 HAS SOUS 26783 HAS SOUPS 15107 WITH SCORE 15153.517
AT ITER 246 NEW BEST:: SOT 102762 SOS 46512 HAS SOPS 33234 HAS SOUS 26824 HAS SOUPS 15091 WITH SCORE 15137.512
AT ITER 259 NEW BEST:: SOT 102766 SOS 46516 HAS SOPS 33221 HAS SOUS 26811 HAS SOUPS 15078 WITH SCORE 15124.516
AT ITER 276 NEW BEST:: SOT 102766 SOS 46575 HAS SOPS 33103 HAS SOUS 26868 HAS SOUPS 14960 WITH SCORE 15006.575
AT ITER 280 NEW BEST:: SOT 102919 SOS 46267 HAS SOPS 31179 HAS SOUS 25405 HAS SOUPS 13497 WITH SCORE 13543.267
AT ITER 284 NEW BEST:: SOT 102852 SOS 46165 HAS SOPS 31112 HAS SOUS 25306 HAS SOUPS 13433 WITH SCORE 13479.165
AT ITER 320 NEW BEST:: SOT 102809 SOS 46478 HAS SOPS 31425 HAS SOUS 25264 HAS SOUPS 13391 WITH SCORE 13437.478
AT ITER 322 NEW BEST:: SOT 102654 SOS 46402 HAS SOPS 31404 HAS SOUS 25175 HAS SOUPS 13357 WITH SCORE 13403.402
AT ITER 329 NEW BEST:: SOT 102891 SOS 46520 HAS SOPS 31034 HAS SOUS 24924 HAS SOUPS 13106 WITH SCORE 13152.52
AT ITER 338 NEW BEST:: SOT 102891 SOS 46468 HAS SOPS 31034 HAS SOUS 24924 HAS SOUPS 13106 WITH SCORE 13152.468
AT ITER 339 NEW BEST:: SOT 102891 SOS 46668 HAS SOPS 31034 HAS SOUS 24924 HAS SOUPS 13013 WITH SCORE 13059.668
AT ITER 341 NEW BEST:: SOT 102909 SOS 46864 HAS SOPS 31052 HAS SOUS 24960 HAS SOUPS 12996 WITH SCORE 13042.864
AT ITER 342 NEW BEST:: SOT 102873 SOS 46792 HAS SOPS 30944 HAS SOUS 24924 HAS SOUPS 12924 WITH SCORE 12970.792
AT ITER 346 NEW BEST:: SOT 102825 SOS 49807 HAS SOPS 33958 HAS SOUS 24884 HAS SOUPS 12883 WITH SCORE 12932.807
AT ITER 347 NEW BEST:: SOT 102825 SOS 49959 HAS SOPS 33958 HAS SOUS 24884 HAS SOUPS 12807 WITH SCORE 12856.959
AT ITER 354 NEW BEST:: SOT 102876 SOS 50133 HAS SOPS 33970 HAS SOUS 24935 HAS SOUPS 12767 WITH SCORE 12817.133
AT ITER 364 NEW BEST:: SOT 102819 SOS 50076 HAS SOPS 33913 HAS SOUS 24934 HAS SOUPS 12766 WITH SCORE 12816.076
AT ITER 382 NEW BEST:: SOT 102697 SOS 49967 HAS SOPS 33892 HAS SOUS 24840 HAS SOUPS 12760 WITH SCORE 12809.967
AT ITER 391 NEW BEST:: SOT 102697 SOS 49966 HAS SOPS 33892 HAS SOUS 24839 HAS SOUPS 12760 WITH SCORE 12809.966
AT ITER 402 NEW BEST:: SOT 102697 SOS 49948 HAS SOPS 33804 HAS SOUS 24821 HAS SOUPS 12672 WITH SCORE 12721.948
AT ITER 409 NEW BEST:: SOT 102715 SOS 50271 HAS SOPS 33822 HAS SOUS 24857 HAS SOUPS 12612 WITH SCORE 12662.271
AT ITER 440 NEW BEST:: SOT 102415 SOS 50819 HAS SOPS 34370 HAS SOUS 24566 HAS SOUPS 12321 WITH SCORE 12371.819
AT ITER 443 NEW BEST:: SOT 102415 SOS 50818 HAS SOPS 34370 HAS SOUS 24565 HAS SOUPS 12321 WITH SCORE 12371.818
AT ITER 460 NEW BEST:: SOT 101526 SOS 56896 HAS SOPS 40402 HAS SOUS 23821 HAS SOUPS 11531 WITH SCORE 11587.896
AT ITER 461 NEW BEST:: SOT 101487 SOS 56821 HAS SOPS 40322 HAS SOUS 23802 HAS SOUPS 11507 WITH SCORE 11563.821
AT ITER 467 NEW BEST:: SOT 101457 SOS 56791 HAS SOPS 40292 HAS SOUS 23744 HAS SOUPS 11449 WITH SCORE 11505.791
AT ITER 470 NEW BEST:: SOT 101211 SOS 56536 HAS SOPS 40055 HAS SOUS 23543 HAS SOUPS 11266 WITH SCORE 11322.536
AT ITER 474 NEW BEST:: SOT 102737 SOS 57204 HAS SOPS 38470 HAS SOUS 25069 HAS SOUPS 10539 WITH SCORE 10596.204
AT ITER 479 NEW BEST:: SOT 102738 SOS 57241 HAS SOPS 38435 HAS SOUS 25090 HAS SOUPS 10488 WITH SCORE 10545.241
AT ITER 488 NEW BEST:: SOT 102554 SOS 58950 HAS SOPS 40134 HAS SOUS 24874 HAS SOUPS 10262 WITH SCORE 10320.95
AT ITER 489 NEW BEST:: SOT 102538 SOS 58934 HAS SOPS 40118 HAS SOUS 24858 HAS SOUPS 10246 WITH SCORE 10304.934
AT ITER 504 NEW BEST:: SOT 102538 SOS 58924 HAS SOPS 40118 HAS SOUS 24848 HAS SOUPS 10246 WITH SCORE 10304.924
AT ITER 517 NEW BEST:: SOT 102504 SOS 58856 HAS SOPS 40084 HAS SOUS 24814 HAS SOUPS 10229 WITH SCORE 10287.856
AT ITER 519 NEW BEST:: SOT 102494 SOS 58836 HAS SOPS 40074 HAS SOUS 24804 HAS SOUPS 10229 WITH SCORE 10287.836
AT ITER 524 NEW BEST:: SOT 102410 SOS 58668 HAS SOPS 39990 HAS SOUS 24720 HAS SOUPS 10187 WITH SCORE 10245.668
AT ITER 532 NEW BEST:: SOT 102246 SOS 58340 HAS SOPS 39826 HAS SOUS 24556 HAS SOUPS 10105 WITH SCORE 10163.34
AT ITER 540 NEW BEST:: SOT 102443 SOS 58629 HAS SOPS 39897 HAS SOUS 24770 HAS SOUPS 10101 WITH SCORE 10159.629
AT ITER 549 NEW BEST:: SOT 102443 SOS 58770 HAS SOPS 39897 HAS SOUS 24770 HAS SOUPS 10077 WITH SCORE 10135.77
AT ITER 553 NEW BEST:: SOT 102443 SOS 58759 HAS SOPS 39897 HAS SOUS 24759 HAS SOUPS 10077 WITH SCORE 10135.759
AT ITER 563 NEW BEST:: SOT 102607 SOS 59264 HAS SOPS 39963 HAS SOUS 24923 HAS SOUPS 9974 WITH SCORE 10033.264
AT ITER 581 NEW BEST:: SOT 102572 SOS 59229 HAS SOPS 39928 HAS SOUS 24888 HAS SOUPS 9939 WITH SCORE 9998.229
AT ITER 584 NEW BEST:: SOT 102681 SOS 59556 HAS SOPS 39935 HAS SOUS 24896 HAS SOUPS 9829 WITH SCORE 9888.556
AT ITER 597 NEW BEST:: SOT 102606 SOS 59405 HAS SOPS 39860 HAS SOUS 24822 HAS SOUPS 9793 WITH SCORE 9852.405
AT ITER 600 NEW BEST:: SOT 102606 SOS 59400 HAS SOPS 39860 HAS SOUS 24817 HAS SOUPS 9793 WITH SCORE 9852.4
AT ITER 605 NEW BEST:: SOT 102595 SOS 59389 HAS SOPS 39849 HAS SOUS 24806 HAS SOUPS 9782 WITH SCORE 9841.389
AT ITER 625 NEW BEST:: SOT 102595 SOS 59376 HAS SOPS 39849 HAS SOUS 24793 HAS SOUPS 9782 WITH SCORE 9841.376
AT ITER 630 NEW BEST:: SOT 102413 SOS 59120 HAS SOPS 39741 HAS SOUS 24611 HAS SOUPS 9748 WITH SCORE 9807.12
AT ITER 633 NEW BEST:: SOT 102447 SOS 59395 HAS SOPS 39775 HAS SOUS 24679 HAS SOUPS 9731 WITH SCORE 9790.395
AT ITER 636 NEW BEST:: SOT 102229 SOS 59107 HAS SOPS 39627 HAS SOUS 24461 HAS SOUPS 9653 WITH SCORE 9712.107
AT ITER 638 NEW BEST:: SOT 102206 SOS 59084 HAS SOPS 39604 HAS SOUS 24438 HAS SOUPS 9630 WITH SCORE 9689.084
AT ITER 642 NEW BEST:: SOT 102192 SOS 59052 HAS SOPS 39590 HAS SOUS 24410 HAS SOUPS 9616 WITH SCORE 9675.052
AT ITER 649 NEW BEST:: SOT 102192 SOS 59035 HAS SOPS 39590 HAS SOUS 24410 HAS SOUPS 9616 WITH SCORE 9675.035
AT ITER 654 NEW BEST:: SOT 102192 SOS 59137 HAS SOPS 39590 HAS SOUS 24410 HAS SOUPS 9605 WITH SCORE 9664.137
AT ITER 660 NEW BEST:: SOT 102255 SOS 59305 HAS SOPS 39604 HAS SOUS 24431 HAS SOUPS 9570 WITH SCORE 9629.305
AT ITER 664 NEW BEST:: SOT 102255 SOS 59265 HAS SOPS 39604 HAS SOUS 24451 HAS SOUPS 9570 WITH SCORE 9629.265
AT ITER 665 NEW BEST:: SOT 102255 SOS 59256 HAS SOPS 39604 HAS SOUS 24451 HAS SOUPS 9570 WITH SCORE 9629.256
AT ITER 667 NEW BEST:: SOT 102111 SOS 59051 HAS SOPS 39521 HAS SOUS 24318 HAS SOUPS 9559 WITH SCORE 9618.051
AT ITER 669 NEW BEST:: SOT 102035 SOS 58975 HAS SOPS 39445 HAS SOUS 24260 HAS SOUPS 9501 WITH SCORE 9559.975
AT ITER 678 NEW BEST:: SOT 102068 SOS 59232 HAS SOPS 39478 HAS SOUS 24326 HAS SOUPS 9471 WITH SCORE 9530.232
AT ITER 700 NEW BEST:: SOT 102025 SOS 59252 HAS SOPS 39433 HAS SOUS 24348 HAS SOUPS 9428 WITH SCORE 9487.252
AT ITER 704 NEW BEST:: SOT 102025 SOS 59431 HAS SOPS 39433 HAS SOUS 24348 HAS SOUPS 9379 WITH SCORE 9438.431
AT ITER 706 NEW BEST:: SOT 102008 SOS 59396 HAS SOPS 39416 HAS SOUS 24313 HAS SOUPS 9362 WITH SCORE 9421.396
AT ITER 713 NEW BEST:: SOT 102008 SOS 59396 HAS SOPS 39416 HAS SOUS 24291 HAS SOUPS 9340 WITH SCORE 9399.396
AT ITER 717 NEW BEST:: SOT 102156 SOS 59762 HAS SOPS 39524 HAS SOUS 24439 HAS SOUPS 9339 WITH SCORE 9398.762
AT ITER 728 NEW BEST:: SOT 102158 SOS 59761 HAS SOPS 39520 HAS SOUS 24441 HAS SOUPS 9338 WITH SCORE 9397.761
AT ITER 750 NEW BEST:: SOT 102155 SOS 59750 HAS SOPS 39517 HAS SOUS 24434 HAS SOUPS 9335 WITH SCORE 9394.75
AT ITER 752 NEW BEST:: SOT 102189 SOS 59852 HAS SOPS 39517 HAS SOUS 24468 HAS SOUPS 9301 WITH SCORE 9360.852
AT ITER 758 NEW BEST:: SOT 102179 SOS 59832 HAS SOPS 39517 HAS SOUS 24458 HAS SOUPS 9301 WITH SCORE 9360.832
AT ITER 771 NEW BEST:: SOT 102158 SOS 59811 HAS SOPS 39496 HAS SOUS 24458 HAS SOUPS 9301 WITH SCORE 9360.811
AT ITER 779 NEW BEST:: SOT 102156 SOS 59809 HAS SOPS 39494 HAS SOUS 24454 HAS SOUPS 9297 WITH SCORE 9356.809
AT ITER 787 NEW BEST:: SOT 102182 SOS 59863 HAS SOPS 39482 HAS SOUS 24480 HAS SOUPS 9257 WITH SCORE 9316.863
AT ITER 815 NEW BEST:: SOT 102207 SOS 59903 HAS SOPS 39470 HAS SOUS 24468 HAS SOUPS 9193 WITH SCORE 9252.903
AT ITER 816 NEW BEST:: SOT 102350 SOS 60258 HAS SOPS 39544 HAS SOUS 24611 HAS SOUPS 9161 WITH SCORE 9221.258
AT ITER 817 NEW BEST:: SOT 102337 SOS 60245 HAS SOPS 39531 HAS SOUS 24585 HAS SOUPS 9135 WITH SCORE 9195.245
AT ITER 826 NEW BEST:: SOT 102324 SOS 60222 HAS SOPS 39462 HAS SOUS 24559 HAS SOUPS 9109 WITH SCORE 9169.222
AT ITER 827 NEW BEST:: SOT 102267 SOS 60165 HAS SOPS 39405 HAS SOUS 24559 HAS SOUPS 9109 WITH SCORE 9169.165
AT ITER 828 NEW BEST:: SOT 102161 SOS 59921 HAS SOPS 39331 HAS SOUS 24453 HAS SOUPS 9104 WITH SCORE 9163.921
AT ITER 840 NEW BEST:: SOT 102025 SOS 59649 HAS SOPS 39195 HAS SOUS 24310 HAS SOUPS 9029 WITH SCORE 9088.649
AT ITER 841 NEW BEST:: SOT 101997 SOS 59621 HAS SOPS 39167 HAS SOUS 24282 HAS SOUPS 9001 WITH SCORE 9060.621
AT ITER 877 NEW BEST:: SOT 101998 SOS 59574 HAS SOPS 39120 HAS SOUS 24282 HAS SOUPS 9001 WITH SCORE 9060.574
AT ITER 879 NEW BEST:: SOT 101998 SOS 59574 HAS SOPS 39120 HAS SOUS 24281 HAS SOUPS 9000 WITH SCORE 9059.574
AT ITER 880 NEW BEST:: SOT 101910 SOS 59398 HAS SOPS 39032 HAS SOUS 24193 HAS SOUPS 8956 WITH SCORE 9015.398
AT ITER 883 NEW BEST:: SOT 101968 SOS 59491 HAS SOPS 39055 HAS SOUS 24251 HAS SOUPS 8944 WITH SCORE 9003.491
AT ITER 885 NEW BEST:: SOT 101968 SOS 59640 HAS SOPS 39055 HAS SOUS 24251 HAS SOUPS 8924 WITH SCORE 8983.64
AT ITER 899 NEW BEST:: SOT 101852 SOS 59408 HAS SOPS 38939 HAS SOUS 24135 HAS SOUPS 8866 WITH SCORE 8925.408
AT ITER 914 NEW BEST:: SOT 101852 SOS 59397 HAS SOPS 38939 HAS SOUS 24124 HAS SOUPS 8866 WITH SCORE 8925.397
AT ITER 962 NEW BEST:: SOT 101842 SOS 59377 HAS SOPS 38929 HAS SOUS 24114 HAS SOUPS 8861 WITH SCORE 8920.377
AT ITER 964 NEW BEST:: SOT 101839 SOS 59665 HAS SOPS 38926 HAS SOUS 24171 HAS SOUPS 8780 WITH SCORE 8839.665
AT ITER 970 NEW BEST:: SOT 101839 SOS 59638 HAS SOPS 38926 HAS SOUS 24144 HAS SOUPS 8780 WITH SCORE 8839.638
AT ITER 971 NEW BEST:: SOT 101754 SOS 59544 HAS SOPS 38850 HAS SOUS 24063 HAS SOUPS 8717 WITH SCORE 8776.544
AT ITER 981 NEW BEST:: SOT 101684 SOS 59388 HAS SOPS 38780 HAS SOUS 24009 HAS SOUPS 8706 WITH SCORE 8765.388
AT ITER 996 NEW BEST:: SOT 101683 SOS 59384 HAS SOPS 38779 HAS SOUS 24007 HAS SOUPS 8704 WITH SCORE 8763.384
AT ITER 1018 NEW BEST:: SOT 101683 SOS 59586 HAS SOPS 38779 HAS SOUS 24007 HAS SOUPS 8667 WITH SCORE 8726.586
AT ITER 1022 NEW BEST:: SOT 101673 SOS 59576 HAS SOPS 38769 HAS SOUS 23997 HAS SOUPS 8657 WITH SCORE 8716.576
AT ITER 1033 NEW BEST:: SOT 101673 SOS 59574 HAS SOPS 38769 HAS SOUS 23997 HAS SOUPS 8657 WITH SCORE 8716.574
AT ITER 1050 NEW BEST:: SOT 101731 SOS 59730 HAS SOPS 38802 HAS SOUS 24055 HAS SOUPS 8641 WITH SCORE 8700.73
AT ITER 1055 NEW BEST:: SOT 101777 SOS 59848 HAS SOPS 38830 HAS SOUS 24101 HAS SOUPS 8633 WITH SCORE 8692.848
AT ITER 1070 NEW BEST:: SOT 101773 SOS 59828 HAS SOPS 38826 HAS SOUS 24077 HAS SOUPS 8625 WITH SCORE 8684.828
AT ITER 1079 NEW BEST:: SOT 101787 SOS 59848 HAS SOPS 38826 HAS SOUS 24083 HAS SOUPS 8611 WITH SCORE 8670.848
AT ITER 1088 NEW BEST:: SOT 101756 SOS 59817 HAS SOPS 38764 HAS SOUS 24021 HAS SOUPS 8549 WITH SCORE 8608.817
AT ITER 1089 NEW BEST:: SOT 101816 SOS 59973 HAS SOPS 38801 HAS SOUS 24081 HAS SOUPS 8538 WITH SCORE 8597.973
AT ITER 1096 NEW BEST:: SOT 101816 SOS 59931 HAS SOPS 38801 HAS SOUS 24039 HAS SOUPS 8538 WITH SCORE 8597.931
AT ITER 1098 NEW BEST:: SOT 101872 SOS 60035 HAS SOPS 38809 HAS SOUS 24095 HAS SOUPS 8498 WITH SCORE 8558.035
AT ITER 1105 NEW BEST:: SOT 101341 SOS 59504 HAS SOPS 38359 HAS SOUS 23551 HAS SOUPS 8035 WITH SCORE 8094.504
AT ITER 1120 NEW BEST:: SOT 101341 SOS 59502 HAS SOPS 38359 HAS SOUS 23551 HAS SOUPS 8035 WITH SCORE 8094.502
AT ITER 1168 NEW BEST:: SOT 101341 SOS 59526 HAS SOPS 38359 HAS SOUS 23551 HAS SOUPS 8023 WITH SCORE 8082.526
AT ITER 1171 NEW BEST:: SOT 101338 SOS 59523 HAS SOPS 38356 HAS SOUS 23545 HAS SOUPS 8017 WITH SCORE 8076.523
AT ITER 1176 NEW BEST:: SOT 101320 SOS 59487 HAS SOPS 38338 HAS SOUS 23527 HAS SOUPS 8008 WITH SCORE 8067.487
AT ITER 1179 NEW BEST:: SOT 101313 SOS 59466 HAS SOPS 38331 HAS SOUS 23513 HAS SOUPS 8001 WITH SCORE 8060.466
AT ITER 1181 NEW BEST:: SOT 101405 SOS 59784 HAS SOPS 38328 HAS SOUS 23565 HAS SOUPS 7866 WITH SCORE 7925.784
AT ITER 1189 NEW BEST:: SOT 101375 SOS 59861 HAS SOPS 38298 HAS SOUS 23591 HAS SOUPS 7807 WITH SCORE 7866.861
AT ITER 1193 NEW BEST:: SOT 101352 SOS 59668 HAS SOPS 38275 HAS SOUS 23542 HAS SOUPS 7784 WITH SCORE 7843.668
AT ITER 1201 NEW BEST:: SOT 101318 SOS 59634 HAS SOPS 38241 HAS SOUS 23508 HAS SOUPS 7750 WITH SCORE 7809.634
AT ITER 1208 NEW BEST:: SOT 101318 SOS 59593 HAS SOPS 38241 HAS SOUS 23508 HAS SOUPS 7750 WITH SCORE 7809.593
AT ITER 1230 NEW BEST:: SOT 100751 SOS 59354 HAS SOPS 38470 HAS SOUS 22941 HAS SOUPS 7651 WITH SCORE 7710.354
AT ITER 1239 NEW BEST:: SOT 100597 SOS 59138 HAS SOPS 38390 HAS SOUS 22799 HAS SOUPS 7645 WITH SCORE 7704.138
AT ITER 1281 NEW BEST:: SOT 100607 SOS 59334 HAS SOPS 38400 HAS SOUS 22819 HAS SOUPS 7643 WITH SCORE 7702.334
AT ITER 1285 NEW BEST:: SOT 100816 SOS 59585 HAS SOPS 38469 HAS SOUS 22958 HAS SOUPS 7600 WITH SCORE 7659.585
AT ITER 1304 NEW BEST:: SOT 100816 SOS 59561 HAS SOPS 38469 HAS SOUS 22958 HAS SOUPS 7600 WITH SCORE 7659.561
AT ITER 1307 NEW BEST:: SOT 100911 SOS 59798 HAS SOPS 38517 HAS SOUS 23053 HAS SOUPS 7577 WITH SCORE 7636.798
AT ITER 1309 NEW BEST:: SOT 100755 SOS 59589 HAS SOPS 38425 HAS SOUS 22908 HAS SOUPS 7549 WITH SCORE 7608.589
AT ITER 1326 NEW BEST:: SOT 100758 SOS 59598 HAS SOPS 38425 HAS SOUS 22911 HAS SOUPS 7546 WITH SCORE 7605.598
AT ITER 1330 NEW BEST:: SOT 100758 SOS 59601 HAS SOPS 38422 HAS SOUS 22911 HAS SOUPS 7540 WITH SCORE 7599.601
AT ITER 1370 NEW BEST:: SOT 100650 SOS 59385 HAS SOPS 38314 HAS SOUS 22803 HAS SOUPS 7486 WITH SCORE 7545.385
AT ITER 1374 NEW BEST:: SOT 100734 SOS 59595 HAS SOPS 38356 HAS SOUS 22887 HAS SOUPS 7465 WITH SCORE 7524.595
AT ITER 1406 NEW BEST:: SOT 100755 SOS 59832 HAS SOPS 38377 HAS SOUS 22931 HAS SOUPS 7400 WITH SCORE 7459.832
AT ITER 1408 NEW BEST:: SOT 100762 SOS 60063 HAS SOPS 38384 HAS SOUS 22945 HAS SOUPS 7357 WITH SCORE 7417.063
AT ITER 1438 NEW BEST:: SOT 100762 SOS 60229 HAS SOPS 38384 HAS SOUS 22945 HAS SOUPS 7332 WITH SCORE 7392.229
AT ITER 1446 NEW BEST:: SOT 100744 SOS 60211 HAS SOPS 38366 HAS SOUS 22909 HAS SOUPS 7296 WITH SCORE 7356.211
AT ITER 1449 NEW BEST:: SOT 100727 SOS 60194 HAS SOPS 38349 HAS SOUS 22875 HAS SOUPS 7262 WITH SCORE 7322.194
AT ITER 1512 NEW BEST:: SOT 100739 SOS 60206 HAS SOPS 38349 HAS SOUS 22863 HAS SOUPS 7238 WITH SCORE 7298.206
AT ITER 1523 NEW BEST:: SOT 100781 SOS 60332 HAS SOPS 38349 HAS SOUS 22863 HAS SOUPS 7196 WITH SCORE 7256.332
AT ITER 1550 NEW BEST:: SOT 100787 SOS 60362 HAS SOPS 38331 HAS SOUS 22869 HAS SOUPS 7154 WITH SCORE 7214.362
AT ITER 1593 NEW BEST:: SOT 100705 SOS 60172 HAS SOPS 38275 HAS SOUS 22787 HAS SOUPS 7152 WITH SCORE 7212.172
AT ITER 1594 NEW BEST:: SOT 100773 SOS 60275 HAS SOPS 38308 HAS SOUS 22845 HAS SOUPS 7140 WITH SCORE 7200.275
AT ITER 1601 NEW BEST:: SOT 100749 SOS 60227 HAS SOPS 38284 HAS SOUS 22821 HAS SOUPS 7128 WITH SCORE 7188.227
AT ITER 1602 NEW BEST:: SOT 100752 SOS 60230 HAS SOPS 38287 HAS SOUS 22808 HAS SOUPS 7115 WITH SCORE 7175.23
AT ITER 1632 NEW BEST:: SOT 100777 SOS 60604 HAS SOPS 38312 HAS SOUS 22858 HAS SOUPS 7057 WITH SCORE 7117.604
AT ITER 1633 NEW BEST:: SOT 100777 SOS 60594 HAS SOPS 38312 HAS SOUS 22853 HAS SOUPS 7057 WITH SCORE 7117.594
AT ITER 1647 NEW BEST:: SOT 100755 SOS 60550 HAS SOPS 38290 HAS SOUS 22831 HAS SOUPS 7046 WITH SCORE 7106.55
AT ITER 1675 NEW BEST:: SOT 100755 SOS 60542 HAS SOPS 38290 HAS SOUS 22831 HAS SOUPS 7046 WITH SCORE 7106.542
AT ITER 1680 NEW BEST:: SOT 100587 SOS 61610 HAS SOPS 39490 HAS SOUS 22720 HAS SOUPS 7001 WITH SCORE 7062.61
AT ITER 1696 NEW BEST:: SOT 100587 SOS 61591 HAS SOPS 39490 HAS SOUS 22720 HAS SOUPS 7001 WITH SCORE 7062.591
AT ITER 1704 NEW BEST:: SOT 100571 SOS 61575 HAS SOPS 39474 HAS SOUS 22704 HAS SOUPS 6985 WITH SCORE 7046.575
AT ITER 1715 NEW BEST:: SOT 100571 SOS 61564 HAS SOPS 39474 HAS SOUS 22704 HAS SOUPS 6985 WITH SCORE 7046.564
AT ITER 1719 NEW BEST:: SOT 100496 SOS 61296 HAS SOPS 39399 HAS SOUS 22554 HAS SOUPS 6911 WITH SCORE 6972.296
AT ITER 1724 NEW BEST:: SOT 100487 SOS 61726 HAS SOPS 39835 HAS SOUS 22545 HAS SOUPS 6908 WITH SCORE 6969.726
AT ITER 1739 NEW BEST:: SOT 100487 SOS 61739 HAS SOPS 39822 HAS SOUS 22545 HAS SOUPS 6882 WITH SCORE 6943.739
AT ITER 1763 NEW BEST:: SOT 100487 SOS 61755 HAS SOPS 39814 HAS SOUS 22545 HAS SOUPS 6866 WITH SCORE 6927.755
AT ITER 1785 NEW BEST:: SOT 100556 SOS 61770 HAS SOPS 39756 HAS SOUS 22614 HAS SOUPS 6862 WITH SCORE 6923.77
AT ITER 1796 NEW BEST:: SOT 100546 SOS 61760 HAS SOPS 39746 HAS SOUS 22594 HAS SOUPS 6842 WITH SCORE 6903.76
AT ITER 1819 NEW BEST:: SOT 100459 SOS 61673 HAS SOPS 39659 HAS SOUS 22516 HAS SOUPS 6764 WITH SCORE 6825.673
AT ITER 1845 NEW BEST:: SOT 100459 SOS 61735 HAS SOPS 39659 HAS SOUS 22516 HAS SOUPS 6746 WITH SCORE 6807.735
AT ITER 1865 NEW BEST:: SOT 100473 SOS 61777 HAS SOPS 39659 HAS SOUS 22530 HAS SOUPS 6732 WITH SCORE 6793.777
AT ITER 1868 NEW BEST:: SOT 100454 SOS 61720 HAS SOPS 39640 HAS SOUS 22492 HAS SOUPS 6713 WITH SCORE 6774.72
AT ITER 1880 NEW BEST:: SOT 100454 SOS 61715 HAS SOPS 39640 HAS SOUS 22492 HAS SOUPS 6713 WITH SCORE 6774.715
AT ITER 1900 NEW BEST:: SOT 100478 SOS 61756 HAS SOPS 39640 HAS SOUS 22509 HAS SOUPS 6689 WITH SCORE 6750.756
AT ITER 1913 NEW BEST:: SOT 100478 SOS 61757 HAS SOPS 39640 HAS SOUS 22509 HAS SOUPS 6688 WITH SCORE 6749.757
AT ITER 1915 NEW BEST:: SOT 100166 SOS 68150 HAS SOPS 46140 HAS SOUS 22223 HAS SOUPS 6509 WITH SCORE 6577.15
AT ITER 1935 NEW BEST:: SOT 100142 SOS 68102 HAS SOPS 46116 HAS SOUS 22199 HAS SOUPS 6497 WITH SCORE 6565.102
AT ITER 1995 NEW BEST:: SOT 100143 SOS 68078 HAS SOPS 46091 HAS SOUS 22199 HAS SOUPS 6496 WITH SCORE 6564.078
AT ITER 2109 NEW BEST:: SOT 100127 SOS 68046 HAS SOPS 46075 HAS SOUS 22183 HAS SOUPS 6488 WITH SCORE 6556.046
AT ITER 2182 NEW BEST:: SOT 100146 SOS 68143 HAS SOPS 46094 HAS SOUS 22221 HAS SOUPS 6487 WITH SCORE 6555.143
AT ITER 2206 NEW BEST:: SOT 100146 SOS 68132 HAS SOPS 46094 HAS SOUS 22210 HAS SOUPS 6487 WITH SCORE 6555.132
AT ITER 2288 NEW BEST:: SOT 100138 SOS 68124 HAS SOPS 46086 HAS SOUS 22194 HAS SOUPS 6471 WITH SCORE 6539.124
AT ITER 2343 NEW BEST:: SOT 100138 SOS 68073 HAS SOPS 46086 HAS SOUS 22194 HAS SOUPS 6471 WITH SCORE 6539.073
AT ITER 2362 NEW BEST:: SOT 99942 SOS 67625 HAS SOPS 45946 HAS SOUS 21998 HAS SOUPS 6457 WITH SCORE 6524.625
AT ITER 2401 NEW BEST:: SOT 99934 SOS 67609 HAS SOPS 45938 HAS SOUS 21990 HAS SOUPS 6453 WITH SCORE 6520.609
AT ITER 2421 NEW BEST:: SOT 99848 SOS 67411 HAS SOPS 45878 HAS SOUS 21904 HAS SOUPS 6449 WITH SCORE 6516.411
AT ITER 2442 NEW BEST:: SOT 99848 SOS 67350 HAS SOPS 45878 HAS SOUS 21904 HAS SOUPS 6449 WITH SCORE 6516.35
AT ITER 2445 NEW BEST:: SOT 99896 SOS 67398 HAS SOPS 45926 HAS SOUS 21900 HAS SOUPS 6445 WITH SCORE 6512.398
AT ITER 2451 NEW BEST:: SOT 99857 SOS 67309 HAS SOPS 45898 HAS SOUS 21861 HAS SOUPS 6442 WITH SCORE 6509.309
AT ITER 2485 NEW BEST:: SOT 99857 SOS 67278 HAS SOPS 45898 HAS SOUS 21861 HAS SOUPS 6442 WITH SCORE 6509.278
AT ITER 2543 NEW BEST:: SOT 99847 SOS 67254 HAS SOPS 45892 HAS SOUS 21838 HAS SOUPS 6437 WITH SCORE 6504.254
AT ITER 2566 NEW BEST:: SOT 99847 SOS 67229 HAS SOPS 45892 HAS SOUS 21838 HAS SOUPS 6437 WITH SCORE 6504.229
AT ITER 2573 NEW BEST:: SOT 99847 SOS 67372 HAS SOPS 45892 HAS SOUS 21838 HAS SOUPS 6386 WITH SCORE 6453.372
AT ITER 2576 NEW BEST:: SOT 99695 SOS 67031 HAS SOPS 45740 HAS SOUS 21723 HAS SOUPS 6376 WITH SCORE 6443.031
AT ITER 2579 NEW BEST:: SOT 99695 SOS 67012 HAS SOPS 45740 HAS SOUS 21723 HAS SOUPS 6376 WITH SCORE 6443.012
AT ITER 2585 NEW BEST:: SOT 99677 SOS 66994 HAS SOPS 45740 HAS SOUS 21705 HAS SOUPS 6376 WITH SCORE 6442.994
AT ITER 2603 NEW BEST:: SOT 99677 SOS 66993 HAS SOPS 45740 HAS SOUS 21704 HAS SOUPS 6376 WITH SCORE 6442.993
AT ITER 2635 NEW BEST:: SOT 99677 SOS 66988 HAS SOPS 45740 HAS SOUS 21699 HAS SOUPS 6376 WITH SCORE 6442.988
AT ITER 2640 NEW BEST:: SOT 99677 SOS 66988 HAS SOPS 45740 HAS SOUS 21698 HAS SOUPS 6375 WITH SCORE 6441.988
AT ITER 2643 NEW BEST:: SOT 99667 SOS 66969 HAS SOPS 45738 HAS SOUS 21679 HAS SOUPS 6373 WITH SCORE 6439.969
AT ITER 2701 NEW BEST:: SOT 99637 SOS 66939 HAS SOPS 45678 HAS SOUS 21608 HAS SOUPS 6272 WITH SCORE 6338.939
AT ITER 2712 NEW BEST:: SOT 99637 SOS 66933 HAS SOPS 45678 HAS SOUS 21602 HAS SOUPS 6272 WITH SCORE 6338.933
AT ITER 2715 NEW BEST:: SOT 99636 SOS 66932 HAS SOPS 45678 HAS SOUS 21601 HAS SOUPS 6272 WITH SCORE 6338.932
AT ITER 2718 NEW BEST:: SOT 99727 SOS 67153 HAS SOPS 45730 HAS SOUS 21692 HAS SOUPS 6259 WITH SCORE 6326.153
AT ITER 2724 NEW BEST:: SOT 99727 SOS 67151 HAS SOPS 45730 HAS SOUS 21692 HAS SOUPS 6259 WITH SCORE 6326.151
AT ITER 2735 NEW BEST:: SOT 99675 SOS 67047 HAS SOPS 45678 HAS SOUS 21640 HAS SOUPS 6233 WITH SCORE 6300.047
AT ITER 2740 NEW BEST:: SOT 99619 SOS 66963 HAS SOPS 45622 HAS SOUS 21584 HAS SOUPS 6205 WITH SCORE 6271.963
AT ITER 2776 NEW BEST:: SOT 99628 SOS 66981 HAS SOPS 45622 HAS SOUS 21593 HAS SOUPS 6196 WITH SCORE 6262.981
AT ITER 2814 NEW BEST:: SOT 99570 SOS 66677 HAS SOPS 45564 HAS SOUS 21477 HAS SOUPS 6184 WITH SCORE 6250.677
AT ITER 2840 NEW BEST:: SOT 99570 SOS 66882 HAS SOPS 45564 HAS SOUS 21477 HAS SOUPS 6145 WITH SCORE 6211.882
AT ITER 2859 NEW BEST:: SOT 99570 SOS 66881 HAS SOPS 45564 HAS SOUS 21477 HAS SOUPS 6145 WITH SCORE 6211.881
AT ITER 2909 NEW BEST:: SOT 99557 SOS 66868 HAS SOPS 45551 HAS SOUS 21451 HAS SOUPS 6119 WITH SCORE 6185.868
AT ITER 2942 NEW BEST:: SOT 99575 SOS 66904 HAS SOPS 45551 HAS SOUS 21469 HAS SOUPS 6101 WITH SCORE 6167.904
AT ITER 2986 NEW BEST:: SOT 99575 SOS 66814 HAS SOPS 45551 HAS SOUS 21469 HAS SOUPS 6101 WITH SCORE 6167.814
AT ITER 3002 NEW BEST:: SOT 99604 SOS 66891 HAS SOPS 45580 HAS SOUS 21479 HAS SOUPS 6087 WITH SCORE 6153.891
AT ITER 3026 NEW BEST:: SOT 99602 SOS 66889 HAS SOPS 45578 HAS SOUS 21479 HAS SOUPS 6087 WITH SCORE 6153.889
AT ITER 3035 NEW BEST:: SOT 99602 SOS 67057 HAS SOPS 45578 HAS SOUS 21479 HAS SOUPS 6073 WITH SCORE 6140.057
AT ITER 3043 NEW BEST:: SOT 99566 SOS 66980 HAS SOPS 45542 HAS SOUS 21437 HAS SOUPS 6067 WITH SCORE 6133.98
AT ITER 3046 NEW BEST:: SOT 99523 SOS 66937 HAS SOPS 45499 HAS SOUS 21401 HAS SOUPS 6031 WITH SCORE 6097.937
AT ITER 3050 NEW BEST:: SOT 99460 SOS 66867 HAS SOPS 45443 HAS SOUS 21338 HAS SOUPS 5982 WITH SCORE 6048.867
AT ITER 3126 NEW BEST:: SOT 99460 SOS 66831 HAS SOPS 45443 HAS SOUS 21338 HAS SOUPS 5982 WITH SCORE 6048.831
AT ITER 3127 NEW BEST:: SOT 99444 SOS 66805 HAS SOPS 45427 HAS SOUS 21316 HAS SOUPS 5970 WITH SCORE 6036.805
AT ITER 3130 NEW BEST:: SOT 99440 SOS 66801 HAS SOPS 45423 HAS SOUS 21316 HAS SOUPS 5970 WITH SCORE 6036.801
AT ITER 3133 NEW BEST:: SOT 99447 SOS 66822 HAS SOPS 45430 HAS SOUS 21316 HAS SOUPS 5963 WITH SCORE 6029.822
AT ITER 3175 NEW BEST:: SOT 99447 SOS 66822 HAS SOPS 45415 HAS SOUS 21301 HAS SOUPS 5933 WITH SCORE 5999.822
AT ITER 3207 NEW BEST:: SOT 99449 SOS 66826 HAS SOPS 45415 HAS SOUS 21303 HAS SOUPS 5931 WITH SCORE 5997.826
AT ITER 3213 NEW BEST:: SOT 99446 SOS 66823 HAS SOPS 45415 HAS SOUS 21300 HAS SOUPS 5931 WITH SCORE 5997.823
AT ITER 3237 NEW BEST:: SOT 99428 SOS 66805 HAS SOPS 45397 HAS SOUS 21264 HAS SOUPS 5895 WITH SCORE 5961.805
AT ITER 3282 NEW BEST:: SOT 99412 SOS 66773 HAS SOPS 45381 HAS SOUS 21248 HAS SOUPS 5887 WITH SCORE 5953.773
AT ITER 3283 NEW BEST:: SOT 99322 SOS 66573 HAS SOPS 45311 HAS SOUS 21158 HAS SOUPS 5872 WITH SCORE 5938.573
AT ITER 3286 NEW BEST:: SOT 99338 SOS 66621 HAS SOPS 45311 HAS SOUS 21174 HAS SOUPS 5856 WITH SCORE 5922.621
AT ITER 3344 NEW BEST:: SOT 99338 SOS 66570 HAS SOPS 45311 HAS SOUS 21174 HAS SOUPS 5856 WITH SCORE 5922.57
AT ITER 3391 NEW BEST:: SOT 99341 SOS 66576 HAS SOPS 45311 HAS SOUS 21177 HAS SOUPS 5853 WITH SCORE 5919.576
AT ITER 3433 NEW BEST:: SOT 99522 SOS 66757 HAS SOPS 45408 HAS SOUS 21224 HAS SOUPS 5816 WITH SCORE 5882.757
AT ITER 3451 NEW BEST:: SOT 99510 SOS 66745 HAS SOPS 45396 HAS SOUS 21218 HAS SOUPS 5810 WITH SCORE 5876.745
AT ITER 3468 NEW BEST:: SOT 99508 SOS 66739 HAS SOPS 45394 HAS SOUS 21214 HAS SOUPS 5808 WITH SCORE 5874.739
AT ITER 3495 NEW BEST:: SOT 99447 SOS 66607 HAS SOPS 45360 HAS SOUS 21163 HAS SOUPS 5801 WITH SCORE 5867.607
AT ITER 3598 NEW BEST:: SOT 99447 SOS 66585 HAS SOPS 45360 HAS SOUS 21163 HAS SOUPS 5801 WITH SCORE 5867.585
AT ITER 3606 NEW BEST:: SOT 99515 SOS 66740 HAS SOPS 45394 HAS SOUS 21212 HAS SOUPS 5797 WITH SCORE 5863.74
AT ITER 3608 NEW BEST:: SOT 99498 SOS 66667 HAS SOPS 45377 HAS SOUS 21178 HAS SOUPS 5791 WITH SCORE 5857.667
AT ITER 3639 NEW BEST:: SOT 99452 SOS 66621 HAS SOPS 45331 HAS SOUS 21155 HAS SOUPS 5768 WITH SCORE 5834.621
AT ITER 3645 NEW BEST:: SOT 99445 SOS 66614 HAS SOPS 45303 HAS SOUS 21141 HAS SOUPS 5754 WITH SCORE 5820.614
AT ITER 3653 NEW BEST:: SOT 99445 SOS 66614 HAS SOPS 45303 HAS SOUS 21138 HAS SOUPS 5751 WITH SCORE 5817.614
AT ITER 3789 NEW BEST:: SOT 99449 SOS 66626 HAS SOPS 45307 HAS SOUS 21138 HAS SOUPS 5747 WITH SCORE 5813.626
AT ITER 3800 NEW BEST:: SOT 99433 SOS 66594 HAS SOPS 45291 HAS SOUS 21122 HAS SOUPS 5739 WITH SCORE 5805.594
AT ITER 3804 NEW BEST:: SOT 99433 SOS 66589 HAS SOPS 45291 HAS SOUS 21122 HAS SOUPS 5739 WITH SCORE 5805.589
AT ITER 3809 NEW BEST:: SOT 99433 SOS 66588 HAS SOPS 45291 HAS SOUS 21122 HAS SOUPS 5739 WITH SCORE 5805.588
AT ITER 3827 NEW BEST:: SOT 99414 SOS 66569 HAS SOPS 45272 HAS SOUS 21112 HAS SOUPS 5729 WITH SCORE 5795.569
AT ITER 3833 NEW BEST:: SOT 99414 SOS 66554 HAS SOPS 45272 HAS SOUS 21112 HAS SOUPS 5729 WITH SCORE 5795.554
AT ITER 3844 NEW BEST:: SOT 99513 SOS 66706 HAS SOPS 45318 HAS SOUS 21211 HAS SOUPS 5722 WITH SCORE 5788.706
AT ITER 3929 NEW BEST:: SOT 99496 SOS 66689 HAS SOPS 45301 HAS SOUS 21205 HAS SOUPS 5716 WITH SCORE 5782.689
AT ITER 3934 NEW BEST:: SOT 99485 SOS 66678 HAS SOPS 45290 HAS SOUS 21205 HAS SOUPS 5716 WITH SCORE 5782.678
AT ITER 3939 NEW BEST:: SOT 99344 SOS 66355 HAS SOPS 45190 HAS SOUS 21064 HAS SOUPS 5707 WITH SCORE 5773.355
AT ITER 3957 NEW BEST:: SOT 99344 SOS 66355 HAS SOPS 45190 HAS SOUS 21063 HAS SOUPS 5706 WITH SCORE 5772.355
AT ITER 3958 NEW BEST:: SOT 99356 SOS 66391 HAS SOPS 45202 HAS SOUS 21063 HAS SOUPS 5694 WITH SCORE 5760.391
AT ITER 3969 NEW BEST:: SOT 99340 SOS 66359 HAS SOPS 45186 HAS SOUS 21047 HAS SOUPS 5686 WITH SCORE 5752.359
AT ITER 3975 NEW BEST:: SOT 99349 SOS 65792 HAS SOPS 44571 HAS SOUS 21032 HAS SOUPS 5647 WITH SCORE 5712.792
AT ITER 3988 NEW BEST:: SOT 99349 SOS 64562 HAS SOPS 43331 HAS SOUS 21032 HAS SOUPS 5637 WITH SCORE 5701.562
AT ITER 4008 NEW BEST:: SOT 99349 SOS 64504 HAS SOPS 43331 HAS SOUS 21032 HAS SOUPS 5637 WITH SCORE 5701.504
AT ITER 4113 NEW BEST:: SOT 99323 SOS 64478 HAS SOPS 43305 HAS SOUS 21006 HAS SOUPS 5611 WITH SCORE 5675.478
AT ITER 4124 NEW BEST:: SOT 99321 SOS 64474 HAS SOPS 43303 HAS SOUS 21004 HAS SOUPS 5610 WITH SCORE 5674.474
AT ITER 4151 NEW BEST:: SOT 99331 SOS 64488 HAS SOPS 43291 HAS SOUS 21008 HAS SOUPS 5598 WITH SCORE 5662.488
AT ITER 4158 NEW BEST:: SOT 99331 SOS 64488 HAS SOPS 43285 HAS SOUS 21002 HAS SOUPS 5586 WITH SCORE 5650.488
AT ITER 4242 NEW BEST:: SOT 99319 SOS 64464 HAS SOPS 43273 HAS SOUS 20990 HAS SOUPS 5580 WITH SCORE 5644.464
AT ITER 4294 NEW BEST:: SOT 99340 SOS 64742 HAS SOPS 43294 HAS SOUS 21032 HAS SOUPS 5554 WITH SCORE 5618.742
AT ITER 4321 NEW BEST:: SOT 99346 SOS 64760 HAS SOPS 43300 HAS SOUS 21032 HAS SOUPS 5548 WITH SCORE 5612.76
AT ITER 4332 NEW BEST:: SOT 99346 SOS 64713 HAS SOPS 43300 HAS SOUS 21032 HAS SOUPS 5548 WITH SCORE 5612.713
AT ITER 4341 NEW BEST:: SOT 99347 SOS 64722 HAS SOPS 43294 HAS SOUS 21037 HAS SOUPS 5542 WITH SCORE 5606.722
AT ITER 4344 NEW BEST:: SOT 99347 SOS 64719 HAS SOPS 43294 HAS SOUS 21037 HAS SOUPS 5542 WITH SCORE 5606.719
AT ITER 4349 NEW BEST:: SOT 99347 SOS 64739 HAS SOPS 43294 HAS SOUS 21037 HAS SOUPS 5532 WITH SCORE 5596.739
AT ITER 4577 NEW BEST:: SOT 99347 SOS 64673 HAS SOPS 43294 HAS SOUS 21037 HAS SOUPS 5532 WITH SCORE 5596.673
AT ITER 4663 NEW BEST:: SOT 99364 SOS 64877 HAS SOPS 43311 HAS SOUS 21071 HAS SOUPS 5516 WITH SCORE 5580.877
AT ITER 4667 NEW BEST:: SOT 99375 SOS 64899 HAS SOPS 43311 HAS SOUS 21082 HAS SOUPS 5505 WITH SCORE 5569.899
AT ITER 4690 NEW BEST:: SOT 99379 SOS 64894 HAS SOPS 43315 HAS SOUS 21072 HAS SOUPS 5504 WITH SCORE 5568.894
AT ITER 4696 NEW BEST:: SOT 99379 SOS 64900 HAS SOPS 43303 HAS SOUS 21066 HAS SOUPS 5492 WITH SCORE 5556.9
AT ITER 4740 NEW BEST:: SOT 99324 SOS 64777 HAS SOPS 43261 HAS SOUS 21011 HAS SOUPS 5484 WITH SCORE 5548.777
AT ITER 4766 NEW BEST:: SOT 99345 SOS 64840 HAS SOPS 43261 HAS SOUS 21032 HAS SOUPS 5463 WITH SCORE 5527.84
AT ITER 4801 NEW BEST:: SOT 99349 SOS 64844 HAS SOPS 43255 HAS SOUS 21012 HAS SOUPS 5443 WITH SCORE 5507.844
AT ITER 4833 NEW BEST:: SOT 99465 SOS 65122 HAS SOPS 43303 HAS SOUS 21093 HAS SOUPS 5430 WITH SCORE 5495.122
AT ITER 4841 NEW BEST:: SOT 99462 SOS 65119 HAS SOPS 43300 HAS SOUS 21087 HAS SOUPS 5424 WITH SCORE 5489.119
AT ITER 4873 NEW BEST:: SOT 99462 SOS 65104 HAS SOPS 43300 HAS SOUS 21087 HAS SOUPS 5424 WITH SCORE 5489.104
AT ITER 5014 NEW BEST:: SOT 99462 SOS 65099 HAS SOPS 43300 HAS SOUS 21087 HAS SOUPS 5424 WITH SCORE 5489.099
AT ITER 5074 NEW BEST:: SOT 99372 SOS 64904 HAS SOPS 43248 HAS SOUS 21012 HAS SOUPS 5416 WITH SCORE 5480.904
AT ITER 5079 NEW BEST:: SOT 99231 SOS 64696 HAS SOPS 43174 HAS SOUS 20871 HAS SOUPS 5409 WITH SCORE 5473.696
AT ITER 5189 NEW BEST:: SOT 99363 SOS 64894 HAS SOPS 43240 HAS SOUS 20992 HAS SOUPS 5398 WITH SCORE 5462.894
AT ITER 5198 NEW BEST:: SOT 99370 SOS 64901 HAS SOPS 43247 HAS SOUS 20990 HAS SOUPS 5396 WITH SCORE 5460.901
AT ITER 5211 NEW BEST:: SOT 99386 SOS 64917 HAS SOPS 43239 HAS SOUS 21002 HAS SOUPS 5388 WITH SCORE 5452.917
AT ITER 5260 NEW BEST:: SOT 99403 SOS 64934 HAS SOPS 43242 HAS SOUS 20983 HAS SOUPS 5369 WITH SCORE 5433.934
AT ITER 5323 NEW BEST:: SOT 99410 SOS 64955 HAS SOPS 43249 HAS SOUS 20983 HAS SOUPS 5362 WITH SCORE 5426.955
AT ITER 5365 NEW BEST:: SOT 99410 SOS 64952 HAS SOPS 43249 HAS SOUS 20983 HAS SOUPS 5362 WITH SCORE 5426.952
AT ITER 5390 NEW BEST:: SOT 99442 SOS 64984 HAS SOPS 43281 HAS SOUS 20977 HAS SOUPS 5356 WITH SCORE 5420.984
AT ITER 5456 NEW BEST:: SOT 98972 SOS 64514 HAS SOPS 43301 HAS SOUS 20487 HAS SOUPS 5356 WITH SCORE 5420.514
AT ITER 5467 NEW BEST:: SOT 98945 SOS 64487 HAS SOPS 43274 HAS SOUS 20473 HAS SOUPS 5342 WITH SCORE 5406.487
AT ITER 5476 NEW BEST:: SOT 98945 SOS 64438 HAS SOPS 43274 HAS SOUS 20473 HAS SOUPS 5342 WITH SCORE 5406.438
AT ITER 5532 NEW BEST:: SOT 98958 SOS 64505 HAS SOPS 43287 HAS SOUS 20499 HAS SOUPS 5341 WITH SCORE 5405.505
AT ITER 5658 NEW BEST:: SOT 98958 SOS 64505 HAS SOPS 43287 HAS SOUS 20493 HAS SOUPS 5335 WITH SCORE 5399.505
AT ITER 5662 NEW BEST:: SOT 98960 SOS 64511 HAS SOPS 43287 HAS SOUS 20495 HAS SOUPS 5333 WITH SCORE 5397.511
AT ITER 5775 NEW BEST:: SOT 98930 SOS 64445 HAS SOPS 43257 HAS SOUS 20471 HAS SOUPS 5327 WITH SCORE 5391.445
AT ITER 5777 NEW BEST:: SOT 98930 SOS 64442 HAS SOPS 43257 HAS SOUS 20471 HAS SOUPS 5327 WITH SCORE 5391.442
AT ITER 5882 NEW BEST:: SOT 98930 SOS 64427 HAS SOPS 43257 HAS SOUS 20471 HAS SOUPS 5327 WITH SCORE 5391.427
AT ITER 5885 NEW BEST:: SOT 98930 SOS 64427 HAS SOPS 43250 HAS SOUS 20457 HAS SOUPS 5313 WITH SCORE 5377.427
AT ITER 5911 NEW BEST:: SOT 98927 SOS 64424 HAS SOPS 43247 HAS SOUS 20451 HAS SOUPS 5307 WITH SCORE 5371.424
AT ITER 5924 NEW BEST:: SOT 98927 SOS 64424 HAS SOPS 43247 HAS SOUS 20450 HAS SOUPS 5306 WITH SCORE 5370.424
AT ITER 5973 NEW BEST:: SOT 98927 SOS 64422 HAS SOPS 43247 HAS SOUS 20448 HAS SOUPS 5306 WITH SCORE 5370.422
AT ITER 5979 NEW BEST:: SOT 98918 SOS 64389 HAS SOPS 43238 HAS SOUS 20430 HAS SOUPS 5300 WITH SCORE 5364.389
AT ITER 5993 NEW BEST:: SOT 98903 SOS 64374 HAS SOPS 43223 HAS SOUS 20428 HAS SOUPS 5298 WITH SCORE 5362.374
AT ITER 6009 NEW BEST:: SOT 98773 SOS 64186 HAS SOPS 43151 HAS SOUS 20298 HAS SOUPS 5284 WITH SCORE 5348.186
AT ITER 6096 NEW BEST:: SOT 98761 SOS 64148 HAS SOPS 43139 HAS SOUS 20274 HAS SOUPS 5273 WITH SCORE 5337.148
AT ITER 6100 NEW BEST:: SOT 98758 SOS 64145 HAS SOPS 43139 HAS SOUS 20271 HAS SOUPS 5273 WITH SCORE 5337.145
AT ITER 6264 NEW BEST:: SOT 98660 SOS 64000 HAS SOPS 43088 HAS SOUS 20174 HAS SOUPS 5270 WITH SCORE 5334.0
AT ITER 6282 NEW BEST:: SOT 98666 SOS 64018 HAS SOPS 43094 HAS SOUS 20174 HAS SOUPS 5264 WITH SCORE 5328.018
AT ITER 6444 NEW BEST:: SOT 98666 SOS 64004 HAS SOPS 43094 HAS SOUS 20174 HAS SOUPS 5264 WITH SCORE 5328.004
AT ITER 6454 NEW BEST:: SOT 98660 SOS 63998 HAS SOPS 43088 HAS SOUS 20172 HAS SOUPS 5262 WITH SCORE 5325.998
AT ITER 6522 NEW BEST:: SOT 98656 SOS 63978 HAS SOPS 43084 HAS SOUS 20164 HAS SOUPS 5262 WITH SCORE 5325.978
AT ITER 6594 NEW BEST:: SOT 98656 SOS 63964 HAS SOPS 43084 HAS SOUS 20150 HAS SOUPS 5262 WITH SCORE 5325.964
AT ITER 6598 NEW BEST:: SOT 98810 SOS 64324 HAS SOPS 43186 HAS SOUS 20304 HAS SOUPS 5261 WITH SCORE 5325.324
AT ITER 6676 NEW BEST:: SOT 98819 SOS 64450 HAS SOPS 43195 HAS SOUS 20322 HAS SOUPS 5246 WITH SCORE 5310.45
AT ITER 6789 NEW BEST:: SOT 98819 SOS 64450 HAS SOPS 43180 HAS SOUS 20318 HAS SOUPS 5242 WITH SCORE 5306.45
AT ITER 6837 NEW BEST:: SOT 98819 SOS 64440 HAS SOPS 43180 HAS SOUS 20318 HAS SOUPS 5242 WITH SCORE 5306.44
AT ITER 6867 NEW BEST:: SOT 98792 SOS 64413 HAS SOPS 43153 HAS SOUS 20312 HAS SOUPS 5236 WITH SCORE 5300.413
AT ITER 6895 NEW BEST:: SOT 98858 SOS 63125 HAS SOPS 41791 HAS SOUS 20350 HAS SOUPS 5237 WITH SCORE 5300.125
AT ITER 6915 NEW BEST:: SOT 98837 SOS 63044 HAS SOPS 41770 HAS SOUS 20308 HAS SOUPS 5225 WITH SCORE 5288.044
AT ITER 7009 NEW BEST:: SOT 98837 SOS 63025 HAS SOPS 41770 HAS SOUS 20308 HAS SOUPS 5225 WITH SCORE 5288.025
AT ITER 7047 NEW BEST:: SOT 98836 SOS 63024 HAS SOPS 41769 HAS SOUS 20306 HAS SOUPS 5223 WITH SCORE 5286.024
AT ITER 7229 NEW BEST:: SOT 98842 SOS 63039 HAS SOPS 41763 HAS SOUS 20309 HAS SOUPS 5217 WITH SCORE 5280.039
AT ITER 7234 NEW BEST:: SOT 98842 SOS 63038 HAS SOPS 41763 HAS SOUS 20309 HAS SOUPS 5217 WITH SCORE 5280.038
AT ITER 7297 NEW BEST:: SOT 98848 SOS 63044 HAS SOPS 41769 HAS SOUS 20299 HAS SOUPS 5207 WITH SCORE 5270.044
AT ITER 7308 NEW BEST:: SOT 98848 SOS 63044 HAS SOPS 41769 HAS SOUS 20298 HAS SOUPS 5206 WITH SCORE 5269.044
AT ITER 7346 NEW BEST:: SOT 98853 SOS 63204 HAS SOPS 41774 HAS SOUS 20308 HAS SOUPS 5173 WITH SCORE 5236.204
AT ITER 7356 NEW BEST:: SOT 98853 SOS 63226 HAS SOPS 41763 HAS SOUS 20308 HAS SOUPS 5151 WITH SCORE 5214.226
AT ITER 7374 NEW BEST:: SOT 98853 SOS 63202 HAS SOPS 41763 HAS SOUS 20308 HAS SOUPS 5151 WITH SCORE 5214.202
AT ITER 7402 NEW BEST:: SOT 98853 SOS 63016 HAS SOPS 41763 HAS SOUS 20215 HAS SOUPS 5151 WITH SCORE 5214.016
AT ITER 7406 NEW BEST:: SOT 98853 SOS 62997 HAS SOPS 41763 HAS SOUS 20215 HAS SOUPS 5151 WITH SCORE 5213.997
AT ITER 7584 NEW BEST:: SOT 98853 SOS 62997 HAS SOPS 41762 HAS SOUS 20214 HAS SOUPS 5149 WITH SCORE 5211.997
AT ITER 7592 NEW BEST:: SOT 98853 SOS 62987 HAS SOPS 41762 HAS SOUS 20214 HAS SOUPS 5149 WITH SCORE 5211.987
AT ITER 7693 NEW BEST:: SOT 98873 SOS 63047 HAS SOPS 41762 HAS SOUS 20214 HAS SOUPS 5129 WITH SCORE 5192.047
AT ITER 7967 NEW BEST:: SOT 98871 SOS 63041 HAS SOPS 41760 HAS SOUS 20210 HAS SOUPS 5127 WITH SCORE 5190.041
AT ITER 8035 NEW BEST:: SOT 98888 SOS 63058 HAS SOPS 41775 HAS SOUS 20206 HAS SOUPS 5123 WITH SCORE 5186.058
AT ITER 8123 NEW BEST:: SOT 98849 SOS 62983 HAS SOPS 41746 HAS SOUS 20164 HAS SOUPS 5107 WITH SCORE 5169.983
AT ITER 8142 NEW BEST:: SOT 98843 SOS 62971 HAS SOPS 41740 HAS SOUS 20158 HAS SOUPS 5107 WITH SCORE 5169.971
AT ITER 8155 NEW BEST:: SOT 98836 SOS 62946 HAS SOPS 41733 HAS SOUS 20144 HAS SOUPS 5102 WITH SCORE 5164.946
AT ITER 8161 NEW BEST:: SOT 98852 SOS 62970 HAS SOPS 41729 HAS SOUS 20162 HAS SOUPS 5098 WITH SCORE 5160.97
AT ITER 8183 NEW BEST:: SOT 98852 SOS 62957 HAS SOPS 41729 HAS SOUS 20162 HAS SOUPS 5098 WITH SCORE 5160.957
AT ITER 8240 NEW BEST:: SOT 98852 SOS 62957 HAS SOPS 41729 HAS SOUS 20153 HAS SOUPS 5089 WITH SCORE 5151.957
AT ITER 8413 NEW BEST:: SOT 98852 SOS 62956 HAS SOPS 41729 HAS SOUS 20153 HAS SOUPS 5089 WITH SCORE 5151.956
AT ITER 8439 NEW BEST:: SOT 98852 SOS 62956 HAS SOPS 41729 HAS SOUS 20152 HAS SOUPS 5088 WITH SCORE 5150.956
AT ITER 8449 NEW BEST:: SOT 98852 SOS 62948 HAS SOPS 41729 HAS SOUS 20152 HAS SOUPS 5088 WITH SCORE 5150.948
AT ITER 8479 NEW BEST:: SOT 98824 SOS 62899 HAS SOPS 41701 HAS SOUS 20108 HAS SOUPS 5065 WITH SCORE 5127.899
AT ITER 8779 NEW BEST:: SOT 98816 SOS 62891 HAS SOPS 41693 HAS SOUS 20092 HAS SOUPS 5049 WITH SCORE 5111.891
AT ITER 8787 NEW BEST:: SOT 98803 SOS 62850 HAS SOPS 41680 HAS SOUS 20066 HAS SOUPS 5037 WITH SCORE 5099.85
AT ITER 8803 NEW BEST:: SOT 98811 SOS 62872 HAS SOPS 41688 HAS SOUS 20068 HAS SOUPS 5032 WITH SCORE 5094.872
AT ITER 8822 NEW BEST:: SOT 98811 SOS 62834 HAS SOPS 41688 HAS SOUS 20068 HAS SOUPS 5032 WITH SCORE 5094.834
AT ITER 8861 NEW BEST:: SOT 98807 SOS 62830 HAS SOPS 41684 HAS SOUS 20068 HAS SOUPS 5032 WITH SCORE 5094.83
AT ITER 8921 NEW BEST:: SOT 98804 SOS 62827 HAS SOPS 41681 HAS SOUS 20062 HAS SOUPS 5026 WITH SCORE 5088.827
AT ITER 9094 NEW BEST:: SOT 98811 SOS 62848 HAS SOPS 41681 HAS SOUS 20069 HAS SOUPS 5019 WITH SCORE 5081.848
AT ITER 9182 NEW BEST:: SOT 98805 SOS 62842 HAS SOPS 41675 HAS SOUS 20069 HAS SOUPS 5019 WITH SCORE 5081.842
AT ITER 9301 NEW BEST:: SOT 98804 SOS 62841 HAS SOPS 41674 HAS SOUS 20067 HAS SOUPS 5017 WITH SCORE 5079.841
AT ITER 9348 NEW BEST:: SOT 98804 SOS 62541 HAS SOPS 41366 HAS SOUS 20059 HAS SOUPS 5005 WITH SCORE 5067.541
AT ITER 9375 NEW BEST:: SOT 98804 SOS 62528 HAS SOPS 41366 HAS SOUS 20059 HAS SOUPS 5005 WITH SCORE 5067.528
AT ITER 9624 NEW BEST:: SOT 98790 SOS 62500 HAS SOPS 41352 HAS SOUS 20045 HAS SOUPS 4998 WITH SCORE 5060.5
AT ITER 9761 NEW BEST:: SOT 98790 SOS 62488 HAS SOPS 41352 HAS SOUS 20039 HAS SOUPS 4998 WITH SCORE 5060.488
AT ITER 9874 NEW BEST:: SOT 98788 SOS 62486 HAS SOPS 41350 HAS SOUS 20039 HAS SOUPS 4998 WITH SCORE 5060.486
AT ITER 9907 NEW BEST:: SOT 98803 SOS 62501 HAS SOPS 41347 HAS SOUS 20033 HAS SOUPS 4992 WITH SCORE 5054.501
AT ITER 9909 NEW BEST:: SOT 98812 SOS 62510 HAS SOPS 41356 HAS SOUS 20027 HAS SOUPS 4986 WITH SCORE 5048.51
AT ITER 9926 NEW BEST:: SOT 98810 SOS 62508 HAS SOPS 41354 HAS SOUS 20023 HAS SOUPS 4982 WITH SCORE 5044.508
AT ITER 9987 NEW BEST:: SOT 98810 SOS 62050 HAS SOPS 40904 HAS SOUS 20010 HAS SOUPS 4977 WITH SCORE 5039.05
STATE_SPACE STATES 4471223 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 158 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 19756224 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678472813511

--------------------
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="AirplaneLD-PT-0050"
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 AirplaneLD-PT-0050, 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 r003-oct2-167813590600264"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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