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-158961502700324.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 CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502700324
=====================================================================

--------------------
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-CTLFireability-00
FORMULA_NAME Railroad-PT-100-CTLFireability-01
FORMULA_NAME Railroad-PT-100-CTLFireability-02
FORMULA_NAME Railroad-PT-100-CTLFireability-03
FORMULA_NAME Railroad-PT-100-CTLFireability-04
FORMULA_NAME Railroad-PT-100-CTLFireability-05
FORMULA_NAME Railroad-PT-100-CTLFireability-06
FORMULA_NAME Railroad-PT-100-CTLFireability-07
FORMULA_NAME Railroad-PT-100-CTLFireability-08
FORMULA_NAME Railroad-PT-100-CTLFireability-09
FORMULA_NAME Railroad-PT-100-CTLFireability-10
FORMULA_NAME Railroad-PT-100-CTLFireability-11
FORMULA_NAME Railroad-PT-100-CTLFireability-12
FORMULA_NAME Railroad-PT-100-CTLFireability-13
FORMULA_NAME Railroad-PT-100-CTLFireability-14
FORMULA_NAME Railroad-PT-100-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589825042839

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Railroad (PT), instance 100
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.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 1 NEW BEST:: SOT 2989180 SOS 2379909 HAS SOPS 2370356 HAS SOUS 1313734 HAS SOUPS 1313633 WITH SCORE 1316012.909
AT ITER 16 NEW BEST:: SOT 2982812 SOS 2373627 HAS SOPS 2364072 HAS SOUS 1307378 HAS SOUPS 1307277 WITH SCORE 1309650.627
AT ITER 25 NEW BEST:: SOT 2982800 SOS 2373615 HAS SOPS 2364060 HAS SOUS 1307366 HAS SOUPS 1307265 WITH SCORE 1309638.615
AT ITER 50 NEW BEST:: SOT 2982500 SOS 2373318 HAS SOPS 2363759 HAS SOUS 1307069 HAS SOUPS 1306967 WITH SCORE 1309340.318
AT ITER 83 NEW BEST:: SOT 2982375 SOS 2373289 HAS SOPS 2363730 HAS SOUS 1307040 HAS SOUPS 1306938 WITH SCORE 1309311.289
AT ITER 102 NEW BEST:: SOT 2982212 SOS 2372963 HAS SOPS 2363404 HAS SOUS 1306714 HAS SOUPS 1306612 WITH SCORE 1308984.963
AT ITER 105 NEW BEST:: SOT 2972987 SOS 2360258 HAS SOPS 2345921 HAS SOUS 1290634 HAS SOUPS 1290532 WITH SCORE 1292892.258
AT ITER 111 NEW BEST:: SOT 2967830 SOS 2350895 HAS SOPS 2331780 HAS SOUS 1279514 HAS SOUPS 1279412 WITH SCORE 1281762.895
AT ITER 113 NEW BEST:: SOT 2957135 SOS 2335737 HAS SOPS 2311844 HAS SOUS 1258654 HAS SOUPS 1258552 WITH SCORE 1260887.737
AT ITER 120 NEW BEST:: SOT 2957201 SOS 2335682 HAS SOPS 2311789 HAS SOUS 1258599 HAS SOUPS 1258497 WITH SCORE 1260832.682
AT ITER 150 NEW BEST:: SOT 2961745 SOS 2336304 HAS SOPS 2307633 HAS SOUS 1251419 HAS SOUPS 1251317 WITH SCORE 1253653.304
AT ITER 151 NEW BEST:: SOT 2961477 SOS 2336126 HAS SOPS 2307455 HAS SOUS 1251241 HAS SOUPS 1251139 WITH SCORE 1253475.126
AT ITER 152 NEW BEST:: SOT 2961463 SOS 2336122 HAS SOPS 2307451 HAS SOUS 1251237 HAS SOUPS 1251135 WITH SCORE 1253471.122
AT ITER 159 NEW BEST:: SOT 2961543 SOS 2336054 HAS SOPS 2307383 HAS SOUS 1251169 HAS SOUPS 1251067 WITH SCORE 1253403.054
AT ITER 160 NEW BEST:: SOT 2961265 SOS 2335853 HAS SOPS 2307182 HAS SOUS 1250968 HAS SOUPS 1250866 WITH SCORE 1253201.853
AT ITER 164 NEW BEST:: SOT 2961229 SOS 2335781 HAS SOPS 2307110 HAS SOUS 1250896 HAS SOUPS 1250794 WITH SCORE 1253129.781
AT ITER 172 NEW BEST:: SOT 2957890 SOS 2332458 HAS SOPS 2303781 HAS SOUS 1247522 HAS SOUPS 1247420 WITH SCORE 1249752.458
AT ITER 187 NEW BEST:: SOT 2952999 SOS 2327625 HAS SOPS 2298942 HAS SOUS 1242645 HAS SOUPS 1242543 WITH SCORE 1244870.625
AT ITER 191 NEW BEST:: SOT 2953000 SOS 2327536 HAS SOPS 2298853 HAS SOUS 1242556 HAS SOUPS 1242454 WITH SCORE 1244781.536
AT ITER 192 NEW BEST:: SOT 2952887 SOS 2327531 HAS SOPS 2298848 HAS SOUS 1242551 HAS SOUPS 1242449 WITH SCORE 1244776.531
AT ITER 195 NEW BEST:: SOT 2952726 SOS 2327372 HAS SOPS 2298689 HAS SOUS 1242392 HAS SOUPS 1242290 WITH SCORE 1244617.372
AT ITER 210 NEW BEST:: SOT 2952589 SOS 2327098 HAS SOPS 2298415 HAS SOUS 1242118 HAS SOUPS 1242016 WITH SCORE 1244343.098
AT ITER 223 NEW BEST:: SOT 2949481 SOS 2319390 HAS SOPS 2286031 HAS SOUS 1235156 HAS SOUPS 1235054 WITH SCORE 1237373.39
AT ITER 228 NEW BEST:: SOT 2949089 SOS 2319007 HAS SOPS 2285642 HAS SOUS 1234769 HAS SOUPS 1234667 WITH SCORE 1236986.007
AT ITER 229 NEW BEST:: SOT 2943411 SOS 2310015 HAS SOPS 2271869 HAS SOUS 1222340 HAS SOUPS 1222238 WITH SCORE 1224548.015
AT ITER 230 NEW BEST:: SOT 2943373 SOS 2309976 HAS SOPS 2271830 HAS SOUS 1222301 HAS SOUPS 1222199 WITH SCORE 1224508.976
AT ITER 232 NEW BEST:: SOT 2943451 SOS 2309906 HAS SOPS 2271760 HAS SOUS 1222231 HAS SOUPS 1222129 WITH SCORE 1224438.906
AT ITER 235 NEW BEST:: SOT 2943451 SOS 2309898 HAS SOPS 2271752 HAS SOUS 1222223 HAS SOUPS 1222121 WITH SCORE 1224430.898
AT ITER 244 NEW BEST:: SOT 2940408 SOS 2306880 HAS SOPS 2268726 HAS SOUS 1219145 HAS SOUPS 1219043 WITH SCORE 1221349.88
AT ITER 254 NEW BEST:: SOT 2933927 SOS 2297875 HAS SOPS 2254939 HAS SOUS 1204922 HAS SOUPS 1204820 WITH SCORE 1207117.875
AT ITER 256 NEW BEST:: SOT 2940015 SOS 2303835 HAS SOPS 2260899 HAS SOUS 1204370 HAS SOUPS 1204268 WITH SCORE 1206571.835
AT ITER 266 NEW BEST:: SOT 2936772 SOS 2300653 HAS SOPS 2257708 HAS SOUS 1201160 HAS SOUPS 1201058 WITH SCORE 1203358.653
AT ITER 268 NEW BEST:: SOT 2927610 SOS 2291491 HAS SOPS 2248546 HAS SOUS 1191998 HAS SOUPS 1191896 WITH SCORE 1194187.491
AT ITER 269 NEW BEST:: SOT 2927610 SOS 2291481 HAS SOPS 2248536 HAS SOUS 1191988 HAS SOUPS 1191886 WITH SCORE 1194177.481
AT ITER 272 NEW BEST:: SOT 2927610 SOS 2291477 HAS SOPS 2248532 HAS SOUS 1191984 HAS SOUPS 1191882 WITH SCORE 1194173.477
AT ITER 280 NEW BEST:: SOT 2927584 SOS 2291475 HAS SOPS 2248530 HAS SOUS 1191982 HAS SOUPS 1191880 WITH SCORE 1194171.475
AT ITER 283 NEW BEST:: SOT 2927584 SOS 2291474 HAS SOPS 2248529 HAS SOUS 1191981 HAS SOUPS 1191879 WITH SCORE 1194170.474
AT ITER 289 NEW BEST:: SOT 2935474 SOS 2297702 HAS SOPS 2249974 HAS SOUS 1186844 HAS SOUPS 1186742 WITH SCORE 1189039.702
AT ITER 301 NEW BEST:: SOT 2934016 SOS 2296276 HAS SOPS 2248538 HAS SOUS 1185401 HAS SOUPS 1185299 WITH SCORE 1187595.276
AT ITER 306 NEW BEST:: SOT 2934225 SOS 2296208 HAS SOPS 2248470 HAS SOUS 1185333 HAS SOUPS 1185231 WITH SCORE 1187527.208
AT ITER 319 NEW BEST:: SOT 2934286 SOS 2296184 HAS SOPS 2248446 HAS SOUS 1185309 HAS SOUPS 1185207 WITH SCORE 1187503.184
AT ITER 323 NEW BEST:: SOT 2934093 SOS 2295991 HAS SOPS 2248253 HAS SOUS 1185116 HAS SOUPS 1185014 WITH SCORE 1187309.991
AT ITER 329 NEW BEST:: SOT 2934128 SOS 2295931 HAS SOPS 2248193 HAS SOUS 1185056 HAS SOUPS 1184954 WITH SCORE 1187249.931
AT ITER 333 NEW BEST:: SOT 2931570 SOS 2293399 HAS SOPS 2245286 HAS SOUS 1180175 HAS SOUPS 1180055 WITH SCORE 1182348.399
AT ITER 345 NEW BEST:: SOT 2931424 SOS 2293285 HAS SOPS 2245172 HAS SOUS 1180061 HAS SOUPS 1179941 WITH SCORE 1182234.285
AT ITER 392 NEW BEST:: SOT 2931380 SOS 2293197 HAS SOPS 2245084 HAS SOUS 1179973 HAS SOUPS 1179853 WITH SCORE 1182146.197
AT ITER 410 NEW BEST:: SOT 2927454 SOS 2288217 HAS SOPS 2235300 HAS SOUS 1171044 HAS SOUPS 1170924 WITH SCORE 1173212.217
AT ITER 419 NEW BEST:: SOT 2922957 SOS 2284148 HAS SOPS 2231231 HAS SOUS 1164648 HAS SOUPS 1164528 WITH SCORE 1166812.148
AT ITER 429 NEW BEST:: SOT 2938149 SOS 2298012 HAS SOPS 2240268 HAS SOUS 1164608 HAS SOUPS 1164488 WITH SCORE 1166786.012
AT ITER 432 NEW BEST:: SOT 2938149 SOS 2295928 HAS SOPS 2238184 HAS SOUS 1164588 HAS SOUPS 1164468 WITH SCORE 1166763.928
AT ITER 435 NEW BEST:: SOT 2935941 SOS 2293730 HAS SOPS 2235658 HAS SOUS 1159882 HAS SOUPS 1159751 WITH SCORE 1162044.73
AT ITER 440 NEW BEST:: SOT 2944095 SOS 2294908 HAS SOPS 2231971 HAS SOUS 1157730 HAS SOUPS 1157599 WITH SCORE 1159893.908
AT ITER 452 NEW BEST:: SOT 2949043 SOS 2299821 HAS SOPS 2236708 HAS SOUS 1154375 HAS SOUPS 1154244 WITH SCORE 1156543.821
AT ITER 492 NEW BEST:: SOT 2945475 SOS 2296338 HAS SOPS 2231978 HAS SOUS 1141971 HAS SOUPS 1141840 WITH SCORE 1144136.338
AT ITER 520 NEW BEST:: SOT 2945367 SOS 2296230 HAS SOPS 2231870 HAS SOUS 1141863 HAS SOUPS 1141732 WITH SCORE 1144028.23
AT ITER 549 NEW BEST:: SOT 2945367 SOS 2291230 HAS SOPS 2226870 HAS SOUS 1141813 HAS SOUPS 1141682 WITH SCORE 1143973.23
AT ITER 552 NEW BEST:: SOT 2945367 SOS 2291169 HAS SOPS 2226809 HAS SOUS 1141752 HAS SOUPS 1141621 WITH SCORE 1143912.169
AT ITER 561 NEW BEST:: SOT 2939671 SOS 2277653 HAS SOPS 2208338 HAS SOUS 1128813 HAS SOUPS 1128682 WITH SCORE 1130959.653
AT ITER 580 NEW BEST:: SOT 2939671 SOS 2274653 HAS SOPS 2205338 HAS SOUS 1128783 HAS SOUPS 1128652 WITH SCORE 1130926.653
AT ITER 587 NEW BEST:: SOT 2948295 SOS 2278224 HAS SOPS 2203946 HAS SOUS 1125602 HAS SOUPS 1125471 WITH SCORE 1127749.224
AT ITER 597 NEW BEST:: SOT 2948280 SOS 2278209 HAS SOPS 2203931 HAS SOUS 1125587 HAS SOUPS 1125456 WITH SCORE 1127734.209
AT ITER 610 NEW BEST:: SOT 2948280 SOS 2278202 HAS SOPS 2203924 HAS SOUS 1125580 HAS SOUPS 1125449 WITH SCORE 1127727.202
AT ITER 631 NEW BEST:: SOT 2946331 SOS 2276294 HAS SOPS 2202001 HAS SOUS 1123614 HAS SOUPS 1123483 WITH SCORE 1125759.294
AT ITER 646 NEW BEST:: SOT 2946149 SOS 2276337 HAS SOPS 2202044 HAS SOUS 1123591 HAS SOUPS 1123460 WITH SCORE 1125736.337
AT ITER 656 NEW BEST:: SOT 2946149 SOS 2276331 HAS SOPS 2202038 HAS SOUS 1123585 HAS SOUPS 1123454 WITH SCORE 1125730.331
AT ITER 671 NEW BEST:: SOT 2957943 SOS 2287107 HAS SOPS 2207850 HAS SOUS 1120384 HAS SOUPS 1120253 WITH SCORE 1122540.107
AT ITER 677 NEW BEST:: SOT 2946860 SOS 2273534 HAS SOPS 2189313 HAS SOUS 1095913 HAS SOUPS 1095782 WITH SCORE 1098055.534
AT ITER 685 NEW BEST:: SOT 2950796 SOS 2276486 HAS SOPS 2187301 HAS SOUS 1086316 HAS SOUPS 1086185 WITH SCORE 1088461.486
AT ITER 688 NEW BEST:: SOT 2944518 SOS 2270313 HAS SOPS 2181128 HAS SOUS 1080172 HAS SOUPS 1080041 WITH SCORE 1082311.313
AT ITER 697 NEW BEST:: SOT 2916142 SOS 2298080 HAS SOPS 2164982 HAS SOUS 1040873 HAS SOUPS 1040089 WITH SCORE 1042387.08
AT ITER 702 NEW BEST:: SOT 2915338 SOS 2297276 HAS SOPS 2162398 HAS SOUS 1031832 HAS SOUPS 1031048 WITH SCORE 1033345.276
AT ITER 711 NEW BEST:: SOT 2915114 SOS 2297052 HAS SOPS 2162174 HAS SOUS 1031608 HAS SOUPS 1030824 WITH SCORE 1033121.052
AT ITER 726 NEW BEST:: SOT 2915057 SOS 2296995 HAS SOPS 2162174 HAS SOUS 1031608 HAS SOUPS 1030824 WITH SCORE 1033120.995
AT ITER 753 NEW BEST:: SOT 2914830 SOS 2296768 HAS SOPS 2162076 HAS SOUS 1031510 HAS SOUPS 1030726 WITH SCORE 1033022.768
AT ITER 762 NEW BEST:: SOT 2909923 SOS 2287405 HAS SOPS 2147669 HAS SOUS 1020191 HAS SOUPS 1019407 WITH SCORE 1021694.405
AT ITER 770 NEW BEST:: SOT 2909900 SOS 2287382 HAS SOPS 2147399 HAS SOUS 1019076 HAS SOUPS 1018292 WITH SCORE 1020579.382
AT ITER 787 NEW BEST:: SOT 2918666 SOS 2289974 HAS SOPS 2144915 HAS SOUS 1017184 HAS SOUPS 1016400 WITH SCORE 1018689.974
AT ITER 805 NEW BEST:: SOT 2918547 SOS 2289855 HAS SOPS 2144888 HAS SOUS 1017157 HAS SOUPS 1016373 WITH SCORE 1018662.855
AT ITER 826 NEW BEST:: SOT 2910842 SOS 2282150 HAS SOPS 2137139 HAS SOUS 1009408 HAS SOUPS 1008624 WITH SCORE 1010906.15
AT ITER 840 NEW BEST:: SOT 2925028 SOS 2294323 HAS SOPS 2144592 HAS SOUS 1008868 HAS SOUPS 1008084 WITH SCORE 1010378.323
AT ITER 858 NEW BEST:: SOT 2925027 SOS 2294322 HAS SOPS 2144546 HAS SOUS 1008822 HAS SOUPS 1008038 WITH SCORE 1010332.322
AT ITER 865 NEW BEST:: SOT 2924958 SOS 2294253 HAS SOPS 2144478 HAS SOUS 1008754 HAS SOUPS 1007970 WITH SCORE 1010264.253
AT ITER 870 NEW BEST:: SOT 2920205 SOS 2286167 HAS SOPS 2131340 HAS SOUS 997811 HAS SOUPS 997027 WITH SCORE 999313.167
AT ITER 884 NEW BEST:: SOT 2920183 SOS 2286145 HAS SOPS 2131330 HAS SOUS 997801 HAS SOUPS 997017 WITH SCORE 999303.145
AT ITER 895 NEW BEST:: SOT 2920183 SOS 2286145 HAS SOPS 2131108 HAS SOUS 997727 HAS SOUPS 996943 WITH SCORE 999229.145
AT ITER 900 NEW BEST:: SOT 2920218 SOS 2286180 HAS SOPS 2131053 HAS SOUS 997672 HAS SOUPS 996888 WITH SCORE 999174.18
AT ITER 906 NEW BEST:: SOT 2920218 SOS 2286171 HAS SOPS 2131044 HAS SOUS 997663 HAS SOUPS 996879 WITH SCORE 999165.171
AT ITER 915 NEW BEST:: SOT 2920218 SOS 2284860 HAS SOPS 2129733 HAS SOUS 997652 HAS SOUPS 996868 WITH SCORE 999152.86
AT ITER 931 NEW BEST:: SOT 2920218 SOS 2284860 HAS SOPS 2129730 HAS SOUS 997649 HAS SOUPS 996865 WITH SCORE 999149.86
AT ITER 945 NEW BEST:: SOT 2920106 SOS 2284797 HAS SOPS 2129371 HAS SOUS 996204 HAS SOUPS 995418 WITH SCORE 997702.797
AT ITER 947 NEW BEST:: SOT 2920112 SOS 2284558 HAS SOPS 2129160 HAS SOUS 995993 HAS SOUPS 995207 WITH SCORE 997491.558
AT ITER 959 NEW BEST:: SOT 2919983 SOS 2281570 HAS SOPS 2121144 HAS SOUS 993180 HAS SOUPS 992394 WITH SCORE 994675.57
AT ITER 972 NEW BEST:: SOT 2919968 SOS 2281555 HAS SOPS 2121129 HAS SOUS 993165 HAS SOUPS 992379 WITH SCORE 994660.555
AT ITER 987 NEW BEST:: SOT 2919878 SOS 2281465 HAS SOPS 2120985 HAS SOUS 993021 HAS SOUPS 992235 WITH SCORE 994516.465
AT ITER 997 NEW BEST:: SOT 2919874 SOS 2281461 HAS SOPS 2120981 HAS SOUS 993017 HAS SOUPS 992231 WITH SCORE 994512.461
AT ITER 1003 NEW BEST:: SOT 2919874 SOS 2281461 HAS SOPS 2120980 HAS SOUS 993016 HAS SOUPS 992230 WITH SCORE 994511.461
AT ITER 1036 NEW BEST:: SOT 2919843 SOS 2281430 HAS SOPS 2120898 HAS SOUS 992934 HAS SOUPS 992148 WITH SCORE 994429.43
AT ITER 1037 NEW BEST:: SOT 2925227 SOS 2283222 HAS SOPS 2117596 HAS SOUS 985529 HAS SOUPS 984743 WITH SCORE 987026.222
AT ITER 1048 NEW BEST:: SOT 2925227 SOS 2283222 HAS SOPS 2117596 HAS SOUS 984519 HAS SOUPS 983733 WITH SCORE 986016.222
AT ITER 1065 NEW BEST:: SOT 2925223 SOS 2283218 HAS SOPS 2117588 HAS SOUS 984511 HAS SOUPS 983725 WITH SCORE 986008.218
AT ITER 1072 NEW BEST:: SOT 2925215 SOS 2283210 HAS SOPS 2117580 HAS SOUS 984503 HAS SOUPS 983717 WITH SCORE 986000.21
AT ITER 1084 NEW BEST:: SOT 2920923 SOS 2275813 HAS SOPS 2105149 HAS SOUS 974580 HAS SOUPS 973794 WITH SCORE 976069.813
AT ITER 1111 NEW BEST:: SOT 2921483 SOS 2269037 HAS SOPS 2093719 HAS SOUS 972263 HAS SOUPS 971477 WITH SCORE 973746.037
AT ITER 1140 NEW BEST:: SOT 2921182 SOS 2268736 HAS SOPS 2093393 HAS SOUS 971941 HAS SOUPS 971155 WITH SCORE 973423.736
AT ITER 1161 NEW BEST:: SOT 2913913 SOS 2259243 HAS SOPS 2078805 HAS SOUS 955109 HAS SOUPS 954323 WITH SCORE 956582.243
AT ITER 1172 NEW BEST:: SOT 2913800 SOS 2259130 HAS SOPS 2078697 HAS SOUS 955001 HAS SOUPS 954215 WITH SCORE 956474.13
AT ITER 1190 NEW BEST:: SOT 2914079 SOS 2259190 HAS SOPS 2078757 HAS SOUS 954914 HAS SOUPS 954128 WITH SCORE 956387.19
AT ITER 1192 NEW BEST:: SOT 2914089 SOS 2259200 HAS SOPS 2078730 HAS SOUS 954887 HAS SOUPS 954101 WITH SCORE 956360.2
AT ITER 1195 NEW BEST:: SOT 2914089 SOS 2259169 HAS SOPS 2078699 HAS SOUS 954629 HAS SOUPS 953843 WITH SCORE 956102.169
AT ITER 1204 NEW BEST:: SOT 2914089 SOS 2259161 HAS SOPS 2078691 HAS SOUS 954629 HAS SOUPS 953843 WITH SCORE 956102.161
AT ITER 1209 NEW BEST:: SOT 2913955 SOS 2259056 HAS SOPS 2078849 HAS SOUS 954576 HAS SOUPS 953790 WITH SCORE 956049.056
AT ITER 1210 NEW BEST:: SOT 2913791 SOS 2258892 HAS SOPS 2078656 HAS SOUS 954383 HAS SOUPS 953597 WITH SCORE 955855.892
AT ITER 1227 NEW BEST:: SOT 2913591 SOS 2258692 HAS SOPS 2078487 HAS SOUS 954214 HAS SOUPS 953428 WITH SCORE 955686.692
AT ITER 1229 NEW BEST:: SOT 2913549 SOS 2258650 HAS SOPS 2078416 HAS SOUS 954143 HAS SOUPS 953357 WITH SCORE 955615.65
AT ITER 1238 NEW BEST:: SOT 2913404 SOS 2258505 HAS SOPS 2078271 HAS SOUS 953998 HAS SOUPS 953212 WITH SCORE 955470.505
AT ITER 1241 NEW BEST:: SOT 2913366 SOS 2258467 HAS SOPS 2078232 HAS SOUS 953959 HAS SOUPS 953173 WITH SCORE 955431.467
AT ITER 1244 NEW BEST:: SOT 2913216 SOS 2258317 HAS SOPS 2078055 HAS SOUS 953828 HAS SOUPS 953042 WITH SCORE 955300.317
AT ITER 1250 NEW BEST:: SOT 2913216 SOS 2258317 HAS SOPS 2077983 HAS SOUS 953756 HAS SOUPS 952970 WITH SCORE 955228.317
AT ITER 1289 NEW BEST:: SOT 2912928 SOS 2258029 HAS SOPS 2077469 HAS SOUS 953242 HAS SOUPS 952456 WITH SCORE 954714.029
AT ITER 1296 NEW BEST:: SOT 2912845 SOS 2257946 HAS SOPS 2077386 HAS SOUS 953159 HAS SOUPS 952373 WITH SCORE 954630.946
AT ITER 1326 NEW BEST:: SOT 2912994 SOS 2258165 HAS SOPS 2077876 HAS SOUS 947757 HAS SOUPS 946971 WITH SCORE 949229.165
AT ITER 1353 NEW BEST:: SOT 2908774 SOS 2253895 HAS SOPS 2073596 HAS SOUS 938541 HAS SOUPS 937755 WITH SCORE 940008.895
AT ITER 1378 NEW BEST:: SOT 2908617 SOS 2253738 HAS SOPS 2073524 HAS SOUS 938469 HAS SOUPS 937683 WITH SCORE 939936.738
AT ITER 1389 NEW BEST:: SOT 2910957 SOS 2253405 HAS SOPS 2068095 HAS SOUS 927226 HAS SOUPS 926440 WITH SCORE 928693.405
AT ITER 1392 NEW BEST:: SOT 2910769 SOS 2253217 HAS SOPS 2067933 HAS SOUS 927064 HAS SOUPS 926278 WITH SCORE 928531.217
AT ITER 1393 NEW BEST:: SOT 2917067 SOS 2252620 HAS SOPS 2062241 HAS SOUS 923685 HAS SOUPS 922899 WITH SCORE 925151.62
AT ITER 1396 NEW BEST:: SOT 2915186 SOS 2250739 HAS SOPS 2060360 HAS SOUS 921804 HAS SOUPS 921018 WITH SCORE 923268.739
AT ITER 1398 NEW BEST:: SOT 2914938 SOS 2242322 HAS SOPS 2049695 HAS SOUS 921057 HAS SOUPS 920271 WITH SCORE 922513.322
AT ITER 1438 NEW BEST:: SOT 2912416 SOS 2239800 HAS SOPS 2047173 HAS SOUS 918566 HAS SOUPS 917780 WITH SCORE 920019.8
AT ITER 1453 NEW BEST:: SOT 2912188 SOS 2239572 HAS SOPS 2047164 HAS SOUS 918557 HAS SOUPS 917771 WITH SCORE 920010.572
AT ITER 1469 NEW BEST:: SOT 2912092 SOS 2239476 HAS SOPS 2047068 HAS SOUS 918461 HAS SOUPS 917675 WITH SCORE 919914.476
AT ITER 1487 NEW BEST:: SOT 2912032 SOS 2239416 HAS SOPS 2046999 HAS SOUS 918392 HAS SOUPS 917606 WITH SCORE 919845.416
AT ITER 1501 NEW BEST:: SOT 2912002 SOS 2239386 HAS SOPS 2046969 HAS SOUS 918362 HAS SOUPS 917576 WITH SCORE 919815.386
AT ITER 1532 NEW BEST:: SOT 2911968 SOS 2239352 HAS SOPS 2046888 HAS SOUS 918281 HAS SOUPS 917495 WITH SCORE 919734.352
AT ITER 1535 NEW BEST:: SOT 2908606 SOS 2236074 HAS SOPS 2043610 HAS SOUS 911603 HAS SOUPS 910817 WITH SCORE 913053.074
AT ITER 1540 NEW BEST:: SOT 2908436 SOS 2235904 HAS SOPS 2043401 HAS SOUS 911394 HAS SOUPS 910608 WITH SCORE 912843.904
AT ITER 1548 NEW BEST:: SOT 2908421 SOS 2235889 HAS SOPS 2043392 HAS SOUS 911385 HAS SOUPS 910599 WITH SCORE 912834.889
AT ITER 1550 NEW BEST:: SOT 2908452 SOS 2235920 HAS SOPS 2043423 HAS SOUS 911281 HAS SOUPS 910495 WITH SCORE 912730.92
AT ITER 1566 NEW BEST:: SOT 2898875 SOS 2226343 HAS SOPS 2033846 HAS SOUS 892004 HAS SOUPS 891218 WITH SCORE 893444.343
AT ITER 1572 NEW BEST:: SOT 2898781 SOS 2226249 HAS SOPS 2033752 HAS SOUS 891811 HAS SOUPS 891025 WITH SCORE 893251.249
AT ITER 1587 NEW BEST:: SOT 2898803 SOS 2226242 HAS SOPS 2033745 HAS SOUS 891804 HAS SOUPS 891018 WITH SCORE 893244.242
AT ITER 1629 NEW BEST:: SOT 2892785 SOS 2220224 HAS SOPS 2027685 HAS SOUS 878609 HAS SOUPS 877823 WITH SCORE 880043.224
AT ITER 1631 NEW BEST:: SOT 2892133 SOS 2216760 HAS SOPS 2020923 HAS SOUS 876961 HAS SOUPS 876175 WITH SCORE 878391.76
AT ITER 1659 NEW BEST:: SOT 2892005 SOS 2216632 HAS SOPS 2020866 HAS SOUS 876904 HAS SOUPS 876118 WITH SCORE 878334.632
AT ITER 1679 NEW BEST:: SOT 2891963 SOS 2216590 HAS SOPS 2020803 HAS SOUS 876841 HAS SOUPS 876055 WITH SCORE 878271.59
AT ITER 1682 NEW BEST:: SOT 2871431 SOS 2196058 HAS SOPS 2000269 HAS SOUS 857607 HAS SOUPS 856821 WITH SCORE 859017.058
AT ITER 1713 NEW BEST:: SOT 2871283 SOS 2195910 HAS SOPS 2000171 HAS SOUS 857509 HAS SOUPS 856723 WITH SCORE 858918.91
AT ITER 1749 NEW BEST:: SOT 2871084 SOS 2195711 HAS SOPS 2000079 HAS SOUS 857417 HAS SOUPS 856631 WITH SCORE 858826.711
AT ITER 1752 NEW BEST:: SOT 2870542 SOS 2195270 HAS SOPS 1999439 HAS SOUS 856266 HAS SOUPS 855480 WITH SCORE 857675.27
AT ITER 1756 NEW BEST:: SOT 2870396 SOS 2195124 HAS SOPS 1999415 HAS SOUS 856242 HAS SOUPS 855456 WITH SCORE 857651.124
AT ITER 1794 NEW BEST:: SOT 2870347 SOS 2195075 HAS SOPS 1999366 HAS SOUS 856193 HAS SOUPS 855407 WITH SCORE 857602.075
AT ITER 1828 NEW BEST:: SOT 2870347 SOS 2195075 HAS SOPS 1999316 HAS SOUS 856143 HAS SOUPS 855357 WITH SCORE 857552.075
AT ITER 1875 NEW BEST:: SOT 2870272 SOS 2187276 HAS SOPS 1990232 HAS SOUS 855822 HAS SOUPS 855036 WITH SCORE 857223.276
AT ITER 1882 NEW BEST:: SOT 2870252 SOS 2187256 HAS SOPS 1990212 HAS SOUS 855802 HAS SOUPS 855016 WITH SCORE 857203.256
AT ITER 1905 NEW BEST:: SOT 2870252 SOS 2187266 HAS SOPS 1990222 HAS SOUS 855763 HAS SOUPS 854977 WITH SCORE 857164.266
AT ITER 1912 NEW BEST:: SOT 2869308 SOS 2186322 HAS SOPS 1989278 HAS SOUS 853819 HAS SOUPS 853033 WITH SCORE 855219.322
AT ITER 1930 NEW BEST:: SOT 2869119 SOS 2186133 HAS SOPS 1989193 HAS SOUS 853734 HAS SOUPS 852948 WITH SCORE 855134.133
AT ITER 1943 NEW BEST:: SOT 2869089 SOS 2186103 HAS SOPS 1989163 HAS SOUS 853704 HAS SOUPS 852918 WITH SCORE 855104.103
AT ITER 1950 NEW BEST:: SOT 2869051 SOS 2186065 HAS SOPS 1989124 HAS SOUS 853665 HAS SOUPS 852879 WITH SCORE 855065.065
AT ITER 1968 NEW BEST:: SOT 2869051 SOS 2186065 HAS SOPS 1989115 HAS SOUS 853656 HAS SOUPS 852870 WITH SCORE 855056.065
AT ITER 1989 NEW BEST:: SOT 2868859 SOS 2185873 HAS SOPS 1988923 HAS SOUS 853464 HAS SOUPS 852678 WITH SCORE 854863.873
AT ITER 2024 NEW BEST:: SOT 2864545 SOS 2181559 HAS SOPS 1982269 HAS SOUS 844299 HAS SOUPS 843474 WITH SCORE 845655.559
AT ITER 2041 NEW BEST:: SOT 2864415 SOS 2181429 HAS SOPS 1982254 HAS SOUS 844284 HAS SOUPS 843459 WITH SCORE 845640.429
AT ITER 2066 NEW BEST:: SOT 2864415 SOS 2180924 HAS SOPS 1981749 HAS SOUS 844279 HAS SOUPS 843454 WITH SCORE 845634.924
AT ITER 2076 NEW BEST:: SOT 2862747 SOS 2179256 HAS SOPS 1980067 HAS SOUS 841197 HAS SOUPS 840372 WITH SCORE 842551.256
AT ITER 2077 NEW BEST:: SOT 2862747 SOS 2168879 HAS SOPS 1973350 HAS SOUS 841123 HAS SOUPS 840335 WITH SCORE 842503.879
AT ITER 2079 NEW BEST:: SOT 2862820 SOS 2168952 HAS SOPS 1973326 HAS SOUS 841099 HAS SOUPS 840311 WITH SCORE 842479.952
AT ITER 2080 NEW BEST:: SOT 2862614 SOS 2168746 HAS SOPS 1973120 HAS SOUS 840939 HAS SOUPS 840151 WITH SCORE 842319.746
AT ITER 2088 NEW BEST:: SOT 2862572 SOS 2168704 HAS SOPS 1973057 HAS SOUS 840876 HAS SOUPS 840088 WITH SCORE 842256.704
AT ITER 2124 NEW BEST:: SOT 2860130 SOS 2166262 HAS SOPS 1968285 HAS SOUS 831992 HAS SOUPS 831204 WITH SCORE 833370.262
AT ITER 2125 NEW BEST:: SOT 2859630 SOS 2165762 HAS SOPS 1967418 HAS SOUS 830431 HAS SOUPS 829643 WITH SCORE 831808.762
AT ITER 2127 NEW BEST:: SOT 2859630 SOS 2162568 HAS SOPS 1964224 HAS SOUS 830393 HAS SOUPS 829605 WITH SCORE 831767.568
AT ITER 2131 NEW BEST:: SOT 2855202 SOS 2155895 HAS SOPS 1952369 HAS SOUS 819894 HAS SOUPS 819106 WITH SCORE 821261.895
AT ITER 2141 NEW BEST:: SOT 2846279 SOS 2146791 HAS SOPS 1943086 HAS SOUS 810790 HAS SOUPS 810002 WITH SCORE 812148.791
AT ITER 2158 NEW BEST:: SOT 2846085 SOS 2146597 HAS SOPS 1942855 HAS SOUS 810559 HAS SOUPS 809771 WITH SCORE 811917.597
AT ITER 2162 NEW BEST:: SOT 2846085 SOS 2143539 HAS SOPS 1939797 HAS SOUS 810523 HAS SOUPS 809735 WITH SCORE 811878.539
AT ITER 2216 NEW BEST:: SOT 2840336 SOS 2135173 HAS SOPS 1926174 HAS SOUS 796952 HAS SOUPS 796164 WITH SCORE 798299.173
AT ITER 2223 NEW BEST:: SOT 2849132 SOS 2138302 HAS SOPS 1924017 HAS SOUS 795236 HAS SOUPS 794448 WITH SCORE 796586.302
AT ITER 2237 NEW BEST:: SOT 2860125 SOS 2146314 HAS SOPS 1926731 HAS SOUS 792975 HAS SOUPS 792187 WITH SCORE 794333.314
AT ITER 2251 NEW BEST:: SOT 2872294 SOS 2158483 HAS SOPS 1939155 HAS SOUS 791127 HAS SOUPS 790339 WITH SCORE 792497.483
AT ITER 2268 NEW BEST:: SOT 2871261 SOS 2157450 HAS SOPS 1936220 HAS SOUS 788663 HAS SOUPS 787875 WITH SCORE 790032.45
AT ITER 2270 NEW BEST:: SOT 2871013 SOS 2153935 HAS SOPS 1930457 HAS SOUS 787971 HAS SOUPS 787183 WITH SCORE 789336.935
AT ITER 2272 NEW BEST:: SOT 2858746 SOS 2141668 HAS SOPS 1918190 HAS SOUS 783613 HAS SOUPS 782825 WITH SCORE 784966.668
AT ITER 2281 NEW BEST:: SOT 2858881 SOS 2141803 HAS SOPS 1918174 HAS SOUS 783597 HAS SOUPS 782809 WITH SCORE 784950.803
AT ITER 2320 NEW BEST:: SOT 2846514 SOS 2129431 HAS SOPS 1905802 HAS SOUS 771434 HAS SOUPS 770646 WITH SCORE 772775.431
AT ITER 2329 NEW BEST:: SOT 2846514 SOS 2129383 HAS SOPS 1905754 HAS SOUS 771386 HAS SOUPS 770598 WITH SCORE 772727.383
AT ITER 2357 NEW BEST:: SOT 2846514 SOS 2122620 HAS SOPS 1898991 HAS SOUS 771248 HAS SOUPS 770460 WITH SCORE 772582.62
AT ITER 2358 NEW BEST:: SOT 2836486 SOS 2112592 HAS SOPS 1888963 HAS SOUS 761220 HAS SOUPS 760432 WITH SCORE 762544.592
AT ITER 2405 NEW BEST:: SOT 2836564 SOS 2112670 HAS SOPS 1888945 HAS SOUS 761202 HAS SOUPS 760414 WITH SCORE 762526.67
AT ITER 2420 NEW BEST:: SOT 2836517 SOS 2112623 HAS SOPS 1888870 HAS SOUS 761157 HAS SOUPS 760367 WITH SCORE 762479.623
AT ITER 2421 NEW BEST:: SOT 2836517 SOS 2112522 HAS SOPS 1888769 HAS SOUS 761056 HAS SOUPS 760266 WITH SCORE 762378.522
AT ITER 2423 NEW BEST:: SOT 2836517 SOS 2112522 HAS SOPS 1888676 HAS SOUS 760963 HAS SOUPS 760173 WITH SCORE 762285.522
AT ITER 2424 NEW BEST:: SOT 2835317 SOS 2111334 HAS SOPS 1887488 HAS SOUS 759775 HAS SOUPS 758985 WITH SCORE 761096.334
AT ITER 2443 NEW BEST:: SOT 2835290 SOS 2111307 HAS SOPS 1887461 HAS SOUS 759748 HAS SOUPS 758958 WITH SCORE 761069.307
AT ITER 2449 NEW BEST:: SOT 2835278 SOS 2111295 HAS SOPS 1887449 HAS SOUS 759736 HAS SOUPS 758946 WITH SCORE 761057.295
AT ITER 2463 NEW BEST:: SOT 2835250 SOS 2111267 HAS SOPS 1887449 HAS SOUS 759736 HAS SOUPS 758946 WITH SCORE 761057.267
AT ITER 2497 NEW BEST:: SOT 2835184 SOS 2111201 HAS SOPS 1887350 HAS SOUS 759637 HAS SOUPS 758847 WITH SCORE 760958.201
AT ITER 2503 NEW BEST:: SOT 2835184 SOS 2111148 HAS SOPS 1887297 HAS SOUS 759581 HAS SOUPS 758791 WITH SCORE 760902.148
AT ITER 2513 NEW BEST:: SOT 2834979 SOS 2110773 HAS SOPS 1887127 HAS SOUS 759385 HAS SOUPS 758595 WITH SCORE 760705.773
AT ITER 2519 NEW BEST:: SOT 2835022 SOS 2110816 HAS SOPS 1887125 HAS SOUS 759383 HAS SOUPS 758593 WITH SCORE 760703.816
AT ITER 2543 NEW BEST:: SOT 2845201 SOS 2121126 HAS SOPS 1892615 HAS SOUS 757917 HAS SOUPS 757107 WITH SCORE 759228.126
AT ITER 2579 NEW BEST:: SOT 2845042 SOS 2120930 HAS SOPS 1892459 HAS SOUS 757737 HAS SOUPS 756927 WITH SCORE 759047.93
AT ITER 2586 NEW BEST:: SOT 2845042 SOS 2120930 HAS SOPS 1892382 HAS SOUS 757660 HAS SOUPS 756850 WITH SCORE 758970.93
AT ITER 2592 NEW BEST:: SOT 2845018 SOS 2120906 HAS SOPS 1892358 HAS SOUS 757636 HAS SOUPS 756826 WITH SCORE 758946.906
AT ITER 2607 NEW BEST:: SOT 2855886 SOS 2129903 HAS SOPS 1895875 HAS SOUS 753674 HAS SOUPS 752864 WITH SCORE 754993.903
AT ITER 2687 NEW BEST:: SOT 2855888 SOS 2129905 HAS SOPS 1895847 HAS SOUS 753646 HAS SOUPS 752836 WITH SCORE 754965.905
AT ITER 2691 NEW BEST:: SOT 2855862 SOS 2129879 HAS SOPS 1895819 HAS SOUS 753618 HAS SOUPS 752808 WITH SCORE 754937.879
AT ITER 2698 NEW BEST:: SOT 2855807 SOS 2129824 HAS SOPS 1895811 HAS SOUS 753610 HAS SOUPS 752800 WITH SCORE 754929.824
AT ITER 2731 NEW BEST:: SOT 2855759 SOS 2129776 HAS SOPS 1895670 HAS SOUS 753469 HAS SOUPS 752659 WITH SCORE 754788.776
AT ITER 2740 NEW BEST:: SOT 2855759 SOS 2129631 HAS SOPS 1895525 HAS SOUS 753469 HAS SOUPS 752659 WITH SCORE 754788.631
AT ITER 2741 NEW BEST:: SOT 2855743 SOS 2129615 HAS SOPS 1895493 HAS SOUS 753437 HAS SOUPS 752627 WITH SCORE 754756.615
AT ITER 2745 NEW BEST:: SOT 2860843 SOS 2134715 HAS SOPS 1900586 HAS SOUS 747331 HAS SOUPS 746521 WITH SCORE 748655.715
AT ITER 2747 NEW BEST:: SOT 2860843 SOS 2132741 HAS SOPS 1898612 HAS SOUS 747297 HAS SOUPS 746487 WITH SCORE 748619.741
AT ITER 2776 NEW BEST:: SOT 2860843 SOS 2132741 HAS SOPS 1898611 HAS SOUS 747296 HAS SOUPS 746486 WITH SCORE 748618.741
AT ITER 2783 NEW BEST:: SOT 2860843 SOS 2125168 HAS SOPS 1891038 HAS SOUS 747187 HAS SOUPS 746377 WITH SCORE 748502.168
AT ITER 2784 NEW BEST:: SOT 2859163 SOS 2119848 HAS SOPS 1881176 HAS SOUS 743111 HAS SOUPS 742301 WITH SCORE 744420.848
AT ITER 2810 NEW BEST:: SOT 2859140 SOS 2119825 HAS SOPS 1881150 HAS SOUS 743085 HAS SOUPS 742275 WITH SCORE 744394.825
AT ITER 2822 NEW BEST:: SOT 2858995 SOS 2119680 HAS SOPS 1880978 HAS SOUS 742913 HAS SOUPS 742103 WITH SCORE 744222.68
AT ITER 2857 NEW BEST:: SOT 2858985 SOS 2119670 HAS SOPS 1880968 HAS SOUS 742903 HAS SOUPS 742093 WITH SCORE 744212.67
AT ITER 2870 NEW BEST:: SOT 2858887 SOS 2119572 HAS SOPS 1880824 HAS SOUS 742759 HAS SOUPS 741949 WITH SCORE 744068.572
AT ITER 2876 NEW BEST:: SOT 2858593 SOS 2119278 HAS SOPS 1880529 HAS SOUS 742464 HAS SOUPS 741654 WITH SCORE 743773.278
AT ITER 2937 NEW BEST:: SOT 2858571 SOS 2119256 HAS SOPS 1880461 HAS SOUS 742396 HAS SOUPS 741586 WITH SCORE 743705.256
AT ITER 2965 NEW BEST:: SOT 2858491 SOS 2119176 HAS SOPS 1880444 HAS SOUS 742379 HAS SOUPS 741569 WITH SCORE 743688.176
AT ITER 2992 NEW BEST:: SOT 2858230 SOS 2118915 HAS SOPS 1880183 HAS SOUS 742118 HAS SOUPS 741308 WITH SCORE 743426.915
AT ITER 2997 NEW BEST:: SOT 2858186 SOS 2118871 HAS SOPS 1880111 HAS SOUS 742046 HAS SOUPS 741236 WITH SCORE 743354.871
AT ITER 3052 NEW BEST:: SOT 2858178 SOS 2118863 HAS SOPS 1880099 HAS SOUS 742034 HAS SOUPS 741224 WITH SCORE 743342.863
AT ITER 3066 NEW BEST:: SOT 2858167 SOS 2118852 HAS SOPS 1880088 HAS SOUS 742023 HAS SOUPS 741213 WITH SCORE 743331.852
AT ITER 3085 NEW BEST:: SOT 2858060 SOS 2118653 HAS SOPS 1880034 HAS SOUS 741968 HAS SOUPS 741158 WITH SCORE 743276.653
AT ITER 3096 NEW BEST:: SOT 2852754 SOS 2113347 HAS SOPS 1874728 HAS SOUS 741308 HAS SOUPS 740498 WITH SCORE 742611.347
AT ITER 3107 NEW BEST:: SOT 2852709 SOS 2113301 HAS SOPS 1874682 HAS SOUS 741277 HAS SOUPS 740467 WITH SCORE 742580.301
AT ITER 3135 NEW BEST:: SOT 2852691 SOS 2113283 HAS SOPS 1874664 HAS SOUS 741259 HAS SOUPS 740449 WITH SCORE 742562.283
AT ITER 3172 NEW BEST:: SOT 2851351 SOS 2111992 HAS SOPS 1871936 HAS SOUS 736358 HAS SOUPS 735548 WITH SCORE 737659.992
AT ITER 3223 NEW BEST:: SOT 2851267 SOS 2111908 HAS SOPS 1871852 HAS SOUS 736274 HAS SOUPS 735464 WITH SCORE 737575.908
AT ITER 3279 NEW BEST:: SOT 2851038 SOS 2111679 HAS SOPS 1871623 HAS SOUS 736045 HAS SOUPS 735235 WITH SCORE 737346.679
AT ITER 3284 NEW BEST:: SOT 2851038 SOS 2111679 HAS SOPS 1871599 HAS SOUS 736026 HAS SOUPS 735211 WITH SCORE 737322.679
AT ITER 3329 NEW BEST:: SOT 2856855 SOS 2117496 HAS SOPS 1874218 HAS SOUS 734432 HAS SOUPS 733617 WITH SCORE 735734.496
AT ITER 3378 NEW BEST:: SOT 2856855 SOS 2117496 HAS SOPS 1874218 HAS SOUS 734397 HAS SOUPS 733582 WITH SCORE 735699.496
AT ITER 3380 NEW BEST:: SOT 2856855 SOS 2116892 HAS SOPS 1873614 HAS SOUS 734389 HAS SOUPS 733574 WITH SCORE 735690.892
AT ITER 3392 NEW BEST:: SOT 2856554 SOS 2116591 HAS SOPS 1873396 HAS SOUS 734171 HAS SOUPS 733356 WITH SCORE 735472.591
AT ITER 3460 NEW BEST:: SOT 2856548 SOS 2116585 HAS SOPS 1873357 HAS SOUS 734132 HAS SOUPS 733317 WITH SCORE 735433.585
AT ITER 3470 NEW BEST:: SOT 2856548 SOS 2116585 HAS SOPS 1873357 HAS SOUS 730395 HAS SOUPS 729580 WITH SCORE 731696.585
AT ITER 3475 NEW BEST:: SOT 2856467 SOS 2116504 HAS SOPS 1873355 HAS SOUS 730393 HAS SOUPS 729578 WITH SCORE 731694.504
AT ITER 3487 NEW BEST:: SOT 2856440 SOS 2116477 HAS SOPS 1873355 HAS SOUS 730393 HAS SOUPS 729578 WITH SCORE 731694.477
AT ITER 3517 NEW BEST:: SOT 2856374 SOS 2116411 HAS SOPS 1873289 HAS SOUS 730327 HAS SOUPS 729512 WITH SCORE 731628.411
AT ITER 3526 NEW BEST:: SOT 2856360 SOS 2116397 HAS SOPS 1873268 HAS SOUS 730306 HAS SOUPS 729491 WITH SCORE 731607.397
AT ITER 3535 NEW BEST:: SOT 2855279 SOS 2115300 HAS SOPS 1872171 HAS SOUS 729209 HAS SOUPS 728394 WITH SCORE 730509.3
AT ITER 3541 NEW BEST:: SOT 2855095 SOS 2115116 HAS SOPS 1872031 HAS SOUS 729069 HAS SOUPS 728254 WITH SCORE 730369.116
AT ITER 3578 NEW BEST:: SOT 2855095 SOS 2109380 HAS SOPS 1866295 HAS SOUS 729063 HAS SOUPS 728248 WITH SCORE 730357.38
AT ITER 3587 NEW BEST:: SOT 2855095 SOS 2109209 HAS SOPS 1866124 HAS SOUS 729063 HAS SOUPS 728248 WITH SCORE 730357.209
AT ITER 3603 NEW BEST:: SOT 2859161 SOS 2108426 HAS SOPS 1859960 HAS SOUS 721917 HAS SOUPS 721102 WITH SCORE 723210.426
AT ITER 3605 NEW BEST:: SOT 2859161 SOS 2104626 HAS SOPS 1856160 HAS SOUS 721879 HAS SOUPS 721064 WITH SCORE 723168.626
AT ITER 3633 NEW BEST:: SOT 2859115 SOS 2104580 HAS SOPS 1856153 HAS SOUS 721872 HAS SOUPS 721057 WITH SCORE 723161.58
AT ITER 3689 NEW BEST:: SOT 2859115 SOS 2095523 HAS SOPS 1847096 HAS SOUS 721849 HAS SOUPS 721034 WITH SCORE 723129.523
AT ITER 3692 NEW BEST:: SOT 2859114 SOS 2095522 HAS SOPS 1847096 HAS SOUS 721849 HAS SOUPS 721034 WITH SCORE 723129.522
AT ITER 3726 NEW BEST:: SOT 2859058 SOS 2095466 HAS SOPS 1847039 HAS SOUS 721792 HAS SOUPS 720977 WITH SCORE 723072.466
AT ITER 3728 NEW BEST:: SOT 2858878 SOS 2095286 HAS SOPS 1846859 HAS SOUS 721612 HAS SOUPS 720797 WITH SCORE 722892.286
AT ITER 3743 NEW BEST:: SOT 2859478 SOS 2095886 HAS SOPS 1847391 HAS SOUS 713645 HAS SOUPS 712830 WITH SCORE 714925.886
AT ITER 3763 NEW BEST:: SOT 2859478 SOS 2095886 HAS SOPS 1847318 HAS SOUS 713579 HAS SOUPS 712764 WITH SCORE 714859.886
AT ITER 3821 NEW BEST:: SOT 2859478 SOS 2095886 HAS SOPS 1847288 HAS SOUS 713549 HAS SOUPS 712734 WITH SCORE 714829.886
AT ITER 3825 NEW BEST:: SOT 2857478 SOS 2093906 HAS SOPS 1845308 HAS SOUS 709569 HAS SOUPS 708754 WITH SCORE 710847.906
AT ITER 3829 NEW BEST:: SOT 2857478 SOS 2093906 HAS SOPS 1845296 HAS SOUS 709557 HAS SOUPS 708742 WITH SCORE 710835.906
AT ITER 3832 NEW BEST:: SOT 2856569 SOS 2092815 HAS SOPS 1844110 HAS SOUS 707430 HAS SOUPS 706615 WITH SCORE 708707.815
AT ITER 3868 NEW BEST:: SOT 2856611 SOS 2092823 HAS SOPS 1844038 HAS SOUS 707254 HAS SOUPS 706439 WITH SCORE 708531.823
AT ITER 3873 NEW BEST:: SOT 2856601 SOS 2092813 HAS SOPS 1844028 HAS SOUS 707244 HAS SOUPS 706429 WITH SCORE 708521.813
AT ITER 3875 NEW BEST:: SOT 2856601 SOS 2091013 HAS SOPS 1842228 HAS SOUS 707226 HAS SOUPS 706411 WITH SCORE 708502.013
AT ITER 3878 NEW BEST:: SOT 2856577 SOS 2090989 HAS SOPS 1842204 HAS SOUS 707202 HAS SOUPS 706387 WITH SCORE 708477.989
AT ITER 3907 NEW BEST:: SOT 2856566 SOS 2090978 HAS SOPS 1842193 HAS SOUS 707191 HAS SOUPS 706376 WITH SCORE 708466.978
AT ITER 3914 NEW BEST:: SOT 2851546 SOS 2085958 HAS SOPS 1837173 HAS SOUS 702271 HAS SOUPS 701456 WITH SCORE 703541.958
AT ITER 3919 NEW BEST:: SOT 2851546 SOS 2085938 HAS SOPS 1837153 HAS SOUS 702271 HAS SOUPS 701456 WITH SCORE 703541.938
AT ITER 3924 NEW BEST:: SOT 2848280 SOS 2078986 HAS SOPS 1824963 HAS SOUS 694475 HAS SOUPS 693660 WITH SCORE 695738.986
AT ITER 3932 NEW BEST:: SOT 2848280 SOS 2078981 HAS SOPS 1824958 HAS SOUS 694466 HAS SOUPS 693651 WITH SCORE 695729.981
AT ITER 3940 NEW BEST:: SOT 2848258 SOS 2078959 HAS SOPS 1824944 HAS SOUS 694452 HAS SOUPS 693637 WITH SCORE 695715.959
AT ITER 3984 NEW BEST:: SOT 2848226 SOS 2078927 HAS SOPS 1824892 HAS SOUS 694400 HAS SOUPS 693585 WITH SCORE 695663.927
AT ITER 3990 NEW BEST:: SOT 2848218 SOS 2078919 HAS SOPS 1824866 HAS SOUS 694374 HAS SOUPS 693559 WITH SCORE 695637.919
AT ITER 3993 NEW BEST:: SOT 2848240 SOS 2078893 HAS SOPS 1824611 HAS SOUS 694119 HAS SOUPS 693304 WITH SCORE 695382.893
AT ITER 3996 NEW BEST:: SOT 2848240 SOS 2077507 HAS SOPS 1817812 HAS SOUS 684014 HAS SOUPS 683199 WITH SCORE 685276.507
AT ITER 4004 NEW BEST:: SOT 2847385 SOS 2076652 HAS SOPS 1816832 HAS SOUS 681971 HAS SOUPS 681156 WITH SCORE 683232.652
AT ITER 4024 NEW BEST:: SOT 2847335 SOS 2076602 HAS SOPS 1816782 HAS SOUS 681921 HAS SOUPS 681106 WITH SCORE 683182.602
AT ITER 4039 NEW BEST:: SOT 2847123 SOS 2076390 HAS SOPS 1816403 HAS SOUS 681542 HAS SOUPS 680727 WITH SCORE 682803.39
AT ITER 4050 NEW BEST:: SOT 2847123 SOS 2074469 HAS SOPS 1814482 HAS SOUS 681502 HAS SOUPS 680687 WITH SCORE 682761.469
AT ITER 4070 NEW BEST:: SOT 2847071 SOS 2074417 HAS SOPS 1814430 HAS SOUS 681450 HAS SOUPS 680635 WITH SCORE 682709.417
AT ITER 4084 NEW BEST:: SOT 2847071 SOS 2079453 HAS SOPS 1819466 HAS SOUS 681307 HAS SOUPS 680492 WITH SCORE 682571.453
AT ITER 4100 NEW BEST:: SOT 2846764 SOS 2079146 HAS SOPS 1819159 HAS SOUS 681000 HAS SOUPS 680185 WITH SCORE 682264.146
AT ITER 4104 NEW BEST:: SOT 2846760 SOS 2079142 HAS SOPS 1819159 HAS SOUS 681000 HAS SOUPS 680185 WITH SCORE 682264.142
AT ITER 4140 NEW BEST:: SOT 2846713 SOS 2079095 HAS SOPS 1819137 HAS SOUS 680978 HAS SOUPS 680163 WITH SCORE 682242.095
AT ITER 4163 NEW BEST:: SOT 2846723 SOS 2079105 HAS SOPS 1819195 HAS SOUS 677723 HAS SOUPS 676908 WITH SCORE 678987.105
AT ITER 4165 NEW BEST:: SOT 2846660 SOS 2079042 HAS SOPS 1819132 HAS SOUS 677660 HAS SOUPS 676845 WITH SCORE 678924.042
AT ITER 4182 NEW BEST:: SOT 2842268 SOS 2070090 HAS SOPS 1804784 HAS SOUS 667165 HAS SOUPS 666350 WITH SCORE 668420.09
AT ITER 4185 NEW BEST:: SOT 2847968 SOS 2075790 HAS SOPS 1810682 HAS SOUS 660555 HAS SOUPS 659740 WITH SCORE 661815.79
AT ITER 4228 NEW BEST:: SOT 2847799 SOS 2075621 HAS SOPS 1809168 HAS SOUS 658142 HAS SOUPS 657327 WITH SCORE 659402.621
AT ITER 4253 NEW BEST:: SOT 2847799 SOS 2075621 HAS SOPS 1809168 HAS SOUS 658130 HAS SOUPS 657315 WITH SCORE 659390.621
AT ITER 4279 NEW BEST:: SOT 2847799 SOS 2075621 HAS SOPS 1806051 HAS SOUS 654383 HAS SOUPS 653568 WITH SCORE 655643.621
AT ITER 4282 NEW BEST:: SOT 2847794 SOS 2075616 HAS SOPS 1806033 HAS SOUS 654365 HAS SOUPS 653550 WITH SCORE 655625.616
AT ITER 4331 NEW BEST:: SOT 2847794 SOS 2075616 HAS SOPS 1805999 HAS SOUS 654331 HAS SOUPS 653516 WITH SCORE 655591.616
AT ITER 4336 NEW BEST:: SOT 2847786 SOS 2075608 HAS SOPS 1805935 HAS SOUS 654267 HAS SOUPS 653452 WITH SCORE 655527.608
AT ITER 4342 NEW BEST:: SOT 2847786 SOS 2075608 HAS SOPS 1805909 HAS SOUS 654241 HAS SOUPS 653426 WITH SCORE 655501.608
AT ITER 4344 NEW BEST:: SOT 2847786 SOS 2075607 HAS SOPS 1805908 HAS SOUS 654241 HAS SOUPS 653426 WITH SCORE 655501.607
AT ITER 4348 NEW BEST:: SOT 2846848 SOS 2074644 HAS SOPS 1805031 HAS SOUS 653278 HAS SOUPS 652471 WITH SCORE 654545.644
AT ITER 4353 NEW BEST:: SOT 2854119 SOS 2081915 HAS SOPS 1812470 HAS SOUS 647729 HAS SOUPS 646922 WITH SCORE 649003.915
AT ITER 4354 NEW BEST:: SOT 2852404 SOS 2080200 HAS SOPS 1810755 HAS SOUS 646087 HAS SOUPS 645280 WITH SCORE 647360.2
AT ITER 4355 NEW BEST:: SOT 2861603 SOS 2089399 HAS SOPS 1819678 HAS SOUS 642325 HAS SOUPS 641518 WITH SCORE 643607.399
AT ITER 4367 NEW BEST:: SOT 2861603 SOS 2088799 HAS SOPS 1819078 HAS SOUS 642325 HAS SOUPS 641518 WITH SCORE 643606.799
AT ITER 4385 NEW BEST:: SOT 2861596 SOS 2088792 HAS SOPS 1819071 HAS SOUS 642318 HAS SOUPS 641511 WITH SCORE 643599.792
AT ITER 4398 NEW BEST:: SOT 2861596 SOS 2086910 HAS SOPS 1817189 HAS SOUS 642296 HAS SOUPS 641489 WITH SCORE 643575.91
AT ITER 4407 NEW BEST:: SOT 2854820 SOS 2076226 HAS SOPS 1800795 HAS SOUS 626410 HAS SOUPS 625603 WITH SCORE 627679.226
AT ITER 4462 NEW BEST:: SOT 2854865 SOS 2076271 HAS SOPS 1800667 HAS SOUS 626282 HAS SOUPS 625475 WITH SCORE 627551.271
AT ITER 4481 NEW BEST:: SOT 2854835 SOS 2076241 HAS SOPS 1800637 HAS SOUS 626252 HAS SOUPS 625445 WITH SCORE 627521.241
AT ITER 4484 NEW BEST:: SOT 2854502 SOS 2075908 HAS SOPS 1800304 HAS SOUS 625937 HAS SOUPS 625130 WITH SCORE 627205.908
AT ITER 4507 NEW BEST:: SOT 2854510 SOS 2075916 HAS SOPS 1800303 HAS SOUS 625936 HAS SOUPS 625129 WITH SCORE 627204.916
AT ITER 4511 NEW BEST:: SOT 2854493 SOS 2075899 HAS SOPS 1800286 HAS SOUS 625919 HAS SOUPS 625112 WITH SCORE 627187.899
AT ITER 4526 NEW BEST:: SOT 2853696 SOS 2075102 HAS SOPS 1798957 HAS SOUS 624226 HAS SOUPS 623419 WITH SCORE 625494.102
AT ITER 4532 NEW BEST:: SOT 2853621 SOS 2075027 HAS SOPS 1798903 HAS SOUS 624172 HAS SOUPS 623365 WITH SCORE 625440.027
AT ITER 4587 NEW BEST:: SOT 2852473 SOS 2073879 HAS SOPS 1793199 HAS SOUS 615135 HAS SOUPS 614328 WITH SCORE 616401.879
AT ITER 4616 NEW BEST:: SOT 2852455 SOS 2073861 HAS SOPS 1793187 HAS SOUS 615123 HAS SOUPS 614316 WITH SCORE 616389.861
AT ITER 4656 NEW BEST:: SOT 2851697 SOS 2073103 HAS SOPS 1791413 HAS SOUS 612909 HAS SOUPS 612102 WITH SCORE 614175.103
AT ITER 4687 NEW BEST:: SOT 2851391 SOS 2072797 HAS SOPS 1791107 HAS SOUS 612603 HAS SOUPS 611796 WITH SCORE 613868.797
AT ITER 4695 NEW BEST:: SOT 2851490 SOS 2072896 HAS SOPS 1791088 HAS SOUS 612584 HAS SOUPS 611777 WITH SCORE 613849.896
AT ITER 4698 NEW BEST:: SOT 2852788 SOS 2074194 HAS SOPS 1789739 HAS SOUS 608932 HAS SOUPS 608125 WITH SCORE 610199.194
AT ITER 4727 NEW BEST:: SOT 2852788 SOS 2072332 HAS SOPS 1787877 HAS SOUS 608913 HAS SOUPS 608106 WITH SCORE 610178.332
AT ITER 4743 NEW BEST:: SOT 2851554 SOS 2071112 HAS SOPS 1786657 HAS SOUS 607686 HAS SOUPS 606879 WITH SCORE 608950.112
AT ITER 4807 NEW BEST:: SOT 2851534 SOS 2071092 HAS SOPS 1786648 HAS SOUS 607677 HAS SOUPS 606870 WITH SCORE 608941.092
AT ITER 4820 NEW BEST:: SOT 2851534 SOS 2069153 HAS SOPS 1784709 HAS SOUS 607644 HAS SOUPS 606837 WITH SCORE 608906.153
AT ITER 4869 NEW BEST:: SOT 2851531 SOS 2069150 HAS SOPS 1784709 HAS SOUS 607644 HAS SOUPS 606837 WITH SCORE 608906.15
AT ITER 4875 NEW BEST:: SOT 2851531 SOS 2069150 HAS SOPS 1784685 HAS SOUS 607620 HAS SOUPS 606813 WITH SCORE 608882.15
AT ITER 4893 NEW BEST:: SOT 2851531 SOS 2069150 HAS SOPS 1784629 HAS SOUS 601388 HAS SOUPS 600581 WITH SCORE 602650.15
AT ITER 4934 NEW BEST:: SOT 2851486 SOS 2069105 HAS SOPS 1784539 HAS SOUS 601298 HAS SOUPS 600491 WITH SCORE 602560.105
AT ITER 4940 NEW BEST:: SOT 2851425 SOS 2069044 HAS SOPS 1784478 HAS SOUS 601237 HAS SOUPS 600430 WITH SCORE 602499.044
AT ITER 4970 NEW BEST:: SOT 2851333 SOS 2068952 HAS SOPS 1784438 HAS SOUS 601197 HAS SOUPS 600390 WITH SCORE 602458.952
AT ITER 4993 NEW BEST:: SOT 2851303 SOS 2068922 HAS SOPS 1784390 HAS SOUS 601149 HAS SOUPS 600342 WITH SCORE 602410.922
AT ITER 4996 NEW BEST:: SOT 2851303 SOS 2067538 HAS SOPS 1777157 HAS SOUS 588587 HAS SOUPS 587780 WITH SCORE 589847.538
Bounds file is: CTLFireability.xml
PROPERTY: Railroad-PT-100-CTLFireability-00 (EF( (AU( ( ((potential((tk(P401)>=1) & (tk(P965)>=1) & (tk(P447)>=1)))) & ((potential((tk(P374)>=1) & (tk(P965)>=1) & (tk(P429)>=1)))) ) , ((potential((tk(P322)>=1) & (tk(P965)>=1) & (tk(P480)>=1)))) ))))
PROPERTY: Railroad-PT-100-CTLFireability-01 ( (AF( ( (EG( ((potential((tk(P371)>=1) & (tk(P965)>=1) & (tk(P463)>=1)))))) | (! ((potential((tk(P366)>=1) & (tk(P965)>=1) & (tk(P481)>=1))))) ))) & (AF( ( ( ((potential((tk(P339)>=1) & (tk(P965)>=1) & (tk(P464)>=1)))) & ((potential((tk(P360)>=1) & (tk(P965)>=1) & (tk(P507)>=1)))) ) & (! ( ((potential((tk(P365)>=1) & (tk(P965)>=1) & (tk(P518)>=1)))) | ((potential((tk(P355)>=1) & (tk(P965)>=1) & (tk(P473)>=1)))) )) ))) )
PROPERTY: Railroad-PT-100-CTLFireability-02 (EF( (EG( (AG( ((potential((tk(P356)>=1) & (tk(P965)>=1) & (tk(P514)>=1))))))))))
PROPERTY: Railroad-PT-100-CTLFireability-03 (AF( ( ( (EG( ((potential((tk(P348)>=1) & (tk(P965)>=1) & (tk(P512)>=1)))))) | ((potential((tk(P354)>=1) & (tk(P965)>=1) & (tk(P431)>=1)))) ) | ( ((potential((tk(P372)>=1) & (tk(P965)>=1) & (tk(P488)>=1)))) & (EG( ((potential((tk(P399)>=1) & (tk(P965)>=1) & (tk(P468)>=1)))))) ) )))
PROPERTY: Railroad-PT-100-CTLFireability-04 (! (AF( ((potential((tk(P380)>=1) & (tk(P965)>=1) & (tk(P483)>=1)))))))
PROPERTY: Railroad-PT-100-CTLFireability-05 (! (! (AF( (AX( ((potential((tk(P390)>=1) & (tk(P965)>=1) & (tk(P480)>=1))))))))))
PROPERTY: Railroad-PT-100-CTLFireability-06 (AF( (EF( (AG( ((potential((tk(P342)>=1) & (tk(P965)>=1) & (tk(P500)>=1))))))))))
PROPERTY: Railroad-PT-100-CTLFireability-07 (EU( ( ((potential((tk(P342)>=1) & (tk(P965)>=1) & (tk(P485)>=1)))) | (! ( ((potential((tk(P375)>=1) & (tk(P965)>=1) & (tk(P528)>=1)))) & ((potential((tk(P383)>=1) & (tk(P965)>=1) & (tk(P527)>=1)))) )) ) , (EU( ((potential((tk(P384)>=1) & (tk(P965)>=1) & (tk(P485)>=1)))) , ((potential((tk(P330)>=1) & (tk(P965)>=1) & (tk(P438)>=1)))) )) ))
PROPERTY: Railroad-PT-100-CTLFireability-08 ( ( ((potential((tk(P416)>=1) & (tk(P965)>=1) & (tk(P443)>=1)))) | (! (! ( ( ((potential((tk(P385)>=1) & (tk(P965)>=1) & (tk(P449)>=1)))) | ((potential((tk(P376)>=1) & (tk(P965)>=1) & (tk(P495)>=1)))) ) & ((potential((tk(P326)>=1) & (tk(P965)>=1) & (tk(P455)>=1)))) ))) ) | (AG( (EX( (! ((potential((tk(P400)>=1) & (tk(P965)>=1) & (tk(P483)>=1))))))))) )
PROPERTY: Railroad-PT-100-CTLFireability-09 (AF( (AU( ( ((potential((tk(P338)>=1) & (tk(P965)>=1) & (tk(P520)>=1)))) & ((potential((tk(P418)>=1) & (tk(P965)>=1) & (tk(P484)>=1)))) ) , ( ((potential((tk(P413)>=1) & (tk(P965)>=1) & (tk(P456)>=1)))) | ((potential((tk(P418)>=1) & (tk(P965)>=1) & (tk(P506)>=1)))) ) ))))
PROPERTY: Railroad-PT-100-CTLFireability-10 ( (AU( ((potential((tk(P376)>=1) & (tk(P965)>=1) & (tk(P456)>=1)))) , ( ((potential((tk(P373)>=1) & (tk(P965)>=1) & (tk(P487)>=1)))) & (! ((potential((tk(P353)>=1) & (tk(P965)>=1) & (tk(P465)>=1))))) ) )) | ( ( ( (AX( ((potential((tk(P390)>=1) & (tk(P965)>=1) & (tk(P482)>=1)))))) & ( ( ((potential((tk(P333)>=1) & (tk(P965)>=1) & (tk(P476)>=1)))) & ((potential((tk(P352)>=1) & (tk(P965)>=1) & (tk(P460)>=1)))) ) & ((potential((tk(P364)>=1) & (tk(P965)>=1) & (tk(P515)>=1)))) ) ) & ( (AF( ((potential((tk(P350)>=1) & (tk(P965)>=1) & (tk(P487)>=1)))))) | (! ((potential((tk(P340)>=1) & (tk(P965)>=1) & (tk(P448)>=1))))) ) ) | (EF( ( (! ((potential((tk(P339)>=1) & (tk(P965)>=1) & (tk(P472)>=1))))) & ( ((potential((tk(P327)>=1) & (tk(P965)>=1) & (tk(P519)>=1)))) & ((potential((tk(P378)>=1) & (tk(P965)>=1) & (tk(P466)>=1)))) ) ))) ) )
PROPERTY: Railroad-PT-100-CTLFireability-11 (AX( (EF( (EF( ((potential((tk(P374)>=1) & (tk(P965)>=1) & (tk(P456)>=1))))))))))
PROPERTY: Railroad-PT-100-CTLFireability-12 ( (! (EU( (! ((potential((tk(P965)>=1) & (tk(P54)>=1) & (tk(P512)>=1))))) , ( ((potential((tk(P336)>=1) & (tk(P965)>=1) & (tk(P509)>=1)))) & ((potential((tk(P324)>=1) & (tk(P965)>=1) & (tk(P518)>=1)))) ) ))) & (AF( (AX( ((potential((tk(P413)>=1) & (tk(P965)>=1) & (tk(P518)>=1)))))))) )
PROPERTY: Railroad-PT-100-CTLFireability-13 (AF( (EU( ( ((potential((tk(P965)>=1) & (tk(P54)>=1) & (tk(P445)>=1)))) | ((potential((tk(P330)>=1) & (tk(P965)>=1) & (tk(P492)>=1)))) ) , ( ((potential((tk(P393)>=1) & (tk(P965)>=1) & (tk(P437)>=1)))) & ((potential((tk(P411)>=1) & (tk(P965)>=1) & (tk(P494)>=1)))) ) ))))
PROPERTY: Railroad-PT-100-CTLFireability-14 (! (AF( (AU( ((potential((tk(P360)>=1) & (tk(P965)>=1) & (tk(P513)>=1)))) , ((potential((tk(P392)>=1) & (tk(P965)>=1) & (tk(P434)>=1)))) )))))
PROPERTY: Railroad-PT-100-CTLFireability-15 (! (EF( (EU( ((potential((tk(P351)>=1) & (tk(P965)>=1) & (tk(P466)>=1)))) , ((potential((tk(P353)>=1) & (tk(P965)>=1) & (tk(P506)>=1)))) )))))

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="CTLFireability"
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 CTLFireability"
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-158961502700324"
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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;