fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r499-tall-167912722600427
Last Updated
May 14, 2023

About the Execution of ITS-Tools for TokenRing-PT-030

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
9875.575 1800000.00 4144794.00 12917.10 [undef] Time out reached

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r499-tall-167912722600427.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.........................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool itstools
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 r499-tall-167912722600427
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 231M
-rw-r--r-- 1 mcc users 842K Feb 25 17:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 4.0M Feb 25 17:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 20M Feb 25 16:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 69M Feb 25 16:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 583K Feb 25 17:20 LTLCardinality.txt
-rw-r--r-- 1 mcc users 2.0M Feb 25 17:20 LTLCardinality.xml
-rw-r--r-- 1 mcc users 9.7M Feb 25 17:20 LTLFireability.txt
-rw-r--r-- 1 mcc users 26M Feb 25 17:20 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.6M Feb 25 20:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 13M Feb 25 20:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 17M Feb 25 19:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 57M Feb 25 18:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 102K Feb 25 17:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 262K Feb 25 17:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 14M Mar 5 18:23 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 1679506493613

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=itstools
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 202303021504
[2023-03-22 17:34:56] [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]
[2023-03-22 17:34:56] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 17:34:57] [INFO ] Load time of PNML (sax parser for PT used): 699 ms
[2023-03-22 17:34:57] [INFO ] Transformed 961 places.
[2023-03-22 17:34:57] [INFO ] Transformed 27931 transitions.
[2023-03-22 17:34:57] [INFO ] Parsed PT model containing 961 places and 27931 transitions and 111724 arcs in 1023 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 961/961 places, 27931/27931 transitions.
Applied a total of 0 rules in 220 ms. Remains 961 /961 variables (removed 0) and now considering 27931/27931 (removed 0) transitions.
// Phase 1: matrix 27931 rows 961 cols
[2023-03-22 17:34:58] [INFO ] Computed 31 place invariants in 112 ms
[2023-03-22 17:35:00] [INFO ] Implicit Places using invariants in 2270 ms returned []
Implicit Place search using SMT only with invariants took 2302 ms to find 0 implicit places.
[2023-03-22 17:35:00] [INFO ] Invariant cache hit.
[2023-03-22 17:35:09] [INFO ] Dead Transitions using invariants and state equation in 9162 ms found 0 transitions.
Finished structural reductions in LIVENESS mode , in 1 iterations and 11695 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 1683 ms. (steps per millisecond=5 ) properties (out of 27901) seen :299
[2023-03-22 17:35:15] [INFO ] Flatten gal took : 1502 ms
[2023-03-22 17:35:16] [INFO ] Flatten gal took : 1006 ms
[2023-03-22 17:35:16] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality13475602356737347568.gal : 204 ms
[2023-03-22 17:35:17] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality14530405660861305738.prop : 167 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.202303021504/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality13475602356737347568.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality14530405660861305738.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.202303021504/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...330
Interrupted probabilistic random walk after 1259 steps, run timeout after 3003 ms. (steps per millisecond=0 ) properties seen :{234=1, 311=1, 320=1, 354=1, 389=1, 464=1, 487=1, 538=1, 645=1, 784=1, 794=1, 825=1, 976=1, 1006=1, 1102=1, 1136=1, 1141=1, 1388=1, 1425=1, 1623=1, 1662=1, 2306=1, 2578=1, 2610=1, 2658=1, 2727=1, 2762=1, 2799=1, 3042=1, 3067=1, 3219=1, 3230=1, 3233=1, 3284=1, 3325=1, 3337=1, 3409=1, 3500=1, 3538=1, 3815=1, 4127=1, 4136=1, 4152=1, 4289=1, 4327=1, 4379=1, 4482=1, 4659=1, 4720=1, 4756=1, 5014=1, 5138=1, 5187=1, 5213=1, 5217=1, 5260=1, 5282=1, 5301=1, 5347=1, 5379=1, 5499=1, 5880=1, 5882=1, 6276=1, 6422=1, 6644=1, 6742=1, 7041=1, 7170=1, 7172=1, 7201=1, 7222=1, 7608=1, 7676=1, 7684=1, 7708=1, 7760=1, 7811=1, 7895=1, 7943=1, 8314=1, 8352=1, 8494=1, 8865=1, 8922=1, 9017=1, 9130=1, 9194=1, 9226=1, 9407=1, 9567=1, 10030=1, 10303=1, 10328=1, 10396=1, 10401=1, 10532=1, 10547=1, 10614=1, 10672=1, 10706=1, 10717=1, 10779=1, 10876=1, 10934=1, 11128=1, 11325=1, 11352=1, 11515=1, 11537=1, 11562=1, 12121=1, 12447=1, 12716=1, 12836=1, 13086=1, 13246=1, 13409=1, 13423=1, 13773=1, 13821=1, 14378=1, 14511=1, 14674=1, 14775=1, 14794=1, 14836=1, 15039=1, 15076=1, 15093=1, 15318=1, 15382=1, 15469=1, 15483=1, 15526=1, 15541=1, 15780=1, 15880=1, 15937=1, 15988=1, 16048=1, 16253=1, 16268=1, 16421=1, 16440=1, 16594=1, 16767=1, 16815=1, 16857=1, 16900=1, 17649=1, 17679=1, 18278=1, 18451=1, 18583=1, 18589=1, 18700=1, 18823=1, 18913=1, 18953=1, 18978=1, 19088=1, 19193=1, 19310=1, 19470=1, 19621=1, 19665=1, 19764=1, 19786=1, 19831=1, 20016=1, 20039=1, 20079=1, 20171=1, 20319=1, 20374=1, 20727=1, 20829=1, 20885=1, 20898=1, 21092=1, 21107=1, 21130=1, 21157=1, 21192=1, 21741=1, 21925=1, 21952=1, 21954=1, 22051=1, 22082=1, 22264=1, 22288=1, 22449=1, 22451=1, 22729=1, 22813=1, 22815=1, 22888=1, 23015=1, 23086=1, 23147=1, 23317=1, 23382=1, 23423=1, 23531=1, 23538=1, 23582=1, 23870=1, 23938=1, 23950=1, 23957=1, 23968=1, 23982=1, 24117=1, 24283=1, 24396=1, 24448=1, 24498=1, 24625=1, 24671=1, 24677=1, 24680=1, 24734=1, 24811=1, 25564=1, 25689=1, 25715=1, 25722=1, 25750=1, 25780=1, 25791=1, 25848=1, 25875=1, 25988=1, 26036=1, 26117=1, 26136=1, 26203=1, 26271=1, 26516=1, 26601=1, 26615=1, 26618=1, 26637=1, 26730=1, 26760=1, 26834=1, 27179=1, 27223=1, 27255=1, 27312=1, 27322=1, 27334=1}
Probabilistic random walk after 1259 steps, saw 973 distinct states, run finished after 3006 ms. (steps per millisecond=0 ) properties seen :254
Running SMT prover for 27348 properties.
[2023-03-22 17:35:18] [INFO ] Invariant cache hit.
Loading property file /tmp/ReachabilityCardinality14530405660861305738.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:2340)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:618)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:339)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.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:386)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-22 17:35:43] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-22 17:35:43] [INFO ] After 25047ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 27348 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 2 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 191 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 192 ms. Remains : 961/961 places, 27931/27931 transitions.
Reachability property qltransition_15556 is true.
SDD proceeding with computation,27601 properties remain. new max is 2
SDD size :1 after 2
Reachability property qltransition_12159 is true.
Reachability property qltransition_3260 is true.
Reachability property qltransition_1430 is true.
SDD proceeding with computation,27598 properties remain. new max is 2
SDD size :2 after 5
Reachability property qltransition_18786 is true.
Reachability property qltransition_8418 is true.
Reachability property qltransition_792 is true.
SDD proceeding with computation,27595 properties remain. new max is 2
SDD size :5 after 11
Reachability property qltransition_24975 is true.
Interrupted random walk after 180001 steps, including 0 resets, run timeout after 30003 ms. (steps per millisecond=5 ) properties seen 561
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26787) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 26776) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26769) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26760) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 26753) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26749) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 26746) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 26741) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 26737) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 26735) 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 26732) 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 26731) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26729) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26728) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 26727) 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 26727) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 26727) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 26726) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26721) 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 26719) seen :0
Reachability property qltransition_10832 is true.
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26719) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26717) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26716) 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 26716) 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 26716) 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 26715) 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 26711) 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 26711) 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 26711) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26710) 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 26710) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 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 113 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 122 ms. (steps per millisecond=8 ) properties (out of 26706) 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 26705) 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 26703) 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 26703) 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 26702) 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 26702) 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 26701) 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 26699) 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 26699) 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 26699) 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 26699) seen :0
SDD proceeding with computation,27593 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 112 ms. (steps per millisecond=8 ) properties (out of 26699) 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 26699) 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 26699) 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 26699) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26697) 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 26696) 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 26695) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 26693) 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 26692) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26690) 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 26690) 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 26689) 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 26689) 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 26689) 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 26688) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 26688) 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 26687) 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 26686) 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 26686) 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 26686) 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 26685) 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 26684) 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 26684) seen :1
Reachability property qltransition_19306 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 26683) 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 26682) 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 26682) 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 26682) 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 26682) 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 26681) 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 26681) 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 26680) seen :1
Reachability property qltransition_15718 is true.
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26679) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26677) 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 26677) 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 26676) 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 26676) 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 26674) 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 26673) 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 26673) seen :0
Reachability property qltransition_12331 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 26673) 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 26672) 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 26672) 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 26672) 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 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 :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 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 116 ms. (steps per millisecond=8 ) properties (out of 26672) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26670) 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 26670) seen :0
Reachability property qltransition_7952 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 26670) 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 26670) 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 26670) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 26670) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26670) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26670) 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 26670) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26668) 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 26668) 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 26668) 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 26668) 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 26668) seen :3
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 :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26663) seen :0
Reachability property qltransition_3587 is true.
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 26663) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26663) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26663) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26663) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 26662) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26662) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 26662) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 26661) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26661) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 26661) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 26661) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 26661) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 26660) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 26660) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 26660) seen :0
SDD proceeding with computation,27588 properties remain. new max is 2
SDD size :14 after 29
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26660) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 26660) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 26660) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26659) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26659) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26659) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26659) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26659) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26659) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 26658) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 26657) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 26657) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26657) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 26656) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 26656) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26656) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26656) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26656) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26656) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26656) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 26656) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26656) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 26656) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 26655) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 77 ms. (steps per millisecond=12 ) properties (out of 26655) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 26655) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26655) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26655) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26655) seen :0
Reachability property qltransition_22686 is true.
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26655) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26655) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 26653) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 26652) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26652) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 26652) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26652) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26651) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 26651) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 26651) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 26651) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 26650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 26650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26650) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26649) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26649) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26648) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26648) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26648) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 26648) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 26648) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 26648) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 26648) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 26647) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26647) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 26647) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26647) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 26646) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26646) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26646) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26646) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26646) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 26645) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26645) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26645) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26645) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26645) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 26645) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26645) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 26645) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 26644) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26644) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 26644) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 26644) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 26644) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26644) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 26644) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 26644) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 26644) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26644) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26644) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 26643) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26643) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 26643) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 26642) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 26642) 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 26642) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 26642) 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 26642) 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 26642) 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 26642) 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 26642) 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 26642) 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 26642) 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 26642) 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 26641) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 26641) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26641) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 26641) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 26641) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26640) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26638) 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 26638) 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 26638) 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 26638) 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 26638) 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 26638) 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 26638) 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 26638) 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 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 91 ms. (steps per millisecond=11 ) properties (out of 26638) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 26638) 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 26638) 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 26638) 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 26638) 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 26638) 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 26638) 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 26638) 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 26638) 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 26638) 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 26638) 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 26638) 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 26638) 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 26637) 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 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 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 104 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 112 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 111 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 112 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 106 ms. (steps per millisecond=9 ) properties (out of 26636) 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 26636) 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 26636) 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 26636) 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 26636) 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 26636) 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 26636) 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 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 105 ms. (steps per millisecond=9 ) properties (out of 26636) 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 26636) 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 26636) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26635) 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 26635) 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 26635) 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 26635) 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 26635) 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 26635) 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 26634) 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 26634) 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 26634) 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 26634) 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 26634) 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 26634) 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 26633) 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 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 :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26633) 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 26633) 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 26633) 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 26633) 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 26633) 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 26633) 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 26633) 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 26633) 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 26633) 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 26633) 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 26633) 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 26633) 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 26633) 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 26633) 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 26633) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26632) 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 26632) 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 26631) 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 26631) seen :0
Reachability property qltransition_497 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 26631) seen :0
SDD proceeding with computation,27586 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 121 ms. (steps per millisecond=8 ) properties (out of 26631) 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 26630) 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 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 :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 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 :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26629) 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 26629) 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 26628) 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 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 118 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 109 ms. (steps per millisecond=9 ) properties (out of 26628) 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 26628) 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 26628) 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 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 106 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 114 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 :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 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 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 114 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 118 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 91 ms. (steps per millisecond=11 ) properties (out of 26628) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 26628) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 26628) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26628) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 26628) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26628) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26628) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 26628) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 26628) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26628) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 26627) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 26627) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26627) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 26627) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 26626) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 26625) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26623) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 26623) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 26623) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 26623) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 26623) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 26623) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26623) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26623) 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 26623) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26623) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26623) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 26623) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 26623) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 26623) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 26623) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 26623) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 26623) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 26623) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 26623) seen :0
Reachability property qltransition_3096 is true.
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 26623) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26623) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 26623) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 26623) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 26623) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 26623) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26623) seen :0
Reachability property qltransition_477 is true.
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 26623) seen :0
Reachability property qltransition_82 is true.
SDD proceeding with computation,27583 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 100 ms. (steps per millisecond=10 ) properties (out of 26623) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 26623) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 26623) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 26623) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 26622) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26622) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26622) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 26622) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 26622) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 26622) 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 26622) seen :2
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 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 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 108 ms. (steps per millisecond=9 ) properties (out of 26620) 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 26620) 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 26620) 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 26619) 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 26619) 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 26619) 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 26619) 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 26619) 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 26619) 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 26619) 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 26619) 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 26619) 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 26619) 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 26619) 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 26619) 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 26619) 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 26619) 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 26619) 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 26619) 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 26619) 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 26619) 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 26618) 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 26618) 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 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 1000 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26617) 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 26617) 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 26617) 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 26617) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 26617) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 26617) 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 26617) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 26617) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26617) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 26617) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 26616) 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 26616) 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 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 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 103 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 100 ms. (steps per millisecond=10 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 26616) 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 26616) 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 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 26616) 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 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 26616) seen :0
SDD proceeding with computation,27583 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 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 110 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 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 154 ms. (steps per millisecond=6 ) 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 :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26616) 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 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 113 ms. (steps per millisecond=8 ) properties (out of 26615) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 116 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 118 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 114 ms. (steps per millisecond=8 ) properties (out of 26614) seen :0
Reachability property qltransition_23130 is true.
Reachability property qltransition_23014 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 26614) 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 26614) 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 26614) 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 26614) 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 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 113 ms. (steps per millisecond=8 ) properties (out of 26614) seen :0
Reachability property qltransition_20270 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 26614) 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 26614) seen :0
Reachability property qltransition_19400 is true.
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 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 118 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 115 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 1000 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26614) 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 26613) 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 26613) 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 26613) 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 26613) 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 26613) 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 26613) 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 26613) 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 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 118 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 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 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 107 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 112 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 112 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 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 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 120 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 108 ms. (steps per millisecond=9 ) properties (out of 26612) 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 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 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 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 104 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 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 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 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 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 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 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 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 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 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 112 ms. (steps per millisecond=8 ) properties (out of 26612) 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 26612) seen :0
Reachability property qltransition_918 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 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
SDD proceeding with computation,27578 properties remain. new max is 4
SDD size :42 after 85
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 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 112 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 115 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 165 ms. (steps per millisecond=6 ) properties (out of 26611) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 26611) 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 26611) 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 26611) 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 26611) 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 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 107 ms. (steps per millisecond=9 ) properties (out of 26611) 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 26611) 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 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 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 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 115 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 108 ms. (steps per millisecond=9 ) properties (out of 26611) 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 26611) 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 26611) 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 26611) 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 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 115 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 120 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 115 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 110 ms. (steps per millisecond=9 ) properties (out of 26611) 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 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 115 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 119 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 115 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 113 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
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 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 114 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 111 ms. (steps per millisecond=9 ) 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 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 :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 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
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 121 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 106 ms. (steps per millisecond=9 ) 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 122 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 110 ms. (steps per millisecond=9 ) properties (out of 26611) 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 26611) 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 26611) 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 26611) seen :0
Reachability property qltransition_19510 is true.
Reachability property qltransition_17431 is true.
SDD proceeding with computation,27576 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,27573 properties remain. new max is 4
SDD size :90 after 100
SDD proceeding with computation,27573 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,27569 properties remain. new max is 8
SDD size :104 after 119
SDD proceeding with computation,27569 properties remain. new max is 16
SDD size :119 after 123
SDD proceeding with computation,27569 properties remain. new max is 32
SDD size :123 after 129
SDD proceeding with computation,27569 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.
Reachability property qltransition_2749 is true.
SDD proceeding with computation,27560 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,27557 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,27553 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_9055 is true.
Reachability property qltransition_3292 is true.
SDD proceeding with computation,27548 properties remain. new max is 64
SDD size :339 after 387
SDD proceeding with computation,27548 properties remain. new max is 128
SDD size :387 after 401
SDD proceeding with computation,27548 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,27531 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_11223 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,27511 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,27484 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,27460 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,27426 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,27401 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_11096 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,27367 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,27345 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_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,27338 properties remain. new max is 256
SDD size :127568 after 134913
SDD proceeding with computation,27338 properties remain. new max is 512
SDD size :134913 after 135550
Reachability property qltransition_22095 is true.
Reachability property qltransition_19313 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,27329 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,27319 properties remain. new max is 512
SDD size :153035 after 196078
Reachability property qltransition_25595 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_20246 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,27303 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_27668 is true.
Reachability property qltransition_27204 is true.
Reachability property qltransition_26681 is true.
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,27243 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_21257 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,27175 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.
Reachability property qltransition_21744 is true.
Reachability property qltransition_21712 is true.
Reachability property qltransition_21692 is true.
Reachability property qltransition_21550 is true.
Reachability property qltransition_21094 is true.
Reachability property qltransition_20969 is true.
Reachability property qltransition_20682 is true.
Reachability property qltransition_20569 is true.
Reachability property qltransition_20402 is true.
Reachability property qltransition_18942 is true.
Reachability property qltransition_18735 is true.
Reachability property qltransition_18681 is true.
Reachability property qltransition_18380 is true.
Reachability property qltransition_18207 is true.
Reachability property qltransition_18138 is true.
Reachability property qltransition_17907 is true.
Reachability property qltransition_17781 is true.
Reachability property qltransition_17047 is true.
Reachability property qltransition_16930 is true.
Reachability property qltransition_16849 is true.
Reachability property qltransition_16561 is true.
Reachability property qltransition_16462 is true.
Reachability property qltransition_16433 is true.
Reachability property qltransition_16359 is true.
Reachability property qltransition_16330 is true.
Reachability property qltransition_16239 is true.
Reachability property qltransition_16081 is true.
Reachability property qltransition_15758 is true.
Reachability property qltransition_15633 is true.
Reachability property qltransition_15540 is true.
Reachability property qltransition_14999 is true.
Reachability property qltransition_14735 is true.
Reachability property qltransition_14516 is true.
Reachability property qltransition_14109 is true.
Reachability property qltransition_13756 is true.
Reachability property qltransition_13404 is true.
Reachability property qltransition_13360 is true.
Reachability property qltransition_13280 is true.
Reachability property qltransition_12835 is true.
Reachability property qltransition_11197 is true.
Reachability property qltransition_11158 is true.
Reachability property qltransition_11084 is true.
Reachability property qltransition_10949 is true.
Reachability property qltransition_10243 is true.
Reachability property qltransition_10046 is true.
Reachability property qltransition_9775 is true.
Reachability property qltransition_9602 is true.
Reachability property qltransition_9469 is true.
Reachability property qltransition_9376 is true.
Reachability property qltransition_9270 is true.
Reachability property qltransition_8830 is true.
Reachability property qltransition_8601 is true.
Reachability property qltransition_8417 is true.
Reachability property qltransition_8344 is true.
Reachability property qltransition_8231 is true.
Reachability property qltransition_8206 is true.
Reachability property qltransition_8119 is true.
Reachability property qltransition_7911 is true.
Reachability property qltransition_7611 is true.
Reachability property qltransition_7514 is true.
Reachability property qltransition_6716 is true.
Reachability property qltransition_6367 is true.
Reachability property qltransition_6236 is true.
Reachability property qltransition_5455 is true.
Reachability property qltransition_5345 is true.
Reachability property qltransition_5174 is true.
Reachability property qltransition_4086 is true.
Reachability property qltransition_4058 is true.
Reachability property qltransition_3684 is true.
Reachability property qltransition_3542 is true.
Reachability property qltransition_3178 is true.
Reachability property qltransition_3142 is true.
Reachability property qltransition_3131 is true.
Reachability property qltransition_2663 is true.
Reachability property qltransition_2508 is true.
Reachability property qltransition_2409 is true.
Reachability property qltransition_2395 is true.
Reachability property qltransition_2336 is true.
Reachability property qltransition_2127 is true.
Reachability property qltransition_1845 is true.
Reachability property qltransition_570 is true.
Reachability property qltransition_493 is true.
SDD proceeding with computation,27074 properties remain. new max is 512
SDD size :1.81268e+06 after 6.57466e+06
Reachability property qltransition_27187 is true.
Reachability property qltransition_26867 is true.
Reachability property qltransition_26668 is true.
Reachability property qltransition_26633 is true.
Reachability property qltransition_26578 is true.
Reachability property qltransition_26380 is true.
Reachability property qltransition_26175 is true.
Reachability property qltransition_25896 is true.
Reachability property qltransition_25828 is true.
Reachability property qltransition_25642 is true.
Reachability property qltransition_25597 is true.
Reachability property qltransition_25538 is true.
Reachability property qltransition_24909 is true.
Reachability property qltransition_24741 is true.
Reachability property qltransition_24657 is true.
Reachability property qltransition_24572 is true.
Reachability property qltransition_24498 is true.
Reachability property qltransition_24130 is true.
Reachability property qltransition_24074 is true.
Reachability property qltransition_24058 is true.
Reachability property qltransition_23144 is true.
Reachability property qltransition_22866 is true.
Reachability property qltransition_22849 is true.
Reachability property qltransition_21753 is true.
Reachability property qltransition_21695 is true.
Reachability property qltransition_21512 is true.
Reachability property qltransition_21349 is true.
Reachability property qltransition_21300 is true.
Reachability property qltransition_21237 is true.
Reachability property qltransition_21049 is true.
Reachability property qltransition_20533 is true.
Reachability property qltransition_19754 is true.
Reachability property qltransition_19416 is true.
Reachability property qltransition_19105 is true.
Reachability property qltransition_18909 is true.
Reachability property qltransition_18705 is true.
Reachability property qltransition_18598 is true.
Reachability property qltransition_18568 is true.
Reachability property qltransition_18558 is true.
Reachability property qltransition_18527 is true.
Reachability property qltransition_18517 is true.
Reachability property qltransition_18326 is true.
Reachability property qltransition_18122 is true.
Reachability property qltransition_17377 is true.
Reachability property qltransition_16952 is true.
Reachability property qltransition_16812 is true.
Reachability property qltransition_16600 is true.
Reachability property qltransition_16407 is true.
Reachability property qltransition_16383 is true.
Reachability property qltransition_15667 is true.
Reachability property qltransition_15391 is true.
Reachability property qltransition_15348 is true.
Reachability property qltransition_15220 is true.
Reachability property qltransition_15120 is true.
Reachability property qltransition_14889 is true.
Reachability property qltransition_14766 is true.
Reachability property qltransition_14704 is true.
Reachability property qltransition_14440 is true.
Reachability property qltransition_14140 is true.
Reachability property qltransition_13878 is true.
Reachability property qltransition_13711 is true.
Reachability property qltransition_13547 is true.
Reachability property qltransition_12986 is true.
Reachability property qltransition_12810 is true.
Reachability property qltransition_12737 is true.
Reachability property qltransition_12710 is true.
Reachability property qltransition_12704 is true.
Reachability property qltransition_12605 is true.
Reachability property qltransition_12572 is true.
Reachability property qltransition_11083 is true.
Reachability property qltransition_10800 is true.
Reachability property qltransition_10793 is true.
Reachability property qltransition_10715 is true.
Reachability property qltransition_10681 is true.
Reachability property qltransition_10656 is true.
Reachability property qltransition_10127 is true.
Reachability property qltransition_9808 is true.
Reachability property qltransition_9685 is true.
Reachability property qltransition_9557 is true.
Reachability property qltransition_8781 is true.
Reachability property qltransition_8656 is true.
Reachability property qltransition_7676 is true.
Reachability property qltransition_6721 is true.
Reachability property qltransition_6587 is true.
Reachability property qltransition_6209 is true.
Reachability property qltransition_6072 is true.
Reachability property qltransition_6005 is true.
Reachability property qltransition_5199 is true.
Reachability property qltransition_5033 is true.
Reachability property qltransition_4787 is true.
Reachability property qltransition_4744 is true.
Reachability property qltransition_4007 is true.
Reachability property qltransition_3899 is true.
Reachability property qltransition_3596 is true.
Reachability property qltransition_3517 is true.
Reachability property qltransition_2738 is true.
Reachability property qltransition_2670 is true.
Reachability property qltransition_2215 is true.
Reachability property qltransition_2175 is true.
Reachability property qltransition_1516 is true.
Reachability property qltransition_1444 is true.
Reachability property qltransition_1278 is true.
Reachability property qltransition_1264 is true.
Reachability property qltransition_1223 is true.
Reachability property qltransition_902 is true.
Reachability property qltransition_273 is true.
SDD proceeding with computation,26968 properties remain. new max is 512
SDD size :6.57466e+06 after 2.15769e+07
Reachability property qltransition_27732 is true.
Reachability property qltransition_27438 is true.
Reachability property qltransition_27121 is true.
Reachability property qltransition_27007 is true.
Reachability property qltransition_26436 is true.
Reachability property qltransition_26395 is true.
Reachability property qltransition_26372 is true.
Reachability property qltransition_25961 is true.
Reachability property qltransition_25891 is true.
Reachability property qltransition_25807 is true.
Reachability property qltransition_25444 is true.
Reachability property qltransition_25159 is true.
Reachability property qltransition_24682 is true.
Reachability property qltransition_24432 is true.
Reachability property qltransition_23318 is true.
Reachability property qltransition_23307 is true.
Reachability property qltransition_21709 is true.
Reachability property qltransition_21326 is true.
Reachability property qltransition_21268 is true.
Reachability property qltransition_21138 is true.
Reachability property qltransition_21093 is true.
Reachability property qltransition_20956 is true.
Reachability property qltransition_20847 is true.
Reachability property qltransition_20669 is true.
Reachability property qltransition_20595 is true.
Reachability property qltransition_20388 is true.
Reachability property qltransition_19842 is true.
Reachability property qltransition_19748 is true.
Reachability property qltransition_19683 is true.
Reachability property qltransition_19304 is true.
Reachability property qltransition_19296 is true.
Reachability property qltransition_19215 is true.
Reachability property qltransition_19200 is true.
Reachability property qltransition_19125 is true.
Reachability property qltransition_19042 is true.
Reachability property qltransition_18928 is true.
Reachability property qltransition_18194 is true.
Reachability property qltransition_17807 is true.
Reachability property qltransition_17598 is true.
Reachability property qltransition_17507 is true.
Reachability property qltransition_17221 is true.
Reachability property qltransition_17186 is true.
Reachability property qltransition_17135 is true.
Reachability property qltransition_16469 is true.
Reachability property qltransition_15828 is true.
Reachability property qltransition_15774 is true.
Reachability property qltransition_14472 is true.
Reachability property qltransition_14003 is true.
Reachability property qltransition_13821 is true.
Reachability property qltransition_13555 is true.
Reachability property qltransition_13182 is true.
Reachability property qltransition_13032 is true.
Reachability property qltransition_12786 is true.
Reachability property qltransition_12509 is true.
Reachability property qltransition_12422 is true.
Reachability property qltransition_11683 is true.
Reachability property qltransition_11467 is true.
Reachability property qltransition_11164 is true.
Reachability property qltransition_11029 is true.
Reachability property qltransition_10618 is true.
Reachability property qltransition_10340 is true.
Reachability property qltransition_10319 is true.
Reachability property qltransition_10273 is true.
Reachability property qltransition_10064 is true.
Reachability property qltransition_9790 is true.
Reachability property qltransition_9783 is true.
Reachability property qltransition_9743 is true.
Interrupted probabilistic random walk after 385767 steps, run timeout after 264004 ms. (steps per millisecond=1 ) properties seen :{8=1, 133=1, 267=1, 899=1, 1066=1, 1148=1, 1514=1, 1644=1, 2169=1, 2235=1, 2358=1, 2557=1, 2607=1, 3145=1, 3427=1, 3693=1, 4186=1, 4398=1, 4571=1, 4636=1, 4839=1, 5003=1, 5320=1, 5471=1, 5630=1, 5693=1, 5763=1, 5843=1, 5938=1, 5955=1, 6151=1, 6740=1, 6787=1, 6893=1, 6991=1, 7076=1, 7544=1, 7812=1, 7858=1, 8030=1, 8180=1, 8528=1, 8951=1, 9206=1, 9332=1, 9619=1, 9758=1, 9913=1, 9972=1, 10010=1, 10287=1, 11350=1, 11701=1, 11761=1, 11971=1, 11979=1, 12178=1, 12194=1, 12340=1, 12444=1, 12453=1, 12461=1, 12591=1, 12688=1, 13108=1, 13182=1, 13216=1, 13326=1, 13800=1, 14129=1, 14225=1, 14438=1, 14614=1, 14880=1, 15249=1, 15359=1, 15486=1, 15487=1, 15532=1, 15737=1, 15877=1, 15913=1, 16474=1, 16475=1, 16599=1, 16729=1, 16805=1, 16968=1, 17244=1, 17439=1, 17450=1, 17462=1, 17708=1, 18052=1, 18306=1, 18376=1, 18401=1, 18403=1, 18757=1, 18843=1, 18888=1, 18930=1, 18998=1, 19155=1, 19765=1, 19787=1, 19875=1, 19892=1, 20036=1, 20046=1, 20750=1, 20855=1, 21004=1, 21035=1, 21180=1, 21186=1, 21222=1, 21225=1, 21468=1, 21547=1, 21598=1, 21716=1, 21730=1, 21810=1, 21835=1, 22107=1, 22291=1, 22363=1, 22739=1, 23334=1, 24097=1, 24119=1, 24161=1, 24188=1, 24497=1, 24499=1, 24688=1, 24745=1, 24748=1, 24886=1, 25353=1, 26048=1, 26248=1}
Probabilistic random walk after 385767 steps, saw 72805 distinct states, run finished after 264006 ms. (steps per millisecond=1 ) properties seen :143
Running SMT prover for 26468 properties.
[2023-03-22 17:41:36] [INFO ] Invariant cache hit.
Reachability property qltransition_8854 is true.
Reachability property qltransition_8848 is true.
Reachability property qltransition_8818 is true.
Reachability property qltransition_8755 is true.
Reachability property qltransition_8554 is true.
Reachability property qltransition_8523 is true.
Reachability property qltransition_8147 is true.
Reachability property qltransition_8029 is true.
Reachability property qltransition_7679 is true.
Reachability property qltransition_7476 is true.
Reachability property qltransition_7424 is true.
Reachability property qltransition_7311 is true.
Reachability property qltransition_7242 is true.
Reachability property qltransition_6745 is true.
Reachability property qltransition_6677 is true.
Reachability property qltransition_6203 is true.
Reachability property qltransition_5607 is true.
Reachability property qltransition_5420 is true.
Reachability property qltransition_5284 is true.
Reachability property qltransition_5144 is true.
Reachability property qltransition_4639 is true.
Reachability property qltransition_4210 is true.
Reachability property qltransition_4204 is true.
Reachability property qltransition_4135 is true.
Reachability property qltransition_3802 is true.
Reachability property qltransition_3301 is true.
Reachability property qltransition_2711 is true.
Reachability property qltransition_2340 is true.
Reachability property qltransition_1858 is true.
Reachability property qltransition_1447 is true.
Reachability property qltransition_1032 is true.
Reachability property qltransition_1018 is true.
Reachability property qltransition_757 is true.
SDD proceeding with computation,26868 properties remain. new max is 512
SDD size :2.15769e+07 after 7.13162e+07
Reachability property qltransition_27626 is true.
Reachability property qltransition_27509 is true.
Reachability property qltransition_27508 is true.
Reachability property qltransition_27041 is true.
Reachability property qltransition_26917 is true.
Reachability property qltransition_26514 is true.
Reachability property qltransition_26504 is true.
Reachability property qltransition_26178 is true.
Reachability property qltransition_26170 is true.
Reachability property qltransition_26038 is true.
Reachability property qltransition_26010 is true.
Reachability property qltransition_25955 is true.
Reachability property qltransition_25758 is true.
Reachability property qltransition_25654 is true.
Reachability property qltransition_25402 is true.
Reachability property qltransition_25341 is true.
Reachability property qltransition_24365 is true.
Reachability property qltransition_24330 is true.
Reachability property qltransition_23930 is true.
Reachability property qltransition_23235 is true.
Reachability property qltransition_23178 is true.
Reachability property qltransition_22949 is true.
Reachability property qltransition_22741 is true.
Reachability property qltransition_22590 is true.
Reachability property qltransition_22347 is true.
Reachability property qltransition_21866 is true.
Reachability property qltransition_21742 is true.
Reachability property qltransition_21496 is true.
Reachability property qltransition_21490 is true.
Reachability property qltransition_21299 is true.
Reachability property qltransition_20454 is true.
Reachability property qltransition_20316 is true.
Reachability property qltransition_20095 is true.
Reachability property qltransition_20055 is true.
Reachability property qltransition_19992 is true.
Reachability property qltransition_19766 is true.
Reachability property qltransition_19523 is true.
Reachability property qltransition_18968 is true.
Reachability property qltransition_18354 is true.
Reachability property qltransition_18136 is true.
Reachability property qltransition_17966 is true.
Reachability property qltransition_17592 is true.
Reachability property qltransition_17503 is true.
Reachability property qltransition_17416 is true.
Reachability property qltransition_17387 is true.
Reachability property qltransition_17245 is true.
Reachability property qltransition_16936 is true.
Reachability property qltransition_16587 is true.
Reachability property qltransition_16151 is true.
Reachability property qltransition_15672 is true.
Reachability property qltransition_15475 is true.
Reachability property qltransition_15264 is true.
Reachability property qltransition_14960 is true.
Reachability property qltransition_14772 is true.
Reachability property qltransition_14564 is true.
Reachability property qltransition_14185 is true.
Reachability property qltransition_14019 is true.
Reachability property qltransition_13790 is true.
Reachability property qltransition_13770 is true.
Reachability property qltransition_13385 is true.
Reachability property qltransition_13178 is true.
Reachability property qltransition_12954 is true.
Reachability property qltransition_12812 is true.
Reachability property qltransition_12724 is true.
Reachability property qltransition_12482 is true.
Reachability property qltransition_12298 is true.
Reachability property qltransition_12189 is true.
Reachability property qltransition_11863 is true.
Reachability property qltransition_11097 is true.
Reachability property qltransition_10811 is true.
Reachability property qltransition_10772 is true.
Reachability property qltransition_10771 is true.
Reachability property qltransition_10579 is true.
Reachability property qltransition_10501 is true.
Reachability property qltransition_10478 is true.
Reachability property qltransition_10444 is true.
Reachability property qltransition_10175 is true.
Reachability property qltransition_10029 is true.
Reachability property qltransition_9953 is true.
Reachability property qltransition_9895 is true.
Reachability property qltransition_9875 is true.
Reachability property qltransition_9496 is true.
Reachability property qltransition_9293 is true.
Reachability property qltransition_8793 is true.
Reachability property qltransition_8392 is true.
Reachability property qltransition_8097 is true.
Reachability property qltransition_8080 is true.
Reachability property qltransition_7882 is true.
Reachability property qltransition_7749 is true.
Reachability property qltransition_7221 is true.
Reachability property qltransition_6732 is true.
Reachability property qltransition_6490 is true.
Reachability property qltransition_6234 is true.
Reachability property qltransition_6200 is true.
Reachability property qltransition_5388 is true.
Reachability property qltransition_5039 is true.
Reachability property qltransition_5002 is true.
Reachability property qltransition_4491 is true.
Reachability property qltransition_4229 is true.
Reachability property qltransition_4185 is true.
Reachability property qltransition_4104 is true.
Reachability property qltransition_3871 is true.
Reachability property qltransition_3493 is true.
Reachability property qltransition_3365 is true.
Reachability property qltransition_3219 is true.
Reachability property qltransition_2724 is true.
Reachability property qltransition_2192 is true.
Reachability property qltransition_1897 is true.
Reachability property qltransition_1783 is true.
Reachability property qltransition_832 is true.
Reachability property qltransition_153 is true.
SDD proceeding with computation,26757 properties remain. new max is 512
SDD size :7.13162e+07 after 2.59314e+08
Reachability property qltransition_21931 is true.
Reachability property qltransition_17392 is true.
Reachability property qltransition_14636 is true.
Reachability property qltransition_14062 is true.
Reachability property qltransition_11860 is true.
Reachability property qltransition_10524 is true.
Reachability property qltransition_6460 is true.
SDD proceeding with computation,26750 properties remain. new max is 512
SDD size :2.59314e+08 after 2.59382e+08
Reachability property qltransition_25505 is true.
Reachability property qltransition_25071 is true.
Reachability property qltransition_22294 is true.
Reachability property qltransition_20582 is true.
Reachability property qltransition_20135 is true.
Reachability property qltransition_17891 is true.
Reachability property qltransition_17420 is true.
Reachability property qltransition_14289 is true.
Reachability property qltransition_7048 is true.
Reachability property qltransition_6696 is true.
Reachability property qltransition_6286 is true.
Reachability property qltransition_4879 is true.
Reachability property qltransition_3954 is true.
Reachability property qltransition_3069 is true.
Reachability property qltransition_2766 is true.
Reachability property qltransition_2346 is true.
Reachability property qltransition_2172 is true.
SDD proceeding with computation,26733 properties remain. new max is 512
SDD size :2.59382e+08 after 2.60194e+08
Reachability property qltransition_27037 is true.
Reachability property qltransition_23899 is true.
Reachability property qltransition_22541 is true.
Reachability property qltransition_22043 is true.
Reachability property qltransition_15211 is true.
Reachability property qltransition_11761 is true.
Reachability property qltransition_9378 is true.
Reachability property qltransition_6480 is true.
Reachability property qltransition_6109 is true.
Reachability property qltransition_3381 is true.
SDD proceeding with computation,26723 properties remain. new max is 512
SDD size :2.60194e+08 after 2.61756e+08
Reachability property qltransition_27808 is true.
Reachability property qltransition_27807 is true.
Reachability property qltransition_27572 is true.
Reachability property qltransition_27116 is true.
Reachability property qltransition_27055 is true.
Reachability property qltransition_26225 is true.
Reachability property qltransition_24864 is true.
Reachability property qltransition_23866 is true.
Reachability property qltransition_23550 is true.
Reachability property qltransition_20096 is true.
Reachability property qltransition_18707 is true.
Reachability property qltransition_17988 is true.
Reachability property qltransition_17282 is true.
Reachability property qltransition_16011 is true.
Reachability property qltransition_13811 is true.
Reachability property qltransition_13520 is true.
Reachability property qltransition_13202 is true.
Reachability property qltransition_11810 is true.
Reachability property qltransition_8843 is true.
Reachability property qltransition_7757 is true.
Reachability property qltransition_2374 is true.
Reachability property qltransition_1589 is true.
Reachability property qltransition_1524 is true.
SDD proceeding with computation,26700 properties remain. new max is 512
SDD size :2.61756e+08 after 2.73857e+08
Reachability property qltransition_25862 is true.
Reachability property qltransition_24098 is true.
Reachability property qltransition_22774 is true.
Reachability property qltransition_21099 is true.
Reachability property qltransition_20765 is true.
Reachability property qltransition_17128 is true.
Reachability property qltransition_14695 is true.
Reachability property qltransition_13582 is true.
Reachability property qltransition_10134 is true.
Reachability property qltransition_4855 is true.
Reachability property qltransition_4650 is true.
Reachability property qltransition_4101 is true.
Reachability property qltransition_2684 is true.
SDD proceeding with computation,26687 properties remain. new max is 512
SDD size :2.73857e+08 after 2.91156e+08
Reachability property qltransition_26260 is true.
Reachability property qltransition_22336 is true.
Reachability property qltransition_21895 is true.
Reachability property qltransition_21503 is true.
Reachability property qltransition_19135 is true.
Reachability property qltransition_17499 is true.
Reachability property qltransition_17037 is true.
Reachability property qltransition_16636 is true.
Reachability property qltransition_11489 is true.
Reachability property qltransition_11281 is true.
Reachability property qltransition_9154 is true.
Reachability property qltransition_3244 is true.
Reachability property qltransition_829 is true.
Reachability property qltransition_281 is true.
SDD proceeding with computation,26673 properties remain. new max is 512
SDD size :2.91156e+08 after 3.24422e+08
Reachability property qltransition_25716 is true.
Reachability property qltransition_24136 is true.
Reachability property qltransition_23960 is true.
Reachability property qltransition_21419 is true.
Reachability property qltransition_21325 is true.
Reachability property qltransition_18870 is true.
Reachability property qltransition_17818 is true.
Reachability property qltransition_16971 is true.
Reachability property qltransition_15611 is true.
Reachability property qltransition_13637 is true.
Reachability property qltransition_11587 is true.
Reachability property qltransition_11556 is true.
Reachability property qltransition_5891 is true.
Reachability property qltransition_4324 is true.
Reachability property qltransition_2878 is true.
SDD proceeding with computation,26658 properties remain. new max is 512
SDD size :3.24422e+08 after 3.83352e+08
Reachability property qltransition_26355 is true.
Reachability property qltransition_25286 is true.
Reachability property qltransition_24797 is true.
Reachability property qltransition_24769 is true.
Reachability property qltransition_24702 is true.
Reachability property qltransition_24031 is true.
Reachability property qltransition_21784 is true.
Reachability property qltransition_21115 is true.
Reachability property qltransition_19065 is true.
Reachability property qltransition_17794 is true.
Reachability property qltransition_8076 is true.
Reachability property qltransition_5611 is true.
Reachability property qltransition_4625 is true.
Reachability property qltransition_1885 is true.
Reachability property qltransition_1847 is true.
Reachability property qltransition_712 is true.
SDD proceeding with computation,26642 properties remain. new max is 512
SDD size :3.83352e+08 after 4.77639e+08
Reachability property qltransition_27258 is true.
Reachability property qltransition_27075 is true.
Reachability property qltransition_26772 is true.
Reachability property qltransition_26714 is true.
Reachability property qltransition_26475 is true.
Reachability property qltransition_25711 is true.
Reachability property qltransition_25557 is true.
Reachability property qltransition_23940 is true.
Reachability property qltransition_23782 is true.
Reachability property qltransition_23330 is true.
Reachability property qltransition_22607 is true.
Reachability property qltransition_22512 is true.
Reachability property qltransition_22494 is true.
Reachability property qltransition_20839 is true.
Reachability property qltransition_20719 is true.
Reachability property qltransition_19962 is true.
Reachability property qltransition_19642 is true.
Reachability property qltransition_19275 is true.
Reachability property qltransition_19096 is true.
Reachability property qltransition_19020 is true.
Reachability property qltransition_18528 is true.
Reachability property qltransition_18391 is true.
Reachability property qltransition_17559 is true.
Reachability property qltransition_16802 is true.
Reachability property qltransition_15629 is true.
Reachability property qltransition_15603 is true.
Reachability property qltransition_14988 is true.
Reachability property qltransition_14486 is true.
Reachability property qltransition_14208 is true.
Reachability property qltransition_13497 is true.
Reachability property qltransition_13134 is true.
Reachability property qltransition_12646 is true.
Reachability property qltransition_12638 is true.
Reachability property qltransition_11960 is true.
Reachability property qltransition_11553 is true.
Reachability property qltransition_10691 is true.
Reachability property qltransition_9990 is true.
Reachability property qltransition_9930 is true.
Reachability property qltransition_9717 is true.
Reachability property qltransition_8662 is true.
Reachability property qltransition_8316 is true.
Reachability property qltransition_7893 is true.
Reachability property qltransition_7398 is true.
Reachability property qltransition_7289 is true.
Reachability property qltransition_7147 is true.
Reachability property qltransition_6506 is true.
Reachability property qltransition_6102 is true.
Reachability property qltransition_5762 is true.
Reachability property qltransition_5740 is true.
Reachability property qltransition_5682 is true.
Reachability property qltransition_4095 is true.
Reachability property qltransition_3603 is true.
Reachability property qltransition_1975 is true.
Reachability property qltransition_1732 is true.
Reachability property qltransition_1654 is true.
Reachability property qltransition_1650 is true.
Reachability property qltransition_1265 is true.
Reachability property qltransition_1121 is true.
Reachability property qltransition_864 is true.
Reachability property qltransition_791 is true.
Reachability property qltransition_459 is true.
Reachability property qltransition_314 is true.
Reachability property qltransition_27 is true.
SDD proceeding with computation,26579 properties remain. new max is 512
SDD size :4.77639e+08 after 9.56609e+08
Reachability property qltransition_27919 is true.
Reachability property qltransition_27499 is true.
Reachability property qltransition_27312 is true.
Reachability property qltransition_27034 is true.
Reachability property qltransition_26527 is true.
Reachability property qltransition_26004 is true.
Reachability property qltransition_25673 is true.
Reachability property qltransition_25377 is true.
Reachability property qltransition_24248 is true.
Reachability property qltransition_23810 is true.
Reachability property qltransition_23634 is true.
Reachability property qltransition_23416 is true.
Reachability property qltransition_23384 is true.
Reachability property qltransition_23239 is true.
Reachability property qltransition_23054 is true.
Reachability property qltransition_22993 is true.
Reachability property qltransition_22805 is true.
Reachability property qltransition_22720 is true.
Reachability property qltransition_22678 is true.
Reachability property qltransition_22536 is true.
Reachability property qltransition_22380 is true.
Reachability property qltransition_22357 is true.
Reachability property qltransition_22258 is true.
Reachability property qltransition_22097 is true.
Reachability property qltransition_21733 is true.
Reachability property qltransition_21730 is true.
Reachability property qltransition_21564 is true.
Reachability property qltransition_21202 is true.
Reachability property qltransition_20722 is true.
Reachability property qltransition_20573 is true.
Reachability property qltransition_20245 is true.
Reachability property qltransition_20206 is true.
Reachability property qltransition_20129 is true.
Reachability property qltransition_19832 is true.
Reachability property qltransition_19830 is true.
Reachability property qltransition_19821 is true.
Reachability property qltransition_19360 is true.
Reachability property qltransition_18751 is true.
Reachability property qltransition_18417 is true.
Reachability property qltransition_17680 is true.
Reachability property qltransition_17466 is true.
Reachability property qltransition_17202 is true.
Reachability property qltransition_17144 is true.
Reachability property qltransition_16940 is true.
Reachability property qltransition_16690 is true.
Reachability property qltransition_16628 is true.
Reachability property qltransition_16426 is true.
Reachability property qltransition_16227 is true.
Reachability property qltransition_16208 is true.
Reachability property qltransition_16000 is true.
Reachability property qltransition_15664 is true.
Reachability property qltransition_15527 is true.
Reachability property qltransition_15464 is true.
Reachability property qltransition_15364 is true.
Reachability property qltransition_15173 is true.
Reachability property qltransition_15139 is true.
Reachability property qltransition_14850 is true.
Reachability property qltransition_14689 is true.
Reachability property qltransition_14632 is true.
Reachability property qltransition_14274 is true.
Reachability property qltransition_13339 is true.
Reachability property qltransition_13268 is true.
Reachability property qltransition_13176 is true.
Reachability property qltransition_12868 is true.
Reachability property qltransition_12527 is true.
Reachability property qltransition_11911 is true.
Reachability property qltransition_11633 is true.
Reachability property qltransition_11459 is true.
Reachability property qltransition_11414 is true.
Reachability property qltransition_11211 is true.
Reachability property qltransition_11062 is true.
Reachability property qltransition_10595 is true.
Reachability property qltransition_10218 is true.
Reachability property qltransition_9364 is true.
Reachability property qltransition_8416 is true.
Reachability property qltransition_8307 is true.
Reachability property qltransition_8130 is true.
Reachability property qltransition_7714 is true.
Reachability property qltransition_7012 is true.
Reachability property qltransition_6194 is true.
Reachability property qltransition_6190 is true.
Reachability property qltransition_6073 is true.
Reachability property qltransition_5800 is true.
Reachability property qltransition_5747 is true.
Reachability property qltransition_5657 is true.
Reachability property qltransition_5536 is true.
Reachability property qltransition_5394 is true.
Reachability property qltransition_5285 is true.
Reachability property qltransition_5186 is true.
Reachability property qltransition_4366 is true.
Reachability property qltransition_4199 is true.
Reachability property qltransition_4093 is true.
Reachability property qltransition_3736 is true.
Reachability property qltransition_3617 is true.
Reachability property qltransition_3606 is true.
Reachability property qltransition_3475 is true.
Reachability property qltransition_3188 is true.
Reachability property qltransition_3007 is true.
Reachability property qltransition_2843 is true.
Reachability property qltransition_2609 is true.
Reachability property qltransition_1991 is true.
Reachability property qltransition_1832 is true.
Reachability property qltransition_1495 is true.
Reachability property qltransition_1357 is true.
Reachability property qltransition_1206 is true.
Reachability property qltransition_470 is true.
Reachability property qltransition_325 is true.
Reachability property qltransition_39 is true.
SDD proceeding with computation,26471 properties remain. new max is 512
SDD size :9.56609e+08 after 1.76726e+09
Reachability property qltransition_27898 is true.
Reachability property qltransition_27443 is true.
Reachability property qltransition_27344 is true.
Reachability property qltransition_27122 is true.
Reachability property qltransition_27064 is true.
Reachability property qltransition_26646 is true.
Reachability property qltransition_26598 is true.
Reachability property qltransition_26164 is true.
Reachability property qltransition_25753 is true.
Reachability property qltransition_25395 is true.
Reachability property qltransition_25393 is true.
Reachability property qltransition_25378 is true.
Reachability property qltransition_25314 is true.
Reachability property qltransition_25057 is true.
Reachability property qltransition_24752 is true.
Reachability property qltransition_24604 is true.
Reachability property qltransition_24575 is true.
Reachability property qltransition_24188 is true.
Reachability property qltransition_23972 is true.
Reachability property qltransition_23627 is true.
Reachability property qltransition_23478 is true.
Reachability property qltransition_22984 is true.
Reachability property qltransition_22914 is true.
Reachability property qltransition_22745 is true.
Reachability property qltransition_22639 is true.
Reachability property qltransition_22178 is true.
Reachability property qltransition_21810 is true.
Reachability property qltransition_21422 is true.
Reachability property qltransition_21143 is true.
Reachability property qltransition_20915 is true.
Reachability property qltransition_20603 is true.
Reachability property qltransition_20473 is true.
Reachability property qltransition_20379 is true.
Reachability property qltransition_19795 is true.
Reachability property qltransition_19777 is true.
Reachability property qltransition_19197 is true.
Reachability property qltransition_19170 is true.
Reachability property qltransition_19017 is true.
Reachability property qltransition_18271 is true.
Reachability property qltransition_18178 is true.
Reachability property qltransition_18088 is true.
Reachability property qltransition_17531 is true.
Reachability property qltransition_17520 is true.
Reachability property qltransition_17131 is true.
Reachability property qltransition_16905 is true.
Reachability property qltransition_16389 is true.
Reachability property qltransition_15847 is true.
Reachability property qltransition_15416 is true.
Reachability property qltransition_15092 is true.
Reachability property qltransition_14295 is true.
Reachability property qltransition_14174 is true.
Reachability property qltransition_14082 is true.
Reachability property qltransition_14012 is true.
Reachability property qltransition_13888 is true.
Reachability property qltransition_13780 is true.
Reachability property qltransition_13219 is true.
Reachability property qltransition_13050 is true.
Reachability property qltransition_12967 is true.
Reachability property qltransition_12335 is true.
Reachability property qltransition_12190 is true.
Reachability property qltransition_11991 is true.
Reachability property qltransition_11880 is true.
Reachability property qltransition_11750 is true.
Reachability property qltransition_11510 is true.
Reachability property qltransition_11389 is true.
Reachability property qltransition_11163 is true.
Reachability property qltransition_10967 is true.
Reachability property qltransition_10707 is true.
Reachability property qltransition_10464 is true.
Reachability property qltransition_10144 is true.
Reachability property qltransition_9768 is true.
Reachability property qltransition_9216 is true.
Reachability property qltransition_9119 is true.
Reachability property qltransition_9075 is true.
Reachability property qltransition_8782 is true.
Reachability property qltransition_8504 is true.
Reachability property qltransition_8489 is true.
Reachability property qltransition_7539 is true.
Reachability property qltransition_7214 is true.
Reachability property qltransition_6881 is true.
Reachability property qltransition_6756 is true.
Reachability property qltransition_6755 is true.
Reachability property qltransition_6648 is true.
Reachability property qltransition_6596 is true.
Reachability property qltransition_6502 is true.
Reachability property qltransition_6462 is true.
Reachability property qltransition_4211 is true.
Reachability property qltransition_4103 is true.
Reachability property qltransition_3971 is true.
Reachability property qltransition_3969 is true.
Reachability property qltransition_3941 is true.
Reachability property qltransition_3784 is true.
Reachability property qltransition_3282 is true.
Reachability property qltransition_3211 is true.
Reachability property qltransition_3177 is true.
Reachability property qltransition_3058 is true.
Reachability property qltransition_2769 is true.
Reachability property qltransition_2554 is true.
Reachability property qltransition_2399 is true.
Reachability property qltransition_2352 is true.
Reachability property qltransition_2216 is true.
Reachability property qltransition_1638 is true.
Reachability property qltransition_1605 is true.
Reachability property qltransition_1345 is true.
Reachability property qltransition_1174 is true.
Reachability property qltransition_559 is true.
Reachability property qltransition_513 is true.
Reachability property qltransition_432 is true.
Reachability property qltransition_10 is true.
SDD proceeding with computation,26362 properties remain. new max is 512
SDD size :1.76726e+09 after 3.63129e+09
Reachability property qltransition_27843 is true.
Reachability property qltransition_26968 is true.
Reachability property qltransition_26569 is true.
Reachability property qltransition_25834 is true.
Reachability property qltransition_25769 is true.
Reachability property qltransition_25466 is true.
Reachability property qltransition_24807 is true.
Reachability property qltransition_24745 is true.
Reachability property qltransition_23839 is true.
Reachability property qltransition_23595 is true.
Reachability property qltransition_22730 is true.
Reachability property qltransition_22614 is true.
Reachability property qltransition_22370 is true.
Reachability property qltransition_21591 is true.
Reachability property qltransition_20903 is true.
Reachability property qltransition_20760 is true.
Reachability property qltransition_20720 is true.
Reachability property qltransition_20571 is true.
Reachability property qltransition_19528 is true.
Reachability property qltransition_19276 is true.
Reachability property qltransition_18759 is true.
Reachability property qltransition_18245 is true.
Reachability property qltransition_18105 is true.
Reachability property qltransition_17962 is true.
Reachability property qltransition_17737 is true.
Reachability property qltransition_17642 is true.
Reachability property qltransition_17215 is true.
Reachability property qltransition_16715 is true.
Reachability property qltransition_16443 is true.
Reachability property qltransition_16296 is true.
Reachability property qltransition_16250 is true.
Reachability property qltransition_15964 is true.
Reachability property qltransition_15703 is true.
Reachability property qltransition_15166 is true.
Reachability property qltransition_15008 is true.
Reachability property qltransition_14084 is true.
Reachability property qltransition_13865 is true.
Reachability property qltransition_13651 is true.
Reachability property qltransition_13423 is true.
Reachability property qltransition_12666 is true.
Reachability property qltransition_12300 is true.
Reachability property qltransition_12213 is true.
Reachability property qltransition_12005 is true.
Reachability property qltransition_12002 is true.
Reachability property qltransition_11508 is true.
Reachability property qltransition_11346 is true.
Reachability property qltransition_11198 is true.
Reachability property qltransition_10711 is true.
Reachability property qltransition_10490 is true.
Reachability property qltransition_10422 is true.
Reachability property qltransition_10227 is true.
Reachability property qltransition_10201 is true.
Reachability property qltransition_9861 is true.
Reachability property qltransition_9528 is true.
Reachability property qltransition_9507 is true.
Reachability property qltransition_9168 is true.
Reachability property qltransition_8549 is true.
Reachability property qltransition_8495 is true.
Reachability property qltransition_7752 is true.
Reachability property qltransition_7049 is true.
Reachability property qltransition_6586 is true.
Reachability property qltransition_6045 is true.
Reachability property qltransition_5966 is true.
Reachability property qltransition_5957 is true.
Reachability property qltransition_5662 is true.
Reachability property qltransition_5569 is true.
Reachability property qltransition_5495 is true.
Reachability property qltransition_5232 is true.
Reachability property qltransition_5213 is true.
Reachability property qltransition_4961 is true.
Reachability property qltransition_4796 is true.
Reachability property qltransition_4652 is true.
Reachability property qltransition_2938 is true.
Reachability property qltransition_2704 is true.
Reachability property qltransition_2414 is true.
Reachability property qltransition_2377 is true.
Reachability property qltransition_2358 is true.
Reachability property qltransition_1940 is true.
Reachability property qltransition_1188 is true.
Reachability property qltransition_749 is true.
SDD proceeding with computation,26282 properties remain. new max is 512
SDD size :3.63129e+09 after 6.56412e+09
Reachability property qltransition_27686 is true.
Reachability property qltransition_27621 is true.
Reachability property qltransition_27442 is true.
Reachability property qltransition_27349 is true.
Reachability property qltransition_27023 is true.
Reachability property qltransition_26852 is true.
Reachability property qltransition_26552 is true.
Reachability property qltransition_26435 is true.
Reachability property qltransition_26094 is true.
Reachability property qltransition_25855 is true.
Reachability property qltransition_25796 is true.
Reachability property qltransition_25571 is true.
Reachability property qltransition_25541 is true.
Reachability property qltransition_25415 is true.
Reachability property qltransition_25349 is true.
Reachability property qltransition_25321 is true.
Reachability property qltransition_25308 is true.
Reachability property qltransition_25123 is true.
Reachability property qltransition_25105 is true.
Reachability property qltransition_24988 is true.
Reachability property qltransition_24920 is true.
Reachability property qltransition_24813 is true.
Reachability property qltransition_24673 is true.
Reachability property qltransition_24588 is true.
Reachability property qltransition_24037 is true.
Reachability property qltransition_24022 is true.
Reachability property qltransition_23791 is true.
Reachability property qltransition_23683 is true.
Reachability property qltransition_23512 is true.
Reachability property qltransition_23511 is true.
Reachability property qltransition_22709 is true.
Reachability property qltransition_22567 is true.
Reachability property qltransition_22305 is true.
Reachability property qltransition_22220 is true.
Reachability property qltransition_22033 is true.
Reachability property qltransition_21936 is true.
Reachability property qltransition_21841 is true.
Reachability property qltransition_21613 is true.
Reachability property qltransition_21604 is true.
Reachability property qltransition_21271 is true.
Reachability property qltransition_21116 is true.
Reachability property qltransition_21006 is true.
Reachability property qltransition_20818 is true.
Reachability property qltransition_20666 is true.
Reachability property qltransition_20188 is true.
Reachability property qltransition_19809 is true.
Reachability property qltransition_19801 is true.
Reachability property qltransition_19689 is true.
Reachability property qltransition_19532 is true.
Reachability property qltransition_19040 is true.
Reachability property qltransition_19023 is true.
Reachability property qltransition_18980 is true.
Reachability property qltransition_18781 is true.
Reachability property qltransition_18002 is true.
Reachability property qltransition_17849 is true.
Reachability property qltransition_17596 is true.
Reachability property qltransition_17571 is true.
Reachability property qltransition_17214 is true.
Reachability property qltransition_16663 is true.
Reachability property qltransition_15827 is true.
Reachability property qltransition_15793 is true.
Reachability property qltransition_15744 is true.
Reachability property qltransition_15660 is true.
Reachability property qltransition_14765 is true.
Reachability property qltransition_14484 is true.
Reachability property qltransition_14453 is true.
Reachability property qltransition_14348 is true.
Reachability property qltransition_14308 is true.
Reachability property qltransition_14263 is true.
Reachability property qltransition_14251 is true.
Reachability property qltransition_13919 is true.
Reachability property qltransition_13898 is true.
Reachability property qltransition_13149 is true.
Reachability property qltransition_12957 is true.
Reachability property qltransition_12915 is true.
Reachability property qltransition_12901 is true.
Reachability property qltransition_12878 is true.
Reachability property qltransition_12759 is true.
Reachability property qltransition_12506 is true.
Reachability property qltransition_12453 is true.
Reachability property qltransition_12395 is true.
Reachability property qltransition_12203 is true.
Reachability property qltransition_12147 is true.
Reachability property qltransition_12143 is true.
Reachability property qltransition_11954 is true.
Reachability property qltransition_11843 is true.
Reachability property qltransition_11780 is true.
Reachability property qltransition_11561 is true.
Reachability property qltransition_11520 is true.
Reachability property qltransition_11111 is true.
Reachability property qltransition_11109 is true.
Reachability property qltransition_10956 is true.
Reachability property qltransition_10746 is true.
Reachability property qltransition_10391 is true.
Reachability property qltransition_10322 is true.
Reachability property qltransition_10306 is true.
Reachability property qltransition_10170 is true.
Reachability property qltransition_9365 is true.
Reachability property qltransition_9328 is true.
Reachability property qltransition_9195 is true.
Reachability property qltransition_8997 is true.
Reachability property qltransition_8882 is true.
Reachability property qltransition_8806 is true.
Reachability property qltransition_8445 is true.
Reachability property qltransition_7730 is true.
Reachability property qltransition_7299 is true.
Reachability property qltransition_7186 is true.
Reachability property qltransition_6810 is true.
Reachability property qltransition_6208 is true.
Reachability property qltransition_5760 is true.
Reachability property qltransition_5488 is true.
Reachability property qltransition_4472 is true.
Reachability property qltransition_4044 is true.
Reachability property qltransition_4036 is true.
Reachability property qltransition_3989 is true.
Reachability property qltransition_3893 is true.
Reachability property qltransition_3838 is true.
Reachability property qltransition_3672 is true.
Reachability property qltransition_3669 is true.
Reachability property qltransition_3358 is true.
Reachability property qltransition_3248 is true.
Reachability property qltransition_3225 is true.
Reachability property qltransition_3218 is true.
Reachability property qltransition_3122 is true.
Reachability property qltransition_3060 is true.
Reachability property qltransition_2228 is true.
Reachability property qltransition_1930 is true.
Reachability property qltransition_1859 is true.
Reachability property qltransition_1757 is true.
Reachability property qltransition_1562 is true.
Reachability property qltransition_1535 is true.
Reachability property qltransition_1364 is true.
Reachability property qltransition_1089 is true.
Reachability property qltransition_992 is true.
Reachability property qltransition_391 is true.
Reachability property qltransition_374 is true.
Reachability property qltransition_356 is true.
Reachability property qltransition_211 is true.
Reachability property qltransition_20 is true.
SDD proceeding with computation,26143 properties remain. new max is 512
SDD size :6.56412e+09 after 1.39719e+10
Reachability property qltransition_27911 is true.
Reachability property qltransition_27153 is true.
Reachability property qltransition_27118 is true.
Reachability property qltransition_27048 is true.
Reachability property qltransition_26557 is true.
Reachability property qltransition_25747 is true.
Reachability property qltransition_25408 is true.
Reachability property qltransition_24775 is true.
Reachability property qltransition_24770 is true.
Reachability property qltransition_24452 is true.
Reachability property qltransition_24167 is true.
Reachability property qltransition_24044 is true.
Reachability property qltransition_24007 is true.
Reachability property qltransition_24000 is true.
Reachability property qltransition_23768 is true.
Reachability property qltransition_23471 is true.
Reachability property qltransition_23452 is true.
Reachability property qltransition_23163 is true.
Reachability property qltransition_22847 is true.
Reachability property qltransition_22459 is true.
Reachability property qltransition_22362 is true.
Reachability property qltransition_22067 is true.
Reachability property qltransition_21750 is true.
Reachability property qltransition_21568 is true.
Reachability property qltransition_21334 is true.
Reachability property qltransition_20631 is true.
Reachability property qltransition_20218 is true.
Reachability property qltransition_19927 is true.
Reachability property qltransition_19604 is true.
Reachability property qltransition_19570 is true.
Reachability property qltransition_19514 is true.
Reachability property qltransition_19342 is true.
Reachability property qltransition_19271 is true.
Reachability property qltransition_19163 is true.
Reachability property qltransition_18986 is true.
Reachability property qltransition_18802 is true.
Reachability property qltransition_18659 is true.
Reachability property qltransition_18642 is true.
Reachability property qltransition_18481 is true.
Reachability property qltransition_18444 is true.
Reachability property qltransition_18351 is true.
Reachability property qltransition_18258 is true.
Reachability property qltransition_18009 is true.
Reachability property qltransition_17897 is true.
Reachability property qltransition_17332 is true.
Reachability property qltransition_17088 is true.
Reachability property qltransition_17027 is true.
Reachability property qltransition_16842 is true.
Reachability property qltransition_16528 is true.
Reachability property qltransition_16507 is true.
Reachability property qltransition_16281 is true.
Reachability property qltransition_16019 is true.
Reachability property qltransition_15954 is true.
Reachability property qltransition_15096 is true.
Reachability property qltransition_14945 is true.
Reachability property qltransition_14915 is true.
Reachability property qltransition_14848 is true.
Reachability property qltransition_14733 is true.
Reachability property qltransition_14566 is true.
Reachability property qltransition_13995 is true.
Reachability property qltransition_13868 is true.
Reachability property qltransition_13380 is true.
Reachability property qltransition_13278 is true.
Reachability property qltransition_12281 is true.
Reachability property qltransition_12270 is true.
Reachability property qltransition_10508 is true.
Reachability property qltransition_10416 is true.
Reachability property qltransition_10314 is true.
Reachability property qltransition_10221 is true.
Reachability property qltransition_10087 is true.
Reachability property qltransition_10018 is true.
Reachability property qltransition_9735 is true.
Reachability property qltransition_9513 is true.
Reachability property qltransition_9482 is true.
Reachability property qltransition_9284 is true.
Reachability property qltransition_9175 is true.
Reachability property qltransition_9032 is true.
Reachability property qltransition_8981 is true.
Reachability property qltransition_8659 is true.
Reachability property qltransition_8595 is true.
Reachability property qltransition_8411 is true.
Reachability property qltransition_8243 is true.
Reachability property qltransition_7977 is true.
Reachability property qltransition_7792 is true.
Reachability property qltransition_7688 is true.
Reachability property qltransition_7452 is true.
Reachability property qltransition_7413 is true.
Reachability property qltransition_6847 is true.
Reachability property qltransition_6647 is true.
Reachability property qltransition_6494 is true.
Reachability property qltransition_6139 is true.
Reachability property qltransition_6134 is true.
Reachability property qltransition_6059 is true.
Reachability property qltransition_5963 is true.
Reachability property qltransition_4486 is true.
Reachability property qltransition_3505 is true.
Reachability property qltransition_3397 is true.
Reachability property qltransition_3392 is true.
Reachability property qltransition_3252 is true.
Reachability property qltransition_2922 is true.
Reachability property qltransition_2841 is true.
Reachability property qltransition_2802 is true.
Reachability property qltransition_2004 is true.
Reachability property qltransition_1989 is true.
Reachability property qltransition_1419 is true.
Reachability property qltransition_1335 is true.
Reachability property qltransition_911 is true.
Reachability property qltransition_879 is true.
Reachability property qltransition_606 is true.
Reachability property qltransition_422 is true.
Reachability property qltransition_407 is true.
Reachability property qltransition_143 is true.
SDD proceeding with computation,26031 properties remain. new max is 512
SDD size :1.39719e+10 after 4.89326e+10
Detected timeout of ITS tools.
[2023-03-22 17:45:18] [INFO ] Flatten gal took : 633 ms
[2023-03-22 17:45:18] [INFO ] Applying decomposition
[2023-03-22 17:45:18] [INFO ] Flatten gal took : 630 ms
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:2340)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:618)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:339)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.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:386)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-22 17:45:21] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-22 17:45:21] [INFO ] After 225029ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 26468 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 2 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 137 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 139 ms. Remains : 961/961 places, 27931/27931 transitions.
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph17666569303187593805.txt' '-o' '/tmp/graph17666569303187593805.bin' '-w' '/tmp/graph17666569303187593805.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph17666569303187593805.bin' '-l' '-1' '-v' '-w' '/tmp/graph17666569303187593805.weights' '-q' '0' '-e' '0.001'
[2023-03-22 17:45:21] [INFO ] Decomposing Gal with order
[2023-03-22 17:45:21] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-22 17:45:24] [INFO ] Removed a total of 65598 redundant transitions.
[2023-03-22 17:45:25] [INFO ] Flatten gal took : 2117 ms
[2023-03-22 17:45:42] [INFO ] Fuse similar labels procedure discarded/fused a total of 813 labels/synchronizations in 1133 ms.
[2023-03-22 17:45:42] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality5746019724836156624.gal : 136 ms
[2023-03-22 17:45:42] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality9691129325719096030.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.202303021504/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality5746019724836156624.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality9691129325719096030.prop' '--nowitness'

