Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r167-tall-167838853600767.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool lolaxred
Input is FunctionPointer-PT-c128, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r167-tall-167838853600767
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.7M
-rw-r--r-- 1 mcc users 9.5K Feb 25 12:00 CTLCardinality.txt
-rw-r--r-- 1 mcc users 111K Feb 25 12:00 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 25 11:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 25 11:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:09 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:09 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:09 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 16:09 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 25 12:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 151K Feb 25 12:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Feb 25 12:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 25 12:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:09 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:09 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 4.2M 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 FunctionPointer-PT-c128-ReachabilityFireability-00
FORMULA_NAME FunctionPointer-PT-c128-ReachabilityFireability-01
FORMULA_NAME FunctionPointer-PT-c128-ReachabilityFireability-02
FORMULA_NAME FunctionPointer-PT-c128-ReachabilityFireability-03
FORMULA_NAME FunctionPointer-PT-c128-ReachabilityFireability-04
FORMULA_NAME FunctionPointer-PT-c128-ReachabilityFireability-05
FORMULA_NAME FunctionPointer-PT-c128-ReachabilityFireability-06
FORMULA_NAME FunctionPointer-PT-c128-ReachabilityFireability-07
FORMULA_NAME FunctionPointer-PT-c128-ReachabilityFireability-08
FORMULA_NAME FunctionPointer-PT-c128-ReachabilityFireability-09
FORMULA_NAME FunctionPointer-PT-c128-ReachabilityFireability-10
FORMULA_NAME FunctionPointer-PT-c128-ReachabilityFireability-11
FORMULA_NAME FunctionPointer-PT-c128-ReachabilityFireability-12
FORMULA_NAME FunctionPointer-PT-c128-ReachabilityFireability-13
FORMULA_NAME FunctionPointer-PT-c128-ReachabilityFireability-14
FORMULA_NAME FunctionPointer-PT-c128-ReachabilityFireability-15

=== Now, execution of the tool begins

