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.r144-tall-165271831300507.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 MultiCrashLeafsetExtension-PT-S32C04, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r144-tall-165271831300507
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 20M
-rw-r--r-- 1 mcc users 13K Apr 29 16:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Apr 29 16:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K Apr 29 16:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 69K Apr 29 16:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 7.3K May 9 08:17 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K May 9 08:17 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.2K May 9 08:17 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 9 08:17 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.4K May 9 08:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K May 9 08:17 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 10 09:34 equiv_col
-rw-r--r-- 1 mcc users 7 May 10 09:34 instance
-rw-r--r-- 1 mcc users 6 May 10 09:34 iscolored
-rw-r--r-- 1 mcc users 20M 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 1652752174052

Running Version 0
[2022-05-17 01:49:35] [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-17 01:49:35] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-05-17 01:49:36] [INFO ] Load time of PNML (sax parser for PT used): 701 ms
[2022-05-17 01:49:36] [INFO ] Transformed 18180 places.
[2022-05-17 01:49:36] [INFO ] Transformed 28411 transitions.
[2022-05-17 01:49:36] [INFO ] Parsed PT model containing 18180 places and 28411 transitions in 863 ms.
Starting structural reductions, iteration 0 : 18180/18180 places, 28411/28411 transitions.
Reduce places removed 44 places and 0 transitions.
Drop transitions removed 4224 transitions
Trivial Post-agglo rules discarded 4224 transitions
Performed 4224 trivial Post agglomeration. Transition count delta: 4224
Iterating post reduction 0 with 4268 rules applied. Total rules applied 4268 place count 18136 transition count 24187
Reduce places removed 4224 places and 0 transitions.
Iterating post reduction 1 with 4224 rules applied. Total rules applied 8492 place count 13912 transition count 24187
Performed 264 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 264 Pre rules applied. Total rules applied 8492 place count 13912 transition count 23923
Deduced a syphon composed of 264 places in 88 ms
Reduce places removed 264 places and 0 transitions.
Iterating global reduction 2 with 528 rules applied. Total rules applied 9020 place count 13648 transition count 23923
Discarding 3960 places :
Symmetric choice reduction at 2 with 3960 rule applications. Total rules 12980 place count 9688 transition count 19963
Iterating global reduction 2 with 3960 rules applied. Total rules applied 16940 place count 9688 transition count 19963
Performed 8 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 8 Pre rules applied. Total rules applied 16940 place count 9688 transition count 19955
Deduced a syphon composed of 8 places in 19 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 2 with 16 rules applied. Total rules applied 16956 place count 9680 transition count 19955
Discarding 990 places :
Symmetric choice reduction at 2 with 990 rule applications. Total rules 17946 place count 8690 transition count 15995
Iterating global reduction 2 with 990 rules applied. Total rules applied 18936 place count 8690 transition count 15995
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 18 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 2 with 66 rules applied. Total rules applied 19002 place count 8657 transition count 15962
Applied a total of 19002 rules in 10612 ms. Remains 8657 /18180 variables (removed 9523) and now considering 15962/28411 (removed 12449) transitions.
[2022-05-17 01:49:47] [INFO ] Flow matrix only has 14906 transitions (discarded 1056 similar events)
// Phase 1: matrix 14906 rows 8657 cols
[2022-05-17 01:49:48] [INFO ] Computed 1429 place invariants in 1158 ms
[2022-05-17 01:49:49] [INFO ] Implicit Places using invariants in 2265 ms returned []
Implicit Place search using SMT only with invariants took 2289 ms to find 0 implicit places.
[2022-05-17 01:49:49] [INFO ] Flow matrix only has 14906 transitions (discarded 1056 similar events)
// Phase 1: matrix 14906 rows 8657 cols
[2022-05-17 01:49:50] [INFO ] Computed 1429 place invariants in 1023 ms
[2022-05-17 01:49:51] [INFO ] Dead Transitions using invariants and state equation in 1892 ms returned []
Finished structural reductions, in 1 iterations. Remains : 8657/18180 places, 15962/28411 transitions.
[2022-05-17 01:49:51] [INFO ] Initial state test concluded for 33 properties.
Incomplete random walk after 10000 steps, including 342 resets, run finished after 9419 ms. (steps per millisecond=1 ) properties (out of 15929) seen :2591
Running SMT prover for 13338 properties.
[2022-05-17 01:50:01] [INFO ] Flow matrix only has 14906 transitions (discarded 1056 similar events)
// Phase 1: matrix 14906 rows 8657 cols
[2022-05-17 01:50:02] [INFO ] Computed 1429 place invariants in 934 ms
[2022-05-17 01:50:27] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 13338 Parikh solutions to 1 different solutions.
Support contains 7155 out of 8657 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 8657/8657 places, 15962/15962 transitions.
Applied a total of 0 rules in 1363 ms. Remains 8657 /8657 variables (removed 0) and now considering 15962/15962 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 8657/8657 places, 15962/15962 transitions.
[2022-05-17 01:50:30] [INFO ] Flatten gal took : 751 ms
[2022-05-17 01:50:30] [INFO ] Flatten gal took : 512 ms
[2022-05-17 01:50:30] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality11945622650924468932.gal : 136 ms
[2022-05-17 01:50:30] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality17317644861775610219.prop : 57 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/ReachabilityCardinality11945622650924468932.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality17317644861775610219.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/ReachabilityCardinality11945622650924468932.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality17317644861775610219.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality17317644861775610219.prop.
Detected timeout of ITS tools.
[2022-05-17 01:50:46] [INFO ] Flatten gal took : 513 ms
[2022-05-17 01:50:46] [INFO ] Applying decomposition
[2022-05-17 01:50:47] [INFO ] Flatten gal took : 481 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/graph9000707138731460322.txt, -o, /tmp/graph9000707138731460322.bin, -w, /tmp/graph9000707138731460322.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/graph9000707138731460322.bin, -l, -1, -v, -w, /tmp/graph9000707138731460322.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-17 01:50:48] [INFO ] Decomposing Gal with order
[2022-05-17 01:50:49] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-17 01:50:54] [INFO ] Removed a total of 13834 redundant transitions.
[2022-05-17 01:50:54] [INFO ] Flatten gal took : 4525 ms
[2022-05-17 01:50:57] [INFO ] Fuse similar labels procedure discarded/fused a total of 9495 labels/synchronizations in 1502 ms.
[2022-05-17 01:50:58] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality6229894195168762882.gal : 195 ms
[2022-05-17 01:50:58] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality14126413244545699585.prop : 36 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/ReachabilityCardinality6229894195168762882.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality14126413244545699585.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/ReachabilityCardinality6229894195168762882.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality14126413244545699585.prop --nowitness
Loading property file /tmp/ReachabilityCardinality14126413244545699585.prop.
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin3742566222464592565
[2022-05-17 01:51:13] [INFO ] Built C files in 312ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin3742566222464592565
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/ltsmin3742566222464592565]
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/ltsmin3742566222464592565] 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/ltsmin3742566222464592565] 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 40161 steps, including 1373 resets, run timeout after 30001 ms. (steps per millisecond=1 ) properties seen :{80=1, 314=1, 390=1, 496=1, 543=1, 545=1, 549=1, 582=1, 668=1, 717=1, 799=1, 825=1, 849=1, 890=1, 908=1, 924=1, 965=1, 975=1, 991=1, 1007=1, 1008=1, 1034=1, 1110=1, 1155=1, 1181=1, 1182=1, 1233=1, 1329=1, 1363=1, 1371=1, 1377=1, 1412=1, 1413=1, 1423=1, 1451=1, 1465=1, 1538=1, 1561=1, 1607=1, 1665=1, 1726=1, 1731=1, 1762=1, 1763=1, 1789=1, 1814=1, 1887=1, 1948=1, 1981=1, 2031=1, 2032=1, 2063=1, 2065=1, 2101=1, 2166=1, 2204=1, 2205=1, 2206=1, 2239=1, 2273=1, 2281=1, 2287=1, 2291=1, 2293=1, 2294=1, 2309=1, 2310=1, 2326=1, 2327=1, 2328=1, 2329=1, 2339=1, 2347=1, 2430=1, 2431=1, 2432=1, 2448=1, 2449=1, 2450=1, 2466=1, 2515=1, 2547=1, 2548=1, 2549=1, 2554=1, 2678=1, 2710=1, 2726=1, 2727=1, 2728=1, 2729=1, 2739=1, 2767=1, 2781=1, 2782=1, 2783=1, 2829=1, 2845=1, 2847=1, 2878=1, 2879=1, 2880=1, 2881=1, 2883=1, 2892=1, 2931=1, 2943=1, 2944=1, 2945=1, 2967=1, 2972=1, 2973=1, 2974=1, 2990=1, 3006=1, 3007=1, 3008=1, 3025=1, 3035=1, 3044=1, 3054=1, 3055=1, 3071=1, 3073=1, 3089=1, 3105=1, 3106=1, 3145=1, 3162=1, 3178=1, 3179=1, 3180=1, 3181=1, 3191=1, 3192=1, 3203=1, 3208=1, 3209=1, 3225=1, 3241=1, 3242=1, 3243=1, 3244=1, 3245=1, 3246=1, 3251=1, 3254=1, 3255=1, 3258=1, 3259=1, 3261=1, 3262=1, 3263=1, 3264=1, 3265=1, 3266=1, 3267=1, 3298=1, 3299=1, 3300=1, 3304=1, 3305=1, 3306=1, 3307=1, 3308=1, 3309=1, 3310=1, 3311=1, 3327=1, 3344=1, 3345=1, 3346=1, 3347=1, 3348=1, 3349=1, 3350=1, 3351=1, 3352=1, 3353=1, 3354=1, 3355=1, 3356=1, 3389=1, 3390=1, 3391=1, 3392=1, 3393=1, 3394=1, 3395=1, 3396=1, 3397=1, 3398=1, 3399=1, 3400=1, 3431=1, 3432=1, 3433=1, 3434=1, 3435=1, 3436=1, 3437=1, 3439=1, 3440=1, 3441=1, 3442=1, 3443=1, 3444=1, 3445=1, 3461=1, 3462=1, 3478=1, 3479=1, 3480=1, 3481=1, 3482=1, 3483=1, 3486=1, 3487=1, 3490=1, 3491=1, 3492=1, 3493=1, 3494=1, 3510=1, 3526=1, 3527=1, 3528=1, 3529=1, 3531=1, 3535=1, 3538=1, 3544=1, 3545=1, 3546=1, 3547=1, 3548=1, 3579=1, 3580=1, 3581=1, 3582=1, 3583=1, 3593=1, 3598=1, 3608=1, 3624=1, 3640=1, 3641=1, 3642=1, 3643=1, 3645=1, 3654=1, 3662=1, 3663=1, 3671=1, 3672=1, 3688=1, 3690=1, 3691=1, 3707=1, 3723=1, 3724=1, 3725=1, 3730=1, 3736=1, 3783=1, 3803=1, 3804=1, 3820=1, 3821=1, 3822=1, 3824=1, 3849=1, 3861=1, 3862=1, 3874=1, 3875=1, 3908=1, 3913=1, 3929=1, 3945=1, 3995=1, 4008=1, 4033=1, 4059=1, 4090=1, 4091=1, 4092=1, 4093=1, 4143=1, 4239=1, 4270=1, 4275=1, 4387=1, 4448=1, 4453=1, 4455=1, 4486=1, 4487=1, 4489=1, 4493=1, 4499=1, 4507=1, 4541=1, 4593=1, 4648=1, 4689=1, 4711=1, 4716=1, 4717=1, 4718=1, 4734=1, 4735=1, 4750=1, 4767=1, 4788=1, 4817=1, 4875=1, 4876=1, 4898=1, 4899=1, 4900=1, 4901=1, 4921=1, 4958=1, 4987=1, 4999=1, 5016=1, 5022=1, 5026=1, 5058=1, 5159=1, 5181=1, 5291=1, 5337=1, 5349=1, 5371=1, 5406=1, 5408=1, 5412=1, 5434=1, 5459=1, 5475=1, 5493=1, 5607=1, 5677=1, 5714=1, 5779=1, 5780=1, 5796=1, 5812=1, 5813=1, 5815=1, 5840=1, 5865=1, 5881=1, 5899=1, 5963=1, 6016=1, 6017=1, 6018=1, 6046=1, 6121=1, 6207=1, 6274=1, 6275=1, 6276=1, 6313=1, 6327=1, 6379=1, 6534=1, 6591=1, 6661=1, 6726=1, 6738=1, 6748=1, 6761=1, 6766=1, 6767=1, 6769=1, 6770=1, 6771=1, 6772=1, 6773=1, 6774=1, 6775=1, 6776=1, 6777=1, 6778=1, 6779=1, 6780=1, 6781=1, 6782=1, 6783=1, 6784=1, 6785=1, 6786=1, 6787=1, 6788=1, 6789=1, 6790=1, 6791=1, 6792=1, 6793=1, 6794=1, 6795=1, 6796=1, 6797=1, 6798=1, 6799=1, 6800=1, 6801=1, 6802=1, 6803=1, 6804=1, 6805=1, 6807=1, 6808=1, 6810=1, 6811=1, 6813=1, 6815=1, 6816=1, 6817=1, 6818=1, 6819=1, 6820=1, 6821=1, 6822=1, 6823=1, 6824=1, 6825=1, 6826=1, 6827=1, 6828=1, 6829=1, 6830=1, 6831=1, 6832=1, 6833=1, 6834=1, 6836=1, 6837=1, 6838=1, 6839=1, 6840=1, 6841=1, 6842=1, 6843=1, 6844=1, 6845=1, 6847=1, 6848=1, 6850=1, 6852=1, 6853=1, 6854=1, 6855=1, 6856=1, 6857=1, 6858=1, 6859=1, 6860=1, 6861=1, 6862=1, 6863=1, 6865=1, 9888=1, 10007=1, 10014=1, 10019=1, 10021=1, 10038=1, 10039=1, 10057=1, 10059=1, 10066=1, 10072=1, 10080=1, 10081=1, 10122=1, 10123=1, 10125=1, 10127=1, 10133=1, 10137=1, 10143=1, 10161=1, 10178=1, 10182=1, 10184=1, 10186=1, 10192=1, 10196=1, 10325=1}
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 12844) seen :4
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12840) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12840) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 12840) seen :3
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12837) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 12837) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12837) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12837) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12837) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12837) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 12837) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12837) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 12837) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12836) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 12836) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 12836) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12836) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12836) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 12836) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 12836) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 12836) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12836) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 12836) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 12836) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 12836) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12836) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 12836) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 12836) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 12836) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12836) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12836) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 12836) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12836) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12836) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12836) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 12836) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12836) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12836) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 12836) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 12836) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 12836) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 12836) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12835) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 12834) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12832) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 12832) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12832) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12832) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12832) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12832) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12832) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12832) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12832) seen :3
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12829) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12829) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 12829) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 12829) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 12829) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12829) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12829) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12829) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12829) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 12829) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12829) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12829) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12829) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12829) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 12829) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 12827) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12827) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 12827) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12827) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12827) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12827) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12827) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12827) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 12827) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 12827) seen :3
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12824) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12824) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 12824) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12824) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12824) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 12824) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12824) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12824) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12824) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 12824) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 12823) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 12823) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 12823) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 12823) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 12823) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 12823) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 12823) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 12823) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 12823) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 12823) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12823) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12823) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12823) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12823) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12823) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12823) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 12823) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12823) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12823) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12823) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 12823) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 12823) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12823) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 12823) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12822) seen :0
Interrupted probabilistic random walk after 55134 steps, run timeout after 30008 ms. (steps per millisecond=1 ) properties seen :{3488=1, 4149=1, 6378=1, 6380=1}
Probabilistic random walk after 55134 steps, saw 25325 distinct states, run finished after 30010 ms. (steps per millisecond=1 ) properties seen :{3488=1, 4149=1, 6378=1, 6380=1}
Running SMT prover for 12818 properties.
[2022-05-17 01:52:30] [INFO ] Flow matrix only has 14906 transitions (discarded 1056 similar events)
// Phase 1: matrix 14906 rows 8657 cols
[2022-05-17 01:52:31] [INFO ] Computed 1429 place invariants in 978 ms
[2022-05-17 01:56:16] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 12818 Parikh solutions to 1 different solutions.
Support contains 6603 out of 8657 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 8657/8657 places, 15962/15962 transitions.
Free-agglomeration rule (complex) applied 13 times.
Iterating global reduction 0 with 13 rules applied. Total rules applied 13 place count 8657 transition count 15949
Reduce places removed 13 places and 0 transitions.
Iterating post reduction 0 with 13 rules applied. Total rules applied 26 place count 8644 transition count 15949
Applied a total of 26 rules in 1487 ms. Remains 8644 /8657 variables (removed 13) and now considering 15949/15962 (removed 13) transitions.
Finished structural reductions, in 1 iterations. Remains : 8644/8657 places, 15949/15962 transitions.
[2022-05-17 01:56:18] [INFO ] Flatten gal took : 666 ms
[2022-05-17 01:56:19] [INFO ] Flatten gal took : 477 ms
[2022-05-17 01:56:19] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality5327945328457200140.gal : 84 ms
[2022-05-17 01:56:19] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality3561286788254175542.prop : 38 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/ReachabilityCardinality5327945328457200140.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality3561286788254175542.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/ReachabilityCardinality5327945328457200140.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality3561286788254175542.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality3561286788254175542.prop.
Detected timeout of ITS tools.
[2022-05-17 01:56:34] [INFO ] Flatten gal took : 479 ms
[2022-05-17 01:56:35] [INFO ] Applying decomposition
[2022-05-17 01:56:35] [INFO ] Flatten gal took : 472 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/graph16410320230486016586.txt, -o, /tmp/graph16410320230486016586.bin, -w, /tmp/graph16410320230486016586.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/graph16410320230486016586.bin, -l, -1, -v, -w, /tmp/graph16410320230486016586.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-17 01:56:36] [INFO ] Decomposing Gal with order
[2022-05-17 01:56:37] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-17 01:56:41] [INFO ] Removed a total of 13802 redundant transitions.
[2022-05-17 01:56:42] [INFO ] Flatten gal took : 3843 ms
[2022-05-17 01:56:45] [INFO ] Fuse similar labels procedure discarded/fused a total of 10466 labels/synchronizations in 1510 ms.
[2022-05-17 01:56:46] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality5750382866582475358.gal : 789 ms
[2022-05-17 01:56:46] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality7585661588830777831.prop : 28 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/ReachabilityCardinality5750382866582475358.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality7585661588830777831.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/ReachabilityCardinality5750382866582475358.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality7585661588830777831.prop --nowitness
Loading property file /tmp/ReachabilityCardinality7585661588830777831.prop.
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin313670728601926330
[2022-05-17 01:57:01] [INFO ] Built C files in 333ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin313670728601926330
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/ltsmin313670728601926330]
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/ltsmin313670728601926330] 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/ltsmin313670728601926330] 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 43285 steps, including 1483 resets, run timeout after 30001 ms. (steps per millisecond=1 ) properties seen :{703=1, 1152=1, 2695=1, 3579=1, 5250=1, 5671=1, 5882=1, 6093=1, 6094=1, 6151=1, 6152=1, 6376=1, 6377=1, 9523=1, 9566=1, 9579=1, 9614=1, 9617=1, 9819=1, 9821=1}
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 12798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 12798) seen :0
Interrupted probabilistic random walk after 56214 steps, run timeout after 30001 ms. (steps per millisecond=1 ) properties seen :{}
Probabilistic random walk after 56214 steps, saw 25797 distinct states, run finished after 30003 ms. (steps per millisecond=1 ) properties seen :{}
Running SMT prover for 12798 properties.
[2022-05-17 01:58:06] [INFO ] Flow matrix only has 14880 transitions (discarded 1069 similar events)
// Phase 1: matrix 14880 rows 8644 cols
[2022-05-17 01:58:07] [INFO ] Computed 1429 place invariants in 981 ms
[2022-05-17 02:01:52] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 12798 Parikh solutions to 1 different solutions.
Support contains 6590 out of 8644 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 8644/8644 places, 15949/15949 transitions.
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 8644 transition count 15947
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 4 place count 8642 transition count 15947
Applied a total of 4 rules in 1212 ms. Remains 8642 /8644 variables (removed 2) and now considering 15947/15949 (removed 2) transitions.
Finished structural reductions, in 1 iterations. Remains : 8642/8644 places, 15947/15949 transitions.
[2022-05-17 02:01:54] [INFO ] Flatten gal took : 536 ms
[2022-05-17 02:01:54] [INFO ] Flatten gal took : 535 ms
[2022-05-17 02:01:54] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality10467824460405126234.gal : 69 ms
[2022-05-17 02:01:54] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality231119833352208883.prop : 25 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/ReachabilityCardinality10467824460405126234.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality231119833352208883.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/ReachabilityCardinality10467824460405126234.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality231119833352208883.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality231119833352208883.prop.
Detected timeout of ITS tools.
[2022-05-17 02:02:10] [INFO ] Flatten gal took : 477 ms
[2022-05-17 02:02:10] [INFO ] Applying decomposition
[2022-05-17 02:02:10] [INFO ] Flatten gal took : 491 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/graph14007193620410046176.txt, -o, /tmp/graph14007193620410046176.bin, -w, /tmp/graph14007193620410046176.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/graph14007193620410046176.bin, -l, -1, -v, -w, /tmp/graph14007193620410046176.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-17 02:02:12] [INFO ] Decomposing Gal with order
[2022-05-17 02:02:12] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-17 02:02:17] [INFO ] Removed a total of 13947 redundant transitions.
[2022-05-17 02:02:17] [INFO ] Flatten gal took : 4396 ms
[2022-05-17 02:02:20] [INFO ] Fuse similar labels procedure discarded/fused a total of 8522 labels/synchronizations in 1484 ms.
[2022-05-17 02:02:20] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality5260919496714759214.gal : 99 ms
[2022-05-17 02:02:20] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality5465898013833949698.prop : 28 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/ReachabilityCardinality5260919496714759214.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality5465898013833949698.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/ReachabilityCardinality5260919496714759214.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality5465898013833949698.prop --nowitness
Loading property file /tmp/ReachabilityCardinality5465898013833949698.prop.
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin9630135905185739598
[2022-05-17 02:02:35] [INFO ] Built C files in 190ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin9630135905185739598
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/ltsmin9630135905185739598]
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/ltsmin9630135905185739598] 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/ltsmin9630135905185739598] 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 40504 steps, including 1387 resets, run timeout after 30001 ms. (steps per millisecond=1 ) properties seen :{1175=1, 1813=1, 2508=1, 3399=1, 4856=1, 5221=1, 5613=1, 9504=1, 9549=1, 9561=1, 9563=1, 9600=1, 9604=1, 9659=1}
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 12784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 12784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 12784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 12784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 12784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 12784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 12784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 12784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 12784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12784) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 12782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 12782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 12782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 12782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 12782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 12782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 12782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 12782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 12782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 12782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 12782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 12782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 12782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 12782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 12782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 12782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 12782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 12782) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 12780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 12780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 12780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 12780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 12780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 12780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 12780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 12780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 12780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 12780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 12780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 12780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 12780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 12780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 12780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 12780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 12780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 12780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 12780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 12780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 12780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 12780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 12780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 12780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12780) seen :4
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 12776) seen :0
Interrupted probabilistic random walk after 54381 steps, run timeout after 30002 ms. (steps per millisecond=1 ) properties seen :{}
Probabilistic random walk after 54381 steps, saw 24973 distinct states, run finished after 30003 ms. (steps per millisecond=1 ) properties seen :{}
Running SMT prover for 12776 properties.
[2022-05-17 02:03:45] [INFO ] Flow matrix only has 14876 transitions (discarded 1071 similar events)
// Phase 1: matrix 14876 rows 8642 cols
[2022-05-17 02:03:46] [INFO ] Computed 1429 place invariants in 971 ms
[2022-05-17 02:07:31] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 12776 Parikh solutions to 1 different solutions.
Support contains 6580 out of 8642 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 8642/8642 places, 15947/15947 transitions.
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 0 with 3 rules applied. Total rules applied 3 place count 8642 transition count 15944
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 6 place count 8639 transition count 15944
Applied a total of 6 rules in 1250 ms. Remains 8639 /8642 variables (removed 3) and now considering 15944/15947 (removed 3) transitions.
Finished structural reductions, in 1 iterations. Remains : 8639/8642 places, 15944/15947 transitions.
[2022-05-17 02:07:33] [INFO ] Flatten gal took : 473 ms
[2022-05-17 02:07:34] [INFO ] Flatten gal took : 493 ms
[2022-05-17 02:07:34] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality16998379847597142220.gal : 60 ms
[2022-05-17 02:07:34] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality11230212963335262644.prop : 21 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/ReachabilityCardinality16998379847597142220.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality11230212963335262644.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/ReachabilityCardinality16998379847597142220.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality11230212963335262644.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality11230212963335262644.prop.
Detected timeout of ITS tools.
[2022-05-17 02:07:55] [INFO ] Flatten gal took : 587 ms
[2022-05-17 02:07:55] [INFO ] Applying decomposition
[2022-05-17 02:07:55] [INFO ] Flatten gal took : 477 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/graph8854575413344897541.txt, -o, /tmp/graph8854575413344897541.bin, -w, /tmp/graph8854575413344897541.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/graph8854575413344897541.bin, -l, -1, -v, -w, /tmp/graph8854575413344897541.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-17 02:07:56] [INFO ] Decomposing Gal with order
[2022-05-17 02:07:57] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-17 02:08:02] [INFO ] Removed a total of 14117 redundant transitions.
[2022-05-17 02:08:02] [INFO ] Flatten gal took : 4199 ms
[2022-05-17 02:08:05] [INFO ] Fuse similar labels procedure discarded/fused a total of 9218 labels/synchronizations in 1649 ms.
[2022-05-17 02:08:05] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality16939837923301148510.gal : 106 ms
[2022-05-17 02:08:05] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality13778738348958876802.prop : 55 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/ReachabilityCardinality16939837923301148510.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality13778738348958876802.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/ReachabilityCardinality16939837923301148510.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality13778738348958876802.prop --nowitness
Loading property file /tmp/ReachabilityCardinality13778738348958876802.prop.
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin16926157042388001031
[2022-05-17 02:08:28] [INFO ] Built C files in 450ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin16926157042388001031
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/ltsmin16926157042388001031]
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/ltsmin16926157042388001031] 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/ltsmin16926157042388001031] 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 15557 steps, including 533 resets, run timeout after 34981 ms. (steps per millisecond=0 ) properties seen :{2518=1, 2800=1, 3679=1, 3847=1, 9537=1, 9584=1, 9587=1, 9632=1}
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 1170 ms. (steps per millisecond=0 ) properties (out of 12768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 466 ms. (steps per millisecond=2 ) properties (out of 12768) seen :0
Interrupted Best-First random walk after 34 steps, including 0 resets, run timeout after 5546 ms. (steps per millisecond=0 ) properties seen :{}
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 1315 ms. (steps per millisecond=0 ) properties (out of 12768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 534 ms. (steps per millisecond=1 ) properties (out of 12768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 778 ms. (steps per millisecond=1 ) properties (out of 12768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 750 ms. (steps per millisecond=1 ) properties (out of 12768) seen :0
Interrupted Best-First random walk after 831 steps, including 3 resets, run timeout after 5008 ms. (steps per millisecond=0 ) properties seen :{}
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 579 ms. (steps per millisecond=1 ) properties (out of 12768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 419 ms. (steps per millisecond=2 ) properties (out of 12768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 617 ms. (steps per millisecond=1 ) properties (out of 12768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 4647 ms. (steps per millisecond=0 ) properties (out of 12768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 845 ms. (steps per millisecond=1 ) properties (out of 12768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 4070 ms. (steps per millisecond=0 ) properties (out of 12768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 1008 ms. (steps per millisecond=0 ) properties (out of 12768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 887 ms. (steps per millisecond=1 ) properties (out of 12768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 795 ms. (steps per millisecond=1 ) properties (out of 12768) seen :0
Interrupted Best-First random walk after 415 steps, including 1 resets, run timeout after 8215 ms. (steps per millisecond=0 ) properties seen :{}
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 583 ms. (steps per millisecond=1 ) properties (out of 12768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 450 ms. (steps per millisecond=2 ) properties (out of 12768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 385 ms. (steps per millisecond=2 ) properties (out of 12768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 382 ms. (steps per millisecond=2 ) properties (out of 12768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 220 ms. (steps per millisecond=4 ) properties (out of 12768) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 289 ms. (steps per millisecond=3 ) properties (out of 12768) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 378 ms. (steps per millisecond=2 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 359 ms. (steps per millisecond=2 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 283 ms. (steps per millisecond=3 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 209 ms. (steps per millisecond=4 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 423 ms. (steps per millisecond=2 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 322 ms. (steps per millisecond=3 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 284 ms. (steps per millisecond=3 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 281 ms. (steps per millisecond=3 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 290 ms. (steps per millisecond=3 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 2253 ms. (steps per millisecond=0 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 191 ms. (steps per millisecond=5 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 220 ms. (steps per millisecond=4 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 370 ms. (steps per millisecond=2 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 257 ms. (steps per millisecond=3 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12766) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 12766) seen :0
Interrupted probabilistic random walk after 41351 steps, run timeout after 30002 ms. (steps per millisecond=1 ) properties seen :{}
Probabilistic random walk after 41351 steps, saw 19055 distinct states, run finished after 30002 ms. (steps per millisecond=1 ) properties seen :{}
Running SMT prover for 12766 properties.
[2022-05-17 02:10:27] [INFO ] Flow matrix only has 14870 transitions (discarded 1074 similar events)
// Phase 1: matrix 14870 rows 8639 cols
[2022-05-17 02:10:28] [INFO ] Computed 1429 place invariants in 1230 ms
[2022-05-17 02:14:13] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 12766 Parikh solutions to 1 different solutions.
Support contains 6575 out of 8639 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 8639/8639 places, 15944/15944 transitions.
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 0 with 3 rules applied. Total rules applied 3 place count 8639 transition count 15941
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 6 place count 8636 transition count 15941
Applied a total of 6 rules in 1648 ms. Remains 8636 /8639 variables (removed 3) and now considering 15941/15944 (removed 3) transitions.
Finished structural reductions, in 1 iterations. Remains : 8636/8639 places, 15941/15944 transitions.
[2022-05-17 02:14:16] [INFO ] Flatten gal took : 529 ms
[2022-05-17 02:14:17] [INFO ] Flatten gal took : 639 ms
[2022-05-17 02:14:17] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality10445892553804641339.gal : 80 ms
[2022-05-17 02:14:17] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality12778918412451878786.prop : 55 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/ReachabilityCardinality10445892553804641339.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality12778918412451878786.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/ReachabilityCardinality10445892553804641339.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality12778918412451878786.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality12778918412451878786.prop.
Detected timeout of ITS tools.
[2022-05-17 02:14:42] [INFO ] Flatten gal took : 538 ms
[2022-05-17 02:14:42] [INFO ] Applying decomposition
[2022-05-17 02:14:43] [INFO ] Flatten gal took : 560 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/graph7900065905426321113.txt, -o, /tmp/graph7900065905426321113.bin, -w, /tmp/graph7900065905426321113.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/graph7900065905426321113.bin, -l, -1, -v, -w, /tmp/graph7900065905426321113.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-17 02:14:45] [INFO ] Decomposing Gal with order
[2022-05-17 02:14:45] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-17 02:14:51] [INFO ] Removed a total of 13995 redundant transitions.
[2022-05-17 02:14:51] [INFO ] Flatten gal took : 4821 ms
[2022-05-17 02:14:54] [INFO ] Fuse similar labels procedure discarded/fused a total of 11301 labels/synchronizations in 1796 ms.
[2022-05-17 02:14:55] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality16644214259650869870.gal : 165 ms
[2022-05-17 02:14:55] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality2702406760390830206.prop : 35 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/ReachabilityCardinality16644214259650869870.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality2702406760390830206.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/ReachabilityCardinality16644214259650869870.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality2702406760390830206.prop --nowitness
Loading property file /tmp/ReachabilityCardinality2702406760390830206.prop.
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin17637927499856605037
[2022-05-17 02:15:20] [INFO ] Built C files in 309ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin17637927499856605037
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/ltsmin17637927499856605037]
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/ltsmin17637927499856605037] 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/ltsmin17637927499856605037] 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 30510 steps, including 1045 resets, run timeout after 30002 ms. (steps per millisecond=1 ) properties seen :{965=1, 1125=1, 1126=1, 2313=1, 4033=1, 5412=1, 5623=1, 5624=1, 9350=1, 9477=1, 9533=1, 9576=1}
Interrupted Best-First random walk after 970 steps, including 3 resets, run timeout after 7259 ms. (steps per millisecond=0 ) properties seen :{}
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12754) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12754) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 12754) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12754) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 12754) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 12754) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 12754) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 12754) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 12754) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 12754) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 12754) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12754) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12754) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 12754) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 274 ms. (steps per millisecond=3 ) properties (out of 12754) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 12754) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 12754) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 12754) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12754) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 12754) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12754) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12754) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12754) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12754) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12754) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12754) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 269 ms. (steps per millisecond=3 ) properties (out of 12754) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 624 ms. (steps per millisecond=1 ) properties (out of 12754) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 498 ms. (steps per millisecond=2 ) properties (out of 12754) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 207 ms. (steps per millisecond=4 ) properties (out of 12752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 12752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 12752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 12752) seen :0
Interrupted Best-First random walk after 419 steps, including 1 resets, run timeout after 20874 ms. (steps per millisecond=0 ) properties seen :{}
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 322 ms. (steps per millisecond=3 ) properties (out of 12752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 12752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 12752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 12752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 12752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 12752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 12752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 12752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 12752) seen :0
Interrupted Best-First random walk after 691 steps, including 2 resets, run timeout after 7377 ms. (steps per millisecond=0 ) properties seen :{}
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 12752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 12752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 12752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 12752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 12752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 12752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 338 ms. (steps per millisecond=2 ) properties (out of 12752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 190 ms. (steps per millisecond=5 ) properties (out of 12752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 191 ms. (steps per millisecond=5 ) properties (out of 12752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 12752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 311 ms. (steps per millisecond=3 ) properties (out of 12752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 12752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 12752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 12752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 12752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 429 ms. (steps per millisecond=2 ) properties (out of 12752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 370 ms. (steps per millisecond=2 ) properties (out of 12752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 515 ms. (steps per millisecond=1 ) properties (out of 12752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 506 ms. (steps per millisecond=1 ) properties (out of 12752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 451 ms. (steps per millisecond=2 ) properties (out of 12752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 12752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 12752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12752) seen :0
Interrupted probabilistic random walk after 23916 steps, run timeout after 30001 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 23916 steps, saw 11112 distinct states, run finished after 30018 ms. (steps per millisecond=0 ) properties seen :{}
Running SMT prover for 12752 properties.
[2022-05-17 02:17:19] [INFO ] Flow matrix only has 14864 transitions (discarded 1077 similar events)
// Phase 1: matrix 14864 rows 8636 cols
[2022-05-17 02:17:20] [INFO ] Computed 1429 place invariants in 1398 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="MultiCrashLeafsetExtension-PT-S32C04"
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 MultiCrashLeafsetExtension-PT-S32C04, 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 r144-tall-165271831300507"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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