Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2022-input.r270-tall-165303554100392.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2022-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 gold2021
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 r270-tall-165303554100392
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 169M
-rw-r--r-- 1 mcc users 1.4M Apr 29 17:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 6.9M Apr 29 17:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 29M Apr 29 16:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 104M Apr 29 16:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 10 09:34 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 489K May 9 09:15 LTLCardinality.txt
-rw-r--r-- 1 mcc users 1.7M May 9 09:15 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3M May 9 09:15 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.1M May 9 09:15 LTLFireability.xml
-rw-r--r-- 1 mcc users 102K May 9 09:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 262K May 9 09:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 10 09:34 equiv_col
-rw-r--r-- 1 mcc users 4 May 10 09:34 instance
-rw-r--r-- 1 mcc users 6 May 10 09:34 iscolored
-rw-r--r-- 1 mcc users 14M May 10 09:34 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 1653121407667

Running Version 0
[2022-05-21 08:23:29] [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]
[2022-05-21 08:23:29] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-05-21 08:23:30] [INFO ] Load time of PNML (sax parser for PT used): 684 ms
[2022-05-21 08:23:30] [INFO ] Transformed 961 places.
[2022-05-21 08:23:30] [INFO ] Transformed 27931 transitions.
[2022-05-21 08:23:30] [INFO ] Parsed PT model containing 961 places and 27931 transitions in 845 ms.
Starting structural reductions, iteration 0 : 961/961 places, 27931/27931 transitions.
Applied a total of 0 rules in 1103 ms. Remains 961 /961 variables (removed 0) and now considering 27931/27931 (removed 0) transitions.
// Phase 1: matrix 27931 rows 961 cols
[2022-05-21 08:23:31] [INFO ] Computed 31 place invariants in 126 ms
[2022-05-21 08:23:33] [INFO ] Implicit Places using invariants in 2164 ms returned []
Implicit Place search using SMT only with invariants took 2192 ms to find 0 implicit places.
// Phase 1: matrix 27931 rows 961 cols
[2022-05-21 08:23:33] [INFO ] Computed 31 place invariants in 100 ms
[2022-05-21 08:23:41] [INFO ] Dead Transitions using invariants and state equation in 8261 ms returned []
Finished structural reductions, in 1 iterations. Remains : 961/961 places, 27931/27931 transitions.
[2022-05-21 08:23:42] [INFO ] Initial state test concluded for 30 properties.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 18433 ms. (steps per millisecond=0 ) properties (out of 27901) seen :1242
Probabilistic random walk after 30001 steps, saw 8709 distinct states, run finished after 24364 ms. (steps per millisecond=1 ) properties seen :{8=1, 133=1, 226=1, 266=1, 300=1, 376=1, 753=1, 900=1, 1023=1, 1068=1, 1150=1, 1336=1, 2172=1, 2226=1, 2240=1, 2363=1, 2558=1, 2609=1, 2631=1, 2666=1, 3117=1, 3119=1, 3150=1, 3220=1, 3426=1, 3693=1, 4131=1, 4169=1, 4187=1, 4396=1, 4545=1, 4570=1, 4635=1, 4835=1, 4998=1, 5021=1, 5067=1, 5466=1, 5626=1, 5658=1, 5758=1, 5837=1, 5932=1, 5949=1, 6039=1, 6144=1, 6781=1, 6931=1, 6952=1, 7074=1, 7331=1, 7601=1, 7613=1, 7815=1, 7861=1, 8015=1, 8035=1, 8187=1, 8190=1, 8603=1, 8959=1, 9077=1, 9211=1, 9620=1, 9758=1, 9940=1, 10031=1, 10157=1, 10172=1, 10236=1, 10287=1, 10323=1, 10334=1, 10918=1, 11389=1, 11703=1, 11976=1, 11984=1, 12185=1, 12270=1, 12453=1, 12461=1, 12594=1, 12691=1, 12783=1, 12937=1, 13116=1, 13190=1, 13334=1, 14135=1, 14231=1, 14276=1, 14445=1, 14992=1, 15226=1, 15260=1, 15325=1, 15371=1, 15499=1, 15500=1, 15545=1, 15860=1, 15894=1, 16174=1, 16221=1, 16262=1, 16490=1, 16491=1, 16746=1, 16823=1, 16987=1, 17457=1, 17468=1, 17812=1, 18071=1, 18419=1, 18427=1, 18643=1, 18906=1, 18936=1, 18949=1, 19078=1, 19099=1, 19139=1, 19321=1, 19344=1, 19383=1, 19791=1, 19814=1, 19903=1, 19920=1, 20010=1, 20077=1, 20366=1, 20778=1, 20884=1, 21032=1, 21169=1, 21209=1, 21215=1, 21251=1, 21253=1, 21494=1, 21495=1, 21573=1, 21742=1, 21756=1, 21836=1, 21861=1, 22023=1, 22133=1, 22285=1, 22318=1, 22346=1, 22391=1, 22577=1, 22769=1, 23049=1, 23142=1, 23156=1, 23372=1, 23611=1, 23658=1, 23781=1, 23832=1, 23835=1, 24161=1, 24203=1, 24228=1, 24535=1, 24537=1, 24726=1, 24835=1, 24870=1, 24899=1, 24910=1, 25097=1, 25222=1, 25304=1, 25606=1, 25689=1, 25723=1, 26093=1, 26295=1, 26376=1}
Running SMT prover for 26474 properties.
// Phase 1: matrix 27931 rows 961 cols
[2022-05-21 08:24:28] [INFO ] Computed 31 place invariants in 52 ms
[2022-05-21 08:24:53] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 26474 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 160 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.
[2022-05-21 08:24:55] [INFO ] Flatten gal took : 1113 ms
[2022-05-21 08:24:55] [INFO ] Flatten gal took : 781 ms
[2022-05-21 08:24:56] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality15058889116420005164.gal : 142 ms
[2022-05-21 08:24:56] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality12282162623620918565.prop : 78 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/ReachabilityCardinality15058889116420005164.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality12282162623620918565.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/ReachabilityCardinality15058889116420005164.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality12282162623620918565.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality12282162623620918565.prop.
Detected timeout of ITS tools.
[2022-05-21 08:25:12] [INFO ] Flatten gal took : 722 ms
[2022-05-21 08:25:12] [INFO ] Applying decomposition
[2022-05-21 08:25:12] [INFO ] Flatten gal took : 666 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/graph13382626309032609951.txt, -o, /tmp/graph13382626309032609951.bin, -w, /tmp/graph13382626309032609951.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/graph13382626309032609951.bin, -l, -1, -v, -w, /tmp/graph13382626309032609951.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-21 08:25:14] [INFO ] Decomposing Gal with order
[2022-05-21 08:25:14] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-21 08:25:17] [INFO ] Removed a total of 65221 redundant transitions.
[2022-05-21 08:25:17] [INFO ] Flatten gal took : 1527 ms
[2022-05-21 08:25:36] [INFO ] Fuse similar labels procedure discarded/fused a total of 766 labels/synchronizations in 810 ms.
[2022-05-21 08:25:36] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality10217457953501467572.gal : 98 ms
[2022-05-21 08:25:36] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality10285205992371552474.prop : 132 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/ReachabilityCardinality10217457953501467572.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality10285205992371552474.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/ReachabilityCardinality10217457953501467572.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality10285205992371552474.prop --nowitness
Loading property file /tmp/ReachabilityCardinality10285205992371552474.prop.
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin3718573171422257302
[2022-05-21 08:25:52] [INFO ] Built C files in 458ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin3718573171422257302
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/ltsmin3718573171422257302]
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/ltsmin3718573171422257302] 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/ltsmin3718573171422257302] 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 18829 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=0 ) properties seen :{29=1, 243=1, 276=1, 1204=1, 2125=1, 2156=1, 2298=1, 2596=1, 2698=1, 2932=1, 4968=1, 5127=1, 5350=1, 5743=1, 6151=1, 6384=1, 7610=1, 7790=1, 8030=1, 8678=1, 8712=1, 8765=1, 9428=1, 10015=1, 10956=1, 11694=1, 13064=1, 13239=1, 13571=1, 13603=1, 13742=1, 14334=1, 14384=1, 14849=1, 16433=1, 16519=1, 16601=1, 16825=1, 16857=1, 17152=1, 17243=1, 17603=1, 17851=1, 19172=1, 19379=1, 20385=1, 20455=1, 20736=1, 21508=1, 21755=1, 21843=1, 22201=1, 22781=1, 23411=1, 24034=1, 24486=1, 24555=1, 24992=1, 25147=1, 25803=1, 25819=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 26413) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 26409) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 26406) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 26405) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 26401) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 26397) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 26395) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 26393) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 26393) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 26393) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 26392) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 26391) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 26390) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 26387) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 26384) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 26382) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 26382) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 26382) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 26379) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 26379) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 26378) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 26377) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 26375) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 26373) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 26372) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 26372) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 77 ms. (steps per millisecond=12 ) properties (out of 26371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 26371) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 26370) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 26367) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 26365) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 26363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 26363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 26363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 26363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 26363) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 26360) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 26359) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26358) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 26358) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26357) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26356) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26354) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 26354) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26353) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26353) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26352) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26352) seen :4
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26348) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26348) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26348) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26348) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26346) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26344) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26344) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26343) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26343) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26342) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26340) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26340) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26339) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26339) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26339) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26339) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26338) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26338) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26338) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26338) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26337) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26337) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26336) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26336) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26336) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26335) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26335) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26335) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26335) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26335) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26335) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26335) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26334) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26334) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 26334) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26334) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26334) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26334) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26334) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26334) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26334) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26334) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26331) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26331) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26331) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26331) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26330) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26330) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26330) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26330) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26328) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26328) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26328) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26328) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26328) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26328) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26328) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26328) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26328) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26328) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26328) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26328) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26328) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26327) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26326) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26325) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 26323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26323) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26323) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26322) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26322) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26322) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26322) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26322) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26322) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26322) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26322) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26322) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26322) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26322) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26322) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26322) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26322) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26322) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26321) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26321) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26320) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26320) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26320) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26320) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26320) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26320) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26319) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26319) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26319) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26319) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26319) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26319) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26319) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26319) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26319) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26319) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26319) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26319) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26319) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26319) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26318) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26317) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26317) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26317) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26317) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26317) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26317) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26317) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26317) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26317) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26317) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26317) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26316) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26316) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26316) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26316) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26316) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26316) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26316) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26316) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26316) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26316) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26315) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26314) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26314) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26314) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26314) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26314) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26313) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26313) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26313) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26313) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26313) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26313) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26313) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26313) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26313) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26313) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26313) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26313) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26313) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26313) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26313) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26312) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26312) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26312) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26311) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26310) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26310) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26310) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26310) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26310) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26310) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26310) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26310) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26310) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26310) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26308) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 26308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26308) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 26308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26308) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26307) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26307) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26307) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26306) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26305) 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 26305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 26305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 26305) 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 26305) 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 26305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 26305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 26305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 26305) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 26305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 26305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 26305) 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 26305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 26305) 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 26305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 26305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 26305) 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 26305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 26305) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 26304) 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 26304) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 26304) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 96 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 88 ms. (steps per millisecond=11 ) properties (out of 26304) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26304) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26304) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 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 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 83 ms. (steps per millisecond=12 ) properties (out of 26304) 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 26304) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 26304) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26304) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 26304) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26304) 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 26304) 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 26304) 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 26304) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 26304) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 26304) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 26304) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 26304) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 26304) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 26304) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26304) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26304) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 26303) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26303) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 26303) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 26303) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 26303) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26303) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26303) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 26303) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26303) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26303) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26303) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 26302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 26302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26302) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26302) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26301) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26300) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26299) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26299) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26299) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26298) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26298) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26297) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26297) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26297) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26296) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26296) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26296) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26296) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26296) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26296) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26295) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 26294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 26294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26294) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26293) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26293) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26293) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26293) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26293) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26293) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26293) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26293) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26293) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26293) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26293) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26293) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26293) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26292) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26292) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26292) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26291) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26291) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26291) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26291) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26291) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26291) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26291) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26291) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26291) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26291) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 26291) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26291) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26291) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26291) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26291) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26291) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26291) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26290) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26289) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26289) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26289) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26289) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26289) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26289) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26289) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26289) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26289) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26289) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26289) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26289) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26289) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26289) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26289) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26289) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26289) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26289) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26289) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26289) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26289) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26288) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26288) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 26287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26287) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 26286) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26286) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26286) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26286) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26286) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 26286) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26286) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26286) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26286) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26286) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 26286) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26286) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 26286) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26286) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26286) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26286) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26284) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26284) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26284) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26284) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26284) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26284) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26284) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26284) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26284) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26284) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26284) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26284) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26284) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26284) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26284) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26284) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26284) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26284) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26284) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26284) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26284) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 26284) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26284) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26284) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 26284) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26284) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26284) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26284) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26284) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26283) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26283) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26283) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26283) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 26283) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26283) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26283) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26283) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26283) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26283) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26283) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26283) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26283) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26283) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 26283) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26283) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 26283) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26283) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 26283) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26283) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 26283) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26283) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26283) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26283) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26283) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26283) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26283) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26282) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26282) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26282) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 26282) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26282) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26282) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26282) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26282) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26282) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 26282) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26282) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26282) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26282) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26282) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26282) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26282) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26282) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 26282) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26282) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26282) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26282) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 26282) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26282) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26282) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26282) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26282) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26282) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26282) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26282) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26282) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26282) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26282) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26282) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26282) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26282) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26282) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26282) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26281) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 26280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26280) seen :0
Interrupted probabilistic random walk after 39644 steps, run timeout after 30004 ms. (steps per millisecond=1 ) properties seen :{11200=1, 18074=1, 18913=1}
Probabilistic random walk after 39644 steps, saw 10798 distinct states, run finished after 30005 ms. (steps per millisecond=1 ) properties seen :{11200=1, 18074=1, 18913=1}
Running SMT prover for 26277 properties.
// Phase 1: matrix 27931 rows 961 cols
[2022-05-21 08:27:46] [INFO ] Computed 31 place invariants in 71 ms
[2022-05-21 08:31:31] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 26277 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 108 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.
[2022-05-21 08:31:32] [INFO ] Flatten gal took : 706 ms
[2022-05-21 08:31:33] [INFO ] Flatten gal took : 709 ms
[2022-05-21 08:31:33] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality6513618394183981838.gal : 119 ms
[2022-05-21 08:31:33] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality12106760758231774554.prop : 68 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/ReachabilityCardinality6513618394183981838.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality12106760758231774554.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/ReachabilityCardinality6513618394183981838.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality12106760758231774554.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality12106760758231774554.prop.
Detected timeout of ITS tools.
[2022-05-21 08:31:49] [INFO ] Flatten gal took : 684 ms
[2022-05-21 08:31:49] [INFO ] Applying decomposition
[2022-05-21 08:31:50] [INFO ] Flatten gal took : 730 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/graph1575158657936117843.txt, -o, /tmp/graph1575158657936117843.bin, -w, /tmp/graph1575158657936117843.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/graph1575158657936117843.bin, -l, -1, -v, -w, /tmp/graph1575158657936117843.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-21 08:31:51] [INFO ] Decomposing Gal with order
[2022-05-21 08:31:51] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-21 08:31:53] [INFO ] Removed a total of 65250 redundant transitions.
[2022-05-21 08:31:54] [INFO ] Flatten gal took : 1173 ms
[2022-05-21 08:32:11] [INFO ] Fuse similar labels procedure discarded/fused a total of 803 labels/synchronizations in 483 ms.
[2022-05-21 08:32:11] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality7430188375013248822.gal : 57 ms
[2022-05-21 08:32:11] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality3714619411547172053.prop : 54 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/ReachabilityCardinality7430188375013248822.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality3714619411547172053.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/ReachabilityCardinality7430188375013248822.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality3714619411547172053.prop --nowitness
Loading property file /tmp/ReachabilityCardinality3714619411547172053.prop.
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin16797520084225516252
[2022-05-21 08:32:27] [INFO ] Built C files in 285ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin16797520084225516252
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/ltsmin16797520084225516252]
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/ltsmin16797520084225516252] 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/ltsmin16797520084225516252] 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 18478 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=0 ) properties seen :{1027=1, 1486=1, 2129=1, 2517=1, 3119=1, 3280=1, 3372=1, 4343=1, 5216=1, 5906=1, 6009=1, 6176=1, 6876=1, 7879=1, 7999=1, 8217=1, 8222=1, 8625=1, 8850=1, 9625=1, 9960=1, 10463=1, 10493=1, 10712=1, 12501=1, 13258=1, 13627=1, 13865=1, 14741=1, 14937=1, 15651=1, 16780=1, 16783=1, 16860=1, 16902=1, 18727=1, 19083=1, 19108=1, 19344=1, 19378=1, 19406=1, 19584=1, 20446=1, 20976=1, 21398=1, 21748=1, 22127=1, 22321=1, 22389=1, 22620=1, 22673=1, 22812=1, 23078=1, 23282=1, 23808=1, 24121=1, 24347=1, 24861=1, 24907=1, 25269=1, 25975=1, 26048=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26215) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26215) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26215) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26215) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26215) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26215) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26215) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26215) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26215) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26215) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26214) seen :0
Interrupted probabilistic random walk after 32820 steps, run timeout after 30002 ms. (steps per millisecond=1 ) properties seen :{}
Probabilistic random walk after 32820 steps, saw 9325 distinct states, run finished after 30003 ms. (steps per millisecond=1 ) properties seen :{}
Running SMT prover for 26214 properties.
// Phase 1: matrix 27931 rows 961 cols
[2022-05-21 08:33:32] [INFO ] Computed 31 place invariants in 50 ms
[2022-05-21 08:37:17] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 26214 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 297 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.
[2022-05-21 08:37:19] [INFO ] Flatten gal took : 819 ms
[2022-05-21 08:37:19] [INFO ] Flatten gal took : 674 ms
[2022-05-21 08:37:19] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality13369285806329728480.gal : 153 ms
[2022-05-21 08:37:20] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality12220804590869357042.prop : 61 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/ReachabilityCardinality13369285806329728480.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality12220804590869357042.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/ReachabilityCardinality13369285806329728480.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality12220804590869357042.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality12220804590869357042.prop.
Detected timeout of ITS tools.
[2022-05-21 08:37:35] [INFO ] Flatten gal took : 764 ms
[2022-05-21 08:37:35] [INFO ] Applying decomposition
[2022-05-21 08:37:36] [INFO ] Flatten gal took : 821 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/graph3139300979037522.txt, -o, /tmp/graph3139300979037522.bin, -w, /tmp/graph3139300979037522.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/graph3139300979037522.bin, -l, -1, -v, -w, /tmp/graph3139300979037522.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-21 08:37:38] [INFO ] Decomposing Gal with order
[2022-05-21 08:37:38] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-21 08:37:40] [INFO ] Removed a total of 65221 redundant transitions.
[2022-05-21 08:37:40] [INFO ] Flatten gal took : 1311 ms
[2022-05-21 08:38:00] [INFO ] Fuse similar labels procedure discarded/fused a total of 893 labels/synchronizations in 541 ms.
[2022-05-21 08:38:00] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality6265561344471064241.gal : 59 ms
[2022-05-21 08:38:00] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality6390555918919176006.prop : 62 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/ReachabilityCardinality6265561344471064241.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality6390555918919176006.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/ReachabilityCardinality6265561344471064241.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality6390555918919176006.prop --nowitness
Loading property file /tmp/ReachabilityCardinality6390555918919176006.prop.
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin4432545185703919930
[2022-05-21 08:38:16] [INFO ] Built C files in 527ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin4432545185703919930
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/ltsmin4432545185703919930]
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/ltsmin4432545185703919930] 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/ltsmin4432545185703919930] 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 13236 steps, including 0 resets, run timeout after 30004 ms. (steps per millisecond=0 ) properties seen :{320=1, 530=1, 1128=1, 1426=1, 1729=1, 2053=1, 2055=1, 2434=1, 2717=1, 3007=1, 3401=1, 4114=1, 4522=1, 5201=1, 5455=1, 6653=1, 6768=1, 7560=1, 7798=1, 8686=1, 8791=1, 9151=1, 9527=1, 10046=1, 10123=1, 10195=1, 10198=1, 10231=1, 10323=1, 10564=1, 11070=1, 11543=1, 11707=1, 12168=1, 13206=1, 13593=1, 13664=1, 13742=1, 13927=1, 14848=1, 15354=1, 15546=1, 15666=1, 16675=1, 17021=1, 17397=1, 17498=1, 17611=1, 18488=1, 18599=1, 18617=1, 18642=1, 18947=1, 19210=1, 19319=1, 19801=1, 19857=1, 19934=1, 20453=1, 20750=1, 20820=1, 21706=1, 21726=1, 22441=1, 22453=1, 22524=1, 22607=1, 22694=1, 22967=1, 23577=1, 24212=1, 24485=1, 25446=1, 25452=1, 25512=1, 25726=1, 25953=1, 26130=1}
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 26136) 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 26136) 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 26136) 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 26136) 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 26136) 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 26136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 26136) 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 26136) 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 26136) 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 26136) 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 26136) 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 26136) 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 26136) 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 26136) 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 26136) 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 26136) 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 26136) 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 26136) 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 26136) 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 26136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 26136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 26136) 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 26136) 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 26136) 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 26136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 26136) 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 26136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 26136) 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 26136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 26136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 26136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 26136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 26136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 26136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 26136) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 26136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 26136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 26136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 26136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 26136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 26136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 26136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 26136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 26136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 26136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 26136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 26136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 26136) seen :0
Interrupted probabilistic random walk after 25636 steps, run timeout after 30002 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 25636 steps, saw 7775 distinct states, run finished after 30004 ms. (steps per millisecond=0 ) properties seen :{}
Running SMT prover for 26136 properties.
// Phase 1: matrix 27931 rows 961 cols
[2022-05-21 08:39:23] [INFO ] Computed 31 place invariants in 80 ms
[2022-05-21 08:43:08] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 26136 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 129 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.
[2022-05-21 08:43:09] [INFO ] Flatten gal took : 782 ms
[2022-05-21 08:43:10] [INFO ] Flatten gal took : 832 ms
[2022-05-21 08:43:10] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality7950644147999042716.gal : 73 ms
[2022-05-21 08:43:10] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality10012127670917591720.prop : 29 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/ReachabilityCardinality7950644147999042716.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality10012127670917591720.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/ReachabilityCardinality7950644147999042716.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality10012127670917591720.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality10012127670917591720.prop.
Detected timeout of ITS tools.
[2022-05-21 08:43:31] [INFO ] Flatten gal took : 784 ms
[2022-05-21 08:43:31] [INFO ] Applying decomposition
[2022-05-21 08:43:32] [INFO ] Flatten gal took : 821 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/graph44973039262646402.txt, -o, /tmp/graph44973039262646402.bin, -w, /tmp/graph44973039262646402.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/graph44973039262646402.bin, -l, -1, -v, -w, /tmp/graph44973039262646402.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-21 08:43:34] [INFO ] Decomposing Gal with order
[2022-05-21 08:43:34] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-21 08:43:35] [INFO ] Removed a total of 65395 redundant transitions.
[2022-05-21 08:43:36] [INFO ] Flatten gal took : 1176 ms
[2022-05-21 08:43:59] [INFO ] Fuse similar labels procedure discarded/fused a total of 979 labels/synchronizations in 476 ms.
[2022-05-21 08:43:59] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality8392149701004042765.gal : 53 ms
[2022-05-21 08:43:59] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality13899614369519351230.prop : 64 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/ReachabilityCardinality8392149701004042765.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality13899614369519351230.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/ReachabilityCardinality8392149701004042765.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality13899614369519351230.prop --nowitness
Loading property file /tmp/ReachabilityCardinality13899614369519351230.prop.
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin7311966017193965794
[2022-05-21 08:44:19] [INFO ] Built C files in 435ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin7311966017193965794
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/ltsmin7311966017193965794]
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/ltsmin7311966017193965794] 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/ltsmin7311966017193965794] 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 13236 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=0 ) properties seen :{96=1, 1966=1, 2453=1, 2764=1, 3135=1, 3171=1, 3492=1, 3526=1, 3938=1, 4011=1, 4061=1, 4335=1, 4831=1, 5136=1, 5653=1, 6158=1, 6348=1, 6418=1, 6525=1, 6768=1, 6842=1, 7285=1, 7364=1, 7874=1, 8245=1, 9178=1, 9756=1, 10021=1, 10374=1, 10438=1, 10615=1, 11657=1, 11732=1, 12538=1, 12669=1, 13011=1, 13141=1, 13567=1, 13831=1, 13865=1, 14223=1, 14488=1, 15575=1, 16881=1, 19025=1, 19341=1, 19999=1, 21350=1, 21519=1, 21610=1, 22041=1, 22612=1, 24538=1, 24586=1, 25095=1, 25117=1, 25415=1, 25801=1, 25904=1, 26116=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 26076) 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 26076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 26076) 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 26076) 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 26076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 26076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 26076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26076) 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 26076) 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 26076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 26076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 26076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 26076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 26076) 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 26076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 26076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 26076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 26076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 26076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 26076) 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 26076) 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 26076) 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 26076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 26076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 26076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 26076) 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 26076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 26076) 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 26076) 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 26076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 26076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26076) 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 26076) 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 26076) 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 26076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 26076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26076) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26076) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26075) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 26075) 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 26075) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 26075) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26075) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 26075) 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 26075) 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 26075) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26075) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26075) 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 26075) 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 26075) 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 26075) 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 26075) 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 26075) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 26075) 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 26075) 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 26075) 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 26075) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 26075) 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 26075) 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 26075) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26075) 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 26075) 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 26075) 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 26075) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26075) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26075) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26075) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26075) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26075) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26075) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26075) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26075) 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 26075) 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 26075) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 26075) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 26075) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 26075) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 26075) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 26075) 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 26075) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 26075) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26075) 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 26075) 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 26075) 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 26075) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26075) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 26075) seen :0
Interrupted probabilistic random walk after 18298 steps, run timeout after 30013 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 18298 steps, saw 6232 distinct states, run finished after 30014 ms. (steps per millisecond=0 ) properties seen :{}
Running SMT prover for 26075 properties.
// Phase 1: matrix 27931 rows 961 cols
[2022-05-21 08:45:32] [INFO ] Computed 31 place invariants in 295 ms
[2022-05-21 08:49:17] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 26075 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 303 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.
[2022-05-21 08:49:19] [INFO ] Flatten gal took : 991 ms
[2022-05-21 08:49:20] [INFO ] Flatten gal took : 955 ms
[2022-05-21 08:49:20] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality18259917203028193333.gal : 76 ms
[2022-05-21 08:49:20] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality3902793021209846303.prop : 77 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/ReachabilityCardinality18259917203028193333.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality3902793021209846303.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/ReachabilityCardinality18259917203028193333.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality3902793021209846303.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality3902793021209846303.prop.
Detected timeout of ITS tools.
[2022-05-21 08:49:46] [INFO ] Flatten gal took : 843 ms
[2022-05-21 08:49:46] [INFO ] Applying decomposition
[2022-05-21 08:49:47] [INFO ] Flatten gal took : 1074 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/graph12377832856772753218.txt, -o, /tmp/graph12377832856772753218.bin, -w, /tmp/graph12377832856772753218.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/graph12377832856772753218.bin, -l, -1, -v, -w, /tmp/graph12377832856772753218.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-21 08:49:50] [INFO ] Decomposing Gal with order
[2022-05-21 08:49:50] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-21 08:49:52] [INFO ] Removed a total of 65105 redundant transitions.
[2022-05-21 08:49:53] [INFO ] Flatten gal took : 1993 ms
[2022-05-21 08:49:56] [INFO ] Fuse similar labels procedure discarded/fused a total of 695 labels/synchronizations in 671 ms.
[2022-05-21 08:49:57] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality14612301425857111798.gal : 92 ms
[2022-05-21 08:49:57] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality10052873256544187193.prop : 42 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/ReachabilityCardinality14612301425857111798.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality10052873256544187193.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/ReachabilityCardinality14612301425857111798.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality10052873256544187193.prop --nowitness
Loading property file /tmp/ReachabilityCardinality10052873256544187193.prop.
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin11552035059396228533
[2022-05-21 08:50:22] [INFO ] Built C files in 300ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin11552035059396228533
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/ltsmin11552035059396228533]
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/ltsmin11552035059396228533] 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/ltsmin11552035059396228533] 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 10612 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=0 ) properties seen :{397=1, 764=1, 862=1, 1180=1, 1737=1, 1998=1, 2190=1, 2336=1, 3041=1, 3530=1, 3662=1, 5150=1, 6297=1, 7353=1, 7879=1, 8076=1, 8878=1, 8918=1, 9130=1, 9427=1, 9852=1, 9983=1, 10303=1, 10778=1, 11002=1, 11100=1, 12113=1, 12578=1, 13397=1, 13908=1, 13921=1, 14779=1, 15417=1, 15581=1, 15936=1, 16804=1, 18617=1, 18918=1, 19213=1, 19923=1, 20940=1, 21340=1, 23706=1, 23748=1, 23753=1, 24739=1, 24755=1, 24874=1, 24932=1, 25831=1}
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26025) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26025) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26025) 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 26025) 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 26025) 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 26025) 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 26024) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26024) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26024) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26024) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26024) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 210 ms. (steps per millisecond=4 ) properties (out of 26024) 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 26024) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 26024) 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 26024) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 26024) 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 26024) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 26024) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 26024) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26024) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26024) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 26024) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 26024) 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 26024) 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 26024) 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 26024) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 26024) 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 26024) 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 26024) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 26024) 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 26024) 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 26024) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26024) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26024) 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 26024) 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 26024) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 26024) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 26024) 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 26024) 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 26024) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 195 ms. (steps per millisecond=5 ) properties (out of 26024) 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 26024) 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 26024) 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 26024) 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 26024) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26024) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26024) 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 26024) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26024) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26024) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 26024) 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 26024) 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 26024) 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 26024) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 26024) seen :0
Interrupted probabilistic random walk after 20078 steps, run timeout after 30017 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 20078 steps, saw 6599 distinct states, run finished after 30018 ms. (steps per millisecond=0 ) properties seen :{}
Running SMT prover for 26024 properties.
// Phase 1: matrix 27931 rows 961 cols
[2022-05-21 08:51:32] [INFO ] Computed 31 place invariants in 89 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="gold2021"
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 gold2021"
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 r270-tall-165303554100392"
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 ;