About the Execution of LoLa+red for BridgeAndVehicles-PT-V20P10N50
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16225.159 | 830295.00 | 2421496.00 | 9854.50 | ?FFTF??TTTF?FFTT | 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-167813692200199.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-PT-V20P10N50, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r039-tajo-167813692200199
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 8.1M
-rw-r--r-- 1 mcc users 19K Feb 25 12:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 125K Feb 25 12:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 347K Feb 25 12:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 1.4M Feb 25 12:12 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 7.6K Feb 25 15:35 LTLCardinality.txt
-rw-r--r-- 1 mcc users 35K Feb 25 15:35 LTLCardinality.xml
-rw-r--r-- 1 mcc users 211K Feb 25 15:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 641K Feb 25 15:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 25 12:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 87K Feb 25 12:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 728K Feb 25 12:33 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 2.8M Feb 25 12:33 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 15:35 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 15:35 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.8M 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-PT-V20P10N50-ReachabilityFireability-00
FORMULA_NAME BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-01
FORMULA_NAME BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-02
FORMULA_NAME BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-03
FORMULA_NAME BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-04
FORMULA_NAME BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05
FORMULA_NAME BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06
FORMULA_NAME BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-07
FORMULA_NAME BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-08
FORMULA_NAME BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09
FORMULA_NAME BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-10
FORMULA_NAME BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11
FORMULA_NAME BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-12
FORMULA_NAME BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-13
FORMULA_NAME BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-14
FORMULA_NAME BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15
=== Now, execution of the tool begins
BK_START 1678484035204
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-PT-V20P10N50
Applying reductions before tool lola
Invoking reducer
Running Version 202303021504
[2023-03-10 21:33:57] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -timeout, 360, -rebuildPNML]
[2023-03-10 21:33:57] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 21:33:57] [INFO ] Load time of PNML (sax parser for PT used): 139 ms
[2023-03-10 21:33:57] [INFO ] Transformed 108 places.
[2023-03-10 21:33:57] [INFO ] Transformed 2228 transitions.
[2023-03-10 21:33:57] [INFO ] Parsed PT model containing 108 places and 2228 transitions and 17190 arcs in 219 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 63 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 10000 steps, including 57 resets, run finished after 1152 ms. (steps per millisecond=8 ) properties (out of 16) seen :1
FORMULA BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-04 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 241 ms. (steps per millisecond=4 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 225 ms. (steps per millisecond=4 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 190 ms. (steps per millisecond=5 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 15) seen :0
Interrupted probabilistic random walk after 123321 steps, run timeout after 6001 ms. (steps per millisecond=20 ) properties seen :{}
Probabilistic random walk after 123321 steps, saw 34513 distinct states, run finished after 6005 ms. (steps per millisecond=20 ) properties seen :0
Running SMT prover for 15 properties.
[2023-03-10 21:34:06] [INFO ] Flow matrix only has 290 transitions (discarded 1938 similar events)
// Phase 1: matrix 290 rows 108 cols
[2023-03-10 21:34:06] [INFO ] Computed 7 place invariants in 17 ms
[2023-03-10 21:34:17] [INFO ] After 940ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:15
[2023-03-10 21:34:17] [INFO ] [Nat]Absence check using 7 positive place invariants in 7 ms returned sat
[2023-03-10 21:34:35] [INFO ] After 17927ms SMT Verify possible using state equation in natural domain returned unsat :7 sat :8
[2023-03-10 21:34:36] [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 21:34:45] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-10 21:34:45] [INFO ] After 28209ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:15
FORMULA BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-14 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-12 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-10 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-07 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-03 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-02 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-01 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 15 Parikh solutions to 8 different solutions.
Parikh walk visited 0 properties in 108 ms.
Support contains 105 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.8 ms
Discarding 2 places :
Also discarding 0 output transitions
Applied a total of 1 rules in 322 ms. Remains 106 /108 variables (removed 2) and now considering 2228/2228 (removed 0) transitions.
[2023-03-10 21:34:45] [INFO ] Flow matrix only has 290 transitions (discarded 1938 similar events)
// Phase 1: matrix 290 rows 106 cols
[2023-03-10 21:34:45] [INFO ] Computed 5 place invariants in 13 ms
[2023-03-10 21:34:46] [INFO ] Dead Transitions using invariants and state equation in 829 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1154 ms. Remains : 106/108 places, 2228/2228 transitions.
Incomplete random walk after 10000 steps, including 57 resets, run finished after 527 ms. (steps per millisecond=18 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10000 steps, including 27 resets, run finished after 3154 ms. (steps per millisecond=3 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 27 resets, run finished after 1502 ms. (steps per millisecond=6 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10000 steps, including 27 resets, run finished after 424 ms. (steps per millisecond=23 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 19 resets, run finished after 283 ms. (steps per millisecond=35 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 20 resets, run finished after 258 ms. (steps per millisecond=38 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 21 resets, run finished after 275 ms. (steps per millisecond=36 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10000 steps, including 21 resets, run finished after 272 ms. (steps per millisecond=36 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 21 resets, run finished after 304 ms. (steps per millisecond=32 ) properties (out of 8) seen :0
Interrupted probabilistic random walk after 535166 steps, run timeout after 18001 ms. (steps per millisecond=29 ) properties seen :{3=1, 6=1}
Probabilistic random walk after 535166 steps, saw 134043 distinct states, run finished after 18004 ms. (steps per millisecond=29 ) properties seen :2
FORMULA BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-13 FALSE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-08 TRUE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
Running SMT prover for 6 properties.
[2023-03-10 21:35:11] [INFO ] Flow matrix only has 290 transitions (discarded 1938 similar events)
[2023-03-10 21:35:11] [INFO ] Invariant cache hit.
[2023-03-10 21:35:14] [INFO ] After 236ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:6
[2023-03-10 21:35:14] [INFO ] [Nat]Absence check using 5 positive place invariants in 2 ms returned sat
[2023-03-10 21:35:36] [INFO ] After 21798ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :6
[2023-03-10 21:35:36] [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 21:35:42] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-10 21:35:42] [INFO ] After 27933ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:6
Parikh walk visited 0 properties in 349 ms.
Support contains 105 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 213 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 214 ms. Remains : 106/106 places, 2228/2228 transitions.
Incomplete random walk after 10000 steps, including 57 resets, run finished after 790 ms. (steps per millisecond=12 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10001 steps, including 27 resets, run finished after 2712 ms. (steps per millisecond=3 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10000 steps, including 27 resets, run finished after 1045 ms. (steps per millisecond=9 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10001 steps, including 27 resets, run finished after 375 ms. (steps per millisecond=26 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10001 steps, including 20 resets, run finished after 283 ms. (steps per millisecond=35 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10001 steps, including 21 resets, run finished after 295 ms. (steps per millisecond=33 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10001 steps, including 21 resets, run finished after 323 ms. (steps per millisecond=30 ) properties (out of 6) seen :0
Interrupted probabilistic random walk after 560938 steps, run timeout after 15001 ms. (steps per millisecond=37 ) properties seen :{}
Probabilistic random walk after 560938 steps, saw 140137 distinct states, run finished after 15004 ms. (steps per millisecond=37 ) properties seen :0
Running SMT prover for 6 properties.
[2023-03-10 21:36:03] [INFO ] Flow matrix only has 290 transitions (discarded 1938 similar events)
[2023-03-10 21:36:03] [INFO ] Invariant cache hit.
[2023-03-10 21:36:08] [INFO ] After 161ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:6
[2023-03-10 21:36:08] [INFO ] [Nat]Absence check using 5 positive place invariants in 2 ms returned sat
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:631)
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 21:36:34] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-10 21:36:34] [INFO ] After 26221ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:6
Fused 6 Parikh solutions to 2 different solutions.
Parikh walk visited 0 properties in 301 ms.
Support contains 105 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 290 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 292 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 273 ms. Remains 106 /106 variables (removed 0) and now considering 2228/2228 (removed 0) transitions.
[2023-03-10 21:36:35] [INFO ] Flow matrix only has 290 transitions (discarded 1938 similar events)
[2023-03-10 21:36:35] [INFO ] Invariant cache hit.
[2023-03-10 21:36:35] [INFO ] Implicit Places using invariants in 72 ms returned []
[2023-03-10 21:36:35] [INFO ] Flow matrix only has 290 transitions (discarded 1938 similar events)
[2023-03-10 21:36:35] [INFO ] Invariant cache hit.
[2023-03-10 21:36:35] [INFO ] State equation strengthened by 102 read => feed constraints.
[2023-03-10 21:36:35] [INFO ] Implicit Places using invariants and state equation in 399 ms returned [48]
Discarding 1 places :
Implicit Place search using SMT with State Equation took 525 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 208 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 1007 ms. Remains : 105/106 places, 2228/2228 transitions.
Incomplete random walk after 10000 steps, including 57 resets, run finished after 663 ms. (steps per millisecond=15 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10000 steps, including 27 resets, run finished after 3099 ms. (steps per millisecond=3 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10000 steps, including 27 resets, run finished after 1292 ms. (steps per millisecond=7 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10000 steps, including 27 resets, run finished after 344 ms. (steps per millisecond=29 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10001 steps, including 20 resets, run finished after 168 ms. (steps per millisecond=59 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10001 steps, including 21 resets, run finished after 170 ms. (steps per millisecond=58 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10001 steps, including 20 resets, run finished after 184 ms. (steps per millisecond=54 ) properties (out of 6) seen :0
Interrupted probabilistic random walk after 780357 steps, run timeout after 15001 ms. (steps per millisecond=52 ) properties seen :{}
Probabilistic random walk after 780357 steps, saw 190735 distinct states, run finished after 15001 ms. (steps per millisecond=52 ) properties seen :0
Running SMT prover for 6 properties.
[2023-03-10 21:36:56] [INFO ] Flow matrix only has 290 transitions (discarded 1938 similar events)
// Phase 1: matrix 290 rows 105 cols
[2023-03-10 21:36:56] [INFO ] Computed 5 place invariants in 4 ms
[2023-03-10 21:37:01] [INFO ] [Real]Absence check using 5 positive place invariants in 3 ms returned sat
[2023-03-10 21:37:02] [INFO ] After 380ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:6
[2023-03-10 21:37:02] [INFO ] [Nat]Absence check using 5 positive place invariants in 3 ms returned sat
[2023-03-10 21:37:20] [INFO ] After 17607ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :6
[2023-03-10 21:37:20] [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 21:37:30] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-10 21:37:30] [INFO ] After 28383ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:6
Parikh walk visited 0 properties in 190 ms.
Support contains 105 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 186 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 187 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 191 ms. Remains 105 /105 variables (removed 0) and now considering 2228/2228 (removed 0) transitions.
[2023-03-10 21:37:31] [INFO ] Flow matrix only has 290 transitions (discarded 1938 similar events)
[2023-03-10 21:37:31] [INFO ] Invariant cache hit.
[2023-03-10 21:37:31] [INFO ] Implicit Places using invariants in 68 ms returned []
[2023-03-10 21:37:31] [INFO ] Flow matrix only has 290 transitions (discarded 1938 similar events)
[2023-03-10 21:37:31] [INFO ] Invariant cache hit.
[2023-03-10 21:37:31] [INFO ] State equation strengthened by 102 read => feed constraints.
[2023-03-10 21:37:31] [INFO ] Implicit Places using invariants and state equation in 225 ms returned []
Implicit Place search using SMT with State Equation took 301 ms to find 0 implicit places.
[2023-03-10 21:37:31] [INFO ] Redundant transitions in 236 ms returned []
[2023-03-10 21:37:31] [INFO ] Flow matrix only has 290 transitions (discarded 1938 similar events)
[2023-03-10 21:37:31] [INFO ] Invariant cache hit.
[2023-03-10 21:37:32] [INFO ] Dead Transitions using invariants and state equation in 832 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1602 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 7 ms. Remains 105 /105 variables (removed 0) and now considering 290/2228 (removed 1938) transitions.
Running SMT prover for 6 properties.
[2023-03-10 21:37:32] [INFO ] Invariant cache hit.
[2023-03-10 21:37:37] [INFO ] [Real]Absence check using 5 positive place invariants in 2 ms returned sat
[2023-03-10 21:37:37] [INFO ] After 339ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:6
[2023-03-10 21:37:37] [INFO ] [Nat]Absence check using 5 positive place invariants in 1 ms returned sat
[2023-03-10 21:37:56] [INFO ] After 18998ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :6
[2023-03-10 21:38:13] [INFO ] After 35833ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :6
Attempting to minimize the solution found.
Minimization took 19196 ms.
[2023-03-10 21:38:32] [INFO ] After 55335ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :6
[2023-03-10 21:38:32] [INFO ] Export to MCC of 6 properties in file /home/mcc/execution/ReachabilityFireability.sr.xml took 130 ms.
[2023-03-10 21:38:32] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 105 places, 2228 transitions and 17147 arcs took 73 ms.
[2023-03-10 21:38:33] [INFO ] Flatten gal took : 261 ms
Total runtime 276393 ms.
There are residual formulas that ITS could not solve within timeout
starting LoLA
BK_INPUT BridgeAndVehicles-PT-V20P10N50
BK_EXAMINATION: ReachabilityFireability
bin directory: /home/mcc/BenchKit/bin//../reducer/bin//../../lola/bin/
current directory: /home/mcc/execution/375
ReachabilityFireability
FORMULA BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1678484865499
--------------------
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/375/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/375/model.pnml
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/execution/375/ReachabilityFireability.xml
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.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: LAUNCH task # 26 (type EXCL) for 3 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05
lola: time limit : 590 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 19 (type FNDP) for 3 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 21 (type EQUN) for 3 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 25 (type SRCH) for 3 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05
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-PT-V20P10N50-ReachabilityFireability-00: AG 2 0 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 4 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 0 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 0 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 0 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 0/1770 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 --
21 EF STEQ 0/1770 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 sara not yet started (preprocessing).
25 EF SRCH 0/1770 1/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 --
26 EF EXCL 0/3541 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 --
Time elapsed: 59 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 6
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
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: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: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: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:711
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 4 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 5/438 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 17607 t fired, 136 attempts, .
21 EF STEQ 5/438 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 sara not yet started (preprocessing).
25 EF SRCH 5/438 1/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 19304 m, 3860 m/sec, 37018 t fired, .
26 EF EXCL 5/590 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 569 m, 113 m/sec, 777 t fired, .
Time elapsed: 64 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 4 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 11/436 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 66301 t fired, 516 attempts, .
21 EF STEQ 11/436 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 sara not yet started (preprocessing).
25 EF SRCH 11/436 1/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 66183 m, 9375 m/sec, 133896 t fired, .
26 EF EXCL 11/590 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 3120 m, 510 m/sec, 4273 t fired, .
Time elapsed: 70 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 4 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 16/431 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 119171 t fired, 931 attempts, .
21 EF STEQ 16/431 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 sara not yet started (preprocessing).
25 EF SRCH 16/431 1/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 116044 m, 9972 m/sec, 241342 t fired, .
26 EF EXCL 16/590 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 5277 m, 431 m/sec, 7290 t fired, .
Time elapsed: 75 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 4 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 21/426 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 174335 t fired, 1364 attempts, .
21 EF STEQ 21/426 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 sara not yet started (preprocessing).
25 EF SRCH 21/426 1/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 165546 m, 9900 m/sec, 352318 t fired, .
26 EF EXCL 21/590 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 7366 m, 417 m/sec, 10306 t fired, .
Time elapsed: 80 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 6
lola: FINISHED task # 21 (type EQUN) for BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05
lola: result : unknown
lola: LAUNCH task # 20 (type FNDP) for 0 BridgeAndVehicles-PT-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-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 26/418 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 228725 t fired, 1792 attempts, .
20 EF FNDP 2/439 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 --
25 EF SRCH 26/481 1/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 214336 m, 9758 m/sec, 461605 t fired, .
26 EF EXCL 26/590 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 9423 m, 411 m/sec, 13319 t fired, .
Time elapsed: 85 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 31/416 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 281223 t fired, 2205 attempts, .
20 EF FNDP 7/437 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 22308 t fired, 131 attempts, .
25 EF SRCH 31/479 2/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 261906 m, 9514 m/sec, 568774 t fired, .
26 EF EXCL 31/590 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 11408 m, 397 m/sec, 16223 t fired, .
Time elapsed: 90 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 36/411 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 335602 t fired, 2632 attempts, .
20 EF FNDP 12/432 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 49909 t fired, 292 attempts, .
25 EF SRCH 36/474 2/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 311228 m, 9864 m/sec, 676223 t fired, .
26 EF EXCL 36/590 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 13495 m, 417 m/sec, 19257 t fired, .
Time elapsed: 95 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 41/406 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 390456 t fired, 3063 attempts, .
20 EF FNDP 17/427 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 78271 t fired, 458 attempts, .
25 EF SRCH 41/469 2/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 360452 m, 9844 m/sec, 787924 t fired, .
26 EF EXCL 41/590 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 15550 m, 411 m/sec, 22279 t fired, .
Time elapsed: 100 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 46/401 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 445105 t fired, 3493 attempts, .
20 EF FNDP 22/422 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 107055 t fired, 627 attempts, .
25 EF SRCH 46/464 2/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 414358 m, 10781 m/sec, 917220 t fired, .
26 EF EXCL 46/590 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 17540 m, 398 m/sec, 25243 t fired, .
Time elapsed: 105 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 51/396 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 499441 t fired, 3919 attempts, .
20 EF FNDP 27/417 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 136081 t fired, 798 attempts, .
25 EF SRCH 51/459 2/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 465732 m, 10274 m/sec, 1035146 t fired, .
26 EF EXCL 51/590 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 19504 m, 392 m/sec, 28172 t fired, .
Time elapsed: 110 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 56/391 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 551225 t fired, 4327 attempts, .
20 EF FNDP 32/412 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 164825 t fired, 968 attempts, .
25 EF SRCH 56/454 3/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 512280 m, 9309 m/sec, 1138670 t fired, .
26 EF EXCL 56/590 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 21424 m, 384 m/sec, 31032 t fired, .
Time elapsed: 115 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 61/386 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 603560 t fired, 4738 attempts, .
20 EF FNDP 37/407 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 193827 t fired, 1140 attempts, .
25 EF SRCH 61/449 3/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 567141 m, 10972 m/sec, 1276904 t fired, .
26 EF EXCL 61/590 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 23401 m, 395 m/sec, 33995 t fired, .
Time elapsed: 120 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 66/381 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 651737 t fired, 5118 attempts, .
20 EF FNDP 42/402 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 221840 t fired, 1306 attempts, .
25 EF SRCH 66/444 3/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 609316 m, 8435 m/sec, 1365133 t fired, .
26 EF EXCL 66/590 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 25426 m, 405 m/sec, 36966 t fired, .
Time elapsed: 125 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 71/376 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 699576 t fired, 5494 attempts, .
20 EF FNDP 47/397 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 249089 t fired, 1467 attempts, .
25 EF SRCH 71/439 3/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 661164 m, 10369 m/sec, 1497446 t fired, .
26 EF EXCL 71/590 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 27626 m, 440 m/sec, 40231 t fired, .
Time elapsed: 130 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 76/371 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 747200 t fired, 5868 attempts, .
20 EF FNDP 52/392 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 277453 t fired, 1636 attempts, .
25 EF SRCH 76/434 3/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 704252 m, 8617 m/sec, 1590669 t fired, .
26 EF EXCL 76/590 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 29860 m, 446 m/sec, 43578 t fired, .
Time elapsed: 135 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 81/366 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 795281 t fired, 6246 attempts, .
20 EF FNDP 57/387 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 303755 t fired, 1792 attempts, .
25 EF SRCH 81/429 4/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 754030 m, 9955 m/sec, 1712604 t fired, .
26 EF EXCL 81/590 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 31994 m, 426 m/sec, 46781 t fired, .
Time elapsed: 140 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 86/361 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 843148 t fired, 6622 attempts, .
20 EF FNDP 62/382 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 331065 t fired, 1954 attempts, .
25 EF SRCH 86/424 4/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 801550 m, 9504 m/sec, 1828165 t fired, .
26 EF EXCL 86/590 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 34089 m, 419 m/sec, 49943 t fired, .
Time elapsed: 145 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 91/356 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 890631 t fired, 6995 attempts, .
20 EF FNDP 67/377 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 359005 t fired, 2121 attempts, .
25 EF SRCH 91/419 4/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 848923 m, 9474 m/sec, 1930721 t fired, .
26 EF EXCL 91/590 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 36078 m, 397 m/sec, 52927 t fired, .
Time elapsed: 150 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 96/351 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 937641 t fired, 7365 attempts, .
20 EF FNDP 72/372 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 386754 t fired, 2286 attempts, .
25 EF SRCH 96/414 4/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 906048 m, 11425 m/sec, 2085798 t fired, .
26 EF EXCL 96/590 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 38213 m, 427 m/sec, 56130 t fired, .
Time elapsed: 155 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 101/346 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 984460 t fired, 7732 attempts, .
20 EF FNDP 77/367 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 415686 t fired, 2458 attempts, .
25 EF SRCH 101/409 4/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 951708 m, 9132 m/sec, 2179721 t fired, .
26 EF EXCL 101/590 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 40362 m, 429 m/sec, 59365 t fired, .
Time elapsed: 160 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 106/341 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 1035648 t fired, 8135 attempts, .
20 EF FNDP 82/362 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 445412 t fired, 2635 attempts, .
25 EF SRCH 106/404 5/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 1011945 m, 12047 m/sec, 2334197 t fired, .
26 EF EXCL 106/590 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 42630 m, 453 m/sec, 62700 t fired, .
Time elapsed: 165 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 111/336 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 1086987 t fired, 8539 attempts, .
20 EF FNDP 87/357 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 474949 t fired, 2811 attempts, .
25 EF SRCH 111/399 5/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 1064358 m, 10482 m/sec, 2454719 t fired, .
26 EF EXCL 111/590 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 44913 m, 456 m/sec, 66130 t fired, .
Time elapsed: 170 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 116/331 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 1135167 t fired, 8918 attempts, .
20 EF FNDP 92/352 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 503555 t fired, 2982 attempts, .
25 EF SRCH 116/394 5/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 1112655 m, 9659 m/sec, 2563859 t fired, .
26 EF EXCL 116/590 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 47034 m, 424 m/sec, 69330 t fired, .
Time elapsed: 175 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 121/326 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 1182152 t fired, 9288 attempts, .
20 EF FNDP 97/347 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 532502 t fired, 3154 attempts, .
25 EF SRCH 121/389 5/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 1165351 m, 10539 m/sec, 2708948 t fired, .
26 EF EXCL 121/590 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 49062 m, 405 m/sec, 72385 t fired, .
Time elapsed: 180 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 126/321 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 1229818 t fired, 9664 attempts, .
20 EF FNDP 102/342 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 562122 t fired, 3330 attempts, .
25 EF SRCH 126/384 5/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 1209103 m, 8750 m/sec, 2804449 t fired, .
26 EF EXCL 126/590 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 51176 m, 422 m/sec, 75582 t fired, .
Time elapsed: 185 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
lola: CANCELED task # 25 (type SRCH) for BridgeAndVehicles-PT-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-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 131/316 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 1279548 t fired, 10056 attempts, .
20 EF FNDP 107/337 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 591753 t fired, 3507 attempts, .
26 EF EXCL 131/590 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 53117 m, 388 m/sec, 78518 t fired, .
Time elapsed: 190 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
lola: LAUNCH task # 32 (type FNDP) for 15 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 32 (type FNDP) for BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15
lola: result : true
lola: fired transitions : 1994
lola: tried executions : 16
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 33 (type FNDP) for 12 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 136/459 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 1335066 t fired, 10493 attempts, .
20 EF FNDP 112/479 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 617771 t fired, 3662 attempts, .
26 EF EXCL 136/708 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 55013 m, 379 m/sec, 81374 t fired, .
33 EF FNDP 5/568 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 51846 t fired, 720 attempts, .
Time elapsed: 195 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 141/454 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 1391558 t fired, 10938 attempts, .
20 EF FNDP 117/474 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 643902 t fired, 3817 attempts, .
26 EF EXCL 141/708 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 56918 m, 381 m/sec, 84250 t fired, .
33 EF FNDP 10/563 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 111166 t fired, 1399 attempts, .
Time elapsed: 200 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 146/449 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 1448075 t fired, 11383 attempts, .
20 EF FNDP 122/469 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 670558 t fired, 3976 attempts, .
26 EF EXCL 146/708 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 58865 m, 389 m/sec, 87187 t fired, .
33 EF FNDP 15/558 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 171046 t fired, 2072 attempts, .
Time elapsed: 205 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 151/444 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 1503673 t fired, 11820 attempts, .
20 EF FNDP 127/464 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 697115 t fired, 4135 attempts, .
26 EF EXCL 151/708 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 61160 m, 459 m/sec, 90651 t fired, .
33 EF FNDP 20/553 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 231269 t fired, 2738 attempts, .
Time elapsed: 210 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 156/439 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 1559321 t fired, 12258 attempts, .
20 EF FNDP 132/459 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 724344 t fired, 4297 attempts, .
26 EF EXCL 156/708 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 63503 m, 468 m/sec, 94127 t fired, .
33 EF FNDP 25/548 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 291111 t fired, 3392 attempts, .
Time elapsed: 215 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 161/434 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 1614978 t fired, 12696 attempts, .
20 EF FNDP 137/454 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 751628 t fired, 4460 attempts, .
26 EF EXCL 161/708 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 65939 m, 487 m/sec, 97766 t fired, .
33 EF FNDP 30/543 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 351074 t fired, 4063 attempts, .
Time elapsed: 220 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 166/429 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 1670499 t fired, 13133 attempts, .
20 EF FNDP 142/449 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 778795 t fired, 4623 attempts, .
26 EF EXCL 166/708 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 68282 m, 468 m/sec, 101313 t fired, .
33 EF FNDP 35/538 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 411026 t fired, 4717 attempts, .
Time elapsed: 225 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 171/424 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 1726013 t fired, 13570 attempts, .
20 EF FNDP 147/444 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 805822 t fired, 4784 attempts, .
26 EF EXCL 171/708 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 70618 m, 467 m/sec, 104854 t fired, .
33 EF FNDP 40/533 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 470851 t fired, 5367 attempts, .
Time elapsed: 230 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 176/419 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 1781623 t fired, 14008 attempts, .
20 EF FNDP 152/439 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 833541 t fired, 4950 attempts, .
26 EF EXCL 176/708 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 72974 m, 471 m/sec, 108414 t fired, .
33 EF FNDP 45/528 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 531093 t fired, 6040 attempts, .
Time elapsed: 235 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 181/414 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 1837652 t fired, 14448 attempts, .
20 EF FNDP 157/434 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 861113 t fired, 5114 attempts, .
26 EF EXCL 181/708 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 75298 m, 464 m/sec, 111943 t fired, .
33 EF FNDP 50/523 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 590933 t fired, 6701 attempts, .
Time elapsed: 240 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 186/409 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 1892610 t fired, 14881 attempts, .
20 EF FNDP 162/429 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 889520 t fired, 5283 attempts, .
26 EF EXCL 186/708 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 77628 m, 466 m/sec, 115469 t fired, .
33 EF FNDP 55/518 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 647890 t fired, 7337 attempts, .
Time elapsed: 245 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 191/404 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 1949174 t fired, 15326 attempts, .
20 EF FNDP 167/424 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 917814 t fired, 5453 attempts, .
26 EF EXCL 191/708 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 79947 m, 463 m/sec, 118976 t fired, .
33 EF FNDP 60/513 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 707935 t fired, 7996 attempts, .
Time elapsed: 250 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 196/399 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 2005651 t fired, 15770 attempts, .
20 EF FNDP 172/419 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 946508 t fired, 5624 attempts, .
26 EF EXCL 196/708 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 82272 m, 465 m/sec, 122496 t fired, .
33 EF FNDP 65/508 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 767996 t fired, 8668 attempts, .
Time elapsed: 255 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 201/394 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 2062152 t fired, 16215 attempts, .
20 EF FNDP 177/414 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 974614 t fired, 5792 attempts, .
26 EF EXCL 201/708 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 84585 m, 462 m/sec, 125992 t fired, .
33 EF FNDP 70/503 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 828393 t fired, 9325 attempts, .
Time elapsed: 260 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 206/389 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 2115810 t fired, 16637 attempts, .
20 EF FNDP 182/409 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 1002177 t fired, 5956 attempts, .
26 EF EXCL 206/708 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 86782 m, 439 m/sec, 129323 t fired, .
33 EF FNDP 75/498 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 884986 t fired, 9932 attempts, .
Time elapsed: 265 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 211/384 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 2170352 t fired, 17067 attempts, .
20 EF FNDP 187/404 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 1028462 t fired, 6113 attempts, .
26 EF EXCL 211/708 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 88949 m, 433 m/sec, 132606 t fired, .
33 EF FNDP 80/493 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 941943 t fired, 10550 attempts, .
Time elapsed: 270 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 216/379 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 2221496 t fired, 17470 attempts, .
20 EF FNDP 192/399 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 1055432 t fired, 6274 attempts, .
26 EF EXCL 216/708 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 91106 m, 431 m/sec, 135763 t fired, .
33 EF FNDP 85/488 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 997895 t fired, 11159 attempts, .
Time elapsed: 275 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 221/374 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 2273499 t fired, 17879 attempts, .
20 EF FNDP 197/394 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 1082202 t fired, 6434 attempts, .
26 EF EXCL 221/708 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 93238 m, 426 m/sec, 138981 t fired, .
33 EF FNDP 90/483 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 1053547 t fired, 11771 attempts, .
Time elapsed: 280 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 226/369 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 2326547 t fired, 18297 attempts, .
20 EF FNDP 202/389 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 1108528 t fired, 6591 attempts, .
26 EF EXCL 226/708 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 95447 m, 441 m/sec, 142321 t fired, .
33 EF FNDP 95/478 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 1109801 t fired, 12386 attempts, .
Time elapsed: 285 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 231/364 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 2378699 t fired, 18708 attempts, .
20 EF FNDP 207/384 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 1135481 t fired, 6752 attempts, .
26 EF EXCL 231/708 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 97519 m, 414 m/sec, 145471 t fired, .
33 EF FNDP 100/473 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 1165481 t fired, 12992 attempts, .
Time elapsed: 290 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 236/359 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 2434305 t fired, 19146 attempts, .
20 EF FNDP 212/379 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 1162986 t fired, 6916 attempts, .
26 EF EXCL 236/708 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 99590 m, 414 m/sec, 148610 t fired, .
33 EF FNDP 105/468 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 1222803 t fired, 13634 attempts, .
Time elapsed: 295 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 241/354 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 2486666 t fired, 19559 attempts, .
20 EF FNDP 217/374 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 1189535 t fired, 7074 attempts, .
26 EF EXCL 241/708 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 101648 m, 411 m/sec, 151739 t fired, .
33 EF FNDP 110/463 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 1277696 t fired, 14236 attempts, .
Time elapsed: 300 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 246/349 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 2540122 t fired, 19980 attempts, .
20 EF FNDP 222/369 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 1215937 t fired, 7232 attempts, .
26 EF EXCL 246/708 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 103648 m, 400 m/sec, 154767 t fired, .
33 EF FNDP 115/458 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 1334006 t fired, 14842 attempts, .
Time elapsed: 305 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 251/344 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 2594294 t fired, 20407 attempts, .
20 EF FNDP 227/364 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 1242067 t fired, 7388 attempts, .
26 EF EXCL 251/708 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 105682 m, 406 m/sec, 157848 t fired, .
33 EF FNDP 120/453 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 1391211 t fired, 15467 attempts, .
Time elapsed: 310 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 256/339 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 2650612 t fired, 20850 attempts, .
20 EF FNDP 232/359 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 1268739 t fired, 7548 attempts, .
26 EF EXCL 256/708 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 107650 m, 393 m/sec, 160842 t fired, .
33 EF FNDP 125/448 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 1448689 t fired, 16082 attempts, .
Time elapsed: 315 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 261/334 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 2707491 t fired, 21297 attempts, .
20 EF FNDP 237/354 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 1296000 t fired, 7711 attempts, .
26 EF EXCL 261/708 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 109656 m, 401 m/sec, 163871 t fired, .
33 EF FNDP 130/443 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 1508820 t fired, 16741 attempts, .
Time elapsed: 320 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 266/329 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 2763930 t fired, 21742 attempts, .
20 EF FNDP 242/349 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 1325351 t fired, 7886 attempts, .
26 EF EXCL 266/708 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 111817 m, 432 m/sec, 167153 t fired, .
33 EF FNDP 135/438 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 1568969 t fired, 17396 attempts, .
Time elapsed: 325 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 271/324 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 2820676 t fired, 22189 attempts, .
20 EF FNDP 247/344 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 1354747 t fired, 8061 attempts, .
26 EF EXCL 271/708 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 114088 m, 454 m/sec, 170601 t fired, .
33 EF FNDP 140/433 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 1629212 t fired, 18039 attempts, .
Time elapsed: 330 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 276/319 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 2877385 t fired, 22636 attempts, .
20 EF FNDP 252/339 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 1384501 t fired, 8239 attempts, .
26 EF EXCL 276/708 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 116406 m, 463 m/sec, 174113 t fired, .
33 EF FNDP 145/428 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 1689737 t fired, 18687 attempts, .
Time elapsed: 335 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 281/314 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 2933861 t fired, 23080 attempts, .
20 EF FNDP 257/334 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 1414251 t fired, 8417 attempts, .
26 EF EXCL 281/708 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 118690 m, 456 m/sec, 177572 t fired, .
33 EF FNDP 150/423 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 1749819 t fired, 19330 attempts, .
Time elapsed: 340 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 286/309 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 2986070 t fired, 23492 attempts, .
20 EF FNDP 262/329 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 1440939 t fired, 8577 attempts, .
26 EF EXCL 286/708 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 120691 m, 400 m/sec, 180609 t fired, .
33 EF FNDP 155/418 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 1802864 t fired, 19910 attempts, .
Time elapsed: 345 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 291/304 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 3039984 t fired, 23916 attempts, .
20 EF FNDP 267/324 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 1468388 t fired, 8741 attempts, .
26 EF EXCL 291/708 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 122729 m, 407 m/sec, 183621 t fired, .
33 EF FNDP 160/413 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 1858841 t fired, 20512 attempts, .
Time elapsed: 350 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 EF FNDP 296/299 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 3096755 t fired, 24363 attempts, .
20 EF FNDP 272/319 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 1496495 t fired, 8909 attempts, .
26 EF EXCL 296/708 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 124861 m, 426 m/sec, 186802 t fired, .
33 EF FNDP 165/408 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 1918335 t fired, 21157 attempts, .
Time elapsed: 355 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
lola: CANCELED task # 19 (type FNDP) for BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 2 1 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF FNDP 277/314 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 1523871 t fired, 9073 attempts, .
26 EF EXCL 301/708 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 127004 m, 428 m/sec, 190050 t fired, .
33 EF FNDP 170/403 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 1974085 t fired, 21758 attempts, .
Time elapsed: 360 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
lola: LAUNCH task # 34 (type FNDP) for 9 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 19 (type FNDP) for BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05
lola: result : unknown
lola: fired transitions : 3149330
lola: tried executions : 24778
lola: time used : 301.000000
lola: memory pages used : 0
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF FNDP 282/426 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 1551320 t fired, 9237 attempts, .
26 EF EXCL 306/708 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 129062 m, 411 m/sec, 193165 t fired, .
33 EF FNDP 175/398 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 2028363 t fired, 22342 attempts, .
34 EF FNDP 5/540 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09 48837 t fired, 360 attempts, .
Time elapsed: 365 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF FNDP 287/421 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 1578608 t fired, 9400 attempts, .
26 EF EXCL 311/708 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 131101 m, 407 m/sec, 196268 t fired, .
33 EF FNDP 180/393 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 2083394 t fired, 22940 attempts, .
34 EF FNDP 10/535 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09 99583 t fired, 800 attempts, .
Time elapsed: 370 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF FNDP 292/416 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 1605637 t fired, 9562 attempts, .
26 EF EXCL 316/708 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 133162 m, 412 m/sec, 199399 t fired, .
33 EF FNDP 185/388 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 2139756 t fired, 23554 attempts, .
34 EF FNDP 15/530 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09 153970 t fired, 1288 attempts, .
Time elapsed: 375 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF FNDP 297/411 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 1633012 t fired, 9725 attempts, .
26 EF EXCL 321/708 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 135317 m, 431 m/sec, 202675 t fired, .
33 EF FNDP 190/383 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 2195486 t fired, 24162 attempts, .
34 EF FNDP 20/525 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09 207941 t fired, 1799 attempts, .
Time elapsed: 380 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
lola: FINISHED task # 34 (type FNDP) for BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09
lola: result : true
lola: fired transitions : 251461
lola: tried executions : 2209
lola: time used : 24.000000
lola: memory pages used : 0
lola: LAUNCH task # 31 (type FNDP) for 6 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF FNDP 302/578 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 1659812 t fired, 9886 attempts, .
26 EF EXCL 326/885 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 137346 m, 405 m/sec, 205757 t fired, .
31 EF FNDP 1/804 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06 11826 t fired, 91 attempts, .
33 EF FNDP 195/488 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 2254210 t fired, 24795 attempts, .
Time elapsed: 385 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF FNDP 307/577 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 1686347 t fired, 10044 attempts, .
26 EF EXCL 331/885 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 139198 m, 370 m/sec, 208574 t fired, .
31 EF FNDP 6/803 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06 74418 t fired, 580 attempts, .
33 EF FNDP 200/487 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 2313469 t fired, 25440 attempts, .
Time elapsed: 390 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF FNDP 312/572 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 1713955 t fired, 10210 attempts, .
26 EF EXCL 336/885 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 140973 m, 355 m/sec, 211266 t fired, .
31 EF FNDP 11/798 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06 137671 t fired, 1076 attempts, .
33 EF FNDP 205/482 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 2373841 t fired, 26085 attempts, .
Time elapsed: 395 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF FNDP 317/567 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 1740989 t fired, 10371 attempts, .
26 EF EXCL 341/885 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 142907 m, 386 m/sec, 214202 t fired, .
31 EF FNDP 16/793 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06 201268 t fired, 1575 attempts, .
33 EF FNDP 210/477 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 2434326 t fired, 26750 attempts, .
Time elapsed: 400 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF FNDP 322/562 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 1767729 t fired, 10531 attempts, .
26 EF EXCL 346/885 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 144757 m, 370 m/sec, 216981 t fired, .
31 EF FNDP 21/788 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06 263011 t fired, 2060 attempts, .
33 EF FNDP 215/472 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 2492733 t fired, 27383 attempts, .
Time elapsed: 405 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF FNDP 327/557 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 1793278 t fired, 10683 attempts, .
26 EF EXCL 351/885 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 146529 m, 354 m/sec, 219690 t fired, .
31 EF FNDP 26/783 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06 323741 t fired, 2537 attempts, .
33 EF FNDP 220/467 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 2549417 t fired, 27993 attempts, .
Time elapsed: 410 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF FNDP 332/552 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 1818795 t fired, 10835 attempts, .
26 EF EXCL 356/885 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 148270 m, 348 m/sec, 222315 t fired, .
31 EF FNDP 31/778 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06 384853 t fired, 3017 attempts, .
33 EF FNDP 225/462 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 2603304 t fired, 28567 attempts, .
Time elapsed: 415 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF FNDP 337/547 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 1844432 t fired, 10989 attempts, .
26 EF EXCL 361/885 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 150037 m, 353 m/sec, 225018 t fired, .
31 EF FNDP 36/773 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06 448135 t fired, 3513 attempts, .
33 EF FNDP 230/457 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 2658483 t fired, 29165 attempts, .
Time elapsed: 420 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF FNDP 342/542 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 1870710 t fired, 11145 attempts, .
26 EF EXCL 366/885 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 151832 m, 359 m/sec, 227736 t fired, .
31 EF FNDP 41/768 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06 512066 t fired, 4016 attempts, .
33 EF FNDP 235/452 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 2718357 t fired, 29812 attempts, .
Time elapsed: 425 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF FNDP 347/537 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 1897409 t fired, 11305 attempts, .
26 EF EXCL 371/885 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 153700 m, 373 m/sec, 230572 t fired, .
31 EF FNDP 46/763 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06 575913 t fired, 4518 attempts, .
33 EF FNDP 240/447 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 2777772 t fired, 30447 attempts, .
Time elapsed: 430 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF FNDP 352/532 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 1924336 t fired, 11466 attempts, .
26 EF EXCL 376/885 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 155456 m, 351 m/sec, 233235 t fired, .
31 EF FNDP 51/758 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06 639664 t fired, 5020 attempts, .
33 EF FNDP 245/442 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 2837440 t fired, 31106 attempts, .
Time elapsed: 435 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF FNDP 357/527 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 1951841 t fired, 11631 attempts, .
26 EF EXCL 381/885 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 157318 m, 372 m/sec, 236077 t fired, .
31 EF FNDP 56/753 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06 703216 t fired, 5518 attempts, .
33 EF FNDP 250/437 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 2897683 t fired, 31759 attempts, .
Time elapsed: 440 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF FNDP 362/522 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 1977551 t fired, 11784 attempts, .
26 EF EXCL 386/885 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 158965 m, 329 m/sec, 238567 t fired, .
31 EF FNDP 61/748 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06 763445 t fired, 5992 attempts, .
33 EF FNDP 255/432 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 2952965 t fired, 32365 attempts, .
Time elapsed: 445 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF FNDP 367/517 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 2003010 t fired, 11937 attempts, .
26 EF EXCL 391/885 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 160669 m, 340 m/sec, 241140 t fired, .
31 EF FNDP 66/743 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06 822235 t fired, 6455 attempts, .
33 EF FNDP 260/427 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 3007150 t fired, 32947 attempts, .
Time elapsed: 450 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF FNDP 372/512 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 2028697 t fired, 12090 attempts, .
26 EF EXCL 396/885 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 162597 m, 385 m/sec, 243946 t fired, .
31 EF FNDP 71/738 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06 882837 t fired, 6931 attempts, .
33 EF FNDP 265/422 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 3061142 t fired, 33522 attempts, .
Time elapsed: 455 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF FNDP 377/507 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 2054550 t fired, 12245 attempts, .
26 EF EXCL 401/885 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 164268 m, 334 m/sec, 246459 t fired, .
31 EF FNDP 76/733 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06 942341 t fired, 7398 attempts, .
33 EF FNDP 270/417 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 3116868 t fired, 34123 attempts, .
Time elapsed: 460 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF FNDP 382/502 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 2079956 t fired, 12397 attempts, .
26 EF EXCL 406/885 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 165907 m, 327 m/sec, 248944 t fired, .
31 EF FNDP 81/728 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06 1000396 t fired, 7854 attempts, .
33 EF FNDP 275/412 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 3169600 t fired, 34688 attempts, .
Time elapsed: 465 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF FNDP 387/497 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 2105258 t fired, 12548 attempts, .
26 EF EXCL 411/885 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 167550 m, 328 m/sec, 251447 t fired, .
31 EF FNDP 86/723 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06 1058673 t fired, 8313 attempts, .
33 EF FNDP 280/407 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 3222281 t fired, 35260 attempts, .
Time elapsed: 470 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF FNDP 392/492 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 2130924 t fired, 12701 attempts, .
26 EF EXCL 416/885 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 169113 m, 312 m/sec, 253824 t fired, .
31 EF FNDP 91/718 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06 1118724 t fired, 8786 attempts, .
33 EF FNDP 285/402 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 3276673 t fired, 35856 attempts, .
Time elapsed: 475 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF FNDP 397/487 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 2157319 t fired, 12859 attempts, .
26 EF EXCL 421/885 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 170836 m, 344 m/sec, 256436 t fired, .
31 EF FNDP 96/713 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06 1179257 t fired, 9263 attempts, .
33 EF FNDP 290/397 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 3334914 t fired, 36495 attempts, .
Time elapsed: 480 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF FNDP 402/482 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 2184300 t fired, 13020 attempts, .
26 EF EXCL 426/885 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 172345 m, 301 m/sec, 258732 t fired, .
31 EF FNDP 101/708 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06 1238354 t fired, 9728 attempts, .
33 EF FNDP 295/392 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 3393536 t fired, 37140 attempts, .
Time elapsed: 485 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF FNDP 407/477 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 2212123 t fired, 13187 attempts, .
26 EF EXCL 431/885 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 173607 m, 252 m/sec, 260656 t fired, .
31 EF FNDP 106/703 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06 1296641 t fired, 10187 attempts, .
33 EF FNDP 300/387 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 3451437 t fired, 37783 attempts, .
Time elapsed: 490 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF FNDP 412/472 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 2239440 t fired, 13350 attempts, .
26 EF EXCL 436/885 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 174940 m, 266 m/sec, 262682 t fired, .
31 EF FNDP 111/698 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06 1355265 t fired, 10649 attempts, .
33 EF FNDP 305/382 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 3509001 t fired, 38400 attempts, .
Time elapsed: 495 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF FNDP 417/467 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 2267321 t fired, 13517 attempts, .
26 EF EXCL 441/885 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 176261 m, 264 m/sec, 264693 t fired, .
31 EF FNDP 116/693 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06 1416302 t fired, 11128 attempts, .
33 EF FNDP 310/377 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 3567286 t fired, 39036 attempts, .
Time elapsed: 500 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF FNDP 422/462 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 2295874 t fired, 13688 attempts, .
26 EF EXCL 446/885 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 177644 m, 276 m/sec, 266793 t fired, .
31 EF FNDP 121/688 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06 1480319 t fired, 11632 attempts, .
33 EF FNDP 315/372 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 3625604 t fired, 39671 attempts, .
Time elapsed: 505 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF FNDP 427/457 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 2324922 t fired, 13862 attempts, .
26 EF EXCL 451/885 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 178990 m, 269 m/sec, 268840 t fired, .
31 EF FNDP 126/683 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06 1544321 t fired, 12136 attempts, .
33 EF FNDP 320/367 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 3683755 t fired, 40308 attempts, .
Time elapsed: 510 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF FNDP 432/452 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 2353521 t fired, 14033 attempts, .
26 EF EXCL 456/885 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 180348 m, 271 m/sec, 270894 t fired, .
31 EF FNDP 131/678 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06 1608033 t fired, 12637 attempts, .
33 EF FNDP 325/362 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 3742067 t fired, 40938 attempts, .
Time elapsed: 515 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF FNDP 437/447 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 2382086 t fired, 14204 attempts, .
26 EF EXCL 461/885 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 181702 m, 270 m/sec, 272961 t fired, .
31 EF FNDP 136/673 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06 1671851 t fired, 13140 attempts, .
33 EF FNDP 330/357 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 3800770 t fired, 41567 attempts, .
Time elapsed: 520 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
20 EF FNDP 442/442 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 2411022 t fired, 14377 attempts, .
26 EF EXCL 466/885 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 183037 m, 267 m/sec, 274987 t fired, .
31 EF FNDP 141/668 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06 1735652 t fired, 13642 attempts, .
33 EF FNDP 335/352 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 3858235 t fired, 42178 attempts, .
Time elapsed: 525 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
lola: CANCELED task # 20 (type FNDP) for BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 4 0 0 1 1 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
26 EF EXCL 471/885 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 184420 m, 276 m/sec, 277098 t fired, .
31 EF FNDP 146/663 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06 1799419 t fired, 14144 attempts, .
33 EF FNDP 340/347 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 3916431 t fired, 42801 attempts, .
Time elapsed: 530 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
lola: LAUNCH task # 23 (type EQUN) for 0 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 20 (type FNDP) for BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00
lola: result : unknown
lola: fired transitions : 2439877
lola: tried executions : 14551
lola: time used : 447.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
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 3 1 0 2 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
23 EF STEQ 5/767 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 sara not yet started (preprocessing).
26 EF EXCL 476/885 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 185662 m, 248 m/sec, 278978 t fired, .
31 EF FNDP 151/658 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06 1856161 t fired, 14591 attempts, .
33 EF FNDP 345/512 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 3970534 t fired, 43382 attempts, .
Time elapsed: 535 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 3 1 0 2 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
23 EF STEQ 10/762 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 sara not yet started (preprocessing).
26 EF EXCL 481/885 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 187013 m, 270 m/sec, 281010 t fired, .
31 EF FNDP 156/653 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06 1916284 t fired, 15064 attempts, .
33 EF FNDP 350/507 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 4028042 t fired, 44010 attempts, .
Time elapsed: 540 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00: AG 0 3 1 0 2 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
23 EF STEQ 15/757 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00 sara not yet started (preprocessing).
26 EF EXCL 486/885 1/32 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-05 188392 m, 275 m/sec, 283122 t fired, .
31 EF FNDP 161/648 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-06 1977211 t fired, 15544 attempts, .
33 EF FNDP 355/502 0/5 BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-11 4085258 t fired, 44626 attempts, .
Time elapsed: 545 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
lola: FINISHED task # 23 (type EQUN) for BridgeAndVehicles-PT-V20P10N50-ReachabilityFireability-00
lola: result : unknown
lola: LAUNCH task # 28 (type SRCH) for 0 BridgeAndVehicles-PT-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: 538 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-PT-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-PT-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-167813692200199"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-PT-V20P10N50.tgz
mv BridgeAndVehicles-PT-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 '
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 ;