Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2024-input.r264-tall-171654373000027.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.........................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool gold2023
Input is MultiCrashLeafsetExtension-PT-S16C07, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r264-tall-171654373000027
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.2M
-rw-r--r-- 1 mcc users 12K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 75K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 14K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 75K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.7K Apr 22 14:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K Apr 22 14:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4K Apr 22 14:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 22 14:53 LTLFireability.xml
-rw-r--r-- 1 mcc users 24K Apr 12 06:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 145K Apr 12 06:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 16K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 73K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.4K Apr 22 14:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K Apr 22 14:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 7 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 5.7M May 18 16:43 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME QuasiLiveness

=== Now, execution of the tool begins

BK_START 1716625796927

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=gold2023
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=MultiCrashLeafsetExtension-PT-S16C07
Not applying reductions.
Model is PT
QuasiLiveness PT
Running Version 202304061127
[2024-05-25 08:29:58] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2024-05-25 08:29:58] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-25 08:29:58] [INFO ] Load time of PNML (sax parser for PT used): 307 ms
[2024-05-25 08:29:58] [INFO ] Transformed 6222 places.
[2024-05-25 08:29:59] [INFO ] Transformed 8685 transitions.
[2024-05-25 08:29:59] [INFO ] Parsed PT model containing 6222 places and 8685 transitions and 32582 arcs in 557 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 6222/6222 places, 8685/8685 transitions.
Reduce places removed 34 places and 0 transitions.
Drop transitions removed 1904 transitions
Trivial Post-agglo rules discarded 1904 transitions
Performed 1904 trivial Post agglomeration. Transition count delta: 1904
Iterating post reduction 0 with 1938 rules applied. Total rules applied 1938 place count 6188 transition count 6781
Reduce places removed 1904 places and 0 transitions.
Iterating post reduction 1 with 1904 rules applied. Total rules applied 3842 place count 4284 transition count 6781
Performed 238 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 238 Pre rules applied. Total rules applied 3842 place count 4284 transition count 6543
Deduced a syphon composed of 238 places in 24 ms
Reduce places removed 238 places and 0 transitions.
Iterating global reduction 2 with 476 rules applied. Total rules applied 4318 place count 4046 transition count 6543
Performed 17 Post agglomeration using F-continuation condition.Transition count delta: 17
Deduced a syphon composed of 17 places in 13 ms
Reduce places removed 17 places and 0 transitions.
Iterating global reduction 2 with 34 rules applied. Total rules applied 4352 place count 4029 transition count 6526
Applied a total of 4352 rules in 497 ms. Remains 4029 /6222 variables (removed 2193) and now considering 6526/8685 (removed 2159) transitions.
[2024-05-25 08:29:59] [INFO ] Flow matrix only has 6254 transitions (discarded 272 similar events)
// Phase 1: matrix 6254 rows 4029 cols
[2024-05-25 08:30:00] [INFO ] Computed 577 invariants in 404 ms
[2024-05-25 08:30:03] [INFO ] Implicit Places using invariants in 4175 ms returned []
[2024-05-25 08:30:03] [INFO ] Flow matrix only has 6254 transitions (discarded 272 similar events)
[2024-05-25 08:30:03] [INFO ] Invariant cache hit.
[2024-05-25 08:30:05] [INFO ] State equation strengthened by 2450 read => feed constraints.
[2024-05-25 08:30:19] [INFO ] Implicit Places using invariants and state equation in 15635 ms returned [4, 7, 18, 31, 46, 63, 82, 103, 126, 150, 173, 194, 213, 230, 245, 258, 269, 294, 300, 310, 321, 334, 349, 366, 385, 406, 428, 449, 468, 485, 500, 513, 524, 534, 559, 565, 575, 585, 596, 609, 624, 641, 660, 680, 699, 716, 731, 744, 755, 765, 775, 800, 806, 816, 826, 836, 847, 860, 875, 892, 910, 927, 942, 955, 966, 976, 986, 996, 1021, 1027, 1037, 1047, 1057, 1067, 1078, 1091, 1106, 1122, 1137, 1150, 1161, 1171, 1181, 1191, 1201, 1226, 1232, 1242, 1252, 1262, 1272, 1282, 1293, 1306, 1320, 1333, 1344, 1354, 1364, 1374, 1384, 1394, 1419, 1425, 1435, 1445, 1455, 1465, 1475, 1485, 1496, 1508, 1519, 1529, 1539, 1549, 1559, 1569, 1579, 1604, 1610, 1620, 1630, 1640, 1650, 1660, 1670, 1680, 1690, 1700, 1710, 1720, 1730, 1740, 1750, 1760, 1785, 1787, 1790, 1800, 1810, 1820, 1830, 1840, 1850, 1860, 1870, 1880, 1890, 1900, 1910, 1920, 1930, 1940, 1965, 1971, 1981, 1991, 2001, 2011, 2021, 2031, 2041, 2051, 2061, 2071, 2081, 2091, 2101, 2111, 2121, 2146, 2152, 2162, 2172, 2182, 2192, 2202, 2212, 2222, 2233, 2245, 2256, 2266, 2276, 2286, 2296, 2306, 2331, 2337, 2347, 2357, 2367, 2377, 2387, 2397, 2408, 2421, 2435, 2448, 2459, 2469, 2479, 2489, 2499, 2524, 2530, 2540, 2550, 2560, 2570, 2580, 2591, 2604, 2619, 2635, 2650, 2663, 2674, 2684, 2694, 2704, 2729, 2735, 2745, 2755, 2765, 2775, 2786, 2799, 2814, 2831, 2849, 2866, 2881, 2894, 2905, 2915, 2925, 2950, 2956, 2966, 2976, 2986, 2997, 3010, 3025, 3042, 3061, 3081, 3100, 3117, 3132, 3145, 3156, 3166, 3191, 3197, 3207, 3217, 3228, 3241, 3256, 3273, 3292, 3313, 3335, 3356, 3375, 3392, 3407, 3420, 3431, 3456, 3458, 3461, 3471, 3482, 3495, 3510, 3527, 3546, 3567, 3590, 3614, 3637, 3658, 3677, 3694, 3709, 3722, 3748]
Discarding 292 places :
Implicit Place search using SMT with State Equation took 19870 ms to find 292 implicit places.
Starting structural reductions in LIVENESS mode, iteration 1 : 3737/6222 places, 6526/8685 transitions.
Applied a total of 0 rules in 58 ms. Remains 3737 /3737 variables (removed 0) and now considering 6526/6526 (removed 0) transitions.
Finished structural reductions in LIVENESS mode , in 2 iterations and 20449 ms. Remains : 3737/6222 places, 6526/8685 transitions.
Initial state reduction rules removed 17 formulas.
[2024-05-25 08:30:21] [INFO ] Flatten gal took : 743 ms
[2024-05-25 08:30:21] [INFO ] Flatten gal took : 320 ms
[2024-05-25 08:30:21] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality13763684921265065376.gal : 120 ms
[2024-05-25 08:30:22] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality769799545272946677.prop : 85 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202304061127/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality13763684921265065376.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality769799545272946677.prop' '--nowitness' '--gen-order' 'FOLLOW'

