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.r099-tall-167814472200280.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 DBSingleClientW-PT-d1m09, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472200280
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 828K
-rw-r--r-- 1 mcc users 6.0K Feb 26 15:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 61K Feb 26 15:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 26 15:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 26 15:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.9K Feb 26 15:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 26 15:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 15:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 100K Feb 26 15:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 432K Mar 5 18:22 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 1678236986322

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=DBSingleClientW-PT-d1m09
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DBSingleClientW (PT), instance d1m09
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: 1440 places, 672 transitions, 2688 arcs.
AT ITER 0 NEW BEST:: SOT 229313 SOS 216889 HAS SOPS 216874 HAS SOUS 156585 HAS SOUPS 156570 WITH SCORE 156786.889
AT ITER 19 NEW BEST:: SOT 229441 SOS 217017 HAS SOPS 217002 HAS SOUS 156569 HAS SOUPS 156554 WITH SCORE 156771.017
AT ITER 69 NEW BEST:: SOT 229441 SOS 216695 HAS SOPS 216680 HAS SOUS 156408 HAS SOUPS 156393 WITH SCORE 156609.695
AT ITER 86 NEW BEST:: SOT 229717 SOS 216971 HAS SOPS 216956 HAS SOUS 156286 HAS SOUPS 156271 WITH SCORE 156487.971
AT ITER 125 NEW BEST:: SOT 229717 SOS 216971 HAS SOPS 216956 HAS SOUS 156285 HAS SOUPS 156270 WITH SCORE 156486.971
AT ITER 134 NEW BEST:: SOT 229717 SOS 216971 HAS SOPS 216956 HAS SOUS 156154 HAS SOUPS 156139 WITH SCORE 156355.971
AT ITER 157 NEW BEST:: SOT 229927 SOS 217181 HAS SOPS 217166 HAS SOUS 155792 HAS SOUPS 155777 WITH SCORE 155994.181
AT ITER 209 NEW BEST:: SOT 230015 SOS 217269 HAS SOPS 217254 HAS SOUS 155763 HAS SOUPS 155748 WITH SCORE 155965.269
AT ITER 261 NEW BEST:: SOT 230015 SOS 217046 HAS SOPS 217031 HAS SOUS 154627 HAS SOUPS 154612 WITH SCORE 154829.046
AT ITER 266 NEW BEST:: SOT 232205 SOS 219236 HAS SOPS 219221 HAS SOUS 154427 HAS SOUPS 154412 WITH SCORE 154631.236
AT ITER 299 NEW BEST:: SOT 232205 SOS 219236 HAS SOPS 219221 HAS SOUS 154349 HAS SOUPS 154334 WITH SCORE 154553.236
AT ITER 302 NEW BEST:: SOT 232401 SOS 219432 HAS SOPS 219417 HAS SOUS 153668 HAS SOUPS 153653 WITH SCORE 153872.432
AT ITER 330 NEW BEST:: SOT 232431 SOS 219462 HAS SOPS 219447 HAS SOUS 153506 HAS SOUPS 153491 WITH SCORE 153710.462
AT ITER 331 NEW BEST:: SOT 232431 SOS 219462 HAS SOPS 219447 HAS SOUS 153505 HAS SOUPS 153490 WITH SCORE 153709.462
AT ITER 340 NEW BEST:: SOT 232617 SOS 219648 HAS SOPS 219633 HAS SOUS 153399 HAS SOUPS 153384 WITH SCORE 153603.648
AT ITER 414 NEW BEST:: SOT 232617 SOS 219648 HAS SOPS 219633 HAS SOUS 153384 HAS SOUPS 153369 WITH SCORE 153588.648
AT ITER 418 NEW BEST:: SOT 232617 SOS 219648 HAS SOPS 219633 HAS SOUS 151632 HAS SOUPS 151617 WITH SCORE 151836.648
AT ITER 457 NEW BEST:: SOT 232617 SOS 219132 HAS SOPS 219117 HAS SOUS 150729 HAS SOUPS 150714 WITH SCORE 150933.132
AT ITER 505 NEW BEST:: SOT 233103 SOS 219618 HAS SOPS 219603 HAS SOUS 150571 HAS SOUPS 150556 WITH SCORE 150775.618
AT ITER 517 NEW BEST:: SOT 233103 SOS 219466 HAS SOPS 219451 HAS SOUS 150039 HAS SOUPS 150024 WITH SCORE 150243.466
AT ITER 523 NEW BEST:: SOT 233471 SOS 219834 HAS SOPS 219819 HAS SOUS 149566 HAS SOUPS 149551 WITH SCORE 149770.834
AT ITER 525 NEW BEST:: SOT 233903 SOS 220266 HAS SOPS 220251 HAS SOUS 149350 HAS SOUPS 149335 WITH SCORE 149555.266
AT ITER 574 NEW BEST:: SOT 233903 SOS 220272 HAS SOPS 220257 HAS SOUS 148383 HAS SOUPS 148368 WITH SCORE 148588.272
AT ITER 611 NEW BEST:: SOT 233903 SOS 220272 HAS SOPS 220257 HAS SOUS 148095 HAS SOUPS 148080 WITH SCORE 148300.272
AT ITER 615 NEW BEST:: SOT 233903 SOS 220272 HAS SOPS 220257 HAS SOUS 148039 HAS SOUPS 148024 WITH SCORE 148244.272
AT ITER 616 NEW BEST:: SOT 233903 SOS 220232 HAS SOPS 220217 HAS SOUS 147839 HAS SOUPS 147824 WITH SCORE 148044.232
AT ITER 618 NEW BEST:: SOT 233903 SOS 220232 HAS SOPS 220217 HAS SOUS 147834 HAS SOUPS 147819 WITH SCORE 148039.232
AT ITER 689 NEW BEST:: SOT 233903 SOS 219998 HAS SOPS 219983 HAS SOUS 147834 HAS SOUPS 147819 WITH SCORE 148038.998
AT ITER 694 NEW BEST:: SOT 233903 SOS 219872 HAS SOPS 219857 HAS SOUS 147834 HAS SOUPS 147819 WITH SCORE 148038.872
AT ITER 701 NEW BEST:: SOT 233903 SOS 219872 HAS SOPS 219857 HAS SOUS 147792 HAS SOUPS 147777 WITH SCORE 147996.872
AT ITER 709 NEW BEST:: SOT 233975 SOS 219944 HAS SOPS 219929 HAS SOUS 147748 HAS SOUPS 147733 WITH SCORE 147952.944
AT ITER 743 NEW BEST:: SOT 233975 SOS 218840 HAS SOPS 218825 HAS SOUS 147692 HAS SOUPS 147677 WITH SCORE 147895.84
AT ITER 750 NEW BEST:: SOT 237555 SOS 222199 HAS SOPS 222184 HAS SOUS 146937 HAS SOUPS 146922 WITH SCORE 147144.199
AT ITER 757 NEW BEST:: SOT 237555 SOS 222199 HAS SOPS 222184 HAS SOUS 146925 HAS SOUPS 146910 WITH SCORE 147132.199
AT ITER 773 NEW BEST:: SOT 237555 SOS 222199 HAS SOPS 222184 HAS SOUS 146924 HAS SOUPS 146909 WITH SCORE 147131.199
AT ITER 882 NEW BEST:: SOT 237578 SOS 222222 HAS SOPS 222207 HAS SOUS 146903 HAS SOUPS 146888 WITH SCORE 147110.222
AT ITER 892 NEW BEST:: SOT 238042 SOS 222686 HAS SOPS 222671 HAS SOUS 146870 HAS SOUPS 146855 WITH SCORE 147077.686
AT ITER 906 NEW BEST:: SOT 240082 SOS 224040 HAS SOPS 224025 HAS SOUS 145833 HAS SOUPS 145818 WITH SCORE 146042.04
AT ITER 915 NEW BEST:: SOT 240082 SOS 224057 HAS SOPS 224042 HAS SOUS 145760 HAS SOUPS 145745 WITH SCORE 145969.057
AT ITER 961 NEW BEST:: SOT 240169 SOS 224144 HAS SOPS 224129 HAS SOUS 145277 HAS SOUPS 145262 WITH SCORE 145486.144
AT ITER 982 NEW BEST:: SOT 243809 SOS 227581 HAS SOPS 227566 HAS SOUS 143455 HAS SOUPS 143440 WITH SCORE 143667.581
AT ITER 987 NEW BEST:: SOT 243809 SOS 227581 HAS SOPS 227566 HAS SOUS 143449 HAS SOUPS 143434 WITH SCORE 143661.581
AT ITER 1010 NEW BEST:: SOT 244115 SOS 227688 HAS SOPS 227520 HAS SOUS 143553 HAS SOUPS 143386 WITH SCORE 143613.688
AT ITER 1027 NEW BEST:: SOT 243851 SOS 227424 HAS SOPS 227256 HAS SOUS 143289 HAS SOUPS 143122 WITH SCORE 143349.424
AT ITER 1055 NEW BEST:: SOT 246681 SOS 229657 HAS SOPS 229489 HAS SOUS 141100 HAS SOUPS 140933 WITH SCORE 141162.657
AT ITER 1064 NEW BEST:: SOT 246681 SOS 229657 HAS SOPS 229489 HAS SOUS 141004 HAS SOUPS 140837 WITH SCORE 141066.657
AT ITER 1072 NEW BEST:: SOT 246996 SOS 229972 HAS SOPS 229804 HAS SOUS 140714 HAS SOUPS 140547 WITH SCORE 140776.972
AT ITER 1078 NEW BEST:: SOT 247815 SOS 230791 HAS SOPS 230623 HAS SOUS 140652 HAS SOUPS 140485 WITH SCORE 140715.791
AT ITER 1099 NEW BEST:: SOT 249127 SOS 232103 HAS SOPS 231935 HAS SOUS 140631 HAS SOUPS 140464 WITH SCORE 140696.103
AT ITER 1131 NEW BEST:: SOT 250378 SOS 233354 HAS SOPS 233186 HAS SOUS 140554 HAS SOUPS 140387 WITH SCORE 140620.354
AT ITER 1137 NEW BEST:: SOT 250457 SOS 233433 HAS SOPS 233265 HAS SOUS 140469 HAS SOUPS 140302 WITH SCORE 140535.433
AT ITER 1150 NEW BEST:: SOT 250457 SOS 233427 HAS SOPS 233259 HAS SOUS 140469 HAS SOUPS 140302 WITH SCORE 140535.427
AT ITER 1160 NEW BEST:: SOT 250457 SOS 233427 HAS SOPS 233259 HAS SOUS 139452 HAS SOUPS 139285 WITH SCORE 139518.427
AT ITER 1165 NEW BEST:: SOT 247747 SOS 230717 HAS SOPS 230549 HAS SOUS 138910 HAS SOUPS 138743 WITH SCORE 138973.717
AT ITER 1170 NEW BEST:: SOT 247881 SOS 230539 HAS SOPS 230371 HAS SOUS 138899 HAS SOUPS 138732 WITH SCORE 138962.539
AT ITER 1192 NEW BEST:: SOT 248412 SOS 231070 HAS SOPS 230902 HAS SOUS 138566 HAS SOUPS 138399 WITH SCORE 138630.07
AT ITER 1205 NEW BEST:: SOT 248412 SOS 231070 HAS SOPS 230902 HAS SOUS 137859 HAS SOUPS 137692 WITH SCORE 137923.07
AT ITER 1254 NEW BEST:: SOT 248412 SOS 228822 HAS SOPS 228654 HAS SOUS 137859 HAS SOUPS 137692 WITH SCORE 137920.822
AT ITER 1335 NEW BEST:: SOT 248754 SOS 229164 HAS SOPS 228996 HAS SOUS 137563 HAS SOUPS 137396 WITH SCORE 137625.164
AT ITER 1408 NEW BEST:: SOT 248754 SOS 229164 HAS SOPS 228996 HAS SOUS 137502 HAS SOUPS 137335 WITH SCORE 137564.164
AT ITER 1415 NEW BEST:: SOT 248754 SOS 229164 HAS SOPS 228996 HAS SOUS 137451 HAS SOUPS 137284 WITH SCORE 137513.164
AT ITER 1416 NEW BEST:: SOT 252786 SOS 231978 HAS SOPS 231810 HAS SOUS 135921 HAS SOUPS 135754 WITH SCORE 135985.978
AT ITER 1430 NEW BEST:: SOT 252786 SOS 232027 HAS SOPS 231859 HAS SOUS 135577 HAS SOUPS 135410 WITH SCORE 135642.027
AT ITER 1434 NEW BEST:: SOT 252742 SOS 231961 HAS SOPS 231749 HAS SOUS 135467 HAS SOUPS 135300 WITH SCORE 135531.961
AT ITER 1439 NEW BEST:: SOT 253951 SOS 233170 HAS SOPS 232958 HAS SOUS 135464 HAS SOUPS 135297 WITH SCORE 135530.17
AT ITER 1461 NEW BEST:: SOT 253941 SOS 233160 HAS SOPS 232938 HAS SOUS 135444 HAS SOUPS 135277 WITH SCORE 135510.16
AT ITER 1483 NEW BEST:: SOT 254149 SOS 233368 HAS SOPS 233146 HAS SOUS 135312 HAS SOUPS 135145 WITH SCORE 135378.368
AT ITER 1527 NEW BEST:: SOT 254965 SOS 234184 HAS SOPS 233962 HAS SOUS 135035 HAS SOUPS 134868 WITH SCORE 135102.184
AT ITER 1534 NEW BEST:: SOT 251605 SOS 230824 HAS SOPS 230602 HAS SOUS 134403 HAS SOUPS 134236 WITH SCORE 134466.824
AT ITER 1545 NEW BEST:: SOT 251605 SOS 230824 HAS SOPS 230602 HAS SOUS 134245 HAS SOUPS 134078 WITH SCORE 134308.824
AT ITER 1579 NEW BEST:: SOT 253981 SOS 233200 HAS SOPS 232978 HAS SOUS 132018 HAS SOUPS 131851 WITH SCORE 132084.2
AT ITER 1582 NEW BEST:: SOT 253981 SOS 233200 HAS SOPS 232978 HAS SOUS 131903 HAS SOUPS 131736 WITH SCORE 131969.2
AT ITER 1600 NEW BEST:: SOT 254224 SOS 233443 HAS SOPS 233221 HAS SOUS 131839 HAS SOUPS 131672 WITH SCORE 131905.443
AT ITER 1610 NEW BEST:: SOT 253840 SOS 233059 HAS SOPS 232837 HAS SOUS 131805 HAS SOUPS 131638 WITH SCORE 131871.059
AT ITER 1638 NEW BEST:: SOT 253840 SOS 232941 HAS SOPS 232719 HAS SOUS 131692 HAS SOUPS 131525 WITH SCORE 131757.941
AT ITER 1693 NEW BEST:: SOT 258826 SOS 237682 HAS SOPS 237460 HAS SOUS 131449 HAS SOUPS 131282 WITH SCORE 131519.682
AT ITER 1739 NEW BEST:: SOT 258792 SOS 237648 HAS SOPS 237426 HAS SOUS 131449 HAS SOUPS 131282 WITH SCORE 131519.648
AT ITER 1773 NEW BEST:: SOT 262282 SOS 241138 HAS SOPS 240916 HAS SOUS 130522 HAS SOUPS 130355 WITH SCORE 130596.138
AT ITER 1783 NEW BEST:: SOT 262714 SOS 241570 HAS SOPS 241348 HAS SOUS 130152 HAS SOUPS 129985 WITH SCORE 130226.57
AT ITER 1804 NEW BEST:: SOT 262813 SOS 241669 HAS SOPS 241447 HAS SOUS 129852 HAS SOUPS 129685 WITH SCORE 129926.669
AT ITER 1808 NEW BEST:: SOT 262813 SOS 241669 HAS SOPS 241447 HAS SOUS 129838 HAS SOUPS 129671 WITH SCORE 129912.669
AT ITER 1837 NEW BEST:: SOT 262941 SOS 241797 HAS SOPS 241575 HAS SOUS 129761 HAS SOUPS 129594 WITH SCORE 129835.797
AT ITER 1861 NEW BEST:: SOT 262941 SOS 238862 HAS SOPS 238640 HAS SOUS 129738 HAS SOUPS 129571 WITH SCORE 129809.862
AT ITER 1873 NEW BEST:: SOT 262964 SOS 238885 HAS SOPS 238663 HAS SOUS 129735 HAS SOUPS 129568 WITH SCORE 129806.885
AT ITER 1895 NEW BEST:: SOT 262680 SOS 238601 HAS SOPS 238379 HAS SOUS 129451 HAS SOUPS 129284 WITH SCORE 129522.601
AT ITER 1898 NEW BEST:: SOT 259986 SOS 235907 HAS SOPS 235685 HAS SOUS 128697 HAS SOUPS 128530 WITH SCORE 128765.907
AT ITER 1910 NEW BEST:: SOT 259986 SOS 235907 HAS SOPS 235685 HAS SOUS 128639 HAS SOUPS 128472 WITH SCORE 128707.907
AT ITER 1918 NEW BEST:: SOT 261062 SOS 236983 HAS SOPS 236761 HAS SOUS 128619 HAS SOUPS 128452 WITH SCORE 128688.983
AT ITER 1931 NEW BEST:: SOT 261062 SOS 229746 HAS SOPS 229524 HAS SOUS 128450 HAS SOUPS 128283 WITH SCORE 128512.746
AT ITER 1965 NEW BEST:: SOT 261650 SOS 230334 HAS SOPS 230112 HAS SOUS 128009 HAS SOUPS 127842 WITH SCORE 128072.334
AT ITER 2009 NEW BEST:: SOT 261754 SOS 230524 HAS SOPS 230302 HAS SOUS 127996 HAS SOUPS 127829 WITH SCORE 128059.524
AT ITER 2012 NEW BEST:: SOT 261754 SOS 230454 HAS SOPS 230232 HAS SOUS 127751 HAS SOUPS 127584 WITH SCORE 127814.454
AT ITER 2025 NEW BEST:: SOT 261570 SOS 230235 HAS SOPS 230013 HAS SOUS 127702 HAS SOUPS 127535 WITH SCORE 127765.235
AT ITER 2026 NEW BEST:: SOT 261540 SOS 230205 HAS SOPS 229983 HAS SOUS 127672 HAS SOUPS 127505 WITH SCORE 127735.205
AT ITER 2027 NEW BEST:: SOT 264213 SOS 232878 HAS SOPS 232656 HAS SOUS 127537 HAS SOUPS 127370 WITH SCORE 127602.878
AT ITER 2038 NEW BEST:: SOT 268013 SOS 236538 HAS SOPS 236316 HAS SOUS 125741 HAS SOUPS 125574 WITH SCORE 125810.538
AT ITER 2045 NEW BEST:: SOT 268313 SOS 231925 HAS SOPS 231457 HAS SOUS 125149 HAS SOUPS 124982 WITH SCORE 125213.925
AT ITER 2074 NEW BEST:: SOT 268313 SOS 231854 HAS SOPS 231386 HAS SOUS 125007 HAS SOUPS 124840 WITH SCORE 125071.854
AT ITER 2087 NEW BEST:: SOT 268581 SOS 231904 HAS SOPS 231302 HAS SOUS 124684 HAS SOUPS 124517 WITH SCORE 124748.904
AT ITER 2092 NEW BEST:: SOT 268581 SOS 230570 HAS SOPS 229968 HAS SOUS 124420 HAS SOUPS 124253 WITH SCORE 124483.57
AT ITER 2094 NEW BEST:: SOT 268663 SOS 225968 HAS SOPS 225204 HAS SOUS 124325 HAS SOUPS 124158 WITH SCORE 124383.968
AT ITER 2136 NEW BEST:: SOT 268663 SOS 226012 HAS SOPS 225248 HAS SOUS 124321 HAS SOUPS 124154 WITH SCORE 124380.012
AT ITER 2139 NEW BEST:: SOT 268663 SOS 226012 HAS SOPS 225248 HAS SOUS 124227 HAS SOUPS 124060 WITH SCORE 124286.012
AT ITER 2158 NEW BEST:: SOT 269635 SOS 226984 HAS SOPS 226220 HAS SOUS 124115 HAS SOUPS 123948 WITH SCORE 124174.984
AT ITER 2168 NEW BEST:: SOT 269635 SOS 226949 HAS SOPS 226185 HAS SOUS 124080 HAS SOUPS 123913 WITH SCORE 124139.949
AT ITER 2183 NEW BEST:: SOT 269640 SOS 227018 HAS SOPS 226255 HAS SOUS 124018 HAS SOUPS 123851 WITH SCORE 124078.018
AT ITER 2205 NEW BEST:: SOT 269640 SOS 226809 HAS SOPS 226046 HAS SOUS 122769 HAS SOUPS 122602 WITH SCORE 122828.809
AT ITER 2224 NEW BEST:: SOT 270031 SOS 226449 HAS SOPS 225537 HAS SOUS 122760 HAS SOUPS 122593 WITH SCORE 122819.449
AT ITER 2248 NEW BEST:: SOT 270007 SOS 226425 HAS SOPS 225513 HAS SOUS 122748 HAS SOUPS 122581 WITH SCORE 122807.425
AT ITER 2308 NEW BEST:: SOT 270905 SOS 227258 HAS SOPS 226328 HAS SOUS 122682 HAS SOUPS 122515 WITH SCORE 122742.258
AT ITER 2336 NEW BEST:: SOT 270725 SOS 227847 HAS SOPS 227097 HAS SOUS 122585 HAS SOUPS 122418 WITH SCORE 122645.847
AT ITER 2344 NEW BEST:: SOT 270797 SOS 227919 HAS SOPS 227169 HAS SOUS 122483 HAS SOUPS 122316 WITH SCORE 122543.919
AT ITER 2351 NEW BEST:: SOT 268482 SOS 225604 HAS SOPS 224859 HAS SOUS 122029 HAS SOUPS 121862 WITH SCORE 122087.604
AT ITER 2416 NEW BEST:: SOT 268578 SOS 225397 HAS SOPS 224652 HAS SOUS 121591 HAS SOUPS 121424 WITH SCORE 121649.397
AT ITER 2513 NEW BEST:: SOT 268578 SOS 225266 HAS SOPS 224521 HAS SOUS 121460 HAS SOUPS 121293 WITH SCORE 121518.266
AT ITER 2580 NEW BEST:: SOT 272102 SOS 227939 HAS SOPS 227168 HAS SOUS 119808 HAS SOUPS 119641 WITH SCORE 119868.939
AT ITER 2676 NEW BEST:: SOT 272402 SOS 223405 HAS SOPS 222102 HAS SOUS 119322 HAS SOUPS 119155 WITH SCORE 119378.405
AT ITER 2687 NEW BEST:: SOT 272402 SOS 222740 HAS SOPS 221437 HAS SOUS 119097 HAS SOUPS 118930 WITH SCORE 119152.74
AT ITER 2706 NEW BEST:: SOT 272402 SOS 222720 HAS SOPS 221417 HAS SOUS 119077 HAS SOUPS 118910 WITH SCORE 119132.72
AT ITER 2708 NEW BEST:: SOT 272402 SOS 222617 HAS SOPS 221314 HAS SOUS 119022 HAS SOUPS 118855 WITH SCORE 119077.617
AT ITER 2724 NEW BEST:: SOT 273545 SOS 223620 HAS SOPS 222317 HAS SOUS 118993 HAS SOUPS 118826 WITH SCORE 119049.62
AT ITER 2729 NEW BEST:: SOT 272447 SOS 222522 HAS SOPS 221219 HAS SOUS 118627 HAS SOUPS 118460 WITH SCORE 118682.522
AT ITER 2743 NEW BEST:: SOT 272447 SOS 222409 HAS SOPS 221106 HAS SOUS 118610 HAS SOUPS 118443 WITH SCORE 118665.409
AT ITER 2865 NEW BEST:: SOT 272447 SOS 222272 HAS SOPS 220969 HAS SOUS 118203 HAS SOUPS 118036 WITH SCORE 118258.272
AT ITER 2890 NEW BEST:: SOT 272447 SOS 222273 HAS SOPS 220970 HAS SOUS 118109 HAS SOUPS 117942 WITH SCORE 118164.273
AT ITER 2903 NEW BEST:: SOT 272447 SOS 222273 HAS SOPS 220970 HAS SOUS 117993 HAS SOUPS 117826 WITH SCORE 118048.273
AT ITER 2965 NEW BEST:: SOT 272447 SOS 222273 HAS SOPS 220970 HAS SOUS 117974 HAS SOUPS 117807 WITH SCORE 118029.273
AT ITER 2980 NEW BEST:: SOT 272326 SOS 222413 HAS SOPS 221259 HAS SOUS 117881 HAS SOUPS 117714 WITH SCORE 117936.413
AT ITER 2993 NEW BEST:: SOT 272353 SOS 222422 HAS SOPS 221268 HAS SOUS 117667 HAS SOUPS 117500 WITH SCORE 117722.422
AT ITER 2997 NEW BEST:: SOT 272353 SOS 222419 HAS SOPS 221265 HAS SOUS 117523 HAS SOUPS 117356 WITH SCORE 117578.419
AT ITER 3008 NEW BEST:: SOT 272353 SOS 222608 HAS SOPS 221454 HAS SOUS 117275 HAS SOUPS 117108 WITH SCORE 117330.608
AT ITER 3011 NEW BEST:: SOT 272638 SOS 222893 HAS SOPS 221739 HAS SOUS 117242 HAS SOUPS 117075 WITH SCORE 117297.893
AT ITER 3019 NEW BEST:: SOT 272638 SOS 223016 HAS SOPS 221862 HAS SOUS 117194 HAS SOUPS 117027 WITH SCORE 117250.016
AT ITER 3033 NEW BEST:: SOT 272638 SOS 222900 HAS SOPS 221746 HAS SOUS 117129 HAS SOUPS 116962 WITH SCORE 117184.9
AT ITER 3076 NEW BEST:: SOT 272748 SOS 222943 HAS SOPS 221679 HAS SOUS 117062 HAS SOUPS 116895 WITH SCORE 117117.943
AT ITER 3077 NEW BEST:: SOT 272807 SOS 222908 HAS SOPS 221644 HAS SOUS 116881 HAS SOUPS 116714 WITH SCORE 116936.908
AT ITER 3139 NEW BEST:: SOT 272807 SOS 219939 HAS SOPS 218675 HAS SOUS 116728 HAS SOUPS 116561 WITH SCORE 116780.939
AT ITER 3204 NEW BEST:: SOT 270811 SOS 217943 HAS SOPS 216690 HAS SOUS 116516 HAS SOUPS 116349 WITH SCORE 116566.943
AT ITER 3223 NEW BEST:: SOT 270858 SOS 217547 HAS SOPS 216293 HAS SOUS 116326 HAS SOUPS 116159 WITH SCORE 116376.547
AT ITER 3304 NEW BEST:: SOT 270872 SOS 217462 HAS SOPS 216208 HAS SOUS 115993 HAS SOUPS 115826 WITH SCORE 116043.462
AT ITER 3352 NEW BEST:: SOT 270872 SOS 217351 HAS SOPS 216097 HAS SOUS 115964 HAS SOUPS 115797 WITH SCORE 116014.351
AT ITER 3363 NEW BEST:: SOT 273181 SOS 218832 HAS SOPS 217500 HAS SOUS 114106 HAS SOUPS 113939 WITH SCORE 114157.832
AT ITER 3375 NEW BEST:: SOT 270202 SOS 215853 HAS SOPS 214522 HAS SOUS 113511 HAS SOUPS 113344 WITH SCORE 113559.853
AT ITER 3393 NEW BEST:: SOT 270182 SOS 216054 HAS SOPS 214723 HAS SOUS 113490 HAS SOUPS 113323 WITH SCORE 113539.054
AT ITER 3424 NEW BEST:: SOT 270182 SOS 216035 HAS SOPS 214704 HAS SOUS 113472 HAS SOUPS 113305 WITH SCORE 113521.035
AT ITER 3445 NEW BEST:: SOT 270182 SOS 215890 HAS SOPS 214559 HAS SOUS 113387 HAS SOUPS 113220 WITH SCORE 113435.89
AT ITER 3459 NEW BEST:: SOT 269866 SOS 215574 HAS SOPS 214243 HAS SOUS 113387 HAS SOUPS 113220 WITH SCORE 113435.574
AT ITER 3464 NEW BEST:: SOT 269976 SOS 215684 HAS SOPS 214353 HAS SOUS 113376 HAS SOUPS 113209 WITH SCORE 113424.684
AT ITER 3500 NEW BEST:: SOT 269976 SOS 215662 HAS SOPS 214331 HAS SOUS 113244 HAS SOUPS 113077 WITH SCORE 113292.662
AT ITER 3547 NEW BEST:: SOT 269976 SOS 215662 HAS SOPS 214331 HAS SOUS 113032 HAS SOUPS 112865 WITH SCORE 113080.662
AT ITER 3588 NEW BEST:: SOT 269976 SOS 215557 HAS SOPS 214226 HAS SOUS 112952 HAS SOUPS 112785 WITH SCORE 113000.557
AT ITER 3605 NEW BEST:: SOT 270702 SOS 216283 HAS SOPS 214952 HAS SOUS 112928 HAS SOUPS 112761 WITH SCORE 112977.283
AT ITER 3606 NEW BEST:: SOT 270772 SOS 215944 HAS SOPS 214571 HAS SOUS 112819 HAS SOUPS 112652 WITH SCORE 112867.944
AT ITER 3690 NEW BEST:: SOT 270260 SOS 215432 HAS SOPS 214059 HAS SOUS 112819 HAS SOUPS 112652 WITH SCORE 112867.432
AT ITER 3713 NEW BEST:: SOT 270260 SOS 215208 HAS SOPS 213835 HAS SOUS 112791 HAS SOUPS 112624 WITH SCORE 112839.208
AT ITER 3742 NEW BEST:: SOT 270260 SOS 215208 HAS SOPS 213835 HAS SOUS 112779 HAS SOUPS 112612 WITH SCORE 112827.208
AT ITER 3760 NEW BEST:: SOT 270340 SOS 215231 HAS SOPS 213858 HAS SOUS 112759 HAS SOUPS 112592 WITH SCORE 112807.231
AT ITER 3771 NEW BEST:: SOT 270340 SOS 215225 HAS SOPS 213852 HAS SOUS 112747 HAS SOUPS 112580 WITH SCORE 112795.225
AT ITER 3813 NEW BEST:: SOT 269755 SOS 214640 HAS SOPS 213267 HAS SOUS 112552 HAS SOUPS 112385 WITH SCORE 112599.64
AT ITER 3819 NEW BEST:: SOT 269755 SOS 214640 HAS SOPS 213267 HAS SOUS 112546 HAS SOUPS 112379 WITH SCORE 112593.64
AT ITER 3823 NEW BEST:: SOT 269755 SOS 214289 HAS SOPS 212916 HAS SOUS 112546 HAS SOUPS 112379 WITH SCORE 112593.289
AT ITER 3924 NEW BEST:: SOT 269560 SOS 214094 HAS SOPS 212721 HAS SOUS 112481 HAS SOUPS 112314 WITH SCORE 112528.094
AT ITER 3932 NEW BEST:: SOT 269743 SOS 214277 HAS SOPS 212904 HAS SOUS 112478 HAS SOUPS 112311 WITH SCORE 112525.277
AT ITER 3959 NEW BEST:: SOT 269741 SOS 214275 HAS SOPS 212902 HAS SOUS 112478 HAS SOUPS 112311 WITH SCORE 112525.275
AT ITER 3962 NEW BEST:: SOT 269969 SOS 214410 HAS SOPS 213037 HAS SOUS 112308 HAS SOUPS 112141 WITH SCORE 112355.41
AT ITER 3975 NEW BEST:: SOT 270322 SOS 214648 HAS SOPS 213275 HAS SOUS 112265 HAS SOUPS 112098 WITH SCORE 112312.648
AT ITER 3979 NEW BEST:: SOT 267552 SOS 211878 HAS SOPS 210505 HAS SOUS 111535 HAS SOUPS 111368 WITH SCORE 111579.878
AT ITER 4009 NEW BEST:: SOT 267552 SOS 211878 HAS SOPS 210505 HAS SOUS 111429 HAS SOUPS 111262 WITH SCORE 111473.878
AT ITER 4012 NEW BEST:: SOT 267552 SOS 212007 HAS SOPS 210634 HAS SOUS 111403 HAS SOUPS 111236 WITH SCORE 111448.007
AT ITER 4062 NEW BEST:: SOT 267481 SOS 211936 HAS SOPS 210563 HAS SOUS 111403 HAS SOUPS 111236 WITH SCORE 111447.936
AT ITER 4151 NEW BEST:: SOT 269944 SOS 214023 HAS SOPS 212572 HAS SOUS 110481 HAS SOUPS 110314 WITH SCORE 110528.023
AT ITER 4164 NEW BEST:: SOT 269750 SOS 213829 HAS SOPS 212475 HAS SOUS 110360 HAS SOUPS 110217 WITH SCORE 110430.829
AT ITER 4184 NEW BEST:: SOT 269838 SOS 212730 HAS SOPS 211418 HAS SOUS 110265 HAS SOUPS 110122 WITH SCORE 110334.73
AT ITER 4187 NEW BEST:: SOT 269838 SOS 210141 HAS SOPS 208829 HAS SOUS 110044 HAS SOUPS 109901 WITH SCORE 110111.141
AT ITER 4191 NEW BEST:: SOT 269838 SOS 210141 HAS SOPS 208829 HAS SOUS 109996 HAS SOUPS 109853 WITH SCORE 110063.141
AT ITER 4252 NEW BEST:: SOT 269838 SOS 209676 HAS SOPS 208364 HAS SOUS 109810 HAS SOUPS 109667 WITH SCORE 109876.676
AT ITER 4264 NEW BEST:: SOT 269838 SOS 209676 HAS SOPS 208364 HAS SOUS 109796 HAS SOUPS 109653 WITH SCORE 109862.676
AT ITER 4284 NEW BEST:: SOT 269838 SOS 209640 HAS SOPS 208328 HAS SOUS 109796 HAS SOUPS 109653 WITH SCORE 109862.64
AT ITER 4383 NEW BEST:: SOT 269866 SOS 209668 HAS SOPS 208356 HAS SOUS 109732 HAS SOUPS 109589 WITH SCORE 109798.668
AT ITER 4409 NEW BEST:: SOT 269866 SOS 208614 HAS SOPS 207302 HAS SOUS 109714 HAS SOUPS 109571 WITH SCORE 109779.614
AT ITER 4466 NEW BEST:: SOT 269341 SOS 208089 HAS SOPS 206783 HAS SOUS 109661 HAS SOUPS 109518 WITH SCORE 109726.089
AT ITER 4477 NEW BEST:: SOT 267937 SOS 206685 HAS SOPS 205379 HAS SOUS 109505 HAS SOUPS 109362 WITH SCORE 109568.685
AT ITER 4537 NEW BEST:: SOT 267937 SOS 206685 HAS SOPS 205379 HAS SOUS 109495 HAS SOUPS 109352 WITH SCORE 109558.685
AT ITER 4539 NEW BEST:: SOT 267676 SOS 206424 HAS SOPS 205118 HAS SOUS 109426 HAS SOUPS 109283 WITH SCORE 109489.424
AT ITER 4546 NEW BEST:: SOT 267758 SOS 206306 HAS SOPS 205000 HAS SOUS 109123 HAS SOUPS 108980 WITH SCORE 109186.306
AT ITER 4550 NEW BEST:: SOT 267758 SOS 204378 HAS SOPS 203072 HAS SOUS 109123 HAS SOUPS 108980 WITH SCORE 109184.378
AT ITER 4551 NEW BEST:: SOT 267758 SOS 198732 HAS SOPS 197426 HAS SOUS 108329 HAS SOUPS 108186 WITH SCORE 108384.732
AT ITER 4583 NEW BEST:: SOT 268092 SOS 198841 HAS SOPS 197535 HAS SOUS 108066 HAS SOUPS 107923 WITH SCORE 108121.841
AT ITER 4604 NEW BEST:: SOT 268092 SOS 198841 HAS SOPS 197535 HAS SOUS 107961 HAS SOUPS 107818 WITH SCORE 108016.841
AT ITER 4605 NEW BEST:: SOT 268005 SOS 198751 HAS SOPS 197358 HAS SOUS 107879 HAS SOUPS 107736 WITH SCORE 107934.751
AT ITER 4663 NEW BEST:: SOT 268097 SOS 198804 HAS SOPS 197411 HAS SOUS 107775 HAS SOUPS 107632 WITH SCORE 107830.804
AT ITER 4693 NEW BEST:: SOT 266681 SOS 197388 HAS SOPS 196003 HAS SOUS 107744 HAS SOUPS 107601 WITH SCORE 107798.388
AT ITER 4703 NEW BEST:: SOT 266379 SOS 197086 HAS SOPS 195716 HAS SOUS 107457 HAS SOUPS 107314 WITH SCORE 107511.086
AT ITER 4747 NEW BEST:: SOT 265883 SOS 196590 HAS SOPS 195220 HAS SOUS 106961 HAS SOUPS 106818 WITH SCORE 107014.59
AT ITER 4770 NEW BEST:: SOT 265583 SOS 196290 HAS SOPS 194920 HAS SOUS 106861 HAS SOUPS 106718 WITH SCORE 106914.29
AT ITER 4775 NEW BEST:: SOT 265535 SOS 196242 HAS SOPS 194872 HAS SOUS 106861 HAS SOUPS 106718 WITH SCORE 106914.242
AT ITER 4836 NEW BEST:: SOT 265535 SOS 196102 HAS SOPS 194732 HAS SOUS 106861 HAS SOUPS 106718 WITH SCORE 106914.102
AT ITER 4845 NEW BEST:: SOT 265535 SOS 196098 HAS SOPS 194728 HAS SOUS 106853 HAS SOUPS 106710 WITH SCORE 106906.098
AT ITER 4883 NEW BEST:: SOT 265637 SOS 196200 HAS SOPS 194830 HAS SOUS 106847 HAS SOUPS 106704 WITH SCORE 106900.2
AT ITER 5081 NEW BEST:: SOT 267111 SOS 197577 HAS SOPS 196207 HAS SOUS 106789 HAS SOUPS 106646 WITH SCORE 106843.577
AT ITER 5157 NEW BEST:: SOT 266223 SOS 196689 HAS SOPS 195319 HAS SOUS 106493 HAS SOUPS 106350 WITH SCORE 106546.689
AT ITER 5165 NEW BEST:: SOT 266255 SOS 196694 HAS SOPS 195324 HAS SOUS 106269 HAS SOUPS 106126 WITH SCORE 106322.694
AT ITER 5177 NEW BEST:: SOT 266732 SOS 197099 HAS SOPS 195729 HAS SOUS 106243 HAS SOUPS 106100 WITH SCORE 106297.099
AT ITER 5183 NEW BEST:: SOT 266882 SOS 197166 HAS SOPS 195707 HAS SOUS 106221 HAS SOUPS 106078 WITH SCORE 106275.166
AT ITER 5192 NEW BEST:: SOT 268108 SOS 198220 HAS SOPS 196761 HAS SOUS 106057 HAS SOUPS 105914 WITH SCORE 106112.22
AT ITER 5194 NEW BEST:: SOT 268108 SOS 198178 HAS SOPS 196719 HAS SOUS 106015 HAS SOUPS 105872 WITH SCORE 106070.178
AT ITER 5198 NEW BEST:: SOT 265687 SOS 195757 HAS SOPS 194298 HAS SOUS 105746 HAS SOUPS 105603 WITH SCORE 105798.757
AT ITER 5209 NEW BEST:: SOT 266541 SOS 196482 HAS SOPS 195023 HAS SOUS 105511 HAS SOUPS 105368 WITH SCORE 105564.482
AT ITER 5234 NEW BEST:: SOT 266541 SOS 196422 HAS SOPS 194963 HAS SOUS 105481 HAS SOUPS 105338 WITH SCORE 105534.422
AT ITER 5241 NEW BEST:: SOT 266331 SOS 196212 HAS SOPS 194753 HAS SOUS 105411 HAS SOUPS 105268 WITH SCORE 105464.212
AT ITER 5283 NEW BEST:: SOT 266331 SOS 196212 HAS SOPS 194753 HAS SOUS 105339 HAS SOUPS 105196 WITH SCORE 105392.212
AT ITER 5405 NEW BEST:: SOT 266141 SOS 196022 HAS SOPS 194563 HAS SOUS 105244 HAS SOUPS 105101 WITH SCORE 105297.022
AT ITER 5411 NEW BEST:: SOT 266280 SOS 196093 HAS SOPS 194634 HAS SOUS 105135 HAS SOUPS 104992 WITH SCORE 105188.093
AT ITER 5415 NEW BEST:: SOT 266756 SOS 196569 HAS SOPS 195110 HAS SOUS 105013 HAS SOUPS 104870 WITH SCORE 105066.569
AT ITER 5429 NEW BEST:: SOT 267066 SOS 196629 HAS SOPS 195170 HAS SOUS 104551 HAS SOUPS 104408 WITH SCORE 104604.629
AT ITER 5458 NEW BEST:: SOT 267066 SOS 196466 HAS SOPS 195007 HAS SOUS 104307 HAS SOUPS 104164 WITH SCORE 104360.466
AT ITER 5475 NEW BEST:: SOT 267066 SOS 194306 HAS SOPS 192847 HAS SOUS 104309 HAS SOUPS 104166 WITH SCORE 104360.306
AT ITER 5479 NEW BEST:: SOT 265614 SOS 192854 HAS SOPS 191395 HAS SOUS 103991 HAS SOUPS 103848 WITH SCORE 104040.854
AT ITER 5480 NEW BEST:: SOT 265641 SOS 192756 HAS SOPS 191297 HAS SOUS 103878 HAS SOUPS 103735 WITH SCORE 103927.756
AT ITER 5522 NEW BEST:: SOT 265641 SOS 192666 HAS SOPS 191207 HAS SOUS 103846 HAS SOUPS 103703 WITH SCORE 103895.666
AT ITER 5581 NEW BEST:: SOT 265641 SOS 192631 HAS SOPS 191172 HAS SOUS 103776 HAS SOUPS 103633 WITH SCORE 103825.631
AT ITER 5605 NEW BEST:: SOT 265727 SOS 192618 HAS SOPS 191159 HAS SOUS 103760 HAS SOUPS 103617 WITH SCORE 103809.618
AT ITER 5642 NEW BEST:: SOT 265915 SOS 192637 HAS SOPS 191178 HAS SOUS 103430 HAS SOUPS 103287 WITH SCORE 103479.637
AT ITER 5670 NEW BEST:: SOT 266193 SOS 192210 HAS SOPS 190334 HAS SOUS 103344 HAS SOUPS 103191 WITH SCORE 103383.21
AT ITER 5720 NEW BEST:: SOT 266300 SOS 192317 HAS SOPS 190441 HAS SOUS 103329 HAS SOUPS 103176 WITH SCORE 103368.317
AT ITER 5721 NEW BEST:: SOT 266300 SOS 192187 HAS SOPS 190311 HAS SOUS 103093 HAS SOUPS 102940 WITH SCORE 103132.187
AT ITER 5724 NEW BEST:: SOT 265174 SOS 191061 HAS SOPS 189185 HAS SOUS 102591 HAS SOUPS 102438 WITH SCORE 102629.061
AT ITER 5744 NEW BEST:: SOT 265174 SOS 191044 HAS SOPS 189168 HAS SOUS 102540 HAS SOUPS 102387 WITH SCORE 102578.044
AT ITER 5748 NEW BEST:: SOT 265413 SOS 191283 HAS SOPS 189407 HAS SOUS 102415 HAS SOUPS 102262 WITH SCORE 102453.283
AT ITER 5789 NEW BEST:: SOT 265269 SOS 191139 HAS SOPS 189263 HAS SOUS 102415 HAS SOUPS 102262 WITH SCORE 102453.139
AT ITER 5812 NEW BEST:: SOT 265269 SOS 190961 HAS SOPS 189085 HAS SOUS 102329 HAS SOUPS 102176 WITH SCORE 102366.961
AT ITER 5826 NEW BEST:: SOT 265055 SOS 190747 HAS SOPS 188871 HAS SOUS 102222 HAS SOUPS 102069 WITH SCORE 102259.747
AT ITER 5846 NEW BEST:: SOT 265055 SOS 190747 HAS SOPS 188871 HAS SOUS 102221 HAS SOUPS 102068 WITH SCORE 102258.747
AT ITER 5874 NEW BEST:: SOT 268424 SOS 193804 HAS SOPS 191850 HAS SOUS 102092 HAS SOUPS 101939 WITH SCORE 102132.804
AT ITER 5879 NEW BEST:: SOT 268302 SOS 193682 HAS SOPS 191728 HAS SOUS 101970 HAS SOUPS 101817 WITH SCORE 102010.682
AT ITER 5904 NEW BEST:: SOT 225895 SOS 179236 HAS SOPS 153851 HAS SOUS 60013 HAS SOUPS 59660 WITH SCORE 59839.236
AT ITER 5925 NEW BEST:: SOT 225303 SOS 178657 HAS SOPS 153357 HAS SOUS 59626 HAS SOUPS 59273 WITH SCORE 59451.657
AT ITER 5942 NEW BEST:: SOT 225203 SOS 178557 HAS SOPS 153207 HAS SOUS 59576 HAS SOUPS 59223 WITH SCORE 59401.557
AT ITER 5955 NEW BEST:: SOT 225328 SOS 178549 HAS SOPS 152998 HAS SOUS 59281 HAS SOUPS 58928 WITH SCORE 59106.549
AT ITER 5957 NEW BEST:: SOT 223240 SOS 176461 HAS SOPS 150910 HAS SOUS 58849 HAS SOUPS 58496 WITH SCORE 58672.461
AT ITER 5960 NEW BEST:: SOT 223180 SOS 176401 HAS SOPS 150850 HAS SOUS 58849 HAS SOUPS 58496 WITH SCORE 58672.401
AT ITER 5966 NEW BEST:: SOT 224078 SOS 174284 HAS SOPS 145266 HAS SOUS 58850 HAS SOUPS 58497 WITH SCORE 58671.284
AT ITER 5969 NEW BEST:: SOT 224063 SOS 174141 HAS SOPS 144665 HAS SOUS 58827 HAS SOUPS 58474 WITH SCORE 58648.141
AT ITER 5988 NEW BEST:: SOT 221673 SOS 171751 HAS SOPS 142275 HAS SOUS 58349 HAS SOUPS 57996 WITH SCORE 58167.751
AT ITER 6085 NEW BEST:: SOT 221281 SOS 171359 HAS SOPS 141883 HAS SOUS 58349 HAS SOUPS 57996 WITH SCORE 58167.359
AT ITER 6103 NEW BEST:: SOT 221347 SOS 171425 HAS SOPS 141949 HAS SOUS 58195 HAS SOUPS 57842 WITH SCORE 58013.425
AT ITER 6174 NEW BEST:: SOT 221432 SOS 171510 HAS SOPS 142034 HAS SOUS 58188 HAS SOUPS 57835 WITH SCORE 58006.51
AT ITER 6175 NEW BEST:: SOT 219659 SOS 169737 HAS SOPS 140261 HAS SOUS 57263 HAS SOUPS 56910 WITH SCORE 57079.737
AT ITER 6192 NEW BEST:: SOT 219502 SOS 169580 HAS SOPS 140104 HAS SOUS 57106 HAS SOUPS 56753 WITH SCORE 56922.58
AT ITER 6231 NEW BEST:: SOT 219502 SOS 169505 HAS SOPS 140029 HAS SOUS 57056 HAS SOUPS 56703 WITH SCORE 56872.505
AT ITER 6235 NEW BEST:: SOT 219502 SOS 169367 HAS SOPS 139891 HAS SOUS 57056 HAS SOUPS 56703 WITH SCORE 56872.367
AT ITER 6261 NEW BEST:: SOT 219502 SOS 169367 HAS SOPS 139891 HAS SOUS 56498 HAS SOUPS 56145 WITH SCORE 56314.367
AT ITER 6373 NEW BEST:: SOT 219432 SOS 169297 HAS SOPS 139821 HAS SOUS 56498 HAS SOUPS 56145 WITH SCORE 56314.297
AT ITER 6409 NEW BEST:: SOT 219701 SOS 169498 HAS SOPS 140022 HAS SOUS 56172 HAS SOUPS 55819 WITH SCORE 55988.498
AT ITER 6418 NEW BEST:: SOT 219503 SOS 169300 HAS SOPS 139824 HAS SOUS 56172 HAS SOUPS 55819 WITH SCORE 55988.3
AT ITER 6465 NEW BEST:: SOT 219350 SOS 169147 HAS SOPS 139671 HAS SOUS 56019 HAS SOUPS 55666 WITH SCORE 55835.147
AT ITER 6480 NEW BEST:: SOT 219404 SOS 169201 HAS SOPS 139639 HAS SOUS 55990 HAS SOUPS 55637 WITH SCORE 55806.201
AT ITER 6498 NEW BEST:: SOT 219404 SOS 169175 HAS SOPS 139613 HAS SOUS 55936 HAS SOUPS 55583 WITH SCORE 55752.175
AT ITER 6658 NEW BEST:: SOT 218290 SOS 168061 HAS SOPS 138500 HAS SOUS 55819 HAS SOUPS 55466 WITH SCORE 55634.061
AT ITER 6913 NEW BEST:: SOT 218233 SOS 168004 HAS SOPS 138470 HAS SOUS 55748 HAS SOUPS 55395 WITH SCORE 55563.004
AT ITER 6929 NEW BEST:: SOT 218261 SOS 168032 HAS SOPS 138498 HAS SOUS 55724 HAS SOUPS 55371 WITH SCORE 55539.032
AT ITER 6975 NEW BEST:: SOT 217045 SOS 166816 HAS SOPS 137270 HAS SOUS 55705 HAS SOUPS 55352 WITH SCORE 55518.816
AT ITER 6983 NEW BEST:: SOT 217318 SOS 167089 HAS SOPS 137543 HAS SOUS 55637 HAS SOUPS 55284 WITH SCORE 55451.089
AT ITER 6992 NEW BEST:: SOT 217267 SOS 167038 HAS SOPS 137492 HAS SOUS 55619 HAS SOUPS 55266 WITH SCORE 55433.038
AT ITER 7132 NEW BEST:: SOT 217344 SOS 167089 HAS SOPS 137458 HAS SOUS 55485 HAS SOUPS 55132 WITH SCORE 55299.089
AT ITER 7143 NEW BEST:: SOT 217600 SOS 167345 HAS SOPS 137714 HAS SOUS 55275 HAS SOUPS 54922 WITH SCORE 55089.345
AT ITER 7216 NEW BEST:: SOT 217600 SOS 167345 HAS SOPS 137714 HAS SOUS 55222 HAS SOUPS 54869 WITH SCORE 55036.345
AT ITER 7280 NEW BEST:: SOT 218071 SOS 167816 HAS SOPS 138184 HAS SOUS 55086 HAS SOUPS 54733 WITH SCORE 54900.816
AT ITER 7283 NEW BEST:: SOT 218044 SOS 167627 HAS SOPS 137509 HAS SOUS 55023 HAS SOUPS 54670 WITH SCORE 54837.627
AT ITER 7308 NEW BEST:: SOT 218054 SOS 167637 HAS SOPS 136611 HAS SOUS 54972 HAS SOUPS 54619 WITH SCORE 54786.637
AT ITER 7321 NEW BEST:: SOT 218054 SOS 167469 HAS SOPS 136443 HAS SOUS 54875 HAS SOUPS 54522 WITH SCORE 54689.469
AT ITER 7339 NEW BEST:: SOT 218147 SOS 167562 HAS SOPS 136536 HAS SOUS 54874 HAS SOUPS 54521 WITH SCORE 54688.562
AT ITER 7388 NEW BEST:: SOT 218163 SOS 167578 HAS SOPS 136548 HAS SOUS 54872 HAS SOUPS 54519 WITH SCORE 54686.578
AT ITER 7495 NEW BEST:: SOT 217875 SOS 167290 HAS SOPS 136260 HAS SOUS 54584 HAS SOUPS 54231 WITH SCORE 54398.29
AT ITER 7555 NEW BEST:: SOT 217875 SOS 167290 HAS SOPS 136260 HAS SOUS 54534 HAS SOUPS 54181 WITH SCORE 54348.29
AT ITER 7576 NEW BEST:: SOT 217316 SOS 166731 HAS SOPS 136278 HAS SOUS 54452 HAS SOUPS 54099 WITH SCORE 54265.731
AT ITER 7613 NEW BEST:: SOT 217316 SOS 166731 HAS SOPS 136296 HAS SOUS 54448 HAS SOUPS 54095 WITH SCORE 54261.731
AT ITER 7628 NEW BEST:: SOT 217112 SOS 166527 HAS SOPS 136028 HAS SOUS 54419 HAS SOUPS 54066 WITH SCORE 54232.527
AT ITER 7703 NEW BEST:: SOT 217361 SOS 166776 HAS SOPS 136277 HAS SOUS 54389 HAS SOUPS 54036 WITH SCORE 54202.776
AT ITER 7777 NEW BEST:: SOT 217276 SOS 166691 HAS SOPS 136192 HAS SOUS 54325 HAS SOUPS 53972 WITH SCORE 54138.691
AT ITER 7811 NEW BEST:: SOT 217121 SOS 166536 HAS SOPS 135944 HAS SOUS 54199 HAS SOUPS 53846 WITH SCORE 54012.536
AT ITER 7905 NEW BEST:: SOT 217121 SOS 166020 HAS SOPS 135428 HAS SOUS 54199 HAS SOUPS 53846 WITH SCORE 54012.02
AT ITER 7968 NEW BEST:: SOT 217121 SOS 165912 HAS SOPS 135320 HAS SOUS 54199 HAS SOUPS 53846 WITH SCORE 54011.912
AT ITER 7990 NEW BEST:: SOT 216437 SOS 165228 HAS SOPS 134636 HAS SOUS 53971 HAS SOUPS 53618 WITH SCORE 53783.228
AT ITER 7992 NEW BEST:: SOT 216578 SOS 165369 HAS SOPS 134777 HAS SOUS 53929 HAS SOUPS 53576 WITH SCORE 53741.369
AT ITER 8037 NEW BEST:: SOT 216481 SOS 165065 HAS SOPS 134473 HAS SOUS 53876 HAS SOUPS 53523 WITH SCORE 53688.065
AT ITER 8091 NEW BEST:: SOT 214279 SOS 162863 HAS SOPS 132337 HAS SOUS 52840 HAS SOUPS 52487 WITH SCORE 52649.863
AT ITER 8122 NEW BEST:: SOT 213554 SOS 162138 HAS SOPS 133395 HAS SOUS 52740 HAS SOUPS 52387 WITH SCORE 52549.138
AT ITER 8165 NEW BEST:: SOT 213554 SOS 161625 HAS SOPS 132882 HAS SOUS 52713 HAS SOUPS 52360 WITH SCORE 52521.625
AT ITER 8218 NEW BEST:: SOT 213694 SOS 161765 HAS SOPS 133022 HAS SOUS 52397 HAS SOUPS 52044 WITH SCORE 52205.765
AT ITER 8238 NEW BEST:: SOT 213689 SOS 161760 HAS SOPS 133017 HAS SOUS 52363 HAS SOUPS 52010 WITH SCORE 52171.76
AT ITER 8264 NEW BEST:: SOT 213415 SOS 161483 HAS SOPS 132550 HAS SOUS 51988 HAS SOUPS 51635 WITH SCORE 51796.483
AT ITER 8284 NEW BEST:: SOT 213630 SOS 161698 HAS SOPS 132765 HAS SOUS 51855 HAS SOUPS 51502 WITH SCORE 51663.698
AT ITER 8324 NEW BEST:: SOT 213643 SOS 161568 HAS SOPS 132635 HAS SOUS 51839 HAS SOUPS 51486 WITH SCORE 51647.568
AT ITER 8391 NEW BEST:: SOT 213795 SOS 161700 HAS SOPS 132533 HAS SOUS 51713 HAS SOUPS 51360 WITH SCORE 51521.7
AT ITER 8395 NEW BEST:: SOT 213723 SOS 161628 HAS SOPS 132389 HAS SOUS 51641 HAS SOUPS 51288 WITH SCORE 51449.628
AT ITER 8408 NEW BEST:: SOT 213723 SOS 161611 HAS SOPS 132372 HAS SOUS 51571 HAS SOUPS 51218 WITH SCORE 51379.611
AT ITER 8504 NEW BEST:: SOT 213685 SOS 162977 HAS SOPS 133656 HAS SOUS 51553 HAS SOUPS 51200 WITH SCORE 51362.977
AT ITER 8567 NEW BEST:: SOT 213685 SOS 162863 HAS SOPS 133542 HAS SOUS 51553 HAS SOUPS 51200 WITH SCORE 51362.863
AT ITER 8639 NEW BEST:: SOT 213685 SOS 161071 HAS SOPS 131750 HAS SOUS 51543 HAS SOUPS 51190 WITH SCORE 51351.071
AT ITER 8694 NEW BEST:: SOT 213777 SOS 161163 HAS SOPS 131842 HAS SOUS 51530 HAS SOUPS 51177 WITH SCORE 51338.163
AT ITER 8795 NEW BEST:: SOT 213379 SOS 160818 HAS SOPS 131694 HAS SOUS 51507 HAS SOUPS 51154 WITH SCORE 51314.818
AT ITER 8816 NEW BEST:: SOT 210574 SOS 160086 HAS SOPS 135033 HAS SOUS 48965 HAS SOUPS 48612 WITH SCORE 48772.086
AT ITER 8831 NEW BEST:: SOT 210327 SOS 159839 HAS SOPS 134786 HAS SOUS 48782 HAS SOUPS 48429 WITH SCORE 48588.839
AT ITER 8873 NEW BEST:: SOT 210443 SOS 159425 HAS SOPS 134372 HAS SOUS 48702 HAS SOUPS 48349 WITH SCORE 48508.425
AT ITER 8997 NEW BEST:: SOT 210296 SOS 159278 HAS SOPS 134225 HAS SOUS 48653 HAS SOUPS 48300 WITH SCORE 48459.278
AT ITER 9047 NEW BEST:: SOT 210296 SOS 159255 HAS SOPS 134202 HAS SOUS 48607 HAS SOUPS 48254 WITH SCORE 48413.255
AT ITER 9060 NEW BEST:: SOT 210808 SOS 159293 HAS SOPS 134219 HAS SOUS 48367 HAS SOUPS 48014 WITH SCORE 48173.293
AT ITER 9099 NEW BEST:: SOT 210808 SOS 159293 HAS SOPS 134219 HAS SOUS 48350 HAS SOUPS 47997 WITH SCORE 48156.293
AT ITER 9135 NEW BEST:: SOT 211352 SOS 159597 HAS SOPS 134485 HAS SOUS 47989 HAS SOUPS 47636 WITH SCORE 47795.597
AT ITER 9211 NEW BEST:: SOT 211408 SOS 159653 HAS SOPS 134541 HAS SOUS 47978 HAS SOUPS 47625 WITH SCORE 47784.653
AT ITER 9218 NEW BEST:: SOT 211408 SOS 159533 HAS SOPS 134389 HAS SOUS 47963 HAS SOUPS 47606 WITH SCORE 47765.533
AT ITER 9282 NEW BEST:: SOT 211372 SOS 159497 HAS SOPS 134353 HAS SOUS 47945 HAS SOUPS 47588 WITH SCORE 47747.497
AT ITER 9295 NEW BEST:: SOT 211222 SOS 159347 HAS SOPS 134203 HAS SOUS 47900 HAS SOUPS 47543 WITH SCORE 47702.347
AT ITER 9310 NEW BEST:: SOT 211195 SOS 159320 HAS SOPS 134176 HAS SOUS 47819 HAS SOUPS 47462 WITH SCORE 47621.32
AT ITER 9329 NEW BEST:: SOT 211153 SOS 159278 HAS SOPS 134134 HAS SOUS 47758 HAS SOUPS 47401 WITH SCORE 47560.278
AT ITER 9336 NEW BEST:: SOT 210109 SOS 158234 HAS SOPS 133090 HAS SOUS 47448 HAS SOUPS 47091 WITH SCORE 47249.234
AT ITER 9391 NEW BEST:: SOT 210068 SOS 158193 HAS SOPS 133049 HAS SOUS 47407 HAS SOUPS 47050 WITH SCORE 47208.193
AT ITER 9445 NEW BEST:: SOT 210209 SOS 158334 HAS SOPS 133190 HAS SOUS 47391 HAS SOUPS 47034 WITH SCORE 47192.334
AT ITER 9560 NEW BEST:: SOT 210189 SOS 158314 HAS SOPS 133170 HAS SOUS 47391 HAS SOUPS 47034 WITH SCORE 47192.314
AT ITER 9624 NEW BEST:: SOT 209901 SOS 158026 HAS SOPS 132882 HAS SOUS 47279 HAS SOUPS 46922 WITH SCORE 47080.026
AT ITER 9657 NEW BEST:: SOT 209892 SOS 158017 HAS SOPS 132873 HAS SOUS 47273 HAS SOUPS 46916 WITH SCORE 47074.017
AT ITER 9718 NEW BEST:: SOT 210557 SOS 158094 HAS SOPS 132877 HAS SOUS 46619 HAS SOUPS 46262 WITH SCORE 46420.094
AT ITER 9733 NEW BEST:: SOT 210327 SOS 157864 HAS SOPS 132678 HAS SOUS 46557 HAS SOUPS 46200 WITH SCORE 46357.864
AT ITER 9768 NEW BEST:: SOT 210029 SOS 157566 HAS SOPS 132380 HAS SOUS 46337 HAS SOUPS 45980 WITH SCORE 46137.566
AT ITER 9778 NEW BEST:: SOT 209957 SOS 157494 HAS SOPS 132308 HAS SOUS 46337 HAS SOUPS 45980 WITH SCORE 46137.494
AT ITER 9791 NEW BEST:: SOT 209957 SOS 157491 HAS SOPS 132305 HAS SOUS 46331 HAS SOUPS 45974 WITH SCORE 46131.491
AT ITER 9887 NEW BEST:: SOT 209929 SOS 157463 HAS SOPS 132277 HAS SOUS 46331 HAS SOUPS 45974 WITH SCORE 46131.463
AT ITER 9917 NEW BEST:: SOT 209929 SOS 157463 HAS SOPS 132277 HAS SOUS 46311 HAS SOUPS 45954 WITH SCORE 46111.463
AT ITER 9926 NEW BEST:: SOT 209994 SOS 157522 HAS SOPS 132271 HAS SOUS 46309 HAS SOUPS 45952 WITH SCORE 46109.522
AT ITER 9944 NEW BEST:: SOT 209992 SOS 157520 HAS SOPS 132269 HAS SOUS 46305 HAS SOUPS 45948 WITH SCORE 46105.52
AT ITER 9974 NEW BEST:: SOT 209983 SOS 157511 HAS SOPS 132260 HAS SOUS 46305 HAS SOUPS 45948 WITH SCORE 46105.511
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 9043428 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16155148 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="DBSingleClientW-PT-d1m09"
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 DBSingleClientW-PT-d1m09, 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 r099-tall-167814472200280"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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