About the Execution of LoLA for PolyORBLF-COL-S06J04T04
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 12002.410 | 3540142.00 | 6193162.00 | 9989.40 | T??TTFT?T?FTTFF? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
............
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is PolyORBLF-COL-S06J04T04, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r048-smll-149440869900378
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME PolyORBLF-COL-S06J04T04-ReachabilityFireability-0
FORMULA_NAME PolyORBLF-COL-S06J04T04-ReachabilityFireability-1
FORMULA_NAME PolyORBLF-COL-S06J04T04-ReachabilityFireability-10
FORMULA_NAME PolyORBLF-COL-S06J04T04-ReachabilityFireability-11
FORMULA_NAME PolyORBLF-COL-S06J04T04-ReachabilityFireability-12
FORMULA_NAME PolyORBLF-COL-S06J04T04-ReachabilityFireability-13
FORMULA_NAME PolyORBLF-COL-S06J04T04-ReachabilityFireability-14
FORMULA_NAME PolyORBLF-COL-S06J04T04-ReachabilityFireability-15
FORMULA_NAME PolyORBLF-COL-S06J04T04-ReachabilityFireability-2
FORMULA_NAME PolyORBLF-COL-S06J04T04-ReachabilityFireability-3
FORMULA_NAME PolyORBLF-COL-S06J04T04-ReachabilityFireability-4
FORMULA_NAME PolyORBLF-COL-S06J04T04-ReachabilityFireability-5
FORMULA_NAME PolyORBLF-COL-S06J04T04-ReachabilityFireability-6
FORMULA_NAME PolyORBLF-COL-S06J04T04-ReachabilityFireability-7
FORMULA_NAME PolyORBLF-COL-S06J04T04-ReachabilityFireability-8
FORMULA_NAME PolyORBLF-COL-S06J04T04-ReachabilityFireability-9
=== Now, execution of the tool begins
BK_START 1494653515798
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
ReachabilityFireability @ PolyORBLF-COL-S06J04T04 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 7448/65536 symbol table entries, 2235 collisions
lola: preprocessing...
lola: finding significant places
lola: 454 places, 6994 transitions, 404 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1823 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S06J04T04-ReachabilityFireability.task
lola: E (F ((FIREABLE(t6531) OR FIREABLE(t6530) OR FIREABLE(t6529) OR FIREABLE(t6528) OR ((FIREABLE(t5583) OR FIREABLE(t5582) OR FIREABLE(t5581) OR FIREABLE(t5580)) AND (FIREABLE(t5611) OR FIREABLE(t5610) OR FIREABLE(t5609) OR FIREABLE(t5608)))))) : E (F (((FIREABLE(t6969) OR FIREABLE(t6968) OR FIREABLE(t6967) OR FIREABLE(t6966) OR FIREABLE(t6965) OR FIREABLE(t6964) OR FIREABLE(t6963) OR FIREABLE(t6962) OR FIREABLE(t6961) OR FIREABLE(t6960) OR FIREABLE(t6959) OR FIREABLE(t6958) OR FIREABLE(t6957) OR FIREABLE(t6956) OR FIREABLE(t6955) OR FIREABLE(t6954) OR FIREABLE(t6953) OR FIREABLE(t6952) OR FIREABLE(t6951) OR FIREABLE(t6950) OR FIREABLE(t6949) OR FIREABLE(t6948) OR FIREABLE(t6947) OR FIREABLE(t6946)) AND (FIREABLE(t5583) OR FIREABLE(t5582) OR FIREABLE(t5581) OR FIREABLE(t5580)) AND (FIREABLE(t6805) OR FIREABLE(t6804) OR FIREABLE(t6803) OR FIREABLE(t6802) OR FIREABLE(t6801) OR FIREABLE(t6800) OR FIREABLE(t6799) OR FIREABLE(t6798) OR FIREABLE(t6797) OR FIREABLE(t6796) OR FIREABLE(t6795) OR FIREABLE(t6794) OR FIREABLE(t6793) OR FIREABLE(t6792) OR FIREABLE(t6791) OR FIREABLE(t6790) OR FIREABLE(t6789) OR FIREABLE(t6788) OR FIREABLE(t6787) OR FIREABLE(t6786) OR ((FIREABLE(t6865) OR FIREABLE(t6864) OR FIREABLE(t6863) OR FIREABLE(t6862)) AND (FIREABLE(t6595) OR FIREABLE(t6594) OR FIREABLE(t6593) OR FIREABLE(t6592)) AND (FIREABLE(t6729) OR FIREABLE(t6728) OR FIREABLE(t6727) OR FIREABLE(t6726) OR FIREABLE(t6725) OR FIREABLE(t6724) OR FIREABLE(t6723) OR FIREABLE(t6722) OR FIREABLE(t6721) OR FIREABLE(t6720) OR FIREABLE(t6719) OR FIREABLE(t6718) OR FIREABLE(t6717) OR FIREABLE(t6716) OR FIREABLE(t6715) OR FIREABLE(t6714) OR FIREABLE(t6713) OR FIREABLE(t6712) OR FIREABLE(t6711) OR FIREABLE(t6710) OR FIREABLE(t6709) OR FIREABLE(t6708) OR FIREABLE(t6707) OR FIREABLE(t6706) OR FIREABLE(t6705) OR FIREABLE(t6704) OR FIREABLE(t6703) OR FIREABLE(t6702) OR FIREABLE(t6701) OR FIREABLE(t6700) OR FIREABLE(t6699) OR FIREABLE(t6698) OR FIREABLE(t6697) OR FIREABLE(t6696) OR FIREABLE(t6695) OR FIREABLE(t6694) OR FIREABLE(t6693) OR FIREABLE(t6692) OR FIREABLE(t6691) OR FIREABLE(t6690) OR FIREABLE(t6689) OR FIREABLE(t6688) OR FIREABLE(t6687) OR FIREABLE(t6686) OR FIREABLE(t6685) OR FIREABLE(t6684) OR FIREABLE(t6683) OR FIREABLE(t6682) OR FIREABLE(t6681) OR FIREABLE(t6680) OR FIREABLE(t6679) OR FIREABLE(t6678) OR FIREABLE(t6677) OR FIREABLE(t6676) OR FIREABLE(t6675) OR FIREABLE(t6674) OR FIREABLE(t6673) OR FIREABLE(t6672) OR FIREABLE(t6671) OR FIREABLE(t6670) OR FIREABLE(t6669) OR FIREABLE(t6668) OR FIREABLE(t6667) OR FIREABLE(t6666) OR FIREABLE(t6665) OR FIREABLE(t6664) OR FIREABLE(t6663) OR FIREABLE(t6662) OR FIREABLE(t6661) OR FIREABLE(t6660) OR FIREABLE(t6659) OR FIREABLE(t6658) OR FIREABLE(t6657) OR FIREABLE(t6656) OR FIREABLE(t6655) OR FIREABLE(t6654) OR FIREABLE(t6653) OR FIREABLE(t6652) OR FIREABLE(t6651) OR FIREABLE(t6650) OR FIREABLE(t6649) OR FIREABLE(t6648) OR FIREABLE(t6647) OR FIREABLE(t6646) OR FIREABLE(t6645) OR FIREABLE(t6644) OR FIREABLE(t6643) OR FIREABLE(t6642) OR FIREABLE(t6641) OR FIREABLE(t6640) OR FIREABLE(t6639) OR FIREABLE(t6638) OR FIREABLE(t6637) OR FIREABLE(t6636) OR FIREABLE(t6635) OR FIREABLE(t6634) OR FIREABLE(t6633) OR FIREABLE(t6632) OR FIREABLE(t6631) OR FIREABLE(t6630) OR FIREABLE(t6629) OR FIREABLE(t6628) OR FIREABLE(t6627) OR FIREABLE(t6626) OR FIREABLE(t6625) OR FIREABLE(t6624) OR FIREABLE(t6623) OR FIREABLE(t6622) OR FIREABLE(t6621) OR FIREABLE(t6620) OR FIREABLE(t6619) OR FIREABLE(t6618) OR FIREABLE(t6617) OR FIREABLE(t6616) OR FIREABLE(t6615) OR FIREABLE(t6614) OR FIREABLE(t6613) OR FIREABLE(t6612) OR FIREABLE(t6611) OR FIREABLE(t6610))))))) : E (F ((FIREABLE(t5659) OR FIREABLE(t5658) OR FIREABLE(t5657) OR FIREABLE(t5656) OR FIREABLE(t5655) OR FIREABLE(t5654) OR FIREABLE(t5653) OR FIREABLE(t5652) OR FIREABLE(t5651) OR FIREABLE(t5650) OR FIREABLE(t5649) OR FIREABLE(t5648) OR FIREABLE(t5647) OR FIREABLE(t5646) OR FIREABLE(t5645) OR FIREABLE(t5644) OR FIREABLE(t5643) OR FIREABLE(t5642) OR FIREABLE(t5641) OR FIREABLE(t5640) OR FIREABLE(t5639) OR FIREABLE(t5638) OR FIREABLE(t5637) OR FIREABLE(t5636)))) : E (F (((FIREABLE(t6527) OR FIREABLE(t6526) OR FIREABLE(t6525) OR FIREABLE(t6524)) AND (FIREABLE(t6973) OR FIREABLE(t6972) OR FIREABLE(t6971) OR FIREABLE(t6970)) AND (FIREABLE(t6567) OR FIREABLE(t6566) OR FIREABLE(t6565) OR FIREABLE(t6564) OR FIREABLE(t5551) OR FIREABLE(t5550) OR FIREABLE(t5549) OR FIREABLE(t5548) OR (NOT FIREABLE(t6861) AND NOT FIREABLE(t6860) AND NOT FIREABLE(t6859) AND NOT FIREABLE(t6858) AND NOT FIREABLE(t6857) AND NOT FIREABLE(t6856) AND NOT FIREABLE(t6855) AND NOT FIREABLE(t6854) AND NOT FIREABLE(t6853) AND NOT FIREABLE(t6852) AND NOT FIREABLE(t6851) AND NOT FIREABLE(t6850) AND NOT FIREABLE(t6849) AND NOT FIREABLE(t6848) AND NOT FIREABLE(t6847) AND NOT FIREABLE(t6846) AND NOT FIREABLE(t6845) AND NOT FIREABLE(t6844) AND NOT FIREABLE(t6843) AND NOT FIREABLE(t6842) AND NOT FIREABLE(t6841) AND NOT FIREABLE(t6840) AND NOT FIREABLE(t6839) AND NOT FIREABLE(t6838))) AND ((NOT FIREABLE(t6601) AND NOT FIREABLE(t6600) AND NOT FIREABLE(t6599) AND NOT FIREABLE(t6598) AND NOT FIREABLE(t6597) AND NOT FIREABLE(t6596)) OR ((FIREABLE(t6945) OR FIREABLE(t6944) OR FIREABLE(t6943) OR FIREABLE(t6942) OR FIREABLE(t6941) OR FIREABLE(t6940) OR FIREABLE(t6939) OR FIREABLE(t6938) OR FIREABLE(t6937) OR FIREABLE(t6936) OR FIREABLE(t6935) OR FIREABLE(t6934) OR FIREABLE(t6933) OR FIREABLE(t6932) OR FIREABLE(t6931) OR FIREABLE(t6930) OR FIREABLE(t6929) OR FIREABLE(t6928) OR FIREABLE(t6927) OR FIREABLE(t6926) OR FIREABLE(t6925) OR FIREABLE(t6924) OR FIREABLE(t6923) OR FIREABLE(t6922)) AND (FIREABLE(t5547) OR FIREABLE(t5546) OR FIREABLE(t5545) OR FIREABLE(t5544))))))) : A (G ((NOT FIREABLE(t6869) AND NOT FIREABLE(t6868) AND NOT FIREABLE(t6867) AND NOT FIREABLE(t6866) AND NOT FIREABLE(t5583) AND NOT FIREABLE(t5582) AND NOT FIREABLE(t5581) AND NOT FIREABLE(t5580)))) : E (F ((FIREABLE(t6761) OR FIREABLE(t6760) OR FIREABLE(t6759) OR FIREABLE(t6758) OR FIREABLE(t6757) OR FIREABLE(t6756) OR FIREABLE(t6755) OR FIREABLE(t6754) OR FIREABLE(t6753) OR FIREABLE(t6752) OR FIREABLE(t6751) OR FIREABLE(t6750) OR FIREABLE(t6749) OR FIREABLE(t6748) OR FIREABLE(t6747) OR FIREABLE(t6746) OR FIREABLE(t6745) OR FIREABLE(t6744) OR FIREABLE(t6743) OR FIREABLE(t6742) OR FIREABLE(t6741) OR FIREABLE(t6740) OR FIREABLE(t6739) OR FIREABLE(t6738)))) : E (F ((((FIREABLE(t6595) OR FIREABLE(t6594) OR FIREABLE(t6593) OR FIREABLE(t6592)) AND (FIREABLE(t6829) OR FIREABLE(t6828) OR FIREABLE(t6827) OR FIREABLE(t6826) OR FIREABLE(t6825) OR FIREABLE(t6824) OR FIREABLE(t6823) OR FIREABLE(t6822) OR FIREABLE(t6821) OR FIREABLE(t6820) OR FIREABLE(t6819) OR FIREABLE(t6818) OR FIREABLE(t6817) OR FIREABLE(t6816) OR FIREABLE(t6815) OR FIREABLE(t6814) OR FIREABLE(t6813) OR FIREABLE(t6812) OR FIREABLE(t6811) OR FIREABLE(t6810)) AND (FIREABLE(t5611) OR FIREABLE(t5610) OR FIREABLE(t5609) OR FIREABLE(t5608)) AND (FIREABLE(t6733) OR FIREABLE(t6732) OR FIREABLE(t6731) OR FIREABLE(t6730)) AND ((NOT FIREABLE(t6737) AND NOT FIREABLE(t6736) AND NOT FIREABLE(t6735) AND NOT FIREABLE(t6734)) OR (NOT FIREABLE(t6921) AND NOT FIREABLE(t6920) AND NOT FIREABLE(t6919) AND NOT FIREABLE(t6918) AND NOT FIREABLE(t6917) AND NOT FIREABLE(t6916) AND NOT FIREABLE(t6915) AND NOT FIREABLE(t6914) AND NOT FIREABLE(t6913) AND NOT FIREABLE(t6912) AND NOT FIREABLE(t6911) AND NOT FIREABLE(t6910) AND NOT FIREABLE(t6909) AND NOT FIREABLE(t6908) AND NOT FIREABLE(t6907) AND NOT FIREABLE(t6906) AND NOT FIREABLE(t6905) AND NOT FIREABLE(t6904) AND NOT FIREABLE(t6903) AND NOT FIREABLE(t6902) AND NOT FIREABLE(t6901) AND NOT FIREABLE(t6900) AND NOT FIREABLE(t6899) AND NOT FIREABLE(t6898)))) OR ((FIREABLE(t5351) OR FIREABLE(t5350) OR FIREABLE(t5349) OR FIREABLE(t5348) OR (NOT FIREABLE(t6729) AND NOT FIREABLE(t6728) AND NOT FIREABLE(t6727) AND NOT FIREABLE(t6726) AND NOT FIREABLE(t6725) AND NOT FIREABLE(t6724) AND NOT FIREABLE(t6723) AND NOT FIREABLE(t6722) AND NOT FIREABLE(t6721) AND NOT FIREABLE(t6720) AND NOT FIREABLE(t6719) AND NOT FIREABLE(t6718) AND NOT FIREABLE(t6717) AND NOT FIREABLE(t6716) AND NOT FIREABLE(t6715) AND NOT FIREABLE(t6714) AND NOT FIREABLE(t6713) AND NOT FIREABLE(t6712) AND NOT FIREABLE(t6711) AND NOT FIREABLE(t6710) AND NOT FIREABLE(t6709) AND NOT FIREABLE(t6708) AND NOT FIREABLE(t6707) AND NOT FIREABLE(t6706) AND NOT FIREABLE(t6705) AND NOT FIREABLE(t6704) AND NOT FIREABLE(t6703) AND NOT FIREABLE(t6702) AND NOT FIREABLE(t6701) AND NOT FIREABLE(t6700) AND NOT FIREABLE(t6699) AND NOT FIREABLE(t6698) AND NOT FIREABLE(t6697) AND NOT FIREABLE(t6696) AND NOT FIREABLE(t6695) AND NOT FIREABLE(t6694) AND NOT FIREABLE(t6693) AND NOT FIREABLE(t6692) AND NOT FIREABLE(t6691) AND NOT FIREABLE(t6690) AND NOT FIREABLE(t6689) AND NOT FIREABLE(t6688) AND NOT FIREABLE(t6687) AND NOT FIREABLE(t6686) AND NOT FIREABLE(t6685) AND NOT FIREABLE(t6684) AND NOT FIREABLE(t6683) AND NOT FIREABLE(t6682) AND NOT FIREABLE(t6681) AND NOT FIREABLE(t6680) AND NOT FIREABLE(t6679) AND NOT FIREABLE(t6678) AND NOT FIREABLE(t6677) AND NOT FIREABLE(t6676) AND NOT FIREABLE(t6675) AND NOT FIREABLE(t6674) AND NOT FIREABLE(t6673) AND NOT FIREABLE(t6672) AND NOT FIREABLE(t6671) AND NOT FIREABLE(t6670) AND NOT FIREABLE(t6669) AND NOT FIREABLE(t6668) AND NOT FIREABLE(t6667) AND NOT FIREABLE(t6666) AND NOT FIREABLE(t6665) AND NOT FIREABLE(t6664) AND NOT FIREABLE(t6663) AND NOT FIREABLE(t6662) AND NOT FIREABLE(t6661) AND NOT FIREABLE(t6660) AND NOT FIREABLE(t6659) AND NOT FIREABLE(t6658) AND NOT FIREABLE(t6657) AND NOT FIREABLE(t6656) AND NOT FIREABLE(t6655) AND NOT FIREABLE(t6654) AND NOT FIREABLE(t6653) AND NOT FIREABLE(t6652) AND NOT FIREABLE(t6651) AND NOT FIREABLE(t6650) AND NOT FIREABLE(t6649) AND NOT FIREABLE(t6648) AND NOT FIREABLE(t6647) AND NOT FIREABLE(t6646) AND NOT FIREABLE(t6645) AND NOT FIREABLE(t6644) AND NOT FIREABLE(t6643) AND NOT FIREABLE(t6642) AND NOT FIREABLE(t6641) AND NOT FIREABLE(t6640) AND NOT FIREABLE(t6639) AND NOT FIREABLE(t6638) AND NOT FIREABLE(t6637) AND NOT FIREABLE(t6636) AND NOT FIREABLE(t6635) AND NOT FIREABLE(t6634) AND NOT FIREABLE(t6633) AND NOT FIREABLE(t6632) AND NOT FIREABLE(t6631) AND NOT FIREABLE(t6630) AND NOT FIREABLE(t6629) AND NOT FIREABLE(t6628) AND NOT FIREABLE(t6627) AND NOT FIREABLE(t6626) AND NOT FIREABLE(t6625) AND NOT FIREABLE(t6624) AND NOT FIREABLE(t6623) AND NOT FIREABLE(t6622) AND NOT FIREABLE(t6621) AND NOT FIREABLE(t6620) AND NOT FIREABLE(t6619) AND NOT FIREABLE(t6618) AND NOT FIREABLE(t6617) AND NOT FIREABLE(t6616) AND NOT FIREABLE(t6615) AND NOT FIREABLE(t6614) AND NOT FIREABLE(t6613) AND NOT FIREABLE(t6612) AND NOT FIREABLE(t6611) AND NOT FIREABLE(t6610))) AND (FIREABLE(t6865) OR FIREABLE(t6864) OR FIREABLE(t6863) OR FIREABLE(t6862) OR FIREABLE(t6973) OR FIREABLE(t6972) OR FIREABLE(t6971) OR FIREABLE(t6970)))))) : A (G ((NOT FIREABLE(t6729) AND NOT FIREABLE(t6728) AND NOT FIREABLE(t6727) AND NOT FIREABLE(t6726) AND NOT FIREABLE(t6725) AND NOT FIREABLE(t6724) AND NOT FIREABLE(t6723) AND NOT FIREABLE(t6722) AND NOT FIREABLE(t6721) AND NOT FIREABLE(t6720) AND NOT FIREABLE(t6719) AND NOT FIREABLE(t6718) AND NOT FIREABLE(t6717) AND NOT FIREABLE(t6716) AND NOT FIREABLE(t6715) AND NOT FIREABLE(t6714) AND NOT FIREABLE(t6713) AND NOT FIREABLE(t6712) AND NOT FIREABLE(t6711) AND NOT FIREABLE(t6710) AND NOT FIREABLE(t6709) AND NOT FIREABLE(t6708) AND NOT FIREABLE(t6707) AND NOT FIREABLE(t6706) AND NOT FIREABLE(t6705) AND NOT FIREABLE(t6704) AND NOT FIREABLE(t6703) AND NOT FIREABLE(t6702) AND NOT FIREABLE(t6701) AND NOT FIREABLE(t6700) AND NOT FIREABLE(t6699) AND NOT FIREABLE(t6698) AND NOT FIREABLE(t6697) AND NOT FIREABLE(t6696) AND NOT FIREABLE(t6695) AND NOT FIREABLE(t6694) AND NOT FIREABLE(t6693) AND NOT FIREABLE(t6692) AND NOT FIREABLE(t6691) AND NOT FIREABLE(t6690) AND NOT FIREABLE(t6689) AND NOT FIREABLE(t6688) AND NOT FIREABLE(t6687) AND NOT FIREABLE(t6686) AND NOT FIREABLE(t6685) AND NOT FIREABLE(t6684) AND NOT FIREABLE(t6683) AND NOT FIREABLE(t6682) AND NOT FIREABLE(t6681) AND NOT FIREABLE(t6680) AND NOT FIREABLE(t6679) AND NOT FIREABLE(t6678) AND NOT FIREABLE(t6677) AND NOT FIREABLE(t6676) AND NOT FIREABLE(t6675) AND NOT FIREABLE(t6674) AND NOT FIREABLE(t6673) AND NOT FIREABLE(t6672) AND NOT FIREABLE(t6671) AND NOT FIREABLE(t6670) AND NOT FIREABLE(t6669) AND NOT FIREABLE(t6668) AND NOT FIREABLE(t6667) AND NOT FIREABLE(t6666) AND NOT FIREABLE(t6665) AND NOT FIREABLE(t6664) AND NOT FIREABLE(t6663) AND NOT FIREABLE(t6662) AND NOT FIREABLE(t6661) AND NOT FIREABLE(t6660) AND NOT FIREABLE(t6659) AND NOT FIREABLE(t6658) AND NOT FIREABLE(t6657) AND NOT FIREABLE(t6656) AND NOT FIREABLE(t6655) AND NOT FIREABLE(t6654) AND NOT FIREABLE(t6653) AND NOT FIREABLE(t6652) AND NOT FIREABLE(t6651) AND NOT FIREABLE(t6650) AND NOT FIREABLE(t6649) AND NOT FIREABLE(t6648) AND NOT FIREABLE(t6647) AND NOT FIREABLE(t6646) AND NOT FIREABLE(t6645) AND NOT FIREABLE(t6644) AND NOT FIREABLE(t6643) AND NOT FIREABLE(t6642) AND NOT FIREABLE(t6641) AND NOT FIREABLE(t6640) AND NOT FIREABLE(t6639) AND NOT FIREABLE(t6638) AND NOT FIREABLE(t6637) AND NOT FIREABLE(t6636) AND NOT FIREABLE(t6635) AND NOT FIREABLE(t6634) AND NOT FIREABLE(t6633) AND NOT FIREABLE(t6632) AND NOT FIREABLE(t6631) AND NOT FIREABLE(t6630) AND NOT FIREABLE(t6629) AND NOT FIREABLE(t6628) AND NOT FIREABLE(t6627) AND NOT FIREABLE(t6626) AND NOT FIREABLE(t6625) AND NOT FIREABLE(t6624) AND NOT FIREABLE(t6623) AND NOT FIREABLE(t6622) AND NOT FIREABLE(t6621) AND NOT FIREABLE(t6620) AND NOT FIREABLE(t6619) AND NOT FIREABLE(t6618) AND NOT FIREABLE(t6617) AND NOT FIREABLE(t6616) AND NOT FIREABLE(t6615) AND NOT FIREABLE(t6614) AND NOT FIREABLE(t6613) AND NOT FIREABLE(t6612) AND NOT FIREABLE(t6611) AND NOT FIREABLE(t6610)))) : A (G ((NOT FIREABLE(t5359) AND NOT FIREABLE(t5358) AND NOT FIREABLE(t5357) AND NOT FIREABLE(t5356)))) : A (G (((NOT FIREABLE(t5579) AND NOT FIREABLE(t5578) AND NOT FIREABLE(t5577) AND NOT FIREABLE(t5576)) OR (NOT FIREABLE(t5347) AND NOT FIREABLE(t5346) AND NOT FIREABLE(t5345) AND NOT FIREABLE(t5344) AND NOT FIREABLE(t5343) AND NOT FIREABLE(t5342) AND NOT FIREABLE(t5341) AND NOT FIREABLE(t5340) AND NOT FIREABLE(t5339) AND NOT FIREABLE(t5338) AND NOT FIREABLE(t5337) AND NOT FIREABLE(t5336) AND NOT FIREABLE(t5335) AND NOT FIREABLE(t5334) AND NOT FIREABLE(t5333) AND NOT FIREABLE(t5332) AND NOT FIREABLE(t5331) AND NOT FIREABLE(t5330) AND NOT FIREABLE(t5329) AND NOT FIREABLE(t5328) AND NOT FIREABLE(t5327) AND NOT FIREABLE(t5326) AND NOT FIREABLE(t5325) AND NOT FIREABLE(t5324) AND NOT FIREABLE(t5323) AND NOT FIREABLE(t5322) AND NOT FIREABLE(t5321) AND NOT FIREABLE(t5320) AND NOT FIREABLE(t5319) AND NOT FIREABLE(t5318) AND NOT FIREABLE(t5317) AND NOT FIREABLE(t5316) AND NOT FIREABLE(t5315) AND NOT FIREABLE(t5314) AND NOT FIREABLE(t5313) AND NOT FIREABLE(t5312) AND NOT FIREABLE(t5311) AND NOT FIREABLE(t5310) AND NOT FIREABLE(t5309) AND NOT FIREABLE(t5308) AND NOT FIREABLE(t5307) AND NOT FIREABLE(t5306) AND NOT FIREABLE(t5305) AND NOT FIREABLE(t5304) AND NOT FIREABLE(t5303) AND NOT FIREABLE(t5302) AND NOT FIREABLE(t5301) AND NOT FIREABLE(t5300) AND NOT FIREABLE(t5299) AND NOT FIREABLE(t5298) AND NOT FIREABLE(t5297) AND NOT FIREABLE(t5296) AND NOT FIREABLE(t5295) AND NOT FIREABLE(t5294) AND NOT FIREABLE(t5293) AND NOT FIREABLE(t5292) AND NOT FIREABLE(t5291) AND NOT FIREABLE(t5290) AND NOT FIREABLE(t5289) AND NOT FIREABLE(t5288) AND NOT FIREABLE(t5287) AND NOT FIREABLE(t5286) AND NOT FIREABLE(t5285) AND NOT FIREABLE(t5284) AND NOT FIREABLE(t5283) AND NOT FIREABLE(t5282) AND NOT FIREABLE(t5281) AND NOT FIREABLE(t5280) AND NOT FIREABLE(t5279) AND NOT FIREABLE(t5278) AND NOT FIREABLE(t5277) AND NOT FIREABLE(t5276) AND NOT FIREABLE(t5275) AND NOT FIREABLE(t5274) AND NOT FIREABLE(t5273) AND NOT FIREABLE(t5272) AND NOT FIREABLE(t5271) AND NOT FIREABLE(t5270) AND NOT FIREABLE(t5269) AND NOT FIREABLE(t5268) AND NOT FIREABLE(t5267) AND NOT FIREABLE(t5266) AND NOT FIREABLE(t5265) AND NOT FIREABLE(t5264) AND NOT FIREABLE(t5263) AND NOT FIREABLE(t5262) AND NOT FIREABLE(t5261) AND NOT FIREABLE(t5260) AND NOT FIREABLE(t5259) AND NOT FIREABLE(t5258) AND NOT FIREABLE(t5257) AND NOT FIREABLE(t5256) AND NOT FIREABLE(t5255) AND NOT FIREABLE(t5254) AND NOT FIREABLE(t5253) AND NOT FIREABLE(t5252) AND NOT FIREABLE(t5251) AND NOT FIREABLE(t5250) AND NOT FIREABLE(t5249) AND NOT FIREABLE(t5248) AND NOT FIREABLE(t5247) AND NOT FIREABLE(t5246) AND NOT FIREABLE(t5245) AND NOT FIREABLE(t5244) AND NOT FIREABLE(t5243) AND NOT FIREABLE(t5242) AND NOT FIREABLE(t5241) AND NOT FIREABLE(t5240) AND NOT FIREABLE(t5239) AND NOT FIREABLE(t5238) AND NOT FIREABLE(t5237) AND NOT FIREABLE(t5236) AND NOT FIREABLE(t5235) AND NOT FIREABLE(t5234) AND NOT FIREABLE(t5233) AND NOT FIREABLE(t5232) AND NOT FIREABLE(t5231) AND NOT FIREABLE(t5230) AND NOT FIREABLE(t5229) AND NOT FIREABLE(t5228)) OR ((FIREABLE(t5615) OR FIREABLE(t5614) OR FIREABLE(t5613) OR FIREABLE(t5612)) AND (FIREABLE(t6893) OR FIREABLE(t6892) OR FIREABLE(t6891) OR FIREABLE(t6890) OR FIREABLE(t6889) OR FIREABLE(t6888) OR FIREABLE(t6887) OR FIREABLE(t6886) OR FIREABLE(t6885) OR FIREABLE(t6884) OR FIREABLE(t6883) OR FIREABLE(t6882) OR FIREABLE(t6881) OR FIREABLE(t6880) OR FIREABLE(t6879) OR FIREABLE(t6878))) OR (NOT FIREABLE(t5367) AND NOT FIREABLE(t5366) AND NOT FIREABLE(t5365) AND NOT FIREABLE(t5364) AND NOT FIREABLE(t5511) AND NOT FIREABLE(t5510) AND NOT FIREABLE(t5509) AND NOT FIREABLE(t5508) AND NOT FIREABLE(t5507) AND NOT FIREABLE(t5506) AND NOT FIREABLE(t5505) AND NOT FIREABLE(t5504) AND NOT FIREABLE(t5503) AND NOT FIREABLE(t5502) AND NOT FIREABLE(t5501) AND NOT FIREABLE(t5500) AND NOT FIREABLE(t5499) AND NOT FIREABLE(t5498) AND NOT FIREABLE(t5497) AND NOT FIREABLE(t5496) AND NOT FIREABLE(t5495) AND NOT FIREABLE(t5494) AND NOT FIREABLE(t5493) AND NOT FIREABLE(t5492) AND NOT FIREABLE(t5491) AND NOT FIREABLE(t5490) AND NOT FIREABLE(t5489) AND NOT FIREABLE(t5488) AND NOT FIREABLE(t5487) AND NOT FIREABLE(t5486) AND NOT FIREABLE(t5485) AND NOT FIREABLE(t5484) AND NOT FIREABLE(t5483) AND NOT FIREABLE(t5482) AND NOT FIREABLE(t5481) AND NOT FIREABLE(t5480) AND NOT FIREABLE(t5479) AND NOT FIREABLE(t5478) AND NOT FIREABLE(t5477) AND NOT FIREABLE(t5476) AND NOT FIREABLE(t5475) AND NOT FIREABLE(t5474) AND NOT FIREABLE(t5473) AND NOT FIREABLE(t5472) AND NOT FIREABLE(t5471) AND NOT FIREABLE(t5470) AND NOT FIREABLE(t5469) AND NOT FIREABLE(t5468) AND NOT FIREABLE(t5467) AND NOT FIREABLE(t5466) AND NOT FIREABLE(t5465) AND NOT FIREABLE(t5464) AND NOT FIREABLE(t5463) AND NOT FIREABLE(t5462) AND NOT FIREABLE(t5461) AND NOT FIREABLE(t5460) AND NOT FIREABLE(t5459) AND NOT FIREABLE(t5458) AND NOT FIREABLE(t5457) AND NOT FIREABLE(t5456) AND NOT FIREABLE(t5455) AND NOT FIREABLE(t5454) AND NOT FIREABLE(t5453) AND NOT FIREABLE(t5452) AND NOT FIREABLE(t5451) AND NOT FIREABLE(t5450) AND NOT FIREABLE(t5449) AND NOT FIREABLE(t5448) AND NOT FIREABLE(t5447) AND NOT FIREABLE(t5446) AND NOT FIREABLE(t5445) AND NOT FIREABLE(t5444) AND NOT FIREABLE(t5443) AND NOT FIREABLE(t5442) AND NOT FIREABLE(t5441) AND NOT FIREABLE(t5440) AND NOT FIREABLE(t5439) AND NOT FIREABLE(t5438) AND NOT FIREABLE(t5437) AND NOT FIREABLE(t5436) AND NOT FIREABLE(t5435) AND NOT FIREABLE(t5434) AND NOT FIREABLE(t5433) AND NOT FIREABLE(t5432) AND NOT FIREABLE(t5431) AND NOT FIREABLE(t5430) AND NOT FIREABLE(t5429) AND NOT FIREABLE(t5428) AND NOT FIREABLE(t5427) AND NOT FIREABLE(t5426) AND NOT FIREABLE(t5425) AND NOT FIREABLE(t5424) AND NOT FIREABLE(t5423) AND NOT FIREABLE(t5422) AND NOT FIREABLE(t5421) AND NOT FIREABLE(t5420) AND NOT FIREABLE(t5419) AND NOT FIREABLE(t5418) AND NOT FIREABLE(t5417) AND NOT FIREABLE(t5416) AND NOT FIREABLE(t5415) AND NOT FIREABLE(t5414) AND NOT FIREABLE(t5413) AND NOT FIREABLE(t5412) AND NOT FIREABLE(t5411) AND NOT FIREABLE(t5410) AND NOT FIREABLE(t5409) AND NOT FIREABLE(t5408) AND NOT FIREABLE(t5407) AND NOT FIREABLE(t5406) AND NOT FIREABLE(t5405) AND NOT FIREABLE(t5404) AND NOT FIREABLE(t5403) AND NOT FIREABLE(t5402) AND NOT FIREABLE(t5401) AND NOT FIREABLE(t5400) AND NOT FIREABLE(t5399) AND NOT FIREABLE(t5398) AND NOT FIREABLE(t5397) AND NOT FIREABLE(t5396) AND NOT FIREABLE(t5395) AND NOT FIREABLE(t5394) AND NOT FIREABLE(t5393) AND NOT FIREABLE(t5392) AND NOT FIREABLE(t5391) AND NOT FIREABLE(t5390) AND NOT FIREABLE(t5389) AND NOT FIREABLE(t5388) AND NOT FIREABLE(t5387) AND NOT FIREABLE(t5386) AND NOT FIREABLE(t5385) AND NOT FIREABLE(t5384) AND NOT FIREABLE(t5383) AND NOT FIREABLE(t5382) AND NOT FIREABLE(t5381) AND NOT FIREABLE(t5380) AND NOT FIREABLE(t5379) AND NOT FIREABLE(t5378) AND NOT FIREABLE(t5377) AND NOT FIREABLE(t5376) AND NOT FIREABLE(t5375) AND NOT FIREABLE(t5374) AND NOT FIREABLE(t5373) AND NOT FIREABLE(t5372) AND NOT FIREABLE(t5371) AND NOT FIREABLE(t5370) AND NOT FIREABLE(t5369) AND NOT FIREABLE(t5368) AND (FIREABLE(t6563) OR FIREABLE(t6562) OR FIREABLE(t6561) OR FIREABLE(t6560) OR FIREABLE(t6559) OR FIREABLE(t6558) OR FIREABLE(t6557) OR FIREABLE(t6556) OR FIREABLE(t6555) OR FIREABLE(t6554) OR FIREABLE(t6553) OR FIREABLE(t6552) OR FIREABLE(t6551) OR FIREABLE(t6550) OR FIREABLE(t6549) OR FIREABLE(t6548) OR FIREABLE(t6547) OR FIREABLE(t6546) OR FIREABLE(t6545) OR FIREABLE(t6544) OR FIREABLE(t6543) OR FIREABLE(t6542) OR FIREABLE(t6541) OR FIREABLE(t6540)))))) : A (G (((NOT FIREABLE(t6539) AND NOT FIREABLE(t6538) AND NOT FIREABLE(t6537) AND NOT FIREABLE(t6536) AND NOT FIREABLE(t6785) AND NOT FIREABLE(t6784) AND NOT FIREABLE(t6783) AND NOT FIREABLE(t6782) AND NOT FIREABLE(t6781) AND NOT FIREABLE(t6780) AND NOT FIREABLE(t6779) AND NOT FIREABLE(t6778) AND NOT FIREABLE(t6777) AND NOT FIREABLE(t6776) AND NOT FIREABLE(t6775) AND NOT FIREABLE(t6774) AND NOT FIREABLE(t6773) AND NOT FIREABLE(t6772) AND NOT FIREABLE(t6771) AND NOT FIREABLE(t6770) AND NOT FIREABLE(t6769) AND NOT FIREABLE(t6768) AND NOT FIREABLE(t6767) AND NOT FIREABLE(t6766) AND NOT FIREABLE(t5211) AND NOT FIREABLE(t5210) AND NOT FIREABLE(t5209) AND NOT FIREABLE(t5208) AND NOT FIREABLE(t6567) AND NOT FIREABLE(t6566) AND NOT FIREABLE(t6565) AND NOT FIREABLE(t6564)) OR (NOT FIREABLE(t5547) AND NOT FIREABLE(t5546) AND NOT FIREABLE(t5545) AND NOT FIREABLE(t5544))))) : E (F ((FIREABLE(t6869) OR FIREABLE(t6868) OR FIREABLE(t6867) OR FIREABLE(t6866)))) : E (F ((FIREABLE(t5659) OR FIREABLE(t5658) OR FIREABLE(t5657) OR FIREABLE(t5656) OR FIREABLE(t5655) OR FIREABLE(t5654) OR FIREABLE(t5653) OR FIREABLE(t5652) OR FIREABLE(t5651) OR FIREABLE(t5650) OR FIREABLE(t5649) OR FIREABLE(t5648) OR FIREABLE(t5647) OR FIREABLE(t5646) OR FIREABLE(t5645) OR FIREABLE(t5644) OR FIREABLE(t5643) OR FIREABLE(t5642) OR FIREABLE(t5641) OR FIREABLE(t5640) OR FIREABLE(t5639) OR FIREABLE(t5638) OR FIREABLE(t5637) OR FIREABLE(t5636)))) : A (G ((NOT FIREABLE(t6969) AND NOT FIREABLE(t6968) AND NOT FIREABLE(t6967) AND NOT FIREABLE(t6966) AND NOT FIREABLE(t6965) AND NOT FIREABLE(t6964) AND NOT FIREABLE(t6963) AND NOT FIREABLE(t6962) AND NOT FIREABLE(t6961) AND NOT FIREABLE(t6960) AND NOT FIREABLE(t6959) AND NOT FIREABLE(t6958) AND NOT FIREABLE(t6957) AND NOT FIREABLE(t6956) AND NOT FIREABLE(t6955) AND NOT FIREABLE(t6954) AND NOT FIREABLE(t6953) AND NOT FIREABLE(t6952) AND NOT FIREABLE(t6951) AND NOT FIREABLE(t6950) AND NOT FIREABLE(t6949) AND NOT FIREABLE(t6948) AND NOT FIREABLE(t6947) AND NOT FIREABLE(t6946)))) : E (F ((FIREABLE(t6969) OR FIREABLE(t6968) OR FIREABLE(t6967) OR FIREABLE(t6966) OR FIREABLE(t6965) OR FIREABLE(t6964) OR FIREABLE(t6963) OR FIREABLE(t6962) OR FIREABLE(t6961) OR FIREABLE(t6960) OR FIREABLE(t6959) OR FIREABLE(t6958) OR FIREABLE(t6957) OR FIREABLE(t6956) OR FIREABLE(t6955) OR FIREABLE(t6954) OR FIREABLE(t6953) OR FIREABLE(t6952) OR FIREABLE(t6951) OR FIREABLE(t6950) OR FIREABLE(t6949) OR FIREABLE(t6948) OR FIREABLE(t6947) OR FIREABLE(t6946)))) : A (G (((NOT FIREABLE(t6595) AND NOT FIREABLE(t6594) AND NOT FIREABLE(t6593) AND NOT FIREABLE(t6592)) OR (NOT FIREABLE(t6785) AND NOT FIREABLE(t6784) AND NOT FIREABLE(t6783) AND NOT FIREABLE(t6782) AND NOT FIREABLE(t6781) AND NOT FIREABLE(t6780) AND NOT FIREABLE(t6779) AND NOT FIREABLE(t6778) AND NOT FIREABLE(t6777) AND NOT FIREABLE(t6776) AND NOT FIREABLE(t6775) AND NOT FIREABLE(t6774) AND NOT FIREABLE(t6773) AND NOT FIREABLE(t6772) AND NOT FIREABLE(t6771) AND NOT FIREABLE(t6770) AND NOT FIREABLE(t6769) AND NOT FIREABLE(t6768) AND NOT FIREABLE(t6767) AND NOT FIREABLE(t6766)))))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t6531) OR FIREABLE(t6530) OR FIREABLE(t6529) OR FIREABLE(t6528) OR ((FIREABLE(t5583) OR FIREABLE(t5582) OR FIREABLE(t5581) OR FIREABLE(t5580)) AND (FIREABLE(t5611) OR FIREABLE(t5610) OR FIREABLE(t5609) OR FIREABLE(t5608))))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 52 literals and 20 conjunctive subformulas
lola: state equation: write sara problem file to PolyORBLF-COL-S06J04T04-ReachabilityFireability.sara
lola: state equation: calling and running sara
sara: try reading problem file PolyORBLF-COL-S06J04T04-ReachabilityFireability.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: ========================================
lola: subprocess 1 will run for 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((FIREABLE(t6969) OR FIREABLE(t6968) OR FIREABLE(t6967) OR FIREABLE(t6966) OR FIREABLE(t6965) OR FIREABLE(t6964) OR FIREABLE(t6963) OR FIREABLE(t6962) OR FIREABLE(t6961) OR FIREABLE(t6960) OR FIREABLE(t6959) OR FIREABLE(t6958) OR FIREABLE(t6957) OR FIREABLE(t6956) OR FIREABLE(t6955) OR FIREABLE(t6954) OR FIREABLE(t6953) OR FIREABLE(t6952) OR FIREABLE(t6951) OR FIREABLE(t69... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Could not create input for sara: DNF too long or DEADLOCK predicate contained
lola: sara not yet started (preprocessing) || 10784 markings, 36003 edges, 2157 markings/sec, 0 secs
lola: sara not yet started (preprocessing) || 21486 markings, 70232 edges, 2140 markings/sec, 5 secs
lola: sara not yet started (preprocessing) || 32248 markings, 104405 edges, 2152 markings/sec, 10 secs
lola: sara not yet started (preprocessing) || 43063 markings, 136645 edges, 2163 markings/sec, 15 secs
lola: sara not yet started (preprocessing) || 53951 markings, 166860 edges, 2178 markings/sec, 20 secs
lola: sara not yet started (preprocessing) || 64662 markings, 196276 edges, 2142 markings/sec, 25 secs
lola: sara not yet started (preprocessing) || 74828 markings, 225029 edges, 2033 markings/sec, 30 secs
lola: sara not yet started (preprocessing) || 85318 markings, 251896 edges, 2098 markings/sec, 35 secs
lola: sara not yet started (preprocessing) || 95771 markings, 277430 edges, 2091 markings/sec, 40 secs
lola: sara not yet started (preprocessing) || 106051 markings, 306210 edges, 2056 markings/sec, 45 secs
lola: sara not yet started (preprocessing) || 116354 markings, 335480 edges, 2061 markings/sec, 50 secs
lola: sara not yet started (preprocessing) || 126570 markings, 364229 edges, 2043 markings/sec, 55 secs
lola: sara not yet started (preprocessing) || 136935 markings, 391957 edges, 2073 markings/sec, 60 secs
lola: sara not yet started (preprocessing) || 147611 markings, 414832 edges, 2135 markings/sec, 65 secs
lola: sara not yet started (preprocessing) || 158258 markings, 438528 edges, 2129 markings/sec, 70 secs
lola: sara not yet started (preprocessing) || 168721 markings, 464575 edges, 2093 markings/sec, 75 secs
lola: sara not yet started (preprocessing) || 179982 markings, 494417 edges, 2252 markings/sec, 80 secs
lola: sara not yet started (preprocessing) || 191259 markings, 517846 edges, 2255 markings/sec, 85 secs
lola: sara not yet started (preprocessing) || 201852 markings, 544875 edges, 2119 markings/sec, 90 secs
lola: sara not yet started (preprocessing) || 212801 markings, 568862 edges, 2190 markings/sec, 95 secs
lola: sara not yet started (preprocessing) || 224074 markings, 592597 edges, 2255 markings/sec, 100 secs
lola: sara not yet started (preprocessing) || 236454 markings, 617777 edges, 2476 markings/sec, 105 secs
lola: sara not yet started (preprocessing) || 247897 markings, 641799 edges, 2289 markings/sec, 110 secs
lola: sara not yet started (preprocessing) || 261124 markings, 668575 edges, 2645 markings/sec, 115 secs
lola: sara not yet started (preprocessing) || 273498 markings, 695071 edges, 2475 markings/sec, 120 secs
lola: sara not yet started (preprocessing) || 286334 markings, 719574 edges, 2567 markings/sec, 125 secs
lola: sara not yet started (preprocessing) || 299926 markings, 744236 edges, 2718 markings/sec, 130 secs
lola: sara not yet started (preprocessing) || 313205 markings, 767483 edges, 2656 markings/sec, 135 secs
lola: sara not yet started (preprocessing) || 326832 markings, 791387 edges, 2725 markings/sec, 140 secs
lola: sara not yet started (preprocessing) || 338832 markings, 815015 edges, 2400 markings/sec, 145 secs
lola: sara not yet started (preprocessing) || 351111 markings, 839477 edges, 2456 markings/sec, 150 secs
lola: sara not yet started (preprocessing) || 363984 markings, 861407 edges, 2575 markings/sec, 155 secs
lola: sara not yet started (preprocessing) || 376185 markings, 885965 edges, 2440 markings/sec, 160 secs
lola: sara not yet started (preprocessing) || 390211 markings, 909058 edges, 2805 markings/sec, 165 secs
lola: sara not yet started (preprocessing) || 403691 markings, 929207 edges, 2696 markings/sec, 170 secs
lola: sara not yet started (preprocessing) || 416284 markings, 955843 edges, 2519 markings/sec, 175 secs
lola: sara not yet started (preprocessing) || 430443 markings, 980966 edges, 2832 markings/sec, 180 secs
lola: sara not yet started (preprocessing) || 445423 markings, 1004791 edges, 2996 markings/sec, 185 secs
lola: sara not yet started (preprocessing) || 458702 markings, 1027570 edges, 2656 markings/sec, 190 secs
lola: sara not yet started (preprocessing) || 472371 markings, 1051304 edges, 2734 markings/sec, 195 secs
lola: sara not yet started (preprocessing) || 485332 markings, 1074223 edges, 2592 markings/sec, 200 secs
lola: sara not yet started (preprocessing) || 499491 markings, 1097278 edges, 2832 markings/sec, 205 secs
lola: sara not yet started (preprocessing) || 513092 markings, 1119559 edges, 2720 markings/sec, 210 secs
lola: sara not yet started (preprocessing) || 526998 markings, 1141032 edges, 2781 markings/sec, 215 secs
lola: sara not yet started (preprocessing) || 541064 markings, 1163071 edges, 2813 markings/sec, 220 secs
lola: sara not yet started (preprocessing) || 568855 markings, 1218408 edges, 5558 markings/sec, 225 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t5659) OR FIREABLE(t5658) OR FIREABLE(t5657) OR FIREABLE(t5656) OR FIREABLE(t5655) OR FIREABLE(t5654) OR FIREABLE(t5653) OR FIREABLE(t5652) OR FIREABLE(t5651) OR FIREABLE(t5650) OR FIREABLE(t5649) OR FIREABLE(t5648) OR FIREABLE(t5647) OR FIREABLE(t5646) OR FIREABLE(t5645) OR FIREABLE(t5644) OR FIREABLE(t5643) OR FIREABLE(t5642) OR FIREABLE(t5641) OR FIREABLE(t564... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 24 literals and 24 conjunctive subformulas
lola: state equation: write sara problem file to PolyORBLF-COL-S06J04T04-ReachabilityFireability-2.sara
lola: state equation: calling and running sara
sara: try reading problem file PolyORBLF-COL-S06J04T04-ReachabilityFireability-2.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: ========================================
lola: subprocess 3 will run for 254 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((FIREABLE(t6527) OR FIREABLE(t6526) OR FIREABLE(t6525) OR FIREABLE(t6524)) AND (FIREABLE(t6973) OR FIREABLE(t6972) OR FIREABLE(t6971) OR FIREABLE(t6970)) AND (FIREABLE(t6567) OR FIREABLE(t6566) OR FIREABLE(t6565) OR FIREABLE(t6564) OR FIREABLE(t5551) OR FIREABLE(t5550) OR FIREABLE(t5549) OR FIREABLE(t5548) OR (NOT FIREABLE(t6861) AND NOT FIREABLE(t6860) AND NOT FIREABLE(t6859)... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: sara not yet started (preprocessing) || 10401 markings, 30981 edges, 2080 markings/sec, 0 secs
lola: sara not yet started (preprocessing) || 38892 markings, 67669 edges, 5698 markings/sec, 5 secs
lola: sara not yet started (preprocessing) || 69180 markings, 105296 edges, 6058 markings/sec, 10 secs
lola: sara not yet started (preprocessing) || 99591 markings, 143356 edges, 6082 markings/sec, 15 secs
lola: state equation: Could not create input for sara: DNF too long or DEADLOCK predicate contained
lola: sara not yet started (preprocessing) || 130827 markings, 182282 edges, 6247 markings/sec, 20 secs
lola: sara not yet started (preprocessing) || 162469 markings, 221604 edges, 6328 markings/sec, 25 secs
lola: sara not yet started (preprocessing) || 193836 markings, 260836 edges, 6273 markings/sec, 30 secs
lola: sara not yet started (preprocessing) || 225726 markings, 300633 edges, 6378 markings/sec, 35 secs
lola: sara not yet started (preprocessing) || 258421 markings, 343102 edges, 6539 markings/sec, 40 secs
lola: sara not yet started (preprocessing) || 290318 markings, 384514 edges, 6379 markings/sec, 45 secs
lola: sara not yet started (preprocessing) || 321059 markings, 422642 edges, 6148 markings/sec, 50 secs
lola: sara not yet started (preprocessing) || 353293 markings, 463834 edges, 6447 markings/sec, 55 secs
lola: sara not yet started (preprocessing) || 385965 markings, 507061 edges, 6534 markings/sec, 60 secs
lola: sara not yet started (preprocessing) || 417470 markings, 546366 edges, 6301 markings/sec, 65 secs
lola: sara not yet started (preprocessing) || 449877 markings, 587864 edges, 6481 markings/sec, 70 secs
lola: sara not yet started (preprocessing) || 482368 markings, 631373 edges, 6498 markings/sec, 75 secs
lola: sara not yet started (preprocessing) || 514393 markings, 673637 edges, 6405 markings/sec, 80 secs
lola: sara not yet started (preprocessing) || 546533 markings, 716354 edges, 6428 markings/sec, 85 secs
lola: sara not yet started (preprocessing) || 578682 markings, 758562 edges, 6430 markings/sec, 90 secs
lola: sara not yet started (preprocessing) || 610756 markings, 800918 edges, 6415 markings/sec, 95 secs
lola: sara not yet started (preprocessing) || 643760 markings, 845143 edges, 6601 markings/sec, 100 secs
lola: sara not yet started (preprocessing) || 676729 markings, 889749 edges, 6594 markings/sec, 105 secs
lola: sara not yet started (preprocessing) || 709242 markings, 933760 edges, 6503 markings/sec, 110 secs
lola: sara not yet started (preprocessing) || 742226 markings, 978026 edges, 6597 markings/sec, 115 secs
lola: sara not yet started (preprocessing) || 778375 markings, 1034928 edges, 7230 markings/sec, 120 secs
lola: sara not yet started (preprocessing) || 814080 markings, 1090888 edges, 7141 markings/sec, 125 secs
lola: sara not yet started (preprocessing) || 845248 markings, 1131892 edges, 6234 markings/sec, 130 secs
lola: sara not yet started (preprocessing) || 878423 markings, 1176955 edges, 6635 markings/sec, 135 secs
lola: sara not yet started (preprocessing) || 914937 markings, 1229230 edges, 7303 markings/sec, 140 secs
lola: sara not yet started (preprocessing) || 947902 markings, 1273709 edges, 6593 markings/sec, 145 secs
lola: sara not yet started (preprocessing) || 981703 markings, 1320262 edges, 6760 markings/sec, 150 secs
lola: sara not yet started (preprocessing) || 1015532 markings, 1365948 edges, 6766 markings/sec, 155 secs
lola: sara not yet started (preprocessing) || 1050227 markings, 1414541 edges, 6939 markings/sec, 160 secs
lola: sara not yet started (preprocessing) || 1087690 markings, 1469299 edges, 7493 markings/sec, 165 secs
lola: sara not yet started (preprocessing) || 1125446 markings, 1534869 edges, 7551 markings/sec, 170 secs
lola: sara not yet started (preprocessing) || 1159046 markings, 1580644 edges, 6720 markings/sec, 175 secs
lola: sara not yet started (preprocessing) || 1199567 markings, 1640533 edges, 8104 markings/sec, 180 secs
lola: sara not yet started (preprocessing) || 1233730 markings, 1689140 edges, 6833 markings/sec, 185 secs
lola: sara not yet started (preprocessing) || 1270828 markings, 1750715 edges, 7420 markings/sec, 190 secs
lola: sara not yet started (preprocessing) || 1303765 markings, 1798990 edges, 6587 markings/sec, 195 secs
lola: sara not yet started (preprocessing) || 1344389 markings, 1875867 edges, 8125 markings/sec, 200 secs
lola: sara not yet started (preprocessing) || 1379997 markings, 1936097 edges, 7122 markings/sec, 205 secs
lola: sara not yet started (preprocessing) || 1416866 markings, 2001639 edges, 7374 markings/sec, 210 secs
lola: sara not yet started (preprocessing) || 1453500 markings, 2067259 edges, 7327 markings/sec, 215 secs
lola: sara not yet started (preprocessing) || 1492848 markings, 2137790 edges, 7870 markings/sec, 220 secs
lola: sara not yet started (preprocessing) || 1529751 markings, 2192293 edges, 7381 markings/sec, 225 secs
lola: sara not yet started (preprocessing) || 1567173 markings, 2259534 edges, 7484 markings/sec, 230 secs
lola: sara not yet started (preprocessing) || 1608857 markings, 2345151 edges, 8337 markings/sec, 235 secs
lola: sara not yet started (preprocessing) || 1648527 markings, 2410195 edges, 7934 markings/sec, 240 secs
lola: sara not yet started (preprocessing) || 1680805 markings, 2459247 edges, 6456 markings/sec, 245 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 254 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t6869) AND NOT FIREABLE(t6868) AND NOT FIREABLE(t6867) AND NOT FIREABLE(t6866) AND NOT FIREABLE(t5583) AND NOT FIREABLE(t5582) AND NOT FIREABLE(t5581) AND NOT FIREABLE(t5580))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 12 literals and 8 conjunctive subformulas
lola: state equation: write sara problem file to PolyORBLF-COL-S06J04T04-ReachabilityFireability-4.sara
lola: state equation: calling and running sara
sara: try reading problem file PolyORBLF-COL-S06J04T04-ReachabilityFireability-4.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: ========================================
lola: subprocess 5 will run for 277 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t6761) OR FIREABLE(t6760) OR FIREABLE(t6759) OR FIREABLE(t6758) OR FIREABLE(t6757) OR FIREABLE(t6756) OR FIREABLE(t6755) OR FIREABLE(t6754) OR FIREABLE(t6753) OR FIREABLE(t6752) OR FIREABLE(t6751) OR FIREABLE(t6750) OR FIREABLE(t6749) OR FIREABLE(t6748) OR FIREABLE(t6747) OR FIREABLE(t6746) OR FIREABLE(t6745) OR FIREABLE(t6744) OR FIREABLE(t6743) OR FIREABLE(t674... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 72 literals and 24 conjunctive subformulas
lola: state equation: write sara problem file to PolyORBLF-COL-S06J04T04-ReachabilityFireability-5.sara
lola: state equation: calling and running sara
sara: try reading problem file PolyORBLF-COL-S06J04T04-ReachabilityFireability-5.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: ========================================
lola: subprocess 6 will run for 305 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((((FIREABLE(t6595) OR FIREABLE(t6594) OR FIREABLE(t6593) OR FIREABLE(t6592)) AND (FIREABLE(t6829) OR FIREABLE(t6828) OR FIREABLE(t6827) OR FIREABLE(t6826) OR FIREABLE(t6825) OR FIREABLE(t6824) OR FIREABLE(t6823) OR FIREABLE(t6822) OR FIREABLE(t6821) OR FIREABLE(t6820) OR FIREABLE(t6819) OR FIREABLE(t6818) OR FIREABLE(t6817) OR FIREABLE(t6816) OR FIREABLE(t6815) OR FIREABLE(... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: ========================================
lola: subprocess 7 will run for 338 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t6729) AND NOT FIREABLE(t6728) AND NOT FIREABLE(t6727) AND NOT FIREABLE(t6726) AND NOT FIREABLE(t6725) AND NOT FIREABLE(t6724) AND NOT FIREABLE(t6723) AND NOT FIREABLE(t6722) AND NOT FIREABLE(t6721) AND NOT FIREABLE(t6720) AND NOT FIREABLE(t6719) AND NOT FIREABLE(t6718) AND NOT FIREABLE(t6717) AND NOT FIREABLE(t6716) AND NOT FIREABLE(t6715) AND NOT FIREABLE(t6714) AND NOT FIREA... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 240 literals and 120 conjunctive subformulas
lola: state equation: write sara problem file to PolyORBLF-COL-S06J04T04-ReachabilityFireability-7.sara
lola: state equation: calling and running sara
sara: try reading problem file PolyORBLF-COL-S06J04T04-ReachabilityFireability-7.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: ========================================
lola: subprocess 8 will run for 381 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t5359) AND NOT FIREABLE(t5358) AND NOT FIREABLE(t5357) AND NOT FIREABLE(t5356))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 4 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to PolyORBLF-COL-S06J04T04-ReachabilityFireability-8.sara
lola: state equation: calling and running sara
sara: try reading problem file PolyORBLF-COL-S06J04T04-ReachabilityFireability-8.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: ========================================
lola: subprocess 9 will run for 435 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((NOT FIREABLE(t5579) AND NOT FIREABLE(t5578) AND NOT FIREABLE(t5577) AND NOT FIREABLE(t5576)) OR (NOT FIREABLE(t5347) AND NOT FIREABLE(t5346) AND NOT FIREABLE(t5345) AND NOT FIREABLE(t5344) AND NOT FIREABLE(t5343) AND NOT FIREABLE(t5342) AND NOT FIREABLE(t5341) AND NOT FIREABLE(t5340) AND NOT FIREABLE(t5339) AND NOT FIREABLE(t5338) AND NOT FIREABLE(t5337) AND NOT FIREABLE(t5336) AND NOT FI... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: sara not yet started (preprocessing) || 42926 markings, 83457 edges, 8585 markings/sec, 0 secs
lola: sara not yet started (preprocessing) || 85641 markings, 166769 edges, 8543 markings/sec, 5 secs
lola: state equation: Could not create input for sara: DNF too long or DEADLOCK predicate contained
lola: sara not yet started (preprocessing) || 96141 markings, 198159 edges, 2100 markings/sec, 10 secs
lola: sara not yet started (preprocessing) || 122272 markings, 247252 edges, 5226 markings/sec, 15 secs
lola: sara not yet started (preprocessing) || 142151 markings, 300731 edges, 3976 markings/sec, 20 secs
lola: sara not yet started (preprocessing) || 159176 markings, 341967 edges, 3405 markings/sec, 25 secs
lola: sara not yet started (preprocessing) || 177822 markings, 388467 edges, 3729 markings/sec, 30 secs
lola: sara not yet started (preprocessing) || 209534 markings, 457911 edges, 6342 markings/sec, 35 secs
lola: sara not yet started (preprocessing) || 239453 markings, 519072 edges, 5984 markings/sec, 40 secs
lola: sara not yet started (preprocessing) || 270138 markings, 582689 edges, 6137 markings/sec, 45 secs
lola: sara not yet started (preprocessing) || 286480 markings, 615535 edges, 3268 markings/sec, 50 secs
lola: sara not yet started (preprocessing) || 297721 markings, 643838 edges, 2248 markings/sec, 55 secs
lola: sara not yet started (preprocessing) || 310099 markings, 678036 edges, 2476 markings/sec, 60 secs
lola: sara not yet started (preprocessing) || 334772 markings, 735328 edges, 4935 markings/sec, 65 secs
lola: sara not yet started (preprocessing) || 347106 markings, 767111 edges, 2467 markings/sec, 70 secs
lola: sara not yet started (preprocessing) || 359545 markings, 801674 edges, 2488 markings/sec, 75 secs
lola: sara not yet started (preprocessing) || 385408 markings, 863594 edges, 5173 markings/sec, 80 secs
lola: sara not yet started (preprocessing) || 394900 markings, 887755 edges, 1898 markings/sec, 85 secs
lola: sara not yet started (preprocessing) || 406052 markings, 917726 edges, 2230 markings/sec, 90 secs
lola: sara not yet started (preprocessing) || 415187 markings, 943901 edges, 1827 markings/sec, 95 secs
lola: sara not yet started (preprocessing) || 442322 markings, 992484 edges, 5427 markings/sec, 100 secs
lola: sara not yet started (preprocessing) || 479074 markings, 1066965 edges, 7350 markings/sec, 105 secs
lola: sara not yet started (preprocessing) || 494877 markings, 1103886 edges, 3161 markings/sec, 110 secs
lola: sara not yet started (preprocessing) || 506329 markings, 1138774 edges, 2290 markings/sec, 115 secs
lola: sara not yet started (preprocessing) || 545400 markings, 1222492 edges, 7814 markings/sec, 120 secs
lola: sara not yet started (preprocessing) || 574126 markings, 1286931 edges, 5745 markings/sec, 125 secs
lola: sara not yet started (preprocessing) || 611628 markings, 1356957 edges, 7500 markings/sec, 130 secs
lola: sara not yet started (preprocessing) || 629105 markings, 1395303 edges, 3495 markings/sec, 135 secs
lola: sara not yet started (preprocessing) || 642899 markings, 1425016 edges, 2759 markings/sec, 140 secs
lola: sara not yet started (preprocessing) || 663905 markings, 1467114 edges, 4201 markings/sec, 145 secs
lola: sara not yet started (preprocessing) || 680996 markings, 1507005 edges, 3418 markings/sec, 150 secs
lola: sara not yet started (preprocessing) || 715676 markings, 1579483 edges, 6936 markings/sec, 155 secs
lola: sara not yet started (preprocessing) || 753868 markings, 1657713 edges, 7638 markings/sec, 160 secs
lola: sara not yet started (preprocessing) || 794666 markings, 1746114 edges, 8160 markings/sec, 165 secs
lola: sara not yet started (preprocessing) || 825010 markings, 1807445 edges, 6069 markings/sec, 170 secs
lola: sara not yet started (preprocessing) || 842133 markings, 1844108 edges, 3425 markings/sec, 175 secs
lola: sara not yet started (preprocessing) || 865841 markings, 1886929 edges, 4742 markings/sec, 180 secs
lola: sara not yet started (preprocessing) || 889162 markings, 1936558 edges, 4664 markings/sec, 185 secs
lola: sara not yet started (preprocessing) || 915118 markings, 1990194 edges, 5191 markings/sec, 190 secs
lola: sara not yet started (preprocessing) || 937881 markings, 2036376 edges, 4553 markings/sec, 195 secs
lola: sara not yet started (preprocessing) || 950162 markings, 2061909 edges, 2456 markings/sec, 200 secs
lola: sara not yet started (preprocessing) || 981385 markings, 2125391 edges, 6245 markings/sec, 205 secs
lola: sara not yet started (preprocessing) || 1025567 markings, 2198980 edges, 8836 markings/sec, 210 secs
lola: sara not yet started (preprocessing) || 1068978 markings, 2294351 edges, 8682 markings/sec, 215 secs
lola: sara not yet started (preprocessing) || 1108303 markings, 2369216 edges, 7865 markings/sec, 220 secs
lola: sara not yet started (preprocessing) || 1147554 markings, 2451654 edges, 7850 markings/sec, 225 secs
lola: sara not yet started (preprocessing) || 1159111 markings, 2478237 edges, 2311 markings/sec, 230 secs
lola: sara not yet started (preprocessing) || 1170816 markings, 2506459 edges, 2341 markings/sec, 235 secs
lola: sara not yet started (preprocessing) || 1207658 markings, 2572278 edges, 7368 markings/sec, 240 secs
lola: sara not yet started (preprocessing) || 1245431 markings, 2637418 edges, 7555 markings/sec, 245 secs
lola: sara not yet started (preprocessing) || 1286816 markings, 2717401 edges, 8277 markings/sec, 250 secs
lola: sara not yet started (preprocessing) || 1313048 markings, 2767633 edges, 5246 markings/sec, 255 secs
lola: sara not yet started (preprocessing) || 1339174 markings, 2822136 edges, 5225 markings/sec, 260 secs
lola: sara not yet started (preprocessing) || 1370302 markings, 2886269 edges, 6226 markings/sec, 265 secs
lola: sara not yet started (preprocessing) || 1415807 markings, 2977216 edges, 9101 markings/sec, 270 secs
lola: sara not yet started (preprocessing) || 1448333 markings, 3045044 edges, 6505 markings/sec, 275 secs
lola: sara not yet started (preprocessing) || 1477456 markings, 3104461 edges, 5825 markings/sec, 280 secs
lola: sara not yet started (preprocessing) || 1518371 markings, 3179267 edges, 8183 markings/sec, 285 secs
lola: sara not yet started (preprocessing) || 1541551 markings, 3219721 edges, 4636 markings/sec, 290 secs
lola: sara not yet started (preprocessing) || 1574417 markings, 3290478 edges, 6573 markings/sec, 295 secs
lola: sara not yet started (preprocessing) || 1601509 markings, 3340106 edges, 5418 markings/sec, 300 secs
lola: sara not yet started (preprocessing) || 1648002 markings, 3423061 edges, 9299 markings/sec, 305 secs
lola: sara not yet started (preprocessing) || 1682410 markings, 3485396 edges, 6882 markings/sec, 310 secs
lola: sara not yet started (preprocessing) || 1718224 markings, 3550075 edges, 7163 markings/sec, 315 secs
lola: sara not yet started (preprocessing) || 1746642 markings, 3607631 edges, 5684 markings/sec, 320 secs
lola: sara not yet started (preprocessing) || 1771765 markings, 3646076 edges, 5025 markings/sec, 325 secs
lola: sara not yet started (preprocessing) || 1811214 markings, 3723569 edges, 7890 markings/sec, 330 secs
lola: sara not yet started (preprocessing) || 1853146 markings, 3805043 edges, 8386 markings/sec, 335 secs
lola: sara not yet started (preprocessing) || 1879179 markings, 3854239 edges, 5207 markings/sec, 340 secs
lola: sara not yet started (preprocessing) || 1916674 markings, 3932663 edges, 7499 markings/sec, 345 secs
lola: sara not yet started (preprocessing) || 1945772 markings, 3980583 edges, 5820 markings/sec, 350 secs
lola: sara not yet started (preprocessing) || 1985833 markings, 4064511 edges, 8012 markings/sec, 355 secs
lola: sara not yet started (preprocessing) || 2019418 markings, 4118175 edges, 6717 markings/sec, 360 secs
lola: sara not yet started (preprocessing) || 2051775 markings, 4186527 edges, 6471 markings/sec, 365 secs
lola: sara not yet started (preprocessing) || 2075848 markings, 4236803 edges, 4815 markings/sec, 370 secs
lola: sara not yet started (preprocessing) || 2115425 markings, 4315108 edges, 7915 markings/sec, 375 secs
lola: sara not yet started (preprocessing) || 2154023 markings, 4393481 edges, 7720 markings/sec, 380 secs
lola: sara not yet started (preprocessing) || 2180181 markings, 4445376 edges, 5232 markings/sec, 385 secs
lola: sara not yet started (preprocessing) || 2219842 markings, 4516264 edges, 7932 markings/sec, 390 secs
lola: sara not yet started (preprocessing) || 2243981 markings, 4558487 edges, 4828 markings/sec, 395 secs
lola: sara not yet started (preprocessing) || 2280030 markings, 4634753 edges, 7210 markings/sec, 400 secs
lola: sara not yet started (preprocessing) || 2303862 markings, 4671230 edges, 4766 markings/sec, 405 secs
lola: sara not yet started (preprocessing) || 2337263 markings, 4738787 edges, 6680 markings/sec, 410 secs
lola: sara not yet started (preprocessing) || 2351098 markings, 4762071 edges, 2767 markings/sec, 415 secs
lola: sara not yet started (preprocessing) || 2389017 markings, 4832378 edges, 7584 markings/sec, 420 secs
lola: sara not yet started (preprocessing) || 2422138 markings, 4893271 edges, 6624 markings/sec, 425 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 435 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((NOT FIREABLE(t6539) AND NOT FIREABLE(t6538) AND NOT FIREABLE(t6537) AND NOT FIREABLE(t6536) AND NOT FIREABLE(t6785) AND NOT FIREABLE(t6784) AND NOT FIREABLE(t6783) AND NOT FIREABLE(t6782) AND NOT FIREABLE(t6781) AND NOT FIREABLE(t6780) AND NOT FIREABLE(t6779) AND NOT FIREABLE(t6778) AND NOT FIREABLE(t6777) AND NOT FIREABLE(t6776) AND NOT FIREABLE(t6775) AND NOT FIREABLE(t6774) AND NOT FIRE... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 336 literals and 128 conjunctive subformulas
lola: state equation: write sara problem file to PolyORBLF-COL-S06J04T04-ReachabilityFireability-10.sara
lola: state equation: calling and running sara
sara: try reading problem file PolyORBLF-COL-S06J04T04-ReachabilityFireability-10.sara.
lola: sara is running 0 secs || 10567 markings, 28299 edges, 2113 markings/sec, 0 secs
lola: sara is running 5 secs || 21322 markings, 59188 edges, 2151 markings/sec, 5 secs
lola: sara is running 10 secs || 32998 markings, 85376 edges, 2335 markings/sec, 10 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 15 secs || 43942 markings, 115145 edges, 2189 markings/sec, 15 secs
lola: sara is running 20 secs || 54579 markings, 141023 edges, 2127 markings/sec, 20 secs
lola: sara is running 25 secs || 67241 markings, 164588 edges, 2532 markings/sec, 25 secs
lola: sara is running 30 secs || 78760 markings, 191211 edges, 2304 markings/sec, 30 secs
lola: sara is running 35 secs || 90228 markings, 220039 edges, 2294 markings/sec, 35 secs
lola: sara is running 40 secs || 101359 markings, 246615 edges, 2226 markings/sec, 40 secs
lola: sara is running 45 secs || 113753 markings, 268665 edges, 2479 markings/sec, 45 secs
lola: sara is running 50 secs || 125333 markings, 292964 edges, 2316 markings/sec, 50 secs
lola: sara is running 55 secs || 137559 markings, 318945 edges, 2445 markings/sec, 55 secs
lola: sara is running 60 secs || 149879 markings, 343031 edges, 2464 markings/sec, 60 secs
lola: sara is running 65 secs || 162102 markings, 370068 edges, 2445 markings/sec, 65 secs
lola: sara is running 70 secs || 174410 markings, 390711 edges, 2462 markings/sec, 70 secs
lola: sara is running 75 secs || 185804 markings, 412215 edges, 2279 markings/sec, 75 secs
lola: sara is running 80 secs || 197200 markings, 437312 edges, 2279 markings/sec, 80 secs
lola: sara is running 85 secs || 209400 markings, 461830 edges, 2440 markings/sec, 85 secs
lola: sara is running 90 secs || 221172 markings, 488088 edges, 2354 markings/sec, 90 secs
lola: sara is running 95 secs || 234122 markings, 509050 edges, 2590 markings/sec, 95 secs
lola: sara is running 100 secs || 246724 markings, 528666 edges, 2520 markings/sec, 100 secs
lola: sara is running 105 secs || 257924 markings, 556828 edges, 2240 markings/sec, 105 secs
lola: sara is running 110 secs || 269366 markings, 581301 edges, 2288 markings/sec, 110 secs
lola: sara is running 115 secs || 280109 markings, 611723 edges, 2149 markings/sec, 115 secs
lola: sara is running 120 secs || 291618 markings, 636488 edges, 2302 markings/sec, 120 secs
lola: sara is running 125 secs || 305026 markings, 655757 edges, 2682 markings/sec, 125 secs
lola: sara is running 130 secs || 318149 markings, 676901 edges, 2625 markings/sec, 130 secs
lola: sara is running 135 secs || 329861 markings, 701711 edges, 2342 markings/sec, 135 secs
lola: sara is running 140 secs || 343239 markings, 719977 edges, 2676 markings/sec, 140 secs
lola: sara is running 145 secs || 356194 markings, 739035 edges, 2591 markings/sec, 145 secs
lola: sara is running 150 secs || 367585 markings, 762980 edges, 2278 markings/sec, 150 secs
lola: sara is running 155 secs || 379657 markings, 781124 edges, 2414 markings/sec, 155 secs
lola: sara is running 160 secs || 391942 markings, 802945 edges, 2457 markings/sec, 160 secs
lola: sara is running 165 secs || 405131 markings, 821842 edges, 2638 markings/sec, 165 secs
lola: sara is running 170 secs || 418604 markings, 837801 edges, 2695 markings/sec, 170 secs
lola: sara is running 175 secs || 431792 markings, 857797 edges, 2638 markings/sec, 175 secs
lola: sara is running 180 secs || 444581 markings, 879447 edges, 2558 markings/sec, 180 secs
lola: sara is running 185 secs || 456580 markings, 902404 edges, 2400 markings/sec, 185 secs
lola: sara is running 190 secs || 468808 markings, 924956 edges, 2446 markings/sec, 190 secs
lola: sara is running 195 secs || 481000 markings, 945804 edges, 2438 markings/sec, 195 secs
lola: sara is running 200 secs || 493068 markings, 968375 edges, 2414 markings/sec, 200 secs
lola: sara is running 205 secs || 506049 markings, 988025 edges, 2596 markings/sec, 205 secs
lola: sara is running 210 secs || 520326 markings, 1005618 edges, 2855 markings/sec, 210 secs
lola: sara is running 215 secs || 533770 markings, 1022148 edges, 2689 markings/sec, 215 secs
lola: sara is running 220 secs || 545855 markings, 1043959 edges, 2417 markings/sec, 220 secs
lola: sara is running 225 secs || 558806 markings, 1062644 edges, 2590 markings/sec, 225 secs
lola: sara is running 230 secs || 571812 markings, 1082476 edges, 2601 markings/sec, 230 secs
lola: sara is running 235 secs || 584796 markings, 1100723 edges, 2597 markings/sec, 235 secs
lola: sara is running 240 secs || 598002 markings, 1119319 edges, 2641 markings/sec, 240 secs
lola: sara is running 245 secs || 611445 markings, 1136823 edges, 2689 markings/sec, 245 secs
lola: sara is running 250 secs || 624736 markings, 1155480 edges, 2658 markings/sec, 250 secs
lola: sara is running 255 secs || 638603 markings, 1172682 edges, 2773 markings/sec, 255 secs
lola: sara is running 260 secs || 652026 markings, 1191413 edges, 2685 markings/sec, 260 secs
lola: sara is running 265 secs || 665041 markings, 1214289 edges, 2603 markings/sec, 265 secs
lola: sara is running 270 secs || 679120 markings, 1231003 edges, 2816 markings/sec, 270 secs
lola: sara is running 275 secs || 693298 markings, 1249783 edges, 2836 markings/sec, 275 secs
lola: sara is running 280 secs || 707042 markings, 1267288 edges, 2749 markings/sec, 280 secs
lola: sara is running 285 secs || 719920 markings, 1288337 edges, 2576 markings/sec, 285 secs
lola: sara is running 290 secs || 733005 markings, 1306587 edges, 2617 markings/sec, 290 secs
lola: sara is running 295 secs || 746165 markings, 1324613 edges, 2632 markings/sec, 295 secs
lola: sara is running 300 secs || 760369 markings, 1342149 edges, 2841 markings/sec, 300 secs
lola: sara is running 305 secs || 773783 markings, 1360568 edges, 2683 markings/sec, 305 secs
lola: sara is running 310 secs || 788028 markings, 1378044 edges, 2849 markings/sec, 310 secs
lola: sara is running 315 secs || 801481 markings, 1397576 edges, 2691 markings/sec, 315 secs
lola: sara is running 320 secs || 815408 markings, 1415490 edges, 2785 markings/sec, 320 secs
lola: sara is running 325 secs || 828639 markings, 1433171 edges, 2646 markings/sec, 325 secs
lola: sara is running 330 secs || 841749 markings, 1452722 edges, 2622 markings/sec, 330 secs
lola: sara is running 335 secs || 855988 markings, 1470067 edges, 2848 markings/sec, 335 secs
lola: sara is running 340 secs || 869980 markings, 1488714 edges, 2798 markings/sec, 340 secs
lola: sara is running 345 secs || 883794 markings, 1505664 edges, 2763 markings/sec, 345 secs
lola: sara is running 350 secs || 896740 markings, 1526438 edges, 2589 markings/sec, 350 secs
lola: sara is running 355 secs || 910420 markings, 1545401 edges, 2736 markings/sec, 355 secs
lola: sara is running 360 secs || 924916 markings, 1561357 edges, 2899 markings/sec, 360 secs
lola: sara is running 365 secs || 938109 markings, 1579503 edges, 2639 markings/sec, 365 secs
lola: sara is running 370 secs || 951972 markings, 1596659 edges, 2773 markings/sec, 370 secs
lola: sara is running 375 secs || 964184 markings, 1619363 edges, 2442 markings/sec, 375 secs
lola: sara is running 380 secs || 977262 markings, 1639061 edges, 2616 markings/sec, 380 secs
lola: sara is running 385 secs || 990638 markings, 1658364 edges, 2675 markings/sec, 385 secs
lola: sara is running 390 secs || 1003919 markings, 1678167 edges, 2656 markings/sec, 390 secs
lola: sara is running 395 secs || 1016661 markings, 1698501 edges, 2548 markings/sec, 395 secs
lola: sara is running 400 secs || 1030344 markings, 1715348 edges, 2737 markings/sec, 400 secs
lola: sara is running 405 secs || 1044360 markings, 1732845 edges, 2803 markings/sec, 405 secs
lola: sara is running 410 secs || 1056564 markings, 1756800 edges, 2441 markings/sec, 410 secs
lola: sara is running 415 secs || 1069829 markings, 1776440 edges, 2653 markings/sec, 415 secs
lola: sara is running 420 secs || 1083021 markings, 1795505 edges, 2638 markings/sec, 420 secs
lola: sara is running 425 secs || 1096254 markings, 1813814 edges, 2647 markings/sec, 425 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 436 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t6869) OR FIREABLE(t6868) OR FIREABLE(t6867) OR FIREABLE(t6866))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 4 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to PolyORBLF-COL-S06J04T04-ReachabilityFireability-11.sara
lola: state equation: calling and running sara
sara: try reading problem file PolyORBLF-COL-S06J04T04-ReachabilityFireability-11.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: ========================================
lola: subprocess 12 will run for 544 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t5659) OR FIREABLE(t5658) OR FIREABLE(t5657) OR FIREABLE(t5656) OR FIREABLE(t5655) OR FIREABLE(t5654) OR FIREABLE(t5653) OR FIREABLE(t5652) OR FIREABLE(t5651) OR FIREABLE(t5650) OR FIREABLE(t5649) OR FIREABLE(t5648) OR FIREABLE(t5647) OR FIREABLE(t5646) OR FIREABLE(t5645) OR FIREABLE(t5644) OR FIREABLE(t5643) OR FIREABLE(t5642) OR FIREABLE(t5641) OR FIREABLE(t564... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 24 literals and 24 conjunctive subformulas
lola: state equation: write sara problem file to PolyORBLF-COL-S06J04T04-ReachabilityFireability-12.sara
lola: state equation: calling and running sara
sara: try reading problem file PolyORBLF-COL-S06J04T04-ReachabilityFireability-12.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: ========================================
lola: subprocess 13 will run for 726 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t6969) AND NOT FIREABLE(t6968) AND NOT FIREABLE(t6967) AND NOT FIREABLE(t6966) AND NOT FIREABLE(t6965) AND NOT FIREABLE(t6964) AND NOT FIREABLE(t6963) AND NOT FIREABLE(t6962) AND NOT FIREABLE(t6961) AND NOT FIREABLE(t6960) AND NOT FIREABLE(t6959) AND NOT FIREABLE(t6958) AND NOT FIREABLE(t6957) AND NOT FIREABLE(t6956) AND NOT FIREABLE(t6955) AND NOT FIREABLE(t6954) AND NOT FIREA... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 72 literals and 24 conjunctive subformulas
lola: state equation: write sara problem file to PolyORBLF-COL-S06J04T04-ReachabilityFireability-13.sara
lola: state equation: calling and running sara
sara: try reading problem file PolyORBLF-COL-S06J04T04-ReachabilityFireability-13.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: ========================================
lola: subprocess 14 will run for 1089 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t6969) OR FIREABLE(t6968) OR FIREABLE(t6967) OR FIREABLE(t6966) OR FIREABLE(t6965) OR FIREABLE(t6964) OR FIREABLE(t6963) OR FIREABLE(t6962) OR FIREABLE(t6961) OR FIREABLE(t6960) OR FIREABLE(t6959) OR FIREABLE(t6958) OR FIREABLE(t6957) OR FIREABLE(t6956) OR FIREABLE(t6955) OR FIREABLE(t6954) OR FIREABLE(t6953) OR FIREABLE(t6952) OR FIREABLE(t6951) OR FIREABLE(t695... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 72 literals and 24 conjunctive subformulas
lola: state equation: write sara problem file to PolyORBLF-COL-S06J04T04-ReachabilityFireability-14.sara
lola: state equation: calling and running sara
sara: try reading problem file PolyORBLF-COL-S06J04T04-ReachabilityFireability-14.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: ========================================
lola: subprocess 15 will run for 2178 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((NOT FIREABLE(t6595) AND NOT FIREABLE(t6594) AND NOT FIREABLE(t6593) AND NOT FIREABLE(t6592)) OR (NOT FIREABLE(t6785) AND NOT FIREABLE(t6784) AND NOT FIREABLE(t6783) AND NOT FIREABLE(t6782) AND NOT FIREABLE(t6781) AND NOT FIREABLE(t6780) AND NOT FIREABLE(t6779) AND NOT FIREABLE(t6778) AND NOT FIREABLE(t6777) AND NOT FIREABLE(t6776) AND NOT FIREABLE(t6775) AND NOT FIREABLE(t6774) AND NOT FI... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 400 literals and 80 conjunctive subformulas
lola: state equation: write sara problem file to PolyORBLF-COL-S06J04T04-ReachabilityFireability-15.sara
lola: state equation: calling and running sara
sara: try reading problem file PolyORBLF-COL-S06J04T04-ReachabilityFireability-15.sara.
lola: sara is running 0 secs || 17652 markings, 30241 edges, 3530 markings/sec, 0 secs
lola: sara is running 5 secs || 44390 markings, 63245 edges, 5348 markings/sec, 5 secs
lola: sara is running 10 secs || 71948 markings, 98142 edges, 5512 markings/sec, 10 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 15 secs || 98604 markings, 130812 edges, 5331 markings/sec, 15 secs
lola: sara is running 20 secs || 125654 markings, 164684 edges, 5410 markings/sec, 20 secs
lola: sara is running 25 secs || 152695 markings, 198703 edges, 5408 markings/sec, 25 secs
lola: sara is running 30 secs || 179882 markings, 232840 edges, 5437 markings/sec, 30 secs
lola: sara is running 35 secs || 207589 markings, 268412 edges, 5541 markings/sec, 35 secs
lola: sara is running 40 secs || 236501 markings, 307168 edges, 5782 markings/sec, 40 secs
lola: sara is running 45 secs || 264532 markings, 343534 edges, 5606 markings/sec, 45 secs
lola: sara is running 50 secs || 291194 markings, 377234 edges, 5332 markings/sec, 50 secs
lola: sara is running 55 secs || 318802 markings, 412891 edges, 5522 markings/sec, 55 secs
lola: sara is running 60 secs || 350988 markings, 461858 edges, 6437 markings/sec, 60 secs
lola: sara is running 65 secs || 381196 markings, 511930 edges, 6042 markings/sec, 65 secs
lola: sara is running 70 secs || 409830 markings, 550103 edges, 5727 markings/sec, 70 secs
lola: sara is running 75 secs || 437185 markings, 585664 edges, 5471 markings/sec, 75 secs
lola: sara is running 80 secs || 465286 markings, 622156 edges, 5620 markings/sec, 80 secs
lola: sara is running 85 secs || 492886 markings, 658009 edges, 5520 markings/sec, 85 secs
lola: sara is running 90 secs || 520599 markings, 694071 edges, 5543 markings/sec, 90 secs
lola: sara is running 95 secs || 549516 markings, 732875 edges, 5783 markings/sec, 95 secs
lola: sara is running 100 secs || 577632 markings, 770445 edges, 5623 markings/sec, 100 secs
lola: sara is running 105 secs || 605485 markings, 806636 edges, 5571 markings/sec, 105 secs
lola: sara is running 110 secs || 634641 markings, 846808 edges, 5831 markings/sec, 110 secs
lola: sara is running 115 secs || 663331 markings, 885143 edges, 5738 markings/sec, 115 secs
lola: sara is running 120 secs || 692390 markings, 925113 edges, 5812 markings/sec, 120 secs
lola: sara is running 125 secs || 720490 markings, 962225 edges, 5620 markings/sec, 125 secs
lola: sara is running 130 secs || 748871 markings, 1000717 edges, 5676 markings/sec, 130 secs
lola: sara is running 135 secs || 783466 markings, 1059995 edges, 6919 markings/sec, 135 secs
lola: sara is running 140 secs || 812806 markings, 1103534 edges, 5868 markings/sec, 140 secs
lola: sara is running 145 secs || 841668 markings, 1142460 edges, 5772 markings/sec, 145 secs
lola: sara is running 150 secs || 871405 markings, 1184073 edges, 5947 markings/sec, 150 secs
lola: sara is running 155 secs || 901616 markings, 1227123 edges, 6042 markings/sec, 155 secs
lola: sara is running 160 secs || 930473 markings, 1266668 edges, 5771 markings/sec, 160 secs
lola: sara is running 165 secs || 958310 markings, 1303976 edges, 5567 markings/sec, 165 secs
lola: sara is running 170 secs || 987995 markings, 1346103 edges, 5937 markings/sec, 170 secs
lola: sara is running 175 secs || 1016098 markings, 1383210 edges, 5621 markings/sec, 175 secs
lola: sara is running 180 secs || 1045039 markings, 1423402 edges, 5788 markings/sec, 180 secs
lola: sara is running 185 secs || 1078540 markings, 1476229 edges, 6700 markings/sec, 185 secs
lola: sara is running 190 secs || 1109078 markings, 1528193 edges, 6108 markings/sec, 190 secs
lola: sara is running 195 secs || 1139351 markings, 1571193 edges, 6055 markings/sec, 195 secs
lola: sara is running 200 secs || 1167461 markings, 1610186 edges, 5622 markings/sec, 200 secs
lola: sara is running 205 secs || 1201406 markings, 1671923 edges, 6789 markings/sec, 205 secs
lola: sara is running 210 secs || 1235599 markings, 1734497 edges, 6839 markings/sec, 210 secs
lola: sara is running 215 secs || 1256798 markings, 1771105 edges, 4240 markings/sec, 215 secs
lola: sara is running 220 secs || 1284026 markings, 1807767 edges, 5446 markings/sec, 220 secs
lola: sara is running 225 secs || 1312662 markings, 1847016 edges, 5727 markings/sec, 225 secs
lola: sara is running 230 secs || 1341326 markings, 1886934 edges, 5733 markings/sec, 230 secs
lola: sara is running 235 secs || 1375636 markings, 1949523 edges, 6862 markings/sec, 235 secs
lola: sara is running 240 secs || 1404002 markings, 1988739 edges, 5673 markings/sec, 240 secs
lola: sara is running 245 secs || 1432919 markings, 2029173 edges, 5783 markings/sec, 245 secs
lola: sara is running 250 secs || 1463742 markings, 2074935 edges, 6165 markings/sec, 250 secs
lola: sara is running 255 secs || 1505016 markings, 2165070 edges, 8255 markings/sec, 255 secs
lola: sara is running 260 secs || 1534180 markings, 2208542 edges, 5833 markings/sec, 260 secs
lola: sara is running 265 secs || 1564572 markings, 2251967 edges, 6078 markings/sec, 265 secs
lola: sara is running 270 secs || 1595016 markings, 2296969 edges, 6089 markings/sec, 270 secs
lola: sara is running 275 secs || 1629113 markings, 2359729 edges, 6819 markings/sec, 275 secs
lola: sara is running 280 secs || 1659105 markings, 2402921 edges, 5998 markings/sec, 280 secs
lola: sara is running 285 secs || 1688791 markings, 2445066 edges, 5937 markings/sec, 285 secs
lola: sara is running 290 secs || 1716371 markings, 2482738 edges, 5516 markings/sec, 290 secs
lola: sara is running 295 secs || 1742707 markings, 2517022 edges, 5267 markings/sec, 295 secs
lola: sara is running 300 secs || 1772755 markings, 2560002 edges, 6010 markings/sec, 300 secs
lola: sara is running 305 secs || 1802621 markings, 2603549 edges, 5973 markings/sec, 305 secs
lola: sara is running 310 secs || 1832109 markings, 2645549 edges, 5898 markings/sec, 310 secs
lola: sara is running 315 secs || 1861829 markings, 2688951 edges, 5944 markings/sec, 315 secs
lola: sara is running 320 secs || 1890409 markings, 2728855 edges, 5716 markings/sec, 320 secs
lola: sara is running 325 secs || 1920373 markings, 2771777 edges, 5993 markings/sec, 325 secs
lola: sara is running 330 secs || 1950863 markings, 2816602 edges, 6098 markings/sec, 330 secs
lola: sara is running 335 secs || 1981216 markings, 2864504 edges, 6071 markings/sec, 335 secs
lola: sara is running 340 secs || 2015754 markings, 2925051 edges, 6908 markings/sec, 340 secs
lola: sara is running 345 secs || 2054149 markings, 3007234 edges, 7679 markings/sec, 345 secs
lola: sara is running 350 secs || 2086613 markings, 3061472 edges, 6493 markings/sec, 350 secs
lola: sara is running 355 secs || 2119567 markings, 3116910 edges, 6591 markings/sec, 355 secs
lola: sara is running 360 secs || 2150624 markings, 3162923 edges, 6211 markings/sec, 360 secs
lola: sara is running 365 secs || 2181199 markings, 3225940 edges, 6115 markings/sec, 365 secs
lola: sara is running 370 secs || 2215273 markings, 3290755 edges, 6815 markings/sec, 370 secs
lola: sara is running 375 secs || 2244507 markings, 3332320 edges, 5847 markings/sec, 375 secs
lola: sara is running 380 secs || 2274218 markings, 3375656 edges, 5942 markings/sec, 380 secs
lola: sara is running 385 secs || 2303942 markings, 3418733 edges, 5945 markings/sec, 385 secs
lola: sara is running 390 secs || 2344206 markings, 3502649 edges, 8053 markings/sec, 390 secs
lola: sara is running 395 secs || 2374771 markings, 3564409 edges, 6113 markings/sec, 395 secs
lola: sara is running 400 secs || 2411004 markings, 3634684 edges, 7247 markings/sec, 400 secs
lola: sara is running 405 secs || 2449104 markings, 3711209 edges, 7620 markings/sec, 405 secs
lola: sara is running 410 secs || 2485413 markings, 3778207 edges, 7262 markings/sec, 410 secs
lola: sara is running 415 secs || 2518308 markings, 3831665 edges, 6579 markings/sec, 415 secs
lola: sara is running 420 secs || 2551322 markings, 3886908 edges, 6603 markings/sec, 420 secs
lola: sara is running 425 secs || 2587295 markings, 3953312 edges, 7195 markings/sec, 425 secs
lola: sara is running 430 secs || 2618634 markings, 3998902 edges, 6268 markings/sec, 430 secs
lola: sara is running 435 secs || 2655515 markings, 4067214 edges, 7376 markings/sec, 435 secs
lola: sara is running 440 secs || 2694747 markings, 4142711 edges, 7846 markings/sec, 440 secs
lola: sara is running 445 secs || 2725546 markings, 4190896 edges, 6160 markings/sec, 445 secs
lola: sara is running 450 secs || 2757097 markings, 4236832 edges, 6310 markings/sec, 450 secs
lola: sara is running 455 secs || 2791998 markings, 4300343 edges, 6980 markings/sec, 455 secs
lola: sara is running 460 secs || 2822806 markings, 4345129 edges, 6162 markings/sec, 460 secs
lola: sara is running 465 secs || 2857386 markings, 4403797 edges, 6916 markings/sec, 465 secs
lola: sara is running 470 secs || 2894655 markings, 4474744 edges, 7454 markings/sec, 470 secs
lola: sara is running 475 secs || 2922806 markings, 4515645 edges, 5630 markings/sec, 475 secs
lola: sara is running 480 secs || 2954510 markings, 4562769 edges, 6341 markings/sec, 480 secs
lola: sara is running 485 secs || 2986428 markings, 4610724 edges, 6384 markings/sec, 485 secs
lola: sara is running 490 secs || 3022021 markings, 4676592 edges, 7119 markings/sec, 490 secs
lola: sara is running 495 secs || 3057596 markings, 4743215 edges, 7115 markings/sec, 495 secs
lola: sara is running 500 secs || 3096468 markings, 4821148 edges, 7774 markings/sec, 500 secs
lola: sara is running 505 secs || 3132425 markings, 4887898 edges, 7191 markings/sec, 505 secs
lola: sara is running 510 secs || 3164863 markings, 4953324 edges, 6488 markings/sec, 510 secs
lola: sara is running 515 secs || 3200404 markings, 5023435 edges, 7108 markings/sec, 515 secs
lola: sara is running 520 secs || 3234219 markings, 5079683 edges, 6763 markings/sec, 520 secs
lola: sara is running 525 secs || 3262944 markings, 5135408 edges, 5745 markings/sec, 525 secs
lola: sara is running 530 secs || 3294497 markings, 5181535 edges, 6311 markings/sec, 530 secs
lola: sara is running 535 secs || 3325342 markings, 5226008 edges, 6169 markings/sec, 535 secs
lola: sara is running 540 secs || 3356967 markings, 5289204 edges, 6325 markings/sec, 540 secs
lola: sara is running 545 secs || 3387682 markings, 5352002 edges, 6143 markings/sec, 545 secs
lola: sara is running 550 secs || 3426228 markings, 5427784 edges, 7709 markings/sec, 550 secs
lola: sara is running 555 secs || 3456820 markings, 5475351 edges, 6118 markings/sec, 555 secs
lola: sara is running 560 secs || 3497970 markings, 5562189 edges, 8230 markings/sec, 560 secs
lola: sara is running 565 secs || 3534356 markings, 5631101 edges, 7277 markings/sec, 565 secs
lola: sara is running 570 secs || 3564384 markings, 5692091 edges, 6006 markings/sec, 570 secs
lola: sara is running 575 secs || 3590313 markings, 5736046 edges, 5186 markings/sec, 575 secs
lola: sara is running 580 secs || 3627641 markings, 5810689 edges, 7466 markings/sec, 580 secs
lola: sara is running 585 secs || 3664892 markings, 5884626 edges, 7450 markings/sec, 585 secs
lola: sara is running 590 secs || 3698747 markings, 5957979 edges, 6771 markings/sec, 590 secs
lola: sara is running 595 secs || 3735669 markings, 6035451 edges, 7384 markings/sec, 595 secs
lola: sara is running 600 secs || 3769416 markings, 6092228 edges, 6749 markings/sec, 600 secs
lola: sara is running 605 secs || 3804953 markings, 6158717 edges, 7107 markings/sec, 605 secs
lola: sara is running 610 secs || 3826612 markings, 6194717 edges, 4332 markings/sec, 610 secs
lola: sara is running 615 secs || 3858186 markings, 6242178 edges, 6315 markings/sec, 615 secs
lola: sara is running 620 secs || 3890040 markings, 6291934 edges, 6371 markings/sec, 620 secs
lola: sara is running 625 secs || 3930219 markings, 6379704 edges, 8036 markings/sec, 625 secs
lola: sara is running 630 secs || 3955099 markings, 6421836 edges, 4976 markings/sec, 630 secs
lola: sara is running 635 secs || 3996318 markings, 6508209 edges, 8244 markings/sec, 635 secs
lola: sara is running 640 secs || 4030593 markings, 6576196 edges, 6855 markings/sec, 640 secs
lola: sara is running 645 secs || 4063097 markings, 6641428 edges, 6501 markings/sec, 645 secs
lola: sara is running 650 secs || 4089613 markings, 6681168 edges, 5303 markings/sec, 650 secs
lola: sara is running 655 secs || 4118967 markings, 6724986 edges, 5871 markings/sec, 655 secs
lola: sara is running 660 secs || 4151653 markings, 6797798 edges, 6537 markings/sec, 660 secs
lola: sara is running 665 secs || 4187357 markings, 6871545 edges, 7141 markings/sec, 665 secs
lola: sara is running 670 secs || 4221891 markings, 6933001 edges, 6907 markings/sec, 670 secs
lola: sara is running 675 secs || 4253662 markings, 6988528 edges, 6354 markings/sec, 675 secs
lola: sara is running 680 secs || 4290471 markings, 7062334 edges, 7362 markings/sec, 680 secs
lola: sara is running 685 secs || 4330454 markings, 7147465 edges, 7997 markings/sec, 685 secs
lola: sara is running 690 secs || 4366836 markings, 7223041 edges, 7276 markings/sec, 690 secs
lola: sara is running 695 secs || 4403493 markings, 7297372 edges, 7331 markings/sec, 695 secs
lola: sara is running 700 secs || 4442491 markings, 7380781 edges, 7800 markings/sec, 700 secs
lola: sara is running 705 secs || 4480989 markings, 7466816 edges, 7700 markings/sec, 705 secs
lola: sara is running 710 secs || 4519364 markings, 7549048 edges, 7675 markings/sec, 710 secs
lola: sara is running 715 secs || 4558546 markings, 7634341 edges, 7836 markings/sec, 715 secs
lola: sara is running 720 secs || 4594173 markings, 7707638 edges, 7125 markings/sec, 720 secs
lola: sara is running 725 secs || 4629220 markings, 7777465 edges, 7009 markings/sec, 725 secs
lola: sara is running 730 secs || 4664905 markings, 7847290 edges, 7137 markings/sec, 730 secs
lola: sara is running 735 secs || 4702909 markings, 7932498 edges, 7601 markings/sec, 735 secs
lola: sara is running 740 secs || 4734960 markings, 7983532 edges, 6410 markings/sec, 740 secs
lola: sara is running 745 secs || 4771643 markings, 8061898 edges, 7337 markings/sec, 745 secs
lola: sara is running 750 secs || 4811988 markings, 8150319 edges, 8069 markings/sec, 750 secs
lola: sara is running 755 secs || 4848896 markings, 8229642 edges, 7382 markings/sec, 755 secs
lola: sara is running 760 secs || 4887186 markings, 8312291 edges, 7658 markings/sec, 760 secs
lola: sara is running 765 secs || 4919321 markings, 8372687 edges, 6427 markings/sec, 765 secs
lola: sara is running 770 secs || 4944427 markings, 8414421 edges, 5021 markings/sec, 770 secs
lola: sara is running 775 secs || 4980357 markings, 8481956 edges, 7186 markings/sec, 775 secs
lola: sara is running 780 secs || 5003502 markings, 8521579 edges, 4629 markings/sec, 780 secs
lola: sara is running 785 secs || 5034204 markings, 8567045 edges, 6140 markings/sec, 785 secs
lola: sara is running 790 secs || 5071546 markings, 8650380 edges, 7468 markings/sec, 790 secs
lola: sara is running 795 secs || 5104381 markings, 8708572 edges, 6567 markings/sec, 795 secs
lola: sara is running 800 secs || 5138989 markings, 8780417 edges, 6922 markings/sec, 800 secs
lola: sara is running 805 secs || 5175865 markings, 8858143 edges, 7375 markings/sec, 805 secs
lola: sara is running 810 secs || 5211563 markings, 8931359 edges, 7140 markings/sec, 810 secs
lola: sara is running 815 secs || 5241513 markings, 8993556 edges, 5990 markings/sec, 815 secs
lola: sara is running 820 secs || 5276622 markings, 9064552 edges, 7022 markings/sec, 820 secs
lola: sara is running 825 secs || 5314003 markings, 9138896 edges, 7476 markings/sec, 825 secs
lola: sara is running 830 secs || 5348158 markings, 9200901 edges, 6831 markings/sec, 830 secs
lola: sara is running 835 secs || 5374626 markings, 9242218 edges, 5294 markings/sec, 835 secs
lola: sara is running 840 secs || 5413641 markings, 9322214 edges, 7803 markings/sec, 840 secs
lola: sara is running 845 secs || 5452714 markings, 9406413 edges, 7815 markings/sec, 845 secs
lola: sara is running 850 secs || 5483603 markings, 9455304 edges, 6178 markings/sec, 850 secs
lola: sara is running 855 secs || 5523210 markings, 9532309 edges, 7921 markings/sec, 855 secs
lola: sara is running 860 secs || 5563500 markings, 9617912 edges, 8058 markings/sec, 860 secs
lola: sara is running 865 secs || 5594682 markings, 9681533 edges, 6236 markings/sec, 865 secs
lola: sara is running 870 secs || 5632684 markings, 9765916 edges, 7600 markings/sec, 870 secs
lola: sara is running 875 secs || 5673516 markings, 9853448 edges, 8166 markings/sec, 875 secs
lola: sara is running 880 secs || 5711984 markings, 9932665 edges, 7694 markings/sec, 880 secs
lola: sara is running 885 secs || 5744905 markings, 9994339 edges, 6584 markings/sec, 885 secs
lola: sara is running 890 secs || 5775573 markings, 10039045 edges, 6134 markings/sec, 890 secs
lola: sara is running 895 secs || 5806111 markings, 10101056 edges, 6108 markings/sec, 895 secs
lola: sara is running 900 secs || 5833072 markings, 10142889 edges, 5392 markings/sec, 900 secs
lola: sara is running 905 secs || 5874374 markings, 10230229 edges, 8260 markings/sec, 905 secs
lola: sara is running 910 secs || 5905485 markings, 10283872 edges, 6222 markings/sec, 910 secs
lola: sara is running 915 secs || 5939020 markings, 10341203 edges, 6707 markings/sec, 915 secs
lola: sara is running 920 secs || 5974403 markings, 10403295 edges, 7077 markings/sec, 920 secs
lola: sara is running 925 secs || 5998877 markings, 10444825 edges, 4895 markings/sec, 925 secs
lola: sara is running 930 secs || 6033782 markings, 10510775 edges, 6981 markings/sec, 930 secs
lola: sara is running 935 secs || 6071137 markings, 10588746 edges, 7471 markings/sec, 935 secs
lola: sara is running 940 secs || 6108600 markings, 10662124 edges, 7493 markings/sec, 940 secs
lola: sara is running 945 secs || 6148409 markings, 10746038 edges, 7962 markings/sec, 945 secs
lola: sara is running 950 secs || 6186987 markings, 10825921 edges, 7716 markings/sec, 950 secs
lola: sara is running 955 secs || 6222204 markings, 10898188 edges, 7043 markings/sec, 955 secs
lola: sara is running 960 secs || 6258214 markings, 10963095 edges, 7202 markings/sec, 960 secs
lola: sara is running 965 secs || 6291507 markings, 11025340 edges, 6659 markings/sec, 965 secs
lola: sara is running 970 secs || 6322282 markings, 11078690 edges, 6155 markings/sec, 970 secs
lola: sara is running 975 secs || 6361618 markings, 11160398 edges, 7867 markings/sec, 975 secs
lola: sara is running 980 secs || 6398671 markings, 11232658 edges, 7411 markings/sec, 980 secs
lola: sara is running 985 secs || 6439005 markings, 11319083 edges, 8067 markings/sec, 985 secs
lola: sara is running 990 secs || 6474669 markings, 11387156 edges, 7133 markings/sec, 990 secs
lola: sara is running 995 secs || 6508334 markings, 11442860 edges, 6733 markings/sec, 995 secs
lola: sara is running 1000 secs || 6547509 markings, 11521454 edges, 7835 markings/sec, 1000 secs
lola: sara is running 1005 secs || 6578760 markings, 11569148 edges, 6250 markings/sec, 1005 secs
lola: sara is running 1010 secs || 6619102 markings, 11657467 edges, 8068 markings/sec, 1010 secs
lola: sara is running 1015 secs || 6653469 markings, 11725388 edges, 6873 markings/sec, 1015 secs
lola: sara is running 1020 secs || 6694948 markings, 11813988 edges, 8296 markings/sec, 1020 secs
lola: sara is running 1025 secs || 6731716 markings, 11881467 edges, 7354 markings/sec, 1025 secs
lola: sara is running 1030 secs || 6757137 markings, 11922444 edges, 5084 markings/sec, 1030 secs
lola: sara is running 1035 secs || 6794261 markings, 11994548 edges, 7425 markings/sec, 1035 secs
lola: sara is running 1040 secs || 6829293 markings, 12070461 edges, 7006 markings/sec, 1040 secs
lola: sara is running 1045 secs || 6860770 markings, 12122692 edges, 6295 markings/sec, 1045 secs
lola: sara is running 1050 secs || 6895091 markings, 12188497 edges, 6864 markings/sec, 1050 secs
lola: sara is running 1055 secs || 6930659 markings, 12261354 edges, 7114 markings/sec, 1055 secs
lola: sara is running 1060 secs || 6965329 markings, 12326738 edges, 6934 markings/sec, 1060 secs
lola: sara is running 1065 secs || 7001818 markings, 12403609 edges, 7298 markings/sec, 1065 secs
lola: sara is running 1070 secs || 7038413 markings, 12474646 edges, 7319 markings/sec, 1070 secs
lola: sara is running 1075 secs || 7074559 markings, 12553312 edges, 7229 markings/sec, 1075 secs
lola: sara is running 1080 secs || 7109102 markings, 12620420 edges, 6909 markings/sec, 1080 secs
lola: sara is running 1085 secs || 7140222 markings, 12675408 edges, 6224 markings/sec, 1085 secs
lola: sara is running 1090 secs || 7176484 markings, 12748673 edges, 7252 markings/sec, 1090 secs
lola: sara is running 1095 secs || 7213321 markings, 12824407 edges, 7367 markings/sec, 1095 secs
lola: sara is running 1100 secs || 7245828 markings, 12888594 edges, 6501 markings/sec, 1100 secs
lola: sara is running 1105 secs || 7276718 markings, 12949300 edges, 6178 markings/sec, 1105 secs
lola: sara is running 1110 secs || 7309453 markings, 13006885 edges, 6547 markings/sec, 1110 secs
lola: sara is running 1115 secs || 7339037 markings, 13051352 edges, 5917 markings/sec, 1115 secs
lola: sara is running 1120 secs || 7376220 markings, 13127270 edges, 7437 markings/sec, 1120 secs
lola: sara is running 1125 secs || 7411957 markings, 13207867 edges, 7147 markings/sec, 1125 secs
lola: sara is running 1130 secs || 7446113 markings, 13274600 edges, 6831 markings/sec, 1130 secs
lola: sara is running 1135 secs || 7485207 markings, 13356750 edges, 7819 markings/sec, 1135 secs
lola: sara is running 1140 secs || 7516207 markings, 13417612 edges, 6200 markings/sec, 1140 secs
lola: sara is running 1145 secs || 7549999 markings, 13480427 edges, 6758 markings/sec, 1145 secs
lola: sara is running 1150 secs || 7585605 markings, 13548911 edges, 7121 markings/sec, 1150 secs
lola: sara is running 1155 secs || 7618608 markings, 13610352 edges, 6601 markings/sec, 1155 secs
lola: sara is running 1160 secs || 7659133 markings, 13698954 edges, 8105 markings/sec, 1160 secs
lola: sara is running 1165 secs || 7687655 markings, 13745351 edges, 5704 markings/sec, 1165 secs
lola: sara is running 1170 secs || 7723858 markings, 13820466 edges, 7241 markings/sec, 1170 secs
lola: sara is running 1175 secs || 7760525 markings, 13900374 edges, 7333 markings/sec, 1175 secs
lola: sara is running 1180 secs || 7790747 markings, 13945075 edges, 6044 markings/sec, 1180 secs
lola: sara is running 1185 secs || 7828186 markings, 14025145 edges, 7488 markings/sec, 1185 secs
lola: sara is running 1190 secs || 7860196 markings, 14086088 edges, 6402 markings/sec, 1190 secs
lola: sara is running 1195 secs || 7891482 markings, 14137300 edges, 6257 markings/sec, 1195 secs
lola: sara is running 1200 secs || 7916237 markings, 14177556 edges, 4951 markings/sec, 1200 secs
lola: sara is running 1205 secs || 7949533 markings, 14237009 edges, 6659 markings/sec, 1205 secs
lola: sara is running 1210 secs || 7985054 markings, 14310693 edges, 7104 markings/sec, 1210 secs
lola: sara is running 1215 secs || 8022460 markings, 14394963 edges, 7481 markings/sec, 1215 secs
lola: sara is running 1220 secs || 8052652 markings, 14439894 edges, 6038 markings/sec, 1220 secs
lola: sara is running 1225 secs || 8091746 markings, 14522091 edges, 7819 markings/sec, 1225 secs
lola: sara is running 1230 secs || 8126125 markings, 14591959 edges, 6876 markings/sec, 1230 secs
lola: sara is running 1235 secs || 8162988 markings, 14673256 edges, 7373 markings/sec, 1235 secs
lola: sara is running 1240 secs || 8200746 markings, 14752407 edges, 7552 markings/sec, 1240 secs
lola: sara is running 1245 secs || 8237364 markings, 14829572 edges, 7324 markings/sec, 1245 secs
lola: sara is running 1250 secs || 8266386 markings, 14875659 edges, 5804 markings/sec, 1250 secs
lola: sara is running 1255 secs || 8303275 markings, 14951120 edges, 7378 markings/sec, 1255 secs
lola: sara is running 1260 secs || 8337096 markings, 15014484 edges, 6764 markings/sec, 1260 secs
lola: sara is running 1265 secs || 8371293 markings, 15079312 edges, 6839 markings/sec, 1265 secs
lola: sara is running 1270 secs || 8401731 markings, 15125100 edges, 6088 markings/sec, 1270 secs
lola: sara is running 1275 secs || 8436232 markings, 15188438 edges, 6900 markings/sec, 1275 secs
lola: sara is running 1280 secs || 8466931 markings, 15233850 edges, 6140 markings/sec, 1280 secs
lola: sara is running 1285 secs || 8504145 markings, 15308079 edges, 7443 markings/sec, 1285 secs
lola: sara is running 1290 secs || 8531454 markings, 15352933 edges, 5462 markings/sec, 1290 secs
lola: sara is running 1295 secs || 8561153 markings, 15397355 edges, 5940 markings/sec, 1295 secs
lola: sara is running 1300 secs || 8599324 markings, 15484179 edges, 7634 markings/sec, 1300 secs
lola: sara is running 1305 secs || 8633713 markings, 15549104 edges, 6878 markings/sec, 1305 secs
lola: sara is running 1310 secs || 8666667 markings, 15609792 edges, 6591 markings/sec, 1310 secs
lola: sara is running 1315 secs || 8702289 markings, 15686769 edges, 7124 markings/sec, 1315 secs
lola: sara is running 1320 secs || 8739383 markings, 15761243 edges, 7419 markings/sec, 1320 secs
lola: sara is running 1325 secs || 8777765 markings, 15838968 edges, 7676 markings/sec, 1325 secs
lola: sara is running 1330 secs || 8817459 markings, 15922166 edges, 7939 markings/sec, 1330 secs
lola: sara is running 1335 secs || 8854884 markings, 16000119 edges, 7485 markings/sec, 1335 secs
lola: sara is running 1340 secs || 8892923 markings, 16078753 edges, 7608 markings/sec, 1340 secs
lola: sara is running 1345 secs || 8928802 markings, 16150257 edges, 7176 markings/sec, 1345 secs
lola: sara is running 1350 secs || 8960152 markings, 16213661 edges, 6270 markings/sec, 1350 secs
lola: sara is running 1355 secs || 8998152 markings, 16290220 edges, 7600 markings/sec, 1355 secs
lola: sara is running 1360 secs || 9036767 markings, 16369255 edges, 7723 markings/sec, 1360 secs
lola: sara is running 1365 secs || 9078207 markings, 16461979 edges, 8288 markings/sec, 1365 secs
lola: sara is running 1370 secs || 9108407 markings, 16509458 edges, 6040 markings/sec, 1370 secs
lola: sara is running 1375 secs || 9148779 markings, 16592928 edges, 8074 markings/sec, 1375 secs
lola: sara is running 1380 secs || 9179438 markings, 16643394 edges, 6132 markings/sec, 1380 secs
lola: sara is running 1385 secs || 9209877 markings, 16688443 edges, 6088 markings/sec, 1385 secs
lola: sara is running 1390 secs || 9247015 markings, 16763197 edges, 7428 markings/sec, 1390 secs
lola: sara is running 1395 secs || 9282746 markings, 16835616 edges, 7146 markings/sec, 1395 secs
lola: sara is running 1400 secs || 9309266 markings, 16879760 edges, 5304 markings/sec, 1400 secs
lola: sara is running 1405 secs || 9344753 markings, 16952989 edges, 7097 markings/sec, 1405 secs
lola: sara is running 1410 secs || 9384614 markings, 17039501 edges, 7972 markings/sec, 1410 secs
lola: sara is running 1415 secs || 9424011 markings, 17129591 edges, 7879 markings/sec, 1415 secs
lola: sara is running 1420 secs || 9460342 markings, 17207768 edges, 7266 markings/sec, 1420 secs
lola: sara is running 1425 secs || 9500052 markings, 17294605 edges, 7942 markings/sec, 1425 secs
lola: sara is running 1430 secs || 9538316 markings, 17380330 edges, 7653 markings/sec, 1430 secs
lola: sara is running 1435 secs || 9575917 markings, 17455090 edges, 7520 markings/sec, 1435 secs
lola: sara is running 1440 secs || 9609805 markings, 17525537 edges, 6778 markings/sec, 1440 secs
lola: sara is running 1445 secs || 9646498 markings, 17599762 edges, 7339 markings/sec, 1445 secs
lola: sara is running 1450 secs || 9684649 markings, 17678740 edges, 7630 markings/sec, 1450 secs
lola: sara is running 1455 secs || 9723868 markings, 17757093 edges, 7844 markings/sec, 1455 secs
lola: sara is running 1460 secs || 9757978 markings, 17822269 edges, 6822 markings/sec, 1460 secs
lola: sara is running 1465 secs || 9794075 markings, 17890259 edges, 7219 markings/sec, 1465 secs
lola: sara is running 1470 secs || 9828690 markings, 17952818 edges, 6923 markings/sec, 1470 secs
lola: sara is running 1475 secs || 9850143 markings, 17991849 edges, 4291 markings/sec, 1475 secs
lola: sara is running 1480 secs || 9884911 markings, 18057926 edges, 6954 markings/sec, 1480 secs
lola: sara is running 1485 secs || 9923035 markings, 18139961 edges, 7625 markings/sec, 1485 secs
lola: sara is running 1490 secs || 9955013 markings, 18195808 edges, 6396 markings/sec, 1490 secs
lola: sara is running 1495 secs || 9983812 markings, 18254047 edges, 5760 markings/sec, 1495 secs
lola: sara is running 1500 secs || 10018480 markings, 18328654 edges, 6934 markings/sec, 1500 secs
lola: sara is running 1505 secs || 10053666 markings, 18401336 edges, 7037 markings/sec, 1505 secs
lola: sara is running 1510 secs || 10091647 markings, 18488571 edges, 7596 markings/sec, 1510 secs
lola: sara is running 1515 secs || 10117272 markings, 18536392 edges, 5125 markings/sec, 1515 secs
lola: sara is running 1520 secs || 10148406 markings, 18592409 edges, 6227 markings/sec, 1520 secs
lola: sara is running 1525 secs || 10188549 markings, 18681949 edges, 8029 markings/sec, 1525 secs
lola: sara is running 1530 secs || 10220130 markings, 18739662 edges, 6316 markings/sec, 1530 secs
lola: sara is running 1535 secs || 10257915 markings, 18816518 edges, 7557 markings/sec, 1535 secs
lola: sara is running 1540 secs || 10289918 markings, 18876897 edges, 6401 markings/sec, 1540 secs
lola: sara is running 1545 secs || 10323736 markings, 18941914 edges, 6764 markings/sec, 1545 secs
lola: sara is running 1550 secs || 10353096 markings, 18997771 edges, 5872 markings/sec, 1550 secs
lola: sara is running 1555 secs || 10382142 markings, 19041459 edges, 5809 markings/sec, 1555 secs
lola: sara is running 1560 secs || 10418266 markings, 19112362 edges, 7225 markings/sec, 1560 secs
lola: sara is running 1565 secs || 10448524 markings, 19165252 edges, 6052 markings/sec, 1565 secs
lola: sara is running 1570 secs || 10485787 markings, 19240850 edges, 7453 markings/sec, 1570 secs
lola: sara is running 1575 secs || 10515763 markings, 19285241 edges, 5995 markings/sec, 1575 secs
lola: sara is running 1580 secs || 10554753 markings, 19362651 edges, 7798 markings/sec, 1580 secs
lola: sara is running 1585 secs || 10587866 markings, 19433684 edges, 6623 markings/sec, 1585 secs
lola: sara is running 1590 secs || 10618781 markings, 19487481 edges, 6183 markings/sec, 1590 secs
lola: sara is running 1595 secs || 10650754 markings, 19553719 edges, 6395 markings/sec, 1595 secs
lola: sara is running 1600 secs || 10687761 markings, 19633636 edges, 7401 markings/sec, 1600 secs
lola: sara is running 1605 secs || 10721893 markings, 19705843 edges, 6826 markings/sec, 1605 secs
lola: sara is running 1610 secs || 10759382 markings, 19778568 edges, 7498 markings/sec, 1610 secs
lola: sara is running 1615 secs || 10795987 markings, 19855804 edges, 7321 markings/sec, 1615 secs
lola: sara is running 1620 secs || 10830250 markings, 19921229 edges, 6853 markings/sec, 1620 secs
lola: sara is running 1625 secs || 10861231 markings, 19972874 edges, 6196 markings/sec, 1625 secs
lola: sara is running 1630 secs || 10894494 markings, 20030534 edges, 6653 markings/sec, 1630 secs
lola: sara is running 1635 secs || 10929917 markings, 20106906 edges, 7085 markings/sec, 1635 secs
lola: sara is running 1640 secs || 10958914 markings, 20149988 edges, 5799 markings/sec, 1640 secs
lola: sara is running 1645 secs || 10992089 markings, 20212527 edges, 6635 markings/sec, 1645 secs
lola: sara is running 1650 secs || 11028996 markings, 20289924 edges, 7381 markings/sec, 1650 secs
lola: sara is running 1655 secs || 11060445 markings, 20350582 edges, 6290 markings/sec, 1655 secs
lola: sara is running 1660 secs || 11095049 markings, 20419051 edges, 6921 markings/sec, 1660 secs
lola: sara is running 1665 secs || 11127407 markings, 20478176 edges, 6472 markings/sec, 1665 secs
lola: sara is running 1670 secs || 11165965 markings, 20557687 edges, 7712 markings/sec, 1670 secs
lola: sara is running 1675 secs || 11192546 markings, 20606020 edges, 5316 markings/sec, 1675 secs
lola: sara is running 1680 secs || 11226468 markings, 20671582 edges, 6784 markings/sec, 1680 secs
lola: sara is running 1685 secs || 11264174 markings, 20748591 edges, 7541 markings/sec, 1685 secs
lola: sara is running 1690 secs || 11297995 markings, 20819078 edges, 6764 markings/sec, 1690 secs
lola: sara is running 1695 secs || 11333944 markings, 20891127 edges, 7190 markings/sec, 1695 secs
lola: sara is running 1700 secs || 11369030 markings, 20966413 edges, 7017 markings/sec, 1700 secs
lola: sara is running 1705 secs || 11407083 markings, 21048355 edges, 7611 markings/sec, 1705 secs
lola: sara is running 1710 secs || 11438726 markings, 21103530 edges, 6329 markings/sec, 1710 secs
lola: sara is running 1715 secs || 11471066 markings, 21162980 edges, 6468 markings/sec, 1715 secs
lola: sara is running 1720 secs || 11507200 markings, 21233379 edges, 7227 markings/sec, 1720 secs
lola: sara is running 1725 secs || 11536943 markings, 21299210 edges, 5949 markings/sec, 1725 secs
lola: sara is running 1730 secs || 11572705 markings, 21370931 edges, 7152 markings/sec, 1730 secs
lola: sara is running 1735 secs || 11605300 markings, 21434268 edges, 6519 markings/sec, 1735 secs
lola: sara is running 1740 secs || 11638420 markings, 21494737 edges, 6624 markings/sec, 1740 secs
lola: sara is running 1745 secs || 11672648 markings, 21563116 edges, 6846 markings/sec, 1745 secs
lola: sara is running 1750 secs || 11705479 markings, 21616669 edges, 6566 markings/sec, 1750 secs
lola: sara is running 1755 secs || 11740420 markings, 21685065 edges, 6988 markings/sec, 1755 secs
lola: sara is running 1760 secs || 11777152 markings, 21759505 edges, 7346 markings/sec, 1760 secs
lola: sara is running 1765 secs || 11810911 markings, 21823236 edges, 6752 markings/sec, 1765 secs
lola: sara is running 1770 secs || 11845389 markings, 21887996 edges, 6896 markings/sec, 1770 secs
lola: sara is running 1775 secs || 11880365 markings, 21953481 edges, 6995 markings/sec, 1775 secs
lola: sara is running 1780 secs || 11918788 markings, 22034057 edges, 7685 markings/sec, 1780 secs
lola: sara is running 1785 secs || 11955091 markings, 22111582 edges, 7261 markings/sec, 1785 secs
lola: sara is running 1790 secs || 11989058 markings, 22175992 edges, 6793 markings/sec, 1790 secs
lola: sara is running 1795 secs || 12023727 markings, 22236486 edges, 6934 markings/sec, 1795 secs
lola: sara is running 1800 secs || 12061590 markings, 22317116 edges, 7573 markings/sec, 1800 secs
lola: sara is running 1805 secs || 12095792 markings, 22381848 edges, 6840 markings/sec, 1805 secs
lola: sara is running 1810 secs || 12132774 markings, 22455044 edges, 7396 markings/sec, 1810 secs
lola: sara is running 1815 secs || 12160238 markings, 22507964 edges, 5493 markings/sec, 1815 secs
lola: sara is running 1820 secs || 12192027 markings, 22563581 edges, 6358 markings/sec, 1820 secs
lola: sara is running 1825 secs || 12229131 markings, 22635375 edges, 7421 markings/sec, 1825 secs
lola: sara is running 1830 secs || 12258902 markings, 22685163 edges, 5954 markings/sec, 1830 secs
lola: sara is running 1835 secs || 12289982 markings, 22743064 edges, 6216 markings/sec, 1835 secs
lola: sara is running 1840 secs || 12327756 markings, 22825131 edges, 7555 markings/sec, 1840 secs
lola: sara is running 1845 secs || 12360124 markings, 22879986 edges, 6474 markings/sec, 1845 secs
lola: sara is running 1850 secs || 12397376 markings, 22959476 edges, 7450 markings/sec, 1850 secs
lola: sara is running 1855 secs || 12420617 markings, 22997301 edges, 4648 markings/sec, 1855 secs
lola: sara is running 1860 secs || 12452405 markings, 23051627 edges, 6358 markings/sec, 1860 secs
lola: sara is running 1865 secs || 12488032 markings, 23119597 edges, 7125 markings/sec, 1865 secs
lola: sara is running 1870 secs || 12521271 markings, 23180420 edges, 6648 markings/sec, 1870 secs
lola: sara is running 1875 secs || 12556004 markings, 23252715 edges, 6947 markings/sec, 1875 secs
lola: sara is running 1880 secs || 12591864 markings, 23325650 edges, 7172 markings/sec, 1880 secs
lola: sara is running 1885 secs || 12623205 markings, 23384225 edges, 6268 markings/sec, 1885 secs
lola: sara is running 1890 secs || 12658598 markings, 23450706 edges, 7079 markings/sec, 1890 secs
lola: sara is running 1895 secs || 12696761 markings, 23529666 edges, 7633 markings/sec, 1895 secs
lola: sara is running 1900 secs || 12734077 markings, 23613047 edges, 7463 markings/sec, 1900 secs
lola: sara is running 1905 secs || 12768212 markings, 23679075 edges, 6827 markings/sec, 1905 secs
lola: sara is running 1910 secs || 12803738 markings, 23752635 edges, 7105 markings/sec, 1910 secs
lola: sara is running 1915 secs || 12835314 markings, 23813239 edges, 6315 markings/sec, 1915 secs
lola: sara is running 1920 secs || 12869522 markings, 23876164 edges, 6842 markings/sec, 1920 secs
lola: sara is running 1925 secs || 12898624 markings, 23920910 edges, 5820 markings/sec, 1925 secs
lola: sara is running 1930 secs || 12936397 markings, 24002632 edges, 7555 markings/sec, 1930 secs
lola: sara is running 1935 secs || 12968516 markings, 24075671 edges, 6424 markings/sec, 1935 secs
lola: sara is running 1940 secs || 12998063 markings, 24135566 edges, 5909 markings/sec, 1940 secs
lola: sara is running 1945 secs || 13031270 markings, 24201410 edges, 6641 markings/sec, 1945 secs
lola: sara is running 1950 secs || 13069346 markings, 24277872 edges, 7615 markings/sec, 1950 secs
lola: sara is running 1955 secs || 13107007 markings, 24354251 edges, 7532 markings/sec, 1955 secs
lola: sara is running 1960 secs || 13143393 markings, 24421767 edges, 7277 markings/sec, 1960 secs
lola: sara is running 1965 secs || 13179633 markings, 24500126 edges, 7248 markings/sec, 1965 secs
lola: sara is running 1970 secs || 13215369 markings, 24570098 edges, 7147 markings/sec, 1970 secs
lola: sara is running 1975 secs || 13247947 markings, 24635791 edges, 6516 markings/sec, 1975 secs
lola: sara is running 1980 secs || 13277914 markings, 24681479 edges, 5993 markings/sec, 1980 secs
lola: sara is running 1985 secs || 13314069 markings, 24762354 edges, 7231 markings/sec, 1985 secs
lola: sara is running 1990 secs || 13349088 markings, 24831827 edges, 7004 markings/sec, 1990 secs
lola: sara is running 1995 secs || 13380899 markings, 24883103 edges, 6362 markings/sec, 1995 secs
lola: sara is running 2000 secs || 13414817 markings, 24949977 edges, 6784 markings/sec, 2000 secs
lola: sara is running 2005 secs || 13452338 markings, 25025750 edges, 7504 markings/sec, 2005 secs
lola: sara is running 2010 secs || 13489804 markings, 25095806 edges, 7493 markings/sec, 2010 secs
lola: sara is running 2015 secs || 13523248 markings, 25159401 edges, 6689 markings/sec, 2015 secs
lola: sara is running 2020 secs || 13557355 markings, 25224284 edges, 6821 markings/sec, 2020 secs
lola: sara is running 2025 secs || 13586487 markings, 25269971 edges, 5826 markings/sec, 2025 secs
lola: sara is running 2030 secs || 13621073 markings, 25334139 edges, 6917 markings/sec, 2030 secs
lola: sara is running 2035 secs || 13653776 markings, 25392588 edges, 6541 markings/sec, 2035 secs
lola: sara is running 2040 secs || 13689212 markings, 25461333 edges, 7087 markings/sec, 2040 secs
lola: sara is running 2045 secs || 13724837 markings, 25530832 edges, 7125 markings/sec, 2045 secs
lola: sara is running 2050 secs || 13759459 markings, 25596326 edges, 6924 markings/sec, 2050 secs
lola: sara is running 2055 secs || 13793812 markings, 25655749 edges, 6871 markings/sec, 2055 secs
lola: sara is running 2060 secs || 13833608 markings, 25741057 edges, 7959 markings/sec, 2060 secs
lola: sara is running 2065 secs || 13868455 markings, 25813018 edges, 6969 markings/sec, 2065 secs
lola: sara is running 2070 secs || 13907058 markings, 25902767 edges, 7721 markings/sec, 2070 secs
lola: sara is running 2075 secs || 13940994 markings, 25968471 edges, 6787 markings/sec, 2075 secs
lola: sara is running 2080 secs || 13974589 markings, 26028317 edges, 6719 markings/sec, 2080 secs
lola: sara is running 2085 secs || 14009831 markings, 26099206 edges, 7048 markings/sec, 2085 secs
lola: sara is running 2090 secs || 14050335 markings, 26189633 edges, 8101 markings/sec, 2090 secs
lola: sara is running 2095 secs || 14088139 markings, 26270303 edges, 7561 markings/sec, 2095 secs
lola: sara is running 2100 secs || 14124614 markings, 26342012 edges, 7295 markings/sec, 2100 secs
lola: sara is running 2105 secs || 14157666 markings, 26408662 edges, 6610 markings/sec, 2105 secs
lola: sara is running 2110 secs || 14189266 markings, 26461549 edges, 6320 markings/sec, 2110 secs
lola: sara is running 2115 secs || 14223630 markings, 26526303 edges, 6873 markings/sec, 2115 secs
lola: sara is running 2120 secs || 14257165 markings, 26598282 edges, 6707 markings/sec, 2120 secs
lola: sara is running 2125 secs || 14292581 markings, 26664178 edges, 7083 markings/sec, 2125 secs
lola: sara is running 2130 secs || 14325447 markings, 26719205 edges, 6573 markings/sec, 2130 secs
lola: sara is running 2135 secs || 14362734 markings, 26786781 edges, 7457 markings/sec, 2135 secs
lola: sara is running 2140 secs || 14395800 markings, 26847303 edges, 6613 markings/sec, 2140 secs
lola: sara is running 2145 secs || 14432065 markings, 26925566 edges, 7253 markings/sec, 2145 secs
lola: sara is running 2150 secs || 14471743 markings, 27015946 edges, 7936 markings/sec, 2150 secs
lola: sara is running 2155 secs || 14508018 markings, 27088616 edges, 7255 markings/sec, 2155 secs
lola: sara is running 2160 secs || 14546602 markings, 27174382 edges, 7717 markings/sec, 2160 secs
lola: sara is running 2165 secs || 14577484 markings, 27239302 edges, 6176 markings/sec, 2165 secs
lola: sara is running 2170 secs || 14613584 markings, 27304899 edges, 7220 markings/sec, 2170 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: yes unknown yes unknown no yes yes no no unknown unknown yes yes no yes unknown
FORMULA PolyORBLF-COL-S06J04T04-ReachabilityFireability-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-ReachabilityFireability-1 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-ReachabilityFireability-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-ReachabilityFireability-3 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-ReachabilityFireability-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-ReachabilityFireability-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-ReachabilityFireability-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-ReachabilityFireability-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-ReachabilityFireability-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-ReachabilityFireability-9 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-ReachabilityFireability-10 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-ReachabilityFireability-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-ReachabilityFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-ReachabilityFireability-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-ReachabilityFireability-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-ReachabilityFireability-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494657055940
--------------------
content from stderr:
----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBLF-COL-S06J04T04"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-COL-S06J04T04.tgz
mv PolyORBLF-COL-S06J04T04 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is PolyORBLF-COL-S06J04T04, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r048-smll-149440869900378"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "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 "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.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 ;