Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fko/mcc2020-input.r093-oct2-158940140900672.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is LamportFastMutEx-PT-5, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r093-oct2-158940140900672
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 520K
-rw-r--r-- 1 mcc users 5.3K Apr 30 13:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 30 13:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.8K Apr 30 13:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Apr 30 13:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 30 13:04 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 12K Apr 30 13:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 56K Apr 30 13:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 12K Apr 30 13:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 54K Apr 30 13:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.4K Apr 30 13:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 36K Apr 30 13:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Apr 30 13:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 48K Apr 30 13:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.6K Apr 30 13:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.1K Apr 30 13:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Apr 30 13:04 equiv_col
-rw-r--r-- 1 mcc users 2 Apr 30 13:04 instance
-rw-r--r-- 1 mcc users 6 Apr 30 13:04 iscolored
-rw-r--r-- 1 mcc users 152K Apr 30 13:04 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 1589618828458

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running LamportFastMutEx (PT), instance 5
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 174 places, 318 transitions, 1380 arcs.
AT ITER 0 NEW BEST:: SOT 26575 SOS 16206 HAS SOPS 14416 HAS SOUS 12569 HAS SOUPS 11608 WITH SCORE 11624.206
AT ITER 10 NEW BEST:: SOT 26526 SOS 16169 HAS SOPS 14367 HAS SOUS 12532 HAS SOUPS 11559 WITH SCORE 11575.169
AT ITER 13 NEW BEST:: SOT 26546 SOS 16434 HAS SOPS 14397 HAS SOUS 12372 HAS SOUPS 11329 WITH SCORE 11345.434
AT ITER 31 NEW BEST:: SOT 26546 SOS 16413 HAS SOPS 14376 HAS SOUS 12351 HAS SOUPS 11308 WITH SCORE 11324.413
AT ITER 34 NEW BEST:: SOT 26525 SOS 16191 HAS SOPS 14012 HAS SOUS 12195 HAS SOUPS 11149 WITH SCORE 11165.191
AT ITER 37 NEW BEST:: SOT 26525 SOS 16175 HAS SOPS 13996 HAS SOUS 12179 HAS SOUPS 11133 WITH SCORE 11149.175
AT ITER 39 NEW BEST:: SOT 26603 SOS 17161 HAS SOPS 14377 HAS SOUS 12304 HAS SOUPS 11120 WITH SCORE 11137.161
AT ITER 43 NEW BEST:: SOT 26603 SOS 17152 HAS SOPS 14368 HAS SOUS 12295 HAS SOUPS 11111 WITH SCORE 11128.152
AT ITER 44 NEW BEST:: SOT 26603 SOS 17147 HAS SOPS 14368 HAS SOUS 12295 HAS SOUPS 11111 WITH SCORE 11128.147
AT ITER 62 NEW BEST:: SOT 26189 SOS 16801 HAS SOPS 13442 HAS SOUS 11519 HAS SOUPS 10227 WITH SCORE 10243.801
AT ITER 68 NEW BEST:: SOT 26186 SOS 16798 HAS SOPS 13436 HAS SOUS 11516 HAS SOUPS 10221 WITH SCORE 10237.798
AT ITER 80 NEW BEST:: SOT 26302 SOS 16171 HAS SOPS 13424 HAS SOUS 11293 HAS SOUPS 10189 WITH SCORE 10205.171
AT ITER 81 NEW BEST:: SOT 26208 SOS 16090 HAS SOPS 13330 HAS SOUS 11212 HAS SOUPS 10095 WITH SCORE 10111.09
AT ITER 96 NEW BEST:: SOT 26156 SOS 16112 HAS SOPS 13253 HAS SOUS 11183 HAS SOUPS 10018 WITH SCORE 10034.112
AT ITER 100 NEW BEST:: SOT 26111 SOS 16073 HAS SOPS 13160 HAS SOUS 11087 HAS SOUPS 9922 WITH SCORE 9938.073
AT ITER 110 NEW BEST:: SOT 26110 SOS 16049 HAS SOPS 13159 HAS SOUS 11085 HAS SOUPS 9921 WITH SCORE 9937.049
AT ITER 113 NEW BEST:: SOT 26110 SOS 16037 HAS SOPS 13147 HAS SOUS 11073 HAS SOUPS 9909 WITH SCORE 9925.037
AT ITER 121 NEW BEST:: SOT 26106 SOS 16052 HAS SOPS 13172 HAS SOUS 11059 HAS SOUPS 9902 WITH SCORE 9918.052
AT ITER 127 NEW BEST:: SOT 26105 SOS 16041 HAS SOPS 13171 HAS SOUS 11057 HAS SOUPS 9901 WITH SCORE 9917.041
AT ITER 132 NEW BEST:: SOT 26104 SOS 16017 HAS SOPS 13170 HAS SOUS 11056 HAS SOUPS 9900 WITH SCORE 9916.017
AT ITER 147 NEW BEST:: SOT 26104 SOS 15997 HAS SOPS 13150 HAS SOUS 11036 HAS SOUPS 9880 WITH SCORE 9895.997
AT ITER 152 NEW BEST:: SOT 26181 SOS 16114 HAS SOPS 13268 HAS SOUS 10936 HAS SOUPS 9781 WITH SCORE 9797.114
AT ITER 166 NEW BEST:: SOT 26193 SOS 16151 HAS SOPS 13305 HAS SOUS 10905 HAS SOUPS 9750 WITH SCORE 9766.151
AT ITER 167 NEW BEST:: SOT 25898 SOS 15986 HAS SOPS 13010 HAS SOUS 10690 HAS SOUPS 9455 WITH SCORE 9470.986
AT ITER 173 NEW BEST:: SOT 25898 SOS 15976 HAS SOPS 13000 HAS SOUS 10690 HAS SOUPS 9455 WITH SCORE 9470.976
AT ITER 192 NEW BEST:: SOT 25878 SOS 15974 HAS SOPS 13003 HAS SOUS 10510 HAS SOUPS 9280 WITH SCORE 9295.974
AT ITER 193 NEW BEST:: SOT 25863 SOS 15959 HAS SOPS 12988 HAS SOUS 10495 HAS SOUPS 9265 WITH SCORE 9280.959
AT ITER 206 NEW BEST:: SOT 25622 SOS 15814 HAS SOPS 12831 HAS SOUS 10293 HAS SOUPS 9060 WITH SCORE 9075.814
AT ITER 229 NEW BEST:: SOT 25627 SOS 15819 HAS SOPS 12836 HAS SOUS 10278 HAS SOUPS 9045 WITH SCORE 9060.819
AT ITER 230 NEW BEST:: SOT 25606 SOS 15583 HAS SOPS 12570 HAS SOUS 10213 HAS SOUPS 8980 WITH SCORE 8995.583
AT ITER 234 NEW BEST:: SOT 25507 SOS 15474 HAS SOPS 12423 HAS SOUS 9975 HAS SOUPS 8742 WITH SCORE 8757.474
AT ITER 236 NEW BEST:: SOT 25514 SOS 15481 HAS SOPS 12405 HAS SOUS 9957 HAS SOUPS 8724 WITH SCORE 8739.481
AT ITER 238 NEW BEST:: SOT 25514 SOS 15481 HAS SOPS 12387 HAS SOUS 9957 HAS SOUPS 8706 WITH SCORE 8721.481
AT ITER 247 NEW BEST:: SOT 25505 SOS 15472 HAS SOPS 12366 HAS SOUS 9944 HAS SOUPS 8685 WITH SCORE 8700.472
AT ITER 250 NEW BEST:: SOT 25451 SOS 15418 HAS SOPS 12312 HAS SOUS 9890 HAS SOUPS 8631 WITH SCORE 8646.418
AT ITER 258 NEW BEST:: SOT 25451 SOS 15406 HAS SOPS 12300 HAS SOUS 9878 HAS SOUPS 8619 WITH SCORE 8634.406
AT ITER 272 NEW BEST:: SOT 25457 SOS 15412 HAS SOPS 12293 HAS SOUS 9871 HAS SOUPS 8612 WITH SCORE 8627.412
AT ITER 295 NEW BEST:: SOT 25472 SOS 15439 HAS SOPS 12320 HAS SOUS 9858 HAS SOUPS 8599 WITH SCORE 8614.439
AT ITER 298 NEW BEST:: SOT 25472 SOS 15417 HAS SOPS 12318 HAS SOUS 9856 HAS SOUPS 8597 WITH SCORE 8612.417
AT ITER 303 NEW BEST:: SOT 25465 SOS 15411 HAS SOPS 12311 HAS SOUS 9850 HAS SOUPS 8590 WITH SCORE 8605.411
AT ITER 312 NEW BEST:: SOT 25383 SOS 15425 HAS SOPS 12223 HAS SOUS 9714 HAS SOUPS 8454 WITH SCORE 8469.425
AT ITER 318 NEW BEST:: SOT 25349 SOS 15434 HAS SOPS 12187 HAS SOUS 9707 HAS SOUPS 8418 WITH SCORE 8433.434
AT ITER 320 NEW BEST:: SOT 25354 SOS 15441 HAS SOPS 12200 HAS SOUS 9690 HAS SOUPS 8407 WITH SCORE 8422.441
AT ITER 327 NEW BEST:: SOT 25278 SOS 15371 HAS SOPS 12079 HAS SOUS 9452 HAS SOUPS 8169 WITH SCORE 8184.371
AT ITER 331 NEW BEST:: SOT 25306 SOS 15409 HAS SOPS 12121 HAS SOUS 9378 HAS SOUPS 8095 WITH SCORE 8110.409
AT ITER 332 NEW BEST:: SOT 25306 SOS 15402 HAS SOPS 12114 HAS SOUS 9371 HAS SOUPS 8088 WITH SCORE 8103.402
AT ITER 338 NEW BEST:: SOT 25306 SOS 15393 HAS SOPS 12114 HAS SOUS 9371 HAS SOUPS 8088 WITH SCORE 8103.393
AT ITER 353 NEW BEST:: SOT 25306 SOS 15387 HAS SOPS 12123 HAS SOUS 9368 HAS SOUPS 8085 WITH SCORE 8100.387
AT ITER 355 NEW BEST:: SOT 25149 SOS 15227 HAS SOPS 11944 HAS SOUS 9189 HAS SOUPS 7906 WITH SCORE 7921.227
AT ITER 357 NEW BEST:: SOT 25050 SOS 15128 HAS SOPS 11845 HAS SOUS 9090 HAS SOUPS 7807 WITH SCORE 7822.128
AT ITER 365 NEW BEST:: SOT 24924 SOS 15113 HAS SOPS 11710 HAS SOUS 9018 HAS SOUPS 7672 WITH SCORE 7687.113
AT ITER 367 NEW BEST:: SOT 24923 SOS 15112 HAS SOPS 11689 HAS SOUS 8997 HAS SOUPS 7651 WITH SCORE 7666.112
AT ITER 373 NEW BEST:: SOT 24861 SOS 15140 HAS SOPS 11708 HAS SOUS 8854 HAS SOUPS 7514 WITH SCORE 7529.14
AT ITER 402 NEW BEST:: SOT 24861 SOS 15140 HAS SOPS 11706 HAS SOUS 8858 HAS SOUPS 7512 WITH SCORE 7527.14
AT ITER 407 NEW BEST:: SOT 24872 SOS 15106 HAS SOPS 11698 HAS SOUS 8787 HAS SOUPS 7454 WITH SCORE 7469.106
AT ITER 411 NEW BEST:: SOT 24867 SOS 15101 HAS SOPS 11693 HAS SOUS 8787 HAS SOUPS 7449 WITH SCORE 7464.101
AT ITER 434 NEW BEST:: SOT 24873 SOS 15107 HAS SOPS 11701 HAS SOUS 8775 HAS SOUPS 7437 WITH SCORE 7452.107
AT ITER 463 NEW BEST:: SOT 24869 SOS 15103 HAS SOPS 11693 HAS SOUS 8771 HAS SOUPS 7429 WITH SCORE 7444.103
AT ITER 479 NEW BEST:: SOT 24884 SOS 15109 HAS SOPS 11709 HAS SOUS 8761 HAS SOUPS 7424 WITH SCORE 7439.109
AT ITER 510 NEW BEST:: SOT 24881 SOS 15104 HAS SOPS 11705 HAS SOUS 8757 HAS SOUPS 7420 WITH SCORE 7435.104
AT ITER 532 NEW BEST:: SOT 24817 SOS 15204 HAS SOPS 11625 HAS SOUS 8751 HAS SOUPS 7340 WITH SCORE 7355.204
AT ITER 541 NEW BEST:: SOT 24817 SOS 15202 HAS SOPS 11618 HAS SOUS 8749 HAS SOUPS 7333 WITH SCORE 7348.202
AT ITER 549 NEW BEST:: SOT 24813 SOS 15198 HAS SOPS 11608 HAS SOUS 8739 HAS SOUPS 7323 WITH SCORE 7338.198
AT ITER 557 NEW BEST:: SOT 24722 SOS 15121 HAS SOPS 11514 HAS SOUS 8719 HAS SOUPS 7285 WITH SCORE 7300.121
AT ITER 561 NEW BEST:: SOT 24686 SOS 15095 HAS SOPS 11470 HAS SOUS 8750 HAS SOUPS 7281 WITH SCORE 7296.095
AT ITER 566 NEW BEST:: SOT 24681 SOS 15090 HAS SOPS 11465 HAS SOUS 8745 HAS SOUPS 7276 WITH SCORE 7291.09
AT ITER 591 NEW BEST:: SOT 24681 SOS 15090 HAS SOPS 11464 HAS SOUS 8744 HAS SOUPS 7275 WITH SCORE 7290.09
AT ITER 596 NEW BEST:: SOT 24680 SOS 15089 HAS SOPS 11463 HAS SOUS 8740 HAS SOUPS 7274 WITH SCORE 7289.089
AT ITER 601 NEW BEST:: SOT 24680 SOS 14980 HAS SOPS 11354 HAS SOUS 8731 HAS SOUPS 7265 WITH SCORE 7279.98
AT ITER 604 NEW BEST:: SOT 24562 SOS 14862 HAS SOPS 11209 HAS SOUS 8598 HAS SOUPS 7120 WITH SCORE 7134.862
AT ITER 617 NEW BEST:: SOT 24538 SOS 14826 HAS SOPS 11179 HAS SOUS 8574 HAS SOUPS 7096 WITH SCORE 7110.826
AT ITER 618 NEW BEST:: SOT 24538 SOS 14832 HAS SOPS 11176 HAS SOUS 8577 HAS SOUPS 7093 WITH SCORE 7107.832
AT ITER 653 NEW BEST:: SOT 24596 SOS 14892 HAS SOPS 11294 HAS SOUS 8431 HAS SOUPS 6955 WITH SCORE 6969.892
AT ITER 655 NEW BEST:: SOT 24596 SOS 14895 HAS SOPS 11293 HAS SOUS 8430 HAS SOUPS 6954 WITH SCORE 6968.895
AT ITER 670 NEW BEST:: SOT 24545 SOS 14844 HAS SOPS 11242 HAS SOUS 8379 HAS SOUPS 6903 WITH SCORE 6917.844
AT ITER 674 NEW BEST:: SOT 24545 SOS 14757 HAS SOPS 11155 HAS SOUS 8377 HAS SOUPS 6901 WITH SCORE 6915.757
AT ITER 677 NEW BEST:: SOT 24545 SOS 14757 HAS SOPS 11154 HAS SOUS 8376 HAS SOUPS 6900 WITH SCORE 6914.757
AT ITER 680 NEW BEST:: SOT 24537 SOS 14749 HAS SOPS 11146 HAS SOUS 8368 HAS SOUPS 6892 WITH SCORE 6906.749
AT ITER 688 NEW BEST:: SOT 24333 SOS 14615 HAS SOPS 10921 HAS SOUS 8498 HAS SOUPS 6871 WITH SCORE 6885.615
AT ITER 705 NEW BEST:: SOT 24155 SOS 14437 HAS SOPS 10709 HAS SOUS 8295 HAS SOUPS 6659 WITH SCORE 6673.437
AT ITER 719 NEW BEST:: SOT 24225 SOS 14495 HAS SOPS 10672 HAS SOUS 8264 HAS SOUPS 6628 WITH SCORE 6642.495
AT ITER 742 NEW BEST:: SOT 24231 SOS 14495 HAS SOPS 10676 HAS SOUS 8248 HAS SOUPS 6614 WITH SCORE 6628.495
AT ITER 748 NEW BEST:: SOT 24184 SOS 14478 HAS SOPS 10659 HAS SOUS 8216 HAS SOUPS 6582 WITH SCORE 6596.478
AT ITER 754 NEW BEST:: SOT 24046 SOS 14373 HAS SOPS 10497 HAS SOUS 8283 HAS SOUPS 6552 WITH SCORE 6566.373
AT ITER 763 NEW BEST:: SOT 24062 SOS 14387 HAS SOPS 10433 HAS SOUS 8219 HAS SOUPS 6488 WITH SCORE 6502.387
AT ITER 787 NEW BEST:: SOT 24148 SOS 14442 HAS SOPS 10520 HAS SOUS 8087 HAS SOUPS 6451 WITH SCORE 6465.442
AT ITER 809 NEW BEST:: SOT 24211 SOS 14514 HAS SOPS 10607 HAS SOUS 8063 HAS SOUPS 6427 WITH SCORE 6441.514
AT ITER 810 NEW BEST:: SOT 24197 SOS 14500 HAS SOPS 10579 HAS SOUS 8049 HAS SOUPS 6399 WITH SCORE 6413.5
AT ITER 811 NEW BEST:: SOT 24193 SOS 14496 HAS SOPS 10557 HAS SOUS 7985 HAS SOUPS 6335 WITH SCORE 6349.496
AT ITER 828 NEW BEST:: SOT 24193 SOS 14490 HAS SOPS 10551 HAS SOUS 7984 HAS SOUPS 6334 WITH SCORE 6348.49
AT ITER 837 NEW BEST:: SOT 24188 SOS 14482 HAS SOPS 10546 HAS SOUS 7977 HAS SOUPS 6329 WITH SCORE 6343.482
AT ITER 854 NEW BEST:: SOT 24188 SOS 14443 HAS SOPS 10515 HAS SOUS 7968 HAS SOUPS 6320 WITH SCORE 6334.443
AT ITER 877 NEW BEST:: SOT 24158 SOS 14413 HAS SOPS 10485 HAS SOUS 7938 HAS SOUPS 6290 WITH SCORE 6304.413
AT ITER 894 NEW BEST:: SOT 24160 SOS 14415 HAS SOPS 10480 HAS SOUS 7933 HAS SOUPS 6285 WITH SCORE 6299.415
AT ITER 899 NEW BEST:: SOT 24163 SOS 14418 HAS SOPS 10483 HAS SOUS 7924 HAS SOUPS 6276 WITH SCORE 6290.418
AT ITER 918 NEW BEST:: SOT 24160 SOS 14415 HAS SOPS 10483 HAS SOUS 7921 HAS SOUPS 6276 WITH SCORE 6290.415
AT ITER 964 NEW BEST:: SOT 24157 SOS 14412 HAS SOPS 10480 HAS SOUS 7912 HAS SOUPS 6273 WITH SCORE 6287.412
AT ITER 982 NEW BEST:: SOT 24252 SOS 14567 HAS SOPS 10745 HAS SOUS 7909 HAS SOUPS 6270 WITH SCORE 6284.567
AT ITER 996 NEW BEST:: SOT 24252 SOS 14567 HAS SOPS 10744 HAS SOUS 7908 HAS SOUPS 6269 WITH SCORE 6283.567
AT ITER 1000 NEW BEST:: SOT 24252 SOS 14566 HAS SOPS 10744 HAS SOUS 7908 HAS SOUPS 6269 WITH SCORE 6283.566
AT ITER 1007 NEW BEST:: SOT 24249 SOS 14563 HAS SOPS 10738 HAS SOUS 7897 HAS SOUPS 6263 WITH SCORE 6277.563
AT ITER 1010 NEW BEST:: SOT 24256 SOS 14570 HAS SOPS 10735 HAS SOUS 7904 HAS SOUPS 6260 WITH SCORE 6274.57
AT ITER 1016 NEW BEST:: SOT 24224 SOS 14556 HAS SOPS 10667 HAS SOUS 7827 HAS SOUPS 6183 WITH SCORE 6197.556
AT ITER 1034 NEW BEST:: SOT 24247 SOS 14588 HAS SOPS 10699 HAS SOUS 7796 HAS SOUPS 6152 WITH SCORE 6166.588
AT ITER 1050 NEW BEST:: SOT 24247 SOS 14600 HAS SOPS 10705 HAS SOUS 7790 HAS SOUPS 6146 WITH SCORE 6160.6
AT ITER 1131 NEW BEST:: SOT 24192 SOS 14529 HAS SOPS 10634 HAS SOUS 7735 HAS SOUPS 6091 WITH SCORE 6105.529
AT ITER 1132 NEW BEST:: SOT 24201 SOS 14502 HAS SOPS 10562 HAS SOUS 7699 HAS SOUPS 6055 WITH SCORE 6069.502
AT ITER 1133 NEW BEST:: SOT 24200 SOS 14501 HAS SOPS 10561 HAS SOUS 7698 HAS SOUPS 6054 WITH SCORE 6068.501
AT ITER 1140 NEW BEST:: SOT 24200 SOS 14495 HAS SOPS 10555 HAS SOUS 7698 HAS SOUPS 6054 WITH SCORE 6068.495
AT ITER 1148 NEW BEST:: SOT 24200 SOS 14483 HAS SOPS 10543 HAS SOUS 7696 HAS SOUPS 6052 WITH SCORE 6066.483
AT ITER 1153 NEW BEST:: SOT 24187 SOS 14475 HAS SOPS 10514 HAS SOUS 7667 HAS SOUPS 6023 WITH SCORE 6037.475
AT ITER 1157 NEW BEST:: SOT 24149 SOS 14450 HAS SOPS 10474 HAS SOUS 7642 HAS SOUPS 5983 WITH SCORE 5997.45
AT ITER 1184 NEW BEST:: SOT 24149 SOS 14448 HAS SOPS 10474 HAS SOUS 7640 HAS SOUPS 5983 WITH SCORE 5997.448
AT ITER 1226 NEW BEST:: SOT 24146 SOS 14445 HAS SOPS 10464 HAS SOUS 7627 HAS SOUPS 5973 WITH SCORE 5987.445
AT ITER 1285 NEW BEST:: SOT 24134 SOS 14435 HAS SOPS 10452 HAS SOUS 7623 HAS SOUPS 5965 WITH SCORE 5979.435
AT ITER 1299 NEW BEST:: SOT 24134 SOS 14442 HAS SOPS 10451 HAS SOUS 7622 HAS SOUPS 5964 WITH SCORE 5978.442
AT ITER 1301 NEW BEST:: SOT 24135 SOS 14446 HAS SOPS 10443 HAS SOUS 7624 HAS SOUPS 5956 WITH SCORE 5970.446
AT ITER 1304 NEW BEST:: SOT 24135 SOS 14352 HAS SOPS 10349 HAS SOUS 7620 HAS SOUPS 5952 WITH SCORE 5966.352
AT ITER 1320 NEW BEST:: SOT 24137 SOS 14354 HAS SOPS 10340 HAS SOUS 7622 HAS SOUPS 5943 WITH SCORE 5957.354
AT ITER 1342 NEW BEST:: SOT 24103 SOS 14304 HAS SOPS 10298 HAS SOUS 7588 HAS SOUPS 5909 WITH SCORE 5923.304
AT ITER 1353 NEW BEST:: SOT 24102 SOS 14303 HAS SOPS 10292 HAS SOUS 7583 HAS SOUPS 5903 WITH SCORE 5917.303
AT ITER 1372 NEW BEST:: SOT 24098 SOS 14299 HAS SOPS 10288 HAS SOUS 7579 HAS SOUPS 5899 WITH SCORE 5913.299
AT ITER 1383 NEW BEST:: SOT 24098 SOS 14305 HAS SOPS 10292 HAS SOUS 7568 HAS SOUPS 5888 WITH SCORE 5902.305
AT ITER 1389 NEW BEST:: SOT 24096 SOS 14303 HAS SOPS 10288 HAS SOUS 7566 HAS SOUPS 5884 WITH SCORE 5898.303
AT ITER 1390 NEW BEST:: SOT 24103 SOS 14272 HAS SOPS 10180 HAS SOUS 7499 HAS SOUPS 5815 WITH SCORE 5829.272
AT ITER 1463 NEW BEST:: SOT 24099 SOS 14268 HAS SOPS 10175 HAS SOUS 7478 HAS SOUPS 5810 WITH SCORE 5824.268
AT ITER 1480 NEW BEST:: SOT 24099 SOS 14257 HAS SOPS 10164 HAS SOUS 7467 HAS SOUPS 5799 WITH SCORE 5813.257
AT ITER 1490 NEW BEST:: SOT 24097 SOS 14255 HAS SOPS 10160 HAS SOUS 7465 HAS SOUPS 5795 WITH SCORE 5809.255
AT ITER 1502 NEW BEST:: SOT 24095 SOS 14253 HAS SOPS 10158 HAS SOUS 7460 HAS SOUPS 5790 WITH SCORE 5804.253
AT ITER 1530 NEW BEST:: SOT 24095 SOS 14252 HAS SOPS 10146 HAS SOUS 7448 HAS SOUPS 5778 WITH SCORE 5792.252
AT ITER 1532 NEW BEST:: SOT 24095 SOS 14246 HAS SOPS 10140 HAS SOUS 7447 HAS SOUPS 5777 WITH SCORE 5791.246
AT ITER 1590 NEW BEST:: SOT 24092 SOS 14243 HAS SOPS 10134 HAS SOUS 7444 HAS SOUPS 5771 WITH SCORE 5785.243
AT ITER 1651 NEW BEST:: SOT 24092 SOS 14251 HAS SOPS 10142 HAS SOUS 7442 HAS SOUPS 5769 WITH SCORE 5783.251
AT ITER 1662 NEW BEST:: SOT 24110 SOS 14269 HAS SOPS 10170 HAS SOUS 7428 HAS SOUPS 5765 WITH SCORE 5779.269
AT ITER 1663 NEW BEST:: SOT 24099 SOS 14258 HAS SOPS 10151 HAS SOUS 7417 HAS SOUPS 5746 WITH SCORE 5760.258
AT ITER 1671 NEW BEST:: SOT 24099 SOS 14253 HAS SOPS 10146 HAS SOUS 7407 HAS SOUPS 5736 WITH SCORE 5750.253
AT ITER 1686 NEW BEST:: SOT 24084 SOS 14242 HAS SOPS 10140 HAS SOUS 7401 HAS SOUPS 5730 WITH SCORE 5744.242
AT ITER 1687 NEW BEST:: SOT 24084 SOS 14248 HAS SOPS 10110 HAS SOUS 7371 HAS SOUPS 5700 WITH SCORE 5714.248
AT ITER 1699 NEW BEST:: SOT 24066 SOS 14227 HAS SOPS 10079 HAS SOUS 7351 HAS SOUPS 5680 WITH SCORE 5694.227
AT ITER 1712 NEW BEST:: SOT 24066 SOS 14225 HAS SOPS 10077 HAS SOUS 7349 HAS SOUPS 5678 WITH SCORE 5692.225
AT ITER 1721 NEW BEST:: SOT 24064 SOS 14223 HAS SOPS 10073 HAS SOUS 7345 HAS SOUPS 5674 WITH SCORE 5688.223
AT ITER 1731 NEW BEST:: SOT 23888 SOS 13951 HAS SOPS 9856 HAS SOUS 7282 HAS SOUPS 5649 WITH SCORE 5662.951
AT ITER 1770 NEW BEST:: SOT 23763 SOS 13826 HAS SOPS 9731 HAS SOUS 7157 HAS SOUPS 5524 WITH SCORE 5537.826
AT ITER 1773 NEW BEST:: SOT 23763 SOS 13826 HAS SOPS 9723 HAS SOUS 7157 HAS SOUPS 5516 WITH SCORE 5529.826
AT ITER 1908 NEW BEST:: SOT 23762 SOS 13829 HAS SOPS 9730 HAS SOUS 7155 HAS SOUPS 5514 WITH SCORE 5527.829
AT ITER 1926 NEW BEST:: SOT 23762 SOS 13769 HAS SOPS 9655 HAS SOUS 7128 HAS SOUPS 5487 WITH SCORE 5500.769
AT ITER 1939 NEW BEST:: SOT 23754 SOS 13761 HAS SOPS 9647 HAS SOUS 7120 HAS SOUPS 5479 WITH SCORE 5492.761
AT ITER 1992 NEW BEST:: SOT 23748 SOS 13755 HAS SOPS 9639 HAS SOUS 7118 HAS SOUPS 5475 WITH SCORE 5488.755
AT ITER 2023 NEW BEST:: SOT 23749 SOS 13746 HAS SOPS 9626 HAS SOUS 7114 HAS SOUPS 5467 WITH SCORE 5480.746
AT ITER 2070 NEW BEST:: SOT 23746 SOS 13740 HAS SOPS 9623 HAS SOUS 7106 HAS SOUPS 5464 WITH SCORE 5477.74
AT ITER 2090 NEW BEST:: SOT 23719 SOS 13794 HAS SOPS 9658 HAS SOUS 7077 HAS SOUPS 5437 WITH SCORE 5450.794
AT ITER 2092 NEW BEST:: SOT 23685 SOS 13759 HAS SOPS 9623 HAS SOUS 7042 HAS SOUPS 5402 WITH SCORE 5415.759
AT ITER 2100 NEW BEST:: SOT 23690 SOS 13764 HAS SOPS 9609 HAS SOUS 7023 HAS SOUPS 5388 WITH SCORE 5401.764
AT ITER 2115 NEW BEST:: SOT 23708 SOS 13781 HAS SOPS 9632 HAS SOUS 7014 HAS SOUPS 5379 WITH SCORE 5392.781
AT ITER 2125 NEW BEST:: SOT 23662 SOS 13747 HAS SOPS 9583 HAS SOUS 7057 HAS SOUPS 5378 WITH SCORE 5391.747
AT ITER 2133 NEW BEST:: SOT 23662 SOS 13711 HAS SOPS 9547 HAS SOUS 7052 HAS SOUPS 5373 WITH SCORE 5386.711
AT ITER 2141 NEW BEST:: SOT 23662 SOS 13689 HAS SOPS 9525 HAS SOUS 7040 HAS SOUPS 5361 WITH SCORE 5374.689
AT ITER 2154 NEW BEST:: SOT 23657 SOS 13684 HAS SOPS 9519 HAS SOUS 7035 HAS SOUPS 5355 WITH SCORE 5368.684
AT ITER 2177 NEW BEST:: SOT 23618 SOS 13645 HAS SOPS 9477 HAS SOUS 6996 HAS SOUPS 5313 WITH SCORE 5326.645
AT ITER 2179 NEW BEST:: SOT 23613 SOS 13635 HAS SOPS 9467 HAS SOUS 6986 HAS SOUPS 5303 WITH SCORE 5316.635
AT ITER 2199 NEW BEST:: SOT 23613 SOS 13637 HAS SOPS 9463 HAS SOUS 6981 HAS SOUPS 5298 WITH SCORE 5311.637
AT ITER 2276 NEW BEST:: SOT 23611 SOS 13635 HAS SOPS 9459 HAS SOUS 6970 HAS SOUPS 5294 WITH SCORE 5307.635
AT ITER 2303 NEW BEST:: SOT 23611 SOS 13633 HAS SOPS 9458 HAS SOUS 6968 HAS SOUPS 5293 WITH SCORE 5306.633
AT ITER 2313 NEW BEST:: SOT 23611 SOS 13618 HAS SOPS 9443 HAS SOUS 6968 HAS SOUPS 5293 WITH SCORE 5306.618
AT ITER 2314 NEW BEST:: SOT 23605 SOS 13612 HAS SOPS 9431 HAS SOUS 6962 HAS SOUPS 5281 WITH SCORE 5294.612
AT ITER 2362 NEW BEST:: SOT 23604 SOS 13546 HAS SOPS 9365 HAS SOUS 6950 HAS SOUPS 5269 WITH SCORE 5282.546
AT ITER 2398 NEW BEST:: SOT 23585 SOS 13527 HAS SOPS 9357 HAS SOUS 6942 HAS SOUPS 5261 WITH SCORE 5274.527
AT ITER 2434 NEW BEST:: SOT 23583 SOS 13525 HAS SOPS 9354 HAS SOUS 6940 HAS SOUPS 5258 WITH SCORE 5271.525
AT ITER 2438 NEW BEST:: SOT 23582 SOS 13524 HAS SOPS 9352 HAS SOUS 6939 HAS SOUPS 5256 WITH SCORE 5269.524
AT ITER 2448 NEW BEST:: SOT 23582 SOS 13524 HAS SOPS 9351 HAS SOUS 6939 HAS SOUPS 5255 WITH SCORE 5268.524
AT ITER 2476 NEW BEST:: SOT 23580 SOS 13525 HAS SOPS 9350 HAS SOUS 6940 HAS SOUPS 5254 WITH SCORE 5267.525
AT ITER 2477 NEW BEST:: SOT 23575 SOS 13520 HAS SOPS 9337 HAS SOUS 6935 HAS SOUPS 5241 WITH SCORE 5254.52
AT ITER 2496 NEW BEST:: SOT 23576 SOS 13521 HAS SOPS 9336 HAS SOUS 6939 HAS SOUPS 5240 WITH SCORE 5253.521
AT ITER 2561 NEW BEST:: SOT 23528 SOS 13456 HAS SOPS 9269 HAS SOUS 6885 HAS SOUPS 5184 WITH SCORE 5197.456
AT ITER 2600 NEW BEST:: SOT 23528 SOS 13454 HAS SOPS 9269 HAS SOUS 6885 HAS SOUPS 5184 WITH SCORE 5197.454
AT ITER 2610 NEW BEST:: SOT 23522 SOS 13448 HAS SOPS 9258 HAS SOUS 6875 HAS SOUPS 5174 WITH SCORE 5187.448
AT ITER 2702 NEW BEST:: SOT 23522 SOS 13441 HAS SOPS 9255 HAS SOUS 6872 HAS SOUPS 5171 WITH SCORE 5184.441
AT ITER 2722 NEW BEST:: SOT 23531 SOS 13434 HAS SOPS 9233 HAS SOUS 6870 HAS SOUPS 5169 WITH SCORE 5182.434
AT ITER 2821 NEW BEST:: SOT 23522 SOS 13424 HAS SOPS 9221 HAS SOUS 6871 HAS SOUPS 5168 WITH SCORE 5181.424
AT ITER 2843 NEW BEST:: SOT 23521 SOS 13421 HAS SOPS 9220 HAS SOUS 6866 HAS SOUPS 5167 WITH SCORE 5180.421
AT ITER 2889 NEW BEST:: SOT 23493 SOS 13409 HAS SOPS 9192 HAS SOUS 6893 HAS SOUPS 5167 WITH SCORE 5180.409
AT ITER 2892 NEW BEST:: SOT 23490 SOS 13406 HAS SOPS 9189 HAS SOUS 6890 HAS SOUPS 5164 WITH SCORE 5177.406
AT ITER 2936 NEW BEST:: SOT 23485 SOS 13388 HAS SOPS 9180 HAS SOUS 6874 HAS SOUPS 5155 WITH SCORE 5168.388
AT ITER 2962 NEW BEST:: SOT 23483 SOS 13386 HAS SOPS 9176 HAS SOUS 6872 HAS SOUPS 5151 WITH SCORE 5164.386
AT ITER 3069 NEW BEST:: SOT 23478 SOS 13381 HAS SOPS 9170 HAS SOUS 6867 HAS SOUPS 5145 WITH SCORE 5158.381
AT ITER 3074 NEW BEST:: SOT 23460 SOS 13363 HAS SOPS 9152 HAS SOUS 6865 HAS SOUPS 5143 WITH SCORE 5156.363
AT ITER 3080 NEW BEST:: SOT 23459 SOS 13362 HAS SOPS 9151 HAS SOUS 6864 HAS SOUPS 5142 WITH SCORE 5155.362
AT ITER 3138 NEW BEST:: SOT 23459 SOS 13360 HAS SOPS 9147 HAS SOUS 6860 HAS SOUPS 5138 WITH SCORE 5151.36
AT ITER 3148 NEW BEST:: SOT 23459 SOS 13360 HAS SOPS 9140 HAS SOUS 6822 HAS SOUPS 5100 WITH SCORE 5113.36
AT ITER 3150 NEW BEST:: SOT 23458 SOS 13359 HAS SOPS 9138 HAS SOUS 6821 HAS SOUPS 5098 WITH SCORE 5111.359
AT ITER 3170 NEW BEST:: SOT 23457 SOS 13358 HAS SOPS 9137 HAS SOUS 6820 HAS SOUPS 5097 WITH SCORE 5110.358
AT ITER 3186 NEW BEST:: SOT 23452 SOS 13353 HAS SOPS 9131 HAS SOUS 6815 HAS SOUPS 5091 WITH SCORE 5104.353
AT ITER 3246 NEW BEST:: SOT 23446 SOS 13345 HAS SOPS 9124 HAS SOUS 6810 HAS SOUPS 5086 WITH SCORE 5099.345
AT ITER 3262 NEW BEST:: SOT 23445 SOS 13344 HAS SOPS 9122 HAS SOUS 6809 HAS SOUPS 5084 WITH SCORE 5097.344
AT ITER 3302 NEW BEST:: SOT 23467 SOS 13390 HAS SOPS 9163 HAS SOUS 6791 HAS SOUPS 5049 WITH SCORE 5062.39
AT ITER 3366 NEW BEST:: SOT 23471 SOS 13394 HAS SOPS 9167 HAS SOUS 6779 HAS SOUPS 5037 WITH SCORE 5050.394
AT ITER 3390 NEW BEST:: SOT 23439 SOS 13362 HAS SOPS 9135 HAS SOUS 6771 HAS SOUPS 5029 WITH SCORE 5042.362
AT ITER 3448 NEW BEST:: SOT 23438 SOS 13361 HAS SOPS 9133 HAS SOUS 6770 HAS SOUPS 5027 WITH SCORE 5040.361
AT ITER 3482 NEW BEST:: SOT 23438 SOS 13361 HAS SOPS 9133 HAS SOUS 6768 HAS SOUPS 5025 WITH SCORE 5038.361
AT ITER 3485 NEW BEST:: SOT 23438 SOS 13436 HAS SOPS 9131 HAS SOUS 6794 HAS SOUPS 5023 WITH SCORE 5036.436
AT ITER 3633 NEW BEST:: SOT 23434 SOS 13432 HAS SOPS 9123 HAS SOUS 6786 HAS SOUPS 5015 WITH SCORE 5028.432
AT ITER 3646 NEW BEST:: SOT 23430 SOS 13414 HAS SOPS 9108 HAS SOUS 6775 HAS SOUPS 5007 WITH SCORE 5020.414
AT ITER 3723 NEW BEST:: SOT 23430 SOS 13402 HAS SOPS 9096 HAS SOUS 6773 HAS SOUPS 5005 WITH SCORE 5018.402
AT ITER 3777 NEW BEST:: SOT 23430 SOS 13402 HAS SOPS 9095 HAS SOUS 6773 HAS SOUPS 5004 WITH SCORE 5017.402
AT ITER 3782 NEW BEST:: SOT 23376 SOS 13391 HAS SOPS 9040 HAS SOUS 6807 HAS SOUPS 4985 WITH SCORE 4998.391
AT ITER 3793 NEW BEST:: SOT 23361 SOS 13373 HAS SOPS 9022 HAS SOUS 6789 HAS SOUPS 4967 WITH SCORE 4980.373
AT ITER 3795 NEW BEST:: SOT 23346 SOS 13358 HAS SOPS 9004 HAS SOUS 6774 HAS SOUPS 4949 WITH SCORE 4962.358
AT ITER 3839 NEW BEST:: SOT 23346 SOS 13352 HAS SOPS 9004 HAS SOUS 6773 HAS SOUPS 4949 WITH SCORE 4962.352
AT ITER 3990 NEW BEST:: SOT 23346 SOS 13348 HAS SOPS 9000 HAS SOUS 6773 HAS SOUPS 4949 WITH SCORE 4962.348
AT ITER 4024 NEW BEST:: SOT 23342 SOS 13344 HAS SOPS 8994 HAS SOUS 6769 HAS SOUPS 4943 WITH SCORE 4956.344
AT ITER 4047 NEW BEST:: SOT 23341 SOS 13341 HAS SOPS 8991 HAS SOUS 6766 HAS SOUPS 4940 WITH SCORE 4953.341
AT ITER 4092 NEW BEST:: SOT 23339 SOS 13359 HAS SOPS 8989 HAS SOUS 6769 HAS SOUPS 4938 WITH SCORE 4951.359
AT ITER 4215 NEW BEST:: SOT 23339 SOS 13359 HAS SOPS 8989 HAS SOUS 6762 HAS SOUPS 4931 WITH SCORE 4944.359
AT ITER 4242 NEW BEST:: SOT 23339 SOS 13367 HAS SOPS 8985 HAS SOUS 6774 HAS SOUPS 4927 WITH SCORE 4940.367
AT ITER 4256 NEW BEST:: SOT 23339 SOS 13367 HAS SOPS 8985 HAS SOUS 6772 HAS SOUPS 4925 WITH SCORE 4938.367
AT ITER 4257 NEW BEST:: SOT 23335 SOS 13360 HAS SOPS 8978 HAS SOUS 6765 HAS SOUPS 4918 WITH SCORE 4931.36
AT ITER 4289 NEW BEST:: SOT 23333 SOS 13358 HAS SOPS 8976 HAS SOUS 6760 HAS SOUPS 4913 WITH SCORE 4926.358
AT ITER 4356 NEW BEST:: SOT 23322 SOS 13347 HAS SOPS 8976 HAS SOUS 6767 HAS SOUPS 4913 WITH SCORE 4926.347
AT ITER 4360 NEW BEST:: SOT 23321 SOS 13345 HAS SOPS 8974 HAS SOUS 6765 HAS SOUPS 4911 WITH SCORE 4924.345
AT ITER 4366 NEW BEST:: SOT 23321 SOS 13309 HAS SOPS 8938 HAS SOUS 6759 HAS SOUPS 4905 WITH SCORE 4918.309
AT ITER 4387 NEW BEST:: SOT 23321 SOS 13308 HAS SOPS 8938 HAS SOUS 6753 HAS SOUPS 4905 WITH SCORE 4918.308
AT ITER 4488 NEW BEST:: SOT 23312 SOS 13307 HAS SOPS 8928 HAS SOUS 6739 HAS SOUPS 4891 WITH SCORE 4904.307
AT ITER 4619 NEW BEST:: SOT 23311 SOS 13304 HAS SOPS 8926 HAS SOUS 6737 HAS SOUPS 4890 WITH SCORE 4903.304
AT ITER 4647 NEW BEST:: SOT 23303 SOS 13302 HAS SOPS 8916 HAS SOUS 6724 HAS SOUPS 4877 WITH SCORE 4890.302
AT ITER 4662 NEW BEST:: SOT 23303 SOS 13302 HAS SOPS 8915 HAS SOUS 6723 HAS SOUPS 4876 WITH SCORE 4889.302
AT ITER 4752 NEW BEST:: SOT 23303 SOS 13262 HAS SOPS 8909 HAS SOUS 6709 HAS SOUPS 4870 WITH SCORE 4883.262
AT ITER 4761 NEW BEST:: SOT 23303 SOS 13262 HAS SOPS 8907 HAS SOUS 6709 HAS SOUPS 4868 WITH SCORE 4881.262
AT ITER 4851 NEW BEST:: SOT 23303 SOS 13261 HAS SOPS 8907 HAS SOUS 6708 HAS SOUPS 4868 WITH SCORE 4881.261
AT ITER 4853 NEW BEST:: SOT 23310 SOS 13268 HAS SOPS 8906 HAS SOUS 6707 HAS SOUPS 4867 WITH SCORE 4880.268
AT ITER 5046 NEW BEST:: SOT 23308 SOS 13266 HAS SOPS 8904 HAS SOUS 6705 HAS SOUPS 4865 WITH SCORE 4878.266
AT ITER 5057 NEW BEST:: SOT 23308 SOS 13266 HAS SOPS 8904 HAS SOUS 6703 HAS SOUPS 4863 WITH SCORE 4876.266
AT ITER 5088 NEW BEST:: SOT 23308 SOS 13257 HAS SOPS 8895 HAS SOUS 6702 HAS SOUPS 4862 WITH SCORE 4875.257
AT ITER 5133 NEW BEST:: SOT 23302 SOS 13239 HAS SOPS 8889 HAS SOUS 6672 HAS SOUPS 4856 WITH SCORE 4869.239
AT ITER 5163 NEW BEST:: SOT 23356 SOS 13299 HAS SOPS 8949 HAS SOUS 6671 HAS SOUPS 4855 WITH SCORE 4868.299
AT ITER 5169 NEW BEST:: SOT 23344 SOS 13287 HAS SOPS 8937 HAS SOUS 6659 HAS SOUPS 4843 WITH SCORE 4856.287
AT ITER 5178 NEW BEST:: SOT 23340 SOS 13282 HAS SOPS 8932 HAS SOUS 6654 HAS SOUPS 4838 WITH SCORE 4851.282
AT ITER 5186 NEW BEST:: SOT 23336 SOS 13278 HAS SOPS 8922 HAS SOUS 6647 HAS SOUPS 4828 WITH SCORE 4841.278
AT ITER 5246 NEW BEST:: SOT 23336 SOS 13300 HAS SOPS 8920 HAS SOUS 6669 HAS SOUPS 4826 WITH SCORE 4839.3
AT ITER 5359 NEW BEST:: SOT 23335 SOS 13234 HAS SOPS 8918 HAS SOUS 6652 HAS SOUPS 4824 WITH SCORE 4837.234
AT ITER 5553 NEW BEST:: SOT 23332 SOS 13231 HAS SOPS 8912 HAS SOUS 6645 HAS SOUPS 4818 WITH SCORE 4831.231
AT ITER 5566 NEW BEST:: SOT 23303 SOS 13155 HAS SOPS 8877 HAS SOUS 6594 HAS SOUPS 4815 WITH SCORE 4828.155
AT ITER 5611 NEW BEST:: SOT 23301 SOS 13151 HAS SOPS 8873 HAS SOUS 6590 HAS SOUPS 4811 WITH SCORE 4824.151
AT ITER 5665 NEW BEST:: SOT 23296 SOS 13146 HAS SOPS 8867 HAS SOUS 6589 HAS SOUPS 4809 WITH SCORE 4822.146
AT ITER 5799 NEW BEST:: SOT 23296 SOS 13144 HAS SOPS 8865 HAS SOUS 6587 HAS SOUPS 4807 WITH SCORE 4820.144
AT ITER 5961 NEW BEST:: SOT 23291 SOS 13143 HAS SOPS 8860 HAS SOUS 6585 HAS SOUPS 4802 WITH SCORE 4815.143
AT ITER 5988 NEW BEST:: SOT 23290 SOS 13142 HAS SOPS 8858 HAS SOUS 6584 HAS SOUPS 4800 WITH SCORE 4813.142
AT ITER 6017 NEW BEST:: SOT 23277 SOS 13096 HAS SOPS 8840 HAS SOUS 6568 HAS SOUPS 4798 WITH SCORE 4811.096
AT ITER 6035 NEW BEST:: SOT 23262 SOS 13101 HAS SOPS 8824 HAS SOUS 6566 HAS SOUPS 4782 WITH SCORE 4795.101
AT ITER 6098 NEW BEST:: SOT 23261 SOS 13100 HAS SOPS 8822 HAS SOUS 6565 HAS SOUPS 4780 WITH SCORE 4793.1
AT ITER 6213 NEW BEST:: SOT 23269 SOS 13090 HAS SOPS 8836 HAS SOUS 6541 HAS SOUPS 4774 WITH SCORE 4787.09
AT ITER 6253 NEW BEST:: SOT 23261 SOS 13082 HAS SOPS 8830 HAS SOUS 6535 HAS SOUPS 4768 WITH SCORE 4781.082
AT ITER 6337 NEW BEST:: SOT 23261 SOS 13086 HAS SOPS 8832 HAS SOUS 6534 HAS SOUPS 4767 WITH SCORE 4780.086
AT ITER 6415 NEW BEST:: SOT 23257 SOS 13081 HAS SOPS 8827 HAS SOUS 6523 HAS SOUPS 4762 WITH SCORE 4775.081
AT ITER 6441 NEW BEST:: SOT 23257 SOS 13097 HAS SOPS 8843 HAS SOUS 6522 HAS SOUPS 4761 WITH SCORE 4774.097
AT ITER 6450 NEW BEST:: SOT 23257 SOS 13101 HAS SOPS 8847 HAS SOUS 6521 HAS SOUPS 4760 WITH SCORE 4773.101
AT ITER 6576 NEW BEST:: SOT 23251 SOS 13095 HAS SOPS 8837 HAS SOUS 6515 HAS SOUPS 4750 WITH SCORE 4763.095
AT ITER 6713 NEW BEST:: SOT 23246 SOS 13090 HAS SOPS 8829 HAS SOUS 6510 HAS SOUPS 4742 WITH SCORE 4755.09
AT ITER 6720 NEW BEST:: SOT 23241 SOS 13085 HAS SOPS 8824 HAS SOUS 6505 HAS SOUPS 4737 WITH SCORE 4750.085
AT ITER 6753 NEW BEST:: SOT 23231 SOS 13075 HAS SOPS 8814 HAS SOUS 6495 HAS SOUPS 4727 WITH SCORE 4740.075
AT ITER 6871 NEW BEST:: SOT 23230 SOS 13074 HAS SOPS 8812 HAS SOUS 6494 HAS SOUPS 4725 WITH SCORE 4738.074
AT ITER 6876 NEW BEST:: SOT 23224 SOS 13064 HAS SOPS 8806 HAS SOUS 6485 HAS SOUPS 4716 WITH SCORE 4729.064
AT ITER 6948 NEW BEST:: SOT 23206 SOS 13046 HAS SOPS 8782 HAS SOUS 6479 HAS SOUPS 4704 WITH SCORE 4717.046
AT ITER 6996 NEW BEST:: SOT 23206 SOS 13045 HAS SOPS 8781 HAS SOUS 6479 HAS SOUPS 4704 WITH SCORE 4717.045
AT ITER 7040 NEW BEST:: SOT 23218 SOS 13057 HAS SOPS 8789 HAS SOUS 6472 HAS SOUPS 4697 WITH SCORE 4710.057
AT ITER 7041 NEW BEST:: SOT 23217 SOS 13060 HAS SOPS 8792 HAS SOUS 6471 HAS SOUPS 4696 WITH SCORE 4709.06
AT ITER 7184 NEW BEST:: SOT 23182 SOS 13041 HAS SOPS 8748 HAS SOUS 6501 HAS SOUPS 4688 WITH SCORE 4701.041
AT ITER 7257 NEW BEST:: SOT 23154 SOS 13013 HAS SOPS 8720 HAS SOUS 6473 HAS SOUPS 4660 WITH SCORE 4673.013
AT ITER 7288 NEW BEST:: SOT 23153 SOS 13012 HAS SOPS 8716 HAS SOUS 6468 HAS SOUPS 4656 WITH SCORE 4669.012
AT ITER 7329 NEW BEST:: SOT 23151 SOS 13008 HAS SOPS 8714 HAS SOUS 6464 HAS SOUPS 4654 WITH SCORE 4667.008
AT ITER 7355 NEW BEST:: SOT 23145 SOS 13002 HAS SOPS 8707 HAS SOUS 6452 HAS SOUPS 4642 WITH SCORE 4655.002
AT ITER 7378 NEW BEST:: SOT 23138 SOS 13004 HAS SOPS 8697 HAS SOUS 6459 HAS SOUPS 4640 WITH SCORE 4653.004
AT ITER 7402 NEW BEST:: SOT 23124 SOS 12990 HAS SOPS 8679 HAS SOUS 6449 HAS SOUPS 4626 WITH SCORE 4638.99
AT ITER 7411 NEW BEST:: SOT 23123 SOS 12989 HAS SOPS 8677 HAS SOUS 6449 HAS SOUPS 4624 WITH SCORE 4636.989
AT ITER 7582 NEW BEST:: SOT 23122 SOS 12988 HAS SOPS 8677 HAS SOUS 6448 HAS SOUPS 4624 WITH SCORE 4636.988
AT ITER 7592 NEW BEST:: SOT 23119 SOS 12985 HAS SOPS 8673 HAS SOUS 6445 HAS SOUPS 4620 WITH SCORE 4632.985
AT ITER 7612 NEW BEST:: SOT 23119 SOS 12985 HAS SOPS 8667 HAS SOUS 6445 HAS SOUPS 4614 WITH SCORE 4626.985
AT ITER 7629 NEW BEST:: SOT 23119 SOS 12984 HAS SOPS 8667 HAS SOUS 6444 HAS SOUPS 4614 WITH SCORE 4626.984
AT ITER 7657 NEW BEST:: SOT 23114 SOS 12979 HAS SOPS 8661 HAS SOUS 6438 HAS SOUPS 4608 WITH SCORE 4620.979
AT ITER 7679 NEW BEST:: SOT 23105 SOS 12970 HAS SOPS 8652 HAS SOUS 6429 HAS SOUPS 4599 WITH SCORE 4611.97
AT ITER 7688 NEW BEST:: SOT 23104 SOS 12969 HAS SOPS 8651 HAS SOUS 6428 HAS SOUPS 4598 WITH SCORE 4610.969
AT ITER 7750 NEW BEST:: SOT 23098 SOS 12959 HAS SOPS 8644 HAS SOUS 6428 HAS SOUPS 4598 WITH SCORE 4610.959
AT ITER 7786 NEW BEST:: SOT 23088 SOS 12942 HAS SOPS 8631 HAS SOUS 6411 HAS SOUPS 4585 WITH SCORE 4597.942
AT ITER 7795 NEW BEST:: SOT 23077 SOS 12931 HAS SOPS 8617 HAS SOUS 6408 HAS SOUPS 4579 WITH SCORE 4591.931
AT ITER 7971 NEW BEST:: SOT 23077 SOS 12931 HAS SOPS 8616 HAS SOUS 6408 HAS SOUPS 4578 WITH SCORE 4590.931
AT ITER 8051 NEW BEST:: SOT 23075 SOS 12928 HAS SOPS 8613 HAS SOUS 6405 HAS SOUPS 4575 WITH SCORE 4587.928
AT ITER 8136 NEW BEST:: SOT 23075 SOS 12924 HAS SOPS 8613 HAS SOUS 6405 HAS SOUPS 4575 WITH SCORE 4587.924
AT ITER 8413 NEW BEST:: SOT 23074 SOS 12923 HAS SOPS 8611 HAS SOUS 6404 HAS SOUPS 4573 WITH SCORE 4585.923
AT ITER 8453 NEW BEST:: SOT 23070 SOS 12919 HAS SOPS 8603 HAS SOUS 6399 HAS SOUPS 4565 WITH SCORE 4577.919
AT ITER 8500 NEW BEST:: SOT 23068 SOS 12917 HAS SOPS 8599 HAS SOUS 6397 HAS SOUPS 4561 WITH SCORE 4573.917
AT ITER 8506 NEW BEST:: SOT 23071 SOS 12959 HAS SOPS 8597 HAS SOUS 6492 HAS SOUPS 4559 WITH SCORE 4571.959
AT ITER 8618 NEW BEST:: SOT 23071 SOS 12960 HAS SOPS 8598 HAS SOUS 6491 HAS SOUPS 4558 WITH SCORE 4570.96
AT ITER 8693 NEW BEST:: SOT 23066 SOS 12955 HAS SOPS 8590 HAS SOUS 6486 HAS SOUPS 4550 WITH SCORE 4562.955
AT ITER 8718 NEW BEST:: SOT 23064 SOS 12953 HAS SOPS 8587 HAS SOUS 6484 HAS SOUPS 4547 WITH SCORE 4559.953
AT ITER 8728 NEW BEST:: SOT 23060 SOS 12949 HAS SOPS 8580 HAS SOUS 6480 HAS SOUPS 4540 WITH SCORE 4552.949
AT ITER 8805 NEW BEST:: SOT 23057 SOS 12946 HAS SOPS 8576 HAS SOUS 6477 HAS SOUPS 4536 WITH SCORE 4548.946
AT ITER 8819 NEW BEST:: SOT 23057 SOS 12941 HAS SOPS 8571 HAS SOUS 6477 HAS SOUPS 4536 WITH SCORE 4548.941
AT ITER 8850 NEW BEST:: SOT 23056 SOS 12940 HAS SOPS 8569 HAS SOUS 6475 HAS SOUPS 4534 WITH SCORE 4546.94
AT ITER 8885 NEW BEST:: SOT 23050 SOS 12916 HAS SOPS 8562 HAS SOUS 6438 HAS SOUPS 4527 WITH SCORE 4539.916
AT ITER 8896 NEW BEST:: SOT 23050 SOS 12916 HAS SOPS 8559 HAS SOUS 6438 HAS SOUPS 4524 WITH SCORE 4536.916
AT ITER 9248 NEW BEST:: SOT 23049 SOS 12915 HAS SOPS 8557 HAS SOUS 6437 HAS SOUPS 4522 WITH SCORE 4534.915
AT ITER 9500 NEW BEST:: SOT 23039 SOS 12908 HAS SOPS 8546 HAS SOUS 6450 HAS SOUPS 4519 WITH SCORE 4531.908
AT ITER 9573 NEW BEST:: SOT 23038 SOS 12907 HAS SOPS 8546 HAS SOUS 6449 HAS SOUPS 4519 WITH SCORE 4531.907
AT ITER 9660 NEW BEST:: SOT 23038 SOS 12907 HAS SOPS 8546 HAS SOUS 6445 HAS SOUPS 4515 WITH SCORE 4527.907
AT ITER 9674 NEW BEST:: SOT 23038 SOS 12895 HAS SOPS 8534 HAS SOUS 6443 HAS SOUPS 4513 WITH SCORE 4525.895
AT ITER 9759 NEW BEST:: SOT 23038 SOS 12901 HAS SOPS 8540 HAS SOUS 6442 HAS SOUPS 4512 WITH SCORE 4524.901

BK_TIME_CONFINEMENT_REACHED

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

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="LamportFastMutEx-PT-5"
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"

# 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-4028"
echo " Executing tool smart"
echo " Input is LamportFastMutEx-PT-5, 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 r093-oct2-158940140900672"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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