BK_START 1678524953030

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=FunctionPointer-PT-c128
Applying reductions before tool lola
Invoking reducer
Running Version 202303021504
[2023-03-11 08:55:54] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -timeout, 360, -rebuildPNML]
[2023-03-11 08:55:54] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-11 08:55:54] [INFO ] Load time of PNML (sax parser for PT used): 328 ms
[2023-03-11 08:55:54] [INFO ] Transformed 2826 places.
[2023-03-11 08:55:54] [INFO ] Transformed 8960 transitions.
[2023-03-11 08:55:54] [INFO ] Parsed PT model containing 2826 places and 8960 transitions and 36096 arcs in 544 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 18 ms.
Working with output stream class java.io.PrintStream
Deduced a syphon composed of 1198 places in 28 ms
Reduce places removed 1198 places and 2998 transitions.
FORMULA FunctionPointer-PT-c128-ReachabilityFireability-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FunctionPointer-PT-c128-ReachabilityFireability-07 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FunctionPointer-PT-c128-ReachabilityFireability-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FunctionPointer-PT-c128-ReachabilityFireability-09 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FunctionPointer-PT-c128-ReachabilityFireability-15 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Incomplete random walk after 10008 steps, including 2 resets, run finished after 341 ms. (steps per millisecond=29 ) properties (out of 11) seen :1
FORMULA FunctionPointer-PT-c128-ReachabilityFireability-05 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 61 ms. (steps per millisecond=163 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 45 ms. (steps per millisecond=222 ) properties (out of 10) seen :1
FORMULA FunctionPointer-PT-c128-ReachabilityFireability-01 TRUE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=500 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 26 ms. (steps per millisecond=384 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 32 ms. (steps per millisecond=312 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 32 ms. (steps per millisecond=312 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 29 ms. (steps per millisecond=344 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=476 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=400 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 36 ms. (steps per millisecond=277 ) properties (out of 9) seen :0
Running SMT prover for 9 properties.
[2023-03-11 08:55:55] [INFO ] Flow matrix only has 3540 transitions (discarded 2422 similar events)
// Phase 1: matrix 3540 rows 1628 cols
[2023-03-11 08:55:55] [INFO ] Computed 4 place invariants in 94 ms
[2023-03-11 08:55:56] [INFO ] [Real]Absence check using 3 positive place invariants in 99 ms returned sat
[2023-03-11 08:55:56] [INFO ] [Real]Absence check using 3 positive and 1 generalized place invariants in 2 ms returned sat
[2023-03-11 08:55:57] [INFO ] After 819ms SMT Verify possible using all constraints in real domain returned unsat :1 sat :0 real:8
[2023-03-11 08:55:57] [INFO ] [Nat]Absence check using 3 positive place invariants in 5 ms returned sat
[2023-03-11 08:55:57] [INFO ] [Nat]Absence check using 3 positive and 1 generalized place invariants in 1 ms returned sat
[2023-03-11 08:55:59] [INFO ] After 2077ms SMT Verify possible using state equation in natural domain returned unsat :2 sat :7
[2023-03-11 08:55:59] [INFO ] State equation strengthened by 479 read => feed constraints.
[2023-03-11 08:56:01] [INFO ] After 1166ms SMT Verify possible using 479 Read/Feed constraints in natural domain returned unsat :2 sat :7
[2023-03-11 08:56:02] [INFO ] After 2617ms SMT Verify possible using trap constraints in natural domain returned unsat :2 sat :7
Attempting to minimize the solution found.
Minimization took 1305 ms.
[2023-03-11 08:56:03] [INFO ] After 6846ms SMT Verify possible using all constraints in natural domain returned unsat :2 sat :7
FORMULA FunctionPointer-PT-c128-ReachabilityFireability-14 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA FunctionPointer-PT-c128-ReachabilityFireability-10 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 9 Parikh solutions to 7 different solutions.
Parikh walk visited 0 properties in 311 ms.
Support contains 42 out of 1628 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1628/1628 places, 5962/5962 transitions.
Graph (complete) has 7332 edges and 1628 vertex of which 1611 are kept as prefixes of interest. Removing 17 places using SCC suffix rule.14 ms
Discarding 17 places :
Also discarding 0 output transitions
Discarding 276 places :
Symmetric choice reduction at 0 with 276 rule applications. Total rules 277 place count 1335 transition count 3974
Iterating global reduction 0 with 276 rules applied. Total rules applied 553 place count 1335 transition count 3974
Ensure Unique test removed 516 transitions
Reduce isomorphic transitions removed 516 transitions.
Iterating post reduction 0 with 516 rules applied. Total rules applied 1069 place count 1335 transition count 3458
Discarding 137 places :
Symmetric choice reduction at 1 with 137 rule applications. Total rules 1206 place count 1198 transition count 3184
Iterating global reduction 1 with 137 rules applied. Total rules applied 1343 place count 1198 transition count 3184
Ensure Unique test removed 128 transitions
Reduce isomorphic transitions removed 128 transitions.
Iterating post reduction 1 with 128 rules applied. Total rules applied 1471 place count 1198 transition count 3056
Discarding 14 places :
Symmetric choice reduction at 2 with 14 rule applications. Total rules 1485 place count 1184 transition count 3028
Iterating global reduction 2 with 14 rules applied. Total rules applied 1499 place count 1184 transition count 3028
Discarding 13 places :
Symmetric choice reduction at 2 with 13 rule applications. Total rules 1512 place count 1171 transition count 3002
Iterating global reduction 2 with 13 rules applied. Total rules applied 1525 place count 1171 transition count 3002
Discarding 13 places :
Symmetric choice reduction at 2 with 13 rule applications. Total rules 1538 place count 1158 transition count 2976
Iterating global reduction 2 with 13 rules applied. Total rules applied 1551 place count 1158 transition count 2976
Discarding 11 places :
Symmetric choice reduction at 2 with 11 rule applications. Total rules 1562 place count 1147 transition count 2954
Iterating global reduction 2 with 11 rules applied. Total rules applied 1573 place count 1147 transition count 2954
Discarding 10 places :
Symmetric choice reduction at 2 with 10 rule applications. Total rules 1583 place count 1137 transition count 2934
Iterating global reduction 2 with 10 rules applied. Total rules applied 1593 place count 1137 transition count 2934
Discarding 9 places :
Symmetric choice reduction at 2 with 9 rule applications. Total rules 1602 place count 1128 transition count 2916
Iterating global reduction 2 with 9 rules applied. Total rules applied 1611 place count 1128 transition count 2916
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 1617 place count 1122 transition count 2904
Iterating global reduction 2 with 6 rules applied. Total rules applied 1623 place count 1122 transition count 2904
Discarding 17 places :
Symmetric choice reduction at 2 with 17 rule applications. Total rules 1640 place count 1105 transition count 2842
Iterating global reduction 2 with 17 rules applied. Total rules applied 1657 place count 1105 transition count 2842
Discarding 24 places :
Symmetric choice reduction at 2 with 24 rule applications. Total rules 1681 place count 1081 transition count 2746
Iterating global reduction 2 with 24 rules applied. Total rules applied 1705 place count 1081 transition count 2746
Discarding 24 places :
Symmetric choice reduction at 2 with 24 rule applications. Total rules 1729 place count 1057 transition count 2678
Iterating global reduction 2 with 24 rules applied. Total rules applied 1753 place count 1057 transition count 2678
Discarding 24 places :
Symmetric choice reduction at 2 with 24 rule applications. Total rules 1777 place count 1033 transition count 2630
Iterating global reduction 2 with 24 rules applied. Total rules applied 1801 place count 1033 transition count 2630
Discarding 24 places :
Symmetric choice reduction at 2 with 24 rule applications. Total rules 1825 place count 1009 transition count 2582
Iterating global reduction 2 with 24 rules applied. Total rules applied 1849 place count 1009 transition count 2582
Discarding 24 places :
Symmetric choice reduction at 2 with 24 rule applications. Total rules 1873 place count 985 transition count 2534
Iterating global reduction 2 with 24 rules applied. Total rules applied 1897 place count 985 transition count 2534
Discarding 24 places :
Symmetric choice reduction at 2 with 24 rule applications. Total rules 1921 place count 961 transition count 2486
Iterating global reduction 2 with 24 rules applied. Total rules applied 1945 place count 961 transition count 2486
Discarding 10 places :
Symmetric choice reduction at 2 with 10 rule applications. Total rules 1955 place count 951 transition count 2466
Iterating global reduction 2 with 10 rules applied. Total rules applied 1965 place count 951 transition count 2466
Drop transitions removed 80 transitions
Redundant transition composition rules discarded 80 transitions
Iterating global reduction 2 with 80 rules applied. Total rules applied 2045 place count 951 transition count 2386
Applied a total of 2045 rules in 1758 ms. Remains 951 /1628 variables (removed 677) and now considering 2386/5962 (removed 3576) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1759 ms. Remains : 951/1628 places, 2386/5962 transitions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 48 ms. (steps per millisecond=208 ) properties (out of 7) seen :1
FORMULA FunctionPointer-PT-c128-ReachabilityFireability-13 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=555 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=526 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=769 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 46 ms. (steps per millisecond=217 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=714 ) properties (out of 6) seen :0
Running SMT prover for 6 properties.
[2023-03-11 08:56:06] [INFO ] Flow matrix only has 1615 transitions (discarded 771 similar events)
// Phase 1: matrix 1615 rows 951 cols
[2023-03-11 08:56:06] [INFO ] Computed 2 place invariants in 23 ms
[2023-03-11 08:56:06] [INFO ] [Real]Absence check using 1 positive place invariants in 3 ms returned sat
[2023-03-11 08:56:06] [INFO ] [Real]Absence check using 1 positive and 1 generalized place invariants in 1 ms returned sat
[2023-03-11 08:56:07] [INFO ] After 1186ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:6
[2023-03-11 08:56:07] [INFO ] [Nat]Absence check using 1 positive place invariants in 3 ms returned sat
[2023-03-11 08:56:07] [INFO ] [Nat]Absence check using 1 positive and 1 generalized place invariants in 3 ms returned sat
[2023-03-11 08:56:08] [INFO ] After 1173ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :6
[2023-03-11 08:56:08] [INFO ] State equation strengthened by 380 read => feed constraints.
[2023-03-11 08:56:09] [INFO ] After 851ms SMT Verify possible using 380 Read/Feed constraints in natural domain returned unsat :0 sat :6
[2023-03-11 08:56:10] [INFO ] After 2012ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :6
Attempting to minimize the solution found.
Minimization took 666 ms.
[2023-03-11 08:56:11] [INFO ] After 4120ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :6
Parikh walk visited 0 properties in 322 ms.
Support contains 33 out of 951 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 951/951 places, 2386/2386 transitions.
Discarding 7 places :
Symmetric choice reduction at 0 with 7 rule applications. Total rules 7 place count 944 transition count 2368
Iterating global reduction 0 with 7 rules applied. Total rules applied 14 place count 944 transition count 2368
Ensure Unique test removed 12 transitions
Reduce isomorphic transitions removed 12 transitions.
Iterating post reduction 0 with 12 rules applied. Total rules applied 26 place count 944 transition count 2356
Discarding 8 places :
Symmetric choice reduction at 1 with 8 rule applications. Total rules 34 place count 936 transition count 2340
Iterating global reduction 1 with 8 rules applied. Total rules applied 42 place count 936 transition count 2340
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 1 with 8 rules applied. Total rules applied 50 place count 936 transition count 2332
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 57 place count 929 transition count 2314
Iterating global reduction 2 with 7 rules applied. Total rules applied 64 place count 929 transition count 2314
Discarding 12 places :
Symmetric choice reduction at 2 with 12 rule applications. Total rules 76 place count 917 transition count 2276
Iterating global reduction 2 with 12 rules applied. Total rules applied 88 place count 917 transition count 2276
Discarding 13 places :
Symmetric choice reduction at 2 with 13 rule applications. Total rules 101 place count 904 transition count 2246
Iterating global reduction 2 with 13 rules applied. Total rules applied 114 place count 904 transition count 2246
Discarding 14 places :
Symmetric choice reduction at 2 with 14 rule applications. Total rules 128 place count 890 transition count 2212
Iterating global reduction 2 with 14 rules applied. Total rules applied 142 place count 890 transition count 2212
Discarding 14 places :
Symmetric choice reduction at 2 with 14 rule applications. Total rules 156 place count 876 transition count 2184
Iterating global reduction 2 with 14 rules applied. Total rules applied 170 place count 876 transition count 2184
Discarding 13 places :
Symmetric choice reduction at 2 with 13 rule applications. Total rules 183 place count 863 transition count 2158
Iterating global reduction 2 with 13 rules applied. Total rules applied 196 place count 863 transition count 2158
Discarding 13 places :
Symmetric choice reduction at 2 with 13 rule applications. Total rules 209 place count 850 transition count 2132
Iterating global reduction 2 with 13 rules applied. Total rules applied 222 place count 850 transition count 2132
Discarding 11 places :
Symmetric choice reduction at 2 with 11 rule applications. Total rules 233 place count 839 transition count 2110
Iterating global reduction 2 with 11 rules applied. Total rules applied 244 place count 839 transition count 2110
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 248 place count 835 transition count 2102
Iterating global reduction 2 with 4 rules applied. Total rules applied 252 place count 835 transition count 2102
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 255 place count 832 transition count 2096
Iterating global reduction 2 with 3 rules applied. Total rules applied 258 place count 832 transition count 2096
Applied a total of 258 rules in 452 ms. Remains 832 /951 variables (removed 119) and now considering 2096/2386 (removed 290) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 454 ms. Remains : 832/951 places, 2096/2386 transitions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 41 ms. (steps per millisecond=243 ) properties (out of 6) seen :1
FORMULA FunctionPointer-PT-c128-ReachabilityFireability-11 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=555 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 11 ms. (steps per millisecond=909 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 11 ms. (steps per millisecond=909 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=666 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=1111 ) properties (out of 5) seen :0
Running SMT prover for 5 properties.
[2023-03-11 08:56:12] [INFO ] Flow matrix only has 1414 transitions (discarded 682 similar events)
// Phase 1: matrix 1414 rows 832 cols
[2023-03-11 08:56:12] [INFO ] Computed 2 place invariants in 16 ms
[2023-03-11 08:56:12] [INFO ] [Real]Absence check using 1 positive place invariants in 3 ms returned sat
[2023-03-11 08:56:12] [INFO ] [Real]Absence check using 1 positive and 1 generalized place invariants in 1 ms returned sat
[2023-03-11 08:56:13] [INFO ] After 1020ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:5
[2023-03-11 08:56:13] [INFO ] [Nat]Absence check using 1 positive place invariants in 3 ms returned sat
[2023-03-11 08:56:13] [INFO ] [Nat]Absence check using 1 positive and 1 generalized place invariants in 2 ms returned sat
[2023-03-11 08:56:14] [INFO ] After 812ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :5
[2023-03-11 08:56:14] [INFO ] State equation strengthened by 338 read => feed constraints.
[2023-03-11 08:56:15] [INFO ] After 651ms SMT Verify possible using 338 Read/Feed constraints in natural domain returned unsat :0 sat :5
[2023-03-11 08:56:16] [INFO ] After 1547ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :5
Attempting to minimize the solution found.
Minimization took 551 ms.
[2023-03-11 08:56:16] [INFO ] After 3130ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :5
Parikh walk visited 0 properties in 217 ms.
Support contains 31 out of 832 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 832/832 places, 2096/2096 transitions.
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 2 place count 830 transition count 2090
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 830 transition count 2090
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 6 place count 828 transition count 2086
Iterating global reduction 0 with 2 rules applied. Total rules applied 8 place count 828 transition count 2086
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 9 place count 827 transition count 2082
Iterating global reduction 0 with 1 rules applied. Total rules applied 10 place count 827 transition count 2082
Applied a total of 10 rules in 189 ms. Remains 827 /832 variables (removed 5) and now considering 2082/2096 (removed 14) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 189 ms. Remains : 827/832 places, 2082/2096 transitions.
Incomplete random walk after 10023 steps, including 2 resets, run finished after 35 ms. (steps per millisecond=286 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 22 ms. (steps per millisecond=454 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 11 ms. (steps per millisecond=909 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=1111 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=666 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=714 ) properties (out of 5) seen :0
Interrupted probabilistic random walk after 229476 steps, run timeout after 3001 ms. (steps per millisecond=76 ) properties seen :{}
Probabilistic random walk after 229476 steps, saw 148962 distinct states, run finished after 3002 ms. (steps per millisecond=76 ) properties seen :0
Running SMT prover for 5 properties.
[2023-03-11 08:56:20] [INFO ] Flow matrix only has 1407 transitions (discarded 675 similar events)
// Phase 1: matrix 1407 rows 827 cols
[2023-03-11 08:56:20] [INFO ] Computed 2 place invariants in 9 ms
[2023-03-11 08:56:20] [INFO ] [Real]Absence check using 1 positive place invariants in 3 ms returned sat
[2023-03-11 08:56:20] [INFO ] [Real]Absence check using 1 positive and 1 generalized place invariants in 1 ms returned sat
[2023-03-11 08:56:21] [INFO ] After 923ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:5
[2023-03-11 08:56:21] [INFO ] [Nat]Absence check using 1 positive place invariants in 3 ms returned sat
[2023-03-11 08:56:21] [INFO ] [Nat]Absence check using 1 positive and 1 generalized place invariants in 1 ms returned sat
[2023-03-11 08:56:22] [INFO ] After 802ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :5
[2023-03-11 08:56:22] [INFO ] State equation strengthened by 338 read => feed constraints.
[2023-03-11 08:56:22] [INFO ] After 628ms SMT Verify possible using 338 Read/Feed constraints in natural domain returned unsat :0 sat :5
[2023-03-11 08:56:23] [INFO ] After 1362ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :5
Attempting to minimize the solution found.
Minimization took 520 ms.
[2023-03-11 08:56:24] [INFO ] After 2883ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :5
Parikh walk visited 0 properties in 235 ms.
Support contains 31 out of 827 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 827/827 places, 2082/2082 transitions.
Applied a total of 0 rules in 124 ms. Remains 827 /827 variables (removed 0) and now considering 2082/2082 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 124 ms. Remains : 827/827 places, 2082/2082 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 827/827 places, 2082/2082 transitions.
Applied a total of 0 rules in 122 ms. Remains 827 /827 variables (removed 0) and now considering 2082/2082 (removed 0) transitions.
[2023-03-11 08:56:24] [INFO ] Flow matrix only has 1407 transitions (discarded 675 similar events)
[2023-03-11 08:56:24] [INFO ] Invariant cache hit.
[2023-03-11 08:56:24] [INFO ] Implicit Places using invariants in 412 ms returned []
[2023-03-11 08:56:24] [INFO ] Flow matrix only has 1407 transitions (discarded 675 similar events)
[2023-03-11 08:56:24] [INFO ] Invariant cache hit.
[2023-03-11 08:56:25] [INFO ] State equation strengthened by 338 read => feed constraints.
[2023-03-11 08:56:27] [INFO ] Implicit Places using invariants and state equation in 2340 ms returned []
Implicit Place search using SMT with State Equation took 2757 ms to find 0 implicit places.
[2023-03-11 08:56:27] [INFO ] Redundant transitions in 119 ms returned []
[2023-03-11 08:56:27] [INFO ] Flow matrix only has 1407 transitions (discarded 675 similar events)
[2023-03-11 08:56:27] [INFO ] Invariant cache hit.
[2023-03-11 08:56:28] [INFO ] Dead Transitions using invariants and state equation in 650 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3657 ms. Remains : 827/827 places, 2082/2082 transitions.
Graph (trivial) has 1219 edges and 827 vertex of which 189 / 827 are part of one of the 63 SCC in 5 ms
Free SCC test removed 126 places
Drop transitions removed 315 transitions
Ensure Unique test removed 549 transitions
Reduce isomorphic transitions removed 864 transitions.
Drop transitions removed 32 transitions
Trivial Post-agglo rules discarded 32 transitions
Performed 32 trivial Post agglomeration. Transition count delta: 32
Iterating post reduction 0 with 32 rules applied. Total rules applied 33 place count 701 transition count 1186
Reduce places removed 32 places and 0 transitions.
Iterating post reduction 1 with 32 rules applied. Total rules applied 65 place count 669 transition count 1186
Performed 139 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 139 Pre rules applied. Total rules applied 65 place count 669 transition count 1047
Deduced a syphon composed of 139 places in 0 ms
Reduce places removed 139 places and 0 transitions.
Iterating global reduction 2 with 278 rules applied. Total rules applied 343 place count 530 transition count 1047
Discarding 62 places :
Symmetric choice reduction at 2 with 62 rule applications. Total rules 405 place count 468 transition count 985
Iterating global reduction 2 with 62 rules applied. Total rules applied 467 place count 468 transition count 985
Ensure Unique test removed 124 transitions
Reduce isomorphic transitions removed 124 transitions.
Iterating post reduction 2 with 124 rules applied. Total rules applied 591 place count 468 transition count 861
Performed 136 Post agglomeration using F-continuation condition.Transition count delta: 136
Deduced a syphon composed of 136 places in 0 ms
Reduce places removed 136 places and 0 transitions.
Iterating global reduction 3 with 272 rules applied. Total rules applied 863 place count 332 transition count 725
Discarding 63 places :
Symmetric choice reduction at 3 with 63 rule applications. Total rules 926 place count 269 transition count 599
Iterating global reduction 3 with 63 rules applied. Total rules applied 989 place count 269 transition count 599
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 3 with 2 rules applied. Total rules applied 991 place count 269 transition count 597
Discarding 62 places :
Symmetric choice reduction at 4 with 62 rule applications. Total rules 1053 place count 207 transition count 473
Iterating global reduction 4 with 62 rules applied. Total rules applied 1115 place count 207 transition count 473
Discarding 61 places :
Symmetric choice reduction at 4 with 61 rule applications. Total rules 1176 place count 146 transition count 351
Iterating global reduction 4 with 61 rules applied. Total rules applied 1237 place count 146 transition count 351
Ensure Unique test removed 58 transitions
Reduce isomorphic transitions removed 58 transitions.
Iterating post reduction 4 with 58 rules applied. Total rules applied 1295 place count 146 transition count 293
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 1297 place count 145 transition count 292
Performed 21 Post agglomeration using F-continuation condition.Transition count delta: -2
Deduced a syphon composed of 21 places in 0 ms
Reduce places removed 21 places and 0 transitions.
Iterating global reduction 5 with 42 rules applied. Total rules applied 1339 place count 124 transition count 294
Drop transitions removed 13 transitions
Redundant transition composition rules discarded 13 transitions
Iterating global reduction 5 with 13 rules applied. Total rules applied 1352 place count 124 transition count 281
Free-agglomeration rule applied 3 times.
Iterating global reduction 5 with 3 rules applied. Total rules applied 1355 place count 124 transition count 278
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 5 with 3 rules applied. Total rules applied 1358 place count 121 transition count 278
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 6 with 1 rules applied. Total rules applied 1359 place count 121 transition count 277
Partial Free-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 6 with 1 rules applied. Total rules applied 1360 place count 121 transition count 277
Applied a total of 1360 rules in 134 ms. Remains 121 /827 variables (removed 706) and now considering 277/2082 (removed 1805) transitions.
Running SMT prover for 5 properties.
// Phase 1: matrix 277 rows 121 cols
[2023-03-11 08:56:28] [INFO ] Computed 2 place invariants in 2 ms
[2023-03-11 08:56:28] [INFO ] [Real]Absence check using 1 positive place invariants in 0 ms returned sat
[2023-03-11 08:56:28] [INFO ] [Real]Absence check using 1 positive and 1 generalized place invariants in 1 ms returned sat
[2023-03-11 08:56:28] [INFO ] After 328ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:5
[2023-03-11 08:56:28] [INFO ] [Nat]Absence check using 1 positive place invariants in 0 ms returned sat
[2023-03-11 08:56:28] [INFO ] [Nat]Absence check using 1 positive and 1 generalized place invariants in 1 ms returned sat
[2023-03-11 08:56:28] [INFO ] After 150ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :5
[2023-03-11 08:56:28] [INFO ] State equation strengthened by 2 read => feed constraints.
[2023-03-11 08:56:28] [INFO ] After 103ms SMT Verify possible using 2 Read/Feed constraints in natural domain returned unsat :0 sat :5
[2023-03-11 08:56:28] [INFO ] After 233ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :5
Attempting to minimize the solution found.
Minimization took 105 ms.
[2023-03-11 08:56:29] [INFO ] After 532ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :5
[2023-03-11 08:56:29] [INFO ] Export to MCC of 5 properties in file /home/mcc/execution/ReachabilityFireability.sr.xml took 3 ms.
[2023-03-11 08:56:29] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 827 places, 2082 transitions and 8454 arcs took 11 ms.
[2023-03-11 08:56:29] [INFO ] Flatten gal took : 200 ms
Total runtime 35122 ms.
There are residual formulas that ITS could not solve within timeout
starting LoLA
BK_INPUT FunctionPointer-PT-c128
BK_EXAMINATION: ReachabilityFireability
bin directory: /home/mcc/BenchKit/bin//../reducer/bin//../../lola/bin/
current directory: /home/mcc/execution/377
ReachabilityFireability

FORMULA FunctionPointer-PT-c128-ReachabilityFireability-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA FunctionPointer-PT-c128-ReachabilityFireability-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA FunctionPointer-PT-c128-ReachabilityFireability-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA FunctionPointer-PT-c128-ReachabilityFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA FunctionPointer-PT-c128-ReachabilityFireability-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

BK_STOP 1678525567127

--------------------
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/377/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/377/model.pnml
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/execution/377/ReachabilityFireability.xml
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: Created skeleton in 0.000000 secs.
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: LAUNCH task # 19 (type EXCL) for 3 FunctionPointer-PT-c128-ReachabilityFireability-03
lola: time limit : 719 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 15 (type FNDP) for 3 FunctionPointer-PT-c128-ReachabilityFireability-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 16 (type EQUN) for 3 FunctionPointer-PT-c128-ReachabilityFireability-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 18 (type SRCH) for 3 FunctionPointer-PT-c128-ReachabilityFireability-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/377/ReachabilityFireability-16.sara.
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
sara: place or transition ordering is non-deterministic
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k: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
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-03: EF 0 1 4 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
15 EF FNDP 5/513 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 57415 t fired, 1 attempts, .
16 EF STEQ 5/513 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 sara is running.
18 EF SRCH 5/598 1/5 FunctionPointer-PT-c128-ReachabilityFireability-03 41217 m, 8243 m/sec, 41216 t fired, .
19 EF EXCL 5/719 1/32 FunctionPointer-PT-c128-ReachabilityFireability-03 14113 m, 2822 m/sec, 15216 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-03: EF 0 1 4 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
15 EF FNDP 10/509 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 134632 t fired, 1 attempts, .
16 EF STEQ 10/509 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 sara is running.
18 EF SRCH 10/594 2/5 FunctionPointer-PT-c128-ReachabilityFireability-03 111559 m, 14068 m/sec, 111558 t fired, .
19 EF EXCL 10/719 1/32 FunctionPointer-PT-c128-ReachabilityFireability-03 35921 m, 4361 m/sec, 38841 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-03: EF 0 1 4 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
15 EF FNDP 15/504 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 203438 t fired, 3 attempts, .
16 EF STEQ 15/504 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 sara is running.
18 EF SRCH 15/589 2/5 FunctionPointer-PT-c128-ReachabilityFireability-03 181821 m, 14052 m/sec, 181820 t fired, .
19 EF EXCL 15/719 1/32 FunctionPointer-PT-c128-ReachabilityFireability-03 57790 m, 4373 m/sec, 62533 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-03: EF 0 1 4 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
15 EF FNDP 20/499 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 272177 t fired, 35 attempts, .
16 EF STEQ 20/499 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 sara is running.
18 EF SRCH 20/584 3/5 FunctionPointer-PT-c128-ReachabilityFireability-03 252056 m, 14047 m/sec, 252055 t fired, .
19 EF EXCL 20/719 1/32 FunctionPointer-PT-c128-ReachabilityFireability-03 79517 m, 4345 m/sec, 86070 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-03: EF 0 1 4 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
15 EF FNDP 25/494 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 339092 t fired, 69 attempts, .
16 EF STEQ 25/494 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 sara is running.
18 EF SRCH 25/579 4/5 FunctionPointer-PT-c128-ReachabilityFireability-03 321951 m, 13979 m/sec, 321950 t fired, .
19 EF EXCL 25/719 2/32 FunctionPointer-PT-c128-ReachabilityFireability-03 101507 m, 4398 m/sec, 109892 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-03: EF 0 1 4 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
15 EF FNDP 30/489 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 404672 t fired, 154 attempts, .
16 EF STEQ 30/489 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 sara is running.
18 EF SRCH 30/574 4/5 FunctionPointer-PT-c128-ReachabilityFireability-03 391638 m, 13937 m/sec, 391637 t fired, .
19 EF EXCL 30/719 2/32 FunctionPointer-PT-c128-ReachabilityFireability-03 123759 m, 4450 m/sec, 133998 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-03: EF 0 1 4 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
15 EF FNDP 35/484 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 469355 t fired, 258 attempts, .
16 EF STEQ 35/484 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 sara is running.
18 EF SRCH 35/569 5/5 FunctionPointer-PT-c128-ReachabilityFireability-03 461561 m, 13984 m/sec, 461560 t fired, .
19 EF EXCL 35/719 2/32 FunctionPointer-PT-c128-ReachabilityFireability-03 146063 m, 4460 m/sec, 158162 t fired, .

Time elapsed: 36 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 5
lola: CANCELED task # 18 (type SRCH) for FunctionPointer-PT-c128-ReachabilityFireability-03 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-03: EF 0 1 3 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
15 EF FNDP 40/479 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 533222 t fired, 362 attempts, .
16 EF STEQ 40/479 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 sara is running.
19 EF EXCL 40/719 2/32 FunctionPointer-PT-c128-ReachabilityFireability-03 168318 m, 4451 m/sec, 182271 t fired, .

Time elapsed: 41 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 5
lola: LAUNCH task # 40 (type FNDP) for 0 FunctionPointer-PT-c128-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
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-03: EF 0 1 3 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
15 EF FNDP 45/559 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 596021 t fired, 473 attempts, .
16 EF STEQ 45/559 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 sara is running.
19 EF EXCL 45/719 3/32 FunctionPointer-PT-c128-ReachabilityFireability-03 190997 m, 4535 m/sec, 206840 t fired, .
40 EF FNDP 5/508 0/5 FunctionPointer-PT-c128-ReachabilityFireability-00 85890 t fired, 1 attempts, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-03: EF 0 1 3 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
15 EF FNDP 50/554 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 658490 t fired, 579 attempts, .
16 EF STEQ 50/554 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 sara is running.
19 EF EXCL 50/719 3/32 FunctionPointer-PT-c128-ReachabilityFireability-03 213682 m, 4537 m/sec, 231415 t fired, .
40 EF FNDP 10/503 0/5 FunctionPointer-PT-c128-ReachabilityFireability-00 171688 t fired, 1 attempts, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-03: EF 0 1 3 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
15 EF FNDP 55/549 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 720461 t fired, 686 attempts, .
16 EF STEQ 55/549 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 sara is running.
19 EF EXCL 55/719 3/32 FunctionPointer-PT-c128-ReachabilityFireability-03 236404 m, 4544 m/sec, 256031 t fired, .
40 EF FNDP 15/498 0/5 FunctionPointer-PT-c128-ReachabilityFireability-00 257819 t fired, 1 attempts, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-03: EF 0 1 3 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
15 EF FNDP 60/544 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 783145 t fired, 763 attempts, .
16 EF STEQ 60/544 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 sara is running.
19 EF EXCL 60/719 3/32 FunctionPointer-PT-c128-ReachabilityFireability-03 259120 m, 4543 m/sec, 280639 t fired, .
40 EF FNDP 20/493 0/5 FunctionPointer-PT-c128-ReachabilityFireability-00 343701 t fired, 1 attempts, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-03: EF 0 1 3 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
15 EF FNDP 65/539 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 844415 t fired, 858 attempts, .
16 EF STEQ 65/539 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 sara is running.
19 EF EXCL 65/719 3/32 FunctionPointer-PT-c128-ReachabilityFireability-03 281789 m, 4533 m/sec, 305198 t fired, .
40 EF FNDP 25/488 0/5 FunctionPointer-PT-c128-ReachabilityFireability-00 428417 t fired, 1 attempts, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-03: EF 0 1 3 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
15 EF FNDP 70/534 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 905656 t fired, 940 attempts, .
16 EF STEQ 70/534 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 sara is running.
19 EF EXCL 70/719 4/32 FunctionPointer-PT-c128-ReachabilityFireability-03 304462 m, 4534 m/sec, 329761 t fired, .
40 EF FNDP 30/483 0/5 FunctionPointer-PT-c128-ReachabilityFireability-00 511659 t fired, 1 attempts, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-03: EF 0 1 3 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
15 EF FNDP 75/529 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 966356 t fired, 1021 attempts, .
16 EF STEQ 75/529 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 sara is running.
19 EF EXCL 75/719 4/32 FunctionPointer-PT-c128-ReachabilityFireability-03 327153 m, 4538 m/sec, 354342 t fired, .
40 EF FNDP 35/478 0/5 FunctionPointer-PT-c128-ReachabilityFireability-00 592438 t fired, 1 attempts, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-03: EF 0 1 3 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
15 EF FNDP 80/524 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 1027580 t fired, 1092 attempts, .
16 EF STEQ 80/524 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 sara is running.
19 EF EXCL 80/719 4/32 FunctionPointer-PT-c128-ReachabilityFireability-03 349868 m, 4543 m/sec, 378951 t fired, .
40 EF FNDP 40/473 0/5 FunctionPointer-PT-c128-ReachabilityFireability-00 672217 t fired, 1 attempts, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-03: EF 0 1 3 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
15 EF FNDP 85/519 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 1087970 t fired, 1159 attempts, .
16 EF STEQ 85/519 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 sara is running.
19 EF EXCL 85/719 4/32 FunctionPointer-PT-c128-ReachabilityFireability-03 372508 m, 4528 m/sec, 403477 t fired, .
40 EF FNDP 45/468 0/5 FunctionPointer-PT-c128-ReachabilityFireability-00 751110 t fired, 1 attempts, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-03: EF 0 1 3 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
15 EF FNDP 90/514 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 1147947 t fired, 1232 attempts, .
16 EF STEQ 90/514 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 sara is running.
19 EF EXCL 90/719 5/32 FunctionPointer-PT-c128-ReachabilityFireability-03 395159 m, 4530 m/sec, 428016 t fired, .
40 EF FNDP 50/463 0/5 FunctionPointer-PT-c128-ReachabilityFireability-00 829212 t fired, 1 attempts, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-03: EF 0 1 3 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
15 EF FNDP 95/509 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 1208185 t fired, 1290 attempts, .
16 EF STEQ 95/509 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 sara is running.
19 EF EXCL 95/719 5/32 FunctionPointer-PT-c128-ReachabilityFireability-03 417811 m, 4530 m/sec, 452555 t fired, .
40 EF FNDP 55/458 0/5 FunctionPointer-PT-c128-ReachabilityFireability-00 906442 t fired, 1 attempts, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-03: EF 0 1 3 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
15 EF FNDP 100/504 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 1267179 t fired, 1359 attempts, .
16 EF STEQ 100/504 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 sara is running.
19 EF EXCL 100/719 5/32 FunctionPointer-PT-c128-ReachabilityFireability-03 440436 m, 4525 m/sec, 477065 t fired, .
40 EF FNDP 60/453 0/5 FunctionPointer-PT-c128-ReachabilityFireability-00 983346 t fired, 1 attempts, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-03: EF 0 1 3 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
15 EF FNDP 105/499 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 1326413 t fired, 1422 attempts, .
16 EF STEQ 105/499 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 sara is running.
19 EF EXCL 105/719 5/32 FunctionPointer-PT-c128-ReachabilityFireability-03 463196 m, 4552 m/sec, 501723 t fired, .
40 EF FNDP 65/448 0/5 FunctionPointer-PT-c128-ReachabilityFireability-00 1058507 t fired, 2 attempts, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-03: EF 0 1 3 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
15 EF FNDP 110/494 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 1379938 t fired, 1493 attempts, .
16 EF STEQ 110/494 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 sara is running.
19 EF EXCL 110/719 6/32 FunctionPointer-PT-c128-ReachabilityFireability-03 485985 m, 4557 m/sec, 526410 t fired, .
40 EF FNDP 70/443 0/5 FunctionPointer-PT-c128-ReachabilityFireability-00 1126818 t fired, 2 attempts, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-03: EF 0 1 3 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
15 EF FNDP 115/489 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 1430593 t fired, 1540 attempts, .
16 EF STEQ 115/489 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 sara is running.
19 EF EXCL 115/719 6/32 FunctionPointer-PT-c128-ReachabilityFireability-03 508678 m, 4538 m/sec, 550995 t fired, .
40 EF FNDP 75/438 0/5 FunctionPointer-PT-c128-ReachabilityFireability-00 1190133 t fired, 2 attempts, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-03: EF 0 1 3 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
15 EF FNDP 120/484 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 1488971 t fired, 1603 attempts, .
16 EF STEQ 120/484 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 sara is running.
19 EF EXCL 120/719 6/32 FunctionPointer-PT-c128-ReachabilityFireability-03 531153 m, 4495 m/sec, 575342 t fired, .
40 EF FNDP 80/433 0/5 FunctionPointer-PT-c128-ReachabilityFireability-00 1263075 t fired, 2 attempts, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-03: EF 0 1 3 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
15 EF FNDP 125/479 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 1546623 t fired, 1674 attempts, .
16 EF STEQ 125/479 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 sara is running.
19 EF EXCL 125/719 6/32 FunctionPointer-PT-c128-ReachabilityFireability-03 553651 m, 4499 m/sec, 599715 t fired, .
40 EF FNDP 85/428 0/5 FunctionPointer-PT-c128-ReachabilityFireability-00 1335262 t fired, 2 attempts, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-03: EF 0 1 3 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
15 EF FNDP 130/474 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 1605203 t fired, 1730 attempts, .
16 EF STEQ 130/474 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 sara is running.
19 EF EXCL 130/719 7/32 FunctionPointer-PT-c128-ReachabilityFireability-03 576148 m, 4499 m/sec, 624087 t fired, .
40 EF FNDP 90/423 0/5 FunctionPointer-PT-c128-ReachabilityFireability-00 1406800 t fired, 2 attempts, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-03: EF 0 1 3 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
15 EF FNDP 135/469 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 1663176 t fired, 1793 attempts, .
16 EF STEQ 135/469 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 sara is running.
19 EF EXCL 135/719 7/32 FunctionPointer-PT-c128-ReachabilityFireability-03 598599 m, 4490 m/sec, 648408 t fired, .
40 EF FNDP 95/418 0/5 FunctionPointer-PT-c128-ReachabilityFireability-00 1477882 t fired, 2 attempts, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-03: EF 0 1 3 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
15 EF FNDP 140/464 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 1720433 t fired, 1860 attempts, .
16 EF STEQ 140/464 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 sara is running.
19 EF EXCL 140/719 7/32 FunctionPointer-PT-c128-ReachabilityFireability-03 621100 m, 4500 m/sec, 672785 t fired, .
40 EF FNDP 100/413 0/5 FunctionPointer-PT-c128-ReachabilityFireability-00 1548484 t fired, 2 attempts, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-03: EF 0 1 3 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
15 EF FNDP 145/459 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 1769612 t fired, 1907 attempts, .
16 EF STEQ 145/459 0/5 FunctionPointer-PT-c128-ReachabilityFireability-03 sara is running.
19 EF EXCL 145/719 7/32 FunctionPointer-PT-c128-ReachabilityFireability-03 643604 m, 4500 m/sec, 697165 t fired, .
40 EF FNDP 105/408 0/5 FunctionPointer-PT-c128-ReachabilityFireability-00 1608112 t fired, 2 attempts, .

Time elapsed: 146 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 5
lola: FINISHED task # 15 (type FNDP) for FunctionPointer-PT-c128-ReachabilityFireability-03
lola: result : true
lola: fired transitions : 1770842
lola: tried executions : 1910
lola: time used : 145.000000
lola: memory pages used : 0
lola: CANCELED task # 16 (type EQUN) for FunctionPointer-PT-c128-ReachabilityFireability-03 (obsolete)
lola: CANCELED task # 19 (type EXCL) for FunctionPointer-PT-c128-ReachabilityFireability-03 (obsolete)
lola: LAUNCH task # 31 (type EXCL) for 12 FunctionPointer-PT-c128-ReachabilityFireability-12
lola: time limit : 863 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 33 (type FNDP) for 9 FunctionPointer-PT-c128-ReachabilityFireability-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 34 (type EQUN) for 9 FunctionPointer-PT-c128-ReachabilityFireability-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/377/ReachabilityFireability-34.sara.
lola: FINISHED task # 16 (type EQUN) for FunctionPointer-PT-c128-ReachabilityFireability-03
lola: result : unknown
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 3 2 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
31 EF EXCL 5/863 1/32 FunctionPointer-PT-c128-ReachabilityFireability-12 24263 m, 4852 m/sec, 26212 t fired, .
33 EF FNDP 5/575 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 73073 t fired, 1 attempts, .
34 EF STEQ 5/690 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 sara is running.
40 EF FNDP 110/606 0/5 FunctionPointer-PT-c128-ReachabilityFireability-00 1678406 t fired, 2 attempts, .

Time elapsed: 151 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 5
sara: warning, failure of lp_solve (at job 40)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 3 2 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
31 EF EXCL 10/863 1/32 FunctionPointer-PT-c128-ReachabilityFireability-12 49723 m, 5092 m/sec, 53793 t fired, .
33 EF FNDP 10/570 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 149781 t fired, 1 attempts, .
34 EF STEQ 10/685 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 sara is running.
40 EF FNDP 115/601 0/5 FunctionPointer-PT-c128-ReachabilityFireability-00 1748400 t fired, 2 attempts, .

Time elapsed: 156 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 3 2 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
31 EF EXCL 15/863 1/32 FunctionPointer-PT-c128-ReachabilityFireability-12 74140 m, 4883 m/sec, 80245 t fired, .
33 EF FNDP 15/565 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 223398 t fired, 1 attempts, .
34 EF STEQ 15/680 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 sara is running.
40 EF FNDP 120/596 0/5 FunctionPointer-PT-c128-ReachabilityFireability-00 1817861 t fired, 2 attempts, .

Time elapsed: 161 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 3 2 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
31 EF EXCL 20/863 2/32 FunctionPointer-PT-c128-ReachabilityFireability-12 96433 m, 4458 m/sec, 104396 t fired, .
33 EF FNDP 20/560 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 291708 t fired, 7 attempts, .
34 EF STEQ 20/675 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 sara is running.
40 EF FNDP 125/591 0/5 FunctionPointer-PT-c128-ReachabilityFireability-00 1887080 t fired, 2 attempts, .

Time elapsed: 166 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 3 2 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
31 EF EXCL 25/863 2/32 FunctionPointer-PT-c128-ReachabilityFireability-12 109828 m, 2679 m/sec, 118907 t fired, .
33 EF FNDP 25/555 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 359956 t fired, 52 attempts, .
34 EF STEQ 25/670 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 sara is running.
40 EF FNDP 130/586 0/5 FunctionPointer-PT-c128-ReachabilityFireability-00 1956098 t fired, 2 attempts, .

Time elapsed: 171 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 3 2 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
31 EF EXCL 30/863 2/32 FunctionPointer-PT-c128-ReachabilityFireability-12 135509 m, 5136 m/sec, 146728 t fired, .
33 EF FNDP 30/550 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 399473 t fired, 91 attempts, .
34 EF STEQ 30/665 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 sara is running.
40 EF FNDP 135/581 0/5 FunctionPointer-PT-c128-ReachabilityFireability-00 2024377 t fired, 3 attempts, .

Time elapsed: 176 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 3 2 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
31 EF EXCL 35/863 2/32 FunctionPointer-PT-c128-ReachabilityFireability-12 161136 m, 5125 m/sec, 174491 t fired, .
33 EF FNDP 35/545 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 432791 t fired, 111 attempts, .
34 EF STEQ 35/660 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 sara is running.
40 EF FNDP 140/576 0/5 FunctionPointer-PT-c128-ReachabilityFireability-00 2092848 t fired, 3 attempts, .

Time elapsed: 181 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 3 2 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
31 EF EXCL 40/863 2/32 FunctionPointer-PT-c128-ReachabilityFireability-12 186759 m, 5124 m/sec, 202248 t fired, .
33 EF FNDP 40/540 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 466380 t fired, 111 attempts, .
34 EF STEQ 40/655 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 sara is running.
40 EF FNDP 145/571 0/5 FunctionPointer-PT-c128-ReachabilityFireability-00 2160762 t fired, 3 attempts, .

Time elapsed: 186 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 3 2 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
31 EF EXCL 45/863 3/32 FunctionPointer-PT-c128-ReachabilityFireability-12 212430 m, 5134 m/sec, 230059 t fired, .
33 EF FNDP 45/535 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 499584 t fired, 154 attempts, .
34 EF STEQ 45/650 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 sara is running.
40 EF FNDP 150/566 0/5 FunctionPointer-PT-c128-ReachabilityFireability-00 2228605 t fired, 3 attempts, .

Time elapsed: 191 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 3 2 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
31 EF EXCL 50/863 3/32 FunctionPointer-PT-c128-ReachabilityFireability-12 238041 m, 5122 m/sec, 257804 t fired, .
33 EF FNDP 50/530 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 538488 t fired, 203 attempts, .
34 EF STEQ 50/645 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 sara is running.
40 EF FNDP 155/561 0/5 FunctionPointer-PT-c128-ReachabilityFireability-00 2295873 t fired, 3 attempts, .

Time elapsed: 196 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 3 2 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
31 EF EXCL 55/863 3/32 FunctionPointer-PT-c128-ReachabilityFireability-12 263664 m, 5124 m/sec, 285563 t fired, .
33 EF FNDP 55/525 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 574786 t fired, 263 attempts, .
34 EF STEQ 55/640 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 sara is running.
40 EF FNDP 160/556 0/5 FunctionPointer-PT-c128-ReachabilityFireability-00 2354047 t fired, 3 attempts, .

Time elapsed: 201 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 3 2 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
31 EF EXCL 60/863 4/32 FunctionPointer-PT-c128-ReachabilityFireability-12 289265 m, 5120 m/sec, 313297 t fired, .
33 EF FNDP 60/520 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 607072 t fired, 316 attempts, .
34 EF STEQ 60/635 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 sara is running.
40 EF FNDP 165/551 0/5 FunctionPointer-PT-c128-ReachabilityFireability-00 2412099 t fired, 3 attempts, .

Time elapsed: 206 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 3 2 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
31 EF EXCL 65/863 4/32 FunctionPointer-PT-c128-ReachabilityFireability-12 314842 m, 5115 m/sec, 341005 t fired, .
33 EF FNDP 65/515 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 664561 t fired, 338 attempts, .
34 EF STEQ 65/630 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 sara is running.
40 EF FNDP 170/546 0/5 FunctionPointer-PT-c128-ReachabilityFireability-00 2478469 t fired, 3 attempts, .

Time elapsed: 211 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 3 2 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
31 EF EXCL 70/863 4/32 FunctionPointer-PT-c128-ReachabilityFireability-12 340465 m, 5124 m/sec, 368764 t fired, .
33 EF FNDP 70/510 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 726780 t fired, 338 attempts, .
34 EF STEQ 70/625 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 sara is running.
40 EF FNDP 175/541 0/5 FunctionPointer-PT-c128-ReachabilityFireability-00 2543379 t fired, 3 attempts, .

Time elapsed: 216 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 3 2 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
31 EF EXCL 75/863 4/32 FunctionPointer-PT-c128-ReachabilityFireability-12 366068 m, 5120 m/sec, 396501 t fired, .
33 EF FNDP 75/505 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 793127 t fired, 338 attempts, .
34 EF STEQ 75/620 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 sara is running.
40 EF FNDP 180/536 0/5 FunctionPointer-PT-c128-ReachabilityFireability-00 2609532 t fired, 3 attempts, .

Time elapsed: 221 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 3 2 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
31 EF EXCL 80/863 5/32 FunctionPointer-PT-c128-ReachabilityFireability-12 391561 m, 5098 m/sec, 424118 t fired, .
33 EF FNDP 80/500 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 859690 t fired, 338 attempts, .
34 EF STEQ 80/615 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 sara is running.
40 EF FNDP 185/531 0/5 FunctionPointer-PT-c128-ReachabilityFireability-00 2659461 t fired, 3 attempts, .

Time elapsed: 226 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 3 2 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
31 EF EXCL 85/863 5/32 FunctionPointer-PT-c128-ReachabilityFireability-12 417127 m, 5113 m/sec, 451814 t fired, .
33 EF FNDP 85/495 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 926216 t fired, 338 attempts, .
34 EF STEQ 85/610 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 sara is running.
40 EF FNDP 190/526 0/5 FunctionPointer-PT-c128-ReachabilityFireability-00 2692155 t fired, 3 attempts, .

Time elapsed: 231 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 3 2 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
31 EF EXCL 90/863 5/32 FunctionPointer-PT-c128-ReachabilityFireability-12 442726 m, 5119 m/sec, 479547 t fired, .
33 EF FNDP 90/490 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 992879 t fired, 338 attempts, .
34 EF STEQ 90/605 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 sara is running.
40 EF FNDP 195/521 0/5 FunctionPointer-PT-c128-ReachabilityFireability-00 2741074 t fired, 3 attempts, .

Time elapsed: 236 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 3 2 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
31 EF EXCL 95/863 5/32 FunctionPointer-PT-c128-ReachabilityFireability-12 468359 m, 5126 m/sec, 507316 t fired, .
33 EF FNDP 95/485 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 1059590 t fired, 338 attempts, .
34 EF STEQ 95/600 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 sara is running.
40 EF FNDP 200/516 0/5 FunctionPointer-PT-c128-ReachabilityFireability-00 2806572 t fired, 3 attempts, .

Time elapsed: 241 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 3 2 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
31 EF EXCL 100/863 6/32 FunctionPointer-PT-c128-ReachabilityFireability-12 493857 m, 5099 m/sec, 534938 t fired, .
33 EF FNDP 100/480 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 1126222 t fired, 338 attempts, .
34 EF STEQ 100/595 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 sara is running.
40 EF FNDP 205/511 0/5 FunctionPointer-PT-c128-ReachabilityFireability-00 2860539 t fired, 3 attempts, .

Time elapsed: 246 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 3 2 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
31 EF EXCL 105/863 6/32 FunctionPointer-PT-c128-ReachabilityFireability-12 519465 m, 5121 m/sec, 562680 t fired, .
33 EF FNDP 105/475 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 1193004 t fired, 338 attempts, .
34 EF STEQ 105/590 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 sara is running.
40 EF FNDP 210/506 0/5 FunctionPointer-PT-c128-ReachabilityFireability-00 2925723 t fired, 3 attempts, .

Time elapsed: 251 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 3 2 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
31 EF EXCL 110/863 6/32 FunctionPointer-PT-c128-ReachabilityFireability-12 545087 m, 5124 m/sec, 590438 t fired, .
33 EF FNDP 110/470 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 1259947 t fired, 338 attempts, .
34 EF STEQ 110/585 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 sara is running.
40 EF FNDP 215/501 0/5 FunctionPointer-PT-c128-ReachabilityFireability-00 2990919 t fired, 3 attempts, .

Time elapsed: 256 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 3 2 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
31 EF EXCL 115/863 7/32 FunctionPointer-PT-c128-ReachabilityFireability-12 570700 m, 5122 m/sec, 618185 t fired, .
33 EF FNDP 115/465 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 1326950 t fired, 338 attempts, .
34 EF STEQ 115/580 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 sara is running.
40 EF FNDP 220/496 0/5 FunctionPointer-PT-c128-ReachabilityFireability-00 3047042 t fired, 5 attempts, .

Time elapsed: 261 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 5
lola: FINISHED task # 40 (type FNDP) for FunctionPointer-PT-c128-ReachabilityFireability-00
lola: result : true
lola: fired transitions : 3072775
lola: tried executions : 5
lola: time used : 223.000000
lola: memory pages used : 0
lola: LAUNCH task # 21 (type FNDP) for 6 FunctionPointer-PT-c128-ReachabilityFireability-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 3 2 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 2/834 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 20077 t fired, 1 attempts, .
31 EF EXCL 120/1151 7/32 FunctionPointer-PT-c128-ReachabilityFireability-12 596273 m, 5114 m/sec, 645889 t fired, .
33 EF FNDP 120/745 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 1393979 t fired, 338 attempts, .
34 EF STEQ 120/745 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 sara is running.

Time elapsed: 266 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 3 2 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 7/832 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 75892 t fired, 1 attempts, .
31 EF EXCL 125/1151 7/32 FunctionPointer-PT-c128-ReachabilityFireability-12 621917 m, 5128 m/sec, 673670 t fired, .
33 EF FNDP 125/743 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 1460890 t fired, 338 attempts, .
34 EF STEQ 125/743 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 sara is running.

Time elapsed: 271 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 3 2 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 12/827 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 152351 t fired, 1 attempts, .
31 EF EXCL 130/1151 7/32 FunctionPointer-PT-c128-ReachabilityFireability-12 647503 m, 5117 m/sec, 701388 t fired, .
33 EF FNDP 130/738 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 1527629 t fired, 338 attempts, .
34 EF STEQ 130/738 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 sara is running.

Time elapsed: 276 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 4 1 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-06: EF 0 3 2 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 17/822 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 224837 t fired, 1 attempts, .
31 EF EXCL 135/1151 8/32 FunctionPointer-PT-c128-ReachabilityFireability-12 673089 m, 5117 m/sec, 729106 t fired, .
33 EF FNDP 135/733 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 1594250 t fired, 338 attempts, .
34 EF STEQ 135/733 0/5 FunctionPointer-PT-c128-ReachabilityFireability-06 sara is running.

Time elapsed: 281 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 5
lola: FINISHED task # 33 (type FNDP) for FunctionPointer-PT-c128-ReachabilityFireability-06
lola: result : true
lola: fired transitions : 1649107
lola: tried executions : 355
lola: time used : 139.000000
lola: memory pages used : 0
lola: CANCELED task # 34 (type EQUN) for FunctionPointer-PT-c128-ReachabilityFireability-06 (obsolete)
lola: LAUNCH task # 22 (type EQUN) for 6 FunctionPointer-PT-c128-ReachabilityFireability-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 24 (type SRCH) for 6 FunctionPointer-PT-c128-ReachabilityFireability-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 34 (type EQUN) for FunctionPointer-PT-c128-ReachabilityFireability-06
lola: result : unknown
sara: try reading problem file /home/mcc/execution/377/ReachabilityFireability-22.sara.
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 2 3 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 22/1647 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 294947 t fired, 1 attempts, .
22 EF STEQ 1/1105 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
24 EF SRCH 1/1105 1/5 FunctionPointer-PT-c128-ReachabilityFireability-04 10305 m, 2061 m/sec, 10304 t fired, .
31 EF EXCL 140/1727 8/32 FunctionPointer-PT-c128-ReachabilityFireability-12 698591 m, 5100 m/sec, 756734 t fired, .

Time elapsed: 286 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 2 3 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 27/1646 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 380331 t fired, 1 attempts, .
22 EF STEQ 6/1104 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
24 EF SRCH 6/1104 1/5 FunctionPointer-PT-c128-ReachabilityFireability-04 89997 m, 15938 m/sec, 89996 t fired, .
31 EF EXCL 145/1727 8/32 FunctionPointer-PT-c128-ReachabilityFireability-12 724185 m, 5118 m/sec, 784460 t fired, .

Time elapsed: 291 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 2 3 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 32/1641 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 464090 t fired, 1 attempts, .
22 EF STEQ 11/1099 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
24 EF SRCH 11/1099 2/5 FunctionPointer-PT-c128-ReachabilityFireability-04 169682 m, 15937 m/sec, 169681 t fired, .
31 EF EXCL 150/1727 8/32 FunctionPointer-PT-c128-ReachabilityFireability-12 749760 m, 5115 m/sec, 812167 t fired, .

Time elapsed: 296 secs. Pages in use: 10
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 2 3 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 37/1636 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 546619 t fired, 1 attempts, .
22 EF STEQ 16/1094 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
24 EF SRCH 16/1094 3/5 FunctionPointer-PT-c128-ReachabilityFireability-04 249104 m, 15884 m/sec, 249103 t fired, .
31 EF EXCL 155/1727 9/32 FunctionPointer-PT-c128-ReachabilityFireability-12 775349 m, 5117 m/sec, 839888 t fired, .

Time elapsed: 301 secs. Pages in use: 12
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 2 3 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 42/1631 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 627782 t fired, 1 attempts, .
22 EF STEQ 21/1089 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
24 EF SRCH 21/1089 4/5 FunctionPointer-PT-c128-ReachabilityFireability-04 328698 m, 15918 m/sec, 328697 t fired, .
31 EF EXCL 160/1727 9/32 FunctionPointer-PT-c128-ReachabilityFireability-12 800947 m, 5119 m/sec, 867619 t fired, .

Time elapsed: 306 secs. Pages in use: 13
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 2 3 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 47/1626 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 686863 t fired, 1 attempts, .
22 EF STEQ 26/1084 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
24 EF SRCH 26/1084 4/5 FunctionPointer-PT-c128-ReachabilityFireability-04 382476 m, 10755 m/sec, 382475 t fired, .
31 EF EXCL 165/1727 9/32 FunctionPointer-PT-c128-ReachabilityFireability-12 824929 m, 4796 m/sec, 893600 t fired, .

Time elapsed: 311 secs. Pages in use: 13
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 2 3 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 52/1621 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 766211 t fired, 1 attempts, .
22 EF STEQ 31/1079 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
24 EF SRCH 31/1079 5/5 FunctionPointer-PT-c128-ReachabilityFireability-04 421960 m, 7896 m/sec, 421959 t fired, .
31 EF EXCL 170/1727 9/32 FunctionPointer-PT-c128-ReachabilityFireability-12 837702 m, 2554 m/sec, 907437 t fired, .

Time elapsed: 316 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 2 3 0 1 0 0 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 57/1616 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 843085 t fired, 1 attempts, .
22 EF STEQ 36/1074 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
24 EF SRCH 36/1074 5/5 FunctionPointer-PT-c128-ReachabilityFireability-04 461661 m, 7940 m/sec, 461660 t fired, .
31 EF EXCL 175/1727 10/32 FunctionPointer-PT-c128-ReachabilityFireability-12 859224 m, 4304 m/sec, 930753 t fired, .

Time elapsed: 321 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 5
lola: CANCELED task # 24 (type SRCH) for FunctionPointer-PT-c128-ReachabilityFireability-04 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 2 2 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 62/1611 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 920879 t fired, 1 attempts, .
22 EF STEQ 41/1069 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
31 EF EXCL 180/1727 10/32 FunctionPointer-PT-c128-ReachabilityFireability-12 884815 m, 5118 m/sec, 958476 t fired, .

Time elapsed: 326 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 5
lola: LAUNCH task # 27 (type FNDP) for 12 FunctionPointer-PT-c128-ReachabilityFireability-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 2 2 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 67/1606 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 997165 t fired, 1 attempts, .
22 EF STEQ 46/1616 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
27 EF FNDP 5/1091 0/5 FunctionPointer-PT-c128-ReachabilityFireability-12 86766 t fired, 1 attempts, .
31 EF EXCL 185/1727 10/32 FunctionPointer-PT-c128-ReachabilityFireability-12 910369 m, 5110 m/sec, 986160 t fired, .

Time elapsed: 331 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 2 2 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 72/1601 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 1072173 t fired, 2 attempts, .
22 EF STEQ 51/1611 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
27 EF FNDP 10/1086 0/5 FunctionPointer-PT-c128-ReachabilityFireability-12 173876 t fired, 1 attempts, .
31 EF EXCL 190/1727 10/32 FunctionPointer-PT-c128-ReachabilityFireability-12 935924 m, 5111 m/sec, 1013845 t fired, .

Time elapsed: 336 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 2 2 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 77/1596 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 1146466 t fired, 2 attempts, .
22 EF STEQ 56/1606 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
27 EF FNDP 15/1081 0/5 FunctionPointer-PT-c128-ReachabilityFireability-12 260723 t fired, 1 attempts, .
31 EF EXCL 195/1727 11/32 FunctionPointer-PT-c128-ReachabilityFireability-12 961408 m, 5096 m/sec, 1041451 t fired, .

Time elapsed: 341 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 2 2 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 82/1591 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 1219902 t fired, 2 attempts, .
22 EF STEQ 61/1601 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
27 EF FNDP 20/1076 0/5 FunctionPointer-PT-c128-ReachabilityFireability-12 347103 t fired, 1 attempts, .
31 EF EXCL 200/1727 11/32 FunctionPointer-PT-c128-ReachabilityFireability-12 986871 m, 5092 m/sec, 1069036 t fired, .

Time elapsed: 346 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 2 2 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 87/1586 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 1292631 t fired, 2 attempts, .
22 EF STEQ 66/1596 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
27 EF FNDP 25/1071 0/5 FunctionPointer-PT-c128-ReachabilityFireability-12 432593 t fired, 1 attempts, .
31 EF EXCL 205/1727 11/32 FunctionPointer-PT-c128-ReachabilityFireability-12 1012342 m, 5094 m/sec, 1096631 t fired, .

Time elapsed: 351 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 2 2 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 92/1581 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 1364971 t fired, 2 attempts, .
22 EF STEQ 71/1591 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
27 EF FNDP 30/1066 0/5 FunctionPointer-PT-c128-ReachabilityFireability-12 516571 t fired, 1 attempts, .
31 EF EXCL 210/1727 11/32 FunctionPointer-PT-c128-ReachabilityFireability-12 1037772 m, 5086 m/sec, 1124179 t fired, .

Time elapsed: 356 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 2 2 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 97/1576 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 1437021 t fired, 2 attempts, .
22 EF STEQ 76/1586 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
27 EF FNDP 35/1061 0/5 FunctionPointer-PT-c128-ReachabilityFireability-12 598952 t fired, 1 attempts, .
31 EF EXCL 215/1727 12/32 FunctionPointer-PT-c128-ReachabilityFireability-12 1063206 m, 5086 m/sec, 1151733 t fired, .

Time elapsed: 361 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 2 2 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 102/1571 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 1507739 t fired, 2 attempts, .
22 EF STEQ 81/1581 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
27 EF FNDP 40/1056 0/5 FunctionPointer-PT-c128-ReachabilityFireability-12 680460 t fired, 1 attempts, .
31 EF EXCL 220/1727 12/32 FunctionPointer-PT-c128-ReachabilityFireability-12 1088663 m, 5091 m/sec, 1179312 t fired, .

Time elapsed: 366 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 2 2 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 107/1566 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 1577647 t fired, 2 attempts, .
22 EF STEQ 86/1576 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
27 EF FNDP 45/1051 0/5 FunctionPointer-PT-c128-ReachabilityFireability-12 760524 t fired, 1 attempts, .
31 EF EXCL 225/1727 12/32 FunctionPointer-PT-c128-ReachabilityFireability-12 1114104 m, 5088 m/sec, 1206873 t fired, .

Time elapsed: 371 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 2 2 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 112/1561 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 1647048 t fired, 2 attempts, .
22 EF STEQ 91/1571 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
27 EF FNDP 50/1046 0/5 FunctionPointer-PT-c128-ReachabilityFireability-12 839512 t fired, 1 attempts, .
31 EF EXCL 230/1727 13/32 FunctionPointer-PT-c128-ReachabilityFireability-12 1139550 m, 5089 m/sec, 1234439 t fired, .

Time elapsed: 376 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 2 2 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 117/1556 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 1716358 t fired, 2 attempts, .
22 EF STEQ 96/1566 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
27 EF FNDP 55/1041 0/5 FunctionPointer-PT-c128-ReachabilityFireability-12 918124 t fired, 1 attempts, .
31 EF EXCL 235/1727 13/32 FunctionPointer-PT-c128-ReachabilityFireability-12 1165030 m, 5096 m/sec, 1262043 t fired, .

Time elapsed: 381 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 2 2 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 122/1551 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 1784992 t fired, 2 attempts, .
22 EF STEQ 101/1561 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
27 EF FNDP 60/1036 0/5 FunctionPointer-PT-c128-ReachabilityFireability-12 995871 t fired, 1 attempts, .
31 EF EXCL 240/1727 13/32 FunctionPointer-PT-c128-ReachabilityFireability-12 1190458 m, 5085 m/sec, 1289589 t fired, .

Time elapsed: 386 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 2 2 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 127/1546 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 1853442 t fired, 2 attempts, .
22 EF STEQ 106/1556 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
27 EF FNDP 65/1031 0/5 FunctionPointer-PT-c128-ReachabilityFireability-12 1071929 t fired, 2 attempts, .
31 EF EXCL 245/1727 13/32 FunctionPointer-PT-c128-ReachabilityFireability-12 1215966 m, 5101 m/sec, 1317223 t fired, .

Time elapsed: 391 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 2 2 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 132/1541 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 1921355 t fired, 2 attempts, .
22 EF STEQ 111/1551 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
27 EF FNDP 70/1026 0/5 FunctionPointer-PT-c128-ReachabilityFireability-12 1147021 t fired, 2 attempts, .
31 EF EXCL 250/1727 14/32 FunctionPointer-PT-c128-ReachabilityFireability-12 1241472 m, 5101 m/sec, 1344855 t fired, .

Time elapsed: 396 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 2 2 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 137/1536 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 1989164 t fired, 2 attempts, .
22 EF STEQ 116/1546 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
27 EF FNDP 75/1021 0/5 FunctionPointer-PT-c128-ReachabilityFireability-12 1220947 t fired, 2 attempts, .
31 EF EXCL 255/1727 14/32 FunctionPointer-PT-c128-ReachabilityFireability-12 1266989 m, 5103 m/sec, 1372498 t fired, .

Time elapsed: 401 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 2 2 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 142/1531 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 2056561 t fired, 3 attempts, .
22 EF STEQ 121/1541 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
27 EF FNDP 80/1016 0/5 FunctionPointer-PT-c128-ReachabilityFireability-12 1293876 t fired, 2 attempts, .
31 EF EXCL 260/1727 14/32 FunctionPointer-PT-c128-ReachabilityFireability-12 1292448 m, 5091 m/sec, 1400079 t fired, .

Time elapsed: 406 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 2 2 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 147/1526 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 2123268 t fired, 3 attempts, .
22 EF STEQ 126/1536 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
27 EF FNDP 85/1011 0/5 FunctionPointer-PT-c128-ReachabilityFireability-12 1366400 t fired, 2 attempts, .
31 EF EXCL 265/1727 14/32 FunctionPointer-PT-c128-ReachabilityFireability-12 1317918 m, 5094 m/sec, 1427671 t fired, .

Time elapsed: 411 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 2 2 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 152/1521 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 2189487 t fired, 3 attempts, .
22 EF STEQ 131/1531 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
27 EF FNDP 90/1006 0/5 FunctionPointer-PT-c128-ReachabilityFireability-12 1438245 t fired, 2 attempts, .
31 EF EXCL 270/1727 15/32 FunctionPointer-PT-c128-ReachabilityFireability-12 1343404 m, 5097 m/sec, 1455281 t fired, .

Time elapsed: 416 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 2 2 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 157/1516 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 2255898 t fired, 3 attempts, .
22 EF STEQ 136/1526 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
27 EF FNDP 95/1001 0/5 FunctionPointer-PT-c128-ReachabilityFireability-12 1509679 t fired, 2 attempts, .
31 EF EXCL 275/1727 15/32 FunctionPointer-PT-c128-ReachabilityFireability-12 1368883 m, 5095 m/sec, 1482883 t fired, .

Time elapsed: 421 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 2 2 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 162/1511 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 2322759 t fired, 3 attempts, .
22 EF STEQ 141/1521 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
27 EF FNDP 100/996 0/5 FunctionPointer-PT-c128-ReachabilityFireability-12 1580552 t fired, 2 attempts, .
31 EF EXCL 280/1727 15/32 FunctionPointer-PT-c128-ReachabilityFireability-12 1394423 m, 5108 m/sec, 1510553 t fired, .

Time elapsed: 426 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 2 2 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 167/1506 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 2370951 t fired, 3 attempts, .
22 EF STEQ 146/1516 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
27 EF FNDP 105/991 0/5 FunctionPointer-PT-c128-ReachabilityFireability-12 1630605 t fired, 2 attempts, .
31 EF EXCL 285/1727 15/32 FunctionPointer-PT-c128-ReachabilityFireability-12 1419976 m, 5110 m/sec, 1538233 t fired, .

Time elapsed: 431 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 2 2 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 172/1501 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 2404518 t fired, 3 attempts, .
22 EF STEQ 151/1511 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
27 EF FNDP 110/986 0/5 FunctionPointer-PT-c128-ReachabilityFireability-12 1665211 t fired, 2 attempts, .
31 EF EXCL 290/1727 16/32 FunctionPointer-PT-c128-ReachabilityFireability-12 1445556 m, 5116 m/sec, 1565945 t fired, .

Time elapsed: 436 secs. Pages in use: 16
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 2 2 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 177/1496 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 2437902 t fired, 3 attempts, .
22 EF STEQ 156/1506 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
27 EF FNDP 115/981 0/5 FunctionPointer-PT-c128-ReachabilityFireability-12 1699826 t fired, 2 attempts, .
31 EF EXCL 295/1727 16/32 FunctionPointer-PT-c128-ReachabilityFireability-12 1471132 m, 5115 m/sec, 1593653 t fired, .

Time elapsed: 441 secs. Pages in use: 16
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 2 2 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 182/1491 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 2471060 t fired, 3 attempts, .
22 EF STEQ 161/1501 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
27 EF FNDP 120/976 0/5 FunctionPointer-PT-c128-ReachabilityFireability-12 1733895 t fired, 2 attempts, .
31 EF EXCL 300/1727 16/32 FunctionPointer-PT-c128-ReachabilityFireability-12 1496628 m, 5099 m/sec, 1621273 t fired, .

Time elapsed: 446 secs. Pages in use: 16
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 2 2 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 187/1486 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 2504434 t fired, 3 attempts, .
22 EF STEQ 166/1496 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
27 EF FNDP 125/971 0/5 FunctionPointer-PT-c128-ReachabilityFireability-12 1768012 t fired, 2 attempts, .
31 EF EXCL 305/1727 17/32 FunctionPointer-PT-c128-ReachabilityFireability-12 1522003 m, 5075 m/sec, 1648763 t fired, .

Time elapsed: 451 secs. Pages in use: 17
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 2 2 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 192/1481 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 2537744 t fired, 3 attempts, .
22 EF STEQ 171/1491 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
27 EF FNDP 130/966 0/5 FunctionPointer-PT-c128-ReachabilityFireability-12 1802360 t fired, 2 attempts, .
31 EF EXCL 310/1727 17/32 FunctionPointer-PT-c128-ReachabilityFireability-12 1547552 m, 5109 m/sec, 1676441 t fired, .

Time elapsed: 456 secs. Pages in use: 17
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 2 2 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 197/1476 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 2571204 t fired, 3 attempts, .
22 EF STEQ 176/1486 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
27 EF FNDP 135/961 0/5 FunctionPointer-PT-c128-ReachabilityFireability-12 1836452 t fired, 2 attempts, .
31 EF EXCL 315/1727 17/32 FunctionPointer-PT-c128-ReachabilityFireability-12 1573123 m, 5114 m/sec, 1704143 t fired, .

Time elapsed: 461 secs. Pages in use: 17
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 2 2 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 202/1471 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 2604699 t fired, 3 attempts, .
22 EF STEQ 181/1481 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
27 EF FNDP 140/956 0/5 FunctionPointer-PT-c128-ReachabilityFireability-12 1870680 t fired, 2 attempts, .
31 EF EXCL 320/1727 17/32 FunctionPointer-PT-c128-ReachabilityFireability-12 1598686 m, 5112 m/sec, 1731838 t fired, .

Time elapsed: 466 secs. Pages in use: 17
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 2 2 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 207/1466 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 2638306 t fired, 3 attempts, .
22 EF STEQ 186/1476 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
27 EF FNDP 145/951 0/5 FunctionPointer-PT-c128-ReachabilityFireability-12 1904988 t fired, 2 attempts, .
31 EF EXCL 325/1727 18/32 FunctionPointer-PT-c128-ReachabilityFireability-12 1624344 m, 5131 m/sec, 1759633 t fired, .

Time elapsed: 471 secs. Pages in use: 18
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 2 2 0 1 0 1 0
FunctionPointer-PT-c128-ReachabilityFireability-12: EF 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 212/1461 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 2671337 t fired, 3 attempts, .
22 EF STEQ 191/1471 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
27 EF FNDP 150/946 0/5 FunctionPointer-PT-c128-ReachabilityFireability-12 1973090 t fired, 2 attempts, .
31 EF EXCL 330/1727 18/32 FunctionPointer-PT-c128-ReachabilityFireability-12 1637241 m, 2579 m/sec, 1773604 t fired, .

Time elapsed: 476 secs. Pages in use: 18
# running tasks: 4 of 4 Visible: 5
lola: FINISHED task # 27 (type FNDP) for FunctionPointer-PT-c128-ReachabilityFireability-12
lola: result : true
lola: fired transitions : 2000125
lola: tried executions : 3
lola: time used : 153.000000
lola: memory pages used : 0
lola: CANCELED task # 31 (type EXCL) for FunctionPointer-PT-c128-ReachabilityFireability-12 (obsolete)
lola: LAUNCH task # 25 (type EXCL) for 6 FunctionPointer-PT-c128-ReachabilityFireability-04
lola: time limit : 3121 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 26 (type SRCH) for 6 FunctionPointer-PT-c128-ReachabilityFireability-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-12: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 0 4 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 217/3336 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 2704707 t fired, 3 attempts, .
22 EF STEQ 196/3315 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
25 EF EXCL 2/3121 1/32 FunctionPointer-PT-c128-ReachabilityFireability-04 4056 m, 811 m/sec, 4322 t fired, .
26 EF SRCH 2/3121 1/5 FunctionPointer-PT-c128-ReachabilityFireability-04 28452 m, 5690 m/sec, 28451 t fired, .

Time elapsed: 481 secs. Pages in use: 18
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-12: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 0 4 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 222/3336 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 2738253 t fired, 3 attempts, .
22 EF STEQ 201/3315 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
25 EF EXCL 7/3121 1/32 FunctionPointer-PT-c128-ReachabilityFireability-04 16600 m, 2508 m/sec, 17909 t fired, .
26 EF SRCH 7/3121 2/5 FunctionPointer-PT-c128-ReachabilityFireability-04 108973 m, 16104 m/sec, 108972 t fired, .

Time elapsed: 486 secs. Pages in use: 18
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-12: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 0 4 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 227/3336 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 2771666 t fired, 3 attempts, .
22 EF STEQ 206/3315 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
25 EF EXCL 12/3121 1/32 FunctionPointer-PT-c128-ReachabilityFireability-04 29184 m, 2516 m/sec, 31543 t fired, .
26 EF SRCH 12/3121 2/5 FunctionPointer-PT-c128-ReachabilityFireability-04 189022 m, 16009 m/sec, 189021 t fired, .

Time elapsed: 491 secs. Pages in use: 18
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-12: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 0 4 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 232/3336 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 2804868 t fired, 3 attempts, .
22 EF STEQ 211/3315 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
25 EF EXCL 17/3121 1/32 FunctionPointer-PT-c128-ReachabilityFireability-04 41680 m, 2499 m/sec, 45081 t fired, .
26 EF SRCH 17/3121 3/5 FunctionPointer-PT-c128-ReachabilityFireability-04 268514 m, 15898 m/sec, 268513 t fired, .

Time elapsed: 496 secs. Pages in use: 18
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-12: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 0 4 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 237/3336 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 2838430 t fired, 3 attempts, .
22 EF STEQ 216/3315 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
25 EF EXCL 22/3121 1/32 FunctionPointer-PT-c128-ReachabilityFireability-04 54113 m, 2486 m/sec, 58549 t fired, .
26 EF SRCH 22/3121 4/5 FunctionPointer-PT-c128-ReachabilityFireability-04 347779 m, 15853 m/sec, 347778 t fired, .

Time elapsed: 501 secs. Pages in use: 18
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-12: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 0 4 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 242/3336 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 2871732 t fired, 3 attempts, .
22 EF STEQ 221/3315 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
25 EF EXCL 27/3121 1/32 FunctionPointer-PT-c128-ReachabilityFireability-04 66697 m, 2516 m/sec, 72182 t fired, .
26 EF SRCH 27/3121 5/5 FunctionPointer-PT-c128-ReachabilityFireability-04 428179 m, 16080 m/sec, 428178 t fired, .

Time elapsed: 506 secs. Pages in use: 18
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-12: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 0 4 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 247/3336 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 2905064 t fired, 3 attempts, .
22 EF STEQ 226/3315 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
25 EF EXCL 32/3121 1/32 FunctionPointer-PT-c128-ReachabilityFireability-04 79313 m, 2523 m/sec, 85849 t fired, .
26 EF SRCH 32/3121 5/5 FunctionPointer-PT-c128-ReachabilityFireability-04 508657 m, 16095 m/sec, 508656 t fired, .

Time elapsed: 511 secs. Pages in use: 18
# running tasks: 4 of 4 Visible: 5
lola: CANCELED task # 26 (type SRCH) for FunctionPointer-PT-c128-ReachabilityFireability-04 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-12: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 0 3 0 1 0 2 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 252/3336 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 2964708 t fired, 3 attempts, .
22 EF STEQ 231/3315 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
25 EF EXCL 37/3121 2/32 FunctionPointer-PT-c128-ReachabilityFireability-04 102036 m, 4544 m/sec, 110465 t fired, .

Time elapsed: 516 secs. Pages in use: 18
# running tasks: 4 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-12: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 0 3 0 1 0 2 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 257/3336 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 3030420 t fired, 4 attempts, .
22 EF STEQ 236/3315 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
25 EF EXCL 42/3121 2/32 FunctionPointer-PT-c128-ReachabilityFireability-04 127445 m, 5081 m/sec, 137992 t fired, .

Time elapsed: 521 secs. Pages in use: 18
# running tasks: 3 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-12: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 0 3 0 1 0 2 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 262/3336 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 3095684 t fired, 4 attempts, .
22 EF STEQ 241/3315 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
25 EF EXCL 47/3121 2/32 FunctionPointer-PT-c128-ReachabilityFireability-04 152801 m, 5071 m/sec, 165461 t fired, .

Time elapsed: 526 secs. Pages in use: 18
# running tasks: 3 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-12: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 0 3 0 1 0 2 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 267/3336 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 3160680 t fired, 4 attempts, .
22 EF STEQ 246/3315 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
25 EF EXCL 52/3121 2/32 FunctionPointer-PT-c128-ReachabilityFireability-04 178110 m, 5061 m/sec, 192879 t fired, .

Time elapsed: 531 secs. Pages in use: 18
# running tasks: 3 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-12: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 0 3 0 1 0 2 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 272/3336 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 3225772 t fired, 4 attempts, .
22 EF STEQ 251/3315 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
25 EF EXCL 57/3121 3/32 FunctionPointer-PT-c128-ReachabilityFireability-04 203480 m, 5074 m/sec, 220363 t fired, .

Time elapsed: 536 secs. Pages in use: 18
# running tasks: 3 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-12: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 0 3 0 1 0 2 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 277/3336 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 3292142 t fired, 4 attempts, .
22 EF STEQ 256/3315 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
25 EF EXCL 62/3121 3/32 FunctionPointer-PT-c128-ReachabilityFireability-04 228745 m, 5053 m/sec, 247734 t fired, .

Time elapsed: 541 secs. Pages in use: 18
# running tasks: 3 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-12: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 0 3 0 1 0 2 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 282/3336 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 3358117 t fired, 4 attempts, .
22 EF STEQ 261/3315 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
25 EF EXCL 67/3121 3/32 FunctionPointer-PT-c128-ReachabilityFireability-04 254118 m, 5074 m/sec, 275221 t fired, .

Time elapsed: 546 secs. Pages in use: 18
# running tasks: 3 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-12: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 0 3 0 1 0 2 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 287/3336 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 3424497 t fired, 4 attempts, .
22 EF STEQ 266/3315 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
25 EF EXCL 72/3121 3/32 FunctionPointer-PT-c128-ReachabilityFireability-04 279512 m, 5078 m/sec, 302731 t fired, .

Time elapsed: 551 secs. Pages in use: 18
# running tasks: 3 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-12: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 0 3 0 1 0 2 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 292/3336 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 3491474 t fired, 4 attempts, .
22 EF STEQ 271/3315 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
25 EF EXCL 77/3121 4/32 FunctionPointer-PT-c128-ReachabilityFireability-04 304632 m, 5024 m/sec, 329945 t fired, .

Time elapsed: 556 secs. Pages in use: 18
# running tasks: 3 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-12: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 0 3 0 1 0 2 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 297/3336 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 3558594 t fired, 4 attempts, .
22 EF STEQ 276/3315 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
25 EF EXCL 82/3121 4/32 FunctionPointer-PT-c128-ReachabilityFireability-04 329991 m, 5071 m/sec, 357416 t fired, .

Time elapsed: 561 secs. Pages in use: 18
# running tasks: 3 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-12: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 0 3 0 1 0 2 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 302/3336 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 3624845 t fired, 4 attempts, .
22 EF STEQ 281/3315 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
25 EF EXCL 87/3121 4/32 FunctionPointer-PT-c128-ReachabilityFireability-04 355176 m, 5037 m/sec, 384701 t fired, .

Time elapsed: 566 secs. Pages in use: 18
# running tasks: 3 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-12: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 0 3 0 1 0 2 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 307/3336 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 3690294 t fired, 4 attempts, .
22 EF STEQ 286/3315 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
25 EF EXCL 92/3121 5/32 FunctionPointer-PT-c128-ReachabilityFireability-04 380431 m, 5051 m/sec, 412060 t fired, .

Time elapsed: 571 secs. Pages in use: 18
# running tasks: 3 of 4 Visible: 5
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-12: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
FunctionPointer-PT-c128-ReachabilityFireability-04: EF 0 0 3 0 1 0 2 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
21 EF FNDP 312/3336 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 3755625 t fired, 4 attempts, .
22 EF STEQ 291/3315 0/5 FunctionPointer-PT-c128-ReachabilityFireability-04 sara is running.
25 EF EXCL 97/3121 5/32 FunctionPointer-PT-c128-ReachabilityFireability-04 405711 m, 5056 m/sec, 439446 t fired, .

Time elapsed: 576 secs. Pages in use: 18
# running tasks: 3 of 4 Visible: 5
lola: FINISHED task # 21 (type FNDP) for FunctionPointer-PT-c128-ReachabilityFireability-04
lola: result : true
lola: fired transitions : 3764922
lola: tried executions : 4
lola: time used : 313.000000
lola: memory pages used : 0
lola: CANCELED task # 22 (type EQUN) for FunctionPointer-PT-c128-ReachabilityFireability-04 (obsolete)
lola: CANCELED task # 25 (type EXCL) for FunctionPointer-PT-c128-ReachabilityFireability-04 (obsolete)
lola: Portfolio finished: no open formulas

FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
FunctionPointer-PT-c128-ReachabilityFireability-00: AG false findpath
FunctionPointer-PT-c128-ReachabilityFireability-03: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-04: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-06: EF true findpath
FunctionPointer-PT-c128-ReachabilityFireability-12: EF true findpath


Time elapsed: 577 secs. Pages in use: 18

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="FunctionPointer-PT-c128"
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 FunctionPointer-PT-c128, 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 r167-tall-167838853600767"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' ReachabilityFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;