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)
......................
/home/mcc/execution
total 328K
-rw-r--r-- 1 mcc users 4.1K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.7K May 26 09:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 26 09:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 26 09:27 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.5K May 26 09:27 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 114 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 352 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:50 equiv_pt
-rw-r--r-- 1 mcc users 10 May 15 18:50 instance
-rw-r--r-- 1 mcc users 5 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 154K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is PolyORBLF-COL-S06J04T06, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r208-smll-152732257700380
=====================================================================

--------------------
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-S06J04T06-LTLFireability-00
FORMULA_NAME PolyORBLF-COL-S06J04T06-LTLFireability-01
FORMULA_NAME PolyORBLF-COL-S06J04T06-LTLFireability-02
FORMULA_NAME PolyORBLF-COL-S06J04T06-LTLFireability-03
FORMULA_NAME PolyORBLF-COL-S06J04T06-LTLFireability-04
FORMULA_NAME PolyORBLF-COL-S06J04T06-LTLFireability-05
FORMULA_NAME PolyORBLF-COL-S06J04T06-LTLFireability-06
FORMULA_NAME PolyORBLF-COL-S06J04T06-LTLFireability-07
FORMULA_NAME PolyORBLF-COL-S06J04T06-LTLFireability-08
FORMULA_NAME PolyORBLF-COL-S06J04T06-LTLFireability-09
FORMULA_NAME PolyORBLF-COL-S06J04T06-LTLFireability-10
FORMULA_NAME PolyORBLF-COL-S06J04T06-LTLFireability-11
FORMULA_NAME PolyORBLF-COL-S06J04T06-LTLFireability-12
FORMULA_NAME PolyORBLF-COL-S06J04T06-LTLFireability-13
FORMULA_NAME PolyORBLF-COL-S06J04T06-LTLFireability-14
FORMULA_NAME PolyORBLF-COL-S06J04T06-LTLFireability-15

=== Now, execution of the tool begins

BK_START 1528004342552

