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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 468K
-rw-r--r-- 1 mcc users 8.1K Feb 26 01:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 26 01:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 26 01:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 01:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.8K Feb 26 01:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 100K Feb 26 01:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.6K Feb 26 01:25 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 26 01:25 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:30 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 1678788320209

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-05
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-14 10:05:24] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-14 10:05:24] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-14 10:05:24] [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 10:05:25] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-14 10:05:25] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1295 ms
[2023-03-14 10:05:26] [INFO ] Imported 40 HL places and 16 HL transitions for a total of 208 PT places and 1024.0 transition bindings in 68 ms.
[2023-03-14 10:05:26] [INFO ] Unfolded HLPN to a Petri net with 208 places and 1024 transitions 5984 arcs in 103 ms.
[2023-03-14 10:05:26] [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 10:05:26] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 168 places, 592 transitions and 3456 arcs took 31 ms.
Total runtime 1928 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PermAdmissibility (COL), instance 05
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 70465 SOS 43785 HAS SOPS 43785 HAS SOUS 24382 HAS SOUPS 24382 WITH SCORE 24425.785
AT ITER 45 NEW BEST:: SOT 70373 SOS 43693 HAS SOPS 43693 HAS SOUS 24261 HAS SOUPS 24261 WITH SCORE 24304.693
AT ITER 56 NEW BEST:: SOT 70099 SOS 43509 HAS SOPS 43509 HAS SOUS 24038 HAS SOUPS 24038 WITH SCORE 24081.509
AT ITER 65 NEW BEST:: SOT 70071 SOS 43601 HAS SOPS 43601 HAS SOUS 23930 HAS SOUPS 23930 WITH SCORE 23973.601
AT ITER 69 NEW BEST:: SOT 69939 SOS 43405 HAS SOPS 43405 HAS SOUS 23840 HAS SOUPS 23840 WITH SCORE 23883.405
AT ITER 80 NEW BEST:: SOT 69937 SOS 43433 HAS SOPS 43433 HAS SOUS 23826 HAS SOUPS 23826 WITH SCORE 23869.433
AT ITER 87 NEW BEST:: SOT 70037 SOS 43887 HAS SOPS 43887 HAS SOUS 23820 HAS SOUPS 23820 WITH SCORE 23863.887
AT ITER 91 NEW BEST:: SOT 69923 SOS 43773 HAS SOPS 43773 HAS SOUS 23771 HAS SOUPS 23771 WITH SCORE 23814.773
AT ITER 96 NEW BEST:: SOT 69851 SOS 43701 HAS SOPS 43701 HAS SOUS 23701 HAS SOUPS 23701 WITH SCORE 23744.701
AT ITER 98 NEW BEST:: SOT 69824 SOS 43701 HAS SOPS 43701 HAS SOUS 23687 HAS SOUPS 23687 WITH SCORE 23730.701
AT ITER 101 NEW BEST:: SOT 69490 SOS 43419 HAS SOPS 43419 HAS SOUS 23309 HAS SOUPS 23309 WITH SCORE 23352.419
AT ITER 105 NEW BEST:: SOT 69366 SOS 43295 HAS SOPS 43295 HAS SOUS 23191 HAS SOUPS 23191 WITH SCORE 23234.295
AT ITER 119 NEW BEST:: SOT 69324 SOS 43253 HAS SOPS 43253 HAS SOUS 23104 HAS SOUPS 23104 WITH SCORE 23147.253
AT ITER 137 NEW BEST:: SOT 69298 SOS 43227 HAS SOPS 43227 HAS SOUS 23070 HAS SOUPS 23070 WITH SCORE 23113.227
AT ITER 156 NEW BEST:: SOT 68989 SOS 43344 HAS SOPS 43344 HAS SOUS 23048 HAS SOUPS 23048 WITH SCORE 23091.344
AT ITER 167 NEW BEST:: SOT 68859 SOS 43742 HAS SOPS 43742 HAS SOUS 23043 HAS SOUPS 23043 WITH SCORE 23086.742
AT ITER 168 NEW BEST:: SOT 68859 SOS 42086 HAS SOPS 42086 HAS SOUS 23043 HAS SOUPS 23043 WITH SCORE 23085.086
AT ITER 193 NEW BEST:: SOT 68400 SOS 41797 HAS SOPS 41797 HAS SOUS 22996 HAS SOUPS 22996 WITH SCORE 23037.797
AT ITER 208 NEW BEST:: SOT 68362 SOS 42149 HAS SOPS 42149 HAS SOUS 22786 HAS SOUPS 22786 WITH SCORE 22828.149
AT ITER 210 NEW BEST:: SOT 68218 SOS 42005 HAS SOPS 42005 HAS SOUS 22718 HAS SOUPS 22718 WITH SCORE 22760.005
AT ITER 213 NEW BEST:: SOT 68187 SOS 41974 HAS SOPS 41974 HAS SOUS 22623 HAS SOUPS 22623 WITH SCORE 22664.974
AT ITER 219 NEW BEST:: SOT 68155 SOS 41951 HAS SOPS 41951 HAS SOUS 22606 HAS SOUPS 22606 WITH SCORE 22647.951
AT ITER 228 NEW BEST:: SOT 68155 SOS 41455 HAS SOPS 41455 HAS SOUS 22604 HAS SOUPS 22604 WITH SCORE 22645.455
AT ITER 256 NEW BEST:: SOT 68123 SOS 41423 HAS SOPS 41423 HAS SOUS 22543 HAS SOUPS 22543 WITH SCORE 22584.423
AT ITER 269 NEW BEST:: SOT 67963 SOS 41854 HAS SOPS 41854 HAS SOUS 22518 HAS SOUPS 22518 WITH SCORE 22559.854
AT ITER 295 NEW BEST:: SOT 67963 SOS 41806 HAS SOPS 41806 HAS SOUS 22518 HAS SOUPS 22518 WITH SCORE 22559.806
AT ITER 298 NEW BEST:: SOT 67887 SOS 41806 HAS SOPS 41806 HAS SOUS 22495 HAS SOUPS 22495 WITH SCORE 22536.806
AT ITER 309 NEW BEST:: SOT 67763 SOS 41630 HAS SOPS 41630 HAS SOUS 22433 HAS SOUPS 22433 WITH SCORE 22474.63
AT ITER 316 NEW BEST:: SOT 67763 SOS 42046 HAS SOPS 42046 HAS SOUS 22365 HAS SOUPS 22365 WITH SCORE 22407.046
AT ITER 339 NEW BEST:: SOT 67759 SOS 42042 HAS SOPS 42042 HAS SOUS 22361 HAS SOUPS 22361 WITH SCORE 22403.042
AT ITER 354 NEW BEST:: SOT 67759 SOS 43322 HAS SOPS 43322 HAS SOUS 22345 HAS SOUPS 22345 WITH SCORE 22388.322
AT ITER 357 NEW BEST:: SOT 67734 SOS 43297 HAS SOPS 43297 HAS SOUS 22334 HAS SOUPS 22334 WITH SCORE 22377.297
AT ITER 362 NEW BEST:: SOT 67570 SOS 43314 HAS SOPS 43314 HAS SOUS 22292 HAS SOUPS 22292 WITH SCORE 22335.314
AT ITER 386 NEW BEST:: SOT 67556 SOS 43300 HAS SOPS 43300 HAS SOUS 22263 HAS SOUPS 22263 WITH SCORE 22306.3
AT ITER 413 NEW BEST:: SOT 67508 SOS 43252 HAS SOPS 43252 HAS SOUS 22211 HAS SOUPS 22211 WITH SCORE 22254.252
AT ITER 418 NEW BEST:: SOT 67496 SOS 43240 HAS SOPS 43240 HAS SOUS 22194 HAS SOUPS 22194 WITH SCORE 22237.24
AT ITER 427 NEW BEST:: SOT 67466 SOS 43300 HAS SOPS 43300 HAS SOUS 22144 HAS SOUPS 22144 WITH SCORE 22187.3
AT ITER 432 NEW BEST:: SOT 67463 SOS 43297 HAS SOPS 43297 HAS SOUS 22139 HAS SOUPS 22139 WITH SCORE 22182.297
AT ITER 464 NEW BEST:: SOT 67337 SOS 43171 HAS SOPS 43171 HAS SOUS 22005 HAS SOUPS 22005 WITH SCORE 22048.171
AT ITER 478 NEW BEST:: SOT 66812 SOS 42646 HAS SOPS 42646 HAS SOUS 21723 HAS SOUPS 21723 WITH SCORE 21765.646
AT ITER 481 NEW BEST:: SOT 66812 SOS 44694 HAS SOPS 44694 HAS SOUS 21584 HAS SOUPS 21584 WITH SCORE 21628.694
AT ITER 484 NEW BEST:: SOT 66796 SOS 44682 HAS SOPS 44682 HAS SOUS 21576 HAS SOUPS 21576 WITH SCORE 21620.682
AT ITER 491 NEW BEST:: SOT 66771 SOS 44657 HAS SOPS 44657 HAS SOUS 21431 HAS SOUPS 21431 WITH SCORE 21475.657
AT ITER 493 NEW BEST:: SOT 66771 SOS 45841 HAS SOPS 45841 HAS SOUS 21363 HAS SOUPS 21363 WITH SCORE 21408.841
AT ITER 494 NEW BEST:: SOT 66771 SOS 45841 HAS SOPS 45841 HAS SOUS 21303 HAS SOUPS 21303 WITH SCORE 21348.841
AT ITER 495 NEW BEST:: SOT 66741 SOS 45811 HAS SOPS 45811 HAS SOUS 21249 HAS SOUPS 21249 WITH SCORE 21294.811
AT ITER 502 NEW BEST:: SOT 66771 SOS 45841 HAS SOPS 45841 HAS SOUS 21215 HAS SOUPS 21215 WITH SCORE 21260.841
AT ITER 511 NEW BEST:: SOT 66767 SOS 45837 HAS SOPS 45837 HAS SOUS 21203 HAS SOUPS 21203 WITH SCORE 21248.837
AT ITER 517 NEW BEST:: SOT 66826 SOS 45896 HAS SOPS 45896 HAS SOUS 21181 HAS SOUPS 21181 WITH SCORE 21226.896
AT ITER 518 NEW BEST:: SOT 66285 SOS 45355 HAS SOPS 45355 HAS SOUS 20810 HAS SOUPS 20810 WITH SCORE 20855.355
AT ITER 526 NEW BEST:: SOT 66285 SOS 46995 HAS SOPS 46995 HAS SOUS 20738 HAS SOUPS 20738 WITH SCORE 20784.995
AT ITER 536 NEW BEST:: SOT 66281 SOS 46991 HAS SOPS 46991 HAS SOUS 20706 HAS SOUPS 20706 WITH SCORE 20752.991
AT ITER 545 NEW BEST:: SOT 66249 SOS 46959 HAS SOPS 46959 HAS SOUS 20679 HAS SOUPS 20679 WITH SCORE 20725.959
AT ITER 546 NEW BEST:: SOT 66241 SOS 46951 HAS SOPS 46951 HAS SOUS 20673 HAS SOUPS 20673 WITH SCORE 20719.951
AT ITER 550 NEW BEST:: SOT 66216 SOS 46926 HAS SOPS 46926 HAS SOUS 20636 HAS SOUPS 20636 WITH SCORE 20682.926
AT ITER 558 NEW BEST:: SOT 66214 SOS 46924 HAS SOPS 46924 HAS SOUS 20624 HAS SOUPS 20624 WITH SCORE 20670.924
AT ITER 559 NEW BEST:: SOT 66214 SOS 46924 HAS SOPS 46924 HAS SOUS 20566 HAS SOUPS 20566 WITH SCORE 20612.924
AT ITER 572 NEW BEST:: SOT 66273 SOS 46968 HAS SOPS 46968 HAS SOUS 20385 HAS SOUPS 20385 WITH SCORE 20431.968
AT ITER 587 NEW BEST:: SOT 66050 SOS 46745 HAS SOPS 46745 HAS SOUS 20202 HAS SOUPS 20202 WITH SCORE 20248.745
AT ITER 616 NEW BEST:: SOT 66050 SOS 46745 HAS SOPS 46745 HAS SOUS 20174 HAS SOUPS 20174 WITH SCORE 20220.745
AT ITER 658 NEW BEST:: SOT 66112 SOS 46807 HAS SOPS 46807 HAS SOUS 20142 HAS SOUPS 20142 WITH SCORE 20188.807
AT ITER 661 NEW BEST:: SOT 65966 SOS 46661 HAS SOPS 46661 HAS SOUS 20122 HAS SOUPS 20122 WITH SCORE 20168.661
AT ITER 674 NEW BEST:: SOT 65938 SOS 46688 HAS SOPS 46688 HAS SOUS 20110 HAS SOUPS 20110 WITH SCORE 20156.688
AT ITER 684 NEW BEST:: SOT 65861 SOS 46611 HAS SOPS 46611 HAS SOUS 20033 HAS SOUPS 20033 WITH SCORE 20079.611
AT ITER 690 NEW BEST:: SOT 65853 SOS 46603 HAS SOPS 46603 HAS SOUS 20025 HAS SOUPS 20025 WITH SCORE 20071.603
AT ITER 701 NEW BEST:: SOT 65873 SOS 46623 HAS SOPS 46623 HAS SOUS 20024 HAS SOUPS 20024 WITH SCORE 20070.623
AT ITER 703 NEW BEST:: SOT 65855 SOS 46605 HAS SOPS 46605 HAS SOUS 19958 HAS SOUPS 19958 WITH SCORE 20004.605
AT ITER 717 NEW BEST:: SOT 65929 SOS 49611 HAS SOPS 49611 HAS SOUS 19889 HAS SOUPS 19889 WITH SCORE 19938.611
AT ITER 723 NEW BEST:: SOT 65929 SOS 50123 HAS SOPS 50123 HAS SOUS 19865 HAS SOUPS 19865 WITH SCORE 19915.123
AT ITER 770 NEW BEST:: SOT 65893 SOS 50087 HAS SOPS 50087 HAS SOUS 19863 HAS SOUPS 19863 WITH SCORE 19913.087
AT ITER 788 NEW BEST:: SOT 65893 SOS 48815 HAS SOPS 48815 HAS SOUS 19847 HAS SOUPS 19847 WITH SCORE 19895.815
AT ITER 813 NEW BEST:: SOT 65893 SOS 47791 HAS SOPS 47791 HAS SOUS 19847 HAS SOUPS 19847 WITH SCORE 19894.791
AT ITER 815 NEW BEST:: SOT 65893 SOS 47791 HAS SOPS 47791 HAS SOUS 19823 HAS SOUPS 19823 WITH SCORE 19870.791
AT ITER 839 NEW BEST:: SOT 65891 SOS 47787 HAS SOPS 47787 HAS SOUS 19821 HAS SOUPS 19821 WITH SCORE 19868.787
AT ITER 859 NEW BEST:: SOT 65864 SOS 47760 HAS SOPS 47760 HAS SOUS 19778 HAS SOUPS 19778 WITH SCORE 19825.76
AT ITER 860 NEW BEST:: SOT 65871 SOS 47767 HAS SOPS 47767 HAS SOUS 19753 HAS SOUPS 19753 WITH SCORE 19800.767
AT ITER 870 NEW BEST:: SOT 65878 SOS 47830 HAS SOPS 47830 HAS SOUS 19695 HAS SOUPS 19695 WITH SCORE 19742.83
AT ITER 879 NEW BEST:: SOT 65876 SOS 47828 HAS SOPS 47828 HAS SOUS 19693 HAS SOUPS 19693 WITH SCORE 19740.828
AT ITER 884 NEW BEST:: SOT 65852 SOS 47804 HAS SOPS 47804 HAS SOUS 19629 HAS SOUPS 19629 WITH SCORE 19676.804
AT ITER 892 NEW BEST:: SOT 65276 SOS 47228 HAS SOPS 47228 HAS SOUS 19299 HAS SOUPS 19299 WITH SCORE 19346.228
AT ITER 922 NEW BEST:: SOT 65218 SOS 47170 HAS SOPS 47170 HAS SOUS 19233 HAS SOUPS 19233 WITH SCORE 19280.17
AT ITER 935 NEW BEST:: SOT 65166 SOS 47118 HAS SOPS 47118 HAS SOUS 19123 HAS SOUPS 19123 WITH SCORE 19170.118
AT ITER 943 NEW BEST:: SOT 65166 SOS 47118 HAS SOPS 47118 HAS SOUS 19075 HAS SOUPS 19075 WITH SCORE 19122.118
AT ITER 955 NEW BEST:: SOT 65167 SOS 47119 HAS SOPS 47119 HAS SOUS 19014 HAS SOUPS 19014 WITH SCORE 19061.119
AT ITER 975 NEW BEST:: SOT 65237 SOS 47189 HAS SOPS 47189 HAS SOUS 18987 HAS SOUPS 18987 WITH SCORE 19034.189
AT ITER 977 NEW BEST:: SOT 65249 SOS 47201 HAS SOPS 47201 HAS SOUS 18986 HAS SOUPS 18986 WITH SCORE 19033.201
AT ITER 1018 NEW BEST:: SOT 65248 SOS 47200 HAS SOPS 47200 HAS SOUS 18889 HAS SOUPS 18889 WITH SCORE 18936.2
AT ITER 1021 NEW BEST:: SOT 65240 SOS 47192 HAS SOPS 47192 HAS SOUS 18876 HAS SOUPS 18876 WITH SCORE 18923.192
AT ITER 1048 NEW BEST:: SOT 65230 SOS 47182 HAS SOPS 47182 HAS SOUS 18850 HAS SOUPS 18850 WITH SCORE 18897.182
AT ITER 1059 NEW BEST:: SOT 65222 SOS 47174 HAS SOPS 47174 HAS SOUS 18826 HAS SOUPS 18826 WITH SCORE 18873.174
AT ITER 1080 NEW BEST:: SOT 64953 SOS 45376 HAS SOPS 45376 HAS SOUS 18821 HAS SOUPS 18821 WITH SCORE 18866.376
AT ITER 1081 NEW BEST:: SOT 64953 SOS 45376 HAS SOPS 45376 HAS SOUS 18618 HAS SOUPS 18618 WITH SCORE 18663.376
AT ITER 1093 NEW BEST:: SOT 64953 SOS 45376 HAS SOPS 45376 HAS SOUS 18602 HAS SOUPS 18602 WITH SCORE 18647.376
AT ITER 1130 NEW BEST:: SOT 64953 SOS 45278 HAS SOPS 45278 HAS SOUS 18580 HAS SOUPS 18580 WITH SCORE 18625.278
AT ITER 1138 NEW BEST:: SOT 65028 SOS 46357 HAS SOPS 46357 HAS SOUS 18577 HAS SOUPS 18577 WITH SCORE 18623.357
AT ITER 1159 NEW BEST:: SOT 65028 SOS 46252 HAS SOPS 46252 HAS SOUS 18562 HAS SOUPS 18562 WITH SCORE 18608.252
AT ITER 1165 NEW BEST:: SOT 65018 SOS 46242 HAS SOPS 46242 HAS SOUS 18555 HAS SOUPS 18555 WITH SCORE 18601.242
AT ITER 1204 NEW BEST:: SOT 65018 SOS 47522 HAS SOPS 47522 HAS SOUS 18448 HAS SOUPS 18448 WITH SCORE 18495.522
AT ITER 1206 NEW BEST:: SOT 65018 SOS 47522 HAS SOPS 47522 HAS SOUS 18441 HAS SOUPS 18441 WITH SCORE 18488.522
AT ITER 1213 NEW BEST:: SOT 64969 SOS 47360 HAS SOPS 47360 HAS SOUS 18375 HAS SOUPS 18375 WITH SCORE 18422.36
AT ITER 1231 NEW BEST:: SOT 64967 SOS 47358 HAS SOPS 47358 HAS SOUS 18375 HAS SOUPS 18375 WITH SCORE 18422.358
AT ITER 1260 NEW BEST:: SOT 64849 SOS 47186 HAS SOPS 47186 HAS SOUS 18303 HAS SOUPS 18303 WITH SCORE 18350.186
AT ITER 1270 NEW BEST:: SOT 64849 SOS 47186 HAS SOPS 47186 HAS SOUS 18282 HAS SOUPS 18282 WITH SCORE 18329.186
AT ITER 1271 NEW BEST:: SOT 64917 SOS 47081 HAS SOPS 47081 HAS SOUS 18277 HAS SOUPS 18277 WITH SCORE 18324.081
AT ITER 1315 NEW BEST:: SOT 64917 SOS 46441 HAS SOPS 46441 HAS SOUS 18277 HAS SOUPS 18277 WITH SCORE 18323.441
AT ITER 1317 NEW BEST:: SOT 64915 SOS 46439 HAS SOPS 46439 HAS SOUS 18275 HAS SOUPS 18275 WITH SCORE 18321.439
AT ITER 1327 NEW BEST:: SOT 64897 SOS 46421 HAS SOPS 46421 HAS SOUS 18261 HAS SOUPS 18261 WITH SCORE 18307.421
AT ITER 1328 NEW BEST:: SOT 64889 SOS 46413 HAS SOPS 46413 HAS SOUS 18253 HAS SOUPS 18253 WITH SCORE 18299.413
AT ITER 1383 NEW BEST:: SOT 64889 SOS 46413 HAS SOPS 46413 HAS SOUS 18245 HAS SOUPS 18245 WITH SCORE 18291.413
AT ITER 1388 NEW BEST:: SOT 64771 SOS 46296 HAS SOPS 46296 HAS SOUS 18136 HAS SOUPS 18136 WITH SCORE 18182.296
AT ITER 1400 NEW BEST:: SOT 64749 SOS 46274 HAS SOPS 46274 HAS SOUS 18083 HAS SOUPS 18083 WITH SCORE 18129.274
AT ITER 1421 NEW BEST:: SOT 64749 SOS 46284 HAS SOPS 46284 HAS SOUS 18079 HAS SOUPS 18079 WITH SCORE 18125.284
AT ITER 1445 NEW BEST:: SOT 64737 SOS 45972 HAS SOPS 45972 HAS SOUS 18067 HAS SOUPS 18067 WITH SCORE 18112.972
AT ITER 1451 NEW BEST:: SOT 64749 SOS 45984 HAS SOPS 45984 HAS SOUS 18064 HAS SOUPS 18064 WITH SCORE 18109.984
AT ITER 1464 NEW BEST:: SOT 64749 SOS 45920 HAS SOPS 45920 HAS SOUS 18060 HAS SOUPS 18060 WITH SCORE 18105.92
AT ITER 1468 NEW BEST:: SOT 64749 SOS 45792 HAS SOPS 45792 HAS SOUS 18060 HAS SOUPS 18060 WITH SCORE 18105.792
AT ITER 1492 NEW BEST:: SOT 64721 SOS 45751 HAS SOPS 45751 HAS SOUS 18030 HAS SOUPS 18030 WITH SCORE 18075.751
AT ITER 1505 NEW BEST:: SOT 64729 SOS 45759 HAS SOPS 45759 HAS SOUS 18005 HAS SOUPS 18005 WITH SCORE 18050.759
AT ITER 1537 NEW BEST:: SOT 64729 SOS 45383 HAS SOPS 45383 HAS SOUS 18001 HAS SOUPS 18001 WITH SCORE 18046.383
AT ITER 1543 NEW BEST:: SOT 64729 SOS 45383 HAS SOPS 45383 HAS SOUS 17999 HAS SOUPS 17999 WITH SCORE 18044.383
AT ITER 1554 NEW BEST:: SOT 64652 SOS 45306 HAS SOPS 45306 HAS SOUS 17922 HAS SOUPS 17922 WITH SCORE 17967.306
AT ITER 1558 NEW BEST:: SOT 64546 SOS 45206 HAS SOPS 45206 HAS SOUS 17785 HAS SOUPS 17785 WITH SCORE 17830.206
AT ITER 1587 NEW BEST:: SOT 64434 SOS 45094 HAS SOPS 45094 HAS SOUS 17764 HAS SOUPS 17764 WITH SCORE 17809.094
AT ITER 1593 NEW BEST:: SOT 64389 SOS 45049 HAS SOPS 45049 HAS SOUS 17742 HAS SOUPS 17742 WITH SCORE 17787.049
AT ITER 1602 NEW BEST:: SOT 64379 SOS 45037 HAS SOPS 45037 HAS SOUS 17732 HAS SOUPS 17732 WITH SCORE 17777.037
AT ITER 1619 NEW BEST:: SOT 64379 SOS 44981 HAS SOPS 44981 HAS SOUS 17726 HAS SOUPS 17726 WITH SCORE 17770.981
AT ITER 1627 NEW BEST:: SOT 64379 SOS 44973 HAS SOPS 44973 HAS SOUS 17726 HAS SOUPS 17726 WITH SCORE 17770.973
AT ITER 1642 NEW BEST:: SOT 64409 SOS 45003 HAS SOPS 45003 HAS SOUS 17470 HAS SOUPS 17470 WITH SCORE 17515.003
AT ITER 1659 NEW BEST:: SOT 64409 SOS 45004 HAS SOPS 45004 HAS SOUS 17469 HAS SOUPS 17469 WITH SCORE 17514.004
AT ITER 1666 NEW BEST:: SOT 64393 SOS 44976 HAS SOPS 44976 HAS SOUS 17450 HAS SOUPS 17450 WITH SCORE 17494.976
AT ITER 1672 NEW BEST:: SOT 64393 SOS 44984 HAS SOPS 44984 HAS SOUS 17415 HAS SOUPS 17415 WITH SCORE 17459.984
AT ITER 1679 NEW BEST:: SOT 64387 SOS 44978 HAS SOPS 44978 HAS SOUS 17414 HAS SOUPS 17414 WITH SCORE 17458.978
AT ITER 1680 NEW BEST:: SOT 64345 SOS 44712 HAS SOPS 44712 HAS SOUS 17413 HAS SOUPS 17413 WITH SCORE 17457.712
AT ITER 1693 NEW BEST:: SOT 64345 SOS 44648 HAS SOPS 44648 HAS SOUS 17412 HAS SOUPS 17412 WITH SCORE 17456.648
AT ITER 1751 NEW BEST:: SOT 64345 SOS 44648 HAS SOPS 44648 HAS SOUS 17404 HAS SOUPS 17404 WITH SCORE 17448.648
AT ITER 1796 NEW BEST:: SOT 64387 SOS 44690 HAS SOPS 44690 HAS SOUS 17401 HAS SOUPS 17401 WITH SCORE 17445.69
AT ITER 1802 NEW BEST:: SOT 64387 SOS 44690 HAS SOPS 44690 HAS SOUS 17400 HAS SOUPS 17400 WITH SCORE 17444.69
AT ITER 1850 NEW BEST:: SOT 64366 SOS 44669 HAS SOPS 44669 HAS SOUS 17355 HAS SOUPS 17355 WITH SCORE 17399.669
AT ITER 1852 NEW BEST:: SOT 64366 SOS 44629 HAS SOPS 44629 HAS SOUS 17355 HAS SOUPS 17355 WITH SCORE 17399.629
AT ITER 1874 NEW BEST:: SOT 64380 SOS 45315 HAS SOPS 45315 HAS SOUS 17327 HAS SOUPS 17327 WITH SCORE 17372.315
AT ITER 1914 NEW BEST:: SOT 64380 SOS 45275 HAS SOPS 45275 HAS SOUS 17327 HAS SOUPS 17327 WITH SCORE 17372.275
AT ITER 1918 NEW BEST:: SOT 64350 SOS 45255 HAS SOPS 45255 HAS SOUS 17302 HAS SOUPS 17302 WITH SCORE 17347.255
AT ITER 1953 NEW BEST:: SOT 64350 SOS 44455 HAS SOPS 44455 HAS SOUS 17296 HAS SOUPS 17296 WITH SCORE 17340.455
AT ITER 1954 NEW BEST:: SOT 64350 SOS 44167 HAS SOPS 44167 HAS SOUS 17295 HAS SOUPS 17295 WITH SCORE 17339.167
AT ITER 2003 NEW BEST:: SOT 64392 SOS 46001 HAS SOPS 46001 HAS SOUS 17205 HAS SOUPS 17205 WITH SCORE 17251.001
AT ITER 2017 NEW BEST:: SOT 64386 SOS 45995 HAS SOPS 45995 HAS SOUS 17191 HAS SOUPS 17191 WITH SCORE 17236.995
AT ITER 2056 NEW BEST:: SOT 64386 SOS 46708 HAS SOPS 46708 HAS SOUS 17149 HAS SOUPS 17149 WITH SCORE 17195.708
AT ITER 2081 NEW BEST:: SOT 64386 SOS 46710 HAS SOPS 46710 HAS SOUS 17147 HAS SOUPS 17147 WITH SCORE 17193.71
AT ITER 2089 NEW BEST:: SOT 64408 SOS 46732 HAS SOPS 46732 HAS SOUS 17116 HAS SOUPS 17116 WITH SCORE 17162.732
AT ITER 2128 NEW BEST:: SOT 64408 SOS 46732 HAS SOPS 46732 HAS SOUS 17110 HAS SOUPS 17110 WITH SCORE 17156.732
AT ITER 2148 NEW BEST:: SOT 64408 SOS 46564 HAS SOPS 46564 HAS SOUS 17110 HAS SOUPS 17110 WITH SCORE 17156.564
AT ITER 2153 NEW BEST:: SOT 64408 SOS 46564 HAS SOPS 46564 HAS SOUS 17092 HAS SOUPS 17092 WITH SCORE 17138.564
AT ITER 2181 NEW BEST:: SOT 64398 SOS 46554 HAS SOPS 46554 HAS SOUS 17081 HAS SOUPS 17081 WITH SCORE 17127.554
AT ITER 2212 NEW BEST:: SOT 64386 SOS 46546 HAS SOPS 46546 HAS SOUS 17071 HAS SOUPS 17071 WITH SCORE 17117.546
AT ITER 2217 NEW BEST:: SOT 64388 SOS 46563 HAS SOPS 46563 HAS SOUS 17063 HAS SOUPS 17063 WITH SCORE 17109.563
AT ITER 2230 NEW BEST:: SOT 64327 SOS 46502 HAS SOPS 46502 HAS SOUS 17037 HAS SOUPS 17037 WITH SCORE 17083.502
AT ITER 2260 NEW BEST:: SOT 64327 SOS 46502 HAS SOPS 46502 HAS SOUS 17031 HAS SOUPS 17031 WITH SCORE 17077.502
AT ITER 2299 NEW BEST:: SOT 64327 SOS 46577 HAS SOPS 46577 HAS SOUS 17009 HAS SOUPS 17009 WITH SCORE 17055.577
AT ITER 2312 NEW BEST:: SOT 64299 SOS 46549 HAS SOPS 46549 HAS SOUS 16997 HAS SOUPS 16997 WITH SCORE 17043.549
AT ITER 2403 NEW BEST:: SOT 64299 SOS 44117 HAS SOPS 44117 HAS SOUS 16980 HAS SOUPS 16980 WITH SCORE 17024.117
AT ITER 2448 NEW BEST:: SOT 64306 SOS 44124 HAS SOPS 44124 HAS SOUS 16971 HAS SOUPS 16971 WITH SCORE 17015.124
AT ITER 2463 NEW BEST:: SOT 64218 SOS 44037 HAS SOPS 44037 HAS SOUS 16810 HAS SOUPS 16810 WITH SCORE 16854.037
AT ITER 2472 NEW BEST:: SOT 64220 SOS 44039 HAS SOPS 44039 HAS SOUS 16799 HAS SOUPS 16799 WITH SCORE 16843.039
AT ITER 2483 NEW BEST:: SOT 64273 SOS 44092 HAS SOPS 44092 HAS SOUS 16728 HAS SOUPS 16728 WITH SCORE 16772.092
AT ITER 2534 NEW BEST:: SOT 64157 SOS 43928 HAS SOPS 43928 HAS SOUS 16662 HAS SOUPS 16662 WITH SCORE 16705.928
AT ITER 2542 NEW BEST:: SOT 63993 SOS 43764 HAS SOPS 43764 HAS SOUS 16608 HAS SOUPS 16608 WITH SCORE 16651.764
AT ITER 2554 NEW BEST:: SOT 63993 SOS 43674 HAS SOPS 43674 HAS SOUS 16589 HAS SOUPS 16589 WITH SCORE 16632.674
AT ITER 2569 NEW BEST:: SOT 64028 SOS 43709 HAS SOPS 43709 HAS SOUS 16577 HAS SOUPS 16577 WITH SCORE 16620.709
AT ITER 2580 NEW BEST:: SOT 64028 SOS 43709 HAS SOPS 43709 HAS SOUS 16570 HAS SOUPS 16570 WITH SCORE 16613.709
AT ITER 2601 NEW BEST:: SOT 63976 SOS 43657 HAS SOPS 43657 HAS SOUS 16534 HAS SOUPS 16534 WITH SCORE 16577.657
AT ITER 2625 NEW BEST:: SOT 63976 SOS 43721 HAS SOPS 43721 HAS SOUS 16522 HAS SOUPS 16522 WITH SCORE 16565.721
AT ITER 2645 NEW BEST:: SOT 63976 SOS 43721 HAS SOPS 43721 HAS SOUS 16456 HAS SOUPS 16456 WITH SCORE 16499.721
AT ITER 2708 NEW BEST:: SOT 63970 SOS 43715 HAS SOPS 43715 HAS SOUS 16424 HAS SOUPS 16424 WITH SCORE 16467.715
AT ITER 2711 NEW BEST:: SOT 63930 SOS 43675 HAS SOPS 43675 HAS SOUS 16404 HAS SOUPS 16404 WITH SCORE 16447.675
AT ITER 2758 NEW BEST:: SOT 63930 SOS 43611 HAS SOPS 43611 HAS SOUS 16404 HAS SOUPS 16404 WITH SCORE 16447.611
AT ITER 2785 NEW BEST:: SOT 63925 SOS 43606 HAS SOPS 43606 HAS SOUS 16399 HAS SOUPS 16399 WITH SCORE 16442.606
AT ITER 2794 NEW BEST:: SOT 63925 SOS 43606 HAS SOPS 43606 HAS SOUS 16397 HAS SOUPS 16397 WITH SCORE 16440.606
AT ITER 2810 NEW BEST:: SOT 63925 SOS 43606 HAS SOPS 43606 HAS SOUS 16378 HAS SOUPS 16378 WITH SCORE 16421.606
AT ITER 2876 NEW BEST:: SOT 63952 SOS 43633 HAS SOPS 43633 HAS SOUS 16361 HAS SOUPS 16361 WITH SCORE 16404.633
AT ITER 2879 NEW BEST:: SOT 63978 SOS 43659 HAS SOPS 43659 HAS SOUS 16313 HAS SOUPS 16313 WITH SCORE 16356.659
AT ITER 2891 NEW BEST:: SOT 63978 SOS 43659 HAS SOPS 43659 HAS SOUS 16263 HAS SOUPS 16263 WITH SCORE 16306.659
AT ITER 2909 NEW BEST:: SOT 64027 SOS 43708 HAS SOPS 43708 HAS SOUS 16259 HAS SOUPS 16259 WITH SCORE 16302.708
AT ITER 2931 NEW BEST:: SOT 63970 SOS 43651 HAS SOPS 43651 HAS SOUS 16169 HAS SOUPS 16169 WITH SCORE 16212.651
AT ITER 3041 NEW BEST:: SOT 63960 SOS 43641 HAS SOPS 43641 HAS SOUS 16128 HAS SOUPS 16128 WITH SCORE 16171.641
AT ITER 3057 NEW BEST:: SOT 63958 SOS 43641 HAS SOPS 43641 HAS SOUS 16125 HAS SOUPS 16125 WITH SCORE 16168.641
AT ITER 3064 NEW BEST:: SOT 63952 SOS 43638 HAS SOPS 43638 HAS SOUS 16122 HAS SOUPS 16122 WITH SCORE 16165.638
AT ITER 3099 NEW BEST:: SOT 63952 SOS 43990 HAS SOPS 43990 HAS SOUS 16119 HAS SOUPS 16119 WITH SCORE 16162.99
AT ITER 3176 NEW BEST:: SOT 63952 SOS 43067 HAS SOPS 43067 HAS SOUS 16114 HAS SOUPS 16114 WITH SCORE 16157.067
AT ITER 3235 NEW BEST:: SOT 63950 SOS 43069 HAS SOPS 43069 HAS SOUS 16110 HAS SOUPS 16110 WITH SCORE 16153.069
AT ITER 3257 NEW BEST:: SOT 63950 SOS 43069 HAS SOPS 43069 HAS SOUS 16100 HAS SOUPS 16100 WITH SCORE 16143.069
AT ITER 3272 NEW BEST:: SOT 63924 SOS 43043 HAS SOPS 43043 HAS SOUS 16046 HAS SOUPS 16046 WITH SCORE 16089.043
AT ITER 3364 NEW BEST:: SOT 63926 SOS 43041 HAS SOPS 43041 HAS SOUS 16041 HAS SOUPS 16041 WITH SCORE 16084.041
AT ITER 3389 NEW BEST:: SOT 63947 SOS 43062 HAS SOPS 43062 HAS SOUS 16032 HAS SOUPS 16032 WITH SCORE 16075.062
AT ITER 3439 NEW BEST:: SOT 63938 SOS 43053 HAS SOPS 43053 HAS SOUS 16007 HAS SOUPS 16007 WITH SCORE 16050.053
AT ITER 3453 NEW BEST:: SOT 63909 SOS 42960 HAS SOPS 42960 HAS SOUS 15974 HAS SOUPS 15974 WITH SCORE 16016.96
AT ITER 3523 NEW BEST:: SOT 63909 SOS 42518 HAS SOPS 42518 HAS SOUS 15974 HAS SOUPS 15974 WITH SCORE 16016.518
AT ITER 3543 NEW BEST:: SOT 63903 SOS 42512 HAS SOPS 42512 HAS SOUS 15963 HAS SOUPS 15963 WITH SCORE 16005.512
AT ITER 3571 NEW BEST:: SOT 63903 SOS 42384 HAS SOPS 42384 HAS SOUS 15963 HAS SOUPS 15963 WITH SCORE 16005.384
AT ITER 3600 NEW BEST:: SOT 63894 SOS 42375 HAS SOPS 42375 HAS SOUS 15940 HAS SOUPS 15940 WITH SCORE 15982.375
AT ITER 3651 NEW BEST:: SOT 63880 SOS 42361 HAS SOPS 42361 HAS SOUS 15926 HAS SOUPS 15926 WITH SCORE 15968.361
AT ITER 3753 NEW BEST:: SOT 63877 SOS 42358 HAS SOPS 42358 HAS SOUS 15905 HAS SOUPS 15905 WITH SCORE 15947.358
AT ITER 3854 NEW BEST:: SOT 63861 SOS 42278 HAS SOPS 42278 HAS SOUS 15885 HAS SOUPS 15885 WITH SCORE 15927.278
AT ITER 3862 NEW BEST:: SOT 63861 SOS 42278 HAS SOPS 42278 HAS SOUS 15837 HAS SOUPS 15837 WITH SCORE 15879.278
AT ITER 3907 NEW BEST:: SOT 63861 SOS 42174 HAS SOPS 42174 HAS SOUS 15836 HAS SOUPS 15836 WITH SCORE 15878.174
AT ITER 3936 NEW BEST:: SOT 63859 SOS 42205 HAS SOPS 42205 HAS SOUS 15827 HAS SOUPS 15827 WITH SCORE 15869.205
AT ITER 4029 NEW BEST:: SOT 63827 SOS 42173 HAS SOPS 42173 HAS SOUS 15789 HAS SOUPS 15789 WITH SCORE 15831.173
AT ITER 4054 NEW BEST:: SOT 63827 SOS 42205 HAS SOPS 42205 HAS SOUS 15788 HAS SOUPS 15788 WITH SCORE 15830.205
AT ITER 4181 NEW BEST:: SOT 63827 SOS 42197 HAS SOPS 42197 HAS SOUS 15787 HAS SOUPS 15787 WITH SCORE 15829.197
AT ITER 4190 NEW BEST:: SOT 63797 SOS 42167 HAS SOPS 42167 HAS SOUS 15769 HAS SOUPS 15769 WITH SCORE 15811.167
AT ITER 4196 NEW BEST:: SOT 63795 SOS 42166 HAS SOPS 42166 HAS SOUS 15767 HAS SOUPS 15767 WITH SCORE 15809.166
AT ITER 4220 NEW BEST:: SOT 63795 SOS 42142 HAS SOPS 42142 HAS SOUS 15767 HAS SOUPS 15767 WITH SCORE 15809.142
AT ITER 4244 NEW BEST:: SOT 63793 SOS 42140 HAS SOPS 42140 HAS SOUS 15764 HAS SOUPS 15764 WITH SCORE 15806.14
AT ITER 4284 NEW BEST:: SOT 63788 SOS 42135 HAS SOPS 42135 HAS SOUS 15752 HAS SOUPS 15752 WITH SCORE 15794.135
AT ITER 4350 NEW BEST:: SOT 63776 SOS 42123 HAS SOPS 42123 HAS SOUS 15740 HAS SOUPS 15740 WITH SCORE 15782.123
AT ITER 4374 NEW BEST:: SOT 63728 SOS 42075 HAS SOPS 42075 HAS SOUS 15676 HAS SOUPS 15676 WITH SCORE 15718.075
AT ITER 4420 NEW BEST:: SOT 63728 SOS 41707 HAS SOPS 41707 HAS SOUS 15676 HAS SOUPS 15676 WITH SCORE 15717.707
AT ITER 4423 NEW BEST:: SOT 63720 SOS 41699 HAS SOPS 41699 HAS SOUS 15674 HAS SOUPS 15674 WITH SCORE 15715.699
AT ITER 4500 NEW BEST:: SOT 63732 SOS 41858 HAS SOPS 41858 HAS SOUS 15641 HAS SOUPS 15641 WITH SCORE 15682.858
AT ITER 4502 NEW BEST:: SOT 63681 SOS 41807 HAS SOPS 41807 HAS SOUS 15628 HAS SOUPS 15628 WITH SCORE 15669.807
AT ITER 4528 NEW BEST:: SOT 63685 SOS 41830 HAS SOPS 41830 HAS SOUS 15627 HAS SOUPS 15627 WITH SCORE 15668.83
AT ITER 4587 NEW BEST:: SOT 63683 SOS 41828 HAS SOPS 41828 HAS SOUS 15624 HAS SOUPS 15624 WITH SCORE 15665.828
AT ITER 4674 NEW BEST:: SOT 63683 SOS 41828 HAS SOPS 41828 HAS SOUS 15588 HAS SOUPS 15588 WITH SCORE 15629.828
AT ITER 4705 NEW BEST:: SOT 63676 SOS 41821 HAS SOPS 41821 HAS SOUS 15588 HAS SOUPS 15588 WITH SCORE 15629.821
AT ITER 4718 NEW BEST:: SOT 63660 SOS 41805 HAS SOPS 41805 HAS SOUS 15572 HAS SOUPS 15572 WITH SCORE 15613.805
AT ITER 4776 NEW BEST:: SOT 63660 SOS 41814 HAS SOPS 41814 HAS SOUS 15559 HAS SOUPS 15559 WITH SCORE 15600.814
AT ITER 4820 NEW BEST:: SOT 63660 SOS 41814 HAS SOPS 41814 HAS SOUS 15557 HAS SOUPS 15557 WITH SCORE 15598.814
AT ITER 4904 NEW BEST:: SOT 63670 SOS 41824 HAS SOPS 41824 HAS SOUS 15555 HAS SOUPS 15555 WITH SCORE 15596.824
AT ITER 4955 NEW BEST:: SOT 63670 SOS 41824 HAS SOPS 41824 HAS SOUS 15537 HAS SOUPS 15537 WITH SCORE 15578.824
AT ITER 5105 NEW BEST:: SOT 63660 SOS 41814 HAS SOPS 41814 HAS SOUS 15519 HAS SOUPS 15519 WITH SCORE 15560.814
AT ITER 5174 NEW BEST:: SOT 63624 SOS 41778 HAS SOPS 41778 HAS SOUS 15499 HAS SOUPS 15499 WITH SCORE 15540.778
AT ITER 5186 NEW BEST:: SOT 63620 SOS 41772 HAS SOPS 41772 HAS SOUS 15494 HAS SOUPS 15494 WITH SCORE 15535.772
AT ITER 5279 NEW BEST:: SOT 63606 SOS 41758 HAS SOPS 41758 HAS SOUS 15456 HAS SOUPS 15456 WITH SCORE 15497.758
AT ITER 5408 NEW BEST:: SOT 63581 SOS 41733 HAS SOPS 41733 HAS SOUS 15452 HAS SOUPS 15452 WITH SCORE 15493.733
AT ITER 5569 NEW BEST:: SOT 63577 SOS 41718 HAS SOPS 41718 HAS SOUS 15450 HAS SOUPS 15450 WITH SCORE 15491.718
AT ITER 5620 NEW BEST:: SOT 63577 SOS 41718 HAS SOPS 41718 HAS SOUS 15449 HAS SOUPS 15449 WITH SCORE 15490.718
AT ITER 5625 NEW BEST:: SOT 63577 SOS 41719 HAS SOPS 41719 HAS SOUS 15448 HAS SOUPS 15448 WITH SCORE 15489.719
AT ITER 5673 NEW BEST:: SOT 63573 SOS 41713 HAS SOPS 41713 HAS SOUS 15443 HAS SOUPS 15443 WITH SCORE 15484.713
AT ITER 5712 NEW BEST:: SOT 63573 SOS 41713 HAS SOPS 41713 HAS SOUS 15411 HAS SOUPS 15411 WITH SCORE 15452.713
AT ITER 5719 NEW BEST:: SOT 63559 SOS 41699 HAS SOPS 41699 HAS SOUS 15391 HAS SOUPS 15391 WITH SCORE 15432.699
AT ITER 5792 NEW BEST:: SOT 63557 SOS 41697 HAS SOPS 41697 HAS SOUS 15388 HAS SOUPS 15388 WITH SCORE 15429.697
AT ITER 5807 NEW BEST:: SOT 63506 SOS 39886 HAS SOPS 39886 HAS SOUS 15386 HAS SOUPS 15386 WITH SCORE 15425.886
AT ITER 6114 NEW BEST:: SOT 63504 SOS 39890 HAS SOPS 39890 HAS SOUS 15385 HAS SOUPS 15385 WITH SCORE 15424.89
AT ITER 6170 NEW BEST:: SOT 63489 SOS 39875 HAS SOPS 39875 HAS SOUS 15376 HAS SOUPS 15376 WITH SCORE 15415.875
AT ITER 6205 NEW BEST:: SOT 63489 SOS 39875 HAS SOPS 39875 HAS SOUS 15370 HAS SOUPS 15370 WITH SCORE 15409.875
AT ITER 6291 NEW BEST:: SOT 63482 SOS 39868 HAS SOPS 39868 HAS SOUS 15355 HAS SOUPS 15355 WITH SCORE 15394.868
AT ITER 6325 NEW BEST:: SOT 63468 SOS 39854 HAS SOPS 39854 HAS SOUS 15341 HAS SOUPS 15341 WITH SCORE 15380.854
AT ITER 6379 NEW BEST:: SOT 63474 SOS 39860 HAS SOPS 39860 HAS SOUS 15333 HAS SOUPS 15333 WITH SCORE 15372.86
AT ITER 6492 NEW BEST:: SOT 63466 SOS 39852 HAS SOPS 39852 HAS SOUS 15325 HAS SOUPS 15325 WITH SCORE 15364.852
AT ITER 6552 NEW BEST:: SOT 63437 SOS 39823 HAS SOPS 39823 HAS SOUS 15304 HAS SOUPS 15304 WITH SCORE 15343.823
AT ITER 6603 NEW BEST:: SOT 63448 SOS 39834 HAS SOPS 39834 HAS SOUS 15293 HAS SOUPS 15293 WITH SCORE 15332.834
AT ITER 6829 NEW BEST:: SOT 63448 SOS 37519 HAS SOPS 37519 HAS SOUS 15275 HAS SOUPS 15275 WITH SCORE 15312.519
AT ITER 6892 NEW BEST:: SOT 63436 SOS 37522 HAS SOPS 37522 HAS SOUS 15263 HAS SOUPS 15263 WITH SCORE 15300.522
AT ITER 6938 NEW BEST:: SOT 63444 SOS 37530 HAS SOPS 37530 HAS SOUS 15255 HAS SOUPS 15255 WITH SCORE 15292.53
AT ITER 6967 NEW BEST:: SOT 63448 SOS 37534 HAS SOPS 37534 HAS SOUS 15240 HAS SOUPS 15240 WITH SCORE 15277.534
AT ITER 7066 NEW BEST:: SOT 63444 SOS 37530 HAS SOPS 37530 HAS SOUS 15236 HAS SOUPS 15236 WITH SCORE 15273.53
AT ITER 7108 NEW BEST:: SOT 63444 SOS 37530 HAS SOPS 37530 HAS SOUS 15212 HAS SOUPS 15212 WITH SCORE 15249.53
AT ITER 7133 NEW BEST:: SOT 63449 SOS 37535 HAS SOPS 37535 HAS SOUS 15208 HAS SOUPS 15208 WITH SCORE 15245.535
AT ITER 7168 NEW BEST:: SOT 63449 SOS 37255 HAS SOPS 37255 HAS SOUS 15190 HAS SOUPS 15190 WITH SCORE 15227.255
AT ITER 7254 NEW BEST:: SOT 63441 SOS 37247 HAS SOPS 37247 HAS SOUS 15182 HAS SOUPS 15182 WITH SCORE 15219.247
AT ITER 7398 NEW BEST:: SOT 63433 SOS 37239 HAS SOPS 37239 HAS SOUS 15159 HAS SOUPS 15159 WITH SCORE 15196.239
AT ITER 7452 NEW BEST:: SOT 63431 SOS 37152 HAS SOPS 37152 HAS SOUS 15155 HAS SOUPS 15155 WITH SCORE 15192.152
AT ITER 7455 NEW BEST:: SOT 63423 SOS 37144 HAS SOPS 37144 HAS SOUS 15139 HAS SOUPS 15139 WITH SCORE 15176.144
AT ITER 7483 NEW BEST:: SOT 63475 SOS 37196 HAS SOPS 37196 HAS SOUS 15094 HAS SOUPS 15094 WITH SCORE 15131.196
AT ITER 7596 NEW BEST:: SOT 63445 SOS 37166 HAS SOPS 37166 HAS SOUS 15032 HAS SOUPS 15032 WITH SCORE 15069.166
AT ITER 7597 NEW BEST:: SOT 63445 SOS 37117 HAS SOPS 37117 HAS SOUS 15031 HAS SOUPS 15031 WITH SCORE 15068.117
AT ITER 7624 NEW BEST:: SOT 63445 SOS 37093 HAS SOPS 37093 HAS SOUS 15031 HAS SOUPS 15031 WITH SCORE 15068.093
AT ITER 7643 NEW BEST:: SOT 63435 SOS 37083 HAS SOPS 37083 HAS SOUS 15013 HAS SOUPS 15013 WITH SCORE 15050.083
AT ITER 7883 NEW BEST:: SOT 63427 SOS 37075 HAS SOPS 37075 HAS SOUS 14999 HAS SOUPS 14999 WITH SCORE 15036.075
AT ITER 7966 NEW BEST:: SOT 63423 SOS 37071 HAS SOPS 37071 HAS SOUS 14987 HAS SOUPS 14987 WITH SCORE 15024.071
AT ITER 8070 NEW BEST:: SOT 63428 SOS 37071 HAS SOPS 37071 HAS SOUS 14985 HAS SOUPS 14985 WITH SCORE 15022.071
AT ITER 8132 NEW BEST:: SOT 63428 SOS 37071 HAS SOPS 37071 HAS SOUS 14978 HAS SOUPS 14978 WITH SCORE 15015.071
AT ITER 8143 NEW BEST:: SOT 63424 SOS 37067 HAS SOPS 37067 HAS SOUS 14973 HAS SOUPS 14973 WITH SCORE 15010.067
AT ITER 8463 NEW BEST:: SOT 63420 SOS 37063 HAS SOPS 37063 HAS SOUS 14961 HAS SOUPS 14961 WITH SCORE 14998.063
AT ITER 8500 NEW BEST:: SOT 63412 SOS 37055 HAS SOPS 37055 HAS SOUS 14945 HAS SOUPS 14945 WITH SCORE 14982.055
AT ITER 8533 NEW BEST:: SOT 63396 SOS 37033 HAS SOPS 37033 HAS SOUS 14926 HAS SOUPS 14926 WITH SCORE 14963.033
AT ITER 8608 NEW BEST:: SOT 63318 SOS 36243 HAS SOPS 36243 HAS SOUS 14923 HAS SOUPS 14923 WITH SCORE 14959.243
AT ITER 8609 NEW BEST:: SOT 63318 SOS 36200 HAS SOPS 36200 HAS SOUS 14916 HAS SOUPS 14916 WITH SCORE 14952.2
AT ITER 8642 NEW BEST:: SOT 63196 SOS 36045 HAS SOPS 36045 HAS SOUS 14846 HAS SOUPS 14846 WITH SCORE 14882.045
AT ITER 9076 NEW BEST:: SOT 63204 SOS 36053 HAS SOPS 36053 HAS SOUS 14832 HAS SOUPS 14832 WITH SCORE 14868.053
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 160848 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16282408 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-05"
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-05, 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-167863534600480"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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