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-167813600500656.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-08b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813600500656
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 936K
-rw-r--r-- 1 mcc users 6.4K Feb 25 12:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 25 12:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 25 12:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 25 12:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 10K Feb 25 12:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 108K Feb 25 12:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.9K Feb 25 12:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 79K Feb 25 12:52 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 517K 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 1678740937084

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-08b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 20:55:39] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 20:55:39] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 20:55:40] [INFO ] Load time of PNML (sax parser for PT used): 169 ms
[2023-03-13 20:55:40] [INFO ] Transformed 357 places.
[2023-03-13 20:55:40] [INFO ] Transformed 1128 transitions.
[2023-03-13 20:55:40] [INFO ] Found NUPN structural information;
[2023-03-13 20:55:40] [INFO ] Parsed PT model containing 357 places and 1128 transitions and 9454 arcs in 336 ms.
[2023-03-13 20:55:40] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 357 places, 1128 transitions and 9454 arcs took 34 ms.
Total runtime 403 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutonomousCar (PT), instance 08b
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: 357 places, 1128 transitions, 9454 arcs.
AT ITER 0 NEW BEST:: SOT 309486 SOS 96531 HAS SOPS 96531 HAS SOUS 52516 HAS SOUPS 52516 WITH SCORE 52612.531
AT ITER 15 NEW BEST:: SOT 309557 SOS 96519 HAS SOPS 96519 HAS SOUS 51380 HAS SOUPS 51380 WITH SCORE 51476.519
AT ITER 27 NEW BEST:: SOT 309509 SOS 96431 HAS SOPS 96431 HAS SOUS 51355 HAS SOUPS 51355 WITH SCORE 51451.431
AT ITER 45 NEW BEST:: SOT 309496 SOS 96405 HAS SOPS 96405 HAS SOUS 51329 HAS SOUPS 51329 WITH SCORE 51425.405
AT ITER 47 NEW BEST:: SOT 309496 SOS 96380 HAS SOPS 96380 HAS SOUS 51329 HAS SOUPS 51329 WITH SCORE 51425.38
AT ITER 66 NEW BEST:: SOT 309486 SOS 96309 HAS SOPS 96309 HAS SOUS 50909 HAS SOUPS 50909 WITH SCORE 51005.309
AT ITER 71 NEW BEST:: SOT 309204 SOS 96024 HAS SOPS 96024 HAS SOUS 50793 HAS SOUPS 50793 WITH SCORE 50889.024
AT ITER 77 NEW BEST:: SOT 309173 SOS 95914 HAS SOPS 95914 HAS SOUS 50762 HAS SOUPS 50762 WITH SCORE 50857.914
AT ITER 83 NEW BEST:: SOT 309173 SOS 95888 HAS SOPS 95888 HAS SOUS 50736 HAS SOUPS 50736 WITH SCORE 50831.888
AT ITER 92 NEW BEST:: SOT 309134 SOS 95882 HAS SOPS 95882 HAS SOUS 50733 HAS SOUPS 50733 WITH SCORE 50828.882
AT ITER 104 NEW BEST:: SOT 308136 SOS 111280 HAS SOPS 111280 HAS SOUS 50275 HAS SOUPS 50275 WITH SCORE 50386.28
AT ITER 111 NEW BEST:: SOT 308080 SOS 111222 HAS SOPS 111222 HAS SOUS 50165 HAS SOUPS 50165 WITH SCORE 50276.222
AT ITER 112 NEW BEST:: SOT 308067 SOS 111221 HAS SOPS 111221 HAS SOUS 50139 HAS SOUPS 50139 WITH SCORE 50250.221
AT ITER 122 NEW BEST:: SOT 308054 SOS 111195 HAS SOPS 111195 HAS SOUS 50126 HAS SOUPS 50126 WITH SCORE 50237.195
AT ITER 134 NEW BEST:: SOT 308056 SOS 111177 HAS SOPS 111177 HAS SOUS 50108 HAS SOUPS 50108 WITH SCORE 50219.177
AT ITER 141 NEW BEST:: SOT 308044 SOS 111153 HAS SOPS 111153 HAS SOUS 50084 HAS SOUPS 50084 WITH SCORE 50195.153
AT ITER 142 NEW BEST:: SOT 308049 SOS 111163 HAS SOPS 111163 HAS SOUS 50053 HAS SOUPS 50053 WITH SCORE 50164.163
AT ITER 148 NEW BEST:: SOT 308013 SOS 111109 HAS SOPS 111109 HAS SOUS 49907 HAS SOUPS 49907 WITH SCORE 50018.109
AT ITER 149 NEW BEST:: SOT 307569 SOS 110613 HAS SOPS 110613 HAS SOUS 49868 HAS SOUPS 49868 WITH SCORE 49978.613
AT ITER 152 NEW BEST:: SOT 307562 SOS 110606 HAS SOPS 110606 HAS SOUS 49861 HAS SOUPS 49861 WITH SCORE 49971.606
AT ITER 184 NEW BEST:: SOT 307488 SOS 110528 HAS SOPS 110528 HAS SOUS 49787 HAS SOUPS 49787 WITH SCORE 49897.528
AT ITER 190 NEW BEST:: SOT 307471 SOS 110494 HAS SOPS 110494 HAS SOUS 49770 HAS SOUPS 49770 WITH SCORE 49880.494
AT ITER 197 NEW BEST:: SOT 307226 SOS 110207 HAS SOPS 110207 HAS SOUS 49483 HAS SOUPS 49483 WITH SCORE 49593.207
AT ITER 202 NEW BEST:: SOT 307180 SOS 110161 HAS SOPS 110161 HAS SOUS 49437 HAS SOUPS 49437 WITH SCORE 49547.161
AT ITER 205 NEW BEST:: SOT 307185 SOS 110178 HAS SOPS 110178 HAS SOUS 49435 HAS SOUPS 49435 WITH SCORE 49545.178
AT ITER 210 NEW BEST:: SOT 307181 SOS 110170 HAS SOPS 110170 HAS SOUS 49386 HAS SOUPS 49386 WITH SCORE 49496.17
AT ITER 225 NEW BEST:: SOT 307177 SOS 110166 HAS SOPS 110166 HAS SOUS 49382 HAS SOUPS 49382 WITH SCORE 49492.166
AT ITER 231 NEW BEST:: SOT 306769 SOS 109712 HAS SOPS 109712 HAS SOUS 49085 HAS SOUPS 49085 WITH SCORE 49194.712
AT ITER 242 NEW BEST:: SOT 306584 SOS 109522 HAS SOPS 109522 HAS SOUS 48892 HAS SOUPS 48892 WITH SCORE 49001.522
AT ITER 287 NEW BEST:: SOT 306580 SOS 103626 HAS SOPS 103626 HAS SOUS 48888 HAS SOUPS 48888 WITH SCORE 48991.626
AT ITER 288 NEW BEST:: SOT 306623 SOS 103650 HAS SOPS 103650 HAS SOUS 46817 HAS SOUPS 46817 WITH SCORE 46920.65
AT ITER 289 NEW BEST:: SOT 305844 SOS 102730 HAS SOPS 102730 HAS SOUS 46318 HAS SOUPS 46318 WITH SCORE 46420.73
AT ITER 297 NEW BEST:: SOT 305843 SOS 102745 HAS SOPS 102745 HAS SOUS 46316 HAS SOUPS 46316 WITH SCORE 46418.745
AT ITER 300 NEW BEST:: SOT 305801 SOS 102661 HAS SOPS 102661 HAS SOUS 46232 HAS SOUPS 46232 WITH SCORE 46334.661
AT ITER 301 NEW BEST:: SOT 305799 SOS 102703 HAS SOPS 102703 HAS SOUS 46230 HAS SOUPS 46230 WITH SCORE 46332.703
AT ITER 336 NEW BEST:: SOT 305773 SOS 102692 HAS SOPS 102692 HAS SOUS 46204 HAS SOUPS 46204 WITH SCORE 46306.692
AT ITER 339 NEW BEST:: SOT 305765 SOS 102676 HAS SOPS 102676 HAS SOUS 46188 HAS SOUPS 46188 WITH SCORE 46290.676
AT ITER 346 NEW BEST:: SOT 305727 SOS 102672 HAS SOPS 102672 HAS SOUS 46184 HAS SOUPS 46184 WITH SCORE 46286.672
AT ITER 348 NEW BEST:: SOT 305745 SOS 102664 HAS SOPS 102664 HAS SOUS 45387 HAS SOUPS 45387 WITH SCORE 45489.664
AT ITER 351 NEW BEST:: SOT 305708 SOS 102568 HAS SOPS 102568 HAS SOUS 45366 HAS SOUPS 45366 WITH SCORE 45468.568
AT ITER 354 NEW BEST:: SOT 305650 SOS 98740 HAS SOPS 98740 HAS SOUS 45250 HAS SOUPS 45250 WITH SCORE 45348.74
AT ITER 358 NEW BEST:: SOT 305618 SOS 98709 HAS SOPS 98709 HAS SOUS 45218 HAS SOUPS 45218 WITH SCORE 45316.709
AT ITER 380 NEW BEST:: SOT 305602 SOS 98677 HAS SOPS 98677 HAS SOUS 45186 HAS SOUPS 45186 WITH SCORE 45284.677
AT ITER 381 NEW BEST:: SOT 305583 SOS 98674 HAS SOPS 98674 HAS SOUS 45181 HAS SOUPS 45181 WITH SCORE 45279.674
AT ITER 388 NEW BEST:: SOT 305567 SOS 98614 HAS SOPS 98614 HAS SOUS 41581 HAS SOUPS 41581 WITH SCORE 41679.614
AT ITER 394 NEW BEST:: SOT 305567 SOS 98584 HAS SOPS 98584 HAS SOUS 41551 HAS SOUPS 41551 WITH SCORE 41649.584
AT ITER 410 NEW BEST:: SOT 305618 SOS 98623 HAS SOPS 98623 HAS SOUS 41549 HAS SOUPS 41549 WITH SCORE 41647.623
AT ITER 418 NEW BEST:: SOT 305580 SOS 97056 HAS SOPS 97056 HAS SOUS 41494 HAS SOUPS 41494 WITH SCORE 41591.056
AT ITER 424 NEW BEST:: SOT 305575 SOS 97024 HAS SOPS 97024 HAS SOUS 41450 HAS SOUPS 41450 WITH SCORE 41547.024
AT ITER 430 NEW BEST:: SOT 305524 SOS 96922 HAS SOPS 96922 HAS SOUS 41348 HAS SOUPS 41348 WITH SCORE 41444.922
AT ITER 446 NEW BEST:: SOT 305508 SOS 96906 HAS SOPS 96906 HAS SOUS 41326 HAS SOUPS 41326 WITH SCORE 41422.906
AT ITER 478 NEW BEST:: SOT 305508 SOS 96917 HAS SOPS 96917 HAS SOUS 41319 HAS SOUPS 41319 WITH SCORE 41415.917
AT ITER 507 NEW BEST:: SOT 305504 SOS 96914 HAS SOPS 96914 HAS SOUS 41315 HAS SOUPS 41315 WITH SCORE 41411.914
AT ITER 508 NEW BEST:: SOT 305504 SOS 96914 HAS SOPS 96914 HAS SOUS 41312 HAS SOUPS 41312 WITH SCORE 41408.914
AT ITER 521 NEW BEST:: SOT 305504 SOS 99096 HAS SOPS 99096 HAS SOUS 41287 HAS SOUPS 41287 WITH SCORE 41386.096
AT ITER 533 NEW BEST:: SOT 305508 SOS 99103 HAS SOPS 99103 HAS SOUS 41226 HAS SOUPS 41226 WITH SCORE 41325.103
AT ITER 546 NEW BEST:: SOT 305436 SOS 99084 HAS SOPS 99084 HAS SOUS 41207 HAS SOUPS 41207 WITH SCORE 41306.084
AT ITER 549 NEW BEST:: SOT 305436 SOS 97446 HAS SOPS 97446 HAS SOUS 41207 HAS SOUPS 41207 WITH SCORE 41304.446
AT ITER 560 NEW BEST:: SOT 305460 SOS 97470 HAS SOPS 97470 HAS SOUS 41175 HAS SOUPS 41175 WITH SCORE 41272.47
AT ITER 570 NEW BEST:: SOT 305443 SOS 97410 HAS SOPS 97410 HAS SOUS 41132 HAS SOUPS 41132 WITH SCORE 41229.41
AT ITER 571 NEW BEST:: SOT 305407 SOS 97405 HAS SOPS 97405 HAS SOUS 41103 HAS SOUPS 41103 WITH SCORE 41200.405
AT ITER 572 NEW BEST:: SOT 305369 SOS 97407 HAS SOPS 97407 HAS SOUS 41081 HAS SOUPS 41081 WITH SCORE 41178.407
AT ITER 583 NEW BEST:: SOT 305366 SOS 97434 HAS SOPS 97434 HAS SOUS 41073 HAS SOUPS 41073 WITH SCORE 41170.434
AT ITER 599 NEW BEST:: SOT 305351 SOS 97418 HAS SOPS 97418 HAS SOUS 41057 HAS SOUPS 41057 WITH SCORE 41154.418
AT ITER 620 NEW BEST:: SOT 305314 SOS 97364 HAS SOPS 97364 HAS SOUS 41003 HAS SOUPS 41003 WITH SCORE 41100.364
AT ITER 641 NEW BEST:: SOT 305300 SOS 97336 HAS SOPS 97336 HAS SOUS 40971 HAS SOUPS 40971 WITH SCORE 41068.336
AT ITER 646 NEW BEST:: SOT 305289 SOS 97314 HAS SOPS 97314 HAS SOUS 40956 HAS SOUPS 40956 WITH SCORE 41053.314
AT ITER 655 NEW BEST:: SOT 305219 SOS 97251 HAS SOPS 97251 HAS SOUS 40890 HAS SOUPS 40890 WITH SCORE 40987.251
AT ITER 669 NEW BEST:: SOT 305219 SOS 97242 HAS SOPS 97242 HAS SOUS 40881 HAS SOUPS 40881 WITH SCORE 40978.242
AT ITER 675 NEW BEST:: SOT 305212 SOS 97268 HAS SOPS 97268 HAS SOUS 40880 HAS SOUPS 40880 WITH SCORE 40977.268
AT ITER 679 NEW BEST:: SOT 305203 SOS 97259 HAS SOPS 97259 HAS SOUS 40871 HAS SOUPS 40871 WITH SCORE 40968.259
AT ITER 704 NEW BEST:: SOT 305177 SOS 97245 HAS SOPS 97245 HAS SOUS 40749 HAS SOUPS 40749 WITH SCORE 40846.245
AT ITER 722 NEW BEST:: SOT 305161 SOS 97213 HAS SOPS 97213 HAS SOUS 40717 HAS SOUPS 40717 WITH SCORE 40814.213
AT ITER 723 NEW BEST:: SOT 305161 SOS 97206 HAS SOPS 97206 HAS SOUS 40710 HAS SOUPS 40710 WITH SCORE 40807.206
AT ITER 751 NEW BEST:: SOT 305161 SOS 97198 HAS SOPS 97198 HAS SOUS 40702 HAS SOUPS 40702 WITH SCORE 40799.198
AT ITER 764 NEW BEST:: SOT 305126 SOS 98981 HAS SOPS 98981 HAS SOUS 40681 HAS SOUPS 40681 WITH SCORE 40779.981
AT ITER 775 NEW BEST:: SOT 304849 SOS 101037 HAS SOPS 101037 HAS SOUS 40645 HAS SOUPS 40645 WITH SCORE 40746.037
AT ITER 780 NEW BEST:: SOT 304818 SOS 98663 HAS SOPS 98663 HAS SOUS 40304 HAS SOUPS 40304 WITH SCORE 40402.663
AT ITER 789 NEW BEST:: SOT 304801 SOS 98629 HAS SOPS 98629 HAS SOUS 40270 HAS SOUPS 40270 WITH SCORE 40368.629
AT ITER 827 NEW BEST:: SOT 304788 SOS 98572 HAS SOPS 98572 HAS SOUS 40225 HAS SOUPS 40225 WITH SCORE 40323.572
AT ITER 830 NEW BEST:: SOT 304788 SOS 98572 HAS SOPS 98572 HAS SOUS 40156 HAS SOUPS 40156 WITH SCORE 40254.572
AT ITER 839 NEW BEST:: SOT 304775 SOS 98593 HAS SOPS 98593 HAS SOUS 40130 HAS SOUPS 40130 WITH SCORE 40228.593
AT ITER 841 NEW BEST:: SOT 304759 SOS 98561 HAS SOPS 98561 HAS SOUS 40076 HAS SOUPS 40076 WITH SCORE 40174.561
AT ITER 873 NEW BEST:: SOT 304724 SOS 106299 HAS SOPS 106299 HAS SOUS 40044 HAS SOUPS 40044 WITH SCORE 40150.299
AT ITER 909 NEW BEST:: SOT 304689 SOS 106270 HAS SOPS 106270 HAS SOUS 40009 HAS SOUPS 40009 WITH SCORE 40115.27
AT ITER 937 NEW BEST:: SOT 304680 SOS 106252 HAS SOPS 106252 HAS SOUS 39987 HAS SOUPS 39987 WITH SCORE 40093.252
AT ITER 979 NEW BEST:: SOT 304681 SOS 106253 HAS SOPS 106253 HAS SOUS 39979 HAS SOUPS 39979 WITH SCORE 40085.253
AT ITER 981 NEW BEST:: SOT 304681 SOS 106253 HAS SOPS 106253 HAS SOUS 39978 HAS SOUPS 39978 WITH SCORE 40084.253
AT ITER 984 NEW BEST:: SOT 304806 SOS 106347 HAS SOPS 106347 HAS SOUS 39802 HAS SOUPS 39802 WITH SCORE 39908.347
AT ITER 987 NEW BEST:: SOT 304802 SOS 106339 HAS SOPS 106339 HAS SOUS 39794 HAS SOUPS 39794 WITH SCORE 39900.339
AT ITER 1004 NEW BEST:: SOT 304723 SOS 106278 HAS SOPS 106278 HAS SOUS 39715 HAS SOUPS 39715 WITH SCORE 39821.278
AT ITER 1027 NEW BEST:: SOT 304672 SOS 106264 HAS SOPS 106264 HAS SOUS 39613 HAS SOUPS 39613 WITH SCORE 39719.264
AT ITER 1036 NEW BEST:: SOT 304657 SOS 106234 HAS SOPS 106234 HAS SOUS 39583 HAS SOUPS 39583 WITH SCORE 39689.234
AT ITER 1046 NEW BEST:: SOT 304667 SOS 106254 HAS SOPS 106254 HAS SOUS 39566 HAS SOUPS 39566 WITH SCORE 39672.254
AT ITER 1055 NEW BEST:: SOT 304660 SOS 104626 HAS SOPS 104626 HAS SOUS 39559 HAS SOUPS 39559 WITH SCORE 39663.626
AT ITER 1070 NEW BEST:: SOT 304650 SOS 104635 HAS SOPS 104635 HAS SOUS 39539 HAS SOUPS 39539 WITH SCORE 39643.635
AT ITER 1071 NEW BEST:: SOT 304530 SOS 104515 HAS SOPS 104515 HAS SOUS 39283 HAS SOUPS 39283 WITH SCORE 39387.515
AT ITER 1095 NEW BEST:: SOT 304542 SOS 104482 HAS SOPS 104482 HAS SOUS 39197 HAS SOUPS 39197 WITH SCORE 39301.482
AT ITER 1101 NEW BEST:: SOT 304528 SOS 104443 HAS SOPS 104443 HAS SOUS 39171 HAS SOUPS 39171 WITH SCORE 39275.443
AT ITER 1105 NEW BEST:: SOT 304543 SOS 104458 HAS SOPS 104458 HAS SOUS 39081 HAS SOUPS 39081 WITH SCORE 39185.458
AT ITER 1112 NEW BEST:: SOT 304552 SOS 104416 HAS SOPS 104416 HAS SOUS 39069 HAS SOUPS 39069 WITH SCORE 39173.416
AT ITER 1148 NEW BEST:: SOT 304349 SOS 104213 HAS SOPS 104213 HAS SOUS 39062 HAS SOUPS 39062 WITH SCORE 39166.213
AT ITER 1151 NEW BEST:: SOT 304349 SOS 104213 HAS SOPS 104213 HAS SOUS 39034 HAS SOUPS 39034 WITH SCORE 39138.213
AT ITER 1170 NEW BEST:: SOT 304358 SOS 104204 HAS SOPS 104204 HAS SOUS 39026 HAS SOUPS 39026 WITH SCORE 39130.204
AT ITER 1174 NEW BEST:: SOT 304358 SOS 104187 HAS SOPS 104187 HAS SOUS 39006 HAS SOUPS 39006 WITH SCORE 39110.187
AT ITER 1185 NEW BEST:: SOT 304358 SOS 104175 HAS SOPS 104175 HAS SOUS 38994 HAS SOUPS 38994 WITH SCORE 39098.175
AT ITER 1187 NEW BEST:: SOT 304306 SOS 104071 HAS SOPS 104071 HAS SOUS 38866 HAS SOUPS 38866 WITH SCORE 38970.071
AT ITER 1194 NEW BEST:: SOT 304293 SOS 104058 HAS SOPS 104058 HAS SOUS 38853 HAS SOUPS 38853 WITH SCORE 38957.058
AT ITER 1206 NEW BEST:: SOT 304237 SOS 104018 HAS SOPS 104018 HAS SOUS 38813 HAS SOUPS 38813 WITH SCORE 38917.018
AT ITER 1208 NEW BEST:: SOT 304193 SOS 103930 HAS SOPS 103930 HAS SOUS 38769 HAS SOUPS 38769 WITH SCORE 38872.93
AT ITER 1212 NEW BEST:: SOT 304200 SOS 103944 HAS SOPS 103944 HAS SOUS 38329 HAS SOUPS 38329 WITH SCORE 38432.944
AT ITER 1245 NEW BEST:: SOT 303708 SOS 103452 HAS SOPS 103452 HAS SOUS 38298 HAS SOUPS 38298 WITH SCORE 38401.452
AT ITER 1258 NEW BEST:: SOT 303706 SOS 103448 HAS SOPS 103448 HAS SOUS 38294 HAS SOUPS 38294 WITH SCORE 38397.448
AT ITER 1268 NEW BEST:: SOT 303677 SOS 103390 HAS SOPS 103390 HAS SOUS 38242 HAS SOUPS 38242 WITH SCORE 38345.39
AT ITER 1270 NEW BEST:: SOT 303673 SOS 103384 HAS SOPS 103384 HAS SOUS 38236 HAS SOUPS 38236 WITH SCORE 38339.384
AT ITER 1275 NEW BEST:: SOT 303595 SOS 103289 HAS SOPS 103289 HAS SOUS 38124 HAS SOUPS 38124 WITH SCORE 38227.289
AT ITER 1278 NEW BEST:: SOT 303586 SOS 103271 HAS SOPS 103271 HAS SOUS 38106 HAS SOUPS 38106 WITH SCORE 38209.271
AT ITER 1307 NEW BEST:: SOT 303587 SOS 103273 HAS SOPS 103273 HAS SOUS 38053 HAS SOUPS 38053 WITH SCORE 38156.273
AT ITER 1310 NEW BEST:: SOT 303555 SOS 103265 HAS SOPS 103265 HAS SOUS 38045 HAS SOUPS 38045 WITH SCORE 38148.265
AT ITER 1312 NEW BEST:: SOT 303555 SOS 103203 HAS SOPS 103203 HAS SOUS 37983 HAS SOUPS 37983 WITH SCORE 38086.203
AT ITER 1333 NEW BEST:: SOT 303499 SOS 103024 HAS SOPS 103024 HAS SOUS 37927 HAS SOUPS 37927 WITH SCORE 38030.024
AT ITER 1339 NEW BEST:: SOT 303496 SOS 103021 HAS SOPS 103021 HAS SOUS 37924 HAS SOUPS 37924 WITH SCORE 38027.021
AT ITER 1347 NEW BEST:: SOT 303489 SOS 103007 HAS SOPS 103007 HAS SOUS 37910 HAS SOUPS 37910 WITH SCORE 38013.007
AT ITER 1361 NEW BEST:: SOT 302933 SOS 102387 HAS SOPS 102387 HAS SOUS 37679 HAS SOUPS 37679 WITH SCORE 37781.387
AT ITER 1367 NEW BEST:: SOT 302930 SOS 102381 HAS SOPS 102381 HAS SOUS 37676 HAS SOUPS 37676 WITH SCORE 37778.381
AT ITER 1377 NEW BEST:: SOT 302872 SOS 107573 HAS SOPS 107573 HAS SOUS 37535 HAS SOUPS 37535 WITH SCORE 37642.573
AT ITER 1385 NEW BEST:: SOT 302879 SOS 107587 HAS SOPS 107587 HAS SOUS 37432 HAS SOUPS 37432 WITH SCORE 37539.587
AT ITER 1386 NEW BEST:: SOT 302891 SOS 107587 HAS SOPS 107587 HAS SOUS 37420 HAS SOUPS 37420 WITH SCORE 37527.587
AT ITER 1397 NEW BEST:: SOT 302887 SOS 107579 HAS SOPS 107579 HAS SOUS 37412 HAS SOUPS 37412 WITH SCORE 37519.579
AT ITER 1399 NEW BEST:: SOT 302887 SOS 107579 HAS SOPS 107579 HAS SOUS 37397 HAS SOUPS 37397 WITH SCORE 37504.579
AT ITER 1425 NEW BEST:: SOT 302885 SOS 107575 HAS SOPS 107575 HAS SOUS 37393 HAS SOUPS 37393 WITH SCORE 37500.575
AT ITER 1434 NEW BEST:: SOT 302882 SOS 107572 HAS SOPS 107572 HAS SOUS 37390 HAS SOUPS 37390 WITH SCORE 37497.572
AT ITER 1450 NEW BEST:: SOT 302882 SOS 107550 HAS SOPS 107550 HAS SOUS 37390 HAS SOUPS 37390 WITH SCORE 37497.55
AT ITER 1473 NEW BEST:: SOT 302824 SOS 107463 HAS SOPS 107463 HAS SOUS 36401 HAS SOUPS 36401 WITH SCORE 36508.463
AT ITER 1475 NEW BEST:: SOT 302799 SOS 107433 HAS SOPS 107433 HAS SOUS 36379 HAS SOUPS 36379 WITH SCORE 36486.433
AT ITER 1488 NEW BEST:: SOT 302753 SOS 101965 HAS SOPS 101965 HAS SOUS 36333 HAS SOUPS 36333 WITH SCORE 36434.965
AT ITER 1490 NEW BEST:: SOT 302751 SOS 101961 HAS SOPS 101961 HAS SOUS 36329 HAS SOUPS 36329 WITH SCORE 36430.961
AT ITER 1493 NEW BEST:: SOT 302732 SOS 101904 HAS SOPS 101904 HAS SOUS 36291 HAS SOUPS 36291 WITH SCORE 36392.904
AT ITER 1497 NEW BEST:: SOT 302732 SOS 101860 HAS SOPS 101860 HAS SOUS 36291 HAS SOUPS 36291 WITH SCORE 36392.86
AT ITER 1513 NEW BEST:: SOT 302716 SOS 101858 HAS SOPS 101858 HAS SOUS 36280 HAS SOUPS 36280 WITH SCORE 36381.858
AT ITER 1581 NEW BEST:: SOT 302331 SOS 101404 HAS SOPS 101404 HAS SOUS 36031 HAS SOUPS 36031 WITH SCORE 36132.404
AT ITER 1590 NEW BEST:: SOT 302331 SOS 101404 HAS SOPS 101404 HAS SOUS 36002 HAS SOUPS 36002 WITH SCORE 36103.404
AT ITER 1605 NEW BEST:: SOT 302317 SOS 101390 HAS SOPS 101390 HAS SOUS 35932 HAS SOUPS 35932 WITH SCORE 36033.39
AT ITER 1608 NEW BEST:: SOT 302294 SOS 101472 HAS SOPS 101472 HAS SOUS 35813 HAS SOUPS 35813 WITH SCORE 35914.472
AT ITER 1654 NEW BEST:: SOT 302295 SOS 101468 HAS SOPS 101468 HAS SOUS 35809 HAS SOUPS 35809 WITH SCORE 35910.468
AT ITER 1691 NEW BEST:: SOT 302318 SOS 101514 HAS SOPS 101514 HAS SOUS 35663 HAS SOUPS 35663 WITH SCORE 35764.514
AT ITER 1711 NEW BEST:: SOT 302228 SOS 101334 HAS SOPS 101334 HAS SOUS 35565 HAS SOUPS 35565 WITH SCORE 35666.334
AT ITER 1713 NEW BEST:: SOT 302201 SOS 101334 HAS SOPS 101334 HAS SOUS 35564 HAS SOUPS 35564 WITH SCORE 35665.334
AT ITER 1737 NEW BEST:: SOT 302212 SOS 101344 HAS SOPS 101344 HAS SOUS 35537 HAS SOUPS 35537 WITH SCORE 35638.344
AT ITER 1741 NEW BEST:: SOT 302279 SOS 101294 HAS SOPS 101294 HAS SOUS 35512 HAS SOUPS 35512 WITH SCORE 35613.294
AT ITER 1775 NEW BEST:: SOT 302273 SOS 101282 HAS SOPS 101282 HAS SOUS 35500 HAS SOUPS 35500 WITH SCORE 35601.282
AT ITER 1787 NEW BEST:: SOT 302245 SOS 101144 HAS SOPS 101144 HAS SOUS 35444 HAS SOUPS 35444 WITH SCORE 35545.144
AT ITER 1803 NEW BEST:: SOT 302256 SOS 101166 HAS SOPS 101166 HAS SOUS 35442 HAS SOUPS 35442 WITH SCORE 35543.166
AT ITER 1840 NEW BEST:: SOT 302144 SOS 101051 HAS SOPS 101051 HAS SOUS 35330 HAS SOUPS 35330 WITH SCORE 35431.051
AT ITER 1860 NEW BEST:: SOT 301561 SOS 100453 HAS SOPS 100453 HAS SOUS 35282 HAS SOUPS 35282 WITH SCORE 35382.453
AT ITER 1861 NEW BEST:: SOT 301561 SOS 100416 HAS SOPS 100416 HAS SOUS 35245 HAS SOUPS 35245 WITH SCORE 35345.416
AT ITER 1868 NEW BEST:: SOT 301513 SOS 100368 HAS SOPS 100368 HAS SOUS 35197 HAS SOUPS 35197 WITH SCORE 35297.368
AT ITER 1877 NEW BEST:: SOT 301512 SOS 100366 HAS SOPS 100366 HAS SOUS 35195 HAS SOUPS 35195 WITH SCORE 35295.366
AT ITER 1881 NEW BEST:: SOT 301507 SOS 100379 HAS SOPS 100379 HAS SOUS 35194 HAS SOUPS 35194 WITH SCORE 35294.379
AT ITER 1884 NEW BEST:: SOT 301507 SOS 100378 HAS SOPS 100378 HAS SOUS 35194 HAS SOUPS 35194 WITH SCORE 35294.378
AT ITER 1887 NEW BEST:: SOT 301455 SOS 100314 HAS SOPS 100314 HAS SOUS 35142 HAS SOUPS 35142 WITH SCORE 35242.314
AT ITER 1891 NEW BEST:: SOT 301418 SOS 103612 HAS SOPS 103612 HAS SOUS 35127 HAS SOUPS 35127 WITH SCORE 35230.612
AT ITER 1906 NEW BEST:: SOT 301396 SOS 103568 HAS SOPS 103568 HAS SOUS 35083 HAS SOUPS 35083 WITH SCORE 35186.568
AT ITER 1926 NEW BEST:: SOT 301348 SOS 103520 HAS SOPS 103520 HAS SOUS 34984 HAS SOUPS 34984 WITH SCORE 35087.52
AT ITER 1931 NEW BEST:: SOT 301366 SOS 99947 HAS SOPS 99947 HAS SOUS 34977 HAS SOUPS 34977 WITH SCORE 35076.947
AT ITER 1946 NEW BEST:: SOT 301353 SOS 100124 HAS SOPS 100124 HAS SOUS 34973 HAS SOUPS 34973 WITH SCORE 35073.124
AT ITER 1960 NEW BEST:: SOT 301283 SOS 96540 HAS SOPS 96540 HAS SOUS 34915 HAS SOUPS 34915 WITH SCORE 35011.54
AT ITER 1976 NEW BEST:: SOT 301283 SOS 96555 HAS SOPS 96555 HAS SOUS 34810 HAS SOUPS 34810 WITH SCORE 34906.555
AT ITER 2008 NEW BEST:: SOT 301283 SOS 96549 HAS SOPS 96549 HAS SOUS 34798 HAS SOUPS 34798 WITH SCORE 34894.549
AT ITER 2015 NEW BEST:: SOT 301275 SOS 96029 HAS SOPS 96029 HAS SOUS 34782 HAS SOUPS 34782 WITH SCORE 34878.029
AT ITER 2024 NEW BEST:: SOT 301278 SOS 96035 HAS SOPS 96035 HAS SOUS 34760 HAS SOUPS 34760 WITH SCORE 34856.035
AT ITER 2071 NEW BEST:: SOT 301308 SOS 96019 HAS SOPS 96019 HAS SOUS 34744 HAS SOUPS 34744 WITH SCORE 34840.019
AT ITER 2095 NEW BEST:: SOT 301309 SOS 96011 HAS SOPS 96011 HAS SOUS 34736 HAS SOUPS 34736 WITH SCORE 34832.011
AT ITER 2104 NEW BEST:: SOT 301291 SOS 95975 HAS SOPS 95975 HAS SOUS 34700 HAS SOUPS 34700 WITH SCORE 34795.975
AT ITER 2107 NEW BEST:: SOT 301280 SOS 95953 HAS SOPS 95953 HAS SOUS 34678 HAS SOUPS 34678 WITH SCORE 34773.953
AT ITER 2131 NEW BEST:: SOT 301276 SOS 95955 HAS SOPS 95955 HAS SOUS 34676 HAS SOUPS 34676 WITH SCORE 34771.955
AT ITER 2135 NEW BEST:: SOT 301261 SOS 95925 HAS SOPS 95925 HAS SOUS 34651 HAS SOUPS 34651 WITH SCORE 34746.925
AT ITER 2137 NEW BEST:: SOT 301227 SOS 95857 HAS SOPS 95857 HAS SOUS 34601 HAS SOUPS 34601 WITH SCORE 34696.857
AT ITER 2147 NEW BEST:: SOT 301194 SOS 95655 HAS SOPS 95655 HAS SOUS 34477 HAS SOUPS 34477 WITH SCORE 34572.655
AT ITER 2148 NEW BEST:: SOT 301187 SOS 95641 HAS SOPS 95641 HAS SOUS 34463 HAS SOUPS 34463 WITH SCORE 34558.641
AT ITER 2167 NEW BEST:: SOT 301171 SOS 95625 HAS SOPS 95625 HAS SOUS 34447 HAS SOUPS 34447 WITH SCORE 34542.625
AT ITER 2173 NEW BEST:: SOT 301133 SOS 95578 HAS SOPS 95578 HAS SOUS 34400 HAS SOUPS 34400 WITH SCORE 34495.578
AT ITER 2204 NEW BEST:: SOT 301105 SOS 95522 HAS SOPS 95522 HAS SOUS 34344 HAS SOUPS 34344 WITH SCORE 34439.522
AT ITER 2212 NEW BEST:: SOT 301107 SOS 95452 HAS SOPS 95452 HAS SOUS 34305 HAS SOUPS 34305 WITH SCORE 34400.452
AT ITER 2258 NEW BEST:: SOT 301129 SOS 95432 HAS SOPS 95432 HAS SOUS 34277 HAS SOUPS 34277 WITH SCORE 34372.432
AT ITER 2265 NEW BEST:: SOT 301084 SOS 95342 HAS SOPS 95342 HAS SOUS 34216 HAS SOUPS 34216 WITH SCORE 34311.342
AT ITER 2307 NEW BEST:: SOT 301083 SOS 95339 HAS SOPS 95339 HAS SOUS 34214 HAS SOUPS 34214 WITH SCORE 34309.339
AT ITER 2316 NEW BEST:: SOT 301083 SOS 95337 HAS SOPS 95337 HAS SOUS 34214 HAS SOUPS 34214 WITH SCORE 34309.337
AT ITER 2322 NEW BEST:: SOT 301090 SOS 95338 HAS SOPS 95338 HAS SOUS 34104 HAS SOUPS 34104 WITH SCORE 34199.338
AT ITER 2358 NEW BEST:: SOT 301090 SOS 95327 HAS SOPS 95327 HAS SOUS 34093 HAS SOUPS 34093 WITH SCORE 34188.327
AT ITER 2372 NEW BEST:: SOT 300802 SOS 95039 HAS SOPS 95039 HAS SOUS 33669 HAS SOUPS 33669 WITH SCORE 33764.039
AT ITER 2444 NEW BEST:: SOT 300802 SOS 95031 HAS SOPS 95031 HAS SOUS 33661 HAS SOUPS 33661 WITH SCORE 33756.031
AT ITER 2468 NEW BEST:: SOT 300763 SOS 94905 HAS SOPS 94905 HAS SOUS 33648 HAS SOUPS 33648 WITH SCORE 33742.905
AT ITER 2477 NEW BEST:: SOT 300763 SOS 94905 HAS SOPS 94905 HAS SOUS 33629 HAS SOUPS 33629 WITH SCORE 33723.905
AT ITER 2489 NEW BEST:: SOT 300746 SOS 94888 HAS SOPS 94888 HAS SOUS 33612 HAS SOUPS 33612 WITH SCORE 33706.888
AT ITER 2505 NEW BEST:: SOT 300698 SOS 94816 HAS SOPS 94816 HAS SOUS 33588 HAS SOUPS 33588 WITH SCORE 33682.816
AT ITER 2526 NEW BEST:: SOT 300698 SOS 94816 HAS SOPS 94816 HAS SOUS 33556 HAS SOUPS 33556 WITH SCORE 33650.816
AT ITER 2531 NEW BEST:: SOT 300677 SOS 94753 HAS SOPS 94753 HAS SOUS 33514 HAS SOUPS 33514 WITH SCORE 33608.753
AT ITER 2535 NEW BEST:: SOT 300671 SOS 92725 HAS SOPS 92725 HAS SOUS 33508 HAS SOUPS 33508 WITH SCORE 33600.725
AT ITER 2537 NEW BEST:: SOT 300671 SOS 92705 HAS SOPS 92705 HAS SOUS 32780 HAS SOUPS 32780 WITH SCORE 32872.705
AT ITER 2540 NEW BEST:: SOT 300709 SOS 102049 HAS SOPS 102049 HAS SOUS 32755 HAS SOUPS 32755 WITH SCORE 32857.049
AT ITER 2546 NEW BEST:: SOT 300774 SOS 102127 HAS SOPS 102127 HAS SOUS 32508 HAS SOUPS 32508 WITH SCORE 32610.127
AT ITER 2549 NEW BEST:: SOT 300771 SOS 102121 HAS SOPS 102121 HAS SOUS 32502 HAS SOUPS 32502 WITH SCORE 32604.121
AT ITER 2554 NEW BEST:: SOT 300771 SOS 102121 HAS SOPS 102121 HAS SOUS 32499 HAS SOUPS 32499 WITH SCORE 32601.121
AT ITER 2589 NEW BEST:: SOT 300744 SOS 102085 HAS SOPS 102085 HAS SOUS 32481 HAS SOUPS 32481 WITH SCORE 32583.085
AT ITER 2621 NEW BEST:: SOT 300738 SOS 102073 HAS SOPS 102073 HAS SOUS 32469 HAS SOUPS 32469 WITH SCORE 32571.073
AT ITER 2629 NEW BEST:: SOT 300738 SOS 102041 HAS SOPS 102041 HAS SOUS 32437 HAS SOUPS 32437 WITH SCORE 32539.041
AT ITER 2630 NEW BEST:: SOT 300734 SOS 102033 HAS SOPS 102033 HAS SOUS 32429 HAS SOUPS 32429 WITH SCORE 32531.033
AT ITER 2639 NEW BEST:: SOT 300729 SOS 102023 HAS SOPS 102023 HAS SOUS 32419 HAS SOUPS 32419 WITH SCORE 32521.023
AT ITER 2641 NEW BEST:: SOT 300729 SOS 102023 HAS SOPS 102023 HAS SOUS 32403 HAS SOUPS 32403 WITH SCORE 32505.023
AT ITER 2680 NEW BEST:: SOT 300728 SOS 102022 HAS SOPS 102022 HAS SOUS 32402 HAS SOUPS 32402 WITH SCORE 32504.022
AT ITER 2693 NEW BEST:: SOT 300717 SOS 101981 HAS SOPS 101981 HAS SOUS 32390 HAS SOUPS 32390 WITH SCORE 32491.981
AT ITER 2708 NEW BEST:: SOT 300719 SOS 101983 HAS SOPS 101983 HAS SOUS 32388 HAS SOUPS 32388 WITH SCORE 32489.983
AT ITER 2733 NEW BEST:: SOT 300703 SOS 101980 HAS SOPS 101980 HAS SOUS 32379 HAS SOUPS 32379 WITH SCORE 32480.98
AT ITER 2777 NEW BEST:: SOT 300703 SOS 101980 HAS SOPS 101980 HAS SOUS 32376 HAS SOUPS 32376 WITH SCORE 32477.98
AT ITER 2785 NEW BEST:: SOT 300444 SOS 101672 HAS SOPS 101672 HAS SOUS 32149 HAS SOUPS 32149 WITH SCORE 32250.672
AT ITER 2824 NEW BEST:: SOT 300455 SOS 101660 HAS SOPS 101660 HAS SOUS 32137 HAS SOUPS 32137 WITH SCORE 32238.66
AT ITER 2832 NEW BEST:: SOT 300404 SOS 101601 HAS SOPS 101601 HAS SOUS 32064 HAS SOUPS 32064 WITH SCORE 32165.601
AT ITER 2873 NEW BEST:: SOT 300404 SOS 101588 HAS SOPS 101588 HAS SOUS 32051 HAS SOUPS 32051 WITH SCORE 32152.588
AT ITER 2886 NEW BEST:: SOT 300396 SOS 101572 HAS SOPS 101572 HAS SOUS 32035 HAS SOUPS 32035 WITH SCORE 32136.572
AT ITER 2899 NEW BEST:: SOT 300387 SOS 101581 HAS SOPS 101581 HAS SOUS 31960 HAS SOUPS 31960 WITH SCORE 32061.581
AT ITER 2904 NEW BEST:: SOT 300377 SOS 102861 HAS SOPS 102861 HAS SOUS 31950 HAS SOUPS 31950 WITH SCORE 32052.861
AT ITER 2910 NEW BEST:: SOT 300384 SOS 102885 HAS SOPS 102885 HAS SOUS 31947 HAS SOUPS 31947 WITH SCORE 32049.885
AT ITER 2915 NEW BEST:: SOT 300473 SOS 103063 HAS SOPS 103063 HAS SOUS 31428 HAS SOUPS 31428 WITH SCORE 31531.063
AT ITER 2935 NEW BEST:: SOT 300472 SOS 103061 HAS SOPS 103061 HAS SOUS 31426 HAS SOUPS 31426 WITH SCORE 31529.061
AT ITER 2939 NEW BEST:: SOT 300487 SOS 103091 HAS SOPS 103091 HAS SOUS 30943 HAS SOUPS 30943 WITH SCORE 31046.091
AT ITER 2946 NEW BEST:: SOT 300478 SOS 103073 HAS SOPS 103073 HAS SOUS 30924 HAS SOUPS 30924 WITH SCORE 31027.073
AT ITER 2955 NEW BEST:: SOT 300461 SOS 103039 HAS SOPS 103039 HAS SOUS 30918 HAS SOUPS 30918 WITH SCORE 31021.039
AT ITER 3039 NEW BEST:: SOT 300458 SOS 102859 HAS SOPS 102859 HAS SOUS 30912 HAS SOUPS 30912 WITH SCORE 31014.859
AT ITER 3052 NEW BEST:: SOT 300452 SOS 102859 HAS SOPS 102859 HAS SOUS 30906 HAS SOUPS 30906 WITH SCORE 31008.859
AT ITER 3144 NEW BEST:: SOT 300451 SOS 102858 HAS SOPS 102858 HAS SOUS 30905 HAS SOUPS 30905 WITH SCORE 31007.858
AT ITER 3146 NEW BEST:: SOT 300442 SOS 102851 HAS SOPS 102851 HAS SOUS 30885 HAS SOUPS 30885 WITH SCORE 30987.851
AT ITER 3153 NEW BEST:: SOT 300442 SOS 102851 HAS SOPS 102851 HAS SOUS 30741 HAS SOUPS 30741 WITH SCORE 30843.851
AT ITER 3161 NEW BEST:: SOT 300426 SOS 102835 HAS SOPS 102835 HAS SOUS 30709 HAS SOUPS 30709 WITH SCORE 30811.835
AT ITER 3198 NEW BEST:: SOT 300442 SOS 102916 HAS SOPS 102916 HAS SOUS 30692 HAS SOUPS 30692 WITH SCORE 30794.916
AT ITER 3234 NEW BEST:: SOT 300380 SOS 102854 HAS SOPS 102854 HAS SOUS 30617 HAS SOUPS 30617 WITH SCORE 30719.854
AT ITER 3252 NEW BEST:: SOT 300423 SOS 101239 HAS SOPS 101239 HAS SOUS 30563 HAS SOUPS 30563 WITH SCORE 30664.239
AT ITER 3268 NEW BEST:: SOT 300411 SOS 101215 HAS SOPS 101215 HAS SOUS 30539 HAS SOUPS 30539 WITH SCORE 30640.215
AT ITER 3297 NEW BEST:: SOT 300399 SOS 101202 HAS SOPS 101202 HAS SOUS 30537 HAS SOUPS 30537 WITH SCORE 30638.202
AT ITER 3300 NEW BEST:: SOT 300390 SOS 101184 HAS SOPS 101184 HAS SOUS 30519 HAS SOUPS 30519 WITH SCORE 30620.184
AT ITER 3413 NEW BEST:: SOT 300364 SOS 101145 HAS SOPS 101145 HAS SOUS 30502 HAS SOUPS 30502 WITH SCORE 30603.145
AT ITER 3436 NEW BEST:: SOT 300355 SOS 101127 HAS SOPS 101127 HAS SOUS 30484 HAS SOUPS 30484 WITH SCORE 30585.127
AT ITER 3458 NEW BEST:: SOT 300336 SOS 100503 HAS SOPS 100503 HAS SOUS 30452 HAS SOUPS 30452 WITH SCORE 30552.503
AT ITER 3468 NEW BEST:: SOT 300328 SOS 100487 HAS SOPS 100487 HAS SOUS 30436 HAS SOUPS 30436 WITH SCORE 30536.487
AT ITER 3471 NEW BEST:: SOT 300230 SOS 100389 HAS SOPS 100389 HAS SOUS 30338 HAS SOUPS 30338 WITH SCORE 30438.389
AT ITER 3489 NEW BEST:: SOT 300213 SOS 100379 HAS SOPS 100379 HAS SOUS 30320 HAS SOUPS 30320 WITH SCORE 30420.379
AT ITER 3506 NEW BEST:: SOT 300206 SOS 100365 HAS SOPS 100365 HAS SOUS 30306 HAS SOUPS 30306 WITH SCORE 30406.365
AT ITER 3577 NEW BEST:: SOT 300192 SOS 100351 HAS SOPS 100351 HAS SOUS 30274 HAS SOUPS 30274 WITH SCORE 30374.351
AT ITER 3727 NEW BEST:: SOT 300196 SOS 100350 HAS SOPS 100350 HAS SOUS 30264 HAS SOUPS 30264 WITH SCORE 30364.35
AT ITER 3810 NEW BEST:: SOT 300187 SOS 100323 HAS SOPS 100323 HAS SOUS 30255 HAS SOUPS 30255 WITH SCORE 30355.323
AT ITER 3875 NEW BEST:: SOT 300224 SOS 100281 HAS SOPS 100281 HAS SOUS 30213 HAS SOUPS 30213 WITH SCORE 30313.281
AT ITER 3905 NEW BEST:: SOT 300213 SOS 100259 HAS SOPS 100259 HAS SOUS 30191 HAS SOUPS 30191 WITH SCORE 30291.259
AT ITER 3952 NEW BEST:: SOT 300178 SOS 100183 HAS SOPS 100183 HAS SOUS 30175 HAS SOUPS 30175 WITH SCORE 30275.183
AT ITER 3963 NEW BEST:: SOT 300178 SOS 100168 HAS SOPS 100168 HAS SOUS 30171 HAS SOUPS 30171 WITH SCORE 30271.168
AT ITER 3984 NEW BEST:: SOT 300178 SOS 100168 HAS SOPS 100168 HAS SOUS 30168 HAS SOUPS 30168 WITH SCORE 30268.168
AT ITER 4040 NEW BEST:: SOT 300178 SOS 100144 HAS SOPS 100144 HAS SOUS 30168 HAS SOUPS 30168 WITH SCORE 30268.144
AT ITER 4074 NEW BEST:: SOT 300178 SOS 99628 HAS SOPS 99628 HAS SOUS 30168 HAS SOUPS 30168 WITH SCORE 30267.628
AT ITER 4101 NEW BEST:: SOT 300185 SOS 99642 HAS SOPS 99642 HAS SOUS 30158 HAS SOUPS 30158 WITH SCORE 30257.642
AT ITER 4102 NEW BEST:: SOT 300158 SOS 99660 HAS SOPS 99660 HAS SOUS 30089 HAS SOUPS 30089 WITH SCORE 30188.66
AT ITER 4134 NEW BEST:: SOT 300214 SOS 99772 HAS SOPS 99772 HAS SOUS 30057 HAS SOUPS 30057 WITH SCORE 30156.772
AT ITER 4144 NEW BEST:: SOT 300202 SOS 99729 HAS SOPS 99729 HAS SOUS 30038 HAS SOUPS 30038 WITH SCORE 30137.729
AT ITER 4172 NEW BEST:: SOT 300202 SOS 99729 HAS SOPS 99729 HAS SOUS 30025 HAS SOUPS 30025 WITH SCORE 30124.729
AT ITER 4214 NEW BEST:: SOT 300185 SOS 99684 HAS SOPS 99684 HAS SOUS 30002 HAS SOUPS 30002 WITH SCORE 30101.684
AT ITER 4226 NEW BEST:: SOT 300184 SOS 99683 HAS SOPS 99683 HAS SOUS 30000 HAS SOUPS 30000 WITH SCORE 30099.683
AT ITER 4248 NEW BEST:: SOT 300170 SOS 99655 HAS SOPS 99655 HAS SOUS 29972 HAS SOUPS 29972 WITH SCORE 30071.655
AT ITER 4250 NEW BEST:: SOT 300170 SOS 99655 HAS SOPS 99655 HAS SOUS 29961 HAS SOUPS 29961 WITH SCORE 30060.655
AT ITER 4290 NEW BEST:: SOT 300163 SOS 99641 HAS SOPS 99641 HAS SOUS 29947 HAS SOUPS 29947 WITH SCORE 30046.641
AT ITER 4296 NEW BEST:: SOT 300091 SOS 99566 HAS SOPS 99566 HAS SOUS 29875 HAS SOUPS 29875 WITH SCORE 29974.566
AT ITER 4322 NEW BEST:: SOT 300088 SOS 99542 HAS SOPS 99542 HAS SOUS 29869 HAS SOUPS 29869 WITH SCORE 29968.542
AT ITER 4347 NEW BEST:: SOT 300087 SOS 99541 HAS SOPS 99541 HAS SOUS 29868 HAS SOUPS 29868 WITH SCORE 29967.541
AT ITER 4358 NEW BEST:: SOT 300085 SOS 99537 HAS SOPS 99537 HAS SOUS 29866 HAS SOUPS 29866 WITH SCORE 29965.537
AT ITER 4417 NEW BEST:: SOT 300069 SOS 99521 HAS SOPS 99521 HAS SOUS 29834 HAS SOUPS 29834 WITH SCORE 29933.521
AT ITER 4447 NEW BEST:: SOT 300065 SOS 99522 HAS SOPS 99522 HAS SOUS 29826 HAS SOUPS 29826 WITH SCORE 29925.522
AT ITER 4452 NEW BEST:: SOT 300064 SOS 99520 HAS SOPS 99520 HAS SOUS 29824 HAS SOUPS 29824 WITH SCORE 29923.52
AT ITER 4514 NEW BEST:: SOT 300061 SOS 99517 HAS SOPS 99517 HAS SOUS 29821 HAS SOUPS 29821 WITH SCORE 29920.517
AT ITER 4516 NEW BEST:: SOT 300003 SOS 99401 HAS SOPS 99401 HAS SOUS 29815 HAS SOUPS 29815 WITH SCORE 29914.401
AT ITER 4542 NEW BEST:: SOT 299999 SOS 99393 HAS SOPS 99393 HAS SOUS 29811 HAS SOUPS 29811 WITH SCORE 29910.393
AT ITER 4621 NEW BEST:: SOT 299984 SOS 99366 HAS SOPS 99366 HAS SOUS 29757 HAS SOUPS 29757 WITH SCORE 29856.366
AT ITER 4632 NEW BEST:: SOT 299983 SOS 99364 HAS SOPS 99364 HAS SOUS 29755 HAS SOUPS 29755 WITH SCORE 29854.364
AT ITER 4674 NEW BEST:: SOT 299977 SOS 99352 HAS SOPS 99352 HAS SOUS 29741 HAS SOUPS 29741 WITH SCORE 29840.352
AT ITER 4676 NEW BEST:: SOT 299961 SOS 99336 HAS SOPS 99336 HAS SOUS 29709 HAS SOUPS 29709 WITH SCORE 29808.336
AT ITER 4679 NEW BEST:: SOT 299960 SOS 99334 HAS SOPS 99334 HAS SOUS 29707 HAS SOUPS 29707 WITH SCORE 29806.334
AT ITER 4728 NEW BEST:: SOT 299956 SOS 99315 HAS SOPS 99315 HAS SOUS 29699 HAS SOUPS 29699 WITH SCORE 29798.315
AT ITER 4746 NEW BEST:: SOT 299956 SOS 99315 HAS SOPS 99315 HAS SOUS 29685 HAS SOUPS 29685 WITH SCORE 29784.315
AT ITER 4828 NEW BEST:: SOT 299971 SOS 99183 HAS SOPS 99183 HAS SOUS 29635 HAS SOUPS 29635 WITH SCORE 29734.183
AT ITER 4880 NEW BEST:: SOT 299963 SOS 99167 HAS SOPS 99167 HAS SOUS 29619 HAS SOUPS 29619 WITH SCORE 29718.167
AT ITER 4890 NEW BEST:: SOT 299967 SOS 99175 HAS SOPS 99175 HAS SOUS 29607 HAS SOUPS 29607 WITH SCORE 29706.175
AT ITER 4897 NEW BEST:: SOT 299260 SOS 98410 HAS SOPS 98410 HAS SOUS 29385 HAS SOUPS 29385 WITH SCORE 29483.41
AT ITER 4905 NEW BEST:: SOT 299288 SOS 98437 HAS SOPS 98437 HAS SOUS 28357 HAS SOUPS 28357 WITH SCORE 28455.437
AT ITER 4930 NEW BEST:: SOT 299275 SOS 98436 HAS SOPS 98436 HAS SOUS 28356 HAS SOUPS 28356 WITH SCORE 28454.436
AT ITER 4934 NEW BEST:: SOT 299272 SOS 98430 HAS SOPS 98430 HAS SOUS 28350 HAS SOUPS 28350 WITH SCORE 28448.43
AT ITER 4971 NEW BEST:: SOT 298643 SOS 97906 HAS SOPS 97906 HAS SOUS 28235 HAS SOUPS 28235 WITH SCORE 28332.906
AT ITER 4972 NEW BEST:: SOT 298643 SOS 97906 HAS SOPS 97906 HAS SOUS 28228 HAS SOUPS 28228 WITH SCORE 28325.906
AT ITER 4978 NEW BEST:: SOT 298633 SOS 97886 HAS SOPS 97886 HAS SOUS 28208 HAS SOUPS 28208 WITH SCORE 28305.886
AT ITER 4979 NEW BEST:: SOT 298633 SOS 97886 HAS SOPS 97886 HAS SOUS 28207 HAS SOUPS 28207 WITH SCORE 28304.886
AT ITER 5044 NEW BEST:: SOT 298626 SOS 97879 HAS SOPS 97879 HAS SOUS 28137 HAS SOUPS 28137 WITH SCORE 28234.879
AT ITER 5077 NEW BEST:: SOT 298626 SOS 97879 HAS SOPS 97879 HAS SOUS 28123 HAS SOUPS 28123 WITH SCORE 28220.879
AT ITER 5080 NEW BEST:: SOT 298609 SOS 97860 HAS SOPS 97860 HAS SOUS 28104 HAS SOUPS 28104 WITH SCORE 28201.86
AT ITER 5111 NEW BEST:: SOT 298592 SOS 96009 HAS SOPS 96009 HAS SOUS 28050 HAS SOUPS 28050 WITH SCORE 28146.009
AT ITER 5116 NEW BEST:: SOT 298619 SOS 96015 HAS SOPS 96015 HAS SOUS 27872 HAS SOUPS 27872 WITH SCORE 27968.015
AT ITER 5139 NEW BEST:: SOT 298560 SOS 95952 HAS SOPS 95952 HAS SOUS 27864 HAS SOUPS 27864 WITH SCORE 27959.952
AT ITER 5145 NEW BEST:: SOT 298547 SOS 96043 HAS SOPS 96043 HAS SOUS 27806 HAS SOUPS 27806 WITH SCORE 27902.043
AT ITER 5155 NEW BEST:: SOT 298547 SOS 96019 HAS SOPS 96019 HAS SOUS 27806 HAS SOUPS 27806 WITH SCORE 27902.019
AT ITER 5197 NEW BEST:: SOT 298526 SOS 95977 HAS SOPS 95977 HAS SOUS 27774 HAS SOUPS 27774 WITH SCORE 27869.977
AT ITER 5207 NEW BEST:: SOT 298525 SOS 95977 HAS SOPS 95977 HAS SOUS 27773 HAS SOUPS 27773 WITH SCORE 27868.977
AT ITER 5223 NEW BEST:: SOT 298525 SOS 95917 HAS SOPS 95917 HAS SOUS 27773 HAS SOUPS 27773 WITH SCORE 27868.917
AT ITER 5255 NEW BEST:: SOT 298235 SOS 97079 HAS SOPS 97079 HAS SOUS 27731 HAS SOUPS 27731 WITH SCORE 27828.079
AT ITER 5273 NEW BEST:: SOT 298216 SOS 97060 HAS SOPS 97060 HAS SOUS 27731 HAS SOUPS 27731 WITH SCORE 27828.06
AT ITER 5337 NEW BEST:: SOT 297976 SOS 96820 HAS SOPS 96820 HAS SOUS 27710 HAS SOUPS 27710 WITH SCORE 27806.82
AT ITER 5338 NEW BEST:: SOT 297946 SOS 100374 HAS SOPS 100374 HAS SOUS 27695 HAS SOUPS 27695 WITH SCORE 27795.374
AT ITER 5345 NEW BEST:: SOT 297940 SOS 100362 HAS SOPS 100362 HAS SOUS 27683 HAS SOUPS 27683 WITH SCORE 27783.362
AT ITER 5368 NEW BEST:: SOT 298013 SOS 100396 HAS SOPS 100396 HAS SOUS 27552 HAS SOUPS 27552 WITH SCORE 27652.396
AT ITER 5377 NEW BEST:: SOT 297980 SOS 100330 HAS SOPS 100330 HAS SOUS 27493 HAS SOUPS 27493 WITH SCORE 27593.33
AT ITER 5384 NEW BEST:: SOT 297977 SOS 100344 HAS SOPS 100344 HAS SOUS 27490 HAS SOUPS 27490 WITH SCORE 27590.344
AT ITER 5408 NEW BEST:: SOT 297975 SOS 100342 HAS SOPS 100342 HAS SOUS 27488 HAS SOUPS 27488 WITH SCORE 27588.342
AT ITER 5425 NEW BEST:: SOT 297975 SOS 100338 HAS SOPS 100338 HAS SOUS 27484 HAS SOUPS 27484 WITH SCORE 27584.338
AT ITER 5454 NEW BEST:: SOT 298007 SOS 100402 HAS SOPS 100402 HAS SOUS 27472 HAS SOUPS 27472 WITH SCORE 27572.402
AT ITER 5457 NEW BEST:: SOT 298013 SOS 100403 HAS SOPS 100403 HAS SOUS 27425 HAS SOUPS 27425 WITH SCORE 27525.403
AT ITER 5597 NEW BEST:: SOT 298011 SOS 100399 HAS SOPS 100399 HAS SOUS 27399 HAS SOUPS 27399 WITH SCORE 27499.399
AT ITER 5664 NEW BEST:: SOT 298006 SOS 100399 HAS SOPS 100399 HAS SOUS 27394 HAS SOUPS 27394 WITH SCORE 27494.399
AT ITER 5678 NEW BEST:: SOT 298001 SOS 100389 HAS SOPS 100389 HAS SOUS 27375 HAS SOUPS 27375 WITH SCORE 27475.389
AT ITER 5681 NEW BEST:: SOT 297998 SOS 100386 HAS SOPS 100386 HAS SOUS 27327 HAS SOUPS 27327 WITH SCORE 27427.386
AT ITER 5705 NEW BEST:: SOT 297996 SOS 100304 HAS SOPS 100304 HAS SOUS 27295 HAS SOUPS 27295 WITH SCORE 27395.304
AT ITER 5724 NEW BEST:: SOT 297990 SOS 100292 HAS SOPS 100292 HAS SOUS 27283 HAS SOUPS 27283 WITH SCORE 27383.292
AT ITER 5767 NEW BEST:: SOT 297980 SOS 100287 HAS SOPS 100287 HAS SOUS 27278 HAS SOUPS 27278 WITH SCORE 27378.287
AT ITER 5775 NEW BEST:: SOT 297977 SOS 100281 HAS SOPS 100281 HAS SOUS 27272 HAS SOUPS 27272 WITH SCORE 27372.281
AT ITER 5782 NEW BEST:: SOT 298025 SOS 100191 HAS SOPS 100191 HAS SOUS 27254 HAS SOUPS 27254 WITH SCORE 27354.191
AT ITER 5783 NEW BEST:: SOT 297990 SOS 100052 HAS SOPS 100052 HAS SOUS 27172 HAS SOUPS 27172 WITH SCORE 27272.052
AT ITER 5800 NEW BEST:: SOT 297988 SOS 100048 HAS SOPS 100048 HAS SOUS 27168 HAS SOUPS 27168 WITH SCORE 27268.048
AT ITER 5819 NEW BEST:: SOT 297988 SOS 100043 HAS SOPS 100043 HAS SOUS 27168 HAS SOUPS 27168 WITH SCORE 27268.043
AT ITER 5822 NEW BEST:: SOT 297966 SOS 100043 HAS SOPS 100043 HAS SOUS 27154 HAS SOUPS 27154 WITH SCORE 27254.043
AT ITER 5844 NEW BEST:: SOT 297953 SOS 100017 HAS SOPS 100017 HAS SOUS 27128 HAS SOUPS 27128 WITH SCORE 27228.017
AT ITER 5852 NEW BEST:: SOT 297943 SOS 99997 HAS SOPS 99997 HAS SOUS 27106 HAS SOUPS 27106 WITH SCORE 27205.997
AT ITER 5886 NEW BEST:: SOT 297940 SOS 99973 HAS SOPS 99973 HAS SOUS 27100 HAS SOUPS 27100 WITH SCORE 27199.973
AT ITER 5911 NEW BEST:: SOT 297931 SOS 99955 HAS SOPS 99955 HAS SOUS 27078 HAS SOUPS 27078 WITH SCORE 27177.955
AT ITER 5934 NEW BEST:: SOT 297930 SOS 99953 HAS SOPS 99953 HAS SOUS 27076 HAS SOUPS 27076 WITH SCORE 27175.953
AT ITER 5968 NEW BEST:: SOT 297924 SOS 99912 HAS SOPS 99912 HAS SOUS 27041 HAS SOUPS 27041 WITH SCORE 27140.912
AT ITER 5989 NEW BEST:: SOT 297914 SOS 99892 HAS SOPS 99892 HAS SOUS 27021 HAS SOUPS 27021 WITH SCORE 27120.892
AT ITER 5997 NEW BEST:: SOT 297868 SOS 98532 HAS SOPS 98532 HAS SOUS 26929 HAS SOUPS 26929 WITH SCORE 27027.532
AT ITER 6018 NEW BEST:: SOT 297867 SOS 98540 HAS SOPS 98540 HAS SOUS 26928 HAS SOUPS 26928 WITH SCORE 27026.54
AT ITER 6028 NEW BEST:: SOT 297866 SOS 98538 HAS SOPS 98538 HAS SOUS 26927 HAS SOUPS 26927 WITH SCORE 27025.538
AT ITER 6082 NEW BEST:: SOT 297856 SOS 98538 HAS SOPS 98538 HAS SOUS 26917 HAS SOUPS 26917 WITH SCORE 27015.538
AT ITER 6117 NEW BEST:: SOT 297868 SOS 98562 HAS SOPS 98562 HAS SOUS 26678 HAS SOUPS 26678 WITH SCORE 26776.562
AT ITER 6120 NEW BEST:: SOT 297842 SOS 98510 HAS SOPS 98510 HAS SOUS 26626 HAS SOUPS 26626 WITH SCORE 26724.51
AT ITER 6124 NEW BEST:: SOT 297850 SOS 98526 HAS SOPS 98526 HAS SOUS 26612 HAS SOUPS 26612 WITH SCORE 26710.526
AT ITER 6128 NEW BEST:: SOT 297842 SOS 98510 HAS SOPS 98510 HAS SOUS 26596 HAS SOUPS 26596 WITH SCORE 26694.51
AT ITER 6141 NEW BEST:: SOT 297746 SOS 98414 HAS SOPS 98414 HAS SOUS 26474 HAS SOUPS 26474 WITH SCORE 26572.414
AT ITER 6165 NEW BEST:: SOT 297396 SOS 98049 HAS SOPS 98049 HAS SOUS 26463 HAS SOUPS 26463 WITH SCORE 26561.049
AT ITER 6182 NEW BEST:: SOT 297396 SOS 98045 HAS SOPS 98045 HAS SOUS 26461 HAS SOUPS 26461 WITH SCORE 26559.045
AT ITER 6185 NEW BEST:: SOT 297393 SOS 98039 HAS SOPS 98039 HAS SOUS 26450 HAS SOUPS 26450 WITH SCORE 26548.039
AT ITER 6247 NEW BEST:: SOT 297345 SOS 97995 HAS SOPS 97995 HAS SOUS 26428 HAS SOUPS 26428 WITH SCORE 26525.995
AT ITER 6266 NEW BEST:: SOT 297343 SOS 97993 HAS SOPS 97993 HAS SOUS 26426 HAS SOUPS 26426 WITH SCORE 26523.993
AT ITER 6300 NEW BEST:: SOT 297319 SOS 97965 HAS SOPS 97965 HAS SOUS 26382 HAS SOUPS 26382 WITH SCORE 26479.965
AT ITER 6315 NEW BEST:: SOT 297296 SOS 97919 HAS SOPS 97919 HAS SOUS 26359 HAS SOUPS 26359 WITH SCORE 26456.919
AT ITER 6358 NEW BEST:: SOT 297295 SOS 97917 HAS SOPS 97917 HAS SOUS 26359 HAS SOUPS 26359 WITH SCORE 26456.917
AT ITER 6366 NEW BEST:: SOT 297295 SOS 97915 HAS SOPS 97915 HAS SOUS 26357 HAS SOUPS 26357 WITH SCORE 26454.915
AT ITER 6378 NEW BEST:: SOT 297291 SOS 97963 HAS SOPS 97963 HAS SOUS 26322 HAS SOUPS 26322 WITH SCORE 26419.963
AT ITER 6385 NEW BEST:: SOT 297290 SOS 97960 HAS SOPS 97960 HAS SOUS 26320 HAS SOUPS 26320 WITH SCORE 26417.96
AT ITER 6388 NEW BEST:: SOT 297285 SOS 97932 HAS SOPS 97932 HAS SOUS 26310 HAS SOUPS 26310 WITH SCORE 26407.932
AT ITER 6390 NEW BEST:: SOT 297271 SOS 97918 HAS SOPS 97918 HAS SOUS 26278 HAS SOUPS 26278 WITH SCORE 26375.918
AT ITER 6409 NEW BEST:: SOT 297274 SOS 97884 HAS SOPS 97884 HAS SOUS 26121 HAS SOUPS 26121 WITH SCORE 26218.884
AT ITER 6415 NEW BEST:: SOT 297274 SOS 97884 HAS SOPS 97884 HAS SOUS 26112 HAS SOUPS 26112 WITH SCORE 26209.884
AT ITER 6416 NEW BEST:: SOT 297275 SOS 97877 HAS SOPS 97877 HAS SOUS 26099 HAS SOUPS 26099 WITH SCORE 26196.877
AT ITER 6417 NEW BEST:: SOT 297274 SOS 97875 HAS SOPS 97875 HAS SOUS 26097 HAS SOUPS 26097 WITH SCORE 26194.875
AT ITER 6462 NEW BEST:: SOT 297274 SOS 97873 HAS SOPS 97873 HAS SOUS 26095 HAS SOUPS 26095 WITH SCORE 26192.873
AT ITER 6510 NEW BEST:: SOT 297244 SOS 97832 HAS SOPS 97832 HAS SOUS 26088 HAS SOUPS 26088 WITH SCORE 26185.832
AT ITER 6564 NEW BEST:: SOT 297232 SOS 97808 HAS SOPS 97808 HAS SOUS 26064 HAS SOUPS 26064 WITH SCORE 26161.808
AT ITER 6600 NEW BEST:: SOT 297232 SOS 97804 HAS SOPS 97804 HAS SOUS 26062 HAS SOUPS 26062 WITH SCORE 26159.804
AT ITER 6601 NEW BEST:: SOT 297230 SOS 97800 HAS SOPS 97800 HAS SOUS 26050 HAS SOUPS 26050 WITH SCORE 26147.8
AT ITER 6611 NEW BEST:: SOT 297223 SOS 97786 HAS SOPS 97786 HAS SOUS 26036 HAS SOUPS 26036 WITH SCORE 26133.786
AT ITER 6639 NEW BEST:: SOT 297212 SOS 97764 HAS SOPS 97764 HAS SOUS 26014 HAS SOUPS 26014 WITH SCORE 26111.764
AT ITER 6743 NEW BEST:: SOT 297212 SOS 97764 HAS SOPS 97764 HAS SOUS 25963 HAS SOUPS 25963 WITH SCORE 26060.764
AT ITER 6792 NEW BEST:: SOT 297210 SOS 97762 HAS SOPS 97762 HAS SOUS 25959 HAS SOUPS 25959 WITH SCORE 26056.762
AT ITER 6818 NEW BEST:: SOT 297203 SOS 97748 HAS SOPS 97748 HAS SOUS 25952 HAS SOUPS 25952 WITH SCORE 26049.748
AT ITER 6841 NEW BEST:: SOT 297205 SOS 97732 HAS SOPS 97732 HAS SOUS 25945 HAS SOUPS 25945 WITH SCORE 26042.732
AT ITER 6883 NEW BEST:: SOT 297205 SOS 97725 HAS SOPS 97725 HAS SOUS 25938 HAS SOUPS 25938 WITH SCORE 26035.725
AT ITER 6923 NEW BEST:: SOT 297130 SOS 97575 HAS SOPS 97575 HAS SOUS 25869 HAS SOUPS 25869 WITH SCORE 25966.575
AT ITER 6927 NEW BEST:: SOT 297124 SOS 97563 HAS SOPS 97563 HAS SOUS 25857 HAS SOUPS 25857 WITH SCORE 25954.563
AT ITER 6931 NEW BEST:: SOT 297119 SOS 97553 HAS SOPS 97553 HAS SOUS 25847 HAS SOUPS 25847 WITH SCORE 25944.553
AT ITER 6956 NEW BEST:: SOT 297119 SOS 97543 HAS SOPS 97543 HAS SOUS 25837 HAS SOUPS 25837 WITH SCORE 25934.543
AT ITER 6977 NEW BEST:: SOT 297040 SOS 97477 HAS SOPS 97477 HAS SOUS 25758 HAS SOUPS 25758 WITH SCORE 25855.477
AT ITER 7044 NEW BEST:: SOT 296992 SOS 97429 HAS SOPS 97429 HAS SOUS 25673 HAS SOUPS 25673 WITH SCORE 25770.429
AT ITER 7048 NEW BEST:: SOT 296986 SOS 97443 HAS SOPS 97443 HAS SOUS 25672 HAS SOUPS 25672 WITH SCORE 25769.443
AT ITER 7065 NEW BEST:: SOT 296991 SOS 97453 HAS SOPS 97453 HAS SOUS 25665 HAS SOUPS 25665 WITH SCORE 25762.453
AT ITER 7066 NEW BEST:: SOT 296984 SOS 97439 HAS SOPS 97439 HAS SOUS 25651 HAS SOUPS 25651 WITH SCORE 25748.439
AT ITER 7073 NEW BEST:: SOT 296984 SOS 97439 HAS SOPS 97439 HAS SOUS 25650 HAS SOUPS 25650 WITH SCORE 25747.439
AT ITER 7093 NEW BEST:: SOT 296965 SOS 97401 HAS SOPS 97401 HAS SOUS 25641 HAS SOUPS 25641 WITH SCORE 25738.401
AT ITER 7124 NEW BEST:: SOT 296963 SOS 97397 HAS SOPS 97397 HAS SOUS 25637 HAS SOUPS 25637 WITH SCORE 25734.397
AT ITER 7156 NEW BEST:: SOT 296962 SOS 97395 HAS SOPS 97395 HAS SOUS 25635 HAS SOUPS 25635 WITH SCORE 25732.395
AT ITER 7183 NEW BEST:: SOT 296950 SOS 97381 HAS SOPS 97381 HAS SOUS 25621 HAS SOUPS 25621 WITH SCORE 25718.381
AT ITER 7225 NEW BEST:: SOT 296944 SOS 97392 HAS SOPS 97392 HAS SOUS 25615 HAS SOUPS 25615 WITH SCORE 25712.392
AT ITER 7228 NEW BEST:: SOT 296944 SOS 97386 HAS SOPS 97386 HAS SOUS 25612 HAS SOUPS 25612 WITH SCORE 25709.386
AT ITER 7242 NEW BEST:: SOT 296936 SOS 97374 HAS SOPS 97374 HAS SOUS 25604 HAS SOUPS 25604 WITH SCORE 25701.374
AT ITER 7283 NEW BEST:: SOT 296974 SOS 97268 HAS SOPS 97268 HAS SOUS 25562 HAS SOUPS 25562 WITH SCORE 25659.268
AT ITER 7298 NEW BEST:: SOT 296958 SOS 89220 HAS SOPS 89220 HAS SOUS 25562 HAS SOUPS 25562 WITH SCORE 25651.22
AT ITER 7322 NEW BEST:: SOT 296958 SOS 89220 HAS SOPS 89220 HAS SOUS 25544 HAS SOUPS 25544 WITH SCORE 25633.22
AT ITER 7347 NEW BEST:: SOT 296958 SOS 89210 HAS SOPS 89210 HAS SOUS 25539 HAS SOUPS 25539 WITH SCORE 25628.21
AT ITER 7372 NEW BEST:: SOT 296942 SOS 89178 HAS SOPS 89178 HAS SOUS 25507 HAS SOUPS 25507 WITH SCORE 25596.178
AT ITER 7422 NEW BEST:: SOT 296773 SOS 88996 HAS SOPS 88996 HAS SOUS 25338 HAS SOUPS 25338 WITH SCORE 25426.996
AT ITER 7454 NEW BEST:: SOT 296761 SOS 88993 HAS SOPS 88993 HAS SOUS 25277 HAS SOUPS 25277 WITH SCORE 25365.993
AT ITER 7501 NEW BEST:: SOT 296761 SOS 88977 HAS SOPS 88977 HAS SOUS 25269 HAS SOUPS 25269 WITH SCORE 25357.977
AT ITER 7583 NEW BEST:: SOT 296800 SOS 89009 HAS SOPS 89009 HAS SOUS 25262 HAS SOUPS 25262 WITH SCORE 25351.009
AT ITER 7633 NEW BEST:: SOT 296794 SOS 89006 HAS SOPS 89006 HAS SOUS 25259 HAS SOUPS 25259 WITH SCORE 25348.006
AT ITER 7672 NEW BEST:: SOT 296778 SOS 88989 HAS SOPS 88989 HAS SOUS 25242 HAS SOUPS 25242 WITH SCORE 25330.989
AT ITER 7675 NEW BEST:: SOT 296777 SOS 88987 HAS SOPS 88987 HAS SOUS 25240 HAS SOUPS 25240 WITH SCORE 25328.987
AT ITER 7753 NEW BEST:: SOT 296770 SOS 88973 HAS SOPS 88973 HAS SOUS 25226 HAS SOUPS 25226 WITH SCORE 25314.973
AT ITER 7779 NEW BEST:: SOT 296770 SOS 88915 HAS SOPS 88915 HAS SOUS 25197 HAS SOUPS 25197 WITH SCORE 25285.915
AT ITER 7853 NEW BEST:: SOT 296764 SOS 88906 HAS SOPS 88906 HAS SOUS 25188 HAS SOUPS 25188 WITH SCORE 25276.906
AT ITER 7874 NEW BEST:: SOT 296765 SOS 88911 HAS SOPS 88911 HAS SOUS 25184 HAS SOUPS 25184 WITH SCORE 25272.911
AT ITER 7887 NEW BEST:: SOT 296756 SOS 88883 HAS SOPS 88883 HAS SOUS 25166 HAS SOUPS 25166 WITH SCORE 25254.883
AT ITER 7954 NEW BEST:: SOT 296756 SOS 88838 HAS SOPS 88838 HAS SOUS 25166 HAS SOUPS 25166 WITH SCORE 25254.838
AT ITER 7972 NEW BEST:: SOT 296769 SOS 88848 HAS SOPS 88848 HAS SOUS 25128 HAS SOUPS 25128 WITH SCORE 25216.848
AT ITER 8056 NEW BEST:: SOT 296669 SOS 88698 HAS SOPS 88698 HAS SOUS 25043 HAS SOUPS 25043 WITH SCORE 25131.698
AT ITER 8138 NEW BEST:: SOT 296557 SOS 88575 HAS SOPS 88575 HAS SOUS 24982 HAS SOUPS 24982 WITH SCORE 25070.575
AT ITER 8205 NEW BEST:: SOT 296557 SOS 88513 HAS SOPS 88513 HAS SOUS 24963 HAS SOUPS 24963 WITH SCORE 25051.513
AT ITER 8238 NEW BEST:: SOT 296557 SOS 88513 HAS SOPS 88513 HAS SOUS 24960 HAS SOUPS 24960 WITH SCORE 25048.513
AT ITER 8252 NEW BEST:: SOT 296525 SOS 88515 HAS SOPS 88515 HAS SOUS 24924 HAS SOUPS 24924 WITH SCORE 25012.515
AT ITER 8276 NEW BEST:: SOT 296525 SOS 88515 HAS SOPS 88515 HAS SOUS 24923 HAS SOUPS 24923 WITH SCORE 25011.515
AT ITER 8280 NEW BEST:: SOT 296524 SOS 88495 HAS SOPS 88495 HAS SOUS 24921 HAS SOUPS 24921 WITH SCORE 25009.495
AT ITER 8283 NEW BEST:: SOT 296521 SOS 88489 HAS SOPS 88489 HAS SOUS 24918 HAS SOUPS 24918 WITH SCORE 25006.489
AT ITER 8354 NEW BEST:: SOT 296519 SOS 88492 HAS SOPS 88492 HAS SOUS 24906 HAS SOUPS 24906 WITH SCORE 24994.492
AT ITER 8393 NEW BEST:: SOT 296527 SOS 88442 HAS SOPS 88442 HAS SOUS 24878 HAS SOUPS 24878 WITH SCORE 24966.442
AT ITER 8399 NEW BEST:: SOT 296509 SOS 88406 HAS SOPS 88406 HAS SOUS 24842 HAS SOUPS 24842 WITH SCORE 24930.406
AT ITER 8409 NEW BEST:: SOT 296486 SOS 88333 HAS SOPS 88333 HAS SOUS 24777 HAS SOUPS 24777 WITH SCORE 24865.333
AT ITER 8467 NEW BEST:: SOT 296478 SOS 88296 HAS SOPS 88296 HAS SOUS 24761 HAS SOUPS 24761 WITH SCORE 24849.296
AT ITER 8470 NEW BEST:: SOT 296478 SOS 88296 HAS SOPS 88296 HAS SOUS 24728 HAS SOUPS 24728 WITH SCORE 24816.296
AT ITER 8529 NEW BEST:: SOT 296428 SOS 88246 HAS SOPS 88246 HAS SOUS 24666 HAS SOUPS 24666 WITH SCORE 24754.246
AT ITER 8557 NEW BEST:: SOT 296424 SOS 88238 HAS SOPS 88238 HAS SOUS 24658 HAS SOUPS 24658 WITH SCORE 24746.238
AT ITER 8588 NEW BEST:: SOT 296408 SOS 88198 HAS SOPS 88198 HAS SOUS 24642 HAS SOUPS 24642 WITH SCORE 24730.198
AT ITER 8611 NEW BEST:: SOT 296397 SOS 88165 HAS SOPS 88165 HAS SOUS 24620 HAS SOUPS 24620 WITH SCORE 24708.165
AT ITER 8699 NEW BEST:: SOT 296381 SOS 88148 HAS SOPS 88148 HAS SOUS 24602 HAS SOUPS 24602 WITH SCORE 24690.148
AT ITER 8725 NEW BEST:: SOT 296372 SOS 88139 HAS SOPS 88139 HAS SOUS 24590 HAS SOUPS 24590 WITH SCORE 24678.139
AT ITER 8829 NEW BEST:: SOT 296368 SOS 88133 HAS SOPS 88133 HAS SOUS 24584 HAS SOUPS 24584 WITH SCORE 24672.133
AT ITER 8837 NEW BEST:: SOT 296373 SOS 88133 HAS SOPS 88133 HAS SOUS 24582 HAS SOUPS 24582 WITH SCORE 24670.133
AT ITER 8847 NEW BEST:: SOT 296372 SOS 88131 HAS SOPS 88131 HAS SOUS 24578 HAS SOUPS 24578 WITH SCORE 24666.131
AT ITER 8883 NEW BEST:: SOT 296371 SOS 88129 HAS SOPS 88129 HAS SOUS 24576 HAS SOUPS 24576 WITH SCORE 24664.129
AT ITER 8914 NEW BEST:: SOT 296369 SOS 88125 HAS SOPS 88125 HAS SOUS 24572 HAS SOUPS 24572 WITH SCORE 24660.125
AT ITER 8932 NEW BEST:: SOT 296361 SOS 88109 HAS SOPS 88109 HAS SOUS 24556 HAS SOUPS 24556 WITH SCORE 24644.109
AT ITER 8950 NEW BEST:: SOT 296330 SOS 88179 HAS SOPS 88179 HAS SOUS 24488 HAS SOUPS 24488 WITH SCORE 24576.179
AT ITER 9030 NEW BEST:: SOT 296330 SOS 88175 HAS SOPS 88175 HAS SOUS 24486 HAS SOUPS 24486 WITH SCORE 24574.175
AT ITER 9033 NEW BEST:: SOT 296330 SOS 88173 HAS SOPS 88173 HAS SOUS 24484 HAS SOUPS 24484 WITH SCORE 24572.173
AT ITER 9081 NEW BEST:: SOT 296321 SOS 88164 HAS SOPS 88164 HAS SOUS 24475 HAS SOUPS 24475 WITH SCORE 24563.164
AT ITER 9137 NEW BEST:: SOT 296321 SOS 88168 HAS SOPS 88168 HAS SOUS 24473 HAS SOUPS 24473 WITH SCORE 24561.168
AT ITER 9140 NEW BEST:: SOT 296320 SOS 88167 HAS SOPS 88167 HAS SOUS 24472 HAS SOUPS 24472 WITH SCORE 24560.167
AT ITER 9181 NEW BEST:: SOT 296326 SOS 88179 HAS SOPS 88179 HAS SOUS 24382 HAS SOUPS 24382 WITH SCORE 24470.179
AT ITER 9195 NEW BEST:: SOT 296320 SOS 88167 HAS SOPS 88167 HAS SOUS 24370 HAS SOUPS 24370 WITH SCORE 24458.167
AT ITER 9216 NEW BEST:: SOT 296331 SOS 88150 HAS SOPS 88150 HAS SOUS 24354 HAS SOUPS 24354 WITH SCORE 24442.15
AT ITER 9225 NEW BEST:: SOT 296331 SOS 88150 HAS SOPS 88150 HAS SOUS 24346 HAS SOUPS 24346 WITH SCORE 24434.15
AT ITER 9351 NEW BEST:: SOT 296321 SOS 88150 HAS SOPS 88150 HAS SOUS 24322 HAS SOUPS 24322 WITH SCORE 24410.15
AT ITER 9370 NEW BEST:: SOT 296319 SOS 88146 HAS SOPS 88146 HAS SOUS 24320 HAS SOUPS 24320 WITH SCORE 24408.146
AT ITER 9377 NEW BEST:: SOT 296317 SOS 88135 HAS SOPS 88135 HAS SOUS 24314 HAS SOUPS 24314 WITH SCORE 24402.135
AT ITER 9459 NEW BEST:: SOT 296318 SOS 88141 HAS SOPS 88141 HAS SOUS 24313 HAS SOUPS 24313 WITH SCORE 24401.141
AT ITER 9487 NEW BEST:: SOT 295551 SOS 87368 HAS SOPS 87368 HAS SOUS 23621 HAS SOUPS 23621 WITH SCORE 23708.368
AT ITER 9503 NEW BEST:: SOT 295551 SOS 87352 HAS SOPS 87352 HAS SOUS 23621 HAS SOUPS 23621 WITH SCORE 23708.352
AT ITER 9509 NEW BEST:: SOT 295553 SOS 87351 HAS SOPS 87351 HAS SOUS 23620 HAS SOUPS 23620 WITH SCORE 23707.351
AT ITER 9552 NEW BEST:: SOT 295552 SOS 87349 HAS SOPS 87349 HAS SOUS 23618 HAS SOUPS 23618 WITH SCORE 23705.349
AT ITER 9596 NEW BEST:: SOT 295552 SOS 87339 HAS SOPS 87339 HAS SOUS 23613 HAS SOUPS 23613 WITH SCORE 23700.339
AT ITER 9635 NEW BEST:: SOT 295544 SOS 87331 HAS SOPS 87331 HAS SOUS 23605 HAS SOUPS 23605 WITH SCORE 23692.331
AT ITER 9655 NEW BEST:: SOT 295547 SOS 87334 HAS SOPS 87334 HAS SOUS 23587 HAS SOUPS 23587 WITH SCORE 23674.334
AT ITER 9693 NEW BEST:: SOT 295547 SOS 87330 HAS SOPS 87330 HAS SOUS 23583 HAS SOUPS 23583 WITH SCORE 23670.33
AT ITER 9698 NEW BEST:: SOT 295542 SOS 87302 HAS SOPS 87302 HAS SOUS 23578 HAS SOUPS 23578 WITH SCORE 23665.302
AT ITER 9732 NEW BEST:: SOT 295545 SOS 87308 HAS SOPS 87308 HAS SOUS 23565 HAS SOUPS 23565 WITH SCORE 23652.308
AT ITER 9764 NEW BEST:: SOT 295545 SOS 87308 HAS SOPS 87308 HAS SOUS 23542 HAS SOUPS 23542 WITH SCORE 23629.308
AT ITER 9892 NEW BEST:: SOT 295544 SOS 87305 HAS SOPS 87305 HAS SOUS 23540 HAS SOUPS 23540 WITH SCORE 23627.305
AT ITER 9979 NEW BEST:: SOT 295595 SOS 87356 HAS SOPS 87356 HAS SOUS 23506 HAS SOUPS 23506 WITH SCORE 23593.356
AT ITER 9997 NEW BEST:: SOT 295589 SOS 87352 HAS SOPS 87352 HAS SOUS 23500 HAS SOUPS 23500 WITH SCORE 23587.352
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393236 kB
MemFree: 6568132 kB
After kill :
MemTotal: 16393236 kB
MemFree: 16120340 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:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ 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-08b"
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-08b, 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-167813600500656"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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