its-reach command run as :

/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202304061127/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...328
Loading property file /tmp/ReachabilityCardinality769799545272946677.prop.
Incomplete random walk after 10000 steps, including 172 resets, run finished after 5596 ms. (steps per millisecond=1 ) properties (out of 6509) seen :2365
Running SMT prover for 4144 properties.
[2024-05-25 08:30:25] [INFO ] Flow matrix only has 6254 transitions (discarded 272 similar events)
// Phase 1: matrix 6254 rows 3737 cols
[2024-05-25 08:30:25] [INFO ] Computed 285 invariants in 168 ms
Reachability property qltransition_3170 is true.
Reachability property qltransition_3143 is true.
Reachability property qltransition_2924 is true.
Reachability property qltransition_2897 is true.
Reachability property qltransition_2702 is true.
Reachability property qltransition_2675 is true.
Reachability property qltransition_2500 is true.
Reachability property qltransition_2473 is true.
Reachability property qltransition_2314 is true.
Reachability property qltransition_2287 is true.
Reachability property qltransition_2140 is true.
Reachability property qltransition_2113 is true.
Reachability property qltransition_1974 is true.
Reachability property qltransition_1947 is true.
Reachability property qltransition_1812 is true.
Reachability property qltransition_1785 is true.
Reachability property qltransition_1650 is true.
Reachability property qltransition_1641 is true.
Reachability property qltransition_1623 is true.
Reachability property qltransition_1488 is true.
Reachability property qltransition_1461 is true.
Reachability property qltransition_1322 is true.
Reachability property qltransition_1295 is true.
Reachability property qltransition_1148 is true.
Reachability property qltransition_1121 is true.
Reachability property qltransition_962 is true.
Reachability property qltransition_935 is true.
Reachability property qltransition_760 is true.
Reachability property qltransition_733 is true.
Reachability property qltransition_538 is true.
Reachability property qltransition_511 is true.
Reachability property qltransition_292 is true.
Reachability property qltransition_265 is true.
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.assertInvariants(DeadlockTester.java:2343)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:621)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:342)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:226)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:96)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:426)
at fr.lip6.move.gal.application.Application.start(Application.java:182)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2024-05-25 08:30:55] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2024-05-25 08:30:55] [INFO ] After 25021ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 4144 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 3 ms.
Support contains 2731 out of 3737 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3737/3737 places, 6526/6526 transitions.
Discarding 585 places :
Symmetric choice reduction at 0 with 585 rule applications. Total rules 585 place count 3152 transition count 5941
Iterating global reduction 0 with 585 rules applied. Total rules applied 1170 place count 3152 transition count 5941
Free-agglomeration rule (complex) applied 5 times.
Iterating global reduction 0 with 5 rules applied. Total rules applied 1175 place count 3152 transition count 5936
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 0 with 5 rules applied. Total rules applied 1180 place count 3147 transition count 5936
Partial Free-agglomeration rule applied 5 times.
Drop transitions removed 5 transitions
Iterating global reduction 1 with 5 rules applied. Total rules applied 1185 place count 3147 transition count 5936
Applied a total of 1185 rules in 682 ms. Remains 3147 /3737 variables (removed 590) and now considering 5936/6526 (removed 590) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 685 ms. Remains : 3147/3737 places, 5936/6526 transitions.
SDD proceeding with computation,6476 properties remain. new max is 2
SDD size :1 after 4
SDD proceeding with computation,6476 properties remain. new max is 4
SDD size :4 after 5
Reachability property qltransition_1803 is true.
Reachability property qltransition_1479 is true.
SDD proceeding with computation,6474 properties remain. new max is 4
SDD size :5 after 9
Reachability property qltransition_3161 is true.
Reachability property qltransition_2915 is true.
Interrupted random walk after 87580 steps, including 1503 resets, run timeout after 30001 ms. (steps per millisecond=2 ) properties seen 1522
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 2622) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 2620) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 2620) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2618) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 2616) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 2616) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 2616) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 2614) seen :4
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 2610) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 2610) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 2608) seen :5
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2603) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2603) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2603) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2601) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2601) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 2601) seen :4
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2597) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2595) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2593) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2593) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2593) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2591) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 2591) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2591) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2589) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2589) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2589) seen :4
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2585) seen :3
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2582) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2582) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 2582) seen :4
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 2578) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 2576) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2574) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 2574) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2574) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2574) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2574) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2574) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2574) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2574) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2574) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 2574) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2574) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2574) seen :4
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2570) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2570) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2570) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2570) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2568) seen :0
Reachability property qltransition_283 is true.
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2568) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2568) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2568) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2568) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2566) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2564) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2564) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2564) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2564) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2564) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2564) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2562) seen :2
Reachability property qltransition_9 is true.
SDD proceeding with computation,6470 properties remain. new max is 4
SDD size :9 after 15
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2560) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2560) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2558) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2558) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2558) seen :8
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2550) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2548) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2548) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2548) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2548) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2548) seen :7
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2541) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2541) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2541) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2541) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2541) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2541) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2541) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2541) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2541) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2541) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 2539) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2539) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2539) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2539) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2539) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 2539) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2539) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 2539) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2539) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 2539) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2539) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2539) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2539) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2539) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 2539) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2539) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2539) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2539) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2539) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 2539) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 2539) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2539) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2539) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2537) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2537) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2537) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2537) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2537) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2535) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2535) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 2535) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2535) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2535) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2533) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 2533) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2533) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2533) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2533) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 2533) seen :7
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2526) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 2526) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2524) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 2524) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2524) seen :3
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 2521) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 2521) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2521) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2521) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 2521) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 2521) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 2521) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2521) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2521) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 2520) seen :6
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 2514) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 2514) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 2514) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 2512) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 2512) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 2510) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 2510) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 2510) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 2510) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 2510) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 2510) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2510) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 2510) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2510) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2510) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2510) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 2510) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2510) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2510) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2510) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2510) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2510) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2508) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2508) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2506) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 2504) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2502) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2502) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2502) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2502) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2502) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2502) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2502) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2502) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2502) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 2502) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 2500) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2500) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2500) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 2500) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2500) seen :2
Reachability property qltransition_2693 is true.
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2498) seen :3
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 2495) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 2495) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2495) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2495) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2495) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2495) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2495) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 2495) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2493) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2493) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2491) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2491) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2489) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2489) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2489) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2487) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2487) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2487) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2485) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 2485) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 2485) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2485) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2483) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2483) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2483) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2483) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2483) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2481) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2481) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2481) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2481) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2481) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2480) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2480) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2480) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2480) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2480) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2480) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2480) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2480) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2478) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2478) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2478) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2478) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2478) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2478) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2478) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2478) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2478) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2478) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 2476) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2474) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 2474) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 2474) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 2474) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2474) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 2472) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 2472) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 2472) seen :0
Reachability property qltransition_529 is true.
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 2472) seen :4
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 2468) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 2468) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 2468) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 2468) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 2468) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 2468) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 2468) seen :0
SDD proceeding with computation,6468 properties remain. new max is 4
SDD size :15 after 19
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2468) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 2468) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2466) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2466) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 2466) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 2464) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2462) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2462) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2460) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2459) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2459) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2457) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2457) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2457) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2457) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2457) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 2455) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2455) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2455) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2455) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 2455) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2455) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2453) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2453) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2453) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2453) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2453) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 2451) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2451) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2449) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2449) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 2449) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2449) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2449) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2449) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2449) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2449) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2449) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2449) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 2449) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2449) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2447) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2447) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2447) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2447) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2447) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 2445) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2445) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2444) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2444) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2442) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 2442) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2442) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2440) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 2440) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2440) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2440) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2438) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 2438) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2438) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2438) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 2438) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2438) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 2438) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 2436) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2436) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 2436) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2436) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2436) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2436) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2434) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2434) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2434) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2434) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2434) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 2434) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2434) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2434) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 2434) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 2434) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 2434) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 2434) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2432) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 2432) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2432) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2432) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2432) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 2432) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2432) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2432) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2430) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2428) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2427) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2427) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2427) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 2425) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 2425) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2425) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 2425) seen :6
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 2419) seen :3
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2416) seen :0
Reachability property qltransition_2491 is true.
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2416) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2416) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2416) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2416) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2416) seen :5
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2411) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2411) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2411) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2411) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 2411) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2411) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 2411) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 2409) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2409) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2409) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2409) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 2409) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2409) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2409) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2409) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2409) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2407) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2407) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2405) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2405) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2405) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2405) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2405) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 2405) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 2405) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2405) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2405) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2405) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2403) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 2403) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 2403) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 2403) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 2401) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 2401) seen :3
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2398) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 2398) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 2398) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 2398) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 2398) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2398) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2398) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2398) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2398) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 2396) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2396) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2396) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2396) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2396) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2396) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2394) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2394) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2394) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2394) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2394) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 2394) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2394) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2394) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2392) seen :2
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2390) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2388) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2386) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2386) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2386) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2386) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2386) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2386) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2386) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2386) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 2386) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2386) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2386) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 2384) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 2384) seen :4
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 2380) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2380) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 2380) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 2380) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 2378) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 2376) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2376) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 2376) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 2376) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2376) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 2376) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2376) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2376) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 2376) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2376) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2376) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 2376) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2376) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2376) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2376) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2374) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2374) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2374) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2374) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2374) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2374) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2374) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2374) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 2374) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2374) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 2374) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2374) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2374) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2374) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2374) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2372) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2372) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2370) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2370) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2370) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2370) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2368) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2366) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2366) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2366) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2366) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2366) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2366) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2366) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2366) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2366) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2365) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2365) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2365) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2365) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2365) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 2365) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2365) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2365) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2365) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2365) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2365) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2365) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2365) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2365) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 2365) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2365) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2365) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2365) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2365) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2363) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2363) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2363) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2361) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2361) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 2361) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 2361) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 2361) seen :0
Reachability property qltransition_751 is true.
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2361) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2361) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2359) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2359) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 2359) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 2359) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2359) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 2357) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2357) seen :4
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2353) seen :0
SDD proceeding with computation,6466 properties remain. new max is 4
SDD size :19 after 23
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2353) seen :1
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2352) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 2350) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2350) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2350) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2350) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2350) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2350) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2350) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 2350) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2350) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 2350) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2350) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2348) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2348) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2348) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2348) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2348) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2348) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2348) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2348) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 2348) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2348) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2346) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2346) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2344) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2344) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2344) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2344) seen :0
Reachability property qltransition_1965 is true.
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2344) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2344) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2344) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2344) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2344) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2344) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2344) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2344) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2344) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2342) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2342) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2342) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2342) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2342) seen :2
Reachability property qltransition_1313 is true.
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2340) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2340) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2338) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2338) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2338) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2338) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2338) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2338) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2338) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 2338) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 2338) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2338) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2338) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2338) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2338) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2338) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2338) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2338) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2338) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2338) seen :0
SDD proceeding with computation,6464 properties remain. new max is 4
SDD size :23 after 27
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 2338) seen :3
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2335) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2335) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2335) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2335) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 2335) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 2334) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 2334) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 2334) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2334) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2334) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2334) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2334) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2334) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2334) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 2334) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2334) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2332) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2332) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2332) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 2331) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2331) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2331) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 2329) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2327) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2327) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2327) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2327) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2327) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2327) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2327) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2327) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2327) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2327) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 2327) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2327) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 2325) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2325) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2325) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2325) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2325) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2325) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2325) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2325) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2325) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2325) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2323) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2323) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2323) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2323) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2323) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2323) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2323) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2323) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2321) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2321) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2321) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 2321) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2321) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2321) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2321) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2321) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2321) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2321) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2320) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2320) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 2320) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2320) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2320) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2320) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 2320) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 2318) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 2318) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 2316) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 2316) seen :0
Reachability property qltransition_2305 is true.
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 2316) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 2316) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2316) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2316) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 2316) seen :3
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2313) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2313) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2313) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2313) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2313) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 2313) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2313) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 2313) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2313) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2313) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 2313) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 2313) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 2313) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 2313) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2313) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2313) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2311) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2311) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2311) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2311) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2311) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 2309) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 2309) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2309) seen :0
Reachability property qltransition_953 is true.
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 2309) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2309) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 2309) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 2309) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 2309) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2309) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 2309) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 2307) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2307) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2307) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2307) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 2307) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2307) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2307) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2307) seen :0
SDD proceeding with computation,6462 properties remain. new max is 4
SDD size :27 after 31
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2307) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2307) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2307) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 2307) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2307) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 2307) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 2307) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2307) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2307) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2307) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2307) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 2307) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2307) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2307) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2307) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2307) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2305) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2305) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2305) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2305) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2305) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2305) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2305) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2305) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2305) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2305) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2305) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2305) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2305) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2305) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2305) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2305) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 2305) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2305) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2305) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2305) seen :4
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2301) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2301) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2301) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2301) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2301) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2301) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 2301) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2301) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2301) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2301) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 2299) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 2299) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 2299) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 2299) seen :4
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 2295) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 2295) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 2295) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 2295) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 2295) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 2295) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 2295) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 2295) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2295) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2293) seen :7
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 2286) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2286) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2286) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2286) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2286) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2286) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2286) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2286) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2286) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2286) seen :0
Reachability property qltransition_2131 is true.
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2286) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2286) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 2286) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2286) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2286) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2286) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2286) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2286) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2286) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2286) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2286) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2286) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 2286) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 2286) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2286) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2286) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2286) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2284) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2284) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2284) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2284) seen :0
Reachability property qltransition_1139 is true.
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2284) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2284) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2284) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 2284) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2284) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2284) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2284) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2284) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2284) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2284) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2284) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2284) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2284) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2284) seen :5
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2279) seen :0
SDD proceeding with computation,6460 properties remain. new max is 4
SDD size :31 after 35
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2279) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2277) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2277) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2277) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2277) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2277) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 2277) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2277) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2277) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2277) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2277) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2277) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2277) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2277) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2277) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2277) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2277) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2277) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2277) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2277) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2277) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 2277) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2277) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2275) seen :3
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2272) seen :0
Reachability property qltransition_3179 is true.
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2272) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2272) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2272) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2272) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2272) seen :0
Reachability property qltransition_2933 is true.
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2272) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2272) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2272) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2270) seen :0
Reachability property qltransition_2711 is true.
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2270) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2270) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2270) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2270) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2270) seen :0
Reachability property qltransition_2509 is true.
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2270) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2270) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2270) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2270) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2270) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2270) seen :0
Reachability property qltransition_2323 is true.
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2270) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2270) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2270) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2270) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2270) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2270) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2270) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2270) seen :4
Reachability property qltransition_2149 is true.
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2266) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2266) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2266) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2266) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2266) seen :5
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2261) seen :0
Reachability property qltransition_1983 is true.
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2261) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2261) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 2261) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2261) seen :0
Reachability property qltransition_1821 is true.
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2261) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2261) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2261) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2261) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2261) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2259) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2259) seen :0
Reachability property qltransition_1659 is true.
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2259) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2259) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2259) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2259) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2259) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2259) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2257) seen :0
Reachability property qltransition_1497 is true.
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2257) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2257) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2257) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2255) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2255) seen :3
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2252) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2252) seen :0
Reachability property qltransition_1331 is true.
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2252) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2252) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2252) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2252) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2252) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2252) seen :0
Reachability property qltransition_1157 is true.
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2252) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2252) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2252) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2252) seen :0
Reachability property qltransition_971 is true.
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2252) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2252) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2252) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 2252) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2252) seen :0
Reachability property qltransition_769 is true.
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2252) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2252) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2252) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2252) seen :0
Reachability property qltransition_547 is true.
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2252) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2252) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2252) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2252) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2252) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 2252) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2252) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 2252) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2252) seen :0
Reachability property qltransition_18 is true.
SDD proceeding with computation,6444 properties remain. new max is 4
SDD size :35 after 37
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 2252) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2252) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2252) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2252) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2252) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2252) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2252) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2252) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2252) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2252) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2252) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2252) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2252) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2252) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2252) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2252) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2252) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2252) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2252) seen :0
Running SMT prover for 2252 properties.
[2024-05-25 08:32:27] [INFO ] Flow matrix only has 5660 transitions (discarded 276 similar events)
// Phase 1: matrix 5660 rows 3147 cols
[2024-05-25 08:32:27] [INFO ] Computed 285 invariants in 111 ms
SDD proceeding with computation,6444 properties remain. new max is 8
SDD size :37 after 39
SDD proceeding with computation,6444 properties remain. new max is 16
SDD size :39 after 44
SDD proceeding with computation,6444 properties remain. new max is 32
SDD size :44 after 50
Reachability property qltransition_3416 is true.
Reachability property qltransition_2888 is true.
Reachability property qltransition_2666 is true.
Reachability property qltransition_2464 is true.
Reachability property qltransition_2278 is true.
Reachability property qltransition_2104 is true.
Reachability property qltransition_1938 is true.
Reachability property qltransition_1776 is true.
Reachability property qltransition_1614 is true.
Reachability property qltransition_1452 is true.
Reachability property qltransition_1286 is true.
Reachability property qltransition_1112 is true.
Reachability property qltransition_926 is true.
Reachability property qltransition_724 is true.
Reachability property qltransition_502 is true.
Reachability property qltransition_255 is true.
SDD proceeding with computation,6428 properties remain. new max is 32
SDD size :50 after 56
SDD proceeding with computation,6428 properties remain. new max is 64
SDD size :56 after 69
Reachability property qltransition_3803 is true.
Reachability property qltransition_3554 is true.
Reachability property qltransition_3552 is true.
Reachability property qltransition_3417 is true.
Reachability property qltransition_3180 is true.
Reachability property qltransition_3171 is true.
Reachability property qltransition_3144 is true.
Reachability property qltransition_2934 is true.
Reachability property qltransition_2925 is true.
Reachability property qltransition_2898 is true.
Reachability property qltransition_2889 is true.
Reachability property qltransition_2712 is true.
Reachability property qltransition_2703 is true.
Reachability property qltransition_2676 is true.
Reachability property qltransition_2667 is true.
Reachability property qltransition_2510 is true.
Reachability property qltransition_2501 is true.
Reachability property qltransition_2474 is true.
Reachability property qltransition_2465 is true.
Reachability property qltransition_2324 is true.
Reachability property qltransition_2315 is true.
Reachability property qltransition_2288 is true.
Reachability property qltransition_2279 is true.
Reachability property qltransition_2150 is true.
Reachability property qltransition_2141 is true.
Reachability property qltransition_2114 is true.
Reachability property qltransition_2105 is true.
Reachability property qltransition_1984 is true.
Reachability property qltransition_1975 is true.
Reachability property qltransition_1948 is true.
Reachability property qltransition_1939 is true.
Reachability property qltransition_1822 is true.
Reachability property qltransition_1813 is true.
Reachability property qltransition_1786 is true.
Reachability property qltransition_1777 is true.
Reachability property qltransition_1660 is true.
Reachability property qltransition_1651 is true.
Reachability property qltransition_1624 is true.
Reachability property qltransition_1615 is true.
Reachability property qltransition_1498 is true.
Reachability property qltransition_1489 is true.
Reachability property qltransition_1462 is true.
Reachability property qltransition_1453 is true.
Reachability property qltransition_1332 is true.
Reachability property qltransition_1323 is true.
Reachability property qltransition_1296 is true.
Reachability property qltransition_1287 is true.
Reachability property qltransition_1158 is true.
Reachability property qltransition_1149 is true.
Reachability property qltransition_1122 is true.
Reachability property qltransition_1113 is true.
Reachability property qltransition_972 is true.
Reachability property qltransition_963 is true.
Reachability property qltransition_936 is true.
Reachability property qltransition_927 is true.
Reachability property qltransition_770 is true.
Reachability property qltransition_761 is true.
Reachability property qltransition_734 is true.
Reachability property qltransition_725 is true.
Reachability property qltransition_548 is true.
Reachability property qltransition_539 is true.
Reachability property qltransition_512 is true.
Reachability property qltransition_504 is true.
Reachability property qltransition_503 is true.
Reachability property qltransition_293 is true.
Reachability property qltransition_266 is true.
Reachability property qltransition_256 is true.
Reachability property qltransition_19 is true.
SDD proceeding with computation,6360 properties remain. new max is 64
SDD size :69 after 137
[2024-05-25 08:34:08] [INFO ] [Real]Absence check using 31 positive place invariants in 67 ms returned sat
[2024-05-25 08:34:08] [INFO ] [Real]Absence check using 31 positive and 254 generalized place invariants in 61 ms returned sat
SDD proceeding with computation,6360 properties remain. new max is 128
SDD size :137 after 138
Reachability property qltransition_4587 is true.
Reachability property qltransition_3561 is true.
Reachability property qltransition_1778 is true.
SDD proceeding with computation,6357 properties remain. new max is 128
SDD size :138 after 141
Reachability property qltransition_3912 is true.
Reachability property qltransition_3555 is true.
Reachability property qltransition_726 is true.
SDD proceeding with computation,6354 properties remain. new max is 128
SDD size :141 after 144
Reachability property qltransition_4472 is true.
Reachability property qltransition_3560 is true.
Reachability property qltransition_1616 is true.
SDD proceeding with computation,6351 properties remain. new max is 128
SDD size :144 after 147
Reachability property qltransition_5261 is true.
Reachability property qltransition_3567 is true.
Reachability property qltransition_2890 is true.
SDD proceeding with computation,6348 properties remain. new max is 128
SDD size :147 after 150
[2024-05-25 08:36:14] [INFO ] After 26525ms SMT Verify possible using state equation in real domain returned unsat :0 sat :2210 real:41
[2024-05-25 08:36:14] [INFO ] State equation strengthened by 2450 read => feed constraints.
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:645)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:342)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:226)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:96)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:426)
at fr.lip6.move.gal.application.Application.start(Application.java:182)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2024-05-25 08:36:14] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2024-05-25 08:36:14] [INFO ] After 225087ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 2252 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 1596 out of 3147 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3147/3147 places, 5936/5936 transitions.
Discarding 726 places :
Symmetric choice reduction at 0 with 726 rule applications. Total rules 726 place count 2421 transition count 5210
Iterating global reduction 0 with 726 rules applied. Total rules applied 1452 place count 2421 transition count 5210
Performed 6 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 6 Pre rules applied. Total rules applied 1452 place count 2421 transition count 5204
Deduced a syphon composed of 6 places in 4 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 0 with 12 rules applied. Total rules applied 1464 place count 2415 transition count 5204
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1465 place count 2414 transition count 5197
Iterating global reduction 0 with 1 rules applied. Total rules applied 1466 place count 2414 transition count 5197
Free-agglomeration rule (complex) applied 14 times.
Iterating global reduction 0 with 14 rules applied. Total rules applied 1480 place count 2414 transition count 5183
Reduce places removed 14 places and 0 transitions.
Iterating post reduction 0 with 14 rules applied. Total rules applied 1494 place count 2400 transition count 5183
Partial Free-agglomeration rule applied 60 times.
Drop transitions removed 60 transitions
Iterating global reduction 1 with 60 rules applied. Total rules applied 1554 place count 2400 transition count 5183
Applied a total of 1554 rules in 508 ms. Remains 2400 /3147 variables (removed 747) and now considering 5183/5936 (removed 753) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 509 ms. Remains : 2400/3147 places, 5183/5936 transitions.
Reachability property qltransition_4026 is true.
Reachability property qltransition_3556 is true.
Interrupted random walk after 119800 steps, including 2352 resets, run timeout after 30001 ms. (steps per millisecond=3 ) properties seen 108
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2144) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2144) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2144) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2144) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2144) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2144) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 2144) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2144) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2144) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2144) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 2144) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2144) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2144) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2142) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 2142) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 2142) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 2142) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 2142) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 2142) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 2142) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 2142) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 2142) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2142) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2142) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 2142) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2142) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 2142) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 2142) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2142) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 2142) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 2142) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 2142) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 2142) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2142) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 2142) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2140) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 2140) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 2140) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2140) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 2140) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2140) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 2140) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 2140) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 2140) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2140) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 2140) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2140) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 2140) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 2140) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2140) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 2140) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 2140) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2140) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2140) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2140) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2140) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 2140) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 2140) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 2140) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2138) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2136) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 2136) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2136) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 2136) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2136) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 2136) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 2136) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2136) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 2136) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2136) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 2136) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2134) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2134) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 2134) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 2133) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2133) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2133) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2133) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 2133) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 2133) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 2133) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2133) seen :4
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 2129) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2129) seen :0
Reachability property qltransition_928 is true.
SDD proceeding with computation,6345 properties remain. new max is 128
SDD size :150 after 153
Reachability property qltransition_4700 is true.
Reachability property qltransition_3562 is true.
Reachability property qltransition_1940 is true.
SDD proceeding with computation,6342 properties remain. new max is 128
SDD size :153 after 156
Reachability property qltransition_5144 is true.
Reachability property qltransition_3566 is true.
Reachability property qltransition_2668 is true.
SDD proceeding with computation,6339 properties remain. new max is 128
SDD size :156 after 159
Reachability property qltransition_4139 is true.
Reachability property qltransition_3557 is true.
Reachability property qltransition_1114 is true.
SDD proceeding with computation,6336 properties remain. new max is 128
SDD size :159 after 162
Reachability property qltransition_3691 is true.
Reachability property qltransition_3553 is true.
Reachability property qltransition_258 is true.
SDD proceeding with computation,6333 properties remain. new max is 128
SDD size :162 after 165
Reachability property qltransition_4365 is true.
Reachability property qltransition_3559 is true.
Reachability property qltransition_1454 is true.
SDD proceeding with computation,6330 properties remain. new max is 128
SDD size :165 after 168
Reachability property qltransition_4250 is true.
Interrupted probabilistic random walk after 621625 steps, run timeout after 105001 ms. (steps per millisecond=5 ) properties seen :{40=1, 51=1, 80=1, 81=1, 91=1, 92=1, 102=1, 110=1, 116=1, 120=1, 122=1, 188=1, 196=1, 204=1, 210=1, 214=1, 216=1, 217=1, 241=1, 267=1, 268=1, 274=1, 280=1, 284=1, 286=1, 287=1, 288=1, 333=1, 334=1, 338=1, 340=1, 341=1, 342=1, 343=1, 369=1, 370=1, 373=1, 374=1, 375=1, 376=1, 377=1, 378=1, 403=1, 404=1, 405=1, 406=1, 407=1, 408=1, 409=1, 433=1, 434=1, 435=1, 436=1, 437=1, 438=1, 439=1, 465=1, 466=1, 467=1, 468=1, 556=1, 557=1, 558=1, 559=1, 560=1, 561=1, 562=1, 563=1, 588=1, 589=1, 590=1, 591=1, 592=1, 593=1, 594=1, 595=1, 618=1, 619=1, 620=1, 621=1, 622=1, 623=1, 624=1, 625=1, 626=1, 655=1, 657=1, 658=1, 659=1, 660=1, 661=1, 662=1, 663=1, 690=1, 708=1, 709=1, 713=1, 715=1, 716=1, 717=1, 718=1, 752=1, 768=1, 774=1, 775=1, 781=1, 787=1, 791=1, 793=1, 861=1, 869=1, 870=1, 876=1, 877=1, 883=1, 1026=1, 1027=1, 1028=1, 1029=1, 1031=1, 1032=1, 1033=1, 1034=1, 1035=1, 1036=1, 1039=1, 1047=1, 1048=1, 1049=1, 1050=1, 1051=1, 1053=1, 1054=1, 1066=1, 1067=1, 1068=1, 1070=1, 1071=1, 1072=1, 1082=1, 1083=1, 1084=1, 1085=1, 1086=1, 1087=1, 1088=1, 1093=1, 1102=1, 1104=1, 1105=1, 1106=1, 1107=1, 1108=1, 1110=1, 1119=1, 1120=1, 1121=1, 1123=1, 1124=1, 1125=1, 1137=1, 1139=1, 1140=1, 1141=1, 1142=1, 1143=1, 1144=1, 1155=1, 1156=1, 1157=1, 1158=1, 1159=1, 1160=1, 1162=1, 1173=1, 1174=1, 1175=1, 1176=1, 1225=1, 1226=1, 1236=1, 1237=1, 1240=1, 1241=1, 1242=1, 1243=1, 1244=1, 1245=1, 1258=1, 1259=1, 1260=1, 1261=1, 1262=1, 1263=1, 1265=1, 1266=1, 1269=1, 1277=1, 1278=1, 1279=1, 1281=1, 1282=1, 1284=1, 1287=1, 1289=1, 1298=1, 1299=1, 1300=1, 1301=1, 1302=1, 1303=1, 1309=1, 1310=1, 1311=1, 1318=1, 1320=1, 1321=1, 1324=1, 1335=1, 1336=1, 1337=1, 1338=1, 1339=1, 1342=1, 1344=1, 1352=1, 1354=1, 1356=1, 1358=1, 1656=1, 1657=1, 1659=1, 1661=1, 1663=1, 1665=1, 1666=1, 1668=1, 1673=1, 1680=1, 1681=1, 1683=1, 1796=1, 1828=1, 1829=1, 1838=1, 1841=1, 1843=1, 1844=1}
Probabilistic random walk after 621625 steps, saw 280357 distinct states, run finished after 105005 ms. (steps per millisecond=5 ) properties seen :248
Running SMT prover for 1881 properties.
[2024-05-25 08:38:35] [INFO ] Flow matrix only has 4897 transitions (discarded 286 similar events)
// Phase 1: matrix 4897 rows 2400 cols
[2024-05-25 08:38:35] [INFO ] Computed 285 invariants in 85 ms
Reachability property qltransition_3558 is true.
Reachability property qltransition_1288 is true.
SDD proceeding with computation,6327 properties remain. new max is 128
SDD size :168 after 171
Reachability property qltransition_5485 is true.
Reachability property qltransition_3569 is true.
Reachability property qltransition_3419 is true.
SDD proceeding with computation,6324 properties remain. new max is 128
SDD size :171 after 174
Reachability property qltransition_5031 is true.
Reachability property qltransition_3565 is true.
Reachability property qltransition_2466 is true.
SDD proceeding with computation,6321 properties remain. new max is 128
SDD size :174 after 177
Reachability property qltransition_4809 is true.
Reachability property qltransition_3563 is true.
Reachability property qltransition_2106 is true.
SDD proceeding with computation,6318 properties remain. new max is 128
SDD size :177 after 180
Reachability property qltransition_4924 is true.
Reachability property qltransition_3564 is true.
Reachability property qltransition_2280 is true.
SDD proceeding with computation,6315 properties remain. new max is 128
SDD size :180 after 183
[2024-05-25 08:39:59] [INFO ] [Real]Absence check using 31 positive place invariants in 66 ms returned sat
[2024-05-25 08:39:59] [INFO ] [Real]Absence check using 31 positive and 254 generalized place invariants in 45 ms returned sat
SDD proceeding with computation,6315 properties remain. new max is 256
SDD size :183 after 228
Detected timeout of ITS tools.
[2024-05-25 08:40:22] [INFO ] Flatten gal took : 246 ms
[2024-05-25 08:40:22] [INFO ] Applying decomposition
[2024-05-25 08:40:22] [INFO ] Flatten gal took : 199 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202304061127/bin/convert-linux64' '-i' '/tmp/graph992744441498947007.txt' '-o' '/tmp/graph992744441498947007.bin' '-w' '/tmp/graph992744441498947007.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202304061127/bin/louvain-linux64' '/tmp/graph992744441498947007.bin' '-l' '-1' '-v' '-w' '/tmp/graph992744441498947007.weights' '-q' '0' '-e' '0.001'
[2024-05-25 08:40:23] [INFO ] Decomposing Gal with order
[2024-05-25 08:40:23] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-25 08:40:25] [INFO ] Removed a total of 4894 redundant transitions.
[2024-05-25 08:40:25] [INFO ] Flatten gal took : 1323 ms
[2024-05-25 08:40:25] [INFO ] Fuse similar labels procedure discarded/fused a total of 1048 labels/synchronizations in 237 ms.
[2024-05-25 08:40:25] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality11236516835194684712.gal : 67 ms
[2024-05-25 08:40:25] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality18165175200407127555.prop : 10 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202304061127/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality11236516835194684712.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality18165175200407127555.prop' '--nowitness'