info: Time: 3600 - MCC
===========================================================================================
prep: translating PolyORBLF-COL-S06J04T06 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating PolyORBLF-COL-S06J04T06 formula LTLFireability into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking LTLFireability @ PolyORBLF-COL-S06J04T06 @ 3567 seconds
lola: LoLA will run for 3567 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 11132/65536 symbol table entries, 3572 collisions
lola: preprocessing...
lola: Size of bit vector: 20224
lola: finding significant places
lola: 632 places, 10500 transitions, 578 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2723 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S06J04T06-LTLFireability.task
lola: A ((FIREABLE(t9041) OR FIREABLE(t9040) OR FIREABLE(t9039) OR FIREABLE(t9038) OR FIREABLE(t9037) OR FIREABLE(t9036) OR FIREABLE(t9035) OR FIREABLE(t9034) OR FIREABLE(t9033) OR FIREABLE(t9032) OR FIREABLE(t9031) OR FIREABLE(t9030) OR FIREABLE(t9029) OR FIREABLE(t9028) OR FIREABLE(t9027) OR FIREABLE(t9026) OR FIREABLE(t9025) OR FIREABLE(t9024) OR FIREABLE(t9023) OR FIREABLE(t9022) OR FIREABLE(t9021) OR FIREABLE(t9020) OR FIREABLE(t9019) OR FIREABLE(t9018) OR FIREABLE(t9017) OR FIREABLE(t9016) OR FIREABLE(t9015) OR FIREABLE(t9014) OR FIREABLE(t9013) OR FIREABLE(t9012) OR FIREABLE(t9011) OR FIREABLE(t9010) OR FIREABLE(t9009) OR FIREABLE(t9008) OR FIREABLE(t9007) OR FIREABLE(t9006) OR FIREABLE(t9005) OR FIREABLE(t9004) OR FIREABLE(t9003) OR FIREABLE(t9002) OR FIREABLE(t9001) OR FIREABLE(t9000) OR FIREABLE(t8999) OR FIREABLE(t8998) OR FIREABLE(t8997) OR FIREABLE(t8996) OR FIREABLE(t8995) OR FIREABLE(t8994) OR FIREABLE(t8993) OR FIREABLE(t8992) OR FIREABLE(t8991) OR FIREABLE(t8990) OR FIREABLE(t8989) OR FIREABLE(t8988) OR FIREABLE(t8987) OR FIREABLE(t8986) OR FIREABLE(t8985) OR FIREABLE(t8984) OR FIREABLE(t8983) OR FIREABLE(t8982) OR FIREABLE(t8981) OR FIREABLE(t8980) OR FIREABLE(t8979) OR FIREABLE(t8978) OR FIREABLE(t8977) OR FIREABLE(t8976) OR FIREABLE(t8975) OR FIREABLE(t8974) OR FIREABLE(t8973) OR FIREABLE(t8972) OR FIREABLE(t8971) OR FIREABLE(t8970) OR FIREABLE(t8969) OR FIREABLE(t8968) OR FIREABLE(t8967) OR FIREABLE(t8966) OR FIREABLE(t8965) OR FIREABLE(t8964) OR FIREABLE(t8963) OR FIREABLE(t8962) OR FIREABLE(t8961) OR FIREABLE(t8960) OR FIREABLE(t8959) OR FIREABLE(t8958) OR FIREABLE(t8957) OR FIREABLE(t8956) OR FIREABLE(t8955) OR FIREABLE(t8954) OR FIREABLE(t8953) OR FIREABLE(t8952) OR FIREABLE(t8951) OR FIREABLE(t8950) OR FIREABLE(t8949) OR FIREABLE(t8948) OR FIREABLE(t8947) OR FIREABLE(t8946) OR FIREABLE(t8945) OR FIREABLE(t8944) OR FIREABLE(t8943) OR FIREABLE(t8942) OR FIREABLE(t8941) OR FIREABLE(t8940) OR FIREABLE(t8939) OR FIREABLE(t8938) OR FIREABLE(t8937) OR FIREABLE(t8936) OR FIREABLE(t8935) OR FIREABLE(t8934) OR FIREABLE(t8933) OR FIREABLE(t8932) OR FIREABLE(t8931) OR FIREABLE(t8930) OR FIREABLE(t8929) OR FIREABLE(t8928) OR FIREABLE(t8927) OR FIREABLE(t8926) OR FIREABLE(t8925) OR FIREABLE(t8924) OR FIREABLE(t8923) OR FIREABLE(t8922) OR FIREABLE(t8921) OR FIREABLE(t8920) OR FIREABLE(t8919) OR FIREABLE(t8918) OR FIREABLE(t8917) OR FIREABLE(t8916) OR FIREABLE(t8915) OR FIREABLE(t8914) OR FIREABLE(t8913) OR FIREABLE(t8912) OR FIREABLE(t8911) OR FIREABLE(t8910) OR FIREABLE(t8909) OR FIREABLE(t8908) OR FIREABLE(t8907) OR FIREABLE(t8906) OR FIREABLE(t8905) OR FIREABLE(t8904) OR FIREABLE(t8903) OR FIREABLE(t8902) OR FIREABLE(t8901) OR FIREABLE(t8900) OR FIREABLE(t8899) OR FIREABLE(t8898) OR FIREABLE(t8897) OR FIREABLE(t8896) OR FIREABLE(t8895) OR FIREABLE(t8894) OR FIREABLE(t8893) OR FIREABLE(t8892) OR FIREABLE(t8891) OR FIREABLE(t8890) OR FIREABLE(t8889) OR FIREABLE(t8888) OR FIREABLE(t8887) OR FIREABLE(t8886) OR FIREABLE(t8885) OR FIREABLE(t8884) OR FIREABLE(t8883) OR FIREABLE(t8882) OR FIREABLE(t8881) OR FIREABLE(t8880) OR FIREABLE(t8879) OR FIREABLE(t8878) OR FIREABLE(t8877) OR FIREABLE(t8876) OR FIREABLE(t8875) OR FIREABLE(t8874) OR FIREABLE(t8873) OR FIREABLE(t8872) OR FIREABLE(t8871) OR FIREABLE(t8870) OR FIREABLE(t8869) OR FIREABLE(t8868) OR FIREABLE(t8867) OR FIREABLE(t8866) OR FIREABLE(t8865) OR FIREABLE(t8864) OR FIREABLE(t8863) OR FIREABLE(t8862) OR FIREABLE(t8861) OR FIREABLE(t8860) OR FIREABLE(t8859) OR FIREABLE(t8858) OR FIREABLE(t8857) OR FIREABLE(t8856) OR FIREABLE(t8855) OR FIREABLE(t8854) OR FIREABLE(t8853) OR FIREABLE(t8852) OR FIREABLE(t8851) OR FIREABLE(t8850) OR FIREABLE(t8849) OR FIREABLE(t8848) OR FIREABLE(t8847) OR FIREABLE(t8846) OR FIREABLE(t8845) OR FIREABLE(t8844) OR FIREABLE(t8843) OR FIREABLE(t8842) OR FIREABLE(t8841) OR FIREABLE(t8840) OR FIREABLE(t8839) OR FIREABLE(t8838) OR FIREABLE(t8837) OR FIREABLE(t8836) OR FIREABLE(t8835) OR FIREABLE(t8834) OR FIREABLE(t8833) OR FIREABLE(t8832) OR FIREABLE(t8831) OR FIREABLE(t8830) OR FIREABLE(t8829) OR FIREABLE(t8828) OR FIREABLE(t8827) OR FIREABLE(t8826))) : A (F (X ((X ((FIREABLE(t10451) OR FIREABLE(t10450) OR FIREABLE(t10449) OR FIREABLE(t10448) OR FIREABLE(t10447) OR FIREABLE(t10446) OR FIREABLE(t10445) OR FIREABLE(t10444) OR FIREABLE(t10443) OR FIREABLE(t10442) OR FIREABLE(t10441) OR FIREABLE(t10440) OR FIREABLE(t10439) OR FIREABLE(t10438) OR FIREABLE(t10437) OR FIREABLE(t10436) OR FIREABLE(t10435) OR FIREABLE(t10434) OR FIREABLE(t10433) OR FIREABLE(t10432) OR FIREABLE(t10431) OR FIREABLE(t10430) OR FIREABLE(t10429) OR FIREABLE(t10428) OR FIREABLE(t10427) OR FIREABLE(t10426) OR FIREABLE(t10425) OR FIREABLE(t10424) OR FIREABLE(t10423) OR FIREABLE(t10422) OR FIREABLE(t10421) OR FIREABLE(t10420) OR FIREABLE(t10419) OR FIREABLE(t10418) OR FIREABLE(t10417) OR FIREABLE(t10416))) U X ((FIREABLE(t8627) OR FIREABLE(t8626) OR FIREABLE(t8625) OR FIREABLE(t8624) OR FIREABLE(t8623) OR FIREABLE(t8622))))))) : A ((X (X (X ((FIREABLE(t77) OR FIREABLE(t76) OR FIREABLE(t75) OR FIREABLE(t74) OR FIREABLE(t73) OR FIREABLE(t72))))) U (F ((FIREABLE(t8561) OR FIREABLE(t8560) OR FIREABLE(t8559) OR FIREABLE(t8558) OR FIREABLE(t8557) OR FIREABLE(t8556))) U X ((FIREABLE(t8825) OR FIREABLE(t8824) OR FIREABLE(t8823) OR FIREABLE(t8822) OR FIREABLE(t8821) OR FIREABLE(t8820)))))) : A (G (F (((FIREABLE(t17) OR FIREABLE(t16) OR FIREABLE(t15) OR FIREABLE(t14) OR FIREABLE(t13) OR FIREABLE(t12)) U (FIREABLE(t10403) OR FIREABLE(t10402) OR FIREABLE(t10401) OR FIREABLE(t10400) OR FIREABLE(t10399) OR FIREABLE(t10398)))))) : A ((FIREABLE(t10385) OR FIREABLE(t10384) OR FIREABLE(t10383) OR FIREABLE(t10382) OR FIREABLE(t10381) OR FIREABLE(t10380) OR FIREABLE(t10379) OR FIREABLE(t10378) OR FIREABLE(t10377) OR FIREABLE(t10376) OR FIREABLE(t10375) OR FIREABLE(t10374) OR FIREABLE(t10373) OR FIREABLE(t10372) OR FIREABLE(t10371) OR FIREABLE(t10370) OR FIREABLE(t10369) OR FIREABLE(t10368) OR FIREABLE(t10367) OR FIREABLE(t10366) OR FIREABLE(t10365) OR FIREABLE(t10364) OR FIREABLE(t10363) OR FIREABLE(t10362) OR FIREABLE(t10361) OR FIREABLE(t10360) OR FIREABLE(t10359) OR FIREABLE(t10358) OR FIREABLE(t10357) OR FIREABLE(t10356) OR FIREABLE(t10355) OR FIREABLE(t10354) OR FIREABLE(t10353) OR FIREABLE(t10352) OR FIREABLE(t10351) OR FIREABLE(t10350))) : A ((FIREABLE(t5) OR FIREABLE(t4) OR FIREABLE(t3) OR FIREABLE(t2) OR FIREABLE(t1) OR FIREABLE(t0))) : A ((FIREABLE(t8777) OR FIREABLE(t8776) OR FIREABLE(t8775) OR FIREABLE(t8774) OR FIREABLE(t8773) OR FIREABLE(t8772))) : A (G (X ((G ((FIREABLE(t10337) OR FIREABLE(t10336) OR FIREABLE(t10335) OR FIREABLE(t10334) OR FIREABLE(t10333) OR FIREABLE(t10332) OR FIREABLE(t10331) OR FIREABLE(t10330) OR FIREABLE(t10329) OR FIREABLE(t10328) OR FIREABLE(t10327) OR FIREABLE(t10326) OR FIREABLE(t10325) OR FIREABLE(t10324) OR FIREABLE(t10323) OR FIREABLE(t10322) OR FIREABLE(t10321) OR FIREABLE(t10320) OR FIREABLE(t10319) OR FIREABLE(t10318) OR FIREABLE(t10317) OR FIREABLE(t10316) OR FIREABLE(t10315) OR FIREABLE(t10314) OR FIREABLE(t10313) OR FIREABLE(t10312) OR FIREABLE(t10311) OR FIREABLE(t10310) OR FIREABLE(t10309) OR FIREABLE(t10308) OR FIREABLE(t10307) OR FIREABLE(t10306) OR FIREABLE(t10305) OR FIREABLE(t10304) OR FIREABLE(t10303) OR FIREABLE(t10302) OR FIREABLE(t10301) OR FIREABLE(t10300) OR FIREABLE(t10299) OR FIREABLE(t10298) OR FIREABLE(t10297) OR FIREABLE(t10296) OR FIREABLE(t10295) OR FIREABLE(t10294) OR FIREABLE(t10293) OR FIREABLE(t10292) OR FIREABLE(t10291) OR FIREABLE(t10290) OR FIREABLE(t10289) OR FIREABLE(t10288) OR FIREABLE(t10287) OR FIREABLE(t10286) OR FIREABLE(t10285) OR FIREABLE(t10284) OR FIREABLE(t10283) OR FIREABLE(t10282) OR FIREABLE(t10281) OR FIREABLE(t10280) OR FIREABLE(t10279) OR FIREABLE(t10278) OR FIREABLE(t10277) OR FIREABLE(t10276) OR FIREABLE(t10275) OR FIREABLE(t10274) OR FIREABLE(t10273) OR FIREABLE(t10272) OR FIREABLE(t10271) OR FIREABLE(t10270) OR FIREABLE(t10269) OR FIREABLE(t10268) OR FIREABLE(t10267) OR FIREABLE(t10266) OR FIREABLE(t10265) OR FIREABLE(t10264) OR FIREABLE(t10263) OR FIREABLE(t10262) OR FIREABLE(t10261) OR FIREABLE(t10260) OR FIREABLE(t10259) OR FIREABLE(t10258) OR FIREABLE(t10257) OR FIREABLE(t10256) OR FIREABLE(t10255) OR FIREABLE(t10254) OR FIREABLE(t10253) OR FIREABLE(t10252) OR FIREABLE(t10251) OR FIREABLE(t10250) OR FIREABLE(t10249) OR FIREABLE(t10248) OR FIREABLE(t10247) OR FIREABLE(t10246) OR FIREABLE(t10245) OR FIREABLE(t10244) OR FIREABLE(t10243) OR FIREABLE(t10242) OR FIREABLE(t10241) OR FIREABLE(t10240) OR FIREABLE(t10239) OR FIREABLE(t10238) OR FIREABLE(t10237) OR FIREABLE(t10236) OR FIREABLE(t10235) OR FIREABLE(t10234) OR FIREABLE(t10233) OR FIREABLE(t10232) OR FIREABLE(t10231) OR FIREABLE(t10230) OR FIREABLE(t10229) OR FIREABLE(t10228) OR FIREABLE(t10227) OR FIREABLE(t10226) OR FIREABLE(t10225) OR FIREABLE(t10224) OR FIREABLE(t10223) OR FIREABLE(t10222) OR FIREABLE(t10221) OR FIREABLE(t10220) OR FIREABLE(t10219) OR FIREABLE(t10218) OR FIREABLE(t10217) OR FIREABLE(t10216) OR FIREABLE(t10215) OR FIREABLE(t10214) OR FIREABLE(t10213) OR FIREABLE(t10212) OR FIREABLE(t10211) OR FIREABLE(t10210) OR FIREABLE(t10209) OR FIREABLE(t10208) OR FIREABLE(t10207) OR FIREABLE(t10206) OR FIREABLE(t10205) OR FIREABLE(t10204) OR FIREABLE(t10203) OR FIREABLE(t10202) OR FIREABLE(t10201) OR FIREABLE(t10200) OR FIREABLE(t10199) OR FIREABLE(t10198) OR FIREABLE(t10197) OR FIREABLE(t10196) OR FIREABLE(t10195) OR FIREABLE(t10194) OR FIREABLE(t10193) OR FIREABLE(t10192) OR FIREABLE(t10191) OR FIREABLE(t10190) OR FIREABLE(t10189) OR FIREABLE(t10188) OR FIREABLE(t10187) OR FIREABLE(t10186) OR FIREABLE(t10185) OR FIREABLE(t10184) OR FIREABLE(t10183) OR FIREABLE(t10182) OR FIREABLE(t10181) OR FIREABLE(t10180) OR FIREABLE(t10179) OR FIREABLE(t10178) OR FIREABLE(t10177) OR FIREABLE(t10176) OR FIREABLE(t10175) OR FIREABLE(t10174) OR FIREABLE(t10173) OR FIREABLE(t10172) OR FIREABLE(t10171) OR FIREABLE(t10170) OR FIREABLE(t10169) OR FIREABLE(t10168) OR FIREABLE(t10167) OR FIREABLE(t10166) OR FIREABLE(t10165) OR FIREABLE(t10164) OR FIREABLE(t10163) OR FIREABLE(t10162) OR FIREABLE(t10161) OR FIREABLE(t10160) OR FIREABLE(t10159) OR FIREABLE(t10158) OR FIREABLE(t10157) OR FIREABLE(t10156) OR FIREABLE(t10155) OR FIREABLE(t10154) OR FIREABLE(t10153) OR FIREABLE(t10152) OR FIREABLE(t10151) OR FIREABLE(t10150) OR FIREABLE(t10149) OR FIREABLE(t10148) OR FIREABLE(t10147) OR FIREABLE(t10146) OR FIREABLE(t10145) OR FIREABLE(t10144) OR FIREABLE(t10143) OR FIREABLE(t10142) OR FIREABLE(t10141) OR FIREABLE(t10140) OR FIREABLE(t10139) OR FIREABLE(t10138) OR FIREABLE(t10137) OR FIREABLE(t10136) OR FIREABLE(t10135) OR FIREABLE(t10134) OR FIREABLE(t10133) OR FIREABLE(t10132) OR FIREABLE(t10131) OR FIREABLE(t10130) OR FIREABLE(t10129) OR FIREABLE(t10128) OR FIREABLE(t10127) OR FIREABLE(t10126) OR FIREABLE(t10125) OR FIREABLE(t10124) OR FIREABLE(t10123) OR FIREABLE(t10122) OR FIREABLE(t10121) OR FIREABLE(t10120) OR FIREABLE(t10119) OR FIREABLE(t10118) OR FIREABLE(t10117) OR FIREABLE(t10116) OR FIREABLE(t10115) OR FIREABLE(t10114) OR FIREABLE(t10113) OR FIREABLE(t10112) OR FIREABLE(t10111) OR FIREABLE(t10110) OR FIREABLE(t10109) OR FIREABLE(t10108) OR FIREABLE(t10107) OR FIREABLE(t10106) OR FIREABLE(t10105) OR FIREABLE(t10104) OR FIREABLE(t10103) OR FIREABLE(t10102) OR FIREABLE(t10101) OR FIREABLE(t10100) OR FIREABLE(t10099) OR FIREABLE(t10098) OR FIREABLE(t10097) OR FIREABLE(t10096) OR FIREABLE(t10095) OR FIREABLE(t10094) OR FIREABLE(t10093) OR FIREABLE(t10092) OR FIREABLE(t10091) OR FIREABLE(t10090) OR FIREABLE(t10089) OR FIREABLE(t10088) OR FIREABLE(t10087) OR FIREABLE(t10086) OR FIREABLE(t10085) OR FIREABLE(t10084) OR FIREABLE(t10083) OR FIREABLE(t10082) OR FIREABLE(t10081) OR FIREABLE(t10080) OR FIREABLE(t10079) OR FIREABLE(t10078) OR FIREABLE(t10077) OR FIREABLE(t10076) OR FIREABLE(t10075) OR FIREABLE(t10074) OR FIREABLE(t10073) OR FIREABLE(t10072) OR FIREABLE(t10071) OR FIREABLE(t10070) OR FIREABLE(t10069) OR FIREABLE(t10068) OR FIREABLE(t10067) OR FIREABLE(t10066) OR FIREABLE(t10065) OR FIREABLE(t10064) OR FIREABLE(t10063) OR FIREABLE(t10062) OR FIREABLE(t10061) OR FIREABLE(t10060) OR FIREABLE(t10059) OR FIREABLE(t10058) OR FIREABLE(t10057) OR FIREABLE(t10056) OR FIREABLE(t10055) OR FIREABLE(t10054) OR FIREABLE(t10053) OR FIREABLE(t10052) OR FIREABLE(t10051) OR FIREABLE(t10050) OR FIREABLE(t10049) OR FIREABLE(t10048) OR FIREABLE(t10047) OR FIREABLE(t10046) OR FIREABLE(t10045) OR FIREABLE(t10044) OR FIREABLE(t10043) OR FIREABLE(t10042) OR FIREABLE(t10041) OR FIREABLE(t10040) OR FIREABLE(t10039) OR FIREABLE(t10038) OR FIREABLE(t10037) OR FIREABLE(t10036) OR FIREABLE(t10035) OR FIREABLE(t10034) OR FIREABLE(t10033) OR FIREABLE(t10032) OR FIREABLE(t10031) OR FIREABLE(t10030) OR FIREABLE(t10029) OR FIREABLE(t10028) OR FIREABLE(t10027) OR FIREABLE(t10026) OR FIREABLE(t10025) OR FIREABLE(t10024) OR FIREABLE(t10023) OR FIREABLE(t10022) OR FIREABLE(t10021) OR FIREABLE(t10020) OR FIREABLE(t10019) OR FIREABLE(t10018) OR FIREABLE(t10017) OR FIREABLE(t10016) OR FIREABLE(t10015) OR FIREABLE(t10014) OR FIREABLE(t10013) OR FIREABLE(t10012) OR FIREABLE(t10011) OR FIREABLE(t10010) OR FIREABLE(t10009) OR FIREABLE(t10008) OR FIREABLE(t10007) OR FIREABLE(t10006) OR FIREABLE(t10005) OR FIREABLE(t10004) OR FIREABLE(t10003) OR FIREABLE(t10002) OR FIREABLE(t10001) OR FIREABLE(t10000) OR FIREABLE(t9999) OR FIREABLE(t9998) OR FIREABLE(t9997) OR FIREABLE(t9996) OR FIREABLE(t9995) OR FIREABLE(t9994) OR FIREABLE(t9993) OR FIREABLE(t9992) OR FIREABLE(t9991) OR FIREABLE(t9990) OR FIREABLE(t9989) OR FIREABLE(t9988) OR FIREABLE(t9987) OR FIREABLE(t9986) OR FIREABLE(t9985) OR FIREABLE(t9984) OR FIREABLE(t9983) OR FIREABLE(t9982) OR FIREABLE(t9981) OR FIREABLE(t9980) OR FIREABLE(t9979) OR FIREABLE(t9978) OR FIREABLE(t9977) OR FIREABLE(t9976) OR FIREABLE(t9975) OR FIREABLE(t9974) OR FIREABLE(t9973) OR FIREABLE(t9972) OR FIREABLE(t9971) OR FIREABLE(t9970) OR FIREABLE(t9969) OR FIREABLE(t9968) OR FIREABLE(t9967) OR FIREABLE(t9966) OR FIREABLE(t9965) OR FIREABLE(t9964) OR FIREABLE(t9963) OR FIREABLE(t9962) OR FIREABLE(t9961) OR FIREABLE(t9960) OR FIREABLE(t9959) OR FIREABLE(t9958) OR FIREABLE(t9957) OR FIREABLE(t9956) OR FIREABLE(t9955) OR FIREABLE(t9954) OR FIREABLE(t9953) OR FIREABLE(t9952) OR FIREABLE(t9951) OR FIREABLE(t9950) OR FIREABLE(t9949) OR FIREABLE(t9948) OR FIREABLE(t9947) OR FIREABLE(t9946) OR FIREABLE(t9945) OR FIREABLE(t9944) OR FIREABLE(t9943) OR FIREABLE(t9942) OR FIREABLE(t9941) OR FIREABLE(t9940) OR FIREABLE(t9939) OR FIREABLE(t9938) OR FIREABLE(t9937) OR FIREABLE(t9936) OR FIREABLE(t9935) OR FIREABLE(t9934) OR FIREABLE(t9933) OR FIREABLE(t9932) OR FIREABLE(t9931) OR FIREABLE(t9930) OR FIREABLE(t9929) OR FIREABLE(t9928) OR FIREABLE(t9927) OR FIREABLE(t9926) OR FIREABLE(t9925) OR FIREABLE(t9924) OR FIREABLE(t9923) OR FIREABLE(t9922) OR FIREABLE(t9921) OR FIREABLE(t9920) OR FIREABLE(t9919) OR FIREABLE(t9918) OR FIREABLE(t9917) OR FIREABLE(t9916) OR FIREABLE(t9915) OR FIREABLE(t9914) OR FIREABLE(t9913) OR FIREABLE(t9912) OR FIREABLE(t9911) OR FIREABLE(t9910) OR FIREABLE(t9909) OR FIREABLE(t9908) OR FIREABLE(t9907) OR FIREABLE(t9906) OR FIREABLE(t9905) OR FIREABLE(t9904) OR FIREABLE(t9903) OR FIREABLE(t9902) OR FIREABLE(t9901) OR FIREABLE(t9900) OR FIREABLE(t9899) OR FIREABLE(t9898) OR FIREABLE(t9897) OR FIREABLE(t9896) OR FIREABLE(t9895) OR FIREABLE(t9894) OR FIREABLE(t9893) OR FIREABLE(t9892) OR FIREABLE(t9891) OR FIREABLE(t9890) OR FIREABLE(t9889) OR FIREABLE(t9888) OR FIREABLE(t9887) OR FIREABLE(t9886) OR FIREABLE(t9885) OR FIREABLE(t9884) OR FIREABLE(t9883) OR FIREABLE(t9882) OR FIREABLE(t9881) OR FIREABLE(t9880) OR FIREABLE(t9879) OR FIREABLE(t9878) OR FIREABLE(t9877) OR FIREABLE(t9876) OR FIREABLE(t9875) OR FIREABLE(t9874) OR FIREABLE(t9873) OR FIREABLE(t9872) OR FIREABLE(t9871) OR FIREABLE(t9870) OR FIREABLE(t9869) OR FIREABLE(t9868) OR FIREABLE(t9867) OR FIREABLE(t9866) OR FIREABLE(t9865) OR FIREABLE(t9864) OR FIREABLE(t9863) OR FIREABLE(t9862) OR FIREABLE(t9861) OR FIREABLE(t9860) OR FIREABLE(t9859) OR FIREABLE(t9858) OR FIREABLE(t9857) OR FIREABLE(t9856) OR FIREABLE(t9855) OR FIREABLE(t9854) OR FIREABLE(t9853) OR FIREABLE(t9852) OR FIREABLE(t9851) OR FIREABLE(t9850) OR FIREABLE(t9849) OR FIREABLE(t9848) OR FIREABLE(t9847) OR FIREABLE(t9846) OR FIREABLE(t9845) OR FIREABLE(t9844) OR FIREABLE(t9843) OR FIREABLE(t9842) OR FIREABLE(t9841) OR FIREABLE(t9840) OR FIREABLE(t9839) OR FIREABLE(t9838) OR FIREABLE(t9837) OR FIREABLE(t9836) OR FIREABLE(t9835) OR FIREABLE(t9834) OR FIREABLE(t9833) OR FIREABLE(t9832) OR FIREABLE(t9831) OR FIREABLE(t9830) OR FIREABLE(t9829) OR FIREABLE(t9828) OR FIREABLE(t9827) OR FIREABLE(t9826) OR FIREABLE(t9825) OR FIREABLE(t9824) OR FIREABLE(t9823) OR FIREABLE(t9822) OR FIREABLE(t9821) OR FIREABLE(t9820) OR FIREABLE(t9819) OR FIREABLE(t9818) OR FIREABLE(t9817) OR FIREABLE(t9816) OR FIREABLE(t9815) OR FIREABLE(t9814) OR FIREABLE(t9813) OR FIREABLE(t9812) OR FIREABLE(t9811) OR FIREABLE(t9810) OR FIREABLE(t9809) OR FIREABLE(t9808) OR FIREABLE(t9807) OR FIREABLE(t9806) OR FIREABLE(t9805) OR FIREABLE(t9804) OR FIREABLE(t9803) OR FIREABLE(t9802) OR FIREABLE(t9801) OR FIREABLE(t9800) OR FIREABLE(t9799) OR FIREABLE(t9798) OR FIREABLE(t9797) OR FIREABLE(t9796) OR FIREABLE(t9795) OR FIREABLE(t9794) OR FIREABLE(t9793) OR FIREABLE(t9792) OR FIREABLE(t9791) OR FIREABLE(t9790) OR FIREABLE(t9789) OR FIREABLE(t9788) OR FIREABLE(t9787) OR FIREABLE(t9786) OR FIREABLE(t9785) OR FIREABLE(t9784) OR FIREABLE(t9783) OR FIREABLE(t9782) OR FIREABLE(t9781) OR FIREABLE(t9780) OR FIREABLE(t9779) OR FIREABLE(t9778) OR FIREABLE(t9777) OR FIREABLE(t9776) OR FIREABLE(t9775) OR FIREABLE(t9774) OR FIREABLE(t9773) OR FIREABLE(t9772) OR FIREABLE(t9771) OR FIREABLE(t9770) OR FIREABLE(t9769) OR FIREABLE(t9768) OR FIREABLE(t9767) OR FIREABLE(t9766) OR FIREABLE(t9765) OR FIREABLE(t9764) OR FIREABLE(t9763) OR FIREABLE(t9762) OR FIREABLE(t9761) OR FIREABLE(t9760) OR FIREABLE(t9759) OR FIREABLE(t9758) OR FIREABLE(t9757) OR FIREABLE(t9756) OR FIREABLE(t9755) OR FIREABLE(t9754) OR FIREABLE(t9753) OR FIREABLE(t9752) OR FIREABLE(t9751) OR FIREABLE(t9750) OR FIREABLE(t9749) OR FIREABLE(t9748) OR FIREABLE(t9747) OR FIREABLE(t9746) OR FIREABLE(t9745) OR FIREABLE(t9744) OR FIREABLE(t9743) OR FIREABLE(t9742) OR FIREABLE(t9741) OR FIREABLE(t9740) OR FIREABLE(t9739) OR FIREABLE(t9738) OR FIREABLE(t9737) OR FIREABLE(t9736) OR FIREABLE(t9735) OR FIREABLE(t9734) OR FIREABLE(t9733) OR FIREABLE(t9732) OR FIREABLE(t9731) OR FIREABLE(t9730) OR FIREABLE(t9729) OR FIREABLE(t9728) OR FIREABLE(t9727) OR FIREABLE(t9726) OR FIREABLE(t9725) OR FIREABLE(t9724) OR FIREABLE(t9723) OR FIREABLE(t9722) OR FIREABLE(t9721) OR FIREABLE(t9720) OR FIREABLE(t9719) OR FIREABLE(t9718) OR FIREABLE(t9717) OR FIREABLE(t9716) OR FIREABLE(t9715) OR FIREABLE(t9714) OR FIREABLE(t9713) OR FIREABLE(t9712) OR FIREABLE(t9711) OR FIREABLE(t9710) OR FIREABLE(t9709) OR FIREABLE(t9708) OR FIREABLE(t9707) OR FIREABLE(t9706) OR FIREABLE(t9705) OR FIREABLE(t9704) OR FIREABLE(t9703) OR FIREABLE(t9702) OR FIREABLE(t9701) OR FIREABLE(t9700) OR FIREABLE(t9699) OR FIREABLE(t9698) OR FIREABLE(t9697) OR FIREABLE(t9696) OR FIREABLE(t9695) OR FIREABLE(t9694) OR FIREABLE(t9693) OR FIREABLE(t9692) OR FIREABLE(t9691) OR FIREABLE(t9690) OR FIREABLE(t9689) OR FIREABLE(t9688) OR FIREABLE(t9687) OR FIREABLE(t9686) OR FIREABLE(t9685) OR FIREABLE(t9684) OR FIREABLE(t9683) OR FIREABLE(t9682) OR FIREABLE(t9681) OR FIREABLE(t9680) OR FIREABLE(t9679) OR FIREABLE(t9678) OR FIREABLE(t9677) OR FIREABLE(t9676) OR FIREABLE(t9675) OR FIREABLE(t9674) OR FIREABLE(t9673) OR FIREABLE(t9672) OR FIREABLE(t9671) OR FIREABLE(t9670) OR FIREABLE(t9669) OR FIREABLE(t9668) OR FIREABLE(t9667) OR FIREABLE(t9666) OR FIREABLE(t9665) OR FIREABLE(t9664) OR FIREABLE(t9663) OR FIREABLE(t9662) OR FIREABLE(t9661) OR FIREABLE(t9660) OR FIREABLE(t9659) OR FIREABLE(t9658) OR FIREABLE(t9657) OR FIREABLE(t9656) OR FIREABLE(t9655) OR FIREABLE(t9654) OR FIREABLE(t9653) OR FIREABLE(t9652) OR FIREABLE(t9651) OR FIREABLE(t9650) OR FIREABLE(t9649) OR FIREABLE(t9648) OR FIREABLE(t9647) OR FIREABLE(t9646) OR FIREABLE(t9645) OR FIREABLE(t9644) OR FIREABLE(t9643) OR FIREABLE(t9642) OR FIREABLE(t9641) OR FIREABLE(t9640) OR FIREABLE(t9639) OR FIREABLE(t9638) OR FIREABLE(t9637) OR FIREABLE(t9636) OR FIREABLE(t9635) OR FIREABLE(t9634) OR FIREABLE(t9633) OR FIREABLE(t9632) OR FIREABLE(t9631) OR FIREABLE(t9630) OR FIREABLE(t9629) OR FIREABLE(t9628) OR FIREABLE(t9627) OR FIREABLE(t9626) OR FIREABLE(t9625) OR FIREABLE(t9624) OR FIREABLE(t9623) OR FIREABLE(t9622) OR FIREABLE(t9621) OR FIREABLE(t9620) OR FIREABLE(t9619) OR FIREABLE(t9618) OR FIREABLE(t9617) OR FIREABLE(t9616) OR FIREABLE(t9615) OR FIREABLE(t9614) OR FIREABLE(t9613) OR FIREABLE(t9612) OR FIREABLE(t9611) OR FIREABLE(t9610) OR FIREABLE(t9609) OR FIREABLE(t9608) OR FIREABLE(t9607) OR FIREABLE(t9606) OR FIREABLE(t9605) OR FIREABLE(t9604) OR FIREABLE(t9603) OR FIREABLE(t9602) OR FIREABLE(t9601) OR FIREABLE(t9600) OR FIREABLE(t9599) OR FIREABLE(t9598) OR FIREABLE(t9597) OR FIREABLE(t9596) OR FIREABLE(t9595) OR FIREABLE(t9594) OR FIREABLE(t9593) OR FIREABLE(t9592) OR FIREABLE(t9591) OR FIREABLE(t9590) OR FIREABLE(t9589) OR FIREABLE(t9588) OR FIREABLE(t9587) OR FIREABLE(t9586) OR FIREABLE(t9585) OR FIREABLE(t9584) OR FIREABLE(t9583) OR FIREABLE(t9582) OR FIREABLE(t9581) OR FIREABLE(t9580) OR FIREABLE(t9579) OR FIREABLE(t9578) OR FIREABLE(t9577) OR FIREABLE(t9576) OR FIREABLE(t9575) OR FIREABLE(t9574) OR FIREABLE(t9573) OR FIREABLE(t9572) OR FIREABLE(t9571) OR FIREABLE(t9570) OR FIREABLE(t9569) OR FIREABLE(t9568) OR FIREABLE(t9567) OR FIREABLE(t9566) OR FIREABLE(t9565) OR FIREABLE(t9564) OR FIREABLE(t9563) OR FIREABLE(t9562) OR FIREABLE(t9561) OR FIREABLE(t9560) OR FIREABLE(t9559) OR FIREABLE(t9558) OR FIREABLE(t9557) OR FIREABLE(t9556) OR FIREABLE(t9555) OR FIREABLE(t9554) OR FIREABLE(t9553) OR FIREABLE(t9552) OR FIREABLE(t9551) OR FIREABLE(t9550) OR FIREABLE(t9549) OR FIREABLE(t9548) OR FIREABLE(t9547) OR FIREABLE(t9546) OR FIREABLE(t9545) OR FIREABLE(t9544) OR FIREABLE(t9543) OR FIREABLE(t9542) OR FIREABLE(t9541) OR FIREABLE(t9540) OR FIREABLE(t9539) OR FIREABLE(t9538) OR FIREABLE(t9537) OR FIREABLE(t9536) OR FIREABLE(t9535) OR FIREABLE(t9534) OR FIREABLE(t9533) OR FIREABLE(t9532) OR FIREABLE(t9531) OR FIREABLE(t9530) OR FIREABLE(t9529) OR FIREABLE(t9528) OR FIREABLE(t9527) OR FIREABLE(t9526) OR FIREABLE(t9525) OR FIREABLE(t9524) OR FIREABLE(t9523) OR FIREABLE(t9522) OR FIREABLE(t9521) OR FIREABLE(t9520) OR FIREABLE(t9519) OR FIREABLE(t9518) OR FIREABLE(t9517) OR FIREABLE(t9516) OR FIREABLE(t9515) OR FIREABLE(t9514) OR FIREABLE(t9513) OR FIREABLE(t9512) OR FIREABLE(t9511) OR FIREABLE(t9510) OR FIREABLE(t9509) OR FIREABLE(t9508) OR FIREABLE(t9507) OR FIREABLE(t9506) OR FIREABLE(t9505) OR FIREABLE(t9504) OR FIREABLE(t9503) OR FIREABLE(t9502) OR FIREABLE(t9501) OR FIREABLE(t9500) OR FIREABLE(t9499) OR FIREABLE(t9498) OR FIREABLE(t9497) OR FIREABLE(t9496) OR FIREABLE(t9495) OR FIREABLE(t9494) OR FIREABLE(t9493) OR FIREABLE(t9492) OR FIREABLE(t9491) OR FIREABLE(t9490) OR FIREABLE(t9489) OR FIREABLE(t9488) OR FIREABLE(t9487) OR FIREABLE(t9486) OR FIREABLE(t9485) OR FIREABLE(t9484) OR FIREABLE(t9483) OR FIREABLE(t9482) OR FIREABLE(t9481) OR FIREABLE(t9480) OR FIREABLE(t9479) OR FIREABLE(t9478) OR FIREABLE(t9477) OR FIREABLE(t9476) OR FIREABLE(t9475) OR FIREABLE(t9474) OR FIREABLE(t9473) OR FIREABLE(t9472) OR FIREABLE(t9471) OR FIREABLE(t9470) OR FIREABLE(t9469) OR FIREABLE(t9468) OR FIREABLE(t9467) OR FIREABLE(t9466) OR FIREABLE(t9465) OR FIREABLE(t9464) OR FIREABLE(t9463) OR FIREABLE(t9462) OR FIREABLE(t9461) OR FIREABLE(t9460) OR FIREABLE(t9459) OR FIREABLE(t9458) OR FIREABLE(t9457) OR FIREABLE(t9456) OR FIREABLE(t9455) OR FIREABLE(t9454) OR FIREABLE(t9453) OR FIREABLE(t9452) OR FIREABLE(t9451) OR FIREABLE(t9450) OR FIREABLE(t9449) OR FIREABLE(t9448) OR FIREABLE(t9447) OR FIREABLE(t9446) OR FIREABLE(t9445) OR FIREABLE(t9444) OR FIREABLE(t9443) OR FIREABLE(t9442) OR FIREABLE(t9441) OR FIREABLE(t9440) OR FIREABLE(t9439) OR FIREABLE(t9438) OR FIREABLE(t9437) OR FIREABLE(t9436) OR FIREABLE(t9435) OR FIREABLE(t9434) OR FIREABLE(t9433) OR FIREABLE(t9432) OR FIREABLE(t9431) OR FIREABLE(t9430) OR FIREABLE(t9429) OR FIREABLE(t9428) OR FIREABLE(t9427) OR FIREABLE(t9426) OR FIREABLE(t9425) OR FIREABLE(t9424) OR FIREABLE(t9423) OR FIREABLE(t9422) OR FIREABLE(t9421) OR FIREABLE(t9420) OR FIREABLE(t9419) OR FIREABLE(t9418) OR FIREABLE(t9417) OR FIREABLE(t9416) OR FIREABLE(t9415) OR FIREABLE(t9414) OR FIREABLE(t9413) OR FIREABLE(t9412) OR FIREABLE(t9411) OR FIREABLE(t9410) OR FIREABLE(t9409) OR FIREABLE(t9408) OR FIREABLE(t9407) OR FIREABLE(t9406) OR FIREABLE(t9405) OR FIREABLE(t9404) OR FIREABLE(t9403) OR FIREABLE(t9402) OR FIREABLE(t9401) OR FIREABLE(t9400) OR FIREABLE(t9399) OR FIREABLE(t9398) OR FIREABLE(t9397) OR FIREABLE(t9396) OR FIREABLE(t9395) OR FIREABLE(t9394) OR FIREABLE(t9393) OR FIREABLE(t9392) OR FIREABLE(t9391) OR FIREABLE(t9390) OR FIREABLE(t9389) OR FIREABLE(t9388) OR FIREABLE(t9387) OR FIREABLE(t9386) OR FIREABLE(t9385) OR FIREABLE(t9384) OR FIREABLE(t9383) OR FIREABLE(t9382) OR FIREABLE(t9381) OR FIREABLE(t9380) OR FIREABLE(t9379) OR FIREABLE(t9378) OR FIREABLE(t9377) OR FIREABLE(t9376) OR FIREABLE(t9375) OR FIREABLE(t9374) OR FIREABLE(t9373) OR FIREABLE(t9372) OR FIREABLE(t9371) OR FIREABLE(t9370) OR FIREABLE(t9369) OR FIREABLE(t9368) OR FIREABLE(t9367) OR FIREABLE(t9366) OR FIREABLE(t9365) OR FIREABLE(t9364) OR FIREABLE(t9363) OR FIREABLE(t9362) OR FIREABLE(t9361) OR FIREABLE(t9360) OR FIREABLE(t9359) OR FIREABLE(t9358) OR FIREABLE(t9357) OR FIREABLE(t9356) OR FIREABLE(t9355) OR FIREABLE(t9354) OR FIREABLE(t9353) OR FIREABLE(t9352) OR FIREABLE(t9351) OR FIREABLE(t9350) OR FIREABLE(t9349) OR FIREABLE(t9348) OR FIREABLE(t9347) OR FIREABLE(t9346) OR FIREABLE(t9345) OR FIREABLE(t9344) OR FIREABLE(t9343) OR FIREABLE(t9342) OR FIREABLE(t9341) OR FIREABLE(t9340) OR FIREABLE(t9339) OR FIREABLE(t9338) OR FIREABLE(t9337) OR FIREABLE(t9336) OR FIREABLE(t9335) OR FIREABLE(t9334) OR FIREABLE(t9333) OR FIREABLE(t9332) OR FIREABLE(t9331) OR FIREABLE(t9330) OR FIREABLE(t9329) OR FIREABLE(t9328) OR FIREABLE(t9327) OR FIREABLE(t9326) OR FIREABLE(t9325) OR FIREABLE(t9324) OR FIREABLE(t9323) OR FIREABLE(t9322) OR FIREABLE(t9321) OR FIREABLE(t9320) OR FIREABLE(t9319) OR FIREABLE(t9318) OR FIREABLE(t9317) OR FIREABLE(t9316) OR FIREABLE(t9315) OR FIREABLE(t9314) OR FIREABLE(t9313) OR FIREABLE(t9312) OR FIREABLE(t9311) OR FIREABLE(t9310) OR FIREABLE(t9309) OR FIREABLE(t9308) OR FIREABLE(t9307) OR FIREABLE(t9306) OR FIREABLE(t9305) OR FIREABLE(t9304) OR FIREABLE(t9303) OR FIREABLE(t9302) OR FIREABLE(t9301) OR FIREABLE(t9300) OR FIREABLE(t9299) OR FIREABLE(t9298) OR FIREABLE(t9297) OR FIREABLE(t9296) OR FIREABLE(t9295) OR FIREABLE(t9294) OR FIREABLE(t9293) OR FIREABLE(t9292) OR FIREABLE(t9291) OR FIREABLE(t9290) OR FIREABLE(t9289) OR FIREABLE(t9288) OR FIREABLE(t9287) OR FIREABLE(t9286) OR FIREABLE(t9285) OR FIREABLE(t9284) OR FIREABLE(t9283) OR FIREABLE(t9282) OR FIREABLE(t9281) OR FIREABLE(t9280) OR FIREABLE(t9279) OR FIREABLE(t9278) OR FIREABLE(t9277) OR FIREABLE(t9276) OR FIREABLE(t9275) OR FIREABLE(t9274) OR FIREABLE(t9273) OR FIREABLE(t9272) OR FIREABLE(t9271) OR FIREABLE(t9270) OR FIREABLE(t9269) OR FIREABLE(t9268) OR FIREABLE(t9267) OR FIREABLE(t9266) OR FIREABLE(t9265) OR FIREABLE(t9264) OR FIREABLE(t9263) OR FIREABLE(t9262) OR FIREABLE(t9261) OR FIREABLE(t9260) OR FIREABLE(t9259) OR FIREABLE(t9258) OR FIREABLE(t9257) OR FIREABLE(t9256) OR FIREABLE(t9255) OR FIREABLE(t9254) OR FIREABLE(t9253) OR FIREABLE(t9252) OR FIREABLE(t9251) OR FIREABLE(t9250) OR FIREABLE(t9249) OR FIREABLE(t9248) OR FIREABLE(t9247) OR FIREABLE(t9246) OR FIREABLE(t9245) OR FIREABLE(t9244) OR FIREABLE(t9243) OR FIREABLE(t9242) OR FIREABLE(t9241) OR FIREABLE(t9240) OR FIREABLE(t9239) OR FIREABLE(t9238) OR FIREABLE(t9237) OR FIREABLE(t9236) OR FIREABLE(t9235) OR FIREABLE(t9234) OR FIREABLE(t9233) OR FIREABLE(t9232) OR FIREABLE(t9231) OR FIREABLE(t9230) OR FIREABLE(t9229) OR FIREABLE(t9228) OR FIREABLE(t9227) OR FIREABLE(t9226) OR FIREABLE(t9225) OR FIREABLE(t9224) OR FIREABLE(t9223) OR FIREABLE(t9222) OR FIREABLE(t9221) OR FIREABLE(t9220) OR FIREABLE(t9219) OR FIREABLE(t9218) OR FIREABLE(t9217) OR FIREABLE(t9216) OR FIREABLE(t9215) OR FIREABLE(t9214) OR FIREABLE(t9213) OR FIREABLE(t9212) OR FIREABLE(t9211) OR FIREABLE(t9210) OR FIREABLE(t9209) OR FIREABLE(t9208) OR FIREABLE(t9207) OR FIREABLE(t9206) OR FIREABLE(t9205) OR FIREABLE(t9204) OR FIREABLE(t9203) OR FIREABLE(t9202) OR FIREABLE(t9201) OR FIREABLE(t9200) OR FIREABLE(t9199) OR FIREABLE(t9198) OR FIREABLE(t9197) OR FIREABLE(t9196) OR FIREABLE(t9195) OR FIREABLE(t9194) OR FIREABLE(t9193) OR FIREABLE(t9192) OR FIREABLE(t9191) OR FIREABLE(t9190) OR FIREABLE(t9189) OR FIREABLE(t9188) OR FIREABLE(t9187) OR FIREABLE(t9186) OR FIREABLE(t9185) OR FIREABLE(t9184) OR FIREABLE(t9183) OR FIREABLE(t9182) OR FIREABLE(t9181) OR FIREABLE(t9180) OR FIREABLE(t9179) OR FIREABLE(t9178) OR FIREABLE(t9177) OR FIREABLE(t9176) OR FIREABLE(t9175) OR FIREABLE(t9174) OR FIREABLE(t9173) OR FIREABLE(t9172) OR FIREABLE(t9171) OR FIREABLE(t9170) OR FIREABLE(t9169) OR FIREABLE(t9168) OR FIREABLE(t9167) OR FIREABLE(t9166) OR FIREABLE(t9165) OR FIREABLE(t9164) OR FIREABLE(t9163) OR FIREABLE(t9162) OR FIREABLE(t9161) OR FIREABLE(t9160) OR FIREABLE(t9159) OR FIREABLE(t9158) OR FIREABLE(t9157) OR FIREABLE(t9156) OR FIREABLE(t9155) OR FIREABLE(t9154) OR FIREABLE(t9153) OR FIREABLE(t9152) OR FIREABLE(t9151) OR FIREABLE(t9150) OR FIREABLE(t9149) OR FIREABLE(t9148) OR FIREABLE(t9147) OR FIREABLE(t9146) OR FIREABLE(t9145) OR FIREABLE(t9144) OR FIREABLE(t9143) OR FIREABLE(t9142) OR FIREABLE(t9141) OR FIREABLE(t9140) OR FIREABLE(t9139) OR FIREABLE(t9138) OR FIREABLE(t9137) OR FIREABLE(t9136) OR FIREABLE(t9135) OR FIREABLE(t9134) OR FIREABLE(t9133) OR FIREABLE(t9132) OR FIREABLE(t9131) OR FIREABLE(t9130) OR FIREABLE(t9129) OR FIREABLE(t9128) OR FIREABLE(t9127) OR FIREABLE(t9126) OR FIREABLE(t9125) OR FIREABLE(t9124) OR FIREABLE(t9123) OR FIREABLE(t9122) OR FIREABLE(t9121) OR FIREABLE(t9120) OR FIREABLE(t9119) OR FIREABLE(t9118) OR FIREABLE(t9117) OR FIREABLE(t9116) OR FIREABLE(t9115) OR FIREABLE(t9114) OR FIREABLE(t9113) OR FIREABLE(t9112) OR FIREABLE(t9111) OR FIREABLE(t9110) OR FIREABLE(t9109) OR FIREABLE(t9108) OR FIREABLE(t9107) OR FIREABLE(t9106) OR FIREABLE(t9105) OR FIREABLE(t9104) OR FIREABLE(t9103) OR FIREABLE(t9102) OR FIREABLE(t9101) OR FIREABLE(t9100) OR FIREABLE(t9099) OR FIREABLE(t9098) OR FIREABLE(t9097) OR FIREABLE(t9096) OR FIREABLE(t9095) OR FIREABLE(t9094) OR FIREABLE(t9093) OR FIREABLE(t9092) OR FIREABLE(t9091) OR FIREABLE(t9090) OR FIREABLE(t9089) OR FIREABLE(t9088) OR FIREABLE(t9087) OR FIREABLE(t9086) OR FIREABLE(t9085) OR FIREABLE(t9084) OR FIREABLE(t9083) OR FIREABLE(t9082) OR FIREABLE(t9081) OR FIREABLE(t9080) OR FIREABLE(t9079) OR FIREABLE(t9078) OR FIREABLE(t9077) OR FIREABLE(t9076) OR FIREABLE(t9075) OR FIREABLE(t9074) OR FIREABLE(t9073) OR FIREABLE(t9072) OR FIREABLE(t9071) OR FIREABLE(t9070) OR FIREABLE(t9069) OR FIREABLE(t9068) OR FIREABLE(t9067) OR FIREABLE(t9066) OR FIREABLE(t9065) OR FIREABLE(t9064) OR FIREABLE(t9063) OR FIREABLE(t9062) OR FIREABLE(t9061) OR FIREABLE(t9060) OR FIREABLE(t9059) OR FIREABLE(t9058) OR FIREABLE(t9057) OR FIREABLE(t9056) OR FIREABLE(t9055) OR FIREABLE(t9054) OR FIREABLE(t9053) OR FIREABLE(t9052) OR FIREABLE(t9051) OR FIREABLE(t9050) OR FIREABLE(t9049) OR FIREABLE(t9048) OR FIREABLE(t9047) OR FIREABLE(t9046) OR FIREABLE(t9045) OR FIREABLE(t9044) OR FIREABLE(t9043) OR FIREABLE(t9042))) U G ((FIREABLE(t10409) OR FIREABLE(t10408) OR FIREABLE(t10407) OR FIREABLE(t10406) OR FIREABLE(t10405) OR FIREABLE(t10404))))))) : A (F (F ((FIREABLE(t11) OR FIREABLE(t10) OR FIREABLE(t9) OR FIREABLE(t8) OR FIREABLE(t7) OR FIREABLE(t6))))) : A (F ((X (F ((FIREABLE(t5) OR FIREABLE(t4) OR FIREABLE(t3) OR FIREABLE(t2) OR FIREABLE(t1) OR FIREABLE(t0)))) U (FIREABLE(t491) OR FIREABLE(t490) OR FIREABLE(t489) OR FIREABLE(t488) OR FIREABLE(t487) OR FIREABLE(t486) OR FIREABLE(t485) OR FIREABLE(t484) OR FIREABLE(t483) OR FIREABLE(t482) OR FIREABLE(t481) OR FIREABLE(t480) OR FIREABLE(t479) OR FIREABLE(t478) OR FIREABLE(t477) OR FIREABLE(t476) OR FIREABLE(t475) OR FIREABLE(t474) OR FIREABLE(t473) OR FIREABLE(t472) OR FIREABLE(t471) OR FIREABLE(t470) OR FIREABLE(t469) OR FIREABLE(t468) OR FIREABLE(t467) OR FIREABLE(t466) OR FIREABLE(t465) OR FIREABLE(t464) OR FIREABLE(t463) OR FIREABLE(t462) OR FIREABLE(t461) OR FIREABLE(t460) OR FIREABLE(t459) OR FIREABLE(t458) OR FIREABLE(t457) OR FIREABLE(t456) OR FIREABLE(t455) OR FIREABLE(t454) OR FIREABLE(t453) OR FIREABLE(t452) OR FIREABLE(t451) OR FIREABLE(t450) OR FIREABLE(t449) OR FIREABLE(t448) OR FIREABLE(t447) OR FIREABLE(t446) OR FIREABLE(t445) OR FIREABLE(t444) OR FIREABLE(t443) OR FIREABLE(t442) OR FIREABLE(t441) OR FIREABLE(t440) OR FIREABLE(t439) OR FIREABLE(t438) OR FIREABLE(t437) OR FIREABLE(t436) OR FIREABLE(t435) OR FIREABLE(t434) OR FIREABLE(t433) OR FIREABLE(t432) OR FIREABLE(t431) OR FIREABLE(t430) OR FIREABLE(t429) OR FIREABLE(t428) OR FIREABLE(t427) OR FIREABLE(t426) OR FIREABLE(t425) OR FIREABLE(t424) OR FIREABLE(t423) OR FIREABLE(t422) OR FIREABLE(t421) OR FIREABLE(t420) OR FIREABLE(t419) OR FIREABLE(t418) OR FIREABLE(t417) OR FIREABLE(t416) OR FIREABLE(t415) OR FIREABLE(t414) OR FIREABLE(t413) OR FIREABLE(t412) OR FIREABLE(t411) OR FIREABLE(t410) OR FIREABLE(t409) OR FIREABLE(t408) OR FIREABLE(t407) OR FIREABLE(t406) OR FIREABLE(t405) OR FIREABLE(t404) OR FIREABLE(t403) OR FIREABLE(t402) OR FIREABLE(t401) OR FIREABLE(t400) OR FIREABLE(t399) OR FIREABLE(t398) OR FIREABLE(t397) OR FIREABLE(t396) OR FIREABLE(t395) OR FIREABLE(t394) OR FIREABLE(t393) OR FIREABLE(t392) OR FIREABLE(t391) OR FIREABLE(t390) OR FIREABLE(t389) OR FIREABLE(t388) OR FIREABLE(t387) OR FIREABLE(t386) OR FIREABLE(t385) OR FIREABLE(t384) OR FIREABLE(t383) OR FIREABLE(t382) OR FIREABLE(t381) OR FIREABLE(t380) OR FIREABLE(t379) OR FIREABLE(t378) OR FIREABLE(t377) OR FIREABLE(t376) OR FIREABLE(t375) OR FIREABLE(t374) OR FIREABLE(t373) OR FIREABLE(t372) OR FIREABLE(t371) OR FIREABLE(t370) OR FIREABLE(t369) OR FIREABLE(t368) OR FIREABLE(t367) OR FIREABLE(t366) OR FIREABLE(t365) OR FIREABLE(t364) OR FIREABLE(t363) OR FIREABLE(t362) OR FIREABLE(t361) OR FIREABLE(t360) OR FIREABLE(t359) OR FIREABLE(t358) OR FIREABLE(t357) OR FIREABLE(t356) OR FIREABLE(t355) OR FIREABLE(t354) OR FIREABLE(t353) OR FIREABLE(t352) OR FIREABLE(t351) OR FIREABLE(t350) OR FIREABLE(t349) OR FIREABLE(t348) OR FIREABLE(t347) OR FIREABLE(t346) OR FIREABLE(t345) OR FIREABLE(t344) OR FIREABLE(t343) OR FIREABLE(t342) OR FIREABLE(t341) OR FIREABLE(t340) OR FIREABLE(t339) OR FIREABLE(t338) OR FIREABLE(t337) OR FIREABLE(t336) OR FIREABLE(t335) OR FIREABLE(t334) OR FIREABLE(t333) OR FIREABLE(t332) OR FIREABLE(t331) OR FIREABLE(t330) OR FIREABLE(t329) OR FIREABLE(t328) OR FIREABLE(t327) OR FIREABLE(t326) OR FIREABLE(t325) OR FIREABLE(t324) OR FIREABLE(t323) OR FIREABLE(t322) OR FIREABLE(t321) OR FIREABLE(t320) OR FIREABLE(t319) OR FIREABLE(t318) OR FIREABLE(t317) OR FIREABLE(t316) OR FIREABLE(t315) OR FIREABLE(t314) OR FIREABLE(t313) OR FIREABLE(t312))))) : A (G ((FIREABLE(t8603) OR FIREABLE(t8602) OR FIREABLE(t8601) OR FIREABLE(t8600) OR FIREABLE(t8599) OR FIREABLE(t8598)))) : A ((G (((FIREABLE(t8825) OR FIREABLE(t8824) OR FIREABLE(t8823) OR FIREABLE(t8822) OR FIREABLE(t8821) OR FIREABLE(t8820)) U (FIREABLE(t8561) OR FIREABLE(t8560) OR FIREABLE(t8559) OR FIREABLE(t8558) OR FIREABLE(t8557) OR FIREABLE(t8556)))) U (FIREABLE(t8825) OR FIREABLE(t8824) OR FIREABLE(t8823) OR FIREABLE(t8822) OR FIREABLE(t8821) OR FIREABLE(t8820)))) : A (X (G (G ((FIREABLE(t10397) OR FIREABLE(t10396) OR FIREABLE(t10395) OR FIREABLE(t10394) OR FIREABLE(t10393) OR FIREABLE(t10392)))))) : A (X ((FIREABLE(t10403) OR FIREABLE(t10402) OR FIREABLE(t10401) OR FIREABLE(t10400) OR FIREABLE(t10399) OR FIREABLE(t10398)))) : A ((FIREABLE(t65) OR FIREABLE(t64) OR FIREABLE(t63) OR FIREABLE(t62) OR FIREABLE(t61) OR FIREABLE(t60))) : A (((X ((FIREABLE(t10337) OR FIREABLE(t10336) OR FIREABLE(t10335) OR FIREABLE(t10334) OR FIREABLE(t10333) OR FIREABLE(t10332) OR FIREABLE(t10331) OR FIREABLE(t10330) OR FIREABLE(t10329) OR FIREABLE(t10328) OR FIREABLE(t10327) OR FIREABLE(t10326) OR FIREABLE(t10325) OR FIREABLE(t10324) OR FIREABLE(t10323) OR FIREABLE(t10322) OR FIREABLE(t10321) OR FIREABLE(t10320) OR FIREABLE(t10319) OR FIREABLE(t10318) OR FIREABLE(t10317) OR FIREABLE(t10316) OR FIREABLE(t10315) OR FIREABLE(t10314) OR FIREABLE(t10313) OR FIREABLE(t10312) OR FIREABLE(t10311) OR FIREABLE(t10310) OR FIREABLE(t10309) OR FIREABLE(t10308) OR FIREABLE(t10307) OR FIREABLE(t10306) OR FIREABLE(t10305) OR FIREABLE(t10304) OR FIREABLE(t10303) OR FIREABLE(t10302) OR FIREABLE(t10301) OR FIREABLE(t10300) OR FIREABLE(t10299) OR FIREABLE(t10298) OR FIREABLE(t10297) OR FIREABLE(t10296) OR FIREABLE(t10295) OR FIREABLE(t10294) OR FIREABLE(t10293) OR FIREABLE(t10292) OR FIREABLE(t10291) OR FIREABLE(t10290) OR FIREABLE(t10289) OR FIREABLE(t10288) OR FIREABLE(t10287) OR FIREABLE(t10286) OR FIREABLE(t10285) OR FIREABLE(t10284) OR FIREABLE(t10283) OR FIREABLE(t10282) OR FIREABLE(t10281) OR FIREABLE(t10280) OR FIREABLE(t10279) OR FIREABLE(t10278) OR FIREABLE(t10277) OR FIREABLE(t10276) OR FIREABLE(t10275) OR FIREABLE(t10274) OR FIREABLE(t10273) OR FIREABLE(t10272) OR FIREABLE(t10271) OR FIREABLE(t10270) OR FIREABLE(t10269) OR FIREABLE(t10268) OR FIREABLE(t10267) OR FIREABLE(t10266) OR FIREABLE(t10265) OR FIREABLE(t10264) OR FIREABLE(t10263) OR FIREABLE(t10262) OR FIREABLE(t10261) OR FIREABLE(t10260) OR FIREABLE(t10259) OR FIREABLE(t10258) OR FIREABLE(t10257) OR FIREABLE(t10256) OR FIREABLE(t10255) OR FIREABLE(t10254) OR FIREABLE(t10253) OR FIREABLE(t10252) OR FIREABLE(t10251) OR FIREABLE(t10250) OR FIREABLE(t10249) OR FIREABLE(t10248) OR FIREABLE(t10247) OR FIREABLE(t10246) OR FIREABLE(t10245) OR FIREABLE(t10244) OR FIREABLE(t10243) OR FIREABLE(t10242) OR FIREABLE(t10241) OR FIREABLE(t10240) OR FIREABLE(t10239) OR FIREABLE(t10238) OR FIREABLE(t10237) OR FIREABLE(t10236) OR FIREABLE(t10235) OR FIREABLE(t10234) OR FIREABLE(t10233) OR FIREABLE(t10232) OR FIREABLE(t10231) OR FIREABLE(t10230) OR FIREABLE(t10229) OR FIREABLE(t10228) OR FIREABLE(t10227) OR FIREABLE(t10226) OR FIREABLE(t10225) OR FIREABLE(t10224) OR FIREABLE(t10223) OR FIREABLE(t10222) OR FIREABLE(t10221) OR FIREABLE(t10220) OR FIREABLE(t10219) OR FIREABLE(t10218) OR FIREABLE(t10217) OR FIREABLE(t10216) OR FIREABLE(t10215) OR FIREABLE(t10214) OR FIREABLE(t10213) OR FIREABLE(t10212) OR FIREABLE(t10211) OR FIREABLE(t10210) OR FIREABLE(t10209) OR FIREABLE(t10208) OR FIREABLE(t10207) OR FIREABLE(t10206) OR FIREABLE(t10205) OR FIREABLE(t10204) OR FIREABLE(t10203) OR FIREABLE(t10202) OR FIREABLE(t10201) OR FIREABLE(t10200) OR FIREABLE(t10199) OR FIREABLE(t10198) OR FIREABLE(t10197) OR FIREABLE(t10196) OR FIREABLE(t10195) OR FIREABLE(t10194) OR FIREABLE(t10193) OR FIREABLE(t10192) OR FIREABLE(t10191) OR FIREABLE(t10190) OR FIREABLE(t10189) OR FIREABLE(t10188) OR FIREABLE(t10187) OR FIREABLE(t10186) OR FIREABLE(t10185) OR FIREABLE(t10184) OR FIREABLE(t10183) OR FIREABLE(t10182) OR FIREABLE(t10181) OR FIREABLE(t10180) OR FIREABLE(t10179) OR FIREABLE(t10178) OR FIREABLE(t10177) OR FIREABLE(t10176) OR FIREABLE(t10175) OR FIREABLE(t10174) OR FIREABLE(t10173) OR FIREABLE(t10172) OR FIREABLE(t10171) OR FIREABLE(t10170) OR FIREABLE(t10169) OR FIREABLE(t10168) OR FIREABLE(t10167) OR FIREABLE(t10166) OR FIREABLE(t10165) OR FIREABLE(t10164) OR FIREABLE(t10163) OR FIREABLE(t10162) OR FIREABLE(t10161) OR FIREABLE(t10160) OR FIREABLE(t10159) OR FIREABLE(t10158) OR FIREABLE(t10157) OR FIREABLE(t10156) OR FIREABLE(t10155) OR FIREABLE(t10154) OR FIREABLE(t10153) OR FIREABLE(t10152) OR FIREABLE(t10151) OR FIREABLE(t10150) OR FIREABLE(t10149) OR FIREABLE(t10148) OR FIREABLE(t10147) OR FIREABLE(t10146) OR FIREABLE(t10145) OR FIREABLE(t10144) OR FIREABLE(t10143) OR FIREABLE(t10142) OR FIREABLE(t10141) OR FIREABLE(t10140) OR FIREABLE(t10139) OR FIREABLE(t10138) OR FIREABLE(t10137) OR FIREABLE(t10136) OR FIREABLE(t10135) OR FIREABLE(t10134) OR FIREABLE(t10133) OR FIREABLE(t10132) OR FIREABLE(t10131) OR FIREABLE(t10130) OR FIREABLE(t10129) OR FIREABLE(t10128) OR FIREABLE(t10127) OR FIREABLE(t10126) OR FIREABLE(t10125) OR FIREABLE(t10124) OR FIREABLE(t10123) OR FIREABLE(t10122) OR FIREABLE(t10121) OR FIREABLE(t10120) OR FIREABLE(t10119) OR FIREABLE(t10118) OR FIREABLE(t10117) OR FIREABLE(t10116) OR FIREABLE(t10115) OR FIREABLE(t10114) OR FIREABLE(t10113) OR FIREABLE(t10112) OR FIREABLE(t10111) OR FIREABLE(t10110) OR FIREABLE(t10109) OR FIREABLE(t10108) OR FIREABLE(t10107) OR FIREABLE(t10106) OR FIREABLE(t10105) OR FIREABLE(t10104) OR FIREABLE(t10103) OR FIREABLE(t10102) OR FIREABLE(t10101) OR FIREABLE(t10100) OR FIREABLE(t10099) OR FIREABLE(t10098) OR FIREABLE(t10097) OR FIREABLE(t10096) OR FIREABLE(t10095) OR FIREABLE(t10094) OR FIREABLE(t10093) OR FIREABLE(t10092) OR FIREABLE(t10091) OR FIREABLE(t10090) OR FIREABLE(t10089) OR FIREABLE(t10088) OR FIREABLE(t10087) OR FIREABLE(t10086) OR FIREABLE(t10085) OR FIREABLE(t10084) OR FIREABLE(t10083) OR FIREABLE(t10082) OR FIREABLE(t10081) OR FIREABLE(t10080) OR FIREABLE(t10079) OR FIREABLE(t10078) OR FIREABLE(t10077) OR FIREABLE(t10076) OR FIREABLE(t10075) OR FIREABLE(t10074) OR FIREABLE(t10073) OR FIREABLE(t10072) OR FIREABLE(t10071) OR FIREABLE(t10070) OR FIREABLE(t10069) OR FIREABLE(t10068) OR FIREABLE(t10067) OR FIREABLE(t10066) OR FIREABLE(t10065) OR FIREABLE(t10064) OR FIREABLE(t10063) OR FIREABLE(t10062) OR FIREABLE(t10061) OR FIREABLE(t10060) OR FIREABLE(t10059) OR FIREABLE(t10058) OR FIREABLE(t10057) OR FIREABLE(t10056) OR FIREABLE(t10055) OR FIREABLE(t10054) OR FIREABLE(t10053) OR FIREABLE(t10052) OR FIREABLE(t10051) OR FIREABLE(t10050) OR FIREABLE(t10049) OR FIREABLE(t10048) OR FIREABLE(t10047) OR FIREABLE(t10046) OR FIREABLE(t10045) OR FIREABLE(t10044) OR FIREABLE(t10043) OR FIREABLE(t10042) OR FIREABLE(t10041) OR FIREABLE(t10040) OR FIREABLE(t10039) OR FIREABLE(t10038) OR FIREABLE(t10037) OR FIREABLE(t10036) OR FIREABLE(t10035) OR FIREABLE(t10034) OR FIREABLE(t10033) OR FIREABLE(t10032) OR FIREABLE(t10031) OR FIREABLE(t10030) OR FIREABLE(t10029) OR FIREABLE(t10028) OR FIREABLE(t10027) OR FIREABLE(t10026) OR FIREABLE(t10025) OR FIREABLE(t10024) OR FIREABLE(t10023) OR FIREABLE(t10022) OR FIREABLE(t10021) OR FIREABLE(t10020) OR FIREABLE(t10019) OR FIREABLE(t10018) OR FIREABLE(t10017) OR FIREABLE(t10016) OR FIREABLE(t10015) OR FIREABLE(t10014) OR FIREABLE(t10013) OR FIREABLE(t10012) OR FIREABLE(t10011) OR FIREABLE(t10010) OR FIREABLE(t10009) OR FIREABLE(t10008) OR FIREABLE(t10007) OR FIREABLE(t10006) OR FIREABLE(t10005) OR FIREABLE(t10004) OR FIREABLE(t10003) OR FIREABLE(t10002) OR FIREABLE(t10001) OR FIREABLE(t10000) OR FIREABLE(t9999) OR FIREABLE(t9998) OR FIREABLE(t9997) OR FIREABLE(t9996) OR FIREABLE(t9995) OR FIREABLE(t9994) OR FIREABLE(t9993) OR FIREABLE(t9992) OR FIREABLE(t9991) OR FIREABLE(t9990) OR FIREABLE(t9989) OR FIREABLE(t9988) OR FIREABLE(t9987) OR FIREABLE(t9986) OR FIREABLE(t9985) OR FIREABLE(t9984) OR FIREABLE(t9983) OR FIREABLE(t9982) OR FIREABLE(t9981) OR FIREABLE(t9980) OR FIREABLE(t9979) OR FIREABLE(t9978) OR FIREABLE(t9977) OR FIREABLE(t9976) OR FIREABLE(t9975) OR FIREABLE(t9974) OR FIREABLE(t9973) OR FIREABLE(t9972) OR FIREABLE(t9971) OR FIREABLE(t9970) OR FIREABLE(t9969) OR FIREABLE(t9968) OR FIREABLE(t9967) OR FIREABLE(t9966) OR FIREABLE(t9965) OR FIREABLE(t9964) OR FIREABLE(t9963) OR FIREABLE(t9962) OR FIREABLE(t9961) OR FIREABLE(t9960) OR FIREABLE(t9959) OR FIREABLE(t9958) OR FIREABLE(t9957) OR FIREABLE(t9956) OR FIREABLE(t9955) OR FIREABLE(t9954) OR FIREABLE(t9953) OR FIREABLE(t9952) OR FIREABLE(t9951) OR FIREABLE(t9950) OR FIREABLE(t9949) OR FIREABLE(t9948) OR FIREABLE(t9947) OR FIREABLE(t9946) OR FIREABLE(t9945) OR FIREABLE(t9944) OR FIREABLE(t9943) OR FIREABLE(t9942) OR FIREABLE(t9941) OR FIREABLE(t9940) OR FIREABLE(t9939) OR FIREABLE(t9938) OR FIREABLE(t9937) OR FIREABLE(t9936) OR FIREABLE(t9935) OR FIREABLE(t9934) OR FIREABLE(t9933) OR FIREABLE(t9932) OR FIREABLE(t9931) OR FIREABLE(t9930) OR FIREABLE(t9929) OR FIREABLE(t9928) OR FIREABLE(t9927) OR FIREABLE(t9926) OR FIREABLE(t9925) OR FIREABLE(t9924) OR FIREABLE(t9923) OR FIREABLE(t9922) OR FIREABLE(t9921) OR FIREABLE(t9920) OR FIREABLE(t9919) OR FIREABLE(t9918) OR FIREABLE(t9917) OR FIREABLE(t9916) OR FIREABLE(t9915) OR FIREABLE(t9914) OR FIREABLE(t9913) OR FIREABLE(t9912) OR FIREABLE(t9911) OR FIREABLE(t9910) OR FIREABLE(t9909) OR FIREABLE(t9908) OR FIREABLE(t9907) OR FIREABLE(t9906) OR FIREABLE(t9905) OR FIREABLE(t9904) OR FIREABLE(t9903) OR FIREABLE(t9902) OR FIREABLE(t9901) OR FIREABLE(t9900) OR FIREABLE(t9899) OR FIREABLE(t9898) OR FIREABLE(t9897) OR FIREABLE(t9896) OR FIREABLE(t9895) OR FIREABLE(t9894) OR FIREABLE(t9893) OR FIREABLE(t9892) OR FIREABLE(t9891) OR FIREABLE(t9890) OR FIREABLE(t9889) OR FIREABLE(t9888) OR FIREABLE(t9887) OR FIREABLE(t9886) OR FIREABLE(t9885) OR FIREABLE(t9884) OR FIREABLE(t9883) OR FIREABLE(t9882) OR FIREABLE(t9881) OR FIREABLE(t9880) OR FIREABLE(t9879) OR FIREABLE(t9878) OR FIREABLE(t9877) OR FIREABLE(t9876) OR FIREABLE(t9875) OR FIREABLE(t9874) OR FIREABLE(t9873) OR FIREABLE(t9872) OR FIREABLE(t9871) OR FIREABLE(t9870) OR FIREABLE(t9869) OR FIREABLE(t9868) OR FIREABLE(t9867) OR FIREABLE(t9866) OR FIREABLE(t9865) OR FIREABLE(t9864) OR FIREABLE(t9863) OR FIREABLE(t9862) OR FIREABLE(t9861) OR FIREABLE(t9860) OR FIREABLE(t9859) OR FIREABLE(t9858) OR FIREABLE(t9857) OR FIREABLE(t9856) OR FIREABLE(t9855) OR FIREABLE(t9854) OR FIREABLE(t9853) OR FIREABLE(t9852) OR FIREABLE(t9851) OR FIREABLE(t9850) OR FIREABLE(t9849) OR FIREABLE(t9848) OR FIREABLE(t9847) OR FIREABLE(t9846) OR FIREABLE(t9845) OR FIREABLE(t9844) OR FIREABLE(t9843) OR FIREABLE(t9842) OR FIREABLE(t9841) OR FIREABLE(t9840) OR FIREABLE(t9839) OR FIREABLE(t9838) OR FIREABLE(t9837) OR FIREABLE(t9836) OR FIREABLE(t9835) OR FIREABLE(t9834) OR FIREABLE(t9833) OR FIREABLE(t9832) OR FIREABLE(t9831) OR FIREABLE(t9830) OR FIREABLE(t9829) OR FIREABLE(t9828) OR FIREABLE(t9827) OR FIREABLE(t9826) OR FIREABLE(t9825) OR FIREABLE(t9824) OR FIREABLE(t9823) OR FIREABLE(t9822) OR FIREABLE(t9821) OR FIREABLE(t9820) OR FIREABLE(t9819) OR FIREABLE(t9818) OR FIREABLE(t9817) OR FIREABLE(t9816) OR FIREABLE(t9815) OR FIREABLE(t9814) OR FIREABLE(t9813) OR FIREABLE(t9812) OR FIREABLE(t9811) OR FIREABLE(t9810) OR FIREABLE(t9809) OR FIREABLE(t9808) OR FIREABLE(t9807) OR FIREABLE(t9806) OR FIREABLE(t9805) OR FIREABLE(t9804) OR FIREABLE(t9803) OR FIREABLE(t9802) OR FIREABLE(t9801) OR FIREABLE(t9800) OR FIREABLE(t9799) OR FIREABLE(t9798) OR FIREABLE(t9797) OR FIREABLE(t9796) OR FIREABLE(t9795) OR FIREABLE(t9794) OR FIREABLE(t9793) OR FIREABLE(t9792) OR FIREABLE(t9791) OR FIREABLE(t9790) OR FIREABLE(t9789) OR FIREABLE(t9788) OR FIREABLE(t9787) OR FIREABLE(t9786) OR FIREABLE(t9785) OR FIREABLE(t9784) OR FIREABLE(t9783) OR FIREABLE(t9782) OR FIREABLE(t9781) OR FIREABLE(t9780) OR FIREABLE(t9779) OR FIREABLE(t9778) OR FIREABLE(t9777) OR FIREABLE(t9776) OR FIREABLE(t9775) OR FIREABLE(t9774) OR FIREABLE(t9773) OR FIREABLE(t9772) OR FIREABLE(t9771) OR FIREABLE(t9770) OR FIREABLE(t9769) OR FIREABLE(t9768) OR FIREABLE(t9767) OR FIREABLE(t9766) OR FIREABLE(t9765) OR FIREABLE(t9764) OR FIREABLE(t9763) OR FIREABLE(t9762) OR FIREABLE(t9761) OR FIREABLE(t9760) OR FIREABLE(t9759) OR FIREABLE(t9758) OR FIREABLE(t9757) OR FIREABLE(t9756) OR FIREABLE(t9755) OR FIREABLE(t9754) OR FIREABLE(t9753) OR FIREABLE(t9752) OR FIREABLE(t9751) OR FIREABLE(t9750) OR FIREABLE(t9749) OR FIREABLE(t9748) OR FIREABLE(t9747) OR FIREABLE(t9746) OR FIREABLE(t9745) OR FIREABLE(t9744) OR FIREABLE(t9743) OR FIREABLE(t9742) OR FIREABLE(t9741) OR FIREABLE(t9740) OR FIREABLE(t9739) OR FIREABLE(t9738) OR FIREABLE(t9737) OR FIREABLE(t9736) OR FIREABLE(t9735) OR FIREABLE(t9734) OR FIREABLE(t9733) OR FIREABLE(t9732) OR FIREABLE(t9731) OR FIREABLE(t9730) OR FIREABLE(t9729) OR FIREABLE(t9728) OR FIREABLE(t9727) OR FIREABLE(t9726) OR FIREABLE(t9725) OR FIREABLE(t9724) OR FIREABLE(t9723) OR FIREABLE(t9722) OR FIREABLE(t9721) OR FIREABLE(t9720) OR FIREABLE(t9719) OR FIREABLE(t9718) OR FIREABLE(t9717) OR FIREABLE(t9716) OR FIREABLE(t9715) OR FIREABLE(t9714) OR FIREABLE(t9713) OR FIREABLE(t9712) OR FIREABLE(t9711) OR FIREABLE(t9710) OR FIREABLE(t9709) OR FIREABLE(t9708) OR FIREABLE(t9707) OR FIREABLE(t9706) OR FIREABLE(t9705) OR FIREABLE(t9704) OR FIREABLE(t9703) OR FIREABLE(t9702) OR FIREABLE(t9701) OR FIREABLE(t9700) OR FIREABLE(t9699) OR FIREABLE(t9698) OR FIREABLE(t9697) OR FIREABLE(t9696) OR FIREABLE(t9695) OR FIREABLE(t9694) OR FIREABLE(t9693) OR FIREABLE(t9692) OR FIREABLE(t9691) OR FIREABLE(t9690) OR FIREABLE(t9689) OR FIREABLE(t9688) OR FIREABLE(t9687) OR FIREABLE(t9686) OR FIREABLE(t9685) OR FIREABLE(t9684) OR FIREABLE(t9683) OR FIREABLE(t9682) OR FIREABLE(t9681) OR FIREABLE(t9680) OR FIREABLE(t9679) OR FIREABLE(t9678) OR FIREABLE(t9677) OR FIREABLE(t9676) OR FIREABLE(t9675) OR FIREABLE(t9674) OR FIREABLE(t9673) OR FIREABLE(t9672) OR FIREABLE(t9671) OR FIREABLE(t9670) OR FIREABLE(t9669) OR FIREABLE(t9668) OR FIREABLE(t9667) OR FIREABLE(t9666) OR FIREABLE(t9665) OR FIREABLE(t9664) OR FIREABLE(t9663) OR FIREABLE(t9662) OR FIREABLE(t9661) OR FIREABLE(t9660) OR FIREABLE(t9659) OR FIREABLE(t9658) OR FIREABLE(t9657) OR FIREABLE(t9656) OR FIREABLE(t9655) OR FIREABLE(t9654) OR FIREABLE(t9653) OR FIREABLE(t9652) OR FIREABLE(t9651) OR FIREABLE(t9650) OR FIREABLE(t9649) OR FIREABLE(t9648) OR FIREABLE(t9647) OR FIREABLE(t9646) OR FIREABLE(t9645) OR FIREABLE(t9644) OR FIREABLE(t9643) OR FIREABLE(t9642) OR FIREABLE(t9641) OR FIREABLE(t9640) OR FIREABLE(t9639) OR FIREABLE(t9638) OR FIREABLE(t9637) OR FIREABLE(t9636) OR FIREABLE(t9635) OR FIREABLE(t9634) OR FIREABLE(t9633) OR FIREABLE(t9632) OR FIREABLE(t9631) OR FIREABLE(t9630) OR FIREABLE(t9629) OR FIREABLE(t9628) OR FIREABLE(t9627) OR FIREABLE(t9626) OR FIREABLE(t9625) OR FIREABLE(t9624) OR FIREABLE(t9623) OR FIREABLE(t9622) OR FIREABLE(t9621) OR FIREABLE(t9620) OR FIREABLE(t9619) OR FIREABLE(t9618) OR FIREABLE(t9617) OR FIREABLE(t9616) OR FIREABLE(t9615) OR FIREABLE(t9614) OR FIREABLE(t9613) OR FIREABLE(t9612) OR FIREABLE(t9611) OR FIREABLE(t9610) OR FIREABLE(t9609) OR FIREABLE(t9608) OR FIREABLE(t9607) OR FIREABLE(t9606) OR FIREABLE(t9605) OR FIREABLE(t9604) OR FIREABLE(t9603) OR FIREABLE(t9602) OR FIREABLE(t9601) OR FIREABLE(t9600) OR FIREABLE(t9599) OR FIREABLE(t9598) OR FIREABLE(t9597) OR FIREABLE(t9596) OR FIREABLE(t9595) OR FIREABLE(t9594) OR FIREABLE(t9593) OR FIREABLE(t9592) OR FIREABLE(t9591) OR FIREABLE(t9590) OR FIREABLE(t9589) OR FIREABLE(t9588) OR FIREABLE(t9587) OR FIREABLE(t9586) OR FIREABLE(t9585) OR FIREABLE(t9584) OR FIREABLE(t9583) OR FIREABLE(t9582) OR FIREABLE(t9581) OR FIREABLE(t9580) OR FIREABLE(t9579) OR FIREABLE(t9578) OR FIREABLE(t9577) OR FIREABLE(t9576) OR FIREABLE(t9575) OR FIREABLE(t9574) OR FIREABLE(t9573) OR FIREABLE(t9572) OR FIREABLE(t9571) OR FIREABLE(t9570) OR FIREABLE(t9569) OR FIREABLE(t9568) OR FIREABLE(t9567) OR FIREABLE(t9566) OR FIREABLE(t9565) OR FIREABLE(t9564) OR FIREABLE(t9563) OR FIREABLE(t9562) OR FIREABLE(t9561) OR FIREABLE(t9560) OR FIREABLE(t9559) OR FIREABLE(t9558) OR FIREABLE(t9557) OR FIREABLE(t9556) OR FIREABLE(t9555) OR FIREABLE(t9554) OR FIREABLE(t9553) OR FIREABLE(t9552) OR FIREABLE(t9551) OR FIREABLE(t9550) OR FIREABLE(t9549) OR FIREABLE(t9548) OR FIREABLE(t9547) OR FIREABLE(t9546) OR FIREABLE(t9545) OR FIREABLE(t9544) OR FIREABLE(t9543) OR FIREABLE(t9542) OR FIREABLE(t9541) OR FIREABLE(t9540) OR FIREABLE(t9539) OR FIREABLE(t9538) OR FIREABLE(t9537) OR FIREABLE(t9536) OR FIREABLE(t9535) OR FIREABLE(t9534) OR FIREABLE(t9533) OR FIREABLE(t9532) OR FIREABLE(t9531) OR FIREABLE(t9530) OR FIREABLE(t9529) OR FIREABLE(t9528) OR FIREABLE(t9527) OR FIREABLE(t9526) OR FIREABLE(t9525) OR FIREABLE(t9524) OR FIREABLE(t9523) OR FIREABLE(t9522) OR FIREABLE(t9521) OR FIREABLE(t9520) OR FIREABLE(t9519) OR FIREABLE(t9518) OR FIREABLE(t9517) OR FIREABLE(t9516) OR FIREABLE(t9515) OR FIREABLE(t9514) OR FIREABLE(t9513) OR FIREABLE(t9512) OR FIREABLE(t9511) OR FIREABLE(t9510) OR FIREABLE(t9509) OR FIREABLE(t9508) OR FIREABLE(t9507) OR FIREABLE(t9506) OR FIREABLE(t9505) OR FIREABLE(t9504) OR FIREABLE(t9503) OR FIREABLE(t9502) OR FIREABLE(t9501) OR FIREABLE(t9500) OR FIREABLE(t9499) OR FIREABLE(t9498) OR FIREABLE(t9497) OR FIREABLE(t9496) OR FIREABLE(t9495) OR FIREABLE(t9494) OR FIREABLE(t9493) OR FIREABLE(t9492) OR FIREABLE(t9491) OR FIREABLE(t9490) OR FIREABLE(t9489) OR FIREABLE(t9488) OR FIREABLE(t9487) OR FIREABLE(t9486) OR FIREABLE(t9485) OR FIREABLE(t9484) OR FIREABLE(t9483) OR FIREABLE(t9482) OR FIREABLE(t9481) OR FIREABLE(t9480) OR FIREABLE(t9479) OR FIREABLE(t9478) OR FIREABLE(t9477) OR FIREABLE(t9476) OR FIREABLE(t9475) OR FIREABLE(t9474) OR FIREABLE(t9473) OR FIREABLE(t9472) OR FIREABLE(t9471) OR FIREABLE(t9470) OR FIREABLE(t9469) OR FIREABLE(t9468) OR FIREABLE(t9467) OR FIREABLE(t9466) OR FIREABLE(t9465) OR FIREABLE(t9464) OR FIREABLE(t9463) OR FIREABLE(t9462) OR FIREABLE(t9461) OR FIREABLE(t9460) OR FIREABLE(t9459) OR FIREABLE(t9458) OR FIREABLE(t9457) OR FIREABLE(t9456) OR FIREABLE(t9455) OR FIREABLE(t9454) OR FIREABLE(t9453) OR FIREABLE(t9452) OR FIREABLE(t9451) OR FIREABLE(t9450) OR FIREABLE(t9449) OR FIREABLE(t9448) OR FIREABLE(t9447) OR FIREABLE(t9446) OR FIREABLE(t9445) OR FIREABLE(t9444) OR FIREABLE(t9443) OR FIREABLE(t9442) OR FIREABLE(t9441) OR FIREABLE(t9440) OR FIREABLE(t9439) OR FIREABLE(t9438) OR FIREABLE(t9437) OR FIREABLE(t9436) OR FIREABLE(t9435) OR FIREABLE(t9434) OR FIREABLE(t9433) OR FIREABLE(t9432) OR FIREABLE(t9431) OR FIREABLE(t9430) OR FIREABLE(t9429) OR FIREABLE(t9428) OR FIREABLE(t9427) OR FIREABLE(t9426) OR FIREABLE(t9425) OR FIREABLE(t9424) OR FIREABLE(t9423) OR FIREABLE(t9422) OR FIREABLE(t9421) OR FIREABLE(t9420) OR FIREABLE(t9419) OR FIREABLE(t9418) OR FIREABLE(t9417) OR FIREABLE(t9416) OR FIREABLE(t9415) OR FIREABLE(t9414) OR FIREABLE(t9413) OR FIREABLE(t9412) OR FIREABLE(t9411) OR FIREABLE(t9410) OR FIREABLE(t9409) OR FIREABLE(t9408) OR FIREABLE(t9407) OR FIREABLE(t9406) OR FIREABLE(t9405) OR FIREABLE(t9404) OR FIREABLE(t9403) OR FIREABLE(t9402) OR FIREABLE(t9401) OR FIREABLE(t9400) OR FIREABLE(t9399) OR FIREABLE(t9398) OR FIREABLE(t9397) OR FIREABLE(t9396) OR FIREABLE(t9395) OR FIREABLE(t9394) OR FIREABLE(t9393) OR FIREABLE(t9392) OR FIREABLE(t9391) OR FIREABLE(t9390) OR FIREABLE(t9389) OR FIREABLE(t9388) OR FIREABLE(t9387) OR FIREABLE(t9386) OR FIREABLE(t9385) OR FIREABLE(t9384) OR FIREABLE(t9383) OR FIREABLE(t9382) OR FIREABLE(t9381) OR FIREABLE(t9380) OR FIREABLE(t9379) OR FIREABLE(t9378) OR FIREABLE(t9377) OR FIREABLE(t9376) OR FIREABLE(t9375) OR FIREABLE(t9374) OR FIREABLE(t9373) OR FIREABLE(t9372) OR FIREABLE(t9371) OR FIREABLE(t9370) OR FIREABLE(t9369) OR FIREABLE(t9368) OR FIREABLE(t9367) OR FIREABLE(t9366) OR FIREABLE(t9365) OR FIREABLE(t9364) OR FIREABLE(t9363) OR FIREABLE(t9362) OR FIREABLE(t9361) OR FIREABLE(t9360) OR FIREABLE(t9359) OR FIREABLE(t9358) OR FIREABLE(t9357) OR FIREABLE(t9356) OR FIREABLE(t9355) OR FIREABLE(t9354) OR FIREABLE(t9353) OR FIREABLE(t9352) OR FIREABLE(t9351) OR FIREABLE(t9350) OR FIREABLE(t9349) OR FIREABLE(t9348) OR FIREABLE(t9347) OR FIREABLE(t9346) OR FIREABLE(t9345) OR FIREABLE(t9344) OR FIREABLE(t9343) OR FIREABLE(t9342) OR FIREABLE(t9341) OR FIREABLE(t9340) OR FIREABLE(t9339) OR FIREABLE(t9338) OR FIREABLE(t9337) OR FIREABLE(t9336) OR FIREABLE(t9335) OR FIREABLE(t9334) OR FIREABLE(t9333) OR FIREABLE(t9332) OR FIREABLE(t9331) OR FIREABLE(t9330) OR FIREABLE(t9329) OR FIREABLE(t9328) OR FIREABLE(t9327) OR FIREABLE(t9326) OR FIREABLE(t9325) OR FIREABLE(t9324) OR FIREABLE(t9323) OR FIREABLE(t9322) OR FIREABLE(t9321) OR FIREABLE(t9320) OR FIREABLE(t9319) OR FIREABLE(t9318) OR FIREABLE(t9317) OR FIREABLE(t9316) OR FIREABLE(t9315) OR FIREABLE(t9314) OR FIREABLE(t9313) OR FIREABLE(t9312) OR FIREABLE(t9311) OR FIREABLE(t9310) OR FIREABLE(t9309) OR FIREABLE(t9308) OR FIREABLE(t9307) OR FIREABLE(t9306) OR FIREABLE(t9305) OR FIREABLE(t9304) OR FIREABLE(t9303) OR FIREABLE(t9302) OR FIREABLE(t9301) OR FIREABLE(t9300) OR FIREABLE(t9299) OR FIREABLE(t9298) OR FIREABLE(t9297) OR FIREABLE(t9296) OR FIREABLE(t9295) OR FIREABLE(t9294) OR FIREABLE(t9293) OR FIREABLE(t9292) OR FIREABLE(t9291) OR FIREABLE(t9290) OR FIREABLE(t9289) OR FIREABLE(t9288) OR FIREABLE(t9287) OR FIREABLE(t9286) OR FIREABLE(t9285) OR FIREABLE(t9284) OR FIREABLE(t9283) OR FIREABLE(t9282) OR FIREABLE(t9281) OR FIREABLE(t9280) OR FIREABLE(t9279) OR FIREABLE(t9278) OR FIREABLE(t9277) OR FIREABLE(t9276) OR FIREABLE(t9275) OR FIREABLE(t9274) OR FIREABLE(t9273) OR FIREABLE(t9272) OR FIREABLE(t9271) OR FIREABLE(t9270) OR FIREABLE(t9269) OR FIREABLE(t9268) OR FIREABLE(t9267) OR FIREABLE(t9266) OR FIREABLE(t9265) OR FIREABLE(t9264) OR FIREABLE(t9263) OR FIREABLE(t9262) OR FIREABLE(t9261) OR FIREABLE(t9260) OR FIREABLE(t9259) OR FIREABLE(t9258) OR FIREABLE(t9257) OR FIREABLE(t9256) OR FIREABLE(t9255) OR FIREABLE(t9254) OR FIREABLE(t9253) OR FIREABLE(t9252) OR FIREABLE(t9251) OR FIREABLE(t9250) OR FIREABLE(t9249) OR FIREABLE(t9248) OR FIREABLE(t9247) OR FIREABLE(t9246) OR FIREABLE(t9245) OR FIREABLE(t9244) OR FIREABLE(t9243) OR FIREABLE(t9242) OR FIREABLE(t9241) OR FIREABLE(t9240) OR FIREABLE(t9239) OR FIREABLE(t9238) OR FIREABLE(t9237) OR FIREABLE(t9236) OR FIREABLE(t9235) OR FIREABLE(t9234) OR FIREABLE(t9233) OR FIREABLE(t9232) OR FIREABLE(t9231) OR FIREABLE(t9230) OR FIREABLE(t9229) OR FIREABLE(t9228) OR FIREABLE(t9227) OR FIREABLE(t9226) OR FIREABLE(t9225) OR FIREABLE(t9224) OR FIREABLE(t9223) OR FIREABLE(t9222) OR FIREABLE(t9221) OR FIREABLE(t9220) OR FIREABLE(t9219) OR FIREABLE(t9218) OR FIREABLE(t9217) OR FIREABLE(t9216) OR FIREABLE(t9215) OR FIREABLE(t9214) OR FIREABLE(t9213) OR FIREABLE(t9212) OR FIREABLE(t9211) OR FIREABLE(t9210) OR FIREABLE(t9209) OR FIREABLE(t9208) OR FIREABLE(t9207) OR FIREABLE(t9206) OR FIREABLE(t9205) OR FIREABLE(t9204) OR FIREABLE(t9203) OR FIREABLE(t9202) OR FIREABLE(t9201) OR FIREABLE(t9200) OR FIREABLE(t9199) OR FIREABLE(t9198) OR FIREABLE(t9197) OR FIREABLE(t9196) OR FIREABLE(t9195) OR FIREABLE(t9194) OR FIREABLE(t9193) OR FIREABLE(t9192) OR FIREABLE(t9191) OR FIREABLE(t9190) OR FIREABLE(t9189) OR FIREABLE(t9188) OR FIREABLE(t9187) OR FIREABLE(t9186) OR FIREABLE(t9185) OR FIREABLE(t9184) OR FIREABLE(t9183) OR FIREABLE(t9182) OR FIREABLE(t9181) OR FIREABLE(t9180) OR FIREABLE(t9179) OR FIREABLE(t9178) OR FIREABLE(t9177) OR FIREABLE(t9176) OR FIREABLE(t9175) OR FIREABLE(t9174) OR FIREABLE(t9173) OR FIREABLE(t9172) OR FIREABLE(t9171) OR FIREABLE(t9170) OR FIREABLE(t9169) OR FIREABLE(t9168) OR FIREABLE(t9167) OR FIREABLE(t9166) OR FIREABLE(t9165) OR FIREABLE(t9164) OR FIREABLE(t9163) OR FIREABLE(t9162) OR FIREABLE(t9161) OR FIREABLE(t9160) OR FIREABLE(t9159) OR FIREABLE(t9158) OR FIREABLE(t9157) OR FIREABLE(t9156) OR FIREABLE(t9155) OR FIREABLE(t9154) OR FIREABLE(t9153) OR FIREABLE(t9152) OR FIREABLE(t9151) OR FIREABLE(t9150) OR FIREABLE(t9149) OR FIREABLE(t9148) OR FIREABLE(t9147) OR FIREABLE(t9146) OR FIREABLE(t9145) OR FIREABLE(t9144) OR FIREABLE(t9143) OR FIREABLE(t9142) OR FIREABLE(t9141) OR FIREABLE(t9140) OR FIREABLE(t9139) OR FIREABLE(t9138) OR FIREABLE(t9137) OR FIREABLE(t9136) OR FIREABLE(t9135) OR FIREABLE(t9134) OR FIREABLE(t9133) OR FIREABLE(t9132) OR FIREABLE(t9131) OR FIREABLE(t9130) OR FIREABLE(t9129) OR FIREABLE(t9128) OR FIREABLE(t9127) OR FIREABLE(t9126) OR FIREABLE(t9125) OR FIREABLE(t9124) OR FIREABLE(t9123) OR FIREABLE(t9122) OR FIREABLE(t9121) OR FIREABLE(t9120) OR FIREABLE(t9119) OR FIREABLE(t9118) OR FIREABLE(t9117) OR FIREABLE(t9116) OR FIREABLE(t9115) OR FIREABLE(t9114) OR FIREABLE(t9113) OR FIREABLE(t9112) OR FIREABLE(t9111) OR FIREABLE(t9110) OR FIREABLE(t9109) OR FIREABLE(t9108) OR FIREABLE(t9107) OR FIREABLE(t9106) OR FIREABLE(t9105) OR FIREABLE(t9104) OR FIREABLE(t9103) OR FIREABLE(t9102) OR FIREABLE(t9101) OR FIREABLE(t9100) OR FIREABLE(t9099) OR FIREABLE(t9098) OR FIREABLE(t9097) OR FIREABLE(t9096) OR FIREABLE(t9095) OR FIREABLE(t9094) OR FIREABLE(t9093) OR FIREABLE(t9092) OR FIREABLE(t9091) OR FIREABLE(t9090) OR FIREABLE(t9089) OR FIREABLE(t9088) OR FIREABLE(t9087) OR FIREABLE(t9086) OR FIREABLE(t9085) OR FIREABLE(t9084) OR FIREABLE(t9083) OR FIREABLE(t9082) OR FIREABLE(t9081) OR FIREABLE(t9080) OR FIREABLE(t9079) OR FIREABLE(t9078) OR FIREABLE(t9077) OR FIREABLE(t9076) OR FIREABLE(t9075) OR FIREABLE(t9074) OR FIREABLE(t9073) OR FIREABLE(t9072) OR FIREABLE(t9071) OR FIREABLE(t9070) OR FIREABLE(t9069) OR FIREABLE(t9068) OR FIREABLE(t9067) OR FIREABLE(t9066) OR FIREABLE(t9065) OR FIREABLE(t9064) OR FIREABLE(t9063) OR FIREABLE(t9062) OR FIREABLE(t9061) OR FIREABLE(t9060) OR FIREABLE(t9059) OR FIREABLE(t9058) OR FIREABLE(t9057) OR FIREABLE(t9056) OR FIREABLE(t9055) OR FIREABLE(t9054) OR FIREABLE(t9053) OR FIREABLE(t9052) OR FIREABLE(t9051) OR FIREABLE(t9050) OR FIREABLE(t9049) OR FIREABLE(t9048) OR FIREABLE(t9047) OR FIREABLE(t9046) OR FIREABLE(t9045) OR FIREABLE(t9044) OR FIREABLE(t9043) OR FIREABLE(t9042))) U (FIREABLE(t10343) OR FIREABLE(t10342) OR FIREABLE(t10341) OR FIREABLE(t10340) OR FIREABLE(t10339) OR FIREABLE(t10338))) U G (X (F ((FIREABLE(t8627) OR FIREABLE(t8626) OR FIREABLE(t8625) OR FIREABLE(t8624) OR FIREABLE(t8623) OR FIREABLE(t8622)))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:425
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t9041) OR FIREABLE(t9040) OR FIREABLE(t9039) OR FIREABLE(t9038) OR FIREABLE(t9037) OR FIREABLE(t9036) OR FIREABLE(t9035) OR FIREABLE(t9034) OR FIREABLE(t9033) OR FIREABLE(t9032) OR FIREABLE(t9031) OR FIREABLE(t9030) OR FIREABLE(t9029) OR FIREABLE(t9028) OR FIREABLE(t9027) OR FIREABLE(t9026) OR FIREABLE(t9025) OR FIREABLE(t9024) OR FIREABLE(t9023) OR FIREABLE(t9022) OR ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(t9041) OR FIREABLE(t9040) OR FIREABLE(t9039) OR FIREABLE(t9038) OR FIREABLE(t9037) OR FIREABLE(t9036) OR FIREABLE(t9035) OR FIREABLE(t9034) OR FIREABLE(t9033) OR FIREABLE(t9032) OR FIREABLE(t9031) OR FIREABLE(t9030) OR FIREABLE(t9029) OR FIREABLE(t9028) OR FIREABLE(t9027) OR FIREABLE(t9026) OR FIREABLE(t9025) OR FIREABLE(t9024) OR FIREABLE(t9023) OR FIREABLE(t9022) OR ... (shortened)
lola: processed formula length: 4317
lola: 21 rewrites
lola: closed formula file PolyORBLF-COL-S06J04T06-LTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA PolyORBLF-COL-S06J04T06-LTLFireability-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t10385) OR FIREABLE(t10384) OR FIREABLE(t10383) OR FIREABLE(t10382) OR FIREABLE(t10381) OR FIREABLE(t10380) OR FIREABLE(t10379) OR FIREABLE(t10378) OR FIREABLE(t10377) OR FIREABLE(t10376) OR FIREABLE(t10375) OR FIREABLE(t10374) OR FIREABLE(t10373) OR FIREABLE(t10372) OR FIREABLE(t10371) OR FIREABLE(t10370) OR FIREABLE(t10369) OR FIREABLE(t10368) OR FIREABLE(t10367) OR ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(t10385) OR FIREABLE(t10384) OR FIREABLE(t10383) OR FIREABLE(t10382) OR FIREABLE(t10381) OR FIREABLE(t10380) OR FIREABLE(t10379) OR FIREABLE(t10378) OR FIREABLE(t10377) OR FIREABLE(t10376) OR FIREABLE(t10375) OR FIREABLE(t10374) OR FIREABLE(t10373) OR FIREABLE(t10372) OR FIREABLE(t10371) OR FIREABLE(t10370) OR FIREABLE(t10369) OR FIREABLE(t10368) OR FIREABLE(t10367) OR ... (shortened)
lola: processed formula length: 753
lola: 21 rewrites
lola: closed formula file PolyORBLF-COL-S06J04T06-LTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA PolyORBLF-COL-S06J04T06-LTLFireability-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t5) OR FIREABLE(t4) OR FIREABLE(t3) OR FIREABLE(t2) OR FIREABLE(t1) OR FIREABLE(t0))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(t5) OR FIREABLE(t4) OR FIREABLE(t3) OR FIREABLE(t2) OR FIREABLE(t1) OR FIREABLE(t0))
lola: processed formula length: 99
lola: 21 rewrites
lola: closed formula file PolyORBLF-COL-S06J04T06-LTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA PolyORBLF-COL-S06J04T06-LTLFireability-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t8777) OR FIREABLE(t8776) OR FIREABLE(t8775) OR FIREABLE(t8774) OR FIREABLE(t8773) OR FIREABLE(t8772))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(t8777) OR FIREABLE(t8776) OR FIREABLE(t8775) OR FIREABLE(t8774) OR FIREABLE(t8773) OR FIREABLE(t8772))
lola: processed formula length: 117
lola: 21 rewrites
lola: closed formula file PolyORBLF-COL-S06J04T06-LTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA PolyORBLF-COL-S06J04T06-LTLFireability-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t65) OR FIREABLE(t64) OR FIREABLE(t63) OR FIREABLE(t62) OR FIREABLE(t61) OR FIREABLE(t60))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(t65) OR FIREABLE(t64) OR FIREABLE(t63) OR FIREABLE(t62) OR FIREABLE(t61) OR FIREABLE(t60))
lola: processed formula length: 105
lola: 21 rewrites
lola: closed formula file PolyORBLF-COL-S06J04T06-LTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA PolyORBLF-COL-S06J04T06-LTLFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (F ((FIREABLE(t8627) OR FIREABLE(t8626) OR FIREABLE(t8625) OR FIREABLE(t8624) OR FIREABLE(t8623) OR FIREABLE(t8622))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (F ((FIREABLE(t8627) OR FIREABLE(t8626) OR FIREABLE(t8625) OR FIREABLE(t8624) OR FIREABLE(t8623) OR FIREABLE(t8622))))))
lola: processed formula length: 133
lola: 21 rewrites
lola: closed formula file PolyORBLF-COL-S06J04T06-LTLFireability.task
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 127 markings, 384 edges
lola: ========================================

