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.r224-oct2-159033538300092.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 SmartHome-PT-12, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538300092
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 252K
-rw-r--r-- 1 mcc users 3.2K May 14 03:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 14 03:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 13 21:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K May 13 21:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 14 10:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 14 10:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.5K May 13 15:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 13 15:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 10:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 10:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 3 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 90K May 12 20:42 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME SmartHome-PT-12-CTLFireability-00
FORMULA_NAME SmartHome-PT-12-CTLFireability-01
FORMULA_NAME SmartHome-PT-12-CTLFireability-02
FORMULA_NAME SmartHome-PT-12-CTLFireability-03
FORMULA_NAME SmartHome-PT-12-CTLFireability-04
FORMULA_NAME SmartHome-PT-12-CTLFireability-05
FORMULA_NAME SmartHome-PT-12-CTLFireability-06
FORMULA_NAME SmartHome-PT-12-CTLFireability-07
FORMULA_NAME SmartHome-PT-12-CTLFireability-08
FORMULA_NAME SmartHome-PT-12-CTLFireability-09
FORMULA_NAME SmartHome-PT-12-CTLFireability-10
FORMULA_NAME SmartHome-PT-12-CTLFireability-11
FORMULA_NAME SmartHome-PT-12-CTLFireability-12
FORMULA_NAME SmartHome-PT-12-CTLFireability-13
FORMULA_NAME SmartHome-PT-12-CTLFireability-14
FORMULA_NAME SmartHome-PT-12-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590469768504

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 12
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 376 places, 399 transitions, 909 arcs.
AT ITER 0 NEW BEST:: SOT 89540 SOS 21332 HAS SOPS 21332 HAS SOUS 20871 HAS SOUPS 20871 WITH SCORE 20892.332
AT ITER 2 NEW BEST:: SOT 88466 SOS 22483 HAS SOPS 22483 HAS SOUS 20057 HAS SOUPS 20057 WITH SCORE 20079.483
AT ITER 18 NEW BEST:: SOT 88442 SOS 22459 HAS SOPS 22459 HAS SOUS 20033 HAS SOUPS 20033 WITH SCORE 20055.459
AT ITER 28 NEW BEST:: SOT 88423 SOS 22441 HAS SOPS 22441 HAS SOUS 20015 HAS SOUPS 20015 WITH SCORE 20037.441
AT ITER 32 NEW BEST:: SOT 88422 SOS 22458 HAS SOPS 22458 HAS SOUS 20014 HAS SOUPS 20014 WITH SCORE 20036.458
AT ITER 47 NEW BEST:: SOT 88381 SOS 22496 HAS SOPS 22496 HAS SOUS 19971 HAS SOUPS 19971 WITH SCORE 19993.496
AT ITER 52 NEW BEST:: SOT 88356 SOS 22471 HAS SOPS 22471 HAS SOUS 19946 HAS SOUPS 19946 WITH SCORE 19968.471
AT ITER 53 NEW BEST:: SOT 87561 SOS 22143 HAS SOPS 22143 HAS SOUS 19245 HAS SOUPS 19245 WITH SCORE 19267.143
AT ITER 54 NEW BEST:: SOT 87559 SOS 22139 HAS SOPS 22139 HAS SOUS 19241 HAS SOUPS 19241 WITH SCORE 19263.139
AT ITER 61 NEW BEST:: SOT 87548 SOS 22117 HAS SOPS 22117 HAS SOUS 19219 HAS SOUPS 19219 WITH SCORE 19241.117
AT ITER 63 NEW BEST:: SOT 87548 SOS 22003 HAS SOPS 22003 HAS SOUS 19162 HAS SOUPS 19162 WITH SCORE 19184.003
AT ITER 68 NEW BEST:: SOT 86977 SOS 21552 HAS SOPS 21552 HAS SOUS 18644 HAS SOUPS 18644 WITH SCORE 18665.552
AT ITER 70 NEW BEST:: SOT 86958 SOS 21514 HAS SOPS 21514 HAS SOUS 18578 HAS SOUPS 18578 WITH SCORE 18599.514
AT ITER 76 NEW BEST:: SOT 86958 SOS 21501 HAS SOPS 21501 HAS SOUS 18578 HAS SOUPS 18578 WITH SCORE 18599.501
AT ITER 90 NEW BEST:: SOT 86929 SOS 21443 HAS SOPS 21443 HAS SOUS 18549 HAS SOUPS 18549 WITH SCORE 18570.443
AT ITER 91 NEW BEST:: SOT 86928 SOS 21441 HAS SOPS 21441 HAS SOUS 18547 HAS SOUPS 18547 WITH SCORE 18568.441
AT ITER 92 NEW BEST:: SOT 86902 SOS 21415 HAS SOPS 21415 HAS SOUS 18521 HAS SOUPS 18521 WITH SCORE 18542.415
AT ITER 101 NEW BEST:: SOT 86820 SOS 21314 HAS SOPS 21314 HAS SOUS 18420 HAS SOUPS 18420 WITH SCORE 18441.314
AT ITER 109 NEW BEST:: SOT 86811 SOS 21411 HAS SOPS 21411 HAS SOUS 18411 HAS SOUPS 18411 WITH SCORE 18432.411
AT ITER 117 NEW BEST:: SOT 86727 SOS 21402 HAS SOPS 21402 HAS SOUS 18402 HAS SOUPS 18402 WITH SCORE 18423.402
AT ITER 147 NEW BEST:: SOT 86721 SOS 21402 HAS SOPS 21402 HAS SOUS 18396 HAS SOUPS 18396 WITH SCORE 18417.402
AT ITER 166 NEW BEST:: SOT 86734 SOS 21344 HAS SOPS 21344 HAS SOUS 18363 HAS SOUPS 18363 WITH SCORE 18384.344
AT ITER 173 NEW BEST:: SOT 86734 SOS 21297 HAS SOPS 21297 HAS SOUS 18353 HAS SOUPS 18353 WITH SCORE 18374.297
AT ITER 223 NEW BEST:: SOT 86741 SOS 21288 HAS SOPS 21288 HAS SOUS 18344 HAS SOUPS 18344 WITH SCORE 18365.288
AT ITER 224 NEW BEST:: SOT 86690 SOS 21142 HAS SOPS 21142 HAS SOUS 18286 HAS SOUPS 18286 WITH SCORE 18307.142
AT ITER 230 NEW BEST:: SOT 86643 SOS 21048 HAS SOPS 21048 HAS SOUS 18192 HAS SOUPS 18192 WITH SCORE 18213.048
AT ITER 236 NEW BEST:: SOT 86641 SOS 21042 HAS SOPS 21042 HAS SOUS 18186 HAS SOUPS 18186 WITH SCORE 18207.042
AT ITER 239 NEW BEST:: SOT 86593 SOS 20994 HAS SOPS 20994 HAS SOUS 18128 HAS SOUPS 18128 WITH SCORE 18148.994
AT ITER 250 NEW BEST:: SOT 86593 SOS 20920 HAS SOPS 20920 HAS SOUS 18091 HAS SOUPS 18091 WITH SCORE 18111.92
AT ITER 261 NEW BEST:: SOT 86593 SOS 20905 HAS SOPS 20905 HAS SOUS 18076 HAS SOUPS 18076 WITH SCORE 18096.905
AT ITER 265 NEW BEST:: SOT 86307 SOS 20865 HAS SOPS 20865 HAS SOUS 17811 HAS SOUPS 17811 WITH SCORE 17831.865
AT ITER 280 NEW BEST:: SOT 86346 SOS 20861 HAS SOPS 20861 HAS SOUS 17807 HAS SOUPS 17807 WITH SCORE 17827.861
AT ITER 286 NEW BEST:: SOT 86346 SOS 20850 HAS SOPS 20850 HAS SOUS 17796 HAS SOUPS 17796 WITH SCORE 17816.85
AT ITER 288 NEW BEST:: SOT 86338 SOS 20834 HAS SOPS 20834 HAS SOUS 17780 HAS SOUPS 17780 WITH SCORE 17800.834
AT ITER 293 NEW BEST:: SOT 85446 SOS 22108 HAS SOPS 22108 HAS SOUS 17218 HAS SOUPS 17218 WITH SCORE 17240.108
AT ITER 303 NEW BEST:: SOT 85446 SOS 22086 HAS SOPS 22086 HAS SOUS 17196 HAS SOUPS 17196 WITH SCORE 17218.086
AT ITER 329 NEW BEST:: SOT 85444 SOS 22082 HAS SOPS 22082 HAS SOUS 17192 HAS SOUPS 17192 WITH SCORE 17214.082
AT ITER 367 NEW BEST:: SOT 85451 SOS 22043 HAS SOPS 22043 HAS SOUS 17171 HAS SOUPS 17171 WITH SCORE 17193.043
AT ITER 385 NEW BEST:: SOT 85345 SOS 21868 HAS SOPS 21868 HAS SOUS 17013 HAS SOUPS 17013 WITH SCORE 17034.868
AT ITER 400 NEW BEST:: SOT 85412 SOS 21900 HAS SOPS 21900 HAS SOUS 17007 HAS SOUPS 17007 WITH SCORE 17028.9
AT ITER 404 NEW BEST:: SOT 85412 SOS 21899 HAS SOPS 21899 HAS SOUS 17006 HAS SOUPS 17006 WITH SCORE 17027.899
AT ITER 415 NEW BEST:: SOT 85338 SOS 21844 HAS SOPS 21844 HAS SOUS 16951 HAS SOUPS 16951 WITH SCORE 16972.844
AT ITER 420 NEW BEST:: SOT 85262 SOS 21692 HAS SOPS 21692 HAS SOUS 16923 HAS SOUPS 16923 WITH SCORE 16944.692
AT ITER 426 NEW BEST:: SOT 85211 SOS 21641 HAS SOPS 21641 HAS SOUS 16916 HAS SOUPS 16916 WITH SCORE 16937.641
AT ITER 431 NEW BEST:: SOT 85211 SOS 21639 HAS SOPS 21639 HAS SOUS 16914 HAS SOUPS 16914 WITH SCORE 16935.639
AT ITER 437 NEW BEST:: SOT 85192 SOS 21602 HAS SOPS 21602 HAS SOUS 16876 HAS SOUPS 16876 WITH SCORE 16897.602
AT ITER 486 NEW BEST:: SOT 85135 SOS 21488 HAS SOPS 21488 HAS SOUS 16780 HAS SOUPS 16780 WITH SCORE 16801.488
AT ITER 493 NEW BEST:: SOT 85107 SOS 21432 HAS SOPS 21432 HAS SOUS 16724 HAS SOUPS 16724 WITH SCORE 16745.432
AT ITER 516 NEW BEST:: SOT 85107 SOS 21400 HAS SOPS 21400 HAS SOUS 16724 HAS SOUPS 16724 WITH SCORE 16745.4
AT ITER 518 NEW BEST:: SOT 85089 SOS 21381 HAS SOPS 21381 HAS SOUS 16706 HAS SOUPS 16706 WITH SCORE 16727.381
AT ITER 530 NEW BEST:: SOT 85046 SOS 21337 HAS SOPS 21337 HAS SOUS 16705 HAS SOUPS 16705 WITH SCORE 16726.337
AT ITER 532 NEW BEST:: SOT 85071 SOS 21275 HAS SOPS 21275 HAS SOUS 16698 HAS SOUPS 16698 WITH SCORE 16719.275
AT ITER 543 NEW BEST:: SOT 84981 SOS 21177 HAS SOPS 21177 HAS SOUS 16608 HAS SOUPS 16608 WITH SCORE 16629.177
AT ITER 546 NEW BEST:: SOT 84965 SOS 21161 HAS SOPS 21161 HAS SOUS 16592 HAS SOUPS 16592 WITH SCORE 16613.161
AT ITER 565 NEW BEST:: SOT 84963 SOS 21159 HAS SOPS 21159 HAS SOUS 16590 HAS SOUPS 16590 WITH SCORE 16611.159
AT ITER 567 NEW BEST:: SOT 84916 SOS 21065 HAS SOPS 21065 HAS SOUS 16530 HAS SOUPS 16530 WITH SCORE 16551.065
AT ITER 572 NEW BEST:: SOT 84889 SOS 20973 HAS SOPS 20973 HAS SOUS 16438 HAS SOUPS 16438 WITH SCORE 16458.973
AT ITER 576 NEW BEST:: SOT 84299 SOS 22451 HAS SOPS 22451 HAS SOUS 16042 HAS SOUPS 16042 WITH SCORE 16064.451
AT ITER 578 NEW BEST:: SOT 84168 SOS 22381 HAS SOPS 22381 HAS SOUS 15924 HAS SOUPS 15924 WITH SCORE 15946.381
AT ITER 582 NEW BEST:: SOT 84115 SOS 22328 HAS SOPS 22328 HAS SOUS 15871 HAS SOUPS 15871 WITH SCORE 15893.328
AT ITER 597 NEW BEST:: SOT 84180 SOS 22295 HAS SOPS 22295 HAS SOUS 15867 HAS SOUPS 15867 WITH SCORE 15889.295
AT ITER 611 NEW BEST:: SOT 84180 SOS 22265 HAS SOPS 22265 HAS SOUS 15850 HAS SOUPS 15850 WITH SCORE 15872.265
AT ITER 623 NEW BEST:: SOT 84192 SOS 22240 HAS SOPS 22240 HAS SOUS 15829 HAS SOUPS 15829 WITH SCORE 15851.24
AT ITER 625 NEW BEST:: SOT 84185 SOS 22226 HAS SOPS 22226 HAS SOUS 15808 HAS SOUPS 15808 WITH SCORE 15830.226
AT ITER 626 NEW BEST:: SOT 84185 SOS 22188 HAS SOPS 22188 HAS SOUS 15768 HAS SOUPS 15768 WITH SCORE 15790.188
AT ITER 627 NEW BEST:: SOT 84142 SOS 22120 HAS SOPS 22120 HAS SOUS 15667 HAS SOUPS 15667 WITH SCORE 15689.12
AT ITER 648 NEW BEST:: SOT 84125 SOS 22103 HAS SOPS 22103 HAS SOUS 15650 HAS SOUPS 15650 WITH SCORE 15672.103
AT ITER 661 NEW BEST:: SOT 84112 SOS 21895 HAS SOPS 21895 HAS SOUS 15624 HAS SOUPS 15624 WITH SCORE 15645.895
AT ITER 667 NEW BEST:: SOT 84100 SOS 21845 HAS SOPS 21845 HAS SOUS 15543 HAS SOUPS 15543 WITH SCORE 15564.845
AT ITER 679 NEW BEST:: SOT 84078 SOS 21823 HAS SOPS 21823 HAS SOUS 15543 HAS SOUPS 15543 WITH SCORE 15564.823
AT ITER 680 NEW BEST:: SOT 84036 SOS 22013 HAS SOPS 22013 HAS SOUS 15533 HAS SOUPS 15533 WITH SCORE 15555.013
AT ITER 708 NEW BEST:: SOT 83786 SOS 22767 HAS SOPS 22767 HAS SOUS 15463 HAS SOUPS 15463 WITH SCORE 15485.767
AT ITER 729 NEW BEST:: SOT 83786 SOS 22748 HAS SOPS 22748 HAS SOUS 15444 HAS SOUPS 15444 WITH SCORE 15466.748
AT ITER 748 NEW BEST:: SOT 83761 SOS 22698 HAS SOPS 22698 HAS SOUS 15394 HAS SOUPS 15394 WITH SCORE 15416.698
AT ITER 756 NEW BEST:: SOT 83683 SOS 22672 HAS SOPS 22672 HAS SOUS 15389 HAS SOUPS 15389 WITH SCORE 15411.672
AT ITER 760 NEW BEST:: SOT 83683 SOS 22644 HAS SOPS 22644 HAS SOUS 15361 HAS SOUPS 15361 WITH SCORE 15383.644
AT ITER 763 NEW BEST:: SOT 83635 SOS 23491 HAS SOPS 23491 HAS SOUS 15359 HAS SOUPS 15359 WITH SCORE 15382.491
AT ITER 788 NEW BEST:: SOT 83664 SOS 23512 HAS SOPS 23512 HAS SOUS 15352 HAS SOUPS 15352 WITH SCORE 15375.512
AT ITER 791 NEW BEST:: SOT 83664 SOS 23511 HAS SOPS 23511 HAS SOUS 15351 HAS SOUPS 15351 WITH SCORE 15374.511
AT ITER 803 NEW BEST:: SOT 83632 SOS 23510 HAS SOPS 23510 HAS SOUS 15348 HAS SOUPS 15348 WITH SCORE 15371.51
AT ITER 813 NEW BEST:: SOT 83629 SOS 23501 HAS SOPS 23501 HAS SOUS 15342 HAS SOUPS 15342 WITH SCORE 15365.501
AT ITER 821 NEW BEST:: SOT 83588 SOS 23419 HAS SOPS 23419 HAS SOUS 15301 HAS SOUPS 15301 WITH SCORE 15324.419
AT ITER 823 NEW BEST:: SOT 83576 SOS 23395 HAS SOPS 23395 HAS SOUS 15277 HAS SOUPS 15277 WITH SCORE 15300.395
AT ITER 828 NEW BEST:: SOT 83510 SOS 23313 HAS SOPS 23313 HAS SOUS 15244 HAS SOUPS 15244 WITH SCORE 15267.313
AT ITER 845 NEW BEST:: SOT 83489 SOS 23292 HAS SOPS 23292 HAS SOUS 15242 HAS SOUPS 15242 WITH SCORE 15265.292
AT ITER 889 NEW BEST:: SOT 83489 SOS 23250 HAS SOPS 23250 HAS SOUS 15200 HAS SOUPS 15200 WITH SCORE 15223.25
AT ITER 898 NEW BEST:: SOT 83503 SOS 23238 HAS SOPS 23238 HAS SOUS 15188 HAS SOUPS 15188 WITH SCORE 15211.238
AT ITER 906 NEW BEST:: SOT 83462 SOS 23154 HAS SOPS 23154 HAS SOUS 15145 HAS SOUPS 15145 WITH SCORE 15168.154
AT ITER 911 NEW BEST:: SOT 83434 SOS 23126 HAS SOPS 23126 HAS SOUS 15131 HAS SOUPS 15131 WITH SCORE 15154.126
AT ITER 960 NEW BEST:: SOT 83431 SOS 23120 HAS SOPS 23120 HAS SOUS 15128 HAS SOUPS 15128 WITH SCORE 15151.12
AT ITER 987 NEW BEST:: SOT 83400 SOS 23097 HAS SOPS 23097 HAS SOUS 15105 HAS SOUPS 15105 WITH SCORE 15128.097
AT ITER 990 NEW BEST:: SOT 83372 SOS 23069 HAS SOPS 23069 HAS SOUS 15077 HAS SOUPS 15077 WITH SCORE 15100.069
AT ITER 999 NEW BEST:: SOT 83429 SOS 23052 HAS SOPS 23052 HAS SOUS 15055 HAS SOUPS 15055 WITH SCORE 15078.052
AT ITER 1001 NEW BEST:: SOT 83349 SOS 22965 HAS SOPS 22965 HAS SOUS 15048 HAS SOUPS 15048 WITH SCORE 15070.965
AT ITER 1022 NEW BEST:: SOT 83326 SOS 22942 HAS SOPS 22942 HAS SOUS 15045 HAS SOUPS 15045 WITH SCORE 15067.942
AT ITER 1030 NEW BEST:: SOT 83313 SOS 22929 HAS SOPS 22929 HAS SOUS 15045 HAS SOUPS 15045 WITH SCORE 15067.929
AT ITER 1047 NEW BEST:: SOT 83247 SOS 23457 HAS SOPS 23457 HAS SOUS 15012 HAS SOUPS 15012 WITH SCORE 15035.457
AT ITER 1048 NEW BEST:: SOT 83245 SOS 23456 HAS SOPS 23456 HAS SOUS 15011 HAS SOUPS 15011 WITH SCORE 15034.456
AT ITER 1051 NEW BEST:: SOT 83206 SOS 23378 HAS SOPS 23378 HAS SOUS 14998 HAS SOUPS 14998 WITH SCORE 15021.378
AT ITER 1065 NEW BEST:: SOT 83206 SOS 23366 HAS SOPS 23366 HAS SOUS 14986 HAS SOUPS 14986 WITH SCORE 15009.366
AT ITER 1073 NEW BEST:: SOT 83068 SOS 23195 HAS SOPS 23195 HAS SOUS 14904 HAS SOUPS 14904 WITH SCORE 14927.195
AT ITER 1078 NEW BEST:: SOT 83067 SOS 23193 HAS SOPS 23193 HAS SOUS 14902 HAS SOUPS 14902 WITH SCORE 14925.193
AT ITER 1107 NEW BEST:: SOT 83055 SOS 23169 HAS SOPS 23169 HAS SOUS 14890 HAS SOUPS 14890 WITH SCORE 14913.169
AT ITER 1137 NEW BEST:: SOT 83217 SOS 23241 HAS SOPS 23241 HAS SOUS 14856 HAS SOUPS 14856 WITH SCORE 14879.241
AT ITER 1143 NEW BEST:: SOT 83217 SOS 23241 HAS SOPS 23241 HAS SOUS 14855 HAS SOUPS 14855 WITH SCORE 14878.241
AT ITER 1156 NEW BEST:: SOT 83217 SOS 23241 HAS SOPS 23241 HAS SOUS 14844 HAS SOUPS 14844 WITH SCORE 14867.241
AT ITER 1169 NEW BEST:: SOT 83213 SOS 23233 HAS SOPS 23233 HAS SOUS 14843 HAS SOUPS 14843 WITH SCORE 14866.233
AT ITER 1173 NEW BEST:: SOT 83213 SOS 23233 HAS SOPS 23233 HAS SOUS 14783 HAS SOUPS 14783 WITH SCORE 14806.233
AT ITER 1176 NEW BEST:: SOT 83198 SOS 23203 HAS SOPS 23203 HAS SOUS 14753 HAS SOUPS 14753 WITH SCORE 14776.203
AT ITER 1182 NEW BEST:: SOT 83183 SOS 23191 HAS SOPS 23191 HAS SOUS 14741 HAS SOUPS 14741 WITH SCORE 14764.191
AT ITER 1194 NEW BEST:: SOT 83098 SOS 23113 HAS SOPS 23113 HAS SOUS 14691 HAS SOUPS 14691 WITH SCORE 14714.113
AT ITER 1201 NEW BEST:: SOT 82953 SOS 22968 HAS SOPS 22968 HAS SOUS 14691 HAS SOUPS 14691 WITH SCORE 14713.968
AT ITER 1203 NEW BEST:: SOT 82959 SOS 22957 HAS SOPS 22957 HAS SOUS 14680 HAS SOUPS 14680 WITH SCORE 14702.957
AT ITER 1205 NEW BEST:: SOT 82959 SOS 22951 HAS SOPS 22951 HAS SOUS 14674 HAS SOUPS 14674 WITH SCORE 14696.951
AT ITER 1222 NEW BEST:: SOT 82942 SOS 22917 HAS SOPS 22917 HAS SOUS 14657 HAS SOUPS 14657 WITH SCORE 14679.917
AT ITER 1223 NEW BEST:: SOT 82928 SOS 22889 HAS SOPS 22889 HAS SOUS 14643 HAS SOUPS 14643 WITH SCORE 14665.889
AT ITER 1238 NEW BEST:: SOT 82871 SOS 22832 HAS SOPS 22832 HAS SOUS 14586 HAS SOUPS 14586 WITH SCORE 14608.832
AT ITER 1244 NEW BEST:: SOT 82820 SOS 22781 HAS SOPS 22781 HAS SOUS 14586 HAS SOUPS 14586 WITH SCORE 14608.781
AT ITER 1264 NEW BEST:: SOT 82797 SOS 22735 HAS SOPS 22735 HAS SOUS 14555 HAS SOUPS 14555 WITH SCORE 14577.735
AT ITER 1268 NEW BEST:: SOT 82793 SOS 22823 HAS SOPS 22823 HAS SOUS 14551 HAS SOUPS 14551 WITH SCORE 14573.823
AT ITER 1333 NEW BEST:: SOT 82774 SOS 22785 HAS SOPS 22785 HAS SOUS 14532 HAS SOUPS 14532 WITH SCORE 14554.785
AT ITER 1348 NEW BEST:: SOT 82732 SOS 22666 HAS SOPS 22666 HAS SOUS 14531 HAS SOUPS 14531 WITH SCORE 14553.666
AT ITER 1358 NEW BEST:: SOT 82726 SOS 22660 HAS SOPS 22660 HAS SOUS 14525 HAS SOUPS 14525 WITH SCORE 14547.66
AT ITER 1363 NEW BEST:: SOT 82720 SOS 22658 HAS SOPS 22658 HAS SOUS 14523 HAS SOUPS 14523 WITH SCORE 14545.658
AT ITER 1385 NEW BEST:: SOT 82709 SOS 22636 HAS SOPS 22636 HAS SOUS 14489 HAS SOUPS 14489 WITH SCORE 14511.636
AT ITER 1395 NEW BEST:: SOT 82665 SOS 22548 HAS SOPS 22548 HAS SOUS 14456 HAS SOUPS 14456 WITH SCORE 14478.548
AT ITER 1399 NEW BEST:: SOT 82665 SOS 22548 HAS SOPS 22548 HAS SOUS 14418 HAS SOUPS 14418 WITH SCORE 14440.548
AT ITER 1414 NEW BEST:: SOT 82658 SOS 22534 HAS SOPS 22534 HAS SOUS 14404 HAS SOUPS 14404 WITH SCORE 14426.534
AT ITER 1420 NEW BEST:: SOT 82629 SOS 22505 HAS SOPS 22505 HAS SOUS 14375 HAS SOUPS 14375 WITH SCORE 14397.505
AT ITER 1422 NEW BEST:: SOT 82452 SOS 23356 HAS SOPS 23356 HAS SOUS 14305 HAS SOUPS 14305 WITH SCORE 14328.356
AT ITER 1423 NEW BEST:: SOT 82464 SOS 23259 HAS SOPS 23259 HAS SOUS 14208 HAS SOUPS 14208 WITH SCORE 14231.259
AT ITER 1427 NEW BEST:: SOT 82446 SOS 23268 HAS SOPS 23268 HAS SOUS 14204 HAS SOUPS 14204 WITH SCORE 14227.268
AT ITER 1428 NEW BEST:: SOT 82463 SOS 23302 HAS SOPS 23302 HAS SOUS 14161 HAS SOUPS 14161 WITH SCORE 14184.302
AT ITER 1455 NEW BEST:: SOT 82444 SOS 23279 HAS SOPS 23279 HAS SOUS 14153 HAS SOUPS 14153 WITH SCORE 14176.279
AT ITER 1472 NEW BEST:: SOT 82444 SOS 23182 HAS SOPS 23182 HAS SOUS 14153 HAS SOUPS 14153 WITH SCORE 14176.182
AT ITER 1483 NEW BEST:: SOT 82444 SOS 23171 HAS SOPS 23171 HAS SOUS 14153 HAS SOUPS 14153 WITH SCORE 14176.171
AT ITER 1495 NEW BEST:: SOT 82421 SOS 23123 HAS SOPS 23123 HAS SOUS 14105 HAS SOUPS 14105 WITH SCORE 14128.123
AT ITER 1506 NEW BEST:: SOT 82411 SOS 23113 HAS SOPS 23113 HAS SOUS 14105 HAS SOUPS 14105 WITH SCORE 14128.113
AT ITER 1508 NEW BEST:: SOT 82411 SOS 23094 HAS SOPS 23094 HAS SOUS 14086 HAS SOUPS 14086 WITH SCORE 14109.094
AT ITER 1516 NEW BEST:: SOT 82402 SOS 22970 HAS SOPS 22970 HAS SOUS 14066 HAS SOUPS 14066 WITH SCORE 14088.97
AT ITER 1518 NEW BEST:: SOT 82358 SOS 22920 HAS SOPS 22920 HAS SOUS 14040 HAS SOUPS 14040 WITH SCORE 14062.92
AT ITER 1553 NEW BEST:: SOT 82349 SOS 22893 HAS SOPS 22893 HAS SOUS 14022 HAS SOUPS 14022 WITH SCORE 14044.893
AT ITER 1616 NEW BEST:: SOT 82226 SOS 22727 HAS SOPS 22727 HAS SOUS 13978 HAS SOUPS 13978 WITH SCORE 14000.727
AT ITER 1617 NEW BEST:: SOT 82213 SOS 22765 HAS SOPS 22765 HAS SOUS 13967 HAS SOUPS 13967 WITH SCORE 13989.765
AT ITER 1629 NEW BEST:: SOT 82190 SOS 22742 HAS SOPS 22742 HAS SOUS 13967 HAS SOUPS 13967 WITH SCORE 13989.742
AT ITER 1661 NEW BEST:: SOT 82190 SOS 22742 HAS SOPS 22742 HAS SOUS 13949 HAS SOUPS 13949 WITH SCORE 13971.742
AT ITER 1668 NEW BEST:: SOT 82153 SOS 22696 HAS SOPS 22696 HAS SOUS 13871 HAS SOUPS 13871 WITH SCORE 13893.696
AT ITER 1702 NEW BEST:: SOT 82153 SOS 22696 HAS SOPS 22696 HAS SOUS 13861 HAS SOUPS 13861 WITH SCORE 13883.696
AT ITER 1710 NEW BEST:: SOT 82151 SOS 22694 HAS SOPS 22694 HAS SOUS 13859 HAS SOUPS 13859 WITH SCORE 13881.694
AT ITER 1722 NEW BEST:: SOT 82110 SOS 22636 HAS SOPS 22636 HAS SOUS 13801 HAS SOUPS 13801 WITH SCORE 13823.636
AT ITER 1747 NEW BEST:: SOT 82084 SOS 22585 HAS SOPS 22585 HAS SOUS 13761 HAS SOUPS 13761 WITH SCORE 13783.585
AT ITER 1793 NEW BEST:: SOT 82087 SOS 22591 HAS SOPS 22591 HAS SOUS 13760 HAS SOUPS 13760 WITH SCORE 13782.591
AT ITER 1808 NEW BEST:: SOT 82087 SOS 22591 HAS SOPS 22591 HAS SOUS 13735 HAS SOUPS 13735 WITH SCORE 13757.591
AT ITER 1825 NEW BEST:: SOT 82084 SOS 22585 HAS SOPS 22585 HAS SOUS 13729 HAS SOUPS 13729 WITH SCORE 13751.585
AT ITER 1826 NEW BEST:: SOT 82084 SOS 22575 HAS SOPS 22575 HAS SOUS 13719 HAS SOUPS 13719 WITH SCORE 13741.575
AT ITER 1827 NEW BEST:: SOT 82004 SOS 22495 HAS SOPS 22495 HAS SOUS 13639 HAS SOUPS 13639 WITH SCORE 13661.495
AT ITER 1829 NEW BEST:: SOT 82008 SOS 22490 HAS SOPS 22490 HAS SOUS 13634 HAS SOUPS 13634 WITH SCORE 13656.49
AT ITER 1864 NEW BEST:: SOT 81966 SOS 21092 HAS SOPS 21092 HAS SOUS 13451 HAS SOUPS 13451 WITH SCORE 13472.092
AT ITER 1867 NEW BEST:: SOT 81950 SOS 21074 HAS SOPS 21074 HAS SOUS 13435 HAS SOUPS 13435 WITH SCORE 13456.074
AT ITER 1883 NEW BEST:: SOT 81738 SOS 23078 HAS SOPS 23078 HAS SOUS 13396 HAS SOUPS 13396 WITH SCORE 13419.078
AT ITER 1904 NEW BEST:: SOT 81728 SOS 23068 HAS SOPS 23068 HAS SOUS 13390 HAS SOUPS 13390 WITH SCORE 13413.068
AT ITER 1943 NEW BEST:: SOT 81679 SOS 22970 HAS SOPS 22970 HAS SOUS 13369 HAS SOUPS 13369 WITH SCORE 13391.97
AT ITER 1967 NEW BEST:: SOT 81672 SOS 22959 HAS SOPS 22959 HAS SOUS 13359 HAS SOUPS 13359 WITH SCORE 13381.959
AT ITER 2001 NEW BEST:: SOT 81640 SOS 22940 HAS SOPS 22940 HAS SOUS 13356 HAS SOUPS 13356 WITH SCORE 13378.94
AT ITER 2022 NEW BEST:: SOT 81637 SOS 22934 HAS SOPS 22934 HAS SOUS 13353 HAS SOUPS 13353 WITH SCORE 13375.934
AT ITER 2037 NEW BEST:: SOT 81589 SOS 22838 HAS SOPS 22838 HAS SOUS 13257 HAS SOUPS 13257 WITH SCORE 13279.838
AT ITER 2040 NEW BEST:: SOT 81565 SOS 22814 HAS SOPS 22814 HAS SOUS 13256 HAS SOUPS 13256 WITH SCORE 13278.814
AT ITER 2041 NEW BEST:: SOT 81565 SOS 22807 HAS SOPS 22807 HAS SOUS 13252 HAS SOUPS 13252 WITH SCORE 13274.807
AT ITER 2056 NEW BEST:: SOT 81554 SOS 22785 HAS SOPS 22785 HAS SOUS 13241 HAS SOUPS 13241 WITH SCORE 13263.785
AT ITER 2057 NEW BEST:: SOT 81529 SOS 22735 HAS SOPS 22735 HAS SOUS 13236 HAS SOUPS 13236 WITH SCORE 13258.735
AT ITER 2059 NEW BEST:: SOT 81636 SOS 22794 HAS SOPS 22794 HAS SOUS 13219 HAS SOUPS 13219 WITH SCORE 13241.794
AT ITER 2064 NEW BEST:: SOT 81873 SOS 20757 HAS SOPS 20757 HAS SOUS 13218 HAS SOUPS 13218 WITH SCORE 13238.757
AT ITER 2068 NEW BEST:: SOT 81873 SOS 20753 HAS SOPS 20753 HAS SOUS 13214 HAS SOUPS 13214 WITH SCORE 13234.753
AT ITER 2093 NEW BEST:: SOT 81853 SOS 20730 HAS SOPS 20730 HAS SOUS 13182 HAS SOUPS 13182 WITH SCORE 13202.73
AT ITER 2149 NEW BEST:: SOT 81794 SOS 20612 HAS SOPS 20612 HAS SOUS 13123 HAS SOUPS 13123 WITH SCORE 13143.612
AT ITER 2162 NEW BEST:: SOT 81745 SOS 20489 HAS SOPS 20489 HAS SOUS 13075 HAS SOUPS 13075 WITH SCORE 13095.489
AT ITER 2171 NEW BEST:: SOT 81737 SOS 20481 HAS SOPS 20481 HAS SOUS 13067 HAS SOUPS 13067 WITH SCORE 13087.481
AT ITER 2172 NEW BEST:: SOT 81719 SOS 20445 HAS SOPS 20445 HAS SOUS 13031 HAS SOUPS 13031 WITH SCORE 13051.445
AT ITER 2183 NEW BEST:: SOT 81569 SOS 20439 HAS SOPS 20439 HAS SOUS 12905 HAS SOUPS 12905 WITH SCORE 12925.439
AT ITER 2216 NEW BEST:: SOT 81558 SOS 20417 HAS SOPS 20417 HAS SOUS 12883 HAS SOUPS 12883 WITH SCORE 12903.417
AT ITER 2224 NEW BEST:: SOT 81572 SOS 20429 HAS SOPS 20429 HAS SOUS 12789 HAS SOUPS 12789 WITH SCORE 12809.429
AT ITER 2251 NEW BEST:: SOT 81572 SOS 20429 HAS SOPS 20429 HAS SOUS 12776 HAS SOUPS 12776 WITH SCORE 12796.429
AT ITER 2260 NEW BEST:: SOT 81571 SOS 20428 HAS SOPS 20428 HAS SOUS 12774 HAS SOUPS 12774 WITH SCORE 12794.428
AT ITER 2266 NEW BEST:: SOT 81564 SOS 20389 HAS SOPS 20389 HAS SOUS 12760 HAS SOUPS 12760 WITH SCORE 12780.389
AT ITER 2268 NEW BEST:: SOT 81564 SOS 20389 HAS SOPS 20389 HAS SOUS 12748 HAS SOUPS 12748 WITH SCORE 12768.389
AT ITER 2269 NEW BEST:: SOT 81565 SOS 20372 HAS SOPS 20372 HAS SOUS 12731 HAS SOUPS 12731 WITH SCORE 12751.372
AT ITER 2309 NEW BEST:: SOT 81346 SOS 20058 HAS SOPS 20058 HAS SOUS 12664 HAS SOUPS 12664 WITH SCORE 12684.058
AT ITER 2313 NEW BEST:: SOT 81217 SOS 19929 HAS SOPS 19929 HAS SOUS 12664 HAS SOUPS 12664 WITH SCORE 12683.929
AT ITER 2337 NEW BEST:: SOT 81216 SOS 19927 HAS SOPS 19927 HAS SOUS 12662 HAS SOUPS 12662 WITH SCORE 12681.927
AT ITER 2348 NEW BEST:: SOT 81190 SOS 19875 HAS SOPS 19875 HAS SOUS 12659 HAS SOUPS 12659 WITH SCORE 12678.875
AT ITER 2355 NEW BEST:: SOT 81179 SOS 19853 HAS SOPS 19853 HAS SOUS 12637 HAS SOUPS 12637 WITH SCORE 12656.853
AT ITER 2358 NEW BEST:: SOT 81165 SOS 19839 HAS SOPS 19839 HAS SOUS 12637 HAS SOUPS 12637 WITH SCORE 12656.839
AT ITER 2368 NEW BEST:: SOT 81150 SOS 19809 HAS SOPS 19809 HAS SOUS 12620 HAS SOUPS 12620 WITH SCORE 12639.809
AT ITER 2371 NEW BEST:: SOT 81227 SOS 19838 HAS SOPS 19838 HAS SOUS 12569 HAS SOUPS 12569 WITH SCORE 12588.838
AT ITER 2376 NEW BEST:: SOT 81208 SOS 19783 HAS SOPS 19783 HAS SOUS 12538 HAS SOUPS 12538 WITH SCORE 12557.783
AT ITER 2383 NEW BEST:: SOT 81267 SOS 19840 HAS SOPS 19840 HAS SOUS 12520 HAS SOUPS 12520 WITH SCORE 12539.84
AT ITER 2393 NEW BEST:: SOT 81259 SOS 19824 HAS SOPS 19824 HAS SOUS 12501 HAS SOUPS 12501 WITH SCORE 12520.824
AT ITER 2412 NEW BEST:: SOT 81259 SOS 19800 HAS SOPS 19800 HAS SOUS 12501 HAS SOUPS 12501 WITH SCORE 12520.8
AT ITER 2423 NEW BEST:: SOT 81238 SOS 19705 HAS SOPS 19705 HAS SOUS 12406 HAS SOUPS 12406 WITH SCORE 12425.705
AT ITER 2425 NEW BEST:: SOT 81238 SOS 19697 HAS SOPS 19697 HAS SOUS 12398 HAS SOUPS 12398 WITH SCORE 12417.697
AT ITER 2435 NEW BEST:: SOT 81226 SOS 19685 HAS SOPS 19685 HAS SOUS 12386 HAS SOUPS 12386 WITH SCORE 12405.685
AT ITER 2459 NEW BEST:: SOT 81181 SOS 19595 HAS SOPS 19595 HAS SOUS 12378 HAS SOUPS 12378 WITH SCORE 12397.595
AT ITER 2485 NEW BEST:: SOT 81180 SOS 19594 HAS SOPS 19594 HAS SOUS 12377 HAS SOUPS 12377 WITH SCORE 12396.594
AT ITER 2492 NEW BEST:: SOT 81178 SOS 19592 HAS SOPS 19592 HAS SOUS 12373 HAS SOUPS 12373 WITH SCORE 12392.592
AT ITER 2499 NEW BEST:: SOT 81172 SOS 19586 HAS SOPS 19586 HAS SOUS 12367 HAS SOUPS 12367 WITH SCORE 12386.586
AT ITER 2506 NEW BEST:: SOT 81102 SOS 19446 HAS SOPS 19446 HAS SOUS 12294 HAS SOUPS 12294 WITH SCORE 12313.446
AT ITER 2545 NEW BEST:: SOT 81100 SOS 19443 HAS SOPS 19443 HAS SOUS 12291 HAS SOUPS 12291 WITH SCORE 12310.443
AT ITER 2577 NEW BEST:: SOT 81084 SOS 19411 HAS SOPS 19411 HAS SOUS 12275 HAS SOUPS 12275 WITH SCORE 12294.411
AT ITER 2578 NEW BEST:: SOT 81081 SOS 19379 HAS SOPS 19379 HAS SOUS 12264 HAS SOUPS 12264 WITH SCORE 12283.379
AT ITER 2594 NEW BEST:: SOT 81103 SOS 18520 HAS SOPS 18520 HAS SOUS 12263 HAS SOUPS 12263 WITH SCORE 12281.52
AT ITER 2596 NEW BEST:: SOT 81099 SOS 18539 HAS SOPS 18539 HAS SOUS 12255 HAS SOUPS 12255 WITH SCORE 12273.539
AT ITER 2600 NEW BEST:: SOT 81094 SOS 18517 HAS SOPS 18517 HAS SOUS 12248 HAS SOUPS 12248 WITH SCORE 12266.517
AT ITER 2601 NEW BEST:: SOT 81090 SOS 18513 HAS SOPS 18513 HAS SOUS 12244 HAS SOUPS 12244 WITH SCORE 12262.513
AT ITER 2615 NEW BEST:: SOT 81073 SOS 18479 HAS SOPS 18479 HAS SOUS 12207 HAS SOUPS 12207 WITH SCORE 12225.479
AT ITER 2623 NEW BEST:: SOT 81051 SOS 18435 HAS SOPS 18435 HAS SOUS 12185 HAS SOUPS 12185 WITH SCORE 12203.435
AT ITER 2639 NEW BEST:: SOT 80990 SOS 18313 HAS SOPS 18313 HAS SOUS 12151 HAS SOUPS 12151 WITH SCORE 12169.313
AT ITER 2649 NEW BEST:: SOT 80982 SOS 18305 HAS SOPS 18305 HAS SOUS 12143 HAS SOUPS 12143 WITH SCORE 12161.305
AT ITER 2688 NEW BEST:: SOT 80966 SOS 18289 HAS SOPS 18289 HAS SOUS 12142 HAS SOUPS 12142 WITH SCORE 12160.289
AT ITER 2747 NEW BEST:: SOT 80952 SOS 18317 HAS SOPS 18317 HAS SOUS 12114 HAS SOUPS 12114 WITH SCORE 12132.317
AT ITER 2756 NEW BEST:: SOT 80949 SOS 18308 HAS SOPS 18308 HAS SOUS 12108 HAS SOUPS 12108 WITH SCORE 12126.308
AT ITER 2776 NEW BEST:: SOT 80940 SOS 18316 HAS SOPS 18316 HAS SOUS 12107 HAS SOUPS 12107 WITH SCORE 12125.316
AT ITER 2805 NEW BEST:: SOT 80932 SOS 18006 HAS SOPS 18006 HAS SOUS 12078 HAS SOUPS 12078 WITH SCORE 12096.006
AT ITER 2810 NEW BEST:: SOT 80931 SOS 18005 HAS SOPS 18005 HAS SOUS 12078 HAS SOUPS 12078 WITH SCORE 12096.005
AT ITER 2815 NEW BEST:: SOT 80793 SOS 17798 HAS SOPS 17798 HAS SOUS 12009 HAS SOUPS 12009 WITH SCORE 12026.798
AT ITER 2844 NEW BEST:: SOT 80784 SOS 17757 HAS SOPS 17757 HAS SOUS 11977 HAS SOUPS 11977 WITH SCORE 11994.757
AT ITER 2870 NEW BEST:: SOT 80784 SOS 17757 HAS SOPS 17757 HAS SOUS 11949 HAS SOUPS 11949 WITH SCORE 11966.757
AT ITER 2881 NEW BEST:: SOT 80766 SOS 18068 HAS SOPS 18068 HAS SOUS 11931 HAS SOUPS 11931 WITH SCORE 11949.068
AT ITER 2907 NEW BEST:: SOT 80769 SOS 18066 HAS SOPS 18066 HAS SOUS 11925 HAS SOUPS 11925 WITH SCORE 11943.066
AT ITER 2951 NEW BEST:: SOT 80708 SOS 17944 HAS SOPS 17944 HAS SOUS 11863 HAS SOUPS 11863 WITH SCORE 11880.944
AT ITER 2954 NEW BEST:: SOT 80656 SOS 17911 HAS SOPS 17911 HAS SOUS 11830 HAS SOUPS 11830 WITH SCORE 11847.911
AT ITER 2981 NEW BEST:: SOT 80639 SOS 17894 HAS SOPS 17894 HAS SOUS 11812 HAS SOUPS 11812 WITH SCORE 11829.894
AT ITER 2987 NEW BEST:: SOT 80630 SOS 17867 HAS SOPS 17867 HAS SOUS 11792 HAS SOUPS 11792 WITH SCORE 11809.867
AT ITER 2991 NEW BEST:: SOT 80628 SOS 17863 HAS SOPS 17863 HAS SOUS 11788 HAS SOUPS 11788 WITH SCORE 11805.863
AT ITER 3026 NEW BEST:: SOT 80628 SOS 17859 HAS SOPS 17859 HAS SOUS 11784 HAS SOUPS 11784 WITH SCORE 11801.859
AT ITER 3045 NEW BEST:: SOT 80627 SOS 17834 HAS SOPS 17834 HAS SOUS 11782 HAS SOUPS 11782 WITH SCORE 11799.834
AT ITER 3072 NEW BEST:: SOT 80615 SOS 17829 HAS SOPS 17829 HAS SOUS 11781 HAS SOUPS 11781 WITH SCORE 11798.829
AT ITER 3100 NEW BEST:: SOT 80615 SOS 17828 HAS SOPS 17828 HAS SOUS 11780 HAS SOUPS 11780 WITH SCORE 11797.828
AT ITER 3128 NEW BEST:: SOT 80596 SOS 17838 HAS SOPS 17838 HAS SOUS 11777 HAS SOUPS 11777 WITH SCORE 11794.838
AT ITER 3135 NEW BEST:: SOT 80605 SOS 17820 HAS SOPS 17820 HAS SOUS 11768 HAS SOUPS 11768 WITH SCORE 11785.82
AT ITER 3160 NEW BEST:: SOT 80599 SOS 17808 HAS SOPS 17808 HAS SOUS 11676 HAS SOUPS 11676 WITH SCORE 11693.808
AT ITER 3193 NEW BEST:: SOT 80598 SOS 17860 HAS SOPS 17860 HAS SOUS 11675 HAS SOUPS 11675 WITH SCORE 11692.86
AT ITER 3212 NEW BEST:: SOT 80598 SOS 17844 HAS SOPS 17844 HAS SOUS 11659 HAS SOUPS 11659 WITH SCORE 11676.844
AT ITER 3221 NEW BEST:: SOT 80587 SOS 17806 HAS SOPS 17806 HAS SOUS 11634 HAS SOUPS 11634 WITH SCORE 11651.806
AT ITER 3233 NEW BEST:: SOT 80545 SOS 17722 HAS SOPS 17722 HAS SOUS 11550 HAS SOUPS 11550 WITH SCORE 11567.722
AT ITER 3252 NEW BEST:: SOT 80311 SOS 18736 HAS SOPS 18736 HAS SOUS 11513 HAS SOUPS 11513 WITH SCORE 11531.736
AT ITER 3259 NEW BEST:: SOT 80308 SOS 18730 HAS SOPS 18730 HAS SOUS 11513 HAS SOUPS 11513 WITH SCORE 11531.73
AT ITER 3277 NEW BEST:: SOT 80301 SOS 18716 HAS SOPS 18716 HAS SOUS 11499 HAS SOUPS 11499 WITH SCORE 11517.716
AT ITER 3288 NEW BEST:: SOT 80316 SOS 18712 HAS SOPS 18712 HAS SOUS 11495 HAS SOUPS 11495 WITH SCORE 11513.712
AT ITER 3317 NEW BEST:: SOT 80306 SOS 18820 HAS SOPS 18820 HAS SOUS 11485 HAS SOUPS 11485 WITH SCORE 11503.82
AT ITER 3324 NEW BEST:: SOT 80308 SOS 18824 HAS SOPS 18824 HAS SOUS 11481 HAS SOUPS 11481 WITH SCORE 11499.824
AT ITER 3325 NEW BEST:: SOT 80308 SOS 18721 HAS SOPS 18721 HAS SOUS 11437 HAS SOUPS 11437 WITH SCORE 11455.721
AT ITER 3327 NEW BEST:: SOT 80295 SOS 18695 HAS SOPS 18695 HAS SOUS 11414 HAS SOUPS 11414 WITH SCORE 11432.695
AT ITER 3328 NEW BEST:: SOT 80285 SOS 18675 HAS SOPS 18675 HAS SOUS 11394 HAS SOUPS 11394 WITH SCORE 11412.675
AT ITER 3346 NEW BEST:: SOT 80296 SOS 18669 HAS SOPS 18669 HAS SOUS 11388 HAS SOUPS 11388 WITH SCORE 11406.669
AT ITER 3352 NEW BEST:: SOT 80296 SOS 18314 HAS SOPS 18314 HAS SOUS 11388 HAS SOUPS 11388 WITH SCORE 11406.314
AT ITER 3354 NEW BEST:: SOT 80217 SOS 18185 HAS SOPS 18185 HAS SOUS 11380 HAS SOUPS 11380 WITH SCORE 11398.185
AT ITER 3393 NEW BEST:: SOT 80158 SOS 18126 HAS SOPS 18126 HAS SOUS 11333 HAS SOUPS 11333 WITH SCORE 11351.126
AT ITER 3413 NEW BEST:: SOT 80110 SOS 18040 HAS SOPS 18040 HAS SOUS 11213 HAS SOUPS 11213 WITH SCORE 11231.04
AT ITER 3415 NEW BEST:: SOT 80110 SOS 18049 HAS SOPS 18049 HAS SOUS 11209 HAS SOUPS 11209 WITH SCORE 11227.049
AT ITER 3419 NEW BEST:: SOT 80094 SOS 18017 HAS SOPS 18017 HAS SOUS 11209 HAS SOUPS 11209 WITH SCORE 11227.017
AT ITER 3463 NEW BEST:: SOT 80094 SOS 18017 HAS SOPS 18017 HAS SOUS 11208 HAS SOUPS 11208 WITH SCORE 11226.017
AT ITER 3477 NEW BEST:: SOT 80108 SOS 18011 HAS SOPS 18011 HAS SOUS 11202 HAS SOUPS 11202 WITH SCORE 11220.011
AT ITER 3486 NEW BEST:: SOT 80099 SOS 18002 HAS SOPS 18002 HAS SOUS 11202 HAS SOUPS 11202 WITH SCORE 11220.002
AT ITER 3490 NEW BEST:: SOT 80097 SOS 18000 HAS SOPS 18000 HAS SOUS 11202 HAS SOUPS 11202 WITH SCORE 11220.0
AT ITER 3493 NEW BEST:: SOT 80112 SOS 17972 HAS SOPS 17972 HAS SOUS 11174 HAS SOUPS 11174 WITH SCORE 11191.972
AT ITER 3496 NEW BEST:: SOT 80106 SOS 17963 HAS SOPS 17963 HAS SOUS 11165 HAS SOUPS 11165 WITH SCORE 11182.963
AT ITER 3511 NEW BEST:: SOT 80081 SOS 17920 HAS SOPS 17920 HAS SOUS 11165 HAS SOUPS 11165 WITH SCORE 11182.92
AT ITER 3512 NEW BEST:: SOT 80052 SOS 17904 HAS SOPS 17904 HAS SOUS 11145 HAS SOUPS 11145 WITH SCORE 11162.904
AT ITER 3517 NEW BEST:: SOT 80048 SOS 17900 HAS SOPS 17900 HAS SOUS 11141 HAS SOUPS 11141 WITH SCORE 11158.9
AT ITER 3546 NEW BEST:: SOT 80051 SOS 17903 HAS SOPS 17903 HAS SOUS 11138 HAS SOUPS 11138 WITH SCORE 11155.903
AT ITER 3571 NEW BEST:: SOT 80034 SOS 17886 HAS SOPS 17886 HAS SOUS 11121 HAS SOUPS 11121 WITH SCORE 11138.886
AT ITER 3611 NEW BEST:: SOT 80023 SOS 17864 HAS SOPS 17864 HAS SOUS 11121 HAS SOUPS 11121 WITH SCORE 11138.864
AT ITER 3631 NEW BEST:: SOT 80023 SOS 17857 HAS SOPS 17857 HAS SOUS 11114 HAS SOUPS 11114 WITH SCORE 11131.857
AT ITER 3653 NEW BEST:: SOT 80008 SOS 17797 HAS SOPS 17797 HAS SOUS 11079 HAS SOUPS 11079 WITH SCORE 11096.797
AT ITER 3670 NEW BEST:: SOT 79984 SOS 17749 HAS SOPS 17749 HAS SOUS 11055 HAS SOUPS 11055 WITH SCORE 11072.749
AT ITER 3701 NEW BEST:: SOT 80003 SOS 17741 HAS SOPS 17741 HAS SOUS 11047 HAS SOUPS 11047 WITH SCORE 11064.741
AT ITER 3708 NEW BEST:: SOT 79967 SOS 17705 HAS SOPS 17705 HAS SOUS 11029 HAS SOUPS 11029 WITH SCORE 11046.705
AT ITER 3751 NEW BEST:: SOT 79967 SOS 17705 HAS SOPS 17705 HAS SOUS 11022 HAS SOUPS 11022 WITH SCORE 11039.705
AT ITER 3777 NEW BEST:: SOT 79963 SOS 17699 HAS SOPS 17699 HAS SOUS 11018 HAS SOUPS 11018 WITH SCORE 11035.699
AT ITER 3798 NEW BEST:: SOT 79962 SOS 17697 HAS SOPS 17697 HAS SOUS 11016 HAS SOUPS 11016 WITH SCORE 11033.697
AT ITER 3810 NEW BEST:: SOT 79962 SOS 17682 HAS SOPS 17682 HAS SOUS 11006 HAS SOUPS 11006 WITH SCORE 11023.682
AT ITER 3814 NEW BEST:: SOT 79957 SOS 17677 HAS SOPS 17677 HAS SOUS 11003 HAS SOUPS 11003 WITH SCORE 11020.677
AT ITER 3823 NEW BEST:: SOT 79938 SOS 17639 HAS SOPS 17639 HAS SOUS 10955 HAS SOUPS 10955 WITH SCORE 10972.639
AT ITER 3860 NEW BEST:: SOT 79907 SOS 17577 HAS SOPS 17577 HAS SOUS 10955 HAS SOUPS 10955 WITH SCORE 10972.577
AT ITER 3869 NEW BEST:: SOT 79907 SOS 17577 HAS SOPS 17577 HAS SOUS 10923 HAS SOUPS 10923 WITH SCORE 10940.577
AT ITER 3870 NEW BEST:: SOT 79968 SOS 17638 HAS SOPS 17638 HAS SOUS 10904 HAS SOUPS 10904 WITH SCORE 10921.638
AT ITER 3875 NEW BEST:: SOT 79943 SOS 17626 HAS SOPS 17626 HAS SOUS 10892 HAS SOUPS 10892 WITH SCORE 10909.626
AT ITER 3915 NEW BEST:: SOT 79942 SOS 17640 HAS SOPS 17640 HAS SOUS 10890 HAS SOUPS 10890 WITH SCORE 10907.64
AT ITER 3983 NEW BEST:: SOT 79933 SOS 17622 HAS SOPS 17622 HAS SOUS 10872 HAS SOUPS 10872 WITH SCORE 10889.622
AT ITER 4000 NEW BEST:: SOT 79874 SOS 17563 HAS SOPS 17563 HAS SOUS 10872 HAS SOUPS 10872 WITH SCORE 10889.563
AT ITER 4004 NEW BEST:: SOT 79871 SOS 17560 HAS SOPS 17560 HAS SOUS 10866 HAS SOUPS 10866 WITH SCORE 10883.56
AT ITER 4013 NEW BEST:: SOT 79860 SOS 17538 HAS SOPS 17538 HAS SOUS 10845 HAS SOUPS 10845 WITH SCORE 10862.538
AT ITER 4080 NEW BEST:: SOT 79846 SOS 17510 HAS SOPS 17510 HAS SOUS 10832 HAS SOUPS 10832 WITH SCORE 10849.51
AT ITER 4082 NEW BEST:: SOT 79834 SOS 17486 HAS SOPS 17486 HAS SOUS 10808 HAS SOUPS 10808 WITH SCORE 10825.486
AT ITER 4104 NEW BEST:: SOT 79829 SOS 17242 HAS SOPS 17242 HAS SOUS 10795 HAS SOUPS 10795 WITH SCORE 10812.242
AT ITER 4165 NEW BEST:: SOT 79792 SOS 17219 HAS SOPS 17219 HAS SOUS 10772 HAS SOUPS 10772 WITH SCORE 10789.219
AT ITER 4166 NEW BEST:: SOT 79812 SOS 17182 HAS SOPS 17182 HAS SOUS 10748 HAS SOUPS 10748 WITH SCORE 10765.182
AT ITER 4170 NEW BEST:: SOT 79806 SOS 17170 HAS SOPS 17170 HAS SOUS 10733 HAS SOUPS 10733 WITH SCORE 10750.17
AT ITER 4193 NEW BEST:: SOT 79943 SOS 17294 HAS SOPS 17294 HAS SOUS 10732 HAS SOUPS 10732 WITH SCORE 10749.294
AT ITER 4217 NEW BEST:: SOT 79940 SOS 17288 HAS SOPS 17288 HAS SOUS 10723 HAS SOUPS 10723 WITH SCORE 10740.288
AT ITER 4246 NEW BEST:: SOT 79890 SOS 17276 HAS SOPS 17276 HAS SOUS 10711 HAS SOUPS 10711 WITH SCORE 10728.276
AT ITER 4268 NEW BEST:: SOT 79870 SOS 17276 HAS SOPS 17276 HAS SOUS 10707 HAS SOUPS 10707 WITH SCORE 10724.276
AT ITER 4279 NEW BEST:: SOT 79866 SOS 17268 HAS SOPS 17268 HAS SOUS 10703 HAS SOUPS 10703 WITH SCORE 10720.268
AT ITER 4333 NEW BEST:: SOT 79807 SOS 17766 HAS SOPS 17766 HAS SOUS 10700 HAS SOUPS 10700 WITH SCORE 10717.766
AT ITER 4341 NEW BEST:: SOT 79800 SOS 17745 HAS SOPS 17745 HAS SOUS 10679 HAS SOUPS 10679 WITH SCORE 10696.745
AT ITER 4358 NEW BEST:: SOT 79802 SOS 17717 HAS SOPS 17717 HAS SOUS 10655 HAS SOUPS 10655 WITH SCORE 10672.717
AT ITER 4371 NEW BEST:: SOT 79797 SOS 17707 HAS SOPS 17707 HAS SOUS 10644 HAS SOUPS 10644 WITH SCORE 10661.707
AT ITER 4403 NEW BEST:: SOT 79826 SOS 17696 HAS SOPS 17696 HAS SOUS 10633 HAS SOUPS 10633 WITH SCORE 10650.696
AT ITER 4414 NEW BEST:: SOT 79813 SOS 17695 HAS SOPS 17695 HAS SOUS 10632 HAS SOUPS 10632 WITH SCORE 10649.695
AT ITER 4424 NEW BEST:: SOT 79803 SOS 17675 HAS SOPS 17675 HAS SOUS 10619 HAS SOUPS 10619 WITH SCORE 10636.675
AT ITER 4447 NEW BEST:: SOT 79799 SOS 17615 HAS SOPS 17615 HAS SOUS 10587 HAS SOUPS 10587 WITH SCORE 10604.615
AT ITER 4452 NEW BEST:: SOT 79797 SOS 17613 HAS SOPS 17613 HAS SOUS 10583 HAS SOUPS 10583 WITH SCORE 10600.613
AT ITER 4468 NEW BEST:: SOT 79797 SOS 17613 HAS SOPS 17613 HAS SOUS 10576 HAS SOUPS 10576 WITH SCORE 10593.613
AT ITER 4539 NEW BEST:: SOT 79807 SOS 17606 HAS SOPS 17606 HAS SOUS 10569 HAS SOUPS 10569 WITH SCORE 10586.606
AT ITER 4549 NEW BEST:: SOT 79807 SOS 17603 HAS SOPS 17603 HAS SOUS 10563 HAS SOUPS 10563 WITH SCORE 10580.603
AT ITER 4560 NEW BEST:: SOT 79776 SOS 17541 HAS SOPS 17541 HAS SOUS 10532 HAS SOUPS 10532 WITH SCORE 10549.541
AT ITER 4570 NEW BEST:: SOT 79776 SOS 17541 HAS SOPS 17541 HAS SOUS 10524 HAS SOUPS 10524 WITH SCORE 10541.541
AT ITER 4658 NEW BEST:: SOT 79775 SOS 17538 HAS SOPS 17538 HAS SOUS 10521 HAS SOUPS 10521 WITH SCORE 10538.538
AT ITER 4683 NEW BEST:: SOT 79771 SOS 17534 HAS SOPS 17534 HAS SOUS 10521 HAS SOUPS 10521 WITH SCORE 10538.534
AT ITER 4694 NEW BEST:: SOT 79771 SOS 17526 HAS SOPS 17526 HAS SOUS 10513 HAS SOUPS 10513 WITH SCORE 10530.526
AT ITER 4721 NEW BEST:: SOT 79777 SOS 17522 HAS SOPS 17522 HAS SOUS 10509 HAS SOUPS 10509 WITH SCORE 10526.522
AT ITER 4763 NEW BEST:: SOT 79778 SOS 17524 HAS SOPS 17524 HAS SOUS 10490 HAS SOUPS 10490 WITH SCORE 10507.524
AT ITER 4787 NEW BEST:: SOT 79816 SOS 17562 HAS SOPS 17562 HAS SOUS 10480 HAS SOUPS 10480 WITH SCORE 10497.562
AT ITER 4788 NEW BEST:: SOT 79772 SOS 17485 HAS SOPS 17485 HAS SOUS 10449 HAS SOUPS 10449 WITH SCORE 10466.485
AT ITER 4801 NEW BEST:: SOT 79769 SOS 17479 HAS SOPS 17479 HAS SOUS 10443 HAS SOUPS 10443 WITH SCORE 10460.479
AT ITER 4826 NEW BEST:: SOT 79758 SOS 17457 HAS SOPS 17457 HAS SOUS 10421 HAS SOUPS 10421 WITH SCORE 10438.457
AT ITER 4838 NEW BEST:: SOT 79730 SOS 17671 HAS SOPS 17671 HAS SOUS 10417 HAS SOUPS 10417 WITH SCORE 10434.671
AT ITER 4888 NEW BEST:: SOT 79721 SOS 17662 HAS SOPS 17662 HAS SOUS 10408 HAS SOUPS 10408 WITH SCORE 10425.662
AT ITER 4920 NEW BEST:: SOT 79709 SOS 17657 HAS SOPS 17657 HAS SOUS 10403 HAS SOUPS 10403 WITH SCORE 10420.657
AT ITER 4932 NEW BEST:: SOT 79706 SOS 17651 HAS SOPS 17651 HAS SOUS 10400 HAS SOUPS 10400 WITH SCORE 10417.651
Bounds file is: CTLFireability.xml
PROPERTY: SmartHome-PT-12-CTLFireability-00 (EF( (AF( (AX( ((potential((tk(P257)>=1))))))))))
PROPERTY: SmartHome-PT-12-CTLFireability-01 (! (! (EF( ( ( ((potential((tk(P84)>=1)))) & ((potential((tk(P98)>=1)))) ) | ( ((potential((tk(P67)>=1) & (tk(P360)>=1)))) & ((potential((tk(P232)>=1)))) ) )))))
PROPERTY: SmartHome-PT-12-CTLFireability-02 (AG( (AG( (! ( ((potential((tk(P56)>=1)))) & ((potential((tk(P12)>=1)))) ))))))
PROPERTY: SmartHome-PT-12-CTLFireability-03 (EF( ( ( (! (! ((potential((tk(P180)>=1)))))) | ( ( ((potential((tk(P254)>=1)))) | ((potential((tk(P109)>=1)))) ) & ((potential((tk(P1)>=1)))) ) ) & ((potential((tk(P106)>=1)))) )))
PROPERTY: SmartHome-PT-12-CTLFireability-04 (EF( ((potential((tk(P320)>=1))))))
PROPERTY: SmartHome-PT-12-CTLFireability-05 (EF( (AF( (EX( ((potential((tk(P91)>=1))))))))))
PROPERTY: SmartHome-PT-12-CTLFireability-06 (! (! (EF( (AX( ((potential((tk(P157)>=1))))))))))
PROPERTY: SmartHome-PT-12-CTLFireability-07 (AG( (AG( (EF( ((potential((tk(P232)>=1))))))))))
PROPERTY: SmartHome-PT-12-CTLFireability-08 (EU( (AG( (! ((potential((tk(P183)>=1))))))) , ((potential((tk(P301)>=1)))) ))
PROPERTY: SmartHome-PT-12-CTLFireability-09 (! (EF( ((potential((tk(P13)>=1)))))))
PROPERTY: SmartHome-PT-12-CTLFireability-10 (AG( (! (AG( (! ((potential((tk(P45)>=1))))))))))
PROPERTY: SmartHome-PT-12-CTLFireability-11 (AF( (AG( (! ( ((potential((tk(P301)>=1)))) & ((potential((tk(P83)>=1)))) ))))))
PROPERTY: SmartHome-PT-12-CTLFireability-12 ( ( ( ( (EF( ((potential((tk(P309)>=1)))))) & ((potential((tk(P52)>=1)))) ) & ((potential((tk(P110)>=1)))) ) | ( (EF( ( ((potential((tk(P170)>=1)))) | ((potential((tk(P290)>=1)))) ))) & (! ((potential((tk(P3)>=1) & (tk(P129)>=1))))) ) ) & (AG( (! ( (! ((potential((tk(P300)>=1))))) & ( ((potential((tk(P180)>=1)))) & ((potential((tk(P257)>=1)))) ) )))) )
PROPERTY: SmartHome-PT-12-CTLFireability-13 (! (EF( ( ( ( ((potential((tk(P268)>=1)))) & ((potential((tk(P27)>=1)))) ) | (! ((potential((tk(P124)>=1))))) ) & ( ( ((potential((tk(P8)>=1)))) | ((potential((tk(P19)>=1)))) ) | ( ((potential((tk(P235)>=1)))) | ((potential((tk(P187)>=1)))) ) ) ))))
PROPERTY: SmartHome-PT-12-CTLFireability-14 (EF( (AU( (! ((potential((tk(P132)>=1))))) , ( ((potential((tk(P306)>=1)))) & ((potential((tk(P124)>=1)))) ) ))))
PROPERTY: SmartHome-PT-12-CTLFireability-15 (EF( ( ( (EX( ((potential((tk(P315)>=1)))))) | (AX( ((potential((tk(P210)>=1)))))) ) | (AF( ((potential((tk(P195)>=1)))))) )))

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="SmartHome-PT-12"
export BK_EXAMINATION="CTLFireability"
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 SmartHome-PT-12, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r224-oct2-159033538300092"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/SmartHome-PT-12.tgz
mv SmartHome-PT-12 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;