About the Execution of LoLA for S_PolyORBLF-COL-S06J04T04
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4938.540 | 3539493.00 | 6193122.00 | 13453.10 | 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 S_PolyORBLF-COL-S06J04T04, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-smll-149441681500378
=====================================================================
--------------------
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 1496418753837
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_PolyORBLF-COL-S06J04T04: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_PolyORBLF-COL-S06J04T04: translating COL formula ReachabilityFireability into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
ReachabilityFireability @ S_PolyORBLF-COL-S06J04T04 @ 3538 seconds
----- Start make result stdout -----
lola: LoLA will run for 3538 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(t6935) OR FIREABLE(t6934) OR FIREABLE(t6933) OR FIREABLE(t6932) OR ((FIREABLE(t6939) OR FIREABLE(t6938) OR FIREABLE(t6937) OR FIREABLE(t6936)) AND (FIREABLE(t43) OR FIREABLE(t42) OR FIREABLE(t41) OR FIREABLE(t40)))))) : E (F (((FIREABLE(t6731) OR FIREABLE(t6730) OR 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)) AND (FIREABLE(t6939) OR FIREABLE(t6938) OR FIREABLE(t6937) OR FIREABLE(t6936)) AND (FIREABLE(t6343) OR FIREABLE(t6342) OR FIREABLE(t6341) OR FIREABLE(t6340) OR FIREABLE(t6339) OR FIREABLE(t6338) OR FIREABLE(t6337) OR FIREABLE(t6336) OR FIREABLE(t6335) OR FIREABLE(t6334) OR FIREABLE(t6333) OR FIREABLE(t6332) OR FIREABLE(t6331) OR FIREABLE(t6330) OR FIREABLE(t6329) OR FIREABLE(t6328) OR FIREABLE(t6327) OR FIREABLE(t6326) OR FIREABLE(t6325) OR FIREABLE(t6324) OR ((FIREABLE(t6399) OR FIREABLE(t6398) OR FIREABLE(t6397) OR FIREABLE(t6396)) AND (FIREABLE(t6407) OR FIREABLE(t6406) OR FIREABLE(t6405) OR FIREABLE(t6404)) AND (FIREABLE(t6899) OR FIREABLE(t6898) OR FIREABLE(t6897) OR FIREABLE(t6896) OR FIREABLE(t6895) OR FIREABLE(t6894) OR 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 FIREABLE(t6877) OR FIREABLE(t6876) OR FIREABLE(t6875) OR FIREABLE(t6874) OR FIREABLE(t6873) OR FIREABLE(t6872) OR FIREABLE(t6871) OR FIREABLE(t6870) OR FIREABLE(t6869) OR FIREABLE(t6868) OR FIREABLE(t6867) OR FIREABLE(t6866) OR FIREABLE(t6865) OR FIREABLE(t6864) OR FIREABLE(t6863) OR FIREABLE(t6862) OR FIREABLE(t6861) OR FIREABLE(t6860) OR FIREABLE(t6859) OR FIREABLE(t6858) OR FIREABLE(t6857) OR FIREABLE(t6856) OR FIREABLE(t6855) OR FIREABLE(t6854) OR FIREABLE(t6853) OR FIREABLE(t6852) OR FIREABLE(t6851) OR FIREABLE(t6850) OR FIREABLE(t6849) OR FIREABLE(t6848) OR FIREABLE(t6847) OR FIREABLE(t6846) OR FIREABLE(t6845) OR FIREABLE(t6844) OR FIREABLE(t6843) OR FIREABLE(t6842) OR FIREABLE(t6841) OR FIREABLE(t6840) OR FIREABLE(t6839) OR FIREABLE(t6838) OR FIREABLE(t6837) OR FIREABLE(t6836) OR FIREABLE(t6835) OR FIREABLE(t6834) OR FIREABLE(t6833) OR FIREABLE(t6832) OR FIREABLE(t6831) OR FIREABLE(t6830) OR 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) OR FIREABLE(t6809) OR FIREABLE(t6808) OR FIREABLE(t6807) OR FIREABLE(t6806) OR 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(t6785) OR FIREABLE(t6784) OR FIREABLE(t6783) OR FIREABLE(t6782) OR FIREABLE(t6781) OR FIREABLE(t6780))))))) : E (F ((FIREABLE(t6775) OR FIREABLE(t6774) OR FIREABLE(t6773) OR FIREABLE(t6772) OR FIREABLE(t6771) OR FIREABLE(t6770) OR FIREABLE(t6769) OR FIREABLE(t6768) OR FIREABLE(t6767) OR FIREABLE(t6766) OR FIREABLE(t6765) OR FIREABLE(t6764) OR FIREABLE(t6763) OR FIREABLE(t6762) OR 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)))) : E (F (((FIREABLE(t7) OR FIREABLE(t6) OR FIREABLE(t5) OR FIREABLE(t4)) AND (FIREABLE(t5235) OR FIREABLE(t5234) OR FIREABLE(t5233) OR FIREABLE(t5232)) AND (FIREABLE(t47) OR FIREABLE(t46) OR FIREABLE(t45) OR FIREABLE(t44) OR FIREABLE(t6903) OR FIREABLE(t6902) OR FIREABLE(t6901) OR FIREABLE(t6900) OR (NOT FIREABLE(t6979) AND NOT FIREABLE(t6978) AND NOT FIREABLE(t6977) AND NOT FIREABLE(t6976) AND NOT FIREABLE(t6975) AND NOT FIREABLE(t6974) AND NOT FIREABLE(t6973) AND NOT FIREABLE(t6972) AND NOT FIREABLE(t6971) AND NOT FIREABLE(t6970) AND 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(t6985) AND NOT FIREABLE(t6984) AND NOT FIREABLE(t6983) AND NOT FIREABLE(t6982) AND NOT FIREABLE(t6981) AND NOT FIREABLE(t6980)) OR ((FIREABLE(t6303) OR FIREABLE(t6302) OR FIREABLE(t6301) OR FIREABLE(t6300) OR FIREABLE(t6299) OR FIREABLE(t6298) OR FIREABLE(t6297) OR FIREABLE(t6296) OR FIREABLE(t6295) OR FIREABLE(t6294) OR FIREABLE(t6293) OR FIREABLE(t6292) OR FIREABLE(t6291) OR FIREABLE(t6290) OR FIREABLE(t6289) OR FIREABLE(t6288) OR FIREABLE(t6287) OR FIREABLE(t6286) OR FIREABLE(t6285) OR FIREABLE(t6284) OR FIREABLE(t6283) OR FIREABLE(t6282) OR FIREABLE(t6281) OR FIREABLE(t6280)) AND (FIREABLE(t5247) OR FIREABLE(t5246) OR FIREABLE(t5245) OR FIREABLE(t5244))))))) : A (G ((NOT FIREABLE(t6989) AND NOT FIREABLE(t6988) AND NOT FIREABLE(t6987) AND NOT FIREABLE(t6986) AND NOT FIREABLE(t6939) AND NOT FIREABLE(t6938) AND NOT FIREABLE(t6937) AND NOT FIREABLE(t6936)))) : E (F ((FIREABLE(t6367) OR FIREABLE(t6366) OR FIREABLE(t6365) OR FIREABLE(t6364) OR FIREABLE(t6363) OR FIREABLE(t6362) OR FIREABLE(t6361) OR FIREABLE(t6360) OR FIREABLE(t6359) OR FIREABLE(t6358) OR FIREABLE(t6357) OR FIREABLE(t6356) OR FIREABLE(t6355) OR FIREABLE(t6354) OR FIREABLE(t6353) OR FIREABLE(t6352) OR FIREABLE(t6351) OR FIREABLE(t6350) OR FIREABLE(t6349) OR FIREABLE(t6348) OR FIREABLE(t6347) OR FIREABLE(t6346) OR FIREABLE(t6345) OR FIREABLE(t6344)))) : E (F ((((FIREABLE(t6407) OR FIREABLE(t6406) OR FIREABLE(t6405) OR FIREABLE(t6404)) AND (FIREABLE(t6255) OR FIREABLE(t6254) OR FIREABLE(t6253) OR FIREABLE(t6252) OR FIREABLE(t6251) OR FIREABLE(t6250) OR FIREABLE(t6249) OR FIREABLE(t6248) OR FIREABLE(t6247) OR FIREABLE(t6246) OR FIREABLE(t6245) OR FIREABLE(t6244) OR FIREABLE(t6243) OR FIREABLE(t6242) OR FIREABLE(t6241) OR FIREABLE(t6240) OR FIREABLE(t6239) OR FIREABLE(t6238) OR FIREABLE(t6237) OR FIREABLE(t6236)) AND (FIREABLE(t43) OR FIREABLE(t42) OR FIREABLE(t41) OR FIREABLE(t40)) AND (FIREABLE(t39) OR FIREABLE(t38) OR FIREABLE(t37) OR FIREABLE(t36)) AND ((NOT FIREABLE(t6263) AND NOT FIREABLE(t6262) AND NOT FIREABLE(t6261) AND NOT FIREABLE(t6260)) OR (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)))) OR ((FIREABLE(t6259) OR FIREABLE(t6258) OR FIREABLE(t6257) OR FIREABLE(t6256) OR (NOT FIREABLE(t6899) AND NOT FIREABLE(t6898) AND NOT FIREABLE(t6897) AND NOT FIREABLE(t6896) AND NOT FIREABLE(t6895) AND NOT FIREABLE(t6894) AND NOT FIREABLE(t6893) AND NOT FIREABLE(t6892) AND NOT FIREABLE(t6891) AND NOT FIREABLE(t6890) AND NOT FIREABLE(t6889) AND NOT FIREABLE(t6888) AND NOT FIREABLE(t6887) AND NOT FIREABLE(t6886) AND NOT FIREABLE(t6885) AND NOT FIREABLE(t6884) AND NOT FIREABLE(t6883) AND NOT FIREABLE(t6882) AND NOT FIREABLE(t6881) AND NOT FIREABLE(t6880) AND NOT FIREABLE(t6879) AND NOT FIREABLE(t6878) AND NOT FIREABLE(t6877) AND NOT FIREABLE(t6876) AND NOT FIREABLE(t6875) AND NOT FIREABLE(t6874) AND NOT FIREABLE(t6873) AND NOT FIREABLE(t6872) AND NOT FIREABLE(t6871) AND NOT FIREABLE(t6870) AND NOT FIREABLE(t6869) AND NOT FIREABLE(t6868) AND NOT FIREABLE(t6867) AND NOT FIREABLE(t6866) AND NOT FIREABLE(t6865) AND NOT FIREABLE(t6864) AND NOT FIREABLE(t6863) AND NOT FIREABLE(t6862) AND 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(t6837) AND NOT FIREABLE(t6836) AND NOT FIREABLE(t6835) AND NOT FIREABLE(t6834) AND NOT FIREABLE(t6833) AND NOT FIREABLE(t6832) AND NOT FIREABLE(t6831) AND NOT FIREABLE(t6830) AND NOT FIREABLE(t6829) AND NOT FIREABLE(t6828) AND NOT FIREABLE(t6827) AND NOT FIREABLE(t6826) AND NOT FIREABLE(t6825) AND NOT FIREABLE(t6824) AND NOT FIREABLE(t6823) AND NOT FIREABLE(t6822) AND NOT FIREABLE(t6821) AND NOT FIREABLE(t6820) AND NOT FIREABLE(t6819) AND NOT FIREABLE(t6818) AND NOT FIREABLE(t6817) AND NOT FIREABLE(t6816) AND NOT FIREABLE(t6815) AND NOT FIREABLE(t6814) AND NOT FIREABLE(t6813) AND NOT FIREABLE(t6812) AND NOT FIREABLE(t6811) AND NOT FIREABLE(t6810) AND NOT FIREABLE(t6809) AND NOT FIREABLE(t6808) AND NOT FIREABLE(t6807) AND NOT FIREABLE(t6806) AND NOT FIREABLE(t6805) AND NOT FIREABLE(t6804) AND NOT FIREABLE(t6803) AND NOT FIREABLE(t6802) AND NOT FIREABLE(t6801) AND NOT FIREABLE(t6800) AND NOT FIREABLE(t6799) AND NOT FIREABLE(t6798) AND NOT FIREABLE(t6797) AND NOT FIREABLE(t6796) AND NOT FIREABLE(t6795) AND NOT FIREABLE(t6794) AND NOT FIREABLE(t6793) AND NOT FIREABLE(t6792) AND NOT FIREABLE(t6791) AND NOT FIREABLE(t6790) AND NOT FIREABLE(t6789) AND NOT FIREABLE(t6788) AND NOT FIREABLE(t6787) AND NOT FIREABLE(t6786) 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 (FIREABLE(t6399) OR FIREABLE(t6398) OR FIREABLE(t6397) OR FIREABLE(t6396) OR FIREABLE(t5235) OR FIREABLE(t5234) OR FIREABLE(t5233) OR FIREABLE(t5232)))))) : A (G ((NOT FIREABLE(t6899) AND NOT FIREABLE(t6898) AND NOT FIREABLE(t6897) AND NOT FIREABLE(t6896) AND NOT FIREABLE(t6895) AND NOT FIREABLE(t6894) AND NOT FIREABLE(t6893) AND NOT FIREABLE(t6892) AND NOT FIREABLE(t6891) AND NOT FIREABLE(t6890) AND NOT FIREABLE(t6889) AND NOT FIREABLE(t6888) AND NOT FIREABLE(t6887) AND NOT FIREABLE(t6886) AND NOT FIREABLE(t6885) AND NOT FIREABLE(t6884) AND NOT FIREABLE(t6883) AND NOT FIREABLE(t6882) AND NOT FIREABLE(t6881) AND NOT FIREABLE(t6880) AND NOT FIREABLE(t6879) AND NOT FIREABLE(t6878) AND NOT FIREABLE(t6877) AND NOT FIREABLE(t6876) AND NOT FIREABLE(t6875) AND NOT FIREABLE(t6874) AND NOT FIREABLE(t6873) AND NOT FIREABLE(t6872) AND NOT FIREABLE(t6871) AND NOT FIREABLE(t6870) AND NOT FIREABLE(t6869) AND NOT FIREABLE(t6868) AND NOT FIREABLE(t6867) AND NOT FIREABLE(t6866) AND NOT FIREABLE(t6865) AND NOT FIREABLE(t6864) AND NOT FIREABLE(t6863) AND NOT FIREABLE(t6862) AND 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(t6837) AND NOT FIREABLE(t6836) AND NOT FIREABLE(t6835) AND NOT FIREABLE(t6834) AND NOT FIREABLE(t6833) AND NOT FIREABLE(t6832) AND NOT FIREABLE(t6831) AND NOT FIREABLE(t6830) AND NOT FIREABLE(t6829) AND NOT FIREABLE(t6828) AND NOT FIREABLE(t6827) AND NOT FIREABLE(t6826) AND NOT FIREABLE(t6825) AND NOT FIREABLE(t6824) AND NOT FIREABLE(t6823) AND NOT FIREABLE(t6822) AND NOT FIREABLE(t6821) AND NOT FIREABLE(t6820) AND NOT FIREABLE(t6819) AND NOT FIREABLE(t6818) AND NOT FIREABLE(t6817) AND NOT FIREABLE(t6816) AND NOT FIREABLE(t6815) AND NOT FIREABLE(t6814) AND NOT FIREABLE(t6813) AND NOT FIREABLE(t6812) AND NOT FIREABLE(t6811) AND NOT FIREABLE(t6810) AND NOT FIREABLE(t6809) AND NOT FIREABLE(t6808) AND NOT FIREABLE(t6807) AND NOT FIREABLE(t6806) AND NOT FIREABLE(t6805) AND NOT FIREABLE(t6804) AND NOT FIREABLE(t6803) AND NOT FIREABLE(t6802) AND NOT FIREABLE(t6801) AND NOT FIREABLE(t6800) AND NOT FIREABLE(t6799) AND NOT FIREABLE(t6798) AND NOT FIREABLE(t6797) AND NOT FIREABLE(t6796) AND NOT FIREABLE(t6795) AND NOT FIREABLE(t6794) AND NOT FIREABLE(t6793) AND NOT FIREABLE(t6792) AND NOT FIREABLE(t6791) AND NOT FIREABLE(t6790) AND NOT FIREABLE(t6789) AND NOT FIREABLE(t6788) AND NOT FIREABLE(t6787) AND NOT FIREABLE(t6786) AND NOT FIREABLE(t6785) AND NOT FIREABLE(t6784) AND NOT FIREABLE(t6783) AND NOT FIREABLE(t6782) AND NOT FIREABLE(t6781) AND NOT FIREABLE(t6780)))) : A (G ((NOT FIREABLE(t6993) AND NOT FIREABLE(t6992) AND NOT FIREABLE(t6991) AND NOT FIREABLE(t6990)))) : A (G (((NOT FIREABLE(t6951) AND NOT FIREABLE(t6950) AND NOT FIREABLE(t6949) AND NOT FIREABLE(t6948)) OR (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 NOT FIREABLE(t6609) AND NOT FIREABLE(t6608) AND NOT FIREABLE(t6607) AND NOT FIREABLE(t6606) AND NOT FIREABLE(t6605) AND NOT FIREABLE(t6604) AND NOT FIREABLE(t6603) AND NOT FIREABLE(t6602) AND NOT FIREABLE(t6601) AND NOT FIREABLE(t6600) AND NOT FIREABLE(t6599) AND NOT FIREABLE(t6598) AND NOT FIREABLE(t6597) AND NOT FIREABLE(t6596) AND NOT FIREABLE(t6595) AND NOT FIREABLE(t6594) AND NOT FIREABLE(t6593) AND NOT FIREABLE(t6592) AND NOT FIREABLE(t6591) AND NOT FIREABLE(t6590) AND NOT FIREABLE(t6589) AND NOT FIREABLE(t6588) AND NOT FIREABLE(t6587) AND NOT FIREABLE(t6586) AND NOT FIREABLE(t6585) AND NOT FIREABLE(t6584) AND NOT FIREABLE(t6583) AND NOT FIREABLE(t6582) AND NOT FIREABLE(t6581) AND NOT FIREABLE(t6580)) OR ((FIREABLE(t15) OR FIREABLE(t14) OR FIREABLE(t13) OR FIREABLE(t12)) AND (FIREABLE(t5315) OR FIREABLE(t5314) OR FIREABLE(t5313) OR FIREABLE(t5312) OR FIREABLE(t5311) OR FIREABLE(t5310) OR FIREABLE(t5309) OR FIREABLE(t5308) OR FIREABLE(t5307) OR FIREABLE(t5306) OR FIREABLE(t5305) OR FIREABLE(t5304) OR FIREABLE(t5303) OR FIREABLE(t5302) OR FIREABLE(t5301) OR FIREABLE(t5300))) OR (NOT FIREABLE(t6403) AND NOT FIREABLE(t6402) AND NOT FIREABLE(t6401) AND NOT FIREABLE(t6400) AND NOT FIREABLE(t6579) AND NOT FIREABLE(t6578) AND NOT FIREABLE(t6577) AND NOT FIREABLE(t6576) AND NOT FIREABLE(t6575) AND NOT FIREABLE(t6574) AND NOT FIREABLE(t6573) AND NOT FIREABLE(t6572) AND NOT FIREABLE(t6571) AND NOT FIREABLE(t6570) AND NOT FIREABLE(t6569) AND NOT FIREABLE(t6568) AND NOT FIREABLE(t6567) AND NOT FIREABLE(t6566) AND NOT FIREABLE(t6565) AND NOT FIREABLE(t6564) AND NOT FIREABLE(t6563) AND NOT FIREABLE(t6562) AND NOT FIREABLE(t6561) AND NOT FIREABLE(t6560) AND NOT FIREABLE(t6559) AND NOT FIREABLE(t6558) AND NOT FIREABLE(t6557) AND NOT FIREABLE(t6556) AND NOT FIREABLE(t6555) AND NOT FIREABLE(t6554) AND NOT FIREABLE(t6553) AND NOT FIREABLE(t6552) AND NOT FIREABLE(t6551) AND NOT FIREABLE(t6550) AND NOT FIREABLE(t6549) AND NOT FIREABLE(t6548) AND NOT FIREABLE(t6547) AND NOT FIREABLE(t6546) AND NOT FIREABLE(t6545) AND NOT FIREABLE(t6544) AND NOT FIREABLE(t6543) AND NOT FIREABLE(t6542) AND NOT FIREABLE(t6541) AND NOT FIREABLE(t6540) AND NOT FIREABLE(t6539) AND NOT FIREABLE(t6538) AND NOT FIREABLE(t6537) AND NOT FIREABLE(t6536) AND NOT FIREABLE(t6535) AND NOT FIREABLE(t6534) AND NOT FIREABLE(t6533) AND NOT FIREABLE(t6532) AND NOT FIREABLE(t6531) AND NOT FIREABLE(t6530) AND NOT FIREABLE(t6529) AND NOT FIREABLE(t6528) AND NOT FIREABLE(t6527) AND NOT FIREABLE(t6526) AND NOT FIREABLE(t6525) AND NOT FIREABLE(t6524) AND NOT FIREABLE(t6523) AND NOT FIREABLE(t6522) AND NOT FIREABLE(t6521) AND NOT FIREABLE(t6520) AND NOT FIREABLE(t6519) AND NOT FIREABLE(t6518) AND NOT FIREABLE(t6517) AND NOT FIREABLE(t6516) AND NOT FIREABLE(t6515) AND NOT FIREABLE(t6514) AND NOT FIREABLE(t6513) AND NOT FIREABLE(t6512) AND NOT FIREABLE(t6511) AND NOT FIREABLE(t6510) AND NOT FIREABLE(t6509) AND NOT FIREABLE(t6508) AND NOT FIREABLE(t6507) AND NOT FIREABLE(t6506) AND NOT FIREABLE(t6505) AND NOT FIREABLE(t6504) AND NOT FIREABLE(t6503) AND NOT FIREABLE(t6502) AND NOT FIREABLE(t6501) AND NOT FIREABLE(t6500) AND NOT FIREABLE(t6499) AND NOT FIREABLE(t6498) AND NOT FIREABLE(t6497) AND NOT FIREABLE(t6496) AND NOT FIREABLE(t6495) AND NOT FIREABLE(t6494) AND NOT FIREABLE(t6493) AND NOT FIREABLE(t6492) AND NOT FIREABLE(t6491) AND NOT FIREABLE(t6490) AND NOT FIREABLE(t6489) AND NOT FIREABLE(t6488) AND NOT FIREABLE(t6487) AND NOT FIREABLE(t6486) AND NOT FIREABLE(t6485) AND NOT FIREABLE(t6484) AND NOT FIREABLE(t6483) AND NOT FIREABLE(t6482) AND NOT FIREABLE(t6481) AND NOT FIREABLE(t6480) AND NOT FIREABLE(t6479) AND NOT FIREABLE(t6478) AND NOT FIREABLE(t6477) AND NOT FIREABLE(t6476) AND NOT FIREABLE(t6475) AND NOT FIREABLE(t6474) AND NOT FIREABLE(t6473) AND NOT FIREABLE(t6472) AND NOT FIREABLE(t6471) AND NOT FIREABLE(t6470) AND NOT FIREABLE(t6469) AND NOT FIREABLE(t6468) AND NOT FIREABLE(t6467) AND NOT FIREABLE(t6466) AND NOT FIREABLE(t6465) AND NOT FIREABLE(t6464) AND NOT FIREABLE(t6463) AND NOT FIREABLE(t6462) AND NOT FIREABLE(t6461) AND NOT FIREABLE(t6460) AND NOT FIREABLE(t6459) AND NOT FIREABLE(t6458) AND NOT FIREABLE(t6457) AND NOT FIREABLE(t6456) AND NOT FIREABLE(t6455) AND NOT FIREABLE(t6454) AND NOT FIREABLE(t6453) AND NOT FIREABLE(t6452) AND NOT FIREABLE(t6451) AND NOT FIREABLE(t6450) AND NOT FIREABLE(t6449) AND NOT FIREABLE(t6448) AND NOT FIREABLE(t6447) AND NOT FIREABLE(t6446) AND NOT FIREABLE(t6445) AND NOT FIREABLE(t6444) AND NOT FIREABLE(t6443) AND NOT FIREABLE(t6442) AND NOT FIREABLE(t6441) AND NOT FIREABLE(t6440) AND NOT FIREABLE(t6439) AND NOT FIREABLE(t6438) AND NOT FIREABLE(t6437) AND NOT FIREABLE(t6436) AND (FIREABLE(t5343) OR FIREABLE(t5342) OR FIREABLE(t5341) OR FIREABLE(t5340) OR FIREABLE(t5339) OR FIREABLE(t5338) OR FIREABLE(t5337) OR FIREABLE(t5336) OR FIREABLE(t5335) OR FIREABLE(t5334) OR FIREABLE(t5333) OR FIREABLE(t5332) OR FIREABLE(t5331) OR FIREABLE(t5330) OR FIREABLE(t5329) OR FIREABLE(t5328) OR FIREABLE(t5327) OR FIREABLE(t5326) OR FIREABLE(t5325) OR FIREABLE(t5324) OR FIREABLE(t5323) OR FIREABLE(t5322) OR FIREABLE(t5321) OR FIREABLE(t5320)))))) : A (G (((NOT FIREABLE(t6279) AND NOT FIREABLE(t6278) AND NOT FIREABLE(t6277) AND NOT FIREABLE(t6276) AND NOT FIREABLE(t6323) AND NOT FIREABLE(t6322) AND NOT FIREABLE(t6321) AND NOT FIREABLE(t6320) AND NOT FIREABLE(t6319) AND NOT FIREABLE(t6318) AND NOT FIREABLE(t6317) AND NOT FIREABLE(t6316) AND NOT FIREABLE(t6315) AND NOT FIREABLE(t6314) AND NOT FIREABLE(t6313) AND NOT FIREABLE(t6312) AND NOT FIREABLE(t6311) AND NOT FIREABLE(t6310) AND NOT FIREABLE(t6309) AND NOT FIREABLE(t6308) AND NOT FIREABLE(t6307) AND NOT FIREABLE(t6306) AND NOT FIREABLE(t6305) AND NOT FIREABLE(t6304) AND NOT FIREABLE(t6707) AND NOT FIREABLE(t6706) AND NOT FIREABLE(t6705) AND NOT FIREABLE(t6704) AND NOT FIREABLE(t47) AND NOT FIREABLE(t46) AND NOT FIREABLE(t45) AND NOT FIREABLE(t44)) OR (NOT FIREABLE(t5247) AND NOT FIREABLE(t5246) AND NOT FIREABLE(t5245) AND NOT FIREABLE(t5244))))) : E (F ((FIREABLE(t6989) OR FIREABLE(t6988) OR FIREABLE(t6987) OR FIREABLE(t6986)))) : E (F ((FIREABLE(t6775) OR FIREABLE(t6774) OR FIREABLE(t6773) OR FIREABLE(t6772) OR FIREABLE(t6771) OR FIREABLE(t6770) OR FIREABLE(t6769) OR FIREABLE(t6768) OR FIREABLE(t6767) OR FIREABLE(t6766) OR FIREABLE(t6765) OR FIREABLE(t6764) OR FIREABLE(t6763) OR FIREABLE(t6762) OR 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)))) : A (G ((NOT FIREABLE(t6731) AND NOT FIREABLE(t6730) AND 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)))) : E (F ((FIREABLE(t6731) OR FIREABLE(t6730) OR 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)))) : A (G (((NOT FIREABLE(t6407) AND NOT FIREABLE(t6406) AND NOT FIREABLE(t6405) AND NOT FIREABLE(t6404)) OR (NOT FIREABLE(t6323) AND NOT FIREABLE(t6322) AND NOT FIREABLE(t6321) AND NOT FIREABLE(t6320) AND NOT FIREABLE(t6319) AND NOT FIREABLE(t6318) AND NOT FIREABLE(t6317) AND NOT FIREABLE(t6316) AND NOT FIREABLE(t6315) AND NOT FIREABLE(t6314) AND NOT FIREABLE(t6313) AND NOT FIREABLE(t6312) AND NOT FIREABLE(t6311) AND NOT FIREABLE(t6310) AND NOT FIREABLE(t6309) AND NOT FIREABLE(t6308) AND NOT FIREABLE(t6307) AND NOT FIREABLE(t6306) AND NOT FIREABLE(t6305) AND NOT FIREABLE(t6304)))))
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(t6935) OR FIREABLE(t6934) OR FIREABLE(t6933) OR FIREABLE(t6932) OR ((FIREABLE(t6939) OR FIREABLE(t6938) OR FIREABLE(t6937) OR FIREABLE(t6936)) AND (FIREABLE(t43) OR FIREABLE(t42) OR FIREABLE(t41) OR FIREABLE(t40))))))
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(t6731) OR FIREABLE(t6730) OR 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(t67... (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) || 14083 markings, 14635 edges, 2817 markings/sec, 0 secs
lola: sara not yet started (preprocessing) || 27745 markings, 29311 edges, 2732 markings/sec, 5 secs
lola: sara not yet started (preprocessing) || 41229 markings, 43998 edges, 2697 markings/sec, 10 secs
lola: sara not yet started (preprocessing) || 55014 markings, 58965 edges, 2757 markings/sec, 15 secs
lola: sara not yet started (preprocessing) || 68890 markings, 73874 edges, 2775 markings/sec, 20 secs
lola: sara not yet started (preprocessing) || 82793 markings, 88731 edges, 2781 markings/sec, 25 secs
lola: sara not yet started (preprocessing) || 96859 markings, 103795 edges, 2813 markings/sec, 30 secs
lola: sara not yet started (preprocessing) || 110877 markings, 118910 edges, 2804 markings/sec, 35 secs
lola: sara not yet started (preprocessing) || 124868 markings, 134024 edges, 2798 markings/sec, 40 secs
lola: sara not yet started (preprocessing) || 138824 markings, 149197 edges, 2791 markings/sec, 45 secs
lola: sara not yet started (preprocessing) || 152932 markings, 164204 edges, 2822 markings/sec, 50 secs
lola: sara not yet started (preprocessing) || 166895 markings, 179241 edges, 2793 markings/sec, 55 secs
lola: sara not yet started (preprocessing) || 180912 markings, 194521 edges, 2803 markings/sec, 60 secs
lola: sara not yet started (preprocessing) || 194952 markings, 209593 edges, 2808 markings/sec, 65 secs
lola: sara not yet started (preprocessing) || 208944 markings, 224781 edges, 2798 markings/sec, 70 secs
lola: sara not yet started (preprocessing) || 223006 markings, 239888 edges, 2812 markings/sec, 75 secs
lola: sara not yet started (preprocessing) || 236945 markings, 255290 edges, 2788 markings/sec, 80 secs
lola: sara not yet started (preprocessing) || 250910 markings, 270599 edges, 2793 markings/sec, 85 secs
lola: sara not yet started (preprocessing) || 265010 markings, 286001 edges, 2820 markings/sec, 90 secs
lola: sara not yet started (preprocessing) || 279082 markings, 301458 edges, 2814 markings/sec, 95 secs
lola: sara not yet started (preprocessing) || 293030 markings, 316815 edges, 2790 markings/sec, 100 secs
lola: sara not yet started (preprocessing) || 307059 markings, 332023 edges, 2806 markings/sec, 105 secs
lola: sara not yet started (preprocessing) || 321079 markings, 347151 edges, 2804 markings/sec, 110 secs
lola: sara not yet started (preprocessing) || 335127 markings, 362444 edges, 2810 markings/sec, 115 secs
lola: sara not yet started (preprocessing) || 349258 markings, 377920 edges, 2826 markings/sec, 120 secs
lola: sara not yet started (preprocessing) || 363290 markings, 393202 edges, 2806 markings/sec, 125 secs
lola: sara not yet started (preprocessing) || 377345 markings, 408615 edges, 2811 markings/sec, 130 secs
lola: sara not yet started (preprocessing) || 391366 markings, 423936 edges, 2804 markings/sec, 135 secs
lola: sara not yet started (preprocessing) || 405314 markings, 439153 edges, 2790 markings/sec, 140 secs
lola: sara not yet started (preprocessing) || 419419 markings, 454552 edges, 2821 markings/sec, 145 secs
lola: sara not yet started (preprocessing) || 433561 markings, 469658 edges, 2828 markings/sec, 150 secs
lola: sara not yet started (preprocessing) || 447643 markings, 485099 edges, 2816 markings/sec, 155 secs
lola: sara not yet started (preprocessing) || 461695 markings, 500500 edges, 2810 markings/sec, 160 secs
lola: sara not yet started (preprocessing) || 475743 markings, 516067 edges, 2810 markings/sec, 165 secs
lola: sara not yet started (preprocessing) || 489975 markings, 531660 edges, 2846 markings/sec, 170 secs
lola: sara not yet started (preprocessing) || 504125 markings, 547198 edges, 2830 markings/sec, 175 secs
lola: sara not yet started (preprocessing) || 518213 markings, 562821 edges, 2818 markings/sec, 180 secs
lola: sara not yet started (preprocessing) || 532268 markings, 578393 edges, 2811 markings/sec, 185 secs
lola: sara not yet started (preprocessing) || 546514 markings, 594012 edges, 2849 markings/sec, 190 secs
lola: sara not yet started (preprocessing) || 560611 markings, 609526 edges, 2819 markings/sec, 195 secs
lola: sara not yet started (preprocessing) || 574667 markings, 624988 edges, 2811 markings/sec, 200 secs
lola: sara not yet started (preprocessing) || 588833 markings, 640587 edges, 2833 markings/sec, 205 secs
lola: sara not yet started (preprocessing) || 602871 markings, 656070 edges, 2808 markings/sec, 210 secs
lola: sara not yet started (preprocessing) || 617051 markings, 671637 edges, 2836 markings/sec, 215 secs
lola: sara not yet started (preprocessing) || 631027 markings, 687022 edges, 2795 markings/sec, 220 secs
lola: sara not yet started (preprocessing) || 645119 markings, 702525 edges, 2818 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 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t6775) OR FIREABLE(t6774) OR FIREABLE(t6773) OR FIREABLE(t6772) OR FIREABLE(t6771) OR FIREABLE(t6770) OR FIREABLE(t6769) OR FIREABLE(t6768) OR FIREABLE(t6767) OR FIREABLE(t6766) OR FIREABLE(t6765) OR FIREABLE(t6764) OR FIREABLE(t6763) OR FIREABLE(t6762) OR FIREABLE(t6761) OR FIREABLE(t6760) OR FIREABLE(t6759) OR FIREABLE(t6758) OR FIREABLE(t6757) OR FIREABLE(t675... (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(t7) OR FIREABLE(t6) OR FIREABLE(t5) OR FIREABLE(t4)) AND (FIREABLE(t5235) OR FIREABLE(t5234) OR FIREABLE(t5233) OR FIREABLE(t5232)) AND (FIREABLE(t47) OR FIREABLE(t46) OR FIREABLE(t45) OR FIREABLE(t44) OR FIREABLE(t6903) OR FIREABLE(t6902) OR FIREABLE(t6901) OR FIREABLE(t6900) OR (NOT FIREABLE(t6979) AND NOT FIREABLE(t6978) AND NOT FIREABLE(t6977) AND NOT FIREABLE(t6... (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) || 11376 markings, 16293 edges, 2275 markings/sec, 0 secs
lola: sara not yet started (preprocessing) || 22707 markings, 32458 edges, 2266 markings/sec, 5 secs
lola: sara not yet started (preprocessing) || 33961 markings, 49054 edges, 2251 markings/sec, 10 secs
lola: sara not yet started (preprocessing) || 45462 markings, 66805 edges, 2300 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) || 69362 markings, 97440 edges, 4780 markings/sec, 20 secs
lola: sara not yet started (preprocessing) || 97431 markings, 132472 edges, 5614 markings/sec, 25 secs
lola: sara not yet started (preprocessing) || 125432 markings, 167292 edges, 5600 markings/sec, 30 secs
lola: sara not yet started (preprocessing) || 153286 markings, 201819 edges, 5571 markings/sec, 35 secs
lola: sara not yet started (preprocessing) || 181162 markings, 236495 edges, 5575 markings/sec, 40 secs
lola: sara not yet started (preprocessing) || 208998 markings, 271227 edges, 5567 markings/sec, 45 secs
lola: sara not yet started (preprocessing) || 237318 markings, 307032 edges, 5664 markings/sec, 50 secs
lola: sara not yet started (preprocessing) || 264911 markings, 340993 edges, 5519 markings/sec, 55 secs
lola: sara not yet started (preprocessing) || 294381 markings, 379380 edges, 5894 markings/sec, 60 secs
lola: sara not yet started (preprocessing) || 322689 markings, 415188 edges, 5662 markings/sec, 65 secs
lola: sara not yet started (preprocessing) || 352076 markings, 453155 edges, 5877 markings/sec, 70 secs
lola: sara not yet started (preprocessing) || 380312 markings, 488444 edges, 5647 markings/sec, 75 secs
lola: sara not yet started (preprocessing) || 408920 markings, 525063 edges, 5722 markings/sec, 80 secs
lola: sara not yet started (preprocessing) || 437509 markings, 561327 edges, 5718 markings/sec, 85 secs
lola: sara not yet started (preprocessing) || 465694 markings, 596990 edges, 5637 markings/sec, 90 secs
lola: sara not yet started (preprocessing) || 495295 markings, 635631 edges, 5920 markings/sec, 95 secs
lola: sara not yet started (preprocessing) || 525875 markings, 676388 edges, 6116 markings/sec, 100 secs
lola: sara not yet started (preprocessing) || 555747 markings, 715949 edges, 5974 markings/sec, 105 secs
lola: sara not yet started (preprocessing) || 583894 markings, 751640 edges, 5629 markings/sec, 110 secs
lola: sara not yet started (preprocessing) || 614373 markings, 792905 edges, 6096 markings/sec, 115 secs
lola: sara not yet started (preprocessing) || 645391 markings, 835504 edges, 6204 markings/sec, 120 secs
lola: sara not yet started (preprocessing) || 675197 markings, 875197 edges, 5961 markings/sec, 125 secs
lola: sara not yet started (preprocessing) || 706518 markings, 917710 edges, 6264 markings/sec, 130 secs
lola: sara not yet started (preprocessing) || 740077 markings, 970832 edges, 6712 markings/sec, 135 secs
lola: sara not yet started (preprocessing) || 774175 markings, 1024853 edges, 6820 markings/sec, 140 secs
lola: sara not yet started (preprocessing) || 802156 markings, 1060278 edges, 5596 markings/sec, 145 secs
lola: sara not yet started (preprocessing) || 830953 markings, 1097608 edges, 5759 markings/sec, 150 secs
lola: sara not yet started (preprocessing) || 860558 markings, 1136517 edges, 5921 markings/sec, 155 secs
lola: sara not yet started (preprocessing) || 891386 markings, 1178288 edges, 6166 markings/sec, 160 secs
lola: sara not yet started (preprocessing) || 922666 markings, 1221254 edges, 6256 markings/sec, 165 secs
lola: sara not yet started (preprocessing) || 955573 markings, 1267920 edges, 6581 markings/sec, 170 secs
lola: sara not yet started (preprocessing) || 989958 markings, 1319843 edges, 6877 markings/sec, 175 secs
lola: sara not yet started (preprocessing) || 1031810 markings, 1404446 edges, 8370 markings/sec, 180 secs
lola: sara not yet started (preprocessing) || 1068517 markings, 1468127 edges, 7341 markings/sec, 185 secs
lola: sara not yet started (preprocessing) || 1098925 markings, 1509003 edges, 6082 markings/sec, 190 secs
lola: sara not yet started (preprocessing) || 1137040 markings, 1575805 edges, 7623 markings/sec, 195 secs
lola: sara not yet started (preprocessing) || 1171352 markings, 1631896 edges, 6862 markings/sec, 200 secs
lola: sara not yet started (preprocessing) || 1202130 markings, 1677862 edges, 6156 markings/sec, 205 secs
lola: sara not yet started (preprocessing) || 1238965 markings, 1743299 edges, 7367 markings/sec, 210 secs
lola: sara not yet started (preprocessing) || 1273080 markings, 1795825 edges, 6823 markings/sec, 215 secs
lola: sara not yet started (preprocessing) || 1305087 markings, 1843839 edges, 6401 markings/sec, 220 secs
lola: sara not yet started (preprocessing) || 1342177 markings, 1910093 edges, 7418 markings/sec, 225 secs
lola: sara not yet started (preprocessing) || 1385264 markings, 1997440 edges, 8617 markings/sec, 230 secs
lola: sara not yet started (preprocessing) || 1417382 markings, 2046077 edges, 6424 markings/sec, 235 secs
lola: sara not yet started (preprocessing) || 1447174 markings, 2086501 edges, 5958 markings/sec, 240 secs
lola: sara not yet started (preprocessing) || 1485659 markings, 2156047 edges, 7697 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(t6989) AND NOT FIREABLE(t6988) AND NOT FIREABLE(t6987) AND NOT FIREABLE(t6986) AND NOT FIREABLE(t6939) AND NOT FIREABLE(t6938) AND NOT FIREABLE(t6937) AND NOT FIREABLE(t6936))))
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(t6367) OR FIREABLE(t6366) OR FIREABLE(t6365) OR FIREABLE(t6364) OR FIREABLE(t6363) OR FIREABLE(t6362) OR FIREABLE(t6361) OR FIREABLE(t6360) OR FIREABLE(t6359) OR FIREABLE(t6358) OR FIREABLE(t6357) OR FIREABLE(t6356) OR FIREABLE(t6355) OR FIREABLE(t6354) OR FIREABLE(t6353) OR FIREABLE(t6352) OR FIREABLE(t6351) OR FIREABLE(t6350) OR FIREABLE(t6349) OR FIREABLE(t634... (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: sara is running 0 secs || 13775 markings, 14371 edges, 2755 markings/sec, 0 secs
lola: sara is running 5 secs || 27386 markings, 28725 edges, 2722 markings/sec, 5 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: ========================================
lola: subprocess 6 will run for 303 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((((FIREABLE(t6407) OR FIREABLE(t6406) OR FIREABLE(t6405) OR FIREABLE(t6404)) AND (FIREABLE(t6255) OR FIREABLE(t6254) OR FIREABLE(t6253) OR FIREABLE(t6252) OR FIREABLE(t6251) OR FIREABLE(t6250) OR FIREABLE(t6249) OR FIREABLE(t6248) OR FIREABLE(t6247) OR FIREABLE(t6246) OR FIREABLE(t6245) OR FIREABLE(t6244) OR FIREABLE(t6243) OR FIREABLE(t6242) OR FIREABLE(t6241) 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 337 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t6899) AND NOT FIREABLE(t6898) AND NOT FIREABLE(t6897) AND NOT FIREABLE(t6896) AND NOT FIREABLE(t6895) AND NOT FIREABLE(t6894) AND NOT FIREABLE(t6893) AND NOT FIREABLE(t6892) AND NOT FIREABLE(t6891) AND NOT FIREABLE(t6890) AND NOT FIREABLE(t6889) AND NOT FIREABLE(t6888) AND NOT FIREABLE(t6887) AND NOT FIREABLE(t6886) AND NOT FIREABLE(t6885) AND NOT FIREABLE(t6884) 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 379 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t6993) AND NOT FIREABLE(t6992) AND NOT FIREABLE(t6991) AND NOT FIREABLE(t6990))))
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 433 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((NOT FIREABLE(t6951) AND NOT FIREABLE(t6950) AND NOT FIREABLE(t6949) AND NOT FIREABLE(t6948)) OR (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 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) || 13629 markings, 13807 edges, 2726 markings/sec, 0 secs
lola: sara not yet started (preprocessing) || 27206 markings, 27569 edges, 2715 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) || 41385 markings, 41979 edges, 2836 markings/sec, 10 secs
lola: sara not yet started (preprocessing) || 55625 markings, 56496 edges, 2848 markings/sec, 15 secs
lola: sara not yet started (preprocessing) || 69946 markings, 71165 edges, 2864 markings/sec, 20 secs
lola: sara not yet started (preprocessing) || 84083 markings, 85548 edges, 2827 markings/sec, 25 secs
lola: sara not yet started (preprocessing) || 98269 markings, 100041 edges, 2837 markings/sec, 30 secs
lola: sara not yet started (preprocessing) || 112410 markings, 114491 edges, 2828 markings/sec, 35 secs
lola: sara not yet started (preprocessing) || 126678 markings, 129066 edges, 2854 markings/sec, 40 secs
lola: sara not yet started (preprocessing) || 140875 markings, 143620 edges, 2839 markings/sec, 45 secs
lola: sara not yet started (preprocessing) || 153661 markings, 156783 edges, 2557 markings/sec, 50 secs
lola: sara not yet started (preprocessing) || 167921 markings, 171389 edges, 2852 markings/sec, 55 secs
lola: sara not yet started (preprocessing) || 182184 markings, 186183 edges, 2853 markings/sec, 60 secs
lola: sara not yet started (preprocessing) || 196313 markings, 200639 edges, 2826 markings/sec, 65 secs
lola: sara not yet started (preprocessing) || 210520 markings, 215233 edges, 2841 markings/sec, 70 secs
lola: sara not yet started (preprocessing) || 224703 markings, 229909 edges, 2837 markings/sec, 75 secs
lola: sara not yet started (preprocessing) || 238863 markings, 244456 edges, 2832 markings/sec, 80 secs
lola: sara not yet started (preprocessing) || 253152 markings, 259406 edges, 2858 markings/sec, 85 secs
lola: sara not yet started (preprocessing) || 267452 markings, 274272 edges, 2860 markings/sec, 90 secs
lola: sara not yet started (preprocessing) || 281633 markings, 288933 edges, 2836 markings/sec, 95 secs
lola: sara not yet started (preprocessing) || 296033 markings, 303974 edges, 2880 markings/sec, 100 secs
lola: sara not yet started (preprocessing) || 310175 markings, 318685 edges, 2828 markings/sec, 105 secs
lola: sara not yet started (preprocessing) || 324343 markings, 333300 edges, 2834 markings/sec, 110 secs
lola: sara not yet started (preprocessing) || 338577 markings, 348105 edges, 2847 markings/sec, 115 secs
lola: sara not yet started (preprocessing) || 352696 markings, 362645 edges, 2824 markings/sec, 120 secs
lola: sara not yet started (preprocessing) || 366842 markings, 377274 edges, 2829 markings/sec, 125 secs
lola: sara not yet started (preprocessing) || 381119 markings, 392177 edges, 2855 markings/sec, 130 secs
lola: sara not yet started (preprocessing) || 395357 markings, 406903 edges, 2848 markings/sec, 135 secs
lola: sara not yet started (preprocessing) || 409612 markings, 421625 edges, 2851 markings/sec, 140 secs
lola: sara not yet started (preprocessing) || 423908 markings, 436581 edges, 2859 markings/sec, 145 secs
lola: sara not yet started (preprocessing) || 438403 markings, 451792 edges, 2899 markings/sec, 150 secs
lola: sara not yet started (preprocessing) || 452734 markings, 466904 edges, 2866 markings/sec, 155 secs
lola: sara not yet started (preprocessing) || 467011 markings, 481771 edges, 2855 markings/sec, 160 secs
lola: sara not yet started (preprocessing) || 481258 markings, 496774 edges, 2849 markings/sec, 165 secs
lola: sara not yet started (preprocessing) || 495514 markings, 511638 edges, 2851 markings/sec, 170 secs
lola: sara not yet started (preprocessing) || 509693 markings, 526400 edges, 2836 markings/sec, 175 secs
lola: sara not yet started (preprocessing) || 523832 markings, 541027 edges, 2828 markings/sec, 180 secs
lola: sara not yet started (preprocessing) || 538076 markings, 555920 edges, 2849 markings/sec, 185 secs
lola: sara not yet started (preprocessing) || 552408 markings, 570962 edges, 2866 markings/sec, 190 secs
lola: sara not yet started (preprocessing) || 566728 markings, 586041 edges, 2864 markings/sec, 195 secs
lola: sara not yet started (preprocessing) || 580909 markings, 600893 edges, 2836 markings/sec, 200 secs
lola: sara not yet started (preprocessing) || 595205 markings, 615782 edges, 2859 markings/sec, 205 secs
lola: sara not yet started (preprocessing) || 609625 markings, 630986 edges, 2884 markings/sec, 210 secs
lola: sara not yet started (preprocessing) || 624135 markings, 646122 edges, 2902 markings/sec, 215 secs
lola: sara not yet started (preprocessing) || 638661 markings, 661430 edges, 2905 markings/sec, 220 secs
lola: sara not yet started (preprocessing) || 653122 markings, 676532 edges, 2892 markings/sec, 225 secs
lola: sara not yet started (preprocessing) || 667523 markings, 691757 edges, 2880 markings/sec, 230 secs
lola: sara not yet started (preprocessing) || 681836 markings, 706755 edges, 2863 markings/sec, 235 secs
lola: sara not yet started (preprocessing) || 696252 markings, 721711 edges, 2883 markings/sec, 240 secs
lola: sara not yet started (preprocessing) || 710837 markings, 737091 edges, 2917 markings/sec, 245 secs
lola: sara not yet started (preprocessing) || 725303 markings, 752219 edges, 2893 markings/sec, 250 secs
lola: sara not yet started (preprocessing) || 739698 markings, 767277 edges, 2879 markings/sec, 255 secs
lola: sara not yet started (preprocessing) || 753947 markings, 782269 edges, 2850 markings/sec, 260 secs
lola: sara not yet started (preprocessing) || 768541 markings, 797738 edges, 2919 markings/sec, 265 secs
lola: sara not yet started (preprocessing) || 782888 markings, 812650 edges, 2869 markings/sec, 270 secs
lola: sara not yet started (preprocessing) || 797293 markings, 827718 edges, 2881 markings/sec, 275 secs
lola: sara not yet started (preprocessing) || 811669 markings, 842784 edges, 2875 markings/sec, 280 secs
lola: sara not yet started (preprocessing) || 825945 markings, 857676 edges, 2855 markings/sec, 285 secs
lola: sara not yet started (preprocessing) || 840441 markings, 872832 edges, 2899 markings/sec, 290 secs
lola: sara not yet started (preprocessing) || 854919 markings, 888134 edges, 2896 markings/sec, 295 secs
lola: sara not yet started (preprocessing) || 869206 markings, 903087 edges, 2857 markings/sec, 300 secs
lola: sara not yet started (preprocessing) || 883918 markings, 918605 edges, 2942 markings/sec, 305 secs
lola: sara not yet started (preprocessing) || 898484 markings, 933948 edges, 2913 markings/sec, 310 secs
lola: sara not yet started (preprocessing) || 913227 markings, 949523 edges, 2949 markings/sec, 315 secs
lola: sara not yet started (preprocessing) || 927673 markings, 964665 edges, 2889 markings/sec, 320 secs
lola: sara not yet started (preprocessing) || 942196 markings, 979957 edges, 2905 markings/sec, 325 secs
lola: sara not yet started (preprocessing) || 956579 markings, 995103 edges, 2877 markings/sec, 330 secs
lola: sara not yet started (preprocessing) || 970889 markings, 1010035 edges, 2862 markings/sec, 335 secs
lola: sara not yet started (preprocessing) || 985175 markings, 1025046 edges, 2857 markings/sec, 340 secs
lola: sara not yet started (preprocessing) || 999671 markings, 1040254 edges, 2899 markings/sec, 345 secs
lola: sara not yet started (preprocessing) || 1013789 markings, 1054955 edges, 2824 markings/sec, 350 secs
lola: sara not yet started (preprocessing) || 1028419 markings, 1070425 edges, 2926 markings/sec, 355 secs
lola: sara not yet started (preprocessing) || 1042750 markings, 1085559 edges, 2866 markings/sec, 360 secs
lola: sara not yet started (preprocessing) || 1057209 markings, 1100857 edges, 2892 markings/sec, 365 secs
lola: sara not yet started (preprocessing) || 1071326 markings, 1115607 edges, 2823 markings/sec, 370 secs
lola: sara not yet started (preprocessing) || 1085635 markings, 1130580 edges, 2862 markings/sec, 375 secs
lola: sara not yet started (preprocessing) || 1100127 markings, 1145940 edges, 2898 markings/sec, 380 secs
lola: sara not yet started (preprocessing) || 1114553 markings, 1161162 edges, 2885 markings/sec, 385 secs
lola: sara not yet started (preprocessing) || 1128836 markings, 1176135 edges, 2857 markings/sec, 390 secs
lola: sara not yet started (preprocessing) || 1143308 markings, 1191524 edges, 2894 markings/sec, 395 secs
lola: sara not yet started (preprocessing) || 1157499 markings, 1206595 edges, 2838 markings/sec, 400 secs
lola: sara not yet started (preprocessing) || 1171657 markings, 1221578 edges, 2832 markings/sec, 405 secs
lola: sara not yet started (preprocessing) || 1185907 markings, 1236458 edges, 2850 markings/sec, 410 secs
lola: sara not yet started (preprocessing) || 1200197 markings, 1251454 edges, 2858 markings/sec, 415 secs
lola: sara not yet started (preprocessing) || 1214579 markings, 1266578 edges, 2876 markings/sec, 420 secs
lola: sara not yet started (preprocessing) || 1228882 markings, 1281648 edges, 2861 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 434 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((NOT FIREABLE(t6279) AND NOT FIREABLE(t6278) AND NOT FIREABLE(t6277) AND NOT FIREABLE(t6276) AND NOT FIREABLE(t6323) AND NOT FIREABLE(t6322) AND NOT FIREABLE(t6321) AND NOT FIREABLE(t6320) AND NOT FIREABLE(t6319) AND NOT FIREABLE(t6318) AND NOT FIREABLE(t6317) AND NOT FIREABLE(t6316) AND NOT FIREABLE(t6315) AND NOT FIREABLE(t6314) AND NOT FIREABLE(t6313) AND NOT FIREABLE(t6312) 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 || 13359 markings, 13844 edges, 2672 markings/sec, 0 secs
lola: sara is running 5 secs || 26776 markings, 27885 edges, 2683 markings/sec, 5 secs
lola: sara is running 10 secs || 39911 markings, 41857 edges, 2627 markings/sec, 10 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 15 secs || 52857 markings, 55886 edges, 2589 markings/sec, 15 secs
lola: sara is running 20 secs || 65894 markings, 69731 edges, 2607 markings/sec, 20 secs
lola: sara is running 25 secs || 78969 markings, 83746 edges, 2615 markings/sec, 25 secs
lola: sara is running 30 secs || 91909 markings, 97718 edges, 2588 markings/sec, 30 secs
lola: sara is running 35 secs || 104832 markings, 111747 edges, 2585 markings/sec, 35 secs
lola: sara is running 40 secs || 117833 markings, 125873 edges, 2600 markings/sec, 40 secs
lola: sara is running 45 secs || 130726 markings, 139905 edges, 2579 markings/sec, 45 secs
lola: sara is running 50 secs || 143671 markings, 154024 edges, 2589 markings/sec, 50 secs
lola: sara is running 55 secs || 156536 markings, 168044 edges, 2573 markings/sec, 55 secs
lola: sara is running 60 secs || 169362 markings, 182124 edges, 2565 markings/sec, 60 secs
lola: sara is running 65 secs || 182387 markings, 196127 edges, 2605 markings/sec, 65 secs
lola: sara is running 70 secs || 195534 markings, 210338 edges, 2629 markings/sec, 70 secs
lola: sara is running 75 secs || 208611 markings, 224308 edges, 2615 markings/sec, 75 secs
lola: sara is running 80 secs || 221829 markings, 238424 edges, 2644 markings/sec, 80 secs
lola: sara is running 85 secs || 234915 markings, 252482 edges, 2617 markings/sec, 85 secs
lola: sara is running 90 secs || 248353 markings, 266741 edges, 2688 markings/sec, 90 secs
lola: sara is running 95 secs || 261742 markings, 280887 edges, 2678 markings/sec, 95 secs
lola: sara is running 100 secs || 275423 markings, 295295 edges, 2736 markings/sec, 100 secs
lola: sara is running 105 secs || 288682 markings, 309590 edges, 2652 markings/sec, 105 secs
lola: sara is running 110 secs || 302075 markings, 323814 edges, 2679 markings/sec, 110 secs
lola: sara is running 115 secs || 315572 markings, 338121 edges, 2699 markings/sec, 115 secs
lola: sara is running 120 secs || 328814 markings, 352398 edges, 2648 markings/sec, 120 secs
lola: sara is running 125 secs || 341812 markings, 366398 edges, 2600 markings/sec, 125 secs
lola: sara is running 130 secs || 355358 markings, 380681 edges, 2709 markings/sec, 130 secs
lola: sara is running 135 secs || 368512 markings, 394951 edges, 2631 markings/sec, 135 secs
lola: sara is running 140 secs || 381772 markings, 409089 edges, 2652 markings/sec, 140 secs
lola: sara is running 145 secs || 395200 markings, 423443 edges, 2686 markings/sec, 145 secs
lola: sara is running 150 secs || 408214 markings, 437626 edges, 2603 markings/sec, 150 secs
lola: sara is running 155 secs || 421427 markings, 451849 edges, 2643 markings/sec, 155 secs
lola: sara is running 160 secs || 434628 markings, 466091 edges, 2640 markings/sec, 160 secs
lola: sara is running 165 secs || 447852 markings, 480289 edges, 2645 markings/sec, 165 secs
lola: sara is running 170 secs || 460966 markings, 494422 edges, 2623 markings/sec, 170 secs
lola: sara is running 175 secs || 474401 markings, 508722 edges, 2687 markings/sec, 175 secs
lola: sara is running 180 secs || 487468 markings, 522912 edges, 2613 markings/sec, 180 secs
lola: sara is running 185 secs || 500743 markings, 537125 edges, 2655 markings/sec, 185 secs
lola: sara is running 190 secs || 513829 markings, 551219 edges, 2617 markings/sec, 190 secs
lola: sara is running 195 secs || 527048 markings, 565481 edges, 2644 markings/sec, 195 secs
lola: sara is running 200 secs || 540281 markings, 579784 edges, 2647 markings/sec, 200 secs
lola: sara is running 205 secs || 553452 markings, 594028 edges, 2634 markings/sec, 205 secs
lola: sara is running 210 secs || 566491 markings, 608198 edges, 2608 markings/sec, 210 secs
lola: sara is running 215 secs || 579654 markings, 622462 edges, 2633 markings/sec, 215 secs
lola: sara is running 220 secs || 592935 markings, 636676 edges, 2656 markings/sec, 220 secs
lola: sara is running 225 secs || 606235 markings, 650871 edges, 2660 markings/sec, 225 secs
lola: sara is running 230 secs || 619320 markings, 665079 edges, 2617 markings/sec, 230 secs
lola: sara is running 235 secs || 632551 markings, 679157 edges, 2646 markings/sec, 235 secs
lola: sara is running 240 secs || 645751 markings, 693534 edges, 2640 markings/sec, 240 secs
lola: sara is running 245 secs || 659177 markings, 707908 edges, 2685 markings/sec, 245 secs
lola: sara is running 250 secs || 672328 markings, 722091 edges, 2630 markings/sec, 250 secs
lola: sara is running 255 secs || 685476 markings, 736256 edges, 2630 markings/sec, 255 secs
lola: sara is running 260 secs || 698560 markings, 750359 edges, 2617 markings/sec, 260 secs
lola: sara is running 265 secs || 711709 markings, 764509 edges, 2630 markings/sec, 265 secs
lola: sara is running 270 secs || 724774 markings, 778708 edges, 2613 markings/sec, 270 secs
lola: sara is running 275 secs || 737789 markings, 792822 edges, 2603 markings/sec, 275 secs
lola: sara is running 280 secs || 750870 markings, 806896 edges, 2616 markings/sec, 280 secs
lola: sara is running 285 secs || 763846 markings, 821120 edges, 2595 markings/sec, 285 secs
lola: sara is running 290 secs || 777054 markings, 835471 edges, 2642 markings/sec, 290 secs
lola: sara is running 295 secs || 790235 markings, 849648 edges, 2636 markings/sec, 295 secs
lola: sara is running 300 secs || 803325 markings, 863767 edges, 2618 markings/sec, 300 secs
lola: sara is running 305 secs || 816268 markings, 877819 edges, 2589 markings/sec, 305 secs
lola: sara is running 310 secs || 829453 markings, 891972 edges, 2637 markings/sec, 310 secs
lola: sara is running 315 secs || 842482 markings, 906052 edges, 2606 markings/sec, 315 secs
lola: sara is running 320 secs || 855394 markings, 920126 edges, 2582 markings/sec, 320 secs
lola: sara is running 325 secs || 868510 markings, 934247 edges, 2623 markings/sec, 325 secs
lola: sara is running 330 secs || 881397 markings, 948272 edges, 2577 markings/sec, 330 secs
lola: sara is running 335 secs || 894436 markings, 962449 edges, 2608 markings/sec, 335 secs
lola: sara is running 340 secs || 907559 markings, 976664 edges, 2625 markings/sec, 340 secs
lola: sara is running 345 secs || 920755 markings, 990880 edges, 2639 markings/sec, 345 secs
lola: sara is running 350 secs || 933935 markings, 1005192 edges, 2636 markings/sec, 350 secs
lola: sara is running 355 secs || 947018 markings, 1019330 edges, 2617 markings/sec, 355 secs
lola: sara is running 360 secs || 960119 markings, 1033583 edges, 2620 markings/sec, 360 secs
lola: sara is running 365 secs || 973241 markings, 1047888 edges, 2624 markings/sec, 365 secs
lola: sara is running 370 secs || 986193 markings, 1061986 edges, 2590 markings/sec, 370 secs
lola: sara is running 375 secs || 999151 markings, 1076048 edges, 2592 markings/sec, 375 secs
lola: sara is running 380 secs || 1012200 markings, 1090154 edges, 2610 markings/sec, 380 secs
lola: sara is running 385 secs || 1025340 markings, 1104430 edges, 2628 markings/sec, 385 secs
lola: sara is running 390 secs || 1038327 markings, 1118594 edges, 2597 markings/sec, 390 secs
lola: sara is running 395 secs || 1051389 markings, 1132898 edges, 2612 markings/sec, 395 secs
lola: sara is running 400 secs || 1064462 markings, 1147242 edges, 2615 markings/sec, 400 secs
lola: sara is running 405 secs || 1077479 markings, 1161414 edges, 2603 markings/sec, 405 secs
lola: sara is running 410 secs || 1090485 markings, 1175539 edges, 2601 markings/sec, 410 secs
lola: sara is running 415 secs || 1103609 markings, 1189735 edges, 2625 markings/sec, 415 secs
lola: sara is running 420 secs || 1116603 markings, 1203880 edges, 2599 markings/sec, 420 secs
lola: sara is running 425 secs || 1129569 markings, 1218034 edges, 2593 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 434 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t6989) OR FIREABLE(t6988) OR FIREABLE(t6987) OR FIREABLE(t6986))))
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 542 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t6775) OR FIREABLE(t6774) OR FIREABLE(t6773) OR FIREABLE(t6772) OR FIREABLE(t6771) OR FIREABLE(t6770) OR FIREABLE(t6769) OR FIREABLE(t6768) OR FIREABLE(t6767) OR FIREABLE(t6766) OR FIREABLE(t6765) OR FIREABLE(t6764) OR FIREABLE(t6763) OR FIREABLE(t6762) OR FIREABLE(t6761) OR FIREABLE(t6760) OR FIREABLE(t6759) OR FIREABLE(t6758) OR FIREABLE(t6757) OR FIREABLE(t675... (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 723 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t6731) AND NOT FIREABLE(t6730) AND 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 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 1085 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t6731) OR FIREABLE(t6730) OR 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(t671... (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 2170 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((NOT FIREABLE(t6407) AND NOT FIREABLE(t6406) AND NOT FIREABLE(t6405) AND NOT FIREABLE(t6404)) OR (NOT FIREABLE(t6323) AND NOT FIREABLE(t6322) AND NOT FIREABLE(t6321) AND NOT FIREABLE(t6320) AND NOT FIREABLE(t6319) AND NOT FIREABLE(t6318) AND NOT FIREABLE(t6317) AND NOT FIREABLE(t6316) AND NOT FIREABLE(t6315) AND NOT FIREABLE(t6314) AND NOT FIREABLE(t6313) AND NOT FIREABLE(t6312) 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 || 18773 markings, 18919 edges, 3755 markings/sec, 0 secs
lola: sara is running 5 secs || 37126 markings, 37527 edges, 3671 markings/sec, 5 secs
lola: sara is running 10 secs || 54467 markings, 55134 edges, 3468 markings/sec, 10 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 15 secs || 71019 markings, 72009 edges, 3310 markings/sec, 15 secs
lola: sara is running 20 secs || 87260 markings, 88649 edges, 3248 markings/sec, 20 secs
lola: sara is running 25 secs || 103045 markings, 104884 edges, 3157 markings/sec, 25 secs
lola: sara is running 30 secs || 120656 markings, 122771 edges, 3522 markings/sec, 30 secs
lola: sara is running 35 secs || 136981 markings, 139664 edges, 3265 markings/sec, 35 secs
lola: sara is running 40 secs || 152941 markings, 156394 edges, 3192 markings/sec, 40 secs
lola: sara is running 45 secs || 169987 markings, 173820 edges, 3409 markings/sec, 45 secs
lola: sara is running 50 secs || 188019 markings, 192197 edges, 3606 markings/sec, 50 secs
lola: sara is running 55 secs || 204764 markings, 209591 edges, 3349 markings/sec, 55 secs
lola: sara is running 60 secs || 221394 markings, 226569 edges, 3326 markings/sec, 60 secs
lola: sara is running 65 secs || 237219 markings, 242957 edges, 3165 markings/sec, 65 secs
lola: sara is running 70 secs || 252718 markings, 259233 edges, 3100 markings/sec, 70 secs
lola: sara is running 75 secs || 269336 markings, 276444 edges, 3324 markings/sec, 75 secs
lola: sara is running 80 secs || 285065 markings, 292899 edges, 3146 markings/sec, 80 secs
lola: sara is running 85 secs || 302464 markings, 310689 edges, 3480 markings/sec, 85 secs
lola: sara is running 90 secs || 318680 markings, 327582 edges, 3243 markings/sec, 90 secs
lola: sara is running 95 secs || 335289 markings, 344680 edges, 3322 markings/sec, 95 secs
lola: sara is running 100 secs || 352466 markings, 362257 edges, 3435 markings/sec, 100 secs
lola: sara is running 105 secs || 369763 markings, 379963 edges, 3459 markings/sec, 105 secs
lola: sara is running 110 secs || 385830 markings, 396694 edges, 3213 markings/sec, 110 secs
lola: sara is running 115 secs || 402819 markings, 414192 edges, 3398 markings/sec, 115 secs
lola: sara is running 120 secs || 419757 markings, 431662 edges, 3388 markings/sec, 120 secs
lola: sara is running 125 secs || 435563 markings, 448102 edges, 3161 markings/sec, 125 secs
lola: sara is running 130 secs || 452670 markings, 465675 edges, 3421 markings/sec, 130 secs
lola: sara is running 135 secs || 468635 markings, 482301 edges, 3193 markings/sec, 135 secs
lola: sara is running 140 secs || 485207 markings, 499392 edges, 3314 markings/sec, 140 secs
lola: sara is running 145 secs || 501129 markings, 515981 edges, 3184 markings/sec, 145 secs
lola: sara is running 150 secs || 517242 markings, 532578 edges, 3223 markings/sec, 150 secs
lola: sara is running 155 secs || 532775 markings, 548819 edges, 3107 markings/sec, 155 secs
lola: sara is running 160 secs || 549886 markings, 566330 edges, 3422 markings/sec, 160 secs
lola: sara is running 165 secs || 566282 markings, 583270 edges, 3279 markings/sec, 165 secs
lola: sara is running 170 secs || 581471 markings, 599312 edges, 3038 markings/sec, 170 secs
lola: sara is running 175 secs || 597595 markings, 615984 edges, 3225 markings/sec, 175 secs
lola: sara is running 180 secs || 613847 markings, 632848 edges, 3250 markings/sec, 180 secs
lola: sara is running 185 secs || 630292 markings, 649723 edges, 3289 markings/sec, 185 secs
lola: sara is running 190 secs || 647744 markings, 667483 edges, 3490 markings/sec, 190 secs
lola: sara is running 195 secs || 662642 markings, 683485 edges, 2980 markings/sec, 195 secs
lola: sara is running 200 secs || 678866 markings, 700221 edges, 3245 markings/sec, 200 secs
lola: sara is running 205 secs || 695232 markings, 717101 edges, 3273 markings/sec, 205 secs
lola: sara is running 210 secs || 712284 markings, 734698 edges, 3410 markings/sec, 210 secs
lola: sara is running 215 secs || 728896 markings, 751916 edges, 3322 markings/sec, 215 secs
lola: sara is running 220 secs || 746020 markings, 769303 edges, 3425 markings/sec, 220 secs
lola: sara is running 225 secs || 762408 markings, 786260 edges, 3278 markings/sec, 225 secs
lola: sara is running 230 secs || 778371 markings, 802939 edges, 3193 markings/sec, 230 secs
lola: sara is running 235 secs || 794259 markings, 819505 edges, 3178 markings/sec, 235 secs
lola: sara is running 240 secs || 810432 markings, 836335 edges, 3235 markings/sec, 240 secs
lola: sara is running 245 secs || 826718 markings, 853146 edges, 3257 markings/sec, 245 secs
lola: sara is running 250 secs || 843035 markings, 869985 edges, 3263 markings/sec, 250 secs
lola: sara is running 255 secs || 859588 markings, 887006 edges, 3311 markings/sec, 255 secs
lola: sara is running 260 secs || 876123 markings, 904137 edges, 3307 markings/sec, 260 secs
lola: sara is running 265 secs || 892015 markings, 920655 edges, 3178 markings/sec, 265 secs
lola: sara is running 270 secs || 908165 markings, 937458 edges, 3230 markings/sec, 270 secs
lola: sara is running 275 secs || 924023 markings, 953919 edges, 3172 markings/sec, 275 secs
lola: sara is running 280 secs || 942130 markings, 972224 edges, 3621 markings/sec, 280 secs
lola: sara is running 285 secs || 959979 markings, 990420 edges, 3570 markings/sec, 285 secs
lola: sara is running 290 secs || 976424 markings, 1007392 edges, 3289 markings/sec, 290 secs
lola: sara is running 295 secs || 992111 markings, 1023738 edges, 3137 markings/sec, 295 secs
lola: sara is running 300 secs || 1007196 markings, 1039632 edges, 3017 markings/sec, 300 secs
lola: sara is running 305 secs || 1023087 markings, 1056213 edges, 3178 markings/sec, 305 secs
lola: sara is running 310 secs || 1038899 markings, 1072729 edges, 3162 markings/sec, 310 secs
lola: sara is running 315 secs || 1054378 markings, 1088981 edges, 3096 markings/sec, 315 secs
lola: sara is running 320 secs || 1070960 markings, 1106095 edges, 3316 markings/sec, 320 secs
lola: sara is running 325 secs || 1086919 markings, 1122609 edges, 3192 markings/sec, 325 secs
lola: sara is running 330 secs || 1103576 markings, 1139709 edges, 3331 markings/sec, 330 secs
lola: sara is running 335 secs || 1120300 markings, 1156823 edges, 3345 markings/sec, 335 secs
lola: sara is running 340 secs || 1136949 markings, 1174078 edges, 3330 markings/sec, 340 secs
lola: sara is running 345 secs || 1154397 markings, 1191810 edges, 3490 markings/sec, 345 secs
lola: sara is running 350 secs || 1171375 markings, 1209406 edges, 3396 markings/sec, 350 secs
lola: sara is running 355 secs || 1188120 markings, 1226557 edges, 3349 markings/sec, 355 secs
lola: sara is running 360 secs || 1204667 markings, 1243527 edges, 3309 markings/sec, 360 secs
lola: sara is running 365 secs || 1221460 markings, 1260740 edges, 3359 markings/sec, 365 secs
lola: sara is running 370 secs || 1237166 markings, 1277204 edges, 3141 markings/sec, 370 secs
lola: sara is running 375 secs || 1254021 markings, 1294398 edges, 3371 markings/sec, 375 secs
lola: sara is running 380 secs || 1269223 markings, 1310414 edges, 3040 markings/sec, 380 secs
lola: sara is running 385 secs || 1286057 markings, 1327785 edges, 3367 markings/sec, 385 secs
lola: sara is running 390 secs || 1302624 markings, 1344852 edges, 3313 markings/sec, 390 secs
lola: sara is running 395 secs || 1317707 markings, 1360734 edges, 3017 markings/sec, 395 secs
lola: sara is running 400 secs || 1333011 markings, 1376853 edges, 3061 markings/sec, 400 secs
lola: sara is running 405 secs || 1349837 markings, 1394085 edges, 3365 markings/sec, 405 secs
lola: sara is running 410 secs || 1367194 markings, 1411769 edges, 3471 markings/sec, 410 secs
lola: sara is running 415 secs || 1383745 markings, 1428856 edges, 3310 markings/sec, 415 secs
lola: sara is running 420 secs || 1399764 markings, 1445516 edges, 3204 markings/sec, 420 secs
lola: sara is running 425 secs || 1415272 markings, 1461679 edges, 3102 markings/sec, 425 secs
lola: sara is running 430 secs || 1432076 markings, 1478956 edges, 3361 markings/sec, 430 secs
lola: sara is running 435 secs || 1448468 markings, 1495911 edges, 3278 markings/sec, 435 secs
lola: sara is running 440 secs || 1464683 markings, 1512613 edges, 3243 markings/sec, 440 secs
lola: sara is running 445 secs || 1482092 markings, 1530321 edges, 3482 markings/sec, 445 secs
lola: sara is running 450 secs || 1497728 markings, 1546582 edges, 3127 markings/sec, 450 secs
lola: sara is running 455 secs || 1514295 markings, 1563556 edges, 3313 markings/sec, 455 secs
lola: sara is running 460 secs || 1531518 markings, 1581107 edges, 3445 markings/sec, 460 secs
lola: sara is running 465 secs || 1547823 markings, 1598092 edges, 3261 markings/sec, 465 secs
lola: sara is running 470 secs || 1564565 markings, 1615306 edges, 3348 markings/sec, 470 secs
lola: sara is running 475 secs || 1580303 markings, 1631768 edges, 3148 markings/sec, 475 secs
lola: sara is running 480 secs || 1596592 markings, 1648663 edges, 3258 markings/sec, 480 secs
lola: sara is running 485 secs || 1613516 markings, 1666057 edges, 3385 markings/sec, 485 secs
lola: sara is running 490 secs || 1630062 markings, 1683176 edges, 3309 markings/sec, 490 secs
lola: sara is running 495 secs || 1646197 markings, 1699892 edges, 3227 markings/sec, 495 secs
lola: sara is running 500 secs || 1662501 markings, 1716603 edges, 3261 markings/sec, 500 secs
lola: sara is running 505 secs || 1679382 markings, 1733840 edges, 3376 markings/sec, 505 secs
lola: sara is running 510 secs || 1695900 markings, 1751040 edges, 3304 markings/sec, 510 secs
lola: sara is running 515 secs || 1712152 markings, 1767942 edges, 3250 markings/sec, 515 secs
lola: sara is running 520 secs || 1727922 markings, 1784451 edges, 3154 markings/sec, 520 secs
lola: sara is running 525 secs || 1744784 markings, 1801721 edges, 3372 markings/sec, 525 secs
lola: sara is running 530 secs || 1760637 markings, 1818251 edges, 3171 markings/sec, 530 secs
lola: sara is running 535 secs || 1776374 markings, 1834667 edges, 3147 markings/sec, 535 secs
lola: sara is running 540 secs || 1792655 markings, 1851538 edges, 3256 markings/sec, 540 secs
lola: sara is running 545 secs || 1808947 markings, 1868261 edges, 3258 markings/sec, 545 secs
lola: sara is running 550 secs || 1825269 markings, 1885029 edges, 3264 markings/sec, 550 secs
lola: sara is running 555 secs || 1842070 markings, 1902247 edges, 3360 markings/sec, 555 secs
lola: sara is running 560 secs || 1857375 markings, 1918293 edges, 3061 markings/sec, 560 secs
lola: sara is running 565 secs || 1873891 markings, 1935282 edges, 3303 markings/sec, 565 secs
lola: sara is running 570 secs || 1889773 markings, 1951840 edges, 3176 markings/sec, 570 secs
lola: sara is running 575 secs || 1905410 markings, 1967992 edges, 3127 markings/sec, 575 secs
lola: sara is running 580 secs || 1921226 markings, 1984346 edges, 3163 markings/sec, 580 secs
lola: sara is running 585 secs || 1936833 markings, 2000466 edges, 3121 markings/sec, 585 secs
lola: sara is running 590 secs || 1953030 markings, 2017044 edges, 3239 markings/sec, 590 secs
lola: sara is running 595 secs || 1968958 markings, 2033751 edges, 3186 markings/sec, 595 secs
lola: sara is running 600 secs || 1984873 markings, 2050426 edges, 3183 markings/sec, 600 secs
lola: sara is running 605 secs || 2000134 markings, 2066532 edges, 3052 markings/sec, 605 secs
lola: sara is running 610 secs || 2017039 markings, 2083921 edges, 3381 markings/sec, 610 secs
lola: sara is running 615 secs || 2033228 markings, 2100739 edges, 3238 markings/sec, 615 secs
lola: sara is running 620 secs || 2049885 markings, 2117770 edges, 3331 markings/sec, 620 secs
lola: sara is running 625 secs || 2065884 markings, 2134432 edges, 3200 markings/sec, 625 secs
lola: sara is running 630 secs || 2082184 markings, 2151333 edges, 3260 markings/sec, 630 secs
lola: sara is running 635 secs || 2098647 markings, 2168336 edges, 3293 markings/sec, 635 secs
lola: sara is running 640 secs || 2114910 markings, 2185260 edges, 3253 markings/sec, 640 secs
lola: sara is running 645 secs || 2131498 markings, 2202299 edges, 3318 markings/sec, 645 secs
lola: sara is running 650 secs || 2147182 markings, 2218575 edges, 3137 markings/sec, 650 secs
lola: sara is running 655 secs || 2163304 markings, 2235198 edges, 3224 markings/sec, 655 secs
lola: sara is running 660 secs || 2179374 markings, 2251756 edges, 3214 markings/sec, 660 secs
lola: sara is running 665 secs || 2194960 markings, 2267975 edges, 3117 markings/sec, 665 secs
lola: sara is running 670 secs || 2211120 markings, 2284580 edges, 3232 markings/sec, 670 secs
lola: sara is running 675 secs || 2226457 markings, 2300484 edges, 3067 markings/sec, 675 secs
lola: sara is running 680 secs || 2242666 markings, 2317119 edges, 3242 markings/sec, 680 secs
lola: sara is running 685 secs || 2258856 markings, 2333808 edges, 3238 markings/sec, 685 secs
lola: sara is running 690 secs || 2274154 markings, 2349661 edges, 3060 markings/sec, 690 secs
lola: sara is running 695 secs || 2289503 markings, 2365692 edges, 3070 markings/sec, 695 secs
lola: sara is running 700 secs || 2305514 markings, 2382195 edges, 3202 markings/sec, 700 secs
lola: sara is running 705 secs || 2321324 markings, 2398498 edges, 3162 markings/sec, 705 secs
lola: sara is running 710 secs || 2337532 markings, 2415014 edges, 3242 markings/sec, 710 secs
lola: sara is running 715 secs || 2354327 markings, 2432117 edges, 3359 markings/sec, 715 secs
lola: sara is running 720 secs || 2369064 markings, 2447680 edges, 2947 markings/sec, 720 secs
lola: sara is running 725 secs || 2384305 markings, 2463665 edges, 3048 markings/sec, 725 secs
lola: sara is running 730 secs || 2399846 markings, 2479794 edges, 3108 markings/sec, 730 secs
lola: sara is running 735 secs || 2415596 markings, 2496197 edges, 3150 markings/sec, 735 secs
lola: sara is running 740 secs || 2430659 markings, 2511939 edges, 3013 markings/sec, 740 secs
lola: sara is running 745 secs || 2446174 markings, 2527861 edges, 3103 markings/sec, 745 secs
lola: sara is running 750 secs || 2461950 markings, 2544137 edges, 3155 markings/sec, 750 secs
lola: sara is running 755 secs || 2477976 markings, 2560674 edges, 3205 markings/sec, 755 secs
lola: sara is running 760 secs || 2493483 markings, 2576689 edges, 3101 markings/sec, 760 secs
lola: sara is running 765 secs || 2509014 markings, 2592811 edges, 3106 markings/sec, 765 secs
lola: sara is running 770 secs || 2524859 markings, 2609145 edges, 3169 markings/sec, 770 secs
lola: sara is running 775 secs || 2540738 markings, 2625705 edges, 3176 markings/sec, 775 secs
lola: sara is running 780 secs || 2556371 markings, 2641969 edges, 3127 markings/sec, 780 secs
lola: sara is running 785 secs || 2572900 markings, 2658783 edges, 3306 markings/sec, 785 secs
lola: sara is running 790 secs || 2588094 markings, 2674716 edges, 3039 markings/sec, 790 secs
lola: sara is running 795 secs || 2603461 markings, 2690687 edges, 3073 markings/sec, 795 secs
lola: sara is running 800 secs || 2618644 markings, 2706616 edges, 3037 markings/sec, 800 secs
lola: sara is running 805 secs || 2634317 markings, 2722810 edges, 3135 markings/sec, 805 secs
lola: sara is running 810 secs || 2650185 markings, 2739313 edges, 3174 markings/sec, 810 secs
lola: sara is running 815 secs || 2665157 markings, 2755137 edges, 2994 markings/sec, 815 secs
lola: sara is running 820 secs || 2680355 markings, 2771123 edges, 3040 markings/sec, 820 secs
lola: sara is running 825 secs || 2695914 markings, 2787214 edges, 3112 markings/sec, 825 secs
lola: sara is running 830 secs || 2711901 markings, 2803750 edges, 3197 markings/sec, 830 secs
lola: sara is running 835 secs || 2727496 markings, 2819909 edges, 3119 markings/sec, 835 secs
lola: sara is running 840 secs || 2743030 markings, 2836020 edges, 3107 markings/sec, 840 secs
lola: sara is running 845 secs || 2758853 markings, 2852364 edges, 3165 markings/sec, 845 secs
lola: sara is running 850 secs || 2774114 markings, 2868273 edges, 3052 markings/sec, 850 secs
lola: sara is running 855 secs || 2790881 markings, 2885347 edges, 3353 markings/sec, 855 secs
lola: sara is running 860 secs || 2806871 markings, 2901770 edges, 3198 markings/sec, 860 secs
lola: sara is running 865 secs || 2822079 markings, 2917733 edges, 3042 markings/sec, 865 secs
lola: sara is running 870 secs || 2837711 markings, 2934070 edges, 3126 markings/sec, 870 secs
lola: sara is running 875 secs || 2853750 markings, 2950851 edges, 3208 markings/sec, 875 secs
lola: sara is running 880 secs || 2868187 markings, 2966463 edges, 2887 markings/sec, 880 secs
lola: sara is running 885 secs || 2883836 markings, 2982905 edges, 3130 markings/sec, 885 secs
lola: sara is running 890 secs || 2899841 markings, 2999623 edges, 3201 markings/sec, 890 secs
lola: sara is running 895 secs || 2916368 markings, 3016709 edges, 3305 markings/sec, 895 secs
lola: sara is running 900 secs || 2931684 markings, 3032878 edges, 3063 markings/sec, 900 secs
lola: sara is running 905 secs || 2948346 markings, 3050098 edges, 3332 markings/sec, 905 secs
lola: sara is running 910 secs || 2964733 markings, 3067050 edges, 3277 markings/sec, 910 secs
lola: sara is running 915 secs || 2980755 markings, 3083735 edges, 3204 markings/sec, 915 secs
lola: sara is running 920 secs || 2996620 markings, 3100444 edges, 3173 markings/sec, 920 secs
lola: sara is running 925 secs || 3012215 markings, 3116960 edges, 3119 markings/sec, 925 secs
lola: sara is running 930 secs || 3028466 markings, 3133853 edges, 3250 markings/sec, 930 secs
lola: sara is running 935 secs || 3043947 markings, 3150215 edges, 3096 markings/sec, 935 secs
lola: sara is running 940 secs || 3060164 markings, 3166898 edges, 3243 markings/sec, 940 secs
lola: sara is running 945 secs || 3075888 markings, 3183308 edges, 3145 markings/sec, 945 secs
lola: sara is running 950 secs || 3092692 markings, 3200569 edges, 3361 markings/sec, 950 secs
lola: sara is running 955 secs || 3108702 markings, 3217212 edges, 3202 markings/sec, 955 secs
lola: sara is running 960 secs || 3123939 markings, 3233106 edges, 3047 markings/sec, 960 secs
lola: sara is running 965 secs || 3139041 markings, 3248767 edges, 3020 markings/sec, 965 secs
lola: sara is running 970 secs || 3154684 markings, 3265036 edges, 3129 markings/sec, 970 secs
lola: sara is running 975 secs || 3169819 markings, 3280882 edges, 3027 markings/sec, 975 secs
lola: sara is running 980 secs || 3185652 markings, 3297381 edges, 3167 markings/sec, 980 secs
lola: sara is running 985 secs || 3201802 markings, 3314260 edges, 3230 markings/sec, 985 secs
lola: sara is running 990 secs || 3217015 markings, 3330414 edges, 3043 markings/sec, 990 secs
lola: sara is running 995 secs || 3232363 markings, 3346569 edges, 3070 markings/sec, 995 secs
lola: sara is running 1000 secs || 3248195 markings, 3362938 edges, 3166 markings/sec, 1000 secs
lola: sara is running 1005 secs || 3263594 markings, 3379152 edges, 3080 markings/sec, 1005 secs
lola: sara is running 1010 secs || 3279227 markings, 3395397 edges, 3127 markings/sec, 1010 secs
lola: sara is running 1015 secs || 3295556 markings, 3412227 edges, 3266 markings/sec, 1015 secs
lola: sara is running 1020 secs || 3311181 markings, 3428478 edges, 3125 markings/sec, 1020 secs
lola: sara is running 1025 secs || 3326527 markings, 3444778 edges, 3069 markings/sec, 1025 secs
lola: sara is running 1030 secs || 3341662 markings, 3460938 edges, 3027 markings/sec, 1030 secs
lola: sara is running 1035 secs || 3357757 markings, 3477579 edges, 3219 markings/sec, 1035 secs
lola: sara is running 1040 secs || 3373774 markings, 3494247 edges, 3203 markings/sec, 1040 secs
lola: sara is running 1045 secs || 3389753 markings, 3510804 edges, 3196 markings/sec, 1045 secs
lola: sara is running 1050 secs || 3406446 markings, 3528102 edges, 3339 markings/sec, 1050 secs
lola: sara is running 1055 secs || 3422829 markings, 3545137 edges, 3277 markings/sec, 1055 secs
lola: sara is running 1060 secs || 3438308 markings, 3561383 edges, 3096 markings/sec, 1060 secs
lola: sara is running 1065 secs || 3454326 markings, 3578131 edges, 3204 markings/sec, 1065 secs
lola: sara is running 1070 secs || 3469688 markings, 3594470 edges, 3072 markings/sec, 1070 secs
lola: sara is running 1075 secs || 3484663 markings, 3610345 edges, 2995 markings/sec, 1075 secs
lola: sara is running 1080 secs || 3499710 markings, 3626274 edges, 3009 markings/sec, 1080 secs
lola: sara is running 1085 secs || 3515035 markings, 3642315 edges, 3065 markings/sec, 1085 secs
lola: sara is running 1090 secs || 3529952 markings, 3658293 edges, 2983 markings/sec, 1090 secs
lola: sara is running 1095 secs || 3545961 markings, 3675047 edges, 3202 markings/sec, 1095 secs
lola: sara is running 1100 secs || 3561938 markings, 3691821 edges, 3195 markings/sec, 1100 secs
lola: sara is running 1105 secs || 3578189 markings, 3708758 edges, 3250 markings/sec, 1105 secs
lola: sara is running 1110 secs || 3594390 markings, 3725674 edges, 3240 markings/sec, 1110 secs
lola: sara is running 1115 secs || 3609957 markings, 3742016 edges, 3113 markings/sec, 1115 secs
lola: sara is running 1120 secs || 3626580 markings, 3759200 edges, 3325 markings/sec, 1120 secs
lola: sara is running 1125 secs || 3643538 markings, 3776674 edges, 3392 markings/sec, 1125 secs
lola: sara is running 1130 secs || 3659970 markings, 3793726 edges, 3286 markings/sec, 1130 secs
lola: sara is running 1135 secs || 3676237 markings, 3810800 edges, 3253 markings/sec, 1135 secs
lola: sara is running 1140 secs || 3691502 markings, 3826991 edges, 3053 markings/sec, 1140 secs
lola: sara is running 1145 secs || 3707904 markings, 3844094 edges, 3280 markings/sec, 1145 secs
lola: sara is running 1150 secs || 3724118 markings, 3860973 edges, 3243 markings/sec, 1150 secs
lola: sara is running 1155 secs || 3740427 markings, 3877979 edges, 3262 markings/sec, 1155 secs
lola: sara is running 1160 secs || 3756212 markings, 3894542 edges, 3157 markings/sec, 1160 secs
lola: sara is running 1165 secs || 3772876 markings, 3911752 edges, 3333 markings/sec, 1165 secs
lola: sara is running 1170 secs || 3788413 markings, 3928110 edges, 3107 markings/sec, 1170 secs
lola: sara is running 1175 secs || 3804038 markings, 3944498 edges, 3125 markings/sec, 1175 secs
lola: sara is running 1180 secs || 3819669 markings, 3960994 edges, 3126 markings/sec, 1180 secs
lola: sara is running 1185 secs || 3836092 markings, 3978073 edges, 3285 markings/sec, 1185 secs
lola: sara is running 1190 secs || 3851000 markings, 3993914 edges, 2982 markings/sec, 1190 secs
lola: sara is running 1195 secs || 3866600 markings, 4010200 edges, 3120 markings/sec, 1195 secs
lola: sara is running 1200 secs || 3882457 markings, 4026683 edges, 3171 markings/sec, 1200 secs
lola: sara is running 1205 secs || 3897738 markings, 4042926 edges, 3056 markings/sec, 1205 secs
lola: sara is running 1210 secs || 3914121 markings, 4059819 edges, 3277 markings/sec, 1210 secs
lola: sara is running 1215 secs || 3931011 markings, 4077360 edges, 3378 markings/sec, 1215 secs
lola: sara is running 1220 secs || 3946844 markings, 4093974 edges, 3167 markings/sec, 1220 secs
lola: sara is running 1225 secs || 3963896 markings, 4111362 edges, 3410 markings/sec, 1225 secs
lola: sara is running 1230 secs || 3980451 markings, 4128465 edges, 3311 markings/sec, 1230 secs
lola: sara is running 1235 secs || 3996532 markings, 4145270 edges, 3216 markings/sec, 1235 secs
lola: sara is running 1240 secs || 4012211 markings, 4161774 edges, 3136 markings/sec, 1240 secs
lola: sara is running 1245 secs || 4028716 markings, 4178881 edges, 3301 markings/sec, 1245 secs
lola: sara is running 1250 secs || 4044319 markings, 4195195 edges, 3121 markings/sec, 1250 secs
lola: sara is running 1255 secs || 4060130 markings, 4211910 edges, 3162 markings/sec, 1255 secs
lola: sara is running 1260 secs || 4076572 markings, 4228905 edges, 3288 markings/sec, 1260 secs
lola: sara is running 1265 secs || 4092227 markings, 4245331 edges, 3131 markings/sec, 1265 secs
lola: sara is running 1270 secs || 4108368 markings, 4262322 edges, 3228 markings/sec, 1270 secs
lola: sara is running 1275 secs || 4124595 markings, 4279217 edges, 3245 markings/sec, 1275 secs
lola: sara is running 1280 secs || 4139950 markings, 4295483 edges, 3071 markings/sec, 1280 secs
lola: sara is running 1285 secs || 4156351 markings, 4312672 edges, 3280 markings/sec, 1285 secs
lola: sara is running 1290 secs || 4172399 markings, 4329361 edges, 3210 markings/sec, 1290 secs
lola: sara is running 1295 secs || 4188135 markings, 4346046 edges, 3147 markings/sec, 1295 secs
lola: sara is running 1300 secs || 4204366 markings, 4362897 edges, 3246 markings/sec, 1300 secs
lola: sara is running 1305 secs || 4220404 markings, 4379740 edges, 3208 markings/sec, 1305 secs
lola: sara is running 1310 secs || 4236120 markings, 4396271 edges, 3143 markings/sec, 1310 secs
lola: sara is running 1315 secs || 4252193 markings, 4413052 edges, 3215 markings/sec, 1315 secs
lola: sara is running 1320 secs || 4267192 markings, 4429105 edges, 3000 markings/sec, 1320 secs
lola: sara is running 1325 secs || 4283873 markings, 4446326 edges, 3336 markings/sec, 1325 secs
lola: sara is running 1330 secs || 4299215 markings, 4462561 edges, 3068 markings/sec, 1330 secs
lola: sara is running 1335 secs || 4314649 markings, 4478880 edges, 3087 markings/sec, 1335 secs
lola: sara is running 1340 secs || 4330634 markings, 4495637 edges, 3197 markings/sec, 1340 secs
lola: sara is running 1345 secs || 4347017 markings, 4512656 edges, 3277 markings/sec, 1345 secs
lola: sara is running 1350 secs || 4362454 markings, 4528949 edges, 3087 markings/sec, 1350 secs
lola: sara is running 1355 secs || 4378004 markings, 4545398 edges, 3110 markings/sec, 1355 secs
lola: sara is running 1360 secs || 4393742 markings, 4561916 edges, 3148 markings/sec, 1360 secs
lola: sara is running 1365 secs || 4409304 markings, 4578227 edges, 3112 markings/sec, 1365 secs
lola: sara is running 1370 secs || 4425191 markings, 4594775 edges, 3177 markings/sec, 1370 secs
lola: sara is running 1375 secs || 4440653 markings, 4611152 edges, 3092 markings/sec, 1375 secs
lola: sara is running 1380 secs || 4456415 markings, 4627738 edges, 3152 markings/sec, 1380 secs
lola: sara is running 1385 secs || 4471990 markings, 4644150 edges, 3115 markings/sec, 1385 secs
lola: sara is running 1390 secs || 4487329 markings, 4660475 edges, 3068 markings/sec, 1390 secs
lola: sara is running 1395 secs || 4502328 markings, 4676631 edges, 3000 markings/sec, 1395 secs
lola: sara is running 1400 secs || 4517406 markings, 4692620 edges, 3016 markings/sec, 1400 secs
lola: sara is running 1405 secs || 4533017 markings, 4708999 edges, 3122 markings/sec, 1405 secs
lola: sara is running 1410 secs || 4548998 markings, 4725880 edges, 3196 markings/sec, 1410 secs
lola: sara is running 1415 secs || 4564339 markings, 4742130 edges, 3068 markings/sec, 1415 secs
lola: sara is running 1420 secs || 4580443 markings, 4758997 edges, 3221 markings/sec, 1420 secs
lola: sara is running 1425 secs || 4596485 markings, 4775624 edges, 3208 markings/sec, 1425 secs
lola: sara is running 1430 secs || 4612041 markings, 4792146 edges, 3111 markings/sec, 1430 secs
lola: sara is running 1435 secs || 4628313 markings, 4809096 edges, 3254 markings/sec, 1435 secs
lola: sara is running 1440 secs || 4644390 markings, 4826045 edges, 3215 markings/sec, 1440 secs
lola: sara is running 1445 secs || 4659602 markings, 4842206 edges, 3042 markings/sec, 1445 secs
lola: sara is running 1450 secs || 4674844 markings, 4858410 edges, 3048 markings/sec, 1450 secs
lola: sara is running 1455 secs || 4691629 markings, 4875750 edges, 3357 markings/sec, 1455 secs
lola: sara is running 1460 secs || 4707026 markings, 4892099 edges, 3079 markings/sec, 1460 secs
lola: sara is running 1465 secs || 4722698 markings, 4908652 edges, 3134 markings/sec, 1465 secs
lola: sara is running 1470 secs || 4737671 markings, 4924601 edges, 2995 markings/sec, 1470 secs
lola: sara is running 1475 secs || 4753837 markings, 4941513 edges, 3233 markings/sec, 1475 secs
lola: sara is running 1480 secs || 4769897 markings, 4958303 edges, 3212 markings/sec, 1480 secs
lola: sara is running 1485 secs || 4786029 markings, 4975046 edges, 3226 markings/sec, 1485 secs
lola: sara is running 1490 secs || 4802554 markings, 4992022 edges, 3305 markings/sec, 1490 secs
lola: sara is running 1495 secs || 4818111 markings, 5008449 edges, 3111 markings/sec, 1495 secs
lola: sara is running 1500 secs || 4834268 markings, 5025284 edges, 3231 markings/sec, 1500 secs
lola: sara is running 1505 secs || 4849443 markings, 5041514 edges, 3035 markings/sec, 1505 secs
lola: sara is running 1510 secs || 4866159 markings, 5058688 edges, 3343 markings/sec, 1510 secs
lola: sara is running 1515 secs || 4882058 markings, 5075388 edges, 3180 markings/sec, 1515 secs
lola: sara is running 1520 secs || 4897204 markings, 5091413 edges, 3029 markings/sec, 1520 secs
lola: sara is running 1525 secs || 4912888 markings, 5107958 edges, 3137 markings/sec, 1525 secs
lola: sara is running 1530 secs || 4928664 markings, 5124597 edges, 3155 markings/sec, 1530 secs
lola: sara is running 1535 secs || 4944437 markings, 5141171 edges, 3155 markings/sec, 1535 secs
lola: sara is running 1540 secs || 4961208 markings, 5158517 edges, 3354 markings/sec, 1540 secs
lola: sara is running 1545 secs || 4976943 markings, 5175025 edges, 3147 markings/sec, 1545 secs
lola: sara is running 1550 secs || 4991891 markings, 5190915 edges, 2990 markings/sec, 1550 secs
lola: sara is running 1555 secs || 5007321 markings, 5207238 edges, 3086 markings/sec, 1555 secs
lola: sara is running 1560 secs || 5023233 markings, 5223833 edges, 3182 markings/sec, 1560 secs
lola: sara is running 1565 secs || 5038478 markings, 5240149 edges, 3049 markings/sec, 1565 secs
lola: sara is running 1570 secs || 5054371 markings, 5256799 edges, 3179 markings/sec, 1570 secs
lola: sara is running 1575 secs || 5070146 markings, 5273233 edges, 3155 markings/sec, 1575 secs
lola: sara is running 1580 secs || 5086298 markings, 5290087 edges, 3230 markings/sec, 1580 secs
lola: sara is running 1585 secs || 5101522 markings, 5306108 edges, 3045 markings/sec, 1585 secs
lola: sara is running 1590 secs || 5117500 markings, 5322933 edges, 3196 markings/sec, 1590 secs
lola: sara is running 1595 secs || 5134026 markings, 5340195 edges, 3305 markings/sec, 1595 secs
lola: sara is running 1600 secs || 5149498 markings, 5356801 edges, 3094 markings/sec, 1600 secs
lola: sara is running 1605 secs || 5165414 markings, 5373518 edges, 3183 markings/sec, 1605 secs
lola: sara is running 1610 secs || 5181246 markings, 5390134 edges, 3166 markings/sec, 1610 secs
lola: sara is running 1615 secs || 5197010 markings, 5406601 edges, 3153 markings/sec, 1615 secs
lola: sara is running 1620 secs || 5212962 markings, 5423342 edges, 3190 markings/sec, 1620 secs
lola: sara is running 1625 secs || 5229759 markings, 5440617 edges, 3359 markings/sec, 1625 secs
lola: sara is running 1630 secs || 5246212 markings, 5457730 edges, 3291 markings/sec, 1630 secs
lola: sara is running 1635 secs || 5261481 markings, 5473974 edges, 3054 markings/sec, 1635 secs
lola: sara is running 1640 secs || 5276918 markings, 5490295 edges, 3087 markings/sec, 1640 secs
lola: sara is running 1645 secs || 5292643 markings, 5506908 edges, 3145 markings/sec, 1645 secs
lola: sara is running 1650 secs || 5308422 markings, 5523520 edges, 3156 markings/sec, 1650 secs
lola: sara is running 1655 secs || 5324093 markings, 5540049 edges, 3134 markings/sec, 1655 secs
lola: sara is running 1660 secs || 5337675 markings, 5554326 edges, 2716 markings/sec, 1660 secs
lola: sara is running 1665 secs || 5351259 markings, 5568650 edges, 2717 markings/sec, 1665 secs
lola: sara is running 1670 secs || 5364749 markings, 5582871 edges, 2698 markings/sec, 1670 secs
lola: sara is running 1675 secs || 5379158 markings, 5597859 edges, 2882 markings/sec, 1675 secs
lola: sara is running 1680 secs || 5392919 markings, 5612122 edges, 2752 markings/sec, 1680 secs
lola: sara is running 1685 secs || 5407769 markings, 5628170 edges, 2970 markings/sec, 1685 secs
lola: sara is running 1690 secs || 5423528 markings, 5644800 edges, 3152 markings/sec, 1690 secs
lola: sara is running 1695 secs || 5438429 markings, 5660564 edges, 2980 markings/sec, 1695 secs
lola: sara is running 1700 secs || 5453692 markings, 5676756 edges, 3053 markings/sec, 1700 secs
lola: sara is running 1705 secs || 5468781 markings, 5692836 edges, 3018 markings/sec, 1705 secs
lola: sara is running 1710 secs || 5483781 markings, 5708904 edges, 3000 markings/sec, 1710 secs
lola: sara is running 1715 secs || 5499135 markings, 5725226 edges, 3071 markings/sec, 1715 secs
lola: sara is running 1720 secs || 5515026 markings, 5741992 edges, 3178 markings/sec, 1720 secs
lola: sara is running 1725 secs || 5531030 markings, 5758696 edges, 3201 markings/sec, 1725 secs
lola: sara is running 1730 secs || 5547651 markings, 5775930 edges, 3324 markings/sec, 1730 secs
lola: sara is running 1735 secs || 5564068 markings, 5793090 edges, 3283 markings/sec, 1735 secs
lola: sara is running 1740 secs || 5580260 markings, 5810055 edges, 3238 markings/sec, 1740 secs
lola: sara is running 1745 secs || 5597496 markings, 5827903 edges, 3447 markings/sec, 1745 secs
lola: sara is running 1750 secs || 5613704 markings, 5844754 edges, 3242 markings/sec, 1750 secs
lola: sara is running 1755 secs || 5629958 markings, 5861666 edges, 3251 markings/sec, 1755 secs
lola: sara is running 1760 secs || 5646395 markings, 5878765 edges, 3287 markings/sec, 1760 secs
lola: sara is running 1765 secs || 5661815 markings, 5895096 edges, 3084 markings/sec, 1765 secs
lola: sara is running 1770 secs || 5677682 markings, 5911921 edges, 3173 markings/sec, 1770 secs
lola: sara is running 1775 secs || 5693899 markings, 5928792 edges, 3243 markings/sec, 1775 secs
lola: sara is running 1780 secs || 5709698 markings, 5945483 edges, 3160 markings/sec, 1780 secs
lola: sara is running 1785 secs || 5725201 markings, 5961909 edges, 3101 markings/sec, 1785 secs
lola: sara is running 1790 secs || 5740924 markings, 5978366 edges, 3145 markings/sec, 1790 secs
lola: sara is running 1795 secs || 5756576 markings, 5994878 edges, 3130 markings/sec, 1795 secs
lola: sara is running 1800 secs || 5772770 markings, 6011850 edges, 3239 markings/sec, 1800 secs
lola: sara is running 1805 secs || 5788552 markings, 6028560 edges, 3156 markings/sec, 1805 secs
lola: sara is running 1810 secs || 5804204 markings, 6045076 edges, 3130 markings/sec, 1810 secs
lola: sara is running 1815 secs || 5820542 markings, 6062013 edges, 3268 markings/sec, 1815 secs
lola: sara is running 1820 secs || 5835822 markings, 6078133 edges, 3056 markings/sec, 1820 secs
lola: sara is running 1825 secs || 5852044 markings, 6095138 edges, 3244 markings/sec, 1825 secs
lola: sara is running 1830 secs || 5868110 markings, 6112038 edges, 3213 markings/sec, 1830 secs
lola: sara is running 1835 secs || 5883438 markings, 6128292 edges, 3066 markings/sec, 1835 secs
lola: sara is running 1840 secs || 5899134 markings, 6144934 edges, 3139 markings/sec, 1840 secs
lola: sara is running 1845 secs || 5915061 markings, 6161673 edges, 3185 markings/sec, 1845 secs
lola: sara is running 1850 secs || 5931429 markings, 6178667 edges, 3274 markings/sec, 1850 secs
lola: sara is running 1855 secs || 5948137 markings, 6196069 edges, 3342 markings/sec, 1855 secs
lola: sara is running 1860 secs || 5964374 markings, 6213003 edges, 3247 markings/sec, 1860 secs
lola: sara is running 1865 secs || 5980222 markings, 6229652 edges, 3170 markings/sec, 1865 secs
lola: sara is running 1870 secs || 5996035 markings, 6246255 edges, 3163 markings/sec, 1870 secs
lola: sara is running 1875 secs || 6012706 markings, 6263734 edges, 3334 markings/sec, 1875 secs
lola: sara is running 1880 secs || 6029294 markings, 6280991 edges, 3318 markings/sec, 1880 secs
lola: sara is running 1885 secs || 6045404 markings, 6297907 edges, 3222 markings/sec, 1885 secs
lola: sara is running 1890 secs || 6061099 markings, 6314570 edges, 3139 markings/sec, 1890 secs
lola: sara is running 1895 secs || 6077414 markings, 6331709 edges, 3263 markings/sec, 1895 secs
lola: sara is running 1900 secs || 6092684 markings, 6347969 edges, 3054 markings/sec, 1900 secs
lola: sara is running 1905 secs || 6107855 markings, 6364116 edges, 3034 markings/sec, 1905 secs
lola: sara is running 1910 secs || 6123895 markings, 6380932 edges, 3208 markings/sec, 1910 secs
lola: sara is running 1915 secs || 6140027 markings, 6397910 edges, 3226 markings/sec, 1915 secs
lola: sara is running 1920 secs || 6156378 markings, 6414987 edges, 3270 markings/sec, 1920 secs
lola: sara is running 1925 secs || 6172303 markings, 6431718 edges, 3185 markings/sec, 1925 secs
lola: sara is running 1930 secs || 6189254 markings, 6449257 edges, 3390 markings/sec, 1930 secs
lola: sara is running 1935 secs || 6205653 markings, 6466544 edges, 3280 markings/sec, 1935 secs
lola: sara is running 1940 secs || 6221759 markings, 6483491 edges, 3221 markings/sec, 1940 secs
lola: sara is running 1945 secs || 6237489 markings, 6500173 edges, 3146 markings/sec, 1945 secs
lola: sara is running 1950 secs || 6253549 markings, 6516861 edges, 3212 markings/sec, 1950 secs
lola: sara is running 1955 secs || 6269767 markings, 6533797 edges, 3244 markings/sec, 1955 secs
lola: sara is running 1960 secs || 6285173 markings, 6550053 edges, 3081 markings/sec, 1960 secs
lola: sara is running 1965 secs || 6300668 markings, 6566432 edges, 3099 markings/sec, 1965 secs
lola: sara is running 1970 secs || 6316525 markings, 6583179 edges, 3171 markings/sec, 1970 secs
lola: sara is running 1975 secs || 6331835 markings, 6599391 edges, 3062 markings/sec, 1975 secs
lola: sara is running 1980 secs || 6347099 markings, 6615706 edges, 3053 markings/sec, 1980 secs
lola: sara is running 1985 secs || 6363280 markings, 6632452 edges, 3236 markings/sec, 1985 secs
lola: sara is running 1990 secs || 6379280 markings, 6649280 edges, 3200 markings/sec, 1990 secs
lola: sara is running 1995 secs || 6395617 markings, 6666208 edges, 3267 markings/sec, 1995 secs
lola: sara is running 2000 secs || 6410873 markings, 6682505 edges, 3051 markings/sec, 2000 secs
lola: sara is running 2005 secs || 6425249 markings, 6698102 edges, 2875 markings/sec, 2005 secs
lola: sara is running 2010 secs || 6441083 markings, 6714748 edges, 3167 markings/sec, 2010 secs
lola: sara is running 2015 secs || 6456528 markings, 6731004 edges, 3089 markings/sec, 2015 secs
lola: sara is running 2020 secs || 6472089 markings, 6747479 edges, 3112 markings/sec, 2020 secs
lola: sara is running 2025 secs || 6487347 markings, 6763711 edges, 3052 markings/sec, 2025 secs
lola: sara is running 2030 secs || 6502753 markings, 6779952 edges, 3081 markings/sec, 2030 secs
lola: sara is running 2035 secs || 6517687 markings, 6795951 edges, 2987 markings/sec, 2035 secs
lola: sara is running 2040 secs || 6533234 markings, 6812315 edges, 3109 markings/sec, 2040 secs
lola: sara is running 2045 secs || 6549679 markings, 6829382 edges, 3289 markings/sec, 2045 secs
lola: sara is running 2050 secs || 6565000 markings, 6845709 edges, 3064 markings/sec, 2050 secs
lola: sara is running 2055 secs || 6582401 markings, 6863587 edges, 3480 markings/sec, 2055 secs
lola: sara is running 2060 secs || 6598287 markings, 6880267 edges, 3177 markings/sec, 2060 secs
lola: sara is running 2065 secs || 6614402 markings, 6897372 edges, 3223 markings/sec, 2065 secs
lola: sara is running 2070 secs || 6630098 markings, 6913911 edges, 3139 markings/sec, 2070 secs
lola: sara is running 2075 secs || 6646223 markings, 6930867 edges, 3225 markings/sec, 2075 secs
lola: sara is running 2080 secs || 6661538 markings, 6947050 edges, 3063 markings/sec, 2080 secs
lola: sara is running 2085 secs || 6678521 markings, 6964580 edges, 3397 markings/sec, 2085 secs
lola: sara is running 2090 secs || 6694947 markings, 6981708 edges, 3285 markings/sec, 2090 secs
lola: sara is running 2095 secs || 6710031 markings, 6997959 edges, 3017 markings/sec, 2095 secs
lola: sara is running 2100 secs || 6725626 markings, 7014459 edges, 3119 markings/sec, 2100 secs
lola: sara is running 2105 secs || 6741488 markings, 7031269 edges, 3172 markings/sec, 2105 secs
lola: sara is running 2110 secs || 6757403 markings, 7047987 edges, 3183 markings/sec, 2110 secs
lola: sara is running 2115 secs || 6773807 markings, 7065049 edges, 3281 markings/sec, 2115 secs
lola: sara is running 2120 secs || 6789618 markings, 7081707 edges, 3162 markings/sec, 2120 secs
lola: sara is running 2125 secs || 6805692 markings, 7098568 edges, 3215 markings/sec, 2125 secs
lola: sara is running 2130 secs || 6821093 markings, 7114904 edges, 3080 markings/sec, 2130 secs
lola: sara is running 2135 secs || 6837287 markings, 7131773 edges, 3239 markings/sec, 2135 secs
lola: sara is running 2140 secs || 6852958 markings, 7148557 edges, 3134 markings/sec, 2140 secs
lola: sara is running 2145 secs || 6868016 markings, 7164653 edges, 3012 markings/sec, 2145 secs
lola: sara is running 2150 secs || 6884227 markings, 7181577 edges, 3242 markings/sec, 2150 secs
lola: sara is running 2155 secs || 6900876 markings, 7198861 edges, 3330 markings/sec, 2155 secs
lola: sara is running 2160 secs || 6915925 markings, 7214987 edges, 3010 markings/sec, 2160 secs
lola: time limit reached - aborting
lola:
preliminary result: yes unknown yes unknown no yes yes no no unknown unknown yes yes no yes
lola: caught signal User defined signal 1 - aborting LoLA
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 1496422293330
--------------------
content from stderr:
----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_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/S_PolyORBLF-COL-S06J04T04.tgz
mv S_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 S_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 r128-smll-149441681500378"
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 ;