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-167863534600488.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-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r259-smll-167863534600488
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 504K
-rw-r--r-- 1 mcc users 6.2K Feb 26 01:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 61K Feb 26 01:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 01:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 01:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 16:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K Feb 25 16:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 01:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 115K Feb 26 01:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 01:27 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 101K Feb 26 01:27 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 37K 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 1678791969116

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-10
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-14 11:06:13] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-14 11:06:13] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-14 11:06:13] [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 11:06:14] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-14 11:06:15] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1340 ms
[2023-03-14 11:06:15] [INFO ] Imported 40 HL places and 16 HL transitions for a total of 208 PT places and 1024.0 transition bindings in 63 ms.
[2023-03-14 11:06:15] [INFO ] Unfolded HLPN to a Petri net with 208 places and 1024 transitions 5984 arcs in 127 ms.
[2023-03-14 11:06:15] [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 11:06:15] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 168 places, 592 transitions and 3456 arcs took 41 ms.
Total runtime 2041 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PermAdmissibility (COL), instance 10
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 7 NEW BEST:: SOT 70545 SOS 43909 HAS SOPS 43909 HAS SOUS 25909 HAS SOUPS 25909 WITH SCORE 25952.909
AT ITER 12 NEW BEST:: SOT 70362 SOS 44221 HAS SOPS 44221 HAS SOUS 25864 HAS SOUPS 25864 WITH SCORE 25908.221
AT ITER 17 NEW BEST:: SOT 70181 SOS 44287 HAS SOPS 44287 HAS SOUS 25817 HAS SOUPS 25817 WITH SCORE 25861.287
AT ITER 28 NEW BEST:: SOT 70095 SOS 44201 HAS SOPS 44201 HAS SOUS 25750 HAS SOUPS 25750 WITH SCORE 25794.201
AT ITER 32 NEW BEST:: SOT 69937 SOS 44748 HAS SOPS 44748 HAS SOUS 25723 HAS SOUPS 25723 WITH SCORE 25767.748
AT ITER 33 NEW BEST:: SOT 69921 SOS 44732 HAS SOPS 44732 HAS SOUS 25716 HAS SOUPS 25716 WITH SCORE 25760.732
AT ITER 40 NEW BEST:: SOT 69749 SOS 45119 HAS SOPS 45119 HAS SOUS 25346 HAS SOUPS 25346 WITH SCORE 25391.119
AT ITER 48 NEW BEST:: SOT 69709 SOS 45079 HAS SOPS 45079 HAS SOUS 25339 HAS SOUPS 25339 WITH SCORE 25384.079
AT ITER 51 NEW BEST:: SOT 69709 SOS 42287 HAS SOPS 42287 HAS SOUS 25339 HAS SOUPS 25339 WITH SCORE 25381.287
AT ITER 53 NEW BEST:: SOT 69525 SOS 42095 HAS SOPS 42095 HAS SOUS 25308 HAS SOUPS 25308 WITH SCORE 25350.095
AT ITER 61 NEW BEST:: SOT 69540 SOS 42110 HAS SOPS 42110 HAS SOUS 25301 HAS SOUPS 25301 WITH SCORE 25343.11
AT ITER 87 NEW BEST:: SOT 69540 SOS 42110 HAS SOPS 42110 HAS SOUS 25290 HAS SOUPS 25290 WITH SCORE 25332.11
AT ITER 88 NEW BEST:: SOT 69539 SOS 41613 HAS SOPS 41613 HAS SOUS 25272 HAS SOUPS 25272 WITH SCORE 25313.613
AT ITER 93 NEW BEST:: SOT 69523 SOS 42035 HAS SOPS 42035 HAS SOUS 25030 HAS SOUPS 25030 WITH SCORE 25072.035
AT ITER 97 NEW BEST:: SOT 69519 SOS 42021 HAS SOPS 42021 HAS SOUS 25026 HAS SOUPS 25026 WITH SCORE 25068.021
AT ITER 98 NEW BEST:: SOT 69383 SOS 41873 HAS SOPS 41873 HAS SOUS 24899 HAS SOUPS 24899 WITH SCORE 24940.873
AT ITER 107 NEW BEST:: SOT 68936 SOS 42085 HAS SOPS 42085 HAS SOUS 24772 HAS SOUPS 24772 WITH SCORE 24814.085
AT ITER 113 NEW BEST:: SOT 68936 SOS 42622 HAS SOPS 42622 HAS SOUS 24724 HAS SOUPS 24724 WITH SCORE 24766.622
AT ITER 114 NEW BEST:: SOT 68950 SOS 42662 HAS SOPS 42662 HAS SOUS 24694 HAS SOUPS 24694 WITH SCORE 24736.662
AT ITER 127 NEW BEST:: SOT 68941 SOS 42653 HAS SOPS 42653 HAS SOUS 24582 HAS SOUPS 24582 WITH SCORE 24624.653
AT ITER 128 NEW BEST:: SOT 69030 SOS 47428 HAS SOPS 47428 HAS SOUS 24159 HAS SOUPS 24159 WITH SCORE 24206.428
AT ITER 145 NEW BEST:: SOT 69033 SOS 47431 HAS SOPS 47431 HAS SOUS 24154 HAS SOUPS 24154 WITH SCORE 24201.431
AT ITER 148 NEW BEST:: SOT 69033 SOS 47503 HAS SOPS 47503 HAS SOUS 24142 HAS SOUPS 24142 WITH SCORE 24189.503
AT ITER 151 NEW BEST:: SOT 69033 SOS 47503 HAS SOPS 47503 HAS SOUS 24074 HAS SOUPS 24074 WITH SCORE 24121.503
AT ITER 155 NEW BEST:: SOT 68971 SOS 47546 HAS SOPS 47546 HAS SOUS 24008 HAS SOUPS 24008 WITH SCORE 24055.546
AT ITER 162 NEW BEST:: SOT 68857 SOS 47510 HAS SOPS 47510 HAS SOUS 23844 HAS SOUPS 23844 WITH SCORE 23891.51
AT ITER 164 NEW BEST:: SOT 68857 SOS 47510 HAS SOPS 47510 HAS SOUS 23767 HAS SOUPS 23767 WITH SCORE 23814.51
AT ITER 173 NEW BEST:: SOT 68819 SOS 47472 HAS SOPS 47472 HAS SOUS 23724 HAS SOUPS 23724 WITH SCORE 23771.472
AT ITER 183 NEW BEST:: SOT 68735 SOS 47388 HAS SOPS 47388 HAS SOUS 23704 HAS SOUPS 23704 WITH SCORE 23751.388
AT ITER 184 NEW BEST:: SOT 68733 SOS 47386 HAS SOPS 47386 HAS SOUS 23696 HAS SOUPS 23696 WITH SCORE 23743.386
AT ITER 185 NEW BEST:: SOT 68733 SOS 47386 HAS SOPS 47386 HAS SOUS 23643 HAS SOUPS 23643 WITH SCORE 23690.386
AT ITER 195 NEW BEST:: SOT 68653 SOS 47416 HAS SOPS 47416 HAS SOUS 23624 HAS SOUPS 23624 WITH SCORE 23671.416
AT ITER 199 NEW BEST:: SOT 68584 SOS 47347 HAS SOPS 47347 HAS SOUS 23605 HAS SOUPS 23605 WITH SCORE 23652.347
AT ITER 210 NEW BEST:: SOT 68219 SOS 47173 HAS SOPS 47173 HAS SOUS 23187 HAS SOUPS 23187 WITH SCORE 23234.173
AT ITER 217 NEW BEST:: SOT 68069 SOS 46985 HAS SOPS 46985 HAS SOUS 23115 HAS SOUPS 23115 WITH SCORE 23161.985
AT ITER 223 NEW BEST:: SOT 68069 SOS 46985 HAS SOPS 46985 HAS SOUS 23012 HAS SOUPS 23012 WITH SCORE 23058.985
AT ITER 224 NEW BEST:: SOT 68069 SOS 46985 HAS SOPS 46985 HAS SOUS 23006 HAS SOUPS 23006 WITH SCORE 23052.985
AT ITER 247 NEW BEST:: SOT 67753 SOS 46792 HAS SOPS 46792 HAS SOUS 22855 HAS SOUPS 22855 WITH SCORE 22901.792
AT ITER 252 NEW BEST:: SOT 67753 SOS 46792 HAS SOPS 46792 HAS SOUS 22846 HAS SOUPS 22846 WITH SCORE 22892.792
AT ITER 270 NEW BEST:: SOT 67753 SOS 47063 HAS SOPS 47063 HAS SOUS 22771 HAS SOUPS 22771 WITH SCORE 22818.063
AT ITER 278 NEW BEST:: SOT 67753 SOS 49676 HAS SOPS 49676 HAS SOUS 22668 HAS SOUPS 22668 WITH SCORE 22717.676
AT ITER 281 NEW BEST:: SOT 67889 SOS 49882 HAS SOPS 49882 HAS SOUS 22647 HAS SOUPS 22647 WITH SCORE 22696.882
AT ITER 288 NEW BEST:: SOT 67889 SOS 49882 HAS SOPS 49882 HAS SOUS 22625 HAS SOUPS 22625 WITH SCORE 22674.882
AT ITER 301 NEW BEST:: SOT 67865 SOS 49858 HAS SOPS 49858 HAS SOUS 22559 HAS SOUPS 22559 WITH SCORE 22608.858
AT ITER 320 NEW BEST:: SOT 67720 SOS 49713 HAS SOPS 49713 HAS SOUS 22472 HAS SOUPS 22472 WITH SCORE 22521.713
AT ITER 326 NEW BEST:: SOT 67542 SOS 49535 HAS SOPS 49535 HAS SOUS 22354 HAS SOUPS 22354 WITH SCORE 22403.535
AT ITER 327 NEW BEST:: SOT 67393 SOS 49690 HAS SOPS 49690 HAS SOUS 22257 HAS SOUPS 22257 WITH SCORE 22306.69
AT ITER 335 NEW BEST:: SOT 67409 SOS 50042 HAS SOPS 50042 HAS SOUS 22115 HAS SOUPS 22115 WITH SCORE 22165.042
AT ITER 343 NEW BEST:: SOT 67313 SOS 49946 HAS SOPS 49946 HAS SOUS 22040 HAS SOUPS 22040 WITH SCORE 22089.946
AT ITER 357 NEW BEST:: SOT 67313 SOS 49946 HAS SOPS 49946 HAS SOUS 21988 HAS SOUPS 21988 WITH SCORE 22037.946
AT ITER 358 NEW BEST:: SOT 67315 SOS 50028 HAS SOPS 50028 HAS SOUS 21980 HAS SOUPS 21980 WITH SCORE 22030.028
AT ITER 365 NEW BEST:: SOT 67262 SOS 49985 HAS SOPS 49985 HAS SOUS 21946 HAS SOUPS 21946 WITH SCORE 21995.985
AT ITER 370 NEW BEST:: SOT 67262 SOS 49985 HAS SOPS 49985 HAS SOUS 21798 HAS SOUPS 21798 WITH SCORE 21847.985
AT ITER 375 NEW BEST:: SOT 67262 SOS 49985 HAS SOPS 49985 HAS SOUS 21747 HAS SOUPS 21747 WITH SCORE 21796.985
AT ITER 384 NEW BEST:: SOT 67464 SOS 52399 HAS SOPS 52399 HAS SOUS 21737 HAS SOUPS 21737 WITH SCORE 21789.399
AT ITER 385 NEW BEST:: SOT 67464 SOS 52399 HAS SOPS 52399 HAS SOUS 21721 HAS SOUPS 21721 WITH SCORE 21773.399
AT ITER 392 NEW BEST:: SOT 67466 SOS 52401 HAS SOPS 52401 HAS SOUS 21699 HAS SOUPS 21699 WITH SCORE 21751.401
AT ITER 408 NEW BEST:: SOT 67466 SOS 52401 HAS SOPS 52401 HAS SOUS 21695 HAS SOUPS 21695 WITH SCORE 21747.401
AT ITER 409 NEW BEST:: SOT 67105 SOS 52223 HAS SOPS 52223 HAS SOUS 21467 HAS SOUPS 21467 WITH SCORE 21519.223
AT ITER 425 NEW BEST:: SOT 67089 SOS 52207 HAS SOPS 52207 HAS SOUS 21451 HAS SOUPS 21451 WITH SCORE 21503.207
AT ITER 428 NEW BEST:: SOT 67089 SOS 52207 HAS SOPS 52207 HAS SOUS 21443 HAS SOUPS 21443 WITH SCORE 21495.207
AT ITER 452 NEW BEST:: SOT 67074 SOS 52213 HAS SOPS 52213 HAS SOUS 21439 HAS SOUPS 21439 WITH SCORE 21491.213
AT ITER 460 NEW BEST:: SOT 67048 SOS 52187 HAS SOPS 52187 HAS SOUS 21421 HAS SOUPS 21421 WITH SCORE 21473.187
AT ITER 462 NEW BEST:: SOT 67031 SOS 52170 HAS SOPS 52170 HAS SOUS 21383 HAS SOUPS 21383 WITH SCORE 21435.17
AT ITER 484 NEW BEST:: SOT 67013 SOS 52152 HAS SOPS 52152 HAS SOUS 21329 HAS SOUPS 21329 WITH SCORE 21381.152
AT ITER 491 NEW BEST:: SOT 67016 SOS 52275 HAS SOPS 52275 HAS SOUS 21265 HAS SOUPS 21265 WITH SCORE 21317.275
AT ITER 501 NEW BEST:: SOT 67016 SOS 52215 HAS SOPS 52215 HAS SOUS 21257 HAS SOUPS 21257 WITH SCORE 21309.215
AT ITER 505 NEW BEST:: SOT 67012 SOS 52211 HAS SOPS 52211 HAS SOUS 21253 HAS SOUPS 21253 WITH SCORE 21305.211
AT ITER 513 NEW BEST:: SOT 66996 SOS 52195 HAS SOPS 52195 HAS SOUS 21237 HAS SOUPS 21237 WITH SCORE 21289.195
AT ITER 525 NEW BEST:: SOT 66996 SOS 52195 HAS SOPS 52195 HAS SOUS 21228 HAS SOUPS 21228 WITH SCORE 21280.195
AT ITER 534 NEW BEST:: SOT 66884 SOS 52083 HAS SOPS 52083 HAS SOUS 21192 HAS SOUPS 21192 WITH SCORE 21244.083
AT ITER 556 NEW BEST:: SOT 66884 SOS 52371 HAS SOPS 52371 HAS SOUS 21131 HAS SOUPS 21131 WITH SCORE 21183.371
AT ITER 564 NEW BEST:: SOT 66694 SOS 52181 HAS SOPS 52181 HAS SOUS 21079 HAS SOUPS 21079 WITH SCORE 21131.181
AT ITER 576 NEW BEST:: SOT 66695 SOS 52156 HAS SOPS 52156 HAS SOUS 21072 HAS SOUPS 21072 WITH SCORE 21124.156
AT ITER 580 NEW BEST:: SOT 66693 SOS 52154 HAS SOPS 52154 HAS SOUS 21064 HAS SOUPS 21064 WITH SCORE 21116.154
AT ITER 603 NEW BEST:: SOT 66661 SOS 52124 HAS SOPS 52124 HAS SOUS 21034 HAS SOUPS 21034 WITH SCORE 21086.124
AT ITER 607 NEW BEST:: SOT 66655 SOS 52118 HAS SOPS 52118 HAS SOUS 21028 HAS SOUPS 21028 WITH SCORE 21080.118
AT ITER 633 NEW BEST:: SOT 66655 SOS 51110 HAS SOPS 51110 HAS SOUS 21016 HAS SOUPS 21016 WITH SCORE 21067.11
AT ITER 655 NEW BEST:: SOT 66619 SOS 51074 HAS SOPS 51074 HAS SOUS 20976 HAS SOUPS 20976 WITH SCORE 21027.074
AT ITER 661 NEW BEST:: SOT 66619 SOS 51074 HAS SOPS 51074 HAS SOUS 20870 HAS SOUPS 20870 WITH SCORE 20921.074
AT ITER 663 NEW BEST:: SOT 66618 SOS 51073 HAS SOPS 51073 HAS SOUS 20851 HAS SOUPS 20851 WITH SCORE 20902.073
AT ITER 724 NEW BEST:: SOT 66612 SOS 51076 HAS SOPS 51076 HAS SOUS 20845 HAS SOUPS 20845 WITH SCORE 20896.076
AT ITER 758 NEW BEST:: SOT 66612 SOS 51096 HAS SOPS 51096 HAS SOUS 20832 HAS SOUPS 20832 WITH SCORE 20883.096
AT ITER 761 NEW BEST:: SOT 66612 SOS 51096 HAS SOPS 51096 HAS SOUS 20813 HAS SOUPS 20813 WITH SCORE 20864.096
AT ITER 779 NEW BEST:: SOT 66612 SOS 51736 HAS SOPS 51736 HAS SOUS 20693 HAS SOUPS 20693 WITH SCORE 20744.736
AT ITER 784 NEW BEST:: SOT 66538 SOS 51662 HAS SOPS 51662 HAS SOUS 20679 HAS SOUPS 20679 WITH SCORE 20730.662
AT ITER 788 NEW BEST:: SOT 66538 SOS 51662 HAS SOPS 51662 HAS SOUS 20663 HAS SOUPS 20663 WITH SCORE 20714.662
AT ITER 791 NEW BEST:: SOT 66537 SOS 51661 HAS SOPS 51661 HAS SOUS 20662 HAS SOUPS 20662 WITH SCORE 20713.661
AT ITER 798 NEW BEST:: SOT 66537 SOS 51661 HAS SOPS 51661 HAS SOUS 20589 HAS SOUPS 20589 WITH SCORE 20640.661
AT ITER 809 NEW BEST:: SOT 66535 SOS 51403 HAS SOPS 51403 HAS SOUS 20588 HAS SOUPS 20588 WITH SCORE 20639.403
AT ITER 835 NEW BEST:: SOT 66541 SOS 51409 HAS SOPS 51409 HAS SOUS 20586 HAS SOUPS 20586 WITH SCORE 20637.409
AT ITER 858 NEW BEST:: SOT 66541 SOS 51762 HAS SOPS 51762 HAS SOUS 20505 HAS SOUPS 20505 WITH SCORE 20556.762
AT ITER 859 NEW BEST:: SOT 66505 SOS 51726 HAS SOPS 51726 HAS SOUS 20455 HAS SOUPS 20455 WITH SCORE 20506.726
AT ITER 921 NEW BEST:: SOT 66589 SOS 51810 HAS SOPS 51810 HAS SOUS 20400 HAS SOUPS 20400 WITH SCORE 20451.81
AT ITER 940 NEW BEST:: SOT 66563 SOS 51784 HAS SOPS 51784 HAS SOUS 20340 HAS SOUPS 20340 WITH SCORE 20391.784
AT ITER 957 NEW BEST:: SOT 66586 SOS 51807 HAS SOPS 51807 HAS SOUS 20323 HAS SOUPS 20323 WITH SCORE 20374.807
AT ITER 973 NEW BEST:: SOT 66662 SOS 51883 HAS SOPS 51883 HAS SOUS 20314 HAS SOUPS 20314 WITH SCORE 20365.883
AT ITER 1008 NEW BEST:: SOT 66662 SOS 51863 HAS SOPS 51863 HAS SOUS 20309 HAS SOUPS 20309 WITH SCORE 20360.863
AT ITER 1026 NEW BEST:: SOT 66698 SOS 51899 HAS SOPS 51899 HAS SOUS 20308 HAS SOUPS 20308 WITH SCORE 20359.899
AT ITER 1084 NEW BEST:: SOT 66698 SOS 51067 HAS SOPS 51067 HAS SOUS 20260 HAS SOUPS 20260 WITH SCORE 20311.067
AT ITER 1106 NEW BEST:: SOT 66698 SOS 51246 HAS SOPS 51246 HAS SOUS 20234 HAS SOUPS 20234 WITH SCORE 20285.246
AT ITER 1132 NEW BEST:: SOT 66650 SOS 51198 HAS SOPS 51198 HAS SOUS 20186 HAS SOUPS 20186 WITH SCORE 20237.198
AT ITER 1138 NEW BEST:: SOT 66638 SOS 51186 HAS SOPS 51186 HAS SOUS 20126 HAS SOUPS 20126 WITH SCORE 20177.186
AT ITER 1143 NEW BEST:: SOT 66636 SOS 51182 HAS SOPS 51182 HAS SOUS 20125 HAS SOUPS 20125 WITH SCORE 20176.182
AT ITER 1152 NEW BEST:: SOT 66639 SOS 51249 HAS SOPS 51249 HAS SOUS 20120 HAS SOUPS 20120 WITH SCORE 20171.249
AT ITER 1192 NEW BEST:: SOT 66592 SOS 51202 HAS SOPS 51202 HAS SOUS 20097 HAS SOUPS 20097 WITH SCORE 20148.202
AT ITER 1242 NEW BEST:: SOT 66588 SOS 53801 HAS SOPS 53801 HAS SOUS 20078 HAS SOUPS 20078 WITH SCORE 20131.801
AT ITER 1274 NEW BEST:: SOT 66596 SOS 53809 HAS SOPS 53809 HAS SOUS 20042 HAS SOUPS 20042 WITH SCORE 20095.809
AT ITER 1290 NEW BEST:: SOT 66596 SOS 53809 HAS SOPS 53809 HAS SOUS 20028 HAS SOUPS 20028 WITH SCORE 20081.809
AT ITER 1294 NEW BEST:: SOT 66570 SOS 53791 HAS SOPS 53791 HAS SOUS 20016 HAS SOUPS 20016 WITH SCORE 20069.791
AT ITER 1323 NEW BEST:: SOT 66544 SOS 53765 HAS SOPS 53765 HAS SOUS 20011 HAS SOUPS 20011 WITH SCORE 20064.765
AT ITER 1327 NEW BEST:: SOT 66522 SOS 53743 HAS SOPS 53743 HAS SOUS 19958 HAS SOUPS 19958 WITH SCORE 20011.743
AT ITER 1373 NEW BEST:: SOT 66512 SOS 53733 HAS SOPS 53733 HAS SOUS 19944 HAS SOUPS 19944 WITH SCORE 19997.733
AT ITER 1375 NEW BEST:: SOT 66518 SOS 53739 HAS SOPS 53739 HAS SOUS 19914 HAS SOUPS 19914 WITH SCORE 19967.739
AT ITER 1391 NEW BEST:: SOT 66448 SOS 53675 HAS SOPS 53675 HAS SOUS 19906 HAS SOUPS 19906 WITH SCORE 19959.675
AT ITER 1394 NEW BEST:: SOT 66412 SOS 53639 HAS SOPS 53639 HAS SOUS 19822 HAS SOUPS 19822 WITH SCORE 19875.639
AT ITER 1396 NEW BEST:: SOT 66412 SOS 53639 HAS SOPS 53639 HAS SOUS 19807 HAS SOUPS 19807 WITH SCORE 19860.639
AT ITER 1437 NEW BEST:: SOT 66412 SOS 52381 HAS SOPS 52381 HAS SOUS 19793 HAS SOUPS 19793 WITH SCORE 19845.381
AT ITER 1460 NEW BEST:: SOT 66398 SOS 52367 HAS SOPS 52367 HAS SOUS 19775 HAS SOUPS 19775 WITH SCORE 19827.367
AT ITER 1461 NEW BEST:: SOT 66371 SOS 52340 HAS SOPS 52340 HAS SOUS 19769 HAS SOUPS 19769 WITH SCORE 19821.34
AT ITER 1485 NEW BEST:: SOT 66371 SOS 52340 HAS SOPS 52340 HAS SOUS 19757 HAS SOUPS 19757 WITH SCORE 19809.34
AT ITER 1486 NEW BEST:: SOT 66371 SOS 52340 HAS SOPS 52340 HAS SOUS 19747 HAS SOUPS 19747 WITH SCORE 19799.34
AT ITER 1509 NEW BEST:: SOT 66365 SOS 52334 HAS SOPS 52334 HAS SOUS 19741 HAS SOUPS 19741 WITH SCORE 19793.334
AT ITER 1525 NEW BEST:: SOT 66385 SOS 52354 HAS SOPS 52354 HAS SOUS 19727 HAS SOUPS 19727 WITH SCORE 19779.354
AT ITER 1533 NEW BEST:: SOT 66371 SOS 52340 HAS SOPS 52340 HAS SOUS 19721 HAS SOUPS 19721 WITH SCORE 19773.34
AT ITER 1565 NEW BEST:: SOT 66211 SOS 52180 HAS SOPS 52180 HAS SOUS 19551 HAS SOUPS 19551 WITH SCORE 19603.18
AT ITER 1598 NEW BEST:: SOT 66177 SOS 52146 HAS SOPS 52146 HAS SOUS 19535 HAS SOUPS 19535 WITH SCORE 19587.146
AT ITER 1608 NEW BEST:: SOT 66177 SOS 52146 HAS SOPS 52146 HAS SOUS 19515 HAS SOUPS 19515 WITH SCORE 19567.146
AT ITER 1666 NEW BEST:: SOT 66183 SOS 52152 HAS SOPS 52152 HAS SOUS 19495 HAS SOUPS 19495 WITH SCORE 19547.152
AT ITER 1674 NEW BEST:: SOT 66194 SOS 52163 HAS SOPS 52163 HAS SOUS 19490 HAS SOUPS 19490 WITH SCORE 19542.163
AT ITER 1687 NEW BEST:: SOT 66146 SOS 52115 HAS SOPS 52115 HAS SOUS 19451 HAS SOUPS 19451 WITH SCORE 19503.115
AT ITER 1707 NEW BEST:: SOT 66081 SOS 52050 HAS SOPS 52050 HAS SOUS 19392 HAS SOUPS 19392 WITH SCORE 19444.05
AT ITER 1713 NEW BEST:: SOT 66069 SOS 52038 HAS SOPS 52038 HAS SOUS 19372 HAS SOUPS 19372 WITH SCORE 19424.038
AT ITER 1717 NEW BEST:: SOT 66069 SOS 52094 HAS SOPS 52094 HAS SOUS 19369 HAS SOUPS 19369 WITH SCORE 19421.094
AT ITER 1723 NEW BEST:: SOT 66082 SOS 52107 HAS SOPS 52107 HAS SOUS 19358 HAS SOUPS 19358 WITH SCORE 19410.107
AT ITER 1765 NEW BEST:: SOT 66022 SOS 52047 HAS SOPS 52047 HAS SOUS 19252 HAS SOUPS 19252 WITH SCORE 19304.047
AT ITER 1785 NEW BEST:: SOT 66022 SOS 52239 HAS SOPS 52239 HAS SOUS 19243 HAS SOUPS 19243 WITH SCORE 19295.239
AT ITER 1792 NEW BEST:: SOT 65922 SOS 52139 HAS SOPS 52139 HAS SOUS 19114 HAS SOUPS 19114 WITH SCORE 19166.139
AT ITER 1870 NEW BEST:: SOT 65918 SOS 52135 HAS SOPS 52135 HAS SOUS 19109 HAS SOUPS 19109 WITH SCORE 19161.135
AT ITER 1873 NEW BEST:: SOT 65945 SOS 52162 HAS SOPS 52162 HAS SOUS 19069 HAS SOUPS 19069 WITH SCORE 19121.162
AT ITER 1886 NEW BEST:: SOT 65945 SOS 52162 HAS SOPS 52162 HAS SOUS 19063 HAS SOUPS 19063 WITH SCORE 19115.162
AT ITER 1890 NEW BEST:: SOT 65955 SOS 52172 HAS SOPS 52172 HAS SOUS 18990 HAS SOUPS 18990 WITH SCORE 19042.172
AT ITER 1895 NEW BEST:: SOT 65951 SOS 52168 HAS SOPS 52168 HAS SOUS 18980 HAS SOUPS 18980 WITH SCORE 19032.168
AT ITER 1910 NEW BEST:: SOT 65903 SOS 52120 HAS SOPS 52120 HAS SOUS 18925 HAS SOUPS 18925 WITH SCORE 18977.12
AT ITER 1938 NEW BEST:: SOT 65903 SOS 51904 HAS SOPS 51904 HAS SOUS 18922 HAS SOUPS 18922 WITH SCORE 18973.904
AT ITER 1949 NEW BEST:: SOT 65834 SOS 50299 HAS SOPS 50299 HAS SOUS 18908 HAS SOUPS 18908 WITH SCORE 18958.299
AT ITER 1955 NEW BEST:: SOT 65782 SOS 50247 HAS SOPS 50247 HAS SOUS 18906 HAS SOUPS 18906 WITH SCORE 18956.247
AT ITER 1958 NEW BEST:: SOT 65801 SOS 50163 HAS SOPS 50163 HAS SOUS 18895 HAS SOUPS 18895 WITH SCORE 18945.163
AT ITER 1989 NEW BEST:: SOT 65807 SOS 50337 HAS SOPS 50337 HAS SOUS 18867 HAS SOUPS 18867 WITH SCORE 18917.337
AT ITER 2072 NEW BEST:: SOT 65807 SOS 50193 HAS SOPS 50193 HAS SOUS 18865 HAS SOUPS 18865 WITH SCORE 18915.193
AT ITER 2106 NEW BEST:: SOT 65807 SOS 49669 HAS SOPS 49669 HAS SOUS 18851 HAS SOUPS 18851 WITH SCORE 18900.669
AT ITER 2155 NEW BEST:: SOT 65807 SOS 49669 HAS SOPS 49669 HAS SOUS 18835 HAS SOUPS 18835 WITH SCORE 18884.669
AT ITER 2190 NEW BEST:: SOT 65771 SOS 49633 HAS SOPS 49633 HAS SOUS 18807 HAS SOUPS 18807 WITH SCORE 18856.633
AT ITER 2197 NEW BEST:: SOT 65771 SOS 49281 HAS SOPS 49281 HAS SOUS 18806 HAS SOUPS 18806 WITH SCORE 18855.281
AT ITER 2246 NEW BEST:: SOT 65765 SOS 49275 HAS SOPS 49275 HAS SOUS 18792 HAS SOUPS 18792 WITH SCORE 18841.275
AT ITER 2263 NEW BEST:: SOT 65765 SOS 49671 HAS SOPS 49671 HAS SOUS 18768 HAS SOUPS 18768 WITH SCORE 18817.671
AT ITER 2272 NEW BEST:: SOT 65765 SOS 49671 HAS SOPS 49671 HAS SOUS 18722 HAS SOUPS 18722 WITH SCORE 18771.671
AT ITER 2275 NEW BEST:: SOT 65750 SOS 49656 HAS SOPS 49656 HAS SOUS 18715 HAS SOUPS 18715 WITH SCORE 18764.656
AT ITER 2299 NEW BEST:: SOT 65793 SOS 49699 HAS SOPS 49699 HAS SOUS 18638 HAS SOUPS 18638 WITH SCORE 18687.699
AT ITER 2326 NEW BEST:: SOT 65793 SOS 49699 HAS SOPS 49699 HAS SOUS 18599 HAS SOUPS 18599 WITH SCORE 18648.699
AT ITER 2327 NEW BEST:: SOT 65790 SOS 49726 HAS SOPS 49726 HAS SOUS 18598 HAS SOUPS 18598 WITH SCORE 18647.726
AT ITER 2352 NEW BEST:: SOT 65780 SOS 49716 HAS SOPS 49716 HAS SOUS 18574 HAS SOUPS 18574 WITH SCORE 18623.716
AT ITER 2380 NEW BEST:: SOT 65773 SOS 49709 HAS SOPS 49709 HAS SOUS 18567 HAS SOUPS 18567 WITH SCORE 18616.709
AT ITER 2385 NEW BEST:: SOT 65773 SOS 49714 HAS SOPS 49714 HAS SOUS 18562 HAS SOUPS 18562 WITH SCORE 18611.714
AT ITER 2409 NEW BEST:: SOT 65773 SOS 49714 HAS SOPS 49714 HAS SOUS 18557 HAS SOUPS 18557 WITH SCORE 18606.714
AT ITER 2447 NEW BEST:: SOT 65773 SOS 49442 HAS SOPS 49442 HAS SOUS 18554 HAS SOUPS 18554 WITH SCORE 18603.442
AT ITER 2471 NEW BEST:: SOT 65767 SOS 49436 HAS SOPS 49436 HAS SOUS 18535 HAS SOUPS 18535 WITH SCORE 18584.436
AT ITER 2482 NEW BEST:: SOT 65767 SOS 49252 HAS SOPS 49252 HAS SOUS 18535 HAS SOUPS 18535 WITH SCORE 18584.252
AT ITER 2492 NEW BEST:: SOT 65767 SOS 49324 HAS SOPS 49324 HAS SOUS 18526 HAS SOUPS 18526 WITH SCORE 18575.324
AT ITER 2533 NEW BEST:: SOT 65737 SOS 49294 HAS SOPS 49294 HAS SOUS 18496 HAS SOUPS 18496 WITH SCORE 18545.294
AT ITER 2554 NEW BEST:: SOT 65737 SOS 49294 HAS SOPS 49294 HAS SOUS 18484 HAS SOUPS 18484 WITH SCORE 18533.294
AT ITER 2583 NEW BEST:: SOT 65739 SOS 49296 HAS SOPS 49296 HAS SOUS 18480 HAS SOUPS 18480 WITH SCORE 18529.296
AT ITER 2665 NEW BEST:: SOT 65743 SOS 49300 HAS SOPS 49300 HAS SOUS 18470 HAS SOUPS 18470 WITH SCORE 18519.3
AT ITER 2674 NEW BEST:: SOT 65743 SOS 49300 HAS SOPS 49300 HAS SOUS 18466 HAS SOUPS 18466 WITH SCORE 18515.3
AT ITER 2709 NEW BEST:: SOT 65741 SOS 49298 HAS SOPS 49298 HAS SOUS 18464 HAS SOUPS 18464 WITH SCORE 18513.298
AT ITER 2730 NEW BEST:: SOT 65725 SOS 49222 HAS SOPS 49222 HAS SOUS 18444 HAS SOUPS 18444 WITH SCORE 18493.222
AT ITER 2760 NEW BEST:: SOT 65725 SOS 49878 HAS SOPS 49878 HAS SOUS 18428 HAS SOUPS 18428 WITH SCORE 18477.878
AT ITER 2791 NEW BEST:: SOT 65725 SOS 49878 HAS SOPS 49878 HAS SOUS 18412 HAS SOUPS 18412 WITH SCORE 18461.878
AT ITER 2800 NEW BEST:: SOT 65728 SOS 49881 HAS SOPS 49881 HAS SOUS 18409 HAS SOUPS 18409 WITH SCORE 18458.881
AT ITER 2805 NEW BEST:: SOT 65731 SOS 49884 HAS SOPS 49884 HAS SOUS 18380 HAS SOUPS 18380 WITH SCORE 18429.884
AT ITER 2847 NEW BEST:: SOT 65731 SOS 49788 HAS SOPS 49788 HAS SOUS 18380 HAS SOUPS 18380 WITH SCORE 18429.788
AT ITER 2876 NEW BEST:: SOT 65725 SOS 49782 HAS SOPS 49782 HAS SOUS 18374 HAS SOUPS 18374 WITH SCORE 18423.782
AT ITER 2888 NEW BEST:: SOT 65699 SOS 49756 HAS SOPS 49756 HAS SOUS 18340 HAS SOUPS 18340 WITH SCORE 18389.756
AT ITER 2905 NEW BEST:: SOT 65683 SOS 49740 HAS SOPS 49740 HAS SOUS 18324 HAS SOUPS 18324 WITH SCORE 18373.74
AT ITER 2970 NEW BEST:: SOT 65657 SOS 49714 HAS SOPS 49714 HAS SOUS 18296 HAS SOUPS 18296 WITH SCORE 18345.714
AT ITER 3018 NEW BEST:: SOT 65657 SOS 49714 HAS SOPS 49714 HAS SOUS 18290 HAS SOUPS 18290 WITH SCORE 18339.714
AT ITER 3019 NEW BEST:: SOT 65657 SOS 49714 HAS SOPS 49714 HAS SOUS 18288 HAS SOUPS 18288 WITH SCORE 18337.714
AT ITER 3059 NEW BEST:: SOT 65657 SOS 49749 HAS SOPS 49749 HAS SOUS 18286 HAS SOUPS 18286 WITH SCORE 18335.749
AT ITER 3091 NEW BEST:: SOT 65657 SOS 49741 HAS SOPS 49741 HAS SOUS 18286 HAS SOUPS 18286 WITH SCORE 18335.741
AT ITER 3092 NEW BEST:: SOT 65701 SOS 49815 HAS SOPS 49815 HAS SOUS 18261 HAS SOUPS 18261 WITH SCORE 18310.815
AT ITER 3122 NEW BEST:: SOT 65683 SOS 49797 HAS SOPS 49797 HAS SOUS 18204 HAS SOUPS 18204 WITH SCORE 18253.797
AT ITER 3124 NEW BEST:: SOT 65665 SOS 49779 HAS SOPS 49779 HAS SOUS 18192 HAS SOUPS 18192 WITH SCORE 18241.779
AT ITER 3191 NEW BEST:: SOT 65665 SOS 49195 HAS SOPS 49195 HAS SOUS 18184 HAS SOUPS 18184 WITH SCORE 18233.195
AT ITER 3262 NEW BEST:: SOT 65583 SOS 49113 HAS SOPS 49113 HAS SOUS 18077 HAS SOUPS 18077 WITH SCORE 18126.113
AT ITER 3279 NEW BEST:: SOT 65583 SOS 49113 HAS SOPS 49113 HAS SOUS 18054 HAS SOUPS 18054 WITH SCORE 18103.113
AT ITER 3296 NEW BEST:: SOT 65588 SOS 49118 HAS SOPS 49118 HAS SOUS 18051 HAS SOUPS 18051 WITH SCORE 18100.118
AT ITER 3307 NEW BEST:: SOT 65588 SOS 48318 HAS SOPS 48318 HAS SOUS 18046 HAS SOUPS 18046 WITH SCORE 18094.318
AT ITER 3402 NEW BEST:: SOT 65588 SOS 48062 HAS SOPS 48062 HAS SOUS 18046 HAS SOUPS 18046 WITH SCORE 18094.062
AT ITER 3449 NEW BEST:: SOT 65588 SOS 48062 HAS SOPS 48062 HAS SOUS 18043 HAS SOUPS 18043 WITH SCORE 18091.062
AT ITER 3500 NEW BEST:: SOT 65584 SOS 48058 HAS SOPS 48058 HAS SOUS 17989 HAS SOUPS 17989 WITH SCORE 18037.058
AT ITER 3527 NEW BEST:: SOT 65572 SOS 48046 HAS SOPS 48046 HAS SOUS 17975 HAS SOUPS 17975 WITH SCORE 18023.046
AT ITER 3598 NEW BEST:: SOT 65556 SOS 48030 HAS SOPS 48030 HAS SOUS 17959 HAS SOUPS 17959 WITH SCORE 18007.03
AT ITER 3613 NEW BEST:: SOT 65554 SOS 48028 HAS SOPS 48028 HAS SOUS 17956 HAS SOUPS 17956 WITH SCORE 18004.028
AT ITER 3892 NEW BEST:: SOT 65574 SOS 48048 HAS SOPS 48048 HAS SOUS 17953 HAS SOUPS 17953 WITH SCORE 18001.048
AT ITER 3926 NEW BEST:: SOT 65574 SOS 48048 HAS SOPS 48048 HAS SOUS 17946 HAS SOUPS 17946 WITH SCORE 17994.048
AT ITER 3935 NEW BEST:: SOT 65579 SOS 48008 HAS SOPS 48008 HAS SOUS 17946 HAS SOUPS 17946 WITH SCORE 17994.008
AT ITER 4068 NEW BEST:: SOT 65569 SOS 47998 HAS SOPS 47998 HAS SOUS 17927 HAS SOUPS 17927 WITH SCORE 17974.998
AT ITER 4117 NEW BEST:: SOT 65537 SOS 47858 HAS SOPS 47858 HAS SOUS 17887 HAS SOUPS 17887 WITH SCORE 17934.858
AT ITER 4172 NEW BEST:: SOT 65479 SOS 47800 HAS SOPS 47800 HAS SOUS 17840 HAS SOUPS 17840 WITH SCORE 17887.8
AT ITER 4254 NEW BEST:: SOT 65367 SOS 47688 HAS SOPS 47688 HAS SOUS 17621 HAS SOUPS 17621 WITH SCORE 17668.688
AT ITER 4261 NEW BEST:: SOT 65377 SOS 48015 HAS SOPS 48015 HAS SOUS 17619 HAS SOUPS 17619 WITH SCORE 17667.015
AT ITER 4263 NEW BEST:: SOT 65369 SOS 48007 HAS SOPS 48007 HAS SOUS 17611 HAS SOUPS 17611 WITH SCORE 17659.007
AT ITER 4334 NEW BEST:: SOT 65382 SOS 48020 HAS SOPS 48020 HAS SOUS 17572 HAS SOUPS 17572 WITH SCORE 17620.02
AT ITER 4335 NEW BEST:: SOT 65382 SOS 47716 HAS SOPS 47716 HAS SOUS 17568 HAS SOUPS 17568 WITH SCORE 17615.716
AT ITER 4362 NEW BEST:: SOT 65386 SOS 47720 HAS SOPS 47720 HAS SOUS 17552 HAS SOUPS 17552 WITH SCORE 17599.72
AT ITER 4368 NEW BEST:: SOT 65386 SOS 47720 HAS SOPS 47720 HAS SOUS 17539 HAS SOUPS 17539 WITH SCORE 17586.72
AT ITER 4461 NEW BEST:: SOT 65371 SOS 47705 HAS SOPS 47705 HAS SOUS 17525 HAS SOUPS 17525 WITH SCORE 17572.705
AT ITER 4499 NEW BEST:: SOT 65371 SOS 48334 HAS SOPS 48334 HAS SOUS 17518 HAS SOUPS 17518 WITH SCORE 17566.334
AT ITER 4502 NEW BEST:: SOT 65366 SOS 48492 HAS SOPS 48492 HAS SOUS 17514 HAS SOUPS 17514 WITH SCORE 17562.492
AT ITER 4508 NEW BEST:: SOT 65362 SOS 48488 HAS SOPS 48488 HAS SOUS 17508 HAS SOUPS 17508 WITH SCORE 17556.488
AT ITER 4559 NEW BEST:: SOT 65325 SOS 48451 HAS SOPS 48451 HAS SOUS 17473 HAS SOUPS 17473 WITH SCORE 17521.451
AT ITER 4580 NEW BEST:: SOT 65299 SOS 48417 HAS SOPS 48417 HAS SOUS 17449 HAS SOUPS 17449 WITH SCORE 17497.417
AT ITER 4589 NEW BEST:: SOT 65299 SOS 48417 HAS SOPS 48417 HAS SOUS 17445 HAS SOUPS 17445 WITH SCORE 17493.417
AT ITER 4632 NEW BEST:: SOT 65339 SOS 48266 HAS SOPS 48266 HAS SOUS 17435 HAS SOUPS 17435 WITH SCORE 17483.266
AT ITER 4711 NEW BEST:: SOT 65339 SOS 48364 HAS SOPS 48364 HAS SOUS 17430 HAS SOUPS 17430 WITH SCORE 17478.364
AT ITER 4745 NEW BEST:: SOT 65332 SOS 48357 HAS SOPS 48357 HAS SOUS 17415 HAS SOUPS 17415 WITH SCORE 17463.357
AT ITER 4878 NEW BEST:: SOT 65272 SOS 48297 HAS SOPS 48297 HAS SOUS 17403 HAS SOUPS 17403 WITH SCORE 17451.297
AT ITER 4895 NEW BEST:: SOT 65293 SOS 49765 HAS SOPS 49765 HAS SOUS 17361 HAS SOUPS 17361 WITH SCORE 17410.765
AT ITER 5026 NEW BEST:: SOT 65293 SOS 50325 HAS SOPS 50325 HAS SOUS 17326 HAS SOUPS 17326 WITH SCORE 17376.325
AT ITER 5089 NEW BEST:: SOT 65293 SOS 51133 HAS SOPS 51133 HAS SOUS 17324 HAS SOUPS 17324 WITH SCORE 17375.133
AT ITER 5096 NEW BEST:: SOT 65293 SOS 50989 HAS SOPS 50989 HAS SOUS 17324 HAS SOUPS 17324 WITH SCORE 17374.989
AT ITER 5172 NEW BEST:: SOT 65277 SOS 50973 HAS SOPS 50973 HAS SOUS 17297 HAS SOUPS 17297 WITH SCORE 17347.973
AT ITER 5242 NEW BEST:: SOT 65291 SOS 50987 HAS SOPS 50987 HAS SOUS 17288 HAS SOUPS 17288 WITH SCORE 17338.987
AT ITER 5340 NEW BEST:: SOT 65293 SOS 51021 HAS SOPS 51021 HAS SOUS 17262 HAS SOUPS 17262 WITH SCORE 17313.021
AT ITER 5395 NEW BEST:: SOT 65235 SOS 50963 HAS SOPS 50963 HAS SOUS 17237 HAS SOUPS 17237 WITH SCORE 17287.963
AT ITER 5485 NEW BEST:: SOT 65232 SOS 50960 HAS SOPS 50960 HAS SOUS 17196 HAS SOUPS 17196 WITH SCORE 17246.96
AT ITER 5501 NEW BEST:: SOT 65276 SOS 51004 HAS SOPS 51004 HAS SOUS 17167 HAS SOUPS 17167 WITH SCORE 17218.004
AT ITER 5601 NEW BEST:: SOT 65276 SOS 51004 HAS SOPS 51004 HAS SOUS 17149 HAS SOUPS 17149 WITH SCORE 17200.004
AT ITER 5604 NEW BEST:: SOT 65276 SOS 51004 HAS SOPS 51004 HAS SOUS 17135 HAS SOUPS 17135 WITH SCORE 17186.004
AT ITER 5682 NEW BEST:: SOT 65062 SOS 50727 HAS SOPS 50727 HAS SOUS 17093 HAS SOUPS 17093 WITH SCORE 17143.727
AT ITER 5729 NEW BEST:: SOT 65078 SOS 50743 HAS SOPS 50743 HAS SOUS 17088 HAS SOUPS 17088 WITH SCORE 17138.743
AT ITER 5829 NEW BEST:: SOT 65080 SOS 50745 HAS SOPS 50745 HAS SOUS 17086 HAS SOUPS 17086 WITH SCORE 17136.745
AT ITER 5958 NEW BEST:: SOT 65078 SOS 50743 HAS SOPS 50743 HAS SOUS 17086 HAS SOUPS 17086 WITH SCORE 17136.743
AT ITER 5973 NEW BEST:: SOT 65072 SOS 50737 HAS SOPS 50737 HAS SOUS 17080 HAS SOUPS 17080 WITH SCORE 17130.737
AT ITER 6015 NEW BEST:: SOT 65072 SOS 50705 HAS SOPS 50705 HAS SOUS 17080 HAS SOUPS 17080 WITH SCORE 17130.705
AT ITER 6094 NEW BEST:: SOT 65066 SOS 50699 HAS SOPS 50699 HAS SOUS 17066 HAS SOUPS 17066 WITH SCORE 17116.699
AT ITER 6137 NEW BEST:: SOT 65047 SOS 50680 HAS SOPS 50680 HAS SOUS 17062 HAS SOUPS 17062 WITH SCORE 17112.68
AT ITER 6255 NEW BEST:: SOT 65100 SOS 50733 HAS SOPS 50733 HAS SOUS 17032 HAS SOUPS 17032 WITH SCORE 17082.733
AT ITER 6262 NEW BEST:: SOT 65100 SOS 49925 HAS SOPS 49925 HAS SOUS 17032 HAS SOUPS 17032 WITH SCORE 17081.925
AT ITER 6272 NEW BEST:: SOT 65082 SOS 49914 HAS SOPS 49914 HAS SOUS 16993 HAS SOUPS 16993 WITH SCORE 17042.914
AT ITER 6301 NEW BEST:: SOT 65082 SOS 49914 HAS SOPS 49914 HAS SOUS 16989 HAS SOUPS 16989 WITH SCORE 17038.914
AT ITER 6386 NEW BEST:: SOT 65094 SOS 49922 HAS SOPS 49922 HAS SOUS 16987 HAS SOUPS 16987 WITH SCORE 17036.922
AT ITER 6400 NEW BEST:: SOT 64970 SOS 49771 HAS SOPS 49771 HAS SOUS 16950 HAS SOUPS 16950 WITH SCORE 16999.771
AT ITER 6447 NEW BEST:: SOT 64887 SOS 49688 HAS SOPS 49688 HAS SOUS 16897 HAS SOUPS 16897 WITH SCORE 16946.688
AT ITER 6449 NEW BEST:: SOT 64867 SOS 49668 HAS SOPS 49668 HAS SOUS 16893 HAS SOUPS 16893 WITH SCORE 16942.668
AT ITER 6563 NEW BEST:: SOT 64819 SOS 49620 HAS SOPS 49620 HAS SOUS 16861 HAS SOUPS 16861 WITH SCORE 16910.62
AT ITER 6564 NEW BEST:: SOT 64814 SOS 49615 HAS SOPS 49615 HAS SOUS 16840 HAS SOUPS 16840 WITH SCORE 16889.615
AT ITER 6574 NEW BEST:: SOT 64812 SOS 49613 HAS SOPS 49613 HAS SOUS 16839 HAS SOUPS 16839 WITH SCORE 16888.613
AT ITER 6629 NEW BEST:: SOT 64811 SOS 49612 HAS SOPS 49612 HAS SOUS 16838 HAS SOUPS 16838 WITH SCORE 16887.612
AT ITER 6675 NEW BEST:: SOT 64819 SOS 49620 HAS SOPS 49620 HAS SOUS 16830 HAS SOUPS 16830 WITH SCORE 16879.62
AT ITER 6688 NEW BEST:: SOT 64816 SOS 49617 HAS SOPS 49617 HAS SOUS 16822 HAS SOUPS 16822 WITH SCORE 16871.617
AT ITER 6732 NEW BEST:: SOT 64816 SOS 49617 HAS SOPS 49617 HAS SOUS 16821 HAS SOUPS 16821 WITH SCORE 16870.617
AT ITER 6791 NEW BEST:: SOT 64814 SOS 49611 HAS SOPS 49611 HAS SOUS 16818 HAS SOUPS 16818 WITH SCORE 16867.611
AT ITER 6867 NEW BEST:: SOT 64815 SOS 49612 HAS SOPS 49612 HAS SOUS 16811 HAS SOUPS 16811 WITH SCORE 16860.612
AT ITER 6965 NEW BEST:: SOT 64815 SOS 49612 HAS SOPS 49612 HAS SOUS 16801 HAS SOUPS 16801 WITH SCORE 16850.612
AT ITER 7081 NEW BEST:: SOT 64815 SOS 49692 HAS SOPS 49692 HAS SOUS 16796 HAS SOUPS 16796 WITH SCORE 16845.692
AT ITER 7098 NEW BEST:: SOT 64791 SOS 49668 HAS SOPS 49668 HAS SOUS 16765 HAS SOUPS 16765 WITH SCORE 16814.668
AT ITER 7197 NEW BEST:: SOT 64791 SOS 49670 HAS SOPS 49670 HAS SOUS 16763 HAS SOUPS 16763 WITH SCORE 16812.67
AT ITER 7216 NEW BEST:: SOT 64777 SOS 49656 HAS SOPS 49656 HAS SOUS 16760 HAS SOUPS 16760 WITH SCORE 16809.656
AT ITER 7228 NEW BEST:: SOT 64759 SOS 49618 HAS SOPS 49618 HAS SOUS 16725 HAS SOUPS 16725 WITH SCORE 16774.618
AT ITER 7235 NEW BEST:: SOT 64655 SOS 49514 HAS SOPS 49514 HAS SOUS 16626 HAS SOUPS 16626 WITH SCORE 16675.514
AT ITER 7266 NEW BEST:: SOT 64655 SOS 49514 HAS SOPS 49514 HAS SOUS 16625 HAS SOUPS 16625 WITH SCORE 16674.514
AT ITER 7268 NEW BEST:: SOT 64639 SOS 49498 HAS SOPS 49498 HAS SOUS 16592 HAS SOUPS 16592 WITH SCORE 16641.498
AT ITER 7274 NEW BEST:: SOT 64634 SOS 49493 HAS SOPS 49493 HAS SOUS 16587 HAS SOUPS 16587 WITH SCORE 16636.493
AT ITER 7385 NEW BEST:: SOT 64634 SOS 49493 HAS SOPS 49493 HAS SOUS 16582 HAS SOUPS 16582 WITH SCORE 16631.493
AT ITER 7431 NEW BEST:: SOT 64642 SOS 49542 HAS SOPS 49542 HAS SOUS 16573 HAS SOUPS 16573 WITH SCORE 16622.542
AT ITER 7456 NEW BEST:: SOT 64636 SOS 49538 HAS SOPS 49538 HAS SOUS 16571 HAS SOUPS 16571 WITH SCORE 16620.538
AT ITER 7482 NEW BEST:: SOT 64636 SOS 49530 HAS SOPS 49530 HAS SOUS 16571 HAS SOUPS 16571 WITH SCORE 16620.53
AT ITER 7494 NEW BEST:: SOT 64636 SOS 49530 HAS SOPS 49530 HAS SOUS 16546 HAS SOUPS 16546 WITH SCORE 16595.53
AT ITER 7690 NEW BEST:: SOT 64636 SOS 49506 HAS SOPS 49506 HAS SOUS 16546 HAS SOUPS 16546 WITH SCORE 16595.506
AT ITER 7695 NEW BEST:: SOT 64518 SOS 49160 HAS SOPS 49160 HAS SOUS 16484 HAS SOUPS 16484 WITH SCORE 16533.16
AT ITER 7764 NEW BEST:: SOT 64518 SOS 49164 HAS SOPS 49164 HAS SOUS 16482 HAS SOUPS 16482 WITH SCORE 16531.164
AT ITER 7781 NEW BEST:: SOT 64518 SOS 48972 HAS SOPS 48972 HAS SOUS 16479 HAS SOUPS 16479 WITH SCORE 16527.972
AT ITER 7797 NEW BEST:: SOT 64518 SOS 48972 HAS SOPS 48972 HAS SOUS 16473 HAS SOUPS 16473 WITH SCORE 16521.972
AT ITER 7853 NEW BEST:: SOT 64518 SOS 48972 HAS SOPS 48972 HAS SOUS 16468 HAS SOUPS 16468 WITH SCORE 16516.972
AT ITER 7863 NEW BEST:: SOT 64518 SOS 48972 HAS SOPS 48972 HAS SOUS 16453 HAS SOUPS 16453 WITH SCORE 16501.972
AT ITER 7946 NEW BEST:: SOT 64499 SOS 48953 HAS SOPS 48953 HAS SOUS 16433 HAS SOUPS 16433 WITH SCORE 16481.953
AT ITER 8037 NEW BEST:: SOT 64499 SOS 48945 HAS SOPS 48945 HAS SOUS 16433 HAS SOUPS 16433 WITH SCORE 16481.945
AT ITER 8039 NEW BEST:: SOT 64493 SOS 48939 HAS SOPS 48939 HAS SOUS 16429 HAS SOUPS 16429 WITH SCORE 16477.939
AT ITER 8051 NEW BEST:: SOT 64493 SOS 48939 HAS SOPS 48939 HAS SOUS 16421 HAS SOUPS 16421 WITH SCORE 16469.939
AT ITER 8069 NEW BEST:: SOT 64493 SOS 48945 HAS SOPS 48945 HAS SOUS 16405 HAS SOUPS 16405 WITH SCORE 16453.945
AT ITER 8110 NEW BEST:: SOT 64472 SOS 48924 HAS SOPS 48924 HAS SOUS 16401 HAS SOUPS 16401 WITH SCORE 16449.924
AT ITER 8133 NEW BEST:: SOT 64470 SOS 48922 HAS SOPS 48922 HAS SOUS 16393 HAS SOUPS 16393 WITH SCORE 16441.922
AT ITER 8293 NEW BEST:: SOT 64470 SOS 48922 HAS SOPS 48922 HAS SOUS 16387 HAS SOUPS 16387 WITH SCORE 16435.922
AT ITER 8318 NEW BEST:: SOT 64470 SOS 48794 HAS SOPS 48794 HAS SOUS 16386 HAS SOUPS 16386 WITH SCORE 16434.794
AT ITER 8340 NEW BEST:: SOT 64464 SOS 48791 HAS SOPS 48791 HAS SOUS 16380 HAS SOUPS 16380 WITH SCORE 16428.791
AT ITER 8581 NEW BEST:: SOT 64464 SOS 48791 HAS SOPS 48791 HAS SOUS 16353 HAS SOUPS 16353 WITH SCORE 16401.791
AT ITER 8592 NEW BEST:: SOT 64464 SOS 48791 HAS SOPS 48791 HAS SOUS 16350 HAS SOUPS 16350 WITH SCORE 16398.791
AT ITER 8730 NEW BEST:: SOT 64428 SOS 48755 HAS SOPS 48755 HAS SOUS 16336 HAS SOUPS 16336 WITH SCORE 16384.755
AT ITER 8732 NEW BEST:: SOT 64428 SOS 48739 HAS SOPS 48739 HAS SOUS 16336 HAS SOUPS 16336 WITH SCORE 16384.739
AT ITER 8826 NEW BEST:: SOT 64428 SOS 48739 HAS SOPS 48739 HAS SOUS 16330 HAS SOUPS 16330 WITH SCORE 16378.739
AT ITER 8856 NEW BEST:: SOT 64431 SOS 48742 HAS SOPS 48742 HAS SOUS 16317 HAS SOUPS 16317 WITH SCORE 16365.742
AT ITER 8977 NEW BEST:: SOT 64428 SOS 48739 HAS SOPS 48739 HAS SOUS 16307 HAS SOUPS 16307 WITH SCORE 16355.739
AT ITER 9209 NEW BEST:: SOT 64426 SOS 48737 HAS SOPS 48737 HAS SOUS 16224 HAS SOUPS 16224 WITH SCORE 16272.737
AT ITER 9232 NEW BEST:: SOT 64425 SOS 48736 HAS SOPS 48736 HAS SOUS 16216 HAS SOUPS 16216 WITH SCORE 16264.736
AT ITER 9314 NEW BEST:: SOT 64393 SOS 48704 HAS SOPS 48704 HAS SOUS 16201 HAS SOUPS 16201 WITH SCORE 16249.704
AT ITER 9334 NEW BEST:: SOT 64373 SOS 48684 HAS SOPS 48684 HAS SOUS 16199 HAS SOUPS 16199 WITH SCORE 16247.684
AT ITER 9338 NEW BEST:: SOT 64373 SOS 48684 HAS SOPS 48684 HAS SOUS 16188 HAS SOUPS 16188 WITH SCORE 16236.684
AT ITER 9408 NEW BEST:: SOT 64371 SOS 48684 HAS SOPS 48684 HAS SOUS 16178 HAS SOUPS 16178 WITH SCORE 16226.684
AT ITER 9440 NEW BEST:: SOT 64353 SOS 48666 HAS SOPS 48666 HAS SOUS 16158 HAS SOUPS 16158 WITH SCORE 16206.666
AT ITER 9478 NEW BEST:: SOT 64333 SOS 48646 HAS SOPS 48646 HAS SOUS 16131 HAS SOUPS 16131 WITH SCORE 16179.646
AT ITER 9611 NEW BEST:: SOT 64319 SOS 48632 HAS SOPS 48632 HAS SOUS 16096 HAS SOUPS 16096 WITH SCORE 16144.632
AT ITER 9629 NEW BEST:: SOT 64329 SOS 48642 HAS SOPS 48642 HAS SOUS 16064 HAS SOUPS 16064 WITH SCORE 16112.642
AT ITER 9758 NEW BEST:: SOT 64329 SOS 48638 HAS SOPS 48638 HAS SOUS 16063 HAS SOUPS 16063 WITH SCORE 16111.638
AT ITER 9774 NEW BEST:: SOT 64329 SOS 48638 HAS SOPS 48638 HAS SOUS 16058 HAS SOUPS 16058 WITH SCORE 16106.638
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 2667536 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16135772 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-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"
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-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 r259-smll-167863534600488"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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