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.r440-smll-171690586200117.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 TokenRing-PT-030, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r440-smll-171690586200117
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 257M
-rw-r--r-- 1 mcc users 1.4M Apr 11 23:25 CTLCardinality.txt
-rw-r--r-- 1 mcc users 6.5M Apr 11 23:25 CTLCardinality.xml
-rw-r--r-- 1 mcc users 17M Apr 11 21:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 59M Apr 11 21:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:43 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 678K Apr 23 08:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 2.4M Apr 23 08:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 7.1M Apr 23 08:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 20M Apr 23 08:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.5M Apr 12 03:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 12M Apr 12 03:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 27M Apr 12 02:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 91M Apr 12 02:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 102K Apr 23 08:02 UpperBounds.txt
-rw-r--r-- 1 mcc users 262K Apr 23 08:02 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 4 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 14M 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 1717008874776

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=TokenRing-PT-030
Not applying reductions.
Model is PT
QuasiLiveness PT
Running Version 202304061127
[2024-05-29 18:54:38] [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-29 18:54:38] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-29 18:54:39] [INFO ] Load time of PNML (sax parser for PT used): 1080 ms
[2024-05-29 18:54:39] [INFO ] Transformed 961 places.
[2024-05-29 18:54:39] [INFO ] Transformed 27931 transitions.
[2024-05-29 18:54:39] [INFO ] Found NUPN structural information;
[2024-05-29 18:54:39] [INFO ] Parsed PT model containing 961 places and 27931 transitions and 111724 arcs in 1346 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 961/961 places, 27931/27931 transitions.
Applied a total of 0 rules in 402 ms. Remains 961 /961 variables (removed 0) and now considering 27931/27931 (removed 0) transitions.
// Phase 1: matrix 27931 rows 961 cols
[2024-05-29 18:54:40] [INFO ] Computed 31 invariants in 193 ms
[2024-05-29 18:54:44] [INFO ] Implicit Places using invariants in 4936 ms returned []
Implicit Place search using SMT only with invariants took 5001 ms to find 0 implicit places.
[2024-05-29 18:54:44] [INFO ] Invariant cache hit.
[2024-05-29 18:55:10] [INFO ] Dead Transitions using invariants and state equation in 26108 ms found 0 transitions.
Finished structural reductions in LIVENESS mode , in 1 iterations and 31533 ms. Remains : 961/961 places, 27931/27931 transitions.
Initial state reduction rules removed 30 formulas.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 1670 ms. (steps per millisecond=5 ) properties (out of 27901) seen :250
[2024-05-29 18:55:16] [INFO ] Flatten gal took : 2170 ms
Interrupted probabilistic random walk after 891 steps, run timeout after 3005 ms. (steps per millisecond=0 ) properties seen :{235=1, 311=1, 392=1, 467=1, 490=1, 540=1, 786=1, 796=1, 1106=1, 1395=1, 1668=1, 2319=1, 2625=1, 2741=1, 2777=1, 3233=1, 3244=1, 3247=1, 3351=1, 3442=1, 3519=1, 4153=1, 4169=1, 4308=1, 4346=1, 4502=1, 4679=1, 4742=1, 5234=1, 5281=1, 5898=1, 6290=1, 7219=1, 7240=1, 7628=1, 7705=1, 7729=1, 7927=1, 7964=1, 8259=1, 8338=1, 8519=1, 8946=1, 9117=1, 9433=1, 10054=1, 10330=1, 10355=1, 10424=1, 10429=1, 10559=1, 10574=1, 10641=1, 10742=1, 11154=1, 11352=1, 11838=1, 12477=1, 12747=1, 13280=1, 13372=1, 13445=1, 13458=1, 14810=1, 14830=1, 15419=1, 15563=1, 15578=1, 15819=1, 15918=1, 16291=1, 16479=1, 16632=1, 16804=1, 16852=1, 16894=1, 18485=1, 18619=1, 19125=1, 19346=1, 19651=1, 19801=1, 19823=1, 19832=1, 19866=1, 20002=1, 20075=1, 20116=1, 20766=1, 20869=1, 20938=1, 21131=1, 21961=1, 22297=1, 22486=1, 22852=1, 23125=1, 23186=1, 23358=1, 23423=1, 23625=1, 23916=1, 23984=1, 24014=1, 24028=1, 24494=1, 24543=1, 24669=1, 24716=1, 24722=1, 24725=1, 24856=1, 25761=1, 25798=1, 25828=1, 25839=1, 26037=1, 26165=1, 26252=1, 26565=1, 26651=1, 26668=1, 26687=1, 26880=1, 27357=1}
Probabilistic random walk after 891 steps, saw 789 distinct states, run finished after 3009 ms. (steps per millisecond=0 ) properties seen :125
Running SMT prover for 27526 properties.
[2024-05-29 18:55:17] [INFO ] Invariant cache hit.
[2024-05-29 18:55:17] [INFO ] Flatten gal took : 1327 ms
[2024-05-29 18:55:18] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality6059192225273092629.gal : 391 ms
[2024-05-29 18:55:18] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality3579958553581233932.prop : 160 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/ReachabilityCardinality6059192225273092629.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality3579958553581233932.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/ReachabilityCardinality3579958553581233932.prop.
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-29 18:55:42] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2024-05-29 18:55:42] [INFO ] After 25041ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 27526 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 5 ms.
Support contains 961 out of 961 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 961/961 places, 27931/27931 transitions.
Applied a total of 0 rules in 276 ms. Remains 961 /961 variables (removed 0) and now considering 27931/27931 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 280 ms. Remains : 961/961 places, 27931/27931 transitions.
Reachability property qltransition_15556 is true.
Interrupted random walk after 179996 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 739
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 26787) seen :10
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26777) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26769) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26764) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26755) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26750) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26743) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26741) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26737) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26733) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26730) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26726) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26724) seen :1
SDD proceeding with computation,27650 properties remain. new max is 2
SDD size :1 after 2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 26723) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26721) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26720) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 26718) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 26715) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 26712) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26711) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26711) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26709) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26708) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26708) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26707) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26707) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26707) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26707) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 26707) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 26706) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26706) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 26706) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 26706) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26705) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 26704) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26704) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26704) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26702) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26700) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26700) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26700) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26698) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26698) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26698) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26698) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26696) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26696) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26696) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26696) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 26695) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26695) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26694) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26694) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26694) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26694) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26694) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26693) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26693) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26692) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26689) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26689) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26688) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26688) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26687) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 26686) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 26686) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 26686) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 26686) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26686) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26686) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26685) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 26685) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26684) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 26684) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26683) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26683) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26683) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26683) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26683) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26683) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26683) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26682) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26680) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26680) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 26680) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26679) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26678) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26678) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26676) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26676) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26675) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26675) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26675) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26674) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26674) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26674) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26674) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26672) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26672) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26669) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26669) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26668) seen :0
Reachability property qltransition_3260 is true.
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26668) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26668) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26667) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26667) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26667) seen :0
Reachability property qltransition_1430 is true.
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26667) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26667) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26667) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26667) seen :0
SDD proceeding with computation,27648 properties remain. new max is 2
SDD size :2 after 5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26667) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26667) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26667) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26667) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26667) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26667) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26667) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26667) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 26667) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26667) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26665) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 26664) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26664) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26664) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26664) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26664) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26664) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26664) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26664) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26663) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26663) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26662) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26662) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26662) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26662) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26662) seen :0
Reachability property qltransition_19087 is true.
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26662) seen :0
Reachability property qltransition_18786 is true.
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26662) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26662) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26662) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26662) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26662) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26662) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26662) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26662) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26661) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 26661) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 26661) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26661) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26660) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26660) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26660) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26659) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26659) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26659) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26659) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26658) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26658) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26658) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26658) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26658) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26658) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26658) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26656) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26656) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26656) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26656) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 26655) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 26655) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 26655) seen :0
Reachability property qltransition_8418 is true.
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 26655) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26655) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26655) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 26654) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 26654) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26653) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26653) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 26653) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 26653) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26653) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 26653) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 26653) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26652) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26652) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26651) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26651) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 26650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 26650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 26650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 26650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 26650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 26650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 26650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 26650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 26650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26650) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26649) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26649) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26648) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 26648) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 26648) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26648) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26648) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26648) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 26648) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 26648) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 26648) seen :0
Reachability property qltransition_792 is true.
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 26648) seen :0
SDD proceeding with computation,27644 properties remain. new max is 2
SDD size :5 after 11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 26648) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26647) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26647) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 26647) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 26647) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 26645) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26645) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26645) seen :0
Reachability property qltransition_24975 is true.
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 26645) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26645) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26645) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26645) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26644) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26644) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26644) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26643) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26642) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26642) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26641) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 26641) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26641) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26641) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26641) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26641) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26641) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26640) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 26640) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 26640) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26639) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26639) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26639) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26639) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26639) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 26639) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26639) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26639) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26639) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26639) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26639) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26639) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26639) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26639) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26639) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 26639) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26638) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26638) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26638) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26638) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26638) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26638) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26637) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26637) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26637) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26637) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26637) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26637) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26637) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26637) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26637) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26637) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26637) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26637) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26637) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26637) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26636) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26636) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 26636) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 26636) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26634) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26634) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26633) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26633) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26632) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26631) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26631) seen :1
SDD proceeding with computation,27643 properties remain. new max is 2
SDD size :11 after 14
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26630) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26630) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 26630) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26630) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26630) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26630) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26630) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26630) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26630) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26630) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26630) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26629) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26629) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26628) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26628) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26628) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26628) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26628) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26628) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26628) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26628) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26628) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 26628) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26628) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26628) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26627) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26627) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26627) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26627) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26627) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26627) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26627) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26627) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 26627) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 26627) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 26627) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 26627) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 26626) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26626) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26626) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 26626) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 26626) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 26626) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 26625) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 26625) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26625) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26625) seen :0
Reachability property qltransition_19306 is true.
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26625) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26625) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26625) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26624) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26624) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 26623) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26623) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26623) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26623) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26623) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26623) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26623) seen :0
Reachability property qltransition_15718 is true.
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26623) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 26622) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26622) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26622) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26622) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26622) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26621) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26621) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26621) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 26621) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26621) seen :0
Reachability property qltransition_12331 is true.
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 26621) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26621) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26621) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 26620) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26620) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 26620) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26620) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 26620) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 26620) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 26620) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 26620) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 26620) seen :0
Reachability property qltransition_7952 is true.
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 26620) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 26620) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 26620) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 26620) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 26620) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 26620) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26620) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26620) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26620) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 26620) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26620) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 26620) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26620) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26620) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26620) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26620) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26620) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 26620) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26620) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26620) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26620) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26620) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26620) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 26619) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 26619) seen :0
SDD proceeding with computation,27639 properties remain. new max is 2
SDD size :14 after 29
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26619) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 26618) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26618) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 26618) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26618) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26618) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 26618) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 26618) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 26618) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 26618) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26618) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26618) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26618) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26618) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 26618) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 26618) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 26618) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 26618) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26618) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26618) seen :0
Reachability property qltransition_22686 is true.
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26618) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 26618) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26618) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26618) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 26618) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26617) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26617) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26617) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26617) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 26617) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26617) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26617) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26617) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 26617) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26616) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26615) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26615) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26615) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26615) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26615) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26615) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26615) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26615) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26615) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26615) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26615) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26615) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26615) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26615) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26615) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26615) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26615) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26615) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26615) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26614) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 26614) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 26614) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 26614) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 26614) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 26614) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 26614) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 26614) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26614) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26614) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 26614) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26614) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26614) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 26614) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26614) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26614) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26614) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26614) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26614) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26614) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26614) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26613) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26613) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26612) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26612) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26612) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26612) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 26612) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 26612) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26612) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 26612) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26612) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26612) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 26612) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 26612) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26612) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26612) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26612) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 26612) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26612) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26612) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26612) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26612) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26612) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26612) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26612) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26612) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26612) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 26612) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26612) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 26612) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 26612) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 26612) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 26612) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 26612) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 26612) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26612) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26612) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26612) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26612) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 26612) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26612) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26611) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26611) seen :0
Reachability property qltransition_497 is true.
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26611) seen :0
SDD proceeding with computation,27637 properties remain. new max is 2
SDD size :29 after 33
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26611) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26611) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26611) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26611) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 26610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 26610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 26610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 26610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 26610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26610) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26609) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26609) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26609) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26609) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26608) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26608) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26608) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26608) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26608) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26608) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26608) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26608) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26608) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26608) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26608) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26608) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26608) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26608) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26608) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26608) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26608) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26608) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26608) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26608) seen :0
Reachability property qltransition_3096 is true.
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26608) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26608) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26607) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26607) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26607) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26607) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26607) seen :0
Reachability property qltransition_477 is true.
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26607) seen :0
Reachability property qltransition_82 is true.
SDD proceeding with computation,27634 properties remain. new max is 2
SDD size :33 after 39
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26607) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26607) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26607) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26607) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26607) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26607) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26607) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26607) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26607) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26606) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26606) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26606) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26606) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26606) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26606) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26606) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26606) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26606) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26606) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26606) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 26606) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 26606) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 26606) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26606) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26606) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26606) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26606) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26606) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26606) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26606) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26606) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26606) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26606) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26606) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26606) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26606) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26606) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26606) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26606) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26606) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26606) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26606) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26606) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26606) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26606) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26605) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26605) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26604) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26604) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26604) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26603) seen :0
SDD proceeding with computation,27634 properties remain. new max is 4
SDD size :39 after 42
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26603) seen :0
Reachability property qltransition_26047 is true.
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26603) seen :0
Reachability property qltransition_23130 is true.
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26603) seen :0
Reachability property qltransition_23014 is true.
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26603) seen :0
Reachability property qltransition_20270 is true.
Reachability property qltransition_19400 is true.
Reachability property qltransition_918 is true.
SDD proceeding with computation,27628 properties remain. new max is 4
SDD size :42 after 85
Reachability property qltransition_19510 is true.
Reachability property qltransition_17431 is true.
SDD proceeding with computation,27626 properties remain. new max is 4
SDD size :85 after 90
Reachability property qltransition_22865 is true.
Reachability property qltransition_18578 is true.
Reachability property qltransition_2347 is true.
SDD proceeding with computation,27623 properties remain. new max is 4
SDD size :90 after 100
SDD proceeding with computation,27623 properties remain. new max is 8
SDD size :100 after 104
Reachability property qltransition_15938 is true.
Reachability property qltransition_14498 is true.
Reachability property qltransition_12443 is true.
Reachability property qltransition_9172 is true.
SDD proceeding with computation,27619 properties remain. new max is 8
SDD size :104 after 119
SDD proceeding with computation,27619 properties remain. new max is 16
SDD size :119 after 123
SDD proceeding with computation,27619 properties remain. new max is 32
SDD size :123 after 129
SDD proceeding with computation,27619 properties remain. new max is 64
SDD size :129 after 132
Reachability property qltransition_21994 is true.
Reachability property qltransition_20663 is true.
Reachability property qltransition_19675 is true.
Reachability property qltransition_15271 is true.
Reachability property qltransition_15228 is true.
Reachability property qltransition_12392 is true.
Reachability property qltransition_10520 is true.
Reachability property qltransition_3026 is true.
SDD proceeding with computation,27611 properties remain. new max is 64
SDD size :132 after 271
Reachability property qltransition_26796 is true.
Reachability property qltransition_20186 is true.
Reachability property qltransition_6763 is true.
SDD proceeding with computation,27608 properties remain. new max is 64
SDD size :271 after 291
Reachability property qltransition_18819 is true.
Reachability property qltransition_14180 is true.
Reachability property qltransition_14022 is true.
Reachability property qltransition_10874 is true.
SDD proceeding with computation,27604 properties remain. new max is 64
SDD size :291 after 339
Reachability property qltransition_23661 is true.
Reachability property qltransition_17005 is true.
Reachability property qltransition_16752 is true.
Reachability property qltransition_3292 is true.
SDD proceeding with computation,27600 properties remain. new max is 64
SDD size :339 after 387
SDD proceeding with computation,27600 properties remain. new max is 128
SDD size :387 after 401
SDD proceeding with computation,27600 properties remain. new max is 256
SDD size :401 after 429
Reachability property qltransition_27689 is true.
Reachability property qltransition_26059 is true.
Reachability property qltransition_25453 is true.
Reachability property qltransition_22108 is true.
Reachability property qltransition_20778 is true.
Reachability property qltransition_20597 is true.
Reachability property qltransition_15557 is true.
Reachability property qltransition_14193 is true.
Reachability property qltransition_12398 is true.
Reachability property qltransition_10672 is true.
Reachability property qltransition_8811 is true.
Reachability property qltransition_8102 is true.
Reachability property qltransition_7202 is true.
Reachability property qltransition_4212 is true.
Reachability property qltransition_3274 is true.
Reachability property qltransition_3271 is true.
Reachability property qltransition_1528 is true.
SDD proceeding with computation,27583 properties remain. new max is 256
SDD size :429 after 968
Reachability property qltransition_27670 is true.
Reachability property qltransition_26830 is true.
Reachability property qltransition_25357 is true.
Reachability property qltransition_25125 is true.
Reachability property qltransition_24041 is true.
Reachability property qltransition_21749 is true.
Reachability property qltransition_21610 is true.
Reachability property qltransition_21153 is true.
Reachability property qltransition_20925 is true.
Reachability property qltransition_20195 is true.
Reachability property qltransition_19461 is true.
Reachability property qltransition_19419 is true.
Reachability property qltransition_11813 is true.
Reachability property qltransition_10174 is true.
Reachability property qltransition_9207 is true.
Reachability property qltransition_5678 is true.
Reachability property qltransition_5265 is true.
Reachability property qltransition_545 is true.
Reachability property qltransition_292 is true.
SDD proceeding with computation,27564 properties remain. new max is 256
SDD size :968 after 2861
Reachability property qltransition_27845 is true.
Reachability property qltransition_27692 is true.
Reachability property qltransition_27546 is true.
Reachability property qltransition_22809 is true.
Reachability property qltransition_22697 is true.
Reachability property qltransition_21215 is true.
Reachability property qltransition_20451 is true.
Reachability property qltransition_17952 is true.
Reachability property qltransition_16759 is true.
Reachability property qltransition_16363 is true.
Reachability property qltransition_15870 is true.
Reachability property qltransition_14987 is true.
Reachability property qltransition_12371 is true.
Reachability property qltransition_12201 is true.
Reachability property qltransition_11632 is true.
Reachability property qltransition_10877 is true.
Reachability property qltransition_9569 is true.
Reachability property qltransition_9180 is true.
Reachability property qltransition_9169 is true.
Reachability property qltransition_8565 is true.
Reachability property qltransition_8558 is true.
Reachability property qltransition_6707 is true.
Reachability property qltransition_3795 is true.
Reachability property qltransition_2866 is true.
Reachability property qltransition_2844 is true.
Reachability property qltransition_2685 is true.
Reachability property qltransition_2095 is true.
SDD proceeding with computation,27537 properties remain. new max is 256
SDD size :2861 after 4862
Reachability property qltransition_27711 is true.
Reachability property qltransition_24227 is true.
Reachability property qltransition_24099 is true.
Reachability property qltransition_23736 is true.
Reachability property qltransition_23707 is true.
Reachability property qltransition_21587 is true.
Reachability property qltransition_20706 is true.
Reachability property qltransition_20067 is true.
Reachability property qltransition_18831 is true.
Reachability property qltransition_17551 is true.
Reachability property qltransition_16075 is true.
Reachability property qltransition_13444 is true.
Reachability property qltransition_10161 is true.
Reachability property qltransition_9200 is true.
Reachability property qltransition_7925 is true.
Reachability property qltransition_7199 is true.
Reachability property qltransition_6792 is true.
Reachability property qltransition_6410 is true.
Reachability property qltransition_5465 is true.
Reachability property qltransition_3997 is true.
Reachability property qltransition_3273 is true.
Reachability property qltransition_1844 is true.
Reachability property qltransition_1428 is true.
Reachability property qltransition_165 is true.
SDD proceeding with computation,27513 properties remain. new max is 256
SDD size :4862 after 10361
Reachability property qltransition_27553 is true.
Reachability property qltransition_26554 is true.
Reachability property qltransition_26057 is true.
Reachability property qltransition_24257 is true.
Reachability property qltransition_23980 is true.
Reachability property qltransition_22808 is true.
Reachability property qltransition_22323 is true.
Reachability property qltransition_20575 is true.
Reachability property qltransition_18738 is true.
Reachability property qltransition_16566 is true.
Reachability property qltransition_14958 is true.
Reachability property qltransition_14638 is true.
Reachability property qltransition_14394 is true.
Reachability property qltransition_13398 is true.
Reachability property qltransition_13124 is true.
Reachability property qltransition_12945 is true.
Reachability property qltransition_12858 is true.
Reachability property qltransition_12429 is true.
Reachability property qltransition_11861 is true.
Reachability property qltransition_10907 is true.
Reachability property qltransition_8407 is true.
Reachability property qltransition_8323 is true.
Reachability property qltransition_7917 is true.
Reachability property qltransition_7906 is true.
Reachability property qltransition_7834 is true.
Reachability property qltransition_7780 is true.
Reachability property qltransition_6372 is true.
Reachability property qltransition_5930 is true.
Reachability property qltransition_4570 is true.
Reachability property qltransition_3785 is true.
Reachability property qltransition_2673 is true.
Reachability property qltransition_2484 is true.
Reachability property qltransition_1013 is true.
Reachability property qltransition_395 is true.
SDD proceeding with computation,27479 properties remain. new max is 256
SDD size :10361 after 33603
Reachability property qltransition_25606 is true.
Reachability property qltransition_25162 is true.
Reachability property qltransition_22068 is true.
Reachability property qltransition_21418 is true.
Reachability property qltransition_19898 is true.
Reachability property qltransition_18059 is true.
Reachability property qltransition_17576 is true.
Reachability property qltransition_16055 is true.
Reachability property qltransition_15167 is true.
Reachability property qltransition_14823 is true.
Reachability property qltransition_14081 is true.
Reachability property qltransition_11150 is true.
Reachability property qltransition_11110 is true.
Reachability property qltransition_10123 is true.
Reachability property qltransition_9531 is true.
Reachability property qltransition_8777 is true.
Reachability property qltransition_8719 is true.
Reachability property qltransition_4791 is true.
Reachability property qltransition_4756 is true.
Reachability property qltransition_3790 is true.
Reachability property qltransition_3643 is true.
Reachability property qltransition_1961 is true.
Reachability property qltransition_1587 is true.
Reachability property qltransition_544 is true.
Reachability property qltransition_225 is true.
SDD proceeding with computation,27454 properties remain. new max is 256
SDD size :33603 after 39780
Reachability property qltransition_27859 is true.
Reachability property qltransition_27011 is true.
Reachability property qltransition_26827 is true.
Reachability property qltransition_26563 is true.
Reachability property qltransition_25934 is true.
Reachability property qltransition_25498 is true.
Reachability property qltransition_24760 is true.
Reachability property qltransition_24225 is true.
Reachability property qltransition_24015 is true.
Reachability property qltransition_21230 is true.
Reachability property qltransition_20994 is true.
Reachability property qltransition_20074 is true.
Reachability property qltransition_16097 is true.
Reachability property qltransition_14005 is true.
Reachability property qltransition_13507 is true.
Reachability property qltransition_13040 is true.
Reachability property qltransition_12326 is true.
Reachability property qltransition_11573 is true.
Reachability property qltransition_10843 is true.
Reachability property qltransition_10596 is true.
Reachability property qltransition_9262 is true.
Reachability property qltransition_8579 is true.
Reachability property qltransition_6569 is true.
Reachability property qltransition_6463 is true.
Reachability property qltransition_6451 is true.
Reachability property qltransition_6182 is true.
Reachability property qltransition_5179 is true.
Reachability property qltransition_4788 is true.
Reachability property qltransition_4089 is true.
Reachability property qltransition_3798 is true.
Reachability property qltransition_2649 is true.
Reachability property qltransition_1849 is true.
Reachability property qltransition_796 is true.
SDD proceeding with computation,27421 properties remain. new max is 256
SDD size :39780 after 117649
Reachability property qltransition_26140 is true.
Reachability property qltransition_25233 is true.
Reachability property qltransition_23431 is true.
Reachability property qltransition_20035 is true.
Reachability property qltransition_18552 is true.
Reachability property qltransition_17518 is true.
Reachability property qltransition_16535 is true.
Reachability property qltransition_15592 is true.
Reachability property qltransition_14710 is true.
Reachability property qltransition_11784 is true.
Reachability property qltransition_11731 is true.
Reachability property qltransition_10756 is true.
Reachability property qltransition_9850 is true.
Reachability property qltransition_8760 is true.
Reachability property qltransition_7095 is true.
Reachability property qltransition_6966 is true.
Reachability property qltransition_4464 is true.
Reachability property qltransition_2903 is true.
Reachability property qltransition_2159 is true.
Reachability property qltransition_1916 is true.
Reachability property qltransition_1543 is true.
Reachability property qltransition_1305 is true.
SDD proceeding with computation,27399 properties remain. new max is 256
SDD size :117649 after 127568
Reachability property qltransition_27513 is true.
Reachability property qltransition_26212 is true.
Reachability property qltransition_21825 is true.
Reachability property qltransition_19841 is true.
Reachability property qltransition_14528 is true.
Reachability property qltransition_13443 is true.
Reachability property qltransition_11165 is true.
Reachability property qltransition_923 is true.
SDD proceeding with computation,27391 properties remain. new max is 256
SDD size :127568 after 134913
SDD proceeding with computation,27391 properties remain. new max is 512
SDD size :134913 after 135550
Reachability property qltransition_22095 is true.
Reachability property qltransition_16543 is true.
Reachability property qltransition_13679 is true.
Reachability property qltransition_2281 is true.
Reachability property qltransition_2034 is true.
Reachability property qltransition_1978 is true.
Reachability property qltransition_1286 is true.
Reachability property qltransition_102 is true.
SDD proceeding with computation,27383 properties remain. new max is 512
SDD size :135550 after 153035
Reachability property qltransition_23761 is true.
Reachability property qltransition_22780 is true.
Reachability property qltransition_22172 is true.
Reachability property qltransition_21442 is true.
Reachability property qltransition_16463 is true.
Reachability property qltransition_13626 is true.
Reachability property qltransition_12340 is true.
Reachability property qltransition_9702 is true.
Reachability property qltransition_6337 is true.
Reachability property qltransition_3311 is true.
SDD proceeding with computation,27373 properties remain. new max is 512
SDD size :153035 after 196078
Reachability property qltransition_25595 is true.
Reachability property qltransition_25204 is true.
Reachability property qltransition_24521 is true.
Reachability property qltransition_23678 is true.
Reachability property qltransition_22989 is true.
Reachability property qltransition_22825 is true.
Reachability property qltransition_21158 is true.
Reachability property qltransition_20372 is true.
Reachability property qltransition_20309 is true.
Reachability property qltransition_18230 is true.
Reachability property qltransition_16257 is true.
Reachability property qltransition_16153 is true.
Reachability property qltransition_13458 is true.
Reachability property qltransition_11700 is true.
Reachability property qltransition_4959 is true.
Reachability property qltransition_3210 is true.
Reachability property qltransition_401 is true.
SDD proceeding with computation,27356 properties remain. new max is 512
SDD size :196078 after 416114
Reachability property qltransition_27758 is true.
Reachability property qltransition_27714 is true.
Reachability property qltransition_27204 is true.
Reachability property qltransition_26681 is true.
Interrupted probabilistic random walk after 402605 steps, run timeout after 345003 ms. (steps per millisecond=1 ) properties seen :{8=1, 132=1, 266=1, 896=1, 1063=1, 1145=1, 1512=1, 1642=1, 2168=1, 2234=1, 2356=1, 2555=1, 2604=1, 3141=1, 3423=1, 3689=1, 4182=1, 4394=1, 4567=1, 4632=1, 4835=1, 4998=1, 5315=1, 5466=1, 5624=1, 5687=1, 5757=1, 5837=1, 5931=1, 5948=1, 6144=1, 6734=1, 6781=1, 6887=1, 6985=1, 7070=1, 7540=1, 7807=1, 7853=1, 8024=1, 8175=1, 8523=1, 8946=1, 9199=1, 9326=1, 9614=1, 9753=1, 9908=1, 9967=1, 10005=1, 10281=1, 11342=1, 11693=1, 11754=1, 11966=1, 11974=1, 12173=1, 12189=1, 12335=1, 12439=1, 12448=1, 12456=1, 12586=1, 12684=1, 13105=1, 13179=1, 13213=1, 13323=1, 13796=1, 14125=1, 14221=1, 14435=1, 14611=1, 15247=1, 15357=1, 15485=1, 15486=1, 15531=1, 15739=1, 15879=1, 15915=1, 16474=1, 16475=1, 16599=1, 16730=1, 16806=1, 16969=1, 17243=1, 17437=1, 17448=1, 17460=1, 17705=1, 18048=1, 18302=1, 18372=1, 18396=1, 18398=1, 18751=1, 18837=1, 18883=1, 18925=1, 18993=1, 19150=1, 19760=1, 19782=1, 19870=1, 19886=1, 20030=1, 20040=1, 20742=1, 20847=1, 20996=1, 21027=1, 21172=1, 21178=1, 21214=1, 21217=1, 21459=1, 21538=1, 21591=1, 21710=1, 21724=1, 21803=1, 21828=1, 22100=1, 22284=1, 22355=1, 22728=1, 23321=1, 24085=1, 24107=1, 24148=1, 24176=1, 24486=1, 24488=1, 24676=1, 24733=1, 24736=1, 24874=1, 25343=1, 26040=1, 26240=1}
Probabilistic random walk after 402605 steps, saw 75510 distinct states, run finished after 345005 ms. (steps per millisecond=1 ) properties seen :142
Running SMT prover for 26461 properties.
[2024-05-29 19:03:23] [INFO ] Invariant cache hit.
Reachability property qltransition_26167 is true.
Reachability property qltransition_25439 is true.
Reachability property qltransition_24755 is true.
Reachability property qltransition_24538 is true.
Reachability property qltransition_24271 is true.
Reachability property qltransition_22626 is true.
Reachability property qltransition_22272 is true.
Reachability property qltransition_21152 is true.
Reachability property qltransition_20619 is true.
Reachability property qltransition_20223 is true.
Reachability property qltransition_20171 is true.
Reachability property qltransition_18947 is true.
Reachability property qltransition_18872 is true.
Reachability property qltransition_17882 is true.
Reachability property qltransition_17501 is true.
Reachability property qltransition_17164 is true.
Reachability property qltransition_16878 is true.
Reachability property qltransition_16789 is true.
Reachability property qltransition_16619 is true.
Reachability property qltransition_16352 is true.
Reachability property qltransition_15796 is true.
Reachability property qltransition_15669 is true.
Reachability property qltransition_15624 is true.
Reachability property qltransition_14826 is true.
Reachability property qltransition_14245 is true.
Reachability property qltransition_14095 is true.
Reachability property qltransition_13979 is true.
Reachability property qltransition_12971 is true.
Reachability property qltransition_12655 is true.
Reachability property qltransition_11093 is true.
Reachability property qltransition_11009 is true.
Reachability property qltransition_9960 is true.
Reachability property qltransition_9879 is true.
Reachability property qltransition_9809 is true.
Reachability property qltransition_9509 is true.
Reachability property qltransition_8994 is true.
Reachability property qltransition_8138 is true.
Reachability property qltransition_7862 is true.
Reachability property qltransition_7503 is true.
Reachability property qltransition_7248 is true.
Reachability property qltransition_6727 is true.
Reachability property qltransition_6635 is true.
Reachability property qltransition_6517 is true.
Reachability property qltransition_6298 is true.
Reachability property qltransition_6136 is true.
Reachability property qltransition_5829 is true.
Reachability property qltransition_5825 is true.
Reachability property qltransition_5120 is true.
Reachability property qltransition_4666 is true.
Reachability property qltransition_4596 is true.
Reachability property qltransition_4541 is true.
Reachability property qltransition_4355 is true.
Reachability property qltransition_1427 is true.
Reachability property qltransition_915 is true.
Reachability property qltransition_769 is true.
SDD proceeding with computation,27297 properties remain. new max is 512
SDD size :416114 after 742900
Reachability property qltransition_27675 is true.
Reachability property qltransition_27452 is true.
Reachability property qltransition_27400 is true.
Reachability property qltransition_27288 is true.
Reachability property qltransition_26477 is true.
Reachability property qltransition_25296 is true.
Reachability property qltransition_24793 is true.
Reachability property qltransition_24476 is true.
Reachability property qltransition_24295 is true.
Reachability property qltransition_24060 is true.
Reachability property qltransition_23534 is true.
Reachability property qltransition_23403 is true.
Reachability property qltransition_22804 is true.
Reachability property qltransition_22682 is true.
Reachability property qltransition_22079 is true.
Reachability property qltransition_21589 is true.
Reachability property qltransition_20291 is true.
Reachability property qltransition_19533 is true.
Reachability property qltransition_18849 is true.
Reachability property qltransition_18356 is true.
Reachability property qltransition_18200 is true.
Reachability property qltransition_17724 is true.
Reachability property qltransition_17472 is true.
Reachability property qltransition_17277 is true.
Reachability property qltransition_17203 is true.
Reachability property qltransition_17065 is true.
Reachability property qltransition_16727 is true.
Reachability property qltransition_16063 is true.
Reachability property qltransition_15369 is true.
Reachability property qltransition_15325 is true.
Reachability property qltransition_14281 is true.
Reachability property qltransition_14050 is true.
Reachability property qltransition_13791 is true.
Reachability property qltransition_13586 is true.
Reachability property qltransition_13580 is true.
Reachability property qltransition_13566 is true.
Reachability property qltransition_12688 is true.
Reachability property qltransition_12554 is true.
Reachability property qltransition_12466 is true.
Reachability property qltransition_12402 is true.
Reachability property qltransition_11865 is true.
Reachability property qltransition_11477 is true.
Reachability property qltransition_11385 is true.
Reachability property qltransition_10366 is true.
Reachability property qltransition_9803 is true.
Reachability property qltransition_9785 is true.
Reachability property qltransition_9672 is true.
Reachability property qltransition_9316 is true.
Reachability property qltransition_8839 is true.
Reachability property qltransition_7469 is true.
Reachability property qltransition_7223 is true.
Reachability property qltransition_7183 is true.
Reachability property qltransition_7152 is true.
Reachability property qltransition_6573 is true.
Reachability property qltransition_6483 is true.
Reachability property qltransition_5648 is true.
Reachability property qltransition_5392 is true.
Reachability property qltransition_5317 is true.
Reachability property qltransition_5192 is true.
Reachability property qltransition_4252 is true.
Reachability property qltransition_3677 is true.
Reachability property qltransition_3327 is true.
Reachability property qltransition_2629 is true.
Reachability property qltransition_1683 is true.
Reachability property qltransition_1341 is true.
Reachability property qltransition_1105 is true.
Reachability property qltransition_733 is true.
SDD proceeding with computation,27230 properties remain. new max is 512
SDD size :742900 after 1.81268e+06
Reachability property qltransition_27803 is true.
Reachability property qltransition_27603 is true.
Reachability property qltransition_27602 is true.
Reachability property qltransition_27167 is true.
Reachability property qltransition_27068 is true.
Reachability property qltransition_26647 is true.
Reachability property qltransition_26490 is true.
Reachability property qltransition_26356 is true.
Reachability property qltransition_26076 is true.
Reachability property qltransition_25835 is true.
Reachability property qltransition_25825 is true.
Reachability property qltransition_25600 is true.
Reachability property qltransition_25040 is true.
Reachability property qltransition_24043 is true.
Reachability property qltransition_23905 is true.
Reachability property qltransition_23410 is true.
Reachability property qltransition_23134 is true.
Reachability property qltransition_22986 is true.
Reachability property qltransition_22551 is true.
Detected timeout of ITS tools.
[2024-05-29 19:05:19] [INFO ] Flatten gal took : 930 ms
[2024-05-29 19:05:19] [INFO ] Applying decomposition
[2024-05-29 19:05:20] [INFO ] Flatten gal took : 1085 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/graph17810389621779635827.txt' '-o' '/tmp/graph17810389621779635827.bin' '-w' '/tmp/graph17810389621779635827.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202304061127/bin/louvain-linux64' '/tmp/graph17810389621779635827.bin' '-l' '-1' '-v' '-w' '/tmp/graph17810389621779635827.weights' '-q' '0' '-e' '0.001'
[2024-05-29 19:05:23] [INFO ] Decomposing Gal with order
[2024-05-29 19:05:24] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-29 19:05:27] [INFO ] Removed a total of 65424 redundant transitions.
[2024-05-29 19:05:28] [INFO ] Flatten gal took : 2606 ms
[2024-05-29 19:05:54] [INFO ] Fuse similar labels procedure discarded/fused a total of 930 labels/synchronizations in 1197 ms.
[2024-05-29 19:05:54] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality16610831617653098085.gal : 156 ms
[2024-05-29 19:05:55] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality3766248342732994707.prop : 114 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/ReachabilityCardinality16610831617653098085.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality3766248342732994707.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 ...308
Loading property file /tmp/ReachabilityCardinality3766248342732994707.prop.
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-29 19:07:08] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2024-05-29 19:07:08] [INFO ] After 225053ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 26461 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 3 ms.
Support contains 961 out of 961 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 961/961 places, 27931/27931 transitions.
Applied a total of 0 rules in 199 ms. Remains 961 /961 variables (removed 0) and now considering 27931/27931 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 199 ms. Remains : 961/961 places, 27931/27931 transitions.
Interrupted random walk after 180001 steps, including 0 resets, run timeout after 30003 ms. (steps per millisecond=5 ) properties seen 3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26116) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26116) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26116) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26116) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26116) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26116) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26116) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26116) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26116) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26116) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26116) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26116) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26116) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26115) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26115) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26115) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26115) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26113) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 26113) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 26113) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26113) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26113) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26113) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 26113) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26113) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26113) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26113) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26113) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 26112) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26112) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26112) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26112) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26112) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26112) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26112) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26112) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26112) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26112) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 26112) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26112) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 26112) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26112) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 26112) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26112) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26112) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26112) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 26112) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26111) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26111) seen :0
Interrupted probabilistic random walk after 152087 steps, run timeout after 132003 ms. (steps per millisecond=1 ) properties seen :{}
Probabilistic random walk after 152087 steps, saw 32590 distinct states, run finished after 132011 ms. (steps per millisecond=1 ) properties seen :0
Running SMT prover for 26111 properties.
[2024-05-29 19:10:04] [INFO ] Invariant cache hit.
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-29 19:13:50] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2024-05-29 19:13:50] [INFO ] After 225030ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 26111 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 3 ms.
Support contains 961 out of 961 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 961/961 places, 27931/27931 transitions.
Applied a total of 0 rules in 211 ms. Remains 961 /961 variables (removed 0) and now considering 27931/27931 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 212 ms. Remains : 961/961 places, 27931/27931 transitions.
Interrupted random walk after 179995 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26105) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26105) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26105) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26105) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26104) seen :0
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin13777273752823400717
[2024-05-29 19:15:56] [INFO ] Built C files in 930ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin13777273752823400717
Running compilation step : cd /tmp/ltsmin13777273752823400717;'/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 114673 steps, run timeout after 105007 ms. (steps per millisecond=1 ) properties seen :{}
Probabilistic random walk after 114673 steps, saw 25456 distinct states, run finished after 105009 ms. (steps per millisecond=1 ) properties seen :0
Running SMT prover for 26104 properties.
[2024-05-29 19:16:11] [INFO ] Invariant cache hit.
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin13777273752823400717;'/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' killed by timeout after 120 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin13777273752823400717;'/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' killed by timeout after 120 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:92)
at java.base/java.lang.Thread.run(Thread.java:833)
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-29 19:19:56] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2024-05-29 19:19:56] [INFO ] After 225026ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 26104 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 4 ms.
Support contains 961 out of 961 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 961/961 places, 27931/27931 transitions.
Applied a total of 0 rules in 237 ms. Remains 961 /961 variables (removed 0) and now considering 27931/27931 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 237 ms. Remains : 961/961 places, 27931/27931 transitions.
Interrupted random walk after 179990 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 26101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26101) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26100) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26100) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26100) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26100) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26100) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26100) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26100) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26100) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26100) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26100) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26100) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26100) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26100) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26100) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26100) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26100) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26099) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26098) seen :0
Interrupted probabilistic random walk after 128248 steps, run timeout after 129002 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 128248 steps, saw 28384 distinct states, run finished after 129005 ms. (steps per millisecond=0 ) properties seen :0
Running SMT prover for 26098 properties.
[2024-05-29 19:22:49] [INFO ] Invariant cache hit.
TIME LIMIT: Killed by timeout after 1800 seconds
MemTotal: 16393216 kB
MemFree: 12978724 kB
After kill :
MemTotal: 16393216 kB
MemFree: 15818512 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:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ 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="TokenRing-PT-030"
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 TokenRing-PT-030, 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 r440-smll-171690586200117"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/TokenRing-PT-030.tgz
mv TokenRing-PT-030 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 ;