About the Execution of Smart for PermAdmissibility-COL-50
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15855.575 | 3600000.00 | 3599277.00 | 1122.70 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r259-smll-167863534600504.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is PermAdmissibility-COL-50, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r259-smll-167863534600504
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 468K
-rw-r--r-- 1 mcc users 6.6K Feb 26 01:18 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 26 01:18 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 01:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 26 01:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:31 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 01:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 133K Feb 26 01:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.5K Feb 26 01:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 26K Feb 26 01:19 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 54K Mar 5 18:23 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 1678799281254
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PermAdmissibility-COL-50
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-14 13:08:05] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-14 13:08:05] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-14 13:08:05] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-14 13:08:06] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-14 13:08:06] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1043 ms
[2023-03-14 13:08:06] [INFO ] Imported 40 HL places and 16 HL transitions for a total of 208 PT places and 1024.0 transition bindings in 51 ms.
[2023-03-14 13:08:06] [INFO ] Unfolded HLPN to a Petri net with 208 places and 1024 transitions 5984 arcs in 99 ms.
[2023-03-14 13:08:06] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Reduce places removed 24 places and 240 transitions.
Reduce places removed 16 places and 192 transitions.
[2023-03-14 13:08:07] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 168 places, 592 transitions and 3456 arcs took 36 ms.
Total runtime 1617 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PermAdmissibility (COL), instance 50
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart
Filename model.pnml
Petri model created: 168 places, 592 transitions, 3456 arcs.
AT ITER 0 NEW BEST:: SOT 70657 SOS 44021 HAS SOPS 44021 HAS SOUS 26036 HAS SOUPS 26036 WITH SCORE 26080.021
AT ITER 3 NEW BEST:: SOT 70401 SOS 43990 HAS SOPS 43990 HAS SOUS 25953 HAS SOUPS 25953 WITH SCORE 25996.99
AT ITER 18 NEW BEST:: SOT 70414 SOS 44228 HAS SOPS 44228 HAS SOUS 25952 HAS SOUPS 25952 WITH SCORE 25996.228
AT ITER 19 NEW BEST:: SOT 70108 SOS 44192 HAS SOPS 44192 HAS SOUS 25769 HAS SOUPS 25769 WITH SCORE 25813.192
AT ITER 25 NEW BEST:: SOT 70050 SOS 44389 HAS SOPS 44389 HAS SOUS 25552 HAS SOUPS 25552 WITH SCORE 25596.389
AT ITER 30 NEW BEST:: SOT 70050 SOS 44389 HAS SOPS 44389 HAS SOUS 25528 HAS SOUPS 25528 WITH SCORE 25572.389
AT ITER 31 NEW BEST:: SOT 70042 SOS 44381 HAS SOPS 44381 HAS SOUS 25510 HAS SOUPS 25510 WITH SCORE 25554.381
AT ITER 47 NEW BEST:: SOT 69698 SOS 44346 HAS SOPS 44346 HAS SOUS 24989 HAS SOUPS 24989 WITH SCORE 25033.346
AT ITER 48 NEW BEST:: SOT 69402 SOS 44042 HAS SOPS 44042 HAS SOUS 24861 HAS SOUPS 24861 WITH SCORE 24905.042
AT ITER 64 NEW BEST:: SOT 69276 SOS 43916 HAS SOPS 43916 HAS SOUS 24736 HAS SOUPS 24736 WITH SCORE 24779.916
AT ITER 73 NEW BEST:: SOT 69276 SOS 43916 HAS SOPS 43916 HAS SOUS 24566 HAS SOUPS 24566 WITH SCORE 24609.916
AT ITER 74 NEW BEST:: SOT 69168 SOS 43896 HAS SOPS 43896 HAS SOUS 24534 HAS SOUPS 24534 WITH SCORE 24577.896
AT ITER 88 NEW BEST:: SOT 69217 SOS 49733 HAS SOPS 49733 HAS SOUS 24486 HAS SOUPS 24486 WITH SCORE 24535.733
AT ITER 92 NEW BEST:: SOT 68891 SOS 49407 HAS SOPS 49407 HAS SOUS 24253 HAS SOUPS 24253 WITH SCORE 24302.407
AT ITER 93 NEW BEST:: SOT 68853 SOS 49369 HAS SOPS 49369 HAS SOUS 24238 HAS SOUPS 24238 WITH SCORE 24287.369
AT ITER 100 NEW BEST:: SOT 68853 SOS 49870 HAS SOPS 49870 HAS SOUS 24183 HAS SOUPS 24183 WITH SCORE 24232.87
AT ITER 113 NEW BEST:: SOT 68728 SOS 49745 HAS SOPS 49745 HAS SOUS 24129 HAS SOUPS 24129 WITH SCORE 24178.745
AT ITER 116 NEW BEST:: SOT 68556 SOS 49912 HAS SOPS 49912 HAS SOUS 24103 HAS SOUPS 24103 WITH SCORE 24152.912
AT ITER 128 NEW BEST:: SOT 68537 SOS 49893 HAS SOPS 49893 HAS SOUS 24090 HAS SOUPS 24090 WITH SCORE 24139.893
AT ITER 131 NEW BEST:: SOT 68517 SOS 50218 HAS SOPS 50218 HAS SOUS 24003 HAS SOUPS 24003 WITH SCORE 24053.218
AT ITER 132 NEW BEST:: SOT 68077 SOS 49778 HAS SOPS 49778 HAS SOUS 23926 HAS SOUPS 23926 WITH SCORE 23975.778
AT ITER 133 NEW BEST:: SOT 68077 SOS 49778 HAS SOPS 49778 HAS SOUS 23790 HAS SOUPS 23790 WITH SCORE 23839.778
AT ITER 137 NEW BEST:: SOT 68077 SOS 49778 HAS SOPS 49778 HAS SOUS 23603 HAS SOUPS 23603 WITH SCORE 23652.778
AT ITER 144 NEW BEST:: SOT 68077 SOS 49778 HAS SOPS 49778 HAS SOUS 23324 HAS SOUPS 23324 WITH SCORE 23373.778
AT ITER 148 NEW BEST:: SOT 67910 SOS 49852 HAS SOPS 49852 HAS SOUS 23254 HAS SOUPS 23254 WITH SCORE 23303.852
AT ITER 149 NEW BEST:: SOT 67868 SOS 49810 HAS SOPS 49810 HAS SOUS 23170 HAS SOUPS 23170 WITH SCORE 23219.81
AT ITER 150 NEW BEST:: SOT 67868 SOS 49810 HAS SOPS 49810 HAS SOUS 23030 HAS SOUPS 23030 WITH SCORE 23079.81
AT ITER 168 NEW BEST:: SOT 67848 SOS 49790 HAS SOPS 49790 HAS SOUS 23014 HAS SOUPS 23014 WITH SCORE 23063.79
AT ITER 177 NEW BEST:: SOT 67945 SOS 49887 HAS SOPS 49887 HAS SOUS 22946 HAS SOUPS 22946 WITH SCORE 22995.887
AT ITER 190 NEW BEST:: SOT 67965 SOS 49907 HAS SOPS 49907 HAS SOUS 22776 HAS SOUPS 22776 WITH SCORE 22825.907
AT ITER 237 NEW BEST:: SOT 67960 SOS 49902 HAS SOPS 49902 HAS SOUS 22763 HAS SOUPS 22763 WITH SCORE 22812.902
AT ITER 248 NEW BEST:: SOT 67944 SOS 49886 HAS SOPS 49886 HAS SOUS 22758 HAS SOUPS 22758 WITH SCORE 22807.886
AT ITER 265 NEW BEST:: SOT 67944 SOS 49794 HAS SOPS 49794 HAS SOUS 22735 HAS SOUPS 22735 WITH SCORE 22784.794
AT ITER 271 NEW BEST:: SOT 67944 SOS 49786 HAS SOPS 49786 HAS SOUS 22735 HAS SOUPS 22735 WITH SCORE 22784.786
AT ITER 272 NEW BEST:: SOT 67675 SOS 49517 HAS SOPS 49517 HAS SOUS 22593 HAS SOUPS 22593 WITH SCORE 22642.517
AT ITER 273 NEW BEST:: SOT 67645 SOS 49486 HAS SOPS 49486 HAS SOUS 22517 HAS SOUPS 22517 WITH SCORE 22566.486
AT ITER 284 NEW BEST:: SOT 67645 SOS 49486 HAS SOPS 49486 HAS SOUS 22381 HAS SOUPS 22381 WITH SCORE 22430.486
AT ITER 290 NEW BEST:: SOT 67540 SOS 49726 HAS SOPS 49726 HAS SOUS 22271 HAS SOUPS 22271 WITH SCORE 22320.726
AT ITER 312 NEW BEST:: SOT 67524 SOS 49710 HAS SOPS 49710 HAS SOUS 22247 HAS SOUPS 22247 WITH SCORE 22296.71
AT ITER 345 NEW BEST:: SOT 67524 SOS 49710 HAS SOPS 49710 HAS SOUS 22209 HAS SOUPS 22209 WITH SCORE 22258.71
AT ITER 353 NEW BEST:: SOT 67294 SOS 49667 HAS SOPS 49667 HAS SOUS 22123 HAS SOUPS 22123 WITH SCORE 22172.667
AT ITER 376 NEW BEST:: SOT 67224 SOS 49597 HAS SOPS 49597 HAS SOUS 22065 HAS SOUPS 22065 WITH SCORE 22114.597
AT ITER 383 NEW BEST:: SOT 67224 SOS 49789 HAS SOPS 49789 HAS SOUS 21892 HAS SOUPS 21892 WITH SCORE 21941.789
AT ITER 385 NEW BEST:: SOT 67187 SOS 49752 HAS SOPS 49752 HAS SOUS 21866 HAS SOUPS 21866 WITH SCORE 21915.752
AT ITER 386 NEW BEST:: SOT 67175 SOS 49740 HAS SOPS 49740 HAS SOUS 21760 HAS SOUPS 21760 WITH SCORE 21809.74
AT ITER 415 NEW BEST:: SOT 67154 SOS 49719 HAS SOPS 49719 HAS SOUS 21731 HAS SOUPS 21731 WITH SCORE 21780.719
AT ITER 416 NEW BEST:: SOT 67149 SOS 49714 HAS SOPS 49714 HAS SOUS 21726 HAS SOUPS 21726 WITH SCORE 21775.714
AT ITER 418 NEW BEST:: SOT 67114 SOS 49684 HAS SOPS 49684 HAS SOUS 21701 HAS SOUPS 21701 WITH SCORE 21750.684
AT ITER 427 NEW BEST:: SOT 67114 SOS 49689 HAS SOPS 49689 HAS SOUS 21698 HAS SOUPS 21698 WITH SCORE 21747.689
AT ITER 429 NEW BEST:: SOT 67072 SOS 49647 HAS SOPS 49647 HAS SOUS 21647 HAS SOUPS 21647 WITH SCORE 21696.647
AT ITER 458 NEW BEST:: SOT 66726 SOS 49301 HAS SOPS 49301 HAS SOUS 21245 HAS SOUPS 21245 WITH SCORE 21294.301
AT ITER 475 NEW BEST:: SOT 66726 SOS 49301 HAS SOPS 49301 HAS SOUS 21162 HAS SOUPS 21162 WITH SCORE 21211.301
AT ITER 496 NEW BEST:: SOT 66688 SOS 49263 HAS SOPS 49263 HAS SOUS 21080 HAS SOUPS 21080 WITH SCORE 21129.263
AT ITER 504 NEW BEST:: SOT 66688 SOS 49293 HAS SOPS 49293 HAS SOUS 21078 HAS SOUPS 21078 WITH SCORE 21127.293
AT ITER 508 NEW BEST:: SOT 66688 SOS 49293 HAS SOPS 49293 HAS SOUS 21050 HAS SOUPS 21050 WITH SCORE 21099.293
AT ITER 518 NEW BEST:: SOT 66544 SOS 49149 HAS SOPS 49149 HAS SOUS 20754 HAS SOUPS 20754 WITH SCORE 20803.149
AT ITER 561 NEW BEST:: SOT 66524 SOS 49129 HAS SOPS 49129 HAS SOUS 20691 HAS SOUPS 20691 WITH SCORE 20740.129
AT ITER 571 NEW BEST:: SOT 66584 SOS 49189 HAS SOPS 49189 HAS SOUS 20597 HAS SOUPS 20597 WITH SCORE 20646.189
AT ITER 591 NEW BEST:: SOT 66584 SOS 49189 HAS SOPS 49189 HAS SOUS 20556 HAS SOUPS 20556 WITH SCORE 20605.189
AT ITER 601 NEW BEST:: SOT 66554 SOS 49159 HAS SOPS 49159 HAS SOUS 20547 HAS SOUPS 20547 WITH SCORE 20596.159
AT ITER 607 NEW BEST:: SOT 66554 SOS 49159 HAS SOPS 49159 HAS SOUS 20500 HAS SOUPS 20500 WITH SCORE 20549.159
AT ITER 617 NEW BEST:: SOT 66540 SOS 49197 HAS SOPS 49197 HAS SOUS 20465 HAS SOUPS 20465 WITH SCORE 20514.197
AT ITER 623 NEW BEST:: SOT 66464 SOS 49121 HAS SOPS 49121 HAS SOUS 20370 HAS SOUPS 20370 WITH SCORE 20419.121
AT ITER 632 NEW BEST:: SOT 66237 SOS 49025 HAS SOPS 49025 HAS SOUS 20347 HAS SOUPS 20347 WITH SCORE 20396.025
AT ITER 636 NEW BEST:: SOT 66237 SOS 49025 HAS SOPS 49025 HAS SOUS 20343 HAS SOUPS 20343 WITH SCORE 20392.025
AT ITER 640 NEW BEST:: SOT 66307 SOS 49095 HAS SOPS 49095 HAS SOUS 20296 HAS SOUPS 20296 WITH SCORE 20345.095
AT ITER 651 NEW BEST:: SOT 66413 SOS 49201 HAS SOPS 49201 HAS SOUS 20290 HAS SOUPS 20290 WITH SCORE 20339.201
AT ITER 655 NEW BEST:: SOT 66419 SOS 49207 HAS SOPS 49207 HAS SOUS 20271 HAS SOUPS 20271 WITH SCORE 20320.207
AT ITER 658 NEW BEST:: SOT 66419 SOS 49207 HAS SOPS 49207 HAS SOUS 20253 HAS SOUPS 20253 WITH SCORE 20302.207
AT ITER 664 NEW BEST:: SOT 66419 SOS 49207 HAS SOPS 49207 HAS SOUS 20185 HAS SOUPS 20185 WITH SCORE 20234.207
AT ITER 704 NEW BEST:: SOT 66413 SOS 49201 HAS SOPS 49201 HAS SOUS 20171 HAS SOUPS 20171 WITH SCORE 20220.201
AT ITER 709 NEW BEST:: SOT 66315 SOS 49103 HAS SOPS 49103 HAS SOUS 20066 HAS SOUPS 20066 WITH SCORE 20115.103
AT ITER 710 NEW BEST:: SOT 66211 SOS 48955 HAS SOPS 48955 HAS SOUS 20009 HAS SOUPS 20009 WITH SCORE 20057.955
AT ITER 732 NEW BEST:: SOT 66083 SOS 48827 HAS SOPS 48827 HAS SOUS 19889 HAS SOUPS 19889 WITH SCORE 19937.827
AT ITER 733 NEW BEST:: SOT 66078 SOS 48822 HAS SOPS 48822 HAS SOUS 19877 HAS SOUPS 19877 WITH SCORE 19925.822
AT ITER 754 NEW BEST:: SOT 66078 SOS 48822 HAS SOPS 48822 HAS SOUS 19873 HAS SOUPS 19873 WITH SCORE 19921.822
AT ITER 765 NEW BEST:: SOT 66092 SOS 48836 HAS SOPS 48836 HAS SOUS 19839 HAS SOUPS 19839 WITH SCORE 19887.836
AT ITER 787 NEW BEST:: SOT 66118 SOS 48741 HAS SOPS 48741 HAS SOUS 19837 HAS SOUPS 19837 WITH SCORE 19885.741
AT ITER 798 NEW BEST:: SOT 66098 SOS 48736 HAS SOPS 48736 HAS SOUS 19779 HAS SOUPS 19779 WITH SCORE 19827.736
AT ITER 811 NEW BEST:: SOT 66098 SOS 49800 HAS SOPS 49800 HAS SOUS 19721 HAS SOUPS 19721 WITH SCORE 19770.8
AT ITER 813 NEW BEST:: SOT 66098 SOS 50006 HAS SOPS 50006 HAS SOUS 19713 HAS SOUPS 19713 WITH SCORE 19763.006
AT ITER 825 NEW BEST:: SOT 66058 SOS 49997 HAS SOPS 49997 HAS SOUS 19687 HAS SOUPS 19687 WITH SCORE 19736.997
AT ITER 836 NEW BEST:: SOT 66071 SOS 50010 HAS SOPS 50010 HAS SOUS 19680 HAS SOUPS 19680 WITH SCORE 19730.01
AT ITER 850 NEW BEST:: SOT 66071 SOS 50010 HAS SOPS 50010 HAS SOUS 19628 HAS SOUPS 19628 WITH SCORE 19678.01
AT ITER 853 NEW BEST:: SOT 65935 SOS 49815 HAS SOPS 49815 HAS SOUS 19623 HAS SOUPS 19623 WITH SCORE 19672.815
AT ITER 859 NEW BEST:: SOT 65903 SOS 49783 HAS SOPS 49783 HAS SOUS 19601 HAS SOUPS 19601 WITH SCORE 19650.783
AT ITER 886 NEW BEST:: SOT 65726 SOS 49606 HAS SOPS 49606 HAS SOUS 19562 HAS SOUPS 19562 WITH SCORE 19611.606
AT ITER 895 NEW BEST:: SOT 65684 SOS 49564 HAS SOPS 49564 HAS SOUS 19510 HAS SOUPS 19510 WITH SCORE 19559.564
AT ITER 909 NEW BEST:: SOT 65684 SOS 49564 HAS SOPS 49564 HAS SOUS 19430 HAS SOUPS 19430 WITH SCORE 19479.564
AT ITER 938 NEW BEST:: SOT 65684 SOS 49564 HAS SOPS 49564 HAS SOUS 19425 HAS SOUPS 19425 WITH SCORE 19474.564
AT ITER 956 NEW BEST:: SOT 65660 SOS 49540 HAS SOPS 49540 HAS SOUS 19412 HAS SOUPS 19412 WITH SCORE 19461.54
AT ITER 985 NEW BEST:: SOT 65643 SOS 49523 HAS SOPS 49523 HAS SOUS 19407 HAS SOUPS 19407 WITH SCORE 19456.523
AT ITER 998 NEW BEST:: SOT 65643 SOS 49523 HAS SOPS 49523 HAS SOUS 19379 HAS SOUPS 19379 WITH SCORE 19428.523
AT ITER 1008 NEW BEST:: SOT 65611 SOS 49491 HAS SOPS 49491 HAS SOUS 19353 HAS SOUPS 19353 WITH SCORE 19402.491
AT ITER 1012 NEW BEST:: SOT 65641 SOS 49521 HAS SOPS 49521 HAS SOUS 19314 HAS SOUPS 19314 WITH SCORE 19363.521
AT ITER 1020 NEW BEST:: SOT 65621 SOS 49501 HAS SOPS 49501 HAS SOUS 19282 HAS SOUPS 19282 WITH SCORE 19331.501
AT ITER 1025 NEW BEST:: SOT 65648 SOS 49528 HAS SOPS 49528 HAS SOUS 19281 HAS SOUPS 19281 WITH SCORE 19330.528
AT ITER 1041 NEW BEST:: SOT 65648 SOS 49528 HAS SOPS 49528 HAS SOUS 19280 HAS SOUPS 19280 WITH SCORE 19329.528
AT ITER 1045 NEW BEST:: SOT 65552 SOS 49432 HAS SOPS 49432 HAS SOUS 19240 HAS SOUPS 19240 WITH SCORE 19289.432
AT ITER 1060 NEW BEST:: SOT 65505 SOS 49385 HAS SOPS 49385 HAS SOUS 19137 HAS SOUPS 19137 WITH SCORE 19186.385
AT ITER 1072 NEW BEST:: SOT 65447 SOS 49327 HAS SOPS 49327 HAS SOUS 19099 HAS SOUPS 19099 WITH SCORE 19148.327
AT ITER 1103 NEW BEST:: SOT 65351 SOS 49231 HAS SOPS 49231 HAS SOUS 18952 HAS SOUPS 18952 WITH SCORE 19001.231
AT ITER 1120 NEW BEST:: SOT 65351 SOS 48079 HAS SOPS 48079 HAS SOUS 18952 HAS SOUPS 18952 WITH SCORE 19000.079
AT ITER 1132 NEW BEST:: SOT 65405 SOS 48133 HAS SOPS 48133 HAS SOUS 18926 HAS SOUPS 18926 WITH SCORE 18974.133
AT ITER 1182 NEW BEST:: SOT 65365 SOS 48093 HAS SOPS 48093 HAS SOUS 18886 HAS SOUPS 18886 WITH SCORE 18934.093
AT ITER 1201 NEW BEST:: SOT 65329 SOS 48127 HAS SOPS 48127 HAS SOUS 18818 HAS SOUPS 18818 WITH SCORE 18866.127
AT ITER 1260 NEW BEST:: SOT 65328 SOS 48126 HAS SOPS 48126 HAS SOUS 18817 HAS SOUPS 18817 WITH SCORE 18865.126
AT ITER 1308 NEW BEST:: SOT 65324 SOS 48136 HAS SOPS 48136 HAS SOUS 18811 HAS SOUPS 18811 WITH SCORE 18859.136
AT ITER 1319 NEW BEST:: SOT 65312 SOS 48124 HAS SOPS 48124 HAS SOUS 18799 HAS SOUPS 18799 WITH SCORE 18847.124
AT ITER 1321 NEW BEST:: SOT 65312 SOS 47484 HAS SOPS 47484 HAS SOUS 18799 HAS SOUPS 18799 WITH SCORE 18846.484
AT ITER 1367 NEW BEST:: SOT 65296 SOS 47468 HAS SOPS 47468 HAS SOUS 18783 HAS SOUPS 18783 WITH SCORE 18830.468
AT ITER 1370 NEW BEST:: SOT 65293 SOS 47465 HAS SOPS 47465 HAS SOUS 18774 HAS SOUPS 18774 WITH SCORE 18821.465
AT ITER 1393 NEW BEST:: SOT 65277 SOS 47449 HAS SOPS 47449 HAS SOUS 18742 HAS SOUPS 18742 WITH SCORE 18789.449
AT ITER 1398 NEW BEST:: SOT 65277 SOS 47314 HAS SOPS 47314 HAS SOUS 18724 HAS SOUPS 18724 WITH SCORE 18771.314
AT ITER 1416 NEW BEST:: SOT 65269 SOS 47306 HAS SOPS 47306 HAS SOUS 18680 HAS SOUPS 18680 WITH SCORE 18727.306
AT ITER 1460 NEW BEST:: SOT 65264 SOS 47301 HAS SOPS 47301 HAS SOUS 18675 HAS SOUPS 18675 WITH SCORE 18722.301
AT ITER 1463 NEW BEST:: SOT 64965 SOS 47002 HAS SOPS 47002 HAS SOUS 18648 HAS SOUPS 18648 WITH SCORE 18695.002
AT ITER 1512 NEW BEST:: SOT 64959 SOS 47017 HAS SOPS 47017 HAS SOUS 18636 HAS SOUPS 18636 WITH SCORE 18683.017
AT ITER 1531 NEW BEST:: SOT 64765 SOS 46789 HAS SOPS 46789 HAS SOUS 18498 HAS SOUPS 18498 WITH SCORE 18544.789
AT ITER 1538 NEW BEST:: SOT 64757 SOS 46781 HAS SOPS 46781 HAS SOUS 18490 HAS SOUPS 18490 WITH SCORE 18536.781
AT ITER 1542 NEW BEST:: SOT 64753 SOS 46771 HAS SOPS 46771 HAS SOUS 18485 HAS SOUPS 18485 WITH SCORE 18531.771
AT ITER 1578 NEW BEST:: SOT 64739 SOS 46850 HAS SOPS 46850 HAS SOUS 18483 HAS SOUPS 18483 WITH SCORE 18529.85
AT ITER 1581 NEW BEST:: SOT 64737 SOS 46842 HAS SOPS 46842 HAS SOUS 18481 HAS SOUPS 18481 WITH SCORE 18527.842
AT ITER 1589 NEW BEST:: SOT 64737 SOS 46490 HAS SOPS 46490 HAS SOUS 18480 HAS SOUPS 18480 WITH SCORE 18526.49
AT ITER 1626 NEW BEST:: SOT 64825 SOS 46425 HAS SOPS 46425 HAS SOUS 18467 HAS SOUPS 18467 WITH SCORE 18513.425
AT ITER 1636 NEW BEST:: SOT 64849 SOS 46449 HAS SOPS 46449 HAS SOUS 18290 HAS SOUPS 18290 WITH SCORE 18336.449
AT ITER 1659 NEW BEST:: SOT 64849 SOS 46389 HAS SOPS 46389 HAS SOUS 18287 HAS SOUPS 18287 WITH SCORE 18333.389
AT ITER 1661 NEW BEST:: SOT 64849 SOS 47285 HAS SOPS 47285 HAS SOUS 18283 HAS SOUPS 18283 WITH SCORE 18330.285
AT ITER 1701 NEW BEST:: SOT 64790 SOS 47214 HAS SOPS 47214 HAS SOUS 18270 HAS SOUPS 18270 WITH SCORE 18317.214
AT ITER 1708 NEW BEST:: SOT 64790 SOS 47150 HAS SOPS 47150 HAS SOUS 18270 HAS SOUPS 18270 WITH SCORE 18317.15
AT ITER 1710 NEW BEST:: SOT 64767 SOS 47127 HAS SOPS 47127 HAS SOUS 18251 HAS SOUPS 18251 WITH SCORE 18298.127
AT ITER 1719 NEW BEST:: SOT 64767 SOS 47874 HAS SOPS 47874 HAS SOUS 18250 HAS SOUPS 18250 WITH SCORE 18297.874
AT ITER 1764 NEW BEST:: SOT 64761 SOS 47869 HAS SOPS 47869 HAS SOUS 18239 HAS SOUPS 18239 WITH SCORE 18286.869
AT ITER 1771 NEW BEST:: SOT 64761 SOS 47869 HAS SOPS 47869 HAS SOUS 18225 HAS SOUPS 18225 WITH SCORE 18272.869
AT ITER 1797 NEW BEST:: SOT 64761 SOS 47869 HAS SOPS 47869 HAS SOUS 18160 HAS SOUPS 18160 WITH SCORE 18207.869
AT ITER 1809 NEW BEST:: SOT 64749 SOS 47848 HAS SOPS 47848 HAS SOUS 18153 HAS SOUPS 18153 WITH SCORE 18200.848
AT ITER 1815 NEW BEST:: SOT 64677 SOS 47774 HAS SOPS 47774 HAS SOUS 18073 HAS SOUPS 18073 WITH SCORE 18120.774
AT ITER 1862 NEW BEST:: SOT 64677 SOS 47774 HAS SOPS 47774 HAS SOUS 18033 HAS SOUPS 18033 WITH SCORE 18080.774
AT ITER 1870 NEW BEST:: SOT 64665 SOS 47762 HAS SOPS 47762 HAS SOUS 18011 HAS SOUPS 18011 WITH SCORE 18058.762
AT ITER 1937 NEW BEST:: SOT 64665 SOS 47762 HAS SOPS 47762 HAS SOUS 18006 HAS SOUPS 18006 WITH SCORE 18053.762
AT ITER 1944 NEW BEST:: SOT 64666 SOS 47763 HAS SOPS 47763 HAS SOUS 17989 HAS SOUPS 17989 WITH SCORE 18036.763
AT ITER 1949 NEW BEST:: SOT 64666 SOS 47763 HAS SOPS 47763 HAS SOUS 17986 HAS SOUPS 17986 WITH SCORE 18033.763
AT ITER 1992 NEW BEST:: SOT 64666 SOS 47795 HAS SOPS 47795 HAS SOUS 17985 HAS SOUPS 17985 WITH SCORE 18032.795
AT ITER 2024 NEW BEST:: SOT 64665 SOS 47794 HAS SOPS 47794 HAS SOUS 17984 HAS SOUPS 17984 WITH SCORE 18031.794
AT ITER 2039 NEW BEST:: SOT 64645 SOS 47774 HAS SOPS 47774 HAS SOUS 17928 HAS SOUPS 17928 WITH SCORE 17975.774
AT ITER 2051 NEW BEST:: SOT 64645 SOS 46862 HAS SOPS 46862 HAS SOUS 17924 HAS SOUPS 17924 WITH SCORE 17970.862
AT ITER 2057 NEW BEST:: SOT 64517 SOS 46734 HAS SOPS 46734 HAS SOUS 17918 HAS SOUPS 17918 WITH SCORE 17964.734
AT ITER 2062 NEW BEST:: SOT 64519 SOS 46710 HAS SOPS 46710 HAS SOUS 17918 HAS SOUPS 17918 WITH SCORE 17964.71
AT ITER 2084 NEW BEST:: SOT 64513 SOS 46704 HAS SOPS 46704 HAS SOUS 17909 HAS SOUPS 17909 WITH SCORE 17955.704
AT ITER 2118 NEW BEST:: SOT 64457 SOS 46648 HAS SOPS 46648 HAS SOUS 17797 HAS SOUPS 17797 WITH SCORE 17843.648
AT ITER 2137 NEW BEST:: SOT 64448 SOS 46652 HAS SOPS 46652 HAS SOUS 17795 HAS SOUPS 17795 WITH SCORE 17841.652
AT ITER 2142 NEW BEST:: SOT 64348 SOS 46552 HAS SOPS 46552 HAS SOUS 17650 HAS SOUPS 17650 WITH SCORE 17696.552
AT ITER 2168 NEW BEST:: SOT 64280 SOS 46484 HAS SOPS 46484 HAS SOUS 17602 HAS SOUPS 17602 WITH SCORE 17648.484
AT ITER 2226 NEW BEST:: SOT 64268 SOS 46472 HAS SOPS 46472 HAS SOUS 17590 HAS SOUPS 17590 WITH SCORE 17636.472
AT ITER 2251 NEW BEST:: SOT 64258 SOS 46462 HAS SOPS 46462 HAS SOUS 17562 HAS SOUPS 17562 WITH SCORE 17608.462
AT ITER 2257 NEW BEST:: SOT 64325 SOS 46421 HAS SOPS 46421 HAS SOUS 17549 HAS SOUPS 17549 WITH SCORE 17595.421
AT ITER 2269 NEW BEST:: SOT 64330 SOS 46426 HAS SOPS 46426 HAS SOUS 17547 HAS SOUPS 17547 WITH SCORE 17593.426
AT ITER 2287 NEW BEST:: SOT 64332 SOS 46424 HAS SOPS 46424 HAS SOUS 17546 HAS SOUPS 17546 WITH SCORE 17592.424
AT ITER 2302 NEW BEST:: SOT 64251 SOS 46343 HAS SOPS 46343 HAS SOUS 17422 HAS SOUPS 17422 WITH SCORE 17468.343
AT ITER 2306 NEW BEST:: SOT 64245 SOS 46337 HAS SOPS 46337 HAS SOUS 17406 HAS SOUPS 17406 WITH SCORE 17452.337
AT ITER 2344 NEW BEST:: SOT 64249 SOS 46341 HAS SOPS 46341 HAS SOUS 17402 HAS SOUPS 17402 WITH SCORE 17448.341
AT ITER 2348 NEW BEST:: SOT 64249 SOS 46341 HAS SOPS 46341 HAS SOUS 17394 HAS SOUPS 17394 WITH SCORE 17440.341
AT ITER 2363 NEW BEST:: SOT 64193 SOS 46285 HAS SOPS 46285 HAS SOUS 17363 HAS SOUPS 17363 WITH SCORE 17409.285
AT ITER 2380 NEW BEST:: SOT 64193 SOS 46285 HAS SOPS 46285 HAS SOUS 17359 HAS SOUPS 17359 WITH SCORE 17405.285
AT ITER 2394 NEW BEST:: SOT 64186 SOS 46278 HAS SOPS 46278 HAS SOUS 17348 HAS SOUPS 17348 WITH SCORE 17394.278
AT ITER 2439 NEW BEST:: SOT 64156 SOS 46244 HAS SOPS 46244 HAS SOUS 17316 HAS SOUPS 17316 WITH SCORE 17362.244
AT ITER 2444 NEW BEST:: SOT 64145 SOS 46233 HAS SOPS 46233 HAS SOUS 17301 HAS SOUPS 17301 WITH SCORE 17347.233
AT ITER 2454 NEW BEST:: SOT 64122 SOS 46209 HAS SOPS 46209 HAS SOUS 17297 HAS SOUPS 17297 WITH SCORE 17343.209
AT ITER 2475 NEW BEST:: SOT 64114 SOS 46201 HAS SOPS 46201 HAS SOUS 17295 HAS SOUPS 17295 WITH SCORE 17341.201
AT ITER 2498 NEW BEST:: SOT 64112 SOS 46200 HAS SOPS 46200 HAS SOUS 17292 HAS SOUPS 17292 WITH SCORE 17338.2
AT ITER 2541 NEW BEST:: SOT 64074 SOS 46160 HAS SOPS 46160 HAS SOUS 17252 HAS SOUPS 17252 WITH SCORE 17298.16
AT ITER 2554 NEW BEST:: SOT 64059 SOS 46145 HAS SOPS 46145 HAS SOUS 17237 HAS SOUPS 17237 WITH SCORE 17283.145
AT ITER 2558 NEW BEST:: SOT 64055 SOS 46141 HAS SOPS 46141 HAS SOUS 17237 HAS SOUPS 17237 WITH SCORE 17283.141
AT ITER 2562 NEW BEST:: SOT 64051 SOS 46140 HAS SOPS 46140 HAS SOUS 17235 HAS SOUPS 17235 WITH SCORE 17281.14
AT ITER 2603 NEW BEST:: SOT 64060 SOS 46149 HAS SOPS 46149 HAS SOUS 17228 HAS SOUPS 17228 WITH SCORE 17274.149
AT ITER 2668 NEW BEST:: SOT 64009 SOS 46098 HAS SOPS 46098 HAS SOUS 17191 HAS SOUPS 17191 WITH SCORE 17237.098
AT ITER 2705 NEW BEST:: SOT 64008 SOS 46322 HAS SOPS 46322 HAS SOUS 17113 HAS SOUPS 17113 WITH SCORE 17159.322
AT ITER 2723 NEW BEST:: SOT 63968 SOS 46282 HAS SOPS 46282 HAS SOUS 17028 HAS SOUPS 17028 WITH SCORE 17074.282
AT ITER 2729 NEW BEST:: SOT 63969 SOS 46283 HAS SOPS 46283 HAS SOUS 17027 HAS SOUPS 17027 WITH SCORE 17073.283
AT ITER 2738 NEW BEST:: SOT 63975 SOS 46289 HAS SOPS 46289 HAS SOUS 17017 HAS SOUPS 17017 WITH SCORE 17063.289
AT ITER 2752 NEW BEST:: SOT 64007 SOS 46321 HAS SOPS 46321 HAS SOUS 16977 HAS SOUPS 16977 WITH SCORE 17023.321
AT ITER 2778 NEW BEST:: SOT 63991 SOS 46305 HAS SOPS 46305 HAS SOUS 16945 HAS SOUPS 16945 WITH SCORE 16991.305
AT ITER 2786 NEW BEST:: SOT 63975 SOS 46289 HAS SOPS 46289 HAS SOUS 16916 HAS SOUPS 16916 WITH SCORE 16962.289
AT ITER 2821 NEW BEST:: SOT 63965 SOS 46283 HAS SOPS 46283 HAS SOUS 16904 HAS SOUPS 16904 WITH SCORE 16950.283
AT ITER 2859 NEW BEST:: SOT 63945 SOS 46286 HAS SOPS 46286 HAS SOUS 16892 HAS SOUPS 16892 WITH SCORE 16938.286
AT ITER 2925 NEW BEST:: SOT 63945 SOS 46196 HAS SOPS 46196 HAS SOUS 16881 HAS SOUPS 16881 WITH SCORE 16927.196
AT ITER 2946 NEW BEST:: SOT 63904 SOS 46155 HAS SOPS 46155 HAS SOUS 16840 HAS SOUPS 16840 WITH SCORE 16886.155
AT ITER 2953 NEW BEST:: SOT 63860 SOS 46111 HAS SOPS 46111 HAS SOUS 16836 HAS SOUPS 16836 WITH SCORE 16882.111
AT ITER 2963 NEW BEST:: SOT 63875 SOS 46126 HAS SOPS 46126 HAS SOUS 16832 HAS SOUPS 16832 WITH SCORE 16878.126
AT ITER 2988 NEW BEST:: SOT 63867 SOS 46118 HAS SOPS 46118 HAS SOUS 16816 HAS SOUPS 16816 WITH SCORE 16862.118
AT ITER 3022 NEW BEST:: SOT 63867 SOS 46118 HAS SOPS 46118 HAS SOUS 16815 HAS SOUPS 16815 WITH SCORE 16861.118
AT ITER 3076 NEW BEST:: SOT 63860 SOS 46111 HAS SOPS 46111 HAS SOUS 16796 HAS SOUPS 16796 WITH SCORE 16842.111
AT ITER 3083 NEW BEST:: SOT 63840 SOS 46092 HAS SOPS 46092 HAS SOUS 16778 HAS SOUPS 16778 WITH SCORE 16824.092
AT ITER 3143 NEW BEST:: SOT 63958 SOS 46225 HAS SOPS 46225 HAS SOUS 16755 HAS SOUPS 16755 WITH SCORE 16801.225
AT ITER 3156 NEW BEST:: SOT 63939 SOS 46206 HAS SOPS 46206 HAS SOUS 16746 HAS SOUPS 16746 WITH SCORE 16792.206
AT ITER 3176 NEW BEST:: SOT 63959 SOS 46226 HAS SOPS 46226 HAS SOUS 16736 HAS SOUPS 16736 WITH SCORE 16782.226
AT ITER 3184 NEW BEST:: SOT 63974 SOS 46241 HAS SOPS 46241 HAS SOUS 16735 HAS SOUPS 16735 WITH SCORE 16781.241
AT ITER 3204 NEW BEST:: SOT 63974 SOS 46241 HAS SOPS 46241 HAS SOUS 16720 HAS SOUPS 16720 WITH SCORE 16766.241
AT ITER 3207 NEW BEST:: SOT 63960 SOS 46227 HAS SOPS 46227 HAS SOUS 16709 HAS SOUPS 16709 WITH SCORE 16755.227
AT ITER 3225 NEW BEST:: SOT 63960 SOS 46228 HAS SOPS 46228 HAS SOUS 16700 HAS SOUPS 16700 WITH SCORE 16746.228
AT ITER 3279 NEW BEST:: SOT 63970 SOS 46047 HAS SOPS 46047 HAS SOUS 16688 HAS SOUPS 16688 WITH SCORE 16734.047
AT ITER 3317 NEW BEST:: SOT 63970 SOS 46054 HAS SOPS 46054 HAS SOUS 16681 HAS SOUPS 16681 WITH SCORE 16727.054
AT ITER 3364 NEW BEST:: SOT 63970 SOS 46054 HAS SOPS 46054 HAS SOUS 16678 HAS SOUPS 16678 WITH SCORE 16724.054
AT ITER 3492 NEW BEST:: SOT 63890 SOS 44471 HAS SOPS 44471 HAS SOUS 16641 HAS SOUPS 16641 WITH SCORE 16685.471
AT ITER 3508 NEW BEST:: SOT 63866 SOS 44381 HAS SOPS 44381 HAS SOUS 16631 HAS SOUPS 16631 WITH SCORE 16675.381
AT ITER 3519 NEW BEST:: SOT 63680 SOS 44155 HAS SOPS 44155 HAS SOUS 16627 HAS SOUPS 16627 WITH SCORE 16671.155
AT ITER 3557 NEW BEST:: SOT 63708 SOS 44910 HAS SOPS 44910 HAS SOUS 16595 HAS SOUPS 16595 WITH SCORE 16639.91
AT ITER 3569 NEW BEST:: SOT 63698 SOS 44902 HAS SOPS 44902 HAS SOUS 16571 HAS SOUPS 16571 WITH SCORE 16615.902
AT ITER 3671 NEW BEST:: SOT 63672 SOS 44872 HAS SOPS 44872 HAS SOUS 16508 HAS SOUPS 16508 WITH SCORE 16552.872
AT ITER 3713 NEW BEST:: SOT 63663 SOS 44863 HAS SOPS 44863 HAS SOUS 16491 HAS SOUPS 16491 WITH SCORE 16535.863
AT ITER 3748 NEW BEST:: SOT 63663 SOS 44864 HAS SOPS 44864 HAS SOUS 16479 HAS SOUPS 16479 WITH SCORE 16523.864
AT ITER 3769 NEW BEST:: SOT 63661 SOS 44862 HAS SOPS 44862 HAS SOUS 16468 HAS SOUPS 16468 WITH SCORE 16512.862
AT ITER 3801 NEW BEST:: SOT 63661 SOS 44478 HAS SOPS 44478 HAS SOUS 16468 HAS SOUPS 16468 WITH SCORE 16512.478
AT ITER 3802 NEW BEST:: SOT 63641 SOS 44447 HAS SOPS 44447 HAS SOUS 16454 HAS SOUPS 16454 WITH SCORE 16498.447
AT ITER 3837 NEW BEST:: SOT 63681 SOS 44487 HAS SOPS 44487 HAS SOUS 16441 HAS SOUPS 16441 WITH SCORE 16485.487
AT ITER 3865 NEW BEST:: SOT 63683 SOS 44504 HAS SOPS 44504 HAS SOUS 16431 HAS SOUPS 16431 WITH SCORE 16475.504
AT ITER 3902 NEW BEST:: SOT 63683 SOS 44504 HAS SOPS 44504 HAS SOUS 16403 HAS SOUPS 16403 WITH SCORE 16447.504
AT ITER 3961 NEW BEST:: SOT 63687 SOS 44508 HAS SOPS 44508 HAS SOUS 16388 HAS SOUPS 16388 WITH SCORE 16432.508
AT ITER 4133 NEW BEST:: SOT 63687 SOS 44444 HAS SOPS 44444 HAS SOUS 16388 HAS SOUPS 16388 WITH SCORE 16432.444
AT ITER 4147 NEW BEST:: SOT 63683 SOS 44440 HAS SOPS 44440 HAS SOUS 16372 HAS SOUPS 16372 WITH SCORE 16416.44
AT ITER 4206 NEW BEST:: SOT 63683 SOS 44440 HAS SOPS 44440 HAS SOUS 16360 HAS SOUPS 16360 WITH SCORE 16404.44
AT ITER 4256 NEW BEST:: SOT 63663 SOS 44413 HAS SOPS 44413 HAS SOUS 16337 HAS SOUPS 16337 WITH SCORE 16381.413
AT ITER 4263 NEW BEST:: SOT 63663 SOS 44413 HAS SOPS 44413 HAS SOUS 16335 HAS SOUPS 16335 WITH SCORE 16379.413
AT ITER 4276 NEW BEST:: SOT 63662 SOS 44412 HAS SOPS 44412 HAS SOUS 16334 HAS SOUPS 16334 WITH SCORE 16378.412
AT ITER 4300 NEW BEST:: SOT 63662 SOS 44413 HAS SOPS 44413 HAS SOUS 16333 HAS SOUPS 16333 WITH SCORE 16377.413
AT ITER 4449 NEW BEST:: SOT 63658 SOS 44409 HAS SOPS 44409 HAS SOUS 16309 HAS SOUPS 16309 WITH SCORE 16353.409
AT ITER 4473 NEW BEST:: SOT 63658 SOS 44409 HAS SOPS 44409 HAS SOUS 16301 HAS SOUPS 16301 WITH SCORE 16345.409
AT ITER 4486 NEW BEST:: SOT 63665 SOS 44416 HAS SOPS 44416 HAS SOUS 16282 HAS SOUPS 16282 WITH SCORE 16326.416
AT ITER 4496 NEW BEST:: SOT 63551 SOS 44286 HAS SOPS 44286 HAS SOUS 16281 HAS SOUPS 16281 WITH SCORE 16325.286
AT ITER 4522 NEW BEST:: SOT 63551 SOS 44270 HAS SOPS 44270 HAS SOUS 16281 HAS SOUPS 16281 WITH SCORE 16325.27
AT ITER 4529 NEW BEST:: SOT 63391 SOS 44015 HAS SOPS 44015 HAS SOUS 16254 HAS SOUPS 16254 WITH SCORE 16298.015
AT ITER 4530 NEW BEST:: SOT 63437 SOS 44061 HAS SOPS 44061 HAS SOUS 16215 HAS SOUPS 16215 WITH SCORE 16259.061
AT ITER 4653 NEW BEST:: SOT 63398 SOS 44027 HAS SOPS 44027 HAS SOUS 16185 HAS SOUPS 16185 WITH SCORE 16229.027
AT ITER 4678 NEW BEST:: SOT 63398 SOS 44028 HAS SOPS 44028 HAS SOUS 16182 HAS SOUPS 16182 WITH SCORE 16226.028
AT ITER 4806 NEW BEST:: SOT 63402 SOS 44036 HAS SOPS 44036 HAS SOUS 16175 HAS SOUPS 16175 WITH SCORE 16219.036
AT ITER 4855 NEW BEST:: SOT 63402 SOS 44039 HAS SOPS 44039 HAS SOUS 16172 HAS SOUPS 16172 WITH SCORE 16216.039
AT ITER 4870 NEW BEST:: SOT 63410 SOS 44047 HAS SOPS 44047 HAS SOUS 16117 HAS SOUPS 16117 WITH SCORE 16161.047
AT ITER 4874 NEW BEST:: SOT 63402 SOS 44039 HAS SOPS 44039 HAS SOUS 16109 HAS SOUPS 16109 WITH SCORE 16153.039
AT ITER 4899 NEW BEST:: SOT 63383 SOS 44020 HAS SOPS 44020 HAS SOUS 16075 HAS SOUPS 16075 WITH SCORE 16119.02
AT ITER 4919 NEW BEST:: SOT 63383 SOS 44031 HAS SOPS 44031 HAS SOUS 16066 HAS SOUPS 16066 WITH SCORE 16110.031
AT ITER 5027 NEW BEST:: SOT 63383 SOS 44031 HAS SOPS 44031 HAS SOUS 16058 HAS SOUPS 16058 WITH SCORE 16102.031
AT ITER 5079 NEW BEST:: SOT 63351 SOS 43993 HAS SOPS 43993 HAS SOUS 15994 HAS SOUPS 15994 WITH SCORE 16037.993
AT ITER 5139 NEW BEST:: SOT 63348 SOS 43990 HAS SOPS 43990 HAS SOUS 15991 HAS SOUPS 15991 WITH SCORE 16034.99
AT ITER 5185 NEW BEST:: SOT 63365 SOS 44007 HAS SOPS 44007 HAS SOUS 15976 HAS SOUPS 15976 WITH SCORE 16020.007
AT ITER 5226 NEW BEST:: SOT 63365 SOS 44007 HAS SOPS 44007 HAS SOUS 15974 HAS SOUPS 15974 WITH SCORE 16018.007
AT ITER 5246 NEW BEST:: SOT 63366 SOS 44008 HAS SOPS 44008 HAS SOUS 15955 HAS SOUPS 15955 WITH SCORE 15999.008
AT ITER 5302 NEW BEST:: SOT 63291 SOS 43949 HAS SOPS 43949 HAS SOUS 15759 HAS SOUPS 15759 WITH SCORE 15802.949
AT ITER 5350 NEW BEST:: SOT 63289 SOS 43947 HAS SOPS 43947 HAS SOUS 15757 HAS SOUPS 15757 WITH SCORE 15800.947
AT ITER 5365 NEW BEST:: SOT 63289 SOS 43755 HAS SOPS 43755 HAS SOUS 15756 HAS SOUPS 15756 WITH SCORE 15799.755
AT ITER 5375 NEW BEST:: SOT 63289 SOS 43743 HAS SOPS 43743 HAS SOUS 15754 HAS SOUPS 15754 WITH SCORE 15797.743
AT ITER 5402 NEW BEST:: SOT 63297 SOS 43800 HAS SOPS 43800 HAS SOUS 15750 HAS SOUPS 15750 WITH SCORE 15793.8
AT ITER 5445 NEW BEST:: SOT 63297 SOS 43664 HAS SOPS 43664 HAS SOUS 15748 HAS SOUPS 15748 WITH SCORE 15791.664
AT ITER 5451 NEW BEST:: SOT 63297 SOS 43214 HAS SOPS 43214 HAS SOUS 15747 HAS SOUPS 15747 WITH SCORE 15790.214
AT ITER 5591 NEW BEST:: SOT 63249 SOS 43166 HAS SOPS 43166 HAS SOUS 15699 HAS SOUPS 15699 WITH SCORE 15742.166
AT ITER 5617 NEW BEST:: SOT 63249 SOS 43166 HAS SOPS 43166 HAS SOUS 15698 HAS SOUPS 15698 WITH SCORE 15741.166
AT ITER 5741 NEW BEST:: SOT 63228 SOS 43139 HAS SOPS 43139 HAS SOUS 15656 HAS SOUPS 15656 WITH SCORE 15699.139
AT ITER 5772 NEW BEST:: SOT 63224 SOS 43135 HAS SOPS 43135 HAS SOUS 15656 HAS SOUPS 15656 WITH SCORE 15699.135
AT ITER 5818 NEW BEST:: SOT 63224 SOS 43133 HAS SOPS 43133 HAS SOUS 15655 HAS SOUPS 15655 WITH SCORE 15698.133
AT ITER 5825 NEW BEST:: SOT 63228 SOS 43122 HAS SOPS 43122 HAS SOUS 15653 HAS SOUPS 15653 WITH SCORE 15696.122
AT ITER 5865 NEW BEST:: SOT 63222 SOS 43116 HAS SOPS 43116 HAS SOUS 15647 HAS SOUPS 15647 WITH SCORE 15690.116
AT ITER 5914 NEW BEST:: SOT 63222 SOS 43116 HAS SOPS 43116 HAS SOUS 15625 HAS SOUPS 15625 WITH SCORE 15668.116
AT ITER 5966 NEW BEST:: SOT 63219 SOS 43113 HAS SOPS 43113 HAS SOUS 15615 HAS SOUPS 15615 WITH SCORE 15658.113
AT ITER 6369 NEW BEST:: SOT 63217 SOS 43123 HAS SOPS 43123 HAS SOUS 15585 HAS SOUPS 15585 WITH SCORE 15628.123
AT ITER 6493 NEW BEST:: SOT 63181 SOS 43078 HAS SOPS 43078 HAS SOUS 15543 HAS SOUPS 15543 WITH SCORE 15586.078
AT ITER 6534 NEW BEST:: SOT 63179 SOS 43076 HAS SOPS 43076 HAS SOUS 15541 HAS SOUPS 15541 WITH SCORE 15584.076
AT ITER 6628 NEW BEST:: SOT 63119 SOS 43016 HAS SOPS 43016 HAS SOUS 15508 HAS SOUPS 15508 WITH SCORE 15551.016
AT ITER 6637 NEW BEST:: SOT 63121 SOS 43016 HAS SOPS 43016 HAS SOUS 15507 HAS SOUPS 15507 WITH SCORE 15550.016
AT ITER 6780 NEW BEST:: SOT 63117 SOS 43013 HAS SOPS 43013 HAS SOUS 15503 HAS SOUPS 15503 WITH SCORE 15546.013
AT ITER 6845 NEW BEST:: SOT 63117 SOS 43005 HAS SOPS 43005 HAS SOUS 15503 HAS SOUPS 15503 WITH SCORE 15546.005
AT ITER 6864 NEW BEST:: SOT 63116 SOS 42996 HAS SOPS 42996 HAS SOUS 15498 HAS SOUPS 15498 WITH SCORE 15540.996
AT ITER 7095 NEW BEST:: SOT 63046 SOS 42926 HAS SOPS 42926 HAS SOUS 15408 HAS SOUPS 15408 WITH SCORE 15450.926
AT ITER 7267 NEW BEST:: SOT 63046 SOS 42891 HAS SOPS 42891 HAS SOUS 15397 HAS SOUPS 15397 WITH SCORE 15439.891
AT ITER 7295 NEW BEST:: SOT 63044 SOS 42889 HAS SOPS 42889 HAS SOUS 15394 HAS SOUPS 15394 WITH SCORE 15436.889
AT ITER 7353 NEW BEST:: SOT 63044 SOS 42881 HAS SOPS 42881 HAS SOUS 15393 HAS SOUPS 15393 WITH SCORE 15435.881
AT ITER 7364 NEW BEST:: SOT 63031 SOS 42868 HAS SOPS 42868 HAS SOUS 15364 HAS SOUPS 15364 WITH SCORE 15406.868
AT ITER 7480 NEW BEST:: SOT 63031 SOS 42356 HAS SOPS 42356 HAS SOUS 15363 HAS SOUPS 15363 WITH SCORE 15405.356
AT ITER 7487 NEW BEST:: SOT 63019 SOS 42344 HAS SOPS 42344 HAS SOUS 15338 HAS SOUPS 15338 WITH SCORE 15380.344
AT ITER 7519 NEW BEST:: SOT 63019 SOS 42345 HAS SOPS 42345 HAS SOUS 15337 HAS SOUPS 15337 WITH SCORE 15379.345
AT ITER 7554 NEW BEST:: SOT 63025 SOS 42351 HAS SOPS 42351 HAS SOUS 15335 HAS SOUPS 15335 WITH SCORE 15377.351
AT ITER 7663 NEW BEST:: SOT 63025 SOS 42348 HAS SOPS 42348 HAS SOUS 15318 HAS SOUPS 15318 WITH SCORE 15360.348
AT ITER 7699 NEW BEST:: SOT 63038 SOS 42361 HAS SOPS 42361 HAS SOUS 15316 HAS SOUPS 15316 WITH SCORE 15358.361
AT ITER 7721 NEW BEST:: SOT 63038 SOS 42329 HAS SOPS 42329 HAS SOUS 15316 HAS SOUPS 15316 WITH SCORE 15358.329
AT ITER 7799 NEW BEST:: SOT 63036 SOS 42327 HAS SOPS 42327 HAS SOUS 15314 HAS SOUPS 15314 WITH SCORE 15356.327
AT ITER 7990 NEW BEST:: SOT 63024 SOS 42315 HAS SOPS 42315 HAS SOUS 15286 HAS SOUPS 15286 WITH SCORE 15328.315
AT ITER 8116 NEW BEST:: SOT 63024 SOS 42320 HAS SOPS 42320 HAS SOUS 15281 HAS SOUPS 15281 WITH SCORE 15323.32
AT ITER 8163 NEW BEST:: SOT 62984 SOS 42280 HAS SOPS 42280 HAS SOUS 15273 HAS SOUPS 15273 WITH SCORE 15315.28
AT ITER 8218 NEW BEST:: SOT 62984 SOS 42281 HAS SOPS 42281 HAS SOUS 15272 HAS SOUPS 15272 WITH SCORE 15314.281
AT ITER 8256 NEW BEST:: SOT 62991 SOS 42288 HAS SOPS 42288 HAS SOUS 15263 HAS SOUPS 15263 WITH SCORE 15305.288
AT ITER 8441 NEW BEST:: SOT 62991 SOS 42280 HAS SOPS 42280 HAS SOUS 15263 HAS SOUPS 15263 WITH SCORE 15305.28
AT ITER 8476 NEW BEST:: SOT 62991 SOS 41960 HAS SOPS 41960 HAS SOUS 15263 HAS SOUPS 15263 WITH SCORE 15304.96
AT ITER 8587 NEW BEST:: SOT 62991 SOS 41576 HAS SOPS 41576 HAS SOUS 15263 HAS SOUPS 15263 WITH SCORE 15304.576
AT ITER 8608 NEW BEST:: SOT 62994 SOS 41567 HAS SOPS 41567 HAS SOUS 15260 HAS SOUPS 15260 WITH SCORE 15301.567
AT ITER 8643 NEW BEST:: SOT 62994 SOS 41567 HAS SOPS 41567 HAS SOUS 15256 HAS SOUPS 15256 WITH SCORE 15297.567
AT ITER 8651 NEW BEST:: SOT 62992 SOS 41574 HAS SOPS 41574 HAS SOUS 15244 HAS SOUPS 15244 WITH SCORE 15285.574
AT ITER 8735 NEW BEST:: SOT 62992 SOS 41574 HAS SOPS 41574 HAS SOUS 15232 HAS SOUPS 15232 WITH SCORE 15273.574
AT ITER 8740 NEW BEST:: SOT 62974 SOS 41496 HAS SOPS 41496 HAS SOUS 15206 HAS SOUPS 15206 WITH SCORE 15247.496
AT ITER 8784 NEW BEST:: SOT 62974 SOS 41488 HAS SOPS 41488 HAS SOUS 15206 HAS SOUPS 15206 WITH SCORE 15247.488
AT ITER 8785 NEW BEST:: SOT 62974 SOS 41486 HAS SOPS 41486 HAS SOUS 15204 HAS SOUPS 15204 WITH SCORE 15245.486
AT ITER 8924 NEW BEST:: SOT 62973 SOS 41485 HAS SOPS 41485 HAS SOUS 15184 HAS SOUPS 15184 WITH SCORE 15225.485
AT ITER 8941 NEW BEST:: SOT 62981 SOS 41493 HAS SOPS 41493 HAS SOUS 15183 HAS SOUPS 15183 WITH SCORE 15224.493
AT ITER 9181 NEW BEST:: SOT 62981 SOS 41850 HAS SOPS 41850 HAS SOUS 15173 HAS SOUPS 15173 WITH SCORE 15214.85
AT ITER 9200 NEW BEST:: SOT 62981 SOS 41948 HAS SOPS 41948 HAS SOUS 15159 HAS SOUPS 15159 WITH SCORE 15200.948
AT ITER 9269 NEW BEST:: SOT 62983 SOS 41948 HAS SOPS 41948 HAS SOUS 15157 HAS SOUPS 15157 WITH SCORE 15198.948
AT ITER 9370 NEW BEST:: SOT 62983 SOS 41948 HAS SOPS 41948 HAS SOUS 15156 HAS SOUPS 15156 WITH SCORE 15197.948
AT ITER 9401 NEW BEST:: SOT 62967 SOS 41932 HAS SOPS 41932 HAS SOUS 15144 HAS SOUPS 15144 WITH SCORE 15185.932
AT ITER 9480 NEW BEST:: SOT 62959 SOS 41924 HAS SOPS 41924 HAS SOUS 15136 HAS SOUPS 15136 WITH SCORE 15177.924
AT ITER 9481 NEW BEST:: SOT 62959 SOS 41926 HAS SOPS 41926 HAS SOUS 15124 HAS SOUPS 15124 WITH SCORE 15165.926
AT ITER 9500 NEW BEST:: SOT 62960 SOS 41965 HAS SOPS 41965 HAS SOUS 15123 HAS SOUPS 15123 WITH SCORE 15164.965
AT ITER 9548 NEW BEST:: SOT 62942 SOS 41947 HAS SOPS 41947 HAS SOUS 15090 HAS SOUPS 15090 WITH SCORE 15131.947
AT ITER 9849 NEW BEST:: SOT 62940 SOS 41945 HAS SOPS 41945 HAS SOUS 15089 HAS SOUPS 15089 WITH SCORE 15130.945
AT ITER 9866 NEW BEST:: SOT 62932 SOS 41937 HAS SOPS 41937 HAS SOUS 15081 HAS SOUPS 15081 WITH SCORE 15122.937
AT ITER 9954 NEW BEST:: SOT 62918 SOS 41923 HAS SOPS 41923 HAS SOUS 15065 HAS SOUPS 15065 WITH SCORE 15106.923
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 321104 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16135488 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PermAdmissibility-COL-50"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is PermAdmissibility-COL-50, 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 r259-smll-167863534600504"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PermAdmissibility-COL-50.tgz
mv PermAdmissibility-COL-50 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 '
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 ;