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-167813591200688.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 AutonomousCar-PT-10b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813591200688
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.0M
-rw-r--r-- 1 mcc users 6.8K Feb 25 12:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 25 12:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 25 12:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 25 12:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 12:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 117K Feb 25 12:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 25 12:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 25 12:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:34 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 1.6M 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 1678476486095

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=AutonomousCar-PT-10b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutonomousCar (PT), instance 10b
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: 425 places, 2252 transitions, 29816 arcs.
AT ITER 0 NEW BEST:: SOT 755273 SOS 244785 HAS SOPS 244785 HAS SOUS 155545 HAS SOUPS 155545 WITH SCORE 155789.785
AT ITER 3 NEW BEST:: SOT 755232 SOS 244620 HAS SOPS 244620 HAS SOUS 155504 HAS SOUPS 155504 WITH SCORE 155748.62
AT ITER 5 NEW BEST:: SOT 755222 SOS 244600 HAS SOPS 244600 HAS SOUS 155489 HAS SOUPS 155489 WITH SCORE 155733.6
AT ITER 19 NEW BEST:: SOT 755203 SOS 244581 HAS SOPS 244581 HAS SOUS 155451 HAS SOUPS 155451 WITH SCORE 155695.581
AT ITER 20 NEW BEST:: SOT 755203 SOS 244552 HAS SOPS 244552 HAS SOUS 155422 HAS SOUPS 155422 WITH SCORE 155666.552
AT ITER 21 NEW BEST:: SOT 754178 SOS 243522 HAS SOPS 243522 HAS SOUS 154568 HAS SOUPS 154568 WITH SCORE 154811.522
AT ITER 24 NEW BEST:: SOT 754160 SOS 243486 HAS SOPS 243486 HAS SOUS 154559 HAS SOUPS 154559 WITH SCORE 154802.486
AT ITER 37 NEW BEST:: SOT 754080 SOS 243366 HAS SOPS 243366 HAS SOUS 154518 HAS SOUPS 154518 WITH SCORE 154761.366
AT ITER 41 NEW BEST:: SOT 754039 SOS 243209 HAS SOPS 243209 HAS SOUS 154477 HAS SOUPS 154477 WITH SCORE 154720.209
AT ITER 46 NEW BEST:: SOT 753997 SOS 243146 HAS SOPS 243146 HAS SOUS 154414 HAS SOUPS 154414 WITH SCORE 154657.146
AT ITER 52 NEW BEST:: SOT 753997 SOS 243166 HAS SOPS 243166 HAS SOUS 154385 HAS SOUPS 154385 WITH SCORE 154628.166
AT ITER 58 NEW BEST:: SOT 753979 SOS 243148 HAS SOPS 243148 HAS SOUS 154347 HAS SOUPS 154347 WITH SCORE 154590.148
AT ITER 60 NEW BEST:: SOT 753867 SOS 243036 HAS SOPS 243036 HAS SOUS 154235 HAS SOUPS 154235 WITH SCORE 154478.036
AT ITER 62 NEW BEST:: SOT 753867 SOS 243036 HAS SOPS 243036 HAS SOUS 154215 HAS SOUPS 154215 WITH SCORE 154458.036
AT ITER 76 NEW BEST:: SOT 753797 SOS 243001 HAS SOPS 243001 HAS SOUS 154058 HAS SOUPS 154058 WITH SCORE 154301.001
AT ITER 79 NEW BEST:: SOT 753797 SOS 242976 HAS SOPS 242976 HAS SOUS 154058 HAS SOUPS 154058 WITH SCORE 154300.976
AT ITER 91 NEW BEST:: SOT 753776 SOS 242934 HAS SOPS 242934 HAS SOUS 154016 HAS SOUPS 154016 WITH SCORE 154258.934
AT ITER 148 NEW BEST:: SOT 753720 SOS 242931 HAS SOPS 242931 HAS SOUS 154013 HAS SOUPS 154013 WITH SCORE 154255.931
AT ITER 162 NEW BEST:: SOT 753702 SOS 242895 HAS SOPS 242895 HAS SOUS 153994 HAS SOUPS 153994 WITH SCORE 154236.895
AT ITER 168 NEW BEST:: SOT 753645 SOS 255624 HAS SOPS 255624 HAS SOUS 153948 HAS SOUPS 153948 WITH SCORE 154203.624
AT ITER 210 NEW BEST:: SOT 753906 SOS 255948 HAS SOPS 255948 HAS SOUS 153180 HAS SOUPS 153180 WITH SCORE 153435.948
AT ITER 221 NEW BEST:: SOT 753906 SOS 255948 HAS SOPS 255948 HAS SOUS 153176 HAS SOUPS 153176 WITH SCORE 153431.948
AT ITER 225 NEW BEST:: SOT 753901 SOS 255943 HAS SOPS 255943 HAS SOUS 153138 HAS SOUPS 153138 WITH SCORE 153393.943
AT ITER 247 NEW BEST:: SOT 753833 SOS 255875 HAS SOPS 255875 HAS SOUS 152986 HAS SOUPS 152986 WITH SCORE 153241.875
AT ITER 280 NEW BEST:: SOT 753833 SOS 255874 HAS SOPS 255874 HAS SOUS 152961 HAS SOUPS 152961 WITH SCORE 153216.874
AT ITER 298 NEW BEST:: SOT 753814 SOS 255836 HAS SOPS 255836 HAS SOUS 152923 HAS SOUPS 152923 WITH SCORE 153178.836
AT ITER 299 NEW BEST:: SOT 753747 SOS 255772 HAS SOPS 255772 HAS SOUS 152837 HAS SOUPS 152837 WITH SCORE 153092.772
AT ITER 327 NEW BEST:: SOT 752973 SOS 254931 HAS SOPS 254931 HAS SOUS 152430 HAS SOUPS 152430 WITH SCORE 152684.931
AT ITER 358 NEW BEST:: SOT 752973 SOS 254931 HAS SOPS 254931 HAS SOUS 152396 HAS SOUPS 152396 WITH SCORE 152650.931
AT ITER 360 NEW BEST:: SOT 752925 SOS 254851 HAS SOPS 254851 HAS SOUS 152395 HAS SOUPS 152395 WITH SCORE 152649.851
AT ITER 363 NEW BEST:: SOT 753094 SOS 255649 HAS SOPS 255649 HAS SOUS 151848 HAS SOUPS 151848 WITH SCORE 152103.649
AT ITER 374 NEW BEST:: SOT 753095 SOS 255630 HAS SOPS 255630 HAS SOUS 151829 HAS SOUPS 151829 WITH SCORE 152084.63
AT ITER 375 NEW BEST:: SOT 753004 SOS 255508 HAS SOPS 255508 HAS SOUS 151697 HAS SOUPS 151697 WITH SCORE 151952.508
AT ITER 403 NEW BEST:: SOT 752687 SOS 255194 HAS SOPS 255194 HAS SOUS 151380 HAS SOUPS 151380 WITH SCORE 151635.194
AT ITER 431 NEW BEST:: SOT 751765 SOS 254272 HAS SOPS 254272 HAS SOUS 150668 HAS SOUPS 150668 WITH SCORE 150922.272
AT ITER 432 NEW BEST:: SOT 751765 SOS 254272 HAS SOPS 254272 HAS SOUS 150636 HAS SOUPS 150636 WITH SCORE 150890.272
AT ITER 458 NEW BEST:: SOT 751747 SOS 254254 HAS SOPS 254254 HAS SOUS 150598 HAS SOUPS 150598 WITH SCORE 150852.254
AT ITER 485 NEW BEST:: SOT 751022 SOS 253524 HAS SOPS 253524 HAS SOUS 150082 HAS SOUPS 150082 WITH SCORE 150335.524
AT ITER 505 NEW BEST:: SOT 751022 SOS 259070 HAS SOPS 259070 HAS SOUS 150052 HAS SOUPS 150052 WITH SCORE 150311.07
AT ITER 515 NEW BEST:: SOT 751022 SOS 259048 HAS SOPS 259048 HAS SOUS 150030 HAS SOUPS 150030 WITH SCORE 150289.048
AT ITER 564 NEW BEST:: SOT 750966 SOS 259027 HAS SOPS 259027 HAS SOUS 149982 HAS SOUPS 149982 WITH SCORE 150241.027
AT ITER 572 NEW BEST:: SOT 750929 SOS 258953 HAS SOPS 258953 HAS SOUS 149908 HAS SOUPS 149908 WITH SCORE 150166.953
AT ITER 579 NEW BEST:: SOT 750939 SOS 258972 HAS SOPS 258972 HAS SOUS 149849 HAS SOUPS 149849 WITH SCORE 150107.972
AT ITER 583 NEW BEST:: SOT 750900 SOS 258932 HAS SOPS 258932 HAS SOUS 149809 HAS SOUPS 149809 WITH SCORE 150067.932
AT ITER 585 NEW BEST:: SOT 750828 SOS 258860 HAS SOPS 258860 HAS SOUS 149657 HAS SOUPS 149657 WITH SCORE 149915.86
AT ITER 598 NEW BEST:: SOT 750864 SOS 258368 HAS SOPS 258368 HAS SOUS 149104 HAS SOUPS 149104 WITH SCORE 149362.368
AT ITER 609 NEW BEST:: SOT 750795 SOS 258344 HAS SOPS 258344 HAS SOUS 149062 HAS SOUPS 149062 WITH SCORE 149320.344
AT ITER 612 NEW BEST:: SOT 750900 SOS 258414 HAS SOPS 258414 HAS SOUS 142847 HAS SOUPS 142847 WITH SCORE 143105.414
AT ITER 625 NEW BEST:: SOT 750882 SOS 258384 HAS SOPS 258384 HAS SOUS 142785 HAS SOUPS 142785 WITH SCORE 143043.384
AT ITER 630 NEW BEST:: SOT 750855 SOS 258357 HAS SOPS 258357 HAS SOUS 142758 HAS SOUPS 142758 WITH SCORE 143016.357
AT ITER 638 NEW BEST:: SOT 750353 SOS 257707 HAS SOPS 257707 HAS SOUS 142697 HAS SOUPS 142697 WITH SCORE 142954.707
AT ITER 644 NEW BEST:: SOT 749371 SOS 257587 HAS SOPS 257587 HAS SOUS 142248 HAS SOUPS 142248 WITH SCORE 142505.587
AT ITER 652 NEW BEST:: SOT 749268 SOS 257381 HAS SOPS 257381 HAS SOUS 142145 HAS SOUPS 142145 WITH SCORE 142402.381
AT ITER 654 NEW BEST:: SOT 749264 SOS 257377 HAS SOPS 257377 HAS SOUS 142141 HAS SOUPS 142141 WITH SCORE 142398.377
AT ITER 667 NEW BEST:: SOT 749268 SOS 257381 HAS SOPS 257381 HAS SOUS 142103 HAS SOUPS 142103 WITH SCORE 142360.381
AT ITER 675 NEW BEST:: SOT 749320 SOS 257485 HAS SOPS 257485 HAS SOUS 142102 HAS SOUPS 142102 WITH SCORE 142359.485
AT ITER 688 NEW BEST:: SOT 749290 SOS 257395 HAS SOPS 257395 HAS SOUS 142042 HAS SOUPS 142042 WITH SCORE 142299.395
AT ITER 698 NEW BEST:: SOT 749290 SOS 257435 HAS SOPS 257435 HAS SOUS 142035 HAS SOUPS 142035 WITH SCORE 142292.435
AT ITER 699 NEW BEST:: SOT 749246 SOS 257413 HAS SOPS 257413 HAS SOUS 141991 HAS SOUPS 141991 WITH SCORE 142248.413
AT ITER 710 NEW BEST:: SOT 749206 SOS 257353 HAS SOPS 257353 HAS SOUS 141931 HAS SOUPS 141931 WITH SCORE 142188.353
AT ITER 741 NEW BEST:: SOT 749199 SOS 257339 HAS SOPS 257339 HAS SOUS 141924 HAS SOUPS 141924 WITH SCORE 142181.339
AT ITER 754 NEW BEST:: SOT 748545 SOS 256632 HAS SOPS 256632 HAS SOUS 141274 HAS SOUPS 141274 WITH SCORE 141530.632
AT ITER 761 NEW BEST:: SOT 748609 SOS 256598 HAS SOPS 256598 HAS SOUS 137618 HAS SOUPS 137618 WITH SCORE 137874.598
AT ITER 764 NEW BEST:: SOT 748608 SOS 256596 HAS SOPS 256596 HAS SOUS 137616 HAS SOUPS 137616 WITH SCORE 137872.596
AT ITER 785 NEW BEST:: SOT 748009 SOS 256019 HAS SOPS 256019 HAS SOUS 137008 HAS SOUPS 137008 WITH SCORE 137264.019
AT ITER 789 NEW BEST:: SOT 746534 SOS 275407 HAS SOPS 275407 HAS SOUS 136355 HAS SOUPS 136355 WITH SCORE 136630.407
AT ITER 800 NEW BEST:: SOT 746524 SOS 275387 HAS SOPS 275387 HAS SOUS 136318 HAS SOUPS 136318 WITH SCORE 136593.387
AT ITER 821 NEW BEST:: SOT 746518 SOS 275375 HAS SOPS 275375 HAS SOUS 136312 HAS SOUPS 136312 WITH SCORE 136587.375
AT ITER 829 NEW BEST:: SOT 746466 SOS 275297 HAS SOPS 275297 HAS SOUS 136234 HAS SOUPS 136234 WITH SCORE 136509.297
AT ITER 830 NEW BEST:: SOT 746392 SOS 275186 HAS SOPS 275186 HAS SOUS 136123 HAS SOUPS 136123 WITH SCORE 136398.186
AT ITER 843 NEW BEST:: SOT 746345 SOS 275092 HAS SOPS 275092 HAS SOUS 135881 HAS SOUPS 135881 WITH SCORE 136156.092
AT ITER 862 NEW BEST:: SOT 746304 SOS 274942 HAS SOPS 274942 HAS SOUS 126948 HAS SOUPS 126948 WITH SCORE 127222.942
AT ITER 872 NEW BEST:: SOT 746275 SOS 274884 HAS SOPS 274884 HAS SOUS 126890 HAS SOUPS 126890 WITH SCORE 127164.884
AT ITER 873 NEW BEST:: SOT 746261 SOS 274856 HAS SOPS 274856 HAS SOUS 126876 HAS SOUPS 126876 WITH SCORE 127150.856
AT ITER 874 NEW BEST:: SOT 746208 SOS 274805 HAS SOPS 274805 HAS SOUS 126824 HAS SOUPS 126824 WITH SCORE 127098.805
AT ITER 881 NEW BEST:: SOT 746177 SOS 274698 HAS SOPS 274698 HAS SOUS 126731 HAS SOUPS 126731 WITH SCORE 127005.698
AT ITER 897 NEW BEST:: SOT 746177 SOS 274703 HAS SOPS 274703 HAS SOUS 126726 HAS SOUPS 126726 WITH SCORE 127000.703
AT ITER 902 NEW BEST:: SOT 746114 SOS 263457 HAS SOPS 263457 HAS SOUS 126600 HAS SOUPS 126600 WITH SCORE 126863.457
AT ITER 925 NEW BEST:: SOT 746105 SOS 263448 HAS SOPS 263448 HAS SOUS 126591 HAS SOUPS 126591 WITH SCORE 126854.448
AT ITER 935 NEW BEST:: SOT 746102 SOS 263442 HAS SOPS 263442 HAS SOUS 126585 HAS SOUPS 126585 WITH SCORE 126848.442
AT ITER 950 NEW BEST:: SOT 746102 SOS 263429 HAS SOPS 263429 HAS SOUS 126585 HAS SOUPS 126585 WITH SCORE 126848.429
AT ITER 951 NEW BEST:: SOT 746061 SOS 263347 HAS SOPS 263347 HAS SOUS 126521 HAS SOUPS 126521 WITH SCORE 126784.347
AT ITER 973 NEW BEST:: SOT 746061 SOS 263337 HAS SOPS 263337 HAS SOUS 126521 HAS SOUPS 126521 WITH SCORE 126784.337
AT ITER 974 NEW BEST:: SOT 746061 SOS 263337 HAS SOPS 263337 HAS SOUS 126487 HAS SOUPS 126487 WITH SCORE 126750.337
AT ITER 985 NEW BEST:: SOT 746136 SOS 263329 HAS SOPS 263329 HAS SOUS 126099 HAS SOUPS 126099 WITH SCORE 126362.329
AT ITER 986 NEW BEST:: SOT 746125 SOS 263307 HAS SOPS 263307 HAS SOUS 126077 HAS SOUPS 126077 WITH SCORE 126340.307
AT ITER 988 NEW BEST:: SOT 746119 SOS 263295 HAS SOPS 263295 HAS SOUS 126065 HAS SOUPS 126065 WITH SCORE 126328.295
AT ITER 1020 NEW BEST:: SOT 746102 SOS 263261 HAS SOPS 263261 HAS SOUS 126055 HAS SOUPS 126055 WITH SCORE 126318.261
AT ITER 1032 NEW BEST:: SOT 746061 SOS 263112 HAS SOPS 263112 HAS SOUS 126014 HAS SOUPS 126014 WITH SCORE 126277.112
AT ITER 1046 NEW BEST:: SOT 746073 SOS 263100 HAS SOPS 263100 HAS SOUS 111946 HAS SOUPS 111946 WITH SCORE 112209.1
AT ITER 1048 NEW BEST:: SOT 746072 SOS 263099 HAS SOPS 263099 HAS SOUS 111945 HAS SOUPS 111945 WITH SCORE 112208.099
AT ITER 1055 NEW BEST:: SOT 745891 SOS 253785 HAS SOPS 253785 HAS SOUS 111599 HAS SOUPS 111599 WITH SCORE 111852.785
AT ITER 1059 NEW BEST:: SOT 745848 SOS 253699 HAS SOPS 253699 HAS SOUS 111513 HAS SOUPS 111513 WITH SCORE 111766.699
AT ITER 1065 NEW BEST:: SOT 745824 SOS 253651 HAS SOPS 253651 HAS SOUS 111465 HAS SOUPS 111465 WITH SCORE 111718.651
AT ITER 1067 NEW BEST:: SOT 745821 SOS 253645 HAS SOPS 253645 HAS SOUS 111441 HAS SOUPS 111441 WITH SCORE 111694.645
AT ITER 1079 NEW BEST:: SOT 745784 SOS 253571 HAS SOPS 253571 HAS SOUS 111367 HAS SOUPS 111367 WITH SCORE 111620.571
AT ITER 1084 NEW BEST:: SOT 745652 SOS 253439 HAS SOPS 253439 HAS SOUS 111235 HAS SOUPS 111235 WITH SCORE 111488.439
AT ITER 1089 NEW BEST:: SOT 745638 SOS 253411 HAS SOPS 253411 HAS SOUS 111207 HAS SOUPS 111207 WITH SCORE 111460.411
AT ITER 1101 NEW BEST:: SOT 745638 SOS 253411 HAS SOPS 253411 HAS SOUS 111119 HAS SOUPS 111119 WITH SCORE 111372.411
AT ITER 1109 NEW BEST:: SOT 745633 SOS 253401 HAS SOPS 253401 HAS SOUS 111040 HAS SOUPS 111040 WITH SCORE 111293.401
AT ITER 1112 NEW BEST:: SOT 745632 SOS 253339 HAS SOPS 253339 HAS SOUS 111038 HAS SOUPS 111038 WITH SCORE 111291.339
AT ITER 1115 NEW BEST:: SOT 745639 SOS 253353 HAS SOPS 253353 HAS SOUS 110932 HAS SOUPS 110932 WITH SCORE 111185.353
AT ITER 1117 NEW BEST:: SOT 745620 SOS 253339 HAS SOPS 253339 HAS SOUS 110918 HAS SOUPS 110918 WITH SCORE 111171.339
AT ITER 1125 NEW BEST:: SOT 745577 SOS 253339 HAS SOPS 253339 HAS SOUS 110875 HAS SOUPS 110875 WITH SCORE 111128.339
AT ITER 1130 NEW BEST:: SOT 745576 SOS 253337 HAS SOPS 253337 HAS SOUS 110873 HAS SOUPS 110873 WITH SCORE 111126.337
AT ITER 1142 NEW BEST:: SOT 745533 SOS 253167 HAS SOPS 253167 HAS SOUS 110848 HAS SOUPS 110848 WITH SCORE 111101.167
AT ITER 1157 NEW BEST:: SOT 745533 SOS 253165 HAS SOPS 253165 HAS SOUS 110846 HAS SOUPS 110846 WITH SCORE 111099.165
AT ITER 1170 NEW BEST:: SOT 745414 SOS 276323 HAS SOPS 276323 HAS SOUS 110778 HAS SOUPS 110778 WITH SCORE 111054.323
AT ITER 1181 NEW BEST:: SOT 745414 SOS 276323 HAS SOPS 276323 HAS SOUS 110769 HAS SOUPS 110769 WITH SCORE 111045.323
AT ITER 1199 NEW BEST:: SOT 745378 SOS 276251 HAS SOPS 276251 HAS SOUS 110697 HAS SOUPS 110697 WITH SCORE 110973.251
AT ITER 1211 NEW BEST:: SOT 745318 SOS 276191 HAS SOPS 276191 HAS SOUS 110577 HAS SOUPS 110577 WITH SCORE 110853.191
AT ITER 1233 NEW BEST:: SOT 745316 SOS 276191 HAS SOPS 276191 HAS SOUS 110575 HAS SOUPS 110575 WITH SCORE 110851.191
AT ITER 1239 NEW BEST:: SOT 745315 SOS 276154 HAS SOPS 276154 HAS SOUS 110539 HAS SOUPS 110539 WITH SCORE 110815.154
AT ITER 1252 NEW BEST:: SOT 745318 SOS 276140 HAS SOPS 276140 HAS SOUS 108863 HAS SOUPS 108863 WITH SCORE 109139.14
AT ITER 1265 NEW BEST:: SOT 745266 SOS 276092 HAS SOPS 276092 HAS SOUS 108815 HAS SOUPS 108815 WITH SCORE 109091.092
AT ITER 1280 NEW BEST:: SOT 745152 SOS 276118 HAS SOPS 276118 HAS SOUS 102645 HAS SOUPS 102645 WITH SCORE 102921.118
AT ITER 1289 NEW BEST:: SOT 745166 SOS 276094 HAS SOPS 276094 HAS SOUS 102576 HAS SOUPS 102576 WITH SCORE 102852.094
AT ITER 1291 NEW BEST:: SOT 745152 SOS 276066 HAS SOPS 276066 HAS SOUS 102557 HAS SOUPS 102557 WITH SCORE 102833.066
AT ITER 1302 NEW BEST:: SOT 745152 SOS 276104 HAS SOPS 276104 HAS SOUS 102498 HAS SOUPS 102498 WITH SCORE 102774.104
AT ITER 1304 NEW BEST:: SOT 745143 SOS 276076 HAS SOPS 276076 HAS SOUS 102490 HAS SOUPS 102490 WITH SCORE 102766.076
AT ITER 1305 NEW BEST:: SOT 744611 SOS 275495 HAS SOPS 275495 HAS SOUS 101916 HAS SOUPS 101916 WITH SCORE 102191.495
AT ITER 1308 NEW BEST:: SOT 744611 SOS 275495 HAS SOPS 275495 HAS SOUS 101908 HAS SOUPS 101908 WITH SCORE 102183.495
AT ITER 1312 NEW BEST:: SOT 744607 SOS 275478 HAS SOPS 275478 HAS SOUS 101900 HAS SOUPS 101900 WITH SCORE 102175.478
AT ITER 1334 NEW BEST:: SOT 744398 SOS 275269 HAS SOPS 275269 HAS SOUS 101460 HAS SOUPS 101460 WITH SCORE 101735.269
AT ITER 1354 NEW BEST:: SOT 744386 SOS 275245 HAS SOPS 275245 HAS SOUS 101436 HAS SOUPS 101436 WITH SCORE 101711.245
AT ITER 1362 NEW BEST:: SOT 744330 SOS 274833 HAS SOPS 274833 HAS SOUS 101294 HAS SOUPS 101294 WITH SCORE 101568.833
AT ITER 1373 NEW BEST:: SOT 744314 SOS 274801 HAS SOPS 274801 HAS SOUS 101235 HAS SOUPS 101235 WITH SCORE 101509.801
AT ITER 1423 NEW BEST:: SOT 744291 SOS 274801 HAS SOPS 274801 HAS SOUS 101212 HAS SOUPS 101212 WITH SCORE 101486.801
AT ITER 1440 NEW BEST:: SOT 744291 SOS 274785 HAS SOPS 274785 HAS SOUS 101212 HAS SOUPS 101212 WITH SCORE 101486.785
AT ITER 1445 NEW BEST:: SOT 744293 SOS 274789 HAS SOPS 274789 HAS SOUS 101146 HAS SOUPS 101146 WITH SCORE 101420.789
AT ITER 1449 NEW BEST:: SOT 744301 SOS 274795 HAS SOPS 274795 HAS SOUS 101138 HAS SOUPS 101138 WITH SCORE 101412.795
AT ITER 1491 NEW BEST:: SOT 744286 SOS 274775 HAS SOPS 274775 HAS SOUS 101068 HAS SOUPS 101068 WITH SCORE 101342.775
AT ITER 1519 NEW BEST:: SOT 744286 SOS 274167 HAS SOPS 274167 HAS SOUS 101068 HAS SOUPS 101068 WITH SCORE 101342.167
AT ITER 1526 NEW BEST:: SOT 744280 SOS 274170 HAS SOPS 274170 HAS SOUS 101056 HAS SOUPS 101056 WITH SCORE 101330.17
AT ITER 1535 NEW BEST:: SOT 744232 SOS 274026 HAS SOPS 274026 HAS SOUS 101008 HAS SOUPS 101008 WITH SCORE 101282.026
AT ITER 1544 NEW BEST:: SOT 744224 SOS 274010 HAS SOPS 274010 HAS SOUS 100988 HAS SOUPS 100988 WITH SCORE 101262.01
AT ITER 1565 NEW BEST:: SOT 744176 SOS 273962 HAS SOPS 273962 HAS SOUS 100951 HAS SOUPS 100951 WITH SCORE 101224.962
AT ITER 1580 NEW BEST:: SOT 744175 SOS 273961 HAS SOPS 273961 HAS SOUS 100950 HAS SOUPS 100950 WITH SCORE 101223.961
AT ITER 1594 NEW BEST:: SOT 744166 SOS 273934 HAS SOPS 273934 HAS SOUS 100923 HAS SOUPS 100923 WITH SCORE 101196.934
AT ITER 1625 NEW BEST:: SOT 743691 SOS 273459 HAS SOPS 273459 HAS SOUS 100448 HAS SOUPS 100448 WITH SCORE 100721.459
AT ITER 1632 NEW BEST:: SOT 743502 SOS 273270 HAS SOPS 273270 HAS SOUS 100279 HAS SOUPS 100279 WITH SCORE 100552.27
AT ITER 1634 NEW BEST:: SOT 743502 SOS 273264 HAS SOPS 273264 HAS SOUS 97207 HAS SOUPS 97207 WITH SCORE 97480.264
AT ITER 1637 NEW BEST:: SOT 743460 SOS 273180 HAS SOPS 273180 HAS SOUS 97123 HAS SOUPS 97123 WITH SCORE 97396.18
AT ITER 1651 NEW BEST:: SOT 743433 SOS 273153 HAS SOPS 273153 HAS SOUS 97033 HAS SOUPS 97033 WITH SCORE 97306.153
AT ITER 1655 NEW BEST:: SOT 743415 SOS 273098 HAS SOPS 273098 HAS SOUS 96996 HAS SOUPS 96996 WITH SCORE 97269.098
AT ITER 1656 NEW BEST:: SOT 743415 SOS 273098 HAS SOPS 273098 HAS SOUS 96987 HAS SOUPS 96987 WITH SCORE 97260.098
AT ITER 1663 NEW BEST:: SOT 743284 SOS 272996 HAS SOPS 272996 HAS SOUS 96941 HAS SOUPS 96941 WITH SCORE 97213.996
AT ITER 1697 NEW BEST:: SOT 743278 SOS 272984 HAS SOPS 272984 HAS SOUS 96929 HAS SOUPS 96929 WITH SCORE 97201.984
AT ITER 1699 NEW BEST:: SOT 743274 SOS 272980 HAS SOPS 272980 HAS SOUS 96925 HAS SOUPS 96925 WITH SCORE 97197.98
AT ITER 1716 NEW BEST:: SOT 743260 SOS 272981 HAS SOPS 272981 HAS SOUS 96923 HAS SOUPS 96923 WITH SCORE 97195.981
AT ITER 1770 NEW BEST:: SOT 743254 SOS 272994 HAS SOPS 272994 HAS SOUS 96917 HAS SOUPS 96917 WITH SCORE 97189.994
AT ITER 1778 NEW BEST:: SOT 743265 SOS 273016 HAS SOPS 273016 HAS SOUS 96894 HAS SOUPS 96894 WITH SCORE 97167.016
AT ITER 1779 NEW BEST:: SOT 742901 SOS 272609 HAS SOPS 272609 HAS SOUS 96487 HAS SOUPS 96487 WITH SCORE 96759.609
AT ITER 1780 NEW BEST:: SOT 747047 SOS 276801 HAS SOPS 276801 HAS SOUS 87206 HAS SOUPS 87206 WITH SCORE 87482.801
AT ITER 1818 NEW BEST:: SOT 747041 SOS 276789 HAS SOPS 276789 HAS SOUS 87188 HAS SOUPS 87188 WITH SCORE 87464.789
AT ITER 1838 NEW BEST:: SOT 747041 SOS 279388 HAS SOPS 279388 HAS SOUS 87167 HAS SOUPS 87167 WITH SCORE 87446.388
AT ITER 1853 NEW BEST:: SOT 747021 SOS 279368 HAS SOPS 279368 HAS SOUS 87127 HAS SOUPS 87127 WITH SCORE 87406.368
AT ITER 1871 NEW BEST:: SOT 747018 SOS 279461 HAS SOPS 279461 HAS SOUS 87056 HAS SOUPS 87056 WITH SCORE 87335.461
AT ITER 1896 NEW BEST:: SOT 746942 SOS 279309 HAS SOPS 279309 HAS SOUS 86980 HAS SOUPS 86980 WITH SCORE 87259.309
AT ITER 1905 NEW BEST:: SOT 746905 SOS 279299 HAS SOPS 279299 HAS SOUS 86956 HAS SOUPS 86956 WITH SCORE 87235.299
AT ITER 1934 NEW BEST:: SOT 746111 SOS 278505 HAS SOPS 278505 HAS SOUS 86541 HAS SOUPS 86541 WITH SCORE 86819.505
AT ITER 1964 NEW BEST:: SOT 746097 SOS 278504 HAS SOPS 278504 HAS SOUS 86513 HAS SOUPS 86513 WITH SCORE 86791.504
AT ITER 1977 NEW BEST:: SOT 746090 SOS 278490 HAS SOPS 278490 HAS SOUS 86499 HAS SOUPS 86499 WITH SCORE 86777.49
AT ITER 1983 NEW BEST:: SOT 746090 SOS 277816 HAS SOPS 277816 HAS SOUS 86245 HAS SOUPS 86245 WITH SCORE 86522.816
AT ITER 1993 NEW BEST:: SOT 746140 SOS 277744 HAS SOPS 277744 HAS SOUS 86109 HAS SOUPS 86109 WITH SCORE 86386.744
AT ITER 2006 NEW BEST:: SOT 746137 SOS 277684 HAS SOPS 277684 HAS SOUS 86106 HAS SOUPS 86106 WITH SCORE 86383.684
AT ITER 2012 NEW BEST:: SOT 746190 SOS 280403 HAS SOPS 280403 HAS SOUS 86002 HAS SOUPS 86002 WITH SCORE 86282.403
AT ITER 2013 NEW BEST:: SOT 746177 SOS 280377 HAS SOPS 280377 HAS SOUS 85975 HAS SOUPS 85975 WITH SCORE 86255.377
AT ITER 2024 NEW BEST:: SOT 746140 SOS 280303 HAS SOPS 280303 HAS SOUS 85901 HAS SOUPS 85901 WITH SCORE 86181.303
AT ITER 2028 NEW BEST:: SOT 746126 SOS 280247 HAS SOPS 280247 HAS SOUS 85887 HAS SOUPS 85887 WITH SCORE 86167.247
AT ITER 2037 NEW BEST:: SOT 746121 SOS 257654 HAS SOPS 257654 HAS SOUS 85810 HAS SOUPS 85810 WITH SCORE 86067.654
AT ITER 2063 NEW BEST:: SOT 746121 SOS 257654 HAS SOPS 257654 HAS SOUS 85791 HAS SOUPS 85791 WITH SCORE 86048.654
AT ITER 2073 NEW BEST:: SOT 746095 SOS 257350 HAS SOPS 257350 HAS SOUS 85746 HAS SOUPS 85746 WITH SCORE 86003.35
AT ITER 2074 NEW BEST:: SOT 746093 SOS 257346 HAS SOPS 257346 HAS SOUS 85634 HAS SOUPS 85634 WITH SCORE 85891.346
AT ITER 2096 NEW BEST:: SOT 746068 SOS 257328 HAS SOPS 257328 HAS SOUS 85609 HAS SOUPS 85609 WITH SCORE 85866.328
AT ITER 2127 NEW BEST:: SOT 746055 SOS 257320 HAS SOPS 257320 HAS SOUS 85601 HAS SOUPS 85601 WITH SCORE 85858.32
AT ITER 2156 NEW BEST:: SOT 745134 SOS 257695 HAS SOPS 257695 HAS SOUS 85095 HAS SOUPS 85095 WITH SCORE 85352.695
AT ITER 2163 NEW BEST:: SOT 745255 SOS 257891 HAS SOPS 257891 HAS SOUS 80357 HAS SOUPS 80357 WITH SCORE 80614.891
AT ITER 2166 NEW BEST:: SOT 745279 SOS 257927 HAS SOPS 257927 HAS SOUS 77961 HAS SOUPS 77961 WITH SCORE 78218.927
AT ITER 2173 NEW BEST:: SOT 745279 SOS 257913 HAS SOPS 257913 HAS SOUS 77961 HAS SOUPS 77961 WITH SCORE 78218.913
AT ITER 2212 NEW BEST:: SOT 745425 SOS 258205 HAS SOPS 258205 HAS SOUS 77330 HAS SOUPS 77330 WITH SCORE 77588.205
AT ITER 2238 NEW BEST:: SOT 745425 SOS 258195 HAS SOPS 258195 HAS SOUS 77320 HAS SOUPS 77320 WITH SCORE 77578.195
AT ITER 2239 NEW BEST:: SOT 745425 SOS 258195 HAS SOPS 258195 HAS SOUS 77304 HAS SOUPS 77304 WITH SCORE 77562.195
AT ITER 2246 NEW BEST:: SOT 745416 SOS 258177 HAS SOPS 258177 HAS SOUS 77286 HAS SOUPS 77286 WITH SCORE 77544.177
AT ITER 2288 NEW BEST:: SOT 745410 SOS 255585 HAS SOPS 255585 HAS SOUS 77280 HAS SOUPS 77280 WITH SCORE 77535.585
AT ITER 2294 NEW BEST:: SOT 745396 SOS 255557 HAS SOPS 255557 HAS SOUS 77252 HAS SOUPS 77252 WITH SCORE 77507.557
AT ITER 2303 NEW BEST:: SOT 745356 SOS 255535 HAS SOPS 255535 HAS SOUS 77194 HAS SOUPS 77194 WITH SCORE 77449.535
AT ITER 2325 NEW BEST:: SOT 745356 SOS 255489 HAS SOPS 255489 HAS SOUS 77148 HAS SOUPS 77148 WITH SCORE 77403.489
AT ITER 2368 NEW BEST:: SOT 745279 SOS 255205 HAS SOPS 255205 HAS SOUS 76740 HAS SOUPS 76740 WITH SCORE 76995.205
AT ITER 2376 NEW BEST:: SOT 745277 SOS 255201 HAS SOPS 255201 HAS SOUS 76738 HAS SOUPS 76738 WITH SCORE 76993.201
AT ITER 2386 NEW BEST:: SOT 745174 SOS 255056 HAS SOPS 255056 HAS SOUS 76574 HAS SOUPS 76574 WITH SCORE 76829.056
AT ITER 2387 NEW BEST:: SOT 745174 SOS 255051 HAS SOPS 255051 HAS SOUS 76569 HAS SOUPS 76569 WITH SCORE 76824.051
AT ITER 2407 NEW BEST:: SOT 745174 SOS 255018 HAS SOPS 255018 HAS SOUS 76569 HAS SOUPS 76569 WITH SCORE 76824.018
AT ITER 2431 NEW BEST:: SOT 745171 SOS 255018 HAS SOPS 255018 HAS SOUS 76551 HAS SOUPS 76551 WITH SCORE 76806.018
AT ITER 2484 NEW BEST:: SOT 745132 SOS 254976 HAS SOPS 254976 HAS SOUS 76506 HAS SOUPS 76506 WITH SCORE 76760.976
AT ITER 2487 NEW BEST:: SOT 745123 SOS 254964 HAS SOPS 254964 HAS SOUS 76497 HAS SOUPS 76497 WITH SCORE 76751.964
AT ITER 2511 NEW BEST:: SOT 745010 SOS 254870 HAS SOPS 254870 HAS SOUS 76493 HAS SOUPS 76493 WITH SCORE 76747.87
AT ITER 2513 NEW BEST:: SOT 745004 SOS 254864 HAS SOPS 254864 HAS SOUS 76451 HAS SOUPS 76451 WITH SCORE 76705.864
AT ITER 2519 NEW BEST:: SOT 744938 SOS 254798 HAS SOPS 254798 HAS SOUS 76385 HAS SOUPS 76385 WITH SCORE 76639.798
AT ITER 2567 NEW BEST:: SOT 744935 SOS 254792 HAS SOPS 254792 HAS SOUS 76379 HAS SOUPS 76379 WITH SCORE 76633.792
AT ITER 2607 NEW BEST:: SOT 744937 SOS 254784 HAS SOPS 254784 HAS SOUS 76371 HAS SOUPS 76371 WITH SCORE 76625.784
AT ITER 2617 NEW BEST:: SOT 744933 SOS 254780 HAS SOPS 254780 HAS SOUS 76367 HAS SOUPS 76367 WITH SCORE 76621.78
AT ITER 2632 NEW BEST:: SOT 744919 SOS 254752 HAS SOPS 254752 HAS SOUS 76339 HAS SOUPS 76339 WITH SCORE 76593.752
AT ITER 2671 NEW BEST:: SOT 744881 SOS 254714 HAS SOPS 254714 HAS SOUS 76301 HAS SOUPS 76301 WITH SCORE 76555.714
AT ITER 2684 NEW BEST:: SOT 744797 SOS 254720 HAS SOPS 254720 HAS SOUS 76263 HAS SOUPS 76263 WITH SCORE 76517.72
AT ITER 2731 NEW BEST:: SOT 744772 SOS 254670 HAS SOPS 254670 HAS SOUS 76213 HAS SOUPS 76213 WITH SCORE 76467.67
AT ITER 2738 NEW BEST:: SOT 744784 SOS 254658 HAS SOPS 254658 HAS SOUS 76165 HAS SOUPS 76165 WITH SCORE 76419.658
AT ITER 2758 NEW BEST:: SOT 744755 SOS 254600 HAS SOPS 254600 HAS SOUS 76080 HAS SOUPS 76080 WITH SCORE 76334.6
AT ITER 2790 NEW BEST:: SOT 744674 SOS 254438 HAS SOPS 254438 HAS SOUS 75999 HAS SOUPS 75999 WITH SCORE 76253.438
AT ITER 2793 NEW BEST:: SOT 744674 SOS 254438 HAS SOPS 254438 HAS SOUS 75986 HAS SOUPS 75986 WITH SCORE 76240.438
AT ITER 2838 NEW BEST:: SOT 744664 SOS 254423 HAS SOPS 254423 HAS SOUS 75976 HAS SOUPS 75976 WITH SCORE 76230.423
AT ITER 2856 NEW BEST:: SOT 744661 SOS 254420 HAS SOPS 254420 HAS SOUS 75973 HAS SOUPS 75973 WITH SCORE 76227.42
AT ITER 2863 NEW BEST:: SOT 744661 SOS 254420 HAS SOPS 254420 HAS SOUS 75927 HAS SOUPS 75927 WITH SCORE 76181.42
AT ITER 2878 NEW BEST:: SOT 744661 SOS 254420 HAS SOPS 254420 HAS SOUS 75891 HAS SOUPS 75891 WITH SCORE 76145.42
AT ITER 2898 NEW BEST:: SOT 744652 SOS 254402 HAS SOPS 254402 HAS SOUS 75873 HAS SOUPS 75873 WITH SCORE 76127.402
AT ITER 2930 NEW BEST:: SOT 744415 SOS 254148 HAS SOPS 254148 HAS SOUS 75745 HAS SOUPS 75745 WITH SCORE 75999.148
AT ITER 3014 NEW BEST:: SOT 744383 SOS 259492 HAS SOPS 259492 HAS SOUS 75726 HAS SOUPS 75726 WITH SCORE 75985.492
AT ITER 3026 NEW BEST:: SOT 744444 SOS 259487 HAS SOPS 259487 HAS SOUS 75646 HAS SOUPS 75646 WITH SCORE 75905.487
AT ITER 3085 NEW BEST:: SOT 744224 SOS 259267 HAS SOPS 259267 HAS SOUS 75206 HAS SOUPS 75206 WITH SCORE 75465.267
AT ITER 3092 NEW BEST:: SOT 744224 SOS 259360 HAS SOPS 259360 HAS SOUS 75105 HAS SOUPS 75105 WITH SCORE 75364.36
AT ITER 3123 NEW BEST:: SOT 744245 SOS 259306 HAS SOPS 259306 HAS SOUS 75082 HAS SOUPS 75082 WITH SCORE 75341.306
AT ITER 3146 NEW BEST:: SOT 744272 SOS 259279 HAS SOPS 259279 HAS SOUS 75055 HAS SOUPS 75055 WITH SCORE 75314.279
AT ITER 3183 NEW BEST:: SOT 744269 SOS 259258 HAS SOPS 259258 HAS SOUS 75049 HAS SOUPS 75049 WITH SCORE 75308.258
AT ITER 3186 NEW BEST:: SOT 744318 SOS 259272 HAS SOPS 259272 HAS SOUS 75014 HAS SOUPS 75014 WITH SCORE 75273.272
AT ITER 3196 NEW BEST:: SOT 744318 SOS 255734 HAS SOPS 255734 HAS SOUS 74604 HAS SOUPS 74604 WITH SCORE 74859.734
AT ITER 3215 NEW BEST:: SOT 744304 SOS 254802 HAS SOPS 254802 HAS SOUS 74568 HAS SOUPS 74568 WITH SCORE 74822.802
AT ITER 3217 NEW BEST:: SOT 744432 SOS 254880 HAS SOPS 254880 HAS SOUS 69254 HAS SOUPS 69254 WITH SCORE 69508.88
AT ITER 3230 NEW BEST:: SOT 744426 SOS 254868 HAS SOPS 254868 HAS SOUS 69242 HAS SOUPS 69242 WITH SCORE 69496.868
AT ITER 3231 NEW BEST:: SOT 744424 SOS 254864 HAS SOPS 254864 HAS SOUS 69238 HAS SOUPS 69238 WITH SCORE 69492.864
AT ITER 3238 NEW BEST:: SOT 744400 SOS 254734 HAS SOPS 254734 HAS SOUS 69214 HAS SOUPS 69214 WITH SCORE 69468.734
AT ITER 3245 NEW BEST:: SOT 744374 SOS 254745 HAS SOPS 254745 HAS SOUS 69184 HAS SOUPS 69184 WITH SCORE 69438.745
AT ITER 3253 NEW BEST:: SOT 744374 SOS 254745 HAS SOPS 254745 HAS SOUS 69180 HAS SOUPS 69180 WITH SCORE 69434.745
AT ITER 3293 NEW BEST:: SOT 744325 SOS 254647 HAS SOPS 254647 HAS SOUS 69177 HAS SOUPS 69177 WITH SCORE 69431.647
AT ITER 3302 NEW BEST:: SOT 744325 SOS 254647 HAS SOPS 254647 HAS SOUS 69171 HAS SOUPS 69171 WITH SCORE 69425.647
AT ITER 3303 NEW BEST:: SOT 744325 SOS 254643 HAS SOPS 254643 HAS SOUS 69171 HAS SOUPS 69171 WITH SCORE 69425.643
AT ITER 3324 NEW BEST:: SOT 744328 SOS 254623 HAS SOPS 254623 HAS SOUS 69161 HAS SOUPS 69161 WITH SCORE 69415.623
AT ITER 3357 NEW BEST:: SOT 744320 SOS 256663 HAS SOPS 256663 HAS SOUS 69157 HAS SOUPS 69157 WITH SCORE 69413.663
AT ITER 3366 NEW BEST:: SOT 744310 SOS 256643 HAS SOPS 256643 HAS SOUS 69137 HAS SOUPS 69137 WITH SCORE 69393.643
AT ITER 3435 NEW BEST:: SOT 744282 SOS 256601 HAS SOPS 256601 HAS SOUS 69095 HAS SOUPS 69095 WITH SCORE 69351.601
AT ITER 3438 NEW BEST:: SOT 744281 SOS 256608 HAS SOPS 256608 HAS SOUS 69093 HAS SOUPS 69093 WITH SCORE 69349.608
AT ITER 3522 NEW BEST:: SOT 744257 SOS 256584 HAS SOPS 256584 HAS SOUS 68979 HAS SOUPS 68979 WITH SCORE 69235.584
AT ITER 3523 NEW BEST:: SOT 744277 SOS 256624 HAS SOPS 256624 HAS SOUS 68890 HAS SOUPS 68890 WITH SCORE 69146.624
AT ITER 3564 NEW BEST:: SOT 744266 SOS 256602 HAS SOPS 256602 HAS SOUS 68868 HAS SOUPS 68868 WITH SCORE 69124.602
AT ITER 3583 NEW BEST:: SOT 744242 SOS 256554 HAS SOPS 256554 HAS SOUS 68766 HAS SOUPS 68766 WITH SCORE 69022.554
AT ITER 3653 NEW BEST:: SOT 744247 SOS 256627 HAS SOPS 256627 HAS SOUS 68708 HAS SOUPS 68708 WITH SCORE 68964.627
AT ITER 3661 NEW BEST:: SOT 744219 SOS 256571 HAS SOPS 256571 HAS SOUS 68608 HAS SOUPS 68608 WITH SCORE 68864.571
AT ITER 3688 NEW BEST:: SOT 744181 SOS 256456 HAS SOPS 256456 HAS SOUS 68504 HAS SOUPS 68504 WITH SCORE 68760.456
AT ITER 3697 NEW BEST:: SOT 744180 SOS 256454 HAS SOPS 256454 HAS SOUS 68502 HAS SOUPS 68502 WITH SCORE 68758.454
AT ITER 3710 NEW BEST:: SOT 744180 SOS 256410 HAS SOPS 256410 HAS SOUS 68485 HAS SOUPS 68485 WITH SCORE 68741.41
AT ITER 3718 NEW BEST:: SOT 743612 SOS 255842 HAS SOPS 255842 HAS SOUS 68438 HAS SOUPS 68438 WITH SCORE 68693.842
AT ITER 3733 NEW BEST:: SOT 743630 SOS 255860 HAS SOPS 255860 HAS SOUS 68436 HAS SOUPS 68436 WITH SCORE 68691.86
AT ITER 3832 NEW BEST:: SOT 743630 SOS 255813 HAS SOPS 255813 HAS SOUS 68373 HAS SOUPS 68373 WITH SCORE 68628.813
AT ITER 3837 NEW BEST:: SOT 743590 SOS 255773 HAS SOPS 255773 HAS SOUS 68333 HAS SOUPS 68333 WITH SCORE 68588.773
AT ITER 3890 NEW BEST:: SOT 743525 SOS 255811 HAS SOPS 255811 HAS SOUS 68311 HAS SOUPS 68311 WITH SCORE 68566.811
AT ITER 3913 NEW BEST:: SOT 743508 SOS 255777 HAS SOPS 255777 HAS SOUS 68277 HAS SOUPS 68277 WITH SCORE 68532.777
AT ITER 3914 NEW BEST:: SOT 743508 SOS 255777 HAS SOPS 255777 HAS SOUS 68267 HAS SOUPS 68267 WITH SCORE 68522.777
AT ITER 3952 NEW BEST:: SOT 743498 SOS 255775 HAS SOPS 255775 HAS SOUS 68265 HAS SOUPS 68265 WITH SCORE 68520.775
AT ITER 3956 NEW BEST:: SOT 743492 SOS 255763 HAS SOPS 255763 HAS SOUS 68253 HAS SOUPS 68253 WITH SCORE 68508.763
AT ITER 3984 NEW BEST:: SOT 743614 SOS 255814 HAS SOPS 255814 HAS SOUS 68243 HAS SOUPS 68243 WITH SCORE 68498.814
AT ITER 4004 NEW BEST:: SOT 743621 SOS 255828 HAS SOPS 255828 HAS SOUS 68230 HAS SOUPS 68230 WITH SCORE 68485.828
AT ITER 4057 NEW BEST:: SOT 743621 SOS 255830 HAS SOPS 255830 HAS SOUS 68192 HAS SOUPS 68192 WITH SCORE 68447.83
AT ITER 4066 NEW BEST:: SOT 744468 SOS 256764 HAS SOPS 256764 HAS SOUS 66195 HAS SOUPS 66195 WITH SCORE 66451.764
AT ITER 4117 NEW BEST:: SOT 744451 SOS 256730 HAS SOPS 256730 HAS SOUS 66169 HAS SOUPS 66169 WITH SCORE 66425.73
AT ITER 4131 NEW BEST:: SOT 744451 SOS 256730 HAS SOPS 256730 HAS SOUS 66149 HAS SOUPS 66149 WITH SCORE 66405.73
AT ITER 4150 NEW BEST:: SOT 744450 SOS 256728 HAS SOPS 256728 HAS SOUS 66148 HAS SOUPS 66148 WITH SCORE 66404.728
AT ITER 4185 NEW BEST:: SOT 744450 SOS 256726 HAS SOPS 256726 HAS SOUS 66147 HAS SOUPS 66147 WITH SCORE 66403.726
AT ITER 4232 NEW BEST:: SOT 744445 SOS 253830 HAS SOPS 253830 HAS SOUS 66137 HAS SOUPS 66137 WITH SCORE 66390.83
AT ITER 4261 NEW BEST:: SOT 744441 SOS 252678 HAS SOPS 252678 HAS SOUS 66131 HAS SOUPS 66131 WITH SCORE 66383.678
AT ITER 4286 NEW BEST:: SOT 744441 SOS 252668 HAS SOPS 252668 HAS SOUS 66131 HAS SOUPS 66131 WITH SCORE 66383.668
AT ITER 4293 NEW BEST:: SOT 744423 SOS 252632 HAS SOPS 252632 HAS SOUS 66122 HAS SOUPS 66122 WITH SCORE 66374.632
AT ITER 4376 NEW BEST:: SOT 744411 SOS 252621 HAS SOPS 252621 HAS SOUS 66110 HAS SOUPS 66110 WITH SCORE 66362.621
AT ITER 4378 NEW BEST:: SOT 744393 SOS 252574 HAS SOPS 252574 HAS SOUS 66076 HAS SOUPS 66076 WITH SCORE 66328.574
AT ITER 4380 NEW BEST:: SOT 744393 SOS 252574 HAS SOPS 252574 HAS SOUS 66060 HAS SOUPS 66060 WITH SCORE 66312.574
AT ITER 4485 NEW BEST:: SOT 744018 SOS 252026 HAS SOPS 252026 HAS SOUS 65808 HAS SOUPS 65808 WITH SCORE 66060.026
AT ITER 4548 NEW BEST:: SOT 744011 SOS 251966 HAS SOPS 251966 HAS SOUS 65778 HAS SOUPS 65778 WITH SCORE 66029.966
AT ITER 4551 NEW BEST:: SOT 744023 SOS 251990 HAS SOPS 251990 HAS SOUS 65758 HAS SOUPS 65758 WITH SCORE 66009.99
AT ITER 4588 NEW BEST:: SOT 744014 SOS 251963 HAS SOPS 251963 HAS SOUS 65740 HAS SOUPS 65740 WITH SCORE 65991.963
AT ITER 4590 NEW BEST:: SOT 744014 SOS 251963 HAS SOPS 251963 HAS SOUS 65737 HAS SOUPS 65737 WITH SCORE 65988.963
AT ITER 4636 NEW BEST:: SOT 744035 SOS 252005 HAS SOPS 252005 HAS SOUS 65727 HAS SOUPS 65727 WITH SCORE 65979.005
AT ITER 4638 NEW BEST:: SOT 743775 SOS 251732 HAS SOPS 251732 HAS SOUS 65454 HAS SOUPS 65454 WITH SCORE 65705.732
AT ITER 4672 NEW BEST:: SOT 743774 SOS 251730 HAS SOPS 251730 HAS SOUS 65452 HAS SOUPS 65452 WITH SCORE 65703.73
AT ITER 4683 NEW BEST:: SOT 743772 SOS 251728 HAS SOPS 251728 HAS SOUS 65434 HAS SOUPS 65434 WITH SCORE 65685.728
AT ITER 4709 NEW BEST:: SOT 743362 SOS 251170 HAS SOPS 251170 HAS SOUS 65346 HAS SOUPS 65346 WITH SCORE 65597.17
AT ITER 4732 NEW BEST:: SOT 743367 SOS 251180 HAS SOPS 251180 HAS SOUS 65324 HAS SOUPS 65324 WITH SCORE 65575.18
AT ITER 4746 NEW BEST:: SOT 743332 SOS 251070 HAS SOPS 251070 HAS SOUS 65289 HAS SOUPS 65289 WITH SCORE 65540.07
AT ITER 4752 NEW BEST:: SOT 743319 SOS 251057 HAS SOPS 251057 HAS SOUS 65235 HAS SOUPS 65235 WITH SCORE 65486.057
AT ITER 4764 NEW BEST:: SOT 743319 SOS 251057 HAS SOPS 251057 HAS SOUS 63699 HAS SOUPS 63699 WITH SCORE 63950.057
AT ITER 4765 NEW BEST:: SOT 743319 SOS 251047 HAS SOPS 251047 HAS SOUS 63699 HAS SOUPS 63699 WITH SCORE 63950.047
AT ITER 4777 NEW BEST:: SOT 743312 SOS 250984 HAS SOPS 250984 HAS SOUS 63413 HAS SOUPS 63413 WITH SCORE 63663.984
AT ITER 4823 NEW BEST:: SOT 743312 SOS 248404 HAS SOPS 248404 HAS SOUS 63407 HAS SOUPS 63407 WITH SCORE 63655.404
AT ITER 4835 NEW BEST:: SOT 743377 SOS 248400 HAS SOPS 248400 HAS SOUS 63378 HAS SOUPS 63378 WITH SCORE 63626.4
AT ITER 4844 NEW BEST:: SOT 743362 SOS 248345 HAS SOPS 248345 HAS SOUS 63348 HAS SOUPS 63348 WITH SCORE 63596.345
AT ITER 4845 NEW BEST:: SOT 743142 SOS 248034 HAS SOPS 248034 HAS SOUS 63128 HAS SOUPS 63128 WITH SCORE 63376.034
AT ITER 4856 NEW BEST:: SOT 743146 SOS 248010 HAS SOPS 248010 HAS SOUS 63105 HAS SOUPS 63105 WITH SCORE 63353.01
AT ITER 4866 NEW BEST:: SOT 743118 SOS 247926 HAS SOPS 247926 HAS SOUS 63077 HAS SOUPS 63077 WITH SCORE 63324.926
AT ITER 4892 NEW BEST:: SOT 743113 SOS 247921 HAS SOPS 247921 HAS SOUS 62972 HAS SOUPS 62972 WITH SCORE 63219.921
AT ITER 4900 NEW BEST:: SOT 743108 SOS 247911 HAS SOPS 247911 HAS SOUS 62962 HAS SOUPS 62962 WITH SCORE 63209.911
AT ITER 4925 NEW BEST:: SOT 743108 SOS 247910 HAS SOPS 247910 HAS SOUS 62961 HAS SOUPS 62961 WITH SCORE 63208.91
AT ITER 4963 NEW BEST:: SOT 743108 SOS 247901 HAS SOPS 247901 HAS SOUS 62961 HAS SOUPS 62961 WITH SCORE 63208.901
AT ITER 5007 NEW BEST:: SOT 743100 SOS 247885 HAS SOPS 247885 HAS SOUS 62945 HAS SOUPS 62945 WITH SCORE 63192.885
AT ITER 5020 NEW BEST:: SOT 743100 SOS 245749 HAS SOPS 245749 HAS SOUS 62653 HAS SOUPS 62653 WITH SCORE 62898.749
AT ITER 5049 NEW BEST:: SOT 742976 SOS 245501 HAS SOPS 245501 HAS SOUS 62556 HAS SOUPS 62556 WITH SCORE 62801.501
AT ITER 5056 NEW BEST:: SOT 742905 SOS 245400 HAS SOPS 245400 HAS SOUS 61461 HAS SOUPS 61461 WITH SCORE 61706.4
AT ITER 5201 NEW BEST:: SOT 742904 SOS 245394 HAS SOPS 245394 HAS SOUS 61459 HAS SOUPS 61459 WITH SCORE 61704.394
AT ITER 5213 NEW BEST:: SOT 742903 SOS 245392 HAS SOPS 245392 HAS SOUS 61458 HAS SOUPS 61458 WITH SCORE 61703.392
AT ITER 5215 NEW BEST:: SOT 742903 SOS 245386 HAS SOPS 245386 HAS SOUS 61454 HAS SOUPS 61454 WITH SCORE 61699.386
AT ITER 5267 NEW BEST:: SOT 742912 SOS 245395 HAS SOPS 245395 HAS SOUS 60960 HAS SOUPS 60960 WITH SCORE 61205.395
AT ITER 5312 NEW BEST:: SOT 742911 SOS 245393 HAS SOPS 245393 HAS SOUS 60958 HAS SOUPS 60958 WITH SCORE 61203.393
AT ITER 5338 NEW BEST:: SOT 742906 SOS 245383 HAS SOPS 245383 HAS SOUS 60956 HAS SOUPS 60956 WITH SCORE 61201.383
AT ITER 5339 NEW BEST:: SOT 742890 SOS 245362 HAS SOPS 245362 HAS SOUS 60935 HAS SOUPS 60935 WITH SCORE 61180.362
AT ITER 5348 NEW BEST:: SOT 742877 SOS 245349 HAS SOPS 245349 HAS SOUS 60922 HAS SOUPS 60922 WITH SCORE 61167.349
AT ITER 5391 NEW BEST:: SOT 742874 SOS 245348 HAS SOPS 245348 HAS SOUS 60921 HAS SOUPS 60921 WITH SCORE 61166.348
AT ITER 5399 NEW BEST:: SOT 742860 SOS 245118 HAS SOPS 245118 HAS SOUS 60889 HAS SOUPS 60889 WITH SCORE 61134.118
AT ITER 5444 NEW BEST:: SOT 742858 SOS 245110 HAS SOPS 245110 HAS SOUS 60503 HAS SOUPS 60503 WITH SCORE 60748.11
AT ITER 5507 NEW BEST:: SOT 742852 SOS 245110 HAS SOPS 245110 HAS SOUS 60500 HAS SOUPS 60500 WITH SCORE 60745.11
AT ITER 5517 NEW BEST:: SOT 742852 SOS 245100 HAS SOPS 245100 HAS SOUS 60490 HAS SOUPS 60490 WITH SCORE 60735.1
AT ITER 5569 NEW BEST:: SOT 742818 SOS 245098 HAS SOPS 245098 HAS SOUS 60231 HAS SOUPS 60231 WITH SCORE 60476.098
AT ITER 5588 NEW BEST:: SOT 742816 SOS 245096 HAS SOPS 245096 HAS SOUS 60230 HAS SOUPS 60230 WITH SCORE 60475.096
AT ITER 5596 NEW BEST:: SOT 742346 SOS 244610 HAS SOPS 244610 HAS SOUS 59860 HAS SOUPS 59860 WITH SCORE 60104.61
AT ITER 5617 NEW BEST:: SOT 742325 SOS 244598 HAS SOPS 244598 HAS SOUS 59848 HAS SOUPS 59848 WITH SCORE 60092.598
AT ITER 5624 NEW BEST:: SOT 742313 SOS 244574 HAS SOPS 244574 HAS SOUS 59824 HAS SOUPS 59824 WITH SCORE 60068.574
AT ITER 5635 NEW BEST:: SOT 742298 SOS 244943 HAS SOPS 244943 HAS SOUS 59815 HAS SOUPS 59815 WITH SCORE 60059.943
AT ITER 5645 NEW BEST:: SOT 742297 SOS 244929 HAS SOPS 244929 HAS SOUS 59813 HAS SOUPS 59813 WITH SCORE 60057.929
AT ITER 5669 NEW BEST:: SOT 742297 SOS 244923 HAS SOPS 244923 HAS SOUS 59813 HAS SOUPS 59813 WITH SCORE 60057.923
AT ITER 5676 NEW BEST:: SOT 742293 SOS 244915 HAS SOPS 244915 HAS SOUS 59809 HAS SOUPS 59809 WITH SCORE 60053.915
AT ITER 5681 NEW BEST:: SOT 742283 SOS 244910 HAS SOPS 244910 HAS SOUS 59806 HAS SOUPS 59806 WITH SCORE 60050.91
AT ITER 5682 NEW BEST:: SOT 742280 SOS 244904 HAS SOPS 244904 HAS SOUS 59800 HAS SOUPS 59800 WITH SCORE 60044.904
AT ITER 5686 NEW BEST:: SOT 742259 SOS 244880 HAS SOPS 244880 HAS SOUS 59776 HAS SOUPS 59776 WITH SCORE 60020.88
AT ITER 5722 NEW BEST:: SOT 742259 SOS 244862 HAS SOPS 244862 HAS SOUS 59776 HAS SOUPS 59776 WITH SCORE 60020.862
AT ITER 5740 NEW BEST:: SOT 742274 SOS 244848 HAS SOPS 244848 HAS SOUS 59762 HAS SOUPS 59762 WITH SCORE 60006.848
AT ITER 5750 NEW BEST:: SOT 742266 SOS 244832 HAS SOPS 244832 HAS SOUS 59746 HAS SOUPS 59746 WITH SCORE 59990.832
AT ITER 5751 NEW BEST:: SOT 742140 SOS 244694 HAS SOPS 244694 HAS SOUS 59614 HAS SOUPS 59614 WITH SCORE 59858.694
AT ITER 5790 NEW BEST:: SOT 741852 SOS 244304 HAS SOPS 244304 HAS SOUS 59511 HAS SOUPS 59511 WITH SCORE 59755.304
AT ITER 5798 NEW BEST:: SOT 741850 SOS 244302 HAS SOPS 244302 HAS SOUS 59509 HAS SOUPS 59509 WITH SCORE 59753.302
AT ITER 5823 NEW BEST:: SOT 741858 SOS 244295 HAS SOPS 244295 HAS SOUS 59502 HAS SOUPS 59502 WITH SCORE 59746.295
AT ITER 5830 NEW BEST:: SOT 741858 SOS 244293 HAS SOPS 244293 HAS SOUS 59501 HAS SOUPS 59501 WITH SCORE 59745.293
AT ITER 5865 NEW BEST:: SOT 741856 SOS 244291 HAS SOPS 244291 HAS SOUS 59499 HAS SOUPS 59499 WITH SCORE 59743.291
AT ITER 6100 NEW BEST:: SOT 741850 SOS 244279 HAS SOPS 244279 HAS SOUS 59487 HAS SOUPS 59487 WITH SCORE 59731.279
AT ITER 6118 NEW BEST:: SOT 741835 SOS 244270 HAS SOPS 244270 HAS SOUS 59479 HAS SOUPS 59479 WITH SCORE 59723.27
AT ITER 6159 NEW BEST:: SOT 741881 SOS 230469 HAS SOPS 230469 HAS SOUS 59485 HAS SOUPS 59485 WITH SCORE 59715.469
AT ITER 6171 NEW BEST:: SOT 741873 SOS 230461 HAS SOPS 230461 HAS SOUS 59477 HAS SOUPS 59477 WITH SCORE 59707.461
AT ITER 6175 NEW BEST:: SOT 741872 SOS 230459 HAS SOPS 230459 HAS SOUS 59475 HAS SOUPS 59475 WITH SCORE 59705.459
AT ITER 6177 NEW BEST:: SOT 741815 SOS 230423 HAS SOPS 230423 HAS SOUS 59439 HAS SOUPS 59439 WITH SCORE 59669.423
AT ITER 6236 NEW BEST:: SOT 741807 SOS 230415 HAS SOPS 230415 HAS SOUS 59428 HAS SOUPS 59428 WITH SCORE 59658.415
AT ITER 6258 NEW BEST:: SOT 741794 SOS 230389 HAS SOPS 230389 HAS SOUS 59397 HAS SOUPS 59397 WITH SCORE 59627.389
AT ITER 6276 NEW BEST:: SOT 741798 SOS 230357 HAS SOPS 230357 HAS SOUS 59377 HAS SOUPS 59377 WITH SCORE 59607.357
AT ITER 6311 NEW BEST:: SOT 741786 SOS 230333 HAS SOPS 230333 HAS SOUS 59365 HAS SOUPS 59365 WITH SCORE 59595.333
AT ITER 6371 NEW BEST:: SOT 741797 SOS 230329 HAS SOPS 230329 HAS SOUS 59333 HAS SOUPS 59333 WITH SCORE 59563.329
AT ITER 6417 NEW BEST:: SOT 741797 SOS 230323 HAS SOPS 230323 HAS SOUS 59333 HAS SOUPS 59333 WITH SCORE 59563.323
AT ITER 6469 NEW BEST:: SOT 741769 SOS 230329 HAS SOPS 230329 HAS SOUS 59318 HAS SOUPS 59318 WITH SCORE 59548.329
AT ITER 6536 NEW BEST:: SOT 741768 SOS 230322 HAS SOPS 230322 HAS SOUS 59314 HAS SOUPS 59314 WITH SCORE 59544.322
AT ITER 6544 NEW BEST:: SOT 741767 SOS 230320 HAS SOPS 230320 HAS SOUS 59312 HAS SOUPS 59312 WITH SCORE 59542.32
AT ITER 6565 NEW BEST:: SOT 741765 SOS 230316 HAS SOPS 230316 HAS SOUS 59308 HAS SOUPS 59308 WITH SCORE 59538.316
AT ITER 6630 NEW BEST:: SOT 741765 SOS 230306 HAS SOPS 230306 HAS SOUS 59308 HAS SOUPS 59308 WITH SCORE 59538.306
AT ITER 6650 NEW BEST:: SOT 741787 SOS 230297 HAS SOPS 230297 HAS SOUS 59299 HAS SOUPS 59299 WITH SCORE 59529.297
AT ITER 6677 NEW BEST:: SOT 741778 SOS 230279 HAS SOPS 230279 HAS SOUS 59295 HAS SOUPS 59295 WITH SCORE 59525.279
AT ITER 6678 NEW BEST:: SOT 741775 SOS 230273 HAS SOPS 230273 HAS SOUS 59289 HAS SOUPS 59289 WITH SCORE 59519.273
AT ITER 6694 NEW BEST:: SOT 741763 SOS 230248 HAS SOPS 230248 HAS SOUS 59264 HAS SOUPS 59264 WITH SCORE 59494.248
AT ITER 6721 NEW BEST:: SOT 741764 SOS 230238 HAS SOPS 230238 HAS SOUS 59254 HAS SOUPS 59254 WITH SCORE 59484.238
AT ITER 6724 NEW BEST:: SOT 741742 SOS 230208 HAS SOPS 230208 HAS SOUS 59224 HAS SOUPS 59224 WITH SCORE 59454.208
AT ITER 6744 NEW BEST:: SOT 741742 SOS 230214 HAS SOPS 230214 HAS SOUS 59215 HAS SOUPS 59215 WITH SCORE 59445.214
AT ITER 6790 NEW BEST:: SOT 741729 SOS 230201 HAS SOPS 230201 HAS SOUS 59178 HAS SOUPS 59178 WITH SCORE 59408.201
AT ITER 6795 NEW BEST:: SOT 741729 SOS 230176 HAS SOPS 230176 HAS SOUS 59153 HAS SOUPS 59153 WITH SCORE 59383.176
AT ITER 6813 NEW BEST:: SOT 741723 SOS 230176 HAS SOPS 230176 HAS SOUS 56045 HAS SOUPS 56045 WITH SCORE 56275.176
AT ITER 6819 NEW BEST:: SOT 741723 SOS 230177 HAS SOPS 230177 HAS SOUS 56044 HAS SOUPS 56044 WITH SCORE 56274.177
AT ITER 6823 NEW BEST:: SOT 741721 SOS 230173 HAS SOPS 230173 HAS SOUS 56040 HAS SOUPS 56040 WITH SCORE 56270.173
AT ITER 6827 NEW BEST:: SOT 741721 SOS 230159 HAS SOPS 230159 HAS SOUS 56040 HAS SOUPS 56040 WITH SCORE 56270.159
AT ITER 6833 NEW BEST:: SOT 741704 SOS 223753 HAS SOPS 223753 HAS SOUS 56038 HAS SOUPS 56038 WITH SCORE 56261.753
AT ITER 6914 NEW BEST:: SOT 741698 SOS 223747 HAS SOPS 223747 HAS SOUS 56032 HAS SOUPS 56032 WITH SCORE 56255.747
AT ITER 6939 NEW BEST:: SOT 741689 SOS 223747 HAS SOPS 223747 HAS SOUS 55963 HAS SOUPS 55963 WITH SCORE 56186.747
AT ITER 6940 NEW BEST:: SOT 741689 SOS 223747 HAS SOPS 223747 HAS SOUS 55962 HAS SOUPS 55962 WITH SCORE 56185.747
AT ITER 6942 NEW BEST:: SOT 741395 SOS 226007 HAS SOPS 226007 HAS SOUS 55903 HAS SOUPS 55903 WITH SCORE 56129.007
AT ITER 6963 NEW BEST:: SOT 741393 SOS 226003 HAS SOPS 226003 HAS SOUS 55899 HAS SOUPS 55899 WITH SCORE 56125.003
AT ITER 7032 NEW BEST:: SOT 741393 SOS 225992 HAS SOPS 225992 HAS SOUS 55888 HAS SOUPS 55888 WITH SCORE 56113.992
AT ITER 7072 NEW BEST:: SOT 741393 SOS 225981 HAS SOPS 225981 HAS SOUS 55877 HAS SOUPS 55877 WITH SCORE 56102.981
AT ITER 7076 NEW BEST:: SOT 741389 SOS 225977 HAS SOPS 225977 HAS SOUS 55873 HAS SOUPS 55873 WITH SCORE 56098.977
AT ITER 7102 NEW BEST:: SOT 741355 SOS 225949 HAS SOPS 225949 HAS SOUS 55784 HAS SOUPS 55784 WITH SCORE 56009.949
AT ITER 7117 NEW BEST:: SOT 741339 SOS 225901 HAS SOPS 225901 HAS SOUS 55768 HAS SOUPS 55768 WITH SCORE 55993.901
AT ITER 7153 NEW BEST:: SOT 741244 SOS 225847 HAS SOPS 225847 HAS SOUS 55702 HAS SOUPS 55702 WITH SCORE 55927.847
AT ITER 7168 NEW BEST:: SOT 741174 SOS 225835 HAS SOPS 225835 HAS SOUS 55690 HAS SOUPS 55690 WITH SCORE 55915.835
AT ITER 7199 NEW BEST:: SOT 741174 SOS 225814 HAS SOPS 225814 HAS SOUS 55690 HAS SOUPS 55690 WITH SCORE 55915.814
AT ITER 7208 NEW BEST:: SOT 741164 SOS 225794 HAS SOPS 225794 HAS SOUS 55670 HAS SOUPS 55670 WITH SCORE 55895.794
AT ITER 7230 NEW BEST:: SOT 741056 SOS 225632 HAS SOPS 225632 HAS SOUS 55531 HAS SOUPS 55531 WITH SCORE 55756.632
AT ITER 7237 NEW BEST:: SOT 741049 SOS 225652 HAS SOPS 225652 HAS SOUS 55517 HAS SOUPS 55517 WITH SCORE 55742.652
AT ITER 7242 NEW BEST:: SOT 740983 SOS 225613 HAS SOPS 225613 HAS SOUS 55478 HAS SOUPS 55478 WITH SCORE 55703.613
AT ITER 7253 NEW BEST:: SOT 740998 SOS 225112 HAS SOPS 225112 HAS SOUS 55474 HAS SOUPS 55474 WITH SCORE 55699.112
AT ITER 7254 NEW BEST:: SOT 741048 SOS 225148 HAS SOPS 225148 HAS SOUS 55468 HAS SOUPS 55468 WITH SCORE 55693.148
AT ITER 7255 NEW BEST:: SOT 741045 SOS 225139 HAS SOPS 225139 HAS SOUS 55462 HAS SOUPS 55462 WITH SCORE 55687.139
AT ITER 7273 NEW BEST:: SOT 741040 SOS 225129 HAS SOPS 225129 HAS SOUS 55462 HAS SOUPS 55462 WITH SCORE 55687.129
AT ITER 7310 NEW BEST:: SOT 741039 SOS 225127 HAS SOPS 225127 HAS SOUS 55460 HAS SOUPS 55460 WITH SCORE 55685.127
AT ITER 7384 NEW BEST:: SOT 741027 SOS 225103 HAS SOPS 225103 HAS SOUS 55442 HAS SOUPS 55442 WITH SCORE 55667.103
AT ITER 7386 NEW BEST:: SOT 741027 SOS 224385 HAS SOPS 224385 HAS SOUS 55400 HAS SOUPS 55400 WITH SCORE 55624.385
AT ITER 7396 NEW BEST:: SOT 741015 SOS 224340 HAS SOPS 224340 HAS SOUS 55380 HAS SOUPS 55380 WITH SCORE 55604.34
AT ITER 7417 NEW BEST:: SOT 741003 SOS 224258 HAS SOPS 224258 HAS SOUS 55327 HAS SOUPS 55327 WITH SCORE 55551.258
AT ITER 7421 NEW BEST:: SOT 740974 SOS 216753 HAS SOPS 216753 HAS SOUS 55291 HAS SOUPS 55291 WITH SCORE 55507.753
AT ITER 7441 NEW BEST:: SOT 740954 SOS 216733 HAS SOPS 216733 HAS SOUS 55271 HAS SOUPS 55271 WITH SCORE 55487.733
AT ITER 7458 NEW BEST:: SOT 740994 SOS 216829 HAS SOPS 216829 HAS SOUS 55267 HAS SOUPS 55267 WITH SCORE 55483.829
AT ITER 7479 NEW BEST:: SOT 740986 SOS 216829 HAS SOPS 216829 HAS SOUS 55259 HAS SOUPS 55259 WITH SCORE 55475.829
AT ITER 7484 NEW BEST:: SOT 740981 SOS 216823 HAS SOPS 216823 HAS SOUS 55253 HAS SOUPS 55253 WITH SCORE 55469.823
AT ITER 7494 NEW BEST:: SOT 740981 SOS 216329 HAS SOPS 216329 HAS SOUS 55253 HAS SOUPS 55253 WITH SCORE 55469.329
AT ITER 7495 NEW BEST:: SOT 740981 SOS 216317 HAS SOPS 216317 HAS SOUS 55253 HAS SOUPS 55253 WITH SCORE 55469.317
AT ITER 7508 NEW BEST:: SOT 741024 SOS 215643 HAS SOPS 215643 HAS SOUS 55212 HAS SOUPS 55212 WITH SCORE 55427.643
AT ITER 7520 NEW BEST:: SOT 741150 SOS 216585 HAS SOPS 216585 HAS SOUS 55056 HAS SOUPS 55056 WITH SCORE 55272.585
AT ITER 7525 NEW BEST:: SOT 741130 SOS 216545 HAS SOPS 216545 HAS SOUS 54987 HAS SOUPS 54987 WITH SCORE 55203.545
AT ITER 7579 NEW BEST:: SOT 740910 SOS 216329 HAS SOPS 216329 HAS SOUS 54887 HAS SOUPS 54887 WITH SCORE 55103.329
AT ITER 7590 NEW BEST:: SOT 740963 SOS 216382 HAS SOPS 216382 HAS SOUS 53873 HAS SOUPS 53873 WITH SCORE 54089.382
AT ITER 7622 NEW BEST:: SOT 740963 SOS 216379 HAS SOPS 216379 HAS SOUS 53873 HAS SOUPS 53873 WITH SCORE 54089.379
AT ITER 7631 NEW BEST:: SOT 740953 SOS 216359 HAS SOPS 216359 HAS SOUS 53853 HAS SOUPS 53853 WITH SCORE 54069.359
AT ITER 7660 NEW BEST:: SOT 740953 SOS 216354 HAS SOPS 216354 HAS SOUS 53853 HAS SOUPS 53853 WITH SCORE 54069.354
AT ITER 7664 NEW BEST:: SOT 740941 SOS 216330 HAS SOPS 216330 HAS SOUS 53829 HAS SOUPS 53829 WITH SCORE 54045.33
AT ITER 7673 NEW BEST:: SOT 740943 SOS 216334 HAS SOPS 216334 HAS SOUS 53825 HAS SOUPS 53825 WITH SCORE 54041.334
AT ITER 7683 NEW BEST:: SOT 740941 SOS 216330 HAS SOPS 216330 HAS SOUS 53823 HAS SOUPS 53823 WITH SCORE 54039.33
AT ITER 7719 NEW BEST:: SOT 740426 SOS 215815 HAS SOPS 215815 HAS SOUS 53311 HAS SOUPS 53311 WITH SCORE 53526.815
AT ITER 7736 NEW BEST:: SOT 740426 SOS 215815 HAS SOPS 215815 HAS SOUS 53300 HAS SOUPS 53300 WITH SCORE 53515.815
AT ITER 7746 NEW BEST:: SOT 740053 SOS 215414 HAS SOPS 215414 HAS SOUS 53228 HAS SOUPS 53228 WITH SCORE 53443.414
AT ITER 7789 NEW BEST:: SOT 739891 SOS 215261 HAS SOPS 215261 HAS SOUS 53075 HAS SOUPS 53075 WITH SCORE 53290.261
AT ITER 7808 NEW BEST:: SOT 739821 SOS 215194 HAS SOPS 215194 HAS SOUS 53005 HAS SOUPS 53005 WITH SCORE 53220.194
AT ITER 7811 NEW BEST:: SOT 739784 SOS 227628 HAS SOPS 227628 HAS SOUS 52991 HAS SOUPS 52991 WITH SCORE 53218.628
AT ITER 7838 NEW BEST:: SOT 739782 SOS 227632 HAS SOPS 227632 HAS SOUS 52987 HAS SOUPS 52987 WITH SCORE 53214.632
AT ITER 7851 NEW BEST:: SOT 739781 SOS 227630 HAS SOPS 227630 HAS SOUS 52986 HAS SOUPS 52986 WITH SCORE 53213.63
AT ITER 7865 NEW BEST:: SOT 739774 SOS 227623 HAS SOPS 227623 HAS SOUS 52986 HAS SOUPS 52986 WITH SCORE 53213.623
AT ITER 7939 NEW BEST:: SOT 739769 SOS 227613 HAS SOPS 227613 HAS SOUS 52976 HAS SOUPS 52976 WITH SCORE 53203.613
AT ITER 7948 NEW BEST:: SOT 739768 SOS 227611 HAS SOPS 227611 HAS SOUS 52974 HAS SOUPS 52974 WITH SCORE 53201.611
AT ITER 7959 NEW BEST:: SOT 739757 SOS 227589 HAS SOPS 227589 HAS SOUS 52952 HAS SOUPS 52952 WITH SCORE 53179.589
AT ITER 7997 NEW BEST:: SOT 739746 SOS 227578 HAS SOPS 227578 HAS SOUS 52941 HAS SOUPS 52941 WITH SCORE 53168.578
AT ITER 8132 NEW BEST:: SOT 739746 SOS 227560 HAS SOPS 227560 HAS SOUS 52930 HAS SOUPS 52930 WITH SCORE 53157.56
AT ITER 8160 NEW BEST:: SOT 739819 SOS 227642 HAS SOPS 227642 HAS SOUS 52913 HAS SOUPS 52913 WITH SCORE 53140.642
AT ITER 8179 NEW BEST:: SOT 739809 SOS 227642 HAS SOPS 227642 HAS SOUS 52903 HAS SOUPS 52903 WITH SCORE 53130.642
AT ITER 8185 NEW BEST:: SOT 739809 SOS 227642 HAS SOPS 227642 HAS SOUS 52881 HAS SOUPS 52881 WITH SCORE 53108.642
AT ITER 8212 NEW BEST:: SOT 739809 SOS 227642 HAS SOPS 227642 HAS SOUS 52868 HAS SOUPS 52868 WITH SCORE 53095.642
AT ITER 8222 NEW BEST:: SOT 739787 SOS 227619 HAS SOPS 227619 HAS SOUS 52825 HAS SOUPS 52825 WITH SCORE 53052.619
AT ITER 8232 NEW BEST:: SOT 739768 SOS 227606 HAS SOPS 227606 HAS SOUS 52812 HAS SOUPS 52812 WITH SCORE 53039.606
AT ITER 8270 NEW BEST:: SOT 739836 SOS 227706 HAS SOPS 227706 HAS SOUS 52743 HAS SOUPS 52743 WITH SCORE 52970.706
AT ITER 8402 NEW BEST:: SOT 739837 SOS 227693 HAS SOPS 227693 HAS SOUS 52730 HAS SOUPS 52730 WITH SCORE 52957.693
AT ITER 8412 NEW BEST:: SOT 739853 SOS 227683 HAS SOPS 227683 HAS SOUS 52725 HAS SOUPS 52725 WITH SCORE 52952.683
AT ITER 8420 NEW BEST:: SOT 739851 SOS 227679 HAS SOPS 227679 HAS SOUS 52723 HAS SOUPS 52723 WITH SCORE 52950.679
AT ITER 8460 NEW BEST:: SOT 739830 SOS 227669 HAS SOPS 227669 HAS SOUS 52700 HAS SOUPS 52700 WITH SCORE 52927.669
AT ITER 8487 NEW BEST:: SOT 739819 SOS 227658 HAS SOPS 227658 HAS SOUS 52689 HAS SOUPS 52689 WITH SCORE 52916.658
AT ITER 8496 NEW BEST:: SOT 739814 SOS 227658 HAS SOPS 227658 HAS SOUS 52673 HAS SOUPS 52673 WITH SCORE 52900.658
AT ITER 8499 NEW BEST:: SOT 739803 SOS 227688 HAS SOPS 227688 HAS SOUS 52662 HAS SOUPS 52662 WITH SCORE 52889.688
AT ITER 8571 NEW BEST:: SOT 739799 SOS 227680 HAS SOPS 227680 HAS SOUS 52658 HAS SOUPS 52658 WITH SCORE 52885.68
AT ITER 8574 NEW BEST:: SOT 739740 SOS 227562 HAS SOPS 227562 HAS SOUS 52604 HAS SOUPS 52604 WITH SCORE 52831.562
AT ITER 8638 NEW BEST:: SOT 739740 SOS 227562 HAS SOPS 227562 HAS SOUS 52558 HAS SOUPS 52558 WITH SCORE 52785.562
AT ITER 8644 NEW BEST:: SOT 739737 SOS 227553 HAS SOPS 227553 HAS SOUS 52552 HAS SOUPS 52552 WITH SCORE 52779.553
AT ITER 8673 NEW BEST:: SOT 739723 SOS 227539 HAS SOPS 227539 HAS SOUS 52524 HAS SOUPS 52524 WITH SCORE 52751.539
AT ITER 8745 NEW BEST:: SOT 739719 SOS 227480 HAS SOPS 227480 HAS SOUS 52516 HAS SOUPS 52516 WITH SCORE 52743.48
AT ITER 8791 NEW BEST:: SOT 739713 SOS 227468 HAS SOPS 227468 HAS SOUS 52504 HAS SOUPS 52504 WITH SCORE 52731.468
AT ITER 8797 NEW BEST:: SOT 739713 SOS 227460 HAS SOPS 227460 HAS SOUS 52504 HAS SOUPS 52504 WITH SCORE 52731.46
AT ITER 8809 NEW BEST:: SOT 739712 SOS 227458 HAS SOPS 227458 HAS SOUS 52502 HAS SOUPS 52502 WITH SCORE 52729.458
AT ITER 8880 NEW BEST:: SOT 739712 SOS 227480 HAS SOPS 227480 HAS SOUS 52337 HAS SOUPS 52337 WITH SCORE 52564.48
AT ITER 8897 NEW BEST:: SOT 739679 SOS 227460 HAS SOPS 227460 HAS SOUS 52304 HAS SOUPS 52304 WITH SCORE 52531.46
AT ITER 8939 NEW BEST:: SOT 739679 SOS 227429 HAS SOPS 227429 HAS SOUS 52273 HAS SOUPS 52273 WITH SCORE 52500.429
AT ITER 8943 NEW BEST:: SOT 739697 SOS 227384 HAS SOPS 227384 HAS SOUS 52102 HAS SOUPS 52102 WITH SCORE 52329.384
AT ITER 8964 NEW BEST:: SOT 739690 SOS 227377 HAS SOPS 227377 HAS SOUS 52102 HAS SOUPS 52102 WITH SCORE 52329.377
AT ITER 9016 NEW BEST:: SOT 739691 SOS 227379 HAS SOPS 227379 HAS SOUS 52091 HAS SOUPS 52091 WITH SCORE 52318.379
AT ITER 9046 NEW BEST:: SOT 739685 SOS 227367 HAS SOPS 227367 HAS SOUS 52079 HAS SOUPS 52079 WITH SCORE 52306.367
AT ITER 9060 NEW BEST:: SOT 739328 SOS 227010 HAS SOPS 227010 HAS SOUS 51802 HAS SOUPS 51802 WITH SCORE 52029.01
AT ITER 9172 NEW BEST:: SOT 739296 SOS 226946 HAS SOPS 226946 HAS SOUS 51752 HAS SOUPS 51752 WITH SCORE 51978.946
AT ITER 9180 NEW BEST:: SOT 739290 SOS 226934 HAS SOPS 226934 HAS SOUS 51740 HAS SOUPS 51740 WITH SCORE 51966.934
AT ITER 9226 NEW BEST:: SOT 739290 SOS 226871 HAS SOPS 226871 HAS SOUS 51740 HAS SOUPS 51740 WITH SCORE 51966.871
AT ITER 9228 NEW BEST:: SOT 739276 SOS 226907 HAS SOPS 226907 HAS SOUS 51726 HAS SOUPS 51726 WITH SCORE 51952.907
AT ITER 9229 NEW BEST:: SOT 739183 SOS 226721 HAS SOPS 226721 HAS SOUS 51588 HAS SOUPS 51588 WITH SCORE 51814.721
AT ITER 9243 NEW BEST:: SOT 739182 SOS 226719 HAS SOPS 226719 HAS SOUS 51586 HAS SOUPS 51586 WITH SCORE 51812.719
AT ITER 9286 NEW BEST:: SOT 739123 SOS 226601 HAS SOPS 226601 HAS SOUS 51380 HAS SOUPS 51380 WITH SCORE 51606.601
AT ITER 9366 NEW BEST:: SOT 739077 SOS 226549 HAS SOPS 226549 HAS SOUS 51294 HAS SOUPS 51294 WITH SCORE 51520.549
AT ITER 9384 NEW BEST:: SOT 739077 SOS 226538 HAS SOPS 226538 HAS SOUS 51283 HAS SOUPS 51283 WITH SCORE 51509.538
AT ITER 9459 NEW BEST:: SOT 739004 SOS 226392 HAS SOPS 226392 HAS SOUS 51137 HAS SOUPS 51137 WITH SCORE 51363.392
AT ITER 9471 NEW BEST:: SOT 738973 SOS 226374 HAS SOPS 226374 HAS SOUS 51112 HAS SOUPS 51112 WITH SCORE 51338.374
AT ITER 9477 NEW BEST:: SOT 738201 SOS 225598 HAS SOPS 225598 HAS SOUS 50340 HAS SOUPS 50340 WITH SCORE 50565.598
AT ITER 9511 NEW BEST:: SOT 738187 SOS 225304 HAS SOPS 225304 HAS SOUS 50302 HAS SOUPS 50302 WITH SCORE 50527.304
AT ITER 9562 NEW BEST:: SOT 738193 SOS 225304 HAS SOPS 225304 HAS SOUS 50296 HAS SOUPS 50296 WITH SCORE 50521.304
AT ITER 9627 NEW BEST:: SOT 738199 SOS 225316 HAS SOPS 225316 HAS SOUS 50279 HAS SOUPS 50279 WITH SCORE 50504.316
AT ITER 9656 NEW BEST:: SOT 738238 SOS 225314 HAS SOPS 225314 HAS SOUS 50278 HAS SOUPS 50278 WITH SCORE 50503.314
AT ITER 9688 NEW BEST:: SOT 738238 SOS 225318 HAS SOPS 225318 HAS SOUS 50274 HAS SOUPS 50274 WITH SCORE 50499.318
AT ITER 9692 NEW BEST:: SOT 738540 SOS 225646 HAS SOPS 225646 HAS SOUS 50260 HAS SOUPS 50260 WITH SCORE 50485.646
AT ITER 9714 NEW BEST:: SOT 738545 SOS 223294 HAS SOPS 223294 HAS SOUS 50248 HAS SOUPS 50248 WITH SCORE 50471.294
AT ITER 9749 NEW BEST:: SOT 738568 SOS 223260 HAS SOPS 223260 HAS SOUS 50231 HAS SOUPS 50231 WITH SCORE 50454.26
AT ITER 9856 NEW BEST:: SOT 738559 SOS 223251 HAS SOPS 223251 HAS SOUS 50204 HAS SOUPS 50204 WITH SCORE 50427.251
AT ITER 9859 NEW BEST:: SOT 738559 SOS 223156 HAS SOPS 223156 HAS SOUS 50204 HAS SOUPS 50204 WITH SCORE 50427.156
AT ITER 9860 NEW BEST:: SOT 738541 SOS 236979 HAS SOPS 236979 HAS SOUS 50186 HAS SOUPS 50186 WITH SCORE 50422.979
AT ITER 9895 NEW BEST:: SOT 738540 SOS 236977 HAS SOPS 236977 HAS SOUS 50184 HAS SOUPS 50184 WITH SCORE 50420.977
AT ITER 9921 NEW BEST:: SOT 738540 SOS 236949 HAS SOPS 236949 HAS SOUS 50174 HAS SOUPS 50174 WITH SCORE 50410.949
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 4820840 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16149744 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

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