Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250800640.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off 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 PermAdmissibility-PT-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250800640
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 920K
-rw-r--r-- 1 mcc users 4.0K Apr 12 00:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 12 00:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 27K Apr 10 23:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 100K Apr 10 23:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.2K Apr 14 12:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 17K Apr 14 12:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 66K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 5.5K Apr 10 08:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 10 08:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 20K Apr 9 12:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 74K Apr 9 12:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.1K Apr 10 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.7K Apr 10 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 484K Mar 24 05:37 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 1589645276054

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

Filename model.pnml
Petri model created: 168 places, 592 transitions, 3456 arcs.
AT ITER 0 NEW BEST:: SOT 73798 SOS 47388 HAS SOPS 47388 HAS SOUS 29064 HAS SOUPS 29064 WITH SCORE 29111.388
AT ITER 3 NEW BEST:: SOT 73614 SOS 48074 HAS SOPS 48074 HAS SOUS 28988 HAS SOUPS 28988 WITH SCORE 29036.074
AT ITER 9 NEW BEST:: SOT 73334 SOS 48236 HAS SOPS 48236 HAS SOUS 28896 HAS SOUPS 28896 WITH SCORE 28944.236
AT ITER 10 NEW BEST:: SOT 73322 SOS 48224 HAS SOPS 48224 HAS SOUS 28876 HAS SOUPS 28876 WITH SCORE 28924.224
AT ITER 16 NEW BEST:: SOT 73322 SOS 48297 HAS SOPS 48297 HAS SOUS 28838 HAS SOUPS 28838 WITH SCORE 28886.297
AT ITER 25 NEW BEST:: SOT 73303 SOS 48495 HAS SOPS 48495 HAS SOUS 28827 HAS SOUPS 28827 WITH SCORE 28875.495
AT ITER 33 NEW BEST:: SOT 73352 SOS 48544 HAS SOPS 48544 HAS SOUS 28766 HAS SOUPS 28766 WITH SCORE 28814.544
AT ITER 38 NEW BEST:: SOT 72952 SOS 48232 HAS SOPS 48232 HAS SOUS 28386 HAS SOUPS 28386 WITH SCORE 28434.232
AT ITER 52 NEW BEST:: SOT 72976 SOS 49081 HAS SOPS 49081 HAS SOUS 28344 HAS SOUPS 28344 WITH SCORE 28393.081
AT ITER 55 NEW BEST:: SOT 72976 SOS 48946 HAS SOPS 48946 HAS SOUS 28327 HAS SOUPS 28327 WITH SCORE 28375.946
AT ITER 63 NEW BEST:: SOT 72892 SOS 48982 HAS SOPS 48982 HAS SOUS 28248 HAS SOUPS 28248 WITH SCORE 28296.982
AT ITER 66 NEW BEST:: SOT 72663 SOS 49367 HAS SOPS 49367 HAS SOUS 27835 HAS SOUPS 27835 WITH SCORE 27884.367
AT ITER 72 NEW BEST:: SOT 72543 SOS 49247 HAS SOPS 49247 HAS SOUS 27726 HAS SOUPS 27726 WITH SCORE 27775.247
AT ITER 73 NEW BEST:: SOT 72518 SOS 49222 HAS SOPS 49222 HAS SOUS 27708 HAS SOUPS 27708 WITH SCORE 27757.222
AT ITER 75 NEW BEST:: SOT 72518 SOS 49222 HAS SOPS 49222 HAS SOUS 27546 HAS SOUPS 27546 WITH SCORE 27595.222
AT ITER 79 NEW BEST:: SOT 72188 SOS 48843 HAS SOPS 48843 HAS SOUS 27305 HAS SOUPS 27305 WITH SCORE 27353.843
AT ITER 81 NEW BEST:: SOT 72188 SOS 50235 HAS SOPS 50235 HAS SOUS 27040 HAS SOUPS 27040 WITH SCORE 27090.235
AT ITER 85 NEW BEST:: SOT 72188 SOS 49831 HAS SOPS 49831 HAS SOUS 26987 HAS SOUPS 26987 WITH SCORE 27036.831
AT ITER 89 NEW BEST:: SOT 72188 SOS 49831 HAS SOPS 49831 HAS SOUS 26831 HAS SOUPS 26831 WITH SCORE 26880.831
AT ITER 90 NEW BEST:: SOT 71900 SOS 49886 HAS SOPS 49886 HAS SOUS 26701 HAS SOUPS 26701 WITH SCORE 26750.886
AT ITER 94 NEW BEST:: SOT 71811 SOS 49797 HAS SOPS 49797 HAS SOUS 26626 HAS SOUPS 26626 WITH SCORE 26675.797
AT ITER 98 NEW BEST:: SOT 71613 SOS 49701 HAS SOPS 49701 HAS SOUS 26462 HAS SOUPS 26462 WITH SCORE 26511.701
AT ITER 104 NEW BEST:: SOT 71613 SOS 49701 HAS SOPS 49701 HAS SOUS 26412 HAS SOUPS 26412 WITH SCORE 26461.701
AT ITER 107 NEW BEST:: SOT 71613 SOS 49701 HAS SOPS 49701 HAS SOUS 26280 HAS SOUPS 26280 WITH SCORE 26329.701
AT ITER 112 NEW BEST:: SOT 71514 SOS 49544 HAS SOPS 49544 HAS SOUS 26241 HAS SOUPS 26241 WITH SCORE 26290.544
AT ITER 120 NEW BEST:: SOT 71346 SOS 49406 HAS SOPS 49406 HAS SOUS 26096 HAS SOUPS 26096 WITH SCORE 26145.406
AT ITER 140 NEW BEST:: SOT 71344 SOS 49414 HAS SOPS 49414 HAS SOUS 26026 HAS SOUPS 26026 WITH SCORE 26075.414
AT ITER 149 NEW BEST:: SOT 71302 SOS 49389 HAS SOPS 49389 HAS SOUS 25996 HAS SOUPS 25996 WITH SCORE 26045.389
AT ITER 155 NEW BEST:: SOT 71022 SOS 49288 HAS SOPS 49288 HAS SOUS 25645 HAS SOUPS 25645 WITH SCORE 25694.288
AT ITER 164 NEW BEST:: SOT 70990 SOS 49308 HAS SOPS 49308 HAS SOUS 25619 HAS SOUPS 25619 WITH SCORE 25668.308
AT ITER 173 NEW BEST:: SOT 70990 SOS 49308 HAS SOPS 49308 HAS SOUS 25615 HAS SOUPS 25615 WITH SCORE 25664.308
AT ITER 180 NEW BEST:: SOT 70964 SOS 49834 HAS SOPS 49834 HAS SOUS 25453 HAS SOUPS 25453 WITH SCORE 25502.834
AT ITER 186 NEW BEST:: SOT 70964 SOS 49834 HAS SOPS 49834 HAS SOUS 25417 HAS SOUPS 25417 WITH SCORE 25466.834
AT ITER 198 NEW BEST:: SOT 70962 SOS 49832 HAS SOPS 49832 HAS SOUS 25399 HAS SOUPS 25399 WITH SCORE 25448.832
AT ITER 200 NEW BEST:: SOT 70962 SOS 50001 HAS SOPS 50001 HAS SOUS 25364 HAS SOUPS 25364 WITH SCORE 25414.001
AT ITER 204 NEW BEST:: SOT 71022 SOS 50061 HAS SOPS 50061 HAS SOUS 25302 HAS SOUPS 25302 WITH SCORE 25352.061
AT ITER 212 NEW BEST:: SOT 71022 SOS 50316 HAS SOPS 50316 HAS SOUS 25260 HAS SOUPS 25260 WITH SCORE 25310.316
AT ITER 213 NEW BEST:: SOT 70882 SOS 50397 HAS SOPS 50397 HAS SOUS 25198 HAS SOUPS 25198 WITH SCORE 25248.397
AT ITER 214 NEW BEST:: SOT 70890 SOS 50413 HAS SOPS 50413 HAS SOUS 25190 HAS SOUPS 25190 WITH SCORE 25240.413
AT ITER 219 NEW BEST:: SOT 70850 SOS 50373 HAS SOPS 50373 HAS SOUS 25166 HAS SOUPS 25166 WITH SCORE 25216.373
AT ITER 223 NEW BEST:: SOT 70776 SOS 50299 HAS SOPS 50299 HAS SOUS 25051 HAS SOUPS 25051 WITH SCORE 25101.299
AT ITER 233 NEW BEST:: SOT 70776 SOS 50299 HAS SOPS 50299 HAS SOUS 25037 HAS SOUPS 25037 WITH SCORE 25087.299
AT ITER 244 NEW BEST:: SOT 70699 SOS 50221 HAS SOPS 50221 HAS SOUS 25033 HAS SOUPS 25033 WITH SCORE 25083.221
AT ITER 252 NEW BEST:: SOT 70499 SOS 50067 HAS SOPS 50067 HAS SOUS 24738 HAS SOUPS 24738 WITH SCORE 24788.067
AT ITER 254 NEW BEST:: SOT 70342 SOS 49960 HAS SOPS 49960 HAS SOUS 24606 HAS SOUPS 24606 WITH SCORE 24655.96
AT ITER 257 NEW BEST:: SOT 70221 SOS 49839 HAS SOPS 49839 HAS SOUS 24542 HAS SOUPS 24542 WITH SCORE 24591.839
AT ITER 259 NEW BEST:: SOT 70169 SOS 49781 HAS SOPS 49781 HAS SOUS 24492 HAS SOUPS 24492 WITH SCORE 24541.781
AT ITER 260 NEW BEST:: SOT 70337 SOS 52702 HAS SOPS 52702 HAS SOUS 24363 HAS SOUPS 24363 WITH SCORE 24415.702
AT ITER 266 NEW BEST:: SOT 70337 SOS 52702 HAS SOPS 52702 HAS SOUS 24351 HAS SOUPS 24351 WITH SCORE 24403.702
AT ITER 276 NEW BEST:: SOT 70337 SOS 52507 HAS SOPS 52507 HAS SOUS 24284 HAS SOUPS 24284 WITH SCORE 24336.507
AT ITER 281 NEW BEST:: SOT 70337 SOS 51071 HAS SOPS 51071 HAS SOUS 24252 HAS SOUPS 24252 WITH SCORE 24303.071
AT ITER 283 NEW BEST:: SOT 70333 SOS 52930 HAS SOPS 52930 HAS SOUS 24186 HAS SOUPS 24186 WITH SCORE 24238.93
AT ITER 287 NEW BEST:: SOT 70171 SOS 52768 HAS SOPS 52768 HAS SOUS 24057 HAS SOUPS 24057 WITH SCORE 24109.768
AT ITER 290 NEW BEST:: SOT 70171 SOS 52768 HAS SOPS 52768 HAS SOUS 24054 HAS SOUPS 24054 WITH SCORE 24106.768
AT ITER 291 NEW BEST:: SOT 70155 SOS 52752 HAS SOPS 52752 HAS SOUS 24020 HAS SOUPS 24020 WITH SCORE 24072.752
AT ITER 294 NEW BEST:: SOT 70159 SOS 52756 HAS SOPS 52756 HAS SOUS 24012 HAS SOUPS 24012 WITH SCORE 24064.756
AT ITER 295 NEW BEST:: SOT 70061 SOS 52674 HAS SOPS 52674 HAS SOUS 23907 HAS SOUPS 23907 WITH SCORE 23959.674
AT ITER 297 NEW BEST:: SOT 70066 SOS 52675 HAS SOPS 52675 HAS SOUS 23905 HAS SOUPS 23905 WITH SCORE 23957.675
AT ITER 301 NEW BEST:: SOT 69843 SOS 52466 HAS SOPS 52466 HAS SOUS 23756 HAS SOUPS 23756 WITH SCORE 23808.466
AT ITER 308 NEW BEST:: SOT 69596 SOS 52219 HAS SOPS 52219 HAS SOUS 23515 HAS SOUPS 23515 WITH SCORE 23567.219
AT ITER 313 NEW BEST:: SOT 69596 SOS 52219 HAS SOPS 52219 HAS SOUS 23347 HAS SOUPS 23347 WITH SCORE 23399.219
AT ITER 314 NEW BEST:: SOT 69596 SOS 52923 HAS SOPS 52923 HAS SOUS 23342 HAS SOUPS 23342 WITH SCORE 23394.923
AT ITER 337 NEW BEST:: SOT 69346 SOS 52699 HAS SOPS 52699 HAS SOUS 23115 HAS SOUPS 23115 WITH SCORE 23167.699
AT ITER 343 NEW BEST:: SOT 69354 SOS 52422 HAS SOPS 52422 HAS SOUS 23084 HAS SOUPS 23084 WITH SCORE 23136.422
AT ITER 344 NEW BEST:: SOT 69344 SOS 52412 HAS SOPS 52412 HAS SOUS 23080 HAS SOUPS 23080 WITH SCORE 23132.412
AT ITER 347 NEW BEST:: SOT 69346 SOS 52388 HAS SOPS 52388 HAS SOUS 23076 HAS SOUPS 23076 WITH SCORE 23128.388
AT ITER 357 NEW BEST:: SOT 69338 SOS 52376 HAS SOPS 52376 HAS SOUS 23064 HAS SOUPS 23064 WITH SCORE 23116.376
AT ITER 363 NEW BEST:: SOT 69274 SOS 52374 HAS SOPS 52374 HAS SOUS 22895 HAS SOUPS 22895 WITH SCORE 22947.374
AT ITER 368 NEW BEST:: SOT 69275 SOS 52199 HAS SOPS 52199 HAS SOUS 22874 HAS SOUPS 22874 WITH SCORE 22926.199
AT ITER 376 NEW BEST:: SOT 69159 SOS 52083 HAS SOPS 52083 HAS SOUS 22758 HAS SOUPS 22758 WITH SCORE 22810.083
AT ITER 387 NEW BEST:: SOT 69198 SOS 52122 HAS SOPS 52122 HAS SOUS 22646 HAS SOUPS 22646 WITH SCORE 22698.122
AT ITER 407 NEW BEST:: SOT 69240 SOS 53864 HAS SOPS 53864 HAS SOUS 22569 HAS SOUPS 22569 WITH SCORE 22622.864
AT ITER 412 NEW BEST:: SOT 69240 SOS 53864 HAS SOPS 53864 HAS SOUS 22566 HAS SOUPS 22566 WITH SCORE 22619.864
AT ITER 417 NEW BEST:: SOT 69073 SOS 53697 HAS SOPS 53697 HAS SOUS 22497 HAS SOUPS 22497 WITH SCORE 22550.697
AT ITER 427 NEW BEST:: SOT 68931 SOS 53555 HAS SOPS 53555 HAS SOUS 22450 HAS SOUPS 22450 WITH SCORE 22503.555
AT ITER 436 NEW BEST:: SOT 68931 SOS 53555 HAS SOPS 53555 HAS SOUS 22373 HAS SOUPS 22373 WITH SCORE 22426.555
AT ITER 445 NEW BEST:: SOT 68976 SOS 53600 HAS SOPS 53600 HAS SOUS 22326 HAS SOUPS 22326 WITH SCORE 22379.6
AT ITER 456 NEW BEST:: SOT 68871 SOS 53495 HAS SOPS 53495 HAS SOUS 22184 HAS SOUPS 22184 WITH SCORE 22237.495
AT ITER 462 NEW BEST:: SOT 68906 SOS 53556 HAS SOPS 53556 HAS SOUS 22103 HAS SOUPS 22103 WITH SCORE 22156.556
AT ITER 492 NEW BEST:: SOT 68902 SOS 53556 HAS SOPS 53556 HAS SOUS 22092 HAS SOUPS 22092 WITH SCORE 22145.556
AT ITER 499 NEW BEST:: SOT 68825 SOS 53479 HAS SOPS 53479 HAS SOUS 22044 HAS SOUPS 22044 WITH SCORE 22097.479
AT ITER 505 NEW BEST:: SOT 68826 SOS 53480 HAS SOPS 53480 HAS SOUS 22033 HAS SOUPS 22033 WITH SCORE 22086.48
AT ITER 511 NEW BEST:: SOT 68776 SOS 53430 HAS SOPS 53430 HAS SOUS 21922 HAS SOUPS 21922 WITH SCORE 21975.43
AT ITER 518 NEW BEST:: SOT 68657 SOS 53311 HAS SOPS 53311 HAS SOUS 21787 HAS SOUPS 21787 WITH SCORE 21840.311
AT ITER 528 NEW BEST:: SOT 68657 SOS 53311 HAS SOPS 53311 HAS SOUS 21779 HAS SOUPS 21779 WITH SCORE 21832.311
AT ITER 534 NEW BEST:: SOT 68583 SOS 53237 HAS SOPS 53237 HAS SOUS 21727 HAS SOUPS 21727 WITH SCORE 21780.237
AT ITER 550 NEW BEST:: SOT 68371 SOS 52976 HAS SOPS 52976 HAS SOUS 21620 HAS SOUPS 21620 WITH SCORE 21672.976
AT ITER 559 NEW BEST:: SOT 68326 SOS 52924 HAS SOPS 52924 HAS SOUS 21510 HAS SOUPS 21510 WITH SCORE 21562.924
AT ITER 581 NEW BEST:: SOT 68328 SOS 52926 HAS SOPS 52926 HAS SOUS 21506 HAS SOUPS 21506 WITH SCORE 21558.926
AT ITER 593 NEW BEST:: SOT 68351 SOS 52949 HAS SOPS 52949 HAS SOUS 21469 HAS SOUPS 21469 WITH SCORE 21521.949
AT ITER 629 NEW BEST:: SOT 68339 SOS 52952 HAS SOPS 52952 HAS SOUS 21405 HAS SOUPS 21405 WITH SCORE 21457.952
AT ITER 633 NEW BEST:: SOT 68199 SOS 52812 HAS SOPS 52812 HAS SOUS 21329 HAS SOUPS 21329 WITH SCORE 21381.812
AT ITER 634 NEW BEST:: SOT 68199 SOS 53900 HAS SOPS 53900 HAS SOUS 21326 HAS SOUPS 21326 WITH SCORE 21379.9
AT ITER 637 NEW BEST:: SOT 68219 SOS 54016 HAS SOPS 54016 HAS SOUS 21314 HAS SOUPS 21314 WITH SCORE 21368.016
AT ITER 654 NEW BEST:: SOT 68243 SOS 54040 HAS SOPS 54040 HAS SOUS 21306 HAS SOUPS 21306 WITH SCORE 21360.04
AT ITER 660 NEW BEST:: SOT 68223 SOS 54020 HAS SOPS 54020 HAS SOUS 21274 HAS SOUPS 21274 WITH SCORE 21328.02
AT ITER 695 NEW BEST:: SOT 68260 SOS 54057 HAS SOPS 54057 HAS SOUS 21263 HAS SOUPS 21263 WITH SCORE 21317.057
AT ITER 757 NEW BEST:: SOT 68250 SOS 54047 HAS SOPS 54047 HAS SOUS 21213 HAS SOUPS 21213 WITH SCORE 21267.047
AT ITER 761 NEW BEST:: SOT 68250 SOS 54045 HAS SOPS 54045 HAS SOUS 21203 HAS SOUPS 21203 WITH SCORE 21257.045
AT ITER 775 NEW BEST:: SOT 68250 SOS 54045 HAS SOPS 54045 HAS SOUS 21135 HAS SOUPS 21135 WITH SCORE 21189.045
AT ITER 780 NEW BEST:: SOT 68250 SOS 54045 HAS SOPS 54045 HAS SOUS 21072 HAS SOUPS 21072 WITH SCORE 21126.045
AT ITER 786 NEW BEST:: SOT 68202 SOS 53997 HAS SOPS 53997 HAS SOUS 21004 HAS SOUPS 21004 WITH SCORE 21057.997
AT ITER 788 NEW BEST:: SOT 68270 SOS 54065 HAS SOPS 54065 HAS SOUS 20956 HAS SOUPS 20956 WITH SCORE 21010.065
AT ITER 804 NEW BEST:: SOT 68270 SOS 54065 HAS SOPS 54065 HAS SOUS 20949 HAS SOUPS 20949 WITH SCORE 21003.065
AT ITER 810 NEW BEST:: SOT 68266 SOS 54063 HAS SOPS 54063 HAS SOUS 20945 HAS SOUPS 20945 WITH SCORE 20999.063
AT ITER 827 NEW BEST:: SOT 68060 SOS 53819 HAS SOPS 53819 HAS SOUS 20802 HAS SOUPS 20802 WITH SCORE 20855.819
AT ITER 836 NEW BEST:: SOT 68053 SOS 53812 HAS SOPS 53812 HAS SOUS 20795 HAS SOUPS 20795 WITH SCORE 20848.812
AT ITER 862 NEW BEST:: SOT 68042 SOS 53801 HAS SOPS 53801 HAS SOUS 20755 HAS SOUPS 20755 WITH SCORE 20808.801
AT ITER 895 NEW BEST:: SOT 68042 SOS 55401 HAS SOPS 55401 HAS SOUS 20743 HAS SOUPS 20743 WITH SCORE 20798.401
AT ITER 896 NEW BEST:: SOT 68019 SOS 55384 HAS SOPS 55384 HAS SOUS 20734 HAS SOUPS 20734 WITH SCORE 20789.384
AT ITER 904 NEW BEST:: SOT 68019 SOS 55384 HAS SOPS 55384 HAS SOUS 20710 HAS SOUPS 20710 WITH SCORE 20765.384
AT ITER 909 NEW BEST:: SOT 67814 SOS 55183 HAS SOPS 55183 HAS SOUS 20469 HAS SOUPS 20469 WITH SCORE 20524.183
AT ITER 955 NEW BEST:: SOT 67784 SOS 55153 HAS SOPS 55153 HAS SOUS 20413 HAS SOUPS 20413 WITH SCORE 20468.153
AT ITER 969 NEW BEST:: SOT 67733 SOS 55112 HAS SOPS 55112 HAS SOUS 20377 HAS SOUPS 20377 WITH SCORE 20432.112
AT ITER 987 NEW BEST:: SOT 67729 SOS 55099 HAS SOPS 55099 HAS SOUS 20373 HAS SOUPS 20373 WITH SCORE 20428.099
AT ITER 1017 NEW BEST:: SOT 67729 SOS 55099 HAS SOPS 55099 HAS SOUS 20358 HAS SOUPS 20358 WITH SCORE 20413.099
AT ITER 1023 NEW BEST:: SOT 67729 SOS 54539 HAS SOPS 54539 HAS SOUS 20351 HAS SOUPS 20351 WITH SCORE 20405.539
AT ITER 1033 NEW BEST:: SOT 67719 SOS 54535 HAS SOPS 54535 HAS SOUS 20331 HAS SOUPS 20331 WITH SCORE 20385.535
AT ITER 1045 NEW BEST:: SOT 67578 SOS 54394 HAS SOPS 54394 HAS SOUS 20197 HAS SOUPS 20197 WITH SCORE 20251.394
AT ITER 1075 NEW BEST:: SOT 67566 SOS 54382 HAS SOPS 54382 HAS SOUS 20035 HAS SOUPS 20035 WITH SCORE 20089.382
AT ITER 1080 NEW BEST:: SOT 67456 SOS 54272 HAS SOPS 54272 HAS SOUS 19925 HAS SOUPS 19925 WITH SCORE 19979.272
AT ITER 1126 NEW BEST:: SOT 67456 SOS 54272 HAS SOPS 54272 HAS SOUS 19924 HAS SOUPS 19924 WITH SCORE 19978.272
AT ITER 1131 NEW BEST:: SOT 67461 SOS 54277 HAS SOPS 54277 HAS SOUS 19913 HAS SOUPS 19913 WITH SCORE 19967.277
AT ITER 1136 NEW BEST:: SOT 67441 SOS 54257 HAS SOPS 54257 HAS SOUS 19885 HAS SOUPS 19885 WITH SCORE 19939.257
AT ITER 1141 NEW BEST:: SOT 67440 SOS 54256 HAS SOPS 54256 HAS SOUS 19811 HAS SOUPS 19811 WITH SCORE 19865.256
AT ITER 1160 NEW BEST:: SOT 67436 SOS 54252 HAS SOPS 54252 HAS SOUS 19807 HAS SOUPS 19807 WITH SCORE 19861.252
AT ITER 1178 NEW BEST:: SOT 67231 SOS 54047 HAS SOPS 54047 HAS SOUS 19791 HAS SOUPS 19791 WITH SCORE 19845.047
AT ITER 1190 NEW BEST:: SOT 67223 SOS 54040 HAS SOPS 54040 HAS SOUS 19784 HAS SOUPS 19784 WITH SCORE 19838.04
AT ITER 1301 NEW BEST:: SOT 67132 SOS 53949 HAS SOPS 53949 HAS SOUS 19726 HAS SOUPS 19726 WITH SCORE 19779.949
AT ITER 1309 NEW BEST:: SOT 67145 SOS 53962 HAS SOPS 53962 HAS SOUS 19659 HAS SOUPS 19659 WITH SCORE 19712.962
AT ITER 1342 NEW BEST:: SOT 67141 SOS 53960 HAS SOPS 53960 HAS SOUS 19657 HAS SOUPS 19657 WITH SCORE 19710.96
AT ITER 1347 NEW BEST:: SOT 67054 SOS 53873 HAS SOPS 53873 HAS SOUS 19547 HAS SOUPS 19547 WITH SCORE 19600.873
AT ITER 1407 NEW BEST:: SOT 67031 SOS 53850 HAS SOPS 53850 HAS SOUS 19524 HAS SOUPS 19524 WITH SCORE 19577.85
AT ITER 1426 NEW BEST:: SOT 67020 SOS 53839 HAS SOPS 53839 HAS SOUS 19515 HAS SOUPS 19515 WITH SCORE 19568.839
AT ITER 1467 NEW BEST:: SOT 67020 SOS 53925 HAS SOPS 53925 HAS SOUS 19500 HAS SOUPS 19500 WITH SCORE 19553.925
AT ITER 1494 NEW BEST:: SOT 67054 SOS 53959 HAS SOPS 53959 HAS SOUS 19359 HAS SOUPS 19359 WITH SCORE 19412.959
AT ITER 1500 NEW BEST:: SOT 66966 SOS 53871 HAS SOPS 53871 HAS SOUS 19286 HAS SOUPS 19286 WITH SCORE 19339.871
AT ITER 1511 NEW BEST:: SOT 66612 SOS 53517 HAS SOPS 53517 HAS SOUS 19167 HAS SOUPS 19167 WITH SCORE 19220.517
AT ITER 1525 NEW BEST:: SOT 66604 SOS 53508 HAS SOPS 53508 HAS SOUS 19158 HAS SOUPS 19158 WITH SCORE 19211.508
AT ITER 1527 NEW BEST:: SOT 66604 SOS 52996 HAS SOPS 52996 HAS SOUS 19157 HAS SOUPS 19157 WITH SCORE 19209.996
AT ITER 1528 NEW BEST:: SOT 66586 SOS 52987 HAS SOPS 52987 HAS SOUS 19145 HAS SOUPS 19145 WITH SCORE 19197.987
AT ITER 1541 NEW BEST:: SOT 66586 SOS 52987 HAS SOPS 52987 HAS SOUS 19092 HAS SOUPS 19092 WITH SCORE 19144.987
AT ITER 1594 NEW BEST:: SOT 66586 SOS 53018 HAS SOPS 53018 HAS SOUS 19083 HAS SOUPS 19083 WITH SCORE 19136.018
AT ITER 1604 NEW BEST:: SOT 66486 SOS 52918 HAS SOPS 52918 HAS SOUS 18839 HAS SOUPS 18839 WITH SCORE 18891.918
AT ITER 1612 NEW BEST:: SOT 66486 SOS 52890 HAS SOPS 52890 HAS SOUS 18839 HAS SOUPS 18839 WITH SCORE 18891.89
AT ITER 1619 NEW BEST:: SOT 66486 SOS 53734 HAS SOPS 53734 HAS SOUS 18798 HAS SOUPS 18798 WITH SCORE 18851.734
AT ITER 1624 NEW BEST:: SOT 66476 SOS 53724 HAS SOPS 53724 HAS SOUS 18776 HAS SOUPS 18776 WITH SCORE 18829.724
AT ITER 1626 NEW BEST:: SOT 66476 SOS 53738 HAS SOPS 53738 HAS SOUS 18775 HAS SOUPS 18775 WITH SCORE 18828.738
AT ITER 1676 NEW BEST:: SOT 66476 SOS 53738 HAS SOPS 53738 HAS SOUS 18759 HAS SOUPS 18759 WITH SCORE 18812.738
AT ITER 1684 NEW BEST:: SOT 66440 SOS 53702 HAS SOPS 53702 HAS SOUS 18723 HAS SOUPS 18723 WITH SCORE 18776.702
AT ITER 1715 NEW BEST:: SOT 66420 SOS 53682 HAS SOPS 53682 HAS SOUS 18675 HAS SOUPS 18675 WITH SCORE 18728.682
AT ITER 1735 NEW BEST:: SOT 66420 SOS 53693 HAS SOPS 53693 HAS SOUS 18651 HAS SOUPS 18651 WITH SCORE 18704.693
AT ITER 1742 NEW BEST:: SOT 66426 SOS 53697 HAS SOPS 53697 HAS SOUS 18645 HAS SOUPS 18645 WITH SCORE 18698.697
AT ITER 1769 NEW BEST:: SOT 66399 SOS 53670 HAS SOPS 53670 HAS SOUS 18639 HAS SOUPS 18639 WITH SCORE 18692.67
AT ITER 1785 NEW BEST:: SOT 66420 SOS 53691 HAS SOPS 53691 HAS SOUS 18631 HAS SOUPS 18631 WITH SCORE 18684.691
AT ITER 1819 NEW BEST:: SOT 66436 SOS 53707 HAS SOPS 53707 HAS SOUS 18607 HAS SOUPS 18607 WITH SCORE 18660.707
AT ITER 1847 NEW BEST:: SOT 66457 SOS 53728 HAS SOPS 53728 HAS SOUS 18594 HAS SOUPS 18594 WITH SCORE 18647.728
AT ITER 1864 NEW BEST:: SOT 66457 SOS 53728 HAS SOPS 53728 HAS SOUS 18590 HAS SOUPS 18590 WITH SCORE 18643.728
AT ITER 1876 NEW BEST:: SOT 66447 SOS 53714 HAS SOPS 53714 HAS SOUS 18578 HAS SOUPS 18578 WITH SCORE 18631.714
AT ITER 1888 NEW BEST:: SOT 66438 SOS 53705 HAS SOPS 53705 HAS SOUS 18556 HAS SOUPS 18556 WITH SCORE 18609.705
AT ITER 1906 NEW BEST:: SOT 66526 SOS 53793 HAS SOPS 53793 HAS SOUS 18551 HAS SOUPS 18551 WITH SCORE 18604.793
AT ITER 1931 NEW BEST:: SOT 66526 SOS 53070 HAS SOPS 53070 HAS SOUS 18549 HAS SOUPS 18549 WITH SCORE 18602.07
AT ITER 1978 NEW BEST:: SOT 66462 SOS 53006 HAS SOPS 53006 HAS SOUS 18539 HAS SOUPS 18539 WITH SCORE 18592.006
AT ITER 2001 NEW BEST:: SOT 66453 SOS 52997 HAS SOPS 52997 HAS SOUS 18530 HAS SOUPS 18530 WITH SCORE 18582.997
AT ITER 2008 NEW BEST:: SOT 66221 SOS 52709 HAS SOPS 52709 HAS SOUS 18465 HAS SOUPS 18465 WITH SCORE 18517.709
AT ITER 2033 NEW BEST:: SOT 66221 SOS 52709 HAS SOPS 52709 HAS SOUS 18441 HAS SOUPS 18441 WITH SCORE 18493.709
AT ITER 2052 NEW BEST:: SOT 66188 SOS 52676 HAS SOPS 52676 HAS SOUS 18426 HAS SOUPS 18426 WITH SCORE 18478.676
AT ITER 2061 NEW BEST:: SOT 66174 SOS 52662 HAS SOPS 52662 HAS SOUS 18416 HAS SOUPS 18416 WITH SCORE 18468.662
AT ITER 2094 NEW BEST:: SOT 66132 SOS 52620 HAS SOPS 52620 HAS SOUS 18389 HAS SOUPS 18389 WITH SCORE 18441.62
AT ITER 2100 NEW BEST:: SOT 66112 SOS 52600 HAS SOPS 52600 HAS SOUS 18376 HAS SOUPS 18376 WITH SCORE 18428.6
AT ITER 2106 NEW BEST:: SOT 66112 SOS 52280 HAS SOPS 52280 HAS SOUS 18376 HAS SOUPS 18376 WITH SCORE 18428.28
AT ITER 2117 NEW BEST:: SOT 66112 SOS 52280 HAS SOPS 52280 HAS SOUS 18343 HAS SOUPS 18343 WITH SCORE 18395.28
AT ITER 2124 NEW BEST:: SOT 66132 SOS 52300 HAS SOPS 52300 HAS SOUS 18335 HAS SOUPS 18335 WITH SCORE 18387.3
AT ITER 2125 NEW BEST:: SOT 66132 SOS 52300 HAS SOPS 52300 HAS SOUS 18334 HAS SOUPS 18334 WITH SCORE 18386.3
AT ITER 2151 NEW BEST:: SOT 66217 SOS 52385 HAS SOPS 52385 HAS SOUS 18330 HAS SOUPS 18330 WITH SCORE 18382.385
AT ITER 2162 NEW BEST:: SOT 66158 SOS 52326 HAS SOPS 52326 HAS SOUS 18324 HAS SOUPS 18324 WITH SCORE 18376.326
AT ITER 2187 NEW BEST:: SOT 66040 SOS 52208 HAS SOPS 52208 HAS SOUS 18230 HAS SOUPS 18230 WITH SCORE 18282.208
AT ITER 2235 NEW BEST:: SOT 66040 SOS 52208 HAS SOPS 52208 HAS SOUS 18218 HAS SOUPS 18218 WITH SCORE 18270.208
AT ITER 2242 NEW BEST:: SOT 66038 SOS 52206 HAS SOPS 52206 HAS SOUS 18215 HAS SOUPS 18215 WITH SCORE 18267.206
AT ITER 2287 NEW BEST:: SOT 66037 SOS 52202 HAS SOPS 52202 HAS SOUS 18208 HAS SOUPS 18208 WITH SCORE 18260.202
AT ITER 2313 NEW BEST:: SOT 66032 SOS 52197 HAS SOPS 52197 HAS SOUS 18203 HAS SOUPS 18203 WITH SCORE 18255.197
AT ITER 2325 NEW BEST:: SOT 66037 SOS 52184 HAS SOPS 52184 HAS SOUS 18203 HAS SOUPS 18203 WITH SCORE 18255.184
AT ITER 2336 NEW BEST:: SOT 66037 SOS 52184 HAS SOPS 52184 HAS SOUS 18197 HAS SOUPS 18197 WITH SCORE 18249.184
AT ITER 2343 NEW BEST:: SOT 66024 SOS 52171 HAS SOPS 52171 HAS SOUS 18195 HAS SOUPS 18195 WITH SCORE 18247.171
AT ITER 2374 NEW BEST:: SOT 66026 SOS 52173 HAS SOPS 52173 HAS SOUS 18193 HAS SOUPS 18193 WITH SCORE 18245.173
AT ITER 2383 NEW BEST:: SOT 66026 SOS 52173 HAS SOPS 52173 HAS SOUS 18031 HAS SOUPS 18031 WITH SCORE 18083.173
AT ITER 2434 NEW BEST:: SOT 66018 SOS 52168 HAS SOPS 52168 HAS SOUS 18010 HAS SOUPS 18010 WITH SCORE 18062.168
AT ITER 2454 NEW BEST:: SOT 66018 SOS 52168 HAS SOPS 52168 HAS SOUS 17995 HAS SOUPS 17995 WITH SCORE 18047.168
AT ITER 2474 NEW BEST:: SOT 66010 SOS 52160 HAS SOPS 52160 HAS SOUS 17967 HAS SOUPS 17967 WITH SCORE 18019.16
AT ITER 2519 NEW BEST:: SOT 66010 SOS 51472 HAS SOPS 51472 HAS SOUS 17959 HAS SOUPS 17959 WITH SCORE 18010.472
AT ITER 2589 NEW BEST:: SOT 66001 SOS 51463 HAS SOPS 51463 HAS SOUS 17926 HAS SOUPS 17926 WITH SCORE 17977.463
AT ITER 2606 NEW BEST:: SOT 66001 SOS 51463 HAS SOPS 51463 HAS SOUS 17919 HAS SOUPS 17919 WITH SCORE 17970.463
AT ITER 2635 NEW BEST:: SOT 66013 SOS 51475 HAS SOPS 51475 HAS SOUS 17915 HAS SOUPS 17915 WITH SCORE 17966.475
AT ITER 2654 NEW BEST:: SOT 65987 SOS 51449 HAS SOPS 51449 HAS SOUS 17911 HAS SOUPS 17911 WITH SCORE 17962.449
AT ITER 2655 NEW BEST:: SOT 65987 SOS 51400 HAS SOPS 51400 HAS SOUS 17911 HAS SOUPS 17911 WITH SCORE 17962.4
AT ITER 2750 NEW BEST:: SOT 65921 SOS 51334 HAS SOPS 51334 HAS SOUS 17869 HAS SOUPS 17869 WITH SCORE 17920.334
AT ITER 2753 NEW BEST:: SOT 65909 SOS 51322 HAS SOPS 51322 HAS SOUS 17836 HAS SOUPS 17836 WITH SCORE 17887.322
AT ITER 2801 NEW BEST:: SOT 65921 SOS 51334 HAS SOPS 51334 HAS SOUS 17812 HAS SOUPS 17812 WITH SCORE 17863.334
AT ITER 2817 NEW BEST:: SOT 65944 SOS 51357 HAS SOPS 51357 HAS SOUS 17798 HAS SOUPS 17798 WITH SCORE 17849.357
AT ITER 2829 NEW BEST:: SOT 65944 SOS 51373 HAS SOPS 51373 HAS SOUS 17791 HAS SOUPS 17791 WITH SCORE 17842.373
AT ITER 2833 NEW BEST:: SOT 65944 SOS 51443 HAS SOPS 51443 HAS SOUS 17702 HAS SOUPS 17702 WITH SCORE 17753.443
AT ITER 2913 NEW BEST:: SOT 65944 SOS 51443 HAS SOPS 51443 HAS SOUS 17699 HAS SOUPS 17699 WITH SCORE 17750.443
AT ITER 2987 NEW BEST:: SOT 65943 SOS 51442 HAS SOPS 51442 HAS SOUS 17696 HAS SOUPS 17696 WITH SCORE 17747.442
AT ITER 3016 NEW BEST:: SOT 65943 SOS 51634 HAS SOPS 51634 HAS SOUS 17694 HAS SOUPS 17694 WITH SCORE 17745.634
AT ITER 3032 NEW BEST:: SOT 66013 SOS 51704 HAS SOPS 51704 HAS SOUS 17685 HAS SOUPS 17685 WITH SCORE 17736.704
AT ITER 3035 NEW BEST:: SOT 66041 SOS 51732 HAS SOPS 51732 HAS SOUS 17669 HAS SOUPS 17669 WITH SCORE 17720.732
AT ITER 3042 NEW BEST:: SOT 66041 SOS 51732 HAS SOPS 51732 HAS SOUS 17657 HAS SOUPS 17657 WITH SCORE 17708.732
AT ITER 3057 NEW BEST:: SOT 66041 SOS 51732 HAS SOPS 51732 HAS SOUS 17639 HAS SOUPS 17639 WITH SCORE 17690.732
AT ITER 3117 NEW BEST:: SOT 66041 SOS 51732 HAS SOPS 51732 HAS SOUS 17634 HAS SOUPS 17634 WITH SCORE 17685.732
AT ITER 3119 NEW BEST:: SOT 66041 SOS 51604 HAS SOPS 51604 HAS SOUS 17634 HAS SOUPS 17634 WITH SCORE 17685.604
AT ITER 3158 NEW BEST:: SOT 66041 SOS 51604 HAS SOPS 51604 HAS SOUS 17621 HAS SOUPS 17621 WITH SCORE 17672.604
AT ITER 3203 NEW BEST:: SOT 66041 SOS 51604 HAS SOPS 51604 HAS SOUS 17615 HAS SOUPS 17615 WITH SCORE 17666.604
AT ITER 3242 NEW BEST:: SOT 66044 SOS 51607 HAS SOPS 51607 HAS SOUS 17612 HAS SOUPS 17612 WITH SCORE 17663.607
AT ITER 3290 NEW BEST:: SOT 66016 SOS 51579 HAS SOPS 51579 HAS SOUS 17584 HAS SOUPS 17584 WITH SCORE 17635.579
AT ITER 3329 NEW BEST:: SOT 66016 SOS 51579 HAS SOPS 51579 HAS SOUS 17580 HAS SOUPS 17580 WITH SCORE 17631.579
AT ITER 3333 NEW BEST:: SOT 65823 SOS 51376 HAS SOPS 51376 HAS SOUS 17464 HAS SOUPS 17464 WITH SCORE 17515.376
AT ITER 3342 NEW BEST:: SOT 65808 SOS 51361 HAS SOPS 51361 HAS SOUS 17440 HAS SOUPS 17440 WITH SCORE 17491.361
AT ITER 3360 NEW BEST:: SOT 65806 SOS 51363 HAS SOPS 51363 HAS SOUS 17436 HAS SOUPS 17436 WITH SCORE 17487.363
AT ITER 3390 NEW BEST:: SOT 65806 SOS 51363 HAS SOPS 51363 HAS SOUS 17427 HAS SOUPS 17427 WITH SCORE 17478.363
AT ITER 3409 NEW BEST:: SOT 65806 SOS 51379 HAS SOPS 51379 HAS SOUS 17418 HAS SOUPS 17418 WITH SCORE 17469.379
AT ITER 3412 NEW BEST:: SOT 65806 SOS 51315 HAS SOPS 51315 HAS SOUS 17418 HAS SOUPS 17418 WITH SCORE 17469.315
AT ITER 3414 NEW BEST:: SOT 65830 SOS 51339 HAS SOPS 51339 HAS SOUS 17413 HAS SOUPS 17413 WITH SCORE 17464.339
AT ITER 3415 NEW BEST:: SOT 65830 SOS 51339 HAS SOPS 51339 HAS SOUS 17412 HAS SOUPS 17412 WITH SCORE 17463.339
AT ITER 3419 NEW BEST:: SOT 65698 SOS 51207 HAS SOPS 51207 HAS SOUS 17367 HAS SOUPS 17367 WITH SCORE 17418.207
AT ITER 3431 NEW BEST:: SOT 65719 SOS 51228 HAS SOPS 51228 HAS SOUS 17358 HAS SOUPS 17358 WITH SCORE 17409.228
AT ITER 3445 NEW BEST:: SOT 65719 SOS 51228 HAS SOPS 51228 HAS SOUS 17348 HAS SOUPS 17348 WITH SCORE 17399.228
AT ITER 3468 NEW BEST:: SOT 65717 SOS 51226 HAS SOPS 51226 HAS SOUS 17344 HAS SOUPS 17344 WITH SCORE 17395.226
AT ITER 3616 NEW BEST:: SOT 65709 SOS 51218 HAS SOPS 51218 HAS SOUS 17311 HAS SOUPS 17311 WITH SCORE 17362.218
AT ITER 3669 NEW BEST:: SOT 65710 SOS 51219 HAS SOPS 51219 HAS SOUS 17308 HAS SOUPS 17308 WITH SCORE 17359.219
AT ITER 3729 NEW BEST:: SOT 65706 SOS 51215 HAS SOPS 51215 HAS SOUS 17296 HAS SOUPS 17296 WITH SCORE 17347.215
AT ITER 3790 NEW BEST:: SOT 65718 SOS 51227 HAS SOPS 51227 HAS SOUS 17295 HAS SOUPS 17295 WITH SCORE 17346.227
AT ITER 3824 NEW BEST:: SOT 65718 SOS 51227 HAS SOPS 51227 HAS SOUS 17288 HAS SOUPS 17288 WITH SCORE 17339.227
AT ITER 3849 NEW BEST:: SOT 65730 SOS 51239 HAS SOPS 51239 HAS SOUS 17285 HAS SOUPS 17285 WITH SCORE 17336.239
AT ITER 3992 NEW BEST:: SOT 65723 SOS 51232 HAS SOPS 51232 HAS SOUS 17270 HAS SOUPS 17270 WITH SCORE 17321.232
AT ITER 4029 NEW BEST:: SOT 65721 SOS 51230 HAS SOPS 51230 HAS SOUS 17264 HAS SOUPS 17264 WITH SCORE 17315.23
AT ITER 4061 NEW BEST:: SOT 65721 SOS 51230 HAS SOPS 51230 HAS SOUS 17258 HAS SOUPS 17258 WITH SCORE 17309.23
AT ITER 4139 NEW BEST:: SOT 65706 SOS 51215 HAS SOPS 51215 HAS SOUS 17254 HAS SOUPS 17254 WITH SCORE 17305.215
AT ITER 4220 NEW BEST:: SOT 65693 SOS 51190 HAS SOPS 51190 HAS SOUS 17251 HAS SOUPS 17251 WITH SCORE 17302.19
AT ITER 4333 NEW BEST:: SOT 65676 SOS 51170 HAS SOPS 51170 HAS SOUS 17237 HAS SOUPS 17237 WITH SCORE 17288.17
AT ITER 4337 NEW BEST:: SOT 65676 SOS 51622 HAS SOPS 51622 HAS SOUS 17235 HAS SOUPS 17235 WITH SCORE 17286.622
AT ITER 4389 NEW BEST:: SOT 65664 SOS 51610 HAS SOPS 51610 HAS SOUS 17191 HAS SOUPS 17191 WITH SCORE 17242.61
AT ITER 4396 NEW BEST:: SOT 65669 SOS 51615 HAS SOPS 51615 HAS SOUS 17166 HAS SOUPS 17166 WITH SCORE 17217.615
AT ITER 4466 NEW BEST:: SOT 65669 SOS 51615 HAS SOPS 51615 HAS SOUS 17154 HAS SOUPS 17154 WITH SCORE 17205.615
AT ITER 4485 NEW BEST:: SOT 65575 SOS 51521 HAS SOPS 51521 HAS SOUS 17097 HAS SOUPS 17097 WITH SCORE 17148.521
AT ITER 4501 NEW BEST:: SOT 65551 SOS 51497 HAS SOPS 51497 HAS SOUS 17078 HAS SOUPS 17078 WITH SCORE 17129.497
AT ITER 4505 NEW BEST:: SOT 65552 SOS 51498 HAS SOPS 51498 HAS SOUS 17064 HAS SOUPS 17064 WITH SCORE 17115.498
AT ITER 4510 NEW BEST:: SOT 65504 SOS 51450 HAS SOPS 51450 HAS SOUS 17052 HAS SOUPS 17052 WITH SCORE 17103.45
AT ITER 4534 NEW BEST:: SOT 65725 SOS 51671 HAS SOPS 51671 HAS SOUS 17041 HAS SOUPS 17041 WITH SCORE 17092.671
AT ITER 4554 NEW BEST:: SOT 65735 SOS 51681 HAS SOPS 51681 HAS SOUS 16987 HAS SOUPS 16987 WITH SCORE 17038.681
AT ITER 4582 NEW BEST:: SOT 65716 SOS 51662 HAS SOPS 51662 HAS SOUS 16980 HAS SOUPS 16980 WITH SCORE 17031.662
AT ITER 4702 NEW BEST:: SOT 65639 SOS 51585 HAS SOPS 51585 HAS SOUS 16954 HAS SOUPS 16954 WITH SCORE 17005.585
AT ITER 4713 NEW BEST:: SOT 65632 SOS 51578 HAS SOPS 51578 HAS SOUS 16947 HAS SOUPS 16947 WITH SCORE 16998.578
AT ITER 4728 NEW BEST:: SOT 65617 SOS 51563 HAS SOPS 51563 HAS SOUS 16933 HAS SOUPS 16933 WITH SCORE 16984.563
AT ITER 4800 NEW BEST:: SOT 65530 SOS 51476 HAS SOPS 51476 HAS SOUS 16920 HAS SOUPS 16920 WITH SCORE 16971.476
AT ITER 4827 NEW BEST:: SOT 65545 SOS 51491 HAS SOPS 51491 HAS SOUS 16916 HAS SOUPS 16916 WITH SCORE 16967.491
AT ITER 5011 NEW BEST:: SOT 65581 SOS 51527 HAS SOPS 51527 HAS SOUS 16879 HAS SOUPS 16879 WITH SCORE 16930.527
AT ITER 5028 NEW BEST:: SOT 65581 SOS 51527 HAS SOPS 51527 HAS SOUS 16878 HAS SOUPS 16878 WITH SCORE 16929.527
AT ITER 5057 NEW BEST:: SOT 65639 SOS 52721 HAS SOPS 52721 HAS SOUS 16820 HAS SOUPS 16820 WITH SCORE 16872.721
AT ITER 5080 NEW BEST:: SOT 65639 SOS 52713 HAS SOPS 52713 HAS SOUS 16820 HAS SOUPS 16820 WITH SCORE 16872.713
AT ITER 5104 NEW BEST:: SOT 65585 SOS 52657 HAS SOPS 52657 HAS SOUS 16773 HAS SOUPS 16773 WITH SCORE 16825.657
AT ITER 5105 NEW BEST:: SOT 65583 SOS 52655 HAS SOPS 52655 HAS SOUS 16763 HAS SOUPS 16763 WITH SCORE 16815.655
AT ITER 5125 NEW BEST:: SOT 65582 SOS 52654 HAS SOPS 52654 HAS SOUS 16754 HAS SOUPS 16754 WITH SCORE 16806.654
AT ITER 5141 NEW BEST:: SOT 65581 SOS 52653 HAS SOPS 52653 HAS SOUS 16745 HAS SOUPS 16745 WITH SCORE 16797.653
AT ITER 5292 NEW BEST:: SOT 65581 SOS 52533 HAS SOPS 52533 HAS SOUS 16744 HAS SOUPS 16744 WITH SCORE 16796.533
AT ITER 5298 NEW BEST:: SOT 65497 SOS 52449 HAS SOPS 52449 HAS SOUS 16660 HAS SOUPS 16660 WITH SCORE 16712.449
AT ITER 5320 NEW BEST:: SOT 65479 SOS 52431 HAS SOPS 52431 HAS SOUS 16654 HAS SOUPS 16654 WITH SCORE 16706.431
AT ITER 5348 NEW BEST:: SOT 65479 SOS 51903 HAS SOPS 51903 HAS SOUS 16653 HAS SOUPS 16653 WITH SCORE 16704.903
AT ITER 5398 NEW BEST:: SOT 65477 SOS 51901 HAS SOPS 51901 HAS SOUS 16653 HAS SOUPS 16653 WITH SCORE 16704.901
AT ITER 5449 NEW BEST:: SOT 65476 SOS 51900 HAS SOPS 51900 HAS SOUS 16652 HAS SOUPS 16652 WITH SCORE 16703.9
AT ITER 5490 NEW BEST:: SOT 65423 SOS 51847 HAS SOPS 51847 HAS SOUS 16643 HAS SOUPS 16643 WITH SCORE 16694.847
AT ITER 5500 NEW BEST:: SOT 65417 SOS 51841 HAS SOPS 51841 HAS SOUS 16633 HAS SOUPS 16633 WITH SCORE 16684.841
AT ITER 5531 NEW BEST:: SOT 65417 SOS 51649 HAS SOPS 51649 HAS SOUS 16633 HAS SOUPS 16633 WITH SCORE 16684.649
AT ITER 5579 NEW BEST:: SOT 65421 SOS 51653 HAS SOPS 51653 HAS SOUS 16617 HAS SOUPS 16617 WITH SCORE 16668.653
AT ITER 5580 NEW BEST:: SOT 65413 SOS 51645 HAS SOPS 51645 HAS SOUS 16601 HAS SOUPS 16601 WITH SCORE 16652.645
AT ITER 5591 NEW BEST:: SOT 65401 SOS 51633 HAS SOPS 51633 HAS SOUS 16585 HAS SOUPS 16585 WITH SCORE 16636.633
AT ITER 5722 NEW BEST:: SOT 65414 SOS 51646 HAS SOPS 51646 HAS SOUS 16582 HAS SOUPS 16582 WITH SCORE 16633.646
AT ITER 5825 NEW BEST:: SOT 65412 SOS 51644 HAS SOPS 51644 HAS SOUS 16577 HAS SOUPS 16577 WITH SCORE 16628.644
AT ITER 5842 NEW BEST:: SOT 65424 SOS 51656 HAS SOPS 51656 HAS SOUS 16567 HAS SOUPS 16567 WITH SCORE 16618.656
AT ITER 5846 NEW BEST:: SOT 65422 SOS 51646 HAS SOPS 51646 HAS SOUS 16565 HAS SOUPS 16565 WITH SCORE 16616.646
AT ITER 5913 NEW BEST:: SOT 65414 SOS 51638 HAS SOPS 51638 HAS SOUS 16561 HAS SOUPS 16561 WITH SCORE 16612.638
AT ITER 5920 NEW BEST:: SOT 65414 SOS 51170 HAS SOPS 51170 HAS SOUS 16555 HAS SOUPS 16555 WITH SCORE 16606.17
AT ITER 5983 NEW BEST:: SOT 65391 SOS 51147 HAS SOPS 51147 HAS SOUS 16524 HAS SOUPS 16524 WITH SCORE 16575.147
AT ITER 5998 NEW BEST:: SOT 65391 SOS 51143 HAS SOPS 51143 HAS SOUS 16523 HAS SOUPS 16523 WITH SCORE 16574.143
AT ITER 6011 NEW BEST:: SOT 65391 SOS 51143 HAS SOPS 51143 HAS SOUS 16513 HAS SOUPS 16513 WITH SCORE 16564.143
AT ITER 6071 NEW BEST:: SOT 65391 SOS 51127 HAS SOPS 51127 HAS SOUS 16513 HAS SOUPS 16513 WITH SCORE 16564.127
AT ITER 6075 NEW BEST:: SOT 65382 SOS 51118 HAS SOPS 51118 HAS SOUS 16504 HAS SOUPS 16504 WITH SCORE 16555.118
AT ITER 6180 NEW BEST:: SOT 65376 SOS 51112 HAS SOPS 51112 HAS SOUS 16495 HAS SOUPS 16495 WITH SCORE 16546.112
AT ITER 6185 NEW BEST:: SOT 65360 SOS 51096 HAS SOPS 51096 HAS SOUS 16471 HAS SOUPS 16471 WITH SCORE 16522.096
AT ITER 6336 NEW BEST:: SOT 65363 SOS 51076 HAS SOPS 51076 HAS SOUS 16461 HAS SOUPS 16461 WITH SCORE 16512.076
AT ITER 6360 NEW BEST:: SOT 65361 SOS 51078 HAS SOPS 51078 HAS SOUS 16459 HAS SOUPS 16459 WITH SCORE 16510.078
AT ITER 6378 NEW BEST:: SOT 65361 SOS 51078 HAS SOPS 51078 HAS SOUS 16457 HAS SOUPS 16457 WITH SCORE 16508.078
AT ITER 6379 NEW BEST:: SOT 65361 SOS 50822 HAS SOPS 50822 HAS SOUS 16457 HAS SOUPS 16457 WITH SCORE 16507.822
AT ITER 6422 NEW BEST:: SOT 65361 SOS 50822 HAS SOPS 50822 HAS SOUS 16455 HAS SOUPS 16455 WITH SCORE 16505.822
AT ITER 6477 NEW BEST:: SOT 65358 SOS 50814 HAS SOPS 50814 HAS SOUS 16449 HAS SOUPS 16449 WITH SCORE 16499.814
AT ITER 6501 NEW BEST:: SOT 65261 SOS 50717 HAS SOPS 50717 HAS SOUS 16358 HAS SOUPS 16358 WITH SCORE 16408.717
AT ITER 6520 NEW BEST:: SOT 65240 SOS 50696 HAS SOPS 50696 HAS SOUS 16345 HAS SOUPS 16345 WITH SCORE 16395.696
AT ITER 6542 NEW BEST:: SOT 65238 SOS 50694 HAS SOPS 50694 HAS SOUS 16345 HAS SOUPS 16345 WITH SCORE 16395.694
AT ITER 6597 NEW BEST:: SOT 65238 SOS 50662 HAS SOPS 50662 HAS SOUS 16345 HAS SOUPS 16345 WITH SCORE 16395.662
AT ITER 6607 NEW BEST:: SOT 65238 SOS 50254 HAS SOPS 50254 HAS SOUS 16341 HAS SOUPS 16341 WITH SCORE 16391.254
AT ITER 6645 NEW BEST:: SOT 65233 SOS 50244 HAS SOPS 50244 HAS SOUS 16328 HAS SOUPS 16328 WITH SCORE 16378.244
AT ITER 6650 NEW BEST:: SOT 65233 SOS 49988 HAS SOPS 49988 HAS SOUS 16328 HAS SOUPS 16328 WITH SCORE 16377.988
AT ITER 6685 NEW BEST:: SOT 65197 SOS 49952 HAS SOPS 49952 HAS SOUS 16301 HAS SOUPS 16301 WITH SCORE 16350.952
AT ITER 6930 NEW BEST:: SOT 65197 SOS 49760 HAS SOPS 49760 HAS SOUS 16299 HAS SOUPS 16299 WITH SCORE 16348.76
AT ITER 6992 NEW BEST:: SOT 65196 SOS 49759 HAS SOPS 49759 HAS SOUS 16288 HAS SOUPS 16288 WITH SCORE 16337.759
AT ITER 7144 NEW BEST:: SOT 65196 SOS 49759 HAS SOPS 49759 HAS SOUS 16285 HAS SOUPS 16285 WITH SCORE 16334.759
AT ITER 7300 NEW BEST:: SOT 65206 SOS 49769 HAS SOPS 49769 HAS SOUS 16281 HAS SOUPS 16281 WITH SCORE 16330.769
AT ITER 7376 NEW BEST:: SOT 65201 SOS 49764 HAS SOPS 49764 HAS SOUS 16276 HAS SOUPS 16276 WITH SCORE 16325.764
AT ITER 7500 NEW BEST:: SOT 65201 SOS 49764 HAS SOPS 49764 HAS SOUS 16266 HAS SOUPS 16266 WITH SCORE 16315.764
AT ITER 7685 NEW BEST:: SOT 65193 SOS 49756 HAS SOPS 49756 HAS SOUS 16266 HAS SOUPS 16266 WITH SCORE 16315.756
AT ITER 7953 NEW BEST:: SOT 65190 SOS 49753 HAS SOPS 49753 HAS SOUS 16258 HAS SOUPS 16258 WITH SCORE 16307.753
AT ITER 8131 NEW BEST:: SOT 65190 SOS 49705 HAS SOPS 49705 HAS SOUS 16258 HAS SOUPS 16258 WITH SCORE 16307.705
AT ITER 8591 NEW BEST:: SOT 65193 SOS 49708 HAS SOPS 49708 HAS SOUS 16255 HAS SOUPS 16255 WITH SCORE 16304.708
AT ITER 8608 NEW BEST:: SOT 65189 SOS 49704 HAS SOPS 49704 HAS SOUS 16249 HAS SOUPS 16249 WITH SCORE 16298.704
AT ITER 8651 NEW BEST:: SOT 65189 SOS 49680 HAS SOPS 49680 HAS SOUS 16249 HAS SOUPS 16249 WITH SCORE 16298.68
AT ITER 8667 NEW BEST:: SOT 65166 SOS 49671 HAS SOPS 49671 HAS SOUS 16237 HAS SOUPS 16237 WITH SCORE 16286.671
AT ITER 8727 NEW BEST:: SOT 65166 SOS 49671 HAS SOPS 49671 HAS SOUS 16222 HAS SOUPS 16222 WITH SCORE 16271.671
AT ITER 8732 NEW BEST:: SOT 65150 SOS 49655 HAS SOPS 49655 HAS SOUS 16218 HAS SOUPS 16218 WITH SCORE 16267.655
AT ITER 8893 NEW BEST:: SOT 65150 SOS 49143 HAS SOPS 49143 HAS SOUS 16218 HAS SOUPS 16218 WITH SCORE 16267.143
AT ITER 9040 NEW BEST:: SOT 65131 SOS 49126 HAS SOPS 49126 HAS SOUS 16201 HAS SOUPS 16201 WITH SCORE 16250.126
AT ITER 9056 NEW BEST:: SOT 65133 SOS 49129 HAS SOPS 49129 HAS SOUS 16198 HAS SOUPS 16198 WITH SCORE 16247.129
AT ITER 9057 NEW BEST:: SOT 65117 SOS 49113 HAS SOPS 49113 HAS SOUS 16180 HAS SOUPS 16180 WITH SCORE 16229.113
AT ITER 9113 NEW BEST:: SOT 65089 SOS 49085 HAS SOPS 49085 HAS SOUS 16156 HAS SOUPS 16156 WITH SCORE 16205.085
AT ITER 9370 NEW BEST:: SOT 65089 SOS 49082 HAS SOPS 49082 HAS SOUS 16153 HAS SOUPS 16153 WITH SCORE 16202.082
AT ITER 9387 NEW BEST:: SOT 65089 SOS 49082 HAS SOPS 49082 HAS SOUS 16150 HAS SOUPS 16150 WITH SCORE 16199.082
AT ITER 9441 NEW BEST:: SOT 65084 SOS 49077 HAS SOPS 49077 HAS SOUS 16150 HAS SOUPS 16150 WITH SCORE 16199.077
AT ITER 9498 NEW BEST:: SOT 65084 SOS 49077 HAS SOPS 49077 HAS SOUS 16147 HAS SOUPS 16147 WITH SCORE 16196.077
AT ITER 9551 NEW BEST:: SOT 65082 SOS 49075 HAS SOPS 49075 HAS SOUS 16147 HAS SOUPS 16147 WITH SCORE 16196.075
AT ITER 9630 NEW BEST:: SOT 65082 SOS 48675 HAS SOPS 48675 HAS SOUS 16147 HAS SOUPS 16147 WITH SCORE 16195.675
AT ITER 9899 NEW BEST:: SOT 65079 SOS 48675 HAS SOPS 48675 HAS SOUS 16143 HAS SOUPS 16143 WITH SCORE 16191.675

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="PermAdmissibility-PT-10"
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 PermAdmissibility-PT-10, 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 r108-csrt-158961250800640"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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