FORMULA PolyORBLF-COL-S06J04T06-LTLFireability-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G ((G ((FIREABLE(t10409) OR FIREABLE(t10408) OR FIREABLE(t10407) OR FIREABLE(t10406) OR FIREABLE(t10405) OR FIREABLE(t10404))) OR (G ((FIREABLE(t10337) OR FIREABLE(t10336) OR FIREABLE(t10335) OR FIREABLE(t10334) OR FIREABLE(t10333) OR FIREABLE(t10332) OR FIREABLE(t10331) OR FIREABLE(t10330) OR FIREABLE(t10329) OR FIREABLE(t10328) OR FIREABLE(t10327) OR FIREABLE(t10326) OR FI... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((G ((FIREABLE(t10409) OR FIREABLE(t10408) OR FIREABLE(t10407) OR FIREABLE(t10406) OR FIREABLE(t10405) OR FIREABLE(t10404))) OR (G ((FIREABLE(t10337) OR FIREABLE(t10336) OR FIREABLE(t10335) OR FIREABLE(t10334) OR FIREABLE(t10333) OR FIREABLE(t10332) OR FIREABLE(t10331) OR FIREABLE(t10330) OR FIREABLE(t10329) OR FIREABLE(t10328) OR FIREABLE(t10327) OR FIREABLE(t10326) OR FI... (shortened)
lola: processed formula length: 26542
lola: 21 rewrites
lola: closed formula file PolyORBLF-COL-S06J04T06-LTLFireability.task
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 9 markings, 9 edges
lola: ========================================

FORMULA PolyORBLF-COL-S06J04T06-LTLFireability-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G ((FIREABLE(t10397) OR FIREABLE(t10396) OR FIREABLE(t10395) OR FIREABLE(t10394) OR FIREABLE(t10393) OR FIREABLE(t10392)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((FIREABLE(t10397) OR FIREABLE(t10396) OR FIREABLE(t10395) OR FIREABLE(t10394) OR FIREABLE(t10393) OR FIREABLE(t10392)))))
lola: processed formula length: 135
lola: 21 rewrites
lola: closed formula file PolyORBLF-COL-S06J04T06-LTLFireability.task
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 9 markings, 9 edges
lola: ========================================

FORMULA PolyORBLF-COL-S06J04T06-LTLFireability-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((FIREABLE(t10403) OR FIREABLE(t10402) OR FIREABLE(t10401) OR FIREABLE(t10400) OR FIREABLE(t10399) OR FIREABLE(t10398))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((FIREABLE(t10403) OR FIREABLE(t10402) OR FIREABLE(t10401) OR FIREABLE(t10400) OR FIREABLE(t10399) OR FIREABLE(t10398))))
lola: processed formula length: 131
lola: 21 rewrites
lola: closed formula file PolyORBLF-COL-S06J04T06-LTLFireability.task
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 9 markings, 9 edges
lola: ========================================

FORMULA PolyORBLF-COL-S06J04T06-LTLFireability-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X (X (X ((FIREABLE(t77) OR FIREABLE(t76) OR FIREABLE(t75) OR FIREABLE(t74) OR FIREABLE(t73) OR FIREABLE(t72))))) U (F ((FIREABLE(t8561) OR FIREABLE(t8560) OR FIREABLE(t8559) OR FIREABLE(t8558) OR FIREABLE(t8557) OR FIREABLE(t8556))) U X ((FIREABLE(t8825) OR FIREABLE(t8824) OR FIREABLE(t8823) OR FIREABLE(t8822) OR FIREABLE(t8821) OR FIREABLE(t8820))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (X (X ((FIREABLE(t77) OR FIREABLE(t76) OR FIREABLE(t75) OR FIREABLE(t74) OR FIREABLE(t73) OR FIREABLE(t72))))) U (F ((FIREABLE(t8561) OR FIREABLE(t8560) OR FIREABLE(t8559) OR FIREABLE(t8558) OR FIREABLE(t8557) OR FIREABLE(t8556))) U X ((FIREABLE(t8825) OR FIREABLE(t8824) OR FIREABLE(t8823) OR FIREABLE(t8822) OR FIREABLE(t8821) OR FIREABLE(t8820))))))
lola: processed formula length: 373
lola: 21 rewrites
lola: closed formula file PolyORBLF-COL-S06J04T06-LTLFireability.task
lola: the resulting Büchi automaton has 14 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 9 markings, 9 edges

FORMULA PolyORBLF-COL-S06J04T06-LTLFireability-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 10 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(t8603) OR FIREABLE(t8602) OR FIREABLE(t8601) OR FIREABLE(t8600) OR FIREABLE(t8599) OR FIREABLE(t8598))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((FIREABLE(t8603) OR FIREABLE(t8602) OR FIREABLE(t8601) OR FIREABLE(t8600) OR FIREABLE(t8599) OR FIREABLE(t8598))))
lola: processed formula length: 125
lola: 23 rewrites
lola: closed formula file PolyORBLF-COL-S06J04T06-LTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (NOT FIREABLE(t8603) AND NOT FIREABLE(t8602) AND NOT FIREABLE(t8601) AND NOT FIREABLE(t8600) AND NOT FIREABLE(t8599) AND NOT FIREABLE(t8598))
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA PolyORBLF-COL-S06J04T06-LTLFireability-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t11) OR FIREABLE(t10) OR FIREABLE(t9) OR FIREABLE(t8) OR FIREABLE(t7) OR FIREABLE(t6))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (NOT FIREABLE(t11) AND NOT FIREABLE(t10) AND NOT FIREABLE(t9) AND NOT FIREABLE(t8) AND NOT FIREABLE(t7) AND NOT FIREABLE(t6))
lola: processed formula length: 125
lola: 23 rewrites
lola: closed formula file PolyORBLF-COL-S06J04T06-LTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: 5934 markings, 10557 edges, 1187 markings/sec, 0 secs
lola: 11762 markings, 20922 edges, 1166 markings/sec, 5 secs
lola: 17900 markings, 32405 edges, 1228 markings/sec, 10 secs
lola: 23866 markings, 43129 edges, 1193 markings/sec, 15 secs
lola: 30693 markings, 55486 edges, 1365 markings/sec, 20 secs
lola: 36881 markings, 67028 edges, 1238 markings/sec, 25 secs
lola: 42847 markings, 77853 edges, 1193 markings/sec, 30 secs
lola: 48685 markings, 88741 edges, 1168 markings/sec, 35 secs
lola: 54852 markings, 100040 edges, 1233 markings/sec, 40 secs
lola: 61229 markings, 111291 edges, 1275 markings/sec, 45 secs
lola: 66071 markings, 122936 edges, 968 markings/sec, 50 secs
lola: 72167 markings, 134044 edges, 1219 markings/sec, 55 secs
lola: 78436 markings, 145150 edges, 1254 markings/sec, 60 secs
lola: 84481 markings, 156471 edges, 1209 markings/sec, 65 secs
lola: 90560 markings, 167823 edges, 1216 markings/sec, 70 secs
lola: 97213 markings, 180005 edges, 1331 markings/sec, 75 secs
lola: 102758 markings, 190045 edges, 1109 markings/sec, 80 secs
lola: 108998 markings, 201113 edges, 1248 markings/sec, 85 secs
lola: 115015 markings, 212449 edges, 1203 markings/sec, 90 secs
lola: 120632 markings, 222466 edges, 1123 markings/sec, 95 secs
lola: 127406 markings, 235983 edges, 1355 markings/sec, 100 secs
lola: 131730 markings, 245442 edges, 865 markings/sec, 105 secs
lola: 137771 markings, 256467 edges, 1208 markings/sec, 110 secs
lola: 144076 markings, 268218 edges, 1261 markings/sec, 115 secs
lola: 150412 markings, 279736 edges, 1267 markings/sec, 120 secs
lola: 156510 markings, 290530 edges, 1220 markings/sec, 125 secs
lola: 163072 markings, 302696 edges, 1312 markings/sec, 130 secs
lola: 169150 markings, 313578 edges, 1216 markings/sec, 135 secs
lola: 175467 markings, 325460 edges, 1263 markings/sec, 140 secs
lola: 181442 markings, 336149 edges, 1195 markings/sec, 145 secs
lola: 188048 markings, 348228 edges, 1321 markings/sec, 150 secs
lola: 192943 markings, 359612 edges, 979 markings/sec, 155 secs
lola: 198990 markings, 370496 edges, 1209 markings/sec, 160 secs
lola: 205148 markings, 381489 edges, 1232 markings/sec, 165 secs
lola: 210905 markings, 392384 edges, 1151 markings/sec, 170 secs
lola: 216986 markings, 403211 edges, 1216 markings/sec, 175 secs
lola: 223315 markings, 415137 edges, 1266 markings/sec, 180 secs
lola: 229383 markings, 426286 edges, 1214 markings/sec, 185 secs
lola: 235485 markings, 437109 edges, 1220 markings/sec, 190 secs
lola: 241711 markings, 448734 edges, 1245 markings/sec, 195 secs
lola: 247890 markings, 459972 edges, 1236 markings/sec, 200 secs
lola: 254050 markings, 471753 edges, 1232 markings/sec, 205 secs
lola: 258410 markings, 481210 edges, 872 markings/sec, 210 secs
lola: 264587 markings, 492530 edges, 1235 markings/sec, 215 secs
lola: 270651 markings, 503778 edges, 1213 markings/sec, 220 secs
lola: 276926 markings, 515387 edges, 1255 markings/sec, 225 secs
lola: 282885 markings, 525904 edges, 1192 markings/sec, 230 secs
lola: 289394 markings, 537954 edges, 1302 markings/sec, 235 secs
lola: 295125 markings, 548509 edges, 1146 markings/sec, 240 secs
lola: 300862 markings, 558732 edges, 1147 markings/sec, 245 secs
lola: 307206 markings, 570526 edges, 1269 markings/sec, 250 secs
lola: 312798 markings, 580655 edges, 1118 markings/sec, 255 secs
lola: 318832 markings, 593592 edges, 1207 markings/sec, 260 secs
lola: 322323 markings, 605329 edges, 698 markings/sec, 265 secs
lola: 325076 markings, 614680 edges, 551 markings/sec, 270 secs
lola: 329078 markings, 624846 edges, 800 markings/sec, 275 secs
lola: 335060 markings, 635845 edges, 1196 markings/sec, 280 secs
lola: 341485 markings, 647735 edges, 1285 markings/sec, 285 secs
lola: 347869 markings, 659446 edges, 1277 markings/sec, 290 secs
lola: 354226 markings, 671560 edges, 1271 markings/sec, 295 secs
lola: 360214 markings, 682060 edges, 1198 markings/sec, 300 secs
lola: 366396 markings, 693853 edges, 1236 markings/sec, 305 secs
lola: 372780 markings, 705652 edges, 1277 markings/sec, 310 secs
lola: 377922 markings, 717101 edges, 1028 markings/sec, 315 secs
lola: 384248 markings, 728198 edges, 1265 markings/sec, 320 secs
lola: 390441 markings, 739785 edges, 1239 markings/sec, 325 secs
lola: 396785 markings, 751691 edges, 1269 markings/sec, 330 secs
lola: 402833 markings, 762564 edges, 1210 markings/sec, 335 secs
lola: 408950 markings, 773999 edges, 1223 markings/sec, 340 secs
lola: 414857 markings, 784570 edges, 1181 markings/sec, 345 secs
lola: 420363 markings, 796317 edges, 1101 markings/sec, 350 secs
lola: 426106 markings, 807615 edges, 1149 markings/sec, 355 secs
lola: 432630 markings, 819510 edges, 1305 markings/sec, 360 secs
lola: 438871 markings, 830899 edges, 1248 markings/sec, 365 secs
lola: 445378 markings, 842853 edges, 1301 markings/sec, 370 secs
lola: 451539 markings, 853855 edges, 1232 markings/sec, 375 secs
lola: 457637 markings, 865227 edges, 1220 markings/sec, 380 secs
lola: 464042 markings, 876976 edges, 1281 markings/sec, 385 secs
lola: 468994 markings, 888109 edges, 990 markings/sec, 390 secs
lola: 475052 markings, 898953 edges, 1212 markings/sec, 395 secs
lola: 481051 markings, 910220 edges, 1200 markings/sec, 400 secs
lola: 487154 markings, 921151 edges, 1221 markings/sec, 405 secs
lola: 493202 markings, 932609 edges, 1210 markings/sec, 410 secs
lola: 499212 markings, 943341 edges, 1202 markings/sec, 415 secs
lola: 505308 markings, 954961 edges, 1219 markings/sec, 420 secs
lola: 511288 markings, 965534 edges, 1196 markings/sec, 425 secs
lola: 516167 markings, 976341 edges, 976 markings/sec, 430 secs
lola: 522169 markings, 987302 edges, 1200 markings/sec, 435 secs
lola: 528509 markings, 999175 edges, 1268 markings/sec, 440 secs
lola: 534501 markings, 1009941 edges, 1198 markings/sec, 445 secs
lola: 540905 markings, 1022074 edges, 1281 markings/sec, 450 secs
lola: 546990 markings, 1033088 edges, 1217 markings/sec, 455 secs
lola: 552790 markings, 1043934 edges, 1160 markings/sec, 460 secs
lola: 559266 markings, 1055899 edges, 1295 markings/sec, 465 secs
lola: 562825 markings, 1068138 edges, 712 markings/sec, 470 secs
lola: 565797 markings, 1078244 edges, 594 markings/sec, 475 secs
lola: 573094 markings, 1093270 edges, 1459 markings/sec, 480 secs
lola: 583057 markings, 1111273 edges, 1993 markings/sec, 485 secs
lola: 593176 markings, 1129559 edges, 2024 markings/sec, 490 secs
lola: 602541 markings, 1146830 edges, 1873 markings/sec, 495 secs
lola: 612712 markings, 1165172 edges, 2034 markings/sec, 500 secs
lola: 623011 markings, 1183748 edges, 2060 markings/sec, 505 secs
lola: 631382 markings, 1201059 edges, 1674 markings/sec, 510 secs
lola: 641569 markings, 1219287 edges, 2037 markings/sec, 515 secs
lola: 651463 markings, 1237360 edges, 1979 markings/sec, 520 secs
lola: 660905 markings, 1254820 edges, 1888 markings/sec, 525 secs
lola: 671274 markings, 1273175 edges, 2074 markings/sec, 530 secs
lola: 681281 markings, 1291536 edges, 2001 markings/sec, 535 secs
lola: 691232 markings, 1310099 edges, 1990 markings/sec, 540 secs
lola: 700048 markings, 1327808 edges, 1763 markings/sec, 545 secs
lola: 710199 markings, 1346184 edges, 2030 markings/sec, 550 secs
lola: 720547 markings, 1364807 edges, 2070 markings/sec, 555 secs
lola: 730617 markings, 1383044 edges, 2014 markings/sec, 560 secs
lola: 740726 markings, 1401548 edges, 2022 markings/sec, 565 secs
lola: 750880 markings, 1419826 edges, 2031 markings/sec, 570 secs
lola: 759443 markings, 1437389 edges, 1713 markings/sec, 575 secs
lola: 769061 markings, 1454459 edges, 1924 markings/sec, 580 secs
lola: 779123 markings, 1472865 edges, 2012 markings/sec, 585 secs
lola: 789253 markings, 1491434 edges, 2026 markings/sec, 590 secs
lola: 799435 markings, 1509776 edges, 2036 markings/sec, 595 secs
lola: 809442 markings, 1528038 edges, 2001 markings/sec, 600 secs
lola: 817707 markings, 1544797 edges, 1653 markings/sec, 605 secs
lola: 827235 markings, 1561979 edges, 1906 markings/sec, 610 secs
lola: 837319 markings, 1580282 edges, 2017 markings/sec, 615 secs
lola: 847542 markings, 1598987 edges, 2045 markings/sec, 620 secs
lola: 856251 markings, 1614922 edges, 1742 markings/sec, 625 secs
lola: 866255 markings, 1632896 edges, 2001 markings/sec, 630 secs
lola: 876520 markings, 1651374 edges, 2053 markings/sec, 635 secs
lola: 882253 markings, 1666853 edges, 1147 markings/sec, 640 secs
lola: 886577 markings, 1680470 edges, 865 markings/sec, 645 secs
lola: 892491 markings, 1692309 edges, 1183 markings/sec, 650 secs
lola: 898659 markings, 1703495 edges, 1234 markings/sec, 655 secs
lola: 905501 markings, 1716234 edges, 1368 markings/sec, 660 secs
lola: 911836 markings, 1727658 edges, 1267 markings/sec, 665 secs
lola: 918988 markings, 1741048 edges, 1430 markings/sec, 670 secs
lola: 925343 markings, 1752620 edges, 1271 markings/sec, 675 secs
lola: 932009 markings, 1764420 edges, 1333 markings/sec, 680 secs
lola: 938459 markings, 1776371 edges, 1290 markings/sec, 685 secs
lola: 944417 markings, 1787229 edges, 1192 markings/sec, 690 secs
lola: 951013 markings, 1801090 edges, 1319 markings/sec, 695 secs
lola: 956991 markings, 1812762 edges, 1196 markings/sec, 700 secs
lola: 962749 markings, 1822953 edges, 1152 markings/sec, 705 secs
lola: local time limit reached - aborting
lola:
preliminary result: no yes no unknown no no no no unknown unknown no unknown no no no unknown
lola: memory consumption: 140028 KB
lola: time consumption: 714 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t491) OR FIREABLE(t490) OR FIREABLE(t489) OR FIREABLE(t488) OR FIREABLE(t487) OR FIREABLE(t486) OR FIREABLE(t485) OR FIREABLE(t484) OR FIREABLE(t483) OR FIREABLE(t482) OR FIREABLE(t481) OR FIREABLE(t480) OR FIREABLE(t479) OR FIREABLE(t478) OR FIREABLE(t477) OR FIREABLE(t476) OR FIREABLE(t475) OR FIREABLE(t474) OR FIREABLE(t473) OR FIREABLE(t472) OR FIREABLE(t471... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (NOT FIREABLE(t491) AND NOT FIREABLE(t490) AND NOT FIREABLE(t489) AND NOT FIREABLE(t488) AND NOT FIREABLE(t487) AND NOT FIREABLE(t486) AND NOT FIREABLE(t485) AND NOT FIREABLE(t484) AND NOT FIREABLE(t483) AND NOT FIREABLE(t482) AND NOT FIREABLE(t481) AND NOT FIREABLE(t480) AND NOT FIREABLE(t479) AND NOT FIREABLE(t478) AND NOT FIREABLE(t477) AND NOT FIREABLE(t476) AND NOT FIREABLE(t475) AND NOT FIRE... (shortened)
lola: processed formula length: 4137
lola: 23 rewrites
lola: closed formula file PolyORBLF-COL-S06J04T06-LTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 565 markings, 1361 edges
lola: ========================================

FORMULA PolyORBLF-COL-S06J04T06-LTLFireability-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 950 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((FIREABLE(t10403) OR FIREABLE(t10402) OR FIREABLE(t10401) OR FIREABLE(t10400) OR FIREABLE(t10399) OR FIREABLE(t10398)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((FIREABLE(t10403) OR FIREABLE(t10402) OR FIREABLE(t10401) OR FIREABLE(t10400) OR FIREABLE(t10399) OR FIREABLE(t10398)))))
lola: processed formula length: 135
lola: 21 rewrites
lola: closed formula file PolyORBLF-COL-S06J04T06-LTLFireability.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: 5636 markings, 9640 edges, 1127 markings/sec, 0 secs
lola: 11429 markings, 18636 edges, 1159 markings/sec, 5 secs
lola: 17746 markings, 28523 edges, 1263 markings/sec, 10 secs
lola: 23883 markings, 38047 edges, 1227 markings/sec, 15 secs
lola: 30207 markings, 47947 edges, 1265 markings/sec, 20 secs
lola: 36348 markings, 57498 edges, 1228 markings/sec, 25 secs
lola: 42674 markings, 67336 edges, 1265 markings/sec, 30 secs
lola: 48993 markings, 77233 edges, 1264 markings/sec, 35 secs
lola: 55303 markings, 87108 edges, 1262 markings/sec, 40 secs
lola: 61601 markings, 96957 edges, 1260 markings/sec, 45 secs
lola: 68143 markings, 107260 edges, 1308 markings/sec, 50 secs
lola: 74468 markings, 116200 edges, 1265 markings/sec, 55 secs
lola: 81049 markings, 125689 edges, 1316 markings/sec, 60 secs
lola: 87471 markings, 134660 edges, 1284 markings/sec, 65 secs
lola: 94107 markings, 144009 edges, 1327 markings/sec, 70 secs
lola: 100164 markings, 152750 edges, 1211 markings/sec, 75 secs
lola: 106693 markings, 162163 edges, 1306 markings/sec, 80 secs
lola: 113119 markings, 171142 edges, 1285 markings/sec, 85 secs
lola: 119534 markings, 180108 edges, 1283 markings/sec, 90 secs
lola: 125895 markings, 189355 edges, 1272 markings/sec, 95 secs
lola: 132785 markings, 199203 edges, 1378 markings/sec, 100 secs
lola: 139431 markings, 208812 edges, 1329 markings/sec, 105 secs
lola: 145936 markings, 217945 edges, 1301 markings/sec, 110 secs
lola: 152675 markings, 227448 edges, 1348 markings/sec, 115 secs
lola: 158804 markings, 236193 edges, 1226 markings/sec, 120 secs
lola: 165357 markings, 245650 edges, 1311 markings/sec, 125 secs
lola: 171763 markings, 254599 edges, 1281 markings/sec, 130 secs
lola: 178170 markings, 263559 edges, 1281 markings/sec, 135 secs
lola: 184157 markings, 273918 edges, 1197 markings/sec, 140 secs
lola: 190567 markings, 282874 edges, 1282 markings/sec, 145 secs
lola: 197009 markings, 291871 edges, 1288 markings/sec, 150 secs
lola: 203429 markings, 301137 edges, 1284 markings/sec, 155 secs
lola: 209899 markings, 310219 edges, 1294 markings/sec, 160 secs
lola: 216196 markings, 319330 edges, 1259 markings/sec, 165 secs
lola: 222741 markings, 328777 edges, 1309 markings/sec, 170 secs
lola: 229150 markings, 337731 edges, 1282 markings/sec, 175 secs
lola: 235559 markings, 346690 edges, 1282 markings/sec, 180 secs
lola: 241873 markings, 355857 edges, 1263 markings/sec, 185 secs
lola: 248412 markings, 365297 edges, 1308 markings/sec, 190 secs
lola: 254821 markings, 374250 edges, 1282 markings/sec, 195 secs
lola: 261230 markings, 383572 edges, 1282 markings/sec, 200 secs
lola: 267764 markings, 392999 edges, 1307 markings/sec, 205 secs
lola: 274176 markings, 401959 edges, 1282 markings/sec, 210 secs
lola: 280789 markings, 411581 edges, 1323 markings/sec, 215 secs
lola: 287401 markings, 420963 edges, 1322 markings/sec, 220 secs
lola: 293825 markings, 430489 edges, 1285 markings/sec, 225 secs
lola: 300160 markings, 440455 edges, 1267 markings/sec, 230 secs
lola: 306724 markings, 449656 edges, 1313 markings/sec, 235 secs
lola: 313118 markings, 458876 edges, 1279 markings/sec, 240 secs
lola: 319530 markings, 467840 edges, 1282 markings/sec, 245 secs
lola: 326101 markings, 477203 edges, 1314 markings/sec, 250 secs
lola: 332206 markings, 485896 edges, 1221 markings/sec, 255 secs
lola: 338506 markings, 494687 edges, 1260 markings/sec, 260 secs
lola: 344931 markings, 503685 edges, 1285 markings/sec, 265 secs
lola: 351366 markings, 512954 edges, 1287 markings/sec, 270 secs
lola: 358080 markings, 522723 edges, 1343 markings/sec, 275 secs
lola: 364662 markings, 532112 edges, 1316 markings/sec, 280 secs
lola: 371198 markings, 541389 edges, 1307 markings/sec, 285 secs
lola: 377929 markings, 551016 edges, 1346 markings/sec, 290 secs
lola: 384406 markings, 560367 edges, 1295 markings/sec, 295 secs
lola: 390822 markings, 569331 edges, 1283 markings/sec, 300 secs
lola: 397333 markings, 578726 edges, 1302 markings/sec, 305 secs
lola: 403765 markings, 587711 edges, 1286 markings/sec, 310 secs
lola: 410161 markings, 596676 edges, 1279 markings/sec, 315 secs
lola: 416338 markings, 607274 edges, 1235 markings/sec, 320 secs
lola: 422985 markings, 616726 edges, 1329 markings/sec, 325 secs
lola: 429471 markings, 625955 edges, 1297 markings/sec, 330 secs
lola: 436212 markings, 635591 edges, 1348 markings/sec, 335 secs
lola: 442715 markings, 644870 edges, 1301 markings/sec, 340 secs
lola: 449287 markings, 654293 edges, 1314 markings/sec, 345 secs
lola: 456016 markings, 663915 edges, 1346 markings/sec, 350 secs
lola: 462639 markings, 673280 edges, 1325 markings/sec, 355 secs
lola: 469174 markings, 682537 edges, 1307 markings/sec, 360 secs
lola: 475834 markings, 692246 edges, 1332 markings/sec, 365 secs
lola: 482509 markings, 701676 edges, 1335 markings/sec, 370 secs
lola: 489150 markings, 711312 edges, 1328 markings/sec, 375 secs
lola: 495801 markings, 720683 edges, 1330 markings/sec, 380 secs
lola: 502317 markings, 729992 edges, 1303 markings/sec, 385 secs
lola: 509183 markings, 739816 edges, 1373 markings/sec, 390 secs
lola: 515823 markings, 749403 edges, 1328 markings/sec, 395 secs
lola: 522351 markings, 758568 edges, 1306 markings/sec, 400 secs
lola: 529086 markings, 768067 edges, 1347 markings/sec, 405 secs
lola: 534894 markings, 777145 edges, 1162 markings/sec, 410 secs
lola: 541417 markings, 786553 edges, 1305 markings/sec, 415 secs
lola: 547846 markings, 795532 edges, 1286 markings/sec, 420 secs
lola: 554340 markings, 804619 edges, 1299 markings/sec, 425 secs
lola: 560567 markings, 813663 edges, 1245 markings/sec, 430 secs
lola: 567019 markings, 822693 edges, 1290 markings/sec, 435 secs
lola: 573497 markings, 832035 edges, 1296 markings/sec, 440 secs
lola: 579910 markings, 840992 edges, 1283 markings/sec, 445 secs
lola: 586114 markings, 849748 edges, 1241 markings/sec, 450 secs
lola: 592323 markings, 858702 edges, 1242 markings/sec, 455 secs
lola: 598737 markings, 867960 edges, 1283 markings/sec, 460 secs
lola: 605200 markings, 877028 edges, 1293 markings/sec, 465 secs
lola: 611901 markings, 886827 edges, 1340 markings/sec, 470 secs
lola: 618314 markings, 896067 edges, 1283 markings/sec, 475 secs
lola: 625050 markings, 905562 edges, 1347 markings/sec, 480 secs
lola: 631524 markings, 914775 edges, 1295 markings/sec, 485 secs
lola: 637933 markings, 924025 edges, 1282 markings/sec, 490 secs
lola: 644475 markings, 933202 edges, 1308 markings/sec, 495 secs
lola: 649449 markings, 946623 edges, 995 markings/sec, 500 secs
lola: 655062 markings, 957017 edges, 1123 markings/sec, 505 secs
lola: 660958 markings, 964956 edges, 1179 markings/sec, 510 secs
lola: 667740 markings, 974274 edges, 1356 markings/sec, 515 secs
lola: 673739 markings, 983884 edges, 1200 markings/sec, 520 secs
lola: 680084 markings, 992779 edges, 1269 markings/sec, 525 secs
lola: 686772 markings, 1002124 edges, 1338 markings/sec, 530 secs
lola: 692507 markings, 1011093 edges, 1147 markings/sec, 535 secs
lola: 698366 markings, 1018987 edges, 1172 markings/sec, 540 secs
lola: 705101 markings, 1028128 edges, 1347 markings/sec, 545 secs
lola: 710531 markings, 1039478 edges, 1086 markings/sec, 550 secs
lola: 716436 markings, 1047330 edges, 1181 markings/sec, 555 secs
lola: 722626 markings, 1057038 edges, 1238 markings/sec, 560 secs
lola: 728054 markings, 1064371 edges, 1086 markings/sec, 565 secs
lola: 733655 markings, 1073177 edges, 1120 markings/sec, 570 secs
lola: 739343 markings, 1081509 edges, 1138 markings/sec, 575 secs
lola: 745543 markings, 1090387 edges, 1240 markings/sec, 580 secs
lola: 751681 markings, 1099614 edges, 1228 markings/sec, 585 secs
lola: 757365 markings, 1107894 edges, 1137 markings/sec, 590 secs
lola: 762843 markings, 1116142 edges, 1096 markings/sec, 595 secs
lola: 768470 markings, 1124132 edges, 1125 markings/sec, 600 secs
lola: 774685 markings, 1132681 edges, 1243 markings/sec, 605 secs
lola: 780481 markings, 1141599 edges, 1159 markings/sec, 610 secs
lola: 785858 markings, 1148958 edges, 1075 markings/sec, 615 secs
lola: 791085 markings, 1157571 edges, 1045 markings/sec, 620 secs
lola: 796222 markings, 1169116 edges, 1027 markings/sec, 625 secs
lola: 801168 markings, 1177506 edges, 989 markings/sec, 630 secs
lola: 806097 markings, 1185677 edges, 986 markings/sec, 635 secs
lola: 811494 markings, 1194495 edges, 1079 markings/sec, 640 secs
lola: 817409 markings, 1202436 edges, 1183 markings/sec, 645 secs
lola: 824083 markings, 1211441 edges, 1335 markings/sec, 650 secs
lola: 829986 markings, 1221016 edges, 1181 markings/sec, 655 secs
lola: 836502 markings, 1230192 edges, 1303 markings/sec, 660 secs
lola: 843206 markings, 1239255 edges, 1341 markings/sec, 665 secs
lola: 848910 markings, 1248528 edges, 1141 markings/sec, 670 secs
lola: 854822 markings, 1256419 edges, 1182 markings/sec, 675 secs
lola: 861444 markings, 1265370 edges, 1324 markings/sec, 680 secs
lola: 866986 markings, 1276468 edges, 1108 markings/sec, 685 secs
lola: 872861 markings, 1284779 edges, 1175 markings/sec, 690 secs
lola: 879286 markings, 1293772 edges, 1285 markings/sec, 695 secs
lola: 884607 markings, 1301927 edges, 1064 markings/sec, 700 secs
lola: 890278 markings, 1309962 edges, 1134 markings/sec, 705 secs
lola: 895626 markings, 1318540 edges, 1070 markings/sec, 710 secs
lola: 901884 markings, 1327545 edges, 1252 markings/sec, 715 secs
lola: 908115 markings, 1337092 edges, 1246 markings/sec, 720 secs
lola: 913788 markings, 1345353 edges, 1135 markings/sec, 725 secs
lola: 919487 markings, 1353580 edges, 1140 markings/sec, 730 secs
lola: 924930 markings, 1361607 edges, 1089 markings/sec, 735 secs
lola: 930986 markings, 1369902 edges, 1211 markings/sec, 740 secs
lola: 936973 markings, 1379086 edges, 1197 markings/sec, 745 secs
lola: 942400 markings, 1386436 edges, 1085 markings/sec, 750 secs
lola: 947721 markings, 1395057 edges, 1064 markings/sec, 755 secs
lola: 952821 markings, 1406333 edges, 1020 markings/sec, 760 secs
lola: 957747 markings, 1414633 edges, 985 markings/sec, 765 secs
lola: 962723 markings, 1422882 edges, 995 markings/sec, 770 secs
lola: 967875 markings, 1431881 edges, 1030 markings/sec, 775 secs
lola: 973848 markings, 1439732 edges, 1195 markings/sec, 780 secs
lola: 980384 markings, 1448664 edges, 1307 markings/sec, 785 secs
lola: 986284 markings, 1458099 edges, 1180 markings/sec, 790 secs
lola: 993052 markings, 1467445 edges, 1354 markings/sec, 795 secs
lola: 999494 markings, 1476476 edges, 1288 markings/sec, 800 secs
lola: 1005277 markings, 1485916 edges, 1157 markings/sec, 805 secs
lola: 1011146 markings, 1493561 edges, 1174 markings/sec, 810 secs
lola: 1017420 markings, 1502186 edges, 1255 markings/sec, 815 secs
lola: 1023209 markings, 1512175 edges, 1158 markings/sec, 820 secs
lola: 1028863 markings, 1521486 edges, 1131 markings/sec, 825 secs
lola: 1035100 markings, 1530064 edges, 1247 markings/sec, 830 secs
lola: 1040803 markings, 1538875 edges, 1141 markings/sec, 835 secs
lola: 1046259 markings, 1546450 edges, 1091 markings/sec, 840 secs
lola: 1051566 markings, 1555287 edges, 1061 markings/sec, 845 secs
lola: 1057933 markings, 1564387 edges, 1273 markings/sec, 850 secs
lola: 1064405 markings, 1573483 edges, 1294 markings/sec, 855 secs
lola: 1070058 markings, 1582131 edges, 1131 markings/sec, 860 secs
lola: 1075775 markings, 1590433 edges, 1143 markings/sec, 865 secs
lola: 1081164 markings, 1598803 edges, 1078 markings/sec, 870 secs
lola: 1087158 markings, 1606766 edges, 1199 markings/sec, 875 secs
lola: 1093411 markings, 1616538 edges, 1251 markings/sec, 880 secs
lola: 1098878 markings, 1623931 edges, 1093 markings/sec, 885 secs
lola: 1104404 markings, 1632671 edges, 1105 markings/sec, 890 secs
lola: 1109527 markings, 1643483 edges, 1025 markings/sec, 895 secs
lola: 1114433 markings, 1652025 edges, 981 markings/sec, 900 secs
lola: 1119480 markings, 1660551 edges, 1009 markings/sec, 905 secs
lola: 1124458 markings, 1669562 edges, 996 markings/sec, 910 secs
lola: 1131209 markings, 1678640 edges, 1350 markings/sec, 915 secs
lola: 1137193 markings, 1688340 edges, 1197 markings/sec, 920 secs
lola: 1142997 markings, 1696476 edges, 1161 markings/sec, 925 secs
lola: 1148686 markings, 1706959 edges, 1138 markings/sec, 930 secs
lola: 1154795 markings, 1716374 edges, 1222 markings/sec, 935 secs
lola: 1160253 markings, 1725054 edges, 1092 markings/sec, 940 secs
lola: local time limit reached - aborting
lola:
preliminary result: no yes no unknown no no no no unknown no no unknown no no no unknown
lola: memory consumption: 265456 KB
lola: time consumption: 1666 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 950 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((FIREABLE(t8627) OR FIREABLE(t8626) OR FIREABLE(t8625) OR FIREABLE(t8624) OR FIREABLE(t8623) OR FIREABLE(t8622)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((FIREABLE(t8627) OR FIREABLE(t8626) OR FIREABLE(t8625) OR FIREABLE(t8624) OR FIREABLE(t8623) OR FIREABLE(t8622)))))
lola: processed formula length: 129
lola: 21 rewrites
lola: closed formula file PolyORBLF-COL-S06J04T06-LTLFireability.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 74 markings, 209 edges
lola: ========================================

FORMULA PolyORBLF-COL-S06J04T06-LTLFireability-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 1901 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(t8825) OR FIREABLE(t8824) OR FIREABLE(t8823) OR FIREABLE(t8822) OR FIREABLE(t8821) OR FIREABLE(t8820)) OR (G ((F ((FIREABLE(t8561) OR FIREABLE(t8560) OR FIREABLE(t8559) OR FIREABLE(t8558) OR FIREABLE(t8557) OR FIREABLE(t8556))) AND ((FIREABLE(t8825) OR FIREABLE(t8824) OR FIREABLE(t8823) OR FIREABLE(t8822) OR FIREABLE(t8821) OR FIREABLE(t8820)) OR (FIREABLE(t8561) OR F... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((FIREABLE(t8825) OR FIREABLE(t8824) OR FIREABLE(t8823) OR FIREABLE(t8822) OR FIREABLE(t8821) OR FIREABLE(t8820)) OR (G ((F ((FIREABLE(t8561) OR FIREABLE(t8560) OR FIREABLE(t8559) OR FIREABLE(t8558) OR FIREABLE(t8557) OR FIREABLE(t8556))) AND ((FIREABLE(t8825) OR FIREABLE(t8824) OR FIREABLE(t8823) OR FIREABLE(t8822) OR FIREABLE(t8821) OR FIREABLE(t8820)) OR (FIREABLE(t8561) OR F... (shortened)
lola: processed formula length: 627
lola: 21 rewrites
lola: closed formula file PolyORBLF-COL-S06J04T06-LTLFireability.task
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 235 markings, 235 edges

FORMULA PolyORBLF-COL-S06J04T06-LTLFireability-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t11) OR FIREABLE(t10) OR FIREABLE(t9) OR FIREABLE(t8) OR FIREABLE(t7) OR FIREABLE(t6))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (NOT FIREABLE(t11) AND NOT FIREABLE(t10) AND NOT FIREABLE(t9) AND NOT FIREABLE(t8) AND NOT FIREABLE(t7) AND NOT FIREABLE(t6))
lola: processed formula length: 125
lola: 23 rewrites
lola: closed formula file PolyORBLF-COL-S06J04T06-LTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: ========================================
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: 5952 markings, 10592 edges, 1190 markings/sec, 0 secs
lola: 11806 markings, 20999 edges, 1171 markings/sec, 5 secs
lola: 18243 markings, 32951 edges, 1287 markings/sec, 10 secs
lola: 23950 markings, 43287 edges, 1141 markings/sec, 15 secs
lola: 30755 markings, 55613 edges, 1361 markings/sec, 20 secs
lola: 36958 markings, 67188 edges, 1241 markings/sec, 25 secs
lola: 42737 markings, 77651 edges, 1156 markings/sec, 30 secs
lola: 48910 markings, 89176 edges, 1235 markings/sec, 35 secs
lola: 54669 markings, 99724 edges, 1152 markings/sec, 40 secs
lola: 61037 markings, 110957 edges, 1274 markings/sec, 45 secs
lola: 65686 markings, 122198 edges, 930 markings/sec, 50 secs
lola: 71846 markings, 133521 edges, 1232 markings/sec, 55 secs
lola: 78197 markings, 144740 edges, 1270 markings/sec, 60 secs
lola: 84246 markings, 156041 edges, 1210 markings/sec, 65 secs
lola: 90365 markings, 167447 edges, 1224 markings/sec, 70 secs
lola: 96822 markings, 179303 edges, 1291 markings/sec, 75 secs
lola: 102864 markings, 190190 edges, 1208 markings/sec, 80 secs
lola: 109055 markings, 201218 edges, 1238 markings/sec, 85 secs
lola: 114580 markings, 211744 edges, 1105 markings/sec, 90 secs
lola: 120564 markings, 222339 edges, 1197 markings/sec, 95 secs
lola: 127175 markings, 235229 edges, 1322 markings/sec, 100 secs
lola: 131366 markings, 244743 edges, 838 markings/sec, 105 secs
lola: 137584 markings, 256135 edges, 1244 markings/sec, 110 secs
lola: 144224 markings, 268422 edges, 1328 markings/sec, 115 secs
lola: 150308 markings, 279550 edges, 1217 markings/sec, 120 secs
lola: 156386 markings, 290305 edges, 1216 markings/sec, 125 secs
lola: 162924 markings, 302467 edges, 1308 markings/sec, 130 secs
lola: 169045 markings, 313341 edges, 1224 markings/sec, 135 secs
lola: 175326 markings, 325247 edges, 1256 markings/sec, 140 secs
lola: 181320 markings, 335920 edges, 1199 markings/sec, 145 secs
lola: 187933 markings, 348021 edges, 1323 markings/sec, 150 secs
lola: 192923 markings, 359572 edges, 998 markings/sec, 155 secs
lola: 199037 markings, 370573 edges, 1223 markings/sec, 160 secs
lola: 204585 markings, 380434 edges, 1110 markings/sec, 165 secs
lola: 210087 markings, 390882 edges, 1100 markings/sec, 170 secs
lola: 215499 markings, 400577 edges, 1082 markings/sec, 175 secs
lola: 221469 markings, 411161 edges, 1194 markings/sec, 180 secs
lola: 227455 markings, 422525 edges, 1197 markings/sec, 185 secs
lola: 233150 markings, 432945 edges, 1139 markings/sec, 190 secs
lola: 238752 markings, 443383 edges, 1120 markings/sec, 195 secs
lola: 244447 markings, 453896 edges, 1139 markings/sec, 200 secs
lola: 250586 markings, 464729 edges, 1228 markings/sec, 205 secs
lola: 255182 markings, 475256 edges, 919 markings/sec, 210 secs
lola: 261326 markings, 486716 edges, 1229 markings/sec, 215 secs
lola: 267046 markings, 496929 edges, 1144 markings/sec, 220 secs
lola: 273537 markings, 508979 edges, 1298 markings/sec, 225 secs
lola: 279334 markings, 519698 edges, 1159 markings/sec, 230 secs
lola: 285761 markings, 531378 edges, 1285 markings/sec, 235 secs
lola: 291896 markings, 542763 edges, 1227 markings/sec, 240 secs
lola: 297879 markings, 553428 edges, 1197 markings/sec, 245 secs
lola: 303768 markings, 564360 edges, 1178 markings/sec, 250 secs
lola: 309613 markings, 575019 edges, 1169 markings/sec, 255 secs
lola: 315322 markings, 585168 edges, 1142 markings/sec, 260 secs
lola: 320241 markings, 598322 edges, 984 markings/sec, 265 secs
lola: 323495 markings, 609316 edges, 651 markings/sec, 270 secs
lola: 326370 markings, 618762 edges, 575 markings/sec, 275 secs
lola: 331712 markings, 629946 edges, 1068 markings/sec, 280 secs
lola: 338034 markings, 641499 edges, 1264 markings/sec, 285 secs
lola: 344248 markings, 652850 edges, 1243 markings/sec, 290 secs
lola: 350838 markings, 665073 edges, 1318 markings/sec, 295 secs
lola: 356846 markings, 676087 edges, 1202 markings/sec, 300 secs
lola: 363028 markings, 687505 edges, 1236 markings/sec, 305 secs
lola: 369213 markings, 698707 edges, 1237 markings/sec, 310 secs
lola: 374864 markings, 711261 edges, 1130 markings/sec, 315 secs
lola: 380949 markings, 722358 edges, 1217 markings/sec, 320 secs
lola: 387357 markings, 734219 edges, 1282 markings/sec, 325 secs
lola: 393602 markings, 745692 edges, 1249 markings/sec, 330 secs
lola: 400063 markings, 757524 edges, 1292 markings/sec, 335 secs
lola: 406295 markings, 768734 edges, 1246 markings/sec, 340 secs
lola: 412321 markings, 780082 edges, 1205 markings/sec, 345 secs
lola: 418973 markings, 792189 edges, 1330 markings/sec, 350 secs
lola: 424015 markings, 803666 edges, 1008 markings/sec, 355 secs
lola: 430357 markings, 815055 edges, 1268 markings/sec, 360 secs
lola: 436841 markings, 827341 edges, 1297 markings/sec, 365 secs
lola: 443238 markings, 839019 edges, 1279 markings/sec, 370 secs
lola: 449342 markings, 849981 edges, 1221 markings/sec, 375 secs
lola: 455546 markings, 861548 edges, 1241 markings/sec, 380 secs
lola: 461544 markings, 872255 edges, 1200 markings/sec, 385 secs
lola: 467106 markings, 884535 edges, 1112 markings/sec, 390 secs
lola: 473112 markings, 895503 edges, 1201 markings/sec, 395 secs
lola: 479326 markings, 907120 edges, 1243 markings/sec, 400 secs
lola: 485372 markings, 917938 edges, 1209 markings/sec, 405 secs
lola: 491800 markings, 929849 edges, 1286 markings/sec, 410 secs
lola: 497669 markings, 940614 edges, 1174 markings/sec, 415 secs
lola: 503905 markings, 952192 edges, 1247 markings/sec, 420 secs
lola: 509991 markings, 963167 edges, 1217 markings/sec, 425 secs
lola: 514947 markings, 974095 edges, 991 markings/sec, 430 secs
lola: 520967 markings, 985209 edges, 1204 markings/sec, 435 secs
lola: 527632 markings, 997495 edges, 1333 markings/sec, 440 secs
lola: 533775 markings, 1008622 edges, 1229 markings/sec, 445 secs
lola: 540236 markings, 1020775 edges, 1292 markings/sec, 450 secs
lola: 546409 markings, 1031720 edges, 1235 markings/sec, 455 secs
lola: 552656 markings, 1043659 edges, 1249 markings/sec, 460 secs
lola: 559141 markings, 1055562 edges, 1297 markings/sec, 465 secs
lola: 562804 markings, 1068078 edges, 733 markings/sec, 470 secs
lola: 565833 markings, 1078364 edges, 606 markings/sec, 475 secs
lola: 573346 markings, 1093779 edges, 1503 markings/sec, 480 secs
lola: 583540 markings, 1112154 edges, 2039 markings/sec, 485 secs
lola: 593861 markings, 1130681 edges, 2064 markings/sec, 490 secs
lola: 603932 markings, 1149338 edges, 2014 markings/sec, 495 secs
lola: 614116 markings, 1167647 edges, 2037 markings/sec, 500 secs
lola: 624429 markings, 1186143 edges, 2063 markings/sec, 505 secs
lola: 632859 markings, 1203751 edges, 1686 markings/sec, 510 secs
lola: 643443 markings, 1222670 edges, 2117 markings/sec, 515 secs
lola: 653411 markings, 1240930 edges, 1994 markings/sec, 520 secs
lola: 663527 markings, 1259497 edges, 2023 markings/sec, 525 secs
lola: 673861 markings, 1277788 edges, 2067 markings/sec, 530 secs
lola: 683866 markings, 1296160 edges, 2001 markings/sec, 535 secs
lola: 692446 markings, 1313931 edges, 1716 markings/sec, 540 secs
lola: 702697 markings, 1332553 edges, 2050 markings/sec, 545 secs
lola: 712865 markings, 1351246 edges, 2034 markings/sec, 550 secs
lola: 723051 markings, 1369675 edges, 2037 markings/sec, 555 secs
lola: 733395 markings, 1387962 edges, 2069 markings/sec, 560 secs
lola: 743487 markings, 1406499 edges, 2018 markings/sec, 565 secs
lola: 753622 markings, 1425234 edges, 2027 markings/sec, 570 secs
lola: 762440 markings, 1442692 edges, 1764 markings/sec, 575 secs
lola: 772512 markings, 1461143 edges, 2014 markings/sec, 580 secs
lola: 782844 markings, 1479452 edges, 2066 markings/sec, 585 secs
lola: 792959 markings, 1498275 edges, 2023 markings/sec, 590 secs
lola: 803104 markings, 1516538 edges, 2029 markings/sec, 595 secs
lola: 813346 markings, 1534937 edges, 2048 markings/sec, 600 secs
lola: 821734 markings, 1552024 edges, 1678 markings/sec, 605 secs
lola: 831845 markings, 1570428 edges, 2022 markings/sec, 610 secs
lola: 841776 markings, 1588533 edges, 1986 markings/sec, 615 secs
lola: 852062 markings, 1607195 edges, 2057 markings/sec, 620 secs
lola: 861599 markings, 1624256 edges, 1907 markings/sec, 625 secs
lola: 871521 markings, 1642599 edges, 1984 markings/sec, 630 secs
lola: 879781 markings, 1658884 edges, 1652 markings/sec, 635 secs
lola: 884434 markings, 1673829 edges, 931 markings/sec, 640 secs
lola: 889202 markings, 1686446 edges, 954 markings/sec, 645 secs
lola: 895604 markings, 1698060 edges, 1280 markings/sec, 650 secs
lola: 902735 markings, 1711195 edges, 1426 markings/sec, 655 secs
lola: 908554 markings, 1721831 edges, 1164 markings/sec, 660 secs
lola: 914971 markings, 1733469 edges, 1283 markings/sec, 665 secs
lola: 922161 markings, 1746677 edges, 1438 markings/sec, 670 secs
lola: 928662 markings, 1758557 edges, 1300 markings/sec, 675 secs
lola: 934805 markings, 1769818 edges, 1229 markings/sec, 680 secs
lola: 941325 markings, 1781759 edges, 1304 markings/sec, 685 secs
lola: 948448 markings, 1794351 edges, 1425 markings/sec, 690 secs
lola: 953746 markings, 1806634 edges, 1060 markings/sec, 695 secs
lola: 959571 markings, 1817276 edges, 1165 markings/sec, 700 secs
lola: 966746 markings, 1830517 edges, 1435 markings/sec, 705 secs
lola: 972985 markings, 1841791 edges, 1248 markings/sec, 710 secs
lola: 978837 markings, 1852499 edges, 1170 markings/sec, 715 secs
lola: 986223 markings, 1866069 edges, 1477 markings/sec, 720 secs
lola: 992620 markings, 1877490 edges, 1279 markings/sec, 725 secs
lola: 998874 markings, 1889161 edges, 1251 markings/sec, 730 secs
lola: 1005129 markings, 1900404 edges, 1251 markings/sec, 735 secs
lola: 1012529 markings, 1913850 edges, 1480 markings/sec, 740 secs
lola: 1017214 markings, 1924920 edges, 937 markings/sec, 745 secs
lola: 1023342 markings, 1936102 edges, 1226 markings/sec, 750 secs
lola: 1030658 markings, 1949583 edges, 1463 markings/sec, 755 secs
lola: 1037337 markings, 1961735 edges, 1336 markings/sec, 760 secs
lola: 1044454 markings, 1974324 edges, 1423 markings/sec, 765 secs
lola: 1051003 markings, 1986562 edges, 1310 markings/sec, 770 secs
lola: 1057625 markings, 1998317 edges, 1324 markings/sec, 775 secs
lola: 1064203 markings, 2010612 edges, 1316 markings/sec, 780 secs
lola: 1070505 markings, 2021869 edges, 1260 markings/sec, 785 secs
lola: 1077705 markings, 2036088 edges, 1440 markings/sec, 790 secs
lola: 1083048 markings, 2047203 edges, 1069 markings/sec, 795 secs
lola: 1089503 markings, 2058753 edges, 1291 markings/sec, 800 secs
lola: 1096259 markings, 2071373 edges, 1351 markings/sec, 805 secs
lola: 1102823 markings, 2083055 edges, 1313 markings/sec, 810 secs
lola: 1109364 markings, 2095350 edges, 1308 markings/sec, 815 secs
lola: 1115794 markings, 2107045 edges, 1286 markings/sec, 820 secs
lola: 1122534 markings, 2118957 edges, 1348 markings/sec, 825 secs
lola: 1128993 markings, 2130849 edges, 1292 markings/sec, 830 secs
lola: 1135520 markings, 2142745 edges, 1305 markings/sec, 835 secs
lola: 1140864 markings, 2153773 edges, 1069 markings/sec, 840 secs
lola: 1146605 markings, 2164894 edges, 1148 markings/sec, 845 secs
lola: 1152788 markings, 2176014 edges, 1237 markings/sec, 850 secs
lola: 1160251 markings, 2189755 edges, 1493 markings/sec, 855 secs
lola: 1166735 markings, 2201584 edges, 1297 markings/sec, 860 secs
lola: 1174126 markings, 2215193 edges, 1478 markings/sec, 865 secs
lola: 1180594 markings, 2226990 edges, 1294 markings/sec, 870 secs
lola: 1187237 markings, 2239093 edges, 1329 markings/sec, 875 secs
lola: 1193733 markings, 2251037 edges, 1299 markings/sec, 880 secs
lola: 1200452 markings, 2262947 edges, 1344 markings/sec, 885 secs
lola: 1205858 markings, 2276470 edges, 1081 markings/sec, 890 secs
lola: 1209328 markings, 2288004 edges, 694 markings/sec, 895 secs
lola: 1212365 markings, 2297665 edges, 607 markings/sec, 900 secs
lola: 1218263 markings, 2309452 edges, 1180 markings/sec, 905 secs
lola: 1225272 markings, 2322383 edges, 1402 markings/sec, 910 secs
lola: 1231656 markings, 2334129 edges, 1277 markings/sec, 915 secs
lola: 1238804 markings, 2347172 edges, 1430 markings/sec, 920 secs
lola: 1245468 markings, 2359121 edges, 1333 markings/sec, 925 secs
lola: 1252039 markings, 2371512 edges, 1314 markings/sec, 930 secs
lola: 1258810 markings, 2384703 edges, 1354 markings/sec, 935 secs
lola: 1264552 markings, 2396461 edges, 1148 markings/sec, 940 secs
lola: 1271619 markings, 2409374 edges, 1413 markings/sec, 945 secs
lola: 1277978 markings, 2421091 edges, 1272 markings/sec, 950 secs
lola: 1285075 markings, 2434046 edges, 1419 markings/sec, 955 secs
lola: 1291668 markings, 2445774 edges, 1319 markings/sec, 960 secs
lola: 1298211 markings, 2457997 edges, 1309 markings/sec, 965 secs
lola: 1305265 markings, 2471395 edges, 1411 markings/sec, 970 secs
lola: 1310952 markings, 2483527 edges, 1137 markings/sec, 975 secs
lola: 1317982 markings, 2496443 edges, 1406 markings/sec, 980 secs
lola: 1324575 markings, 2508383 edges, 1319 markings/sec, 985 secs
lola: 1331711 markings, 2521514 edges, 1427 markings/sec, 990 secs
lola: 1338328 markings, 2533287 edges, 1323 markings/sec, 995 secs
lola: 1344859 markings, 2545462 edges, 1306 markings/sec, 1000 secs
lola: 1351893 markings, 2558796 edges, 1407 markings/sec, 1005 secs
lola: 1357389 markings, 2570333 edges, 1099 markings/sec, 1010 secs
lola: 1363971 markings, 2582326 edges, 1316 markings/sec, 1015 secs
lola: 1370654 markings, 2594439 edges, 1337 markings/sec, 1020 secs
lola: 1377366 markings, 2606860 edges, 1342 markings/sec, 1025 secs
lola: 1383827 markings, 2618628 edges, 1292 markings/sec, 1030 secs
lola: 1390300 markings, 2630837 edges, 1295 markings/sec, 1035 secs
lola: 1396983 markings, 2642860 edges, 1337 markings/sec, 1040 secs
lola: 1401948 markings, 2653407 edges, 993 markings/sec, 1045 secs
lola: 1408487 markings, 2665200 edges, 1308 markings/sec, 1050 secs
lola: 1415583 markings, 2678536 edges, 1419 markings/sec, 1055 secs
lola: 1422731 markings, 2691543 edges, 1430 markings/sec, 1060 secs
lola: 1429251 markings, 2703446 edges, 1304 markings/sec, 1065 secs
lola: 1435871 markings, 2715613 edges, 1324 markings/sec, 1070 secs
lola: 1442772 markings, 2728045 edges, 1380 markings/sec, 1075 secs
lola: 1447304 markings, 2741411 edges, 906 markings/sec, 1080 secs
lola: 1450624 markings, 2752616 edges, 664 markings/sec, 1085 secs
lola: 1457820 markings, 2767579 edges, 1439 markings/sec, 1090 secs
lola: 1468563 markings, 2786974 edges, 2149 markings/sec, 1095 secs
lola: 1479503 markings, 2806539 edges, 2188 markings/sec, 1100 secs
lola: 1489714 markings, 2825397 edges, 2042 markings/sec, 1105 secs
lola: 1500505 markings, 2844807 edges, 2158 markings/sec, 1110 secs
lola: 1511497 markings, 2864474 edges, 2198 markings/sec, 1115 secs
lola: 1519867 markings, 2882111 edges, 1674 markings/sec, 1120 secs
lola: 1530705 markings, 2901606 edges, 2168 markings/sec, 1125 secs
lola: 1541304 markings, 2920760 edges, 2120 markings/sec, 1130 secs
lola: 1551910 markings, 2939921 edges, 2121 markings/sec, 1135 secs
lola: 1562540 markings, 2959295 edges, 2126 markings/sec, 1140 secs
lola: 1573212 markings, 2978469 edges, 2134 markings/sec, 1145 secs
lola: 1582233 markings, 2996901 edges, 1804 markings/sec, 1150 secs
lola: 1592775 markings, 3016203 edges, 2108 markings/sec, 1155 secs
lola: 1603609 markings, 3035611 edges, 2167 markings/sec, 1160 secs
lola: 1614194 markings, 3054712 edges, 2117 markings/sec, 1165 secs
lola: 1624727 markings, 3074002 edges, 2107 markings/sec, 1170 secs
lola: 1635174 markings, 3092864 edges, 2089 markings/sec, 1175 secs
lola: 1644427 markings, 3111496 edges, 1851 markings/sec, 1180 secs
lola: 1654928 markings, 3130316 edges, 2100 markings/sec, 1185 secs
lola: 1665548 markings, 3149461 edges, 2124 markings/sec, 1190 secs
lola: 1675893 markings, 3168705 edges, 2069 markings/sec, 1195 secs
lola: 1686579 markings, 3187860 edges, 2137 markings/sec, 1200 secs
lola: 1697418 markings, 3207267 edges, 2168 markings/sec, 1205 secs
lola: 1705970 markings, 3224625 edges, 1710 markings/sec, 1210 secs
lola: 1716724 markings, 3244151 edges, 2151 markings/sec, 1215 secs
lola: 1727149 markings, 3262999 edges, 2085 markings/sec, 1220 secs
lola: 1737719 markings, 3282223 edges, 2114 markings/sec, 1225 secs
lola: 1748334 markings, 3301483 edges, 2123 markings/sec, 1230 secs
lola: 1759071 markings, 3320759 edges, 2147 markings/sec, 1235 secs
lola: 1766292 markings, 3337838 edges, 1444 markings/sec, 1240 secs
lola: 1771057 markings, 3352839 edges, 953 markings/sec, 1245 secs
lola: 1777771 markings, 3366396 edges, 1343 markings/sec, 1250 secs
lola: 1784872 markings, 3378860 edges, 1420 markings/sec, 1255 secs
lola: 1792016 markings, 3392077 edges, 1429 markings/sec, 1260 secs
lola: 1798205 markings, 3403125 edges, 1238 markings/sec, 1265 secs
lola: 1805377 markings, 3416279 edges, 1434 markings/sec, 1270 secs
lola: 1812131 markings, 3428479 edges, 1351 markings/sec, 1275 secs
lola: 1818818 markings, 3440799 edges, 1337 markings/sec, 1280 secs
lola: 1825905 markings, 3453560 edges, 1417 markings/sec, 1285 secs
lola: 1832690 markings, 3466651 edges, 1357 markings/sec, 1290 secs
lola: 1837930 markings, 3477504 edges, 1048 markings/sec, 1295 secs
lola: 1845016 markings, 3490355 edges, 1417 markings/sec, 1300 secs
lola: 1852485 markings, 3504016 edges, 1494 markings/sec, 1305 secs
lola: 1859116 markings, 3515920 edges, 1326 markings/sec, 1310 secs
lola: 1866388 markings, 3529182 edges, 1454 markings/sec, 1315 secs
lola: 1873026 markings, 3541274 edges, 1328 markings/sec, 1320 secs
lola: 1879822 markings, 3553716 edges, 1359 markings/sec, 1325 secs
lola: 1886780 markings, 3566397 edges, 1392 markings/sec, 1330 secs
lola: 1893923 markings, 3579626 edges, 1429 markings/sec, 1335 secs
lola: 1899029 markings, 3590609 edges, 1021 markings/sec, 1340 secs
lola: 1906003 markings, 3603307 edges, 1395 markings/sec, 1345 secs
lola: 1913112 markings, 3616299 edges, 1422 markings/sec, 1350 secs
lola: 1919643 markings, 3627860 edges, 1306 markings/sec, 1355 secs
lola: 1927423 markings, 3642198 edges, 1556 markings/sec, 1360 secs
lola: 1934028 markings, 3653914 edges, 1321 markings/sec, 1365 secs
lola: 1940815 markings, 3666669 edges, 1357 markings/sec, 1370 secs
lola: 1947806 markings, 3679341 edges, 1398 markings/sec, 1375 secs
lola: 1954890 markings, 3692229 edges, 1417 markings/sec, 1380 secs
lola: 1959672 markings, 3703038 edges, 956 markings/sec, 1385 secs
lola: 1966696 markings, 3715638 edges, 1405 markings/sec, 1390 secs
lola: 1973848 markings, 3728703 edges, 1430 markings/sec, 1395 secs
lola: 1980316 markings, 3740120 edges, 1294 markings/sec, 1400 secs
lola: 1987952 markings, 3754342 edges, 1527 markings/sec, 1405 secs
lola: 1994525 markings, 3766048 edges, 1315 markings/sec, 1410 secs
lola: 2001176 markings, 3777938 edges, 1330 markings/sec, 1415 secs
lola: 2008222 markings, 3791335 edges, 1409 markings/sec, 1420 secs
lola: 2015402 markings, 3803906 edges, 1436 markings/sec, 1425 secs
lola: 2020164 markings, 3815017 edges, 952 markings/sec, 1430 secs
lola: 2026874 markings, 3827204 edges, 1342 markings/sec, 1435 secs
lola: 2033535 markings, 3839497 edges, 1332 markings/sec, 1440 secs
lola: 2040093 markings, 3851208 edges, 1312 markings/sec, 1445 secs
lola: 2046644 markings, 3862819 edges, 1310 markings/sec, 1450 secs
lola: 2053228 markings, 3875109 edges, 1317 markings/sec, 1455 secs
lola: 2059656 markings, 3886539 edges, 1286 markings/sec, 1460 secs
lola: 2066352 markings, 3899050 edges, 1339 markings/sec, 1465 secs
lola: 2073060 markings, 3911258 edges, 1342 markings/sec, 1470 secs
lola: 2079444 markings, 3923271 edges, 1277 markings/sec, 1475 secs
lola: 2082218 markings, 3932199 edges, 555 markings/sec, 1480 secs
lola: 2084957 markings, 3941444 edges, 548 markings/sec, 1485 secs
lola: 2087694 markings, 3950190 edges, 547 markings/sec, 1490 secs
lola: 2094262 markings, 3962756 edges, 1314 markings/sec, 1495 secs
lola: 2101429 markings, 3975781 edges, 1433 markings/sec, 1500 secs
lola: 2108418 markings, 3988383 edges, 1398 markings/sec, 1505 secs
lola: 2115114 markings, 4000790 edges, 1339 markings/sec, 1510 secs
lola: 2122066 markings, 4013243 edges, 1390 markings/sec, 1515 secs
lola: 2128727 markings, 4025317 edges, 1332 markings/sec, 1520 secs
lola: 2134298 markings, 4037469 edges, 1114 markings/sec, 1525 secs
lola: 2141214 markings, 4049920 edges, 1383 markings/sec, 1530 secs
lola: 2148334 markings, 4063028 edges, 1424 markings/sec, 1535 secs
lola: 2155215 markings, 4075554 edges, 1376 markings/sec, 1540 secs
lola: 2161930 markings, 4087662 edges, 1343 markings/sec, 1545 secs
lola: 2168913 markings, 4100606 edges, 1397 markings/sec, 1550 secs
lola: 2175724 markings, 4113168 edges, 1362 markings/sec, 1555 secs
lola: 2181313 markings, 4124650 edges, 1118 markings/sec, 1560 secs
lola: 2188360 markings, 4137697 edges, 1409 markings/sec, 1565 secs
lola: 2194967 markings, 4149379 edges, 1321 markings/sec, 1570 secs
lola: 2202087 markings, 4162573 edges, 1424 markings/sec, 1575 secs
lola: 2208791 markings, 4174521 edges, 1341 markings/sec, 1580 secs
lola: 2215698 markings, 4187395 edges, 1381 markings/sec, 1585 secs
lola: 2221144 markings, 4199168 edges, 1089 markings/sec, 1590 secs
lola: 2227924 markings, 4211491 edges, 1356 markings/sec, 1595 secs
lola: 2234850 markings, 4224013 edges, 1385 markings/sec, 1600 secs
lola: 2242000 markings, 4236874 edges, 1430 markings/sec, 1605 secs
lola: 2248642 markings, 4249026 edges, 1328 markings/sec, 1610 secs
lola: 2255683 markings, 4261911 edges, 1408 markings/sec, 1615 secs
lola: 2262280 markings, 4273838 edges, 1319 markings/sec, 1620 secs
lola: 2267705 markings, 4285710 edges, 1085 markings/sec, 1625 secs
lola: 2274360 markings, 4297745 edges, 1331 markings/sec, 1630 secs
lola: 2281016 markings, 4309944 edges, 1331 markings/sec, 1635 secs
lola: 2287562 markings, 4321845 edges, 1309 markings/sec, 1640 secs
lola: 2294259 markings, 4333979 edges, 1339 markings/sec, 1645 secs
lola: 2301127 markings, 4346704 edges, 1374 markings/sec, 1650 secs
lola: 2307680 markings, 4358618 edges, 1311 markings/sec, 1655 secs
lola: 2311752 markings, 4368828 edges, 814 markings/sec, 1660 secs
lola: 2314517 markings, 4378245 edges, 553 markings/sec, 1665 secs
lola: 2317551 markings, 4387804 edges, 607 markings/sec, 1670 secs
lola: 2324701 markings, 4400629 edges, 1430 markings/sec, 1675 secs
lola: 2331831 markings, 4413558 edges, 1426 markings/sec, 1680 secs
lola: 2338876 markings, 4426462 edges, 1409 markings/sec, 1685 secs
lola: 2346111 markings, 4439140 edges, 1447 markings/sec, 1690 secs
lola: 2352823 markings, 4451819 edges, 1342 markings/sec, 1695 secs
lola: 2359542 markings, 4463618 edges, 1344 markings/sec, 1700 secs
lola: 2366458 markings, 4476390 edges, 1383 markings/sec, 1705 secs
lola: 2373171 markings, 4488461 edges, 1343 markings/sec, 1710 secs
lola: 2378899 markings, 4501082 edges, 1146 markings/sec, 1715 secs
lola: 2385283 markings, 4512602 edges, 1277 markings/sec, 1720 secs
lola: 2392896 markings, 4526319 edges, 1523 markings/sec, 1725 secs
lola: 2399952 markings, 4539485 edges, 1411 markings/sec, 1730 secs
lola: 2406659 markings, 4551284 edges, 1341 markings/sec, 1735 secs
lola: 2413754 markings, 4564300 edges, 1419 markings/sec, 1740 secs
lola: 2420428 markings, 4576380 edges, 1335 markings/sec, 1745 secs
lola: 2427118 markings, 4588714 edges, 1338 markings/sec, 1750 secs
lola: 2434248 markings, 4601514 edges, 1426 markings/sec, 1755 secs
lola: 2440065 markings, 4613941 edges, 1163 markings/sec, 1760 secs
lola: 2446286 markings, 4625517 edges, 1244 markings/sec, 1765 secs
lola: 2453416 markings, 4638439 edges, 1426 markings/sec, 1770 secs
lola: 2460247 markings, 4650968 edges, 1366 markings/sec, 1775 secs
lola: 2467336 markings, 4663729 edges, 1418 markings/sec, 1780 secs
lola: 2474489 markings, 4676699 edges, 1431 markings/sec, 1785 secs
lola: 2481110 markings, 4688557 edges, 1324 markings/sec, 1790 secs
lola: 2487826 markings, 4701117 edges, 1343 markings/sec, 1795 secs
lola: 2494757 markings, 4713667 edges, 1386 markings/sec, 1800 secs
lola: 2501077 markings, 4726155 edges, 1264 markings/sec, 1805 secs
lola: 2506937 markings, 4738271 edges, 1172 markings/sec, 1810 secs
lola: 2513632 markings, 4749914 edges, 1339 markings/sec, 1815 secs
lola: 2520619 markings, 4762688 edges, 1397 markings/sec, 1820 secs
lola: 2527445 markings, 4774862 edges, 1365 markings/sec, 1825 secs
lola: 2534725 markings, 4788348 edges, 1456 markings/sec, 1830 secs
lola: 2541251 markings, 4799980 edges, 1305 markings/sec, 1835 secs
lola: 2547997 markings, 4812540 edges, 1349 markings/sec, 1840 secs
lola: 2554873 markings, 4825087 edges, 1375 markings/sec, 1845 secs
lola: 2562039 markings, 4838159 edges, 1433 markings/sec, 1850 secs
lola: 2566718 markings, 4848700 edges, 936 markings/sec, 1855 secs
lola: 2573389 markings, 4860759 edges, 1334 markings/sec, 1860 secs
lola: 2580099 markings, 4873096 edges, 1342 markings/sec, 1865 secs
lola: 2586636 markings, 4884737 edges, 1307 markings/sec, 1870 secs
lola: 2593217 markings, 4896485 edges, 1316 markings/sec, 1875 secs
lola: 2599922 markings, 4908946 edges, 1341 markings/sec, 1880 secs
lola: 2606585 markings, 4920812 edges, 1333 markings/sec, 1885 secs
lola: 2613290 markings, 4933366 edges, 1341 markings/sec, 1890 secs
lola: 2619905 markings, 4945361 edges, 1323 markings/sec, 1895 secs
lola: time limit reached - aborting
lola:
preliminary result: no yes no unknown no no no no unknown no no no no no no no
lola:
preliminary result: no yes no unknown no no no no unknown no no no no no no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes no unknown no no no no unknown no no no no no no no
lola: memory consumption: 315032 KB
lola: time consumption: 3567 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes no unknown no no no no unknown no no no no no no no
lola: memory consumption: 315032 KB
lola: time consumption: 3567 seconds

BK_STOP 1528007912878

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBLF-COL-S06J04T06"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-COL-S06J04T06.tgz
mv PolyORBLF-COL-S06J04T06 execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is PolyORBLF-COL-S06J04T06, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r208-smll-152732257700380"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "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 "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.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 '' LTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;