MCC'2023- Execution of r039-tajo-167813692000039

About the Execution of LoLa+red for BridgeAndVehicles-COL-V20P10N50

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
16225.399	909076.00	2850441.00	12838.20	?FFTF??TFTFFFT?F	normal

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r039-tajo-167813692000039.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool lolaxred
Input is BridgeAndVehicles-COL-V20P10N50, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r039-tajo-167813692000039
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 500K
-rw-r--r-- 1 mcc users 9.8K Feb 25 12:15 CTLCardinality.txt
-rw-r--r-- 1 mcc users 99K Feb 25 12:15 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.8K Feb 25 12:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 25 12:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K Jan 29 11:40 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 15:35 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:35 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Feb 25 15:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.7K Feb 25 12:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 25 12:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.4K Feb 25 12:32 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 65K Feb 25 12:32 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 15:35 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:35 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 10 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 41K Mar 5 18:22 model.pnml

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

=== Now, execution of the tool begins

BK_START 1678478769769

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=lolaxred
BK_EXAMINATION=ReachabilityFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=BridgeAndVehicles-COL-V20P10N50
Applying reductions before tool lola
Invoking reducer
Running Version 202303021504
[2023-03-10 20:06:11] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -timeout, 360, -rebuildPNML]
[2023-03-10 20:06:11] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 20:06:11] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-10 20:06:11] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-10 20:06:11] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 437 ms
[2023-03-10 20:06:11] [INFO ] Imported 15 HL places and 11 HL transitions for a total of 108 PT places and 90298.0 transition bindings in 17 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 13 ms.
Working with output stream class java.io.PrintStream
FORMULA BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2023-03-10 20:06:11] [INFO ] Built PT skeleton of HLPN with 15 places and 11 transitions 56 arcs in 4 ms.
[2023-03-10 20:06:11] [INFO ] Skeletonized 15 HLPN properties in 0 ms.
Remains 2 properties that can be checked using skeleton over-approximation.
Reduce places removed 3 places and 0 transitions.
Computed a total of 9 stabilizing places and 6 stable transitions
Graph (complete) has 22 edges and 12 vertex of which 10 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.1 ms
Ensure Unique test removed 1 transitions
Reduce redundant transitions removed 1 transitions.
Incomplete random walk after 100000 steps, including 2 resets, run finished after 286 ms. (steps per millisecond=349 ) properties (out of 5) seen :4
Running SMT prover for 1 properties.
// Phase 1: matrix 10 rows 12 cols
[2023-03-10 20:06:12] [INFO ] Computed 4 place invariants in 4 ms
[2023-03-10 20:06:12] [INFO ] [Real]Absence check using 4 positive place invariants in 3 ms returned sat
[2023-03-10 20:06:12] [INFO ] After 13ms SMT Verify possible using state equation in real domain returned unsat :0 sat :1
[2023-03-10 20:06:12] [INFO ] After 30ms SMT Verify possible using trap constraints in real domain returned unsat :0 sat :0 real:1
[2023-03-10 20:06:12] [INFO ] After 148ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2023-03-10 20:06:12] [INFO ] [Nat]Absence check using 4 positive place invariants in 2 ms returned sat
[2023-03-10 20:06:12] [INFO ] After 8ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2023-03-10 20:06:12] [INFO ] After 15ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 5 ms.
[2023-03-10 20:06:12] [INFO ] After 53ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
[2023-03-10 20:06:12] [INFO ] Flatten gal took : 14 ms
[2023-03-10 20:06:12] [INFO ] Flatten gal took : 2 ms
Arc [13:1*[(MOD (ADD $cpt 1) 51)]] contains successor/predecessor on variables of sort compteur
Arc [1:1*[(MOD (ADD $cA 1) 21)]] contains successor/predecessor on variables of sort voitureA
Arc [6:1*[(MOD (ADD (MOD (MINUS $cB 1) 21) 21) 21)]] contains successor/predecessor on variables of sort voitureB
Arc [14:1*[(MOD (ADD $s 1) 2)]] contains successor/predecessor on variables of sort sens
[2023-03-10 20:06:12] [INFO ] Unfolded HLPN to a Petri net with 108 places and 2228 transitions 17190 arcs in 55 ms.
[2023-03-10 20:06:12] [INFO ] Unfolded 15 HLPN properties in 4 ms.
Incomplete random walk after 10000 steps, including 57 resets, run finished after 1339 ms. (steps per millisecond=7 ) properties (out of 15) seen :6
FORMULA BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-15 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-12 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-11 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-10 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-09 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-04 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10000 steps, including 27 resets, run finished after 2803 ms. (steps per millisecond=3 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10000 steps, including 23 resets, run finished after 1868 ms. (steps per millisecond=5 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10000 steps, including 27 resets, run finished after 569 ms. (steps per millisecond=17 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 22 resets, run finished after 2222 ms. (steps per millisecond=4 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10000 steps, including 27 resets, run finished after 1135 ms. (steps per millisecond=8 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10000 steps, including 27 resets, run finished after 699 ms. (steps per millisecond=14 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 22 resets, run finished after 1771 ms. (steps per millisecond=5 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 22 resets, run finished after 920 ms. (steps per millisecond=10 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 27 resets, run finished after 449 ms. (steps per millisecond=22 ) properties (out of 9) seen :0
Running SMT prover for 9 properties.
[2023-03-10 20:06:26] [INFO ] Flow matrix only has 290 transitions (discarded 1938 similar events)
// Phase 1: matrix 290 rows 108 cols
[2023-03-10 20:06:26] [INFO ] Computed 7 place invariants in 20 ms
[2023-03-10 20:06:37] [INFO ] [Real]Absence check using 7 positive place invariants in 2 ms returned sat
[2023-03-10 20:06:37] [INFO ] After 434ms SMT Verify possible using all constraints in real domain returned unsat :2 sat :0 real:7
[2023-03-10 20:06:37] [INFO ] [Nat]Absence check using 7 positive place invariants in 3 ms returned sat
[2023-03-10 20:06:56] [INFO ] After 18477ms SMT Verify possible using state equation in natural domain returned unsat :5 sat :4
[2023-03-10 20:06:56] [INFO ] State equation strengthened by 102 read => feed constraints.
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.checkResults(DeadlockTester.java:797)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:644)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:350)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:902)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-10 20:07:05] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-10 20:07:05] [INFO ] After 28246ms SMT Verify possible using all constraints in natural domain returned unsat :2 sat :0 real:7
FORMULA BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-13 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-07 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-03 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-02 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-01 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 9 Parikh solutions to 4 different solutions.
Parikh walk visited 0 properties in 91 ms.
Support contains 103 out of 108 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 108/108 places, 2228/2228 transitions.
Graph (complete) has 882 edges and 108 vertex of which 106 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.9 ms
Discarding 2 places :
Also discarding 0 output transitions
Applied a total of 1 rules in 315 ms. Remains 106 /108 variables (removed 2) and now considering 2228/2228 (removed 0) transitions.
[2023-03-10 20:07:05] [INFO ] Flow matrix only has 290 transitions (discarded 1938 similar events)
// Phase 1: matrix 290 rows 106 cols
[2023-03-10 20:07:05] [INFO ] Computed 5 place invariants in 14 ms
[2023-03-10 20:07:06] [INFO ] Dead Transitions using invariants and state equation in 763 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1080 ms. Remains : 106/108 places, 2228/2228 transitions.
Incomplete random walk after 10000 steps, including 57 resets, run finished after 452 ms. (steps per millisecond=22 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 10000 steps, including 27 resets, run finished after 2638 ms. (steps per millisecond=3 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 10000 steps, including 27 resets, run finished after 1002 ms. (steps per millisecond=9 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 10001 steps, including 27 resets, run finished after 253 ms. (steps per millisecond=39 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 10001 steps, including 27 resets, run finished after 251 ms. (steps per millisecond=39 ) properties (out of 4) seen :0
Interrupted probabilistic random walk after 607932 steps, run timeout after 12001 ms. (steps per millisecond=50 ) properties seen :{}
Probabilistic random walk after 607932 steps, saw 151129 distinct states, run finished after 12003 ms. (steps per millisecond=50 ) properties seen :0
Running SMT prover for 4 properties.
[2023-03-10 20:07:23] [INFO ] Flow matrix only has 290 transitions (discarded 1938 similar events)
[2023-03-10 20:07:23] [INFO ] Invariant cache hit.
[2023-03-10 20:07:25] [INFO ] [Real]Absence check using 5 positive place invariants in 2 ms returned sat
[2023-03-10 20:07:25] [INFO ] After 279ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:4
[2023-03-10 20:07:26] [INFO ] [Nat]Absence check using 5 positive place invariants in 2 ms returned sat
[2023-03-10 20:07:44] [INFO ] After 18179ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :4
[2023-03-10 20:07:44] [INFO ] State equation strengthened by 102 read => feed constraints.
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.checkResults(DeadlockTester.java:797)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:644)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:350)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:902)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-10 20:07:53] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-10 20:07:53] [INFO ] After 28013ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:4
Parikh walk visited 0 properties in 271 ms.
Support contains 103 out of 106 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 106/106 places, 2228/2228 transitions.
Applied a total of 0 rules in 245 ms. Remains 106 /106 variables (removed 0) and now considering 2228/2228 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 245 ms. Remains : 106/106 places, 2228/2228 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 106/106 places, 2228/2228 transitions.
Applied a total of 0 rules in 230 ms. Remains 106 /106 variables (removed 0) and now considering 2228/2228 (removed 0) transitions.
[2023-03-10 20:07:54] [INFO ] Flow matrix only has 290 transitions (discarded 1938 similar events)
[2023-03-10 20:07:54] [INFO ] Invariant cache hit.
[2023-03-10 20:07:54] [INFO ] Implicit Places using invariants in 61 ms returned []
[2023-03-10 20:07:54] [INFO ] Flow matrix only has 290 transitions (discarded 1938 similar events)
[2023-03-10 20:07:54] [INFO ] Invariant cache hit.
[2023-03-10 20:07:54] [INFO ] State equation strengthened by 102 read => feed constraints.
[2023-03-10 20:07:55] [INFO ] Implicit Places using invariants and state equation in 390 ms returned [47]
Discarding 1 places :
Implicit Place search using SMT with State Equation took 464 ms to find 1 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 105/106 places, 2228/2228 transitions.
Applied a total of 0 rules in 205 ms. Remains 105 /105 variables (removed 0) and now considering 2228/2228 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 2 iterations and 901 ms. Remains : 105/106 places, 2228/2228 transitions.
Incomplete random walk after 10000 steps, including 57 resets, run finished after 625 ms. (steps per millisecond=16 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 10000 steps, including 27 resets, run finished after 2854 ms. (steps per millisecond=3 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 10001 steps, including 27 resets, run finished after 952 ms. (steps per millisecond=10 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 10000 steps, including 27 resets, run finished after 223 ms. (steps per millisecond=44 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 10001 steps, including 27 resets, run finished after 221 ms. (steps per millisecond=45 ) properties (out of 4) seen :0
Interrupted probabilistic random walk after 588624 steps, run timeout after 12001 ms. (steps per millisecond=49 ) properties seen :{}
Probabilistic random walk after 588624 steps, saw 146562 distinct states, run finished after 12002 ms. (steps per millisecond=49 ) properties seen :0
Running SMT prover for 4 properties.
[2023-03-10 20:08:12] [INFO ] Flow matrix only has 290 transitions (discarded 1938 similar events)
// Phase 1: matrix 290 rows 105 cols
[2023-03-10 20:08:12] [INFO ] Computed 5 place invariants in 5 ms
[2023-03-10 20:08:15] [INFO ] [Real]Absence check using 5 positive place invariants in 2 ms returned sat
[2023-03-10 20:08:15] [INFO ] After 264ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:4
[2023-03-10 20:08:16] [INFO ] [Nat]Absence check using 5 positive place invariants in 2 ms returned sat
[2023-03-10 20:08:41] [INFO ] After 24842ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :3
[2023-03-10 20:08:41] [INFO ] State equation strengthened by 102 read => feed constraints.
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:642)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:350)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:902)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-10 20:08:41] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-10 20:08:41] [INFO ] After 25259ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:4
Fused 4 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 103 out of 105 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 105/105 places, 2228/2228 transitions.
Applied a total of 0 rules in 398 ms. Remains 105 /105 variables (removed 0) and now considering 2228/2228 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 400 ms. Remains : 105/105 places, 2228/2228 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 105/105 places, 2228/2228 transitions.
Applied a total of 0 rules in 406 ms. Remains 105 /105 variables (removed 0) and now considering 2228/2228 (removed 0) transitions.
[2023-03-10 20:08:42] [INFO ] Flow matrix only has 290 transitions (discarded 1938 similar events)
[2023-03-10 20:08:42] [INFO ] Invariant cache hit.
[2023-03-10 20:08:42] [INFO ] Implicit Places using invariants in 96 ms returned []
[2023-03-10 20:08:42] [INFO ] Flow matrix only has 290 transitions (discarded 1938 similar events)
[2023-03-10 20:08:42] [INFO ] Invariant cache hit.
[2023-03-10 20:08:42] [INFO ] State equation strengthened by 102 read => feed constraints.
[2023-03-10 20:08:42] [INFO ] Implicit Places using invariants and state equation in 208 ms returned []
Implicit Place search using SMT with State Equation took 310 ms to find 0 implicit places.
[2023-03-10 20:08:42] [INFO ] Redundant transitions in 181 ms returned []
[2023-03-10 20:08:42] [INFO ] Flow matrix only has 290 transitions (discarded 1938 similar events)
[2023-03-10 20:08:42] [INFO ] Invariant cache hit.
[2023-03-10 20:08:43] [INFO ] Dead Transitions using invariants and state equation in 992 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1901 ms. Remains : 105/105 places, 2228/2228 transitions.
Ensure Unique test removed 1938 transitions
Reduce isomorphic transitions removed 1938 transitions.
Iterating post reduction 0 with 1938 rules applied. Total rules applied 1938 place count 105 transition count 290
Applied a total of 1938 rules in 20 ms. Remains 105 /105 variables (removed 0) and now considering 290/2228 (removed 1938) transitions.
Running SMT prover for 4 properties.
[2023-03-10 20:08:43] [INFO ] Invariant cache hit.
[2023-03-10 20:08:48] [INFO ] [Real]Absence check using 5 positive place invariants in 3 ms returned sat
[2023-03-10 20:08:48] [INFO ] After 608ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:4
[2023-03-10 20:08:49] [INFO ] [Nat]Absence check using 5 positive place invariants in 2 ms returned sat
[2023-03-10 20:09:06] [INFO ] After 17356ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :4
[2023-03-10 20:09:23] [INFO ] After 34148ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :4
Attempting to minimize the solution found.
Minimization took 17658 ms.
[2023-03-10 20:09:40] [INFO ] After 52057ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :4
[2023-03-10 20:09:41] [INFO ] Export to MCC of 4 properties in file /home/mcc/execution/ReachabilityFireability.sr.xml took 105 ms.
[2023-03-10 20:09:41] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 105 places, 2228 transitions and 17147 arcs took 25 ms.
[2023-03-10 20:09:41] [INFO ] Flatten gal took : 282 ms
Total runtime 210651 ms.
There are residual formulas that ITS could not solve within timeout
starting LoLA
BK_INPUT BridgeAndVehicles-COL-V20P10N50
BK_EXAMINATION: ReachabilityFireability
bin directory: /home/mcc/BenchKit/bin//../reducer/bin//../../lola/bin/
current directory: /home/mcc/execution/374
ReachabilityFireability

BK_STOP 1678479678845

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination ReachabilityFireability -timeout 360 -rebuildPNML
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/374/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/374/model.pnml
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/execution/374/ReachabilityFireability.xml
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Rule S: 0 transitions removed,0 places removed
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 20 (type EXCL) for 3 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05
lola: time limit : 1771 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 14 (type FNDP) for 3 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 15 (type EQUN) for 3 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 19 (type SRCH) for 3 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 4 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 EF FNDP 1/589 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 --
15 EF STEQ 1/707 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 sara not yet started (preprocessing).
19 EF SRCH 1/707 1/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 --
20 EF EXCL 1/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 --

Time elapsed: 58 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 4 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 EF FNDP 6/589 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 197 t fired, 1 attempts, .
15 EF STEQ 6/707 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 sara not yet started (preprocessing).
19 EF SRCH 6/707 1/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 31675 m, 6335 m/sec, 66658 t fired, .
20 EF EXCL 6/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 326 m, 65 m/sec, 426 t fired, .

Time elapsed: 63 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 4 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 EF FNDP 11/584 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 32969 t fired, 233 attempts, .
15 EF STEQ 11/702 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 sara not yet started (preprocessing).
19 EF SRCH 11/702 1/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 55375 m, 4740 m/sec, 118117 t fired, .
20 EF EXCL 11/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 1319 m, 198 m/sec, 1769 t fired, .

Time elapsed: 68 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 4 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 EF FNDP 16/579 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 68659 t fired, 504 attempts, .
15 EF STEQ 16/697 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 sara not yet started (preprocessing).
19 EF SRCH 16/697 1/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 64615 m, 1848 m/sec, 140774 t fired, .
20 EF EXCL 16/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 2618 m, 259 m/sec, 3558 t fired, .

Time elapsed: 73 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 4 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 EF FNDP 21/574 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 97088 t fired, 722 attempts, .
15 EF STEQ 21/692 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 sara not yet started (preprocessing).
19 EF SRCH 21/692 1/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 76977 m, 2472 m/sec, 167766 t fired, .
20 EF EXCL 21/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 3799 m, 236 m/sec, 5223 t fired, .

Time elapsed: 78 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 4 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 EF FNDP 26/569 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 131888 t fired, 990 attempts, .
15 EF STEQ 26/687 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 sara not yet started (preprocessing).
19 EF SRCH 26/687 1/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 98359 m, 4276 m/sec, 217438 t fired, .
20 EF EXCL 26/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 4983 m, 236 m/sec, 6905 t fired, .

Time elapsed: 83 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 4 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 EF FNDP 35/564 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 196889 t fired, 1495 attempts, .
15 EF STEQ 35/682 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 sara not yet started (preprocessing).
19 EF SRCH 35/682 1/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 121820 m, 4692 m/sec, 268261 t fired, .
20 EF EXCL 35/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 7252 m, 453 m/sec, 10137 t fired, .

Time elapsed: 92 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 4 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 EF FNDP 40/555 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 229288 t fired, 1747 attempts, .
15 EF STEQ 40/673 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 sara not yet started (preprocessing).
19 EF SRCH 40/673 1/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 148729 m, 5381 m/sec, 332684 t fired, .
20 EF EXCL 40/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 8429 m, 235 m/sec, 11859 t fired, .

Time elapsed: 97 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 4 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 EF FNDP 45/550 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 257510 t fired, 1967 attempts, .
15 EF STEQ 45/668 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 sara not yet started (preprocessing).
19 EF SRCH 45/668 1/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 180328 m, 6319 m/sec, 400726 t fired, .
20 EF EXCL 45/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 9851 m, 284 m/sec, 13934 t fired, .

Time elapsed: 102 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 4 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 EF FNDP 51/545 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 299823 t fired, 2297 attempts, .
15 EF STEQ 51/663 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 sara not yet started (preprocessing).
19 EF SRCH 51/663 1/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 196651 m, 3264 m/sec, 440229 t fired, .
20 EF EXCL 51/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 11351 m, 300 m/sec, 16136 t fired, .

Time elapsed: 108 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 4 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 EF FNDP 56/539 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 323298 t fired, 2480 attempts, .
15 EF STEQ 56/657 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 sara not yet started (preprocessing).
19 EF SRCH 56/657 1/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 226145 m, 5898 m/sec, 507938 t fired, .
20 EF EXCL 56/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 12598 m, 249 m/sec, 17982 t fired, .

Time elapsed: 113 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 4 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 EF FNDP 61/534 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 356331 t fired, 2737 attempts, .
15 EF STEQ 61/652 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 sara not yet started (preprocessing).
19 EF SRCH 61/652 2/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 245264 m, 3823 m/sec, 551246 t fired, .
20 EF EXCL 61/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 14001 m, 280 m/sec, 19993 t fired, .

Time elapsed: 118 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 4 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 EF FNDP 66/529 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 394409 t fired, 3035 attempts, .
15 EF STEQ 66/647 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 sara not yet started (preprocessing).
19 EF SRCH 66/647 2/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 277938 m, 6534 m/sec, 628870 t fired, .
20 EF EXCL 66/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 15428 m, 285 m/sec, 22103 t fired, .

Time elapsed: 123 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 4 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 EF FNDP 71/524 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 421153 t fired, 3244 attempts, .
15 EF STEQ 71/642 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 sara not yet started (preprocessing).
19 EF SRCH 71/642 2/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 303463 m, 5105 m/sec, 687406 t fired, .
20 EF EXCL 71/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 16756 m, 265 m/sec, 24068 t fired, .

Time elapsed: 128 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 4
lola: FINISHED task # 15 (type EQUN) for BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05
lola: result : unknown
lola: LAUNCH task # 13 (type FNDP) for 0 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 5/694 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 --
14 EF FNDP 76/637 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 454127 t fired, 3502 attempts, .
19 EF SRCH 76/637 2/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 320029 m, 3313 m/sec, 725031 t fired, .
20 EF EXCL 76/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 18136 m, 276 m/sec, 26141 t fired, .

Time elapsed: 133 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 10/689 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 --
14 EF FNDP 81/632 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 505331 t fired, 3901 attempts, .
19 EF SRCH 81/632 2/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 333168 m, 2627 m/sec, 754958 t fired, .
20 EF EXCL 81/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 19892 m, 351 m/sec, 28755 t fired, .

Time elapsed: 138 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 15/684 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 4417 t fired, 26 attempts, .
14 EF FNDP 86/627 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 552629 t fired, 4271 attempts, .
19 EF SRCH 86/627 2/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 352472 m, 3860 m/sec, 795807 t fired, .
20 EF EXCL 86/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 21385 m, 298 m/sec, 30970 t fired, .

Time elapsed: 143 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 20/679 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 18148 t fired, 106 attempts, .
14 EF FNDP 91/622 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 582968 t fired, 4507 attempts, .
19 EF SRCH 91/622 2/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 392082 m, 7922 m/sec, 898032 t fired, .
20 EF EXCL 91/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 22490 m, 221 m/sec, 32625 t fired, .

Time elapsed: 148 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 25/674 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 34243 t fired, 200 attempts, .
14 EF FNDP 96/617 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 612736 t fired, 4739 attempts, .
19 EF SRCH 96/617 2/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 414504 m, 4484 m/sec, 945035 t fired, .
20 EF EXCL 96/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 23695 m, 241 m/sec, 34442 t fired, .

Time elapsed: 153 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 30/669 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 45830 t fired, 268 attempts, .
14 EF FNDP 101/612 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 639760 t fired, 4951 attempts, .
19 EF SRCH 101/612 2/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 446945 m, 6488 m/sec, 1019573 t fired, .
20 EF EXCL 101/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 25065 m, 274 m/sec, 36483 t fired, .

Time elapsed: 158 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 35/664 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 60265 t fired, 352 attempts, .
14 EF FNDP 106/607 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 668252 t fired, 5174 attempts, .
19 EF SRCH 106/607 3/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 481547 m, 6920 m/sec, 1095619 t fired, .
20 EF EXCL 106/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 26220 m, 231 m/sec, 38128 t fired, .

Time elapsed: 163 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 40/659 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 73791 t fired, 432 attempts, .
14 EF FNDP 111/602 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 704436 t fired, 5457 attempts, .
19 EF SRCH 111/602 3/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 512689 m, 6228 m/sec, 1176326 t fired, .
20 EF EXCL 111/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 27057 m, 167 m/sec, 39378 t fired, .

Time elapsed: 168 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 45/654 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 86630 t fired, 508 attempts, .
14 EF FNDP 116/597 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 736240 t fired, 5706 attempts, .
19 EF SRCH 116/597 3/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 545508 m, 6563 m/sec, 1254826 t fired, .
20 EF EXCL 116/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 28465 m, 281 m/sec, 41488 t fired, .

Time elapsed: 173 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 50/649 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 98515 t fired, 577 attempts, .
14 EF FNDP 121/592 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 767342 t fired, 5949 attempts, .
19 EF SRCH 121/592 3/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 581484 m, 7195 m/sec, 1335165 t fired, .
20 EF EXCL 121/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 29477 m, 202 m/sec, 42999 t fired, .

Time elapsed: 178 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 55/644 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 111051 t fired, 651 attempts, .
14 EF FNDP 126/587 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 797783 t fired, 6187 attempts, .
19 EF SRCH 126/587 3/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 613041 m, 6311 m/sec, 1406188 t fired, .
20 EF EXCL 126/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 30556 m, 215 m/sec, 44623 t fired, .

Time elapsed: 183 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 60/639 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 124186 t fired, 729 attempts, .
14 EF FNDP 131/582 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 826543 t fired, 6411 attempts, .
19 EF SRCH 131/582 3/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 641191 m, 5630 m/sec, 1468474 t fired, .
20 EF EXCL 131/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 31520 m, 192 m/sec, 46071 t fired, .

Time elapsed: 188 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 65/634 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 136262 t fired, 800 attempts, .
14 EF FNDP 136/577 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 860477 t fired, 6676 attempts, .
19 EF SRCH 136/577 3/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 668988 m, 5559 m/sec, 1539680 t fired, .
20 EF EXCL 136/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 32739 m, 243 m/sec, 47906 t fired, .

Time elapsed: 193 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 70/629 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 151324 t fired, 889 attempts, .
14 EF FNDP 141/572 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 887988 t fired, 6892 attempts, .
19 EF SRCH 141/572 3/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 698052 m, 5812 m/sec, 1617892 t fired, .
20 EF EXCL 141/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 33688 m, 189 m/sec, 49325 t fired, .

Time elapsed: 198 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 75/624 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 163432 t fired, 960 attempts, .
14 EF FNDP 146/567 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 919818 t fired, 7141 attempts, .
19 EF SRCH 146/567 4/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 728264 m, 6042 m/sec, 1680423 t fired, .
20 EF EXCL 146/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 34661 m, 194 m/sec, 50798 t fired, .

Time elapsed: 203 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 80/619 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 177912 t fired, 1046 attempts, .
14 EF FNDP 151/562 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 955764 t fired, 7423 attempts, .
19 EF SRCH 151/562 4/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 764976 m, 7342 m/sec, 1764736 t fired, .
20 EF EXCL 151/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 35639 m, 195 m/sec, 52266 t fired, .

Time elapsed: 208 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 85/614 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 191854 t fired, 1128 attempts, .
14 EF FNDP 156/557 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 988222 t fired, 7676 attempts, .
19 EF SRCH 156/557 4/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 796013 m, 6207 m/sec, 1835792 t fired, .
20 EF EXCL 156/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 36847 m, 241 m/sec, 54081 t fired, .

Time elapsed: 213 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 90/609 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 203455 t fired, 1196 attempts, .
14 EF FNDP 161/552 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 1024008 t fired, 7956 attempts, .
19 EF SRCH 161/552 4/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 824642 m, 5725 m/sec, 1897181 t fired, .
20 EF EXCL 161/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 38094 m, 249 m/sec, 55974 t fired, .

Time elapsed: 218 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 95/604 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 218802 t fired, 1287 attempts, .
14 EF FNDP 166/547 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 1061591 t fired, 8250 attempts, .
19 EF SRCH 166/547 4/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 855715 m, 6214 m/sec, 1971827 t fired, .
20 EF EXCL 166/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 38894 m, 160 m/sec, 57159 t fired, .

Time elapsed: 223 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 100/599 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 242487 t fired, 1427 attempts, .
14 EF FNDP 171/542 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 1112555 t fired, 8648 attempts, .
19 EF SRCH 171/542 4/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 906059 m, 10068 m/sec, 2109085 t fired, .
20 EF EXCL 171/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 40871 m, 395 m/sec, 60136 t fired, .

Time elapsed: 228 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 105/594 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 267566 t fired, 1575 attempts, .
14 EF FNDP 176/537 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 1167898 t fired, 9081 attempts, .
19 EF SRCH 176/537 5/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 962424 m, 11273 m/sec, 2230606 t fired, .
20 EF EXCL 176/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 42829 m, 391 m/sec, 62999 t fired, .

Time elapsed: 233 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 110/589 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 292034 t fired, 1720 attempts, .
14 EF FNDP 181/532 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 1219661 t fired, 9486 attempts, .
19 EF SRCH 181/532 5/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 1017304 m, 10976 m/sec, 2358053 t fired, .
20 EF EXCL 181/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 44807 m, 395 m/sec, 65965 t fired, .

Time elapsed: 238 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 115/584 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 317779 t fired, 1873 attempts, .
14 EF FNDP 186/527 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 1275302 t fired, 9922 attempts, .
19 EF SRCH 186/527 5/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 1076270 m, 11793 m/sec, 2486537 t fired, .
20 EF EXCL 186/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 46802 m, 399 m/sec, 68977 t fired, .

Time elapsed: 243 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 120/579 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 341753 t fired, 2015 attempts, .
14 EF FNDP 191/522 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 1329473 t fired, 10346 attempts, .
19 EF SRCH 191/522 5/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 1130318 m, 10809 m/sec, 2629296 t fired, .
20 EF EXCL 191/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 48664 m, 372 m/sec, 71783 t fired, .

Time elapsed: 248 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 125/574 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 366717 t fired, 2163 attempts, .
14 EF FNDP 196/517 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 1382834 t fired, 10763 attempts, .
19 EF SRCH 196/517 5/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 1184557 m, 10847 m/sec, 2768902 t fired, .
20 EF EXCL 196/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 50573 m, 381 m/sec, 74669 t fired, .

Time elapsed: 253 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
lola: CANCELED task # 19 (type SRCH) for BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 130/569 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 392411 t fired, 2316 attempts, .
14 EF FNDP 201/512 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 1438978 t fired, 11203 attempts, .
20 EF EXCL 201/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 52441 m, 373 m/sec, 77497 t fired, .

Time elapsed: 258 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
lola: LAUNCH task # 22 (type FNDP) for 6 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 135/564 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 418434 t fired, 2470 attempts, .
14 EF FNDP 206/684 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 1495635 t fired, 11647 attempts, .
20 EF EXCL 206/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 54325 m, 376 m/sec, 80347 t fired, .
22 EF FNDP 5/668 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 55843 t fired, 429 attempts, .

Time elapsed: 263 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 140/559 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 443164 t fired, 2617 attempts, .
14 EF FNDP 211/679 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 1549261 t fired, 12068 attempts, .
20 EF EXCL 211/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 56127 m, 360 m/sec, 83063 t fired, .
22 EF FNDP 10/663 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 113420 t fired, 874 attempts, .

Time elapsed: 268 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 145/554 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 468777 t fired, 2770 attempts, .
14 EF FNDP 216/674 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 1603136 t fired, 12490 attempts, .
20 EF EXCL 216/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 57927 m, 360 m/sec, 85780 t fired, .
22 EF FNDP 15/658 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 171979 t fired, 1329 attempts, .

Time elapsed: 273 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 150/549 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 493134 t fired, 2914 attempts, .
14 EF FNDP 221/669 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 1654290 t fired, 12891 attempts, .
20 EF EXCL 221/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 59818 m, 378 m/sec, 88632 t fired, .
22 EF FNDP 20/653 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 227298 t fired, 1761 attempts, .

Time elapsed: 278 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 155/544 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 518026 t fired, 3062 attempts, .
14 EF FNDP 226/664 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 1709498 t fired, 13323 attempts, .
20 EF EXCL 226/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 61650 m, 366 m/sec, 91398 t fired, .
22 EF FNDP 25/648 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 287525 t fired, 2232 attempts, .

Time elapsed: 283 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 160/539 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 544031 t fired, 3217 attempts, .
14 EF FNDP 231/659 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 1765019 t fired, 13759 attempts, .
20 EF EXCL 231/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 63535 m, 377 m/sec, 94173 t fired, .
22 EF FNDP 30/643 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 348335 t fired, 2707 attempts, .

Time elapsed: 288 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 165/534 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 569494 t fired, 3368 attempts, .
14 EF FNDP 236/654 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 1818599 t fired, 14180 attempts, .
20 EF EXCL 236/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 65508 m, 394 m/sec, 97118 t fired, .
22 EF FNDP 35/638 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 407715 t fired, 3172 attempts, .

Time elapsed: 293 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 170/529 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 594136 t fired, 3514 attempts, .
14 EF FNDP 241/649 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 1873391 t fired, 14609 attempts, .
20 EF EXCL 241/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 67558 m, 410 m/sec, 100216 t fired, .
22 EF FNDP 40/633 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 468423 t fired, 3648 attempts, .

Time elapsed: 298 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 175/524 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 619841 t fired, 3667 attempts, .
14 EF FNDP 246/644 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 1925995 t fired, 15022 attempts, .
20 EF EXCL 246/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 69496 m, 387 m/sec, 103150 t fired, .
22 EF FNDP 45/628 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 527257 t fired, 4109 attempts, .

Time elapsed: 303 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 180/519 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 646306 t fired, 3825 attempts, .
14 EF FNDP 251/639 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 1982382 t fired, 15463 attempts, .
20 EF EXCL 251/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 71409 m, 382 m/sec, 106050 t fired, .
22 EF FNDP 50/623 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 589401 t fired, 4595 attempts, .

Time elapsed: 308 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 185/514 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 672239 t fired, 3979 attempts, .
14 EF FNDP 256/634 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 2038392 t fired, 15902 attempts, .
20 EF EXCL 256/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 73560 m, 430 m/sec, 109302 t fired, .
22 EF FNDP 55/618 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 651877 t fired, 5085 attempts, .

Time elapsed: 313 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 190/509 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 698528 t fired, 4136 attempts, .
14 EF FNDP 261/629 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 2094151 t fired, 16339 attempts, .
20 EF EXCL 261/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 75629 m, 413 m/sec, 112434 t fired, .
22 EF FNDP 60/613 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 714181 t fired, 5573 attempts, .

Time elapsed: 318 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 195/504 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 723402 t fired, 4284 attempts, .
14 EF FNDP 266/624 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 2149042 t fired, 16769 attempts, .
20 EF EXCL 266/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 77581 m, 390 m/sec, 115391 t fired, .
22 EF FNDP 65/608 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 774991 t fired, 6049 attempts, .

Time elapsed: 323 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 200/499 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 748631 t fired, 4434 attempts, .
14 EF FNDP 271/619 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 2204150 t fired, 17201 attempts, .
20 EF EXCL 271/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 79415 m, 366 m/sec, 118166 t fired, .
22 EF FNDP 70/603 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 835493 t fired, 6524 attempts, .

Time elapsed: 328 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 205/494 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 773902 t fired, 4584 attempts, .
14 EF FNDP 276/614 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 2258228 t fired, 17625 attempts, .
20 EF EXCL 276/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 81270 m, 371 m/sec, 120985 t fired, .
22 EF FNDP 75/598 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 895593 t fired, 6996 attempts, .

Time elapsed: 333 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 210/489 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 799853 t fired, 4738 attempts, .
14 EF FNDP 281/609 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 2314746 t fired, 18068 attempts, .
20 EF EXCL 281/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 83208 m, 387 m/sec, 123916 t fired, .
22 EF FNDP 80/593 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 958024 t fired, 7485 attempts, .

Time elapsed: 338 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 215/484 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 825931 t fired, 4893 attempts, .
14 EF FNDP 286/604 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 2371442 t fired, 18513 attempts, .
20 EF EXCL 286/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 85277 m, 413 m/sec, 127044 t fired, .
22 EF FNDP 85/588 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 1020348 t fired, 7973 attempts, .

Time elapsed: 343 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 220/479 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 851111 t fired, 5043 attempts, .
14 EF FNDP 291/599 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 2425886 t fired, 18941 attempts, .
20 EF EXCL 291/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 87284 m, 401 m/sec, 130095 t fired, .
22 EF FNDP 90/583 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 1080566 t fired, 8445 attempts, .

Time elapsed: 348 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 225/474 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 876262 t fired, 5193 attempts, .
14 EF FNDP 296/594 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 2481988 t fired, 19381 attempts, .
20 EF EXCL 296/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 89067 m, 356 m/sec, 132778 t fired, .
22 EF FNDP 95/578 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 1142600 t fired, 8931 attempts, .

Time elapsed: 353 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 230/469 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 900814 t fired, 5339 attempts, .
14 EF FNDP 301/589 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 2533663 t fired, 19786 attempts, .
20 EF EXCL 301/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 91073 m, 401 m/sec, 135715 t fired, .
22 EF FNDP 100/573 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 1199846 t fired, 9380 attempts, .

Time elapsed: 358 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 235/464 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 925030 t fired, 5483 attempts, .
14 EF FNDP 306/584 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 2586551 t fired, 20201 attempts, .
20 EF EXCL 306/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 93105 m, 406 m/sec, 138775 t fired, .
22 EF FNDP 105/568 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 1258007 t fired, 9834 attempts, .

Time elapsed: 363 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 240/459 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 949377 t fired, 5628 attempts, .
14 EF FNDP 311/579 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 2638192 t fired, 20606 attempts, .
20 EF EXCL 311/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 94955 m, 370 m/sec, 141577 t fired, .
22 EF FNDP 110/563 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 1315061 t fired, 10281 attempts, .

Time elapsed: 368 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 245/454 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 973773 t fired, 5773 attempts, .
14 EF FNDP 316/574 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 2693078 t fired, 21037 attempts, .
20 EF EXCL 316/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 96830 m, 375 m/sec, 144424 t fired, .
22 EF FNDP 115/558 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 1376505 t fired, 10763 attempts, .

Time elapsed: 373 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 250/449 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 998979 t fired, 5923 attempts, .
14 EF FNDP 321/569 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 2748931 t fired, 21475 attempts, .
20 EF EXCL 321/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 98676 m, 369 m/sec, 147217 t fired, .
22 EF FNDP 120/553 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 1438836 t fired, 11252 attempts, .

Time elapsed: 378 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 255/444 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 1024403 t fired, 6075 attempts, .
14 EF FNDP 326/564 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 2803732 t fired, 21906 attempts, .
20 EF EXCL 326/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 100497 m, 364 m/sec, 149979 t fired, .
22 EF FNDP 125/548 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 1499554 t fired, 11728 attempts, .

Time elapsed: 383 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 260/439 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 1048478 t fired, 6219 attempts, .
14 EF FNDP 331/559 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 2853057 t fired, 22292 attempts, .
20 EF EXCL 331/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 102381 m, 376 m/sec, 152834 t fired, .
22 EF FNDP 130/543 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 1554315 t fired, 12158 attempts, .

Time elapsed: 388 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 265/434 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 1073841 t fired, 6370 attempts, .
14 EF FNDP 336/554 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 2906399 t fired, 22711 attempts, .
20 EF EXCL 336/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 104198 m, 363 m/sec, 155606 t fired, .
22 EF FNDP 135/538 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 1614170 t fired, 12627 attempts, .

Time elapsed: 393 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 270/429 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 1098832 t fired, 6519 attempts, .
14 EF FNDP 341/549 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 2957597 t fired, 23113 attempts, .
20 EF EXCL 341/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 106033 m, 367 m/sec, 158383 t fired, .
22 EF FNDP 140/533 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 1671469 t fired, 13076 attempts, .

Time elapsed: 398 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 275/424 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 1124028 t fired, 6669 attempts, .
14 EF FNDP 346/544 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 3011067 t fired, 23532 attempts, .
20 EF EXCL 346/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 107713 m, 336 m/sec, 160927 t fired, .
22 EF FNDP 145/528 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 1731468 t fired, 13546 attempts, .

Time elapsed: 403 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 280/419 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 1149376 t fired, 6820 attempts, .
14 EF FNDP 351/539 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 3066955 t fired, 23970 attempts, .
20 EF EXCL 351/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 109565 m, 370 m/sec, 163729 t fired, .
22 EF FNDP 150/523 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 1793969 t fired, 14036 attempts, .

Time elapsed: 408 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 285/414 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 1174523 t fired, 6970 attempts, .
14 EF FNDP 356/534 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 3123329 t fired, 24413 attempts, .
20 EF EXCL 356/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 111397 m, 366 m/sec, 166515 t fired, .
22 EF FNDP 155/518 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 1856525 t fired, 14528 attempts, .

Time elapsed: 413 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 290/409 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 1200109 t fired, 7122 attempts, .
14 EF FNDP 361/529 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 3179514 t fired, 24854 attempts, .
20 EF EXCL 361/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 113393 m, 399 m/sec, 169541 t fired, .
22 EF FNDP 160/513 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 1918869 t fired, 15016 attempts, .

Time elapsed: 418 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 295/404 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 1225778 t fired, 7275 attempts, .
14 EF FNDP 366/524 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 3234558 t fired, 25286 attempts, .
20 EF EXCL 366/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 115300 m, 381 m/sec, 172440 t fired, .
22 EF FNDP 165/508 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 1981332 t fired, 15506 attempts, .

Time elapsed: 423 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 300/399 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 1251515 t fired, 7429 attempts, .
14 EF FNDP 371/519 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 3290497 t fired, 25724 attempts, .
20 EF EXCL 371/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 117231 m, 386 m/sec, 175360 t fired, .
22 EF FNDP 170/503 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 2043603 t fired, 15995 attempts, .

Time elapsed: 428 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 305/394 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 1277538 t fired, 7583 attempts, .
14 EF FNDP 376/514 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 3346631 t fired, 26164 attempts, .
20 EF EXCL 376/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 119244 m, 402 m/sec, 178428 t fired, .
22 EF FNDP 175/498 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 2106035 t fired, 16485 attempts, .

Time elapsed: 433 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 310/389 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 1303292 t fired, 7737 attempts, .
14 EF FNDP 381/509 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 3402956 t fired, 26606 attempts, .
20 EF EXCL 381/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 121121 m, 375 m/sec, 181255 t fired, .
22 EF FNDP 180/493 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 2168550 t fired, 16974 attempts, .

Time elapsed: 438 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 315/384 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 1329371 t fired, 7892 attempts, .
14 EF FNDP 386/504 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 3459210 t fired, 27048 attempts, .
20 EF EXCL 386/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 123116 m, 399 m/sec, 184180 t fired, .
22 EF FNDP 185/488 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 2230850 t fired, 17464 attempts, .

Time elapsed: 443 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 320/379 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 1355976 t fired, 8051 attempts, .
14 EF FNDP 391/499 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 3515571 t fired, 27490 attempts, .
20 EF EXCL 391/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 125059 m, 388 m/sec, 187100 t fired, .
22 EF FNDP 190/483 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 2293468 t fired, 17955 attempts, .

Time elapsed: 448 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 325/374 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 1382520 t fired, 8209 attempts, .
14 EF FNDP 396/494 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 3572221 t fired, 27934 attempts, .
20 EF EXCL 396/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 126977 m, 383 m/sec, 190002 t fired, .
22 EF FNDP 195/478 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 2355993 t fired, 18446 attempts, .

Time elapsed: 453 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 330/369 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 1408692 t fired, 8365 attempts, .
14 EF FNDP 401/489 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 3628750 t fired, 28378 attempts, .
20 EF EXCL 401/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 128957 m, 396 m/sec, 193008 t fired, .
22 EF FNDP 200/473 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 2418826 t fired, 18939 attempts, .

Time elapsed: 458 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 335/364 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 1434755 t fired, 8521 attempts, .
14 EF FNDP 406/484 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 3684947 t fired, 28818 attempts, .
20 EF EXCL 406/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 131015 m, 411 m/sec, 196126 t fired, .
22 EF FNDP 205/468 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 2481467 t fired, 19431 attempts, .

Time elapsed: 463 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 340/359 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 1461285 t fired, 8679 attempts, .
14 EF FNDP 411/479 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 3740779 t fired, 29256 attempts, .
20 EF EXCL 411/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 133091 m, 415 m/sec, 199285 t fired, .
22 EF FNDP 210/463 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 2543939 t fired, 19921 attempts, .

Time elapsed: 468 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 EF FNDP 345/354 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 1487579 t fired, 8836 attempts, .
14 EF FNDP 416/474 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 3796710 t fired, 29696 attempts, .
20 EF EXCL 416/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 135163 m, 414 m/sec, 202432 t fired, .
22 EF FNDP 215/458 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 2606264 t fired, 20409 attempts, .

Time elapsed: 473 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
lola: CANCELED task # 13 (type FNDP) for BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 0 0 1 1 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 EF FNDP 421/469 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 3852838 t fired, 30136 attempts, .
20 EF EXCL 421/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 137081 m, 383 m/sec, 205332 t fired, .
22 EF FNDP 220/453 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 2668809 t fired, 20901 attempts, .

Time elapsed: 478 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
lola: LAUNCH task # 27 (type FNDP) for 9 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 13 (type FNDP) for BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00
lola: result : unknown
lola: fired transitions : 1513998
lola: tried executions : 8994
lola: time used : 350.000000
lola: memory pages used : 0
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 0 0 2 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 EF FNDP 426/464 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 3908980 t fired, 30577 attempts, .
20 EF EXCL 426/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 138862 m, 356 m/sec, 208054 t fired, .
22 EF FNDP 225/615 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 2731297 t fired, 21392 attempts, .
27 EF FNDP 5/624 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14 59345 t fired, 456 attempts, .

Time elapsed: 483 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 0 0 2 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 EF FNDP 431/459 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 3965168 t fired, 31018 attempts, .
20 EF EXCL 431/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 140632 m, 354 m/sec, 210735 t fired, .
22 EF FNDP 230/610 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 2793657 t fired, 21881 attempts, .
27 EF FNDP 10/619 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14 120722 t fired, 931 attempts, .

Time elapsed: 488 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 0 0 2 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 EF FNDP 436/454 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 4020634 t fired, 31454 attempts, .
20 EF EXCL 436/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 142342 m, 342 m/sec, 213341 t fired, .
22 EF FNDP 235/605 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 2855975 t fired, 22369 attempts, .
27 EF FNDP 15/614 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14 182595 t fired, 1413 attempts, .

Time elapsed: 493 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 0 0 2 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 EF FNDP 441/449 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 4075211 t fired, 31882 attempts, .
20 EF EXCL 441/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 144423 m, 416 m/sec, 216497 t fired, .
22 EF FNDP 240/600 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 2918260 t fired, 22858 attempts, .
27 EF FNDP 20/609 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14 244434 t fired, 1897 attempts, .

Time elapsed: 498 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
lola: CANCELED task # 14 (type FNDP) for BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 4 0 0 2 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 2 1 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF EXCL 446/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 146578 m, 431 m/sec, 219763 t fired, .
22 EF FNDP 245/595 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 2979235 t fired, 23337 attempts, .
27 EF FNDP 25/604 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14 304929 t fired, 2370 attempts, .

Time elapsed: 503 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
lola: LAUNCH task # 17 (type EQUN) for 0 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 14 (type FNDP) for BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05
lola: result : unknown
lola: fired transitions : 4128977
lola: tried executions : 32305
lola: time used : 446.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 3 1 0 2 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
17 EF STEQ 5/774 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 sara not yet started (preprocessing).
20 EF EXCL 451/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 148471 m, 378 m/sec, 222646 t fired, .
22 EF FNDP 250/590 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 3034416 t fired, 23770 attempts, .
27 EF FNDP 30/755 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14 359680 t fired, 2798 attempts, .

Time elapsed: 508 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 3 1 0 2 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
17 EF STEQ 10/769 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 sara not yet started (preprocessing).
20 EF EXCL 456/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 150305 m, 366 m/sec, 225421 t fired, .
22 EF FNDP 255/585 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 3092036 t fired, 24222 attempts, .
27 EF FNDP 35/750 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14 416492 t fired, 3242 attempts, .

Time elapsed: 513 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 3 1 0 2 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
17 EF STEQ 15/764 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 sara not yet started (preprocessing).
20 EF EXCL 461/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 152189 m, 376 m/sec, 228279 t fired, .
22 EF FNDP 260/580 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 3150350 t fired, 24680 attempts, .
27 EF FNDP 40/745 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14 475854 t fired, 3707 attempts, .

Time elapsed: 518 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
lola: FINISHED task # 17 (type EQUN) for BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00
lola: result : unknown
lola: LAUNCH task # 25 (type SRCH) for 0 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 2 1 0 3 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF EXCL 466/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 154079 m, 378 m/sec, 231146 t fired, .
22 EF FNDP 265/850 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 3207639 t fired, 25128 attempts, .
25 EF SRCH 1/769 1/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 --
27 EF FNDP 45/736 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14 531518 t fired, 4142 attempts, .

Time elapsed: 523 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 2 1 0 3 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF EXCL 471/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 155851 m, 354 m/sec, 233835 t fired, .
22 EF FNDP 270/849 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 3260970 t fired, 25547 attempts, .
25 EF SRCH 6/768 1/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 16765 m, 3353 m/sec, 36119 t fired, .
27 EF FNDP 50/735 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14 585624 t fired, 4566 attempts, .

Time elapsed: 528 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 2 1 0 3 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF EXCL 476/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 157732 m, 376 m/sec, 236681 t fired, .
22 EF FNDP 275/844 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 3322295 t fired, 26028 attempts, .
25 EF SRCH 11/763 1/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 43015 m, 5250 m/sec, 104819 t fired, .
27 EF FNDP 55/730 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14 647836 t fired, 5053 attempts, .

Time elapsed: 533 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 2 1 0 3 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF EXCL 481/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 159604 m, 374 m/sec, 239529 t fired, .
22 EF FNDP 280/839 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 3384360 t fired, 26515 attempts, .
25 EF SRCH 16/758 1/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 70896 m, 5576 m/sec, 180674 t fired, .
27 EF FNDP 60/725 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14 710020 t fired, 5540 attempts, .

Time elapsed: 538 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 2 1 0 3 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF EXCL 486/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 161838 m, 446 m/sec, 242809 t fired, .
22 EF FNDP 285/834 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 3446356 t fired, 27001 attempts, .
25 EF SRCH 21/753 1/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 102504 m, 6321 m/sec, 273151 t fired, .
27 EF FNDP 65/720 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14 772301 t fired, 6028 attempts, .

Time elapsed: 543 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 2 1 0 3 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF EXCL 491/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 164019 m, 436 m/sec, 246086 t fired, .
22 EF FNDP 290/829 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 3508181 t fired, 27486 attempts, .
25 EF SRCH 26/748 1/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 132667 m, 6032 m/sec, 357351 t fired, .
27 EF FNDP 70/715 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14 834592 t fired, 6516 attempts, .

Time elapsed: 548 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 2 1 0 3 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF EXCL 496/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 166220 m, 440 m/sec, 249422 t fired, .
22 EF FNDP 295/824 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 3570206 t fired, 27973 attempts, .
25 EF SRCH 31/743 1/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 168041 m, 7074 m/sec, 463538 t fired, .
27 EF FNDP 75/710 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14 896734 t fired, 7001 attempts, .

Time elapsed: 553 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 2 1 0 3 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF EXCL 501/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 168412 m, 438 m/sec, 252753 t fired, .
22 EF FNDP 300/819 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 3632466 t fired, 28462 attempts, .
25 EF SRCH 36/738 1/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 202721 m, 6936 m/sec, 567099 t fired, .
27 EF FNDP 80/705 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14 959164 t fired, 7491 attempts, .

Time elapsed: 558 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 2 1 0 3 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF EXCL 506/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 170582 m, 434 m/sec, 256058 t fired, .
22 EF FNDP 305/814 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 3694988 t fired, 28952 attempts, .
25 EF SRCH 41/733 1/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 237169 m, 6889 m/sec, 666953 t fired, .
27 EF FNDP 85/700 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14 1021340 t fired, 7977 attempts, .

Time elapsed: 563 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 2 1 0 3 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF EXCL 511/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 172717 m, 427 m/sec, 259304 t fired, .
22 EF FNDP 310/809 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 3757401 t fired, 29443 attempts, .
25 EF SRCH 46/728 2/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 273501 m, 7266 m/sec, 776827 t fired, .
27 EF FNDP 90/695 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14 1083632 t fired, 8466 attempts, .

Time elapsed: 568 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 2 1 0 3 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF EXCL 516/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 174912 m, 439 m/sec, 262639 t fired, .
22 EF FNDP 315/804 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 3819778 t fired, 29933 attempts, .
25 EF SRCH 51/723 2/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 309720 m, 7243 m/sec, 886372 t fired, .
27 EF FNDP 95/690 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14 1145976 t fired, 8954 attempts, .

Time elapsed: 573 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 2 1 0 3 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF EXCL 521/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 177084 m, 434 m/sec, 265928 t fired, .
22 EF FNDP 320/799 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 3882073 t fired, 30423 attempts, .
25 EF SRCH 56/718 2/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 343079 m, 6671 m/sec, 981363 t fired, .
27 EF FNDP 100/685 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14 1208364 t fired, 9443 attempts, .

Time elapsed: 578 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 2 1 0 3 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF EXCL 526/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 179270 m, 437 m/sec, 269253 t fired, .
22 EF FNDP 325/794 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 3944129 t fired, 30909 attempts, .
25 EF SRCH 61/713 2/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 381950 m, 7774 m/sec, 1101079 t fired, .
27 EF FNDP 105/680 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14 1270455 t fired, 9930 attempts, .

Time elapsed: 583 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 2 1 0 3 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF EXCL 531/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 181484 m, 442 m/sec, 272605 t fired, .
22 EF FNDP 330/789 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 4006522 t fired, 31399 attempts, .
25 EF SRCH 66/708 2/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 419001 m, 7410 m/sec, 1212843 t fired, .
27 EF FNDP 110/675 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14 1332677 t fired, 10417 attempts, .

Time elapsed: 588 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 2 1 0 3 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF EXCL 536/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 183650 m, 433 m/sec, 275909 t fired, .
22 EF FNDP 335/784 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 4068804 t fired, 31888 attempts, .
25 EF SRCH 71/703 2/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 456872 m, 7574 m/sec, 1328064 t fired, .
27 EF FNDP 115/670 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14 1395031 t fired, 10906 attempts, .

Time elapsed: 593 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 2 1 0 3 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF EXCL 541/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 185865 m, 443 m/sec, 279276 t fired, .
22 EF FNDP 340/779 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 4131269 t fired, 32379 attempts, .
25 EF SRCH 76/698 3/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 491256 m, 6876 m/sec, 1427205 t fired, .
27 EF FNDP 120/665 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14 1457414 t fired, 11395 attempts, .

Time elapsed: 598 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 2 1 0 3 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF EXCL 546/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 188071 m, 441 m/sec, 282630 t fired, .
22 EF FNDP 345/774 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 4193614 t fired, 32868 attempts, .
25 EF SRCH 81/693 3/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 529281 m, 7605 m/sec, 1540979 t fired, .
27 EF FNDP 125/660 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14 1519732 t fired, 11884 attempts, .

Time elapsed: 603 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 2 1 0 3 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF EXCL 551/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 190145 m, 414 m/sec, 285774 t fired, .
22 EF FNDP 350/769 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 4253536 t fired, 33339 attempts, .
25 EF SRCH 86/688 3/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 566561 m, 7456 m/sec, 1655875 t fired, .
27 EF FNDP 130/655 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14 1579574 t fired, 12352 attempts, .

Time elapsed: 608 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 2 1 0 3 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF EXCL 556/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 192050 m, 381 m/sec, 288672 t fired, .
22 EF FNDP 355/764 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 4308813 t fired, 33773 attempts, .
25 EF SRCH 91/683 3/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 601887 m, 7065 m/sec, 1763850 t fired, .
27 EF FNDP 135/650 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14 1635723 t fired, 12793 attempts, .

Time elapsed: 613 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 2 1 0 3 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF EXCL 561/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 193964 m, 382 m/sec, 291576 t fired, .
22 EF FNDP 360/759 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 4363564 t fired, 34203 attempts, .
25 EF SRCH 96/678 3/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 637233 m, 7069 m/sec, 1871486 t fired, .
27 EF FNDP 140/645 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14 1692546 t fired, 13238 attempts, .

Time elapsed: 618 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 2 1 0 3 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF EXCL 566/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 195906 m, 388 m/sec, 294520 t fired, .
22 EF FNDP 365/754 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 4420630 t fired, 34652 attempts, .
25 EF SRCH 101/673 3/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 671723 m, 6898 m/sec, 1971031 t fired, .
27 EF FNDP 145/640 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14 1753433 t fired, 13715 attempts, .

Time elapsed: 623 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 2 1 0 3 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF EXCL 571/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 197786 m, 376 m/sec, 297376 t fired, .
22 EF FNDP 370/749 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 4478095 t fired, 35103 attempts, .
25 EF SRCH 106/668 3/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 708751 m, 7405 m/sec, 2081551 t fired, .
27 EF FNDP 150/635 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14 1814916 t fired, 14198 attempts, .

Time elapsed: 628 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 2 1 0 3 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF EXCL 576/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 199554 m, 353 m/sec, 300067 t fired, .
22 EF FNDP 375/744 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 4534960 t fired, 35550 attempts, .
25 EF SRCH 111/663 4/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 744457 m, 7141 m/sec, 2188979 t fired, .
27 EF FNDP 155/630 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14 1872625 t fired, 14650 attempts, .

Time elapsed: 633 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 2 1 0 3 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF EXCL 581/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 201435 m, 376 m/sec, 302924 t fired, .
22 EF FNDP 380/739 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 4594140 t fired, 36014 attempts, .
25 EF SRCH 116/658 4/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 784669 m, 8042 m/sec, 2315720 t fired, .
27 EF FNDP 160/625 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14 1933350 t fired, 15127 attempts, .

Time elapsed: 638 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 2 1 0 3 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF EXCL 586/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 203318 m, 376 m/sec, 305779 t fired, .
22 EF FNDP 385/734 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 4654542 t fired, 36488 attempts, .
25 EF SRCH 121/653 4/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 822954 m, 7657 m/sec, 2431708 t fired, .
27 EF FNDP 165/620 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14 1995229 t fired, 15613 attempts, .

Time elapsed: 643 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 2 1 0 3 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF EXCL 591/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 205277 m, 391 m/sec, 308748 t fired, .
22 EF FNDP 390/729 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 4716833 t fired, 36977 attempts, .
25 EF SRCH 126/648 4/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 861397 m, 7688 m/sec, 2546977 t fired, .
27 EF FNDP 170/615 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14 2057440 t fired, 16101 attempts, .

Time elapsed: 648 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 2 1 0 3 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF EXCL 596/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 207535 m, 451 m/sec, 312042 t fired, .
22 EF FNDP 395/724 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 4779274 t fired, 37468 attempts, .
25 EF SRCH 131/643 4/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 896796 m, 7079 m/sec, 2648281 t fired, .
27 EF FNDP 175/610 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14 2119745 t fired, 16589 attempts, .

Time elapsed: 653 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 2 1 0 3 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF EXCL 601/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 209657 m, 424 m/sec, 315241 t fired, .
22 EF FNDP 400/719 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 4841554 t fired, 37956 attempts, .
25 EF SRCH 136/638 4/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 936195 m, 7879 m/sec, 2766106 t fired, .
27 EF FNDP 180/605 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14 2182063 t fired, 17078 attempts, .

Time elapsed: 658 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 2 1 0 3 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF EXCL 606/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 211777 m, 424 m/sec, 318465 t fired, .
22 EF FNDP 405/714 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 4903041 t fired, 38439 attempts, .
25 EF SRCH 141/633 5/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 974661 m, 7693 m/sec, 2883153 t fired, .
27 EF FNDP 185/600 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14 2244419 t fired, 17567 attempts, .

Time elapsed: 663 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 2 1 0 3 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF EXCL 611/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 213906 m, 425 m/sec, 321688 t fired, .
22 EF FNDP 410/709 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 4965384 t fired, 38928 attempts, .
25 EF SRCH 146/628 5/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 1015348 m, 8137 m/sec, 3007906 t fired, .
27 EF FNDP 190/595 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14 2307068 t fired, 18059 attempts, .

Time elapsed: 668 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 2 1 0 3 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF EXCL 616/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 216073 m, 433 m/sec, 324990 t fired, .
22 EF FNDP 415/704 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 5027869 t fired, 39418 attempts, .
25 EF SRCH 151/623 5/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 1054995 m, 7929 m/sec, 3129280 t fired, .
27 EF FNDP 195/590 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14 2369486 t fired, 18549 attempts, .

Time elapsed: 673 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 2 1 0 3 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF EXCL 621/885 1/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 218206 m, 426 m/sec, 328227 t fired, .
22 EF FNDP 420/699 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 5089688 t fired, 39903 attempts, .
25 EF SRCH 156/618 5/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 1094232 m, 7847 m/sec, 3247714 t fired, .
27 EF FNDP 200/585 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14 2431658 t fired, 19036 attempts, .

Time elapsed: 678 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 2 1 0 3 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF EXCL 626/885 2/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 220321 m, 423 m/sec, 331447 t fired, .
22 EF FNDP 425/694 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 5152132 t fired, 40393 attempts, .
25 EF SRCH 161/613 5/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 1132880 m, 7729 m/sec, 3363050 t fired, .
27 EF FNDP 205/580 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14 2494053 t fired, 19525 attempts, .

Time elapsed: 683 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 2 1 0 3 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF EXCL 631/885 2/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 222480 m, 431 m/sec, 334738 t fired, .
22 EF FNDP 430/689 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 5214656 t fired, 40884 attempts, .
25 EF SRCH 166/608 5/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 1168207 m, 7065 m/sec, 3462794 t fired, .
27 EF FNDP 210/575 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14 2556419 t fired, 20014 attempts, .

Time elapsed: 688 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 4
lola: CANCELED task # 25 (type SRCH) for BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00: AG 0 2 0 0 3 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF EXCL 636/885 2/32 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-05 224616 m, 427 m/sec, 337978 t fired, .
22 EF FNDP 435/684 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-06 5276764 t fired, 41372 attempts, .
27 EF FNDP 215/570 0/5 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-14 2618568 t fired, 20501 attempts, .

Time elapsed: 693 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 4
lola: LAUNCH task # 35 (type SRCH) for 0 BridgeAndVehicles-COL-V20P10N50-ReachabilityFireability-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
/home/mcc/BenchKit/bin//../reducer/bin//../../lola/bin//../BenchKit_head.sh: line 63: 535 Killed lola --conf=$BIN_DIR/configfiles/reachabilityfireabilityconf --formula=$DIR/ReachabilityFireability.xml --verdictfile=$DIR/GenericPropertiesVerdict.xml $DIR/model.pnml

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="BridgeAndVehicles-COL-V20P10N50"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="lolaxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool lolaxred"
echo " Input is BridgeAndVehicles-COL-V20P10N50, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r039-tajo-167813692000039"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-COL-V20P10N50.tgz
mv BridgeAndVehicles-COL-V20P10N50 execution
cd execution
if [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "UpperBounds" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] || [ "ReachabilityFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' ReachabilityFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityFireability"
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 ;