its-reach command run as :

/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202304061127/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...309
Loading property file /tmp/ReachabilityCardinality18165175200407127555.prop.
SDD proceeding with computation,1881 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,1881 properties remain. new max is 8
SDD size :1 after 1
SDD proceeding with computation,1881 properties remain. new max is 16
SDD size :1 after 1
SDD proceeding with computation,1881 properties remain. new max is 32
SDD size :1 after 1
SDD proceeding with computation,1881 properties remain. new max is 64
SDD size :1 after 1
SDD proceeding with computation,1881 properties remain. new max is 128
SDD size :1 after 13
SDD proceeding with computation,1881 properties remain. new max is 256
SDD size :13 after 27
SDD proceeding with computation,1881 properties remain. new max is 512
SDD size :27 after 68
SDD proceeding with computation,1881 properties remain. new max is 1024
SDD size :68 after 82
SDD proceeding with computation,1881 properties remain. new max is 2048
SDD size :82 after 88
SDD proceeding with computation,1881 properties remain. new max is 4096
SDD size :88 after 92
SDD proceeding with computation,1881 properties remain. new max is 8192
SDD size :92 after 154
SDD proceeding with computation,1881 properties remain. new max is 16384
SDD size :154 after 196
SDD proceeding with computation,1881 properties remain. new max is 32768
SDD size :196 after 363
SDD proceeding with computation,1881 properties remain. new max is 65536
SDD size :363 after 663
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.checkResults(DeadlockTester.java:800)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:634)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:342)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:226)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:96)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:426)
at fr.lip6.move.gal.application.Application.start(Application.java:182)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2024-05-25 08:42:22] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2024-05-25 08:42:22] [INFO ] After 225039ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 1881 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 1295 out of 2400 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2400/2400 places, 5183/5183 transitions.
Discarding 132 places :
Symmetric choice reduction at 0 with 132 rule applications. Total rules 132 place count 2268 transition count 5051
Iterating global reduction 0 with 132 rules applied. Total rules applied 264 place count 2268 transition count 5051
Discarding 77 places :
Symmetric choice reduction at 0 with 77 rule applications. Total rules 341 place count 2191 transition count 4512
Iterating global reduction 0 with 77 rules applied. Total rules applied 418 place count 2191 transition count 4512
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 419 place count 2191 transition count 4511
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 420 place count 2190 transition count 4511
Partial Free-agglomeration rule applied 14 times.
Drop transitions removed 14 transitions
Iterating global reduction 1 with 14 rules applied. Total rules applied 434 place count 2190 transition count 4511
Applied a total of 434 rules in 368 ms. Remains 2190 /2400 variables (removed 210) and now considering 4511/5183 (removed 672) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 368 ms. Remains : 2190/2400 places, 4511/5183 transitions.
SDD proceeding with computation,1881 properties remain. new max is 131072
SDD size :663 after 1131
Interrupted random walk after 133851 steps, including 2631 resets, run timeout after 30001 ms. (steps per millisecond=4 ) properties seen 39
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1842) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1840) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1840) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 1840) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1840) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1840) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1840) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1840) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1840) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1840) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 1839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 1839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 1839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1839) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1838) seen :0
Interrupted probabilistic random walk after 714898 steps, run timeout after 102001 ms. (steps per millisecond=7 ) properties seen :{599=1, 600=1, 752=1, 1063=1, 1072=1, 1095=1}
Probabilistic random walk after 714898 steps, saw 320349 distinct states, run finished after 102004 ms. (steps per millisecond=7 ) properties seen :6
Running SMT prover for 1832 properties.
[2024-05-25 08:44:38] [INFO ] Flow matrix only has 4225 transitions (discarded 286 similar events)
// Phase 1: matrix 4225 rows 2190 cols
[2024-05-25 08:44:39] [INFO ] Computed 285 invariants in 70 ms
SDD proceeding with computation,1881 properties remain. new max is 262144
SDD size :1131 after 2132
[2024-05-25 08:45:39] [INFO ] [Real]Absence check using 31 positive place invariants in 43 ms returned sat
[2024-05-25 08:45:39] [INFO ] [Real]Absence check using 31 positive and 254 generalized place invariants in 45 ms returned sat
SDD proceeding with computation,1881 properties remain. new max is 524288
SDD size :2132 after 2936
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.checkResults(DeadlockTester.java:800)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:634)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:342)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:226)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:96)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:426)
at fr.lip6.move.gal.application.Application.start(Application.java:182)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2024-05-25 08:48:25] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2024-05-25 08:48:25] [INFO ] After 225043ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 1832 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 5 ms.
Support contains 1257 out of 2190 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2190/2190 places, 4511/4511 transitions.
Discarding 16 places :
Symmetric choice reduction at 0 with 16 rule applications. Total rules 16 place count 2174 transition count 4495
Iterating global reduction 0 with 16 rules applied. Total rules applied 32 place count 2174 transition count 4495
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 34 place count 2172 transition count 4481
Iterating global reduction 0 with 2 rules applied. Total rules applied 36 place count 2172 transition count 4481
Partial Free-agglomeration rule applied 8 times.
Drop transitions removed 8 transitions
Iterating global reduction 0 with 8 rules applied. Total rules applied 44 place count 2172 transition count 4481
Applied a total of 44 rules in 228 ms. Remains 2172 /2190 variables (removed 18) and now considering 4481/4511 (removed 30) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 228 ms. Remains : 2172/2190 places, 4481/4511 transitions.
Interrupted random walk after 142868 steps, including 2808 resets, run timeout after 30001 ms. (steps per millisecond=4 ) properties seen 34
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 1798) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 1798) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1798) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 1798) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1798) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 1798) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 1798) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1798) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 1798) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1798) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1797) seen :0
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin11830850537192447863
[2024-05-25 08:50:26] [INFO ] Built C files in 208ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin11830850537192447863
Running compilation step : cd /tmp/ltsmin11830850537192447863;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202304061127/bin/limit_time.pl' '120' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202304061127/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
Interrupted probabilistic random walk after 674459 steps, run timeout after 96001 ms. (steps per millisecond=7 ) properties seen :{}
Probabilistic random walk after 674459 steps, saw 302203 distinct states, run finished after 96001 ms. (steps per millisecond=7 ) properties seen :0
Running SMT prover for 1797 properties.
[2024-05-25 08:50:34] [INFO ] Flow matrix only has 4195 transitions (discarded 286 similar events)
// Phase 1: matrix 4195 rows 2172 cols
[2024-05-25 08:50:34] [INFO ] Computed 285 invariants in 45 ms
Compilation finished in 30120 ms.
Running link step : cd /tmp/ltsmin11830850537192447863;'gcc' '-shared' '-o' 'gal.so' 'model.o'
Link finished in 93 ms.
Running LTSmin : cd /tmp/ltsmin11830850537192447863;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202304061127/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '--when' '-i' 'qltransition_1==true'
[2024-05-25 08:51:42] [INFO ] [Real]Absence check using 31 positive place invariants in 92 ms returned sat
[2024-05-25 08:51:42] [INFO ] [Real]Absence check using 31 positive and 254 generalized place invariants in 75 ms returned sat
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.checkResults(DeadlockTester.java:800)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:634)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:342)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:226)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:96)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:426)
at fr.lip6.move.gal.application.Application.start(Application.java:182)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2024-05-25 08:54:20] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2024-05-25 08:54:20] [INFO ] After 225053ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 1797 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 1234 out of 2172 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2172/2172 places, 4481/4481 transitions.
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 10 place count 2162 transition count 4471
Iterating global reduction 0 with 10 rules applied. Total rules applied 20 place count 2162 transition count 4471
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 23 place count 2159 transition count 4450
Iterating global reduction 0 with 3 rules applied. Total rules applied 26 place count 2159 transition count 4450
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 27 place count 2159 transition count 4455
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 28 place count 2158 transition count 4455
Partial Free-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 1 with 2 rules applied. Total rules applied 30 place count 2158 transition count 4455
Applied a total of 30 rules in 899 ms. Remains 2158 /2172 variables (removed 14) and now considering 4455/4481 (removed 26) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 908 ms. Remains : 2158/2172 places, 4455/4481 transitions.
Interrupted random walk after 65536 steps, including 1292 resets, run timeout after 30003 ms. (steps per millisecond=2 ) properties seen 23
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 1774) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 1774) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 1772) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 1772) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 1772) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 1772) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 1772) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 1772) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 1772) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 1772) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 1772) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 1772) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 1772) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 1772) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 1772) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 1772) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 1772) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 1772) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 1772) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 1772) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 1772) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 1772) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 1772) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 1772) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 1772) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 1772) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 1772) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 1772) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 1772) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 1770) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 1768) seen :0
Interrupted probabilistic random walk after 373652 steps, run timeout after 129001 ms. (steps per millisecond=2 ) properties seen :{}
Probabilistic random walk after 373652 steps, saw 167683 distinct states, run finished after 129002 ms. (steps per millisecond=2 ) properties seen :0
Running SMT prover for 1768 properties.
[2024-05-25 08:57:13] [INFO ] Flow matrix only has 4169 transitions (discarded 286 similar events)
// Phase 1: matrix 4169 rows 2158 cols
[2024-05-25 08:57:13] [INFO ] Computed 285 invariants in 121 ms
[2024-05-25 08:58:33] [INFO ] [Real]Absence check using 31 positive place invariants in 100 ms returned sat
[2024-05-25 08:58:33] [INFO ] [Real]Absence check using 31 positive and 254 generalized place invariants in 89 ms returned sat
TIME LIMIT: Killed by timeout after 1800 seconds
MemTotal: 16393216 kB
MemFree: 12140876 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16130072 kB

BK_TIME_CONFINEMENT_REACHED

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

+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ QuasiLiveness = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution QuasiLiveness -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
+ 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:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202304061127.jar
+ VERSION=202304061127
+ echo 'Running Version 202304061127'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination QuasiLiveness -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800

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="MultiCrashLeafsetExtension-PT-S16C07"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="gold2023"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
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-5568"
echo " Executing tool gold2023"
echo " Input is MultiCrashLeafsetExtension-PT-S16C07, examination is QuasiLiveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r264-tall-171654373000027"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S16C07.tgz
mv MultiCrashLeafsetExtension-PT-S16C07 execution
cd execution
if [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "UpperBounds" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] || [ "QuasiLiveness" = "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 [ "QuasiLiveness" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "QuasiLiveness" != "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 "QuasiLiveness.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property QuasiLiveness.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "QuasiLiveness.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 '' QuasiLiveness.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] ; then
echo "FORMULA_NAME QuasiLiveness"
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 ;