About the Execution of LoLA for S_QuasiCertifProtocol-COL-18
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
11062.100 | 3540245.00 | 3547865.00 | 10653.80 | 19 ? ? ? ? ? 1 ? ? ? ? ? ? ? 19 ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
................
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is S_QuasiCertifProtocol-COL-18, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r138-smll-149479231700209
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of positive values
NUM_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME QuasiCertifProtocol-COL-18-UpperBounds-0
FORMULA_NAME QuasiCertifProtocol-COL-18-UpperBounds-1
FORMULA_NAME QuasiCertifProtocol-COL-18-UpperBounds-10
FORMULA_NAME QuasiCertifProtocol-COL-18-UpperBounds-11
FORMULA_NAME QuasiCertifProtocol-COL-18-UpperBounds-12
FORMULA_NAME QuasiCertifProtocol-COL-18-UpperBounds-13
FORMULA_NAME QuasiCertifProtocol-COL-18-UpperBounds-14
FORMULA_NAME QuasiCertifProtocol-COL-18-UpperBounds-15
FORMULA_NAME QuasiCertifProtocol-COL-18-UpperBounds-2
FORMULA_NAME QuasiCertifProtocol-COL-18-UpperBounds-3
FORMULA_NAME QuasiCertifProtocol-COL-18-UpperBounds-4
FORMULA_NAME QuasiCertifProtocol-COL-18-UpperBounds-5
FORMULA_NAME QuasiCertifProtocol-COL-18-UpperBounds-6
FORMULA_NAME QuasiCertifProtocol-COL-18-UpperBounds-7
FORMULA_NAME QuasiCertifProtocol-COL-18-UpperBounds-8
FORMULA_NAME QuasiCertifProtocol-COL-18-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496367061040
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_QuasiCertifProtocol-COL-18: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_QuasiCertifProtocol-COL-18: translating COL formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
UpperBounds @ S_QuasiCertifProtocol-COL-18 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 1694/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 1398 places, 296 transitions, 295 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 391 transition conflict sets
lola: TASK
lola: reading formula from QuasiCertifProtocol-COL-18-UpperBounds.task
lola: MAX(p881 + p882 + p883 + p884 + p885 + p886 + p887 + p888 + p889 + p890 + p891 + p892 + p893 + p894 + p895 + p896 + p897 + p898 + p899) : MAX(p955 + p954 + p953 + p952 + p951 + p950 + p949 + p948 + p947 + p946 + p945 + p944 + p943 + p942 + p941 + p940 + p939 + p938 + p956) : MAX(p97) : MAX(p862 + p863 + p864 + p865 + p866 + p867 + p868 + p869 + p870 + p871 + p872 + p873 + p874 + p875 + p876 + p877 + p878 + p879 + p880) : MAX(p97) : MAX(p1396 + p1395 + p1394 + p1393 + p1392 + p1391 + p1390 + p1389 + p1388 + p1387 + p1386 + p1385 + p1384 + p1383 + p1382 + p1381 + p1380 + p1379 + p1378) : MAX(p977) : MAX(p979 + p1321 + p1302 + p1283 + p1264 + p1245 + p1226 + p1207 + p1188 + p1169 + p1150 + p1131 + p1112 + p1093 + p1074 + p1055 + p1036 + p1017 + p1000 + p1001 + p1002 + p1003 + p1004 + p1005 + p1006 + p1007 + p1008 + p1009 + p1010 + p1011 + p1012 + p1013 + p1014 + p1015 + p1016 + p1018 + p1019 + p1020 + p1021 + p1022 + p1023 + p1024 + p1025 + p1026 + p1027 + p1028 + p1029 + p1030 + p1031 + p1032 + p1033 + p1034 + p1035 + p1037 + p1038 + p1039 + p1040 + p1041 + p1042 + p1043 + p1044 + p1045 + p1046 + p1047 + p1048 + p1049 + p1050 + p1051 + p1052 + p1053 + p1054 + p1056 + p1057 + p1058 + p1059 + p1060 + p1061 + p1062 + p1063 + p1064 + p1065 + p1066 + p1067 + p1068 + p1069 + p1070 + p1071 + p1072 + p1073 + p1075 + p1076 + p1077 + p1078 + p1079 + p1080 + p1081 + p1082 + p1083 + p1084 + p1085 + p1086 + p1087 + p1088 + p1089 + p1090 + p1091 + p1092 + p1094 + p1095 + p1096 + p1097 + p1098 + p1099 + p1100 + p1101 + p1102 + p1103 + p1104 + p1105 + p1106 + p1107 + p1108 + p1109 + p1110 + p1111 + p1113 + p1114 + p1115 + p1116 + p1117 + p1118 + p1119 + p1120 + p1121 + p1122 + p1123 + p1124 + p1125 + p1126 + p1127 + p1128 + p1129 + p1130 + p1132 + p1133 + p1134 + p1135 + p1136 + p1137 + p1138 + p1139 + p1140 + p1141 + p1142 + p1143 + p1144 + p1145 + p1146 + p1147 + p1148 + p1149 + p1151 + p1152 + p1153 + p1154 + p1155 + p1156 + p1157 + p1158 + p1159 + p1160 + p1161 + p1162 + p1163 + p1164 + p1165 + p1166 + p1167 + p1168 + p1170 + p1171 + p1172 + p1173 + p1174 + p1175 + p1176 + p1177 + p1178 + p1179 + p1180 + p1181 + p1182 + p1183 + p1184 + p1185 + p1186 + p1187 + p1189 + p1190 + p1191 + p1192 + p1193 + p1194 + p1195 + p1196 + p1197 + p1198 + p1199 + p1200 + p1201 + p1202 + p1203 + p1204 + p1205 + p1206 + p1208 + p1209 + p1210 + p1211 + p1212 + p1213 + p1214 + p1215 + p1216 + p1217 + p1218 + p1219 + p1220 + p1221 + p1222 + p1223 + p1224 + p1225 + p1227 + p1228 + p1229 + p1230 + p1231 + p1232 + p1233 + p1234 + p1235 + p1236 + p1237 + p1238 + p1239 + p1240 + p1241 + p1242 + p1243 + p1244 + p1246 + p1247 + p1248 + p1249 + p1250 + p1251 + p1252 + p1253 + p1254 + p1255 + p1256 + p1257 + p1258 + p1259 + p1260 + p1261 + p1262 + p1263 + p1265 + p1266 + p1267 + p1268 + p1269 + p1270 + p1271 + p1272 + p1273 + p1274 + p1275 + p1276 + p1277 + p1278 + p1279 + p1280 + p1281 + p1282 + p1284 + p1285 + p1286 + p1287 + p1288 + p1289 + p1290 + p1291 + p1292 + p1293 + p1294 + p1295 + p1296 + p1297 + p1298 + p1299 + p1300 + p1301 + p1303 + p1304 + p1305 + p1306 + p1307 + p1308 + p1309 + p1310 + p1311 + p1312 + p1313 + p1314 + p1315 + p1316 + p1317 + p1318 + p1319 + p1320 + p1322 + p1323 + p1324 + p1325 + p1326 + p1327 + p1328 + p1329 + p1330 + p1331 + p1332 + p1333 + p1334 + p1335 + p1336 + p1337 + p1338 + p1339 + p980 + p981 + p982 + p983 + p984 + p985 + p986 + p987 + p988 + p989 + p990 + p991 + p992 + p993 + p994 + p995 + p996 + p997 + p998 + p999) : MAX(p881 + p882 + p883 + p884 + p885 + p886 + p887 + p888 + p889 + p890 + p891 + p892 + p893 + p894 + p895 + p896 + p897 + p898 + p899) : MAX(p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38) : MAX(p100) : MAX(p100) : MAX(p955 + p954 + p953 + p952 + p951 + p950 + p949 + p948 + p947 + p946 + p945 + p944 + p943 + p942 + p941 + p940 + p939 + p938 + p956) : MAX(p99) : MAX(p978) : MAX(p99)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p881 + p882 + p883 + p884 + p885 + p886 + p887 + p888 + p889 + p890 + p891 + p892 + p893 + p894 + p895 + p896 + p897 + p898 + p899)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1180 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 19
lola: produced by: state space
lola: The maximum value of the given expression is 19
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p955 + p954 + p953 + p952 + p951 + p950 + p949 + p948 + p947 + p946 + p945 + p944 + p943 + p942 + p941 + p940 + p939 + p938 + p956)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1180 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 397777 markings, 3640024 edges, 79555 markings/sec, 0 secs
lola: 711431 markings, 6583783 edges, 62731 markings/sec, 5 secs
lola: 961041 markings, 8997964 edges, 49922 markings/sec, 10 secs
lola: 1267716 markings, 11868254 edges, 61335 markings/sec, 15 secs
lola: 1588771 markings, 15051533 edges, 64211 markings/sec, 20 secs
lola: 1853999 markings, 17451435 edges, 53046 markings/sec, 25 secs
lola: 2090848 markings, 19840938 edges, 47370 markings/sec, 30 secs
lola: 2434831 markings, 22955847 edges, 68797 markings/sec, 35 secs
lola: 2729508 markings, 25788168 edges, 58935 markings/sec, 40 secs
lola: 2971987 markings, 28058847 edges, 48496 markings/sec, 45 secs
lola: 3219863 markings, 30472073 edges, 49575 markings/sec, 50 secs
lola: 3538361 markings, 33479843 edges, 63700 markings/sec, 55 secs
lola: 3815865 markings, 36093714 edges, 55501 markings/sec, 60 secs
lola: 4053553 markings, 38356743 edges, 47538 markings/sec, 65 secs
lola: 4316867 markings, 40869154 edges, 52663 markings/sec, 70 secs
lola: 4630714 markings, 43859740 edges, 62769 markings/sec, 75 secs
lola: 4894156 markings, 46318854 edges, 52688 markings/sec, 80 secs
lola: 5121322 markings, 48510523 edges, 45433 markings/sec, 85 secs
lola: 5381884 markings, 50979386 edges, 52112 markings/sec, 90 secs
lola: 5686100 markings, 53893519 edges, 60843 markings/sec, 95 secs
lola: 5958496 markings, 56432893 edges, 54479 markings/sec, 100 secs
lola: 6201189 markings, 58778676 edges, 48539 markings/sec, 105 secs
lola: 6451348 markings, 61120889 edges, 50032 markings/sec, 110 secs
lola: 6693299 markings, 63445347 edges, 48390 markings/sec, 115 secs
lola: 6938194 markings, 65771572 edges, 48979 markings/sec, 120 secs
lola: 7185032 markings, 68092482 edges, 49368 markings/sec, 125 secs
lola: 7427131 markings, 70426216 edges, 48420 markings/sec, 130 secs
lola: 7677417 markings, 72760447 edges, 50057 markings/sec, 135 secs
lola: 7913983 markings, 75090448 edges, 47313 markings/sec, 140 secs
lola: 8166616 markings, 77409246 edges, 50527 markings/sec, 145 secs
lola: 8395408 markings, 79733271 edges, 45758 markings/sec, 150 secs
lola: 8652518 markings, 82061404 edges, 51422 markings/sec, 155 secs
lola: 8889383 markings, 84391202 edges, 47373 markings/sec, 160 secs
lola: 9146245 markings, 86722112 edges, 51372 markings/sec, 165 secs
lola: 9384017 markings, 89050855 edges, 47554 markings/sec, 170 secs
lola: 9627672 markings, 91289688 edges, 48731 markings/sec, 175 secs
lola: 9862280 markings, 93557082 edges, 46922 markings/sec, 180 secs
lola: 10097329 markings, 95780575 edges, 47010 markings/sec, 185 secs
lola: 10323692 markings, 97908092 edges, 45273 markings/sec, 190 secs
lola: 10532193 markings, 99964855 edges, 41700 markings/sec, 195 secs
lola: 10721323 markings, 101685527 edges, 37826 markings/sec, 200 secs
lola: 10898808 markings, 103395754 edges, 35497 markings/sec, 205 secs
lola: 11077029 markings, 105127807 edges, 35644 markings/sec, 210 secs
lola: 11268425 markings, 106907801 edges, 38279 markings/sec, 215 secs
lola: 11452539 markings, 108675254 edges, 36823 markings/sec, 220 secs
lola: 11643735 markings, 110472506 edges, 38239 markings/sec, 225 secs
lola: 11839496 markings, 112300006 edges, 39152 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p97)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1180 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 757050 markings, 1818082 edges, 151410 markings/sec, 0 secs
lola: 1291636 markings, 3721761 edges, 106917 markings/sec, 5 secs
lola: 1708457 markings, 5523108 edges, 83364 markings/sec, 10 secs
lola: 2115958 markings, 7458309 edges, 81500 markings/sec, 15 secs
lola: 2484246 markings, 9380331 edges, 73658 markings/sec, 20 secs
lola: 2834771 markings, 11250518 edges, 70105 markings/sec, 25 secs
lola: 3166542 markings, 13098379 edges, 66354 markings/sec, 30 secs
lola: 3489108 markings, 15001028 edges, 64513 markings/sec, 35 secs
lola: 3869962 markings, 16966496 edges, 76171 markings/sec, 40 secs
lola: 4212919 markings, 18867606 edges, 68591 markings/sec, 45 secs
lola: 4537057 markings, 20742309 edges, 64828 markings/sec, 50 secs
lola: 4855179 markings, 22615928 edges, 63624 markings/sec, 55 secs
lola: 5176157 markings, 24431942 edges, 64196 markings/sec, 60 secs
lola: 5474591 markings, 26269612 edges, 59687 markings/sec, 65 secs
lola: 5781008 markings, 28070137 edges, 61283 markings/sec, 70 secs
lola: 6071228 markings, 29895405 edges, 58044 markings/sec, 75 secs
lola: 6348255 markings, 31764953 edges, 55405 markings/sec, 80 secs
lola: 6733714 markings, 33721942 edges, 77092 markings/sec, 85 secs
lola: 7081330 markings, 35613514 edges, 69523 markings/sec, 90 secs
lola: 7388693 markings, 37459760 edges, 61473 markings/sec, 95 secs
lola: 7724671 markings, 39281254 edges, 67196 markings/sec, 100 secs
lola: 8028835 markings, 41125961 edges, 60833 markings/sec, 105 secs
lola: 8344296 markings, 42953393 edges, 63092 markings/sec, 110 secs
lola: 8643601 markings, 44822606 edges, 59861 markings/sec, 115 secs
lola: 8923842 markings, 46579616 edges, 56048 markings/sec, 120 secs
lola: 9244900 markings, 48365343 edges, 64212 markings/sec, 125 secs
lola: 9544704 markings, 50155984 edges, 59961 markings/sec, 130 secs
lola: 9838214 markings, 51942995 edges, 58702 markings/sec, 135 secs
lola: 10128678 markings, 53740033 edges, 58093 markings/sec, 140 secs
lola: 10416144 markings, 55541618 edges, 57493 markings/sec, 145 secs
lola: 10709927 markings, 57323800 edges, 58757 markings/sec, 150 secs
lola: 10990009 markings, 59114151 edges, 56016 markings/sec, 155 secs
lola: 11273351 markings, 60933401 edges, 56668 markings/sec, 160 secs
lola: 11545535 markings, 62761706 edges, 54437 markings/sec, 165 secs
lola: 11820053 markings, 64591805 edges, 54904 markings/sec, 170 secs
lola: 12105971 markings, 66487064 edges, 57184 markings/sec, 175 secs
lola: 12494272 markings, 68442247 edges, 77660 markings/sec, 180 secs
lola: 12834986 markings, 70355332 edges, 68143 markings/sec, 185 secs
lola: 13186648 markings, 72241959 edges, 70332 markings/sec, 190 secs
lola: 13512072 markings, 74114194 edges, 65085 markings/sec, 195 secs
lola: 13827868 markings, 75979098 edges, 63159 markings/sec, 200 secs
lola: 14115340 markings, 77830893 edges, 57494 markings/sec, 205 secs
lola: 14458773 markings, 79668534 edges, 68687 markings/sec, 210 secs
lola: 14775797 markings, 81491904 edges, 63405 markings/sec, 215 secs
lola: 15083391 markings, 83310259 edges, 61519 markings/sec, 220 secs
lola: 15364736 markings, 85120097 edges, 56269 markings/sec, 225 secs
lola: 15677990 markings, 86934703 edges, 62651 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p862 + p863 + p864 + p865 + p866 + p867 + p868 + p869 + p870 + p871 + p872 + p873 + p874 + p875 + p876 + p877 + p878 + p879 + p880)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1180 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 931188 markings, 1836784 edges, 186238 markings/sec, 0 secs
lola: 1624413 markings, 3711060 edges, 138645 markings/sec, 5 secs
lola: 2102208 markings, 5506607 edges, 95559 markings/sec, 10 secs
lola: 2554753 markings, 7355247 edges, 90509 markings/sec, 15 secs
lola: 2956593 markings, 9300883 edges, 80368 markings/sec, 20 secs
lola: 3324244 markings, 11197484 edges, 73530 markings/sec, 25 secs
lola: 3675567 markings, 13041262 edges, 70265 markings/sec, 30 secs
lola: 4015000 markings, 14907133 edges, 67887 markings/sec, 35 secs
lola: 4393176 markings, 16901040 edges, 75635 markings/sec, 40 secs
lola: 4749607 markings, 18837509 edges, 71286 markings/sec, 45 secs
lola: 5087178 markings, 20723018 edges, 67514 markings/sec, 50 secs
lola: 5399745 markings, 22640755 edges, 62513 markings/sec, 55 secs
lola: 5737427 markings, 24476824 edges, 67536 markings/sec, 60 secs
lola: 6053226 markings, 26320191 edges, 63160 markings/sec, 65 secs
lola: 6365355 markings, 28164856 edges, 62426 markings/sec, 70 secs
lola: 6666321 markings, 30016119 edges, 60193 markings/sec, 75 secs
lola: 6958173 markings, 31892249 edges, 58370 markings/sec, 80 secs
lola: 7324701 markings, 33868227 edges, 73306 markings/sec, 85 secs
lola: 7681149 markings, 35797462 edges, 71290 markings/sec, 90 secs
lola: 8011446 markings, 37707630 edges, 66059 markings/sec, 95 secs
lola: 8345258 markings, 39591041 edges, 66762 markings/sec, 100 secs
lola: 8666886 markings, 41457215 edges, 64326 markings/sec, 105 secs
lola: 8983966 markings, 43319091 edges, 63416 markings/sec, 110 secs
lola: 9284060 markings, 45185933 edges, 60019 markings/sec, 115 secs
lola: 9576639 markings, 47070282 edges, 58516 markings/sec, 120 secs
lola: 9910165 markings, 48888685 edges, 66705 markings/sec, 125 secs
lola: 10215035 markings, 50710994 edges, 60974 markings/sec, 130 secs
lola: 10518582 markings, 52529108 edges, 60709 markings/sec, 135 secs
lola: 10812532 markings, 54351289 edges, 58790 markings/sec, 140 secs
lola: 11104547 markings, 56183294 edges, 58403 markings/sec, 145 secs
lola: 11403012 markings, 57992895 edges, 59693 markings/sec, 150 secs
lola: 11688591 markings, 59811924 edges, 57116 markings/sec, 155 secs
lola: 11972368 markings, 61629455 edges, 56755 markings/sec, 160 secs
lola: 12245466 markings, 63458170 edges, 54620 markings/sec, 165 secs
lola: 12520807 markings, 65289556 edges, 55068 markings/sec, 170 secs
lola: 12805778 markings, 67181786 edges, 56994 markings/sec, 175 secs
lola: 13192671 markings, 69127942 edges, 77379 markings/sec, 180 secs
lola: 13533297 markings, 71035045 edges, 68125 markings/sec, 185 secs
lola: 13883672 markings, 72916012 edges, 70075 markings/sec, 190 secs
lola: 14208350 markings, 74780653 edges, 64936 markings/sec, 195 secs
lola: 14523409 markings, 76639554 edges, 63012 markings/sec, 200 secs
lola: 14812832 markings, 78498742 edges, 57885 markings/sec, 205 secs
lola: 15156356 markings, 80343084 edges, 68705 markings/sec, 210 secs
lola: 15474088 markings, 82170078 edges, 63546 markings/sec, 215 secs
lola: 15780809 markings, 83978979 edges, 61344 markings/sec, 220 secs
lola: 16061962 markings, 85781581 edges, 56231 markings/sec, 225 secs
lola: 16373267 markings, 87587789 edges, 62261 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p97)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1180 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 743226 markings, 1782157 edges, 148645 markings/sec, 0 secs
lola: 1277072 markings, 3658154 edges, 106769 markings/sec, 5 secs
lola: 1689478 markings, 5442418 edges, 82481 markings/sec, 10 secs
lola: 2094826 markings, 7346889 edges, 81070 markings/sec, 15 secs
lola: 2460303 markings, 9242895 edges, 73095 markings/sec, 20 secs
lola: 2806545 markings, 11101472 edges, 69248 markings/sec, 25 secs
lola: 3136958 markings, 12929274 edges, 66083 markings/sec, 30 secs
lola: 3452524 markings, 14810734 edges, 63113 markings/sec, 35 secs
lola: 3834503 markings, 16774180 edges, 76396 markings/sec, 40 secs
lola: 4179049 markings, 18669925 edges, 68909 markings/sec, 45 secs
lola: 4500610 markings, 20541790 edges, 64312 markings/sec, 50 secs
lola: 4820073 markings, 22417014 edges, 63893 markings/sec, 55 secs
lola: 5141847 markings, 24230459 edges, 64355 markings/sec, 60 secs
lola: 5440555 markings, 26061637 edges, 59742 markings/sec, 65 secs
lola: 5747828 markings, 27871186 edges, 61455 markings/sec, 70 secs
lola: 6041485 markings, 29700679 edges, 58731 markings/sec, 75 secs
lola: 6321852 markings, 31567700 edges, 56073 markings/sec, 80 secs
lola: 6699691 markings, 33526951 edges, 75568 markings/sec, 85 secs
lola: 7045370 markings, 35430573 edges, 69136 markings/sec, 90 secs
lola: 7367556 markings, 37317346 edges, 64437 markings/sec, 95 secs
lola: 7703824 markings, 39164131 edges, 67254 markings/sec, 100 secs
lola: 8011878 markings, 41005323 edges, 61611 markings/sec, 105 secs
lola: 8325872 markings, 42835153 edges, 62799 markings/sec, 110 secs
lola: 8619557 markings, 44674615 edges, 58737 markings/sec, 115 secs
lola: 8913038 markings, 46521920 edges, 58696 markings/sec, 120 secs
lola: 9236443 markings, 48315916 edges, 64681 markings/sec, 125 secs
lola: 9535738 markings, 50107612 edges, 59859 markings/sec, 130 secs
lola: 9831945 markings, 51897146 edges, 59241 markings/sec, 135 secs
lola: 10120959 markings, 53686915 edges, 57803 markings/sec, 140 secs
lola: 10407792 markings, 55488815 edges, 57367 markings/sec, 145 secs
lola: 10700197 markings, 57267069 edges, 58481 markings/sec, 150 secs
lola: 10980486 markings, 59054378 edges, 56058 markings/sec, 155 secs
lola: 11260005 markings, 60846175 edges, 55904 markings/sec, 160 secs
lola: 11529860 markings, 62641759 edges, 53971 markings/sec, 165 secs
lola: 11797727 markings, 64444582 edges, 53573 markings/sec, 170 secs
lola: 12049331 markings, 66246560 edges, 50321 markings/sec, 175 secs
lola: 12454934 markings, 68240928 edges, 81121 markings/sec, 180 secs
lola: 12807004 markings, 70181587 edges, 70414 markings/sec, 185 secs
lola: 13160915 markings, 72100094 edges, 70782 markings/sec, 190 secs
lola: 13491755 markings, 74001649 edges, 66168 markings/sec, 195 secs
lola: 13813864 markings, 75897491 edges, 64422 markings/sec, 200 secs
lola: 14109729 markings, 77792572 edges, 59173 markings/sec, 205 secs
lola: 14459622 markings, 79673492 edges, 69979 markings/sec, 210 secs
lola: 14783387 markings, 81538704 edges, 64753 markings/sec, 215 secs
lola: 15098473 markings, 83398156 edges, 63017 markings/sec, 220 secs
lola: 15383502 markings, 85254098 edges, 57006 markings/sec, 225 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1396 + p1395 + p1394 + p1393 + p1392 + p1391 + p1390 + p1389 + p1388 + p1387 + p1386 + p1385 + p1384 + p1383 + p1382 + p1381 + p1380 + p1379 + p1378)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1180 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 474053 markings, 1639040 edges, 94811 markings/sec, 0 secs
lola: 824002 markings, 3422545 edges, 69990 markings/sec, 5 secs
lola: 1239205 markings, 5190948 edges, 83041 markings/sec, 10 secs
lola: 1569432 markings, 6982556 edges, 66045 markings/sec, 15 secs
lola: 1806291 markings, 8946256 edges, 47372 markings/sec, 20 secs
lola: 1983326 markings, 10805131 edges, 35407 markings/sec, 25 secs
lola: 2235165 markings, 12630549 edges, 50368 markings/sec, 30 secs
lola: 2551963 markings, 14392762 edges, 63360 markings/sec, 35 secs
lola: 2743404 markings, 16235199 edges, 38288 markings/sec, 40 secs
lola: 2987981 markings, 17947357 edges, 48915 markings/sec, 45 secs
lola: 3239153 markings, 19850618 edges, 50234 markings/sec, 50 secs
lola: 3658620 markings, 21599921 edges, 83893 markings/sec, 55 secs
lola: 3944385 markings, 23511045 edges, 57153 markings/sec, 60 secs
lola: 4218285 markings, 25332993 edges, 54780 markings/sec, 65 secs
lola: 4460008 markings, 27161306 edges, 48345 markings/sec, 70 secs
lola: 4697344 markings, 29024439 edges, 47467 markings/sec, 75 secs
lola: 4908473 markings, 30982368 edges, 42226 markings/sec, 80 secs
lola: 5086103 markings, 32851215 edges, 35526 markings/sec, 85 secs
lola: 5276708 markings, 34747170 edges, 38121 markings/sec, 90 secs
lola: 5470419 markings, 36702226 edges, 38742 markings/sec, 95 secs
lola: 5634081 markings, 38651056 edges, 32732 markings/sec, 100 secs
lola: 5797119 markings, 40533564 edges, 32608 markings/sec, 105 secs
lola: 5969253 markings, 42356346 edges, 34427 markings/sec, 110 secs
lola: 6134599 markings, 44152301 edges, 33069 markings/sec, 115 secs
lola: 6293771 markings, 45887497 edges, 31834 markings/sec, 120 secs
lola: 6547621 markings, 47656140 edges, 50770 markings/sec, 125 secs
lola: 6862265 markings, 49417977 edges, 62929 markings/sec, 130 secs
lola: 7045574 markings, 51264036 edges, 36662 markings/sec, 135 secs
lola: 7293004 markings, 52977509 edges, 49486 markings/sec, 140 secs
lola: 7510236 markings, 54877884 edges, 43446 markings/sec, 145 secs
lola: 7778823 markings, 56679233 edges, 53717 markings/sec, 150 secs
lola: 7979447 markings, 58503409 edges, 40125 markings/sec, 155 secs
lola: 8157885 markings, 60401862 edges, 35688 markings/sec, 160 secs
lola: 8321655 markings, 62255892 edges, 32754 markings/sec, 165 secs
lola: 8475142 markings, 63998000 edges, 30697 markings/sec, 170 secs
lola: 8721925 markings, 65678872 edges, 49357 markings/sec, 175 secs
lola: 8928067 markings, 67532702 edges, 41228 markings/sec, 180 secs
lola: 9108403 markings, 69338882 edges, 36067 markings/sec, 185 secs
lola: 9304773 markings, 71129554 edges, 39274 markings/sec, 190 secs
lola: 9476852 markings, 72882949 edges, 34416 markings/sec, 195 secs
lola: 9812664 markings, 74708087 edges, 67162 markings/sec, 200 secs
lola: 10199756 markings, 76500454 edges, 77418 markings/sec, 205 secs
lola: 10429692 markings, 78402662 edges, 45987 markings/sec, 210 secs
lola: 10722357 markings, 80225624 edges, 58533 markings/sec, 215 secs
lola: 10987904 markings, 82082874 edges, 53109 markings/sec, 220 secs
lola: 11334941 markings, 83964571 edges, 69407 markings/sec, 225 secs
lola: 11608260 markings, 85855448 edges, 54664 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p977)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1180 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1230899 markings, 1806998 edges, 246180 markings/sec, 0 secs
lola: 2114613 markings, 3541814 edges, 176743 markings/sec, 5 secs
lola: 3229946 markings, 5268938 edges, 223067 markings/sec, 10 secs
lola: 4140325 markings, 6994526 edges, 182076 markings/sec, 15 secs
lola: 5137787 markings, 8690094 edges, 199492 markings/sec, 20 secs
lola: 6044477 markings, 10356192 edges, 181338 markings/sec, 25 secs
lola: 6867450 markings, 11983447 edges, 164595 markings/sec, 30 secs
lola: 7760666 markings, 13552840 edges, 178643 markings/sec, 35 secs
lola: 8582194 markings, 15119944 edges, 164306 markings/sec, 40 secs
lola: 9346800 markings, 16654777 edges, 152921 markings/sec, 45 secs
lola: 10135058 markings, 18261440 edges, 157652 markings/sec, 50 secs
lola: 10913871 markings, 19861500 edges, 155763 markings/sec, 55 secs
lola: 11654866 markings, 21456516 edges, 148199 markings/sec, 60 secs
lola: 12347685 markings, 23053115 edges, 138564 markings/sec, 65 secs
lola: 13032035 markings, 24652574 edges, 136870 markings/sec, 70 secs
lola: 13608294 markings, 26233828 edges, 115252 markings/sec, 75 secs
lola: 14163688 markings, 27840541 edges, 111079 markings/sec, 80 secs
lola: 15238474 markings, 29586548 edges, 214957 markings/sec, 85 secs
lola: 16125283 markings, 31315091 edges, 177362 markings/sec, 90 secs
lola: 17185260 markings, 33037665 edges, 211995 markings/sec, 95 secs
lola: 18082690 markings, 34726657 edges, 179486 markings/sec, 100 secs
lola: 18928205 markings, 36362881 edges, 169103 markings/sec, 105 secs
lola: 19847868 markings, 37955900 edges, 183933 markings/sec, 110 secs
lola: 20663143 markings, 39545355 edges, 163055 markings/sec, 115 secs
lola: 21447901 markings, 41124537 edges, 156952 markings/sec, 120 secs
lola: 22217077 markings, 42695341 edges, 153835 markings/sec, 125 secs
lola: 22982692 markings, 44259249 edges, 153123 markings/sec, 130 secs
lola: 23729225 markings, 45817487 edges, 149307 markings/sec, 135 secs
lola: 24412488 markings, 47367210 edges, 136653 markings/sec, 140 secs
lola: 25083326 markings, 48927884 edges, 134168 markings/sec, 145 secs
lola: 25672443 markings, 50465517 edges, 117823 markings/sec, 150 secs
lola: 26216023 markings, 52038724 edges, 108716 markings/sec, 155 secs
lola: 27107216 markings, 53735297 edges, 178239 markings/sec, 160 secs
lola: 27975529 markings, 55427936 edges, 173663 markings/sec, 165 secs
lola: 28956454 markings, 57051466 edges, 196185 markings/sec, 170 secs
lola: 29794647 markings, 58665798 edges, 167639 markings/sec, 175 secs
lola: 30577487 markings, 60259038 edges, 156568 markings/sec, 180 secs
lola: 31438113 markings, 61809395 edges, 172125 markings/sec, 185 secs
lola: 32244916 markings, 63369224 edges, 161361 markings/sec, 190 secs
lola: 33005984 markings, 64922988 edges, 152214 markings/sec, 195 secs
lola: 33727619 markings, 66471978 edges, 144327 markings/sec, 200 secs
lola: 34418166 markings, 68018889 edges, 138109 markings/sec, 205 secs
lola: 35103830 markings, 69560852 edges, 137133 markings/sec, 210 secs
lola: 35758927 markings, 71112826 edges, 131019 markings/sec, 215 secs
lola: 36302467 markings, 72644368 edges, 108708 markings/sec, 220 secs
lola: 36826880 markings, 74224635 edges, 104883 markings/sec, 225 secs
lola: 37872912 markings, 75942435 edges, 209206 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p979 + p1321 + p1302 + p1283 + p1264 + p1245 + p1226 + p1207 + p1188 + p1169 + p1150 + p1131 + p1112 + p1093 + p1074 + p1055 + p1036 + p1017 + p1000 + p1001 + p1002 + p1003 + p1004 + p1005 + p1006 + p1007 + p1008 + p1009 + p1010 + p1011 + p1012 + p1013 + p1014 + p1015 + p1016 + p1018 + p1019 + p1020 + p1021 + p1022 + p1023 + p1024 + p1025 + p1026 + p1027 + p1028 + p1029 + p1030 + p1031 + p1032... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1180 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 429034 markings, 3941335 edges, 85807 markings/sec, 0 secs
lola: 733599 markings, 6793876 edges, 60913 markings/sec, 5 secs
lola: 982775 markings, 9235784 edges, 49835 markings/sec, 10 secs
lola: 1303113 markings, 12231328 edges, 64068 markings/sec, 15 secs
lola: 1626665 markings, 15355256 edges, 64710 markings/sec, 20 secs
lola: 1889542 markings, 17775116 edges, 52575 markings/sec, 25 secs
lola: 2146310 markings, 20298823 edges, 51354 markings/sec, 30 secs
lola: 2489688 markings, 23517237 edges, 68676 markings/sec, 35 secs
lola: 2778489 markings, 26229013 edges, 57760 markings/sec, 40 secs
lola: 3017929 markings, 28532568 edges, 47888 markings/sec, 45 secs
lola: 3296591 markings, 31155102 edges, 55732 markings/sec, 50 secs
lola: 3615054 markings, 34243733 edges, 63693 markings/sec, 55 secs
lola: 3883414 markings, 36718766 edges, 53672 markings/sec, 60 secs
lola: 4120415 markings, 39027526 edges, 47400 markings/sec, 65 secs
lola: 4420021 markings, 41819192 edges, 59921 markings/sec, 70 secs
lola: 4726734 markings, 44878497 edges, 61343 markings/sec, 75 secs
lola: 4973656 markings, 47101882 edges, 49384 markings/sec, 80 secs
lola: 5201813 markings, 49333650 edges, 45631 markings/sec, 85 secs
lola: 5500749 markings, 52113922 edges, 59787 markings/sec, 90 secs
lola: 5797909 markings, 55013569 edges, 59432 markings/sec, 95 secs
lola: 6055973 markings, 57364845 edges, 51613 markings/sec, 100 secs
lola: 6287554 markings, 59716598 edges, 46316 markings/sec, 105 secs
lola: 6547673 markings, 62056561 edges, 52024 markings/sec, 110 secs
lola: 6785218 markings, 64393010 edges, 47509 markings/sec, 115 secs
lola: 7043150 markings, 66740977 edges, 51586 markings/sec, 120 secs
lola: 7281132 markings, 69069372 edges, 47596 markings/sec, 125 secs
lola: 7534775 markings, 71411477 edges, 50729 markings/sec, 130 secs
lola: 7776727 markings, 73746763 edges, 48390 markings/sec, 135 secs
lola: 8027077 markings, 76090595 edges, 50070 markings/sec, 140 secs
lola: 8269707 markings, 78419596 edges, 48526 markings/sec, 145 secs
lola: 8515760 markings, 80761475 edges, 49211 markings/sec, 150 secs
lola: 8763994 markings, 83097718 edges, 49647 markings/sec, 155 secs
lola: 9008329 markings, 85444421 edges, 48867 markings/sec, 160 secs
lola: 9259019 markings, 87785523 edges, 50138 markings/sec, 165 secs
lola: 9497713 markings, 90126461 edges, 47739 markings/sec, 170 secs
lola: 9752053 markings, 92468839 edges, 50868 markings/sec, 175 secs
lola: 9984203 markings, 94793355 edges, 46430 markings/sec, 180 secs
lola: 10220293 markings, 96951187 edges, 47218 markings/sec, 185 secs
lola: 10440713 markings, 99097429 edges, 44084 markings/sec, 190 secs
lola: 10645349 markings, 100963539 edges, 40927 markings/sec, 195 secs
lola: 10827545 markings, 102686117 edges, 36439 markings/sec, 200 secs
lola: 10991445 markings, 104369659 edges, 32780 markings/sec, 205 secs
lola: 11193979 markings, 106167227 edges, 40507 markings/sec, 210 secs
lola: 11377970 markings, 107924394 edges, 36798 markings/sec, 215 secs
lola: 11546063 markings, 109652454 edges, 33619 markings/sec, 220 secs
lola: 11756595 markings, 111514024 edges, 42106 markings/sec, 225 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p881 + p882 + p883 + p884 + p885 + p886 + p887 + p888 + p889 + p890 + p891 + p892 + p893 + p894 + p895 + p896 + p897 + p898 + p899)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1180 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 19
lola: produced by: state space
lola: The maximum value of the given expression is 19
lola: ========================================
lola: subprocess 9 will run for 269 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1180 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 533389 markings, 1878814 edges, 106678 markings/sec, 0 secs
lola: 939420 markings, 3643972 edges, 81206 markings/sec, 5 secs
lola: 1221190 markings, 5346641 edges, 56354 markings/sec, 10 secs
lola: 1436151 markings, 7223195 edges, 42992 markings/sec, 15 secs
lola: 1784075 markings, 8994391 edges, 69585 markings/sec, 20 secs
lola: 2019846 markings, 10740826 edges, 47154 markings/sec, 25 secs
lola: 2251785 markings, 12512819 edges, 46388 markings/sec, 30 secs
lola: 2436421 markings, 14365410 edges, 36927 markings/sec, 35 secs
lola: 2638111 markings, 16034917 edges, 40338 markings/sec, 40 secs
lola: 2795629 markings, 17802503 edges, 31504 markings/sec, 45 secs
lola: 3121250 markings, 19631781 edges, 65124 markings/sec, 50 secs
lola: 3397995 markings, 21337021 edges, 55349 markings/sec, 55 secs
lola: 3592223 markings, 23165321 edges, 38846 markings/sec, 60 secs
lola: 3814453 markings, 24872668 edges, 44446 markings/sec, 65 secs
lola: 4014911 markings, 26642338 edges, 40092 markings/sec, 70 secs
lola: 4178465 markings, 28314221 edges, 32711 markings/sec, 75 secs
lola: 4402594 markings, 30020297 edges, 44826 markings/sec, 80 secs
lola: 4579309 markings, 31818696 edges, 35343 markings/sec, 85 secs
lola: 4782421 markings, 33502242 edges, 40622 markings/sec, 90 secs
lola: 4937513 markings, 35244283 edges, 31018 markings/sec, 95 secs
lola: 5138173 markings, 36903327 edges, 40132 markings/sec, 100 secs
lola: 5297023 markings, 38700209 edges, 31770 markings/sec, 105 secs
lola: 5474614 markings, 40340498 edges, 35518 markings/sec, 110 secs
lola: 5624470 markings, 42003461 edges, 29971 markings/sec, 115 secs
lola: 5889559 markings, 43746385 edges, 53018 markings/sec, 120 secs
lola: 6184743 markings, 45394109 edges, 59037 markings/sec, 125 secs
lola: 6357880 markings, 47164883 edges, 34627 markings/sec, 130 secs
lola: 6588182 markings, 48716858 edges, 46060 markings/sec, 135 secs
lola: 6782290 markings, 50578539 edges, 38822 markings/sec, 140 secs
lola: 6959087 markings, 52186939 edges, 35359 markings/sec, 145 secs
lola: 7134838 markings, 53958901 edges, 35150 markings/sec, 150 secs
lola: 7352539 markings, 55569214 edges, 43540 markings/sec, 155 secs
lola: 7548168 markings, 57302636 edges, 39126 markings/sec, 160 secs
lola: 7708751 markings, 58921868 edges, 32117 markings/sec, 165 secs
lola: 7890967 markings, 60579332 edges, 36443 markings/sec, 170 secs
lola: 8053218 markings, 62203791 edges, 32450 markings/sec, 175 secs
lola: 8219051 markings, 63905576 edges, 33167 markings/sec, 180 secs
lola: 8372445 markings, 65434372 edges, 30679 markings/sec, 185 secs
lola: 8507533 markings, 67120528 edges, 27018 markings/sec, 190 secs
lola: 8740694 markings, 68640432 edges, 46632 markings/sec, 195 secs
lola: 8938031 markings, 70432029 edges, 39467 markings/sec, 200 secs
lola: 9097192 markings, 71987867 edges, 31832 markings/sec, 205 secs
lola: 9270533 markings, 73678389 edges, 34668 markings/sec, 210 secs
lola: 9440262 markings, 75245483 edges, 33946 markings/sec, 215 secs
lola: 9603380 markings, 76973765 edges, 32624 markings/sec, 220 secs
lola: 9758105 markings, 78481035 edges, 30945 markings/sec, 225 secs
lola: 9895788 markings, 80076154 edges, 27537 markings/sec, 230 secs
lola: 10076515 markings, 81663011 edges, 36145 markings/sec, 235 secs
lola: 10235919 markings, 83304060 edges, 31881 markings/sec, 240 secs
lola: 10403675 markings, 84912846 edges, 33551 markings/sec, 245 secs
lola: 10548290 markings, 86454656 edges, 28923 markings/sec, 250 secs
lola: 10701219 markings, 88072978 edges, 30586 markings/sec, 255 secs
lola: 10856048 markings, 89621902 edges, 30966 markings/sec, 260 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 269 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p100)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1180 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 457555 markings, 599811 edges, 91511 markings/sec, 0 secs
lola: 898767 markings, 1186524 edges, 88242 markings/sec, 5 secs
lola: 1324719 markings, 1763664 edges, 85190 markings/sec, 10 secs
lola: 1745375 markings, 2330521 edges, 84131 markings/sec, 15 secs
lola: 2377474 markings, 3186083 edges, 126420 markings/sec, 20 secs
lola: 3054323 markings, 4111290 edges, 135370 markings/sec, 25 secs
lola: 3708561 markings, 5012859 edges, 130848 markings/sec, 30 secs
lola: 4348662 markings, 5899540 edges, 128020 markings/sec, 35 secs
lola: 4973177 markings, 6748448 edges, 124903 markings/sec, 40 secs
lola: 5571435 markings, 7569166 edges, 119652 markings/sec, 45 secs
lola: 6158843 markings, 8379335 edges, 117482 markings/sec, 50 secs
lola: 6756519 markings, 9206922 edges, 119535 markings/sec, 55 secs
lola: 7457496 markings, 10166559 edges, 140195 markings/sec, 60 secs
lola: 8120867 markings, 11083458 edges, 132674 markings/sec, 65 secs
lola: 8767002 markings, 11982441 edges, 129227 markings/sec, 70 secs
lola: 9404076 markings, 12869388 edges, 127415 markings/sec, 75 secs
lola: 10039733 markings, 13755135 edges, 127131 markings/sec, 80 secs
lola: 10661727 markings, 14624990 edges, 124399 markings/sec, 85 secs
lola: 11279014 markings, 15494919 edges, 123457 markings/sec, 90 secs
lola: 11920515 markings, 16386517 edges, 128300 markings/sec, 95 secs
lola: 12536388 markings, 17250589 edges, 123175 markings/sec, 100 secs
lola: 13140459 markings, 18102313 edges, 120814 markings/sec, 105 secs
lola: 13740158 markings, 18950810 edges, 119940 markings/sec, 110 secs
lola: 14385344 markings, 19831746 edges, 129037 markings/sec, 115 secs
lola: 14835710 markings, 20453539 edges, 90073 markings/sec, 120 secs
lola: 15249590 markings, 21026678 edges, 82776 markings/sec, 125 secs
lola: 15658294 markings, 21596440 edges, 81741 markings/sec, 130 secs
lola: 16069743 markings, 22166173 edges, 82290 markings/sec, 135 secs
lola: 16475080 markings, 22732677 edges, 81067 markings/sec, 140 secs
lola: 17050291 markings, 23534419 edges, 115042 markings/sec, 145 secs
lola: 17634013 markings, 24350103 edges, 116744 markings/sec, 150 secs
lola: 18209930 markings, 25160816 edges, 115183 markings/sec, 155 secs
lola: 18799738 markings, 25982910 edges, 117962 markings/sec, 160 secs
lola: 19372467 markings, 26785971 edges, 114546 markings/sec, 165 secs
lola: 19932562 markings, 27575630 edges, 112019 markings/sec, 170 secs
lola: 20488953 markings, 28360120 edges, 111278 markings/sec, 175 secs
lola: 21150452 markings, 29277281 edges, 132300 markings/sec, 180 secs
lola: 21847175 markings, 30242583 edges, 139345 markings/sec, 185 secs
lola: 22518074 markings, 31178645 edges, 134180 markings/sec, 190 secs
lola: 23177074 markings, 32098595 edges, 131800 markings/sec, 195 secs
lola: 23830505 markings, 33011994 edges, 130686 markings/sec, 200 secs
lola: 24469226 markings, 33910372 edges, 127744 markings/sec, 205 secs
lola: 25087052 markings, 34778842 edges, 123565 markings/sec, 210 secs
lola: 25712618 markings, 35656452 edges, 125113 markings/sec, 215 secs
lola: 26318468 markings, 36513620 edges, 121170 markings/sec, 220 secs
lola: 26925188 markings, 37373379 edges, 121344 markings/sec, 225 secs
lola: 27557809 markings, 38258555 edges, 126524 markings/sec, 230 secs
lola: 28157580 markings, 39103337 edges, 119954 markings/sec, 235 secs
lola: 28759744 markings, 39956023 edges, 120433 markings/sec, 240 secs
lola: 29348797 markings, 40791895 edges, 117811 markings/sec, 245 secs
lola: 29922523 markings, 41608877 edges, 114745 markings/sec, 250 secs
lola: 30510920 markings, 42440259 edges, 117679 markings/sec, 255 secs
lola: 31127507 markings, 43306218 edges, 123317 markings/sec, 260 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 269 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p100)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1180 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 692199 markings, 911242 edges, 138440 markings/sec, 0 secs
lola: 1354402 markings, 1804245 edges, 132441 markings/sec, 5 secs
lola: 1990725 markings, 2662785 edges, 127265 markings/sec, 10 secs
lola: 2688115 markings, 3608966 edges, 139478 markings/sec, 15 secs
lola: 3364538 markings, 4537640 edges, 135285 markings/sec, 20 secs
lola: 4025677 markings, 5449891 edges, 132228 markings/sec, 25 secs
lola: 4673804 markings, 6340596 edges, 129625 markings/sec, 30 secs
lola: 5292257 markings, 7186194 edges, 123691 markings/sec, 35 secs
lola: 5892835 markings, 8014682 edges, 120116 markings/sec, 40 secs
lola: 6489356 markings, 8837926 edges, 119304 markings/sec, 45 secs
lola: 7179002 markings, 9783064 edges, 137929 markings/sec, 50 secs
lola: 7865131 markings, 10730014 edges, 137226 markings/sec, 55 secs
lola: 8530094 markings, 11652131 edges, 132993 markings/sec, 60 secs
lola: 9184433 markings, 12561645 edges, 130868 markings/sec, 65 secs
lola: 9827377 markings, 13461098 edges, 128589 markings/sec, 70 secs
lola: 10465602 markings, 14349894 edges, 127645 markings/sec, 75 secs
lola: 11093597 markings, 15232131 edges, 125599 markings/sec, 80 secs
lola: 11738145 markings, 16131830 edges, 128910 markings/sec, 85 secs
lola: 12366522 markings, 17013691 edges, 125675 markings/sec, 90 secs
lola: 12984255 markings, 17882583 edges, 123547 markings/sec, 95 secs
lola: 13590089 markings, 18739829 edges, 121167 markings/sec, 100 secs
lola: 14238700 markings, 19630476 edges, 129722 markings/sec, 105 secs
lola: 14862617 markings, 20490968 edges, 124783 markings/sec, 110 secs
lola: 15476499 markings, 21342370 edges, 122776 markings/sec, 115 secs
lola: 16084206 markings, 22186293 edges, 121541 markings/sec, 120 secs
lola: 16676804 markings, 23016034 edges, 118520 markings/sec, 125 secs
lola: 17276467 markings, 23849556 edges, 119933 markings/sec, 130 secs
lola: 17862698 markings, 24672043 edges, 117246 markings/sec, 135 secs
lola: 18450368 markings, 25497129 edges, 117534 markings/sec, 140 secs
lola: 19042391 markings, 26322579 edges, 118405 markings/sec, 145 secs
lola: 19617713 markings, 27129739 edges, 115064 markings/sec, 150 secs
lola: 20184157 markings, 27928107 edges, 113289 markings/sec, 155 secs
lola: 20746532 markings, 28725785 edges, 112475 markings/sec, 160 secs
lola: 21485238 markings, 29740465 edges, 147741 markings/sec, 165 secs
lola: 22177198 markings, 30700997 edges, 138392 markings/sec, 170 secs
lola: 22851328 markings, 31641137 edges, 134826 markings/sec, 175 secs
lola: 23505845 markings, 32561059 edges, 130903 markings/sec, 180 secs
lola: 24165536 markings, 33482156 edges, 131938 markings/sec, 185 secs
lola: 24805416 markings, 34385932 edges, 127976 markings/sec, 190 secs
lola: 25455901 markings, 35295152 edges, 130097 markings/sec, 195 secs
lola: 26091368 markings, 36190643 edges, 127093 markings/sec, 200 secs
lola: 26719416 markings, 37080136 edges, 125610 markings/sec, 205 secs
lola: 27354290 markings, 37973283 edges, 126975 markings/sec, 210 secs
lola: 27983498 markings, 38858466 edges, 125842 markings/sec, 215 secs
lola: 28606403 markings, 39738167 edges, 124581 markings/sec, 220 secs
lola: 29218873 markings, 40608837 edges, 122494 markings/sec, 225 secs
lola: 29834272 markings, 41482750 edges, 123080 markings/sec, 230 secs
lola: 30458789 markings, 42367397 edges, 124903 markings/sec, 235 secs
lola: 31106935 markings, 43277104 edges, 129629 markings/sec, 240 secs
lola: 31734329 markings, 44163804 edges, 125479 markings/sec, 245 secs
lola: 32342495 markings, 45027657 edges, 121633 markings/sec, 250 secs
lola: 32950754 markings, 45889585 edges, 121652 markings/sec, 255 secs
lola: 33544482 markings, 46738225 edges, 118746 markings/sec, 260 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 270 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p955 + p954 + p953 + p952 + p951 + p950 + p949 + p948 + p947 + p946 + p945 + p944 + p943 + p942 + p941 + p940 + p939 + p938 + p956)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1180 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 424195 markings, 3893973 edges, 84839 markings/sec, 0 secs
lola: 727728 markings, 6739999 edges, 60707 markings/sec, 5 secs
lola: 975243 markings, 9149213 edges, 49503 markings/sec, 10 secs
lola: 1287444 markings, 12065444 edges, 62440 markings/sec, 15 secs
lola: 1606613 markings, 15193166 edges, 63834 markings/sec, 20 secs
lola: 1868583 markings, 17584799 edges, 52394 markings/sec, 25 secs
lola: 2109636 markings, 20005478 edges, 48211 markings/sec, 30 secs
lola: 2455133 markings, 23154031 edges, 69099 markings/sec, 35 secs
lola: 2744597 markings, 25933246 edges, 57893 markings/sec, 40 secs
lola: 2986580 markings, 28205285 edges, 48397 markings/sec, 45 secs
lola: 3243924 markings, 30684808 edges, 51469 markings/sec, 50 secs
lola: 3564179 markings, 33719008 edges, 64051 markings/sec, 55 secs
lola: 3838560 markings, 36294452 edges, 54876 markings/sec, 60 secs
lola: 4075612 markings, 38576141 edges, 47410 markings/sec, 65 secs
lola: 4352659 markings, 41182916 edges, 55409 markings/sec, 70 secs
lola: 4663592 markings, 44204805 edges, 62187 markings/sec, 75 secs
lola: 4921041 markings, 46576840 edges, 51490 markings/sec, 80 secs
lola: 5148722 markings, 48778724 edges, 45536 markings/sec, 85 secs
lola: 5422850 markings, 51343277 edges, 54826 markings/sec, 90 secs
lola: 5719422 markings, 54242849 edges, 59314 markings/sec, 95 secs
lola: 5985213 markings, 56683871 edges, 53158 markings/sec, 100 secs
lola: 6221878 markings, 58998174 edges, 47333 markings/sec, 105 secs
lola: 6471919 markings, 61309894 edges, 50008 markings/sec, 110 secs
lola: 6710551 markings, 63609393 edges, 47726 markings/sec, 115 secs
lola: 6953340 markings, 65909707 edges, 48558 markings/sec, 120 secs
lola: 7196014 markings, 68206232 edges, 48535 markings/sec, 125 secs
lola: 7435905 markings, 70506520 edges, 47978 markings/sec, 130 secs
lola: 7682556 markings, 72809154 edges, 49330 markings/sec, 135 secs
lola: 7916142 markings, 75107173 edges, 46717 markings/sec, 140 secs
lola: 8165521 markings, 77399378 edges, 49876 markings/sec, 145 secs
lola: 8388421 markings, 79687466 edges, 44580 markings/sec, 150 secs
lola: 8645524 markings, 81987089 edges, 51421 markings/sec, 155 secs
lola: 8879787 markings, 84289626 edges, 46853 markings/sec, 160 secs
lola: 9133390 markings, 86592754 edges, 50721 markings/sec, 165 secs
lola: 9368427 markings, 88891460 edges, 47007 markings/sec, 170 secs
lola: 9617193 markings, 91189533 edges, 49753 markings/sec, 175 secs
lola: 9855208 markings, 93484006 edges, 47603 markings/sec, 180 secs
lola: 10087710 markings, 95693540 edges, 46500 markings/sec, 185 secs
lola: 10313387 markings, 97803193 edges, 45135 markings/sec, 190 secs
lola: 10518360 markings, 99857461 edges, 40995 markings/sec, 195 secs
lola: 10709521 markings, 101567316 edges, 38232 markings/sec, 200 secs
lola: 10882028 markings, 103241571 edges, 34501 markings/sec, 205 secs
lola: 11053937 markings, 104923977 edges, 34382 markings/sec, 210 secs
lola: 11241694 markings, 106628987 edges, 37551 markings/sec, 215 secs
lola: 11412154 markings, 108274021 edges, 34092 markings/sec, 220 secs
lola: 11589948 markings, 110004847 edges, 35559 markings/sec, 225 secs
lola: 11787487 markings, 111830213 edges, 39508 markings/sec, 230 secs
lola: 11973396 markings, 113617261 edges, 37182 markings/sec, 235 secs
lola: 12172724 markings, 115499235 edges, 39866 markings/sec, 240 secs
lola: 12377796 markings, 117415051 edges, 41014 markings/sec, 245 secs
lola: 12556681 markings, 119226169 edges, 35777 markings/sec, 250 secs
lola: 12776084 markings, 121201787 edges, 43881 markings/sec, 255 secs
lola: 12976743 markings, 123145445 edges, 40132 markings/sec, 260 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 270 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1180 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 527748 markings, 1478398 edges, 105550 markings/sec, 0 secs
lola: 939126 markings, 3056677 edges, 82276 markings/sec, 5 secs
lola: 1207026 markings, 4756920 edges, 53580 markings/sec, 10 secs
lola: 1657858 markings, 6219180 edges, 90166 markings/sec, 15 secs
lola: 2049211 markings, 7729966 edges, 78271 markings/sec, 20 secs
lola: 2298169 markings, 9360582 edges, 49792 markings/sec, 25 secs
lola: 2720840 markings, 10793217 edges, 84534 markings/sec, 30 secs
lola: 3081851 markings, 12290858 edges, 72202 markings/sec, 35 secs
lola: 3345341 markings, 13862873 edges, 52698 markings/sec, 40 secs
lola: 3742833 markings, 15299644 edges, 79498 markings/sec, 45 secs
lola: 4027311 markings, 16825635 edges, 56896 markings/sec, 50 secs
lola: 4350954 markings, 18315832 edges, 64729 markings/sec, 55 secs
lola: 4683187 markings, 19773148 edges, 66447 markings/sec, 60 secs
lola: 4909100 markings, 21235117 edges, 45183 markings/sec, 65 secs
lola: 5246434 markings, 22602570 edges, 67467 markings/sec, 70 secs
lola: 5471653 markings, 24035158 edges, 45044 markings/sec, 75 secs
lola: 5784666 markings, 25434487 edges, 62603 markings/sec, 80 secs
lola: 6018113 markings, 26852246 edges, 46689 markings/sec, 85 secs
lola: 6305177 markings, 28287382 edges, 57413 markings/sec, 90 secs
lola: 6524717 markings, 29716368 edges, 43908 markings/sec, 95 secs
lola: 6807476 markings, 31122520 edges, 56552 markings/sec, 100 secs
lola: 7022114 markings, 32609381 edges, 42928 markings/sec, 105 secs
lola: 7263005 markings, 34016775 edges, 48178 markings/sec, 110 secs
lola: 7496464 markings, 35462896 edges, 46692 markings/sec, 115 secs
lola: 7712756 markings, 36904626 edges, 43258 markings/sec, 120 secs
lola: 7917419 markings, 38375883 edges, 40933 markings/sec, 125 secs
lola: 8105601 markings, 39755487 edges, 37636 markings/sec, 130 secs
lola: 8295755 markings, 41166848 edges, 38031 markings/sec, 135 secs
lola: 8465041 markings, 42640316 edges, 33857 markings/sec, 140 secs
lola: 8606206 markings, 44150768 edges, 28233 markings/sec, 145 secs
lola: 8766530 markings, 45590960 edges, 32065 markings/sec, 150 secs
lola: 8904223 markings, 47118418 edges, 27539 markings/sec, 155 secs
lola: 9228265 markings, 48518916 edges, 64808 markings/sec, 160 secs
lola: 9609370 markings, 49828335 edges, 76221 markings/sec, 165 secs
lola: 9904584 markings, 51201680 edges, 59043 markings/sec, 170 secs
lola: 10151254 markings, 52633978 edges, 49334 markings/sec, 175 secs
lola: 10533337 markings, 53911597 edges, 76417 markings/sec, 180 secs
lola: 10835367 markings, 55245089 edges, 60406 markings/sec, 185 secs
lola: 11064262 markings, 56661580 edges, 45779 markings/sec, 190 secs
lola: 11424259 markings, 57941057 edges, 71999 markings/sec, 195 secs
lola: 11708501 markings, 59260456 edges, 56848 markings/sec, 200 secs
lola: 11934355 markings, 60655378 edges, 45171 markings/sec, 205 secs
lola: 12274916 markings, 61941308 edges, 68112 markings/sec, 210 secs
lola: 12514001 markings, 63317435 edges, 47817 markings/sec, 215 secs
lola: 12795336 markings, 64636709 edges, 56267 markings/sec, 220 secs
lola: 13084490 markings, 65972279 edges, 57831 markings/sec, 225 secs
lola: 13310942 markings, 67444285 edges, 45290 markings/sec, 230 secs
lola: 13623935 markings, 68805097 edges, 62599 markings/sec, 235 secs
lola: 13841761 markings, 70257627 edges, 43565 markings/sec, 240 secs
lola: 14145516 markings, 71684865 edges, 60751 markings/sec, 245 secs
lola: 14378505 markings, 73178247 edges, 46598 markings/sec, 250 secs
lola: 14634179 markings, 74653628 edges, 51135 markings/sec, 255 secs
lola: 14890726 markings, 76103522 edges, 51309 markings/sec, 260 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 269 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p978)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1180 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 15 will run for 539 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1180 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 496055 markings, 1415417 edges, 99211 markings/sec, 0 secs
lola: 919186 markings, 2977012 edges, 84626 markings/sec, 5 secs
lola: 1195586 markings, 4664787 edges, 55280 markings/sec, 10 secs
lola: 1638988 markings, 6117659 edges, 88680 markings/sec, 15 secs
lola: 2012627 markings, 7577836 edges, 74728 markings/sec, 20 secs
lola: 2271430 markings, 9126141 edges, 51761 markings/sec, 25 secs
lola: 2654687 markings, 10535950 edges, 76651 markings/sec, 30 secs
lola: 3015901 markings, 11973432 edges, 72243 markings/sec, 35 secs
lola: 3252831 markings, 13500075 edges, 47386 markings/sec, 40 secs
lola: 3631356 markings, 14888763 edges, 75705 markings/sec, 45 secs
lola: 3955775 markings, 16308446 edges, 64884 markings/sec, 50 secs
lola: 4202468 markings, 17817836 edges, 49339 markings/sec, 55 secs
lola: 4564390 markings, 19224663 edges, 72384 markings/sec, 60 secs
lola: 4813012 markings, 20685922 edges, 49724 markings/sec, 65 secs
lola: 5138586 markings, 22128666 edges, 65115 markings/sec, 70 secs
lola: 5410666 markings, 23570340 edges, 54416 markings/sec, 75 secs
lola: 5694224 markings, 25037968 edges, 56712 markings/sec, 80 secs
lola: 5967305 markings, 26478399 edges, 54616 markings/sec, 85 secs
lola: 6236132 markings, 27964105 edges, 53765 markings/sec, 90 secs
lola: 6488393 markings, 29416851 edges, 50452 markings/sec, 95 secs
lola: 6764091 markings, 30896675 edges, 55140 markings/sec, 100 secs
lola: 6980968 markings, 32407462 edges, 43375 markings/sec, 105 secs
lola: 7238759 markings, 33866685 edges, 51558 markings/sec, 110 secs
lola: 7481742 markings, 35335482 edges, 48597 markings/sec, 115 secs
lola: 7697461 markings, 36828363 edges, 43144 markings/sec, 120 secs
lola: 7909626 markings, 38335949 edges, 42433 markings/sec, 125 secs
lola: 8104832 markings, 39749791 edges, 39041 markings/sec, 130 secs
lola: 8299683 markings, 41191154 edges, 38970 markings/sec, 135 secs
lola: 8470030 markings, 42701149 edges, 34069 markings/sec, 140 secs
lola: 8612845 markings, 44239965 edges, 28563 markings/sec, 145 secs
lola: 8776253 markings, 45706319 edges, 32682 markings/sec, 150 secs
lola: 8917511 markings, 47266668 edges, 28252 markings/sec, 155 secs
lola: 9280562 markings, 48674311 edges, 72610 markings/sec, 160 secs
lola: 9657656 markings, 50008236 edges, 75419 markings/sec, 165 secs
lola: 9938082 markings, 51467717 edges, 56085 markings/sec, 170 secs
lola: 10236501 markings, 52853844 edges, 59684 markings/sec, 175 secs
lola: 10606747 markings, 54187862 edges, 74049 markings/sec, 180 secs
lola: 10886931 markings, 55597815 edges, 56037 markings/sec, 185 secs
lola: 11161949 markings, 56978271 edges, 55004 markings/sec, 190 secs
lola: 11526415 markings, 58356346 edges, 72893 markings/sec, 195 secs
lola: 11778994 markings, 59810377 edges, 50516 markings/sec, 200 secs
lola: 12092673 markings, 61210290 edges, 62736 markings/sec, 205 secs
lola: 12413595 markings, 62602351 edges, 64184 markings/sec, 210 secs
lola: 12628570 markings, 64036421 edges, 42995 markings/sec, 215 secs
lola: 12977585 markings, 65438001 edges, 69803 markings/sec, 220 secs
lola: 13205499 markings, 66907203 edges, 45583 markings/sec, 225 secs
lola: 13527502 markings, 68327073 edges, 64401 markings/sec, 230 secs
lola: 13760226 markings, 69788124 edges, 46545 markings/sec, 235 secs
lola: 14060388 markings, 71229551 edges, 60032 markings/sec, 240 secs
lola: 14271389 markings, 72691252 edges, 42200 markings/sec, 245 secs
lola: 14557742 markings, 74067070 edges, 57271 markings/sec, 250 secs
lola: 14775170 markings, 75523642 edges, 43486 markings/sec, 255 secs
lola: 15002876 markings, 76937021 edges, 45541 markings/sec, 260 secs
lola: 15235049 markings, 78351487 edges, 46435 markings/sec, 265 secs
lola: 15448153 markings, 79761128 edges, 42621 markings/sec, 270 secs
lola: 15648653 markings, 81208219 edges, 40100 markings/sec, 275 secs
lola: 15834816 markings, 82576967 edges, 37233 markings/sec, 280 secs
lola: 16013526 markings, 83938182 edges, 35742 markings/sec, 285 secs
lola: 16190247 markings, 85421996 edges, 35344 markings/sec, 290 secs
lola: 16332419 markings, 86941694 edges, 28434 markings/sec, 295 secs
lola: 16489911 markings, 88336962 edges, 31498 markings/sec, 300 secs
lola: 16621097 markings, 89782587 edges, 26237 markings/sec, 305 secs
lola: 16891989 markings, 91177858 edges, 54178 markings/sec, 310 secs
lola: 17266177 markings, 92500793 edges, 74838 markings/sec, 315 secs
lola: 17538535 markings, 93913905 edges, 54472 markings/sec, 320 secs
lola: 17817596 markings, 95276687 edges, 55812 markings/sec, 325 secs
lola: 18166344 markings, 96600990 edges, 69750 markings/sec, 330 secs
lola: 18408679 markings, 98002967 edges, 48467 markings/sec, 335 secs
lola: 18704721 markings, 99346284 edges, 59208 markings/sec, 340 secs
lola: 19018829 markings, 100686670 edges, 62822 markings/sec, 345 secs
lola: 19221558 markings, 102093211 edges, 40546 markings/sec, 350 secs
lola: 19560218 markings, 103414762 edges, 67732 markings/sec, 355 secs
lola: 19798327 markings, 104796204 edges, 47622 markings/sec, 360 secs
lola: 20072747 markings, 106159354 edges, 54884 markings/sec, 365 secs
lola: 20334492 markings, 107517660 edges, 52349 markings/sec, 370 secs
lola: 20572739 markings, 108914414 edges, 47649 markings/sec, 375 secs
lola: 20828299 markings, 110277856 edges, 51112 markings/sec, 380 secs
lola: 21072268 markings, 111671467 edges, 48794 markings/sec, 385 secs
lola: 21297365 markings, 113084981 edges, 45019 markings/sec, 390 secs
lola: 21556347 markings, 114509869 edges, 51796 markings/sec, 395 secs
lola: 21771330 markings, 115977458 edges, 42997 markings/sec, 400 secs
lola: 21978835 markings, 117416808 edges, 41501 markings/sec, 405 secs
lola: 22198593 markings, 118848808 edges, 43952 markings/sec, 410 secs
lola: 22399755 markings, 120275035 edges, 40232 markings/sec, 415 secs
lola: 22594726 markings, 121654556 edges, 38994 markings/sec, 420 secs
lola: 22771106 markings, 123063062 edges, 35276 markings/sec, 425 secs
lola: 22921710 markings, 124578561 edges, 30121 markings/sec, 430 secs
lola: 23068330 markings, 126008059 edges, 29324 markings/sec, 435 secs
lola: 23207801 markings, 127466417 edges, 27894 markings/sec, 440 secs
lola: 23371808 markings, 128931726 edges, 32801 markings/sec, 445 secs
lola: 23750426 markings, 130265973 edges, 75724 markings/sec, 450 secs
lola: 24042923 markings, 131656166 edges, 58499 markings/sec, 455 secs
lola: 24290758 markings, 133074378 edges, 49567 markings/sec, 460 secs
lola: 24639104 markings, 134430083 edges, 69669 markings/sec, 465 secs
lola: 24868188 markings, 135842409 edges, 45817 markings/sec, 470 secs
lola: 25186073 markings, 137224532 edges, 63577 markings/sec, 475 secs
lola: 25453369 markings, 138613047 edges, 53459 markings/sec, 480 secs
lola: 25705943 markings, 140033927 edges, 50515 markings/sec, 485 secs
lola: 25994760 markings, 141407649 edges, 57763 markings/sec, 490 secs
lola: 26230649 markings, 142835739 edges, 47178 markings/sec, 495 secs
lola: 26498430 markings, 144227499 edges, 53556 markings/sec, 500 secs
lola: 26741825 markings, 145660284 edges, 48679 markings/sec, 505 secs
lola: 26970335 markings, 147067567 edges, 45702 markings/sec, 510 secs
lola: 27225629 markings, 148473511 edges, 51059 markings/sec, 515 secs
lola: 27434988 markings, 149932423 edges, 41872 markings/sec, 520 secs
lola: 27646218 markings, 151338362 edges, 42246 markings/sec, 525 secs
lola: 27863461 markings, 152753380 edges, 43449 markings/sec, 530 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: 19 unknown unknown unknown unknown unknown unknown unknown 19 unknown unknown unknown unknown unknown 1
FORMULA QuasiCertifProtocol-COL-18-UpperBounds-0 19 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-18-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-18-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-18-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-18-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-18-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-18-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-18-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-18-UpperBounds-8 19 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-18-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-18-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-18-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-18-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-18-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-18-UpperBounds-14 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-18-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496370601285
--------------------
content from stderr:
----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished 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="S_QuasiCertifProtocol-COL-18"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
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
tar xzf /home/mcc/BenchKit/INPUTS/S_QuasiCertifProtocol-COL-18.tgz
mv S_QuasiCertifProtocol-COL-18 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is S_QuasiCertifProtocol-COL-18, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r138-smll-149479231700209"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "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 "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.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 '
echo "FORMULA_NAME $x"
done
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 ;