Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2021-input.r280-smll-162123888000072.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2021-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
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 r280-smll-162123888000072
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 229M
-rw-r--r-- 1 mcc users 1.3M May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 6.3M May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 29M May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 100M May 10 09:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 488K Mar 28 16:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 1.7M Mar 28 16:46 LTLCardinality.xml
-rw-r--r-- 1 mcc users 8.4M Mar 28 16:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 24M Mar 28 16:46 LTLFireability.xml
-rw-r--r-- 1 mcc users 529K Mar 27 14:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 1.7M Mar 27 14:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11M Mar 25 20:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 28M Mar 25 20:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 110K Mar 22 08:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 262K Mar 22 08:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:52 equiv_col
-rw-r--r-- 1 mcc users 4 May 5 16:52 instance
-rw-r--r-- 1 mcc users 6 May 5 16:52 iscolored
-rw-r--r-- 1 mcc users 20M May 5 16:52 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 1621373948527

Running Version 0
[2021-05-18 21:39:11] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2021-05-18 21:39:11] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-18 21:39:13] [INFO ] Load time of PNML (sax parser for PT used): 1374 ms
[2021-05-18 21:39:13] [INFO ] Transformed 961 places.
[2021-05-18 21:39:13] [INFO ] Transformed 27931 transitions.
[2021-05-18 21:39:13] [INFO ] Found NUPN structural information;
[2021-05-18 21:39:13] [INFO ] Parsed PT model containing 961 places and 27931 transitions in 1658 ms.
Starting structural reductions, iteration 0 : 961/961 places, 27931/27931 transitions.
Applied a total of 0 rules in 1765 ms. Remains 961 /961 variables (removed 0) and now considering 27931/27931 (removed 0) transitions.
// Phase 1: matrix 27931 rows 961 cols
[2021-05-18 21:39:15] [INFO ] Computed 31 place invariants in 166 ms
[2021-05-18 21:39:19] [INFO ] Implicit Places using invariants in 4650 ms returned []
Implicit Place search using SMT only with invariants took 4788 ms to find 0 implicit places.
// Phase 1: matrix 27931 rows 961 cols
[2021-05-18 21:39:20] [INFO ] Computed 31 place invariants in 145 ms
[2021-05-18 21:39:36] [INFO ] Dead Transitions using invariants and state equation in 16461 ms returned []
Finished structural reductions, in 1 iterations. Remains : 961/961 places, 27931/27931 transitions.
[2021-05-18 21:39:36] [INFO ] Initial state test concluded for 30 properties.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 20156 ms. (steps per millisecond=0 ) properties (out of 27901) seen :1257
Probabilistic random walk after 30001 steps, saw 8709 distinct states, run finished after 29713 ms. (steps per millisecond=1 ) properties seen :{8=1, 133=1, 228=1, 268=1, 303=1, 379=1, 452=1, 760=1, 770=1, 906=1, 1070=1, 1152=1, 1338=1, 1370=1, 2172=1, 2226=1, 2240=1, 2365=1, 2562=1, 2613=1, 2635=1, 2670=1, 3124=1, 3156=1, 3225=1, 3435=1, 3698=1, 3989=1, 4005=1, 4139=1, 4176=1, 4194=1, 4403=1, 4550=1, 4575=1, 4640=1, 4842=1, 5005=1, 5073=1, 5474=1, 5634=1, 5665=1, 5766=1, 5846=1, 5940=1, 5957=1, 6047=1, 6152=1, 6789=1, 6961=1, 7082=1, 7338=1, 7411=1, 7824=1, 7870=1, 8023=1, 8043=1, 8194=1, 8197=1, 8612=1, 8779=1, 8968=1, 9085=1, 9221=1, 9348=1, 9541=1, 9636=1, 9774=1, 9955=1, 10047=1, 10174=1, 10189=1, 10253=1, 10303=1, 10340=1, 10351=1, 11718=1, 11988=1, 11996=1, 12194=1, 12279=1, 12463=1, 12471=1, 12479=1, 12609=1, 12706=1, 12951=1, 13129=1, 13201=1, 13346=1, 14147=1, 14244=1, 14458=1, 14993=1, 15008=1, 15238=1, 15271=1, 15334=1, 15381=1, 15507=1, 15508=1, 15553=1, 15869=1, 15903=1, 16181=1, 16226=1, 16267=1, 16495=1, 16496=1, 16621=1, 16753=1, 16830=1, 16993=1, 17461=1, 17472=1, 17728=1, 17942=1, 18071=1, 18395=1, 18422=1, 18430=1, 18647=1, 18911=1, 18942=1, 18955=1, 19085=1, 19106=1, 19147=1, 19384=1, 19790=1, 19813=1, 19902=1, 19919=1, 20073=1, 20775=1, 20881=1, 21030=1, 21167=1, 21207=1, 21213=1, 21249=1, 21252=1, 21494=1, 21495=1, 21573=1, 21625=1, 21744=1, 21758=1, 21839=1, 21863=1, 22025=1, 22135=1, 22287=1, 22320=1, 22348=1, 22393=1, 22515=1, 22579=1, 22766=1, 23044=1, 23147=1, 23362=1, 23601=1, 23648=1, 23771=1, 23824=1, 24151=1, 24193=1, 24221=1, 24529=1, 24531=1, 24721=1, 24829=1, 24864=1, 24892=1, 24902=1, 25091=1, 25212=1, 25294=1, 25596=1, 25679=1, 25695=1, 26082=1, 26282=1, 26362=1}
Running SMT prover for 26459 properties.
// Phase 1: matrix 27931 rows 961 cols
[2021-05-18 21:40:27] [INFO ] Computed 31 place invariants in 84 ms
[2021-05-18 21:40:52] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 26459 Parikh solutions to 1 different solutions.
Support contains 961 out of 961 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 961/961 places, 27931/27931 transitions.
Applied a total of 0 rules in 350 ms. Remains 961 /961 variables (removed 0) and now considering 27931/27931 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 961/961 places, 27931/27931 transitions.
[2021-05-18 21:40:56] [INFO ] Flatten gal took : 1738 ms
[2021-05-18 21:40:57] [INFO ] Flatten gal took : 1096 ms
[2021-05-18 21:40:57] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality16442036605984909680.gal : 221 ms
[2021-05-18 21:40:57] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality4846085162203699607.prop : 109 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality16442036605984909680.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality4846085162203699607.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality16442036605984909680.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality4846085162203699607.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality4846085162203699607.prop.
Detected timeout of ITS tools.
[2021-05-18 21:41:13] [INFO ] Flatten gal took : 922 ms
[2021-05-18 21:41:13] [INFO ] Applying decomposition
[2021-05-18 21:41:14] [INFO ] Flatten gal took : 884 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph14874229915194986711.txt, -o, /tmp/graph14874229915194986711.bin, -w, /tmp/graph14874229915194986711.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph14874229915194986711.bin, -l, -1, -v, -w, /tmp/graph14874229915194986711.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 21:41:17] [INFO ] Decomposing Gal with order
[2021-05-18 21:41:17] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 21:41:21] [INFO ] Removed a total of 65453 redundant transitions.
[2021-05-18 21:41:21] [INFO ] Flatten gal took : 2274 ms
[2021-05-18 21:41:47] [INFO ] Fuse similar labels procedure discarded/fused a total of 825 labels/synchronizations in 1113 ms.
[2021-05-18 21:41:47] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality15128489049790097907.gal : 159 ms
[2021-05-18 21:41:47] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality16021815816842945552.prop : 205 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality15128489049790097907.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality16021815816842945552.prop, --nowitness], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality15128489049790097907.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality16021815816842945552.prop --nowitness
Loading property file /tmp/ReachabilityCardinality16021815816842945552.prop.
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin2252374052413514902
[2021-05-18 21:42:03] [INFO ] Built C files in 753ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin2252374052413514902
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin2252374052413514902]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin2252374052413514902] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin2252374052413514902] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Interrupted random walk after 13309 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=0 ) properties seen :{492=1, 696=1, 730=1, 1371=1, 1437=1, 1545=1, 1668=1, 2686=1, 2689=1, 2766=1, 3188=1, 3220=1, 3595=1, 3923=1, 3935=1, 4315=1, 4887=1, 5174=1, 5224=1, 5500=1, 5939=1, 6225=1, 6271=1, 6668=1, 6681=1, 6792=1, 7312=1, 7494=1, 7961=1, 8105=1, 8340=1, 8823=1, 8898=1, 8903=1, 9056=1, 9206=1, 9283=1, 9363=1, 9485=1, 9524=1, 9709=1, 10304=1, 10333=1, 11121=1, 11134=1, 11353=1, 11661=1, 11695=1, 11912=1, 12848=1, 12902=1, 13286=1, 13364=1, 13449=1, 13606=1, 14291=1, 14542=1, 14727=1, 14832=1, 14984=1, 15322=1, 15616=1, 15687=1, 16437=1, 16640=1, 17057=1, 17069=1, 17070=1, 17224=1, 17437=1, 17578=1, 17706=1, 18042=1, 18664=1, 18807=1, 19663=1, 20074=1, 20366=1, 20384=1, 20547=1, 20925=1, 20952=1, 21340=1, 21768=1, 21921=1, 22184=1, 22582=1, 22791=1, 22805=1, 23448=1, 23800=1, 23905=1, 23916=1, 24060=1, 24847=1, 25106=1, 25370=1, 25600=1, 25855=1, 26104=1, 26136=1, 26273=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26357) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26350) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26345) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26342) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26339) 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 26336) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26334) seen :5
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26329) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26327) 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 26325) 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 26325) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 26324) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 26321) 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 26321) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 26319) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 26317) 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 26316) 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 26316) 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 26316) 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 26316) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 26314) 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 26313) 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 26313) 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 26313) 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 26312) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26310) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 26309) 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 26305) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26304) 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 26304) 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 26304) 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 26304) 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 26302) 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 26300) 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 26300) 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 26300) 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 26300) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26299) 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 26299) 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 26299) 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 26299) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26298) 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 26298) 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 26298) 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 26297) 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 26297) 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 26297) 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 26297) 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 26297) 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 26297) 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 26296) 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 26295) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26294) 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 26294) 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 26294) 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 26294) 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 26294) 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 26294) 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 26292) 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 26292) 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 26292) 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 26292) 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 26291) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26289) 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 26289) 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 26289) 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 26289) 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 26288) 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 26287) 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 26287) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26287) 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 26287) 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 26286) 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 26286) 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 26286) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26286) 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 26286) 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 26286) 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 26285) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26284) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26283) 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 26283) 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 26283) 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 26282) 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 26282) 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 26282) 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 26282) 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 26282) 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 26282) 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 26282) 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 26282) 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 26282) 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 26282) 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 26282) 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 26282) 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 26282) 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 26281) 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 26281) 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 26281) 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 26280) 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 26280) 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 26280) 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 26280) 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 26280) 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 26280) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26278) 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 26277) 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 26275) 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 26274) 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 26274) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26274) 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 26274) 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 26274) 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 26274) 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 26274) 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 26274) 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 26274) 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 26274) 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 26274) 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 26274) 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 26274) 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 26273) 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 26273) 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 26273) 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 26272) 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 26272) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26271) 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 26271) 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 26270) 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 26270) 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 26270) 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 26270) 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 26270) 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 26270) 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 26269) 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 26269) 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 26269) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26268) 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 26268) 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 26268) 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 26268) 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 26267) 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 26267) 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 26267) 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 26267) 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 26267) 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 26266) 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 26264) 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 26263) 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 26263) 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 26263) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26262) 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 26262) 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 26262) 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 26261) 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 26261) 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 26261) 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 26261) 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 26261) 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 26261) 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 26261) 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 26261) 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 26261) 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 26261) 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 26261) 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 26261) 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 26260) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26260) 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 26260) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26259) 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 26259) 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 26259) 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 26259) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26258) 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 26258) 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 26256) 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 26256) 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 26256) 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 26256) 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 26256) 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 26256) 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 26256) 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 26256) 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 26256) 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 26255) 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 26255) 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 26255) 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 26255) 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 26255) 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 26255) 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 26255) 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 26255) 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 26255) 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 26255) 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 26255) 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 26255) 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 26255) 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 26255) 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 26255) 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 26255) 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 26255) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26254) 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 26254) 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 26254) 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 26254) 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 26253) 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 26253) 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 26253) 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 26253) 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 26253) 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 26253) 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 26253) 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 26253) 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 26253) 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 26253) 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 26253) 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 26253) 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 26253) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26252) 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 26252) 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 26252) 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 26252) 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 26252) 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 26251) 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 26251) 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 26251) 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 26251) 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 26251) 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 26251) 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 26251) 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 26251) 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 26251) 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 26251) 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 26251) 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 26251) 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 26251) 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 26251) 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 26251) 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 26251) 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 26251) 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 26251) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 211 ms. (steps per millisecond=4 ) properties (out of 26251) 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 26250) 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 26250) 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 26250) 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 26250) 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 26250) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26249) 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 26249) 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 26249) 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 26249) 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 26249) 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 26249) 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 26249) 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 26249) 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 26249) 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 26249) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26249) 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 26249) 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 26249) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26249) 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 26249) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26248) 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 26248) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26248) 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 26248) 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 26248) 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 26248) 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 26248) 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 26248) 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 26248) 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 26248) 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 26248) 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 26248) 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 26248) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 26247) 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 26247) 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 26247) 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 26247) 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 26247) 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 26247) 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 26247) 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 26247) 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 26247) 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 26246) 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 26246) 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 26246) 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 26246) 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 26246) 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 26246) 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 26246) 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 26246) 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 26246) 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 26246) 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 26246) 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 26245) 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 26245) 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 26245) 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 26245) 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 26245) 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 26245) 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 26245) 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 26245) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26245) 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 26245) 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 26245) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26244) 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 26244) 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 26244) 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 26244) 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 26244) 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 26244) 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 26244) 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 26244) 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 26244) 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 26243) 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 26243) 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 26243) 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 26243) 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 26243) 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 26243) 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 26243) 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 26243) 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 26242) 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 26242) 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 26242) 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 26242) 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 26242) 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 26242) 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 26242) 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 26242) 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 26242) 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 26242) 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 26242) 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 26242) 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 26242) 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 26242) 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 26242) 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 26242) 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 26242) 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 26242) 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 26241) 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 26241) 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 26241) 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 26241) 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 26241) 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 26241) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26241) 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 26241) 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 26241) 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 26241) 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 26241) 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 26241) 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 26241) 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 26241) 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 26241) 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 26241) 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 26241) 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 26241) 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 26241) 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 26241) 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 26240) 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 26240) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26240) 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 26240) 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 26240) 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 26240) 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 26240) 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 26240) 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 26240) 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 26240) 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 26240) 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 26240) 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 26240) 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 26239) 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 26239) 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 26239) 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 26239) 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 26239) 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 26239) 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 26239) 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 26239) 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 26239) 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 26239) 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 26239) 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 26239) 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 26239) 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 26239) 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 26238) 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 26238) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26237) 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 26237) 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 26237) 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 26237) 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 26237) 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 26237) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26236) 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 26236) 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 26236) 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 26236) 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 26236) 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 26236) 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 26236) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26235) 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 26235) 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 26235) 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 26235) 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 26235) 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 26235) 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 26235) 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 26235) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26235) 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 26235) 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 26235) 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 26235) 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 26235) 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 26235) 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 26235) 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 26235) 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 26235) 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 26235) 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 26235) 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 26235) 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 26235) 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 26235) 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 26235) 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 26235) 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 26235) 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 26235) 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 26235) 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 26235) 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 26235) 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 26235) 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 26235) 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 26235) 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 26235) 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 26235) 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 26235) 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 26235) 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 26235) 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 26235) 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 26235) 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 26235) 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 26235) 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 26235) 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 26235) 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 26235) 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 26235) 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 26235) 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 26235) 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 26235) 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 26235) seen :0
Interrupted probabilistic random walk after 25918 steps, run timeout after 30003 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 25918 steps, saw 7836 distinct states, run finished after 30012 ms. (steps per millisecond=0 ) properties seen :{}
Running SMT prover for 26235 properties.
// Phase 1: matrix 27931 rows 961 cols
[2021-05-18 21:43:53] [INFO ] Computed 31 place invariants in 74 ms
[2021-05-18 21:47:38] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 26235 Parikh solutions to 1 different solutions.
Support contains 961 out of 961 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 961/961 places, 27931/27931 transitions.
Applied a total of 0 rules in 177 ms. Remains 961 /961 variables (removed 0) and now considering 27931/27931 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 961/961 places, 27931/27931 transitions.
[2021-05-18 21:47:40] [INFO ] Flatten gal took : 944 ms
[2021-05-18 21:47:41] [INFO ] Flatten gal took : 884 ms
[2021-05-18 21:47:41] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality10771658831437099814.gal : 102 ms
[2021-05-18 21:47:41] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality7335721662229954479.prop : 65 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality10771658831437099814.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality7335721662229954479.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality10771658831437099814.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality7335721662229954479.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality7335721662229954479.prop.
Detected timeout of ITS tools.
[2021-05-18 21:47:58] [INFO ] Flatten gal took : 1048 ms
[2021-05-18 21:47:58] [INFO ] Applying decomposition
[2021-05-18 21:47:59] [INFO ] Flatten gal took : 996 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph4111533732434208331.txt, -o, /tmp/graph4111533732434208331.bin, -w, /tmp/graph4111533732434208331.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph4111533732434208331.bin, -l, -1, -v, -w, /tmp/graph4111533732434208331.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 21:48:01] [INFO ] Decomposing Gal with order
[2021-05-18 21:48:01] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 21:48:04] [INFO ] Removed a total of 65250 redundant transitions.
[2021-05-18 21:48:04] [INFO ] Flatten gal took : 1509 ms
[2021-05-18 21:48:11] [INFO ] Fuse similar labels procedure discarded/fused a total of 864 labels/synchronizations in 1286 ms.
[2021-05-18 21:48:12] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality6684897186482145023.gal : 92 ms
[2021-05-18 21:48:12] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality3955194508564527722.prop : 80 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality6684897186482145023.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality3955194508564527722.prop, --nowitness], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality6684897186482145023.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality3955194508564527722.prop --nowitness
Loading property file /tmp/ReachabilityCardinality3955194508564527722.prop.
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin9596855311578830225
[2021-05-18 21:48:27] [INFO ] Built C files in 421ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin9596855311578830225
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin9596855311578830225]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin9596855311578830225] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin9596855311578830225] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Interrupted random walk after 11079 steps, including 0 resets, run timeout after 30003 ms. (steps per millisecond=0 ) properties seen :{97=1, 538=1, 922=1, 1466=1, 1650=1, 1890=1, 2686=1, 2755=1, 3152=1, 3172=1, 3995=1, 4057=1, 4631=1, 5009=1, 5018=1, 5460=1, 5996=1, 6092=1, 6188=1, 6374=1, 6551=1, 6620=1, 7362=1, 8652=1, 8966=1, 9518=1, 9726=1, 9892=1, 10360=1, 10425=1, 10478=1, 10490=1, 11947=1, 12184=1, 12212=1, 12256=1, 13207=1, 13622=1, 14056=1, 14284=1, 14999=1, 15343=1, 15504=1, 15544=1, 16171=1, 16175=1, 17026=1, 17346=1, 17569=1, 17727=1, 18260=1, 18546=1, 18658=1, 18997=1, 19164=1, 19420=1, 19460=1, 19653=1, 20188=1, 20320=1, 20440=1, 20976=1, 21606=1, 21697=1, 22130=1, 22270=1, 23450=1, 24324=1, 24462=1, 24554=1, 24582=1, 25194=1, 25690=1, 26215=1}
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 26161) 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 26161) 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 26161) 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 26161) 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 26161) 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 26161) 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 26161) 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 26161) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 26159) 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 26159) 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 26159) 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 26159) 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 26159) 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 26159) 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 26159) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 26158) 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 26158) 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 26158) 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 26158) 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 26158) 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 26158) 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 26158) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26157) 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 26156) 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 26156) 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 26156) 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 26156) 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 26156) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 26156) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 26156) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 26156) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26156) 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 26156) 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 26156) 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 26155) 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 26155) 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 26155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26155) 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 26155) 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 26155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26155) 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 26155) 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 26155) 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 26155) 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 26155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 26155) 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 26155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 26155) 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 26155) 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 26155) 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 26155) 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 26155) 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 26155) 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 26155) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 26154) 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 26154) 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 26154) 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 26154) 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 26154) 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 26154) 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 26154) 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 26154) 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 26154) 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 26154) 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 26154) 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 26154) 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 26154) 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 26154) 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 26154) 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 26154) 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 26154) 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 26154) 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 26154) 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 26154) 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 26154) 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 26154) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 26154) 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 26154) 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 26154) 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 26154) 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 26154) 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 26154) 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 26154) 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 26154) 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 26154) 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 26154) 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 26154) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26154) 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 26154) 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 26154) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26154) 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 26154) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26154) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26154) 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 26154) 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 26154) 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 26154) 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 26154) 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 26154) 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 26154) 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 26154) 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 26154) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26154) seen :0
Interrupted probabilistic random walk after 22488 steps, run timeout after 30006 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 22488 steps, saw 7103 distinct states, run finished after 30007 ms. (steps per millisecond=0 ) properties seen :{}
Running SMT prover for 26154 properties.
// Phase 1: matrix 27931 rows 961 cols
[2021-05-18 21:49:41] [INFO ] Computed 31 place invariants in 83 ms
[2021-05-18 21:53:26] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 26154 Parikh solutions to 1 different solutions.
Support contains 961 out of 961 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 961/961 places, 27931/27931 transitions.
Applied a total of 0 rules in 180 ms. Remains 961 /961 variables (removed 0) and now considering 27931/27931 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 961/961 places, 27931/27931 transitions.
[2021-05-18 21:53:28] [INFO ] Flatten gal took : 931 ms
[2021-05-18 21:53:28] [INFO ] Flatten gal took : 949 ms
[2021-05-18 21:53:29] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality4536374031739513446.gal : 97 ms
[2021-05-18 21:53:29] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality11650590492693413293.prop : 49 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality4536374031739513446.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality11650590492693413293.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality4536374031739513446.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality11650590492693413293.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality11650590492693413293.prop.
Detected timeout of ITS tools.
[2021-05-18 21:53:45] [INFO ] Flatten gal took : 913 ms
[2021-05-18 21:53:45] [INFO ] Applying decomposition
[2021-05-18 21:53:46] [INFO ] Flatten gal took : 922 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph9716121117341922972.txt, -o, /tmp/graph9716121117341922972.bin, -w, /tmp/graph9716121117341922972.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph9716121117341922972.bin, -l, -1, -v, -w, /tmp/graph9716121117341922972.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 21:53:48] [INFO ] Decomposing Gal with order
[2021-05-18 21:53:48] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 21:53:50] [INFO ] Removed a total of 65337 redundant transitions.
[2021-05-18 21:53:51] [INFO ] Flatten gal took : 1543 ms
[2021-05-18 21:53:58] [INFO ] Fuse similar labels procedure discarded/fused a total of 1003 labels/synchronizations in 781 ms.
[2021-05-18 21:53:58] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality7325716509612344116.gal : 86 ms
[2021-05-18 21:53:58] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality4170581170857287333.prop : 65 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality7325716509612344116.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality4170581170857287333.prop, --nowitness], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality7325716509612344116.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality4170581170857287333.prop --nowitness
Loading property file /tmp/ReachabilityCardinality4170581170857287333.prop.
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin5777086972785749650
[2021-05-18 21:54:13] [INFO ] Built C files in 363ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin5777086972785749650
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin5777086972785749650]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin5777086972785749650] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin5777086972785749650] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Interrupted random walk after 9749 steps, including 0 resets, run timeout after 30002 ms. (steps per millisecond=0 ) properties seen :{161=1, 271=1, 797=1, 1659=1, 1712=1, 1803=1, 2057=1, 2125=1, 2413=1, 2695=1, 2966=1, 3545=1, 4427=1, 5101=1, 5379=1, 5476=1, 5552=1, 5775=1, 5934=1, 5955=1, 7373=1, 8626=1, 8771=1, 10323=1, 10858=1, 11017=1, 13184=1, 13329=1, 16378=1, 16470=1, 18476=1, 19098=1, 19158=1, 19336=1, 19807=1, 20341=1, 20368=1, 20777=1, 21345=1, 22391=1, 23186=1, 23824=1, 24011=1, 24487=1, 25457=1, 25510=1, 25717=1, 25909=1, 25994=1, 26059=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26104) 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 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 26104) 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 26104) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 26104) 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 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 26104) 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 26104) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 26104) 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 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 26104) 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 26104) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 26104) 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 26104) 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 26104) 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 26104) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 26104) 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 26104) 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 26104) 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 26104) 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 26104) 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 26104) 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 26104) 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 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26104) 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 26104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 26104) 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 26104) 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 26104) 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 26104) seen :0
Interrupted probabilistic random walk after 16412 steps, run timeout after 30010 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 16412 steps, saw 5842 distinct states, run finished after 30011 ms. (steps per millisecond=0 ) properties seen :{}
Running SMT prover for 26104 properties.
// Phase 1: matrix 27931 rows 961 cols
[2021-05-18 21:55:21] [INFO ] Computed 31 place invariants in 100 ms
[2021-05-18 21:59:06] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 26104 Parikh solutions to 1 different solutions.
Support contains 961 out of 961 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 961/961 places, 27931/27931 transitions.
Applied a total of 0 rules in 281 ms. Remains 961 /961 variables (removed 0) and now considering 27931/27931 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 961/961 places, 27931/27931 transitions.
[2021-05-18 21:59:08] [INFO ] Flatten gal took : 931 ms
[2021-05-18 21:59:09] [INFO ] Flatten gal took : 943 ms
[2021-05-18 21:59:09] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality2284727442041991459.gal : 95 ms
[2021-05-18 21:59:09] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality1479305896981842945.prop : 44 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality2284727442041991459.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality1479305896981842945.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality2284727442041991459.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality1479305896981842945.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality1479305896981842945.prop.
Detected timeout of ITS tools.
[2021-05-18 21:59:30] [INFO ] Flatten gal took : 1030 ms
[2021-05-18 21:59:30] [INFO ] Applying decomposition
[2021-05-18 21:59:31] [INFO ] Flatten gal took : 898 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph731527565092200079.txt, -o, /tmp/graph731527565092200079.bin, -w, /tmp/graph731527565092200079.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph731527565092200079.bin, -l, -1, -v, -w, /tmp/graph731527565092200079.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 21:59:33] [INFO ] Decomposing Gal with order
[2021-05-18 21:59:33] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 21:59:36] [INFO ] Removed a total of 65308 redundant transitions.
[2021-05-18 21:59:36] [INFO ] Flatten gal took : 1805 ms
[2021-05-18 22:00:03] [INFO ] Fuse similar labels procedure discarded/fused a total of 830 labels/synchronizations in 906 ms.
[2021-05-18 22:00:03] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality3428140571827905393.gal : 94 ms
[2021-05-18 22:00:03] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality6880375670809122589.prop : 93 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality3428140571827905393.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality6880375670809122589.prop, --nowitness], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality3428140571827905393.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality6880375670809122589.prop --nowitness
Loading property file /tmp/ReachabilityCardinality6880375670809122589.prop.
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin3841386153327359598
[2021-05-18 22:00:24] [INFO ] Built C files in 522ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin3841386153327359598
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin3841386153327359598]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin3841386153327359598] killed by timeout after 2 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin3841386153327359598] killed by timeout after 2 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Interrupted random walk after 7115 steps, including 0 resets, run timeout after 30003 ms. (steps per millisecond=0 ) properties seen :{825=1, 1053=1, 1713=1, 3428=1, 7459=1, 7554=1, 8138=1, 9205=1, 9539=1, 9958=1, 10226=1, 10370=1, 10730=1, 12138=1, 12282=1, 13761=1, 14758=1, 15564=1, 15800=1, 16096=1, 16802=1, 18913=1, 19010=1, 20178=1, 20419=1, 22539=1, 23399=1, 23808=1, 23874=1, 23896=1, 25860=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26073) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26073) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 26073) 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 26073) 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 26073) 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 26073) 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 26073) 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 26073) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 26072) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26072) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26072) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26072) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26072) 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 26072) 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 26072) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 26072) 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 26072) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 215 ms. (steps per millisecond=4 ) properties (out of 26072) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 215 ms. (steps per millisecond=4 ) properties (out of 26072) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 219 ms. (steps per millisecond=4 ) properties (out of 26072) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 26072) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 26072) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 26072) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 26072) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 26072) 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 26072) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 26072) 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 26072) 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 26072) 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 26072) 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 26072) 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 26072) 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 26072) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26072) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 26072) 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 26072) 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 26072) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 26072) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 26072) 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 26072) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 26072) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 26072) 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 26072) 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 26072) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 26072) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 26071) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 26071) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 26071) 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 26071) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 26071) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 26071) 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 26071) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 26071) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 245 ms. (steps per millisecond=4 ) properties (out of 26071) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 229 ms. (steps per millisecond=4 ) properties (out of 26071) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 235 ms. (steps per millisecond=4 ) properties (out of 26071) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 26071) 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 26071) 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 26071) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 205 ms. (steps per millisecond=4 ) properties (out of 26071) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 26071) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 26071) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 26071) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 26071) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 26071) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 26071) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 26071) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 26071) 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 26071) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 231 ms. (steps per millisecond=4 ) properties (out of 26071) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 241 ms. (steps per millisecond=4 ) properties (out of 26071) 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 26071) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 218 ms. (steps per millisecond=4 ) properties (out of 26071) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 26071) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 206 ms. (steps per millisecond=4 ) properties (out of 26071) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 26071) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 231 ms. (steps per millisecond=4 ) properties (out of 26071) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 26071) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 26071) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 26071) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 26071) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 248 ms. (steps per millisecond=4 ) properties (out of 26071) 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 26071) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 26071) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 253 ms. (steps per millisecond=3 ) properties (out of 26071) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 249 ms. (steps per millisecond=4 ) properties (out of 26070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 234 ms. (steps per millisecond=4 ) properties (out of 26070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 213 ms. (steps per millisecond=4 ) properties (out of 26070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 26070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 26070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 26070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 209 ms. (steps per millisecond=4 ) properties (out of 26070) 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 26070) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 26069) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 231 ms. (steps per millisecond=4 ) properties (out of 26069) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 26069) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 26069) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 236 ms. (steps per millisecond=4 ) properties (out of 26069) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 26069) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 26069) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 26069) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 26069) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 26069) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 215 ms. (steps per millisecond=4 ) properties (out of 26069) 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 26069) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 26069) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 192 ms. (steps per millisecond=5 ) properties (out of 26069) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 26069) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 225 ms. (steps per millisecond=4 ) properties (out of 26069) 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 26069) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 26069) 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 26069) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 243 ms. (steps per millisecond=4 ) properties (out of 26069) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 253 ms. (steps per millisecond=3 ) properties (out of 26069) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 26069) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 26069) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 230 ms. (steps per millisecond=4 ) properties (out of 26069) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 26069) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 26069) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 26069) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 242 ms. (steps per millisecond=4 ) properties (out of 26069) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 217 ms. (steps per millisecond=4 ) properties (out of 26069) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 195 ms. (steps per millisecond=5 ) properties (out of 26069) 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 26069) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 26069) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 218 ms. (steps per millisecond=4 ) properties (out of 26069) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 194 ms. (steps per millisecond=5 ) properties (out of 26069) 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 26069) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 26069) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 26069) 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 26069) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 236 ms. (steps per millisecond=4 ) properties (out of 26069) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 26069) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 26069) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 227 ms. (steps per millisecond=4 ) properties (out of 26069) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 26068) 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 26068) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 26068) 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 26068) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 190 ms. (steps per millisecond=5 ) properties (out of 26068) 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 26068) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 241 ms. (steps per millisecond=4 ) properties (out of 26068) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 26068) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 26068) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 216 ms. (steps per millisecond=4 ) properties (out of 26068) 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 26068) 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 26068) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 230 ms. (steps per millisecond=4 ) properties (out of 26068) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 190 ms. (steps per millisecond=5 ) properties (out of 26068) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 26068) 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 26068) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 26068) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 237 ms. (steps per millisecond=4 ) properties (out of 26068) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 26068) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 26068) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 26068) 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 26068) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 26068) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 285 ms. (steps per millisecond=3 ) properties (out of 26068) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 270 ms. (steps per millisecond=3 ) properties (out of 26068) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 26068) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 26068) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 26068) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 26068) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 272 ms. (steps per millisecond=3 ) properties (out of 26068) 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 26068) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 26068) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 206 ms. (steps per millisecond=4 ) properties (out of 26068) 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 26068) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 26068) 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 26068) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 192 ms. (steps per millisecond=5 ) properties (out of 26068) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 26068) 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 26068) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 26068) 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 26068) 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 26068) 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 26068) 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 26068) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 230 ms. (steps per millisecond=4 ) properties (out of 26068) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 26068) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 216 ms. (steps per millisecond=4 ) properties (out of 26068) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 26068) 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 26068) seen :0
Interrupted probabilistic random walk after 14090 steps, run timeout after 30002 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 14090 steps, saw 5218 distinct states, run finished after 30004 ms. (steps per millisecond=0 ) properties seen :{}
Running SMT prover for 26068 properties.
// Phase 1: matrix 27931 rows 961 cols
[2021-05-18 22:01:56] [INFO ] Computed 31 place invariants in 90 ms
[2021-05-18 22:05:42] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 26068 Parikh solutions to 1 different solutions.
Support contains 961 out of 961 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 961/961 places, 27931/27931 transitions.
Applied a total of 0 rules in 349 ms. Remains 961 /961 variables (removed 0) and now considering 27931/27931 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 961/961 places, 27931/27931 transitions.
[2021-05-18 22:05:44] [INFO ] Flatten gal took : 1369 ms
[2021-05-18 22:05:45] [INFO ] Flatten gal took : 1362 ms
[2021-05-18 22:05:45] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality7919174340232615148.gal : 148 ms
[2021-05-18 22:05:46] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality7427082281350052734.prop : 104 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality7919174340232615148.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality7427082281350052734.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality7919174340232615148.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality7427082281350052734.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality7427082281350052734.prop.
Detected timeout of ITS tools.
[2021-05-18 22:06:12] [INFO ] Flatten gal took : 1256 ms
[2021-05-18 22:06:12] [INFO ] Applying decomposition
[2021-05-18 22:06:13] [INFO ] Flatten gal took : 1183 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph9848319960876653472.txt, -o, /tmp/graph9848319960876653472.bin, -w, /tmp/graph9848319960876653472.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph9848319960876653472.bin, -l, -1, -v, -w, /tmp/graph9848319960876653472.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 22:06:17] [INFO ] Decomposing Gal with order
[2021-05-18 22:06:17] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 22:06:20] [INFO ] Removed a total of 65453 redundant transitions.
[2021-05-18 22:06:21] [INFO ] Flatten gal took : 2434 ms
[2021-05-18 22:06:58] [INFO ] Fuse similar labels procedure discarded/fused a total of 852 labels/synchronizations in 944 ms.
[2021-05-18 22:06:58] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality794692689683669454.gal : 84 ms
[2021-05-18 22:06:58] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality10867068356673993457.prop : 87 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality794692689683669454.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality10867068356673993457.prop, --nowitness], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality794692689683669454.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality10867068356673993457.prop --nowitness
Loading property file /tmp/ReachabilityCardinality10867068356673993457.prop.
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin7048310479283223762
[2021-05-18 22:07:24] [INFO ] Built C files in 644ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin7048310479283223762
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin7048310479283223762]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin7048310479283223762] killed by timeout after 2 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin7048310479283223762] killed by timeout after 2 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Interrupted random walk after 5879 steps, including 0 resets, run timeout after 30011 ms. (steps per millisecond=0 ) properties seen :{478=1, 505=1, 550=1, 561=1, 1019=1, 1160=1, 1259=1, 1448=1, 1605=1, 1765=1, 1784=1, 2012=1, 2015=1, 2299=1, 2555=1, 3800=1, 3813=1, 3874=1, 3926=1, 3989=1, 5612=1, 5671=1, 5781=1, 5790=1, 5966=1, 6217=1, 6235=1, 6252=1, 6487=1, 6586=1, 6726=1, 6750=1, 7059=1, 7457=1, 7527=1, 8569=1, 9095=1, 10182=1, 10515=1, 10742=1, 10981=1, 11387=1, 11422=1, 11807=1, 13083=1, 13765=1, 14696=1, 15609=1, 15654=1, 15735=1, 15770=1, 16235=1, 16245=1, 16257=1, 16285=1, 16671=1, 16787=1, 16899=1, 17041=1, 17649=1, 17677=1, 17882=1, 18460=1, 18963=1, 18990=1, 20320=1, 20919=1, 21143=1, 21166=1, 21340=1, 21850=1, 22021=1, 22380=1, 22505=1, 22984=1, 23198=1, 24666=1, 24782=1, 24870=1, 24871=1, 25015=1, 25059=1, 25686=1, 25844=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 238 ms. (steps per millisecond=4 ) properties (out of 25984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 25984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 216 ms. (steps per millisecond=4 ) properties (out of 25984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 25984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 288 ms. (steps per millisecond=3 ) properties (out of 25984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 265 ms. (steps per millisecond=3 ) properties (out of 25984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 25984) 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 25984) 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 25984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 25984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 217 ms. (steps per millisecond=4 ) properties (out of 25984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 25984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 25984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 25984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 251 ms. (steps per millisecond=3 ) properties (out of 25984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 247 ms. (steps per millisecond=4 ) properties (out of 25984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 237 ms. (steps per millisecond=4 ) properties (out of 25984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 25984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 291 ms. (steps per millisecond=3 ) properties (out of 25984) 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 25984) 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 25984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 258 ms. (steps per millisecond=3 ) properties (out of 25984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 25984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 25984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 193 ms. (steps per millisecond=5 ) properties (out of 25984) 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 25984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 242 ms. (steps per millisecond=4 ) properties (out of 25984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 25984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 25984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 205 ms. (steps per millisecond=4 ) properties (out of 25984) 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 25984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 25984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 298 ms. (steps per millisecond=3 ) properties (out of 25984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 236 ms. (steps per millisecond=4 ) properties (out of 25984) 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 25984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 263 ms. (steps per millisecond=3 ) properties (out of 25984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 25984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 25984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 191 ms. (steps per millisecond=5 ) properties (out of 25984) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 25983) 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 25983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 233 ms. (steps per millisecond=4 ) properties (out of 25983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 25983) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 25983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 234 ms. (steps per millisecond=4 ) properties (out of 25983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 293 ms. (steps per millisecond=3 ) properties (out of 25983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 262 ms. (steps per millisecond=3 ) properties (out of 25983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 263 ms. (steps per millisecond=3 ) properties (out of 25983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 261 ms. (steps per millisecond=3 ) properties (out of 25983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 257 ms. (steps per millisecond=3 ) properties (out of 25983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 258 ms. (steps per millisecond=3 ) properties (out of 25983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 254 ms. (steps per millisecond=3 ) properties (out of 25983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 251 ms. (steps per millisecond=3 ) properties (out of 25983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 250 ms. (steps per millisecond=4 ) properties (out of 25983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 257 ms. (steps per millisecond=3 ) properties (out of 25983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 25983) 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 25983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 208 ms. (steps per millisecond=4 ) properties (out of 25983) 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 25983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 204 ms. (steps per millisecond=4 ) properties (out of 25983) 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 25983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 25983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 239 ms. (steps per millisecond=4 ) properties (out of 25983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 261 ms. (steps per millisecond=3 ) properties (out of 25983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 25983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 290 ms. (steps per millisecond=3 ) properties (out of 25983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 25983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 25983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 192 ms. (steps per millisecond=5 ) properties (out of 25983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 25983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 264 ms. (steps per millisecond=3 ) properties (out of 25983) 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 25983) 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 25983) 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 25983) 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 25983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 25983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 294 ms. (steps per millisecond=3 ) properties (out of 25983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 258 ms. (steps per millisecond=3 ) properties (out of 25983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 266 ms. (steps per millisecond=3 ) properties (out of 25983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 251 ms. (steps per millisecond=3 ) properties (out of 25983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 320 ms. (steps per millisecond=3 ) properties (out of 25983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 269 ms. (steps per millisecond=3 ) properties (out of 25983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 25983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 25983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 279 ms. (steps per millisecond=3 ) properties (out of 25983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 227 ms. (steps per millisecond=4 ) properties (out of 25983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 256 ms. (steps per millisecond=3 ) properties (out of 25983) 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 25983) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 240 ms. (steps per millisecond=4 ) properties (out of 25982) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 284 ms. (steps per millisecond=3 ) properties (out of 25982) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 267 ms. (steps per millisecond=3 ) properties (out of 25981) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 209 ms. (steps per millisecond=4 ) properties (out of 25981) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 193 ms. (steps per millisecond=5 ) properties (out of 25981) 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 25981) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 25981) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 25981) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 25981) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 25981) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 25981) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 25981) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 238 ms. (steps per millisecond=4 ) properties (out of 25981) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 271 ms. (steps per millisecond=3 ) properties (out of 25981) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 257 ms. (steps per millisecond=3 ) properties (out of 25981) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 256 ms. (steps per millisecond=3 ) properties (out of 25981) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 223 ms. (steps per millisecond=4 ) properties (out of 25981) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 25981) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 220 ms. (steps per millisecond=4 ) properties (out of 25981) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 257 ms. (steps per millisecond=3 ) properties (out of 25981) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 236 ms. (steps per millisecond=4 ) properties (out of 25981) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 25981) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 25981) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 25981) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 25981) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 251 ms. (steps per millisecond=3 ) properties (out of 25981) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 25981) 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 25981) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 25981) 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 25981) 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 25981) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 25981) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 25981) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 25981) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 244 ms. (steps per millisecond=4 ) properties (out of 25981) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 25981) 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 25981) 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 25981) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 25981) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 25981) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 262 ms. (steps per millisecond=3 ) properties (out of 25981) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 297 ms. (steps per millisecond=3 ) properties (out of 25981) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 268 ms. (steps per millisecond=3 ) properties (out of 25981) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=3 ) properties (out of 25981) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 221 ms. (steps per millisecond=4 ) properties (out of 25981) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 222 ms. (steps per millisecond=4 ) properties (out of 25981) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 272 ms. (steps per millisecond=3 ) properties (out of 25981) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 211 ms. (steps per millisecond=4 ) properties (out of 25981) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 25981) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 265 ms. (steps per millisecond=3 ) properties (out of 25981) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 265 ms. (steps per millisecond=3 ) properties (out of 25981) seen :0
Interrupted probabilistic random walk after 11740 steps, run timeout after 30002 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 11740 steps, saw 4561 distinct states, run finished after 30003 ms. (steps per millisecond=0 ) properties seen :{}
Running SMT prover for 25981 properties.
// Phase 1: matrix 27931 rows 961 cols
[2021-05-18 22:08:55] [INFO ] Computed 31 place invariants in 194 ms

BK_TIME_CONFINEMENT_REACHED

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

+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ QuasiLiveness = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution QuasiLiveness -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ cut -d . -f 9
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination QuasiLiveness -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m

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-4028"
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 r280-smll-162123888000072"
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 ;