About the Execution of Smart for AutonomousCar-PT-07b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 8949.760 | 3600000.00 | 3600140.00 | 0.00 | [undef] | Time out reached |
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-167813591100640.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-07b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813591100640
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 780K
-rw-r--r-- 1 mcc users 6.6K Feb 25 12:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 25 12:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 25 12:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 25 12:56 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K 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 18K Feb 25 15:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 12:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 111K Feb 25 12:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 12:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 95K 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 334K 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 1678474591967
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-07b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutonomousCar (PT), instance 07b
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: 323 places, 846 transitions, 5865 arcs.
AT ITER 0 NEW BEST:: SOT 205751 SOS 69701 HAS SOPS 69701 HAS SOUS 32431 HAS SOUPS 32431 WITH SCORE 32500.701
AT ITER 4 NEW BEST:: SOT 205733 SOS 69665 HAS SOPS 69665 HAS SOUS 32431 HAS SOUPS 32431 WITH SCORE 32500.665
AT ITER 26 NEW BEST:: SOT 205732 SOS 69663 HAS SOPS 69663 HAS SOUS 32429 HAS SOUPS 32429 WITH SCORE 32498.663
AT ITER 31 NEW BEST:: SOT 205676 SOS 78001 HAS SOPS 78001 HAS SOUS 32371 HAS SOUPS 32371 WITH SCORE 32449.001
AT ITER 44 NEW BEST:: SOT 205645 SOS 78037 HAS SOPS 78037 HAS SOUS 32349 HAS SOUPS 32349 WITH SCORE 32427.037
AT ITER 57 NEW BEST:: SOT 205619 SOS 77985 HAS SOPS 77985 HAS SOUS 32286 HAS SOUPS 32286 WITH SCORE 32363.985
AT ITER 60 NEW BEST:: SOT 205662 SOS 78033 HAS SOPS 78033 HAS SOUS 31973 HAS SOUPS 31973 WITH SCORE 32051.033
AT ITER 64 NEW BEST:: SOT 205662 SOS 78033 HAS SOPS 78033 HAS SOUS 31971 HAS SOUPS 31971 WITH SCORE 32049.033
AT ITER 74 NEW BEST:: SOT 205614 SOS 77937 HAS SOPS 77937 HAS SOUS 31860 HAS SOUPS 31860 WITH SCORE 31937.937
AT ITER 83 NEW BEST:: SOT 205592 SOS 77915 HAS SOPS 77915 HAS SOUS 31838 HAS SOUPS 31838 WITH SCORE 31915.915
AT ITER 84 NEW BEST:: SOT 205578 SOS 77887 HAS SOPS 77887 HAS SOUS 31810 HAS SOUPS 31810 WITH SCORE 31887.887
AT ITER 123 NEW BEST:: SOT 204506 SOS 86313 HAS SOPS 86313 HAS SOUS 31098 HAS SOUPS 31098 WITH SCORE 31184.313
AT ITER 126 NEW BEST:: SOT 204571 SOS 86356 HAS SOPS 86356 HAS SOUS 30496 HAS SOUPS 30496 WITH SCORE 30582.356
AT ITER 138 NEW BEST:: SOT 204506 SOS 86282 HAS SOPS 86282 HAS SOUS 30415 HAS SOUPS 30415 WITH SCORE 30501.282
AT ITER 163 NEW BEST:: SOT 204459 SOS 86252 HAS SOPS 86252 HAS SOUS 30400 HAS SOUPS 30400 WITH SCORE 30486.252
AT ITER 166 NEW BEST:: SOT 204459 SOS 86230 HAS SOPS 86230 HAS SOUS 30389 HAS SOUPS 30389 WITH SCORE 30475.23
AT ITER 179 NEW BEST:: SOT 204316 SOS 77890 HAS SOPS 77890 HAS SOUS 30131 HAS SOUPS 30131 WITH SCORE 30208.89
AT ITER 186 NEW BEST:: SOT 204280 SOS 77907 HAS SOPS 77907 HAS SOUS 30115 HAS SOUPS 30115 WITH SCORE 30192.907
AT ITER 189 NEW BEST:: SOT 204276 SOS 77899 HAS SOPS 77899 HAS SOUS 30114 HAS SOUPS 30114 WITH SCORE 30191.899
AT ITER 215 NEW BEST:: SOT 203763 SOS 77355 HAS SOPS 77355 HAS SOUS 29896 HAS SOUPS 29896 WITH SCORE 29973.355
AT ITER 219 NEW BEST:: SOT 203755 SOS 77347 HAS SOPS 77347 HAS SOUS 29888 HAS SOUPS 29888 WITH SCORE 29965.347
AT ITER 224 NEW BEST:: SOT 203791 SOS 77300 HAS SOPS 77300 HAS SOUS 29828 HAS SOUPS 29828 WITH SCORE 29905.3
AT ITER 225 NEW BEST:: SOT 203791 SOS 77300 HAS SOPS 77300 HAS SOUS 29736 HAS SOUPS 29736 WITH SCORE 29813.3
AT ITER 228 NEW BEST:: SOT 203789 SOS 77186 HAS SOPS 77186 HAS SOUS 29730 HAS SOUPS 29730 WITH SCORE 29807.186
AT ITER 231 NEW BEST:: SOT 203798 SOS 77195 HAS SOPS 77195 HAS SOUS 29707 HAS SOUPS 29707 WITH SCORE 29784.195
AT ITER 234 NEW BEST:: SOT 203792 SOS 77232 HAS SOPS 77232 HAS SOUS 29695 HAS SOUPS 29695 WITH SCORE 29772.232
AT ITER 239 NEW BEST:: SOT 203756 SOS 77232 HAS SOPS 77232 HAS SOUS 29660 HAS SOUPS 29660 WITH SCORE 29737.232
AT ITER 250 NEW BEST:: SOT 203762 SOS 77210 HAS SOPS 77210 HAS SOUS 29655 HAS SOUPS 29655 WITH SCORE 29732.21
AT ITER 258 NEW BEST:: SOT 203750 SOS 77186 HAS SOPS 77186 HAS SOUS 29573 HAS SOUPS 29573 WITH SCORE 29650.186
AT ITER 260 NEW BEST:: SOT 203753 SOS 77192 HAS SOPS 77192 HAS SOUS 29555 HAS SOUPS 29555 WITH SCORE 29632.192
AT ITER 261 NEW BEST:: SOT 203753 SOS 77192 HAS SOPS 77192 HAS SOUS 29536 HAS SOUPS 29536 WITH SCORE 29613.192
AT ITER 262 NEW BEST:: SOT 203770 SOS 77190 HAS SOPS 77190 HAS SOUS 29504 HAS SOUPS 29504 WITH SCORE 29581.19
AT ITER 267 NEW BEST:: SOT 203759 SOS 77168 HAS SOPS 77168 HAS SOUS 29467 HAS SOUPS 29467 WITH SCORE 29544.168
AT ITER 287 NEW BEST:: SOT 203746 SOS 77074 HAS SOPS 77074 HAS SOUS 29437 HAS SOUPS 29437 WITH SCORE 29514.074
AT ITER 291 NEW BEST:: SOT 203571 SOS 76821 HAS SOPS 76821 HAS SOUS 29400 HAS SOUPS 29400 WITH SCORE 29476.821
AT ITER 292 NEW BEST:: SOT 203574 SOS 76816 HAS SOPS 76816 HAS SOUS 29395 HAS SOUPS 29395 WITH SCORE 29471.816
AT ITER 307 NEW BEST:: SOT 203574 SOS 76816 HAS SOPS 76816 HAS SOUS 29369 HAS SOUPS 29369 WITH SCORE 29445.816
AT ITER 310 NEW BEST:: SOT 203560 SOS 76802 HAS SOPS 76802 HAS SOUS 29341 HAS SOUPS 29341 WITH SCORE 29417.802
AT ITER 321 NEW BEST:: SOT 203551 SOS 76298 HAS SOPS 76298 HAS SOUS 29332 HAS SOUPS 29332 WITH SCORE 29408.298
AT ITER 335 NEW BEST:: SOT 203555 SOS 76306 HAS SOPS 76306 HAS SOUS 29320 HAS SOUPS 29320 WITH SCORE 29396.306
AT ITER 338 NEW BEST:: SOT 203558 SOS 76266 HAS SOPS 76266 HAS SOUS 29300 HAS SOUPS 29300 WITH SCORE 29376.266
AT ITER 346 NEW BEST:: SOT 203547 SOS 76248 HAS SOPS 76248 HAS SOUS 29282 HAS SOUPS 29282 WITH SCORE 29358.248
AT ITER 349 NEW BEST:: SOT 203543 SOS 76244 HAS SOPS 76244 HAS SOUS 29022 HAS SOUPS 29022 WITH SCORE 29098.244
AT ITER 352 NEW BEST:: SOT 203500 SOS 76159 HAS SOPS 76159 HAS SOUS 28937 HAS SOUPS 28937 WITH SCORE 29013.159
AT ITER 354 NEW BEST:: SOT 203479 SOS 76159 HAS SOPS 76159 HAS SOUS 28927 HAS SOUPS 28927 WITH SCORE 29003.159
AT ITER 361 NEW BEST:: SOT 203499 SOS 76137 HAS SOPS 76137 HAS SOUS 28771 HAS SOUPS 28771 WITH SCORE 28847.137
AT ITER 381 NEW BEST:: SOT 203511 SOS 76137 HAS SOPS 76137 HAS SOUS 28759 HAS SOUPS 28759 WITH SCORE 28835.137
AT ITER 383 NEW BEST:: SOT 203508 SOS 76131 HAS SOPS 76131 HAS SOUS 28753 HAS SOUPS 28753 WITH SCORE 28829.131
AT ITER 387 NEW BEST:: SOT 203508 SOS 76118 HAS SOPS 76118 HAS SOUS 28753 HAS SOUPS 28753 WITH SCORE 28829.118
AT ITER 391 NEW BEST:: SOT 203398 SOS 76006 HAS SOPS 76006 HAS SOUS 28643 HAS SOUPS 28643 WITH SCORE 28719.006
AT ITER 398 NEW BEST:: SOT 203118 SOS 75726 HAS SOPS 75726 HAS SOUS 28606 HAS SOUPS 28606 WITH SCORE 28681.726
AT ITER 422 NEW BEST:: SOT 203120 SOS 75730 HAS SOPS 75730 HAS SOUS 28603 HAS SOUPS 28603 WITH SCORE 28678.73
AT ITER 423 NEW BEST:: SOT 203093 SOS 76842 HAS SOPS 76842 HAS SOUS 28597 HAS SOUPS 28597 WITH SCORE 28673.842
AT ITER 468 NEW BEST:: SOT 203070 SOS 76796 HAS SOPS 76796 HAS SOUS 28551 HAS SOUPS 28551 WITH SCORE 28627.796
AT ITER 472 NEW BEST:: SOT 202790 SOS 76488 HAS SOPS 76488 HAS SOUS 28250 HAS SOUPS 28250 WITH SCORE 28326.488
AT ITER 473 NEW BEST:: SOT 202799 SOS 77844 HAS SOPS 77844 HAS SOUS 28246 HAS SOUPS 28246 WITH SCORE 28323.844
AT ITER 493 NEW BEST:: SOT 202795 SOS 77836 HAS SOPS 77836 HAS SOUS 28246 HAS SOUPS 28246 WITH SCORE 28323.836
AT ITER 507 NEW BEST:: SOT 202762 SOS 77780 HAS SOPS 77780 HAS SOUS 28213 HAS SOUPS 28213 WITH SCORE 28290.78
AT ITER 535 NEW BEST:: SOT 202757 SOS 77770 HAS SOPS 77770 HAS SOUS 28203 HAS SOUPS 28203 WITH SCORE 28280.77
AT ITER 539 NEW BEST:: SOT 202751 SOS 77781 HAS SOPS 77781 HAS SOUS 28196 HAS SOUPS 28196 WITH SCORE 28273.781
AT ITER 549 NEW BEST:: SOT 202689 SOS 77657 HAS SOPS 77657 HAS SOUS 28134 HAS SOUPS 28134 WITH SCORE 28211.657
AT ITER 573 NEW BEST:: SOT 202315 SOS 77228 HAS SOPS 77228 HAS SOUS 28130 HAS SOUPS 28130 WITH SCORE 28207.228
AT ITER 574 NEW BEST:: SOT 202302 SOS 77202 HAS SOPS 77202 HAS SOUS 28104 HAS SOUPS 28104 WITH SCORE 28181.202
AT ITER 580 NEW BEST:: SOT 202298 SOS 77198 HAS SOPS 77198 HAS SOUS 28100 HAS SOUPS 28100 WITH SCORE 28177.198
AT ITER 590 NEW BEST:: SOT 202284 SOS 77184 HAS SOPS 77184 HAS SOUS 28072 HAS SOUPS 28072 WITH SCORE 28149.184
AT ITER 592 NEW BEST:: SOT 202284 SOS 77163 HAS SOPS 77163 HAS SOUS 28051 HAS SOUPS 28051 WITH SCORE 28128.163
AT ITER 598 NEW BEST:: SOT 202234 SOS 77138 HAS SOPS 77138 HAS SOUS 28028 HAS SOUPS 28028 WITH SCORE 28105.138
AT ITER 616 NEW BEST:: SOT 202229 SOS 77138 HAS SOPS 77138 HAS SOUS 28023 HAS SOUPS 28023 WITH SCORE 28100.138
AT ITER 631 NEW BEST:: SOT 202226 SOS 77132 HAS SOPS 77132 HAS SOUS 27993 HAS SOUPS 27993 WITH SCORE 28070.132
AT ITER 644 NEW BEST:: SOT 202212 SOS 77125 HAS SOPS 77125 HAS SOUS 27930 HAS SOUPS 27930 WITH SCORE 28007.125
AT ITER 649 NEW BEST:: SOT 202212 SOS 77099 HAS SOPS 77099 HAS SOUS 27904 HAS SOUPS 27904 WITH SCORE 27981.099
AT ITER 656 NEW BEST:: SOT 202172 SOS 76990 HAS SOPS 76990 HAS SOUS 27864 HAS SOUPS 27864 WITH SCORE 27940.99
AT ITER 663 NEW BEST:: SOT 202172 SOS 76968 HAS SOPS 76968 HAS SOUS 27853 HAS SOUPS 27853 WITH SCORE 27929.968
AT ITER 682 NEW BEST:: SOT 202148 SOS 76944 HAS SOPS 76944 HAS SOUS 27829 HAS SOUPS 27829 WITH SCORE 27905.944
AT ITER 698 NEW BEST:: SOT 202136 SOS 76932 HAS SOPS 76932 HAS SOUS 27817 HAS SOUPS 27817 WITH SCORE 27893.932
AT ITER 716 NEW BEST:: SOT 202127 SOS 76867 HAS SOPS 76867 HAS SOUS 27792 HAS SOUPS 27792 WITH SCORE 27868.867
AT ITER 717 NEW BEST:: SOT 202109 SOS 76375 HAS SOPS 76375 HAS SOUS 27776 HAS SOUPS 27776 WITH SCORE 27852.375
AT ITER 726 NEW BEST:: SOT 202106 SOS 76369 HAS SOPS 76369 HAS SOUS 27770 HAS SOUPS 27770 WITH SCORE 27846.369
AT ITER 732 NEW BEST:: SOT 202088 SOS 77758 HAS SOPS 77758 HAS SOUS 27742 HAS SOUPS 27742 WITH SCORE 27819.758
AT ITER 734 NEW BEST:: SOT 202082 SOS 77780 HAS SOPS 77780 HAS SOUS 27617 HAS SOUPS 27617 WITH SCORE 27694.78
AT ITER 735 NEW BEST:: SOT 202079 SOS 77738 HAS SOPS 77738 HAS SOUS 27594 HAS SOUPS 27594 WITH SCORE 27671.738
AT ITER 738 NEW BEST:: SOT 202079 SOS 77714 HAS SOPS 77714 HAS SOUS 27594 HAS SOUPS 27594 WITH SCORE 27671.714
AT ITER 747 NEW BEST:: SOT 202076 SOS 77708 HAS SOPS 77708 HAS SOUS 27588 HAS SOUPS 27588 WITH SCORE 27665.708
AT ITER 769 NEW BEST:: SOT 202077 SOS 77696 HAS SOPS 77696 HAS SOUS 27586 HAS SOUPS 27586 WITH SCORE 27663.696
AT ITER 780 NEW BEST:: SOT 202070 SOS 77682 HAS SOPS 77682 HAS SOUS 27579 HAS SOUPS 27579 WITH SCORE 27656.682
AT ITER 800 NEW BEST:: SOT 202062 SOS 77666 HAS SOPS 77666 HAS SOUS 27569 HAS SOUPS 27569 WITH SCORE 27646.666
AT ITER 809 NEW BEST:: SOT 201971 SOS 77575 HAS SOPS 77575 HAS SOUS 27373 HAS SOUPS 27373 WITH SCORE 27450.575
AT ITER 813 NEW BEST:: SOT 201992 SOS 77525 HAS SOPS 77525 HAS SOUS 26517 HAS SOUPS 26517 WITH SCORE 26594.525
AT ITER 814 NEW BEST:: SOT 201988 SOS 77517 HAS SOPS 77517 HAS SOUS 26509 HAS SOUPS 26509 WITH SCORE 26586.517
AT ITER 835 NEW BEST:: SOT 201965 SOS 77471 HAS SOPS 77471 HAS SOUS 26463 HAS SOUPS 26463 WITH SCORE 26540.471
AT ITER 846 NEW BEST:: SOT 201881 SOS 77387 HAS SOPS 77387 HAS SOUS 26289 HAS SOUPS 26289 WITH SCORE 26366.387
AT ITER 850 NEW BEST:: SOT 201868 SOS 77361 HAS SOPS 77361 HAS SOUS 26263 HAS SOUPS 26263 WITH SCORE 26340.361
AT ITER 878 NEW BEST:: SOT 201868 SOS 77361 HAS SOPS 77361 HAS SOUS 26252 HAS SOUPS 26252 WITH SCORE 26329.361
AT ITER 888 NEW BEST:: SOT 201868 SOS 77361 HAS SOPS 77361 HAS SOUS 25996 HAS SOUPS 25996 WITH SCORE 26073.361
AT ITER 889 NEW BEST:: SOT 201872 SOS 77369 HAS SOPS 77369 HAS SOUS 25947 HAS SOUPS 25947 WITH SCORE 26024.369
AT ITER 893 NEW BEST:: SOT 201870 SOS 77377 HAS SOPS 77377 HAS SOUS 25943 HAS SOUPS 25943 WITH SCORE 26020.377
AT ITER 894 NEW BEST:: SOT 201870 SOS 77374 HAS SOPS 77374 HAS SOUS 25943 HAS SOUPS 25943 WITH SCORE 26020.374
AT ITER 926 NEW BEST:: SOT 201861 SOS 77359 HAS SOPS 77359 HAS SOUS 25934 HAS SOUPS 25934 WITH SCORE 26011.359
AT ITER 933 NEW BEST:: SOT 201891 SOS 77323 HAS SOPS 77323 HAS SOUS 25921 HAS SOUPS 25921 WITH SCORE 25998.323
AT ITER 940 NEW BEST:: SOT 201909 SOS 77321 HAS SOPS 77321 HAS SOUS 25904 HAS SOUPS 25904 WITH SCORE 25981.321
AT ITER 1001 NEW BEST:: SOT 201909 SOS 77306 HAS SOPS 77306 HAS SOUS 25893 HAS SOUPS 25893 WITH SCORE 25970.306
AT ITER 1008 NEW BEST:: SOT 201895 SOS 77292 HAS SOPS 77292 HAS SOUS 25865 HAS SOUPS 25865 WITH SCORE 25942.292
AT ITER 1014 NEW BEST:: SOT 201857 SOS 77229 HAS SOPS 77229 HAS SOUS 25736 HAS SOUPS 25736 WITH SCORE 25813.229
AT ITER 1030 NEW BEST:: SOT 201817 SOS 77174 HAS SOPS 77174 HAS SOUS 25691 HAS SOUPS 25691 WITH SCORE 25768.174
AT ITER 1066 NEW BEST:: SOT 201816 SOS 77172 HAS SOPS 77172 HAS SOUS 25688 HAS SOUPS 25688 WITH SCORE 25765.172
AT ITER 1117 NEW BEST:: SOT 201800 SOS 77148 HAS SOPS 77148 HAS SOUS 25608 HAS SOUPS 25608 WITH SCORE 25685.148
AT ITER 1128 NEW BEST:: SOT 201750 SOS 77048 HAS SOPS 77048 HAS SOUS 25508 HAS SOUPS 25508 WITH SCORE 25585.048
AT ITER 1136 NEW BEST:: SOT 201933 SOS 77264 HAS SOPS 77264 HAS SOUS 25409 HAS SOUPS 25409 WITH SCORE 25486.264
AT ITER 1144 NEW BEST:: SOT 201919 SOS 77282 HAS SOPS 77282 HAS SOUS 25395 HAS SOUPS 25395 WITH SCORE 25472.282
AT ITER 1154 NEW BEST:: SOT 201914 SOS 77277 HAS SOPS 77277 HAS SOUS 25385 HAS SOUPS 25385 WITH SCORE 25462.277
AT ITER 1171 NEW BEST:: SOT 201914 SOS 77277 HAS SOPS 77277 HAS SOUS 25371 HAS SOUPS 25371 WITH SCORE 25448.277
AT ITER 1174 NEW BEST:: SOT 201932 SOS 77295 HAS SOPS 77295 HAS SOUS 25344 HAS SOUPS 25344 WITH SCORE 25421.295
AT ITER 1207 NEW BEST:: SOT 201925 SOS 77288 HAS SOPS 77288 HAS SOUS 25337 HAS SOUPS 25337 WITH SCORE 25414.288
AT ITER 1220 NEW BEST:: SOT 202061 SOS 77455 HAS SOPS 77455 HAS SOUS 24765 HAS SOUPS 24765 WITH SCORE 24842.455
AT ITER 1224 NEW BEST:: SOT 202058 SOS 77449 HAS SOPS 77449 HAS SOUS 24765 HAS SOUPS 24765 WITH SCORE 24842.449
AT ITER 1237 NEW BEST:: SOT 202054 SOS 77441 HAS SOPS 77441 HAS SOUS 24761 HAS SOUPS 24761 WITH SCORE 24838.441
AT ITER 1279 NEW BEST:: SOT 202054 SOS 77431 HAS SOPS 77431 HAS SOUS 24756 HAS SOUPS 24756 WITH SCORE 24833.431
AT ITER 1315 NEW BEST:: SOT 202026 SOS 77403 HAS SOPS 77403 HAS SOUS 24728 HAS SOUPS 24728 WITH SCORE 24805.403
AT ITER 1335 NEW BEST:: SOT 202030 SOS 77387 HAS SOPS 77387 HAS SOUS 24692 HAS SOUPS 24692 WITH SCORE 24769.387
AT ITER 1350 NEW BEST:: SOT 202030 SOS 77387 HAS SOPS 77387 HAS SOUS 24668 HAS SOUPS 24668 WITH SCORE 24745.387
AT ITER 1360 NEW BEST:: SOT 201554 SOS 76866 HAS SOPS 76866 HAS SOUS 24273 HAS SOUPS 24273 WITH SCORE 24349.866
AT ITER 1369 NEW BEST:: SOT 201497 SOS 76809 HAS SOPS 76809 HAS SOUS 24126 HAS SOUPS 24126 WITH SCORE 24202.809
AT ITER 1384 NEW BEST:: SOT 201490 SOS 76802 HAS SOPS 76802 HAS SOUS 24119 HAS SOUPS 24119 WITH SCORE 24195.802
AT ITER 1407 NEW BEST:: SOT 201489 SOS 75391 HAS SOPS 75391 HAS SOUS 24094 HAS SOUPS 24094 WITH SCORE 24169.391
AT ITER 1411 NEW BEST:: SOT 201478 SOS 75369 HAS SOPS 75369 HAS SOUS 24072 HAS SOUPS 24072 WITH SCORE 24147.369
AT ITER 1412 NEW BEST:: SOT 201478 SOS 75327 HAS SOPS 75327 HAS SOUS 24030 HAS SOUPS 24030 WITH SCORE 24105.327
AT ITER 1419 NEW BEST:: SOT 201471 SOS 75313 HAS SOPS 75313 HAS SOUS 24024 HAS SOUPS 24024 WITH SCORE 24099.313
AT ITER 1426 NEW BEST:: SOT 201463 SOS 75297 HAS SOPS 75297 HAS SOUS 24016 HAS SOUPS 24016 WITH SCORE 24091.297
AT ITER 1448 NEW BEST:: SOT 201447 SOS 75247 HAS SOPS 75247 HAS SOUS 23975 HAS SOUPS 23975 WITH SCORE 24050.247
AT ITER 1476 NEW BEST:: SOT 201467 SOS 75267 HAS SOPS 75267 HAS SOUS 23959 HAS SOUPS 23959 WITH SCORE 24034.267
AT ITER 1483 NEW BEST:: SOT 201484 SOS 76555 HAS SOPS 76555 HAS SOUS 23872 HAS SOUPS 23872 WITH SCORE 23948.555
AT ITER 1487 NEW BEST:: SOT 201459 SOS 76525 HAS SOPS 76525 HAS SOUS 23824 HAS SOUPS 23824 WITH SCORE 23900.525
AT ITER 1490 NEW BEST:: SOT 201453 SOS 76513 HAS SOPS 76513 HAS SOUS 23819 HAS SOUPS 23819 WITH SCORE 23895.513
AT ITER 1496 NEW BEST:: SOT 201440 SOS 76487 HAS SOPS 76487 HAS SOUS 23806 HAS SOUPS 23806 WITH SCORE 23882.487
AT ITER 1497 NEW BEST:: SOT 201422 SOS 76451 HAS SOPS 76451 HAS SOUS 23788 HAS SOUPS 23788 WITH SCORE 23864.451
AT ITER 1499 NEW BEST:: SOT 201417 SOS 76441 HAS SOPS 76441 HAS SOUS 23778 HAS SOUPS 23778 WITH SCORE 23854.441
AT ITER 1505 NEW BEST:: SOT 201403 SOS 76406 HAS SOPS 76406 HAS SOUS 23750 HAS SOUPS 23750 WITH SCORE 23826.406
AT ITER 1509 NEW BEST:: SOT 201468 SOS 76499 HAS SOPS 76499 HAS SOUS 23423 HAS SOUPS 23423 WITH SCORE 23499.499
AT ITER 1522 NEW BEST:: SOT 201465 SOS 76493 HAS SOPS 76493 HAS SOUS 23415 HAS SOUPS 23415 WITH SCORE 23491.493
AT ITER 1545 NEW BEST:: SOT 201122 SOS 76123 HAS SOPS 76123 HAS SOUS 23196 HAS SOUPS 23196 WITH SCORE 23272.123
AT ITER 1559 NEW BEST:: SOT 201122 SOS 76120 HAS SOPS 76120 HAS SOUS 23193 HAS SOUPS 23193 WITH SCORE 23269.12
AT ITER 1564 NEW BEST:: SOT 201121 SOS 76118 HAS SOPS 76118 HAS SOUS 23192 HAS SOUPS 23192 WITH SCORE 23268.118
AT ITER 1585 NEW BEST:: SOT 201125 SOS 76134 HAS SOPS 76134 HAS SOUS 23168 HAS SOUPS 23168 WITH SCORE 23244.134
AT ITER 1630 NEW BEST:: SOT 201118 SOS 76144 HAS SOPS 76144 HAS SOUS 23161 HAS SOUPS 23161 WITH SCORE 23237.144
AT ITER 1634 NEW BEST:: SOT 201109 SOS 76126 HAS SOPS 76126 HAS SOUS 23146 HAS SOUPS 23146 WITH SCORE 23222.126
AT ITER 1663 NEW BEST:: SOT 201106 SOS 76120 HAS SOPS 76120 HAS SOUS 23143 HAS SOUPS 23143 WITH SCORE 23219.12
AT ITER 1687 NEW BEST:: SOT 201116 SOS 76112 HAS SOPS 76112 HAS SOUS 23135 HAS SOUPS 23135 WITH SCORE 23211.112
AT ITER 1698 NEW BEST:: SOT 201116 SOS 76111 HAS SOPS 76111 HAS SOUS 23135 HAS SOUPS 23135 WITH SCORE 23211.111
AT ITER 1720 NEW BEST:: SOT 201102 SOS 76101 HAS SOPS 76101 HAS SOUS 23121 HAS SOUPS 23121 WITH SCORE 23197.101
AT ITER 1731 NEW BEST:: SOT 201130 SOS 76124 HAS SOPS 76124 HAS SOUS 22841 HAS SOUPS 22841 WITH SCORE 22917.124
AT ITER 1733 NEW BEST:: SOT 201122 SOS 76141 HAS SOPS 76141 HAS SOUS 22825 HAS SOUPS 22825 WITH SCORE 22901.141
AT ITER 1744 NEW BEST:: SOT 201105 SOS 76107 HAS SOPS 76107 HAS SOUS 22808 HAS SOUPS 22808 WITH SCORE 22884.107
AT ITER 1791 NEW BEST:: SOT 201108 SOS 76116 HAS SOPS 76116 HAS SOUS 22789 HAS SOUPS 22789 WITH SCORE 22865.116
AT ITER 1799 NEW BEST:: SOT 201012 SOS 76012 HAS SOPS 76012 HAS SOUS 22685 HAS SOUPS 22685 WITH SCORE 22761.012
AT ITER 1812 NEW BEST:: SOT 201008 SOS 76004 HAS SOPS 76004 HAS SOUS 22681 HAS SOUPS 22681 WITH SCORE 22757.004
AT ITER 1813 NEW BEST:: SOT 201010 SOS 76005 HAS SOPS 76005 HAS SOUS 22677 HAS SOUPS 22677 WITH SCORE 22753.005
AT ITER 1815 NEW BEST:: SOT 201006 SOS 76001 HAS SOPS 76001 HAS SOUS 22657 HAS SOUPS 22657 WITH SCORE 22733.001
AT ITER 1834 NEW BEST:: SOT 200872 SOS 75849 HAS SOPS 75849 HAS SOUS 22644 HAS SOUPS 22644 WITH SCORE 22719.849
AT ITER 1861 NEW BEST:: SOT 200867 SOS 75805 HAS SOPS 75805 HAS SOUS 22590 HAS SOUPS 22590 WITH SCORE 22665.805
AT ITER 1886 NEW BEST:: SOT 200866 SOS 75803 HAS SOPS 75803 HAS SOUS 22588 HAS SOUPS 22588 WITH SCORE 22663.803
AT ITER 1901 NEW BEST:: SOT 200864 SOS 75820 HAS SOPS 75820 HAS SOUS 22584 HAS SOUPS 22584 WITH SCORE 22659.82
AT ITER 1909 NEW BEST:: SOT 200819 SOS 75820 HAS SOPS 75820 HAS SOUS 22560 HAS SOUPS 22560 WITH SCORE 22635.82
AT ITER 1918 NEW BEST:: SOT 200835 SOS 75835 HAS SOPS 75835 HAS SOUS 22559 HAS SOUPS 22559 WITH SCORE 22634.835
AT ITER 2032 NEW BEST:: SOT 200828 SOS 75443 HAS SOPS 75443 HAS SOUS 22552 HAS SOUPS 22552 WITH SCORE 22627.443
AT ITER 2059 NEW BEST:: SOT 200796 SOS 75379 HAS SOPS 75379 HAS SOUS 22488 HAS SOUPS 22488 WITH SCORE 22563.379
AT ITER 2073 NEW BEST:: SOT 200790 SOS 75373 HAS SOPS 75373 HAS SOUS 22482 HAS SOUPS 22482 WITH SCORE 22557.373
AT ITER 2075 NEW BEST:: SOT 200807 SOS 75407 HAS SOPS 75407 HAS SOUS 22441 HAS SOUPS 22441 WITH SCORE 22516.407
AT ITER 2109 NEW BEST:: SOT 200769 SOS 75400 HAS SOPS 75400 HAS SOUS 22434 HAS SOUPS 22434 WITH SCORE 22509.4
AT ITER 2118 NEW BEST:: SOT 200764 SOS 74745 HAS SOPS 74745 HAS SOUS 22424 HAS SOUPS 22424 WITH SCORE 22498.745
AT ITER 2148 NEW BEST:: SOT 200768 SOS 74753 HAS SOPS 74753 HAS SOUS 22402 HAS SOUPS 22402 WITH SCORE 22476.753
AT ITER 2177 NEW BEST:: SOT 200768 SOS 74679 HAS SOPS 74679 HAS SOUS 22365 HAS SOUPS 22365 WITH SCORE 22439.679
AT ITER 2179 NEW BEST:: SOT 200768 SOS 74679 HAS SOPS 74679 HAS SOUS 22357 HAS SOUPS 22357 WITH SCORE 22431.679
AT ITER 2193 NEW BEST:: SOT 200766 SOS 74675 HAS SOPS 74675 HAS SOUS 22353 HAS SOUPS 22353 WITH SCORE 22427.675
AT ITER 2248 NEW BEST:: SOT 200765 SOS 74673 HAS SOPS 74673 HAS SOUS 22348 HAS SOUPS 22348 WITH SCORE 22422.673
AT ITER 2274 NEW BEST:: SOT 200737 SOS 74628 HAS SOPS 74628 HAS SOUS 22320 HAS SOUPS 22320 WITH SCORE 22394.628
AT ITER 2327 NEW BEST:: SOT 200743 SOS 74640 HAS SOPS 74640 HAS SOUS 22311 HAS SOUPS 22311 WITH SCORE 22385.64
AT ITER 2329 NEW BEST:: SOT 200719 SOS 74592 HAS SOPS 74592 HAS SOUS 22305 HAS SOUPS 22305 WITH SCORE 22379.592
AT ITER 2342 NEW BEST:: SOT 200579 SOS 74420 HAS SOPS 74420 HAS SOUS 22233 HAS SOUPS 22233 WITH SCORE 22307.42
AT ITER 2344 NEW BEST:: SOT 200546 SOS 74354 HAS SOPS 74354 HAS SOUS 22200 HAS SOUPS 22200 WITH SCORE 22274.354
AT ITER 2390 NEW BEST:: SOT 200547 SOS 74356 HAS SOPS 74356 HAS SOUS 22155 HAS SOUPS 22155 WITH SCORE 22229.356
AT ITER 2408 NEW BEST:: SOT 200547 SOS 74338 HAS SOPS 74338 HAS SOUS 22146 HAS SOUPS 22146 WITH SCORE 22220.338
AT ITER 2413 NEW BEST:: SOT 200525 SOS 74294 HAS SOPS 74294 HAS SOUS 22113 HAS SOUPS 22113 WITH SCORE 22187.294
AT ITER 2476 NEW BEST:: SOT 200527 SOS 74298 HAS SOPS 74298 HAS SOUS 22087 HAS SOUPS 22087 WITH SCORE 22161.298
AT ITER 2479 NEW BEST:: SOT 200512 SOS 74223 HAS SOPS 74223 HAS SOUS 22057 HAS SOUPS 22057 WITH SCORE 22131.223
AT ITER 2485 NEW BEST:: SOT 200492 SOS 74183 HAS SOPS 74183 HAS SOUS 22047 HAS SOUPS 22047 WITH SCORE 22121.183
AT ITER 2503 NEW BEST:: SOT 200492 SOS 74181 HAS SOPS 74181 HAS SOUS 22045 HAS SOUPS 22045 WITH SCORE 22119.181
AT ITER 2504 NEW BEST:: SOT 200436 SOS 74125 HAS SOPS 74125 HAS SOUS 22044 HAS SOUPS 22044 WITH SCORE 22118.125
AT ITER 2508 NEW BEST:: SOT 200436 SOS 74125 HAS SOPS 74125 HAS SOUS 22036 HAS SOUPS 22036 WITH SCORE 22110.125
AT ITER 2510 NEW BEST:: SOT 200409 SOS 74153 HAS SOPS 74153 HAS SOUS 22009 HAS SOUPS 22009 WITH SCORE 22083.153
AT ITER 2540 NEW BEST:: SOT 200386 SOS 74107 HAS SOPS 74107 HAS SOUS 21962 HAS SOUPS 21962 WITH SCORE 22036.107
AT ITER 2544 NEW BEST:: SOT 200209 SOS 73991 HAS SOPS 73991 HAS SOUS 21842 HAS SOUPS 21842 WITH SCORE 21915.991
AT ITER 2674 NEW BEST:: SOT 200215 SOS 70363 HAS SOPS 70363 HAS SOUS 21823 HAS SOUPS 21823 WITH SCORE 21893.363
AT ITER 2734 NEW BEST:: SOT 200228 SOS 70417 HAS SOPS 70417 HAS SOUS 21738 HAS SOUPS 21738 WITH SCORE 21808.417
AT ITER 2737 NEW BEST:: SOT 200232 SOS 70419 HAS SOPS 70419 HAS SOUS 21724 HAS SOUPS 21724 WITH SCORE 21794.419
AT ITER 2747 NEW BEST:: SOT 200218 SOS 70405 HAS SOPS 70405 HAS SOUS 21696 HAS SOUPS 21696 WITH SCORE 21766.405
AT ITER 2783 NEW BEST:: SOT 200217 SOS 70403 HAS SOPS 70403 HAS SOUS 21694 HAS SOUPS 21694 WITH SCORE 21764.403
AT ITER 2809 NEW BEST:: SOT 200212 SOS 70389 HAS SOPS 70389 HAS SOUS 21680 HAS SOUPS 21680 WITH SCORE 21750.389
AT ITER 2813 NEW BEST:: SOT 200204 SOS 70377 HAS SOPS 70377 HAS SOUS 21668 HAS SOUPS 21668 WITH SCORE 21738.377
AT ITER 2842 NEW BEST:: SOT 200187 SOS 70381 HAS SOPS 70381 HAS SOUS 21659 HAS SOUPS 21659 WITH SCORE 21729.381
AT ITER 2913 NEW BEST:: SOT 200186 SOS 70380 HAS SOPS 70380 HAS SOUS 21658 HAS SOUPS 21658 WITH SCORE 21728.38
AT ITER 2918 NEW BEST:: SOT 200178 SOS 70364 HAS SOPS 70364 HAS SOUS 21642 HAS SOUPS 21642 WITH SCORE 21712.364
AT ITER 2958 NEW BEST:: SOT 200174 SOS 70356 HAS SOPS 70356 HAS SOUS 21634 HAS SOUPS 21634 WITH SCORE 21704.356
AT ITER 3000 NEW BEST:: SOT 200172 SOS 70366 HAS SOPS 70366 HAS SOUS 21630 HAS SOUPS 21630 WITH SCORE 21700.366
AT ITER 3024 NEW BEST:: SOT 200161 SOS 70355 HAS SOPS 70355 HAS SOUS 21619 HAS SOUPS 21619 WITH SCORE 21689.355
AT ITER 3030 NEW BEST:: SOT 200109 SOS 69515 HAS SOPS 69515 HAS SOUS 21604 HAS SOUPS 21604 WITH SCORE 21673.515
AT ITER 3034 NEW BEST:: SOT 200164 SOS 69511 HAS SOPS 69511 HAS SOUS 21602 HAS SOUPS 21602 WITH SCORE 21671.511
AT ITER 3055 NEW BEST:: SOT 200152 SOS 69499 HAS SOPS 69499 HAS SOUS 21579 HAS SOUPS 21579 WITH SCORE 21648.499
AT ITER 3062 NEW BEST:: SOT 200150 SOS 69497 HAS SOPS 69497 HAS SOUS 21577 HAS SOUPS 21577 WITH SCORE 21646.497
AT ITER 3073 NEW BEST:: SOT 200136 SOS 69483 HAS SOPS 69483 HAS SOUS 21549 HAS SOUPS 21549 WITH SCORE 21618.483
AT ITER 3094 NEW BEST:: SOT 200088 SOS 68059 HAS SOPS 68059 HAS SOUS 21500 HAS SOUPS 21500 WITH SCORE 21568.059
AT ITER 3124 NEW BEST:: SOT 200067 SOS 68017 HAS SOPS 68017 HAS SOUS 21479 HAS SOUPS 21479 WITH SCORE 21547.017
AT ITER 3166 NEW BEST:: SOT 200058 SOS 67999 HAS SOPS 67999 HAS SOUS 21461 HAS SOUPS 21461 WITH SCORE 21528.999
AT ITER 3173 NEW BEST:: SOT 200053 SOS 68249 HAS SOPS 68249 HAS SOUS 21457 HAS SOUPS 21457 WITH SCORE 21525.249
AT ITER 3177 NEW BEST:: SOT 200055 SOS 68220 HAS SOPS 68220 HAS SOUS 21428 HAS SOUPS 21428 WITH SCORE 21496.22
AT ITER 3183 NEW BEST:: SOT 200045 SOS 68180 HAS SOPS 68180 HAS SOUS 21408 HAS SOUPS 21408 WITH SCORE 21476.18
AT ITER 3194 NEW BEST:: SOT 200035 SOS 68160 HAS SOPS 68160 HAS SOUS 21388 HAS SOUPS 21388 WITH SCORE 21456.16
AT ITER 3202 NEW BEST:: SOT 200038 SOS 68160 HAS SOPS 68160 HAS SOUS 21385 HAS SOUPS 21385 WITH SCORE 21453.16
AT ITER 3208 NEW BEST:: SOT 200034 SOS 68160 HAS SOPS 68160 HAS SOUS 21381 HAS SOUPS 21381 WITH SCORE 21449.16
AT ITER 3219 NEW BEST:: SOT 199810 SOS 67936 HAS SOPS 67936 HAS SOUS 21277 HAS SOUPS 21277 WITH SCORE 21344.936
AT ITER 3246 NEW BEST:: SOT 199809 SOS 67934 HAS SOPS 67934 HAS SOUS 21275 HAS SOUPS 21275 WITH SCORE 21342.934
AT ITER 3273 NEW BEST:: SOT 199665 SOS 67782 HAS SOPS 67782 HAS SOUS 21236 HAS SOUPS 21236 WITH SCORE 21303.782
AT ITER 3276 NEW BEST:: SOT 199667 SOS 67786 HAS SOPS 67786 HAS SOUS 21230 HAS SOUPS 21230 WITH SCORE 21297.786
AT ITER 3289 NEW BEST:: SOT 199667 SOS 67792 HAS SOPS 67792 HAS SOUS 21224 HAS SOUPS 21224 WITH SCORE 21291.792
AT ITER 3307 NEW BEST:: SOT 199663 SOS 67752 HAS SOPS 67752 HAS SOUS 21188 HAS SOUPS 21188 WITH SCORE 21255.752
AT ITER 3360 NEW BEST:: SOT 199657 SOS 67740 HAS SOPS 67740 HAS SOUS 21179 HAS SOUPS 21179 WITH SCORE 21246.74
AT ITER 3398 NEW BEST:: SOT 199656 SOS 67739 HAS SOPS 67739 HAS SOUS 21178 HAS SOUPS 21178 WITH SCORE 21245.739
AT ITER 3405 NEW BEST:: SOT 199627 SOS 65743 HAS SOPS 65743 HAS SOUS 21162 HAS SOUPS 21162 WITH SCORE 21227.743
AT ITER 3414 NEW BEST:: SOT 199612 SOS 67273 HAS SOPS 67273 HAS SOUS 21159 HAS SOUPS 21159 WITH SCORE 21226.273
AT ITER 3419 NEW BEST:: SOT 199612 SOS 67273 HAS SOPS 67273 HAS SOUS 21139 HAS SOUPS 21139 WITH SCORE 21206.273
AT ITER 3425 NEW BEST:: SOT 199608 SOS 67265 HAS SOPS 67265 HAS SOUS 21132 HAS SOUPS 21132 WITH SCORE 21199.265
AT ITER 3436 NEW BEST:: SOT 199605 SOS 67220 HAS SOPS 67220 HAS SOUS 21087 HAS SOUPS 21087 WITH SCORE 21154.22
AT ITER 3442 NEW BEST:: SOT 199602 SOS 67214 HAS SOPS 67214 HAS SOUS 21081 HAS SOUPS 21081 WITH SCORE 21148.214
AT ITER 3455 NEW BEST:: SOT 199598 SOS 67208 HAS SOPS 67208 HAS SOUS 21075 HAS SOUPS 21075 WITH SCORE 21142.208
AT ITER 3493 NEW BEST:: SOT 199597 SOS 67206 HAS SOPS 67206 HAS SOUS 21073 HAS SOUPS 21073 WITH SCORE 21140.206
AT ITER 3497 NEW BEST:: SOT 199587 SOS 70306 HAS SOPS 70306 HAS SOUS 21066 HAS SOUPS 21066 WITH SCORE 21136.306
AT ITER 3502 NEW BEST:: SOT 199564 SOS 70274 HAS SOPS 70274 HAS SOUS 21029 HAS SOUPS 21029 WITH SCORE 21099.274
AT ITER 3576 NEW BEST:: SOT 199556 SOS 70262 HAS SOPS 70262 HAS SOUS 21021 HAS SOUPS 21021 WITH SCORE 21091.262
AT ITER 3581 NEW BEST:: SOT 199554 SOS 70258 HAS SOPS 70258 HAS SOUS 20989 HAS SOUPS 20989 WITH SCORE 21059.258
AT ITER 3605 NEW BEST:: SOT 199552 SOS 70258 HAS SOPS 70258 HAS SOUS 20988 HAS SOUPS 20988 WITH SCORE 21058.258
AT ITER 3640 NEW BEST:: SOT 199486 SOS 70126 HAS SOPS 70126 HAS SOUS 20938 HAS SOUPS 20938 WITH SCORE 21008.126
AT ITER 3644 NEW BEST:: SOT 199471 SOS 70081 HAS SOPS 70081 HAS SOUS 20234 HAS SOUPS 20234 WITH SCORE 20304.081
AT ITER 3661 NEW BEST:: SOT 199472 SOS 70081 HAS SOPS 70081 HAS SOUS 20233 HAS SOUPS 20233 WITH SCORE 20303.081
AT ITER 3678 NEW BEST:: SOT 199430 SOS 69425 HAS SOPS 69425 HAS SOUS 20191 HAS SOUPS 20191 WITH SCORE 20260.425
AT ITER 3738 NEW BEST:: SOT 199405 SOS 69375 HAS SOPS 69375 HAS SOUS 20141 HAS SOUPS 20141 WITH SCORE 20210.375
AT ITER 3795 NEW BEST:: SOT 199401 SOS 69371 HAS SOPS 69371 HAS SOUS 20133 HAS SOUPS 20133 WITH SCORE 20202.371
AT ITER 3796 NEW BEST:: SOT 199359 SOS 69329 HAS SOPS 69329 HAS SOUS 20049 HAS SOUPS 20049 WITH SCORE 20118.329
AT ITER 3816 NEW BEST:: SOT 199354 SOS 69320 HAS SOPS 69320 HAS SOUS 20038 HAS SOUPS 20038 WITH SCORE 20107.32
AT ITER 3826 NEW BEST:: SOT 199353 SOS 69318 HAS SOPS 69318 HAS SOUS 20036 HAS SOUPS 20036 WITH SCORE 20105.318
AT ITER 3833 NEW BEST:: SOT 199353 SOS 69318 HAS SOPS 69318 HAS SOUS 20022 HAS SOUPS 20022 WITH SCORE 20091.318
AT ITER 3836 NEW BEST:: SOT 199353 SOS 69318 HAS SOPS 69318 HAS SOUS 20021 HAS SOUPS 20021 WITH SCORE 20090.318
AT ITER 3851 NEW BEST:: SOT 199353 SOS 69318 HAS SOPS 69318 HAS SOUS 20000 HAS SOUPS 20000 WITH SCORE 20069.318
AT ITER 3877 NEW BEST:: SOT 199339 SOS 69226 HAS SOPS 69226 HAS SOUS 19975 HAS SOUPS 19975 WITH SCORE 20044.226
AT ITER 3882 NEW BEST:: SOT 199325 SOS 69212 HAS SOPS 69212 HAS SOUS 19961 HAS SOUPS 19961 WITH SCORE 20030.212
AT ITER 3883 NEW BEST:: SOT 199305 SOS 68586 HAS SOPS 68586 HAS SOUS 19940 HAS SOUPS 19940 WITH SCORE 20008.586
AT ITER 3885 NEW BEST:: SOT 199291 SOS 68572 HAS SOPS 68572 HAS SOUS 19912 HAS SOUPS 19912 WITH SCORE 19980.572
AT ITER 3886 NEW BEST:: SOT 199266 SOS 68473 HAS SOPS 68473 HAS SOUS 19873 HAS SOUPS 19873 WITH SCORE 19941.473
AT ITER 3906 NEW BEST:: SOT 199410 SOS 68729 HAS SOPS 68729 HAS SOUS 19797 HAS SOUPS 19797 WITH SCORE 19865.729
AT ITER 3908 NEW BEST:: SOT 199397 SOS 68703 HAS SOPS 68703 HAS SOUS 19784 HAS SOUPS 19784 WITH SCORE 19852.703
AT ITER 3966 NEW BEST:: SOT 199380 SOS 68686 HAS SOPS 68686 HAS SOUS 19767 HAS SOUPS 19767 WITH SCORE 19835.686
AT ITER 3979 NEW BEST:: SOT 199338 SOS 68640 HAS SOPS 68640 HAS SOUS 19735 HAS SOUPS 19735 WITH SCORE 19803.64
AT ITER 3985 NEW BEST:: SOT 199321 SOS 68623 HAS SOPS 68623 HAS SOUS 19718 HAS SOUPS 19718 WITH SCORE 19786.623
AT ITER 4068 NEW BEST:: SOT 199321 SOS 68610 HAS SOPS 68610 HAS SOUS 19718 HAS SOUPS 19718 WITH SCORE 19786.61
AT ITER 4094 NEW BEST:: SOT 199321 SOS 68612 HAS SOPS 68612 HAS SOUS 19716 HAS SOUPS 19716 WITH SCORE 19784.612
AT ITER 4101 NEW BEST:: SOT 199320 SOS 68610 HAS SOPS 68610 HAS SOUS 19714 HAS SOUPS 19714 WITH SCORE 19782.61
AT ITER 4119 NEW BEST:: SOT 199337 SOS 68605 HAS SOPS 68605 HAS SOUS 19705 HAS SOUPS 19705 WITH SCORE 19773.605
AT ITER 4160 NEW BEST:: SOT 199304 SOS 68539 HAS SOPS 68539 HAS SOUS 19639 HAS SOUPS 19639 WITH SCORE 19707.539
AT ITER 4172 NEW BEST:: SOT 199305 SOS 68531 HAS SOPS 68531 HAS SOUS 19635 HAS SOUPS 19635 WITH SCORE 19703.531
AT ITER 4189 NEW BEST:: SOT 199280 SOS 68456 HAS SOPS 68456 HAS SOUS 19610 HAS SOUPS 19610 WITH SCORE 19678.456
AT ITER 4196 NEW BEST:: SOT 199291 SOS 68440 HAS SOPS 68440 HAS SOUS 19484 HAS SOUPS 19484 WITH SCORE 19552.44
AT ITER 4254 NEW BEST:: SOT 199242 SOS 66431 HAS SOPS 66431 HAS SOUS 19476 HAS SOUPS 19476 WITH SCORE 19542.431
AT ITER 4255 NEW BEST:: SOT 199242 SOS 64871 HAS SOPS 64871 HAS SOUS 19476 HAS SOUPS 19476 WITH SCORE 19540.871
AT ITER 4274 NEW BEST:: SOT 199242 SOS 64871 HAS SOPS 64871 HAS SOUS 19475 HAS SOUPS 19475 WITH SCORE 19539.871
AT ITER 4308 NEW BEST:: SOT 199218 SOS 64847 HAS SOPS 64847 HAS SOUS 19451 HAS SOUPS 19451 WITH SCORE 19515.847
AT ITER 4343 NEW BEST:: SOT 199241 SOS 64854 HAS SOPS 64854 HAS SOUS 19439 HAS SOUPS 19439 WITH SCORE 19503.854
AT ITER 4359 NEW BEST:: SOT 199184 SOS 64802 HAS SOPS 64802 HAS SOUS 19400 HAS SOUPS 19400 WITH SCORE 19464.802
AT ITER 4363 NEW BEST:: SOT 199187 SOS 64837 HAS SOPS 64837 HAS SOUS 19194 HAS SOUPS 19194 WITH SCORE 19258.837
AT ITER 4376 NEW BEST:: SOT 199197 SOS 65006 HAS SOPS 65006 HAS SOUS 19185 HAS SOUPS 19185 WITH SCORE 19250.006
AT ITER 4394 NEW BEST:: SOT 199197 SOS 65002 HAS SOPS 65002 HAS SOUS 19177 HAS SOUPS 19177 WITH SCORE 19242.002
AT ITER 4419 NEW BEST:: SOT 199194 SOS 65010 HAS SOPS 65010 HAS SOUS 19176 HAS SOUPS 19176 WITH SCORE 19241.01
AT ITER 4564 NEW BEST:: SOT 199194 SOS 65048 HAS SOPS 65048 HAS SOUS 19167 HAS SOUPS 19167 WITH SCORE 19232.048
AT ITER 4568 NEW BEST:: SOT 199191 SOS 65032 HAS SOPS 65032 HAS SOUS 19154 HAS SOUPS 19154 WITH SCORE 19219.032
AT ITER 4660 NEW BEST:: SOT 199190 SOS 65029 HAS SOPS 65029 HAS SOUS 19138 HAS SOUPS 19138 WITH SCORE 19203.029
AT ITER 4701 NEW BEST:: SOT 199201 SOS 65031 HAS SOPS 65031 HAS SOUS 19136 HAS SOUPS 19136 WITH SCORE 19201.031
AT ITER 4717 NEW BEST:: SOT 199201 SOS 65007 HAS SOPS 65007 HAS SOUS 19136 HAS SOUPS 19136 WITH SCORE 19201.007
AT ITER 4729 NEW BEST:: SOT 199201 SOS 65003 HAS SOPS 65003 HAS SOUS 19128 HAS SOUPS 19128 WITH SCORE 19193.003
AT ITER 4745 NEW BEST:: SOT 199201 SOS 64999 HAS SOPS 64999 HAS SOUS 19128 HAS SOUPS 19128 WITH SCORE 19192.999
AT ITER 4773 NEW BEST:: SOT 199224 SOS 65014 HAS SOPS 65014 HAS SOUS 19122 HAS SOUPS 19122 WITH SCORE 19187.014
AT ITER 4779 NEW BEST:: SOT 199217 SOS 65000 HAS SOPS 65000 HAS SOUS 19110 HAS SOUPS 19110 WITH SCORE 19175.0
AT ITER 4787 NEW BEST:: SOT 198957 SOS 64753 HAS SOPS 64753 HAS SOUS 19090 HAS SOUPS 19090 WITH SCORE 19154.753
AT ITER 4810 NEW BEST:: SOT 198943 SOS 64739 HAS SOPS 64739 HAS SOUS 19062 HAS SOUPS 19062 WITH SCORE 19126.739
AT ITER 4845 NEW BEST:: SOT 198930 SOS 64739 HAS SOPS 64739 HAS SOUS 18958 HAS SOUPS 18958 WITH SCORE 19022.739
AT ITER 4856 NEW BEST:: SOT 198934 SOS 64733 HAS SOPS 64733 HAS SOUS 18957 HAS SOUPS 18957 WITH SCORE 19021.733
AT ITER 4857 NEW BEST:: SOT 198909 SOS 64711 HAS SOPS 64711 HAS SOUS 18946 HAS SOUPS 18946 WITH SCORE 19010.711
AT ITER 4894 NEW BEST:: SOT 198891 SOS 64689 HAS SOPS 64689 HAS SOUS 18928 HAS SOUPS 18928 WITH SCORE 18992.689
AT ITER 4900 NEW BEST:: SOT 198891 SOS 64686 HAS SOPS 64686 HAS SOUS 18925 HAS SOUPS 18925 WITH SCORE 18989.686
AT ITER 4913 NEW BEST:: SOT 198871 SOS 64679 HAS SOPS 64679 HAS SOUS 18918 HAS SOUPS 18918 WITH SCORE 18982.679
AT ITER 4990 NEW BEST:: SOT 198843 SOS 64657 HAS SOPS 64657 HAS SOUS 18897 HAS SOUPS 18897 WITH SCORE 18961.657
AT ITER 4997 NEW BEST:: SOT 198843 SOS 64652 HAS SOPS 64652 HAS SOUS 18892 HAS SOUPS 18892 WITH SCORE 18956.652
AT ITER 5129 NEW BEST:: SOT 198843 SOS 64652 HAS SOPS 64652 HAS SOUS 18886 HAS SOUPS 18886 WITH SCORE 18950.652
AT ITER 5170 NEW BEST:: SOT 198839 SOS 64644 HAS SOPS 64644 HAS SOUS 18881 HAS SOUPS 18881 WITH SCORE 18945.644
AT ITER 5188 NEW BEST:: SOT 198837 SOS 64640 HAS SOPS 64640 HAS SOUS 18877 HAS SOUPS 18877 WITH SCORE 18941.64
AT ITER 5192 NEW BEST:: SOT 198796 SOS 64416 HAS SOPS 64416 HAS SOUS 18846 HAS SOUPS 18846 WITH SCORE 18910.416
AT ITER 5218 NEW BEST:: SOT 198796 SOS 64402 HAS SOPS 64402 HAS SOUS 18846 HAS SOUPS 18846 WITH SCORE 18910.402
AT ITER 5231 NEW BEST:: SOT 198781 SOS 64401 HAS SOPS 64401 HAS SOUS 18845 HAS SOUPS 18845 WITH SCORE 18909.401
AT ITER 5247 NEW BEST:: SOT 198251 SOS 63871 HAS SOPS 63871 HAS SOUS 18507 HAS SOUPS 18507 WITH SCORE 18570.871
AT ITER 5279 NEW BEST:: SOT 198251 SOS 63871 HAS SOPS 63871 HAS SOUS 18500 HAS SOUPS 18500 WITH SCORE 18563.871
AT ITER 5283 NEW BEST:: SOT 198251 SOS 63848 HAS SOPS 63848 HAS SOUS 18500 HAS SOUPS 18500 WITH SCORE 18563.848
AT ITER 5321 NEW BEST:: SOT 198227 SOS 63826 HAS SOPS 63826 HAS SOUS 18475 HAS SOUPS 18475 WITH SCORE 18538.826
AT ITER 5409 NEW BEST:: SOT 198220 SOS 63812 HAS SOPS 63812 HAS SOUS 18461 HAS SOUPS 18461 WITH SCORE 18524.812
AT ITER 5459 NEW BEST:: SOT 198106 SOS 63676 HAS SOPS 63676 HAS SOUS 18335 HAS SOUPS 18335 WITH SCORE 18398.676
AT ITER 5516 NEW BEST:: SOT 198101 SOS 63661 HAS SOPS 63661 HAS SOUS 18320 HAS SOUPS 18320 WITH SCORE 18383.661
AT ITER 5529 NEW BEST:: SOT 198075 SOS 63609 HAS SOPS 63609 HAS SOUS 18278 HAS SOUPS 18278 WITH SCORE 18341.609
AT ITER 5535 NEW BEST:: SOT 198120 SOS 63627 HAS SOPS 63627 HAS SOUS 18274 HAS SOUPS 18274 WITH SCORE 18337.627
AT ITER 5538 NEW BEST:: SOT 198120 SOS 63627 HAS SOPS 63627 HAS SOUS 18264 HAS SOUPS 18264 WITH SCORE 18327.627
AT ITER 5566 NEW BEST:: SOT 198022 SOS 63518 HAS SOPS 63518 HAS SOUS 18211 HAS SOUPS 18211 WITH SCORE 18274.518
AT ITER 5581 NEW BEST:: SOT 198022 SOS 63490 HAS SOPS 63490 HAS SOUS 18211 HAS SOUPS 18211 WITH SCORE 18274.49
AT ITER 5582 NEW BEST:: SOT 197962 SOS 63370 HAS SOPS 63370 HAS SOUS 18195 HAS SOUPS 18195 WITH SCORE 18258.37
AT ITER 5609 NEW BEST:: SOT 197953 SOS 63361 HAS SOPS 63361 HAS SOUS 18186 HAS SOUPS 18186 WITH SCORE 18249.361
AT ITER 5629 NEW BEST:: SOT 197948 SOS 63351 HAS SOPS 63351 HAS SOUS 18181 HAS SOUPS 18181 WITH SCORE 18244.351
AT ITER 5640 NEW BEST:: SOT 197948 SOS 63351 HAS SOPS 63351 HAS SOUS 18171 HAS SOUPS 18171 WITH SCORE 18234.351
AT ITER 5646 NEW BEST:: SOT 197967 SOS 63389 HAS SOPS 63389 HAS SOUS 18148 HAS SOUPS 18148 WITH SCORE 18211.389
AT ITER 5732 NEW BEST:: SOT 197964 SOS 63383 HAS SOPS 63383 HAS SOUS 18142 HAS SOUPS 18142 WITH SCORE 18205.383
AT ITER 5756 NEW BEST:: SOT 197961 SOS 63379 HAS SOPS 63379 HAS SOUS 18138 HAS SOUPS 18138 WITH SCORE 18201.379
AT ITER 5794 NEW BEST:: SOT 197933 SOS 63349 HAS SOPS 63349 HAS SOUS 18078 HAS SOUPS 18078 WITH SCORE 18141.349
AT ITER 5819 NEW BEST:: SOT 197887 SOS 63301 HAS SOPS 63301 HAS SOUS 18028 HAS SOUPS 18028 WITH SCORE 18091.301
AT ITER 5820 NEW BEST:: SOT 197861 SOS 61845 HAS SOPS 61845 HAS SOUS 18002 HAS SOUPS 18002 WITH SCORE 18063.845
AT ITER 5859 NEW BEST:: SOT 197861 SOS 61841 HAS SOPS 61841 HAS SOUS 17998 HAS SOUPS 17998 WITH SCORE 18059.841
AT ITER 5860 NEW BEST:: SOT 197860 SOS 61839 HAS SOPS 61839 HAS SOUS 17996 HAS SOUPS 17996 WITH SCORE 18057.839
AT ITER 5902 NEW BEST:: SOT 197860 SOS 61845 HAS SOPS 61845 HAS SOUS 17960 HAS SOUPS 17960 WITH SCORE 18021.845
AT ITER 5910 NEW BEST:: SOT 197856 SOS 61841 HAS SOPS 61841 HAS SOUS 17956 HAS SOUPS 17956 WITH SCORE 18017.841
AT ITER 5921 NEW BEST:: SOT 197856 SOS 61820 HAS SOPS 61820 HAS SOUS 17956 HAS SOUPS 17956 WITH SCORE 18017.82
AT ITER 6027 NEW BEST:: SOT 197856 SOS 61843 HAS SOPS 61843 HAS SOUS 17933 HAS SOUPS 17933 WITH SCORE 17994.843
AT ITER 6060 NEW BEST:: SOT 197842 SOS 61828 HAS SOPS 61828 HAS SOUS 17918 HAS SOUPS 17918 WITH SCORE 17979.828
AT ITER 6067 NEW BEST:: SOT 197831 SOS 61806 HAS SOPS 61806 HAS SOUS 17902 HAS SOUPS 17902 WITH SCORE 17963.806
AT ITER 6069 NEW BEST:: SOT 197820 SOS 61794 HAS SOPS 61794 HAS SOUS 17890 HAS SOUPS 17890 WITH SCORE 17951.794
AT ITER 6127 NEW BEST:: SOT 197814 SOS 61782 HAS SOPS 61782 HAS SOUS 17878 HAS SOUPS 17878 WITH SCORE 17939.782
AT ITER 6136 NEW BEST:: SOT 197785 SOS 61724 HAS SOPS 61724 HAS SOUS 17820 HAS SOUPS 17820 WITH SCORE 17881.724
AT ITER 6165 NEW BEST:: SOT 197807 SOS 61746 HAS SOPS 61746 HAS SOUS 17739 HAS SOUPS 17739 WITH SCORE 17800.746
AT ITER 6259 NEW BEST:: SOT 197797 SOS 61726 HAS SOPS 61726 HAS SOUS 17707 HAS SOUPS 17707 WITH SCORE 17768.726
AT ITER 6382 NEW BEST:: SOT 197796 SOS 61724 HAS SOPS 61724 HAS SOUS 17705 HAS SOUPS 17705 WITH SCORE 17766.724
AT ITER 6389 NEW BEST:: SOT 197699 SOS 62064 HAS SOPS 62064 HAS SOUS 17556 HAS SOUPS 17556 WITH SCORE 17618.064
AT ITER 6426 NEW BEST:: SOT 197686 SOS 62021 HAS SOPS 62021 HAS SOUS 17529 HAS SOUPS 17529 WITH SCORE 17591.021
AT ITER 6508 NEW BEST:: SOT 197686 SOS 61998 HAS SOPS 61998 HAS SOUS 17529 HAS SOUPS 17529 WITH SCORE 17590.998
AT ITER 6527 NEW BEST:: SOT 197686 SOS 61998 HAS SOPS 61998 HAS SOUS 17510 HAS SOUPS 17510 WITH SCORE 17571.998
AT ITER 6535 NEW BEST:: SOT 197604 SOS 61917 HAS SOPS 61917 HAS SOUS 17414 HAS SOUPS 17414 WITH SCORE 17475.917
AT ITER 6571 NEW BEST:: SOT 197590 SOS 61901 HAS SOPS 61901 HAS SOUS 17398 HAS SOUPS 17398 WITH SCORE 17459.901
AT ITER 6587 NEW BEST:: SOT 197593 SOS 61898 HAS SOPS 61898 HAS SOUS 17395 HAS SOUPS 17395 WITH SCORE 17456.898
AT ITER 6619 NEW BEST:: SOT 197589 SOS 61890 HAS SOPS 61890 HAS SOUS 17387 HAS SOUPS 17387 WITH SCORE 17448.89
AT ITER 6626 NEW BEST:: SOT 197536 SOS 61796 HAS SOPS 61796 HAS SOUS 17312 HAS SOUPS 17312 WITH SCORE 17373.796
AT ITER 6633 NEW BEST:: SOT 197533 SOS 61793 HAS SOPS 61793 HAS SOUS 17306 HAS SOUPS 17306 WITH SCORE 17367.793
AT ITER 6693 NEW BEST:: SOT 197500 SOS 61727 HAS SOPS 61727 HAS SOUS 17239 HAS SOUPS 17239 WITH SCORE 17300.727
AT ITER 6705 NEW BEST:: SOT 197500 SOS 61727 HAS SOPS 61727 HAS SOUS 17237 HAS SOUPS 17237 WITH SCORE 17298.727
AT ITER 6737 NEW BEST:: SOT 197506 SOS 61726 HAS SOPS 61726 HAS SOUS 17237 HAS SOUPS 17237 WITH SCORE 17298.726
AT ITER 6868 NEW BEST:: SOT 197527 SOS 61768 HAS SOPS 61768 HAS SOUS 17227 HAS SOUPS 17227 WITH SCORE 17288.768
AT ITER 6874 NEW BEST:: SOT 197517 SOS 61760 HAS SOPS 61760 HAS SOUS 17217 HAS SOUPS 17217 WITH SCORE 17278.76
AT ITER 6936 NEW BEST:: SOT 197501 SOS 61744 HAS SOPS 61744 HAS SOUS 17184 HAS SOUPS 17184 WITH SCORE 17245.744
AT ITER 6945 NEW BEST:: SOT 197501 SOS 61757 HAS SOPS 61757 HAS SOUS 17171 HAS SOUPS 17171 WITH SCORE 17232.757
AT ITER 6959 NEW BEST:: SOT 197501 SOS 61757 HAS SOPS 61757 HAS SOUS 17170 HAS SOUPS 17170 WITH SCORE 17231.757
AT ITER 7028 NEW BEST:: SOT 197492 SOS 61739 HAS SOPS 61739 HAS SOUS 17152 HAS SOUPS 17152 WITH SCORE 17213.739
AT ITER 7035 NEW BEST:: SOT 197490 SOS 61735 HAS SOPS 61735 HAS SOUS 17148 HAS SOUPS 17148 WITH SCORE 17209.735
AT ITER 7087 NEW BEST:: SOT 197431 SOS 61585 HAS SOPS 61585 HAS SOUS 17095 HAS SOUPS 17095 WITH SCORE 17156.585
AT ITER 7091 NEW BEST:: SOT 197429 SOS 61581 HAS SOPS 61581 HAS SOUS 17091 HAS SOUPS 17091 WITH SCORE 17152.581
AT ITER 7134 NEW BEST:: SOT 197429 SOS 65097 HAS SOPS 65097 HAS SOUS 17087 HAS SOUPS 17087 WITH SCORE 17152.097
AT ITER 7229 NEW BEST:: SOT 197205 SOS 64841 HAS SOPS 64841 HAS SOUS 16855 HAS SOUPS 16855 WITH SCORE 16919.841
AT ITER 7240 NEW BEST:: SOT 197201 SOS 64836 HAS SOPS 64836 HAS SOUS 16850 HAS SOUPS 16850 WITH SCORE 16914.836
AT ITER 7244 NEW BEST:: SOT 197173 SOS 64806 HAS SOPS 64806 HAS SOUS 16820 HAS SOUPS 16820 WITH SCORE 16884.806
AT ITER 7352 NEW BEST:: SOT 197211 SOS 64826 HAS SOPS 64826 HAS SOUS 16785 HAS SOUPS 16785 WITH SCORE 16849.826
AT ITER 7448 NEW BEST:: SOT 197207 SOS 64824 HAS SOPS 64824 HAS SOUS 16783 HAS SOUPS 16783 WITH SCORE 16847.824
AT ITER 7673 NEW BEST:: SOT 197205 SOS 64820 HAS SOPS 64820 HAS SOUS 16782 HAS SOUPS 16782 WITH SCORE 16846.82
AT ITER 7684 NEW BEST:: SOT 197205 SOS 64820 HAS SOPS 64820 HAS SOUS 16398 HAS SOUPS 16398 WITH SCORE 16462.82
AT ITER 7763 NEW BEST:: SOT 197208 SOS 63786 HAS SOPS 63786 HAS SOUS 16393 HAS SOUPS 16393 WITH SCORE 16456.786
AT ITER 7776 NEW BEST:: SOT 197175 SOS 60258 HAS SOPS 60258 HAS SOUS 16330 HAS SOUPS 16330 WITH SCORE 16390.258
AT ITER 7789 NEW BEST:: SOT 197175 SOS 60298 HAS SOPS 60298 HAS SOUS 16329 HAS SOUPS 16329 WITH SCORE 16389.298
AT ITER 7878 NEW BEST:: SOT 197167 SOS 60298 HAS SOPS 60298 HAS SOUS 16280 HAS SOUPS 16280 WITH SCORE 16340.298
AT ITER 7894 NEW BEST:: SOT 197165 SOS 60294 HAS SOPS 60294 HAS SOUS 16276 HAS SOUPS 16276 WITH SCORE 16336.294
AT ITER 7897 NEW BEST:: SOT 197165 SOS 60291 HAS SOPS 60291 HAS SOUS 16273 HAS SOUPS 16273 WITH SCORE 16333.291
AT ITER 7961 NEW BEST:: SOT 197160 SOS 60281 HAS SOPS 60281 HAS SOUS 16261 HAS SOUPS 16261 WITH SCORE 16321.281
AT ITER 7987 NEW BEST:: SOT 197159 SOS 60279 HAS SOPS 60279 HAS SOUS 16260 HAS SOUPS 16260 WITH SCORE 16320.279
AT ITER 8001 NEW BEST:: SOT 197153 SOS 60267 HAS SOPS 60267 HAS SOUS 16248 HAS SOUPS 16248 WITH SCORE 16308.267
AT ITER 8086 NEW BEST:: SOT 197162 SOS 60249 HAS SOPS 60249 HAS SOUS 16248 HAS SOUPS 16248 WITH SCORE 16308.249
AT ITER 8159 NEW BEST:: SOT 197118 SOS 60137 HAS SOPS 60137 HAS SOUS 16155 HAS SOUPS 16155 WITH SCORE 16215.137
AT ITER 8168 NEW BEST:: SOT 197038 SOS 60057 HAS SOPS 60057 HAS SOUS 16096 HAS SOUPS 16096 WITH SCORE 16156.057
AT ITER 8181 NEW BEST:: SOT 196996 SOS 59973 HAS SOPS 59973 HAS SOUS 16012 HAS SOUPS 16012 WITH SCORE 16071.973
AT ITER 8203 NEW BEST:: SOT 196995 SOS 59971 HAS SOPS 59971 HAS SOUS 16010 HAS SOUPS 16010 WITH SCORE 16069.971
AT ITER 8235 NEW BEST:: SOT 196992 SOS 59965 HAS SOPS 59965 HAS SOUS 16004 HAS SOUPS 16004 WITH SCORE 16063.965
AT ITER 8236 NEW BEST:: SOT 197002 SOS 59985 HAS SOPS 59985 HAS SOUS 16002 HAS SOUPS 16002 WITH SCORE 16061.985
AT ITER 8270 NEW BEST:: SOT 196992 SOS 59965 HAS SOPS 59965 HAS SOUS 15999 HAS SOUPS 15999 WITH SCORE 16058.965
AT ITER 8298 NEW BEST:: SOT 196988 SOS 59950 HAS SOPS 59950 HAS SOUS 15995 HAS SOUPS 15995 WITH SCORE 16054.95
AT ITER 8307 NEW BEST:: SOT 196988 SOS 59951 HAS SOPS 59951 HAS SOUS 15994 HAS SOUPS 15994 WITH SCORE 16053.951
AT ITER 8337 NEW BEST:: SOT 197032 SOS 59933 HAS SOPS 59933 HAS SOUS 15971 HAS SOUPS 15971 WITH SCORE 16030.933
AT ITER 8481 NEW BEST:: SOT 197030 SOS 59924 HAS SOPS 59924 HAS SOUS 15964 HAS SOUPS 15964 WITH SCORE 16023.924
AT ITER 8577 NEW BEST:: SOT 197030 SOS 59908 HAS SOPS 59908 HAS SOUS 15964 HAS SOUPS 15964 WITH SCORE 16023.908
AT ITER 8681 NEW BEST:: SOT 197010 SOS 59868 HAS SOPS 59868 HAS SOUS 15924 HAS SOUPS 15924 WITH SCORE 15983.868
AT ITER 8707 NEW BEST:: SOT 197010 SOS 59848 HAS SOPS 59848 HAS SOUS 15924 HAS SOUPS 15924 WITH SCORE 15983.848
AT ITER 8708 NEW BEST:: SOT 197041 SOS 59872 HAS SOPS 59872 HAS SOUS 15737 HAS SOUPS 15737 WITH SCORE 15796.872
AT ITER 8709 NEW BEST:: SOT 197021 SOS 59832 HAS SOPS 59832 HAS SOUS 15697 HAS SOUPS 15697 WITH SCORE 15756.832
AT ITER 8717 NEW BEST:: SOT 197021 SOS 59830 HAS SOPS 59830 HAS SOUS 15697 HAS SOUPS 15697 WITH SCORE 15756.83
AT ITER 8728 NEW BEST:: SOT 197019 SOS 59826 HAS SOPS 59826 HAS SOUS 15695 HAS SOUPS 15695 WITH SCORE 15754.826
AT ITER 8742 NEW BEST:: SOT 197005 SOS 59798 HAS SOPS 59798 HAS SOUS 15684 HAS SOUPS 15684 WITH SCORE 15743.798
AT ITER 8756 NEW BEST:: SOT 197004 SOS 59796 HAS SOPS 59796 HAS SOUS 15682 HAS SOUPS 15682 WITH SCORE 15741.796
AT ITER 8794 NEW BEST:: SOT 197002 SOS 59792 HAS SOPS 59792 HAS SOUS 15678 HAS SOUPS 15678 WITH SCORE 15737.792
AT ITER 8832 NEW BEST:: SOT 196960 SOS 59747 HAS SOPS 59747 HAS SOUS 15633 HAS SOUPS 15633 WITH SCORE 15692.747
AT ITER 8917 NEW BEST:: SOT 196929 SOS 59716 HAS SOPS 59716 HAS SOUS 15602 HAS SOUPS 15602 WITH SCORE 15661.716
AT ITER 9017 NEW BEST:: SOT 196927 SOS 59714 HAS SOPS 59714 HAS SOUS 15602 HAS SOUPS 15602 WITH SCORE 15661.714
AT ITER 9098 NEW BEST:: SOT 196918 SOS 59705 HAS SOPS 59705 HAS SOUS 15593 HAS SOUPS 15593 WITH SCORE 15652.705
AT ITER 9105 NEW BEST:: SOT 196914 SOS 59701 HAS SOPS 59701 HAS SOUS 15589 HAS SOUPS 15589 WITH SCORE 15648.701
AT ITER 9108 NEW BEST:: SOT 196874 SOS 59691 HAS SOPS 59691 HAS SOUS 15552 HAS SOUPS 15552 WITH SCORE 15611.691
AT ITER 9134 NEW BEST:: SOT 196869 SOS 59686 HAS SOPS 59686 HAS SOUS 15547 HAS SOUPS 15547 WITH SCORE 15606.686
AT ITER 9176 NEW BEST:: SOT 196901 SOS 59670 HAS SOPS 59670 HAS SOUS 15483 HAS SOUPS 15483 WITH SCORE 15542.67
AT ITER 9300 NEW BEST:: SOT 196896 SOS 59660 HAS SOPS 59660 HAS SOUS 15471 HAS SOUPS 15471 WITH SCORE 15530.66
AT ITER 9339 NEW BEST:: SOT 196891 SOS 59650 HAS SOPS 59650 HAS SOUS 15461 HAS SOUPS 15461 WITH SCORE 15520.65
AT ITER 9388 NEW BEST:: SOT 196869 SOS 59657 HAS SOPS 59657 HAS SOUS 15435 HAS SOUPS 15435 WITH SCORE 15494.657
AT ITER 9417 NEW BEST:: SOT 196865 SOS 59649 HAS SOPS 59649 HAS SOUS 15430 HAS SOUPS 15430 WITH SCORE 15489.649
AT ITER 9434 NEW BEST:: SOT 196853 SOS 59625 HAS SOPS 59625 HAS SOUS 15394 HAS SOUPS 15394 WITH SCORE 15453.625
AT ITER 9468 NEW BEST:: SOT 196827 SOS 59599 HAS SOPS 59599 HAS SOUS 15368 HAS SOUPS 15368 WITH SCORE 15427.599
AT ITER 9534 NEW BEST:: SOT 196832 SOS 59601 HAS SOPS 59601 HAS SOUS 15338 HAS SOUPS 15338 WITH SCORE 15397.601
AT ITER 9565 NEW BEST:: SOT 196826 SOS 59595 HAS SOPS 59595 HAS SOUS 15329 HAS SOUPS 15329 WITH SCORE 15388.595
AT ITER 9597 NEW BEST:: SOT 196938 SOS 59734 HAS SOPS 59734 HAS SOUS 15202 HAS SOUPS 15202 WITH SCORE 15261.734
AT ITER 9605 NEW BEST:: SOT 196932 SOS 59728 HAS SOPS 59728 HAS SOUS 15196 HAS SOUPS 15196 WITH SCORE 15255.728
AT ITER 9617 NEW BEST:: SOT 196932 SOS 59727 HAS SOPS 59727 HAS SOUS 15195 HAS SOUPS 15195 WITH SCORE 15254.727
AT ITER 9696 NEW BEST:: SOT 196932 SOS 59727 HAS SOPS 59727 HAS SOUS 15194 HAS SOUPS 15194 WITH SCORE 15253.727
AT ITER 9813 NEW BEST:: SOT 196931 SOS 59725 HAS SOPS 59725 HAS SOUS 15192 HAS SOUPS 15192 WITH SCORE 15251.725
AT ITER 9824 NEW BEST:: SOT 196935 SOS 59724 HAS SOPS 59724 HAS SOUS 15191 HAS SOUPS 15191 WITH SCORE 15250.724
AT ITER 9829 NEW BEST:: SOT 196934 SOS 59722 HAS SOPS 59722 HAS SOUS 15189 HAS SOUPS 15189 WITH SCORE 15248.722
AT ITER 9831 NEW BEST:: SOT 196931 SOS 59716 HAS SOPS 59716 HAS SOUS 15183 HAS SOUPS 15183 WITH SCORE 15242.716
AT ITER 9863 NEW BEST:: SOT 196931 SOS 59709 HAS SOPS 59709 HAS SOUS 15183 HAS SOUPS 15183 WITH SCORE 15242.709
AT ITER 9884 NEW BEST:: SOT 196931 SOS 59721 HAS SOPS 59721 HAS SOUS 15171 HAS SOUPS 15171 WITH SCORE 15230.721
AT ITER 9887 NEW BEST:: SOT 196915 SOS 59689 HAS SOPS 59689 HAS SOUS 15139 HAS SOUPS 15139 WITH SCORE 15198.689
AT ITER 9919 NEW BEST:: SOT 196918 SOS 59695 HAS SOPS 59695 HAS SOUS 15134 HAS SOUPS 15134 WITH SCORE 15193.695
AT ITER 9936 NEW BEST:: SOT 196918 SOS 59695 HAS SOPS 59695 HAS SOUS 15130 HAS SOUPS 15130 WITH SCORE 15189.695
AT ITER 9958 NEW BEST:: SOT 196918 SOS 59677 HAS SOPS 59677 HAS SOUS 15130 HAS SOUPS 15130 WITH SCORE 15189.677
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 7247276 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16154596 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-07b"
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-07b, 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-167813591100640"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/AutonomousCar-PT-07b.tgz
mv AutonomousCar-PT-07b 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 '
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 ;