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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.0M
-rw-r--r-- 1 mcc users 7.3K Feb 26 15:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 79K Feb 26 15:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 26 15:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 26 15:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K 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.3K Feb 25 15:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 15:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 112K Feb 26 15:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.6K Feb 26 15:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 83K Feb 26 15:23 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 1.6M 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 1678240801689

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-d2m09
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DBSingleClientW (PT), instance d2m09
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: 4763 places, 2478 transitions, 9912 arcs.
AT ITER 0 NEW BEST:: SOT 2905994 SOS 2845673 HAS SOPS 2845649 HAS SOUS 2041650 HAS SOUPS 2041626 WITH SCORE 2044471.673
AT ITER 17 NEW BEST:: SOT 2905994 SOS 2845673 HAS SOPS 2845649 HAS SOUS 2041339 HAS SOUPS 2041315 WITH SCORE 2044160.673
AT ITER 55 NEW BEST:: SOT 2908459 SOS 2848138 HAS SOPS 2848114 HAS SOUS 2039269 HAS SOUPS 2039245 WITH SCORE 2042093.138
AT ITER 64 NEW BEST:: SOT 2906980 SOS 2846659 HAS SOPS 2846635 HAS SOUS 2038065 HAS SOUPS 2038041 WITH SCORE 2040887.659
AT ITER 66 NEW BEST:: SOT 2906980 SOS 2846659 HAS SOPS 2846635 HAS SOUS 2037779 HAS SOUPS 2037755 WITH SCORE 2040601.659
AT ITER 109 NEW BEST:: SOT 2907290 SOS 2846969 HAS SOPS 2846945 HAS SOUS 2037615 HAS SOUPS 2037591 WITH SCORE 2040437.969
AT ITER 158 NEW BEST:: SOT 2907770 SOS 2847449 HAS SOPS 2847425 HAS SOUS 2035440 HAS SOUPS 2035416 WITH SCORE 2038263.449
AT ITER 165 NEW BEST:: SOT 2907770 SOS 2847449 HAS SOPS 2847425 HAS SOUS 2034598 HAS SOUPS 2034574 WITH SCORE 2037421.449
AT ITER 208 NEW BEST:: SOT 2908128 SOS 2847807 HAS SOPS 2847783 HAS SOUS 2034540 HAS SOUPS 2034516 WITH SCORE 2037363.807
AT ITER 230 NEW BEST:: SOT 2908128 SOS 2847807 HAS SOPS 2847783 HAS SOUS 2034349 HAS SOUPS 2034325 WITH SCORE 2037172.807
AT ITER 244 NEW BEST:: SOT 2908128 SOS 2847807 HAS SOPS 2847783 HAS SOUS 2034082 HAS SOUPS 2034058 WITH SCORE 2036905.807
AT ITER 245 NEW BEST:: SOT 2908128 SOS 2847807 HAS SOPS 2847783 HAS SOUS 2031628 HAS SOUPS 2031604 WITH SCORE 2034451.807
AT ITER 248 NEW BEST:: SOT 2908128 SOS 2847807 HAS SOPS 2847783 HAS SOUS 2031080 HAS SOUPS 2031056 WITH SCORE 2033903.807
AT ITER 283 NEW BEST:: SOT 2908128 SOS 2847807 HAS SOPS 2847783 HAS SOUS 2030803 HAS SOUPS 2030779 WITH SCORE 2033626.807
AT ITER 296 NEW BEST:: SOT 2908128 SOS 2847807 HAS SOPS 2847783 HAS SOUS 2030648 HAS SOUPS 2030624 WITH SCORE 2033471.807
AT ITER 299 NEW BEST:: SOT 2909073 SOS 2848752 HAS SOPS 2848728 HAS SOUS 2029863 HAS SOUPS 2029839 WITH SCORE 2032687.752
AT ITER 312 NEW BEST:: SOT 2910942 SOS 2850621 HAS SOPS 2850597 HAS SOUS 2028763 HAS SOUPS 2028739 WITH SCORE 2031589.621
AT ITER 323 NEW BEST:: SOT 2910942 SOS 2850621 HAS SOPS 2850597 HAS SOUS 2026362 HAS SOUPS 2026338 WITH SCORE 2029188.621
AT ITER 325 NEW BEST:: SOT 2910942 SOS 2850621 HAS SOPS 2850597 HAS SOUS 2024986 HAS SOUPS 2024962 WITH SCORE 2027812.621
AT ITER 398 NEW BEST:: SOT 2910942 SOS 2850621 HAS SOPS 2850597 HAS SOUS 2024919 HAS SOUPS 2024895 WITH SCORE 2027745.621
AT ITER 416 NEW BEST:: SOT 2911078 SOS 2850757 HAS SOPS 2850733 HAS SOUS 2024802 HAS SOUPS 2024778 WITH SCORE 2027628.757
AT ITER 423 NEW BEST:: SOT 2911078 SOS 2850757 HAS SOPS 2850733 HAS SOUS 2024254 HAS SOUPS 2024230 WITH SCORE 2027080.757
AT ITER 461 NEW BEST:: SOT 2913998 SOS 2853677 HAS SOPS 2853653 HAS SOUS 2023170 HAS SOUPS 2023146 WITH SCORE 2025999.677
AT ITER 462 NEW BEST:: SOT 2914775 SOS 2854454 HAS SOPS 2854430 HAS SOUS 2022818 HAS SOUPS 2022794 WITH SCORE 2025648.454
AT ITER 493 NEW BEST:: SOT 2914775 SOS 2854454 HAS SOPS 2854430 HAS SOUS 2022816 HAS SOUPS 2022792 WITH SCORE 2025646.454
AT ITER 527 NEW BEST:: SOT 2162887 SOS 2103368 HAS SOPS 2102542 HAS SOUS 1271054 HAS SOUPS 1270668 WITH SCORE 1272771.368
AT ITER 549 NEW BEST:: SOT 2163219 SOS 2103700 HAS SOPS 2102874 HAS SOUS 1270028 HAS SOUPS 1269642 WITH SCORE 1271745.7
AT ITER 649 NEW BEST:: SOT 2163407 SOS 2103888 HAS SOPS 2103062 HAS SOUS 1269660 HAS SOUPS 1269274 WITH SCORE 1271377.888
AT ITER 689 NEW BEST:: SOT 2163407 SOS 2103888 HAS SOPS 2103062 HAS SOUS 1269450 HAS SOUPS 1269064 WITH SCORE 1271167.888
AT ITER 696 NEW BEST:: SOT 2165027 SOS 2105508 HAS SOPS 2104682 HAS SOUS 1269053 HAS SOUPS 1268667 WITH SCORE 1270772.508
AT ITER 728 NEW BEST:: SOT 2168255 SOS 2108736 HAS SOPS 2107910 HAS SOUS 1267304 HAS SOUPS 1266918 WITH SCORE 1269026.736
AT ITER 799 NEW BEST:: SOT 2168864 SOS 2109345 HAS SOPS 2108519 HAS SOUS 1266609 HAS SOUPS 1266223 WITH SCORE 1268332.345
AT ITER 858 NEW BEST:: SOT 2168864 SOS 2109345 HAS SOPS 2108519 HAS SOUS 1266525 HAS SOUPS 1266139 WITH SCORE 1268248.345
AT ITER 895 NEW BEST:: SOT 2168864 SOS 2109345 HAS SOPS 2108519 HAS SOUS 1266019 HAS SOUPS 1265633 WITH SCORE 1267742.345
AT ITER 898 NEW BEST:: SOT 2169170 SOS 2109651 HAS SOPS 2108825 HAS SOUS 1265912 HAS SOUPS 1265526 WITH SCORE 1267635.651
AT ITER 961 NEW BEST:: SOT 2171850 SOS 2112331 HAS SOPS 2111505 HAS SOUS 1263476 HAS SOUPS 1263090 WITH SCORE 1265202.331
AT ITER 969 NEW BEST:: SOT 2171697 SOS 2112178 HAS SOPS 2111352 HAS SOUS 1263408 HAS SOUPS 1263022 WITH SCORE 1265134.178
AT ITER 974 NEW BEST:: SOT 2171697 SOS 2111933 HAS SOPS 2111107 HAS SOUS 1263318 HAS SOUPS 1262932 WITH SCORE 1265043.933
AT ITER 985 NEW BEST:: SOT 2171901 SOS 2112137 HAS SOPS 2111311 HAS SOUS 1262676 HAS SOUPS 1262290 WITH SCORE 1264402.137
AT ITER 1016 NEW BEST:: SOT 2172432 SOS 2112668 HAS SOPS 2111842 HAS SOUS 1262284 HAS SOUPS 1261898 WITH SCORE 1264010.668
AT ITER 1021 NEW BEST:: SOT 2172432 SOS 2112668 HAS SOPS 2111842 HAS SOUS 1262075 HAS SOUPS 1261689 WITH SCORE 1263801.668
AT ITER 1047 NEW BEST:: SOT 2174160 SOS 2114396 HAS SOPS 2113570 HAS SOUS 1260545 HAS SOUPS 1260159 WITH SCORE 1262273.396
AT ITER 1059 NEW BEST:: SOT 2174142 SOS 2114378 HAS SOPS 2113552 HAS SOUS 1260526 HAS SOUPS 1260140 WITH SCORE 1262254.378
AT ITER 1081 NEW BEST:: SOT 2174196 SOS 2114432 HAS SOPS 2113606 HAS SOUS 1259913 HAS SOUPS 1259527 WITH SCORE 1261641.432
AT ITER 1083 NEW BEST:: SOT 2174466 SOS 2114702 HAS SOPS 2113876 HAS SOUS 1259319 HAS SOUPS 1258933 WITH SCORE 1261047.702
AT ITER 1128 NEW BEST:: SOT 2176524 SOS 2116760 HAS SOPS 2115934 HAS SOUS 1258729 HAS SOUPS 1258343 WITH SCORE 1260459.76
AT ITER 1191 NEW BEST:: SOT 2177815 SOS 2118051 HAS SOPS 2117225 HAS SOUS 1258238 HAS SOUPS 1257852 WITH SCORE 1259970.051
AT ITER 1218 NEW BEST:: SOT 2177815 SOS 2118051 HAS SOPS 2117225 HAS SOUS 1258087 HAS SOUPS 1257701 WITH SCORE 1259819.051
AT ITER 1269 NEW BEST:: SOT 2177815 SOS 2099987 HAS SOPS 2099161 HAS SOUS 1258085 HAS SOUPS 1257699 WITH SCORE 1259798.987
AT ITER 1278 NEW BEST:: SOT 2177815 SOS 2099987 HAS SOPS 2099161 HAS SOUS 1258081 HAS SOUPS 1257695 WITH SCORE 1259794.987
AT ITER 1337 NEW BEST:: SOT 2177978 SOS 2100150 HAS SOPS 2099324 HAS SOUS 1257343 HAS SOUPS 1256957 WITH SCORE 1259057.15
AT ITER 1385 NEW BEST:: SOT 2178369 SOS 2100541 HAS SOPS 2099715 HAS SOUS 1256515 HAS SOUPS 1256129 WITH SCORE 1258229.541
AT ITER 1389 NEW BEST:: SOT 2178194 SOS 2100366 HAS SOPS 2099540 HAS SOUS 1256462 HAS SOUPS 1256076 WITH SCORE 1258176.366
AT ITER 1390 NEW BEST:: SOT 2178194 SOS 2100109 HAS SOPS 2099283 HAS SOUS 1255175 HAS SOUPS 1254789 WITH SCORE 1256889.109
AT ITER 1419 NEW BEST:: SOT 2178194 SOS 2100109 HAS SOPS 2099283 HAS SOUS 1254608 HAS SOUPS 1254222 WITH SCORE 1256322.109
AT ITER 1436 NEW BEST:: SOT 2180466 SOS 2102154 HAS SOPS 2101328 HAS SOUS 1254087 HAS SOUPS 1253701 WITH SCORE 1255803.154
AT ITER 1461 NEW BEST:: SOT 2180466 SOS 2102154 HAS SOPS 2101328 HAS SOUS 1253637 HAS SOUPS 1253251 WITH SCORE 1255353.154
AT ITER 1479 NEW BEST:: SOT 2181978 SOS 2103666 HAS SOPS 2102840 HAS SOUS 1253614 HAS SOUPS 1253228 WITH SCORE 1255331.666
AT ITER 1574 NEW BEST:: SOT 2181978 SOS 2103666 HAS SOPS 2102840 HAS SOUS 1253547 HAS SOUPS 1253161 WITH SCORE 1255264.666
AT ITER 1580 NEW BEST:: SOT 2182854 SOS 2104542 HAS SOPS 2103716 HAS SOUS 1251905 HAS SOUPS 1251519 WITH SCORE 1253623.542
AT ITER 1600 NEW BEST:: SOT 2182878 SOS 2104456 HAS SOPS 2103630 HAS SOUS 1251226 HAS SOUPS 1250840 WITH SCORE 1252944.456
AT ITER 1611 NEW BEST:: SOT 2182878 SOS 2103990 HAS SOPS 2103164 HAS SOUS 1250082 HAS SOUPS 1249696 WITH SCORE 1251799.99
AT ITER 1704 NEW BEST:: SOT 2182878 SOS 2103990 HAS SOPS 2103164 HAS SOUS 1250016 HAS SOUPS 1249630 WITH SCORE 1251733.99
AT ITER 1711 NEW BEST:: SOT 2183104 SOS 2104216 HAS SOPS 2103390 HAS SOUS 1249709 HAS SOUPS 1249323 WITH SCORE 1251427.216
AT ITER 1733 NEW BEST:: SOT 2187192 SOS 2108015 HAS SOPS 2107189 HAS SOUS 1249576 HAS SOUPS 1249190 WITH SCORE 1251298.015
AT ITER 1744 NEW BEST:: SOT 2187192 SOS 2108015 HAS SOPS 2107189 HAS SOUS 1247748 HAS SOUPS 1247362 WITH SCORE 1249470.015
AT ITER 1746 NEW BEST:: SOT 2187735 SOS 2108558 HAS SOPS 2107732 HAS SOUS 1247268 HAS SOUPS 1246882 WITH SCORE 1248990.558
AT ITER 1760 NEW BEST:: SOT 2187735 SOS 2108558 HAS SOPS 2107732 HAS SOUS 1246885 HAS SOUPS 1246499 WITH SCORE 1248607.558
AT ITER 1810 NEW BEST:: SOT 2189091 SOS 2109914 HAS SOPS 2109088 HAS SOUS 1245933 HAS SOUPS 1245547 WITH SCORE 1247656.914
AT ITER 1850 NEW BEST:: SOT 2189091 SOS 2109914 HAS SOPS 2109088 HAS SOUS 1244555 HAS SOUPS 1244169 WITH SCORE 1246278.914
AT ITER 1891 NEW BEST:: SOT 2189091 SOS 2109914 HAS SOPS 2109088 HAS SOUS 1244238 HAS SOUPS 1243852 WITH SCORE 1245961.914
AT ITER 1942 NEW BEST:: SOT 2189091 SOS 2109914 HAS SOPS 2109088 HAS SOUS 1243856 HAS SOUPS 1243470 WITH SCORE 1245579.914
AT ITER 1949 NEW BEST:: SOT 2190944 SOS 2110297 HAS SOPS 2109354 HAS SOUS 1240672 HAS SOUPS 1240286 WITH SCORE 1242396.297
AT ITER 1982 NEW BEST:: SOT 2191178 SOS 2110531 HAS SOPS 2109588 HAS SOUS 1238117 HAS SOUPS 1237731 WITH SCORE 1239841.531
AT ITER 1992 NEW BEST:: SOT 2197850 SOS 2117203 HAS SOPS 2116260 HAS SOUS 1235996 HAS SOUPS 1235610 WITH SCORE 1237727.203
AT ITER 2006 NEW BEST:: SOT 2200220 SOS 2119573 HAS SOPS 2118630 HAS SOUS 1235916 HAS SOUPS 1235530 WITH SCORE 1237649.573
AT ITER 2027 NEW BEST:: SOT 2200220 SOS 2119573 HAS SOPS 2118630 HAS SOUS 1235904 HAS SOUPS 1235518 WITH SCORE 1237637.573
AT ITER 2072 NEW BEST:: SOT 2200220 SOS 2119573 HAS SOPS 2118630 HAS SOUS 1235628 HAS SOUPS 1235242 WITH SCORE 1237361.573
AT ITER 2082 NEW BEST:: SOT 2200220 SOS 2119615 HAS SOPS 2118672 HAS SOUS 1235358 HAS SOUPS 1234972 WITH SCORE 1237091.615
AT ITER 2128 NEW BEST:: SOT 2201774 SOS 2121169 HAS SOPS 2120226 HAS SOUS 1235224 HAS SOUPS 1234838 WITH SCORE 1236959.169
AT ITER 2174 NEW BEST:: SOT 2201591 SOS 2120986 HAS SOPS 2120043 HAS SOUS 1234962 HAS SOUPS 1234576 WITH SCORE 1236696.986
AT ITER 2185 NEW BEST:: SOT 2201591 SOS 2120986 HAS SOPS 2120043 HAS SOUS 1234896 HAS SOUPS 1234510 WITH SCORE 1236630.986
AT ITER 2193 NEW BEST:: SOT 2201964 SOS 2121359 HAS SOPS 2120416 HAS SOUS 1234837 HAS SOUPS 1234451 WITH SCORE 1236572.359
AT ITER 2229 NEW BEST:: SOT 2203719 SOS 2123114 HAS SOPS 2122171 HAS SOUS 1228384 HAS SOUPS 1227998 WITH SCORE 1230121.114
AT ITER 2241 NEW BEST:: SOT 2210803 SOS 2129481 HAS SOPS 2128483 HAS SOUS 1221966 HAS SOUPS 1221580 WITH SCORE 1223709.481
AT ITER 2292 NEW BEST:: SOT 2211304 SOS 2129982 HAS SOPS 2128984 HAS SOUS 1221515 HAS SOUPS 1221129 WITH SCORE 1223258.982
AT ITER 2317 NEW BEST:: SOT 2212915 SOS 2131593 HAS SOPS 2130595 HAS SOUS 1219823 HAS SOUPS 1219437 WITH SCORE 1221568.593
AT ITER 2357 NEW BEST:: SOT 2214178 SOS 2132856 HAS SOPS 2131858 HAS SOUS 1219668 HAS SOUPS 1219282 WITH SCORE 1221414.856
AT ITER 2385 NEW BEST:: SOT 2214534 SOS 2133212 HAS SOPS 2132214 HAS SOUS 1218205 HAS SOUPS 1217819 WITH SCORE 1219952.212
AT ITER 2402 NEW BEST:: SOT 2214534 SOS 2133212 HAS SOPS 2132214 HAS SOUS 1217908 HAS SOUPS 1217522 WITH SCORE 1219655.212
AT ITER 2414 NEW BEST:: SOT 2214717 SOS 2133395 HAS SOPS 2132397 HAS SOUS 1217108 HAS SOUPS 1216722 WITH SCORE 1218855.395
AT ITER 2474 NEW BEST:: SOT 2214359 SOS 2133037 HAS SOPS 2132039 HAS SOUS 1217074 HAS SOUPS 1216688 WITH SCORE 1218821.037
AT ITER 2495 NEW BEST:: SOT 2214659 SOS 2133337 HAS SOPS 2132339 HAS SOUS 1216157 HAS SOUPS 1215771 WITH SCORE 1217904.337
AT ITER 2509 NEW BEST:: SOT 2214659 SOS 2133337 HAS SOPS 2132339 HAS SOUS 1215953 HAS SOUPS 1215567 WITH SCORE 1217700.337
AT ITER 2556 NEW BEST:: SOT 2214659 SOS 2133337 HAS SOPS 2132339 HAS SOUS 1215625 HAS SOUPS 1215239 WITH SCORE 1217372.337
AT ITER 2594 NEW BEST:: SOT 2214201 SOS 2132879 HAS SOPS 2131881 HAS SOUS 1215167 HAS SOUPS 1214781 WITH SCORE 1216913.879
AT ITER 2650 NEW BEST:: SOT 2214201 SOS 2132879 HAS SOPS 2131881 HAS SOUS 1214996 HAS SOUPS 1214610 WITH SCORE 1216742.879
AT ITER 2675 NEW BEST:: SOT 2214433 SOS 2133111 HAS SOPS 2132113 HAS SOUS 1214403 HAS SOUPS 1214017 WITH SCORE 1216150.111
AT ITER 2729 NEW BEST:: SOT 2215045 SOS 2133723 HAS SOPS 2132725 HAS SOUS 1213714 HAS SOUPS 1213328 WITH SCORE 1215461.723
AT ITER 2755 NEW BEST:: SOT 2214728 SOS 2133406 HAS SOPS 2132408 HAS SOUS 1213282 HAS SOUPS 1212896 WITH SCORE 1215029.406
AT ITER 2787 NEW BEST:: SOT 2214617 SOS 2133295 HAS SOPS 2132297 HAS SOUS 1213171 HAS SOUPS 1212785 WITH SCORE 1214918.295
AT ITER 2795 NEW BEST:: SOT 2214901 SOS 2133579 HAS SOPS 2132581 HAS SOUS 1212787 HAS SOUPS 1212401 WITH SCORE 1214534.579
AT ITER 2819 NEW BEST:: SOT 2221165 SOS 2139843 HAS SOPS 2138845 HAS SOUS 1206191 HAS SOUPS 1205805 WITH SCORE 1207944.843
AT ITER 2826 NEW BEST:: SOT 2221165 SOS 2139494 HAS SOPS 2138496 HAS SOUS 1206191 HAS SOUPS 1205805 WITH SCORE 1207944.494
AT ITER 2854 NEW BEST:: SOT 2221741 SOS 2140070 HAS SOPS 2139072 HAS SOUS 1204627 HAS SOUPS 1204241 WITH SCORE 1206381.07
AT ITER 2920 NEW BEST:: SOT 2221741 SOS 2140070 HAS SOPS 2139072 HAS SOUS 1204171 HAS SOUPS 1203785 WITH SCORE 1205925.07
AT ITER 2930 NEW BEST:: SOT 2225781 SOS 2144110 HAS SOPS 2143112 HAS SOUS 1202515 HAS SOUPS 1202129 WITH SCORE 1204273.11
AT ITER 2943 NEW BEST:: SOT 2225781 SOS 2144110 HAS SOPS 2143112 HAS SOUS 1202440 HAS SOUPS 1202054 WITH SCORE 1204198.11
AT ITER 2957 NEW BEST:: SOT 2226005 SOS 2144334 HAS SOPS 2143336 HAS SOUS 1201822 HAS SOUPS 1201436 WITH SCORE 1203580.334
AT ITER 3161 NEW BEST:: SOT 2226005 SOS 2144049 HAS SOPS 2143051 HAS SOUS 1200091 HAS SOUPS 1199705 WITH SCORE 1201849.049
AT ITER 3180 NEW BEST:: SOT 2225956 SOS 2144000 HAS SOPS 2143002 HAS SOUS 1199993 HAS SOUPS 1199607 WITH SCORE 1201751.0
AT ITER 3221 NEW BEST:: SOT 2225843 SOS 2143887 HAS SOPS 2142889 HAS SOUS 1199740 HAS SOUPS 1199354 WITH SCORE 1201497.887
AT ITER 3243 NEW BEST:: SOT 2225843 SOS 2135206 HAS SOPS 2134208 HAS SOUS 1199739 HAS SOUPS 1199353 WITH SCORE 1201488.206
AT ITER 3251 NEW BEST:: SOT 2225843 SOS 2135206 HAS SOPS 2134208 HAS SOUS 1199453 HAS SOUPS 1199067 WITH SCORE 1201202.206
AT ITER 3271 NEW BEST:: SOT 2229288 SOS 2138651 HAS SOPS 2137653 HAS SOUS 1197910 HAS SOUPS 1197524 WITH SCORE 1199662.651
AT ITER 3282 NEW BEST:: SOT 2229630 SOS 2138701 HAS SOPS 2137703 HAS SOUS 1196720 HAS SOUPS 1196334 WITH SCORE 1198472.701
AT ITER 3348 NEW BEST:: SOT 2229630 SOS 2138701 HAS SOPS 2137703 HAS SOUS 1196576 HAS SOUPS 1196190 WITH SCORE 1198328.701
AT ITER 3349 NEW BEST:: SOT 2229630 SOS 2138665 HAS SOPS 2137667 HAS SOUS 1196540 HAS SOUPS 1196154 WITH SCORE 1198292.665
AT ITER 3355 NEW BEST:: SOT 2229630 SOS 2138665 HAS SOPS 2137667 HAS SOUS 1196088 HAS SOUPS 1195702 WITH SCORE 1197840.665
AT ITER 3433 NEW BEST:: SOT 2234782 SOS 2143817 HAS SOPS 2142819 HAS SOUS 1196056 HAS SOUPS 1195670 WITH SCORE 1197813.817
AT ITER 3436 NEW BEST:: SOT 2234782 SOS 2143768 HAS SOPS 2142770 HAS SOUS 1195749 HAS SOUPS 1195363 WITH SCORE 1197506.768
AT ITER 3446 NEW BEST:: SOT 2240249 SOS 2147763 HAS SOPS 2146652 HAS SOUS 1188413 HAS SOUPS 1188027 WITH SCORE 1190174.763
AT ITER 3454 NEW BEST:: SOT 2240651 SOS 2148080 HAS SOPS 2146969 HAS SOUS 1187684 HAS SOUPS 1187298 WITH SCORE 1189446.08
AT ITER 3458 NEW BEST:: SOT 2240651 SOS 2147527 HAS SOPS 2146416 HAS SOUS 1187330 HAS SOUPS 1186944 WITH SCORE 1189091.527
AT ITER 3487 NEW BEST:: SOT 2247832 SOS 2152203 HAS SOPS 2150993 HAS SOUS 1181749 HAS SOUPS 1181363 WITH SCORE 1183515.203
AT ITER 3495 NEW BEST:: SOT 2247832 SOS 2152203 HAS SOPS 2150993 HAS SOUS 1181698 HAS SOUPS 1181312 WITH SCORE 1183464.203
AT ITER 3506 NEW BEST:: SOT 2247566 SOS 2151937 HAS SOPS 2150727 HAS SOUS 1181286 HAS SOUPS 1180900 WITH SCORE 1183051.937
AT ITER 3601 NEW BEST:: SOT 2251370 SOS 2155451 HAS SOPS 2154241 HAS SOUS 1180937 HAS SOUPS 1180551 WITH SCORE 1182706.451
AT ITER 3603 NEW BEST:: SOT 2252762 SOS 2156843 HAS SOPS 2155633 HAS SOUS 1180050 HAS SOUPS 1179664 WITH SCORE 1181820.843
AT ITER 3718 NEW BEST:: SOT 2252762 SOS 2156781 HAS SOPS 2155571 HAS SOUS 1179678 HAS SOUPS 1179292 WITH SCORE 1181448.781
AT ITER 3758 NEW BEST:: SOT 2252762 SOS 2156701 HAS SOPS 2155491 HAS SOUS 1179518 HAS SOUPS 1179132 WITH SCORE 1181288.701
AT ITER 3827 NEW BEST:: SOT 2254993 SOS 2157472 HAS SOPS 2156133 HAS SOUS 1173434 HAS SOUPS 1173048 WITH SCORE 1175205.472
AT ITER 3917 NEW BEST:: SOT 2254464 SOS 2156943 HAS SOPS 2155604 HAS SOUS 1172623 HAS SOUPS 1172237 WITH SCORE 1174393.943
AT ITER 3996 NEW BEST:: SOT 2254873 SOS 2157352 HAS SOPS 2156013 HAS SOUS 1172471 HAS SOUPS 1172085 WITH SCORE 1174242.352
AT ITER 4007 NEW BEST:: SOT 2255517 SOS 2157702 HAS SOPS 2156363 HAS SOUS 1171396 HAS SOUPS 1171010 WITH SCORE 1173167.702
AT ITER 4013 NEW BEST:: SOT 2255292 SOS 2157477 HAS SOPS 2156138 HAS SOUS 1170892 HAS SOUPS 1170506 WITH SCORE 1172663.477
AT ITER 4203 NEW BEST:: SOT 2256840 SOS 2159025 HAS SOPS 2157686 HAS SOUS 1170492 HAS SOUPS 1170106 WITH SCORE 1172265.025
AT ITER 4222 NEW BEST:: SOT 2258164 SOS 2160349 HAS SOPS 2159010 HAS SOUS 1169966 HAS SOUPS 1169580 WITH SCORE 1171740.349
AT ITER 4224 NEW BEST:: SOT 2258912 SOS 2161097 HAS SOPS 2159758 HAS SOUS 1169623 HAS SOUPS 1169237 WITH SCORE 1171398.097
AT ITER 4292 NEW BEST:: SOT 2257905 SOS 2160090 HAS SOPS 2158751 HAS SOUS 1169595 HAS SOUPS 1169209 WITH SCORE 1171369.09
AT ITER 4344 NEW BEST:: SOT 2257586 SOS 2159771 HAS SOPS 2158432 HAS SOUS 1169475 HAS SOUPS 1169089 WITH SCORE 1171248.771
AT ITER 4345 NEW BEST:: SOT 2257586 SOS 2159771 HAS SOPS 2158432 HAS SOUS 1169422 HAS SOUPS 1169036 WITH SCORE 1171195.771
AT ITER 4358 NEW BEST:: SOT 2257586 SOS 2159771 HAS SOPS 2158432 HAS SOUS 1169320 HAS SOUPS 1168934 WITH SCORE 1171093.771
AT ITER 4372 NEW BEST:: SOT 2257562 SOS 2159747 HAS SOPS 2158408 HAS SOUS 1169284 HAS SOUPS 1168898 WITH SCORE 1171057.747
AT ITER 4375 NEW BEST:: SOT 2257562 SOS 2159747 HAS SOPS 2158408 HAS SOUS 1168784 HAS SOUPS 1168398 WITH SCORE 1170557.747
AT ITER 4384 NEW BEST:: SOT 2258050 SOS 2159947 HAS SOPS 2158608 HAS SOUS 1167974 HAS SOUPS 1167588 WITH SCORE 1169747.947
AT ITER 4385 NEW BEST:: SOT 2257853 SOS 2159750 HAS SOPS 2158411 HAS SOUS 1167615 HAS SOUPS 1167229 WITH SCORE 1169388.75
AT ITER 4401 NEW BEST:: SOT 2257853 SOS 2159750 HAS SOPS 2158411 HAS SOUS 1167230 HAS SOUPS 1166844 WITH SCORE 1169003.75
AT ITER 4462 NEW BEST:: SOT 2257853 SOS 2159750 HAS SOPS 2158411 HAS SOUS 1166744 HAS SOUPS 1166358 WITH SCORE 1168517.75
AT ITER 4487 NEW BEST:: SOT 2257869 SOS 2159766 HAS SOPS 2158427 HAS SOUS 1166315 HAS SOUPS 1165929 WITH SCORE 1168088.766
AT ITER 4507 NEW BEST:: SOT 2257778 SOS 2159675 HAS SOPS 2158336 HAS SOUS 1166224 HAS SOUPS 1165838 WITH SCORE 1167997.675
AT ITER 4588 NEW BEST:: SOT 2259278 SOS 2160895 HAS SOPS 2159556 HAS SOUS 1164581 HAS SOUPS 1164195 WITH SCORE 1166355.895
AT ITER 4621 NEW BEST:: SOT 2259278 SOS 2130376 HAS SOPS 2129037 HAS SOUS 1164342 HAS SOUPS 1163956 WITH SCORE 1166086.376
AT ITER 4637 NEW BEST:: SOT 2260565 SOS 2131663 HAS SOPS 2130324 HAS SOUS 1163907 HAS SOUPS 1163521 WITH SCORE 1165652.663
AT ITER 4754 NEW BEST:: SOT 2259574 SOS 2130672 HAS SOPS 2129333 HAS SOUS 1162895 HAS SOUPS 1162509 WITH SCORE 1164639.672
AT ITER 4764 NEW BEST:: SOT 2261906 SOS 2132778 HAS SOPS 2131439 HAS SOUS 1162404 HAS SOUPS 1162018 WITH SCORE 1164150.778
AT ITER 4774 NEW BEST:: SOT 2261424 SOS 2132419 HAS SOPS 2131080 HAS SOUS 1162138 HAS SOUPS 1161752 WITH SCORE 1163884.419
AT ITER 4798 NEW BEST:: SOT 2272787 SOS 2143782 HAS SOPS 2142443 HAS SOUS 1159515 HAS SOUPS 1159129 WITH SCORE 1161272.782
AT ITER 4844 NEW BEST:: SOT 2274975 SOS 2145970 HAS SOPS 2144631 HAS SOUS 1156999 HAS SOUPS 1156613 WITH SCORE 1158758.97
AT ITER 4860 NEW BEST:: SOT 2278486 SOS 2145017 HAS SOPS 2143465 HAS SOUS 1151228 HAS SOUPS 1150842 WITH SCORE 1152987.017
AT ITER 4906 NEW BEST:: SOT 2278153 SOS 2144684 HAS SOPS 2143132 HAS SOUS 1150895 HAS SOUPS 1150509 WITH SCORE 1152653.684
AT ITER 4937 NEW BEST:: SOT 2278153 SOS 2144684 HAS SOPS 2143132 HAS SOUS 1150737 HAS SOUPS 1150351 WITH SCORE 1152495.684
AT ITER 4967 NEW BEST:: SOT 2278153 SOS 2144684 HAS SOPS 2143132 HAS SOUS 1150590 HAS SOUPS 1150204 WITH SCORE 1152348.684
AT ITER 4978 NEW BEST:: SOT 2278153 SOS 2144684 HAS SOPS 2143132 HAS SOUS 1150588 HAS SOUPS 1150202 WITH SCORE 1152346.684
AT ITER 5001 NEW BEST:: SOT 2278338 SOS 2144869 HAS SOPS 2143317 HAS SOUS 1150176 HAS SOUPS 1149790 WITH SCORE 1151934.869
AT ITER 5005 NEW BEST:: SOT 2273728 SOS 2140259 HAS SOPS 2138707 HAS SOUS 1149715 HAS SOUPS 1149329 WITH SCORE 1151469.259
AT ITER 5074 NEW BEST:: SOT 2273728 SOS 2140259 HAS SOPS 2138707 HAS SOUS 1149358 HAS SOUPS 1148972 WITH SCORE 1151112.259
AT ITER 5077 NEW BEST:: SOT 2273728 SOS 2140259 HAS SOPS 2138707 HAS SOUS 1149357 HAS SOUPS 1148971 WITH SCORE 1151111.259
AT ITER 5098 NEW BEST:: SOT 2290960 SOS 2157491 HAS SOPS 2155939 HAS SOUS 1148622 HAS SOUPS 1148236 WITH SCORE 1150393.491
AT ITER 5103 NEW BEST:: SOT 2290840 SOS 2157371 HAS SOPS 2155819 HAS SOUS 1148562 HAS SOUPS 1148176 WITH SCORE 1150333.371
AT ITER 5123 NEW BEST:: SOT 2292965 SOS 2159496 HAS SOPS 2157944 HAS SOUS 1148122 HAS SOUPS 1147736 WITH SCORE 1149895.496
AT ITER 5175 NEW BEST:: SOT 2295530 SOS 2162061 HAS SOPS 2160509 HAS SOUS 1146760 HAS SOUPS 1146374 WITH SCORE 1148536.061
AT ITER 5184 NEW BEST:: SOT 2295530 SOS 2161935 HAS SOPS 2160383 HAS SOUS 1145878 HAS SOUPS 1145492 WITH SCORE 1147653.935
AT ITER 5191 NEW BEST:: SOT 2295530 SOS 2162283 HAS SOPS 2160731 HAS SOUS 1141078 HAS SOUPS 1140692 WITH SCORE 1142854.283
AT ITER 5201 NEW BEST:: SOT 2296784 SOS 2163537 HAS SOPS 2161985 HAS SOUS 1140935 HAS SOUPS 1140549 WITH SCORE 1142712.537
AT ITER 5225 NEW BEST:: SOT 2294940 SOS 2161693 HAS SOPS 2160141 HAS SOUS 1140703 HAS SOUPS 1140317 WITH SCORE 1142478.693
AT ITER 5239 NEW BEST:: SOT 2294364 SOS 2161117 HAS SOPS 2159565 HAS SOUS 1139991 HAS SOUPS 1139605 WITH SCORE 1141766.117
AT ITER 5240 NEW BEST:: SOT 2293718 SOS 2160471 HAS SOPS 2158689 HAS SOUS 1139531 HAS SOUPS 1139145 WITH SCORE 1141305.471
AT ITER 5243 NEW BEST:: SOT 2293189 SOS 2159942 HAS SOPS 2158160 HAS SOUS 1138597 HAS SOUPS 1138211 WITH SCORE 1140370.942
AT ITER 5251 NEW BEST:: SOT 2293189 SOS 2153801 HAS SOPS 2152019 HAS SOUS 1138597 HAS SOUPS 1138211 WITH SCORE 1140364.801
AT ITER 5330 NEW BEST:: SOT 2293189 SOS 2153801 HAS SOPS 2152019 HAS SOUS 1137605 HAS SOUPS 1137219 WITH SCORE 1139372.801
AT ITER 5471 NEW BEST:: SOT 2295037 SOS 2155510 HAS SOPS 2153728 HAS SOUS 1136882 HAS SOUPS 1136496 WITH SCORE 1138651.51
AT ITER 5509 NEW BEST:: SOT 2295037 SOS 2155269 HAS SOPS 2153487 HAS SOUS 1136882 HAS SOUPS 1136496 WITH SCORE 1138651.269
AT ITER 5513 NEW BEST:: SOT 2295285 SOS 2155294 HAS SOPS 2153512 HAS SOUS 1136441 HAS SOUPS 1136055 WITH SCORE 1138210.294
AT ITER 5531 NEW BEST:: SOT 2294963 SOS 2154972 HAS SOPS 2153190 HAS SOUS 1136280 HAS SOUPS 1135894 WITH SCORE 1138048.972
AT ITER 5559 NEW BEST:: SOT 2294963 SOS 2154972 HAS SOPS 2153190 HAS SOUS 1136010 HAS SOUPS 1135624 WITH SCORE 1137778.972
AT ITER 5664 NEW BEST:: SOT 2297810 SOS 2157819 HAS SOPS 2156037 HAS SOUS 1135616 HAS SOUPS 1135230 WITH SCORE 1137387.819
AT ITER 5665 NEW BEST:: SOT 2296126 SOS 2156135 HAS SOPS 2154353 HAS SOUS 1135421 HAS SOUPS 1135035 WITH SCORE 1137191.135
AT ITER 5731 NEW BEST:: SOT 2296126 SOS 2156135 HAS SOPS 2154353 HAS SOUS 1135167 HAS SOUPS 1134781 WITH SCORE 1136937.135
AT ITER 5748 NEW BEST:: SOT 2295698 SOS 2155707 HAS SOPS 2153925 HAS SOUS 1134545 HAS SOUPS 1134159 WITH SCORE 1136314.707
AT ITER 5756 NEW BEST:: SOT 2295698 SOS 2155707 HAS SOPS 2153925 HAS SOUS 1134408 HAS SOUPS 1134022 WITH SCORE 1136177.707
AT ITER 5760 NEW BEST:: SOT 2294688 SOS 2154697 HAS SOPS 2152915 HAS SOUS 1134206 HAS SOUPS 1133820 WITH SCORE 1135974.697
AT ITER 5791 NEW BEST:: SOT 2294688 SOS 2154632 HAS SOPS 2152850 HAS SOUS 1134076 HAS SOUPS 1133690 WITH SCORE 1135844.632
AT ITER 5797 NEW BEST:: SOT 2304120 SOS 2163785 HAS SOPS 2162003 HAS SOUS 1128138 HAS SOUPS 1127752 WITH SCORE 1129915.785
AT ITER 5802 NEW BEST:: SOT 2304120 SOS 2163785 HAS SOPS 2162003 HAS SOUS 1127954 HAS SOUPS 1127568 WITH SCORE 1129731.785
AT ITER 5807 NEW BEST:: SOT 2305550 SOS 2164500 HAS SOPS 2162003 HAS SOUS 1128302 HAS SOUPS 1127564 WITH SCORE 1129728.5
AT ITER 5818 NEW BEST:: SOT 2308280 SOS 2167092 HAS SOPS 2164595 HAS SOUS 1127873 HAS SOUPS 1127135 WITH SCORE 1129302.092
AT ITER 5820 NEW BEST:: SOT 2308205 SOS 2167017 HAS SOPS 2164520 HAS SOUS 1127723 HAS SOUPS 1126985 WITH SCORE 1129152.017
AT ITER 5838 NEW BEST:: SOT 2308205 SOS 2167115 HAS SOPS 2164618 HAS SOUS 1123605 HAS SOUPS 1122867 WITH SCORE 1125034.115
AT ITER 5842 NEW BEST:: SOT 2309383 SOS 2168293 HAS SOPS 2165796 HAS SOUS 1123349 HAS SOUPS 1122611 WITH SCORE 1124779.293
AT ITER 5850 NEW BEST:: SOT 2310529 SOS 2169439 HAS SOPS 2166942 HAS SOUS 1123320 HAS SOUPS 1122582 WITH SCORE 1124751.439
AT ITER 5860 NEW BEST:: SOT 2311295 SOS 2169750 HAS SOPS 2167191 HAS SOUS 1117711 HAS SOUPS 1116973 WITH SCORE 1119142.75
AT ITER 5909 NEW BEST:: SOT 2311295 SOS 2169457 HAS SOPS 2166898 HAS SOUS 1117007 HAS SOUPS 1116269 WITH SCORE 1118438.457
AT ITER 5914 NEW BEST:: SOT 2311295 SOS 2169364 HAS SOPS 2166805 HAS SOUS 1116671 HAS SOUPS 1115933 WITH SCORE 1118102.364
AT ITER 5983 NEW BEST:: SOT 2311295 SOS 2169364 HAS SOPS 2166805 HAS SOUS 1116515 HAS SOUPS 1115777 WITH SCORE 1117946.364
AT ITER 5984 NEW BEST:: SOT 2311295 SOS 2169364 HAS SOPS 2166805 HAS SOUS 1116453 HAS SOUPS 1115715 WITH SCORE 1117884.364
AT ITER 6037 NEW BEST:: SOT 2317510 SOS 2175579 HAS SOPS 2173020 HAS SOUS 1115602 HAS SOUPS 1114864 WITH SCORE 1117039.579
AT ITER 6043 NEW BEST:: SOT 2317510 SOS 2175465 HAS SOPS 2172906 HAS SOUS 1115246 HAS SOUPS 1114508 WITH SCORE 1116683.465
AT ITER 6058 NEW BEST:: SOT 2317510 SOS 2174615 HAS SOPS 2172056 HAS SOUS 1115138 HAS SOUPS 1114400 WITH SCORE 1116574.615
AT ITER 6070 NEW BEST:: SOT 2317678 SOS 2174783 HAS SOPS 2172224 HAS SOUS 1114466 HAS SOUPS 1113728 WITH SCORE 1115902.783
AT ITER 6071 NEW BEST:: SOT 2339040 SOS 2196145 HAS SOPS 2193586 HAS SOUS 1113992 HAS SOUPS 1113254 WITH SCORE 1115450.145
AT ITER 6083 NEW BEST:: SOT 2340294 SOS 2196998 HAS SOPS 2194439 HAS SOUS 1113624 HAS SOUPS 1112886 WITH SCORE 1115082.998
AT ITER 6087 NEW BEST:: SOT 2342928 SOS 2199397 HAS SOPS 2196838 HAS SOUS 1113330 HAS SOUPS 1112592 WITH SCORE 1114791.397
AT ITER 6092 NEW BEST:: SOT 2342928 SOS 2199648 HAS SOPS 2197089 HAS SOUS 1113329 HAS SOUPS 1112591 WITH SCORE 1114790.648
AT ITER 6137 NEW BEST:: SOT 2342762 SOS 2199482 HAS SOPS 2196923 HAS SOUS 1113004 HAS SOUPS 1112266 WITH SCORE 1114465.482
AT ITER 6147 NEW BEST:: SOT 2342762 SOS 2199393 HAS SOPS 2196834 HAS SOUS 1113004 HAS SOUPS 1112266 WITH SCORE 1114465.393
AT ITER 6172 NEW BEST:: SOT 2342762 SOS 2199393 HAS SOPS 2196834 HAS SOUS 1112330 HAS SOUPS 1111592 WITH SCORE 1113791.393
AT ITER 6192 NEW BEST:: SOT 2348797 SOS 2205385 HAS SOPS 2202826 HAS SOUS 1109794 HAS SOUPS 1109056 WITH SCORE 1111261.385
AT ITER 6246 NEW BEST:: SOT 2348797 SOS 2205385 HAS SOPS 2202826 HAS SOUS 1109583 HAS SOUPS 1108845 WITH SCORE 1111050.385
AT ITER 6249 NEW BEST:: SOT 2349219 SOS 2205807 HAS SOPS 2203248 HAS SOUS 1109471 HAS SOUPS 1108733 WITH SCORE 1110938.807
AT ITER 6263 NEW BEST:: SOT 2343191 SOS 2199779 HAS SOPS 2197220 HAS SOUS 1103863 HAS SOUPS 1103125 WITH SCORE 1105324.779
AT ITER 6275 NEW BEST:: SOT 2343153 SOS 2199741 HAS SOPS 2197182 HAS SOUS 1103787 HAS SOUPS 1103049 WITH SCORE 1105248.741
AT ITER 6295 NEW BEST:: SOT 2342569 SOS 2199157 HAS SOPS 2196598 HAS SOUS 1102741 HAS SOUPS 1102003 WITH SCORE 1104202.157
AT ITER 6303 NEW BEST:: SOT 2342524 SOS 2199112 HAS SOPS 2196553 HAS SOUS 1102696 HAS SOUPS 1101958 WITH SCORE 1104157.112
AT ITER 6338 NEW BEST:: SOT 2342113 SOS 2198701 HAS SOPS 2196142 HAS SOUS 1102133 HAS SOUPS 1101395 WITH SCORE 1103593.701
AT ITER 6374 NEW BEST:: SOT 2356776 SOS 2213364 HAS SOPS 2210805 HAS SOUS 1096264 HAS SOUPS 1095526 WITH SCORE 1097739.364
AT ITER 6395 NEW BEST:: SOT 2358240 SOS 2214690 HAS SOPS 2212131 HAS SOUS 1096203 HAS SOUPS 1095465 WITH SCORE 1097679.69
AT ITER 6406 NEW BEST:: SOT 2358240 SOS 2214690 HAS SOPS 2212131 HAS SOUS 1096162 HAS SOUPS 1095424 WITH SCORE 1097638.69
AT ITER 6459 NEW BEST:: SOT 2358240 SOS 2214390 HAS SOPS 2211831 HAS SOUS 1095390 HAS SOUPS 1094652 WITH SCORE 1096866.39
AT ITER 6494 NEW BEST:: SOT 2358240 SOS 2214390 HAS SOPS 2211831 HAS SOUS 1095331 HAS SOUPS 1094593 WITH SCORE 1096807.39
AT ITER 6537 NEW BEST:: SOT 2369239 SOS 2223933 HAS SOPS 2221237 HAS SOUS 1088973 HAS SOUPS 1088235 WITH SCORE 1090458.933
AT ITER 6546 NEW BEST:: SOT 2369875 SOS 2224569 HAS SOPS 2221873 HAS SOUS 1088255 HAS SOUPS 1087517 WITH SCORE 1089741.569
AT ITER 6583 NEW BEST:: SOT 2369875 SOS 2224483 HAS SOPS 2221787 HAS SOUS 1088043 HAS SOUPS 1087305 WITH SCORE 1089529.483
AT ITER 6590 NEW BEST:: SOT 2378994 SOS 2233602 HAS SOPS 2230906 HAS SOUS 1081406 HAS SOUPS 1080668 WITH SCORE 1082901.602
AT ITER 6607 NEW BEST:: SOT 2378994 SOS 2233284 HAS SOPS 2230588 HAS SOUS 1080770 HAS SOUPS 1080032 WITH SCORE 1082265.284
AT ITER 6632 NEW BEST:: SOT 2381394 SOS 2235544 HAS SOPS 2232848 HAS SOUS 1080230 HAS SOUPS 1079492 WITH SCORE 1081727.544
AT ITER 6654 NEW BEST:: SOT 2382553 SOS 2236703 HAS SOPS 2234007 HAS SOUS 1079662 HAS SOUPS 1078924 WITH SCORE 1081160.703
AT ITER 6659 NEW BEST:: SOT 2384653 SOS 2238803 HAS SOPS 2236107 HAS SOUS 1077154 HAS SOUPS 1076416 WITH SCORE 1078654.803
AT ITER 6715 NEW BEST:: SOT 2384236 SOS 2238386 HAS SOPS 2235690 HAS SOUS 1076876 HAS SOUPS 1076138 WITH SCORE 1078376.386
AT ITER 6729 NEW BEST:: SOT 2384236 SOS 2238356 HAS SOPS 2235660 HAS SOUS 1076772 HAS SOUPS 1076034 WITH SCORE 1078272.356
AT ITER 6743 NEW BEST:: SOT 2384161 SOS 2238281 HAS SOPS 2235585 HAS SOUS 1076697 HAS SOUPS 1075959 WITH SCORE 1078197.281
AT ITER 6775 NEW BEST:: SOT 2385590 SOS 2239710 HAS SOPS 2237014 HAS SOUS 1076360 HAS SOUPS 1075622 WITH SCORE 1077861.71
AT ITER 6931 NEW BEST:: SOT 2386874 SOS 2240994 HAS SOPS 2238298 HAS SOUS 1076239 HAS SOUPS 1075501 WITH SCORE 1077741.994
AT ITER 6966 NEW BEST:: SOT 2389824 SOS 2243944 HAS SOPS 2241248 HAS SOUS 1073607 HAS SOUPS 1072869 WITH SCORE 1075112.944
AT ITER 7032 NEW BEST:: SOT 2040755 SOS 1905617 HAS SOPS 1896522 HAS SOUS 724944 HAS SOUPS 723922 WITH SCORE 725827.617
AT ITER 7093 NEW BEST:: SOT 2041159 SOS 1906021 HAS SOPS 1896926 HAS SOUS 724746 HAS SOUPS 723724 WITH SCORE 725630.021
AT ITER 7109 NEW BEST:: SOT 2040021 SOS 1904883 HAS SOPS 1895788 HAS SOUS 722969 HAS SOUPS 721947 WITH SCORE 723851.883
AT ITER 7130 NEW BEST:: SOT 2040633 SOS 1905822 HAS SOPS 1897068 HAS SOUS 722802 HAS SOUPS 721780 WITH SCORE 723685.822
AT ITER 7133 NEW BEST:: SOT 2040633 SOS 1905571 HAS SOPS 1896817 HAS SOUS 722802 HAS SOUPS 721780 WITH SCORE 723685.571
AT ITER 7201 NEW BEST:: SOT 2040513 SOS 1905451 HAS SOPS 1896697 HAS SOUS 722802 HAS SOUPS 721780 WITH SCORE 723685.451
AT ITER 7210 NEW BEST:: SOT 2041296 SOS 1906234 HAS SOPS 1897480 HAS SOUS 722468 HAS SOUPS 721446 WITH SCORE 723352.234
AT ITER 7218 NEW BEST:: SOT 2040952 SOS 1905890 HAS SOPS 1897136 HAS SOUS 722144 HAS SOUPS 721122 WITH SCORE 723027.89
AT ITER 7222 NEW BEST:: SOT 2040548 SOS 1905486 HAS SOPS 1896732 HAS SOUS 722139 HAS SOUPS 721117 WITH SCORE 723022.486
AT ITER 7291 NEW BEST:: SOT 2041954 SOS 1906892 HAS SOPS 1898138 HAS SOUS 722064 HAS SOUPS 721042 WITH SCORE 722948.892
AT ITER 7317 NEW BEST:: SOT 2041920 SOS 1906858 HAS SOPS 1898104 HAS SOUS 721189 HAS SOUPS 720167 WITH SCORE 722073.858
AT ITER 7326 NEW BEST:: SOT 2041920 SOS 1906858 HAS SOPS 1898104 HAS SOUS 721187 HAS SOUPS 720165 WITH SCORE 722071.858
AT ITER 7333 NEW BEST:: SOT 2045905 SOS 1910843 HAS SOPS 1902089 HAS SOUS 721120 HAS SOUPS 720098 WITH SCORE 722008.843
AT ITER 7338 NEW BEST:: SOT 2045652 SOS 1910590 HAS SOPS 1901836 HAS SOUS 720867 HAS SOUPS 719845 WITH SCORE 721755.59
AT ITER 7379 NEW BEST:: SOT 2046194 SOS 1911132 HAS SOPS 1902378 HAS SOUS 720791 HAS SOUPS 719769 WITH SCORE 721680.132
AT ITER 7383 NEW BEST:: SOT 2046113 SOS 1911051 HAS SOPS 1902297 HAS SOUS 720710 HAS SOUPS 719688 WITH SCORE 721599.051
AT ITER 7386 NEW BEST:: SOT 2045982 SOS 1910607 HAS SOPS 1901779 HAS SOUS 720328 HAS SOUPS 719306 WITH SCORE 721216.607
AT ITER 7388 NEW BEST:: SOT 2040191 SOS 1904816 HAS SOPS 1895588 HAS SOUS 720127 HAS SOUPS 719105 WITH SCORE 721009.816
AT ITER 7476 NEW BEST:: SOT 2040306 SOS 1904931 HAS SOPS 1895703 HAS SOUS 719937 HAS SOUPS 718915 WITH SCORE 720819.931
AT ITER 7528 NEW BEST:: SOT 2051053 SOS 1915678 HAS SOPS 1906450 HAS SOUS 716243 HAS SOUPS 715221 WITH SCORE 717136.678
AT ITER 7538 NEW BEST:: SOT 2050348 SOS 1915001 HAS SOPS 1905773 HAS SOUS 716205 HAS SOUPS 715183 WITH SCORE 717098.001
AT ITER 7539 NEW BEST:: SOT 2049982 SOS 1914330 HAS SOPS 1905038 HAS SOUS 715634 HAS SOUPS 714612 WITH SCORE 716526.33
AT ITER 7549 NEW BEST:: SOT 2049830 SOS 1914178 HAS SOPS 1904886 HAS SOUS 715406 HAS SOUPS 714384 WITH SCORE 716298.178
AT ITER 7575 NEW BEST:: SOT 2049707 SOS 1914055 HAS SOPS 1904763 HAS SOUS 715266 HAS SOUPS 714244 WITH SCORE 716158.055
AT ITER 7625 NEW BEST:: SOT 2049707 SOS 1914055 HAS SOPS 1904763 HAS SOUS 715146 HAS SOUPS 714124 WITH SCORE 716038.055
AT ITER 7665 NEW BEST:: SOT 2049707 SOS 1914055 HAS SOPS 1904763 HAS SOUS 714938 HAS SOUPS 713916 WITH SCORE 715830.055
AT ITER 7692 NEW BEST:: SOT 2070469 SOS 1934382 HAS SOPS 1924765 HAS SOUS 713390 HAS SOUPS 712368 WITH SCORE 714302.382
AT ITER 7756 NEW BEST:: SOT 2070469 SOS 1934246 HAS SOPS 1924629 HAS SOUS 713181 HAS SOUPS 712159 WITH SCORE 714093.246
AT ITER 7806 NEW BEST:: SOT 2070794 SOS 1934571 HAS SOPS 1924954 HAS SOUS 712211 HAS SOUPS 711189 WITH SCORE 713123.571
AT ITER 7821 NEW BEST:: SOT 2077961 SOS 1941738 HAS SOPS 1932121 HAS SOUS 711559 HAS SOUPS 710537 WITH SCORE 712478.738
AT ITER 7825 NEW BEST:: SOT 2089060 SOS 1952837 HAS SOPS 1943220 HAS SOUS 707852 HAS SOUPS 706830 WITH SCORE 708782.837
AT ITER 7831 NEW BEST:: SOT 2088817 SOS 1952594 HAS SOPS 1942977 HAS SOUS 707771 HAS SOUPS 706749 WITH SCORE 708701.594
AT ITER 7834 NEW BEST:: SOT 2088817 SOS 1952618 HAS SOPS 1943001 HAS SOUS 707726 HAS SOUPS 706704 WITH SCORE 708656.618
AT ITER 7870 NEW BEST:: SOT 2084923 SOS 1948724 HAS SOPS 1939107 HAS SOUS 707372 HAS SOUPS 706350 WITH SCORE 708298.724
AT ITER 7872 NEW BEST:: SOT 2084957 SOS 1948758 HAS SOPS 1939141 HAS SOUS 707328 HAS SOUPS 706306 WITH SCORE 708254.758
AT ITER 7877 NEW BEST:: SOT 2084846 SOS 1948647 HAS SOPS 1939030 HAS SOUS 707291 HAS SOUPS 706269 WITH SCORE 708217.647
AT ITER 7888 NEW BEST:: SOT 2084496 SOS 1948297 HAS SOPS 1938680 HAS SOUS 706941 HAS SOUPS 705919 WITH SCORE 707867.297
AT ITER 7907 NEW BEST:: SOT 2092612 SOS 1956041 HAS SOPS 1946092 HAS SOUS 702953 HAS SOUPS 701931 WITH SCORE 703887.041
AT ITER 7930 NEW BEST:: SOT 2092624 SOS 1956053 HAS SOPS 1946104 HAS SOUS 702766 HAS SOUPS 701744 WITH SCORE 703700.053
AT ITER 7936 NEW BEST:: SOT 2092624 SOS 1956053 HAS SOPS 1946104 HAS SOUS 702764 HAS SOUPS 701742 WITH SCORE 703698.053
AT ITER 7945 NEW BEST:: SOT 2092250 SOS 1955679 HAS SOPS 1945730 HAS SOUS 702559 HAS SOUPS 701537 WITH SCORE 703492.679
AT ITER 7954 NEW BEST:: SOT 2092455 SOS 1955884 HAS SOPS 1945935 HAS SOUS 702404 HAS SOUPS 701382 WITH SCORE 703337.884
AT ITER 8161 NEW BEST:: SOT 2094596 SOS 1958025 HAS SOPS 1948076 HAS SOUS 700971 HAS SOUPS 699949 WITH SCORE 701907.025
AT ITER 8249 NEW BEST:: SOT 2096295 SOS 1959724 HAS SOPS 1949775 HAS SOUS 700903 HAS SOUPS 699881 WITH SCORE 701840.724
AT ITER 8262 NEW BEST:: SOT 2096295 SOS 1959665 HAS SOPS 1949716 HAS SOUS 700778 HAS SOUPS 699756 WITH SCORE 701715.665
AT ITER 8265 NEW BEST:: SOT 2096107 SOS 1959477 HAS SOPS 1949528 HAS SOUS 700754 HAS SOUPS 699732 WITH SCORE 701691.477
AT ITER 8285 NEW BEST:: SOT 2096109 SOS 1958986 HAS SOPS 1949035 HAS SOUS 700634 HAS SOUPS 699612 WITH SCORE 701570.986
AT ITER 8338 NEW BEST:: SOT 2096632 SOS 1959509 HAS SOPS 1949558 HAS SOUS 700500 HAS SOUPS 699478 WITH SCORE 701437.509
AT ITER 8358 NEW BEST:: SOT 2097631 SOS 1960965 HAS SOPS 1951339 HAS SOUS 700491 HAS SOUPS 699469 WITH SCORE 701429.965
AT ITER 8365 NEW BEST:: SOT 2097109 SOS 1960443 HAS SOPS 1950817 HAS SOUS 700230 HAS SOUPS 699208 WITH SCORE 701168.443
AT ITER 8395 NEW BEST:: SOT 2095979 SOS 1959313 HAS SOPS 1949687 HAS SOUS 699692 HAS SOUPS 698670 WITH SCORE 700629.313
AT ITER 8402 NEW BEST:: SOT 2095979 SOS 1959313 HAS SOPS 1949687 HAS SOUS 699602 HAS SOUPS 698580 WITH SCORE 700539.313
AT ITER 8409 NEW BEST:: SOT 2095969 SOS 1959303 HAS SOPS 1950134 HAS SOUS 699582 HAS SOUPS 698560 WITH SCORE 700519.303
AT ITER 8414 NEW BEST:: SOT 2095198 SOS 1958532 HAS SOPS 1949363 HAS SOUS 699120 HAS SOUPS 698098 WITH SCORE 700056.532
AT ITER 8428 NEW BEST:: SOT 2100993 SOS 1964327 HAS SOPS 1955158 HAS SOUS 698564 HAS SOUPS 697542 WITH SCORE 699506.327
AT ITER 8458 NEW BEST:: SOT 2100993 SOS 1961567 HAS SOPS 1952398 HAS SOUS 698564 HAS SOUPS 697542 WITH SCORE 699503.567
AT ITER 8484 NEW BEST:: SOT 2114831 SOS 1975405 HAS SOPS 1966236 HAS SOUS 695163 HAS SOUPS 694141 WITH SCORE 696116.405
AT ITER 8505 NEW BEST:: SOT 2116098 SOS 1976648 HAS SOPS 1967479 HAS SOUS 695131 HAS SOUPS 694109 WITH SCORE 696085.648
AT ITER 8523 NEW BEST:: SOT 2114283 SOS 1974833 HAS SOPS 1965664 HAS SOUS 694747 HAS SOUPS 693725 WITH SCORE 695699.833
AT ITER 8604 NEW BEST:: SOT 2134157 SOS 1994707 HAS SOPS 1985538 HAS SOUS 692321 HAS SOUPS 691299 WITH SCORE 693293.707
AT ITER 8637 NEW BEST:: SOT 2133822 SOS 1994372 HAS SOPS 1985203 HAS SOUS 691722 HAS SOUPS 690700 WITH SCORE 692694.372
AT ITER 8638 NEW BEST:: SOT 2134340 SOS 1994890 HAS SOPS 1985721 HAS SOUS 691026 HAS SOUPS 690004 WITH SCORE 691998.89
AT ITER 8655 NEW BEST:: SOT 2137093 SOS 1997352 HAS SOPS 1988183 HAS SOUS 690554 HAS SOUPS 689532 WITH SCORE 691529.352
AT ITER 8754 NEW BEST:: SOT 2137900 SOS 1998159 HAS SOPS 1988990 HAS SOUS 690452 HAS SOUPS 689430 WITH SCORE 691428.159
AT ITER 8789 NEW BEST:: SOT 2130856 SOS 1991115 HAS SOPS 1981946 HAS SOUS 689278 HAS SOUPS 688256 WITH SCORE 690247.115
AT ITER 8830 NEW BEST:: SOT 2130449 SOS 1990708 HAS SOPS 1981539 HAS SOUS 689248 HAS SOUPS 688226 WITH SCORE 690216.708
AT ITER 8875 NEW BEST:: SOT 2129501 SOS 1989760 HAS SOPS 1980591 HAS SOUS 689248 HAS SOUPS 688226 WITH SCORE 690215.76
AT ITER 8892 NEW BEST:: SOT 2130134 SOS 1990393 HAS SOPS 1981224 HAS SOUS 689212 HAS SOUPS 688190 WITH SCORE 690180.393
AT ITER 8933 NEW BEST:: SOT 2147673 SOS 2007048 HAS SOPS 1997166 HAS SOUS 686322 HAS SOUPS 685300 WITH SCORE 687307.048
AT ITER 8959 NEW BEST:: SOT 2146932 SOS 2006307 HAS SOPS 1996425 HAS SOUS 685738 HAS SOUPS 684716 WITH SCORE 686722.307
AT ITER 9055 NEW BEST:: SOT 2146846 SOS 2006221 HAS SOPS 1996339 HAS SOUS 685652 HAS SOUPS 684630 WITH SCORE 686636.221
AT ITER 9077 NEW BEST:: SOT 2154781 SOS 2014156 HAS SOPS 2004274 HAS SOUS 684875 HAS SOUPS 683853 WITH SCORE 685867.156
AT ITER 9157 NEW BEST:: SOT 2154985 SOS 2014077 HAS SOPS 2004195 HAS SOUS 683837 HAS SOUPS 682815 WITH SCORE 684829.077
AT ITER 9162 NEW BEST:: SOT 2152309 SOS 2011401 HAS SOPS 2001519 HAS SOUS 683837 HAS SOUPS 682815 WITH SCORE 684826.401
AT ITER 9205 NEW BEST:: SOT 2152237 SOS 2011329 HAS SOPS 2001447 HAS SOUS 683765 HAS SOUPS 682743 WITH SCORE 684754.329
AT ITER 9209 NEW BEST:: SOT 2152441 SOS 2011533 HAS SOPS 2001651 HAS SOUS 682458 HAS SOUPS 681436 WITH SCORE 683447.533
AT ITER 9213 NEW BEST:: SOT 2155681 SOS 2014773 HAS SOPS 2004891 HAS SOUS 681066 HAS SOUPS 680044 WITH SCORE 682058.773
AT ITER 9297 NEW BEST:: SOT 2148361 SOS 2007453 HAS SOPS 1997571 HAS SOUS 680641 HAS SOUPS 679619 WITH SCORE 681626.453
AT ITER 9307 NEW BEST:: SOT 2166665 SOS 2025652 HAS SOPS 2015770 HAS SOUS 678000 HAS SOUPS 676978 WITH SCORE 679003.652
AT ITER 9309 NEW BEST:: SOT 2166665 SOS 2025633 HAS SOPS 2015751 HAS SOUS 677981 HAS SOUPS 676959 WITH SCORE 678984.633
AT ITER 9362 NEW BEST:: SOT 2161953 SOS 2020921 HAS SOPS 2011065 HAS SOUS 677257 HAS SOUPS 676235 WITH SCORE 678255.921
AT ITER 9425 NEW BEST:: SOT 2162187 SOS 2021155 HAS SOPS 2011299 HAS SOUS 676697 HAS SOUPS 675675 WITH SCORE 677696.155
AT ITER 9433 NEW BEST:: SOT 2162096 SOS 2021064 HAS SOPS 2011208 HAS SOUS 676515 HAS SOUPS 675493 WITH SCORE 677514.064
AT ITER 9444 NEW BEST:: SOT 2162096 SOS 2021043 HAS SOPS 2011187 HAS SOUS 676488 HAS SOUPS 675466 WITH SCORE 677487.043
AT ITER 9477 NEW BEST:: SOT 2165120 SOS 2024067 HAS SOPS 2014211 HAS SOUS 672377 HAS SOUPS 671355 WITH SCORE 673379.067
AT ITER 9483 NEW BEST:: SOT 2167805 SOS 2025941 HAS SOPS 2014168 HAS SOUS 673153 HAS SOUPS 671213 WITH SCORE 673238.941
AT ITER 9523 NEW BEST:: SOT 2167805 SOS 2022132 HAS SOPS 2010359 HAS SOUS 673153 HAS SOUPS 671213 WITH SCORE 673235.132
AT ITER 9529 NEW BEST:: SOT 2167198 SOS 2021525 HAS SOPS 2009752 HAS SOUS 672755 HAS SOUPS 670815 WITH SCORE 672836.525
AT ITER 9591 NEW BEST:: SOT 2166848 SOS 2021175 HAS SOPS 2009402 HAS SOUS 672405 HAS SOUPS 670465 WITH SCORE 672486.175
AT ITER 9596 NEW BEST:: SOT 2158037 SOS 2012364 HAS SOPS 2000591 HAS SOUS 671604 HAS SOUPS 669664 WITH SCORE 671676.364
AT ITER 9605 NEW BEST:: SOT 2157630 SOS 2011511 HAS SOPS 1999738 HAS SOUS 671103 HAS SOUPS 669163 WITH SCORE 671174.511
AT ITER 9820 NEW BEST:: SOT 2157305 SOS 2011239 HAS SOPS 1999466 HAS SOUS 670883 HAS SOUPS 668943 WITH SCORE 670954.239
AT ITER 9826 NEW BEST:: SOT 2156834 SOS 2010529 HAS SOPS 1998197 HAS SOUS 670500 HAS SOUPS 668560 WITH SCORE 670570.529
AT ITER 9883 NEW BEST:: SOT 2156370 SOS 2010065 HAS SOPS 1997733 HAS SOUS 670242 HAS SOUPS 668302 WITH SCORE 670312.065
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 14198136 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16151276 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-d2m09"
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-d2m09, 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-167814472300336"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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