Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r138-smll-158961502700323.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is Railroad-PT-100, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502700323
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.4M
-rw-r--r-- 1 mcc users 3.2K Apr 12 08:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 12 08:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 11 09:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 11 09:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.7K Apr 14 12:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 5.0K Apr 10 14:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 10 14:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Apr 9 21:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 9 21:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 5.2M Mar 24 05:38 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME Railroad-PT-100-CTLCardinality-00
FORMULA_NAME Railroad-PT-100-CTLCardinality-01
FORMULA_NAME Railroad-PT-100-CTLCardinality-02
FORMULA_NAME Railroad-PT-100-CTLCardinality-03
FORMULA_NAME Railroad-PT-100-CTLCardinality-04
FORMULA_NAME Railroad-PT-100-CTLCardinality-05
FORMULA_NAME Railroad-PT-100-CTLCardinality-06
FORMULA_NAME Railroad-PT-100-CTLCardinality-07
FORMULA_NAME Railroad-PT-100-CTLCardinality-08
FORMULA_NAME Railroad-PT-100-CTLCardinality-09
FORMULA_NAME Railroad-PT-100-CTLCardinality-10
FORMULA_NAME Railroad-PT-100-CTLCardinality-11
FORMULA_NAME Railroad-PT-100-CTLCardinality-12
FORMULA_NAME Railroad-PT-100-CTLCardinality-13
FORMULA_NAME Railroad-PT-100-CTLCardinality-14
FORMULA_NAME Railroad-PT-100-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589824405077

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Railroad (PT), instance 100
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 1018 places, 10506 transitions, 62728 arcs.
AT ITER 0 NEW BEST:: SOT 2998731 SOS 2384651 HAS SOPS 2375098 HAS SOUS 1322979 HAS SOUPS 1322878 WITH SCORE 1325262.651
AT ITER 10 NEW BEST:: SOT 2992575 SOS 2377193 HAS SOPS 2362865 HAS SOUS 1310088 HAS SOUPS 1309987 WITH SCORE 1312364.193
AT ITER 20 NEW BEST:: SOT 2992446 SOS 2377063 HAS SOPS 2362735 HAS SOUS 1309958 HAS SOUPS 1309857 WITH SCORE 1312234.063
AT ITER 28 NEW BEST:: SOT 2985810 SOS 2370493 HAS SOPS 2356162 HAS SOUS 1303336 HAS SOUPS 1303235 WITH SCORE 1305605.493
AT ITER 41 NEW BEST:: SOT 2985654 SOS 2370337 HAS SOPS 2356006 HAS SOUS 1303180 HAS SOUPS 1303079 WITH SCORE 1305449.337
AT ITER 42 NEW BEST:: SOT 2985585 SOS 2370263 HAS SOPS 2355932 HAS SOUS 1303106 HAS SOUPS 1303005 WITH SCORE 1305375.263
AT ITER 45 NEW BEST:: SOT 2980126 SOS 2364858 HAS SOPS 2350524 HAS SOUS 1297630 HAS SOUPS 1297529 WITH SCORE 1299893.858
AT ITER 50 NEW BEST:: SOT 2980126 SOS 2364763 HAS SOPS 2350429 HAS SOUS 1297535 HAS SOUPS 1297434 WITH SCORE 1299798.763
AT ITER 54 NEW BEST:: SOT 2980126 SOS 2364748 HAS SOPS 2350414 HAS SOUS 1297535 HAS SOUPS 1297434 WITH SCORE 1299798.748
AT ITER 56 NEW BEST:: SOT 2974391 SOS 2359080 HAS SOPS 2344713 HAS SOUS 1290773 HAS SOUPS 1290672 WITH SCORE 1293031.08
AT ITER 63 NEW BEST:: SOT 2974289 SOS 2359022 HAS SOPS 2344655 HAS SOUS 1290715 HAS SOUPS 1290614 WITH SCORE 1292973.022
AT ITER 87 NEW BEST:: SOT 2966502 SOS 2347699 HAS SOPS 2328544 HAS SOUS 1276083 HAS SOUPS 1275982 WITH SCORE 1278329.699
AT ITER 93 NEW BEST:: SOT 2966502 SOS 2344353 HAS SOPS 2325198 HAS SOUS 1276050 HAS SOUPS 1275949 WITH SCORE 1278293.353
AT ITER 103 NEW BEST:: SOT 2961181 SOS 2339116 HAS SOPS 2319957 HAS SOUS 1270777 HAS SOUPS 1270676 WITH SCORE 1273015.116
AT ITER 109 NEW BEST:: SOT 2957964 SOS 2335962 HAS SOPS 2316799 HAS SOUS 1267528 HAS SOUPS 1267427 WITH SCORE 1269762.962
AT ITER 117 NEW BEST:: SOT 2957832 SOS 2335830 HAS SOPS 2316667 HAS SOUS 1267396 HAS SOUPS 1267295 WITH SCORE 1269630.83
AT ITER 129 NEW BEST:: SOT 2953415 SOS 2331485 HAS SOPS 2312318 HAS SOUS 1262986 HAS SOUPS 1262885 WITH SCORE 1265216.485
AT ITER 135 NEW BEST:: SOT 2953387 SOS 2331457 HAS SOPS 2312290 HAS SOUS 1262958 HAS SOUPS 1262857 WITH SCORE 1265188.457
AT ITER 153 NEW BEST:: SOT 2948631 SOS 2316892 HAS SOPS 2292934 HAS SOUS 1251897 HAS SOUPS 1251796 WITH SCORE 1254112.892
AT ITER 156 NEW BEST:: SOT 2946741 SOS 2315052 HAS SOPS 2291089 HAS SOUS 1250052 HAS SOUPS 1249951 WITH SCORE 1252266.052
AT ITER 194 NEW BEST:: SOT 2946738 SOS 2315049 HAS SOPS 2291086 HAS SOUS 1250049 HAS SOUPS 1249948 WITH SCORE 1252263.049
AT ITER 199 NEW BEST:: SOT 2946584 SOS 2315019 HAS SOPS 2291056 HAS SOUS 1250019 HAS SOUPS 1249918 WITH SCORE 1252233.019
AT ITER 240 NEW BEST:: SOT 2946375 SOS 2314876 HAS SOPS 2290913 HAS SOUS 1249876 HAS SOUPS 1249775 WITH SCORE 1252089.876
AT ITER 262 NEW BEST:: SOT 2941148 SOS 2306672 HAS SOPS 2278109 HAS SOUS 1247367 HAS SOUPS 1247266 WITH SCORE 1249572.672
AT ITER 270 NEW BEST:: SOT 2941076 SOS 2306619 HAS SOPS 2278056 HAS SOUS 1247314 HAS SOUPS 1247213 WITH SCORE 1249519.619
AT ITER 272 NEW BEST:: SOT 2937648 SOS 2303139 HAS SOPS 2274576 HAS SOUS 1240186 HAS SOUPS 1240085 WITH SCORE 1242388.139
AT ITER 290 NEW BEST:: SOT 2926013 SOS 2288385 HAS SOPS 2255062 HAS SOUS 1217420 HAS SOUPS 1217319 WITH SCORE 1219607.385
AT ITER 296 NEW BEST:: SOT 2916044 SOS 2275877 HAS SOPS 2237794 HAS SOUS 1195638 HAS SOUPS 1195537 WITH SCORE 1197812.877
AT ITER 306 NEW BEST:: SOT 2915951 SOS 2275845 HAS SOPS 2237762 HAS SOUS 1195606 HAS SOUPS 1195505 WITH SCORE 1197780.845
AT ITER 313 NEW BEST:: SOT 2915832 SOS 2275781 HAS SOPS 2237698 HAS SOUS 1195542 HAS SOUPS 1195441 WITH SCORE 1197716.781
AT ITER 317 NEW BEST:: SOT 2915685 SOS 2275735 HAS SOPS 2237652 HAS SOUS 1195496 HAS SOUPS 1195395 WITH SCORE 1197670.735
AT ITER 337 NEW BEST:: SOT 2912664 SOS 2272759 HAS SOPS 2234588 HAS SOUS 1191381 HAS SOUPS 1191280 WITH SCORE 1193552.759
AT ITER 345 NEW BEST:: SOT 2912494 SOS 2272650 HAS SOPS 2234479 HAS SOUS 1191272 HAS SOUPS 1191171 WITH SCORE 1193443.65
AT ITER 348 NEW BEST:: SOT 2921708 SOS 2275756 HAS SOPS 2232814 HAS SOUS 1189639 HAS SOUPS 1189538 WITH SCORE 1191813.756
AT ITER 351 NEW BEST:: SOT 2929778 SOS 2276517 HAS SOPS 2228804 HAS SOUS 1188012 HAS SOUPS 1187911 WITH SCORE 1190187.517
AT ITER 359 NEW BEST:: SOT 2929443 SOS 2274418 HAS SOPS 2224386 HAS SOUS 1187114 HAS SOUPS 1187013 WITH SCORE 1189287.418
AT ITER 362 NEW BEST:: SOT 2923173 SOS 2268248 HAS SOPS 2218216 HAS SOUS 1180884 HAS SOUPS 1180783 WITH SCORE 1183051.248
AT ITER 404 NEW BEST:: SOT 2923075 SOS 2268150 HAS SOPS 2218118 HAS SOUS 1180786 HAS SOUPS 1180685 WITH SCORE 1182953.15
AT ITER 415 NEW BEST:: SOT 2923044 SOS 2268119 HAS SOPS 2218087 HAS SOUS 1180755 HAS SOUPS 1180654 WITH SCORE 1182922.119
AT ITER 417 NEW BEST:: SOT 2922996 SOS 2268071 HAS SOPS 2218039 HAS SOUS 1180707 HAS SOUPS 1180606 WITH SCORE 1182874.071
AT ITER 423 NEW BEST:: SOT 2922196 SOS 2267294 HAS SOPS 2217152 HAS SOUS 1178942 HAS SOUPS 1178841 WITH SCORE 1181108.294
AT ITER 441 NEW BEST:: SOT 2922196 SOS 2267292 HAS SOPS 2217150 HAS SOUS 1178940 HAS SOUPS 1178839 WITH SCORE 1181106.292
AT ITER 450 NEW BEST:: SOT 2915968 SOS 2261098 HAS SOPS 2209662 HAS SOUS 1163910 HAS SOUPS 1163744 WITH SCORE 1166005.098
AT ITER 451 NEW BEST:: SOT 2915789 SOS 2260918 HAS SOPS 2209482 HAS SOUS 1163730 HAS SOUPS 1163564 WITH SCORE 1165824.918
AT ITER 464 NEW BEST:: SOT 2915688 SOS 2260839 HAS SOPS 2209403 HAS SOUS 1163651 HAS SOUPS 1163485 WITH SCORE 1165745.839
AT ITER 465 NEW BEST:: SOT 2905573 SOS 2246633 HAS SOPS 2190255 HAS SOUS 1141292 HAS SOUPS 1141126 WITH SCORE 1143372.633
AT ITER 492 NEW BEST:: SOT 2905531 SOS 2246549 HAS SOPS 2190171 HAS SOUS 1141208 HAS SOUPS 1141042 WITH SCORE 1143288.549
AT ITER 510 NEW BEST:: SOT 2915331 SOS 2255232 HAS SOPS 2193912 HAS SOUS 1137594 HAS SOUPS 1137428 WITH SCORE 1139683.232
AT ITER 514 NEW BEST:: SOT 2915233 SOS 2255188 HAS SOPS 2193868 HAS SOUS 1137550 HAS SOUPS 1137384 WITH SCORE 1139639.188
AT ITER 531 NEW BEST:: SOT 2911715 SOS 2251759 HAS SOPS 2189223 HAS SOUS 1124941 HAS SOUPS 1124775 WITH SCORE 1127026.759
AT ITER 535 NEW BEST:: SOT 2911693 SOS 2251737 HAS SOPS 2189201 HAS SOUS 1124919 HAS SOUPS 1124753 WITH SCORE 1127004.737
AT ITER 541 NEW BEST:: SOT 2911693 SOS 2251732 HAS SOPS 2189196 HAS SOUS 1124914 HAS SOUPS 1124748 WITH SCORE 1126999.732
AT ITER 558 NEW BEST:: SOT 2911588 SOS 2251617 HAS SOPS 2189081 HAS SOUS 1124799 HAS SOUPS 1124633 WITH SCORE 1126884.617
AT ITER 592 NEW BEST:: SOT 2911527 SOS 2251565 HAS SOPS 2189029 HAS SOUS 1124747 HAS SOUPS 1124581 WITH SCORE 1126832.565
AT ITER 606 NEW BEST:: SOT 2910685 SOS 2245627 HAS SOPS 2179623 HAS SOUS 1122571 HAS SOUPS 1122405 WITH SCORE 1124650.627
AT ITER 623 NEW BEST:: SOT 2910649 SOS 2245615 HAS SOPS 2179611 HAS SOUS 1122559 HAS SOUPS 1122393 WITH SCORE 1124638.615
AT ITER 673 NEW BEST:: SOT 2888672 SOS 2223860 HAS SOPS 2157856 HAS SOUS 1100804 HAS SOUPS 1100638 WITH SCORE 1102861.86
AT ITER 681 NEW BEST:: SOT 2891376 SOS 2224799 HAS SOPS 2158347 HAS SOUS 1096693 HAS SOUPS 1096527 WITH SCORE 1098751.799
AT ITER 686 NEW BEST:: SOT 2891269 SOS 2224653 HAS SOPS 2158201 HAS SOUS 1096547 HAS SOUPS 1096381 WITH SCORE 1098605.653
AT ITER 691 NEW BEST:: SOT 2895877 SOS 2224886 HAS SOPS 2153361 HAS SOUS 1088788 HAS SOUPS 1088622 WITH SCORE 1090846.886
AT ITER 696 NEW BEST:: SOT 2895684 SOS 2224798 HAS SOPS 2153273 HAS SOUS 1088700 HAS SOUPS 1088534 WITH SCORE 1090758.798
AT ITER 703 NEW BEST:: SOT 2895021 SOS 2224135 HAS SOPS 2152610 HAS SOUS 1088067 HAS SOUPS 1087901 WITH SCORE 1090125.135
AT ITER 714 NEW BEST:: SOT 2894873 SOS 2223838 HAS SOPS 2152313 HAS SOUS 1087770 HAS SOUPS 1087604 WITH SCORE 1089827.838
AT ITER 718 NEW BEST:: SOT 2894873 SOS 2223827 HAS SOPS 2152302 HAS SOUS 1087770 HAS SOUPS 1087604 WITH SCORE 1089827.827
AT ITER 734 NEW BEST:: SOT 2893828 SOS 2222782 HAS SOPS 2150881 HAS SOUS 1083495 HAS SOUPS 1083329 WITH SCORE 1085551.782
AT ITER 772 NEW BEST:: SOT 2893894 SOS 2222780 HAS SOPS 2150879 HAS SOUS 1083493 HAS SOUPS 1083327 WITH SCORE 1085549.78
AT ITER 773 NEW BEST:: SOT 2893885 SOS 2222771 HAS SOPS 2150870 HAS SOUS 1083484 HAS SOUPS 1083318 WITH SCORE 1085540.771
AT ITER 778 NEW BEST:: SOT 2886203 SOS 2208597 HAS SOPS 2131604 HAS SOUS 1065925 HAS SOUPS 1065759 WITH SCORE 1067967.597
AT ITER 814 NEW BEST:: SOT 2885782 SOS 2202632 HAS SOPS 2122919 HAS SOUS 1064779 HAS SOUPS 1064613 WITH SCORE 1066815.632
AT ITER 827 NEW BEST:: SOT 2880134 SOS 2190096 HAS SOPS 2105329 HAS SOUS 1051535 HAS SOUPS 1051369 WITH SCORE 1053559.096
AT ITER 835 NEW BEST:: SOT 2879960 SOS 2190003 HAS SOPS 2105218 HAS SOUS 1051429 HAS SOUPS 1051263 WITH SCORE 1053453.003
AT ITER 862 NEW BEST:: SOT 2844687 SOS 2155857 HAS SOPS 2069882 HAS SOUS 1016258 HAS SOUPS 1015927 WITH SCORE 1018082.857
AT ITER 869 NEW BEST:: SOT 2835122 SOS 2144836 HAS SOPS 2053752 HAS SOUS 994611 HAS SOUPS 994280 WITH SCORE 996424.836
AT ITER 879 NEW BEST:: SOT 2835107 SOS 2144821 HAS SOPS 2053737 HAS SOUS 994596 HAS SOUPS 994265 WITH SCORE 996409.821
AT ITER 880 NEW BEST:: SOT 2835104 SOS 2144820 HAS SOPS 2053720 HAS SOUS 994501 HAS SOUPS 994170 WITH SCORE 996314.82
AT ITER 890 NEW BEST:: SOT 2834602 SOS 2144334 HAS SOPS 2053218 HAS SOUS 993930 HAS SOUPS 993599 WITH SCORE 995743.334
AT ITER 893 NEW BEST:: SOT 2834511 SOS 2144243 HAS SOPS 2053127 HAS SOUS 993839 HAS SOUPS 993508 WITH SCORE 995652.243
AT ITER 903 NEW BEST:: SOT 2834511 SOS 2137988 HAS SOPS 2041761 HAS SOUS 978052 HAS SOUPS 977721 WITH SCORE 979858.988
AT ITER 913 NEW BEST:: SOT 2834511 SOS 2136800 HAS SOPS 2040573 HAS SOUS 978028 HAS SOUPS 977697 WITH SCORE 979833.8
AT ITER 916 NEW BEST:: SOT 2833944 SOS 2136217 HAS SOPS 2039969 HAS SOUS 976775 HAS SOUPS 976444 WITH SCORE 978580.217
AT ITER 926 NEW BEST:: SOT 2833926 SOS 2136199 HAS SOPS 2039951 HAS SOUS 976757 HAS SOUPS 976426 WITH SCORE 978562.199
AT ITER 945 NEW BEST:: SOT 2830508 SOS 2154140 HAS SOPS 2036533 HAS SOUS 973556 HAS SOUPS 972948 WITH SCORE 975102.14
AT ITER 955 NEW BEST:: SOT 2830440 SOS 2154072 HAS SOPS 2036519 HAS SOUS 973542 HAS SOUPS 972934 WITH SCORE 975088.072
AT ITER 963 NEW BEST:: SOT 2830376 SOS 2154008 HAS SOPS 2036475 HAS SOUS 973498 HAS SOUPS 972890 WITH SCORE 975044.008
AT ITER 965 NEW BEST:: SOT 2836867 SOS 2159107 HAS SOPS 2036559 HAS SOUS 964802 HAS SOUPS 964194 WITH SCORE 966353.107
AT ITER 974 NEW BEST:: SOT 2836822 SOS 2151119 HAS SOPS 2027547 HAS SOUS 964533 HAS SOUPS 963925 WITH SCORE 966076.119
AT ITER 977 NEW BEST:: SOT 2836783 SOS 2151080 HAS SOPS 2027471 HAS SOUS 964457 HAS SOUPS 963849 WITH SCORE 966000.08
AT ITER 980 NEW BEST:: SOT 2836783 SOS 2146862 HAS SOPS 2023253 HAS SOUS 964373 HAS SOUPS 963765 WITH SCORE 965911.862
AT ITER 982 NEW BEST:: SOT 2836783 SOS 2146862 HAS SOPS 2023188 HAS SOUS 964308 HAS SOUPS 963700 WITH SCORE 965846.862
AT ITER 1032 NEW BEST:: SOT 2836783 SOS 2146862 HAS SOPS 2023187 HAS SOUS 964307 HAS SOUPS 963699 WITH SCORE 965845.862
AT ITER 1039 NEW BEST:: SOT 2836783 SOS 2146862 HAS SOPS 2023186 HAS SOUS 964306 HAS SOUPS 963698 WITH SCORE 965844.862
AT ITER 1042 NEW BEST:: SOT 2836426 SOS 2146513 HAS SOPS 2022819 HAS SOUS 963919 HAS SOUPS 963311 WITH SCORE 965457.513
AT ITER 1045 NEW BEST:: SOT 2836506 SOS 2146605 HAS SOPS 2022873 HAS SOUS 963821 HAS SOUPS 963213 WITH SCORE 965359.605
AT ITER 1050 NEW BEST:: SOT 2836409 SOS 2146508 HAS SOPS 2022776 HAS SOUS 963724 HAS SOUPS 963116 WITH SCORE 965262.508
AT ITER 1054 NEW BEST:: SOT 2836409 SOS 2146508 HAS SOPS 2022759 HAS SOUS 963707 HAS SOUPS 963099 WITH SCORE 965245.508
AT ITER 1058 NEW BEST:: SOT 2835922 SOS 2136460 HAS SOPS 2009731 HAS SOUS 962310 HAS SOUPS 961702 WITH SCORE 963838.46
AT ITER 1067 NEW BEST:: SOT 2848359 SOS 2146120 HAS SOPS 2014427 HAS SOUS 961287 HAS SOUPS 960679 WITH SCORE 962825.12
AT ITER 1083 NEW BEST:: SOT 2842574 SOS 2136741 HAS SOPS 1999971 HAS SOUS 947377 HAS SOUPS 946769 WITH SCORE 948905.741
AT ITER 1096 NEW BEST:: SOT 2842574 SOS 2133177 HAS SOPS 1996407 HAS SOUS 947305 HAS SOUPS 946697 WITH SCORE 948830.177
AT ITER 1130 NEW BEST:: SOT 2842529 SOS 2133132 HAS SOPS 1996317 HAS SOUS 947215 HAS SOUPS 946607 WITH SCORE 948740.132
AT ITER 1135 NEW BEST:: SOT 2842527 SOS 2133130 HAS SOPS 1996313 HAS SOUS 947211 HAS SOUPS 946603 WITH SCORE 948736.13
AT ITER 1139 NEW BEST:: SOT 2842511 SOS 2133114 HAS SOPS 1996290 HAS SOUS 947188 HAS SOUPS 946580 WITH SCORE 948713.114
AT ITER 1143 NEW BEST:: SOT 2842374 SOS 2132977 HAS SOPS 1996283 HAS SOUS 947181 HAS SOUPS 946573 WITH SCORE 948705.977
AT ITER 1163 NEW BEST:: SOT 2842287 SOS 2132890 HAS SOPS 1996283 HAS SOUS 947181 HAS SOUPS 946573 WITH SCORE 948705.89
AT ITER 1193 NEW BEST:: SOT 2840833 SOS 2131498 HAS SOPS 1993489 HAS SOUS 939973 HAS SOUPS 939365 WITH SCORE 941496.498
AT ITER 1210 NEW BEST:: SOT 2840793 SOS 2131458 HAS SOPS 1993473 HAS SOUS 939957 HAS SOUPS 939349 WITH SCORE 941480.458
AT ITER 1219 NEW BEST:: SOT 2832603 SOS 2121922 HAS SOPS 1978757 HAS SOUS 920862 HAS SOUPS 920254 WITH SCORE 922375.922
AT ITER 1221 NEW BEST:: SOT 2832598 SOS 2121917 HAS SOPS 1978750 HAS SOUS 920855 HAS SOUPS 920247 WITH SCORE 922368.917
AT ITER 1248 NEW BEST:: SOT 2841621 SOS 2124481 HAS SOPS 1976145 HAS SOUS 920125 HAS SOUPS 919517 WITH SCORE 921641.481
AT ITER 1249 NEW BEST:: SOT 2831835 SOS 2111748 HAS SOPS 1958228 HAS SOUS 897702 HAS SOUPS 897094 WITH SCORE 899205.748
AT ITER 1269 NEW BEST:: SOT 2831591 SOS 2111504 HAS SOPS 1957764 HAS SOUS 897238 HAS SOUPS 896630 WITH SCORE 898741.504
AT ITER 1273 NEW BEST:: SOT 2830730 SOS 2110660 HAS SOPS 1956419 HAS SOUS 894633 HAS SOUPS 894025 WITH SCORE 896135.66
AT ITER 1282 NEW BEST:: SOT 2830618 SOS 2110531 HAS SOPS 1956290 HAS SOUS 894504 HAS SOUPS 893896 WITH SCORE 896006.531
AT ITER 1287 NEW BEST:: SOT 2821076 SOS 2098129 HAS SOPS 1938682 HAS SOUS 872739 HAS SOUPS 872131 WITH SCORE 874229.129
AT ITER 1291 NEW BEST:: SOT 2821045 SOS 2098098 HAS SOPS 1938627 HAS SOUS 872614 HAS SOUPS 872006 WITH SCORE 874104.098
AT ITER 1297 NEW BEST:: SOT 2803933 SOS 2080986 HAS SOPS 1921515 HAS SOUS 855502 HAS SOUPS 854894 WITH SCORE 856974.986
AT ITER 1307 NEW BEST:: SOT 2804013 SOS 2081066 HAS SOPS 1921477 HAS SOUS 855464 HAS SOUPS 854856 WITH SCORE 856937.066
AT ITER 1310 NEW BEST:: SOT 2802065 SOS 2079201 HAS SOPS 1916805 HAS SOUS 844152 HAS SOUPS 843544 WITH SCORE 845623.201
AT ITER 1355 NEW BEST:: SOT 2801867 SOS 2079003 HAS SOPS 1916700 HAS SOUS 844047 HAS SOUPS 843439 WITH SCORE 845518.003
AT ITER 1359 NEW BEST:: SOT 2801860 SOS 2078996 HAS SOPS 1916693 HAS SOUS 844040 HAS SOUPS 843432 WITH SCORE 845510.996
AT ITER 1370 NEW BEST:: SOT 2801593 SOS 2078729 HAS SOPS 1916278 HAS SOUS 843625 HAS SOUPS 843017 WITH SCORE 845095.729
AT ITER 1422 NEW BEST:: SOT 2801545 SOS 2078681 HAS SOPS 1913723 HAS SOUS 835888 HAS SOUPS 835280 WITH SCORE 837358.681
AT ITER 1442 NEW BEST:: SOT 2801370 SOS 2078506 HAS SOPS 1913474 HAS SOUS 835639 HAS SOUPS 835031 WITH SCORE 837109.506
AT ITER 1452 NEW BEST:: SOT 2801272 SOS 2078408 HAS SOPS 1913376 HAS SOUS 835541 HAS SOUPS 834933 WITH SCORE 837011.408
AT ITER 1455 NEW BEST:: SOT 2800880 SOS 2078016 HAS SOPS 1912984 HAS SOUS 835149 HAS SOUPS 834541 WITH SCORE 836619.016
AT ITER 1479 NEW BEST:: SOT 2802126 SOS 2079262 HAS SOPS 1914367 HAS SOUS 832976 HAS SOUPS 832368 WITH SCORE 834447.262
AT ITER 1502 NEW BEST:: SOT 2801793 SOS 2078929 HAS SOPS 1912230 HAS SOUS 832124 HAS SOUPS 831516 WITH SCORE 833594.929
AT ITER 1515 NEW BEST:: SOT 2797763 SOS 2074899 HAS SOPS 1905903 HAS SOUS 822210 HAS SOUPS 821602 WITH SCORE 823676.899
AT ITER 1518 NEW BEST:: SOT 2796469 SOS 2068556 HAS SOPS 1895048 HAS SOUS 818660 HAS SOUPS 818052 WITH SCORE 820120.556
AT ITER 1527 NEW BEST:: SOT 2802269 SOS 2074356 HAS SOPS 1900826 HAS SOUS 816120 HAS SOUPS 815512 WITH SCORE 817586.356
AT ITER 1569 NEW BEST:: SOT 2798258 SOS 2070401 HAS SOPS 1893087 HAS SOUS 800313 HAS SOUPS 799705 WITH SCORE 801775.401
AT ITER 1577 NEW BEST:: SOT 2798258 SOS 2065622 HAS SOPS 1888308 HAS SOUS 800244 HAS SOUPS 799636 WITH SCORE 801701.622
AT ITER 1579 NEW BEST:: SOT 2798621 SOS 2065681 HAS SOPS 1888367 HAS SOUS 800229 HAS SOUPS 799621 WITH SCORE 801686.681
AT ITER 1609 NEW BEST:: SOT 2801921 SOS 2068890 HAS SOPS 1891667 HAS SOUS 797729 HAS SOUPS 797121 WITH SCORE 799189.89
AT ITER 1631 NEW BEST:: SOT 2801912 SOS 2068881 HAS SOPS 1891649 HAS SOUS 797711 HAS SOUPS 797103 WITH SCORE 799171.881
AT ITER 1643 NEW BEST:: SOT 2801876 SOS 2067163 HAS SOPS 1888896 HAS SOUS 797567 HAS SOUPS 796959 WITH SCORE 799026.163
AT ITER 1704 NEW BEST:: SOT 2804243 SOS 2069530 HAS SOPS 1889662 HAS SOUS 795087 HAS SOUPS 794479 WITH SCORE 796548.53
AT ITER 1705 NEW BEST:: SOT 2803376 SOS 2071799 HAS SOPS 1888261 HAS SOUS 791490 HAS SOUPS 790850 WITH SCORE 792921.799
AT ITER 1728 NEW BEST:: SOT 2803386 SOS 2071812 HAS SOPS 1888249 HAS SOUS 791422 HAS SOUPS 790782 WITH SCORE 792853.812
AT ITER 1732 NEW BEST:: SOT 2803300 SOS 2071726 HAS SOPS 1888249 HAS SOUS 791422 HAS SOUPS 790782 WITH SCORE 792853.726
AT ITER 1743 NEW BEST:: SOT 2803944 SOS 2072379 HAS SOPS 1887644 HAS SOUS 787342 HAS SOUPS 786702 WITH SCORE 788774.379
AT ITER 1767 NEW BEST:: SOT 2803722 SOS 2072157 HAS SOPS 1887577 HAS SOUS 787275 HAS SOUPS 786635 WITH SCORE 788707.157
AT ITER 1768 NEW BEST:: SOT 2800007 SOS 2061299 HAS SOPS 1871209 HAS SOUS 777932 HAS SOUPS 777292 WITH SCORE 779353.299
AT ITER 1783 NEW BEST:: SOT 2815446 SOS 2076816 HAS SOPS 1880870 HAS SOUS 775726 HAS SOUPS 775086 WITH SCORE 777162.816
AT ITER 1831 NEW BEST:: SOT 2815058 SOS 2076428 HAS SOPS 1880484 HAS SOUS 775340 HAS SOUPS 774700 WITH SCORE 776776.428
AT ITER 1841 NEW BEST:: SOT 2815228 SOS 2076598 HAS SOPS 1880417 HAS SOUS 775273 HAS SOUPS 774633 WITH SCORE 776709.598
AT ITER 1846 NEW BEST:: SOT 2815190 SOS 2076560 HAS SOPS 1880387 HAS SOUS 775243 HAS SOUPS 774603 WITH SCORE 776679.56
AT ITER 1868 NEW BEST:: SOT 2815126 SOS 2076496 HAS SOPS 1880329 HAS SOUS 775185 HAS SOUPS 774545 WITH SCORE 776621.496
AT ITER 1874 NEW BEST:: SOT 2829162 SOS 2089349 HAS SOPS 1887437 HAS SOUS 774811 HAS SOUPS 774171 WITH SCORE 776260.349
AT ITER 1883 NEW BEST:: SOT 2829116 SOS 2089303 HAS SOPS 1887391 HAS SOUS 774765 HAS SOUPS 774125 WITH SCORE 776214.303
AT ITER 1891 NEW BEST:: SOT 2828944 SOS 2089131 HAS SOPS 1887292 HAS SOUS 774666 HAS SOUPS 774026 WITH SCORE 776115.131
AT ITER 1933 NEW BEST:: SOT 2828764 SOS 2088951 HAS SOPS 1887100 HAS SOUS 774474 HAS SOUPS 773834 WITH SCORE 775922.951
AT ITER 1939 NEW BEST:: SOT 2828571 SOS 2088856 HAS SOPS 1886403 HAS SOUS 773974 HAS SOUPS 773334 WITH SCORE 775422.856
AT ITER 1943 NEW BEST:: SOT 2827130 SOS 2087374 HAS SOPS 1885587 HAS SOUS 772716 HAS SOUPS 772076 WITH SCORE 774163.374
AT ITER 1978 NEW BEST:: SOT 2827830 SOS 2088074 HAS SOPS 1886359 HAS SOUS 766916 HAS SOUPS 766276 WITH SCORE 768364.074
AT ITER 1981 NEW BEST:: SOT 2827812 SOS 2088056 HAS SOPS 1886341 HAS SOUS 766898 HAS SOUPS 766258 WITH SCORE 768346.056
AT ITER 1989 NEW BEST:: SOT 2827653 SOS 2087897 HAS SOPS 1886182 HAS SOUS 766739 HAS SOUPS 766099 WITH SCORE 768186.897
AT ITER 2000 NEW BEST:: SOT 2833453 SOS 2093697 HAS SOPS 1892124 HAS SOUS 762848 HAS SOUPS 762208 WITH SCORE 764301.697
AT ITER 2022 NEW BEST:: SOT 2833453 SOS 2092947 HAS SOPS 1891374 HAS SOUS 762835 HAS SOUPS 762195 WITH SCORE 764287.947
AT ITER 2054 NEW BEST:: SOT 2837577 SOS 2095249 HAS SOPS 1887760 HAS SOUS 752929 HAS SOUPS 752289 WITH SCORE 754384.249
AT ITER 2082 NEW BEST:: SOT 2837487 SOS 2095159 HAS SOPS 1887607 HAS SOUS 752776 HAS SOUPS 752136 WITH SCORE 754231.159
AT ITER 2096 NEW BEST:: SOT 2835499 SOS 2093171 HAS SOPS 1885619 HAS SOUS 750726 HAS SOUPS 750086 WITH SCORE 752179.171
AT ITER 2106 NEW BEST:: SOT 2835499 SOS 2092971 HAS SOPS 1885419 HAS SOUS 750724 HAS SOUPS 750084 WITH SCORE 752176.971
AT ITER 2126 NEW BEST:: SOT 2835395 SOS 2092867 HAS SOPS 1885315 HAS SOUS 750620 HAS SOUPS 749980 WITH SCORE 752072.867
AT ITER 2139 NEW BEST:: SOT 2835367 SOS 2092839 HAS SOPS 1885287 HAS SOUS 750592 HAS SOUPS 749952 WITH SCORE 752044.839
AT ITER 2158 NEW BEST:: SOT 2835342 SOS 2092814 HAS SOPS 1885262 HAS SOUS 750567 HAS SOUPS 749927 WITH SCORE 752019.814
AT ITER 2203 NEW BEST:: SOT 2834893 SOS 2086491 HAS SOPS 1875798 HAS SOUS 749305 HAS SOUPS 748665 WITH SCORE 750751.491
AT ITER 2212 NEW BEST:: SOT 2834631 SOS 2086229 HAS SOPS 1875574 HAS SOUS 749081 HAS SOUPS 748441 WITH SCORE 750527.229
AT ITER 2220 NEW BEST:: SOT 2834251 SOS 2085849 HAS SOPS 1875362 HAS SOUS 748869 HAS SOUPS 748229 WITH SCORE 750314.849
AT ITER 2225 NEW BEST:: SOT 2833433 SOS 2085208 HAS SOPS 1874711 HAS SOUS 747332 HAS SOUPS 746692 WITH SCORE 748777.208
AT ITER 2259 NEW BEST:: SOT 2833430 SOS 2079353 HAS SOPS 1868856 HAS SOUS 747206 HAS SOUPS 746566 WITH SCORE 748645.353
AT ITER 2261 NEW BEST:: SOT 2833394 SOS 2079317 HAS SOPS 1868856 HAS SOUS 747206 HAS SOUPS 746566 WITH SCORE 748645.317
AT ITER 2276 NEW BEST:: SOT 2833394 SOS 2079313 HAS SOPS 1868852 HAS SOUS 747202 HAS SOUPS 746562 WITH SCORE 748641.313
AT ITER 2286 NEW BEST:: SOT 2833375 SOS 2079294 HAS SOPS 1868839 HAS SOUS 747189 HAS SOUPS 746549 WITH SCORE 748628.294
AT ITER 2299 NEW BEST:: SOT 2833334 SOS 2079253 HAS SOPS 1868757 HAS SOUS 747107 HAS SOUPS 746467 WITH SCORE 748546.253
AT ITER 2323 NEW BEST:: SOT 2833277 SOS 2079196 HAS SOPS 1868686 HAS SOUS 747036 HAS SOUPS 746396 WITH SCORE 748475.196
AT ITER 2359 NEW BEST:: SOT 2833243 SOS 2079162 HAS SOPS 1868589 HAS SOUS 746939 HAS SOUPS 746299 WITH SCORE 748378.162
AT ITER 2389 NEW BEST:: SOT 2833243 SOS 2079162 HAS SOPS 1868589 HAS SOUS 746919 HAS SOUPS 746279 WITH SCORE 748358.162
AT ITER 2393 NEW BEST:: SOT 2833182 SOS 2073188 HAS SOPS 1868528 HAS SOUS 746797 HAS SOUPS 746218 WITH SCORE 748291.188
AT ITER 2413 NEW BEST:: SOT 2830812 SOS 2070839 HAS SOPS 1866161 HAS SOUS 741856 HAS SOUPS 741277 WITH SCORE 743347.839
AT ITER 2415 NEW BEST:: SOT 2830790 SOS 2070817 HAS SOPS 1866139 HAS SOUS 741834 HAS SOUPS 741255 WITH SCORE 743325.817
AT ITER 2439 NEW BEST:: SOT 2830745 SOS 2070772 HAS SOPS 1866058 HAS SOUS 741753 HAS SOUPS 741174 WITH SCORE 743244.772
AT ITER 2440 NEW BEST:: SOT 2830598 SOS 2070625 HAS SOPS 1866058 HAS SOUS 741753 HAS SOUPS 741174 WITH SCORE 743244.625
AT ITER 2443 NEW BEST:: SOT 2830519 SOS 2070546 HAS SOPS 1865996 HAS SOUS 741691 HAS SOUPS 741112 WITH SCORE 743182.546
AT ITER 2445 NEW BEST:: SOT 2830477 SOS 2070504 HAS SOPS 1865954 HAS SOUS 741649 HAS SOUPS 741070 WITH SCORE 743140.504
AT ITER 2448 NEW BEST:: SOT 2825277 SOS 2065304 HAS SOPS 1860754 HAS SOUS 736449 HAS SOUPS 735870 WITH SCORE 737935.304
AT ITER 2471 NEW BEST:: SOT 2826989 SOS 2067018 HAS SOPS 1861270 HAS SOUS 734516 HAS SOUPS 733937 WITH SCORE 736004.018
AT ITER 2473 NEW BEST:: SOT 2826989 SOS 2066070 HAS SOPS 1860322 HAS SOUS 734498 HAS SOUPS 733919 WITH SCORE 735985.07
AT ITER 2475 NEW BEST:: SOT 2826989 SOS 2066070 HAS SOPS 1860275 HAS SOUS 734451 HAS SOUPS 733872 WITH SCORE 735938.07
AT ITER 2506 NEW BEST:: SOT 2826976 SOS 2066057 HAS SOPS 1860240 HAS SOUS 734416 HAS SOUPS 733837 WITH SCORE 735903.057
AT ITER 2521 NEW BEST:: SOT 2823834 SOS 2063118 HAS SOPS 1857099 HAS SOUS 727639 HAS SOUPS 727060 WITH SCORE 729123.118
AT ITER 2540 NEW BEST:: SOT 2822227 SOS 2061511 HAS SOPS 1855573 HAS SOUS 726258 HAS SOUPS 725681 WITH SCORE 727742.511
AT ITER 2578 NEW BEST:: SOT 2822210 SOS 2061494 HAS SOPS 1855498 HAS SOUS 726183 HAS SOUPS 725606 WITH SCORE 727667.494
AT ITER 2609 NEW BEST:: SOT 2819910 SOS 2059194 HAS SOPS 1853198 HAS SOUS 721383 HAS SOUPS 720806 WITH SCORE 722865.194
AT ITER 2622 NEW BEST:: SOT 2811262 SOS 2050659 HAS SOPS 1844743 HAS SOUS 714788 HAS SOUPS 714211 WITH SCORE 716261.659
AT ITER 2630 NEW BEST:: SOT 2807595 SOS 2047801 HAS SOPS 1841885 HAS SOUS 711346 HAS SOUPS 710769 WITH SCORE 712816.801
AT ITER 2641 NEW BEST:: SOT 2807296 SOS 2047502 HAS SOPS 1841586 HAS SOUS 711047 HAS SOUPS 710470 WITH SCORE 712517.502
AT ITER 2662 NEW BEST:: SOT 2807302 SOS 2047508 HAS SOPS 1841582 HAS SOUS 711043 HAS SOUPS 710466 WITH SCORE 712513.508
AT ITER 2663 NEW BEST:: SOT 2814033 SOS 2053645 HAS SOPS 1841761 HAS SOUS 707516 HAS SOUPS 706939 WITH SCORE 708992.645
AT ITER 2671 NEW BEST:: SOT 2814443 SOS 2053664 HAS SOPS 1841780 HAS SOUS 707470 HAS SOUPS 706893 WITH SCORE 708946.664
AT ITER 2710 NEW BEST:: SOT 2814435 SOS 2053656 HAS SOPS 1841772 HAS SOUS 707462 HAS SOUPS 706885 WITH SCORE 708938.656
AT ITER 2717 NEW BEST:: SOT 2814430 SOS 2053651 HAS SOPS 1841767 HAS SOUS 707457 HAS SOUPS 706880 WITH SCORE 708933.651
AT ITER 2749 NEW BEST:: SOT 2811559 SOS 2055393 HAS SOPS 1843509 HAS SOUS 704828 HAS SOUPS 704251 WITH SCORE 706306.393
AT ITER 2778 NEW BEST:: SOT 2811450 SOS 2055284 HAS SOPS 1843384 HAS SOUS 704703 HAS SOUPS 704126 WITH SCORE 706181.284
AT ITER 2804 NEW BEST:: SOT 2811450 SOS 2054284 HAS SOPS 1842384 HAS SOUS 704693 HAS SOUPS 704116 WITH SCORE 706170.284
AT ITER 2819 NEW BEST:: SOT 2811415 SOS 2054249 HAS SOPS 1842320 HAS SOUS 704625 HAS SOUPS 704048 WITH SCORE 706102.249
AT ITER 2826 NEW BEST:: SOT 2811415 SOS 2054509 HAS SOPS 1842580 HAS SOUS 704358 HAS SOUPS 703781 WITH SCORE 705835.509
AT ITER 2897 NEW BEST:: SOT 2811187 SOS 2054281 HAS SOPS 1842329 HAS SOUS 704107 HAS SOUPS 703530 WITH SCORE 705584.281
AT ITER 2904 NEW BEST:: SOT 2811089 SOS 2054183 HAS SOPS 1842231 HAS SOUS 704009 HAS SOUPS 703432 WITH SCORE 705486.183
AT ITER 2917 NEW BEST:: SOT 2811020 SOS 2054114 HAS SOPS 1842223 HAS SOUS 704001 HAS SOUPS 703424 WITH SCORE 705478.114
AT ITER 2936 NEW BEST:: SOT 2810707 SOS 2053801 HAS SOPS 1842156 HAS SOUS 703934 HAS SOUPS 703357 WITH SCORE 705410.801
AT ITER 2946 NEW BEST:: SOT 2810091 SOS 2053159 HAS SOPS 1841514 HAS SOUS 703292 HAS SOUPS 702715 WITH SCORE 704768.159
AT ITER 3005 NEW BEST:: SOT 2806450 SOS 2043983 HAS SOPS 1826646 HAS SOUS 694443 HAS SOUPS 693866 WITH SCORE 695909.983
AT ITER 3045 NEW BEST:: SOT 2806441 SOS 2043974 HAS SOPS 1826637 HAS SOUS 694434 HAS SOUPS 693857 WITH SCORE 695900.974
AT ITER 3046 NEW BEST:: SOT 2806247 SOS 2043780 HAS SOPS 1826544 HAS SOUS 694341 HAS SOUPS 693764 WITH SCORE 695807.78
AT ITER 3074 NEW BEST:: SOT 2803515 SOS 2041130 HAS SOPS 1818728 HAS SOUS 679965 HAS SOUPS 679388 WITH SCORE 681429.13
AT ITER 3104 NEW BEST:: SOT 2803451 SOS 2041066 HAS SOPS 1818664 HAS SOUS 679901 HAS SOUPS 679324 WITH SCORE 681365.066
AT ITER 3130 NEW BEST:: SOT 2801781 SOS 2039396 HAS SOPS 1816892 HAS SOUS 676212 HAS SOUPS 675635 WITH SCORE 677674.396
AT ITER 3175 NEW BEST:: SOT 2796299 SOS 2033801 HAS SOPS 1811297 HAS SOUS 670644 HAS SOUPS 670067 WITH SCORE 672100.801
AT ITER 3176 NEW BEST:: SOT 2796299 SOS 2032416 HAS SOPS 1809912 HAS SOUS 670643 HAS SOUPS 670066 WITH SCORE 672098.416
AT ITER 3188 NEW BEST:: SOT 2796293 SOS 2032410 HAS SOPS 1809906 HAS SOUS 670637 HAS SOUPS 670060 WITH SCORE 672092.41
AT ITER 3189 NEW BEST:: SOT 2796293 SOS 2030010 HAS SOPS 1807506 HAS SOUS 670613 HAS SOUPS 670036 WITH SCORE 672066.01
AT ITER 3214 NEW BEST:: SOT 2796256 SOS 2029973 HAS SOPS 1807469 HAS SOUS 670576 HAS SOUPS 669999 WITH SCORE 672028.973
AT ITER 3219 NEW BEST:: SOT 2799050 SOS 2032767 HAS SOPS 1807701 HAS SOUS 667311 HAS SOUPS 666734 WITH SCORE 668766.767
AT ITER 3240 NEW BEST:: SOT 2799050 SOS 2032767 HAS SOPS 1807691 HAS SOUS 667301 HAS SOUPS 666724 WITH SCORE 668756.767
AT ITER 3241 NEW BEST:: SOT 2799202 SOS 2032764 HAS SOPS 1807688 HAS SOUS 667271 HAS SOUPS 666694 WITH SCORE 668726.764
AT ITER 3305 NEW BEST:: SOT 2799138 SOS 2032700 HAS SOPS 1807617 HAS SOUS 667200 HAS SOUPS 666623 WITH SCORE 668655.7
AT ITER 3381 NEW BEST:: SOT 2799121 SOS 2032683 HAS SOPS 1807592 HAS SOUS 667175 HAS SOUPS 666598 WITH SCORE 668630.683
AT ITER 3383 NEW BEST:: SOT 2799121 SOS 2032683 HAS SOPS 1807266 HAS SOUS 666059 HAS SOUPS 665482 WITH SCORE 667514.683
AT ITER 3390 NEW BEST:: SOT 2799106 SOS 2032668 HAS SOPS 1807186 HAS SOUS 665979 HAS SOUPS 665402 WITH SCORE 667434.668
AT ITER 3420 NEW BEST:: SOT 2798997 SOS 2032559 HAS SOPS 1807144 HAS SOUS 665937 HAS SOUPS 665360 WITH SCORE 667392.559
AT ITER 3427 NEW BEST:: SOT 2798935 SOS 2032497 HAS SOPS 1807082 HAS SOUS 665875 HAS SOUPS 665298 WITH SCORE 667330.497
AT ITER 3448 NEW BEST:: SOT 2798405 SOS 2031932 HAS SOPS 1806515 HAS SOUS 664745 HAS SOUPS 664168 WITH SCORE 666199.932
AT ITER 3500 NEW BEST:: SOT 2798405 SOS 2031927 HAS SOPS 1806510 HAS SOUS 664745 HAS SOUPS 664168 WITH SCORE 666199.927
AT ITER 3521 NEW BEST:: SOT 2798355 SOS 2031877 HAS SOPS 1806460 HAS SOUS 664695 HAS SOUPS 664118 WITH SCORE 666149.877
AT ITER 3522 NEW BEST:: SOT 2799988 SOS 2027491 HAS SOPS 1796630 HAS SOUS 663111 HAS SOUPS 662534 WITH SCORE 664561.491
AT ITER 3525 NEW BEST:: SOT 2799981 SOS 2027484 HAS SOPS 1796623 HAS SOUS 663104 HAS SOUPS 662527 WITH SCORE 664554.484
AT ITER 3538 NEW BEST:: SOT 2799622 SOS 2027125 HAS SOPS 1796308 HAS SOUS 662789 HAS SOUPS 662212 WITH SCORE 664239.125
AT ITER 3572 NEW BEST:: SOT 2808687 SOS 2030865 HAS SOPS 1793827 HAS SOUS 661336 HAS SOUPS 660759 WITH SCORE 662789.865
AT ITER 3574 NEW BEST:: SOT 2808687 SOS 2027654 HAS SOPS 1790616 HAS SOUS 661270 HAS SOUPS 660693 WITH SCORE 662720.654
AT ITER 3576 NEW BEST:: SOT 2808609 SOS 2027576 HAS SOPS 1790616 HAS SOUS 661270 HAS SOUPS 660693 WITH SCORE 662720.576
AT ITER 3610 NEW BEST:: SOT 2808569 SOS 2027536 HAS SOPS 1790545 HAS SOUS 661127 HAS SOUPS 660550 WITH SCORE 662577.536
AT ITER 3611 NEW BEST:: SOT 2808535 SOS 2027502 HAS SOPS 1790511 HAS SOUS 661093 HAS SOUPS 660516 WITH SCORE 662543.502
AT ITER 3623 NEW BEST:: SOT 2808260 SOS 2027227 HAS SOPS 1790095 HAS SOUS 660677 HAS SOUPS 660100 WITH SCORE 662127.227
AT ITER 3628 NEW BEST:: SOT 2808260 SOS 2026138 HAS SOPS 1789006 HAS SOUS 660655 HAS SOUPS 660078 WITH SCORE 662104.138
AT ITER 3645 NEW BEST:: SOT 2808291 SOS 2026169 HAS SOPS 1788999 HAS SOUS 660648 HAS SOUPS 660071 WITH SCORE 662097.169
AT ITER 3658 NEW BEST:: SOT 2808291 SOS 2026160 HAS SOPS 1788990 HAS SOUS 660562 HAS SOUPS 659985 WITH SCORE 662011.16
AT ITER 3694 NEW BEST:: SOT 2807224 SOS 2025148 HAS SOPS 1784982 HAS SOUS 652548 HAS SOUPS 651971 WITH SCORE 653996.148
AT ITER 3703 NEW BEST:: SOT 2807192 SOS 2025116 HAS SOPS 1784950 HAS SOUS 652516 HAS SOUPS 651939 WITH SCORE 653964.116
AT ITER 3705 NEW BEST:: SOT 2807137 SOS 2025061 HAS SOPS 1784875 HAS SOUS 652441 HAS SOUPS 651864 WITH SCORE 653889.061
AT ITER 3714 NEW BEST:: SOT 2806877 SOS 2024825 HAS SOPS 1784108 HAS SOUS 650573 HAS SOUPS 649996 WITH SCORE 652020.825
AT ITER 3723 NEW BEST:: SOT 2806717 SOS 2024665 HAS SOPS 1783890 HAS SOUS 650355 HAS SOUPS 649778 WITH SCORE 651802.665
AT ITER 3732 NEW BEST:: SOT 2806687 SOS 2024635 HAS SOPS 1783860 HAS SOUS 650325 HAS SOUPS 649748 WITH SCORE 651772.635
AT ITER 3782 NEW BEST:: SOT 2806610 SOS 2024558 HAS SOPS 1783842 HAS SOUS 650307 HAS SOUPS 649730 WITH SCORE 651754.558
AT ITER 3800 NEW BEST:: SOT 2806582 SOS 2024530 HAS SOPS 1783814 HAS SOUS 650279 HAS SOUPS 649702 WITH SCORE 651726.53
AT ITER 3809 NEW BEST:: SOT 2806563 SOS 2024511 HAS SOPS 1783795 HAS SOUS 650260 HAS SOUPS 649683 WITH SCORE 651707.511
AT ITER 3810 NEW BEST:: SOT 2806594 SOS 2024542 HAS SOPS 1783788 HAS SOUS 650253 HAS SOUPS 649676 WITH SCORE 651700.542
AT ITER 3832 NEW BEST:: SOT 2806071 SOS 2024022 HAS SOPS 1782512 HAS SOUS 647831 HAS SOUPS 647254 WITH SCORE 649278.022
AT ITER 3841 NEW BEST:: SOT 2802912 SOS 2020863 HAS SOPS 1778962 HAS SOUS 644074 HAS SOUPS 643463 WITH SCORE 645483.863
AT ITER 3851 NEW BEST:: SOT 2802778 SOS 2020729 HAS SOPS 1778752 HAS SOUS 643864 HAS SOUPS 643253 WITH SCORE 645273.729
AT ITER 3901 NEW BEST:: SOT 2802764 SOS 2020715 HAS SOPS 1778738 HAS SOUS 643850 HAS SOUPS 643239 WITH SCORE 645259.715
AT ITER 3904 NEW BEST:: SOT 2801006 SOS 2018972 HAS SOPS 1776979 HAS SOUS 640207 HAS SOUPS 639596 WITH SCORE 641614.972
AT ITER 3919 NEW BEST:: SOT 2801006 SOS 2018972 HAS SOPS 1776913 HAS SOUS 640141 HAS SOUPS 639530 WITH SCORE 641548.972
AT ITER 3935 NEW BEST:: SOT 2800898 SOS 2018864 HAS SOPS 1776886 HAS SOUS 640114 HAS SOUPS 639503 WITH SCORE 641521.864
AT ITER 3937 NEW BEST:: SOT 2800898 SOS 2017864 HAS SOPS 1775886 HAS SOUS 640104 HAS SOUPS 639493 WITH SCORE 641510.864
AT ITER 3952 NEW BEST:: SOT 2800750 SOS 2017716 HAS SOPS 1775724 HAS SOUS 639942 HAS SOUPS 639331 WITH SCORE 641348.716
AT ITER 4000 NEW BEST:: SOT 2800750 SOS 2016716 HAS SOPS 1774724 HAS SOUS 639932 HAS SOUPS 639321 WITH SCORE 641337.716
AT ITER 4004 NEW BEST:: SOT 2800722 SOS 2016688 HAS SOPS 1774696 HAS SOUS 639904 HAS SOUPS 639293 WITH SCORE 641309.688
AT ITER 4049 NEW BEST:: SOT 2800713 SOS 2016679 HAS SOPS 1774687 HAS SOUS 639895 HAS SOUPS 639284 WITH SCORE 641300.679
AT ITER 4051 NEW BEST:: SOT 2800653 SOS 2016619 HAS SOPS 1774627 HAS SOUS 639835 HAS SOUPS 639224 WITH SCORE 641240.619
AT ITER 4060 NEW BEST:: SOT 2800653 SOS 2014040 HAS SOPS 1772048 HAS SOUS 639778 HAS SOUPS 639167 WITH SCORE 641181.04
AT ITER 4067 NEW BEST:: SOT 2800584 SOS 2013952 HAS SOPS 1771949 HAS SOUS 639619 HAS SOUPS 639008 WITH SCORE 641021.952
AT ITER 4074 NEW BEST:: SOT 2800495 SOS 2013863 HAS SOPS 1771860 HAS SOUS 639530 HAS SOUPS 638919 WITH SCORE 640932.863
AT ITER 4089 NEW BEST:: SOT 2800336 SOS 2013704 HAS SOPS 1771701 HAS SOUS 639371 HAS SOUPS 638760 WITH SCORE 640773.704
AT ITER 4094 NEW BEST:: SOT 2800303 SOS 2013671 HAS SOPS 1771668 HAS SOUS 639338 HAS SOUPS 638727 WITH SCORE 640740.671
AT ITER 4112 NEW BEST:: SOT 2800664 SOS 2014049 HAS SOPS 1771352 HAS SOUS 638538 HAS SOUPS 637927 WITH SCORE 639941.049
AT ITER 4126 NEW BEST:: SOT 2800640 SOS 2014025 HAS SOPS 1771328 HAS SOUS 638514 HAS SOUPS 637903 WITH SCORE 639917.025
AT ITER 4132 NEW BEST:: SOT 2800605 SOS 2013990 HAS SOPS 1771328 HAS SOUS 638514 HAS SOUPS 637903 WITH SCORE 639916.99
AT ITER 4139 NEW BEST:: SOT 2800596 SOS 2013981 HAS SOPS 1771319 HAS SOUS 638505 HAS SOUPS 637894 WITH SCORE 639907.981
AT ITER 4165 NEW BEST:: SOT 2800596 SOS 2013942 HAS SOPS 1771280 HAS SOUS 638427 HAS SOUPS 637816 WITH SCORE 639829.942
AT ITER 4171 NEW BEST:: SOT 2800611 SOS 2013690 HAS SOPS 1771003 HAS SOUS 638222 HAS SOUPS 637611 WITH SCORE 639624.69
AT ITER 4180 NEW BEST:: SOT 2800448 SOS 2013527 HAS SOPS 1770840 HAS SOUS 638059 HAS SOUPS 637448 WITH SCORE 639461.527
AT ITER 4189 NEW BEST:: SOT 2800378 SOS 2013457 HAS SOPS 1770706 HAS SOUS 637925 HAS SOUPS 637314 WITH SCORE 639327.457
AT ITER 4204 NEW BEST:: SOT 2800220 SOS 2013299 HAS SOPS 1770696 HAS SOUS 637915 HAS SOUPS 637304 WITH SCORE 639317.299
AT ITER 4246 NEW BEST:: SOT 2799643 SOS 2012649 HAS SOPS 1770046 HAS SOUS 637265 HAS SOUPS 636654 WITH SCORE 638666.649
AT ITER 4285 NEW BEST:: SOT 2792651 SOS 2005595 HAS SOPS 1760349 HAS SOUS 621200 HAS SOUPS 620589 WITH SCORE 622594.595
AT ITER 4292 NEW BEST:: SOT 2792554 SOS 2005498 HAS SOPS 1760252 HAS SOUS 621103 HAS SOUPS 620492 WITH SCORE 622497.498
AT ITER 4308 NEW BEST:: SOT 2792587 SOS 2005495 HAS SOPS 1760249 HAS SOUS 621100 HAS SOUPS 620489 WITH SCORE 622494.495
AT ITER 4314 NEW BEST:: SOT 2792499 SOS 2005407 HAS SOPS 1760161 HAS SOUS 621014 HAS SOUPS 620403 WITH SCORE 622408.407
AT ITER 4356 NEW BEST:: SOT 2792499 SOS 2005407 HAS SOPS 1760159 HAS SOUS 621012 HAS SOUPS 620401 WITH SCORE 622406.407
AT ITER 4358 NEW BEST:: SOT 2792482 SOS 2005390 HAS SOPS 1760142 HAS SOUS 620995 HAS SOUPS 620384 WITH SCORE 622389.39
AT ITER 4363 NEW BEST:: SOT 2792369 SOS 2005277 HAS SOPS 1760029 HAS SOUS 620882 HAS SOUPS 620271 WITH SCORE 622276.277
AT ITER 4371 NEW BEST:: SOT 2792321 SOS 2005229 HAS SOPS 1759940 HAS SOUS 620793 HAS SOUPS 620182 WITH SCORE 622187.229
AT ITER 4379 NEW BEST:: SOT 2792313 SOS 2005221 HAS SOPS 1759932 HAS SOUS 620785 HAS SOUPS 620174 WITH SCORE 622179.221
AT ITER 4386 NEW BEST:: SOT 2791744 SOS 2002572 HAS SOPS 1751369 HAS SOUS 615788 HAS SOUPS 615177 WITH SCORE 617179.572
AT ITER 4431 NEW BEST:: SOT 2791710 SOS 2002538 HAS SOPS 1751335 HAS SOUS 615754 HAS SOUPS 615143 WITH SCORE 617145.538
AT ITER 4473 NEW BEST:: SOT 2791584 SOS 2002412 HAS SOPS 1751175 HAS SOUS 615460 HAS SOUPS 614849 WITH SCORE 616851.412
AT ITER 4476 NEW BEST:: SOT 2791557 SOS 2002385 HAS SOPS 1751148 HAS SOUS 615433 HAS SOUPS 614822 WITH SCORE 616824.385
AT ITER 4518 NEW BEST:: SOT 2791456 SOS 2002284 HAS SOPS 1751047 HAS SOUS 615332 HAS SOUPS 614721 WITH SCORE 616723.284
AT ITER 4585 NEW BEST:: SOT 2791443 SOS 2002271 HAS SOPS 1751034 HAS SOUS 615319 HAS SOUPS 614708 WITH SCORE 616710.271
AT ITER 4590 NEW BEST:: SOT 2791443 SOS 2002271 HAS SOPS 1751010 HAS SOUS 615295 HAS SOUPS 614684 WITH SCORE 616686.271
AT ITER 4603 NEW BEST:: SOT 2791443 SOS 2001141 HAS SOPS 1749880 HAS SOUS 615254 HAS SOUPS 614643 WITH SCORE 616644.141
AT ITER 4673 NEW BEST:: SOT 2791437 SOS 2001135 HAS SOPS 1749765 HAS SOUS 615139 HAS SOUPS 614528 WITH SCORE 616529.135
AT ITER 4699 NEW BEST:: SOT 2791437 SOS 2000633 HAS SOPS 1749263 HAS SOUS 615132 HAS SOUPS 614521 WITH SCORE 616521.633
AT ITER 4704 NEW BEST:: SOT 2791378 SOS 2000574 HAS SOPS 1749175 HAS SOUS 615044 HAS SOUPS 614433 WITH SCORE 616433.574
AT ITER 4710 NEW BEST:: SOT 2789882 SOS 1999088 HAS SOPS 1745512 HAS SOUS 606637 HAS SOUPS 606026 WITH SCORE 608025.088
AT ITER 4725 NEW BEST:: SOT 2789808 SOS 1999014 HAS SOPS 1745438 HAS SOUS 606563 HAS SOUPS 605952 WITH SCORE 607951.014
AT ITER 4734 NEW BEST:: SOT 2789764 SOS 1998970 HAS SOPS 1745394 HAS SOUS 606519 HAS SOUPS 605908 WITH SCORE 607906.97
AT ITER 4741 NEW BEST:: SOT 2789758 SOS 1998964 HAS SOPS 1745388 HAS SOUS 606513 HAS SOUPS 605902 WITH SCORE 607900.964
AT ITER 4745 NEW BEST:: SOT 2789758 SOS 1998958 HAS SOPS 1745382 HAS SOUS 606507 HAS SOUPS 605896 WITH SCORE 607894.958
AT ITER 4777 NEW BEST:: SOT 2785480 SOS 1994588 HAS SOPS 1737617 HAS SOUS 596332 HAS SOUPS 595721 WITH SCORE 597715.588
AT ITER 4786 NEW BEST:: SOT 2785460 SOS 1994568 HAS SOPS 1737597 HAS SOUS 596312 HAS SOUPS 595701 WITH SCORE 597695.568
AT ITER 4854 NEW BEST:: SOT 2785438 SOS 1994546 HAS SOPS 1737566 HAS SOUS 596281 HAS SOUPS 595670 WITH SCORE 597664.546
AT ITER 4856 NEW BEST:: SOT 2784894 SOS 1993997 HAS SOPS 1736959 HAS SOUS 595285 HAS SOUPS 594674 WITH SCORE 596667.997
AT ITER 4886 NEW BEST:: SOT 2781389 SOS 1990492 HAS SOPS 1733379 HAS SOUS 587916 HAS SOUPS 587305 WITH SCORE 589295.492
AT ITER 4890 NEW BEST:: SOT 2781423 SOS 1990381 HAS SOPS 1733208 HAS SOUS 587742 HAS SOUPS 587131 WITH SCORE 589121.381
AT ITER 4893 NEW BEST:: SOT 2784028 SOS 1993008 HAS SOPS 1733767 HAS SOUS 585511 HAS SOUPS 584900 WITH SCORE 586893.008
AT ITER 4915 NEW BEST:: SOT 2784028 SOS 1993008 HAS SOPS 1733732 HAS SOUS 585476 HAS SOUPS 584865 WITH SCORE 586858.008
AT ITER 4921 NEW BEST:: SOT 2783921 SOS 1992901 HAS SOPS 1733625 HAS SOUS 585369 HAS SOUPS 584758 WITH SCORE 586750.901
AT ITER 4939 NEW BEST:: SOT 2777012 SOS 2025029 HAS SOPS 1747431 HAS SOUS 579085 HAS SOUPS 578229 WITH SCORE 580254.029
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: Railroad-PT-100-CTLCardinality-00 (AF(( ( potential( (tk(P534)) <= (tk(P505)) ) & (! potential( (tk(P270)) <= (tk(P707)) )) ) & (AG( potential( (tk(P156)) <= (tk(P332)) ))) )))
PROPERTY: Railroad-PT-100-CTLCardinality-01 (! (! (EF(potential( ( 2 ) <= (tk(P318)) )))))
PROPERTY: Railroad-PT-100-CTLCardinality-02 (! (EU( ( potential( ( 3 ) <= (tk(P185)) ) | potential( ( 1 ) <= (tk(P673)) ) ),( potential( ( 3 ) <= (tk(P540)) ) & potential( ( 3 ) <= (tk(P373)) ) ) )))
PROPERTY: Railroad-PT-100-CTLCardinality-03 (AG( ( (AF(potential( (tk(P129)) <= (tk(P440)) ))) & ( ( potential( (tk(P485)) <= (tk(P511)) ) | potential( (tk(P980)) <= (tk(P194)) ) ) | ( potential( ( 1 ) <= (tk(P656)) ) | potential( (tk(P562)) <= (tk(P220)) ) ) ) )))
PROPERTY: Railroad-PT-100-CTLCardinality-04 (EU( (AF(potential( ( 1 ) <= (tk(P277)) ))),(AX( potential( ( 1 ) <= (tk(P432)) ))) ))
PROPERTY: Railroad-PT-100-CTLCardinality-05 (EG( ( (AX( potential( (tk(P238)) <= (tk(P655)) ))) | potential( ( 3 ) <= (tk(P429)) ) )))
PROPERTY: Railroad-PT-100-CTLCardinality-06 ( (EG( (! ( potential( ( 3 ) <= (tk(P609)) ) | potential( ( 1 ) <= (tk(P42)) ) )))) & (EF((EG( potential( ( 1 ) <= (tk(P185)) ))))) )
PROPERTY: Railroad-PT-100-CTLCardinality-07 (EF((! (! (! potential( (tk(P613)) <= (tk(P183)) ))))))
PROPERTY: Railroad-PT-100-CTLCardinality-08 ( (! potential( ( 1 ) <= (tk(P919)) )) & (! (AG( ( potential( (tk(P767)) <= (tk(P904)) ) | potential( (tk(P931)) <= (tk(P825)) ) )))) )
PROPERTY: Railroad-PT-100-CTLCardinality-09 (EF(( (AX( potential( (tk(P483)) <= (tk(P458)) ))) & (AG( potential( ( 1 ) <= (tk(P968)) ))) )))
PROPERTY: Railroad-PT-100-CTLCardinality-10 (! (AG( potential( (tk(P1000)) <= (tk(P699)) ))))
PROPERTY: Railroad-PT-100-CTLCardinality-11 (AF(potential( ( 1 ) <= (tk(P236)) )))
PROPERTY: Railroad-PT-100-CTLCardinality-12 ( (AG( potential( (tk(P396)) <= (tk(P423)) ))) | (EX( (! (! potential( ( 1 ) <= (tk(P922)) ))))) )
PROPERTY: Railroad-PT-100-CTLCardinality-13 (AG( (EF((! potential( (tk(P65)) <= (tk(P161)) ))))))
PROPERTY: Railroad-PT-100-CTLCardinality-14 (AF((! (AF(potential( ( 1 ) <= (tk(P315)) ))))))
PROPERTY: Railroad-PT-100-CTLCardinality-15 ( potential( (tk(P257)) <= (tk(P682)) ) & ( ( (AF(potential( ( 2 ) <= (tk(P68)) ))) & (AX( potential( ( 1 ) <= (tk(P331)) ))) ) | (EF(( potential( ( 3 ) <= (tk(P566)) ) & potential( ( 1 ) <= (tk(P932)) ) ))) ) )

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

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="Railroad-PT-100"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4028"
echo " Executing tool smart"
echo " Input is Railroad-PT-100, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r138-smll-158961502700323"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Railroad-PT-100.tgz
mv Railroad-PT-100 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;