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.r011-oct2-167813600500672.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 smartxred
Input is AutonomousCar-PT-09b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813600500672
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 7.2K Feb 25 12:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K Feb 25 12:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 25 12:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 25 12:56 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K 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.3K Feb 25 15:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.9K Feb 25 12:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 104K Feb 25 12:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 12:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 25 12:57 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 865K 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 1678741512667

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=AutonomousCar-PT-09b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 21:05:14] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 21:05:14] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 21:05:14] [INFO ] Load time of PNML (sax parser for PT used): 134 ms
[2023-03-13 21:05:14] [INFO ] Transformed 391 places.
[2023-03-13 21:05:14] [INFO ] Transformed 1554 transitions.
[2023-03-13 21:05:14] [INFO ] Found NUPN structural information;
[2023-03-13 21:05:14] [INFO ] Parsed PT model containing 391 places and 1554 transitions and 16243 arcs in 211 ms.
[2023-03-13 21:05:15] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 391 places, 1554 transitions and 16243 arcs took 34 ms.
Total runtime 278 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutonomousCar (PT), instance 09b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 391 places, 1554 transitions, 16243 arcs.
AT ITER 0 NEW BEST:: SOT 474892 SOS 151390 HAS SOPS 151390 HAS SOUS 88236 HAS SOUPS 88236 WITH SCORE 88387.39
AT ITER 1 NEW BEST:: SOT 474572 SOS 151041 HAS SOPS 151041 HAS SOUS 88202 HAS SOUPS 88202 WITH SCORE 88353.041
AT ITER 5 NEW BEST:: SOT 472259 SOS 148953 HAS SOPS 148953 HAS SOUS 85892 HAS SOUPS 85892 WITH SCORE 86040.953
AT ITER 8 NEW BEST:: SOT 472235 SOS 148931 HAS SOPS 148931 HAS SOUS 85873 HAS SOUPS 85873 WITH SCORE 86021.931
AT ITER 20 NEW BEST:: SOT 472234 SOS 148929 HAS SOPS 148929 HAS SOUS 85871 HAS SOUPS 85871 WITH SCORE 86019.929
AT ITER 31 NEW BEST:: SOT 472288 SOS 153445 HAS SOPS 153445 HAS SOUS 85167 HAS SOUPS 85167 WITH SCORE 85320.445
AT ITER 36 NEW BEST:: SOT 472288 SOS 153445 HAS SOPS 153445 HAS SOUS 85107 HAS SOUPS 85107 WITH SCORE 85260.445
AT ITER 51 NEW BEST:: SOT 472282 SOS 153439 HAS SOPS 153439 HAS SOUS 85101 HAS SOUPS 85101 WITH SCORE 85254.439
AT ITER 53 NEW BEST:: SOT 472228 SOS 153331 HAS SOPS 153331 HAS SOUS 84967 HAS SOUPS 84967 WITH SCORE 85120.331
AT ITER 55 NEW BEST:: SOT 472167 SOS 153310 HAS SOPS 153310 HAS SOUS 84935 HAS SOUPS 84935 WITH SCORE 85088.31
AT ITER 65 NEW BEST:: SOT 471690 SOS 152785 HAS SOPS 152785 HAS SOUS 84934 HAS SOUPS 84934 WITH SCORE 85086.785
AT ITER 68 NEW BEST:: SOT 471678 SOS 152773 HAS SOPS 152773 HAS SOUS 84910 HAS SOUPS 84910 WITH SCORE 85062.773
AT ITER 75 NEW BEST:: SOT 471678 SOS 152773 HAS SOPS 152773 HAS SOUS 84899 HAS SOUPS 84899 WITH SCORE 85051.773
AT ITER 82 NEW BEST:: SOT 471693 SOS 152788 HAS SOPS 152788 HAS SOUS 84786 HAS SOUPS 84786 WITH SCORE 84938.788
AT ITER 113 NEW BEST:: SOT 471686 SOS 152774 HAS SOPS 152774 HAS SOUS 84779 HAS SOUPS 84779 WITH SCORE 84931.774
AT ITER 119 NEW BEST:: SOT 471650 SOS 152742 HAS SOPS 152742 HAS SOUS 84747 HAS SOUPS 84747 WITH SCORE 84899.742
AT ITER 121 NEW BEST:: SOT 471724 SOS 152726 HAS SOPS 152726 HAS SOUS 83964 HAS SOUPS 83964 WITH SCORE 84116.726
AT ITER 133 NEW BEST:: SOT 472186 SOS 153244 HAS SOPS 153244 HAS SOUS 83687 HAS SOUPS 83687 WITH SCORE 83840.244
AT ITER 134 NEW BEST:: SOT 472168 SOS 153226 HAS SOPS 153226 HAS SOUS 83651 HAS SOUPS 83651 WITH SCORE 83804.226
AT ITER 147 NEW BEST:: SOT 472163 SOS 153216 HAS SOPS 153216 HAS SOUS 83641 HAS SOUPS 83641 WITH SCORE 83794.216
AT ITER 157 NEW BEST:: SOT 472163 SOS 153179 HAS SOPS 153179 HAS SOUS 83641 HAS SOUPS 83641 WITH SCORE 83794.179
AT ITER 183 NEW BEST:: SOT 472156 SOS 153165 HAS SOPS 153165 HAS SOUS 83627 HAS SOUPS 83627 WITH SCORE 83780.165
AT ITER 187 NEW BEST:: SOT 472145 SOS 153143 HAS SOPS 153143 HAS SOUS 83605 HAS SOUPS 83605 WITH SCORE 83758.143
AT ITER 194 NEW BEST:: SOT 472142 SOS 153160 HAS SOPS 153160 HAS SOUS 83602 HAS SOUPS 83602 WITH SCORE 83755.16
AT ITER 199 NEW BEST:: SOT 472099 SOS 153017 HAS SOPS 153017 HAS SOUS 80423 HAS SOUPS 80423 WITH SCORE 80576.017
AT ITER 212 NEW BEST:: SOT 472099 SOS 153017 HAS SOPS 153017 HAS SOUS 80379 HAS SOUPS 80379 WITH SCORE 80532.017
AT ITER 219 NEW BEST:: SOT 472005 SOS 152987 HAS SOPS 152987 HAS SOUS 80339 HAS SOUPS 80339 WITH SCORE 80491.987
AT ITER 237 NEW BEST:: SOT 472002 SOS 152981 HAS SOPS 152981 HAS SOUS 80333 HAS SOUPS 80333 WITH SCORE 80485.981
AT ITER 238 NEW BEST:: SOT 472000 SOS 152977 HAS SOPS 152977 HAS SOUS 79856 HAS SOUPS 79856 WITH SCORE 80008.977
AT ITER 265 NEW BEST:: SOT 471425 SOS 152409 HAS SOPS 152409 HAS SOUS 79796 HAS SOUPS 79796 WITH SCORE 79948.409
AT ITER 270 NEW BEST:: SOT 471430 SOS 152419 HAS SOPS 152419 HAS SOUS 79763 HAS SOUPS 79763 WITH SCORE 79915.419
AT ITER 286 NEW BEST:: SOT 471420 SOS 152399 HAS SOPS 152399 HAS SOUS 79758 HAS SOUPS 79758 WITH SCORE 79910.399
AT ITER 289 NEW BEST:: SOT 471442 SOS 152443 HAS SOPS 152443 HAS SOUS 79652 HAS SOUPS 79652 WITH SCORE 79804.443
AT ITER 327 NEW BEST:: SOT 471437 SOS 152433 HAS SOPS 152433 HAS SOUS 79642 HAS SOUPS 79642 WITH SCORE 79794.433
AT ITER 344 NEW BEST:: SOT 471438 SOS 152435 HAS SOPS 152435 HAS SOUS 79633 HAS SOUPS 79633 WITH SCORE 79785.435
AT ITER 363 NEW BEST:: SOT 471496 SOS 152409 HAS SOPS 152409 HAS SOUS 79236 HAS SOUPS 79236 WITH SCORE 79388.409
AT ITER 364 NEW BEST:: SOT 471510 SOS 154339 HAS SOPS 154339 HAS SOUS 79135 HAS SOUPS 79135 WITH SCORE 79289.339
AT ITER 371 NEW BEST:: SOT 471457 SOS 154166 HAS SOPS 154166 HAS SOUS 79082 HAS SOUPS 79082 WITH SCORE 79236.166
AT ITER 382 NEW BEST:: SOT 471454 SOS 154127 HAS SOPS 154127 HAS SOUS 78302 HAS SOUPS 78302 WITH SCORE 78456.127
AT ITER 383 NEW BEST:: SOT 470556 SOS 153159 HAS SOPS 153159 HAS SOUS 77764 HAS SOUPS 77764 WITH SCORE 77917.159
AT ITER 397 NEW BEST:: SOT 470550 SOS 153147 HAS SOPS 153147 HAS SOUS 77752 HAS SOUPS 77752 WITH SCORE 77905.147
AT ITER 404 NEW BEST:: SOT 470538 SOS 153146 HAS SOPS 153146 HAS SOUS 77751 HAS SOUPS 77751 WITH SCORE 77904.146
AT ITER 410 NEW BEST:: SOT 470536 SOS 153152 HAS SOPS 153152 HAS SOUS 77405 HAS SOUPS 77405 WITH SCORE 77558.152
AT ITER 418 NEW BEST:: SOT 470535 SOS 153151 HAS SOPS 153151 HAS SOUS 77403 HAS SOUPS 77403 WITH SCORE 77556.151
AT ITER 420 NEW BEST:: SOT 470494 SOS 153110 HAS SOPS 153110 HAS SOUS 77362 HAS SOUPS 77362 WITH SCORE 77515.11
AT ITER 435 NEW BEST:: SOT 470574 SOS 153094 HAS SOPS 153094 HAS SOUS 77044 HAS SOUPS 77044 WITH SCORE 77197.094
AT ITER 438 NEW BEST:: SOT 470493 SOS 148486 HAS SOPS 148486 HAS SOUS 76980 HAS SOUPS 76980 WITH SCORE 77128.486
AT ITER 440 NEW BEST:: SOT 470486 SOS 148493 HAS SOPS 148493 HAS SOUS 76973 HAS SOUPS 76973 WITH SCORE 77121.493
AT ITER 460 NEW BEST:: SOT 469629 SOS 147965 HAS SOPS 147965 HAS SOUS 76914 HAS SOUPS 76914 WITH SCORE 77061.965
AT ITER 482 NEW BEST:: SOT 469327 SOS 147615 HAS SOPS 147615 HAS SOUS 76880 HAS SOUPS 76880 WITH SCORE 77027.615
AT ITER 492 NEW BEST:: SOT 469318 SOS 147597 HAS SOPS 147597 HAS SOUS 76871 HAS SOUPS 76871 WITH SCORE 77018.597
AT ITER 493 NEW BEST:: SOT 469272 SOS 147551 HAS SOPS 147551 HAS SOUS 76825 HAS SOUPS 76825 WITH SCORE 76972.551
AT ITER 519 NEW BEST:: SOT 469247 SOS 145840 HAS SOPS 145840 HAS SOUS 76793 HAS SOUPS 76793 WITH SCORE 76938.84
AT ITER 520 NEW BEST:: SOT 469261 SOS 145840 HAS SOPS 145840 HAS SOUS 76779 HAS SOUPS 76779 WITH SCORE 76924.84
AT ITER 529 NEW BEST:: SOT 469138 SOS 166668 HAS SOPS 166668 HAS SOUS 76656 HAS SOUPS 76656 WITH SCORE 76822.668
AT ITER 534 NEW BEST:: SOT 469125 SOS 166658 HAS SOPS 166658 HAS SOUS 76643 HAS SOUPS 76643 WITH SCORE 76809.658
AT ITER 535 NEW BEST:: SOT 469120 SOS 166666 HAS SOPS 166666 HAS SOUS 76638 HAS SOUPS 76638 WITH SCORE 76804.666
AT ITER 550 NEW BEST:: SOT 469120 SOS 166666 HAS SOPS 166666 HAS SOUS 76631 HAS SOUPS 76631 WITH SCORE 76797.666
AT ITER 553 NEW BEST:: SOT 469082 SOS 166518 HAS SOPS 166518 HAS SOUS 72561 HAS SOUPS 72561 WITH SCORE 72727.518
AT ITER 555 NEW BEST:: SOT 469063 SOS 166522 HAS SOPS 166522 HAS SOUS 72523 HAS SOUPS 72523 WITH SCORE 72689.522
AT ITER 564 NEW BEST:: SOT 469032 SOS 166501 HAS SOPS 166501 HAS SOUS 72497 HAS SOUPS 72497 WITH SCORE 72663.501
AT ITER 583 NEW BEST:: SOT 469001 SOS 166461 HAS SOPS 166461 HAS SOUS 72457 HAS SOUPS 72457 WITH SCORE 72623.461
AT ITER 585 NEW BEST:: SOT 469005 SOS 166465 HAS SOPS 166465 HAS SOUS 72421 HAS SOUPS 72421 WITH SCORE 72587.465
AT ITER 642 NEW BEST:: SOT 469003 SOS 166501 HAS SOPS 166501 HAS SOUS 72417 HAS SOUPS 72417 WITH SCORE 72583.501
AT ITER 651 NEW BEST:: SOT 469002 SOS 166529 HAS SOPS 166529 HAS SOUS 72415 HAS SOUPS 72415 WITH SCORE 72581.529
AT ITER 653 NEW BEST:: SOT 468884 SOS 166377 HAS SOPS 166377 HAS SOUS 72249 HAS SOUPS 72249 WITH SCORE 72415.377
AT ITER 660 NEW BEST:: SOT 468847 SOS 166303 HAS SOPS 166303 HAS SOUS 72212 HAS SOUPS 72212 WITH SCORE 72378.303
AT ITER 661 NEW BEST:: SOT 468847 SOS 164805 HAS SOPS 164805 HAS SOUS 72189 HAS SOUPS 72189 WITH SCORE 72353.805
AT ITER 668 NEW BEST:: SOT 468841 SOS 164776 HAS SOPS 164776 HAS SOUS 72177 HAS SOUPS 72177 WITH SCORE 72341.776
AT ITER 699 NEW BEST:: SOT 468816 SOS 164701 HAS SOPS 164701 HAS SOUS 72127 HAS SOUPS 72127 WITH SCORE 72291.701
AT ITER 718 NEW BEST:: SOT 468813 SOS 164695 HAS SOPS 164695 HAS SOUS 72123 HAS SOUPS 72123 WITH SCORE 72287.695
AT ITER 724 NEW BEST:: SOT 468725 SOS 164673 HAS SOPS 164673 HAS SOUS 72101 HAS SOUPS 72101 WITH SCORE 72265.673
AT ITER 731 NEW BEST:: SOT 468725 SOS 164688 HAS SOPS 164688 HAS SOUS 72094 HAS SOUPS 72094 WITH SCORE 72258.688
AT ITER 732 NEW BEST:: SOT 468698 SOS 164634 HAS SOPS 164634 HAS SOUS 72054 HAS SOUPS 72054 WITH SCORE 72218.634
AT ITER 751 NEW BEST:: SOT 468689 SOS 164667 HAS SOPS 164667 HAS SOUS 72045 HAS SOUPS 72045 WITH SCORE 72209.667
AT ITER 752 NEW BEST:: SOT 468688 SOS 164665 HAS SOPS 164665 HAS SOUS 72043 HAS SOUPS 72043 WITH SCORE 72207.665
AT ITER 766 NEW BEST:: SOT 468662 SOS 164619 HAS SOPS 164619 HAS SOUS 71997 HAS SOUPS 71997 WITH SCORE 72161.619
AT ITER 780 NEW BEST:: SOT 468656 SOS 164611 HAS SOPS 164611 HAS SOUS 71987 HAS SOUPS 71987 WITH SCORE 72151.611
AT ITER 783 NEW BEST:: SOT 468656 SOS 164611 HAS SOPS 164611 HAS SOUS 71945 HAS SOUPS 71945 WITH SCORE 72109.611
AT ITER 784 NEW BEST:: SOT 468656 SOS 164611 HAS SOPS 164611 HAS SOUS 71885 HAS SOUPS 71885 WITH SCORE 72049.611
AT ITER 801 NEW BEST:: SOT 468646 SOS 164601 HAS SOPS 164601 HAS SOUS 71875 HAS SOUPS 71875 WITH SCORE 72039.601
AT ITER 803 NEW BEST:: SOT 468621 SOS 163877 HAS SOPS 163877 HAS SOUS 71855 HAS SOUPS 71855 WITH SCORE 72018.877
AT ITER 809 NEW BEST:: SOT 468595 SOS 163825 HAS SOPS 163825 HAS SOUS 71803 HAS SOUPS 71803 WITH SCORE 71966.825
AT ITER 815 NEW BEST:: SOT 468589 SOS 163813 HAS SOPS 163813 HAS SOUS 71797 HAS SOUPS 71797 WITH SCORE 71960.813
AT ITER 844 NEW BEST:: SOT 468583 SOS 163754 HAS SOPS 163754 HAS SOUS 71780 HAS SOUPS 71780 WITH SCORE 71943.754
AT ITER 861 NEW BEST:: SOT 468031 SOS 163217 HAS SOPS 163217 HAS SOUS 71554 HAS SOUPS 71554 WITH SCORE 71717.217
AT ITER 864 NEW BEST:: SOT 467920 SOS 163106 HAS SOPS 163106 HAS SOUS 71355 HAS SOUPS 71355 WITH SCORE 71518.106
AT ITER 890 NEW BEST:: SOT 467853 SOS 163072 HAS SOPS 163072 HAS SOUS 71302 HAS SOUPS 71302 WITH SCORE 71465.072
AT ITER 926 NEW BEST:: SOT 467853 SOS 163072 HAS SOPS 163072 HAS SOUS 71299 HAS SOUPS 71299 WITH SCORE 71462.072
AT ITER 930 NEW BEST:: SOT 467557 SOS 161956 HAS SOPS 161956 HAS SOUS 70934 HAS SOUPS 70934 WITH SCORE 71095.956
AT ITER 950 NEW BEST:: SOT 467399 SOS 161759 HAS SOPS 161759 HAS SOUS 70737 HAS SOUPS 70737 WITH SCORE 70898.759
AT ITER 954 NEW BEST:: SOT 467399 SOS 161759 HAS SOPS 161759 HAS SOUS 70712 HAS SOUPS 70712 WITH SCORE 70873.759
AT ITER 956 NEW BEST:: SOT 466871 SOS 161230 HAS SOPS 161230 HAS SOUS 69595 HAS SOUPS 69595 WITH SCORE 69756.23
AT ITER 959 NEW BEST:: SOT 466854 SOS 161227 HAS SOPS 161227 HAS SOUS 69592 HAS SOUPS 69592 WITH SCORE 69753.227
AT ITER 965 NEW BEST:: SOT 466858 SOS 161230 HAS SOPS 161230 HAS SOUS 69591 HAS SOUPS 69591 WITH SCORE 69752.23
AT ITER 977 NEW BEST:: SOT 466809 SOS 161222 HAS SOPS 161222 HAS SOUS 69564 HAS SOUPS 69564 WITH SCORE 69725.222
AT ITER 978 NEW BEST:: SOT 465945 SOS 160345 HAS SOPS 160345 HAS SOUS 68926 HAS SOUPS 68926 WITH SCORE 69086.345
AT ITER 983 NEW BEST:: SOT 465945 SOS 160344 HAS SOPS 160344 HAS SOUS 68919 HAS SOUPS 68919 WITH SCORE 69079.344
AT ITER 1000 NEW BEST:: SOT 465064 SOS 160251 HAS SOPS 160251 HAS SOUS 68529 HAS SOUPS 68529 WITH SCORE 68689.251
AT ITER 1015 NEW BEST:: SOT 465064 SOS 160250 HAS SOPS 160250 HAS SOUS 68529 HAS SOUPS 68529 WITH SCORE 68689.25
AT ITER 1024 NEW BEST:: SOT 465034 SOS 160182 HAS SOPS 160182 HAS SOUS 68526 HAS SOUPS 68526 WITH SCORE 68686.182
AT ITER 1064 NEW BEST:: SOT 465033 SOS 160188 HAS SOPS 160188 HAS SOUS 68524 HAS SOUPS 68524 WITH SCORE 68684.188
AT ITER 1071 NEW BEST:: SOT 465037 SOS 160135 HAS SOPS 160135 HAS SOUS 68500 HAS SOUPS 68500 WITH SCORE 68660.135
AT ITER 1073 NEW BEST:: SOT 465192 SOS 160175 HAS SOPS 160175 HAS SOUS 67419 HAS SOUPS 67419 WITH SCORE 67579.175
AT ITER 1081 NEW BEST:: SOT 465210 SOS 160191 HAS SOPS 160191 HAS SOUS 67390 HAS SOUPS 67390 WITH SCORE 67550.191
AT ITER 1090 NEW BEST:: SOT 465200 SOS 160171 HAS SOPS 160171 HAS SOUS 67370 HAS SOUPS 67370 WITH SCORE 67530.171
AT ITER 1127 NEW BEST:: SOT 465194 SOS 160063 HAS SOPS 160063 HAS SOUS 67358 HAS SOUPS 67358 WITH SCORE 67518.063
AT ITER 1147 NEW BEST:: SOT 465196 SOS 160067 HAS SOPS 160067 HAS SOUS 67289 HAS SOUPS 67289 WITH SCORE 67449.067
AT ITER 1154 NEW BEST:: SOT 465194 SOS 160063 HAS SOPS 160063 HAS SOUS 67287 HAS SOUPS 67287 WITH SCORE 67447.063
AT ITER 1183 NEW BEST:: SOT 465190 SOS 160063 HAS SOPS 160063 HAS SOUS 67279 HAS SOUPS 67279 WITH SCORE 67439.063
AT ITER 1191 NEW BEST:: SOT 465173 SOS 160057 HAS SOPS 160057 HAS SOUS 67273 HAS SOUPS 67273 WITH SCORE 67433.057
AT ITER 1195 NEW BEST:: SOT 465161 SOS 160059 HAS SOPS 160059 HAS SOUS 67265 HAS SOUPS 67265 WITH SCORE 67425.059
AT ITER 1204 NEW BEST:: SOT 464494 SOS 159333 HAS SOPS 159333 HAS SOUS 66598 HAS SOUPS 66598 WITH SCORE 66757.333
AT ITER 1233 NEW BEST:: SOT 464492 SOS 159353 HAS SOPS 159353 HAS SOUS 66596 HAS SOUPS 66596 WITH SCORE 66755.353
AT ITER 1256 NEW BEST:: SOT 464168 SOS 159011 HAS SOPS 159011 HAS SOUS 66236 HAS SOUPS 66236 WITH SCORE 66395.011
AT ITER 1259 NEW BEST:: SOT 464168 SOS 159008 HAS SOPS 159008 HAS SOUS 66233 HAS SOUPS 66233 WITH SCORE 66392.008
AT ITER 1268 NEW BEST:: SOT 464162 SOS 158999 HAS SOPS 158999 HAS SOUS 66224 HAS SOUPS 66224 WITH SCORE 66382.999
AT ITER 1282 NEW BEST:: SOT 464155 SOS 158985 HAS SOPS 158985 HAS SOUS 66205 HAS SOUPS 66205 WITH SCORE 66363.985
AT ITER 1302 NEW BEST:: SOT 463983 SOS 158882 HAS SOPS 158882 HAS SOUS 66069 HAS SOUPS 66069 WITH SCORE 66227.882
AT ITER 1310 NEW BEST:: SOT 463977 SOS 158864 HAS SOPS 158864 HAS SOUS 66057 HAS SOUPS 66057 WITH SCORE 66215.864
AT ITER 1314 NEW BEST:: SOT 463967 SOS 158844 HAS SOPS 158844 HAS SOUS 65967 HAS SOUPS 65967 WITH SCORE 66125.844
AT ITER 1321 NEW BEST:: SOT 463966 SOS 158786 HAS SOPS 158786 HAS SOUS 65960 HAS SOUPS 65960 WITH SCORE 66118.786
AT ITER 1329 NEW BEST:: SOT 463959 SOS 158772 HAS SOPS 158772 HAS SOUS 65950 HAS SOUPS 65950 WITH SCORE 66108.772
AT ITER 1344 NEW BEST:: SOT 463915 SOS 158684 HAS SOPS 158684 HAS SOUS 65880 HAS SOUPS 65880 WITH SCORE 66038.684
AT ITER 1386 NEW BEST:: SOT 463914 SOS 158682 HAS SOPS 158682 HAS SOUS 65879 HAS SOUPS 65879 WITH SCORE 66037.682
AT ITER 1390 NEW BEST:: SOT 463938 SOS 158868 HAS SOPS 158868 HAS SOUS 61440 HAS SOUPS 61440 WITH SCORE 61598.868
AT ITER 1407 NEW BEST:: SOT 463912 SOS 158844 HAS SOPS 158844 HAS SOUS 61411 HAS SOUPS 61411 WITH SCORE 61569.844
AT ITER 1431 NEW BEST:: SOT 463864 SOS 158748 HAS SOPS 158748 HAS SOUS 61367 HAS SOUPS 61367 WITH SCORE 61525.748
AT ITER 1437 NEW BEST:: SOT 463828 SOS 158710 HAS SOPS 158710 HAS SOUS 61293 HAS SOUPS 61293 WITH SCORE 61451.71
AT ITER 1456 NEW BEST:: SOT 463791 SOS 158673 HAS SOPS 158673 HAS SOUS 61256 HAS SOUPS 61256 WITH SCORE 61414.673
AT ITER 1469 NEW BEST:: SOT 463736 SOS 158606 HAS SOPS 158606 HAS SOUS 60977 HAS SOUPS 60977 WITH SCORE 61135.606
AT ITER 1470 NEW BEST:: SOT 463736 SOS 158606 HAS SOPS 158606 HAS SOUS 60968 HAS SOUPS 60968 WITH SCORE 61126.606
AT ITER 1471 NEW BEST:: SOT 463731 SOS 158635 HAS SOPS 158635 HAS SOUS 60958 HAS SOUPS 60958 WITH SCORE 61116.635
AT ITER 1502 NEW BEST:: SOT 463717 SOS 158589 HAS SOPS 158589 HAS SOUS 60931 HAS SOUPS 60931 WITH SCORE 61089.589
AT ITER 1541 NEW BEST:: SOT 465489 SOS 160431 HAS SOPS 160431 HAS SOUS 60219 HAS SOUPS 60219 WITH SCORE 60379.431
AT ITER 1598 NEW BEST:: SOT 465478 SOS 160335 HAS SOPS 160335 HAS SOUS 60146 HAS SOUPS 60146 WITH SCORE 60306.335
AT ITER 1607 NEW BEST:: SOT 465478 SOS 160312 HAS SOPS 160312 HAS SOUS 60125 HAS SOUPS 60125 WITH SCORE 60285.312
AT ITER 1609 NEW BEST:: SOT 465479 SOS 160186 HAS SOPS 160186 HAS SOUS 60043 HAS SOUPS 60043 WITH SCORE 60203.186
AT ITER 1610 NEW BEST:: SOT 465432 SOS 159922 HAS SOPS 159922 HAS SOUS 59975 HAS SOUPS 59975 WITH SCORE 60134.922
AT ITER 1621 NEW BEST:: SOT 465440 SOS 159920 HAS SOPS 159920 HAS SOUS 59974 HAS SOUPS 59974 WITH SCORE 60133.92
AT ITER 1691 NEW BEST:: SOT 465436 SOS 159364 HAS SOPS 159364 HAS SOUS 59962 HAS SOUPS 59962 WITH SCORE 60121.364
AT ITER 1708 NEW BEST:: SOT 465435 SOS 159362 HAS SOPS 159362 HAS SOUS 59960 HAS SOUPS 59960 WITH SCORE 60119.362
AT ITER 1719 NEW BEST:: SOT 465414 SOS 159418 HAS SOPS 159418 HAS SOUS 59939 HAS SOUPS 59939 WITH SCORE 60098.418
AT ITER 1731 NEW BEST:: SOT 465403 SOS 159396 HAS SOPS 159396 HAS SOUS 59917 HAS SOUPS 59917 WITH SCORE 60076.396
AT ITER 1758 NEW BEST:: SOT 465387 SOS 159364 HAS SOPS 159364 HAS SOUS 59261 HAS SOUPS 59261 WITH SCORE 59420.364
AT ITER 1770 NEW BEST:: SOT 465387 SOS 159322 HAS SOPS 159322 HAS SOUS 59130 HAS SOUPS 59130 WITH SCORE 59289.322
AT ITER 1771 NEW BEST:: SOT 465367 SOS 159230 HAS SOPS 159230 HAS SOUS 59058 HAS SOUPS 59058 WITH SCORE 59217.23
AT ITER 1785 NEW BEST:: SOT 465364 SOS 159224 HAS SOPS 159224 HAS SOUS 59052 HAS SOUPS 59052 WITH SCORE 59211.224
AT ITER 1790 NEW BEST:: SOT 465356 SOS 159224 HAS SOPS 159224 HAS SOUS 59036 HAS SOUPS 59036 WITH SCORE 59195.224
AT ITER 1793 NEW BEST:: SOT 465346 SOS 159214 HAS SOPS 159214 HAS SOUS 59036 HAS SOUPS 59036 WITH SCORE 59195.214
AT ITER 1809 NEW BEST:: SOT 464982 SOS 158734 HAS SOPS 158734 HAS SOUS 58546 HAS SOUPS 58546 WITH SCORE 58704.734
AT ITER 1841 NEW BEST:: SOT 464982 SOS 158734 HAS SOPS 158734 HAS SOUS 58544 HAS SOUPS 58544 WITH SCORE 58702.734
AT ITER 1869 NEW BEST:: SOT 464956 SOS 154054 HAS SOPS 154054 HAS SOUS 58243 HAS SOUPS 58243 WITH SCORE 58397.054
AT ITER 1888 NEW BEST:: SOT 464944 SOS 154043 HAS SOPS 154043 HAS SOUS 58209 HAS SOUPS 58209 WITH SCORE 58363.043
AT ITER 1913 NEW BEST:: SOT 464955 SOS 153398 HAS SOPS 153398 HAS SOUS 58122 HAS SOUPS 58122 WITH SCORE 58275.398
AT ITER 1914 NEW BEST:: SOT 464937 SOS 153350 HAS SOPS 153350 HAS SOUS 58056 HAS SOUPS 58056 WITH SCORE 58209.35
AT ITER 1948 NEW BEST:: SOT 464929 SOS 153334 HAS SOPS 153334 HAS SOUS 58040 HAS SOUPS 58040 WITH SCORE 58193.334
AT ITER 1955 NEW BEST:: SOT 464920 SOS 153319 HAS SOPS 153319 HAS SOUS 58028 HAS SOUPS 58028 WITH SCORE 58181.319
AT ITER 1994 NEW BEST:: SOT 464897 SOS 153273 HAS SOPS 153273 HAS SOUS 57982 HAS SOUPS 57982 WITH SCORE 58135.273
AT ITER 2010 NEW BEST:: SOT 464873 SOS 153319 HAS SOPS 153319 HAS SOUS 57977 HAS SOUPS 57977 WITH SCORE 58130.319
AT ITER 2066 NEW BEST:: SOT 464873 SOS 153314 HAS SOPS 153314 HAS SOUS 57977 HAS SOUPS 57977 WITH SCORE 58130.314
AT ITER 2091 NEW BEST:: SOT 464854 SOS 151532 HAS SOPS 151532 HAS SOUS 57902 HAS SOUPS 57902 WITH SCORE 58053.532
AT ITER 2114 NEW BEST:: SOT 464847 SOS 151518 HAS SOPS 151518 HAS SOUS 57888 HAS SOUPS 57888 WITH SCORE 58039.518
AT ITER 2137 NEW BEST:: SOT 464675 SOS 151326 HAS SOPS 151326 HAS SOUS 57885 HAS SOUPS 57885 WITH SCORE 58036.326
AT ITER 2199 NEW BEST:: SOT 464675 SOS 151328 HAS SOPS 151328 HAS SOUS 57853 HAS SOUPS 57853 WITH SCORE 58004.328
AT ITER 2217 NEW BEST:: SOT 464652 SOS 151180 HAS SOPS 151180 HAS SOUS 57659 HAS SOUPS 57659 WITH SCORE 57810.18
AT ITER 2224 NEW BEST:: SOT 464595 SOS 151066 HAS SOPS 151066 HAS SOUS 57610 HAS SOUPS 57610 WITH SCORE 57761.066
AT ITER 2229 NEW BEST:: SOT 464793 SOS 151264 HAS SOPS 151264 HAS SOUS 57504 HAS SOUPS 57504 WITH SCORE 57655.264
AT ITER 2248 NEW BEST:: SOT 464840 SOS 151525 HAS SOPS 151525 HAS SOUS 57415 HAS SOUPS 57415 WITH SCORE 57566.525
AT ITER 2305 NEW BEST:: SOT 464836 SOS 151517 HAS SOPS 151517 HAS SOUS 57407 HAS SOUPS 57407 WITH SCORE 57558.517
AT ITER 2309 NEW BEST:: SOT 464684 SOS 166523 HAS SOPS 166523 HAS SOUS 57211 HAS SOUPS 57211 WITH SCORE 57377.523
AT ITER 2358 NEW BEST:: SOT 464684 SOS 166523 HAS SOPS 166523 HAS SOUS 57203 HAS SOUPS 57203 WITH SCORE 57369.523
AT ITER 2359 NEW BEST:: SOT 464558 SOS 166397 HAS SOPS 166397 HAS SOUS 56944 HAS SOUPS 56944 WITH SCORE 57110.397
AT ITER 2372 NEW BEST:: SOT 464550 SOS 166438 HAS SOPS 166438 HAS SOUS 56733 HAS SOUPS 56733 WITH SCORE 56899.438
AT ITER 2445 NEW BEST:: SOT 464547 SOS 166432 HAS SOPS 166432 HAS SOUS 56727 HAS SOUPS 56727 WITH SCORE 56893.432
AT ITER 2455 NEW BEST:: SOT 464546 SOS 166430 HAS SOPS 166430 HAS SOUS 56725 HAS SOUPS 56725 WITH SCORE 56891.43
AT ITER 2478 NEW BEST:: SOT 464547 SOS 166432 HAS SOPS 166432 HAS SOUS 56713 HAS SOUPS 56713 WITH SCORE 56879.432
AT ITER 2490 NEW BEST:: SOT 464532 SOS 166428 HAS SOPS 166428 HAS SOUS 56694 HAS SOUPS 56694 WITH SCORE 56860.428
AT ITER 2493 NEW BEST:: SOT 464531 SOS 166426 HAS SOPS 166426 HAS SOUS 56680 HAS SOUPS 56680 WITH SCORE 56846.426
AT ITER 2501 NEW BEST:: SOT 464531 SOS 166426 HAS SOPS 166426 HAS SOUS 56678 HAS SOUPS 56678 WITH SCORE 56844.426
AT ITER 2502 NEW BEST:: SOT 464407 SOS 166297 HAS SOPS 166297 HAS SOUS 56549 HAS SOUPS 56549 WITH SCORE 56715.297
AT ITER 2550 NEW BEST:: SOT 463906 SOS 165804 HAS SOPS 165804 HAS SOUS 55895 HAS SOUPS 55895 WITH SCORE 56060.804
AT ITER 2554 NEW BEST:: SOT 463904 SOS 165800 HAS SOPS 165800 HAS SOUS 55891 HAS SOUPS 55891 WITH SCORE 56056.8
AT ITER 2555 NEW BEST:: SOT 463899 SOS 165790 HAS SOPS 165790 HAS SOUS 55886 HAS SOUPS 55886 WITH SCORE 56051.79
AT ITER 2569 NEW BEST:: SOT 463894 SOS 165785 HAS SOPS 165785 HAS SOUS 55881 HAS SOUPS 55881 WITH SCORE 56046.785
AT ITER 2576 NEW BEST:: SOT 463859 SOS 165051 HAS SOPS 165051 HAS SOUS 55820 HAS SOUPS 55820 WITH SCORE 55985.051
AT ITER 2579 NEW BEST:: SOT 463857 SOS 165019 HAS SOPS 165019 HAS SOUS 55788 HAS SOUPS 55788 WITH SCORE 55953.019
AT ITER 2582 NEW BEST:: SOT 463764 SOS 164776 HAS SOPS 164776 HAS SOUS 55659 HAS SOUPS 55659 WITH SCORE 55823.776
AT ITER 2598 NEW BEST:: SOT 463764 SOS 164776 HAS SOPS 164776 HAS SOUS 55652 HAS SOUPS 55652 WITH SCORE 55816.776
AT ITER 2611 NEW BEST:: SOT 463789 SOS 164826 HAS SOPS 164826 HAS SOUS 55638 HAS SOUPS 55638 WITH SCORE 55802.826
AT ITER 2627 NEW BEST:: SOT 463735 SOS 164752 HAS SOPS 164752 HAS SOUS 55556 HAS SOUPS 55556 WITH SCORE 55720.752
AT ITER 2686 NEW BEST:: SOT 463727 SOS 164744 HAS SOPS 164744 HAS SOUS 55548 HAS SOUPS 55548 WITH SCORE 55712.744
AT ITER 2714 NEW BEST:: SOT 463725 SOS 164740 HAS SOPS 164740 HAS SOUS 55544 HAS SOUPS 55544 WITH SCORE 55708.74
AT ITER 2761 NEW BEST:: SOT 463869 SOS 164919 HAS SOPS 164919 HAS SOUS 55237 HAS SOUPS 55237 WITH SCORE 55401.919
AT ITER 2763 NEW BEST:: SOT 463878 SOS 164982 HAS SOPS 164982 HAS SOUS 55140 HAS SOUPS 55140 WITH SCORE 55304.982
AT ITER 2765 NEW BEST:: SOT 463878 SOS 164982 HAS SOPS 164982 HAS SOUS 55083 HAS SOUPS 55083 WITH SCORE 55247.982
AT ITER 2790 NEW BEST:: SOT 463878 SOS 164982 HAS SOPS 164982 HAS SOUS 55054 HAS SOUPS 55054 WITH SCORE 55218.982
AT ITER 2793 NEW BEST:: SOT 463875 SOS 165000 HAS SOPS 165000 HAS SOUS 55048 HAS SOUPS 55048 WITH SCORE 55213.0
AT ITER 2797 NEW BEST:: SOT 463872 SOS 164937 HAS SOPS 164937 HAS SOUS 55042 HAS SOUPS 55042 WITH SCORE 55206.937
AT ITER 2823 NEW BEST:: SOT 463854 SOS 164937 HAS SOPS 164937 HAS SOUS 54997 HAS SOUPS 54997 WITH SCORE 55161.937
AT ITER 2842 NEW BEST:: SOT 463890 SOS 164981 HAS SOPS 164981 HAS SOUS 54969 HAS SOUPS 54969 WITH SCORE 55133.981
AT ITER 2845 NEW BEST:: SOT 463890 SOS 164907 HAS SOPS 164907 HAS SOUS 54969 HAS SOUPS 54969 WITH SCORE 55133.907
AT ITER 2856 NEW BEST:: SOT 463886 SOS 164903 HAS SOPS 164903 HAS SOUS 54965 HAS SOUPS 54965 WITH SCORE 55129.903
AT ITER 2882 NEW BEST:: SOT 463868 SOS 164867 HAS SOPS 164867 HAS SOUS 54929 HAS SOUPS 54929 WITH SCORE 55093.867
AT ITER 2896 NEW BEST:: SOT 463800 SOS 164849 HAS SOPS 164849 HAS SOUS 54920 HAS SOUPS 54920 WITH SCORE 55084.849
AT ITER 2898 NEW BEST:: SOT 463763 SOS 164845 HAS SOPS 164845 HAS SOUS 54916 HAS SOUPS 54916 WITH SCORE 55080.845
AT ITER 2910 NEW BEST:: SOT 463753 SOS 164825 HAS SOPS 164825 HAS SOUS 54896 HAS SOUPS 54896 WITH SCORE 55060.825
AT ITER 2948 NEW BEST:: SOT 463749 SOS 164817 HAS SOPS 164817 HAS SOUS 54888 HAS SOUPS 54888 WITH SCORE 55052.817
AT ITER 2983 NEW BEST:: SOT 463746 SOS 173056 HAS SOPS 173056 HAS SOUS 54865 HAS SOUPS 54865 WITH SCORE 55038.056
AT ITER 2993 NEW BEST:: SOT 463744 SOS 173058 HAS SOPS 173058 HAS SOUS 54863 HAS SOUPS 54863 WITH SCORE 55036.058
AT ITER 2996 NEW BEST:: SOT 461602 SOS 171024 HAS SOPS 171024 HAS SOUS 53937 HAS SOUPS 53937 WITH SCORE 54108.024
AT ITER 3047 NEW BEST:: SOT 462099 SOS 171422 HAS SOPS 171422 HAS SOUS 53464 HAS SOUPS 53464 WITH SCORE 53635.422
AT ITER 3052 NEW BEST:: SOT 462099 SOS 171413 HAS SOPS 171413 HAS SOUS 53455 HAS SOUPS 53455 WITH SCORE 53626.413
AT ITER 3086 NEW BEST:: SOT 462092 SOS 171427 HAS SOPS 171427 HAS SOUS 53454 HAS SOUPS 53454 WITH SCORE 53625.427
AT ITER 3098 NEW BEST:: SOT 461854 SOS 171189 HAS SOPS 171189 HAS SOUS 53293 HAS SOUPS 53293 WITH SCORE 53464.189
AT ITER 3107 NEW BEST:: SOT 461853 SOS 171187 HAS SOPS 171187 HAS SOUS 53291 HAS SOUPS 53291 WITH SCORE 53462.187
AT ITER 3109 NEW BEST:: SOT 461841 SOS 171175 HAS SOPS 171175 HAS SOUS 53279 HAS SOUPS 53279 WITH SCORE 53450.175
AT ITER 3116 NEW BEST:: SOT 461836 SOS 171203 HAS SOPS 171203 HAS SOUS 53236 HAS SOUPS 53236 WITH SCORE 53407.203
AT ITER 3126 NEW BEST:: SOT 461824 SOS 171065 HAS SOPS 171065 HAS SOUS 53212 HAS SOUPS 53212 WITH SCORE 53383.065
AT ITER 3131 NEW BEST:: SOT 461809 SOS 171035 HAS SOPS 171035 HAS SOUS 53182 HAS SOUPS 53182 WITH SCORE 53353.035
AT ITER 3194 NEW BEST:: SOT 461791 SOS 170999 HAS SOPS 170999 HAS SOUS 53146 HAS SOUPS 53146 WITH SCORE 53316.999
AT ITER 3200 NEW BEST:: SOT 461773 SOS 170981 HAS SOPS 170981 HAS SOUS 53128 HAS SOUPS 53128 WITH SCORE 53298.981
AT ITER 3227 NEW BEST:: SOT 461784 SOS 171003 HAS SOPS 171003 HAS SOUS 53120 HAS SOUPS 53120 WITH SCORE 53291.003
AT ITER 3228 NEW BEST:: SOT 461778 SOS 170991 HAS SOPS 170991 HAS SOUS 53108 HAS SOUPS 53108 WITH SCORE 53278.991
AT ITER 3230 NEW BEST:: SOT 461778 SOS 170903 HAS SOPS 170903 HAS SOUS 53049 HAS SOUPS 53049 WITH SCORE 53219.903
AT ITER 3231 NEW BEST:: SOT 461757 SOS 170839 HAS SOPS 170839 HAS SOUS 49828 HAS SOUPS 49828 WITH SCORE 49998.839
AT ITER 3235 NEW BEST:: SOT 461751 SOS 170832 HAS SOPS 170832 HAS SOUS 49823 HAS SOUPS 49823 WITH SCORE 49993.832
AT ITER 3262 NEW BEST:: SOT 461751 SOS 170827 HAS SOPS 170827 HAS SOUS 49818 HAS SOUPS 49818 WITH SCORE 49988.827
AT ITER 3283 NEW BEST:: SOT 461751 SOS 170827 HAS SOPS 170827 HAS SOUS 49817 HAS SOUPS 49817 WITH SCORE 49987.827
AT ITER 3309 NEW BEST:: SOT 461755 SOS 170820 HAS SOPS 170820 HAS SOUS 49815 HAS SOUPS 49815 WITH SCORE 49985.82
AT ITER 3340 NEW BEST:: SOT 461752 SOS 170814 HAS SOPS 170814 HAS SOUS 49809 HAS SOUPS 49809 WITH SCORE 49979.814
AT ITER 3381 NEW BEST:: SOT 461751 SOS 170812 HAS SOPS 170812 HAS SOUS 49807 HAS SOUPS 49807 WITH SCORE 49977.812
AT ITER 3422 NEW BEST:: SOT 461717 SOS 170744 HAS SOPS 170744 HAS SOUS 49739 HAS SOUPS 49739 WITH SCORE 49909.744
AT ITER 3431 NEW BEST:: SOT 461672 SOS 170592 HAS SOPS 170592 HAS SOUS 49649 HAS SOUPS 49649 WITH SCORE 49819.592
AT ITER 3442 NEW BEST:: SOT 461580 SOS 170500 HAS SOPS 170500 HAS SOUS 49621 HAS SOUPS 49621 WITH SCORE 49791.5
AT ITER 3458 NEW BEST:: SOT 461579 SOS 170496 HAS SOPS 170496 HAS SOUS 49371 HAS SOUPS 49371 WITH SCORE 49541.496
AT ITER 3528 NEW BEST:: SOT 461558 SOS 170454 HAS SOPS 170454 HAS SOUS 49329 HAS SOUPS 49329 WITH SCORE 49499.454
AT ITER 3594 NEW BEST:: SOT 461519 SOS 170449 HAS SOPS 170449 HAS SOUS 49324 HAS SOUPS 49324 WITH SCORE 49494.449
AT ITER 3623 NEW BEST:: SOT 461519 SOS 170442 HAS SOPS 170442 HAS SOUS 49317 HAS SOUPS 49317 WITH SCORE 49487.442
AT ITER 3665 NEW BEST:: SOT 461515 SOS 170434 HAS SOPS 170434 HAS SOUS 49309 HAS SOUPS 49309 WITH SCORE 49479.434
AT ITER 3675 NEW BEST:: SOT 461515 SOS 170406 HAS SOPS 170406 HAS SOUS 49295 HAS SOUPS 49295 WITH SCORE 49465.406
AT ITER 3683 NEW BEST:: SOT 461528 SOS 170419 HAS SOPS 170419 HAS SOUS 48930 HAS SOUPS 48930 WITH SCORE 49100.419
AT ITER 3717 NEW BEST:: SOT 461494 SOS 170351 HAS SOPS 170351 HAS SOUS 48862 HAS SOUPS 48862 WITH SCORE 49032.351
AT ITER 3739 NEW BEST:: SOT 461489 SOS 170341 HAS SOPS 170341 HAS SOUS 48857 HAS SOUPS 48857 WITH SCORE 49027.341
AT ITER 3790 NEW BEST:: SOT 461503 SOS 170403 HAS SOPS 170403 HAS SOUS 48841 HAS SOUPS 48841 WITH SCORE 49011.403
AT ITER 3837 NEW BEST:: SOT 461501 SOS 170399 HAS SOPS 170399 HAS SOUS 48837 HAS SOUPS 48837 WITH SCORE 49007.399
AT ITER 3867 NEW BEST:: SOT 461237 SOS 170123 HAS SOPS 170123 HAS SOUS 48561 HAS SOUPS 48561 WITH SCORE 48731.123
AT ITER 3888 NEW BEST:: SOT 461228 SOS 175919 HAS SOPS 175919 HAS SOUS 48543 HAS SOUPS 48543 WITH SCORE 48718.919
AT ITER 3901 NEW BEST:: SOT 461228 SOS 175911 HAS SOPS 175911 HAS SOUS 48527 HAS SOUPS 48527 WITH SCORE 48702.911
AT ITER 3914 NEW BEST:: SOT 461221 SOS 175897 HAS SOPS 175897 HAS SOUS 48520 HAS SOUPS 48520 WITH SCORE 48695.897
AT ITER 3938 NEW BEST:: SOT 461220 SOS 175896 HAS SOPS 175896 HAS SOUS 48519 HAS SOUPS 48519 WITH SCORE 48694.896
AT ITER 3985 NEW BEST:: SOT 461217 SOS 175890 HAS SOPS 175890 HAS SOUS 48513 HAS SOUPS 48513 WITH SCORE 48688.89
AT ITER 3988 NEW BEST:: SOT 461134 SOS 175724 HAS SOPS 175724 HAS SOUS 48469 HAS SOUPS 48469 WITH SCORE 48644.724
AT ITER 4001 NEW BEST:: SOT 461132 SOS 175725 HAS SOPS 175725 HAS SOUS 48462 HAS SOUPS 48462 WITH SCORE 48637.725
AT ITER 4041 NEW BEST:: SOT 461132 SOS 175723 HAS SOPS 175723 HAS SOUS 48462 HAS SOUPS 48462 WITH SCORE 48637.723
AT ITER 4043 NEW BEST:: SOT 461098 SOS 175655 HAS SOPS 175655 HAS SOUS 48394 HAS SOUPS 48394 WITH SCORE 48569.655
AT ITER 4079 NEW BEST:: SOT 460906 SOS 175459 HAS SOPS 175459 HAS SOUS 48236 HAS SOUPS 48236 WITH SCORE 48411.459
AT ITER 4081 NEW BEST:: SOT 460888 SOS 175441 HAS SOPS 175441 HAS SOUS 48200 HAS SOUPS 48200 WITH SCORE 48375.441
AT ITER 4132 NEW BEST:: SOT 460936 SOS 175489 HAS SOPS 175489 HAS SOUS 48130 HAS SOUPS 48130 WITH SCORE 48305.489
AT ITER 4139 NEW BEST:: SOT 460945 SOS 175520 HAS SOPS 175520 HAS SOUS 48127 HAS SOUPS 48127 WITH SCORE 48302.52
AT ITER 4187 NEW BEST:: SOT 460945 SOS 175501 HAS SOPS 175501 HAS SOUS 48127 HAS SOUPS 48127 WITH SCORE 48302.501
AT ITER 4195 NEW BEST:: SOT 460940 SOS 175491 HAS SOPS 175491 HAS SOUS 48117 HAS SOUPS 48117 WITH SCORE 48292.491
AT ITER 4228 NEW BEST:: SOT 460924 SOS 175507 HAS SOPS 175507 HAS SOUS 48037 HAS SOUPS 48037 WITH SCORE 48212.507
AT ITER 4287 NEW BEST:: SOT 460924 SOS 175477 HAS SOPS 175477 HAS SOUS 48037 HAS SOUPS 48037 WITH SCORE 48212.477
AT ITER 4325 NEW BEST:: SOT 460924 SOS 175460 HAS SOPS 175460 HAS SOUS 48037 HAS SOUPS 48037 WITH SCORE 48212.46
AT ITER 4336 NEW BEST:: SOT 460926 SOS 175464 HAS SOPS 175464 HAS SOUS 48019 HAS SOUPS 48019 WITH SCORE 48194.464
AT ITER 4344 NEW BEST:: SOT 460909 SOS 175430 HAS SOPS 175430 HAS SOUS 47985 HAS SOUPS 47985 WITH SCORE 48160.43
AT ITER 4350 NEW BEST:: SOT 460916 SOS 175444 HAS SOPS 175444 HAS SOUS 47874 HAS SOUPS 47874 WITH SCORE 48049.444
AT ITER 4358 NEW BEST:: SOT 459975 SOS 174490 HAS SOPS 174490 HAS SOUS 47254 HAS SOUPS 47254 WITH SCORE 47428.49
AT ITER 4399 NEW BEST:: SOT 459975 SOS 174490 HAS SOPS 174490 HAS SOUS 47246 HAS SOUPS 47246 WITH SCORE 47420.49
AT ITER 4424 NEW BEST:: SOT 459971 SOS 174436 HAS SOPS 174436 HAS SOUS 47210 HAS SOUPS 47210 WITH SCORE 47384.436
AT ITER 4440 NEW BEST:: SOT 459953 SOS 174414 HAS SOPS 174414 HAS SOUS 47172 HAS SOUPS 47172 WITH SCORE 47346.414
AT ITER 4452 NEW BEST:: SOT 459953 SOS 174367 HAS SOPS 174367 HAS SOUS 47172 HAS SOUPS 47172 WITH SCORE 47346.367
AT ITER 4504 NEW BEST:: SOT 459953 SOS 174390 HAS SOPS 174390 HAS SOUS 47019 HAS SOUPS 47019 WITH SCORE 47193.39
AT ITER 4505 NEW BEST:: SOT 459957 SOS 174398 HAS SOPS 174398 HAS SOUS 46994 HAS SOUPS 46994 WITH SCORE 47168.398
AT ITER 4523 NEW BEST:: SOT 459957 SOS 174372 HAS SOPS 174372 HAS SOUS 46994 HAS SOUPS 46994 WITH SCORE 47168.372
AT ITER 4558 NEW BEST:: SOT 459723 SOS 174131 HAS SOPS 174131 HAS SOUS 46833 HAS SOUPS 46833 WITH SCORE 47007.131
AT ITER 4622 NEW BEST:: SOT 459728 SOS 174158 HAS SOPS 174158 HAS SOUS 46829 HAS SOUPS 46829 WITH SCORE 47003.158
AT ITER 4759 NEW BEST:: SOT 459756 SOS 174214 HAS SOPS 174214 HAS SOUS 46551 HAS SOUPS 46551 WITH SCORE 46725.214
AT ITER 4808 NEW BEST:: SOT 459542 SOS 173920 HAS SOPS 173920 HAS SOUS 46502 HAS SOUPS 46502 WITH SCORE 46675.92
AT ITER 4838 NEW BEST:: SOT 459502 SOS 173900 HAS SOPS 173900 HAS SOUS 46334 HAS SOUPS 46334 WITH SCORE 46507.9
AT ITER 4861 NEW BEST:: SOT 459494 SOS 173847 HAS SOPS 173847 HAS SOUS 46289 HAS SOUPS 46289 WITH SCORE 46462.847
AT ITER 4882 NEW BEST:: SOT 459493 SOS 173845 HAS SOPS 173845 HAS SOUS 46287 HAS SOUPS 46287 WITH SCORE 46460.845
AT ITER 4925 NEW BEST:: SOT 459479 SOS 173817 HAS SOPS 173817 HAS SOUS 46259 HAS SOUPS 46259 WITH SCORE 46432.817
AT ITER 4950 NEW BEST:: SOT 459478 SOS 173815 HAS SOPS 173815 HAS SOUS 46249 HAS SOUPS 46249 WITH SCORE 46422.815
AT ITER 4958 NEW BEST:: SOT 459478 SOS 173815 HAS SOPS 173815 HAS SOUS 46248 HAS SOUPS 46248 WITH SCORE 46421.815
AT ITER 4990 NEW BEST:: SOT 459478 SOS 173815 HAS SOPS 173815 HAS SOUS 46238 HAS SOUPS 46238 WITH SCORE 46411.815
AT ITER 5001 NEW BEST:: SOT 459437 SOS 173799 HAS SOPS 173799 HAS SOUS 46220 HAS SOUPS 46220 WITH SCORE 46393.799
AT ITER 5074 NEW BEST:: SOT 459437 SOS 173788 HAS SOPS 173788 HAS SOUS 46213 HAS SOUPS 46213 WITH SCORE 46386.788
AT ITER 5075 NEW BEST:: SOT 459467 SOS 173848 HAS SOPS 173848 HAS SOUS 46201 HAS SOUPS 46201 WITH SCORE 46374.848
AT ITER 5112 NEW BEST:: SOT 458874 SOS 173226 HAS SOPS 173226 HAS SOUS 46099 HAS SOUPS 46099 WITH SCORE 46272.226
AT ITER 5132 NEW BEST:: SOT 458766 SOS 173118 HAS SOPS 173118 HAS SOUS 45991 HAS SOUPS 45991 WITH SCORE 46164.118
AT ITER 5154 NEW BEST:: SOT 458745 SOS 173060 HAS SOPS 173060 HAS SOUS 45961 HAS SOUPS 45961 WITH SCORE 46134.06
AT ITER 5162 NEW BEST:: SOT 458711 SOS 173025 HAS SOPS 173025 HAS SOUS 45924 HAS SOUPS 45924 WITH SCORE 46097.025
AT ITER 5172 NEW BEST:: SOT 458693 SOS 173007 HAS SOPS 173007 HAS SOUS 45887 HAS SOUPS 45887 WITH SCORE 46060.007
AT ITER 5238 NEW BEST:: SOT 458652 SOS 173007 HAS SOPS 173007 HAS SOUS 45664 HAS SOUPS 45664 WITH SCORE 45837.007
AT ITER 5249 NEW BEST:: SOT 458658 SOS 173013 HAS SOPS 173013 HAS SOUS 45658 HAS SOUPS 45658 WITH SCORE 45831.013
AT ITER 5252 NEW BEST:: SOT 458656 SOS 173009 HAS SOPS 173009 HAS SOUS 45654 HAS SOUPS 45654 WITH SCORE 45827.009
AT ITER 5279 NEW BEST:: SOT 458638 SOS 172997 HAS SOPS 172997 HAS SOUS 45642 HAS SOUPS 45642 WITH SCORE 45814.997
AT ITER 5313 NEW BEST:: SOT 458617 SOS 172995 HAS SOPS 172995 HAS SOUS 45640 HAS SOUPS 45640 WITH SCORE 45812.995
AT ITER 5371 NEW BEST:: SOT 458623 SOS 173007 HAS SOPS 173007 HAS SOUS 45594 HAS SOUPS 45594 WITH SCORE 45767.007
AT ITER 5390 NEW BEST:: SOT 458614 SOS 173007 HAS SOPS 173007 HAS SOUS 45576 HAS SOUPS 45576 WITH SCORE 45749.007
AT ITER 5425 NEW BEST:: SOT 458602 SOS 172983 HAS SOPS 172983 HAS SOUS 45564 HAS SOUPS 45564 WITH SCORE 45736.983
AT ITER 5428 NEW BEST:: SOT 458585 SOS 172949 HAS SOPS 172949 HAS SOUS 45541 HAS SOUPS 45541 WITH SCORE 45713.949
AT ITER 5442 NEW BEST:: SOT 458569 SOS 172917 HAS SOPS 172917 HAS SOUS 45525 HAS SOUPS 45525 WITH SCORE 45697.917
AT ITER 5478 NEW BEST:: SOT 458566 SOS 172914 HAS SOPS 172914 HAS SOUS 45522 HAS SOUPS 45522 WITH SCORE 45694.914
AT ITER 5522 NEW BEST:: SOT 458564 SOS 172912 HAS SOPS 172912 HAS SOUS 45519 HAS SOUPS 45519 WITH SCORE 45691.912
AT ITER 5553 NEW BEST:: SOT 458561 SOS 172906 HAS SOPS 172906 HAS SOUS 45484 HAS SOUPS 45484 WITH SCORE 45656.906
AT ITER 5610 NEW BEST:: SOT 458555 SOS 172854 HAS SOPS 172854 HAS SOUS 44690 HAS SOUPS 44690 WITH SCORE 44862.854
AT ITER 5617 NEW BEST:: SOT 458555 SOS 172854 HAS SOPS 172854 HAS SOUS 44680 HAS SOUPS 44680 WITH SCORE 44852.854
AT ITER 5665 NEW BEST:: SOT 458170 SOS 172951 HAS SOPS 172951 HAS SOUS 44292 HAS SOUPS 44292 WITH SCORE 44464.951
AT ITER 5666 NEW BEST:: SOT 458159 SOS 172960 HAS SOPS 172960 HAS SOUS 44281 HAS SOUPS 44281 WITH SCORE 44453.96
AT ITER 5689 NEW BEST:: SOT 458153 SOS 172948 HAS SOPS 172948 HAS SOUS 44269 HAS SOUPS 44269 WITH SCORE 44441.948
AT ITER 5691 NEW BEST:: SOT 458152 SOS 172947 HAS SOPS 172947 HAS SOUS 44267 HAS SOUPS 44267 WITH SCORE 44439.947
AT ITER 5704 NEW BEST:: SOT 458135 SOS 172913 HAS SOPS 172913 HAS SOUS 44250 HAS SOUPS 44250 WITH SCORE 44422.913
AT ITER 5731 NEW BEST:: SOT 458092 SOS 187947 HAS SOPS 187947 HAS SOUS 44188 HAS SOUPS 44188 WITH SCORE 44375.947
AT ITER 5758 NEW BEST:: SOT 458048 SOS 188002 HAS SOPS 188002 HAS SOUS 44144 HAS SOUPS 44144 WITH SCORE 44332.002
AT ITER 5759 NEW BEST:: SOT 458020 SOS 187973 HAS SOPS 187973 HAS SOUS 44142 HAS SOUPS 44142 WITH SCORE 44329.973
AT ITER 5783 NEW BEST:: SOT 458000 SOS 187953 HAS SOPS 187953 HAS SOUS 44005 HAS SOUPS 44005 WITH SCORE 44192.953
AT ITER 5823 NEW BEST:: SOT 457991 SOS 187953 HAS SOPS 187953 HAS SOUS 43923 HAS SOUPS 43923 WITH SCORE 44110.953
AT ITER 5855 NEW BEST:: SOT 457965 SOS 187941 HAS SOPS 187941 HAS SOUS 43911 HAS SOUPS 43911 WITH SCORE 44098.941
AT ITER 5859 NEW BEST:: SOT 457853 SOS 187829 HAS SOPS 187829 HAS SOUS 43799 HAS SOUPS 43799 WITH SCORE 43986.829
AT ITER 5911 NEW BEST:: SOT 457854 SOS 187828 HAS SOPS 187828 HAS SOUS 43798 HAS SOUPS 43798 WITH SCORE 43985.828
AT ITER 5929 NEW BEST:: SOT 457850 SOS 187824 HAS SOPS 187824 HAS SOUS 43794 HAS SOUPS 43794 WITH SCORE 43981.824
AT ITER 5944 NEW BEST:: SOT 457817 SOS 187650 HAS SOPS 187650 HAS SOUS 43761 HAS SOUPS 43761 WITH SCORE 43948.65
AT ITER 5953 NEW BEST:: SOT 457813 SOS 187696 HAS SOPS 187696 HAS SOUS 43753 HAS SOUPS 43753 WITH SCORE 43940.696
AT ITER 5988 NEW BEST:: SOT 457811 SOS 187694 HAS SOPS 187694 HAS SOUS 43751 HAS SOUPS 43751 WITH SCORE 43938.694
AT ITER 6047 NEW BEST:: SOT 457806 SOS 187684 HAS SOPS 187684 HAS SOUS 43741 HAS SOUPS 43741 WITH SCORE 43928.684
AT ITER 6092 NEW BEST:: SOT 457803 SOS 187678 HAS SOPS 187678 HAS SOUS 43738 HAS SOUPS 43738 WITH SCORE 43925.678
AT ITER 6163 NEW BEST:: SOT 457769 SOS 187655 HAS SOPS 187655 HAS SOUS 43715 HAS SOUPS 43715 WITH SCORE 43902.655
AT ITER 6176 NEW BEST:: SOT 457769 SOS 187586 HAS SOPS 187586 HAS SOUS 43692 HAS SOUPS 43692 WITH SCORE 43879.586
AT ITER 6204 NEW BEST:: SOT 457769 SOS 187579 HAS SOPS 187579 HAS SOUS 43692 HAS SOUPS 43692 WITH SCORE 43879.579
AT ITER 6217 NEW BEST:: SOT 457759 SOS 187569 HAS SOPS 187569 HAS SOUS 43692 HAS SOUPS 43692 WITH SCORE 43879.569
AT ITER 6222 NEW BEST:: SOT 457744 SOS 187557 HAS SOPS 187557 HAS SOUS 43676 HAS SOUPS 43676 WITH SCORE 43863.557
AT ITER 6274 NEW BEST:: SOT 457671 SOS 187483 HAS SOPS 187483 HAS SOUS 43602 HAS SOUPS 43602 WITH SCORE 43789.483
AT ITER 6281 NEW BEST:: SOT 457657 SOS 187455 HAS SOPS 187455 HAS SOUS 43574 HAS SOUPS 43574 WITH SCORE 43761.455
AT ITER 6324 NEW BEST:: SOT 457631 SOS 187432 HAS SOPS 187432 HAS SOUS 43519 HAS SOUPS 43519 WITH SCORE 43706.432
AT ITER 6335 NEW BEST:: SOT 457588 SOS 187311 HAS SOPS 187311 HAS SOUS 43468 HAS SOUPS 43468 WITH SCORE 43655.311
AT ITER 6390 NEW BEST:: SOT 457588 SOS 187311 HAS SOPS 187311 HAS SOUS 43451 HAS SOUPS 43451 WITH SCORE 43638.311
AT ITER 6472 NEW BEST:: SOT 457588 SOS 187283 HAS SOPS 187283 HAS SOUS 43443 HAS SOUPS 43443 WITH SCORE 43630.283
AT ITER 6473 NEW BEST:: SOT 457582 SOS 187248 HAS SOPS 187248 HAS SOUS 42727 HAS SOUPS 42727 WITH SCORE 42914.248
AT ITER 6494 NEW BEST:: SOT 457630 SOS 187218 HAS SOPS 187218 HAS SOUS 42647 HAS SOUPS 42647 WITH SCORE 42834.218
AT ITER 6511 NEW BEST:: SOT 457626 SOS 187218 HAS SOPS 187218 HAS SOUS 42611 HAS SOUPS 42611 WITH SCORE 42798.218
AT ITER 6522 NEW BEST:: SOT 457626 SOS 187218 HAS SOPS 187218 HAS SOUS 42609 HAS SOUPS 42609 WITH SCORE 42796.218
AT ITER 6562 NEW BEST:: SOT 457663 SOS 187218 HAS SOPS 187218 HAS SOUS 42607 HAS SOUPS 42607 WITH SCORE 42794.218
AT ITER 6571 NEW BEST:: SOT 457657 SOS 187217 HAS SOPS 187217 HAS SOUS 42605 HAS SOUPS 42605 WITH SCORE 42792.217
AT ITER 6578 NEW BEST:: SOT 457531 SOS 187077 HAS SOPS 187077 HAS SOUS 42472 HAS SOUPS 42472 WITH SCORE 42659.077
AT ITER 6615 NEW BEST:: SOT 457517 SOS 187049 HAS SOPS 187049 HAS SOUS 42444 HAS SOUPS 42444 WITH SCORE 42631.049
AT ITER 6690 NEW BEST:: SOT 457514 SOS 187043 HAS SOPS 187043 HAS SOUS 42438 HAS SOUPS 42438 WITH SCORE 42625.043
AT ITER 6706 NEW BEST:: SOT 457514 SOS 187043 HAS SOPS 187043 HAS SOUS 42410 HAS SOUPS 42410 WITH SCORE 42597.043
AT ITER 6736 NEW BEST:: SOT 457514 SOS 187043 HAS SOPS 187043 HAS SOUS 42408 HAS SOUPS 42408 WITH SCORE 42595.043
AT ITER 6750 NEW BEST:: SOT 457509 SOS 187033 HAS SOPS 187033 HAS SOUS 42398 HAS SOUPS 42398 WITH SCORE 42585.033
AT ITER 6768 NEW BEST:: SOT 457501 SOS 187017 HAS SOPS 187017 HAS SOUS 42392 HAS SOUPS 42392 WITH SCORE 42579.017
AT ITER 6837 NEW BEST:: SOT 457496 SOS 187007 HAS SOPS 187007 HAS SOUS 42387 HAS SOUPS 42387 WITH SCORE 42574.007
AT ITER 6853 NEW BEST:: SOT 457496 SOS 187016 HAS SOPS 187016 HAS SOUS 42371 HAS SOUPS 42371 WITH SCORE 42558.016
AT ITER 6872 NEW BEST:: SOT 457418 SOS 186938 HAS SOPS 186938 HAS SOUS 42293 HAS SOUPS 42293 WITH SCORE 42479.938
AT ITER 6891 NEW BEST:: SOT 457404 SOS 186910 HAS SOPS 186910 HAS SOUS 42265 HAS SOUPS 42265 WITH SCORE 42451.91
AT ITER 6936 NEW BEST:: SOT 457397 SOS 186896 HAS SOPS 186896 HAS SOUS 42251 HAS SOUPS 42251 WITH SCORE 42437.896
AT ITER 6951 NEW BEST:: SOT 457394 SOS 186885 HAS SOPS 186885 HAS SOUS 42248 HAS SOUPS 42248 WITH SCORE 42434.885
AT ITER 6999 NEW BEST:: SOT 457391 SOS 186882 HAS SOPS 186882 HAS SOUS 42242 HAS SOUPS 42242 WITH SCORE 42428.882
AT ITER 7014 NEW BEST:: SOT 457364 SOS 186882 HAS SOPS 186882 HAS SOUS 42206 HAS SOUPS 42206 WITH SCORE 42392.882
AT ITER 7105 NEW BEST:: SOT 457358 SOS 186873 HAS SOPS 186873 HAS SOUS 42197 HAS SOUPS 42197 WITH SCORE 42383.873
AT ITER 7117 NEW BEST:: SOT 456843 SOS 186364 HAS SOPS 186364 HAS SOUS 41682 HAS SOUPS 41682 WITH SCORE 41868.364
AT ITER 7133 NEW BEST:: SOT 456829 SOS 186322 HAS SOPS 186322 HAS SOUS 41468 HAS SOUPS 41468 WITH SCORE 41654.322
AT ITER 7134 NEW BEST:: SOT 456844 SOS 186370 HAS SOPS 186370 HAS SOUS 41465 HAS SOUPS 41465 WITH SCORE 41651.37
AT ITER 7135 NEW BEST:: SOT 456837 SOS 186363 HAS SOPS 186363 HAS SOUS 41458 HAS SOUPS 41458 WITH SCORE 41644.363
AT ITER 7147 NEW BEST:: SOT 456832 SOS 186358 HAS SOPS 186358 HAS SOUS 41453 HAS SOUPS 41453 WITH SCORE 41639.358
AT ITER 7177 NEW BEST:: SOT 456849 SOS 186392 HAS SOPS 186392 HAS SOUS 41439 HAS SOUPS 41439 WITH SCORE 41625.392
AT ITER 7198 NEW BEST:: SOT 456825 SOS 186344 HAS SOPS 186344 HAS SOUS 41422 HAS SOUPS 41422 WITH SCORE 41608.344
AT ITER 7211 NEW BEST:: SOT 456816 SOS 186335 HAS SOPS 186335 HAS SOUS 41413 HAS SOUPS 41413 WITH SCORE 41599.335
AT ITER 7248 NEW BEST:: SOT 456793 SOS 186312 HAS SOPS 186312 HAS SOUS 41339 HAS SOUPS 41339 WITH SCORE 41525.312
AT ITER 7272 NEW BEST:: SOT 456758 SOS 186178 HAS SOPS 186178 HAS SOUS 41240 HAS SOUPS 41240 WITH SCORE 41426.178
AT ITER 7273 NEW BEST:: SOT 456750 SOS 186162 HAS SOPS 186162 HAS SOUS 41224 HAS SOUPS 41224 WITH SCORE 41410.162
AT ITER 7294 NEW BEST:: SOT 456745 SOS 186161 HAS SOPS 186161 HAS SOUS 41223 HAS SOUPS 41223 WITH SCORE 41409.161
AT ITER 7337 NEW BEST:: SOT 456743 SOS 186159 HAS SOPS 186159 HAS SOUS 41221 HAS SOUPS 41221 WITH SCORE 41407.159
AT ITER 7366 NEW BEST:: SOT 456734 SOS 186132 HAS SOPS 186132 HAS SOUS 41203 HAS SOUPS 41203 WITH SCORE 41389.132
AT ITER 7367 NEW BEST:: SOT 456734 SOS 186129 HAS SOPS 186129 HAS SOUS 41200 HAS SOUPS 41200 WITH SCORE 41386.129
AT ITER 7471 NEW BEST:: SOT 456428 SOS 185806 HAS SOPS 185806 HAS SOUS 40860 HAS SOUPS 40860 WITH SCORE 41045.806
AT ITER 7529 NEW BEST:: SOT 456414 SOS 185732 HAS SOPS 185732 HAS SOUS 40860 HAS SOUPS 40860 WITH SCORE 41045.732
AT ITER 7530 NEW BEST:: SOT 456414 SOS 185732 HAS SOPS 185732 HAS SOUS 40844 HAS SOUPS 40844 WITH SCORE 41029.732
AT ITER 7596 NEW BEST:: SOT 456408 SOS 185720 HAS SOPS 185720 HAS SOUS 40832 HAS SOUPS 40832 WITH SCORE 41017.72
AT ITER 7705 NEW BEST:: SOT 456405 SOS 187658 HAS SOPS 187658 HAS SOUS 40829 HAS SOUPS 40829 WITH SCORE 41016.658
AT ITER 7729 NEW BEST:: SOT 456449 SOS 187846 HAS SOPS 187846 HAS SOUS 40823 HAS SOUPS 40823 WITH SCORE 41010.846
AT ITER 7763 NEW BEST:: SOT 456449 SOS 187841 HAS SOPS 187841 HAS SOUS 40823 HAS SOUPS 40823 WITH SCORE 41010.841
AT ITER 7767 NEW BEST:: SOT 456411 SOS 187765 HAS SOPS 187765 HAS SOUS 40747 HAS SOUPS 40747 WITH SCORE 40934.765
AT ITER 7832 NEW BEST:: SOT 456416 SOS 187753 HAS SOPS 187753 HAS SOUS 40735 HAS SOUPS 40735 WITH SCORE 40922.753
AT ITER 7840 NEW BEST:: SOT 456413 SOS 187747 HAS SOPS 187747 HAS SOUS 40729 HAS SOUPS 40729 WITH SCORE 40916.747
AT ITER 7847 NEW BEST:: SOT 456412 SOS 187745 HAS SOPS 187745 HAS SOUS 40705 HAS SOUPS 40705 WITH SCORE 40892.745
AT ITER 7890 NEW BEST:: SOT 456408 SOS 187727 HAS SOPS 187727 HAS SOUS 40697 HAS SOUPS 40697 WITH SCORE 40884.727
AT ITER 7891 NEW BEST:: SOT 456407 SOS 187724 HAS SOPS 187724 HAS SOUS 40695 HAS SOUPS 40695 WITH SCORE 40882.724
AT ITER 7893 NEW BEST:: SOT 456407 SOS 187723 HAS SOPS 187723 HAS SOUS 40694 HAS SOUPS 40694 WITH SCORE 40881.723
AT ITER 7986 NEW BEST:: SOT 456399 SOS 187737 HAS SOPS 187737 HAS SOUS 40678 HAS SOUPS 40678 WITH SCORE 40865.737
AT ITER 8003 NEW BEST:: SOT 456406 SOS 187751 HAS SOPS 187751 HAS SOUS 40667 HAS SOUPS 40667 WITH SCORE 40854.751
AT ITER 8010 NEW BEST:: SOT 456407 SOS 187743 HAS SOPS 187743 HAS SOUS 40659 HAS SOUPS 40659 WITH SCORE 40846.743
AT ITER 8055 NEW BEST:: SOT 456404 SOS 187737 HAS SOPS 187737 HAS SOUS 40658 HAS SOUPS 40658 WITH SCORE 40845.737
AT ITER 8087 NEW BEST:: SOT 456397 SOS 187723 HAS SOPS 187723 HAS SOUS 40644 HAS SOUPS 40644 WITH SCORE 40831.723
AT ITER 8134 NEW BEST:: SOT 456385 SOS 187723 HAS SOPS 187723 HAS SOUS 40632 HAS SOUPS 40632 WITH SCORE 40819.723
AT ITER 8146 NEW BEST:: SOT 454029 SOS 185367 HAS SOPS 185367 HAS SOUS 38377 HAS SOUPS 38377 WITH SCORE 38562.367
AT ITER 8178 NEW BEST:: SOT 454060 SOS 185498 HAS SOPS 185498 HAS SOUS 38372 HAS SOUPS 38372 WITH SCORE 38557.498
AT ITER 8207 NEW BEST:: SOT 454057 SOS 185492 HAS SOPS 185492 HAS SOUS 38366 HAS SOUPS 38366 WITH SCORE 38551.492
AT ITER 8215 NEW BEST:: SOT 454055 SOS 185511 HAS SOPS 185511 HAS SOUS 38355 HAS SOUPS 38355 WITH SCORE 38540.511
AT ITER 8295 NEW BEST:: SOT 454055 SOS 185500 HAS SOPS 185500 HAS SOUS 38355 HAS SOUPS 38355 WITH SCORE 38540.5
AT ITER 8331 NEW BEST:: SOT 454055 SOS 185500 HAS SOPS 185500 HAS SOUS 38339 HAS SOUPS 38339 WITH SCORE 38524.5
AT ITER 8358 NEW BEST:: SOT 454056 SOS 185499 HAS SOPS 185499 HAS SOUS 38338 HAS SOUPS 38338 WITH SCORE 38523.499
AT ITER 8390 NEW BEST:: SOT 454033 SOS 185484 HAS SOPS 185484 HAS SOUS 38323 HAS SOUPS 38323 WITH SCORE 38508.484
AT ITER 8413 NEW BEST:: SOT 454020 SOS 185458 HAS SOPS 185458 HAS SOUS 38309 HAS SOUPS 38309 WITH SCORE 38494.458
AT ITER 8532 NEW BEST:: SOT 454009 SOS 185452 HAS SOPS 185452 HAS SOUS 38298 HAS SOUPS 38298 WITH SCORE 38483.452
AT ITER 8572 NEW BEST:: SOT 454008 SOS 185450 HAS SOPS 185450 HAS SOUS 38296 HAS SOUPS 38296 WITH SCORE 38481.45
AT ITER 8588 NEW BEST:: SOT 453982 SOS 185411 HAS SOPS 185411 HAS SOUS 38251 HAS SOUPS 38251 WITH SCORE 38436.411
AT ITER 8623 NEW BEST:: SOT 453979 SOS 185405 HAS SOPS 185405 HAS SOUS 38245 HAS SOUPS 38245 WITH SCORE 38430.405
AT ITER 8675 NEW BEST:: SOT 453979 SOS 185375 HAS SOPS 185375 HAS SOUS 38245 HAS SOUPS 38245 WITH SCORE 38430.375
AT ITER 8705 NEW BEST:: SOT 453979 SOS 185375 HAS SOPS 185375 HAS SOUS 38242 HAS SOUPS 38242 WITH SCORE 38427.375
AT ITER 8752 NEW BEST:: SOT 453995 SOS 185391 HAS SOPS 185391 HAS SOUS 38240 HAS SOUPS 38240 WITH SCORE 38425.391
AT ITER 8811 NEW BEST:: SOT 453985 SOS 185353 HAS SOPS 185353 HAS SOUS 37944 HAS SOUPS 37944 WITH SCORE 38129.353
AT ITER 8876 NEW BEST:: SOT 453980 SOS 185348 HAS SOPS 185348 HAS SOUS 37939 HAS SOUPS 37939 WITH SCORE 38124.348
AT ITER 8890 NEW BEST:: SOT 453977 SOS 185318 HAS SOPS 185318 HAS SOUS 37933 HAS SOUPS 37933 WITH SCORE 38118.318
AT ITER 8934 NEW BEST:: SOT 453977 SOS 185318 HAS SOPS 185318 HAS SOUS 37932 HAS SOUPS 37932 WITH SCORE 38117.318
AT ITER 8952 NEW BEST:: SOT 453961 SOS 185302 HAS SOPS 185302 HAS SOUS 37898 HAS SOUPS 37898 WITH SCORE 38083.302
AT ITER 8953 NEW BEST:: SOT 453943 SOS 185206 HAS SOPS 185206 HAS SOUS 37880 HAS SOUPS 37880 WITH SCORE 38065.206
AT ITER 9080 NEW BEST:: SOT 453943 SOS 185205 HAS SOPS 185205 HAS SOUS 37880 HAS SOUPS 37880 WITH SCORE 38065.205
AT ITER 9129 NEW BEST:: SOT 453923 SOS 185205 HAS SOPS 185205 HAS SOUS 37817 HAS SOUPS 37817 WITH SCORE 38002.205
AT ITER 9163 NEW BEST:: SOT 453918 SOS 185195 HAS SOPS 185195 HAS SOUS 37807 HAS SOUPS 37807 WITH SCORE 37992.195
AT ITER 9169 NEW BEST:: SOT 453918 SOS 185190 HAS SOPS 185190 HAS SOUS 37807 HAS SOUPS 37807 WITH SCORE 37992.19
AT ITER 9196 NEW BEST:: SOT 453917 SOS 185188 HAS SOPS 185188 HAS SOUS 37805 HAS SOUPS 37805 WITH SCORE 37990.188
AT ITER 9207 NEW BEST:: SOT 453896 SOS 185176 HAS SOPS 185176 HAS SOUS 37769 HAS SOUPS 37769 WITH SCORE 37954.176
AT ITER 9265 NEW BEST:: SOT 453881 SOS 185146 HAS SOPS 185146 HAS SOUS 37758 HAS SOUPS 37758 WITH SCORE 37943.146
AT ITER 9272 NEW BEST:: SOT 453881 SOS 185142 HAS SOPS 185142 HAS SOUS 37758 HAS SOUPS 37758 WITH SCORE 37943.142
AT ITER 9297 NEW BEST:: SOT 453883 SOS 185146 HAS SOPS 185146 HAS SOUS 37750 HAS SOUPS 37750 WITH SCORE 37935.146
AT ITER 9298 NEW BEST:: SOT 453882 SOS 185153 HAS SOPS 185153 HAS SOUS 37749 HAS SOUPS 37749 WITH SCORE 37934.153
AT ITER 9379 NEW BEST:: SOT 453874 SOS 185137 HAS SOPS 185137 HAS SOUS 37741 HAS SOUPS 37741 WITH SCORE 37926.137
AT ITER 9416 NEW BEST:: SOT 453875 SOS 185136 HAS SOPS 185136 HAS SOUS 37740 HAS SOUPS 37740 WITH SCORE 37925.136
AT ITER 9469 NEW BEST:: SOT 453870 SOS 185114 HAS SOPS 185114 HAS SOUS 37735 HAS SOUPS 37735 WITH SCORE 37920.114
AT ITER 9515 NEW BEST:: SOT 453867 SOS 185105 HAS SOPS 185105 HAS SOUS 36964 HAS SOUPS 36964 WITH SCORE 37149.105
AT ITER 9528 NEW BEST:: SOT 453867 SOS 185105 HAS SOPS 185105 HAS SOUS 36955 HAS SOUPS 36955 WITH SCORE 37140.105
AT ITER 9548 NEW BEST:: SOT 453867 SOS 185125 HAS SOPS 185125 HAS SOUS 36933 HAS SOUPS 36933 WITH SCORE 37118.125
AT ITER 9562 NEW BEST:: SOT 453866 SOS 185123 HAS SOPS 185123 HAS SOUS 36931 HAS SOUPS 36931 WITH SCORE 37116.123
AT ITER 9567 NEW BEST:: SOT 453839 SOS 185123 HAS SOPS 185123 HAS SOUS 36896 HAS SOUPS 36896 WITH SCORE 37081.123
AT ITER 9616 NEW BEST:: SOT 453822 SOS 185040 HAS SOPS 185040 HAS SOUS 36857 HAS SOUPS 36857 WITH SCORE 37042.04
AT ITER 9631 NEW BEST:: SOT 453820 SOS 185036 HAS SOPS 185036 HAS SOUS 36853 HAS SOUPS 36853 WITH SCORE 37038.036
AT ITER 9672 NEW BEST:: SOT 453828 SOS 185020 HAS SOPS 185020 HAS SOUS 36841 HAS SOUPS 36841 WITH SCORE 37026.02
AT ITER 9685 NEW BEST:: SOT 453799 SOS 184962 HAS SOPS 184962 HAS SOUS 36812 HAS SOUPS 36812 WITH SCORE 36996.962
AT ITER 9727 NEW BEST:: SOT 453799 SOS 184951 HAS SOPS 184951 HAS SOUS 36812 HAS SOUPS 36812 WITH SCORE 36996.951
AT ITER 9743 NEW BEST:: SOT 453798 SOS 184976 HAS SOPS 184976 HAS SOUS 36681 HAS SOUPS 36681 WITH SCORE 36865.976
AT ITER 9769 NEW BEST:: SOT 453790 SOS 184967 HAS SOPS 184967 HAS SOUS 36672 HAS SOUPS 36672 WITH SCORE 36856.967
AT ITER 9770 NEW BEST:: SOT 453790 SOS 184957 HAS SOPS 184957 HAS SOUS 36672 HAS SOUPS 36672 WITH SCORE 36856.957
AT ITER 9819 NEW BEST:: SOT 453760 SOS 184949 HAS SOPS 184949 HAS SOUS 36649 HAS SOUPS 36649 WITH SCORE 36833.949
AT ITER 9835 NEW BEST:: SOT 453704 SOS 184892 HAS SOPS 184892 HAS SOUS 36584 HAS SOUPS 36584 WITH SCORE 36768.892
AT ITER 9840 NEW BEST:: SOT 453704 SOS 184899 HAS SOPS 184899 HAS SOUS 36577 HAS SOUPS 36577 WITH SCORE 36761.899
AT ITER 9845 NEW BEST:: SOT 453626 SOS 184797 HAS SOPS 184797 HAS SOUS 36531 HAS SOUPS 36531 WITH SCORE 36715.797
AT ITER 9854 NEW BEST:: SOT 453636 SOS 184786 HAS SOPS 184786 HAS SOUS 36520 HAS SOUPS 36520 WITH SCORE 36704.786
AT ITER 9902 NEW BEST:: SOT 453636 SOS 184771 HAS SOPS 184771 HAS SOUS 36520 HAS SOUPS 36520 WITH SCORE 36704.771
AT ITER 9931 NEW BEST:: SOT 453626 SOS 184796 HAS SOPS 184796 HAS SOUS 36507 HAS SOUPS 36507 WITH SCORE 36691.796
AT ITER 9994 NEW BEST:: SOT 453620 SOS 184796 HAS SOPS 184796 HAS SOUS 36483 HAS SOUPS 36483 WITH SCORE 36667.796
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 5073428 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16118428 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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-09b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is AutonomousCar-PT-09b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r011-oct2-167813600500672"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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