Execution Chart

Sorry, for this execution, no execution chart could be reported.

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r003-oct2-167813591200680.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-10a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813591200680
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.9M
-rw-r--r-- 1 mcc users 7.7K Feb 25 12:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 25 12:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 25 12:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 25 12:56 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 12:59 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 61K Feb 25 12:59 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 25 12:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 114K Feb 25 12:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:34 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.5M 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 1678476470554

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-10a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutonomousCar (PT), instance 10a
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: 97 places, 1921 transitions, 29152 arcs.
AT ITER 0 NEW BEST:: SOT 168850 SOS 145060 HAS SOPS 145058 HAS SOUS 88810 HAS SOUPS 88808 WITH SCORE 88953.06
AT ITER 1 NEW BEST:: SOT 168899 SOS 145100 HAS SOPS 145098 HAS SOUS 84153 HAS SOUPS 84151 WITH SCORE 84296.1
AT ITER 2 NEW BEST:: SOT 168937 SOS 145158 HAS SOPS 145156 HAS SOUS 83615 HAS SOUPS 83613 WITH SCORE 83758.158
AT ITER 4 NEW BEST:: SOT 168954 SOS 145141 HAS SOPS 145139 HAS SOUS 83615 HAS SOUPS 83613 WITH SCORE 83758.141
AT ITER 5 NEW BEST:: SOT 168924 SOS 145111 HAS SOPS 145109 HAS SOUS 83476 HAS SOUPS 83474 WITH SCORE 83619.111
AT ITER 6 NEW BEST:: SOT 168924 SOS 145073 HAS SOPS 145071 HAS SOUS 83468 HAS SOUPS 83466 WITH SCORE 83611.073
AT ITER 9 NEW BEST:: SOT 168960 SOS 145245 HAS SOPS 145243 HAS SOUS 83426 HAS SOUPS 83424 WITH SCORE 83569.245
AT ITER 10 NEW BEST:: SOT 169078 SOS 145372 HAS SOPS 145370 HAS SOUS 83286 HAS SOUPS 83284 WITH SCORE 83429.372
AT ITER 12 NEW BEST:: SOT 169077 SOS 145374 HAS SOPS 145372 HAS SOUS 79979 HAS SOUPS 79977 WITH SCORE 80122.374
AT ITER 13 NEW BEST:: SOT 169139 SOS 145452 HAS SOPS 145450 HAS SOUS 79534 HAS SOUPS 79532 WITH SCORE 79677.452
AT ITER 14 NEW BEST:: SOT 169139 SOS 145432 HAS SOPS 145430 HAS SOUS 79534 HAS SOUPS 79532 WITH SCORE 79677.432
AT ITER 15 NEW BEST:: SOT 168896 SOS 145138 HAS SOPS 145136 HAS SOUS 75581 HAS SOUPS 75579 WITH SCORE 75724.138
AT ITER 22 NEW BEST:: SOT 168872 SOS 145114 HAS SOPS 145112 HAS SOUS 75540 HAS SOUPS 75538 WITH SCORE 75683.114
AT ITER 23 NEW BEST:: SOT 168682 SOS 144960 HAS SOPS 144958 HAS SOUS 75391 HAS SOUPS 75389 WITH SCORE 75533.96
AT ITER 26 NEW BEST:: SOT 168641 SOS 144878 HAS SOPS 144876 HAS SOUS 74734 HAS SOUPS 74732 WITH SCORE 74876.878
AT ITER 27 NEW BEST:: SOT 168577 SOS 144750 HAS SOPS 144748 HAS SOUS 74313 HAS SOUPS 74311 WITH SCORE 74455.75
AT ITER 28 NEW BEST:: SOT 168539 SOS 144778 HAS SOPS 144776 HAS SOUS 74075 HAS SOUPS 74073 WITH SCORE 74217.778
AT ITER 30 NEW BEST:: SOT 168579 SOS 144768 HAS SOPS 144766 HAS SOUS 71312 HAS SOUPS 71310 WITH SCORE 71454.768
AT ITER 31 NEW BEST:: SOT 168515 SOS 144694 HAS SOPS 144692 HAS SOUS 71272 HAS SOUPS 71270 WITH SCORE 71414.694
AT ITER 33 NEW BEST:: SOT 168479 SOS 144658 HAS SOPS 144656 HAS SOUS 71236 HAS SOUPS 71234 WITH SCORE 71378.658
AT ITER 34 NEW BEST:: SOT 168486 SOS 144630 HAS SOPS 144628 HAS SOUS 60470 HAS SOUPS 60468 WITH SCORE 60612.63
AT ITER 35 NEW BEST:: SOT 161413 SOS 137557 HAS SOPS 137555 HAS SOUS 56593 HAS SOUPS 56591 WITH SCORE 56728.557
AT ITER 38 NEW BEST:: SOT 161410 SOS 137551 HAS SOPS 137549 HAS SOUS 56270 HAS SOUPS 56268 WITH SCORE 56405.551
AT ITER 43 NEW BEST:: SOT 161285 SOS 137393 HAS SOPS 137391 HAS SOUS 56187 HAS SOUPS 56185 WITH SCORE 56322.393
AT ITER 44 NEW BEST:: SOT 161197 SOS 137305 HAS SOPS 137303 HAS SOUS 55643 HAS SOUPS 55641 WITH SCORE 55778.305
AT ITER 46 NEW BEST:: SOT 159749 SOS 135861 HAS SOPS 135859 HAS SOUS 54515 HAS SOUPS 54513 WITH SCORE 54648.861
AT ITER 47 NEW BEST:: SOT 159712 SOS 135841 HAS SOPS 135839 HAS SOUS 54464 HAS SOUPS 54462 WITH SCORE 54597.841
AT ITER 51 NEW BEST:: SOT 159722 SOS 135861 HAS SOPS 135859 HAS SOUS 54438 HAS SOUPS 54436 WITH SCORE 54571.861
AT ITER 53 NEW BEST:: SOT 159203 SOS 140017 HAS SOPS 140015 HAS SOUS 54285 HAS SOUPS 54283 WITH SCORE 54423.017
AT ITER 55 NEW BEST:: SOT 158551 SOS 139333 HAS SOPS 139331 HAS SOUS 54116 HAS SOUPS 54114 WITH SCORE 54253.333
AT ITER 57 NEW BEST:: SOT 158531 SOS 140565 HAS SOPS 140563 HAS SOUS 54109 HAS SOUPS 54107 WITH SCORE 54247.565
AT ITER 61 NEW BEST:: SOT 158054 SOS 140101 HAS SOPS 140099 HAS SOUS 53776 HAS SOUPS 53774 WITH SCORE 53914.101
AT ITER 63 NEW BEST:: SOT 156716 SOS 139041 HAS SOPS 139039 HAS SOUS 53670 HAS SOUPS 53668 WITH SCORE 53807.041
AT ITER 66 NEW BEST:: SOT 154111 SOS 136292 HAS SOPS 136290 HAS SOUS 51718 HAS SOUPS 51716 WITH SCORE 51852.292
AT ITER 68 NEW BEST:: SOT 154073 SOS 136262 HAS SOPS 136260 HAS SOUS 51478 HAS SOUPS 51476 WITH SCORE 51612.262
AT ITER 69 NEW BEST:: SOT 154066 SOS 136896 HAS SOPS 136894 HAS SOUS 51466 HAS SOUPS 51464 WITH SCORE 51600.896
AT ITER 70 NEW BEST:: SOT 153972 SOS 136802 HAS SOPS 136800 HAS SOUS 51409 HAS SOUPS 51407 WITH SCORE 51543.802
AT ITER 72 NEW BEST:: SOT 153992 SOS 139488 HAS SOPS 136706 HAS SOUS 51387 HAS SOUPS 51381 WITH SCORE 51520.488
AT ITER 75 NEW BEST:: SOT 153938 SOS 139452 HAS SOPS 136670 HAS SOUS 47654 HAS SOUPS 47648 WITH SCORE 47787.452
AT ITER 80 NEW BEST:: SOT 153801 SOS 139323 HAS SOPS 136541 HAS SOUS 47524 HAS SOUPS 47518 WITH SCORE 47657.323
AT ITER 81 NEW BEST:: SOT 153796 SOS 139385 HAS SOPS 136621 HAS SOUS 47519 HAS SOUPS 47513 WITH SCORE 47652.385
AT ITER 83 NEW BEST:: SOT 152752 SOS 138352 HAS SOPS 135588 HAS SOUS 47006 HAS SOUPS 47000 WITH SCORE 47138.352
AT ITER 84 NEW BEST:: SOT 152861 SOS 138324 HAS SOPS 135560 HAS SOUS 46953 HAS SOUPS 46947 WITH SCORE 47085.324
AT ITER 90 NEW BEST:: SOT 152681 SOS 138144 HAS SOPS 135380 HAS SOUS 46808 HAS SOUPS 46802 WITH SCORE 46940.144
AT ITER 96 NEW BEST:: SOT 152681 SOS 138144 HAS SOPS 135380 HAS SOUS 46290 HAS SOUPS 46284 WITH SCORE 46422.144
AT ITER 97 NEW BEST:: SOT 152679 SOS 138142 HAS SOPS 135378 HAS SOUS 46289 HAS SOUPS 46283 WITH SCORE 46421.142
AT ITER 101 NEW BEST:: SOT 152602 SOS 138064 HAS SOPS 135300 HAS SOUS 46250 HAS SOUPS 46244 WITH SCORE 46382.064
AT ITER 102 NEW BEST:: SOT 149970 SOS 135436 HAS SOPS 132672 HAS SOUS 43755 HAS SOUPS 43749 WITH SCORE 43884.436
AT ITER 108 NEW BEST:: SOT 149858 SOS 135336 HAS SOPS 132572 HAS SOUS 43744 HAS SOUPS 43738 WITH SCORE 43873.336
AT ITER 115 NEW BEST:: SOT 150031 SOS 135636 HAS SOPS 132872 HAS SOUS 43670 HAS SOUPS 43664 WITH SCORE 43799.636
AT ITER 126 NEW BEST:: SOT 150073 SOS 135680 HAS SOPS 132916 HAS SOUS 43650 HAS SOUPS 43644 WITH SCORE 43779.68
AT ITER 127 NEW BEST:: SOT 150073 SOS 135062 HAS SOPS 132218 HAS SOUS 43559 HAS SOUPS 43553 WITH SCORE 43688.062
AT ITER 128 NEW BEST:: SOT 150068 SOS 135057 HAS SOPS 132213 HAS SOUS 43534 HAS SOUPS 43528 WITH SCORE 43663.057
AT ITER 143 NEW BEST:: SOT 149848 SOS 134843 HAS SOPS 131999 HAS SOUS 43291 HAS SOUPS 43285 WITH SCORE 43419.843
AT ITER 146 NEW BEST:: SOT 149810 SOS 134733 HAS SOPS 131889 HAS SOUS 43263 HAS SOUPS 43257 WITH SCORE 43391.733
AT ITER 148 NEW BEST:: SOT 148841 SOS 133761 HAS SOPS 130917 HAS SOUS 42553 HAS SOUPS 42547 WITH SCORE 42680.761
AT ITER 152 NEW BEST:: SOT 149034 SOS 134050 HAS SOPS 131166 HAS SOUS 42466 HAS SOUPS 42460 WITH SCORE 42594.05
AT ITER 153 NEW BEST:: SOT 148088 SOS 133107 HAS SOPS 130223 HAS SOUS 41552 HAS SOUPS 41546 WITH SCORE 41679.107
AT ITER 158 NEW BEST:: SOT 148560 SOS 133571 HAS SOPS 130687 HAS SOUS 40402 HAS SOUPS 40396 WITH SCORE 40529.571
AT ITER 161 NEW BEST:: SOT 148384 SOS 133465 HAS SOPS 130661 HAS SOUS 40340 HAS SOUPS 40334 WITH SCORE 40467.465
AT ITER 166 NEW BEST:: SOT 147826 SOS 132879 HAS SOPS 130155 HAS SOUS 39958 HAS SOUPS 39952 WITH SCORE 40084.879
AT ITER 169 NEW BEST:: SOT 147148 SOS 132201 HAS SOPS 129477 HAS SOUS 39755 HAS SOUPS 39749 WITH SCORE 39881.201
AT ITER 172 NEW BEST:: SOT 146690 SOS 131867 HAS SOPS 129223 HAS SOUS 39552 HAS SOUPS 39546 WITH SCORE 39677.867
AT ITER 178 NEW BEST:: SOT 146687 SOS 131846 HAS SOPS 129202 HAS SOUS 39544 HAS SOUPS 39538 WITH SCORE 39669.846
AT ITER 179 NEW BEST:: SOT 146649 SOS 131792 HAS SOPS 129148 HAS SOUS 39378 HAS SOUPS 39372 WITH SCORE 39503.792
AT ITER 187 NEW BEST:: SOT 146464 SOS 131597 HAS SOPS 128953 HAS SOUS 39246 HAS SOUPS 39240 WITH SCORE 39371.597
AT ITER 193 NEW BEST:: SOT 147776 SOS 132881 HAS SOPS 130237 HAS SOUS 36231 HAS SOUPS 36225 WITH SCORE 36357.881
AT ITER 199 NEW BEST:: SOT 147790 SOS 132909 HAS SOPS 130265 HAS SOUS 36205 HAS SOUPS 36199 WITH SCORE 36331.909
AT ITER 201 NEW BEST:: SOT 147767 SOS 132817 HAS SOPS 130173 HAS SOUS 36159 HAS SOUPS 36153 WITH SCORE 36285.817
AT ITER 214 NEW BEST:: SOT 147767 SOS 132819 HAS SOPS 130175 HAS SOUS 36158 HAS SOUPS 36152 WITH SCORE 36284.819
AT ITER 221 NEW BEST:: SOT 147657 SOS 132677 HAS SOPS 130033 HAS SOUS 36016 HAS SOUPS 36010 WITH SCORE 36142.677
AT ITER 223 NEW BEST:: SOT 147657 SOS 132676 HAS SOPS 130032 HAS SOUS 36015 HAS SOUPS 36009 WITH SCORE 36141.676
AT ITER 229 NEW BEST:: SOT 147669 SOS 132700 HAS SOPS 130056 HAS SOUS 35979 HAS SOUPS 35973 WITH SCORE 36105.7
AT ITER 235 NEW BEST:: SOT 147661 SOS 132684 HAS SOPS 130040 HAS SOUS 35971 HAS SOUPS 35965 WITH SCORE 36097.684
AT ITER 243 NEW BEST:: SOT 147661 SOS 132654 HAS SOPS 130010 HAS SOUS 35971 HAS SOUPS 35965 WITH SCORE 36097.654
AT ITER 244 NEW BEST:: SOT 147476 SOS 132469 HAS SOPS 129825 HAS SOUS 35884 HAS SOUPS 35878 WITH SCORE 36010.469
AT ITER 258 NEW BEST:: SOT 146945 SOS 131965 HAS SOPS 129321 HAS SOUS 35141 HAS SOUPS 35135 WITH SCORE 35266.965
AT ITER 272 NEW BEST:: SOT 146945 SOS 130407 HAS SOPS 127763 HAS SOUS 35130 HAS SOUPS 35124 WITH SCORE 35254.407
AT ITER 275 NEW BEST:: SOT 146944 SOS 130409 HAS SOPS 127765 HAS SOUS 35084 HAS SOUPS 35078 WITH SCORE 35208.409
AT ITER 276 NEW BEST:: SOT 146866 SOS 130159 HAS SOPS 127515 HAS SOUS 31517 HAS SOUPS 31511 WITH SCORE 31641.159
AT ITER 277 NEW BEST:: SOT 146866 SOS 130131 HAS SOPS 127487 HAS SOUS 31517 HAS SOUPS 31511 WITH SCORE 31641.131
AT ITER 291 NEW BEST:: SOT 146814 SOS 130071 HAS SOPS 127427 HAS SOUS 31455 HAS SOUPS 31449 WITH SCORE 31579.071
AT ITER 294 NEW BEST:: SOT 146776 SOS 130033 HAS SOPS 127389 HAS SOUS 31437 HAS SOUPS 31431 WITH SCORE 31561.033
AT ITER 295 NEW BEST:: SOT 146907 SOS 130163 HAS SOPS 127519 HAS SOUS 29923 HAS SOUPS 29917 WITH SCORE 30047.163
AT ITER 296 NEW BEST:: SOT 146849 SOS 129081 HAS SOPS 125797 HAS SOUS 29907 HAS SOUPS 29900 WITH SCORE 30029.081
AT ITER 304 NEW BEST:: SOT 146787 SOS 128957 HAS SOPS 125673 HAS SOUS 29855 HAS SOUPS 29848 WITH SCORE 29976.957
AT ITER 313 NEW BEST:: SOT 145816 SOS 127986 HAS SOPS 124702 HAS SOUS 28914 HAS SOUPS 28907 WITH SCORE 29034.986
AT ITER 317 NEW BEST:: SOT 144690 SOS 128426 HAS SOPS 125342 HAS SOUS 28847 HAS SOUPS 28840 WITH SCORE 28968.426
AT ITER 324 NEW BEST:: SOT 144543 SOS 128276 HAS SOPS 125192 HAS SOUS 27190 HAS SOUPS 27183 WITH SCORE 27311.276
AT ITER 339 NEW BEST:: SOT 144028 SOS 127740 HAS SOPS 124656 HAS SOUS 26952 HAS SOUPS 26945 WITH SCORE 27072.74
AT ITER 343 NEW BEST:: SOT 144029 SOS 127683 HAS SOPS 124501 HAS SOUS 26912 HAS SOUPS 26905 WITH SCORE 27032.683
AT ITER 344 NEW BEST:: SOT 144029 SOS 127665 HAS SOPS 124483 HAS SOUS 26912 HAS SOUPS 26905 WITH SCORE 27032.665
AT ITER 354 NEW BEST:: SOT 143989 SOS 127625 HAS SOPS 124443 HAS SOUS 26890 HAS SOUPS 26883 WITH SCORE 27010.625
AT ITER 358 NEW BEST:: SOT 142671 SOS 126333 HAS SOPS 123151 HAS SOUS 26102 HAS SOUPS 26095 WITH SCORE 26221.333
AT ITER 409 NEW BEST:: SOT 142662 SOS 129131 HAS SOPS 125949 HAS SOUS 26095 HAS SOUPS 26088 WITH SCORE 26217.131
AT ITER 410 NEW BEST:: SOT 142662 SOS 137053 HAS SOPS 137051 HAS SOUS 26069 HAS SOUPS 26067 WITH SCORE 26204.053
AT ITER 455 NEW BEST:: SOT 142567 SOS 136958 HAS SOPS 136956 HAS SOUS 26069 HAS SOUPS 26067 WITH SCORE 26203.958
AT ITER 461 NEW BEST:: SOT 142568 SOS 136945 HAS SOPS 136943 HAS SOUS 26060 HAS SOUPS 26058 WITH SCORE 26194.945
AT ITER 481 NEW BEST:: SOT 142578 SOS 136965 HAS SOPS 136963 HAS SOUS 26029 HAS SOUPS 26027 WITH SCORE 26163.965
AT ITER 484 NEW BEST:: SOT 142579 SOS 136961 HAS SOPS 136959 HAS SOUS 26019 HAS SOUPS 26017 WITH SCORE 26153.961
AT ITER 485 NEW BEST:: SOT 142567 SOS 136983 HAS SOPS 136981 HAS SOUS 25951 HAS SOUPS 25949 WITH SCORE 26085.983
AT ITER 491 NEW BEST:: SOT 142531 SOS 136947 HAS SOPS 136945 HAS SOUS 25933 HAS SOUPS 25931 WITH SCORE 26067.947
AT ITER 494 NEW BEST:: SOT 142530 SOS 136945 HAS SOPS 136943 HAS SOUS 25898 HAS SOUPS 25896 WITH SCORE 26032.945
AT ITER 506 NEW BEST:: SOT 142532 SOS 136940 HAS SOPS 136938 HAS SOUS 25898 HAS SOUPS 25896 WITH SCORE 26032.94
AT ITER 512 NEW BEST:: SOT 142528 SOS 136935 HAS SOPS 136933 HAS SOUS 25876 HAS SOUPS 25874 WITH SCORE 26010.935
AT ITER 515 NEW BEST:: SOT 142513 SOS 137022 HAS SOPS 137020 HAS SOUS 25863 HAS SOUPS 25861 WITH SCORE 25998.022
AT ITER 520 NEW BEST:: SOT 142491 SOS 137002 HAS SOPS 137000 HAS SOUS 25799 HAS SOUPS 25797 WITH SCORE 25934.002
AT ITER 523 NEW BEST:: SOT 142483 SOS 136994 HAS SOPS 136992 HAS SOUS 25795 HAS SOUPS 25793 WITH SCORE 25929.994
AT ITER 539 NEW BEST:: SOT 142595 SOS 137106 HAS SOPS 137104 HAS SOUS 25327 HAS SOUPS 25325 WITH SCORE 25462.106
AT ITER 540 NEW BEST:: SOT 142671 SOS 137180 HAS SOPS 137178 HAS SOUS 25135 HAS SOUPS 25133 WITH SCORE 25270.18
AT ITER 565 NEW BEST:: SOT 142752 SOS 137318 HAS SOPS 137316 HAS SOUS 25102 HAS SOUPS 25100 WITH SCORE 25237.318
AT ITER 567 NEW BEST:: SOT 142752 SOS 137298 HAS SOPS 137296 HAS SOUS 25102 HAS SOUPS 25100 WITH SCORE 25237.298
AT ITER 569 NEW BEST:: SOT 142760 SOS 137314 HAS SOPS 137312 HAS SOUS 24773 HAS SOUPS 24771 WITH SCORE 24908.314
AT ITER 571 NEW BEST:: SOT 142752 SOS 137302 HAS SOPS 137300 HAS SOUS 24750 HAS SOUPS 24748 WITH SCORE 24885.302
AT ITER 575 NEW BEST:: SOT 142757 SOS 137304 HAS SOPS 137302 HAS SOUS 24619 HAS SOUPS 24617 WITH SCORE 24754.304
AT ITER 590 NEW BEST:: SOT 142824 SOS 137374 HAS SOPS 137372 HAS SOUS 24554 HAS SOUPS 24552 WITH SCORE 24689.374
AT ITER 605 NEW BEST:: SOT 142820 SOS 137366 HAS SOPS 137364 HAS SOUS 24550 HAS SOUPS 24548 WITH SCORE 24685.366
AT ITER 620 NEW BEST:: SOT 142820 SOS 137370 HAS SOPS 137368 HAS SOUS 24549 HAS SOUPS 24547 WITH SCORE 24684.37
AT ITER 627 NEW BEST:: SOT 142422 SOS 137082 HAS SOPS 137080 HAS SOUS 24406 HAS SOUPS 24404 WITH SCORE 24541.082
AT ITER 628 NEW BEST:: SOT 142422 SOS 137070 HAS SOPS 137068 HAS SOUS 24398 HAS SOUPS 24396 WITH SCORE 24533.07
AT ITER 642 NEW BEST:: SOT 142418 SOS 137074 HAS SOPS 137072 HAS SOUS 24338 HAS SOUPS 24336 WITH SCORE 24473.074
AT ITER 643 NEW BEST:: SOT 141857 SOS 136496 HAS SOPS 136494 HAS SOUS 24248 HAS SOUPS 24246 WITH SCORE 24382.496
AT ITER 645 NEW BEST:: SOT 141855 SOS 136501 HAS SOPS 136499 HAS SOUS 24194 HAS SOUPS 24192 WITH SCORE 24328.501
AT ITER 652 NEW BEST:: SOT 141853 SOS 136505 HAS SOPS 136503 HAS SOUS 24180 HAS SOUPS 24178 WITH SCORE 24314.505
AT ITER 657 NEW BEST:: SOT 141812 SOS 136463 HAS SOPS 136461 HAS SOUS 24155 HAS SOUPS 24153 WITH SCORE 24289.463
AT ITER 665 NEW BEST:: SOT 141812 SOS 136468 HAS SOPS 136466 HAS SOUS 24123 HAS SOUPS 24121 WITH SCORE 24257.468
AT ITER 676 NEW BEST:: SOT 141726 SOS 136296 HAS SOPS 136294 HAS SOUS 24037 HAS SOUPS 24035 WITH SCORE 24171.296
AT ITER 677 NEW BEST:: SOT 141726 SOS 136296 HAS SOPS 136294 HAS SOUS 24031 HAS SOUPS 24029 WITH SCORE 24165.296
AT ITER 696 NEW BEST:: SOT 141666 SOS 136176 HAS SOPS 136174 HAS SOUS 23971 HAS SOUPS 23969 WITH SCORE 24105.176
AT ITER 697 NEW BEST:: SOT 141623 SOS 136106 HAS SOPS 136104 HAS SOUS 23932 HAS SOUPS 23930 WITH SCORE 24066.106
AT ITER 699 NEW BEST:: SOT 141621 SOS 136102 HAS SOPS 136100 HAS SOUS 23915 HAS SOUPS 23913 WITH SCORE 24049.102
AT ITER 700 NEW BEST:: SOT 141628 SOS 136116 HAS SOPS 136114 HAS SOUS 23896 HAS SOUPS 23894 WITH SCORE 24030.116
AT ITER 707 NEW BEST:: SOT 141625 SOS 136113 HAS SOPS 136111 HAS SOUS 23755 HAS SOUPS 23753 WITH SCORE 23889.113
AT ITER 737 NEW BEST:: SOT 141419 SOS 135742 HAS SOPS 135740 HAS SOUS 23604 HAS SOUPS 23602 WITH SCORE 23737.742
AT ITER 743 NEW BEST:: SOT 141224 SOS 135667 HAS SOPS 135665 HAS SOUS 23523 HAS SOUPS 23521 WITH SCORE 23656.667
AT ITER 749 NEW BEST:: SOT 141112 SOS 135561 HAS SOPS 135559 HAS SOUS 23416 HAS SOUPS 23414 WITH SCORE 23549.561
AT ITER 754 NEW BEST:: SOT 141094 SOS 135543 HAS SOPS 135541 HAS SOUS 23406 HAS SOUPS 23404 WITH SCORE 23539.543
AT ITER 768 NEW BEST:: SOT 141104 SOS 135541 HAS SOPS 135539 HAS SOUS 23400 HAS SOUPS 23398 WITH SCORE 23533.541
AT ITER 783 NEW BEST:: SOT 141103 SOS 135521 HAS SOPS 135519 HAS SOUS 23387 HAS SOUPS 23385 WITH SCORE 23520.521
AT ITER 805 NEW BEST:: SOT 141295 SOS 135727 HAS SOPS 135725 HAS SOUS 23287 HAS SOUPS 23285 WITH SCORE 23420.727
AT ITER 812 NEW BEST:: SOT 141559 SOS 136045 HAS SOPS 136043 HAS SOUS 23279 HAS SOUPS 23277 WITH SCORE 23413.045
AT ITER 821 NEW BEST:: SOT 141551 SOS 136038 HAS SOPS 136036 HAS SOUS 23276 HAS SOUPS 23274 WITH SCORE 23410.038
AT ITER 834 NEW BEST:: SOT 141517 SOS 136006 HAS SOPS 136004 HAS SOUS 23240 HAS SOUPS 23238 WITH SCORE 23374.006
AT ITER 844 NEW BEST:: SOT 141466 SOS 135947 HAS SOPS 135945 HAS SOUS 21837 HAS SOUPS 21835 WITH SCORE 21970.947
AT ITER 853 NEW BEST:: SOT 141511 SOS 136082 HAS SOPS 136080 HAS SOUS 21742 HAS SOUPS 21740 WITH SCORE 21876.082
AT ITER 861 NEW BEST:: SOT 141604 SOS 136174 HAS SOPS 136172 HAS SOUS 21652 HAS SOUPS 21650 WITH SCORE 21786.174
AT ITER 862 NEW BEST:: SOT 141268 SOS 135828 HAS SOPS 135826 HAS SOUS 21424 HAS SOUPS 21422 WITH SCORE 21557.828
AT ITER 875 NEW BEST:: SOT 141270 SOS 135848 HAS SOPS 135846 HAS SOUS 21306 HAS SOUPS 21304 WITH SCORE 21439.848
AT ITER 879 NEW BEST:: SOT 141345 SOS 135944 HAS SOPS 135942 HAS SOUS 21277 HAS SOUPS 21275 WITH SCORE 21410.944
AT ITER 892 NEW BEST:: SOT 141345 SOS 135944 HAS SOPS 135942 HAS SOUS 21266 HAS SOUPS 21264 WITH SCORE 21399.944
AT ITER 896 NEW BEST:: SOT 141343 SOS 135958 HAS SOPS 135956 HAS SOUS 21265 HAS SOUPS 21263 WITH SCORE 21398.958
AT ITER 899 NEW BEST:: SOT 141350 SOS 135952 HAS SOPS 135950 HAS SOUS 21259 HAS SOUPS 21257 WITH SCORE 21392.952
AT ITER 915 NEW BEST:: SOT 141350 SOS 135948 HAS SOPS 135946 HAS SOUS 21259 HAS SOUPS 21257 WITH SCORE 21392.948
AT ITER 916 NEW BEST:: SOT 141350 SOS 135934 HAS SOPS 135932 HAS SOUS 21259 HAS SOUPS 21257 WITH SCORE 21392.934
AT ITER 924 NEW BEST:: SOT 141159 SOS 135731 HAS SOPS 135729 HAS SOUS 20586 HAS SOUPS 20584 WITH SCORE 20719.731
AT ITER 964 NEW BEST:: SOT 140844 SOS 135401 HAS SOPS 135399 HAS SOUS 20403 HAS SOUPS 20401 WITH SCORE 20536.401
AT ITER 975 NEW BEST:: SOT 140832 SOS 135399 HAS SOPS 135397 HAS SOUS 20392 HAS SOUPS 20390 WITH SCORE 20525.399
AT ITER 998 NEW BEST:: SOT 140811 SOS 135357 HAS SOPS 135355 HAS SOUS 20351 HAS SOUPS 20349 WITH SCORE 20484.357
AT ITER 1004 NEW BEST:: SOT 140786 SOS 135331 HAS SOPS 135329 HAS SOUS 20144 HAS SOUPS 20142 WITH SCORE 20277.331
AT ITER 1024 NEW BEST:: SOT 140873 SOS 135190 HAS SOPS 135188 HAS SOUS 20136 HAS SOUPS 20134 WITH SCORE 20269.19
AT ITER 1037 NEW BEST:: SOT 140818 SOS 135120 HAS SOPS 135118 HAS SOUS 20066 HAS SOUPS 20064 WITH SCORE 20199.12
AT ITER 1128 NEW BEST:: SOT 140818 SOS 135108 HAS SOPS 135106 HAS SOUS 20063 HAS SOUPS 20061 WITH SCORE 20196.108
AT ITER 1149 NEW BEST:: SOT 140822 SOS 135107 HAS SOPS 135105 HAS SOUS 20063 HAS SOUPS 20061 WITH SCORE 20196.107
AT ITER 1191 NEW BEST:: SOT 140887 SOS 135168 HAS SOPS 135166 HAS SOUS 20047 HAS SOUPS 20045 WITH SCORE 20180.168
AT ITER 1192 NEW BEST:: SOT 140884 SOS 135165 HAS SOPS 135163 HAS SOUS 20047 HAS SOUPS 20045 WITH SCORE 20180.165
AT ITER 1209 NEW BEST:: SOT 140887 SOS 135171 HAS SOPS 135169 HAS SOUS 20038 HAS SOUPS 20036 WITH SCORE 20171.171
AT ITER 1242 NEW BEST:: SOT 140738 SOS 134928 HAS SOPS 134926 HAS SOUS 19890 HAS SOUPS 19888 WITH SCORE 20022.928
AT ITER 1302 NEW BEST:: SOT 140518 SOS 134698 HAS SOPS 134696 HAS SOUS 19801 HAS SOUPS 19799 WITH SCORE 19933.698
AT ITER 1335 NEW BEST:: SOT 140524 SOS 134710 HAS SOPS 134708 HAS SOUS 19791 HAS SOUPS 19789 WITH SCORE 19923.71
AT ITER 1343 NEW BEST:: SOT 139437 SOS 133620 HAS SOPS 133618 HAS SOUS 18734 HAS SOUPS 18732 WITH SCORE 18865.62
AT ITER 1356 NEW BEST:: SOT 139429 SOS 133608 HAS SOPS 133606 HAS SOUS 18708 HAS SOUPS 18706 WITH SCORE 18839.608
AT ITER 1357 NEW BEST:: SOT 139427 SOS 133606 HAS SOPS 133604 HAS SOUS 18706 HAS SOUPS 18704 WITH SCORE 18837.606
AT ITER 1364 NEW BEST:: SOT 139385 SOS 133564 HAS SOPS 133562 HAS SOUS 18659 HAS SOUPS 18657 WITH SCORE 18790.564
AT ITER 1421 NEW BEST:: SOT 139388 SOS 133570 HAS SOPS 133568 HAS SOUS 18635 HAS SOUPS 18633 WITH SCORE 18766.57
AT ITER 1439 NEW BEST:: SOT 139383 SOS 125113 HAS SOPS 122371 HAS SOUS 18642 HAS SOUPS 18636 WITH SCORE 18761.113
AT ITER 1468 NEW BEST:: SOT 139381 SOS 125109 HAS SOPS 122367 HAS SOUS 18640 HAS SOUPS 18634 WITH SCORE 18759.109
AT ITER 1474 NEW BEST:: SOT 139359 SOS 125093 HAS SOPS 122347 HAS SOUS 18630 HAS SOUPS 18624 WITH SCORE 18749.093
AT ITER 1484 NEW BEST:: SOT 139354 SOS 125091 HAS SOPS 121703 HAS SOUS 18631 HAS SOUPS 18623 WITH SCORE 18748.091
AT ITER 1543 NEW BEST:: SOT 139336 SOS 125073 HAS SOPS 121685 HAS SOUS 18622 HAS SOUPS 18614 WITH SCORE 18739.073
AT ITER 1549 NEW BEST:: SOT 139329 SOS 125064 HAS SOPS 121676 HAS SOUS 18617 HAS SOUPS 18609 WITH SCORE 18734.064
AT ITER 1551 NEW BEST:: SOT 139283 SOS 125128 HAS SOPS 121834 HAS SOUS 18580 HAS SOUPS 18572 WITH SCORE 18697.128
AT ITER 1560 NEW BEST:: SOT 139228 SOS 125063 HAS SOPS 121769 HAS SOUS 18531 HAS SOUPS 18523 WITH SCORE 18648.063
AT ITER 1573 NEW BEST:: SOT 139223 SOS 125062 HAS SOPS 121750 HAS SOUS 18540 HAS SOUPS 18523 WITH SCORE 18648.062
AT ITER 1589 NEW BEST:: SOT 139227 SOS 125053 HAS SOPS 121741 HAS SOUS 18534 HAS SOUPS 18517 WITH SCORE 18642.053
AT ITER 1601 NEW BEST:: SOT 139225 SOS 125050 HAS SOPS 121738 HAS SOUS 18533 HAS SOUPS 18516 WITH SCORE 18641.05
AT ITER 1621 NEW BEST:: SOT 139183 SOS 125006 HAS SOPS 121694 HAS SOUS 18244 HAS SOUPS 18227 WITH SCORE 18352.006
AT ITER 1641 NEW BEST:: SOT 139158 SOS 124973 HAS SOPS 121661 HAS SOUS 18219 HAS SOUPS 18202 WITH SCORE 18326.973
AT ITER 1685 NEW BEST:: SOT 139156 SOS 124971 HAS SOPS 121659 HAS SOUS 18218 HAS SOUPS 18201 WITH SCORE 18325.971
AT ITER 1691 NEW BEST:: SOT 139154 SOS 124975 HAS SOPS 121663 HAS SOUS 18204 HAS SOUPS 18187 WITH SCORE 18311.975
AT ITER 1720 NEW BEST:: SOT 139144 SOS 124991 HAS SOPS 121679 HAS SOUS 18182 HAS SOUPS 18165 WITH SCORE 18289.991
AT ITER 1740 NEW BEST:: SOT 139116 SOS 124956 HAS SOPS 121644 HAS SOUS 18058 HAS SOUPS 18041 WITH SCORE 18165.956
AT ITER 1772 NEW BEST:: SOT 139099 SOS 124939 HAS SOPS 121627 HAS SOUS 18048 HAS SOUPS 18031 WITH SCORE 18155.939
AT ITER 1821 NEW BEST:: SOT 139104 SOS 124658 HAS SOPS 121346 HAS SOUS 18048 HAS SOUPS 18031 WITH SCORE 18155.658
AT ITER 1839 NEW BEST:: SOT 139146 SOS 124700 HAS SOPS 121388 HAS SOUS 18042 HAS SOUPS 18025 WITH SCORE 18149.7
AT ITER 1849 NEW BEST:: SOT 139126 SOS 124677 HAS SOPS 121365 HAS SOUS 18032 HAS SOUPS 18015 WITH SCORE 18139.677
AT ITER 1875 NEW BEST:: SOT 139129 SOS 124671 HAS SOPS 121361 HAS SOUS 18029 HAS SOUPS 18013 WITH SCORE 18137.671
AT ITER 1877 NEW BEST:: SOT 139048 SOS 124509 HAS SOPS 121199 HAS SOUS 17882 HAS SOUPS 17866 WITH SCORE 17990.509
AT ITER 1900 NEW BEST:: SOT 139045 SOS 124503 HAS SOPS 121193 HAS SOUS 17882 HAS SOUPS 17866 WITH SCORE 17990.503
AT ITER 1909 NEW BEST:: SOT 139036 SOS 124494 HAS SOPS 121184 HAS SOUS 17876 HAS SOUPS 17860 WITH SCORE 17984.494
AT ITER 1927 NEW BEST:: SOT 138970 SOS 124426 HAS SOPS 121116 HAS SOUS 17841 HAS SOUPS 17825 WITH SCORE 17949.426
AT ITER 1957 NEW BEST:: SOT 138948 SOS 124392 HAS SOPS 121082 HAS SOUS 17832 HAS SOUPS 17816 WITH SCORE 17940.392
AT ITER 1966 NEW BEST:: SOT 137928 SOS 123372 HAS SOPS 120062 HAS SOUS 16842 HAS SOUPS 16826 WITH SCORE 16949.372
AT ITER 1995 NEW BEST:: SOT 137928 SOS 123248 HAS SOPS 119838 HAS SOUS 16842 HAS SOUPS 16826 WITH SCORE 16949.248
AT ITER 1996 NEW BEST:: SOT 137908 SOS 123228 HAS SOPS 119818 HAS SOUS 16832 HAS SOUPS 16816 WITH SCORE 16939.228
AT ITER 1997 NEW BEST:: SOT 137542 SOS 122940 HAS SOPS 119530 HAS SOUS 16774 HAS SOUPS 16758 WITH SCORE 16880.94
AT ITER 2002 NEW BEST:: SOT 137548 SOS 122949 HAS SOPS 119539 HAS SOUS 16770 HAS SOUPS 16754 WITH SCORE 16876.949
AT ITER 2008 NEW BEST:: SOT 137549 SOS 122951 HAS SOPS 119541 HAS SOUS 16762 HAS SOUPS 16746 WITH SCORE 16868.951
AT ITER 2022 NEW BEST:: SOT 137548 SOS 122949 HAS SOPS 119519 HAS SOUS 16750 HAS SOUPS 16734 WITH SCORE 16856.949
AT ITER 2062 NEW BEST:: SOT 137536 SOS 119602 HAS SOPS 119588 HAS SOUS 16736 HAS SOUPS 16728 WITH SCORE 16847.602
AT ITER 2071 NEW BEST:: SOT 137520 SOS 119588 HAS SOPS 119574 HAS SOUS 16729 HAS SOUPS 16721 WITH SCORE 16840.588
AT ITER 2091 NEW BEST:: SOT 137518 SOS 119584 HAS SOPS 119570 HAS SOUS 16727 HAS SOUPS 16719 WITH SCORE 16838.584
AT ITER 2116 NEW BEST:: SOT 137517 SOS 119581 HAS SOPS 119569 HAS SOUS 16725 HAS SOUPS 16718 WITH SCORE 16837.581
AT ITER 2155 NEW BEST:: SOT 137517 SOS 119581 HAS SOPS 119563 HAS SOUS 16719 HAS SOUPS 16709 WITH SCORE 16828.581
AT ITER 2234 NEW BEST:: SOT 137412 SOS 119466 HAS SOPS 119448 HAS SOUS 16659 HAS SOUPS 16649 WITH SCORE 16768.466
AT ITER 2313 NEW BEST:: SOT 137416 SOS 120498 HAS SOPS 120480 HAS SOUS 16656 HAS SOUPS 16646 WITH SCORE 16766.498
AT ITER 2338 NEW BEST:: SOT 137416 SOS 120495 HAS SOPS 120477 HAS SOUS 16656 HAS SOUPS 16646 WITH SCORE 16766.495
AT ITER 2415 NEW BEST:: SOT 137412 SOS 120491 HAS SOPS 120471 HAS SOUS 16656 HAS SOUPS 16645 WITH SCORE 16765.491
AT ITER 2454 NEW BEST:: SOT 137406 SOS 118375 HAS SOPS 118355 HAS SOUS 16657 HAS SOUPS 16646 WITH SCORE 16764.375
AT ITER 2481 NEW BEST:: SOT 137406 SOS 118441 HAS SOPS 118421 HAS SOUS 16572 HAS SOUPS 16561 WITH SCORE 16679.441
AT ITER 2497 NEW BEST:: SOT 137406 SOS 118439 HAS SOPS 118419 HAS SOUS 16568 HAS SOUPS 16557 WITH SCORE 16675.439
AT ITER 2517 NEW BEST:: SOT 137407 SOS 118447 HAS SOPS 118427 HAS SOUS 16566 HAS SOUPS 16555 WITH SCORE 16673.447
AT ITER 2526 NEW BEST:: SOT 137409 SOS 118457 HAS SOPS 118437 HAS SOUS 16562 HAS SOUPS 16551 WITH SCORE 16669.457
AT ITER 2607 NEW BEST:: SOT 137409 SOS 118457 HAS SOPS 118437 HAS SOUS 16557 HAS SOUPS 16546 WITH SCORE 16664.457
AT ITER 2615 NEW BEST:: SOT 137442 SOS 118400 HAS SOPS 118380 HAS SOUS 16528 HAS SOUPS 16517 WITH SCORE 16635.4
AT ITER 2637 NEW BEST:: SOT 137436 SOS 118394 HAS SOPS 118374 HAS SOUS 16526 HAS SOUPS 16515 WITH SCORE 16633.394
AT ITER 2650 NEW BEST:: SOT 137472 SOS 118418 HAS SOPS 118398 HAS SOUS 16518 HAS SOUPS 16507 WITH SCORE 16625.418
AT ITER 2717 NEW BEST:: SOT 137470 SOS 118414 HAS SOPS 118394 HAS SOUS 16516 HAS SOUPS 16505 WITH SCORE 16623.414
AT ITER 2725 NEW BEST:: SOT 137460 SOS 117774 HAS SOPS 115274 HAS SOUS 16504 HAS SOUPS 16493 WITH SCORE 16610.774
AT ITER 2800 NEW BEST:: SOT 137600 SOS 117898 HAS SOPS 115398 HAS SOUS 16474 HAS SOUPS 16463 WITH SCORE 16580.898
AT ITER 2875 NEW BEST:: SOT 137590 SOS 117886 HAS SOPS 115386 HAS SOUS 16465 HAS SOUPS 16454 WITH SCORE 16571.886
AT ITER 2932 NEW BEST:: SOT 137569 SOS 117865 HAS SOPS 115365 HAS SOUS 16454 HAS SOUPS 16443 WITH SCORE 16560.865
AT ITER 2969 NEW BEST:: SOT 137554 SOS 117850 HAS SOPS 115350 HAS SOUS 16449 HAS SOUPS 16438 WITH SCORE 16555.85
AT ITER 2999 NEW BEST:: SOT 137552 SOS 117886 HAS SOPS 115386 HAS SOUS 16447 HAS SOUPS 16436 WITH SCORE 16553.886
AT ITER 3039 NEW BEST:: SOT 137550 SOS 117882 HAS SOPS 115382 HAS SOUS 16445 HAS SOUPS 16434 WITH SCORE 16551.882
AT ITER 3109 NEW BEST:: SOT 137532 SOS 117870 HAS SOPS 115368 HAS SOUS 16436 HAS SOUPS 16424 WITH SCORE 16541.87
AT ITER 3196 NEW BEST:: SOT 137532 SOS 117868 HAS SOPS 115366 HAS SOUS 16436 HAS SOUPS 16424 WITH SCORE 16541.868
AT ITER 3205 NEW BEST:: SOT 137532 SOS 117868 HAS SOPS 115366 HAS SOUS 16435 HAS SOUPS 16423 WITH SCORE 16540.868
AT ITER 3337 NEW BEST:: SOT 137440 SOS 117759 HAS SOPS 115257 HAS SOUS 16369 HAS SOUPS 16357 WITH SCORE 16474.759
AT ITER 3362 NEW BEST:: SOT 137436 SOS 118797 HAS SOPS 116295 HAS SOUS 16361 HAS SOUPS 16349 WITH SCORE 16467.797
AT ITER 3433 NEW BEST:: SOT 137431 SOS 118844 HAS SOPS 116342 HAS SOUS 16356 HAS SOUPS 16344 WITH SCORE 16462.844
AT ITER 3495 NEW BEST:: SOT 137385 SOS 118798 HAS SOPS 116296 HAS SOUS 16333 HAS SOUPS 16321 WITH SCORE 16439.798
AT ITER 3521 NEW BEST:: SOT 137385 SOS 116944 HAS SOPS 116308 HAS SOUS 16331 HAS SOUPS 16322 WITH SCORE 16438.944
AT ITER 3585 NEW BEST:: SOT 137385 SOS 116941 HAS SOPS 116305 HAS SOUS 16331 HAS SOUPS 16322 WITH SCORE 16438.941
AT ITER 3688 NEW BEST:: SOT 137388 SOS 116951 HAS SOPS 116315 HAS SOUS 16328 HAS SOUPS 16319 WITH SCORE 16435.951
AT ITER 3689 NEW BEST:: SOT 136965 SOS 116532 HAS SOPS 115896 HAS SOUS 15868 HAS SOUPS 15859 WITH SCORE 15975.532
AT ITER 3735 NEW BEST:: SOT 136965 SOS 116530 HAS SOPS 115894 HAS SOUS 15868 HAS SOUPS 15859 WITH SCORE 15975.53
AT ITER 3818 NEW BEST:: SOT 136913 SOS 116426 HAS SOPS 115790 HAS SOUS 15868 HAS SOUPS 15859 WITH SCORE 15975.426
AT ITER 3826 NEW BEST:: SOT 136911 SOS 116424 HAS SOPS 115788 HAS SOUS 15864 HAS SOUPS 15855 WITH SCORE 15971.424
AT ITER 3926 NEW BEST:: SOT 136891 SOS 116405 HAS SOPS 115769 HAS SOUS 15854 HAS SOUPS 15845 WITH SCORE 15961.405
AT ITER 3978 NEW BEST:: SOT 136876 SOS 116382 HAS SOPS 115746 HAS SOUS 15846 HAS SOUPS 15837 WITH SCORE 15953.382
AT ITER 3996 NEW BEST:: SOT 136703 SOS 116222 HAS SOPS 115586 HAS SOUS 15829 HAS SOUPS 15820 WITH SCORE 15936.222
AT ITER 4008 NEW BEST:: SOT 136704 SOS 116227 HAS SOPS 115591 HAS SOUS 15819 HAS SOUPS 15810 WITH SCORE 15926.227
AT ITER 4060 NEW BEST:: SOT 136669 SOS 116192 HAS SOPS 115556 HAS SOUS 15802 HAS SOUPS 15793 WITH SCORE 15909.192
AT ITER 4177 NEW BEST:: SOT 136670 SOS 115680 HAS SOPS 115044 HAS SOUS 15802 HAS SOUPS 15793 WITH SCORE 15908.68
AT ITER 4212 NEW BEST:: SOT 136662 SOS 115664 HAS SOPS 112748 HAS SOUS 15794 HAS SOUPS 15785 WITH SCORE 15900.664
AT ITER 4217 NEW BEST:: SOT 136662 SOS 115662 HAS SOPS 112746 HAS SOUS 15792 HAS SOUPS 15783 WITH SCORE 15898.662
AT ITER 4282 NEW BEST:: SOT 136658 SOS 115658 HAS SOPS 112742 HAS SOUS 15792 HAS SOUPS 15783 WITH SCORE 15898.658
AT ITER 4460 NEW BEST:: SOT 136658 SOS 115657 HAS SOPS 112741 HAS SOUS 15792 HAS SOUPS 15783 WITH SCORE 15898.657
AT ITER 4480 NEW BEST:: SOT 136640 SOS 115639 HAS SOPS 112723 HAS SOUS 15783 HAS SOUPS 15774 WITH SCORE 15889.639
AT ITER 4590 NEW BEST:: SOT 136637 SOS 115653 HAS SOPS 112737 HAS SOUS 15780 HAS SOUPS 15771 WITH SCORE 15886.653
AT ITER 4618 NEW BEST:: SOT 136619 SOS 115635 HAS SOPS 112719 HAS SOUS 15771 HAS SOUPS 15762 WITH SCORE 15877.635
AT ITER 4748 NEW BEST:: SOT 136617 SOS 115120 HAS SOPS 112204 HAS SOUS 15769 HAS SOUPS 15760 WITH SCORE 15875.12
AT ITER 4922 NEW BEST:: SOT 136613 SOS 115115 HAS SOPS 112199 HAS SOUS 15766 HAS SOUPS 15757 WITH SCORE 15872.115
AT ITER 4955 NEW BEST:: SOT 136678 SOS 115057 HAS SOPS 112141 HAS SOUS 15708 HAS SOUPS 15699 WITH SCORE 15814.057
AT ITER 5103 NEW BEST:: SOT 136676 SOS 115053 HAS SOPS 112137 HAS SOUS 15708 HAS SOUPS 15699 WITH SCORE 15814.053
AT ITER 5319 NEW BEST:: SOT 135155 SOS 113535 HAS SOPS 110619 HAS SOUS 14217 HAS SOUPS 14208 WITH SCORE 14321.535
AT ITER 5364 NEW BEST:: SOT 135131 SOS 113516 HAS SOPS 110600 HAS SOUS 14214 HAS SOUPS 14205 WITH SCORE 14318.516
AT ITER 5385 NEW BEST:: SOT 135132 SOS 113515 HAS SOPS 110599 HAS SOUS 14205 HAS SOUPS 14196 WITH SCORE 14309.515
AT ITER 5399 NEW BEST:: SOT 135132 SOS 113535 HAS SOPS 110619 HAS SOUS 14189 HAS SOUPS 14180 WITH SCORE 14293.535
AT ITER 5462 NEW BEST:: SOT 135135 SOS 113541 HAS SOPS 110625 HAS SOUS 14188 HAS SOUPS 14179 WITH SCORE 14292.541
AT ITER 5516 NEW BEST:: SOT 135134 SOS 113540 HAS SOPS 110624 HAS SOUS 14187 HAS SOUPS 14178 WITH SCORE 14291.54
AT ITER 5715 NEW BEST:: SOT 135134 SOS 113539 HAS SOPS 110623 HAS SOUS 14185 HAS SOUPS 14176 WITH SCORE 14289.539
AT ITER 5783 NEW BEST:: SOT 135133 SOS 113537 HAS SOPS 110621 HAS SOUS 14184 HAS SOUPS 14175 WITH SCORE 14288.537
AT ITER 5911 NEW BEST:: SOT 135153 SOS 113563 HAS SOPS 110647 HAS SOUS 14177 HAS SOUPS 14168 WITH SCORE 14281.563
AT ITER 6067 NEW BEST:: SOT 135143 SOS 113561 HAS SOPS 110633 HAS SOUS 14178 HAS SOUPS 14163 WITH SCORE 14276.561
AT ITER 6088 NEW BEST:: SOT 135141 SOS 113575 HAS SOPS 110647 HAS SOUS 14176 HAS SOUPS 14161 WITH SCORE 14274.575
AT ITER 6221 NEW BEST:: SOT 135141 SOS 113569 HAS SOPS 110641 HAS SOUS 14167 HAS SOUPS 14152 WITH SCORE 14265.569
AT ITER 6277 NEW BEST:: SOT 135141 SOS 113569 HAS SOPS 110641 HAS SOUS 14166 HAS SOUPS 14151 WITH SCORE 14264.569
AT ITER 6458 NEW BEST:: SOT 135146 SOS 113584 HAS SOPS 110596 HAS SOUS 14165 HAS SOUPS 14150 WITH SCORE 14263.584
AT ITER 6460 NEW BEST:: SOT 135143 SOS 113578 HAS SOPS 110610 HAS SOUS 14162 HAS SOUPS 14147 WITH SCORE 14260.578
AT ITER 6523 NEW BEST:: SOT 135063 SOS 113508 HAS SOPS 110540 HAS SOUS 14126 HAS SOUPS 14111 WITH SCORE 14224.508
AT ITER 6544 NEW BEST:: SOT 135065 SOS 113508 HAS SOPS 110540 HAS SOUS 14124 HAS SOUPS 14109 WITH SCORE 14222.508
AT ITER 6821 NEW BEST:: SOT 135077 SOS 113502 HAS SOPS 110534 HAS SOUS 14120 HAS SOUPS 14105 WITH SCORE 14218.502
AT ITER 6838 NEW BEST:: SOT 135270 SOS 113695 HAS SOPS 110727 HAS SOUS 14089 HAS SOUPS 14074 WITH SCORE 14187.695
AT ITER 7020 NEW BEST:: SOT 135272 SOS 113680 HAS SOPS 110712 HAS SOUS 14082 HAS SOUPS 14067 WITH SCORE 14180.68
AT ITER 7148 NEW BEST:: SOT 134887 SOS 113308 HAS SOPS 110340 HAS SOUS 13963 HAS SOUPS 13948 WITH SCORE 14061.308
AT ITER 7280 NEW BEST:: SOT 134887 SOS 113306 HAS SOPS 110338 HAS SOUS 13963 HAS SOUPS 13948 WITH SCORE 14061.306
AT ITER 7420 NEW BEST:: SOT 134881 SOS 113294 HAS SOPS 110326 HAS SOUS 13957 HAS SOUPS 13942 WITH SCORE 14055.294
AT ITER 7999 NEW BEST:: SOT 134860 SOS 113248 HAS SOPS 110280 HAS SOUS 13680 HAS SOUPS 13665 WITH SCORE 13778.248
AT ITER 8047 NEW BEST:: SOT 134860 SOS 113247 HAS SOPS 110279 HAS SOUS 13680 HAS SOUPS 13665 WITH SCORE 13778.247
AT ITER 8112 NEW BEST:: SOT 134860 SOS 113245 HAS SOPS 110277 HAS SOUS 13679 HAS SOUPS 13664 WITH SCORE 13777.245
AT ITER 8725 NEW BEST:: SOT 134861 SOS 113245 HAS SOPS 110277 HAS SOUS 13646 HAS SOUPS 13631 WITH SCORE 13744.245
AT ITER 8792 NEW BEST:: SOT 134858 SOS 113242 HAS SOPS 110274 HAS SOUS 13644 HAS SOUPS 13629 WITH SCORE 13742.242
AT ITER 9358 NEW BEST:: SOT 134904 SOS 113288 HAS SOPS 110320 HAS SOUS 13642 HAS SOUPS 13627 WITH SCORE 13740.288
AT ITER 9503 NEW BEST:: SOT 134904 SOS 113293 HAS SOPS 107585 HAS SOUS 13641 HAS SOUPS 13626 WITH SCORE 13739.293
AT ITER 9609 NEW BEST:: SOT 134883 SOS 113289 HAS SOPS 107581 HAS SOUS 13630 HAS SOUPS 13615 WITH SCORE 13728.289
AT ITER 9649 NEW BEST:: SOT 134927 SOS 113332 HAS SOPS 107624 HAS SOUS 13593 HAS SOUPS 13578 WITH SCORE 13691.332
AT ITER 9731 NEW BEST:: SOT 134927 SOS 113330 HAS SOPS 107622 HAS SOUS 13466 HAS SOUPS 13451 WITH SCORE 13564.33
AT ITER 9756 NEW BEST:: SOT 134936 SOS 113333 HAS SOPS 107665 HAS SOUS 13464 HAS SOUPS 13449 WITH SCORE 13562.333
AT ITER 9918 NEW BEST:: SOT 134937 SOS 113335 HAS SOPS 107667 HAS SOUS 13435 HAS SOUPS 13420 WITH SCORE 13533.335
AT ITER 9958 NEW BEST:: SOT 134936 SOS 113334 HAS SOPS 107666 HAS SOUS 13434 HAS SOUPS 13419 WITH SCORE 13532.334

BK_STOP 1678479247424

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 386 Killed ${SMART}/smart ${INPUT_SM}

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-10a"
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-10a, 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-167813591200680"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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