its-reach command run as :

/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...307
Loading property file /tmp/ReachabilityCardinality9691129325719096030.prop.
Interrupted random walk after 179995 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 25101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 25101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 25101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 25101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 25101) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 25101) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 25101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 25101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 25101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 25101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 25101) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 25101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 25101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 25101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 25101) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 25101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 25101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 25101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 25101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 25101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 25101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 25101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 25101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 25101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 25101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 25101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 25101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 25101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 25101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 25101) 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 25101) 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 25101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 25101) 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 25101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 25101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 25101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 25101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 25101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 25101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 25101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 25101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 25101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 25101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 25101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 25101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 25101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 25101) 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 25101) 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 25101) 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 25101) seen :0
Interrupted probabilistic random walk after 117786 steps, run timeout after 99004 ms. (steps per millisecond=1 ) properties seen :{}
Probabilistic random walk after 117786 steps, saw 26134 distinct states, run finished after 99024 ms. (steps per millisecond=1 ) properties seen :0
Running SMT prover for 25101 properties.
[2023-03-22 17:47:34] [INFO ] Invariant cache hit.
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.assertInvariants(DeadlockTester.java:2340)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:618)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:339)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.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:386)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-22 17:51:19] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-22 17:51:19] [INFO ] After 225050ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 25101 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 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 117 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 117 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 123 ms. (steps per millisecond=8 ) properties (out of 25095) 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 25095) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 25095) 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 25095) 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 25095) 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 25095) 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 25095) 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 25095) 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 25095) 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 25095) 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 25095) 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 25095) 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 25095) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 25095) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 25095) 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 25095) 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 25095) 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 25095) 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 25095) 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 25095) 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 25095) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 25095) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 25095) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 25095) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 25095) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 25095) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 25095) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 25095) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 25095) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 25095) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 25095) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 25095) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 25095) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 25095) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 25095) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 25095) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 25095) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 25095) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 25095) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 25095) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 25095) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 25095) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 25095) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 25095) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 25095) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 25095) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 25095) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 25095) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 25095) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 25095) seen :0
Interrupted probabilistic random walk after 137258 steps, run timeout after 102002 ms. (steps per millisecond=1 ) properties seen :{}
Probabilistic random walk after 137258 steps, saw 29969 distinct states, run finished after 102005 ms. (steps per millisecond=1 ) properties seen :0
Running SMT prover for 25095 properties.
[2023-03-22 17:53:36] [INFO ] Invariant cache hit.
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin17135721294224949809
[2023-03-22 17:55:43] [INFO ] Built C files in 572ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin17135721294224949809
Running compilation step : cd /tmp/ltsmin17135721294224949809;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202303021504/bin/limit_time.pl' '120' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202303021504/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.assertInvariants(DeadlockTester.java:2340)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:618)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:339)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.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:386)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-22 17:57:21] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-22 17:57:21] [INFO ] After 225038ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 25095 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 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 112 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 112 ms. Remains : 961/961 places, 27931/27931 transitions.
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/ltsmin17135721294224949809;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202303021504/bin/limit_time.pl' '120' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202303021504/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/ltsmin17135721294224949809;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202303021504/bin/limit_time.pl' '120' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202303021504/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)
Interrupted random walk after 180001 steps, including 0 resets, run timeout after 30002 ms. (steps per millisecond=5 ) properties seen 6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 25089) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=10 ) properties (out of 25089) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 25089) 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 25089) 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 25089) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 25089) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 25089) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 25089) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 25089) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 25089) 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 25089) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 25089) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 25089) 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 25089) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 25089) 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 25089) 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 25089) 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 25089) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 25089) 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 25089) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 25089) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 25089) 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 25089) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 25089) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 25089) 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 25089) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 25089) 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 25089) 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 25089) 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 25089) 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 25089) 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 25089) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 25089) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 25089) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 25088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 25088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 25088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 25088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 25088) 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 25088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 25088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 25088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 25088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 25088) 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 25088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 25088) 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 25088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 25088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 25088) 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 25088) 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 25088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 25088) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 25087) 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 25087) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 25086) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 25086) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 25086) 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 25086) 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 25086) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 25086) 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 25086) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 25086) 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 25086) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 25086) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 25086) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 25086) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 25086) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 25086) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 25086) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 25086) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 25086) 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 25086) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 25086) 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 25086) 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 25086) 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 25086) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 25086) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 25086) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 25086) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 25086) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 25086) 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 25086) 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 25086) 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 25086) 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 25086) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 25086) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 25086) 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 25086) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 25086) 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 25086) 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 25086) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 25086) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 25086) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 25086) 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 25086) 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 25086) 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 25086) 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 25086) 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 25086) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 25086) 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 25086) 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 25086) 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 25086) seen :0
Interrupted probabilistic random walk after 139010 steps, run timeout after 117004 ms. (steps per millisecond=1 ) properties seen :{}
Probabilistic random walk after 139010 steps, saw 30293 distinct states, run finished after 117006 ms. (steps per millisecond=1 ) properties seen :0
Running SMT prover for 25086 properties.
[2023-03-22 17:59:59] [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:2340)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:618)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:339)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.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:386)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-22 18:03:44] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-22 18:03:44] [INFO ] After 225030ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 25086 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 2 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 119 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 125 ms. Remains : 961/961 places, 27931/27931 transitions.
Interrupted random walk after 179998 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 25082) 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 25082) 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 25082) 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 25082) 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 25082) 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 25082) 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 25082) 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 25082) 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 25082) 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 25082) 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 25082) 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 25082) 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 25082) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 25082) 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 25082) 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 25082) 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 25082) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 25082) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 25082) 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 25082) 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 25082) 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 25082) 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 25082) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 25082) 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 25082) 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 25082) 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 25082) 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 25082) 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 25082) 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 25082) 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 25082) 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 25082) 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 25082) 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 25082) 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 25082) 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 25082) 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 25082) 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 25082) 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 25082) 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 25082) 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 25082) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 25082) 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 25082) 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 25082) 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 25082) 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 25082) 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 25082) 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 25082) 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 25082) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 25082) seen :0
TIME LIMIT: Killed by timeout after 1800 seconds
MemTotal: 16393216 kB
MemFree: 12570596 kB
After kill :
MemTotal: 16393216 kB
MemFree: 15878216 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.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /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="itstools"
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-5348"
echo " Executing tool itstools"
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 r499-tall-167912722600427"
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 ;