About the Execution of 2018-Gold for Peterson-COL-6
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2995.890 | 3570615.00 | 3686642.00 | 349.70 | ? 7 7 7 7 7 6 6 7 ? 7 7 7 ? 7 ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2019-input.r110-oct2-155272242400169.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-3954
Executing tool win2018
Input is Peterson-COL-6, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r110-oct2-155272242400169
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 200K
-rw-r--r-- 1 mcc users 3.1K Feb 12 04:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 12 04:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 8 03:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 8 03:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 101 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 339 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.4K Feb 5 00:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 10K Feb 5 00:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 4 22:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 11K Feb 4 22:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Feb 4 08:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 4 08:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Feb 1 02:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 1 02:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_pt
-rw-r--r-- 1 mcc users 2 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 46K Mar 10 17:31 model.pnml
--------------------
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 Peterson-COL-6-UpperBounds-00
FORMULA_NAME Peterson-COL-6-UpperBounds-01
FORMULA_NAME Peterson-COL-6-UpperBounds-02
FORMULA_NAME Peterson-COL-6-UpperBounds-03
FORMULA_NAME Peterson-COL-6-UpperBounds-04
FORMULA_NAME Peterson-COL-6-UpperBounds-05
FORMULA_NAME Peterson-COL-6-UpperBounds-06
FORMULA_NAME Peterson-COL-6-UpperBounds-07
FORMULA_NAME Peterson-COL-6-UpperBounds-08
FORMULA_NAME Peterson-COL-6-UpperBounds-09
FORMULA_NAME Peterson-COL-6-UpperBounds-10
FORMULA_NAME Peterson-COL-6-UpperBounds-11
FORMULA_NAME Peterson-COL-6-UpperBounds-12
FORMULA_NAME Peterson-COL-6-UpperBounds-13
FORMULA_NAME Peterson-COL-6-UpperBounds-14
FORMULA_NAME Peterson-COL-6-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1553041147056
info: Time: 3600 - MCC
===========================================================================================
prep: translating Peterson-COL-6 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Peterson-COL-6 formula UpperBounds into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking UpperBounds @ Peterson-COL-6 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 3486/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: Size of bit vector: 43904
lola: finding significant places
lola: 1372 places, 2114 transitions, 1345 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3297 transition conflict sets
lola: TASK
lola: reading formula from Peterson-COL-6-UpperBounds.task
lola: place invariant simplifies atomic proposition
lola: before: (p1239 + p1240 + p1241 + p1242 + p1243 + p1244 + p1246 + p1247 + p1248 + p1249 + p1250 + p1251 + p1253 + p1254 + p1255 + p1256 + p1257 + p1258 + p1260 + p1261 + p1262 + p1263 + p1264 + p1265 + p1267 + p1268 + p1269 + p1270 + p1271 + p1272 + p1274 + p1275 + p1276 + p1277 + p1278 + p1279 + p1280 + p1273 + p1266 + p1259 + p1252 + p1245 <= 0)
lola: after: (6 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (p1239 + p1240 + p1241 + p1242 + p1243 + p1244 + p1246 + p1247 + p1248 + p1249 + p1250 + p1251 + p1253 + p1254 + p1255 + p1256 + p1257 + p1258 + p1260 + p1261 + p1262 + p1263 + p1264 + p1265 + p1267 + p1268 + p1269 + p1270 + p1271 + p1272 + p1274 + p1275 + p1276 + p1277 + p1278 + p1279 + p1280 + p1273 + p1266 + p1259 + p1252 + p1245 <= 0)
lola: after: (6 <= 0)
lola: always false
lola: MAX(p1000 + p1001 + p1002 + p1003 + p1004 + p1005 + p1006 + p1007 + p1008 + p1009 + p1010 + p1011 + p1012 + p1013 + p1014 + p1015 + p1016 + p1017 + p1018 + p1019 + p1020 + p1021 + p1022 + p1023 + p1024 + p1025 + p1026 + p1027 + p1028 + p1029 + p1030 + p1031 + p1032 + p1033 + p1034 + p1035 + p1036 + p1037 + p1038 + p1039 + p1040 + p1041 + p1042 + p1043 + p1044 + p1045 + p1046 + p1047 + p1048 + p1049 + p1050 + p1051 + p1052 + p1053 + p1054 + p1055 + p1056 + p1057 + p1058 + p1059 + p1060 + p1061 + p1062 + p1063 + p1064 + p1065 + p1066 + p1067 + p1068 + p1069 + p1070 + p1071 + p1072 + p1073 + p1074 + p1075 + p1076 + p1077 + p1078 + p1079 + p1080 + p1081 + p1082 + p1083 + p1084 + p1085 + p1086 + p1087 + p1088 + p1089 + p1090 + p1091 + p1092 + p1093 + p1094 + p1095 + p1096 + p1097 + p1098 + p1099 + p1100 + p1101 + p1102 + p1103 + p1104 + p1105 + p1106 + p1107 + p1108 + p1109 + p1110 + p1111 + p1112 + p1113 + p1114 + p1115 + p1116 + p1117 + p1118 + p1119 + p1120 + p1121 + p1122 + p1123 + p1124 + p1125 + p1126 + p1127 + p1128 + p1129 + p1130 + p1131 + p1132 + p1133 + p1134 + p1135 + p1136 + p1137 + p1138 + p1139 + p1140 + p1141 + p1142 + p1143 + p1144 + p1145 + p1146 + p1147 + p1148 + p1149 + p1150 + p1151 + p1152 + p1153 + p1154 + p1155 + p1156 + p1157 + p1158 + p1159 + p1160 + p1161 + p1162 + p1163 + p1164 + p1165 + p1166 + p1167 + p1168 + p1169 + p1170 + p1171 + p1172 + p1173 + p1174 + p1175 + p1176 + p1177 + p1178 + p1179 + p1180 + p1181 + p1182 + p1183 + p1184 + p1185 + p1186 + p1187 + p1188 + p1189 + p1190 + p1191 + p1192 + p1193 + p1194 + p1195 + p1196 + p1197 + p1198 + p1199 + p1200 + p1201 + p1202 + p1203 + p1204 + p1205 + p1206 + p1207 + p1208 + p1209 + p1210 + p1211 + p1212 + p1213 + p1214 + p1215 + p1216 + p1217 + p1218 + p1219 + p1220 + p1221 + p1222 + p1223 + p1224 + p1225 + p1226 + p1227 + p1228 + p1229 + p1230 + p1231 + p938 + p939 + p940 + p941 + p942 + p943 + p944 + p945 + p946 + p947 + p948 + p949 + p950 + p951 + p952 + p953 + p954 + p955 + p956 + p957 + p958 + p959 + p960 + p961 + p962 + p963 + p964 + p965 + p966 + p967 + p968 + p969 + p970 + p971 + p972 + p973 + p974 + p975 + p976 + p977 + p978 + p979 + p980 + p981 + p982 + p983 + p984 + p985 + p986 + p987 + p988 + p989 + p990 + p991 + p992 + p993 + p994 + p995 + p996 + p997 + p998 + p999) : MAX(p1237 + p1238 + p1236 + p1235 + p1234 + p1233 + p1232) : MAX(p98 + p96 + p95 + p94 + p93 + p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199 + p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207 + p208 + p209 + p210 + p211 + p212 + p213 + p214 + p215 + p216 + p217 + p218 + p219 + p220 + p221 + p222 + p223 + p224 + p225 + p226 + p227 + p228 + p229 + p230 + p231 + p232 + p233 + p234 + p235 + p236 + p237 + p238 + p239 + p240 + p241 + p242 + p243 + p244 + p245 + p246 + p247 + p248 + p249 + p250 + p251 + p252 + p253 + p254 + p255 + p256 + p257 + p258 + p259 + p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332 + p333 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343 + p344 + p345 + p346 + p347 + p348 + p349 + p92 + p91 + p90 + p89 + p88 + p87 + p86 + p85 + p84 + p83 + p82 + p81 + p80 + p79 + p78 + p77 + p76 + p75 + p74 + p73 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p97 + p99) : MAX(p98 + p96 + p95 + p94 + p93 + p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199 + p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207 + p208 + p209 + p210 + p211 + p212 + p213 + p214 + p215 + p216 + p217 + p218 + p219 + p220 + p221 + p222 + p223 + p224 + p225 + p226 + p227 + p228 + p229 + p230 + p231 + p232 + p233 + p234 + p235 + p236 + p237 + p238 + p239 + p240 + p241 + p242 + p243 + p244 + p245 + p246 + p247 + p248 + p249 + p250 + p251 + p252 + p253 + p254 + p255 + p256 + p257 + p258 + p259 + p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332 + p333 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343 + p344 + p345 + p346 + p347 + p348 + p349 + p92 + p91 + p90 + p89 + p88 + p87 + p86 + p85 + p84 + p83 + p82 + p81 + p80 + p79 + p78 + p77 + p76 + p75 + p74 + p73 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p97 + p99) : MAX(p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372 + p373 + p374 + p375 + p376 + p377 + p378 + p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418 + p419 + p420 + p421 + p422 + p423 + p424 + p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437 + p438 + p439 + p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455 + p456 + p457 + p458 + p459 + p460 + p461 + p462 + p463 + p464 + p465 + p466 + p467 + p468 + p469 + p470 + p471 + p472 + p473 + p474 + p475 + p476 + p477 + p478 + p479 + p480 + p481 + p482 + p483 + p484 + p485 + p486 + p487 + p488 + p489 + p490 + p491 + p492 + p493 + p494 + p495 + p496 + p497 + p498 + p499 + p500 + p501 + p502 + p503 + p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p512 + p513 + p514 + p515 + p516 + p517 + p518 + p519 + p520 + p521 + p522 + p523 + p524 + p525 + p526 + p527 + p528 + p529 + p530 + p531 + p532 + p533 + p534 + p535 + p536 + p537 + p538 + p539 + p540 + p541 + p542 + p543 + p544 + p545 + p546 + p547 + p548 + p549 + p550 + p551 + p552 + p553 + p554 + p555 + p556 + p557 + p558 + p559 + p560 + p561 + p562 + p563 + p564 + p565 + p566 + p567 + p568 + p569 + p570 + p571 + p572 + p573 + p574 + p575 + p576 + p577 + p578 + p579 + p580 + p581 + p582 + p583 + p584 + p585 + p586 + p587 + p588 + p589 + p590 + p591 + p592 + p593 + p594 + p595 + p596 + p597 + p598 + p599 + p600 + p601 + p602 + p603 + p604 + p605 + p606 + p607 + p608 + p609 + p610 + p611 + p612 + p613 + p614 + p615 + p616 + p617 + p618 + p619 + p620 + p621 + p622 + p623 + p624 + p625 + p626 + p627 + p628 + p629 + p630 + p631 + p632 + p633 + p634 + p635 + p636 + p637 + p638 + p639 + p640 + p641 + p642 + p643) : MAX(p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p32 + p33 + p34 + p35 + p36 + p38 + p39 + p40 + p41 + p42 + p44 + p45 + p46 + p47 + p48 + p50 + p51 + p52 + p53 + p54 + p55 + p49 + p43 + p37 + p31) : MAX(0) : MAX(0) : MAX(p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p32 + p33 + p34 + p35 + p36 + p38 + p39 + p40 + p41 + p42 + p44 + p45 + p46 + p47 + p48 + p50 + p51 + p52 + p53 + p54 + p55 + p49 + p43 + p37 + p31) : MAX(p1000 + p1001 + p1002 + p1003 + p1004 + p1005 + p1006 + p1007 + p1008 + p1009 + p1010 + p1011 + p1012 + p1013 + p1014 + p1015 + p1016 + p1017 + p1018 + p1019 + p1020 + p1021 + p1022 + p1023 + p1024 + p1025 + p1026 + p1027 + p1028 + p1029 + p1030 + p1031 + p1032 + p1033 + p1034 + p1035 + p1036 + p1037 + p1038 + p1039 + p1040 + p1041 + p1042 + p1043 + p1044 + p1045 + p1046 + p1047 + p1048 + p1049 + p1050 + p1051 + p1052 + p1053 + p1054 + p1055 + p1056 + p1057 + p1058 + p1059 + p1060 + p1061 + p1062 + p1063 + p1064 + p1065 + p1066 + p1067 + p1068 + p1069 + p1070 + p1071 + p1072 + p1073 + p1074 + p1075 + p1076 + p1077 + p1078 + p1079 + p1080 + p1081 + p1082 + p1083 + p1084 + p1085 + p1086 + p1087 + p1088 + p1089 + p1090 + p1091 + p1092 + p1093 + p1094 + p1095 + p1096 + p1097 + p1098 + p1099 + p1100 + p1101 + p1102 + p1103 + p1104 + p1105 + p1106 + p1107 + p1108 + p1109 + p1110 + p1111 + p1112 + p1113 + p1114 + p1115 + p1116 + p1117 + p1118 + p1119 + p1120 + p1121 + p1122 + p1123 + p1124 + p1125 + p1126 + p1127 + p1128 + p1129 + p1130 + p1131 + p1132 + p1133 + p1134 + p1135 + p1136 + p1137 + p1138 + p1139 + p1140 + p1141 + p1142 + p1143 + p1144 + p1145 + p1146 + p1147 + p1148 + p1149 + p1150 + p1151 + p1152 + p1153 + p1154 + p1155 + p1156 + p1157 + p1158 + p1159 + p1160 + p1161 + p1162 + p1163 + p1164 + p1165 + p1166 + p1167 + p1168 + p1169 + p1170 + p1171 + p1172 + p1173 + p1174 + p1175 + p1176 + p1177 + p1178 + p1179 + p1180 + p1181 + p1182 + p1183 + p1184 + p1185 + p1186 + p1187 + p1188 + p1189 + p1190 + p1191 + p1192 + p1193 + p1194 + p1195 + p1196 + p1197 + p1198 + p1199 + p1200 + p1201 + p1202 + p1203 + p1204 + p1205 + p1206 + p1207 + p1208 + p1209 + p1210 + p1211 + p1212 + p1213 + p1214 + p1215 + p1216 + p1217 + p1218 + p1219 + p1220 + p1221 + p1222 + p1223 + p1224 + p1225 + p1226 + p1227 + p1228 + p1229 + p1230 + p1231 + p938 + p939 + p940 + p941 + p942 + p943 + p944 + p945 + p946 + p947 + p948 + p949 + p950 + p951 + p952 + p953 + p954 + p955 + p956 + p957 + p958 + p959 + p960 + p961 + p962 + p963 + p964 + p965 + p966 + p967 + p968 + p969 + p970 + p971 + p972 + p973 + p974 + p975 + p976 + p977 + p978 + p979 + p980 + p981 + p982 + p983 + p984 + p985 + p986 + p987 + p988 + p989 + p990 + p991 + p992 + p993 + p994 + p995 + p996 + p997 + p998 + p999) : MAX(p1237 + p1238 + p1236 + p1235 + p1234 + p1233 + p1232) : MAX(p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372 + p373 + p374 + p375 + p376 + p377 + p378 + p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418 + p419 + p420 + p421 + p422 + p423 + p424 + p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437 + p438 + p439 + p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455 + p456 + p457 + p458 + p459 + p460 + p461 + p462 + p463 + p464 + p465 + p466 + p467 + p468 + p469 + p470 + p471 + p472 + p473 + p474 + p475 + p476 + p477 + p478 + p479 + p480 + p481 + p482 + p483 + p484 + p485 + p486 + p487 + p488 + p489 + p490 + p491 + p492 + p493 + p494 + p495 + p496 + p497 + p498 + p499 + p500 + p501 + p502 + p503 + p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p512 + p513 + p514 + p515 + p516 + p517 + p518 + p519 + p520 + p521 + p522 + p523 + p524 + p525 + p526 + p527 + p528 + p529 + p530 + p531 + p532 + p533 + p534 + p535 + p536 + p537 + p538 + p539 + p540 + p541 + p542 + p543 + p544 + p545 + p546 + p547 + p548 + p549 + p550 + p551 + p552 + p553 + p554 + p555 + p556 + p557 + p558 + p559 + p560 + p561 + p562 + p563 + p564 + p565 + p566 + p567 + p568 + p569 + p570 + p571 + p572 + p573 + p574 + p575 + p576 + p577 + p578 + p579 + p580 + p581 + p582 + p583 + p584 + p585 + p586 + p587 + p588 + p589 + p590 + p591 + p592 + p593 + p594 + p595 + p596 + p597 + p598 + p599 + p600 + p601 + p602 + p603 + p604 + p605 + p606 + p607 + p608 + p609 + p610 + p611 + p612 + p613 + p614 + p615 + p616 + p617 + p618 + p619 + p620 + p621 + p622 + p623 + p624 + p625 + p626 + p627 + p628 + p629 + p630 + p631 + p632 + p633 + p634 + p635 + p636 + p637 + p638 + p639 + p640 + p641 + p642 + p643) : MAX(p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372 + p373 + p374 + p375 + p376 + p377 + p378 + p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418 + p419 + p420 + p421 + p422 + p423 + p424 + p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437 + p438 + p439 + p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455 + p456 + p457 + p458 + p459 + p460 + p461 + p462 + p463 + p464 + p465 + p466 + p467 + p468 + p469 + p470 + p471 + p472 + p473 + p474 + p475 + p476 + p477 + p478 + p479 + p480 + p481 + p482 + p483 + p484 + p485 + p486 + p487 + p488 + p489 + p490 + p491 + p492 + p493 + p494 + p495 + p496 + p497 + p498 + p499 + p500 + p501 + p502 + p503 + p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p512 + p513 + p514 + p515 + p516 + p517 + p518 + p519 + p520 + p521 + p522 + p523 + p524 + p525 + p526 + p527 + p528 + p529 + p530 + p531 + p532 + p533 + p534 + p535 + p536 + p537 + p538 + p539 + p540 + p541 + p542 + p543 + p544 + p545 + p546 + p547 + p548 + p549 + p550 + p551 + p552 + p553 + p554 + p555 + p556 + p557 + p558 + p559 + p560 + p561 + p562 + p563 + p564 + p565 + p566 + p567 + p568 + p569 + p570 + p571 + p572 + p573 + p574 + p575 + p576 + p577 + p578 + p579 + p580 + p581 + p582 + p583 + p584 + p585 + p586 + p587 + p588 + p589 + p590 + p591 + p592 + p593 + p594 + p595 + p596 + p597 + p598 + p599 + p600 + p601 + p602 + p603 + p604 + p605 + p606 + p607 + p608 + p609 + p610 + p611 + p612 + p613 + p614 + p615 + p616 + p617 + p618 + p619 + p620 + p621 + p622 + p623 + p624 + p625 + p626 + p627 + p628 + p629 + p630 + p631 + p632 + p633 + p634 + p635 + p636 + p637 + p638 + p639 + p640 + p641 + p642 + p643) : MAX(p1365 + p1366 + p1367 + p1368 + p1369 + p1370 + p1371) : MAX(p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372 + p373 + p374 + p375 + p376 + p377 + p378 + p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418 + p419 + p420 + p421 + p422 + p423 + p424 + p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437 + p438 + p439 + p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455 + p456 + p457 + p458 + p459 + p460 + p461 + p462 + p463 + p464 + p465 + p466 + p467 + p468 + p469 + p470 + p471 + p472 + p473 + p474 + p475 + p476 + p477 + p478 + p479 + p480 + p481 + p482 + p483 + p484 + p485 + p486 + p487 + p488 + p489 + p490 + p491 + p492 + p493 + p494 + p495 + p496 + p497 + p498 + p499 + p500 + p501 + p502 + p503 + p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p512 + p513 + p514 + p515 + p516 + p517 + p518 + p519 + p520 + p521 + p522 + p523 + p524 + p525 + p526 + p527 + p528 + p529 + p530 + p531 + p532 + p533 + p534 + p535 + p536 + p537 + p538 + p539 + p540 + p541 + p542 + p543 + p544 + p545 + p546 + p547 + p548 + p549 + p550 + p551 + p552 + p553 + p554 + p555 + p556 + p557 + p558 + p559 + p560 + p561 + p562 + p563 + p564 + p565 + p566 + p567 + p568 + p569 + p570 + p571 + p572 + p573 + p574 + p575 + p576 + p577 + p578 + p579 + p580 + p581 + p582 + p583 + p584 + p585 + p586 + p587 + p588 + p589 + p590 + p591 + p592 + p593 + p594 + p595 + p596 + p597 + p598 + p599 + p600 + p601 + p602 + p603 + p604 + p605 + p606 + p607 + p608 + p609 + p610 + p611 + p612 + p613 + p614 + p615 + p616 + p617 + p618 + p619 + p620 + p621 + p622 + p623 + p624 + p625 + p626 + p627 + p628 + p629 + p630 + p631 + p632 + p633 + p634 + p635 + p636 + p637 + p638 + p639 + p640 + p641 + p642 + p643) : MAX(p1365 + p1366 + p1367 + p1368 + p1369 + p1370 + p1371)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file Peterson-COL-6-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 6
lola: SUBRESULT
lola: result: 6
lola: produced by: state space
lola: The maximum value of the given expression is 6
lola: 0 markings, 0 edges
lola: ========================================
FORMULA Peterson-COL-6-UpperBounds-6 6 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file Peterson-COL-6-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 6
lola: SUBRESULT
lola: result: 6
lola: produced by: state space
lola: The maximum value of the given expression is 6
lola: 0 markings, 0 edges
lola: ========================================
FORMULA Peterson-COL-6-UpperBounds-7 6 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1237 + p1238 + p1236 + p1235 + p1234 + p1233 + p1232)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1237 + p1238 + p1236 + p1235 + p1234 + p1233 + p1232)
lola: processed formula length: 58
lola: 0 rewrites
lola: closed formula file Peterson-COL-6-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 7
lola: SUBRESULT
lola: result: 7
lola: produced by: state space
lola: The maximum value of the given expression is 7
lola: 0 markings, 0 edges
lola: ========================================
FORMULA Peterson-COL-6-UpperBounds-1 7 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1237 + p1238 + p1236 + p1235 + p1234 + p1233 + p1232)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1237 + p1238 + p1236 + p1235 + p1234 + p1233 + p1232)
lola: processed formula length: 58
lola: 0 rewrites
lola: closed formula file Peterson-COL-6-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 7
lola: SUBRESULT
lola: result: 7
lola: produced by: state space
lola: The maximum value of the given expression is 7
lola: 0 markings, 0 edges
FORMULA Peterson-COL-6-UpperBounds-10 7 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1365 + p1366 + p1367 + p1368 + p1369 + p1370 + p1371)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1365 + p1366 + p1367 + p1368 + p1369 + p1370 + p1371)
lola: processed formula length: 58
lola: 0 rewrites
lola: closed formula file Peterson-COL-6-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: ========================================
lola: Structural Bound: 7
lola: 94063 markings, 242804 edges, 18813 markings/sec, 0 secs
lola: 187173 markings, 518484 edges, 18622 markings/sec, 5 secs
lola: 276822 markings, 813262 edges, 17930 markings/sec, 10 secs
lola: 362070 markings, 1130220 edges, 17050 markings/sec, 15 secs
lola: 445485 markings, 1455428 edges, 16683 markings/sec, 20 secs
lola: 518505 markings, 1829669 edges, 14604 markings/sec, 25 secs
lola: 581182 markings, 2250955 edges, 12535 markings/sec, 30 secs
lola: 644141 markings, 2672647 edges, 12592 markings/sec, 35 secs
lola: 706694 markings, 3092600 edges, 12511 markings/sec, 40 secs
lola: 772449 markings, 3508771 edges, 13151 markings/sec, 45 secs
lola: 836427 markings, 3939012 edges, 12796 markings/sec, 50 secs
lola: 900583 markings, 4370149 edges, 12831 markings/sec, 55 secs
lola: 964745 markings, 4793536 edges, 12832 markings/sec, 60 secs
lola: 1030226 markings, 5222785 edges, 13096 markings/sec, 65 secs
lola: 1095318 markings, 5650174 edges, 13018 markings/sec, 70 secs
lola: 1156125 markings, 6068777 edges, 12161 markings/sec, 75 secs
lola: 1218966 markings, 6489370 edges, 12568 markings/sec, 80 secs
lola: 1283284 markings, 6917322 edges, 12864 markings/sec, 85 secs
lola: 1347193 markings, 7342498 edges, 12782 markings/sec, 90 secs
lola: 1410829 markings, 7769327 edges, 12727 markings/sec, 95 secs
lola: 1475219 markings, 8201032 edges, 12878 markings/sec, 100 secs
lola: 1539734 markings, 8630331 edges, 12903 markings/sec, 105 secs
lola: 1604744 markings, 9063560 edges, 13002 markings/sec, 110 secs
lola: 1668783 markings, 9488926 edges, 12808 markings/sec, 115 secs
lola: 1731701 markings, 9910439 edges, 12584 markings/sec, 120 secs
lola: 1795760 markings, 10334191 edges, 12812 markings/sec, 125 secs
lola: 1856431 markings, 10752720 edges, 12134 markings/sec, 130 secs
lola: 1920169 markings, 11181358 edges, 12748 markings/sec, 135 secs
lola: 1983847 markings, 11607495 edges, 12736 markings/sec, 140 secs
lola: 2048131 markings, 12037174 edges, 12857 markings/sec, 145 secs
lola: 2110931 markings, 12458039 edges, 12560 markings/sec, 150 secs
lola: 2173567 markings, 12877083 edges, 12527 markings/sec, 155 secs
lola: 2235072 markings, 13293688 edges, 12301 markings/sec, 160 secs
lola: 2298205 markings, 13719702 edges, 12627 markings/sec, 165 secs
lola: 2361715 markings, 14146177 edges, 12702 markings/sec, 170 secs
lola: 2423971 markings, 14566027 edges, 12451 markings/sec, 175 secs
lola: 2484714 markings, 14982596 edges, 12149 markings/sec, 180 secs
lola: 2548623 markings, 15402594 edges, 12782 markings/sec, 185 secs
lola: 2613311 markings, 15828784 edges, 12938 markings/sec, 190 secs
lola: 2677175 markings, 16252031 edges, 12773 markings/sec, 195 secs
lola: 2739002 markings, 16676455 edges, 12365 markings/sec, 200 secs
lola: 2801797 markings, 17097491 edges, 12559 markings/sec, 205 secs
lola: 2865825 markings, 17523556 edges, 12806 markings/sec, 210 secs
lola: 2930091 markings, 17950746 edges, 12853 markings/sec, 215 secs
lola: 2993021 markings, 18372865 edges, 12586 markings/sec, 220 secs
lola: 3053062 markings, 18787600 edges, 12008 markings/sec, 225 secs
lola: 3113870 markings, 19210187 edges, 12162 markings/sec, 230 secs
lola: 3175501 markings, 19631706 edges, 12326 markings/sec, 235 secs
lola: 3238546 markings, 20058044 edges, 12609 markings/sec, 240 secs
lola: 3302025 markings, 20487940 edges, 12696 markings/sec, 245 secs
lola: 3366226 markings, 20918884 edges, 12840 markings/sec, 250 secs
lola: 3430799 markings, 21354736 edges, 12915 markings/sec, 255 secs
lola: 3494227 markings, 21781167 edges, 12686 markings/sec, 260 secs
lola: 3557683 markings, 22212161 edges, 12691 markings/sec, 265 secs
lola: 3620966 markings, 22639518 edges, 12657 markings/sec, 270 secs
lola: 3684231 markings, 23067649 edges, 12653 markings/sec, 275 secs
lola: 3747876 markings, 23499227 edges, 12729 markings/sec, 280 secs
lola: 3812035 markings, 23930907 edges, 12832 markings/sec, 285 secs
lola: 3876671 markings, 24366563 edges, 12927 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 7 unknown unknown unknown unknown 6 6 unknown unknown 7 unknown unknown unknown unknown unknown
lola: memory consumption: 460320 KB
lola: time consumption: 299 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1365 + p1366 + p1367 + p1368 + p1369 + p1370 + p1371)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1365 + p1366 + p1367 + p1368 + p1369 + p1370 + p1371)
lola: processed formula length: 58
lola: 0 rewrites
lola: closed formula file Peterson-COL-6-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 7
lola: 94821 markings, 244985 edges, 18964 markings/sec, 0 secs
lola: 188826 markings, 523427 edges, 18801 markings/sec, 5 secs
lola: 278709 markings, 819750 edges, 17977 markings/sec, 10 secs
lola: 364612 markings, 1138562 edges, 17181 markings/sec, 15 secs
lola: 448522 markings, 1465983 edges, 16782 markings/sec, 20 secs
lola: 521290 markings, 1847160 edges, 14554 markings/sec, 25 secs
lola: 584154 markings, 2270800 edges, 12573 markings/sec, 30 secs
lola: 647458 markings, 2694160 edges, 12661 markings/sec, 35 secs
lola: 710453 markings, 3117089 edges, 12599 markings/sec, 40 secs
lola: 776415 markings, 3536351 edges, 13192 markings/sec, 45 secs
lola: 840824 markings, 3968795 edges, 12882 markings/sec, 50 secs
lola: 905386 markings, 4400729 edges, 12912 markings/sec, 55 secs
lola: 969744 markings, 4826974 edges, 12872 markings/sec, 60 secs
lola: 1035661 markings, 5257660 edges, 13183 markings/sec, 65 secs
lola: 1101210 markings, 5686045 edges, 13110 markings/sec, 70 secs
lola: 1161833 markings, 6106159 edges, 12125 markings/sec, 75 secs
lola: 1225056 markings, 6529224 edges, 12645 markings/sec, 80 secs
lola: 1289919 markings, 6958840 edges, 12973 markings/sec, 85 secs
lola: 1353884 markings, 7384650 edges, 12793 markings/sec, 90 secs
lola: 1417379 markings, 7815683 edges, 12699 markings/sec, 95 secs
lola: 1482379 markings, 8248408 edges, 13000 markings/sec, 100 secs
lola: 1547283 markings, 8679084 edges, 12981 markings/sec, 105 secs
lola: 1612176 markings, 9113262 edges, 12979 markings/sec, 110 secs
lola: 1676092 markings, 9538945 edges, 12783 markings/sec, 115 secs
lola: 1739706 markings, 9964748 edges, 12723 markings/sec, 120 secs
lola: 1803263 markings, 10388123 edges, 12711 markings/sec, 125 secs
lola: 1864896 markings, 10810600 edges, 12327 markings/sec, 130 secs
lola: 1929370 markings, 11241204 edges, 12895 markings/sec, 135 secs
lola: 1993259 markings, 11670739 edges, 12778 markings/sec, 140 secs
lola: 2057316 markings, 12100303 edges, 12811 markings/sec, 145 secs
lola: 2120210 markings, 12522474 edges, 12579 markings/sec, 150 secs
lola: 2183778 markings, 12945173 edges, 12714 markings/sec, 155 secs
lola: 2245523 markings, 13365269 edges, 12349 markings/sec, 160 secs
lola: 2309289 markings, 13793984 edges, 12753 markings/sec, 165 secs
lola: 2372990 markings, 14222031 edges, 12740 markings/sec, 170 secs
lola: 2434808 markings, 14642340 edges, 12364 markings/sec, 175 secs
lola: 2496774 markings, 15061059 edges, 12393 markings/sec, 180 secs
lola: 2561125 markings, 15484651 edges, 12870 markings/sec, 185 secs
lola: 2625727 markings, 15910987 edges, 12920 markings/sec, 190 secs
lola: 2689150 markings, 16334933 edges, 12685 markings/sec, 195 secs
lola: 2751502 markings, 16760253 edges, 12470 markings/sec, 200 secs
lola: 2815047 markings, 17184794 edges, 12709 markings/sec, 205 secs
lola: 2879490 markings, 17613248 edges, 12889 markings/sec, 210 secs
lola: 2943895 markings, 18041285 edges, 12881 markings/sec, 215 secs
lola: 3006215 markings, 18460933 edges, 12464 markings/sec, 220 secs
lola: 3066226 markings, 18880466 edges, 12002 markings/sec, 225 secs
lola: 3127546 markings, 19305103 edges, 12264 markings/sec, 230 secs
lola: 3190313 markings, 19729946 edges, 12553 markings/sec, 235 secs
lola: 3253473 markings, 20158605 edges, 12632 markings/sec, 240 secs
lola: 3317245 markings, 20590113 edges, 12754 markings/sec, 245 secs
lola: 3381307 markings, 21022434 edges, 12812 markings/sec, 250 secs
lola: 3445622 markings, 21457901 edges, 12863 markings/sec, 255 secs
lola: 3509619 markings, 21886644 edges, 12799 markings/sec, 260 secs
lola: 3573763 markings, 22320742 edges, 12829 markings/sec, 265 secs
lola: 3637344 markings, 22747694 edges, 12716 markings/sec, 270 secs
lola: 3700713 markings, 23178732 edges, 12674 markings/sec, 275 secs
lola: 3764690 markings, 23610511 edges, 12795 markings/sec, 280 secs
lola: 3828605 markings, 24042950 edges, 12783 markings/sec, 285 secs
lola: 3892664 markings, 24477132 edges, 12812 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 7 unknown unknown unknown unknown 6 6 unknown unknown 7 unknown unknown unknown unknown unknown
lola: memory consumption: 462204 KB
lola: time consumption: 596 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p32 + p33 + p34 + p35 + p36 + p38 + p39 + p40 + p41 + p42 + p44 + p45 + p46 + p47 + p48 + p50 + p51 + p52 + p53 + p54 + p55 + p49 + p43 + p37 + p31)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p32 + p33 + p34 + p35 + p36 + p38 + p39 + p40 + p41 + p42 + p44 + p45 + p46 + p47 + p48 + p50 + p51 + p52 + p53 + p54 + p55 + p49 + p43 + p37 + p31)
lola: processed formula length: 254
lola: 0 rewrites
lola: closed formula file Peterson-COL-6-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 7
lola: SUBRESULT
lola: result: 7
lola: produced by: state space
lola: The maximum value of the given expression is 7
lola: 8 markings, 7 edges
lola: ========================================
FORMULA Peterson-COL-6-UpperBounds-8 7 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 330 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p32 + p33 + p34 + p35 + p36 + p38 + p39 + p40 + p41 + p42 + p44 + p45 + p46 + p47 + p48 + p50 + p51 + p52 + p53 + p54 + p55 + p49 + p43 + p37 + p31)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p32 + p33 + p34 + p35 + p36 + p38 + p39 + p40 + p41 + p42 + p44 + p45 + p46 + p47 + p48 + p50 + p51 + p52 + p53 + p54 + p55 + p49 + p43 + p37 + p31)
lola: processed formula length: 254
lola: 0 rewrites
lola: closed formula file Peterson-COL-6-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 7
lola: SUBRESULT
lola: result: 7
lola: produced by: state space
lola: The maximum value of the given expression is 7
lola: 8 markings, 7 edges
lola: ========================================
FORMULA Peterson-COL-6-UpperBounds-5 7 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 371 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372 + p373 + p374 + p375 + p376 + p377 + p378 + p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372 + p373 + p374 + p375 + p376 + p377 + p378 + p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406... (shortened)
lola: processed formula length: 2060
lola: 0 rewrites
lola: closed formula file Peterson-COL-6-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 7
lola: SUBRESULT
lola: result: 7
lola: produced by: state space
lola: The maximum value of the given expression is 7
lola: 3078 markings, 6268 edges
lola: ========================================
FORMULA Peterson-COL-6-UpperBounds-4 7 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 424 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1000 + p1001 + p1002 + p1003 + p1004 + p1005 + p1006 + p1007 + p1008 + p1009 + p1010 + p1011 + p1012 + p1013 + p1014 + p1015 + p1016 + p1017 + p1018 + p1019 + p1020 + p1021 + p1022 + p1023 + p1024 + p1025 + p1026 + p1027 + p1028 + p1029 + p1030 + p1031 + p1032 + p1033 + p1034 + p1035 + p1036 + p1037 + p1038 + p1039 + p1040 + p1041 + p1042 + p1043 + p1044 + p1045 + p1046 + p1047 + p1048 + p104... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1000 + p1001 + p1002 + p1003 + p1004 + p1005 + p1006 + p1007 + p1008 + p1009 + p1010 + p1011 + p1012 + p1013 + p1014 + p1015 + p1016 + p1017 + p1018 + p1019 + p1020 + p1021 + p1022 + p1023 + p1024 + p1025 + p1026 + p1027 + p1028 + p1029 + p1030 + p1031 + p1032 + p1033 + p1034 + p1035 + p1036 + p1037 + p1038 + p1039 + p1040 + p1041 + p1042 + p1043 + p1044 + p1045 + p1046 + p1047 + p1048 + p104... (shortened)
lola: processed formula length: 2292
lola: 0 rewrites
lola: closed formula file Peterson-COL-6-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 7
lola: 108980 markings, 168146 edges, 21796 markings/sec, 0 secs
lola: 219485 markings, 356914 edges, 22101 markings/sec, 5 secs
lola: 327704 markings, 552649 edges, 21644 markings/sec, 10 secs
lola: 435652 markings, 761094 edges, 21590 markings/sec, 15 secs
lola: 541400 markings, 980521 edges, 21150 markings/sec, 20 secs
lola: 644710 markings, 1209968 edges, 20662 markings/sec, 25 secs
lola: 745442 markings, 1453043 edges, 20146 markings/sec, 30 secs
lola: 843802 markings, 1706516 edges, 19672 markings/sec, 35 secs
lola: 940499 markings, 1967596 edges, 19339 markings/sec, 40 secs
lola: 1036475 markings, 2229824 edges, 19195 markings/sec, 45 secs
lola: 1126712 markings, 2520609 edges, 18047 markings/sec, 50 secs
lola: 1188958 markings, 2950086 edges, 12449 markings/sec, 55 secs
lola: 1250947 markings, 3381313 edges, 12398 markings/sec, 60 secs
lola: 1313866 markings, 3807617 edges, 12584 markings/sec, 65 secs
lola: 1372706 markings, 4233790 edges, 11768 markings/sec, 70 secs
lola: 1433243 markings, 4654891 edges, 12107 markings/sec, 75 secs
lola: 1493690 markings, 5087090 edges, 12089 markings/sec, 80 secs
lola: 1555692 markings, 5523192 edges, 12400 markings/sec, 85 secs
lola: 1618553 markings, 5954668 edges, 12572 markings/sec, 90 secs
lola: 1680207 markings, 6386266 edges, 12331 markings/sec, 95 secs
lola: 1741332 markings, 6822534 edges, 12225 markings/sec, 100 secs
lola: 1804644 markings, 7258480 edges, 12662 markings/sec, 105 secs
lola: 1867035 markings, 7700038 edges, 12478 markings/sec, 110 secs
lola: 1929284 markings, 8136354 edges, 12450 markings/sec, 115 secs
lola: 1991512 markings, 8573610 edges, 12446 markings/sec, 120 secs
lola: 2052204 markings, 8997552 edges, 12138 markings/sec, 125 secs
lola: 2114663 markings, 9430678 edges, 12492 markings/sec, 130 secs
lola: 2175235 markings, 9855817 edges, 12114 markings/sec, 135 secs
lola: 2238602 markings, 10273003 edges, 12673 markings/sec, 140 secs
lola: 2298873 markings, 10706968 edges, 12054 markings/sec, 145 secs
lola: 2359539 markings, 11143314 edges, 12133 markings/sec, 150 secs
lola: 2419949 markings, 11569787 edges, 12082 markings/sec, 155 secs
lola: 2481582 markings, 12001737 edges, 12327 markings/sec, 160 secs
lola: 2542257 markings, 12428269 edges, 12135 markings/sec, 165 secs
lola: 2603462 markings, 12851774 edges, 12241 markings/sec, 170 secs
lola: 2663947 markings, 13276793 edges, 12097 markings/sec, 175 secs
lola: 2724715 markings, 13702677 edges, 12154 markings/sec, 180 secs
lola: 2784824 markings, 14127675 edges, 12022 markings/sec, 185 secs
lola: 2846574 markings, 14559437 edges, 12350 markings/sec, 190 secs
lola: 2908757 markings, 14994775 edges, 12437 markings/sec, 195 secs
lola: 2970741 markings, 15429275 edges, 12397 markings/sec, 200 secs
lola: 3031858 markings, 15856946 edges, 12223 markings/sec, 205 secs
lola: 3093136 markings, 16285961 edges, 12256 markings/sec, 210 secs
lola: 3155535 markings, 16715707 edges, 12480 markings/sec, 215 secs
lola: 3216942 markings, 17152167 edges, 12281 markings/sec, 220 secs
lola: 3279209 markings, 17580006 edges, 12453 markings/sec, 225 secs
lola: 3340645 markings, 18014349 edges, 12287 markings/sec, 230 secs
lola: 3402200 markings, 18446823 edges, 12311 markings/sec, 235 secs
lola: 3463884 markings, 18880546 edges, 12337 markings/sec, 240 secs
lola: 3526428 markings, 19308481 edges, 12509 markings/sec, 245 secs
lola: 3588504 markings, 19749208 edges, 12415 markings/sec, 250 secs
lola: 3650817 markings, 20186932 edges, 12463 markings/sec, 255 secs
lola: 3713124 markings, 20626044 edges, 12461 markings/sec, 260 secs
lola: 3776113 markings, 21058217 edges, 12598 markings/sec, 265 secs
lola: 3837777 markings, 21493627 edges, 12333 markings/sec, 270 secs
lola: 3899361 markings, 21926599 edges, 12317 markings/sec, 275 secs
lola: 3960965 markings, 22360045 edges, 12321 markings/sec, 280 secs
lola: 4022493 markings, 22789839 edges, 12306 markings/sec, 285 secs
lola: 4083156 markings, 23216085 edges, 12133 markings/sec, 290 secs
lola: 4145055 markings, 23647465 edges, 12380 markings/sec, 295 secs
lola: 4206552 markings, 24076504 edges, 12299 markings/sec, 300 secs
lola: 4267234 markings, 24504953 edges, 12136 markings/sec, 305 secs
lola: 4328852 markings, 24936104 edges, 12324 markings/sec, 310 secs
lola: 4391166 markings, 25370286 edges, 12463 markings/sec, 315 secs
lola: 4452085 markings, 25795038 edges, 12184 markings/sec, 320 secs
lola: 4514105 markings, 26223799 edges, 12404 markings/sec, 325 secs
lola: 4574248 markings, 26651326 edges, 12029 markings/sec, 330 secs
lola: 4633987 markings, 27071471 edges, 11948 markings/sec, 335 secs
lola: 4695475 markings, 27501346 edges, 12298 markings/sec, 340 secs
lola: 4757049 markings, 27930261 edges, 12315 markings/sec, 345 secs
lola: 4817252 markings, 28354451 edges, 12041 markings/sec, 350 secs
lola: 4877577 markings, 28776854 edges, 12065 markings/sec, 355 secs
lola: 4937897 markings, 29197421 edges, 12064 markings/sec, 360 secs
lola: 4997813 markings, 29615956 edges, 11983 markings/sec, 365 secs
lola: 5057222 markings, 30032803 edges, 11882 markings/sec, 370 secs
lola: 5118630 markings, 30459653 edges, 12282 markings/sec, 375 secs
lola: 5178678 markings, 30882569 edges, 12010 markings/sec, 380 secs
lola: 5238934 markings, 31303971 edges, 12051 markings/sec, 385 secs
lola: 5299970 markings, 31731353 edges, 12207 markings/sec, 390 secs
lola: 5361194 markings, 32159727 edges, 12245 markings/sec, 395 secs
lola: 5422664 markings, 32589626 edges, 12294 markings/sec, 400 secs
lola: 5484159 markings, 33018654 edges, 12299 markings/sec, 405 secs
lola: 5545850 markings, 33451216 edges, 12338 markings/sec, 410 secs
lola: 5607794 markings, 33885651 edges, 12389 markings/sec, 415 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 7 unknown unknown 7 7 6 6 7 unknown 7 unknown unknown unknown unknown unknown
lola: memory consumption: 675892 KB
lola: time consumption: 1021 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 424 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1000 + p1001 + p1002 + p1003 + p1004 + p1005 + p1006 + p1007 + p1008 + p1009 + p1010 + p1011 + p1012 + p1013 + p1014 + p1015 + p1016 + p1017 + p1018 + p1019 + p1020 + p1021 + p1022 + p1023 + p1024 + p1025 + p1026 + p1027 + p1028 + p1029 + p1030 + p1031 + p1032 + p1033 + p1034 + p1035 + p1036 + p1037 + p1038 + p1039 + p1040 + p1041 + p1042 + p1043 + p1044 + p1045 + p1046 + p1047 + p1048 + p104... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1000 + p1001 + p1002 + p1003 + p1004 + p1005 + p1006 + p1007 + p1008 + p1009 + p1010 + p1011 + p1012 + p1013 + p1014 + p1015 + p1016 + p1017 + p1018 + p1019 + p1020 + p1021 + p1022 + p1023 + p1024 + p1025 + p1026 + p1027 + p1028 + p1029 + p1030 + p1031 + p1032 + p1033 + p1034 + p1035 + p1036 + p1037 + p1038 + p1039 + p1040 + p1041 + p1042 + p1043 + p1044 + p1045 + p1046 + p1047 + p1048 + p104... (shortened)
lola: processed formula length: 2292
lola: 0 rewrites
lola: closed formula file Peterson-COL-6-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 7
lola: 109702 markings, 169210 edges, 21940 markings/sec, 0 secs
lola: 221414 markings, 360391 edges, 22342 markings/sec, 5 secs
lola: 331426 markings, 559610 edges, 22002 markings/sec, 10 secs
lola: 439213 markings, 768457 edges, 21557 markings/sec, 15 secs
lola: 544848 markings, 987868 edges, 21127 markings/sec, 20 secs
lola: 647995 markings, 1217741 edges, 20629 markings/sec, 25 secs
lola: 748422 markings, 1461096 edges, 20085 markings/sec, 30 secs
lola: 846708 markings, 1713889 edges, 19657 markings/sec, 35 secs
lola: 943196 markings, 1974852 edges, 19298 markings/sec, 40 secs
lola: 1039210 markings, 2235494 edges, 19203 markings/sec, 45 secs
lola: 1128441 markings, 2529468 edges, 17846 markings/sec, 50 secs
lola: 1190163 markings, 2961810 edges, 12344 markings/sec, 55 secs
lola: 1253368 markings, 3387738 edges, 12641 markings/sec, 60 secs
lola: 1315909 markings, 3815160 edges, 12508 markings/sec, 65 secs
lola: 1373941 markings, 4245410 edges, 11606 markings/sec, 70 secs
lola: 1434687 markings, 4666819 edges, 12149 markings/sec, 75 secs
lola: 1495185 markings, 5098819 edges, 12100 markings/sec, 80 secs
lola: 1557851 markings, 5531479 edges, 12533 markings/sec, 85 secs
lola: 1619544 markings, 5968005 edges, 12339 markings/sec, 90 secs
lola: 1681865 markings, 6396725 edges, 12464 markings/sec, 95 secs
lola: 1743094 markings, 6832872 edges, 12246 markings/sec, 100 secs
lola: 1806378 markings, 7269196 edges, 12657 markings/sec, 105 secs
lola: 1868605 markings, 7711185 edges, 12445 markings/sec, 110 secs
lola: 1930661 markings, 8147322 edges, 12411 markings/sec, 115 secs
lola: 1993099 markings, 8582613 edges, 12488 markings/sec, 120 secs
lola: 2054860 markings, 9002496 edges, 12352 markings/sec, 125 secs
lola: 2116233 markings, 9440600 edges, 12275 markings/sec, 130 secs
lola: 2176749 markings, 9866383 edges, 12103 markings/sec, 135 secs
lola: 2239816 markings, 10284457 edges, 12613 markings/sec, 140 secs
lola: 2300467 markings, 10716826 edges, 12130 markings/sec, 145 secs
lola: 2360814 markings, 11154687 edges, 12069 markings/sec, 150 secs
lola: 2421412 markings, 11581641 edges, 12120 markings/sec, 155 secs
lola: 2483218 markings, 12012945 edges, 12361 markings/sec, 160 secs
lola: 2543777 markings, 12439648 edges, 12112 markings/sec, 165 secs
lola: 2604806 markings, 12864482 edges, 12206 markings/sec, 170 secs
lola: 2665576 markings, 13287628 edges, 12154 markings/sec, 175 secs
lola: 2726468 markings, 13713266 edges, 12178 markings/sec, 180 secs
lola: 2786967 markings, 14137163 edges, 12100 markings/sec, 185 secs
lola: 2849047 markings, 14567911 edges, 12416 markings/sec, 190 secs
lola: 2910467 markings, 15006838 edges, 12284 markings/sec, 195 secs
lola: 2972421 markings, 15441052 edges, 12391 markings/sec, 200 secs
lola: 3033667 markings, 15868672 edges, 12249 markings/sec, 205 secs
lola: 3094852 markings, 16298216 edges, 12237 markings/sec, 210 secs
lola: 3156785 markings, 16729333 edges, 12387 markings/sec, 215 secs
lola: 3218530 markings, 17163165 edges, 12349 markings/sec, 220 secs
lola: 3280408 markings, 17590991 edges, 12376 markings/sec, 225 secs
lola: 3341955 markings, 18023739 edges, 12309 markings/sec, 230 secs
lola: 3403471 markings, 18456106 edges, 12303 markings/sec, 235 secs
lola: 3465191 markings, 18888181 edges, 12344 markings/sec, 240 secs
lola: 3527138 markings, 19317863 edges, 12389 markings/sec, 245 secs
lola: 3589393 markings, 19756313 edges, 12451 markings/sec, 250 secs
lola: 3651811 markings, 20193216 edges, 12484 markings/sec, 255 secs
lola: 3714079 markings, 20631936 edges, 12454 markings/sec, 260 secs
lola: 3777229 markings, 21063205 edges, 12630 markings/sec, 265 secs
lola: 3838595 markings, 21499746 edges, 12273 markings/sec, 270 secs
lola: 3900395 markings, 21933142 edges, 12360 markings/sec, 275 secs
lola: 3962282 markings, 22367729 edges, 12377 markings/sec, 280 secs
lola: 4024105 markings, 22797605 edges, 12365 markings/sec, 285 secs
lola: 4084546 markings, 23226013 edges, 12088 markings/sec, 290 secs
lola: 4146433 markings, 23658311 edges, 12377 markings/sec, 295 secs
lola: 4208107 markings, 24088405 edges, 12335 markings/sec, 300 secs
lola: 4269652 markings, 24515220 edges, 12309 markings/sec, 305 secs
lola: 4331050 markings, 24950638 edges, 12280 markings/sec, 310 secs
lola: 4393433 markings, 25387458 edges, 12477 markings/sec, 315 secs
lola: 4454618 markings, 25813881 edges, 12237 markings/sec, 320 secs
lola: 4516726 markings, 26245595 edges, 12422 markings/sec, 325 secs
lola: 4577061 markings, 26672997 edges, 12067 markings/sec, 330 secs
lola: 4637507 markings, 27094783 edges, 12089 markings/sec, 335 secs
lola: 4699058 markings, 27525382 edges, 12310 markings/sec, 340 secs
lola: 4760518 markings, 27955973 edges, 12292 markings/sec, 345 secs
lola: 4820990 markings, 28379799 edges, 12094 markings/sec, 350 secs
lola: 4881763 markings, 28806247 edges, 12155 markings/sec, 355 secs
lola: 4942564 markings, 29231152 edges, 12160 markings/sec, 360 secs
lola: 5003145 markings, 29653747 edges, 12116 markings/sec, 365 secs
lola: 5063692 markings, 30077648 edges, 12109 markings/sec, 370 secs
lola: 5125033 markings, 30505712 edges, 12268 markings/sec, 375 secs
lola: 5186298 markings, 30927683 edges, 12253 markings/sec, 380 secs
lola: 5246333 markings, 31355725 edges, 12007 markings/sec, 385 secs
lola: 5307045 markings, 31780353 edges, 12142 markings/sec, 390 secs
lola: 5368015 markings, 32207476 edges, 12194 markings/sec, 395 secs
lola: 5429357 markings, 32636422 edges, 12268 markings/sec, 400 secs
lola: 5490716 markings, 33065163 edges, 12272 markings/sec, 405 secs
lola: 5552273 markings, 33497114 edges, 12311 markings/sec, 410 secs
lola: 5614206 markings, 33929183 edges, 12387 markings/sec, 415 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 7 unknown unknown 7 7 6 6 7 unknown 7 unknown unknown unknown unknown unknown
lola: memory consumption: 676716 KB
lola: time consumption: 1445 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 425 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372 + p373 + p374 + p375 + p376 + p377 + p378 + p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372 + p373 + p374 + p375 + p376 + p377 + p378 + p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406... (shortened)
lola: processed formula length: 2060
lola: 0 rewrites
lola: closed formula file Peterson-COL-6-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 7
lola: SUBRESULT
lola: result: 7
lola: produced by: state space
lola: The maximum value of the given expression is 7
lola: 3078 markings, 6268 edges
lola: ========================================
FORMULA Peterson-COL-6-UpperBounds-11 7 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 531 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372 + p373 + p374 + p375 + p376 + p377 + p378 + p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372 + p373 + p374 + p375 + p376 + p377 + p378 + p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406... (shortened)
lola: processed formula length: 2060
lola: 0 rewrites
lola: closed formula file Peterson-COL-6-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 7
lola: SUBRESULT
lola: result: 7
lola: produced by: state space
lola: The maximum value of the given expression is 7
lola: 3078 markings, 6268 edges
lola: ========================================
FORMULA Peterson-COL-6-UpperBounds-12 7 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 708 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p98 + p96 + p95 + p94 + p93 + p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p1... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p98 + p96 + p95 + p94 + p93 + p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p1... (shortened)
lola: processed formula length: 2016
lola: 0 rewrites
lola: closed formula file Peterson-COL-6-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 7
lola: SUBRESULT
lola: result: 7
lola: produced by: state space
lola: The maximum value of the given expression is 7
lola: 25 markings, 24 edges
lola: ========================================
FORMULA Peterson-COL-6-UpperBounds-2 7 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1062 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372 + p373 + p374 + p375 + p376 + p377 + p378 + p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372 + p373 + p374 + p375 + p376 + p377 + p378 + p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406... (shortened)
lola: processed formula length: 2060
lola: 0 rewrites
lola: closed formula file Peterson-COL-6-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 7
lola: SUBRESULT
lola: result: 7
lola: produced by: state space
lola: The maximum value of the given expression is 7
lola: 3078 markings, 6268 edges
lola: ========================================
FORMULA Peterson-COL-6-UpperBounds-14 7 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2124 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p98 + p96 + p95 + p94 + p93 + p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p1... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p98 + p96 + p95 + p94 + p93 + p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p1... (shortened)
lola: processed formula length: 2016
lola: 0 rewrites
lola: closed formula file Peterson-COL-6-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 7
lola: SUBRESULT
lola: result: 7
lola: produced by: state space
lola: The maximum value of the given expression is 7
lola: 25 markings, 24 edges
lola: ========================================
FORMULA Peterson-COL-6-UpperBounds-3 7 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p1365 + p1366 + p1367 + p1368 + p1369 + p1370 + p1371)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1365 + p1366 + p1367 + p1368 + p1369 + p1370 + p1371)
lola: processed formula length: 58
lola: 0 rewrites
lola: closed formula file Peterson-COL-6-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 7
lola: 94484 markings, 243980 edges, 18897 markings/sec, 0 secs
lola: 186623 markings, 516766 edges, 18428 markings/sec, 5 secs
lola: 276198 markings, 811407 edges, 17915 markings/sec, 10 secs
lola: 361810 markings, 1129401 edges, 17122 markings/sec, 15 secs
lola: 445480 markings, 1455407 edges, 16734 markings/sec, 20 secs
lola: 518492 markings, 1828403 edges, 14602 markings/sec, 25 secs
lola: 581230 markings, 2251175 edges, 12548 markings/sec, 30 secs
lola: 644336 markings, 2673398 edges, 12621 markings/sec, 35 secs
lola: 707135 markings, 3094418 edges, 12560 markings/sec, 40 secs
lola: 773005 markings, 3512268 edges, 13174 markings/sec, 45 secs
lola: 837137 markings, 3943445 edges, 12826 markings/sec, 50 secs
lola: 900669 markings, 4370736 edges, 12706 markings/sec, 55 secs
lola: 964954 markings, 4794733 edges, 12857 markings/sec, 60 secs
lola: 1030061 markings, 5221569 edges, 13021 markings/sec, 65 secs
lola: 1092753 markings, 5631715 edges, 12538 markings/sec, 70 secs
lola: 1153810 markings, 6050679 edges, 12211 markings/sec, 75 secs
lola: 1216195 markings, 6470245 edges, 12477 markings/sec, 80 secs
lola: 1279227 markings, 6889338 edges, 12606 markings/sec, 85 secs
lola: 1339767 markings, 7291341 edges, 12108 markings/sec, 90 secs
lola: 1398700 markings, 7687053 edges, 11787 markings/sec, 95 secs
lola: 1459606 markings, 8094212 edges, 12181 markings/sec, 100 secs
lola: 1518395 markings, 8490403 edges, 11758 markings/sec, 105 secs
lola: 1577853 markings, 8886595 edges, 11892 markings/sec, 110 secs
lola: 1638830 markings, 9292296 edges, 12195 markings/sec, 115 secs
lola: 1697478 markings, 9686177 edges, 11730 markings/sec, 120 secs
lola: 1756604 markings, 10078750 edges, 11825 markings/sec, 125 secs
lola: 1818134 markings, 10491594 edges, 12306 markings/sec, 130 secs
lola: 1879067 markings, 10905241 edges, 12187 markings/sec, 135 secs
lola: 1942935 markings, 11333962 edges, 12774 markings/sec, 140 secs
lola: 2007156 markings, 11763049 edges, 12844 markings/sec, 145 secs
lola: 2071860 markings, 12186000 edges, 12941 markings/sec, 150 secs
lola: 2131807 markings, 12599296 edges, 11989 markings/sec, 155 secs
lola: 2195386 markings, 13026310 edges, 12716 markings/sec, 160 secs
lola: 2257134 markings, 13442859 edges, 12350 markings/sec, 165 secs
lola: 2322119 markings, 13880373 edges, 12997 markings/sec, 170 secs
lola: 2387208 markings, 14318459 edges, 13018 markings/sec, 175 secs
lola: 2449601 markings, 14744911 edges, 12479 markings/sec, 180 secs
lola: 2512046 markings, 15162766 edges, 12489 markings/sec, 185 secs
lola: 2575659 markings, 15581355 edges, 12723 markings/sec, 190 secs
lola: 2640133 markings, 16004177 edges, 12895 markings/sec, 195 secs
lola: 2703409 markings, 16428260 edges, 12655 markings/sec, 200 secs
lola: 2765797 markings, 16855731 edges, 12478 markings/sec, 205 secs
lola: 2829644 markings, 17279923 edges, 12769 markings/sec, 210 secs
lola: 2895212 markings, 17716247 edges, 13114 markings/sec, 215 secs
lola: 2960801 markings, 18152610 edges, 13118 markings/sec, 220 secs
lola: 3022914 markings, 18579551 edges, 12423 markings/sec, 225 secs
lola: 3084421 markings, 19007402 edges, 12301 markings/sec, 230 secs
lola: 3147350 markings, 19441357 edges, 12586 markings/sec, 235 secs
lola: 3211923 markings, 19874037 edges, 12915 markings/sec, 240 secs
lola: 3276472 markings, 20313394 edges, 12910 markings/sec, 245 secs
lola: 3341805 markings, 20751823 edges, 13067 markings/sec, 250 secs
lola: 3406986 markings, 21194823 edges, 13036 markings/sec, 255 secs
lola: 3471920 markings, 21632991 edges, 12987 markings/sec, 260 secs
lola: 3536637 markings, 22071019 edges, 12943 markings/sec, 265 secs
lola: 3601166 markings, 22508416 edges, 12906 markings/sec, 270 secs
lola: 3664904 markings, 22937296 edges, 12748 markings/sec, 275 secs
lola: 3729236 markings, 23370703 edges, 12866 markings/sec, 280 secs
lola: 3793812 markings, 23803444 edges, 12915 markings/sec, 285 secs
lola: 3858145 markings, 24242388 edges, 12867 markings/sec, 290 secs
lola: 3922915 markings, 24677394 edges, 12954 markings/sec, 295 secs
lola: 3987989 markings, 25119545 edges, 13015 markings/sec, 300 secs
lola: 4051765 markings, 25552990 edges, 12755 markings/sec, 305 secs
lola: 4115215 markings, 25979899 edges, 12690 markings/sec, 310 secs
lola: 4180910 markings, 26411306 edges, 13139 markings/sec, 315 secs
lola: 4246018 markings, 26841170 edges, 13022 markings/sec, 320 secs
lola: 4308369 markings, 27267145 edges, 12470 markings/sec, 325 secs
lola: 4372219 markings, 27694154 edges, 12770 markings/sec, 330 secs
lola: 4437162 markings, 28125874 edges, 12989 markings/sec, 335 secs
lola: 4502313 markings, 28558881 edges, 13030 markings/sec, 340 secs
lola: 4565424 markings, 28989489 edges, 12622 markings/sec, 345 secs
lola: 4628547 markings, 29419189 edges, 12625 markings/sec, 350 secs
lola: 4692920 markings, 29847472 edges, 12875 markings/sec, 355 secs
lola: 4757880 markings, 30279986 edges, 12992 markings/sec, 360 secs
lola: 4823004 markings, 30715029 edges, 13025 markings/sec, 365 secs
lola: 4888286 markings, 31150355 edges, 13056 markings/sec, 370 secs
lola: 4953756 markings, 31585122 edges, 13094 markings/sec, 375 secs
lola: 5016178 markings, 32007771 edges, 12484 markings/sec, 380 secs
lola: 5076175 markings, 32424717 edges, 11999 markings/sec, 385 secs
lola: 5137389 markings, 32848370 edges, 12243 markings/sec, 390 secs
lola: 5197923 markings, 33269991 edges, 12107 markings/sec, 395 secs
lola: 5259349 markings, 33696222 edges, 12285 markings/sec, 400 secs
lola: 5322225 markings, 34119635 edges, 12575 markings/sec, 405 secs
lola: 5385875 markings, 34551989 edges, 12730 markings/sec, 410 secs
lola: 5449055 markings, 34987413 edges, 12636 markings/sec, 415 secs
lola: 5512934 markings, 35421299 edges, 12776 markings/sec, 420 secs
lola: 5576735 markings, 35851992 edges, 12760 markings/sec, 425 secs
lola: 5640429 markings, 36285326 edges, 12739 markings/sec, 430 secs
lola: 5704297 markings, 36721400 edges, 12774 markings/sec, 435 secs
lola: 5767902 markings, 37155256 edges, 12721 markings/sec, 440 secs
lola: 5831318 markings, 37583052 edges, 12683 markings/sec, 445 secs
lola: 5894361 markings, 38013689 edges, 12609 markings/sec, 450 secs
lola: 5958374 markings, 38449072 edges, 12803 markings/sec, 455 secs
lola: 6021923 markings, 38879926 edges, 12710 markings/sec, 460 secs
lola: 6084016 markings, 39299826 edges, 12419 markings/sec, 465 secs
lola: 6146358 markings, 39727968 edges, 12468 markings/sec, 470 secs
lola: 6210575 markings, 40163309 edges, 12843 markings/sec, 475 secs
lola: 6274400 markings, 40594811 edges, 12765 markings/sec, 480 secs
lola: 6338085 markings, 41025944 edges, 12737 markings/sec, 485 secs
lola: 6401441 markings, 41461072 edges, 12671 markings/sec, 490 secs
lola: 6466321 markings, 41901912 edges, 12976 markings/sec, 495 secs
lola: 6530100 markings, 42330609 edges, 12756 markings/sec, 500 secs
lola: 6593974 markings, 42764954 edges, 12775 markings/sec, 505 secs
lola: 6656842 markings, 43197980 edges, 12574 markings/sec, 510 secs
lola: 6722456 markings, 43643434 edges, 13123 markings/sec, 515 secs
lola: 6800618 markings, 44017206 edges, 15632 markings/sec, 520 secs
lola: 6884234 markings, 44342926 edges, 16723 markings/sec, 525 secs
lola: 6962632 markings, 44680205 edges, 15680 markings/sec, 530 secs
lola: 7035085 markings, 45038696 edges, 14491 markings/sec, 535 secs
lola: 7102083 markings, 45437879 edges, 13400 markings/sec, 540 secs
lola: 7111774 markings, 46075373 edges, 1938 markings/sec, 545 secs
lola: 7150158 markings, 46610836 edges, 7677 markings/sec, 550 secs
lola: 7213305 markings, 47045830 edges, 12629 markings/sec, 555 secs
lola: 7277702 markings, 47477034 edges, 12879 markings/sec, 560 secs
lola: 7341912 markings, 47908490 edges, 12842 markings/sec, 565 secs
lola: 7406070 markings, 48334331 edges, 12832 markings/sec, 570 secs
lola: 7470177 markings, 48763538 edges, 12821 markings/sec, 575 secs
lola: 7534751 markings, 49190034 edges, 12915 markings/sec, 580 secs
lola: 7598313 markings, 49618537 edges, 12712 markings/sec, 585 secs
lola: 7661835 markings, 50046605 edges, 12704 markings/sec, 590 secs
lola: 7725941 markings, 50475859 edges, 12821 markings/sec, 595 secs
lola: 7788837 markings, 50904858 edges, 12579 markings/sec, 600 secs
lola: 7853117 markings, 51331634 edges, 12856 markings/sec, 605 secs
lola: 7916715 markings, 51760682 edges, 12720 markings/sec, 610 secs
lola: 7980559 markings, 52190229 edges, 12769 markings/sec, 615 secs
lola: 8044617 markings, 52620842 edges, 12812 markings/sec, 620 secs
lola: 8108197 markings, 53051688 edges, 12716 markings/sec, 625 secs
lola: 8171817 markings, 53481408 edges, 12724 markings/sec, 630 secs
lola: 8208256 markings, 54007630 edges, 7288 markings/sec, 635 secs
lola: 8208286 markings, 54668271 edges, 6 markings/sec, 640 secs
lola: 8227951 markings, 55254575 edges, 3933 markings/sec, 645 secs
lola: 8324816 markings, 55515040 edges, 19373 markings/sec, 650 secs
lola: 8415863 markings, 55801205 edges, 18209 markings/sec, 655 secs
lola: 8506257 markings, 56084907 edges, 18079 markings/sec, 660 secs
lola: 8592134 markings, 56393246 edges, 17175 markings/sec, 665 secs
lola: 8676953 markings, 56709327 edges, 16964 markings/sec, 670 secs
lola: 8749691 markings, 57100338 edges, 14548 markings/sec, 675 secs
lola: 8815052 markings, 57528982 edges, 13072 markings/sec, 680 secs
lola: 8879938 markings, 57964356 edges, 12977 markings/sec, 685 secs
lola: 8944303 markings, 58392759 edges, 12873 markings/sec, 690 secs
lola: 9006980 markings, 58823807 edges, 12535 markings/sec, 695 secs
lola: 9072369 markings, 59255595 edges, 13078 markings/sec, 700 secs
lola: 9139204 markings, 59694471 edges, 13367 markings/sec, 705 secs
lola: 9202609 markings, 60119850 edges, 12681 markings/sec, 710 secs
lola: 9268286 markings, 60551501 edges, 13135 markings/sec, 715 secs
lola: 9331910 markings, 60982194 edges, 12725 markings/sec, 720 secs
lola: 9396064 markings, 61416233 edges, 12831 markings/sec, 725 secs
lola: 9461504 markings, 61853202 edges, 13088 markings/sec, 730 secs
lola: 9527572 markings, 62283241 edges, 13214 markings/sec, 735 secs
lola: 9587680 markings, 62707956 edges, 12022 markings/sec, 740 secs
lola: 9650501 markings, 63135001 edges, 12564 markings/sec, 745 secs
lola: 9715565 markings, 63561987 edges, 13013 markings/sec, 750 secs
lola: 9780960 markings, 63996570 edges, 13079 markings/sec, 755 secs
lola: 9845978 markings, 64426190 edges, 13004 markings/sec, 760 secs
lola: 9910007 markings, 64856891 edges, 12806 markings/sec, 765 secs
lola: 9972918 markings, 65292882 edges, 12582 markings/sec, 770 secs
lola: 10036584 markings, 65726459 edges, 12733 markings/sec, 775 secs
lola: 10101472 markings, 66153005 edges, 12978 markings/sec, 780 secs
lola: 10165279 markings, 66583773 edges, 12761 markings/sec, 785 secs
lola: 10229789 markings, 67018830 edges, 12902 markings/sec, 790 secs
lola: 10296928 markings, 67446662 edges, 13428 markings/sec, 795 secs
lola: 10357125 markings, 67871903 edges, 12039 markings/sec, 800 secs
lola: 10421445 markings, 68299155 edges, 12864 markings/sec, 805 secs
lola: 10484968 markings, 68726558 edges, 12705 markings/sec, 810 secs
lola: 10547129 markings, 69149403 edges, 12432 markings/sec, 815 secs
lola: 10610239 markings, 69577749 edges, 12622 markings/sec, 820 secs
lola: 10673763 markings, 69999045 edges, 12705 markings/sec, 825 secs
lola: 10735750 markings, 70420323 edges, 12397 markings/sec, 830 secs
lola: 10798984 markings, 70847621 edges, 12647 markings/sec, 835 secs
lola: 10860727 markings, 71269841 edges, 12349 markings/sec, 840 secs
lola: 10922326 markings, 71701005 edges, 12320 markings/sec, 845 secs
lola: 10985822 markings, 72128550 edges, 12699 markings/sec, 850 secs
lola: 11049717 markings, 72560040 edges, 12779 markings/sec, 855 secs
lola: 11113401 markings, 72987254 edges, 12737 markings/sec, 860 secs
lola: 11176802 markings, 73414957 edges, 12680 markings/sec, 865 secs
lola: 11241454 markings, 73848095 edges, 12930 markings/sec, 870 secs
lola: 11305847 markings, 74283081 edges, 12879 markings/sec, 875 secs
lola: 11370062 markings, 74702702 edges, 12843 markings/sec, 880 secs
lola: 11431027 markings, 75134715 edges, 12193 markings/sec, 885 secs
lola: 11492961 markings, 75569510 edges, 12387 markings/sec, 890 secs
lola: 11555187 markings, 76006631 edges, 12445 markings/sec, 895 secs
lola: 11616767 markings, 76424524 edges, 12316 markings/sec, 900 secs
lola: 11677447 markings, 76854969 edges, 12136 markings/sec, 905 secs
lola: 11739227 markings, 77282857 edges, 12356 markings/sec, 910 secs
lola: 11799246 markings, 77703905 edges, 12004 markings/sec, 915 secs
lola: 11859918 markings, 78124931 edges, 12134 markings/sec, 920 secs
lola: 11921224 markings, 78552108 edges, 12261 markings/sec, 925 secs
lola: 11982697 markings, 78979559 edges, 12295 markings/sec, 930 secs
lola: 12045985 markings, 79404016 edges, 12658 markings/sec, 935 secs
lola: 12109364 markings, 79823242 edges, 12676 markings/sec, 940 secs
lola: 12172339 markings, 80245797 edges, 12595 markings/sec, 945 secs
lola: 12234053 markings, 80667614 edges, 12343 markings/sec, 950 secs
lola: 12297905 markings, 81092435 edges, 12770 markings/sec, 955 secs
lola: 12361213 markings, 81515435 edges, 12662 markings/sec, 960 secs
lola: 12422414 markings, 81940279 edges, 12240 markings/sec, 965 secs
lola: 12485563 markings, 82365662 edges, 12630 markings/sec, 970 secs
lola: 12550244 markings, 82796960 edges, 12936 markings/sec, 975 secs
lola: 12614996 markings, 83228199 edges, 12950 markings/sec, 980 secs
lola: 12679993 markings, 83659694 edges, 12999 markings/sec, 985 secs
lola: 12744846 markings, 84088404 edges, 12971 markings/sec, 990 secs
lola: 12808833 markings, 84517286 edges, 12797 markings/sec, 995 secs
lola: 12871643 markings, 84945995 edges, 12562 markings/sec, 1000 secs
lola: 12936910 markings, 85379925 edges, 13053 markings/sec, 1005 secs
lola: 13001311 markings, 85810416 edges, 12880 markings/sec, 1010 secs
lola: 13063507 markings, 86242682 edges, 12439 markings/sec, 1015 secs
lola: 13127875 markings, 86675252 edges, 12874 markings/sec, 1020 secs
lola: 13194050 markings, 87116928 edges, 13235 markings/sec, 1025 secs
lola: 13259708 markings, 87553585 edges, 13132 markings/sec, 1030 secs
lola: 13325109 markings, 87987070 edges, 13080 markings/sec, 1035 secs
lola: 13389365 markings, 88413186 edges, 12851 markings/sec, 1040 secs
lola: 13452921 markings, 88838879 edges, 12711 markings/sec, 1045 secs
lola: 13515360 markings, 89264602 edges, 12488 markings/sec, 1050 secs
lola: 13579759 markings, 89693080 edges, 12880 markings/sec, 1055 secs
lola: 13643708 markings, 90121071 edges, 12790 markings/sec, 1060 secs
lola: 13705509 markings, 90550106 edges, 12360 markings/sec, 1065 secs
lola: 13769436 markings, 90979288 edges, 12785 markings/sec, 1070 secs
lola: 13834528 markings, 91413420 edges, 13018 markings/sec, 1075 secs
lola: 13899645 markings, 91847082 edges, 13023 markings/sec, 1080 secs
lola: 13971365 markings, 92250438 edges, 14344 markings/sec, 1085 secs
lola: 14063452 markings, 92536659 edges, 18417 markings/sec, 1090 secs
lola: 14150282 markings, 92838181 edges, 17366 markings/sec, 1095 secs
lola: 14232456 markings, 93158614 edges, 16435 markings/sec, 1100 secs
lola: 14302097 markings, 93538163 edges, 13928 markings/sec, 1105 secs
lola: 14315537 markings, 94162774 edges, 2688 markings/sec, 1110 secs
lola: 14326181 markings, 94809632 edges, 2129 markings/sec, 1115 secs
lola: 14388672 markings, 95234972 edges, 12498 markings/sec, 1120 secs
lola: 14450491 markings, 95656888 edges, 12364 markings/sec, 1125 secs
lola: 14514701 markings, 96085867 edges, 12842 markings/sec, 1130 secs
lola: 14578663 markings, 96515889 edges, 12792 markings/sec, 1135 secs
lola: 14643244 markings, 96947469 edges, 12916 markings/sec, 1140 secs
lola: 14707504 markings, 97380423 edges, 12852 markings/sec, 1145 secs
lola: 14771494 markings, 97807346 edges, 12798 markings/sec, 1150 secs
lola: 14835167 markings, 98235030 edges, 12735 markings/sec, 1155 secs
lola: 14898778 markings, 98660414 edges, 12722 markings/sec, 1160 secs
lola: 14961907 markings, 99080574 edges, 12626 markings/sec, 1165 secs
lola: 15024976 markings, 99504799 edges, 12614 markings/sec, 1170 secs
lola: 15088014 markings, 99927140 edges, 12608 markings/sec, 1175 secs
lola: 15151181 markings, 100350010 edges, 12633 markings/sec, 1180 secs
lola: 15214539 markings, 100771887 edges, 12672 markings/sec, 1185 secs
lola: 15277427 markings, 101197130 edges, 12578 markings/sec, 1190 secs
lola: 15340245 markings, 101621651 edges, 12564 markings/sec, 1195 secs
lola: 15403287 markings, 102046082 edges, 12608 markings/sec, 1200 secs
lola: 15466657 markings, 102472378 edges, 12674 markings/sec, 1205 secs
lola: 15529423 markings, 102896844 edges, 12553 markings/sec, 1210 secs
lola: 15550449 markings, 103462191 edges, 4205 markings/sec, 1215 secs
lola: 15550471 markings, 104103745 edges, 4 markings/sec, 1220 secs
lola: 15563887 markings, 104703827 edges, 2683 markings/sec, 1225 secs
lola: 15627820 markings, 105130167 edges, 12787 markings/sec, 1230 secs
lola: 15689570 markings, 105554177 edges, 12350 markings/sec, 1235 secs
lola: 15753208 markings, 105979615 edges, 12728 markings/sec, 1240 secs
lola: 15816622 markings, 106404931 edges, 12683 markings/sec, 1245 secs
lola: 15906043 markings, 106703489 edges, 17884 markings/sec, 1250 secs
lola: 15999786 markings, 106975806 edges, 18749 markings/sec, 1255 secs
lola: 16089492 markings, 107263599 edges, 17941 markings/sec, 1260 secs
lola: 16177312 markings, 107558900 edges, 17564 markings/sec, 1265 secs
lola: 16260001 markings, 107883161 edges, 16538 markings/sec, 1270 secs
lola: 16344823 markings, 108190853 edges, 16964 markings/sec, 1275 secs
lola: 16414134 markings, 108578189 edges, 13862 markings/sec, 1280 secs
lola: 16478396 markings, 109004148 edges, 12852 markings/sec, 1285 secs
lola: 16541827 markings, 109431952 edges, 12686 markings/sec, 1290 secs
lola: 16603844 markings, 109854611 edges, 12403 markings/sec, 1295 secs
lola: 16667479 markings, 110277859 edges, 12727 markings/sec, 1300 secs
lola: 16732966 markings, 110702710 edges, 13097 markings/sec, 1305 secs
lola: 16794616 markings, 111120452 edges, 12330 markings/sec, 1310 secs
lola: 16856075 markings, 111534758 edges, 12292 markings/sec, 1315 secs
lola: 16920189 markings, 111956692 edges, 12823 markings/sec, 1320 secs
lola: 16982534 markings, 112376807 edges, 12469 markings/sec, 1325 secs
lola: 17046717 markings, 112800921 edges, 12837 markings/sec, 1330 secs
lola: 17110014 markings, 113222606 edges, 12659 markings/sec, 1335 secs
lola: 17173241 markings, 113644713 edges, 12645 markings/sec, 1340 secs
lola: 17235307 markings, 114059933 edges, 12413 markings/sec, 1345 secs
lola: 17298434 markings, 114477263 edges, 12625 markings/sec, 1350 secs
lola: 17359932 markings, 114893201 edges, 12300 markings/sec, 1355 secs
lola: 17422812 markings, 115312530 edges, 12576 markings/sec, 1360 secs
lola: 17485633 markings, 115730637 edges, 12564 markings/sec, 1365 secs
lola: 17547018 markings, 116150422 edges, 12277 markings/sec, 1370 secs
lola: 17609912 markings, 116570825 edges, 12579 markings/sec, 1375 secs
lola: 17673698 markings, 116994136 edges, 12757 markings/sec, 1380 secs
lola: 17737553 markings, 117419441 edges, 12771 markings/sec, 1385 secs
lola: 17801048 markings, 117842869 edges, 12699 markings/sec, 1390 secs
lola: 17864546 markings, 118261045 edges, 12700 markings/sec, 1395 secs
lola: 17925970 markings, 118679077 edges, 12285 markings/sec, 1400 secs
lola: 17988283 markings, 119093729 edges, 12463 markings/sec, 1405 secs
lola: 18049768 markings, 119511394 edges, 12297 markings/sec, 1410 secs
lola: 18112521 markings, 119927955 edges, 12551 markings/sec, 1415 secs
lola: 18175519 markings, 120348308 edges, 12600 markings/sec, 1420 secs
lola: 18236845 markings, 120763233 edges, 12265 markings/sec, 1425 secs
lola: 18298263 markings, 121180925 edges, 12284 markings/sec, 1430 secs
lola: 18360884 markings, 121598281 edges, 12524 markings/sec, 1435 secs
lola: 18424534 markings, 122020147 edges, 12730 markings/sec, 1440 secs
lola: 18488426 markings, 122445637 edges, 12778 markings/sec, 1445 secs
lola: 18551729 markings, 122867545 edges, 12661 markings/sec, 1450 secs
lola: 18615910 markings, 123295020 edges, 12836 markings/sec, 1455 secs
lola: 18677086 markings, 123712887 edges, 12235 markings/sec, 1460 secs
lola: 18735411 markings, 124124291 edges, 11665 markings/sec, 1465 secs
lola: 18794270 markings, 124535367 edges, 11772 markings/sec, 1470 secs
lola: 18853729 markings, 124949751 edges, 11892 markings/sec, 1475 secs
lola: 18912912 markings, 125361575 edges, 11837 markings/sec, 1480 secs
lola: 18971587 markings, 125772687 edges, 11735 markings/sec, 1485 secs
lola: 19030530 markings, 126183708 edges, 11789 markings/sec, 1490 secs
lola: 19091392 markings, 126605540 edges, 12172 markings/sec, 1495 secs
lola: 19152399 markings, 127031262 edges, 12201 markings/sec, 1500 secs
lola: 19213357 markings, 127455061 edges, 12192 markings/sec, 1505 secs
lola: 19277343 markings, 127880368 edges, 12797 markings/sec, 1510 secs
lola: 19339941 markings, 128303357 edges, 12520 markings/sec, 1515 secs
lola: 19403159 markings, 128728985 edges, 12644 markings/sec, 1520 secs
lola: 19466404 markings, 129155155 edges, 12649 markings/sec, 1525 secs
lola: 19530263 markings, 129583363 edges, 12772 markings/sec, 1530 secs
lola: 19590999 markings, 130009157 edges, 12147 markings/sec, 1535 secs
lola: 19653907 markings, 130432827 edges, 12582 markings/sec, 1540 secs
lola: 19718717 markings, 130867947 edges, 12962 markings/sec, 1545 secs
lola: 19783288 markings, 131301376 edges, 12914 markings/sec, 1550 secs
lola: 19849332 markings, 131733446 edges, 13209 markings/sec, 1555 secs
lola: 19912456 markings, 132161404 edges, 12625 markings/sec, 1560 secs
lola: 19975242 markings, 132587651 edges, 12557 markings/sec, 1565 secs
lola: 20039123 markings, 133015992 edges, 12776 markings/sec, 1570 secs
lola: 20103615 markings, 133451783 edges, 12898 markings/sec, 1575 secs
lola: 20166129 markings, 133885382 edges, 12503 markings/sec, 1580 secs
lola: 20230320 markings, 134316359 edges, 12838 markings/sec, 1585 secs
lola: 20295093 markings, 134751102 edges, 12955 markings/sec, 1590 secs
lola: 20359699 markings, 135184045 edges, 12921 markings/sec, 1595 secs
lola: 20424434 markings, 135613417 edges, 12947 markings/sec, 1600 secs
lola: 20488347 markings, 136042226 edges, 12783 markings/sec, 1605 secs
lola: 20551356 markings, 136472506 edges, 12602 markings/sec, 1610 secs
lola: 20616381 markings, 136905247 edges, 13005 markings/sec, 1615 secs
lola: 20679297 markings, 137336370 edges, 12583 markings/sec, 1620 secs
lola: 20742186 markings, 137768115 edges, 12578 markings/sec, 1625 secs
lola: 20807219 markings, 138204679 edges, 13007 markings/sec, 1630 secs
lola: 20872618 markings, 138643538 edges, 13080 markings/sec, 1635 secs
lola: 20936554 markings, 139071783 edges, 12787 markings/sec, 1640 secs
lola: 21000209 markings, 139491300 edges, 12731 markings/sec, 1645 secs
lola: 21062746 markings, 139912575 edges, 12507 markings/sec, 1650 secs
lola: 21124205 markings, 140333358 edges, 12292 markings/sec, 1655 secs
lola: 21188018 markings, 140758458 edges, 12763 markings/sec, 1660 secs
lola: 21249349 markings, 141180785 edges, 12266 markings/sec, 1665 secs
lola: 21311066 markings, 141603527 edges, 12343 markings/sec, 1670 secs
lola: 21374822 markings, 142031790 edges, 12751 markings/sec, 1675 secs
lola: 21439112 markings, 142462868 edges, 12858 markings/sec, 1680 secs
lola: 21503516 markings, 142892403 edges, 12881 markings/sec, 1685 secs
lola: 21567614 markings, 143317771 edges, 12820 markings/sec, 1690 secs
lola: 21631261 markings, 143744934 edges, 12729 markings/sec, 1695 secs
lola: 21693775 markings, 144171596 edges, 12503 markings/sec, 1700 secs
lola: 21758355 markings, 144602451 edges, 12916 markings/sec, 1705 secs
lola: 21820098 markings, 145030437 edges, 12349 markings/sec, 1710 secs
lola: 21883526 markings, 145461243 edges, 12686 markings/sec, 1715 secs
lola: 21948319 markings, 145896749 edges, 12959 markings/sec, 1720 secs
lola: 22013217 markings, 146332347 edges, 12980 markings/sec, 1725 secs
lola: 22078179 markings, 146762168 edges, 12992 markings/sec, 1730 secs
lola: 22141073 markings, 147183739 edges, 12579 markings/sec, 1735 secs
lola: 22204181 markings, 147606558 edges, 12622 markings/sec, 1740 secs
lola: 22265854 markings, 148028845 edges, 12335 markings/sec, 1745 secs
lola: 22329765 markings, 148454703 edges, 12782 markings/sec, 1750 secs
lola: 22390630 markings, 148877887 edges, 12173 markings/sec, 1755 secs
lola: 22453064 markings, 149302522 edges, 12487 markings/sec, 1760 secs
lola: 22517248 markings, 149732893 edges, 12837 markings/sec, 1765 secs
lola: 22581594 markings, 150164287 edges, 12869 markings/sec, 1770 secs
lola: 22654466 markings, 150557668 edges, 14574 markings/sec, 1775 secs
lola: 22737918 markings, 150877261 edges, 16690 markings/sec, 1780 secs
lola: 22816063 markings, 151205835 edges, 15629 markings/sec, 1785 secs
lola: 22889278 markings, 151547891 edges, 14643 markings/sec, 1790 secs
lola: 22956630 markings, 151926974 edges, 13470 markings/sec, 1795 secs
lola: 22985350 markings, 152478205 edges, 5744 markings/sec, 1800 secs
lola: 23001836 markings, 153090407 edges, 3297 markings/sec, 1805 secs
lola: 23064685 markings, 153513055 edges, 12570 markings/sec, 1810 secs
lola: 23127898 markings, 153937352 edges, 12643 markings/sec, 1815 secs
lola: 23191427 markings, 154362152 edges, 12706 markings/sec, 1820 secs
lola: 23255152 markings, 154780691 edges, 12745 markings/sec, 1825 secs
lola: 23317745 markings, 155207442 edges, 12519 markings/sec, 1830 secs
lola: 23381532 markings, 155633575 edges, 12757 markings/sec, 1835 secs
lola: 23445105 markings, 156049586 edges, 12715 markings/sec, 1840 secs
lola: 23507180 markings, 156476297 edges, 12415 markings/sec, 1845 secs
lola: 23570379 markings, 156898761 edges, 12640 markings/sec, 1850 secs
lola: 23632786 markings, 157319420 edges, 12481 markings/sec, 1855 secs
lola: 23695885 markings, 157739975 edges, 12620 markings/sec, 1860 secs
lola: 23758996 markings, 158164101 edges, 12622 markings/sec, 1865 secs
lola: 23821678 markings, 158587724 edges, 12536 markings/sec, 1870 secs
lola: 23884517 markings, 159009190 edges, 12568 markings/sec, 1875 secs
lola: 23947486 markings, 159435384 edges, 12594 markings/sec, 1880 secs
lola: 24010189 markings, 159859878 edges, 12541 markings/sec, 1885 secs
lola: 24042827 markings, 160384060 edges, 6528 markings/sec, 1890 secs
lola: 24042876 markings, 161024649 edges, 10 markings/sec, 1895 secs
lola: 24042876 markings, 161670775 edges, 0 markings/sec, 1900 secs
lola: 24129840 markings, 161961775 edges, 17393 markings/sec, 1905 secs
lola: 24221331 markings, 162232751 edges, 18298 markings/sec, 1910 secs
lola: 24310129 markings, 162514056 edges, 17760 markings/sec, 1915 secs
lola: 24394252 markings, 162821313 edges, 16825 markings/sec, 1920 secs
lola: 24475270 markings, 163142077 edges, 16204 markings/sec, 1925 secs
lola: 24549962 markings, 163486808 edges, 14938 markings/sec, 1930 secs
lola: 24610864 markings, 163894850 edges, 12180 markings/sec, 1935 secs
lola: 24672814 markings, 164307959 edges, 12390 markings/sec, 1940 secs
lola: 24734378 markings, 164722351 edges, 12313 markings/sec, 1945 secs
lola: 24796779 markings, 165138483 edges, 12480 markings/sec, 1950 secs
lola: 24861946 markings, 165564269 edges, 13033 markings/sec, 1955 secs
lola: 24926623 markings, 165988041 edges, 12935 markings/sec, 1960 secs
lola: 24990881 markings, 166408998 edges, 12852 markings/sec, 1965 secs
lola: 25055814 markings, 166836900 edges, 12987 markings/sec, 1970 secs
lola: 25117086 markings, 167248018 edges, 12254 markings/sec, 1975 secs
lola: 25179463 markings, 167664720 edges, 12475 markings/sec, 1980 secs
lola: 25242003 markings, 168082042 edges, 12508 markings/sec, 1985 secs
lola: 25305533 markings, 168509974 edges, 12706 markings/sec, 1990 secs
lola: 25369107 markings, 168935076 edges, 12715 markings/sec, 1995 secs
lola: 25430849 markings, 169349227 edges, 12348 markings/sec, 2000 secs
lola: 25494042 markings, 169766930 edges, 12639 markings/sec, 2005 secs
lola: 25555904 markings, 170183457 edges, 12372 markings/sec, 2010 secs
lola: 25618797 markings, 170608942 edges, 12579 markings/sec, 2015 secs
lola: 25683806 markings, 171045012 edges, 13002 markings/sec, 2020 secs
lola: 25747991 markings, 171474591 edges, 12837 markings/sec, 2025 secs
lola: 25811922 markings, 171902365 edges, 12786 markings/sec, 2030 secs
lola: 25871882 markings, 172321407 edges, 11992 markings/sec, 2035 secs
lola: 25934039 markings, 172757112 edges, 12431 markings/sec, 2040 secs
lola: 25995314 markings, 173183658 edges, 12255 markings/sec, 2045 secs
lola: 26056880 markings, 173613136 edges, 12313 markings/sec, 2050 secs
lola: 26119101 markings, 174044344 edges, 12444 markings/sec, 2055 secs
lola: 26182334 markings, 174469041 edges, 12647 markings/sec, 2060 secs
lola: 26245727 markings, 174891022 edges, 12679 markings/sec, 2065 secs
lola: 26308232 markings, 175313377 edges, 12501 markings/sec, 2070 secs
lola: 26373285 markings, 175746327 edges, 13011 markings/sec, 2075 secs
lola: 26438877 markings, 176182892 edges, 13118 markings/sec, 2080 secs
lola: 26504350 markings, 176614001 edges, 13095 markings/sec, 2085 secs
lola: 26568297 markings, 177038980 edges, 12789 markings/sec, 2090 secs
lola: 26630857 markings, 177461759 edges, 12512 markings/sec, 2095 secs
lola: 26696106 markings, 177895643 edges, 13050 markings/sec, 2100 secs
lola: 26761277 markings, 178329867 edges, 13034 markings/sec, 2105 secs
lola: 26826085 markings, 178756978 edges, 12962 markings/sec, 2110 secs
lola: 26889512 markings, 179178267 edges, 12685 markings/sec, 2115 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown 7 7 7 7 7 6 6 7 unknown 7 7 7 unknown 7 unknown
lola: lola: caught signal User defined signal 1 - aborting LoLA
preliminary result: unknown 7 7 7 7 7 6 6 7 unknown 7 7 7 unknown 7 unknown
lola:
preliminary result: unknown 7 7 7 7 7 6 6 7 unknown 7 7 7 unknown 7 unknown
lola: memory consumption: 2853660 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown 7 7 7 7 7 6 6 7 unknown 7 7 7 unknown 7 unknown
lola: memory consumption: 2853660 KB
lola: time consumption: 3570 seconds
BK_STOP 1553044717671
--------------------
content from stderr:
grep: GenericPropertiesVerdict.xml: No such file or directory
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="Peterson-COL-6"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="win2018"
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-3954"
echo " Executing tool win2018"
echo " Input is Peterson-COL-6, 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 r110-oct2-155272242400169"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Peterson-COL-6.tgz
mv Peterson-COL-6 execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; 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 [ "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 ;